Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2605.10783

On the KAK Decomposition and Equivalence Classes

Dawei Ding, Yu Liu, Zi-Wen Liu

quant-phmath-phmath.GRSubmitted May 11, 2026• Announced May 12, 2026• 0 citations
arXivHTMLPDF

Abstract

The KAK decomposition is a fundamental tool in Lie theory and quantum computing. Despite its widespread use, the mathematical foundations remain incomplete, particularly regarding the precise conditions for the decomposition and the characterization of equivalence classes under multiplication by elements of $K$. Here, we present a mathematical theory of the KAK decomposition for connected compact semisimple Lie groups and derive the decomposition for $\mathrm{SU}(4)$. In particular, we clarify the relationship between various definitions of a Cartan decomposition in the literature and give a complete proof of a general KAK decomposition theorem. We then distinguish two distinct notions of KAK equivalence classes, double coset equivalence and projective equivalence, thereby addressing mathematical inconsistencies regarding KAK classification in the literature. Specifically, for $\mathrm{SU}(4)$, we show that local equivalence classes under multiplication by $\mathrm{SU}(2)\otimes \mathrm{SU}(2)$ are geometrically represented not by the usual "Weyl chamber" as claimed in the existing literature. Instead, the "Weyl chamber" is only recovered by the projective-local equivalence which disregards global phases. We develop a systematic theory for determining equivalence and uniqueness for both notions of equivalence. Our work establishes a rigorous Lie-theoretic foundation for the theory of quantum gates and circuits.

Comments
36 pages, 6 figures

Related papers

An Introduction to Cartan's KAK Decomposition for QC Programmers

Robert R. Tucci

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.

arXiv:quant-ph/0507171•Jul 18, 2005•42 citations

A new algorithm for producing quantum circuits using KAK decompositions

M.Y. Nakajima, Y. Kawano, Hiroshi Sekigawa

We provide a new algorithm that translates a unitary matrix into a quantum circuit according to the G=KAK theorem in Lie group theory. With our algorithm, any matrix decomposition corresponding to type-AIII KAK decompositions can be derived according to the given Cartan involution. Our algorithm contains, as its special cases, Cosine-Sine decomposition (CSD) and Khaneja-Glaser decomposition (KGD) in the sense that it derives the same quantum circuits as the ones obtained by them if we select suitable Cartan involutions and square root matrices. The selections of Cartan involutions for computing CSD and KGD will be shown explicitly. As an example, we show explicitly that our method can automatically reproduce the well-known efficient quantum circuit for the $n$-qubit quantum Fourier transform.

Quantum Information and Computation•Jan 1, 2006•49 citations

Canonical Decompositions of n-qubit Quantum Computations and Concurrence

Bullock, S S, Gavin K. Brennen

The two-qubit canonical decomposition SU(4) = [SU(2) \\otimes SU(2)] Delta [SU(2) \\otimes SU(2)] writes any two-qubit quantum computation as a composition of a local unitary, a relative phasing of Bell states, and a second local unitary. Using Lie theory, we generalize this to an n-qubit decomposition, the concurrence canonical decomposition (C.C.D.) SU(2^n)=KAK. The group K fixes a bilinear form related to the concurrence, and in particular any computation in K preserves the tangle |<phi^*|(-i sigma^y_1)...(-i sigma^y_n)|phi>|^2 for n even. Thus, the C.C.D. shows that any n-qubit quantum computation is a composition of a computation preserving this n-tangle, a computation in A which applies relative phases to a set of GHZ states, and a second computation which preserves it. As an application, we study the extent to which a large, random unitary may change concurrence. The result states that for a randomly chosen a in A within SU(2^{2p}), the probability that a carries a state of tangle 0 to a state of maximum tangle approaches 1 as the even number of qubits approaches infinity. Any v=k_1 a k_2 for such an a \\in A has the same property. Finally, although |<phi^*|(-i sigma^y_1)...(-i sigma^y_n)|phi>|^2 vanishes identically when the number of qubits is odd, we show that a more complicated C.C.D. still exists in which K is a symplectic group.

•Sep 12, 2003•32 citations

A new algorithm for producing quantum circuits using KAK decompositions

Yumi Nakajima A, Yasuhito Kawano, Hiroshi Sekigawa

