arxiv: 2605.10783 · v1 · submitted 2026-05-11 · 🪐 quant-ph · math-ph· math.GR· math.MP

Recognition: 2 theorem links

· Lean Theorem

On the KAK Decomposition and Equivalence Classes

Dawei Ding , Yu Liu , Zi-Wen Liu

Authors on Pith no claims yet

Pith reviewed 2026-05-12 04:37 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.GRmath.MP

keywords KAK decompositionSU(4)local equivalenceWeyl chamberquantum gatesdouble cosetprojective equivalenceLie groups

0 comments

The pith

For SU(4), local equivalence classes under SU(2) tensor SU(2) are geometrically distinct from the Weyl chamber used in the literature.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a general KAK decomposition theorem for any connected compact semisimple Lie group and specializes it to SU(4). It separates two notions of equivalence: double-coset equivalence, which treats global phases as meaningful, and projective equivalence, which discards them. The central result is that only projective equivalence recovers the familiar Weyl chamber geometry for two-qubit gates; ordinary local equivalence uses a different region. A reader would care because quantum circuit designers and gate-set theorists have relied on the Weyl chamber picture to count and optimize inequivalent gates. The work supplies systematic criteria for deciding equivalence and uniqueness under each definition.

Core claim

We prove a general KAK decomposition theorem for connected compact semisimple Lie groups and derive the explicit decomposition for SU(4). We show that local equivalence classes under multiplication by SU(2)⊗SU(2) are not represented by the usual Weyl chamber; the Weyl chamber appears only for the projective-local equivalence that disregards global phases. We develop complete criteria for equivalence and uniqueness in both settings.

What carries the argument

The KAK decomposition, which writes a group element as a product of two elements from a fixed subgroup K sandwiching an element from a maximal abelian subgroup A, thereby parametrizing the double cosets.

If this is right

Two-qubit gates must be classified with a geometry that differs from the Weyl chamber whenever global phases are retained.
Circuit optimization and gate counting inherit the corrected region rather than the projective one.
Uniqueness statements for decompositions now split cleanly into phase-sensitive and phase-insensitive cases.
The same general theorem applies directly to other connected compact semisimple groups beyond SU(4).

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Compilation routines that treat global phases as physical would operate on a different set of canonical representatives.
The distinction supplies a concrete test for whether a given quantum gate library respects or ignores overall phases.
Similar double-coset versus projective comparisons could be carried out for larger SU(2^n) to classify multi-qubit gates.

Load-bearing premise

The chosen definitions of double-coset versus projective equivalence, together with the assumption that the group is connected, compact, and semisimple, suffice to produce the geometric distinction for SU(4).

What would settle it

Take the matrix for the controlled-NOT gate, compute its double-coset representative under SU(2)⊗SU(2), and check whether its parameters lie inside the coordinate bounds conventionally assigned to the Weyl chamber.

Figures

Figures reproduced from arXiv: 2605.10783 by Dawei Ding, Yu Liu, Zi-Wen Liu.

**Figure 1.** Figure 1: K-lattice (in the c1c2-plane). Proposition 4.7. If [c1, c2, c3] is a coordinate of [u] as an double coset equivalence class, then [ci , cj , ck] , [ci + π, cj , ck] , [ci + π/2, cj + π/2, ck] , [π/2 − ci , π/2 − cj , ck] , [ci , π/2 − cj , π/2 − ck] , [π/2 − ci , cj , π/2 − ck] (4.8) are also coordinates for [u], where (i, j, k) can be any permutation of (1, 2, 3). And (4.8) generates the full set of equiv… view at source ↗

