Hardware-tailored logical Clifford circuits for stabilizer codes

• URL: http://arxiv.org/abs/2505.20261v1
• Date: Mon, 26 May 2025 17:40:52 GMT
• Title: Hardware-tailored logical Clifford circuits for stabilizer codes
• Authors: Eric J. Kuehnke, Kyano Levi, Joschka Roffe, Jens Eisert, Daniel Miller,
• Abstract summary: Quantum error correction is the art of protecting fragile quantum information.<n>It is notoriously difficult to manipulate encoded quantum data without introducing uncorrectable errors.<n>We introduce a mathematical framework for constructing hardware-tailored quantum circuits.
• Score: 1.2116854758481392
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Quantum error correction is the art of protecting fragile quantum information through suitable encoding and active interventions. After encoding $k$ logical qubits into $n>k$ physical qubits using a stabilizer code, this amounts to measuring stabilizers, decoding syndromes, and applying an appropriate correction. Although quantum information can be protected in this way, it is notoriously difficult to manipulate encoded quantum data without introducing uncorrectable errors. Here, we introduce a mathematical framework for constructing hardware-tailored quantum circuits that implement any desired Clifford unitary on the logical level of any given stabilizer code. Our main contribution is the formulation of this task as a discrete optimization problem. We can explicitly integrate arbitrary hardware connectivity constraints. As a key feature, our framework naturally incorporates an optimization over all Clifford gauges (differing only in their action outside the code space) of a desired logical circuit. In this way, we find, for example, fault-tolerant and teleportation-free logical Hadamard circuits for the $[[8,3,2]]$ code. From a broader perspective, we turn away from the standard generator decomposition approach and instead focus on the holistic compilation of entire logical circuits, leading to significant savings in practice. Our work introduces both the necessary mathematics and open-source software to compile hardware-tailored logical Clifford circuits for stabilizer codes.

Related papers

• Accessible Quantum Gates on Classical Stabilizer Codes [0.0]
  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.
  arXiv  Detail & Related papers  (2025-07-07T18:47:58Z)
• Experimental Demonstration of Logical Magic State Distillation [62.77974948443222]
  We present the experimental realization of magic state distillation with logical qubits on a neutral-atom quantum computer.<n>Our approach makes use of a dynamically reconfigurable architecture to encode and perform quantum operations on many logical qubits in parallel.
  arXiv  Detail & Related papers  (2024-12-19T18:38:46Z)
• Scaling and logic in the color code on a superconducting quantum processor [109.61104855764401]
  We present a demonstration of the color code on a superconducting processor, achieving logical error suppression and performing logical operations.<n>We inject magic states, a key resource for universal computation, achieving fidelities exceeding 99% with post-selection.<n>This work establishes the color code as a compelling research direction to realize fault-tolerant quantum computation on superconducting processors.
  arXiv  Detail & Related papers  (2024-12-18T19:00:05Z)
• Demonstrating real-time and low-latency quantum error correction with superconducting qubits [52.08698178354922]
  We demonstrate low-latency feedback with a scalable FPGA decoder integrated into a superconducting quantum processor. We observe logical error suppression as the number of decoding rounds is increased. The decoder throughput and latency developed in this work, combined with continued device improvements, unlock the next generation of experiments.
  arXiv  Detail & Related papers  (2024-10-07T17:07:18Z)
• Logical Operators and Fold-Transversal Gates of Bivariate Bicycle Codes [1.8416014644193066]
  Quantum low-density parity-check (qLDPC) codes offer a promising route to scalable fault-tolerant quantum computation with constant overhead. Recent advancements have shown that qLDPC codes can outperform the quantum memory capability of surface codes even with near-term hardware.
  arXiv  Detail & Related papers  (2024-07-04T14:49:35Z)
• Implementing fault-tolerant non-Clifford gates using the [[8,3,2]] color code [0.0]
  We observe improved performance for encoded circuits implementing non-Clifford gates. Our results illustrate the potential of using codes with quantum gates to implement non-trivial algorithms.
  arXiv  Detail & Related papers  (2023-09-15T18:00:02Z)
• 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)
• Protecting Expressive Circuits with a Quantum Error Detection Code [0.0]
  We develop a quantum error detection code for implementations on existing trapped-ion computers. By encoding $k$ logical qubits into $k+2$ physical qubits, this code presents fault-tolerant state initialisation and syndrome measurement circuits.
  arXiv  Detail & Related papers  (2022-11-12T16:46:35Z)
• 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)
• Relaxation times do not capture logical qubit dynamics [50.04886706729045]
  We show that spatial noise correlations can give rise to rich and counter-intuitive dynamical behavior of logical qubits. This work will help to guide and benchmark experimental implementations of logical qubits.
  arXiv  Detail & Related papers  (2020-12-14T19:51:19Z)
• Classical Coding Approaches to Quantum Applications [2.5382095320488665]
  In deep-space optical communications, current receivers for the pure-state-quantum channel first measure each qubit channel output and then classically post-process the measurements. In this dissertation we investigate a recently proposed quantum algorithm for this task, which is inspired by classical belief-propagation algorithms. We show that the algorithm is optimal for each bit and it appears to achieve optimal performance when deciding the full transmitted message.
  arXiv  Detail & Related papers  (2020-04-14T23:31:46Z)

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.