We provide a new algorithm that translates a unitary matrix into a quantum circuit according to the G=KAK theorem in Lie group theory. With our algorithm, any matrix decomposition corresponding to type-AIII KAK decompositions can be derived according to the given Cartan involution. Our algorithm contains, as its special cases, Cosine-Sine decomposition (CSD) and Khaneja-Glaser decomposition (KGD) in the sense that it derives the same quantum circuits as the ones obtained by them if we select suitable Cartan involutions and square root matrices. The selections of Cartan involutions for computing CSD and KGD will be hown explicitly. As an example, we show explicitly that our method can automatically reproduce the well-known efficient quantum circuit for the n-qubit quantum Fourier transform.

arXiv:quant-ph/0509196•Sep 28, 2005•2 citations

Lie Group Decompositions and Control

Domenico D’Alessandro

This chapter discusses in detail the case of two-level systems and the associated Lie group. It gives an example of a general decomposition of SU(n), namely the decomposition into planar rotation, which is quite simple and can be obtained by straightforward computations. This decomposition gives a direct way to parametrize the special unitary group. The chapter presents the basics of Cartan decompositions of semisimple Lie groups. It gives some examples of applications of Lie group decompositions and introduces some notions of Lie group and Lie algebra theory. The chapter discusses Cartan decompositions of Lie groups. Cartan decompositions appear to be ubiquitous in quantum control and dynamics and in quantum information theory.

Chapman & Hall/CRC eBooks•Jul 13, 2021•0 citations

Canonical decompositions of n-qubit quantum computations and concurrence

Stephen S. Bullock, Gavin K. Brennen

The two-qubit canonical decomposition SU(4)=[SU(2)⊗SU(2)]Δ[SU(2)⊗SU(2)] writes any two-qubit unitary operator as a composition of a local unitary, a relative phasing of Bell states, and a second local unitary. Using Lie theory, we generalize this to an n-qubit decomposition, the concurrence canonical decomposition (CCD) SU(2n)=KAK. The group K fixes a bilinear form related to the concurrence, and in particular any unitary in K preserves the tangle |〈φ|¯(−iσ1y)⋯(−iσny)|φ〉|2 for n even. Thus, the CCD shows that any n-qubit unitary is a composition of a unitary operator preserving this n-tangle, a unitary operator in A which applies relative phases to a set of GHZ states, and a second unitary operator which preserves the tangle. As an application, we study the extent to which a large, random unitary may change concurrence. The result states that for a randomly chosen a∈A⊂SU(22p), the probability that a carries a state of tangle 0 to a state of maximum tangle approaches 1 as the even number of qubits approaches infinity. Any v=k1ak2 for such an a∈A has the same property. Finally, although |〈φ|¯(−iσ1y)⋯(−iσny)|φ〉|2 vanishes identically when the number of qubits is odd, we show that a more complicated CCD still exists in which K is a symplectic group.

