High-Performance Exact Synthesis of Two-Qubit Quantum Circuits
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910001902125056 |
|---|---|
| author | Glaudell, Andrew N. Jarret, Michael Klein, Swan Mendelson, Samuel S. Mooney, T. C. Tian, Mingzhen |
| author_facet | Glaudell, Andrew N. Jarret, Michael Klein, Swan Mendelson, Samuel S. Mooney, T. C. Tian, Mingzhen |
| contents | Exact synthesis provides unconditional optimality and canonical structure, but is often limited to small, carefully scoped regimes. We present an exact synthesis framework for two-qubit circuits over the Clifford+$T$ gate set that optimizes $T$-count exactly. Our approach exhausts a bounded search space, exploits algebraic canonicalization to avoid redundancy, and constructs a lookup table of optimal implementations that turns synthesis into a query. Algorithmically, we combine meet-in-the-middle ideas with provable pruning rules and problem-specific arithmetic designed for modern hardware. The result is an exact, reusable synthesis engine with substantially improved practical performance. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_19166 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | High-Performance Exact Synthesis of Two-Qubit Quantum Circuits Glaudell, Andrew N. Jarret, Michael Klein, Swan Mendelson, Samuel S. Mooney, T. C. Tian, Mingzhen Quantum Physics Exact synthesis provides unconditional optimality and canonical structure, but is often limited to small, carefully scoped regimes. We present an exact synthesis framework for two-qubit circuits over the Clifford+$T$ gate set that optimizes $T$-count exactly. Our approach exhausts a bounded search space, exploits algebraic canonicalization to avoid redundancy, and constructs a lookup table of optimal implementations that turns synthesis into a query. Algorithmically, we combine meet-in-the-middle ideas with provable pruning rules and problem-specific arithmetic designed for modern hardware. The result is an exact, reusable synthesis engine with substantially improved practical performance. |
| title | High-Performance Exact Synthesis of Two-Qubit Quantum Circuits |
| topic | Quantum Physics |
| url | https://arxiv.org/abs/2601.19166 |