Constructing an approximate logical Markovian model of consecutive QEC cycles of a stabilizer code

• URL: http://arxiv.org/abs/2509.16887v1
• Date: Sun, 21 Sep 2025 02:43:16 GMT
• Title: Constructing an approximate logical Markovian model of consecutive QEC cycles of a stabilizer code
• Abstract summary: One difficulty is the lack of a clear connection between logical performance and the low-level error models.<n>We prove that consecutive noisy QEC cycles can be modeled by a memoryless error process acting only on the logical subsystem.<n>We expect that the approximate logical Markovian model will be both a useful tool for logical characterization and an aid for designing stabilizer-code implementations with guarantees of logical performance.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: As quantum error correction (QEC) experiments continue to make rapid progress, there is increased interest in designing experiments with guarantees of logical performance. At present, one difficulty is the lack of a clear connection between logical performance and the low-level error models. In this work, we take an important step toward addressing this issue by proving that consecutive QEC cycles of a stabilizer code with Pauli stochastic noise and with a single-cycle infidelity $\epsilon_1 \leq 1/64$ admit an approximate logical Markovian model, meaning that consecutive noisy QEC cycles can be modeled by a memoryless error process acting only on the logical subsystem. The approximate logical Markovian model can be computed from the low-level error model, and the deviations from the true behavior are exponentially suppressed in the number of QEC cycles. Consequently, we expect that the approximate logical Markovian model will be both a useful tool for logical characterization and an aid for designing stabilizer-code implementations with guarantees of logical performance.

Related papers

• Correlated Coherent Errors in Stabilizer Codes: A General Cumulant Framework and Interference-Based Error Suppression [0.15393457051344298]
  Coherent errors in stabilizer codes are often correlated across qubits and QEC cycles.<n>We derive the exact logical channel induced by repeated QEC cycles under correlated coherent $Z$ noise.<n>We also show that noise correlations, usually assumed to be harmful to QEC, can instead be a resource.
  arXiv  Detail & Related papers  (2026-07-24T17:16:19Z)
• LFQ: Logit-aware Final-block Quantization for Boosting the Generation Quality of Low-Bit Quantized LLMs [52.1276403258812]
  We introduce Logit-aware Final-block Quantization (LFQ), a simple yet effective enhancement to block-wise PTQ.<n>LFQ consistently improves the accuracy of complex generation tasks over state-of-the-art block-wise PTQ.
  arXiv  Detail & Related papers  (2026-05-28T11:02:23Z)
• FTPrimitiveBench: A Benchmark Suite For Logical Computation Under Hardware-Motivated and Biased Noise Models [2.3094992090533246]
  We introduce FTPrimitiveBench, a systematic benchmarking approach for studying how logical primitives interact with hardware-motivated noise.<n>Results extend memory benchmarks to active logical computation, where the interaction between noise structure and primitive implementation matters.
  arXiv  Detail & Related papers  (2026-05-05T17:59:59Z)
• How LLMs Fail and Generalize in RTL Coding for Hardware Design? [56.361436215029045]
  We introduce a new error taxonomy grounded in problem solvability, inspired by cognitive theory.<n>Our taxonomy categorizes failures into syntactic, semantic, solvable functional, and unsolvable functional types.
  arXiv  Detail & Related papers  (2026-04-26T14:34:49Z)
• Efficient learning of logical noise from syndrome data [1.2109342530966007]
  We develop efficient estimators with provable guarantees on sample complexity and computational cost.<n>Our results establish syndrome-based learning as a practical approach to characterizing the logical channel in fault-tolerant quantum devices.
  arXiv  Detail & Related papers  (2026-01-29T20:02:00Z)
• Continual Quantum Architecture Search with Tensor-Train Encoding: Theory and Applications to Signal Processing [68.35481158940401]
  CL-QAS is a continual quantum architecture search framework.<n>It mitigates challenges of costly encoding amplitude and forgetting in variational quantum circuits.<n>It achieves controllable robustness expressivity, sample-efficient generalization, and smooth convergence without barren plateaus.
  arXiv  Detail & Related papers  (2026-01-10T02:36:03Z)
