From 839cc664837f67388fbde7f8c12a03313f3566cb Mon Sep 17 00:00:00 2001 From: dwierichs Date: Tue, 3 Jun 2025 09:28:24 +0200 Subject: [PATCH 1/6] tiny fix --- demonstrations/tutorial_unitary_synthesis_kak.py | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/demonstrations/tutorial_unitary_synthesis_kak.py b/demonstrations/tutorial_unitary_synthesis_kak.py index fe13ca69b4..6479c0b0cf 100644 --- a/demonstrations/tutorial_unitary_synthesis_kak.py +++ b/demonstrations/tutorial_unitary_synthesis_kak.py @@ -21,7 +21,7 @@ Crucially, we will not just go through these three techniques separately, but we will explain how they are variants of the same underlying mathematical factorization, which is called a recursive KAK, or Cartan, decomposition [#Wierichs_CartanSynthesis]_. -One of the recursion steps will be implemented by a Cosine-Sine Decomposition (CSD), maybe the +One of the recursion steps will be implemented by a Cosine-Sine Decomposition (CSD), which may be the most well-known KAK decomposition. In the appendix, we will derive the CNOT and rotation gate counts for all three decompositions, @@ -31,7 +31,7 @@ for example using :doc:`our introductory demo ` or our :doc:`demo on compiling Hamiltonian simulation variationally `, -which follows [#Kökcü_FDHS]_. +which follows reference [#Kökcü_FDHS]_. KAK decompositions @@ -669,7 +669,7 @@ def demultiplex(U, V): # Maximilian Balthasar Mansky, Santiago Londoño Castillo, Victor Ramos Puigvert, Claudia Linnhoff-Popien (2023). # *Near-optimal quantum circuit construction via Cartan decomposition.* # arXiv preprint `2212.12934 `__. -# `Phys. Rev. A **108**, 052607 `__. +# `Phys. Rev. A 108, 052607 `__. # # .. [#Wierichs_CartanSynthesis] # @@ -681,7 +681,7 @@ def demultiplex(U, V): # # Efekan Kökcü, Thomas Steckmann, Yan Wang, J K Freericks, Eugene F Dumitrescu, # Alexander F. Kemper (2021) *Fixed Depth Hamiltonian Simulation via Cartan Decomposition.* -# arXiv preprint `2104.00728 `__. Phys. Rev. Lett. **129**, 070501 +# arXiv preprint `2104.00728 `__. Phys. Rev. Lett. 129, 070501 # # .. [#Bullock_Note] # @@ -693,14 +693,14 @@ def demultiplex(U, V): # Mehmet Dagli, Domenico D'Alessandro, Jonathan D H Smith (2007) *A General Framework # for Recursive Decompositions of Unitary Quantum Evolutions.* # arXiv preprint `quant-ph/0701193 `__. -# `J. Phys. A: Math. Theor. **41** 155302 `__. +# `J. Phys. A: Math. Theor. 41 155302 `__. # # .. [#Shende_Minimal] # # Vivek V Shende, Igor L Markov, Stephen S Bullock (2003) *Minimal Universal Two-qubit # Quantum Circuits.* # arXiv preprint `quant-ph/0308033 `__. -# Phys. Rev. A **69**, 062321. +# Phys. Rev. A 69, 062321. # # Appendix: Gate counts # --------------------- From 7deae61c97df181982876a083a6784a4f92186d8 Mon Sep 17 00:00:00 2001 From: dwierichs Date: Tue, 3 Jun 2025 09:36:49 +0200 Subject: [PATCH 2/6] metadata date --- demonstrations/tutorial_unitary_synthesis_kak.metadata.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/demonstrations/tutorial_unitary_synthesis_kak.metadata.json b/demonstrations/tutorial_unitary_synthesis_kak.metadata.json index 28b0a2b218..546523d111 100644 --- a/demonstrations/tutorial_unitary_synthesis_kak.metadata.json +++ b/demonstrations/tutorial_unitary_synthesis_kak.metadata.json @@ -6,7 +6,7 @@ } ], "dateOfPublication": "2025-05-30T09:00:00+00:00", - "dateOfLastModification": "2025-05-30T09:00:00+00:00", + "dateOfLastModification": "2025-06-03T09:00:00+00:00", "categories": [ "Quantum Computing" ], From d494b1e23cfe8182728d68443acb21d7ccd05d7f Mon Sep 17 00:00:00 2001 From: David Wierichs Date: Tue, 3 Jun 2025 10:17:33 +0200 Subject: [PATCH 3/6] Apply suggestions from code review Co-authored-by: Korbinian Kottmann <43949391+Qottmann@users.noreply.github.com> --- demonstrations/tutorial_unitary_synthesis_kak.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/demonstrations/tutorial_unitary_synthesis_kak.py b/demonstrations/tutorial_unitary_synthesis_kak.py index 6479c0b0cf..44641f4d99 100644 --- a/demonstrations/tutorial_unitary_synthesis_kak.py +++ b/demonstrations/tutorial_unitary_synthesis_kak.py @@ -681,7 +681,7 @@ def demultiplex(U, V): # # Efekan Kökcü, Thomas Steckmann, Yan Wang, J K Freericks, Eugene F Dumitrescu, # Alexander F. Kemper (2021) *Fixed Depth Hamiltonian Simulation via Cartan Decomposition.* -# arXiv preprint `2104.00728 `__. Phys. Rev. Lett. 129, 070501 +# arXiv preprint `2104.00728 `__. `Phys. Rev. Lett. 129, 070501 `__ # # .. [#Bullock_Note] # @@ -700,7 +700,8 @@ def demultiplex(U, V): # Vivek V Shende, Igor L Markov, Stephen S Bullock (2003) *Minimal Universal Two-qubit # Quantum Circuits.* # arXiv preprint `quant-ph/0308033 `__. -# Phys. Rev. A 69, 062321. +# `Phys. Rev. A 69, 062321 < +https://doi.org/10.1103/PhysRevA.69.062321>`__. # # Appendix: Gate counts # --------------------- From 9712db9122a19ce2847068aa1ba3bab7dd532eff Mon Sep 17 00:00:00 2001 From: dwierichs Date: Tue, 3 Jun 2025 10:19:22 +0200 Subject: [PATCH 4/6] arxiv identifiers --- .../tutorial_unitary_synthesis_kak.py | 26 +++++++++---------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/demonstrations/tutorial_unitary_synthesis_kak.py b/demonstrations/tutorial_unitary_synthesis_kak.py index 44641f4d99..cfebbda1d7 100644 --- a/demonstrations/tutorial_unitary_synthesis_kak.py +++ b/demonstrations/tutorial_unitary_synthesis_kak.py @@ -649,8 +649,8 @@ def demultiplex(U, V): # .. [#Khaneja_Glaser] # # Navin Khaneja, Steffen Glaser (2000) *Cartan Decomposition of SU(2^n), Constructive -# Controllability of Spin systems and Universal Quantum Computing.* arXiv preprint -# `quant-ph/0010100 `__. +# Controllability of Spin systems and Universal Quantum Computing.* +# `arXiv:quant-ph/0010100 `__. # # .. [#Shende_QSD] # @@ -661,47 +661,47 @@ def demultiplex(U, V): # .. [#Krol_BlockZXZ] # # Anna M Krol, Zaid Al-Ars (2024) *Beyond Quantum Shannon: Circuit Construction for General -# n-Qubit Gates Based on Block ZXZ-Decomposition.* arXiv preprint -# `2403.13692 `__. +# n-Qubit Gates Based on Block ZXZ-Decomposition.* +# `arXiv:2403.13692 `__. # # .. [#Mansky_Linnhoff-Popien] # # Maximilian Balthasar Mansky, Santiago Londoño Castillo, Victor Ramos Puigvert, Claudia Linnhoff-Popien (2023). # *Near-optimal quantum circuit construction via Cartan decomposition.* -# arXiv preprint `2212.12934 `__. +# `arXiv:2212.12934 `__. # `Phys. Rev. A 108, 052607 `__. # # .. [#Wierichs_CartanSynthesis] # # David Wierichs, Maxwell West, Roy T. Forestano, M. Cerezo, Nathan Killoran (2025) -# *Recursive Cartan decompositions for unitary synthesis.* arXiv preprint -# `2503.19014 `__. +# *Recursive Cartan decompositions for unitary synthesis.* +# `arXiv:2503.19014 `__. # # .. [#Kökcü_FDHS] # # Efekan Kökcü, Thomas Steckmann, Yan Wang, J K Freericks, Eugene F Dumitrescu, # Alexander F. Kemper (2021) *Fixed Depth Hamiltonian Simulation via Cartan Decomposition.* -# arXiv preprint `2104.00728 `__. `Phys. Rev. Lett. 129, 070501 `__ +# `arXiv:2104.00728 `__. +# `Phys. Rev. Lett. 129, 070501 `__ # # .. [#Bullock_Note] # # Stephen S Bullock (2004) *Note on the Khaneja Glaser Decomposition.* -# arXiv preprint `quant-ph/0403141 `__. +# `arXiv:quant-ph/0403141 `__. # # .. [#Dagli_Framework] # # Mehmet Dagli, Domenico D'Alessandro, Jonathan D H Smith (2007) *A General Framework # for Recursive Decompositions of Unitary Quantum Evolutions.* -# arXiv preprint `quant-ph/0701193 `__. +# `arXiv:quant-ph/0701193 `__. # `J. Phys. A: Math. Theor. 41 155302 `__. # # .. [#Shende_Minimal] # # Vivek V Shende, Igor L Markov, Stephen S Bullock (2003) *Minimal Universal Two-qubit # Quantum Circuits.* -# arXiv preprint `quant-ph/0308033 `__. -# `Phys. Rev. A 69, 062321 < -https://doi.org/10.1103/PhysRevA.69.062321>`__. +# `arXiv:quant-ph/0308033 `__. +# `Phys. Rev. A 69, 062321 `__. # # Appendix: Gate counts # --------------------- From dc37b77049290a81f94d693481843c3890c75f89 Mon Sep 17 00:00:00 2001 From: dwierichs Date: Tue, 3 Jun 2025 10:25:21 +0200 Subject: [PATCH 5/6] more references --- demonstrations/tutorial_unitary_synthesis_kak.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/demonstrations/tutorial_unitary_synthesis_kak.py b/demonstrations/tutorial_unitary_synthesis_kak.py index cfebbda1d7..97850f7c45 100644 --- a/demonstrations/tutorial_unitary_synthesis_kak.py +++ b/demonstrations/tutorial_unitary_synthesis_kak.py @@ -655,8 +655,9 @@ def demultiplex(U, V): # .. [#Shende_QSD] # # Vivek V Shende, Stephen S Bullock, Igor L Markov (2006) -# *Synthesis of Quantum Logic Circuits.* IEEE Trans. on Computer-Aided Design, -# `Vol. 25, No. 6 `__. +# *Synthesis of Quantum Logic Circuits.* +# `arXiv:quant-ph/0406176 `__. +# `IEEE Trans. on Computer-Aided Design, Vol. 25, No. 6 `__. # # .. [#Krol_BlockZXZ] # @@ -688,6 +689,7 @@ def demultiplex(U, V): # # Stephen S Bullock (2004) *Note on the Khaneja Glaser Decomposition.* # `arXiv:quant-ph/0403141 `__. +# `Quantum Inf. Comput., Vol. 4, No. 5, 396-400 `__. # # .. [#Dagli_Framework] # From 642a1fc28726cadbc194af68f63129b1439dc70e Mon Sep 17 00:00:00 2001 From: dwierichs Date: Tue, 3 Jun 2025 12:33:24 +0200 Subject: [PATCH 6/6] commas --- demonstrations/tutorial_unitary_synthesis_kak.py | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/demonstrations/tutorial_unitary_synthesis_kak.py b/demonstrations/tutorial_unitary_synthesis_kak.py index 97850f7c45..9c8bf4455b 100644 --- a/demonstrations/tutorial_unitary_synthesis_kak.py +++ b/demonstrations/tutorial_unitary_synthesis_kak.py @@ -656,7 +656,7 @@ def demultiplex(U, V): # # Vivek V Shende, Stephen S Bullock, Igor L Markov (2006) # *Synthesis of Quantum Logic Circuits.* -# `arXiv:quant-ph/0406176 `__. +# `arXiv:quant-ph/0406176 `__, # `IEEE Trans. on Computer-Aided Design, Vol. 25, No. 6 `__. # # .. [#Krol_BlockZXZ] @@ -669,7 +669,7 @@ def demultiplex(U, V): # # Maximilian Balthasar Mansky, Santiago Londoño Castillo, Victor Ramos Puigvert, Claudia Linnhoff-Popien (2023). # *Near-optimal quantum circuit construction via Cartan decomposition.* -# `arXiv:2212.12934 `__. +# `arXiv:2212.12934 `__, # `Phys. Rev. A 108, 052607 `__. # # .. [#Wierichs_CartanSynthesis] @@ -682,27 +682,27 @@ def demultiplex(U, V): # # Efekan Kökcü, Thomas Steckmann, Yan Wang, J K Freericks, Eugene F Dumitrescu, # Alexander F. Kemper (2021) *Fixed Depth Hamiltonian Simulation via Cartan Decomposition.* -# `arXiv:2104.00728 `__. +# `arXiv:2104.00728 `__, # `Phys. Rev. Lett. 129, 070501 `__ # # .. [#Bullock_Note] # # Stephen S Bullock (2004) *Note on the Khaneja Glaser Decomposition.* -# `arXiv:quant-ph/0403141 `__. +# `arXiv:quant-ph/0403141 `__, # `Quantum Inf. Comput., Vol. 4, No. 5, 396-400 `__. # # .. [#Dagli_Framework] # # Mehmet Dagli, Domenico D'Alessandro, Jonathan D H Smith (2007) *A General Framework # for Recursive Decompositions of Unitary Quantum Evolutions.* -# `arXiv:quant-ph/0701193 `__. +# `arXiv:quant-ph/0701193 `__, # `J. Phys. A: Math. Theor. 41 155302 `__. # # .. [#Shende_Minimal] # # Vivek V Shende, Igor L Markov, Stephen S Bullock (2003) *Minimal Universal Two-qubit # Quantum Circuits.* -# `arXiv:quant-ph/0308033 `__. +# `arXiv:quant-ph/0308033 `__, # `Phys. Rev. A 69, 062321 `__. # # Appendix: Gate counts