Buildings for Synthesis with Clifford+R
- URL: http://arxiv.org/abs/2510.11526v1
- Date: Mon, 13 Oct 2025 15:30:39 GMT
- Title: Buildings for Synthesis with Clifford+R
- Authors: Mark Deaconu, Nihar Gargava, Amolak Ratan Kalra, Michele Mosca, Jon Yard,
- Abstract summary: We study the problem of exact synthesis for the Clifford+R gate set and give the explicit structure of the underlying Bruhat-Tits building for this group.<n>In this process, we also give an alternative proof of the arithmetic nature of the Clifford+R gate set.
- Score: 1.3048920509133808
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We study the problem of exact synthesis for the Clifford+R gate set and give the explicit structure of the underlying Bruhat-Tits building for this group. In this process, we also give an alternative proof of the arithmetic nature of the Clifford+R gate set.
Related papers
- A Complete Equational Theory for Real-Clifford+CH Quantum Circuits [51.56484100374058]
We give a simple set of equalities between circuits of this fragment, and prove that any other true equation can be derived from these.<n>This is the first such completeness result for a finitely-generated, universal fragment of quantum circuits, with no parameterized gates and no need for ancillas.
arXiv Detail & Related papers (2026-02-06T12:11:39Z) - Clifford and Non-Clifford Splitting in Quantum Circuits: Applications and ZX-Calculus Detection Procedure [49.1574468325115]
We propose and analyze use cases that come from quantum circuits that can be written as product between a Clifford and a Non-Clifford unitary.<n>We make use of ZX-Calculus and its assets to detect a limiting border of these circuits that would allow for a separation between a Clifford section and a Non-Clifford section.
arXiv Detail & Related papers (2025-04-22T16:10:34Z) - Fault-Tolerant Constant-Depth Clifford Gates on Toric Codes [51.205673783866146]
We propose and simulate a set of fault-tolerant and constant-depth logical gates on 2D toric codes.<n>This set combines fold-transversal gates, Dehn twists and single-shot logical Pauli measurements and generates the full Clifford group.
arXiv Detail & Related papers (2024-11-27T12:17:56Z) - Targeted Clifford logical gates for hypergraph product codes [54.57204856880369]
We first derive symplectic matrices for CNOT, CZ, Phase, and Hadamard operators, which together generate the Clifford group.<n>This enables us to design explicit transformations that result in targeted logical gates for arbitrary codes in this family.
arXiv Detail & Related papers (2024-11-26T02:32:44Z) - Clifford circuits over non-cyclic abelian groups [0.0]
We show that every Clifford circuit can be efficiently classically simulated.
We additionally provide circuits for a universal quantum computing scheme based on local two-qudit Clifford gates and magic states.
arXiv Detail & Related papers (2024-02-21T18:26:25Z) - A T-depth two Toffoli gate for 2D square lattice architectures [49.88310438099143]
We present a novel Clifford+T decomposition of a Toffoli gate.
Our decomposition requires no SWAP gates in order to be implemented on 2D square lattices of qubits.
This decomposition enables shallower, more fault-tolerant quantum computations on both NISQ and error-corrected architectures.
arXiv Detail & Related papers (2023-11-21T10:33:51Z) - Low-depth Clifford circuits approximately solve MaxCut [44.99833362998488]
We introduce a quantum-inspired approximation algorithm for MaxCut based on low-depth Clifford circuits.
Our algorithm finds an approximate solution of MaxCut on an $N$-vertex graph by building a depth $O(N)$ Clifford circuit.
arXiv Detail & Related papers (2023-10-23T15:20:03Z) - A Rubik's Cube inspired approach to Clifford synthesis [0.14504054468850663]
The problem of decomposing an arbitrary Clifford element into a sequence of Clifford gates is known as Clifford synthesis.
We develop a machine learning approach for Clifford synthesis based on learning an approximation to the distance to the identity.
arXiv Detail & Related papers (2023-07-17T17:46:08Z) - A graph-state based synthesis framework for Clifford isometries [2.048226951354646]
We tackle the problem of synthesizing a Clifford isometry into an executable quantum circuit.<n>We propose a simple framework for synthesis that exploits the elementary properties of the Clifford group and one equation of the symplectic group.<n>We also propose practical synthesis algorithms for Clifford isometries with a focus on Clifford operators, graph states and codiagonalization of Pauli rotations.
arXiv Detail & Related papers (2022-12-13T22:50:24Z) - Generators and Relations for 2-Qubit Clifford+T Operators [0.0]
We give a presentation by generators and relations of the group of Clifford+T operators on two qubits.
The proof relies on an application of the Reidemeister-Schreier theorem to an earlier result of Greylyn, and has been formally verified in the proof assistant Agda.
arXiv Detail & Related papers (2022-04-05T13:48:53Z) - Qutrit metaplectic gates are a subset of Clifford+T [0.0]
A popular universal gate set for quantum computing with qubits is Clifford+T, as this can be readily implemented on many fault-tolerant architectures.
For qutrits, there is an equivalent T gate, that, like its qubit analogue, makes Clifford+T approximately universal, is injectable by a magic state, and supports magic state distillation.
It was claimed that a better gate set for qutrits might be Clifford+R, where R=diag (1,1,-1) is the metaplectic gate, as certain protocols and gates could more easily be implemented using the R gate than the T gate
arXiv Detail & Related papers (2022-02-18T15:03:47Z) - A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz [68.8204255655161]
We describe a compilation strategy for Variational Quantum Eigensolver (VQE) algorithms.
We use the Unitary Coupled Cluster (UCC) ansatz to reduce circuit depth and gate count.
arXiv Detail & Related papers (2020-07-20T22:26:16Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.