dorsal/arxiv
View SchemaNote on the Khaneja Glaser Decomposition
| Authors | Stephen S Bullock |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0403141 |
| URL | https://arxiv.org/abs/quant-ph/0403141 |
| Journal | Quantum Information and Computation, vol. 4, no. 5, 396-400 (2004) |
Abstract
Recently, Vatan and Williams utilize a matrix decomposition of SU(2^n) introduced by Khaneja and Glaser to produce CNOT-efficient circuits for arbitrary three-qubit unitary evolutions. In this note, we place the Khaneja Glaser Decomposition (KGD) in context as a SU(2^n)=KAK decomposition by proving that its Cartan involution is type AIII, given n is greater than 2. The standard type AIII involution produces the Cosine-Sine Decomposition (CSD), a well-known decomposition in numerical linear algebra which may be computed using mature, stable algorithms. In the course of our proof that the KGD is type AIII, we further establish the following. Khaneja and Glaser allow for a particular degree of freedom, namely the choice of a commutative algebra a, in their construction. Let SWAP denote a swap between qubits 1 and n. Then for appropriate choice of a, the KGD by (SWAP v SWAP)=k1 a k2 may be recovered from a CSD by v = (SWAP k1 SWAP) (SWAP a SWAP) (SWAP k2 SWAP).
{
"annotation_id": "fc946344-aefb-433b-afad-3c5b7f56275d",
"date_created": "2026-03-02T18:02:05.878000Z",
"date_modified": "2026-03-02T18:02:05.878000Z",
"file_hash": "0f1c12652999ca16c04729b6120bd2a26913fe50cac1bd21e51d42dbe5fd5eb6",
"private": false,
"record": {
"abstract": "Recently, Vatan and Williams utilize a matrix decomposition of SU(2^n)\nintroduced by Khaneja and Glaser to produce CNOT-efficient circuits for\narbitrary three-qubit unitary evolutions. In this note, we place the Khaneja\nGlaser Decomposition (KGD) in context as a SU(2^n)=KAK decomposition by proving\nthat its Cartan involution is type AIII, given n is greater than 2. The\nstandard type AIII involution produces the Cosine-Sine Decomposition (CSD), a\nwell-known decomposition in numerical linear algebra which may be computed\nusing mature, stable algorithms. In the course of our proof that the KGD is\ntype AIII, we further establish the following. Khaneja and Glaser allow for a\nparticular degree of freedom, namely the choice of a commutative algebra a, in\ntheir construction. Let SWAP denote a swap between qubits 1 and n. Then for\nappropriate choice of a, the KGD by (SWAP v SWAP)=k1 a k2 may be recovered from\na CSD by v = (SWAP k1 SWAP) (SWAP a SWAP) (SWAP k2 SWAP).",
"arxiv_id": "quant-ph/0403141",
"authors": [
"Stephen S Bullock"
],
"categories": [
"quant-ph"
],
"journal_ref": "Quantum Information and Computation, vol. 4, no. 5, 396-400 (2004)",
"title": "Note on the Khaneja Glaser Decomposition",
"url": "https://arxiv.org/abs/quant-ph/0403141"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "ffc84b39-ae0c-41d3-82ac-034dd299a0b9",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}