arXiv:quant-ph/0309104•Journal of Mathematical Physics•May 14, 2004•43 citations
The KAK decomposition is a fundamental tool in Lie theory and quantum computing. Despite its widespread use, the mathematical foundations remain incomplete, particularly regarding the precise conditions for the decomposition and the characterization of equivalence classes under multiplication by elements of KKK. Here, we present a mathematical theory of the KAK decomposition for connected compact semisimple Lie groups and derive the decomposition for SU(4)\mathrm{SU}(4)SU(4). In particular, we clarify the relationship between various definitions of a Cartan decomposition in the literature and give a complete proof of a general KAK decomposition theorem. We then distinguish two distinct notions of KAK equivalence classes, double coset equivalence and projective equivalence, thereby addressing mathematical inconsistencies regarding KAK classification in the literature. Specifically, for SU(4)\mathrm{SU}(4)SU(4), we show that local equivalence classes under multiplication by SU(2)⊗SU(2)\mathrm{SU}(2)\otimes \mathrm{SU}(2)SU(2)⊗SU(2) are geometrically represented not by the usual "Weyl chamber" as claimed in the existing literature. Instead, the "Weyl chamber" is only recovered by the projective-local equivalence which disregards global phases. We develop a systematic theory for determining equivalence and uniqueness for both notions of equivalence. Our work establishes a rigorous Lie-theoretic foundation for the theory of quantum gates and circuits.
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.
We provide a new algorithm that translates a unitary matrix into a quantum circuit according to the G=KAK theorem in Lie group theory. With our algorithm, any matrix decomposition corresponding to type-AIII KAK decompositions can be derived according to the given Cartan involution. Our algorithm contains, as its special cases, Cosine-Sine decomposition (CSD) and Khaneja-Glaser decomposition (KGD) in the sense that it derives the same quantum circuits as the ones obtained by them if we select suitable Cartan involutions and square root matrices. The selections of Cartan involutions for computing CSD and KGD will be shown explicitly. As an example, we show explicitly that our method can automatically reproduce the well-known efficient quantum circuit for the nnn-qubit quantum Fourier transform.
The two-qubit canonical decomposition SU(4) = [SU(2) \\otimes SU(2)] Delta [SU(2) \\otimes SU(2)] writes any two-qubit quantum computation as a composition of a local unitary, a relative phasing of Bell states, and a second local unitary. Using Lie theory, we generalize this to an n-qubit decomposition, the concurrence canonical decomposition (C.C.D.) SU(2^n)=KAK. The group K fixes a bilinear form related to the concurrence, and in particular any computation in K preserves the tangle |<phi^*|(-i sigma^y_1)...(-i sigma^y_n)|phi>|^2 for n even. Thus, the C.C.D. shows that any n-qubit quantum computation is a composition of a computation preserving this n-tangle, a computation in A which applies relative phases to a set of GHZ states, and a second computation which preserves it. As an application, we study the extent to which a large, random unitary may change concurrence. The result states that for a randomly chosen a in A within SU(2^{2p}), the probability that a carries a state of tangle 0 to a state of maximum tangle approaches 1 as the even number of qubits approaches infinity. Any v=k_1 a k_2 for such an a \\in A has the same property. Finally, although |<phi^*|(-i sigma^y_1)...(-i sigma^y_n)|phi>|^2 vanishes identically when the number of qubits is odd, we show that a more complicated C.C.D. still exists in which K is a symplectic group.
We provide a new algorithm that translates a unitary matrix into a quantum circuit according to the G=KAK theorem in Lie group theory. With our algorithm, any matrix decomposition corresponding to type-AIII KAK decompositions can be derived according to the given Cartan involution. Our algorithm contains, as its special cases, Cosine-Sine decomposition (CSD) and Khaneja-Glaser decomposition (KGD) in the sense that it derives the same quantum circuits as the ones obtained by them if we select suitable Cartan involutions and square root matrices. The selections of Cartan involutions for computing CSD and KGD will be hown explicitly. As an example, we show explicitly that our method can automatically reproduce the well-known efficient quantum circuit for the n-qubit quantum Fourier transform.
This chapter discusses in detail the case of two-level systems and the associated Lie group. It gives an example of a general decomposition of SU(n), namely the decomposition into planar rotation, which is quite simple and can be obtained by straightforward computations. This decomposition gives a direct way to parametrize the special unitary group. The chapter presents the basics of Cartan decompositions of semisimple Lie groups. It gives some examples of applications of Lie group decompositions and introduces some notions of Lie group and Lie algebra theory. The chapter discusses Cartan decompositions of Lie groups. Cartan decompositions appear to be ubiquitous in quantum control and dynamics and in quantum information theory.
The two-qubit canonical decomposition SU(4)=[SU(2)⊗SU(2)]Δ[SU(2)⊗SU(2)] writes any two-qubit unitary operator as a composition of a local unitary, a relative phasing of Bell states, and a second local unitary. Using Lie theory, we generalize this to an n-qubit decomposition, the concurrence canonical decomposition (CCD) SU(2n)=KAK. The group K fixes a bilinear form related to the concurrence, and in particular any unitary in K preserves the tangle |〈φ|¯(−iσ1y)⋯(−iσny)|φ〉|2 for n even. Thus, the CCD shows that any n-qubit unitary is a composition of a unitary operator preserving this n-tangle, a unitary operator in A which applies relative phases to a set of GHZ states, and a second unitary operator which preserves the tangle. As an application, we study the extent to which a large, random unitary may change concurrence. The result states that for a randomly chosen a∈A⊂SU(22p), the probability that a carries a state of tangle 0 to a state of maximum tangle approaches 1 as the even number of qubits approaches infinity. Any v=k1ak2 for such an a∈A has the same property. Finally, although |〈φ|¯(−iσ1y)⋯(−iσny)|φ〉|2 vanishes identically when the number of qubits is odd, we show that a more complicated CCD still exists in which K is a symplectic group.