**Figure 2.** Figure 2: Tetrahedral cell (T-cell) given by (4.9). Proof of Proposition 4.8. For ⃗c = [c1, c2, c3] ∈ R 3 . We implement the following algorithm. Via translation relations [ci , cj , ck] ∼ [ci , cj , ck + π] ∼ [ci + π/2, cj + π/2, ck] , we can make c1, c2 ∈ [0, π/2) and c3 ∈ [−π/2, π/2). Via permutations of each pair of entries, we can make c1 ≥ c2 ≥ c3. If c1 + c2 > π/2, then transform using [c1, c2, c3] ∼ [π/2 − c… view at source ↗

**Figure 3.** Figure 3: p-lattice (in the c1c2-plane). Combining the Weyl group, using Theorem 3.12, we get the following criterion for determining distinct projective equivalence classes. 19 [PITH_FULL_IMAGE:figures/full_fig_p019_3.png] view at source ↗

**Figure 4.** Figure 4: Projective tetrahedral cell (P-cell). 4.3 Comparison between the equivalence classes To conclude this section, we offer a comparative remark on the two types of equivalence classes introduced above. Motivated by practical applications in quantum information the21 [PITH_FULL_IMAGE:figures/full_fig_p021_4.png] view at source ↗

**Figure 5.** Figure 5: Representative two-qubit gates in the P-cell. In contrast, recall that the T-cell is a twice as large region that additionally distinguishes different global phases. For instance, define SWAP′ to be the above SWAP-gate multiplying a global phase i, which represents the action that exchanges the states of the two qubits and attaches a global phase i. Its matrix in the computational basis is SWAP′ = i ·  … view at source ↗

**Figure 6.** Figure 6: Representative two-qubit gates in the T-cell. Note that the same gate can split across different locations due to global phase ambiguities. 5 Conclusions and outlook In this work, we closed notable gaps in the Lie-theoretic foundations of the KAK decomposition and its applications, especially in quantum computing. Specifically, we make the heuristic arguments in the literature fully rigorous. Our primary … view at source ↗

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper shows that the Weyl chamber for SU(4) represents projective-local equivalence (ignoring phases) rather than strict local equivalence under SU(2)⊗SU(2), and supplies a general KAK proof to back the distinction.

read the letter

The main thing to know is that this work separates two notions of KAK equivalence for SU(4) and argues the usual Weyl chamber picture only holds once global phases are dropped. That distinction directly addresses statements in the quantum computing literature that treated the chamber as the full local-equivalence set under SU(2)⊗SU(2) multiplication. They also give a complete general KAK theorem for connected compact semisimple Lie groups with an explicit proof, then build a systematic account of equivalence and uniqueness for both the double-coset and projective versions. The SU(4) geometry follows from those definitions and the standard Lie-group assumptions, so the correction looks internally consistent. The proofs rest on standard axioms rather than any fitted parameters, which keeps the circularity burden low. The soft spot is modest: the claim of prior inconsistencies would be stronger with more pinpoint citations to the exact earlier statements being corrected, and the specific SU(4) chamber boundaries would benefit from an explicit comparison to existing numerical or computational checks in the gate-synthesis literature. Still, nothing in the setup appears load-bearing or contradictory. This is useful for anyone doing two-qubit gate compilation or equivalence classification who needs the geometry stated precisely. It is the kind of targeted foundational cleanup that deserves a serious referee.

Referee Report

0 major / 3 minor

Summary. The manuscript develops a Lie-theoretic framework for the KAK decomposition applicable to connected compact semisimple Lie groups. It supplies a general decomposition theorem with a complete proof, specializes the result to SU(4), and distinguishes double-coset equivalence from projective equivalence under local unitaries. For SU(4) it argues that local equivalence classes under SU(2)⊗SU(2) are not geometrically represented by the standard Weyl chamber; the Weyl chamber appears only under the projective-local equivalence that ignores global phases. The work supplies a systematic theory for equivalence and uniqueness under both notions and positions the results as a rigorous foundation for quantum gates and circuits.

Significance. If the proofs hold, the paper supplies a needed clarification of the precise conditions for the KAK decomposition and resolves inconsistencies in the literature on equivalence classes of two-qubit gates. The explicit distinction between double-coset and projective equivalence, together with the geometric correction for SU(4), would strengthen the mathematical basis for quantum circuit theory and gate classification.

minor comments (3)

The abstract states that the work 'clarifies the relationship between various definitions of a Cartan decomposition in the literature,' yet the introduction does not list the specific prior definitions being reconciled; a short comparative table or explicit citations would improve readability.
The geometric claim for SU(4) equivalence classes would be easier to follow if the manuscript included a figure contrasting the double-coset region with the projective Weyl chamber.
Notation for the two equivalence relations (double-coset versus projective) is introduced in the text but not summarized in a single definition box; adding such a box would aid readers who consult only the SU(4) section.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and constructive assessment of our manuscript. The recommendation for minor revision is appreciated, and we will prepare a revised version incorporating any necessary clarifications.

Circularity Check

0 steps flagged

No significant circularity; derivation rests on standard Lie-group axioms and explicit proofs

full rationale

The paper presents a self-contained mathematical proof of the KAK decomposition theorem for connected compact semisimple Lie groups, including a complete derivation for SU(4) and a distinction between double-coset and projective equivalence classes. All load-bearing steps invoke standard definitions of Cartan decompositions, connectedness, compactness, and semisimplicity rather than any fitted parameters, self-referential definitions, or unverified self-citations. The geometric claims for SU(4) follow directly from the chosen equivalence notions and the standing group-theoretic assumptions, with no reduction of outputs to inputs by construction. External literature is referenced only for context and inconsistencies, not as load-bearing justification for the core theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard Lie-group axioms but introduces no new free parameters or invented entities; full details on any additional assumptions in the proofs are unavailable from the abstract alone.

axioms (1)

standard math Connected compact semisimple Lie groups admit a Cartan decomposition with the stated properties
Invoked to establish the general KAK decomposition theorem.

pith-pipeline@v0.9.0 · 5528 in / 1158 out tokens · 46446 ms · 2026-05-12T04:37:09.231852+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We then distinguish two distinct notions of KAK equivalence classes—double coset equivalence and projective equivalence... for SU(4), we show that local equivalence classes under multiplication by SU(2)⊗SU(2) are geometrically represented not by the usual 'Weyl chamber'

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[1]

Differential

Helgason, Sigurdur , year =. Differential. doi:10.1090/gsm/034 , url =

work page doi:10.1090/gsm/034
[2]

, year =

Knapp, Anthony W. , year =. Lie

work page
[3]

2004 , month = jun, journal =

Canonical Decompositions of N-Qubit Quantum Computations and Concurrence , author =. 2004 , month = jun, journal =. doi:10.1063/1.1723701 , url =

work page doi:10.1063/1.1723701 2004
[4]

1926 , journal =

Sur Une Classe Remarquable d'espaces de Riemann , author =. 1926 , journal =. doi:10.24033/bsmf.1105 , url =

work page doi:10.24033/bsmf.1105 1926
[5]

, title =

Khaneja, Navin and Glaser, Steffen J. , title =. arXiv preprint quant-ph/0010100 , year =. quant-ph/0010100 , archivePrefix =

work page arXiv
[6]

Birgitta and Sastry, Shankar , title =

Zhang, Jun and Vala, Jiri and Whaley, K. Birgitta and Sastry, Shankar , title =. Physical Review A , volume =. 2003 , doi =. quant-ph/0209120 , archivePrefix =

work page arXiv 2003
[7]

Quantum , volume=

Fixed-depth two-qubit circuits and the monodromy polytope , author=. Quantum , volume=. 2020 , publisher=

work page 2020
[8]

Wierichs, David , title =

work page
[9]

IBM Qiskit SDK , title =

work page
[10]

Google Cirq SDK , title =

work page
[11]

doi:10.1090/surv/083 , url =

Groups and Geometric Analysis , author =. doi:10.1090/surv/083 , url =

work page doi:10.1090/surv/083
[12]

Journal of Physics A: Mathematical and Theoretical , volume =

A General Framework for Recursive Decompositions of Unitary Quantum Evolutions , author =. Journal of Physics A: Mathematical and Theoretical , volume =. 2008 , publisher =. doi:10.1088/1751-8113/41/15/155302 , url =

work page doi:10.1088/1751-8113/41/15/155302 2008
[13]

Journal of Physics A: Mathematical and Theoretical , volume =

D'Alessandro, Domenico and Albertini, Francesca , title =. Journal of Physics A: Mathematical and Theoretical , volume =. 2007 , doi =. quant-ph/0504044 , archivePrefix =

work page arXiv 2007
[14]

Science in China, Series G: Physics Mechanics and Astronomy , shortjournal =

Cartan Decomposition of a Two-Qutrit Gate , author =. Science in China, Series G: Physics Mechanics and Astronomy , shortjournal =. doi:10.1007/s11433-008-0157-8 , url =

work page doi:10.1007/s11433-008-0157-8
[15]

, title =

Drury, Byron and Love, Peter J. , title =. Journal of Physics A: Mathematical and Theoretical , volume =. 2008 , doi =. 0806.4015 , archivePrefix =

work page arXiv 2008
[16]

A Constructive Algorithm for the Cartan Decomposition of

S. A Constructive Algorithm for the Cartan Decomposition of. Journal of Mathematical Physics , volume =. 2005 , doi =. quant-ph/0505128 , archivePrefix =

work page arXiv 2005
[17]

, title =

Perrier, Elija and Jackson, Christopher S. , title =. arXiv preprint arXiv:2404.02358 , year =. 2404.02358 , archivePrefix =

work page arXiv
[18]

and Cerezo, M

Wierichs, David and West, Maxwell and Forestano, Roy T. and Cerezo, M. and Killoran, Nathan , title =. arXiv preprint arXiv:2503.19014 , year =. 2503.19014 , archivePrefix =

work page arXiv
[19]

Entropy , volume =

Watts, Paul and O'Connor, Maurice and Vala, Jiri , title =. Entropy , volume =. 2013 , doi =. 1306.2811 , archivePrefix =

work page arXiv 2013
[20]

arXiv preprint arXiv:2411.04898 , year =

Kong, Linghang and Li, Zimu and Liu, Zi-Wen , title =. arXiv preprint arXiv:2411.04898 , year =. 2411.04898 , archivePrefix =

work page arXiv