Asymptotically good bosonic Fock state codes
Pith reviewed 2026-05-15 10:24 UTC · model grok-4.3
The pith
Random classical codes in the discrete simplex produce asymptotically good Fock-state codes that correct linearly many photon losses under amplitude damping.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We construct asymptotically good families of multi-mode Fock-state codes that approximately correct the amplitude-damping channel for any constant loss parameter. The construction indexes codewords by random classical codes in the discrete simplex, which guarantee the minimum distance required to correct a linear number of photon losses. This is made possible by a new equivalence showing that approximate correction of the AD channel follows from correction of sufficiently many losses under a truncated AD channel. The same codes have bounded per-mode occupancy and, via a relation to permutation-invariant codes, also give asymptotically good families of qudit permutation-invariant codes.
What carries the argument
Random classical codes in the discrete simplex that index the Fock basis states and supply the distance properties for linear photon-loss correction under the truncated AD channel.
If this is right
- The codes achieve a positive asymptotic rate while correcting a positive fraction of photon losses under constant-strength amplitude damping.
- Bounded per-mode occupancy limits the coherence degradation that would otherwise arise from high photon numbers concentrated in single modes.
- The same indexing technique produces asymptotically good families of permutation-invariant qudit codes.
- The reduction from approximate AD correction to photon-loss correction on the truncated channel allows standard loss-correcting techniques to be applied directly to the AD problem.
Where Pith is reading between the lines
- The bounded-occupancy property may simplify experimental realization in platforms where high photon numbers per mode cause rapid decoherence.
- The classical-simplex coding step suggests that further improvements could come from importing stronger classical code constructions into the quantum setting.
- Similar equivalence reductions might apply to other bosonic noise models such as photon loss combined with dephasing.
- The resulting permutation-invariant codes could serve as building blocks for fault-tolerant protocols in systems with symmetric particle exchanges.
Load-bearing premise
Random classical codes with the required minimum distance exist in the discrete simplex and suffice to guarantee linear loss correction under the truncated AD channel equivalence.
What would settle it
An explicit construction or existence proof showing that no sequence of classical codes in the discrete simplex achieves the distance scaling needed to correct a positive fraction of losses, or a direct calculation demonstrating that the truncated-channel equivalence fails to imply approximate AD correction at constant loss rate.
Figures
read the original abstract
We study the error-correction properties of multi-mode Fock-state codes under amplitude-damping (AD) noise, focusing on the asymptotic regime in which the total excitation of the code states grows without limit and the number of photon losses induced by the noise scales linearly with it. In this setting, existing code families, which correct only sublinearly many photon losses, do not protect against amplitude-damping (AD) noise with a constant loss parameter. We address this gap by constructing asymptotically good Fock-state codes relying on random classical codes in the discrete simplex. Our approach is based on a new equivalence between approximate correction for the AD channel and exact or approximate correction of sufficiently many photon losses under a truncated AD channel. Unlike many standard constructions of random quantum codes, our construction introduces randomness through the underlying classical indexing structure. Randomization also enables another desirable feature: bounded per-mode occupancy, which limits the number of photons in any individual mode and thereby increases the coherence lifetime of the code states. Finally, via a relation between Fock-state codes and permutation-invariant codes, our results also yield asymptotically good families of qudit permutation-invariant codes as well as codes in monolithic nuclear state spaces.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs asymptotically good multi-mode Fock-state codes for amplitude-damping noise in the regime of unbounded total excitation N with linearly many photon losses. It reduces approximate AD correction to exact or approximate correction of sufficiently many losses under a truncated AD channel, then invokes random classical codes on the discrete simplex {x ∈ ℕ^m : ∑x_i = N} to achieve positive rate and linear distance in the loss metric. The construction also yields bounded per-mode occupancy and, via a relation to permutation-invariant codes, asymptotically good families of qudit permutation-invariant codes.
Significance. If the central existence claim holds, the result supplies the first explicit asymptotically good bosonic codes capable of correcting a constant fraction of photon losses under AD noise, together with a practical bounded-occupancy property that improves coherence times. The reduction to classical random coding on the simplex and the extension to permutation-invariant codes are technically novel and would strengthen the toolkit for continuous-variable and qudit error correction.
major comments (2)
- [Construction (random-coding argument)] The central claim reduces asymptotic goodness to the existence of random classical codes on the simplex with minimum distance δN (δ>0) in the loss metric induced by the truncated AD channel. No Gilbert–Varshamov-type bound, volume estimate, or second-moment calculation is supplied that accounts for the polynomial growth of the simplex volume (degree m−1) or the non-uniform measure and truncated transition probabilities; this step is load-bearing for the rate-distance tradeoff.
- [Equivalence lemma] The equivalence between approximate AD correction and correction under the truncated AD channel is stated without an explicit error bound relating the truncation parameter to the overall fidelity; the quantitative dependence on N and the loss fraction must be derived to confirm that linear loss correction is achieved.
minor comments (2)
- [Preliminaries] Notation for the discrete simplex and the loss metric should be introduced with a formal definition before the random-coding argument.
- [Main theorem] The abstract claims 'asymptotically good' codes but does not state the precise rate and relative distance achieved; these parameters should appear explicitly in the main theorem.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address the two major points below and have revised the manuscript to supply the missing quantitative details.
read point-by-point responses
-
Referee: [Construction (random-coding argument)] The central claim reduces asymptotic goodness to the existence of random classical codes on the simplex with minimum distance δN (δ>0) in the loss metric induced by the truncated AD channel. No Gilbert–Varshamov-type bound, volume estimate, or second-moment calculation is supplied that accounts for the polynomial growth of the simplex volume (degree m−1) or the non-uniform measure and truncated transition probabilities; this step is load-bearing for the rate-distance tradeoff.
Authors: We agree that an explicit random-coding argument is required. In the revised manuscript we add a volume estimate |S| = binom(N+m-1,m-1) = Θ(N^{m-1}) together with a second-moment calculation over the loss metric. Because per-mode occupancy is bounded by a constant, m scales at most linearly with N; the resulting union bound still yields a positive rate for any fixed δ>0. The non-uniform truncated-AD measure is controlled by a multiplicative factor bounded by a constant (independent of N) relative to the uniform measure on the simplex, which preserves the existence of asymptotically good codes. revision: yes
-
Referee: [Equivalence lemma] The equivalence between approximate AD correction and correction under the truncated AD channel is stated without an explicit error bound relating the truncation parameter to the overall fidelity; the quantitative dependence on N and the loss fraction must be derived to confirm that linear loss correction is achieved.
Authors: We thank the referee for highlighting the missing quantitative link. The revised version derives an explicit fidelity bound: the total variation distance between the full AD channel and its truncation at level t is at most exp(−Ω(t)). Choosing t = Θ(N) makes this error exponentially small in N, which is negligible compared with the linear-loss correction term. Consequently, any code that corrects a constant fraction of losses under the truncated channel also corrects the same fraction under the original AD channel with fidelity approaching 1. revision: yes
Circularity Check
No circularity: construction reduces to external classical random coding existence
full rationale
The derivation introduces a new equivalence between approximate AD correction and truncated photon-loss correction, then indexes the quantum code via random classical codes on the simplex {x ∈ ℕ^m : ∑x_i = N}. This existence claim is asserted via standard random-coding arguments from classical coding theory rather than any self-referential fit, definition, or self-citation chain. No equation equates a derived quantity to a parameter fitted from the target result itself, and no load-bearing step collapses to a prior result by the same authors. The construction is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Existence of asymptotically good random classical codes over the discrete simplex with linear distance.
Forward citations
Cited by 1 Pith paper
-
Quantum Anonymous Secret Sharing with Permutation Invariant Codes
A quantum anonymous secret sharing scheme is constructed using permutation-invariant codes, with leakage in ramp schemes quantified by quantum conditional min-entropy related to Knill-Laflamme conditions.
Reference graph
Works this paper leans on
-
[1]
K. Adiprasito, I. B´ ar´ any, N. H. Mustafa, and T. Terpai. Theorems of Carath´ eodory, Helly, and Tverberg without dimension.Discrete & Computational Geometry, 64(2):233–258, 2020
work page 2020
-
[2]
A. Aydin, V. V. Albert, and A. Barg. Quantum error correction beyondSU(2): Spin, bosonic, and permutation-invariant codes from convex geometry.PRX Quantum, 7:010341, 2026.doi: 10.1103/kx3b-4nrp
-
[3]
A family of permutationally invariant quantum codes,
A. Aydin, M. A. Alekseyev, and A. Barg. A family of permutationally invariant quantum codes.Quantum, 8:1321, 2024.arXiv:2310.05358,doi:10.22331/q-2024-04-30-1321
-
[4]
A. Barg and A. Mazumdar. Codes in permutations and error correction for rank modulation. IEEE Trans. Inform. Theory, 56(7):3158–3165, 2010.doi:10.1109/TIT.2010.2048455
-
[5]
Battistel.General quantum error correction for MERA codes
F. Battistel.General quantum error correction for MERA codes. PhD thesis, Technische Universit¨ at and Ludwig-Maximilians-Universit¨ at M¨ unchen, Germany, 2017
work page 2017
-
[6]
C. B´ eny. Conditions for the approximate correction of algebras. InWorkshop on Quantum Computation, Communication, and Cryptography, pages 66–75. Springer, 2009
work page 2009
-
[7]
C. B´ eny and O. Oreshkov. General conditions for approximate quantum error correctionand near-optimal recovery channels.Physical Review Letters, 104(12):120501, 2010
work page 2010
-
[8]
M. Bergmann and P. van Loock. Quantum error correction against photon loss using NOON states.Phys. Rev. A, 94:012311, Jul 2016. URL:https://link.aps.org/doi/10.1103/ PhysRevA.94.012311,doi:10.1103/PhysRevA.94.012311
-
[9]
Billingsley.Convergence of Probability Measures
P. Billingsley.Convergence of Probability Measures. J. Wiley & Sons, Hoboken, NJ, 2nd edition, 1999
work page 1999
-
[10]
S. Boucheron, G. Lugosi, and P. Massart.Concentration Inequalities. Oxford University Press, 2013
work page 2013
-
[11]
F. G. Brand˜ ao, E. Crosson, M. B. S ¸ahino˘ glu, and J. Bowen. Quantum error correcting codes in eigenstates of translation-invariant spin chains.Physical Review Letters, 123(11):110502, 2019
work page 2019
-
[12]
S. Bravyi and A. Kitaev. Universal quantum computation with ideal clifford gates and noisy ancillas.Physical Review A—Atomic, Molecular, and Optical Physics, 71(2):022316, 2005
work page 2005
-
[13]
I. L. Chuang, D. W. Leung, and Y. Yamamoto. Bosonic quantum codes for amplitude damping. Physical Review A, 56(2):1114, 1997. 41
work page 1997
-
[14]
C. Cr´ epeau, D. Gottesman, and A. Smith. Approximate quantum error-correcting codes and secret sharing schemes. InAnnual International Conference on the Theory and Applications of Cryptographic Techniques, pages 285–301. Springer, 2005
work page 2005
-
[15]
Feller.An Introduction to Probability Theory and its Applications
W. Feller.An Introduction to Probability Theory and its Applications. Wiley, Hoboken, NJ, 3rd edition, 1968
work page 1968
-
[16]
A. G. Fowler, M. Mariantoni, J. M. Martinis, and A. N. Cleland. Surface codes: Towards prac- tical large-scale quantum computation.Physical Review A—Atomic, Molecular, and Optical Physics, 86(3):032324, 2012
work page 2012
- [17]
- [18]
- [19]
-
[20]
J. A. Gross. Designing codes around interactions: The case of a spin.Phys. Rev. Lett., 127:010504, 2021.doi:10.1103/PhysRevLett.127.010504
- [21]
- [22]
-
[23]
M. Hofheinz, E. M. Weig, M. Ansmann, R. C. Bialczak, E. Lucero, M. Neeley, A. D. O’Connell, H. Wang, J. M. Martinis, and A. N. Cleland. Generation of Fock states in a superconducting quantum circuit.Nature, 454(7202):310–314, 2008
work page 2008
-
[24]
S. Khatri and M. M. Wilde. Principles of Quantum Communication Theory: A Modern Approach. arXiv preprint arXiv:2011.04672v2, 2024. book draft
-
[25]
R. Klesse. Approximate quantum error correction, random codes, and quantum channel ca- pacity.Physical Review A, 75(6):062315, 2007.doi:10.1103/PhysRevA.75.062315
-
[26]
E. Knill. Quantum computing with realistically noisy devices.Nature, 434(7029):39–44, 2005
work page 2005
-
[27]
L. Kong and Z.-W. Liu. Near-optimal covariant quantum error-correcting codes from random unitaries with symmetries.PRX Quantum, 3(2):020314, 2022
work page 2022
-
[28]
M. Kovaˇ cevi´ c and V. Y. F. Tan. Codes in the space of multisets—Coding for permutation channels with impairments.IEEE Trans. Inform. Theory, 64(7):5156–5169, 2018.doi:10. 1109/TIT.2017.2789292
-
[29]
E. Kubischta and I. Teixeira. Family of quantum codes with exotic transversal gates.Phys. Rev. Lett., 131(24):240601, 2023.doi:10.1103/PhysRevLett.131.240601
-
[30]
E. Kubischta and I. Teixeira. Quantum codes from twisted unitaryt-groups.Phys. Rev. Lett., 133:030602, Jul 2024. URL:https://link.aps.org/doi/10.1103/PhysRevLett.133. 030602,doi:10.1103/PhysRevLett.133.030602
-
[31]
D. W. Leung, M. A. Nielsen, I. L. Chuang, and Y. Yamamoto. Approximate quantum error correction can lead to better codes.Physical Review A, 56(4):2567, 1997. 42
work page 1997
- [32]
-
[33]
F. J. MacWilliams and N. J. A. Sloane.The Theory of Error-Correcting Codes. Elsevier, 1977
work page 1977
-
[34]
P. Mandayam and H. K. Ng. Towards a unified framework for approximate quantum error correction.Physical Review A—Atomic, Molecular, and Optical Physics, 86(1):012335, 2012
work page 2012
- [35]
-
[36]
N. Ofek, A. Petrenko, R. Heeres, P. Reinhold, Z. Leghtas, B. Vlastakis, Y. Liu, L. Frunzio, S. M. Girvin, L. Jiang, et al. Extending the lifetime of a quantum bit with error correction in superconducting circuits.Nature, 536(7617):441–445, 2016
work page 2016
-
[37]
F. W. Olver et al., editors.NIST Handbook of Mathematical Functions. Cambridge University Press, 2010. online at https://dlmf.nist.gov/10.29
work page 2010
-
[38]
Y. Ouyang. Permutation-invariant quantum codes.Phys. Rev. A, 90:062317, 2014.doi: 10.1103/PhysRevA.90.062317
-
[39]
Y. Ouyang. Permutation-invariant quantum coding for quantum deletion channels. In2021 IEEE International Symposium on Information Theory (ISIT), pages 1499–1503, 2021.doi: 10.1109/ISIT45174.2021.9518078
-
[40]
Y. Ouyang and R. Chao. Permutation-invariant constant-excitation quantum codes for am- plitude damping.IEEE Trans. Inform. Theory, 66(5):2921–2933, 2020.doi:10.1109/TIT. 2019.2956142
work page doi:10.1109/tit 2020
-
[41]
Available: https://doi.org/10.1103/PhysRevA.93.042340
Y. Ouyang and J. Fitzsimons. Permutation-invariant codes encoding more than one qubit. Phys. Rev. A, 93:042340, Apr 2016.doi:10.1103/PhysRevA.93.042340
-
[42]
Y. Ouyang, Y. Jing, and G. K. Brennen. Measurement-free code-switching for low overhead quantum computation using permutation invariant codes, 2025. URL:https://arxiv.org/ abs/2411.13142,arXiv:2411.13142
-
[43]
H. Pollatsek and M. B. Ruskai. Permutationally invariant codes for quantum error correction. Linear Alg. Appl., 392:255–288, 2004.doi:10.1016/j.laa.2004.06.014
-
[44]
T. C. Ralph, A. Hayes, and A. Gilchrist. Loss-tolerant optical qubits.Physical Review Letters, 95(10):100501, 2005
work page 2005
-
[45]
M. B. Ruskai. Pauli exchange and quantum error correction, 2000. arXiv quant-ph/0006008
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[46]
B. Schumacher and M. D. Westmoreland. Approximate quantum error correction.Quantum Information Processing, 1(1):5–12, 2002
work page 2002
-
[47]
T. Shibayama and M. Hagiwara. Permutation-invariant quantum codes for deletion errors. In 2021 IEEE International Symposium on Information Theory (ISIT), pages 1493–1498. IEEE, 2021
work page 2021
-
[48]
J. G. Skellam. The frequency distribution of the difference between two Poisson variates belonging to different populations.Journal of the Royal Statistical Society Series A: Statistics in Society, 109(3):296–296, 1946
work page 1946
- [49]
-
[50]
M. Uria, P. Solano, and C. Hermann-Avigliano. Deterministic generation of large Fock states.Phys. Rev. Lett., 125:093603, Aug 2020. URL:https://link.aps.org/doi/10.1103/ PhysRevLett.125.093603,doi:10.1103/PhysRevLett.125.093603
-
[51]
E. Waks, E. Diamanti, and Y. Yamamoto. Generation of photon number states.New Journal of Physics, 8(1):4, jan 2006.doi:10.1088/1367-2630/8/1/004
-
[52]
H. Wang, M. Hofheinz, M. Ansmann, R. C. Bialczak, E. Lucero, M. Neeley, A. D. O’Connell, D. Sank, J. Wenner, A. N. Cleland, and J. M. Martinis. Measurement of the decay of Fock states in a superconducting quantum circuit.Phys. Rev. Lett., 101:240401, Dec 2008. URL:https://link.aps.org/doi/10.1103/PhysRevLett.101.240401,doi:10. 1103/PhysRevLett.101.240401
-
[53]
W. Wasilewski and K. Banaszek. Protecting an optical qubit against photon loss.Physical Review A—Atomic, Molecular, and Optical Physics, 75(4):042316, 2007
work page 2007
-
[54]
Watrous.The Theory of Quantum Information
J. Watrous.The Theory of Quantum Information. Cambridge University Press, 2018
work page 2018
-
[55]
M. M. Wilde.Quantum Information Theory. Cambridge University Press, 2013
work page 2013
-
[56]
Y. Yehezkeally and M. Schwartz. Reconstruction codes for DNA sequences with uniform tandem-duplication errors.IEEE Transactions on Information Theory, 66(5):2658–2668, 2019
work page 2019
-
[57]
Y. Yehezkeally and M. Schwartz. Uncertainty of reconstruction with list-decoding from uniform-tandem-duplication noise.IEEE Transactions on Information Theory, 67(7):4276– 4287, 2021. 44
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.