• Spacetime Spins: Statistical mechanics for error correction with stabilizer circuits [0.0]
  Recent progress in quantum error correction has prompted new paradigms where codes emerge from stabilizer circuits in spacetime.<n>We show how to construct statistical mechanical models for stabilizer circuits subject to independent Pauli errors.<n>Our framework offers a universal prescription to analyze, simulate, and compare the decoding properties of any stabilizer circuit.
  arXiv  Detail & Related papers  (2025-12-26T11:25:02Z)
• Logical Error Rates for the Surface Code Under a Mixed Coherent and Stochastic Circuit-Level Noise Model Inspired by Trapped Ions [0.5767156832161817]
  We consider logical error rates for the surface code implemented on a hypothetical grid-based trapped-ion quantum charge-coupled device (QCCD) architecture.<n>Specifically, we construct logical channels for the idling surface code and examine its diamond error under a mixed coherent and circuit-level noise model.
  arXiv  Detail & Related papers  (2025-08-19T19:37:09Z)
• Surface Code Error Correction with Crosstalk Noise [0.6976976250169952]
  We study various types of crosstalk noise and quantify their effects on surface codes through memory and stability experiments.<n>We introduce crosstalk-robust implementations of QEC via flag qubit designs and redundant stabilizer checks.<n>Together, our analytical and numerical results shed light on designing QEC codes that are robust against hardware realistic crosstalk noise.
  arXiv  Detail & Related papers  (2025-03-06T17:32:01Z)
• Fault-tolerant quantum architectures based on erasure qubits [49.227671756557946]
  We exploit the idea of erasure qubits, relying on an efficient conversion of the dominant noise into erasures at known locations. We propose and optimize QEC schemes based on erasure qubits and the recently-introduced Floquet codes. Our results demonstrate that, despite being slightly more complex, QEC schemes based on erasure qubits can significantly outperform standard approaches.
  arXiv  Detail & Related papers  (2023-12-21T17:40:18Z)
• Estimating Coherent Contributions to the Error Profile Using Cycle Error Reconstruction [0.0]
  We present a scalable and cycle-centric methodology for obtaining a detailed estimate of the coherent contribution to the error profile of a hard computing cycle. We perform proof-of-concept experiments on three IBM chips, namely ibmq_guadalupe, ibmq_manila, and ibmq_montreal.
  arXiv  Detail & Related papers  (2023-03-17T13:04:19Z)
• Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics [64.72260320446158]
  We propose a method for synthesising controllers for Markov jump linear systems. Our method is based on a finite-state abstraction that captures both the discrete (mode-jumping) and continuous (stochastic linear) behaviour of the MJLS. We apply our method to multiple realistic benchmark problems, in particular, a temperature control and an aerial vehicle delivery problem.
  arXiv  Detail & Related papers  (2022-12-01T17:36:30Z)
• Measurement based estimator scheme for continuous quantum error correction [52.77024349608834]
  Canonical discrete quantum error correction (DQEC) schemes use projective von Neumann measurements on stabilizers to discretize the error syndromes into a finite set. Quantum error correction (QEC) based on continuous measurement, known as continuous quantum error correction (CQEC), can be executed faster than DQEC and can also be resource efficient. We show that by constructing a measurement-based estimator (MBE) of the logical qubit to be protected, it is possible to accurately track the errors occurring on the physical qubits in real time.
  arXiv  Detail & Related papers  (2022-03-25T09:07:18Z)
• Gaussian Process-based Min-norm Stabilizing Controller for Control-Affine Systems with Uncertain Input Effects and Dynamics [90.81186513537777]
  We propose a novel compound kernel that captures the control-affine nature of the problem. We show that this resulting optimization problem is convex, and we call it Gaussian Process-based Control Lyapunov Function Second-Order Cone Program (GP-CLF-SOCP)
  arXiv  Detail & Related papers  (2020-11-14T01:27:32Z)
• Tractable Inference in Credal Sentential Decision Diagrams [116.6516175350871]
  Probabilistic sentential decision diagrams are logic circuits where the inputs of disjunctive gates are annotated by probability values. We develop the credal sentential decision diagrams, a generalisation of their probabilistic counterpart that allows for replacing the local probabilities with credal sets of mass functions. For a first empirical validation, we consider a simple application based on noisy seven-segment display images.
  arXiv  Detail & Related papers  (2020-08-19T16:04:34Z)

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.