An Introduction to Cartan's KAK Decomposition for QC Programmers
read the original abstract
This paper presents no new results; its goals are purely pedagogical. A special case of the Cartan Decomposition has found much utility in the field of quantum computing, especially in its sub-field of quantum compiling. This special case allows one to factor a general 2-qubit operation (i.e., an element of U(4)) into local operations applied before and after a three parameter, non-local operation. In this paper, we give a complete and rigorous proof of this special case of Cartan's Decomposition. From the point of view of QC programmers who might not be familiar with the subtleties of Lie Group Theory, the proof given here has the virtues, that it is constructive in nature, and that it uses only Linear Algebra. The constructive proof presented in this paper is implemented in some Octave/Matlab m-files that are included with the paper. Thus, this paper serves as documentation for the attached m-files.
This paper has not been read by Pith yet.
Forward citations
Cited by 9 Pith papers
-
Lie Group Diffusion Models for Hardware-Aware Quantum Circuit Synthesis
Lie group diffusion models combine a discrete circuit skeleton selector with continuous diffusion on SU(2) ≃ S³ to synthesize hardware-aware quantum circuits, outperforming baselines on three-qubit Hamiltonian simulat...
-
GULPS: Two-Qubit Gate Synthesis via Linear Programming for Heterogeneous Instruction Sets
GULPS partitions two-qubit unitary synthesis into depth-2 segments solved via linear programming over Littlewood-Richardson inequalities followed by least-squares optimization, yielding faster and lower-cost decomposi...
-
Time Evolution on Hybrid Tensor Networks -- A Novel and Parallelizable Algorithm
Introduces a parallelizable hybrid tensor network algorithm for time-evolving matrix product states that combines classical BUG integration with quantum methods without synchronization barriers.
-
Spin qubit operations by conveyor-mode shuttling
Conveyor-mode electron shuttling enables high-fidelity single-qubit rotations via EDSR and tunable two-qubit interactions via diabatic gates in semiconductor spin qubits.
-
Fidelity-Aware Frequency Allocation and Transpilation Co-Design for Tunable Coupler Quantum Systems
A co-design method for frequency allocation and noise-aware transpilation in tunable-coupler quantum systems yields 8.9% lower log-infidelity cost and 6.8% shorter circuits than SABRE on SNAIL architectures.
-
Unifying Qubit Routing Across Diverse Quantum ISAs via Canonical Representation
Canopus unifies qubit mapping and routing across quantum ISAs by modeling synthesis costs via canonical two-qubit gate forms, achieving 15-35% lower routing overhead than prior methods on varied backends and topologies.
-
Routing Codes: High-Rate Quantum LDPC Codes with Short, Parallel Non-Local Connectivity
Routing codes are high-rate qLDPC codes with short parallel non-local couplings that achieve BB-code rates while cutting qubit overhead by a factor of ~8 versus surface codes in circuit simulations.
-
Distribution Complexity of Electronic Structure Simulations on Quantum Supercomputers
An algorithm is presented for estimating distribution complexity of electronic structure Hamiltonians, with O(N^3) entanglement estimation per fragment and quadratic/exponential reductions in distribution cost for qua...
-
Universal Euler-Cartan Circuits for Quantum Field Theories
Presents a universal parametrized quantum circuit ansatz based on Euler-Cartan decompositions, benchmarked on energy spectra of lattice QFT models with short- and long-range interactions.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.