Accessible Quantum Gates on Classical Stabilizer Codes
- URL: http://arxiv.org/abs/2507.05408v1
- Date: Mon, 07 Jul 2025 18:47:58 GMT
- Title: Accessible Quantum Gates on Classical Stabilizer Codes
- Authors: Victor Barizien, Hugo Jacinto, Nicolas Sangouard,
- Abstract summary: We consider $[n,k,d]$-classical stabilizer codes addressing bit-flip errors where $n$, $k$ and $d$ are the numbers of physical and logical qubits, and the code distance respectively.<n>We prove that operations essential for achieving a universal logical gate set necessarily require complex unitary circuits to be implemented.<n>Similar constraints apply not only to classical codes designed to correct phase-flip errors, but also to quantum stabilizer codes tailored to biased noise.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: With the advent of physical qubits exhibiting strong noise bias, it becomes increasingly relevant to identify which quantum gates can be efficiently implemented on error-correcting codes designed to address a single dominant error type. Here, we consider $[n,k,d]$-classical stabilizer codes addressing bit-flip errors where $n$, $k$ and $d$ are the numbers of physical and logical qubits, and the code distance respectively. We prove that operations essential for achieving a universal logical gate set necessarily require complex unitary circuits to be implemented. Specifically, these implementation circuits either consists of $h$ layers of $r$-transversal operations on $c$ codeblocks such that $c^{h-1}r^h \geq d$ or of $h$ gates, each operating on at most $r$ physical qubits on the same codeblock, such that $hr\geq d$. Similar constraints apply not only to classical codes designed to correct phase-flip errors, but also to quantum stabilizer codes tailored to biased noise. This motivates a closer examination of alternative logical gate constructions using eg.~magic state distillation and cultivation within the framework of biased-noise stabilizer codes.
Related papers
- Clifford gates with logical transversality for self-dual CSS codes [0.8009842832476994]
Quantum error-correcting codes with high encoding rate are good candidates for large-scale quantum computers.<n>Some logical gates of a high-rate code can be fault-tolerantly implemented using physical gates.<n>We show that certain logical Clifford gates have multiple implementations, each by logical gates at a different level of concatenation.
arXiv Detail & Related papers (2025-03-25T15:55:12Z) - Quantum Codes with Addressable and Transversal Non-Clifford Gates [8.194994143531677]
We study codes that support gates which induce $textitaddressable$ logical gates.<n>We develop a formalism for constructing quantum codes with $textitaddressable and $ell neq 2$ gates.
arXiv Detail & Related papers (2025-02-03T22:24:34Z) - Generating logical magic states with the aid of non-Abelian topological order [0.0]
In fault-tolerant quantum computing, non-Clifford gates are crucial for universal computation.<n>We propose a new protocol that combines magic state preparation and code transformation to realize logical non-Clifford operations.
arXiv Detail & Related papers (2025-02-03T02:38:32Z) - 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) - SSIP: automated surgery with quantum LDPC codes [55.2480439325792]
We present Safe Surgery by Identifying Pushouts (SSIP), an open-source lightweight Python package for automating surgery between qubit CSS codes.
Under the hood, it performs linear algebra over $mathbbF$ governed by universal constructions in the category of chain complexes.
We show that various logical measurements can be performed cheaply by surgery without sacrificing the high code distance.
arXiv Detail & Related papers (2024-07-12T16:50:01Z) - Experimental fault-tolerant code switching [1.9088985324817254]
We present the first experimental implementation of fault-tolerant code switching between two codes.
We construct logical circuits and prepare 12 different logical states which are not accessible in a fault-tolerant way within a single code.
Our results experimentally open up a new route towards deterministic control over logical qubits with low auxiliary qubit overhead.
arXiv Detail & Related papers (2024-03-20T16:40:57Z) - Fault-Tolerant Computing with Single Qudit Encoding [49.89725935672549]
We discuss stabilizer quantum-error correction codes implemented in a single multi-level qudit.
These codes can be customized to the specific physical errors on the qudit, effectively suppressing them.
We demonstrate a Fault-Tolerant implementation on molecular spin qudits, showcasing nearly exponential error suppression with only linear qudit size growth.
arXiv Detail & Related papers (2023-07-20T10:51:23Z) - Quantum error-correcting codes with a covariant encoding [2.532202013576547]
Given some group $G$ of logical gates, what are the quantum encodings for which these logical gates can be implemented by simple physical operations?<n>We study this question by constructing a general form of such encoding maps.<n>For bosonic encodings, we show how to obtain the GKP and cat qudit encodings by considering the appropriate groups, and essentially the simplest physical implementations.
arXiv Detail & Related papers (2023-06-20T15:48:30Z) - Homological Quantum Rotor Codes: Logical Qubits from Torsion [47.52324012811181]
homological quantum rotor codes allow one to encode both logical rotors and logical qudits in the same block of code.<n>We show that the $0$-$pi$-qubit as well as Kitaev's current-mirror qubit are indeed small examples of such codes.
arXiv Detail & Related papers (2023-03-24T00:29:15Z) - Hierarchical memories: Simulating quantum LDPC codes with local gates [0.016385815610837167]
We construct a new family of $[[N,K,D]]$ codes, that encode a number of logical qubits $K = Omega(N/log(N)2)$.<n>The N-th element of this code family is obtained by concatenating a constant-rate quantum LDPC code with a surface code.<n>Under conservative assumptions, we find that the hierarchical code outperforms the basic encoding where all logical qubits are encoded in the surface code.
arXiv Detail & Related papers (2023-03-08T18:48:12Z) - Transversal Injection: A method for direct encoding of ancilla states
for non-Clifford gates using stabiliser codes [55.90903601048249]
We introduce a protocol to potentially reduce this overhead for non-Clifford gates.
Preliminary results hint at high quality fidelities at larger distances.
arXiv Detail & Related papers (2022-11-18T06:03:10Z) - Experimental Characterization of Fault-Tolerant Circuits in Small-Scale
Quantum Processors [67.47400131519277]
A code's logical gate set may be deemed fault-tolerant for gate sequences larger than 10 gates.
Some circuits did not satisfy the fault tolerance criterion.
It is most accurate to assess the fault tolerance criterion when the circuits tested are restricted to those that give rise to an output state with a low dimension.
arXiv Detail & Related papers (2021-12-08T01:52:36Z) - Designing the Quantum Channels Induced by Diagonal Gates [0.5735035463793007]
Diagonal gates play an important role in implementing a universal set of quantum operations.
This paper describes the process of preparing a code state, applying a diagonal physical gate, measuring a code syndrome, and applying a Pauli correction.
arXiv Detail & Related papers (2021-09-28T04:39:15Z) - 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)
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.