Non-Clifford gates between stabilizer codes via non-Abelian topological order
- URL: http://arxiv.org/abs/2505.18265v1
- Date: Fri, 23 May 2025 18:01:38 GMT
- Title: Non-Clifford gates between stabilizer codes via non-Abelian topological order
- Authors: Rohith Sajith, Zijian Song, Brenden Roberts, Varun Menon, Yabo Li,
- Abstract summary: We propose protocols to implement non-Clifford logical gates between stabilizer codes by entangling into a non-Abelian topological order as an intermediate step.<n>Generalizing previous approaches, we provide a framework that generates a large class of non-Clifford and non-diagonal logical gates between qudit surface codes.
- Score: 2.3662819244688182
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We propose protocols to implement non-Clifford logical gates between stabilizer codes by entangling into a non-Abelian topological order as an intermediate step. Generalizing previous approaches, we provide a framework that generates a large class of non-Clifford and non-diagonal logical gates between qudit surface codes by gauging the topological symmetry of symmetry-enriched topological orders. As our main example, we concretely detail a protocol that utilizes the quantum double of $S_3$ to generate a controlled-charge conjugation ($C\mathcal{C}$) gate between a qubit and qutrit surface code. Both the preparation of non-Abelian states and logical state injection between the Abelian and non-Abelian codes are executed via finite-depth quantum circuits with measurement and feedforward. We discuss aspects of the fault-tolerance of our protocol, presenting insights on how to construct a heralded decoder for the quantum double of $S_3.$ We also outline how analogous protocols can be used to obtain logical gates between qudit surface codes by entangling into $\mathcal{D}(G),$ where $G$ is a semidirect product of Abelian groups. This work serves as a step towards classifying the computational power of non-Abelian quantum phases beyond the paradigm of anyon braiding on near-term quantum devices.
Related papers
- Universal fault tolerant quantum computation in 2D without getting tied in knots [1.796950496605906]
We show how to perform fault-tolerant non-Clifford gates in two dimensions.<n>We formulate a path framework which provides both a macroscopic picture for different logical gates as well as a way to derive the associated microscopic circuits.
arXiv Detail & Related papers (2025-03-19T23:59:46Z) - Generating logical magic states with the aid of non-Abelian topological order [0.0]
We propose a new protocol that combines magic state preparation and code switching to realize logical non-Clifford operations.<n>Our approach begins with a special logical state in the $mathbbZ_4$ surface code.
arXiv Detail & Related papers (2025-02-03T02:38:32Z) - Targeted Clifford logical gates for hypergraph product codes [61.269295538188636]
We construct explicit targeted logical gates for hypergraph product codes.
As a concrete example, we give logical circuits for the $[[18,2,3]]$ toric code.
arXiv Detail & Related papers (2024-11-26T02:32:44Z) - Classifying Logical Gates in Quantum Codes via Cohomology Operations and Symmetry [0.0]
We construct and classify fault-tolerant logical gates implemented by constant-depth circuits for quantum codes.<n>We present a formalism for addressable and parallelizable logical gates in LDPC codes via higher-form symmetries.<n>As a byproduct, we find new topological responses of finite higher-form symmetries using higher Pontryagin powers.
arXiv Detail & Related papers (2024-11-24T14:01:37Z) - Geometric structure and transversal logic of quantum Reed-Muller codes [51.11215560140181]
In this paper, we aim to characterize the gates of quantum Reed-Muller (RM) codes by exploiting the well-studied properties of their classical counterparts.
A set of stabilizer generators for a RM code can be described via $X$ and $Z$ operators acting on subcubes of particular dimensions.
arXiv Detail & Related papers (2024-10-10T04:07:24Z) - Topological Characterization with a Twist, Condensation, and Reflection [0.0]
We provide a series of experimentally accessible near- and medium-term protocols assessing the fidelity of logical processes.
We then present a $mathbbZ_4$ topological quasiparticle reflectometry and scattering protocol.
Our logical and scattering protocols are suitable for near-term devices where many physical qubits encode few logical qubits.
arXiv Detail & Related papers (2022-09-22T16:11:51Z) - Shortest Route to Non-Abelian Topological Order on a Quantum Processor [0.0]
We show there exists a broad family of non-Abelian states -- namely those with a Lagrangian subgroup.
We show how $D_4$ non-Abelian topological order can be realized on Google's quantum processors.
arXiv Detail & Related papers (2022-09-08T18:00:00Z) - Adaptive constant-depth circuits for manipulating non-abelian anyons [65.62256987706128]
Kitaev's quantum double model based on a finite group $G$.
We describe quantum circuits for (a) preparation of the ground state, (b) creation of anyon pairs separated by an arbitrary distance, and (c) non-destructive topological charge measurement.
arXiv Detail & Related papers (2022-05-04T08:10:36Z) - Finding the disjointness of stabilizer codes is NP-complete [77.34726150561087]
We show that the problem of calculating the $c-disjointness, or even approximating it to within a constant multiplicative factor, is NP-complete.
We provide bounds on the disjointness for various code families, including the CSS codes,$d codes and hypergraph codes.
Our results indicate that finding fault-tolerant logical gates for generic quantum error-correcting codes is a computationally challenging task.
arXiv Detail & Related papers (2021-08-10T15:00:20Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
We introduce a high-fidelity gate set inspired by a proposal for near-term quantum advantage in optimization problems.
By orchestrating coherent, multi-level control over three transmon qutrits, we synthesize a family of deterministic, continuous-angle quantum phase gates acting in the natural three-qubit computational basis.
arXiv Detail & Related papers (2021-08-03T17:49:09Z) - Random quantum circuits anti-concentrate in log depth [118.18170052022323]
We study the number of gates needed for the distribution over measurement outcomes for typical circuit instances to be anti-concentrated.
Our definition of anti-concentration is that the expected collision probability is only a constant factor larger than if the distribution were uniform.
In both the case where the gates are nearest-neighbor on a 1D ring and the case where gates are long-range, we show $O(n log(n)) gates are also sufficient.
arXiv Detail & Related papers (2020-11-24T18:44:57Z) - Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [48.94443749859216]
We introduce a quantum copy-protection scheme for a class of evasive functions known as " compute-and-compare programs"
We prove that our scheme achieves non-trivial security against fully malicious adversaries in the quantum random oracle model (QROM)
As a complementary result, we show that the same scheme fulfils a weaker notion of software protection, called "secure software leasing"
arXiv Detail & Related papers (2020-09-29T08:41:53Z)
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.