Quantum error-correcting code parameters, checkable by a certificate of provable size

Shuoming An; Fusheng Yang

Home/Archive/arXiv

arXiv · 2610.03214

Quantum error-correcting code parameters, checkable by a certificate of provable size

Shuoming An·Fusheng Yang

View original source ↗Read source document ↗Export metadata ↓

Abstract

Quantum error correction protects quantum information by encoding it in a code described by three numbers: how many physical qubits it uses, how many logical qubits it protects, and the smallest error it cannot detect. The last is an optimum over exponentially many candidates, so it is read off a solver rather than checked. Here we show that code parameters can be certified by a short certificate, a list or a pairing or a symbolic instance, whose correctness the kernel of a proof assistant decides by computation, and whose size is itself a theorem rather than an estimate. Two published code families have distances settled here: the bivariate bicycle code's $[[144,12,12]]$, certified, and the affine-permutation codes printed at $[[1152,580,\le 12]]$ and $[[2304,1156,\le 14]]$, settled at twelve and fourteen. Eleven code families and thirty-nine parameter sets follow, with nothing beyond three standard axioms trusted and the pipeline's specification step preset to twenty columns.

Explore related subjects

quant-ph

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Shuoming An, Fusheng Yang. 2026-10-05. Quantum error-correcting code parameters, checkable by a certificate of provable size. https://arxiv.org/abs/2610.03214

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Cavity-mediated cross-cross-resonance gate

We propose a cavity-mediated gate between two transmon qubits or other nonlinear superconducting elements. The gate is realized by driving both qubits at a frequency that is near-resonant with the frequency of the cavity. Since both qubits are subject to a cross-resonant drive, we call this gate a cross-cross-resonance gate. In close analogy with gates between trapped-ion qubits, in phase space, the state of the cavity makes a circle whose area depends on the state of the two qubits, realizing a controlled-phase gate. We propose two schemes for canceling the dominant error, which is the qubit-cavity dispersive coupling. We also show that this cross-cross-resonance gate allows one to realize simultaneous gates between multiple pairs of qubits coupled via the same metamaterial composed of an array of coupled cavities or other linear mediators.

quant-ph↗

arXiv2026

Tensors, entanglement, separability, and their complexity

The aim of this paper is to show how to characterize the entanglement and separability of d-partite states, and to obtain both known and new results using the modern theory of tensors. The geometric measure of entanglement of a pure state is one of most natural ways to quantify the entanglement, which is simply related to the spectral norm of a tensor state. On the other hand, the logarithm of the nuclear norm of the state and density tensors can be considered as its ``energy''. We first show that the most geometric measure entangled $d$-partite state has the minimum spectral norm and maximum nuclear norm. Second, we introduce the notion of Hermitian and density tensors, and the subspaces of bi-symmetric and bi-skew-symmetric Hermitian tensors, which correspond to Bosons and Fermions respectively. We show that separable density tensors, and strongly separable bi-symmetric density tensors are characterized by the value (equal to one) of their corresponding nuclear norms. In general, these characterizations are NP-hard to verify. Third, the main result of this paper to show that the above quantities are computed in polynomial time when we restrict our attention to Bosons: symmetric $d$-qubits, or more generally to symmetric $d$-qunits in $\mathbb{C}^n$, and the corresponding bi-symmetric Hermtian density tensors, for a fixed value of $n$.

quant-ph↗

arXiv2026

Many-Body Effects in Dark-State Laser Cooling

We develop a unified many-body theory of two-photon dark-state laser cooling, the workhorse for preparing trapped ions close to their motional quantum ground state. For ions with a $Λ$ level structure, driven by Raman lasers, we identify an ion-number-dependent crossover between weak and strong coupling where both the cooling rate and final temperature are simultaneously optimized. We obtain simple analytic results in both extremes: In the weak coupling limit, we show a Lorentzian spin-absorption spectrum determines the cooling rate and final occupation of the motional state, which are both independent of the number of ions. We also highlight the benefit of including an additional spin dependent force in this case. In the strong coupling regime, our theory reveals the role of collective dynamics arising from phonon exchange between dark and bright states, allowing us to explain the enhancement of the cooling rate with increasing ion number. Our analytic results agree closely with exact numerical simulations and provide experimentally accessible guidelines for optimizing cooling in large ion crystals, a key step toward scalable, high-fidelity trapped-ion quantum technologies.

quant-ph↗