pith. sign in

arxiv: 2603.15190 · v2 · submitted 2026-03-16 · 🪐 quant-ph · cs.IT· math.IT

Asymptotically good bosonic Fock state codes

Pith reviewed 2026-05-15 10:24 UTC · model grok-4.3

classification 🪐 quant-ph cs.ITmath.IT
keywords Fock-state codesamplitude dampingbosonic quantum codesphoton loss correctionasymptotically good codespermutation-invariant codesrandom codingdiscrete simplex
0
0 comments X

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.

The paper constructs families of multi-mode Fock-state codes that protect against amplitude-damping noise even when photon losses grow linearly with total excitation number. Existing Fock-state codes only handled sublinear losses and therefore fail for constant-strength damping in the large-excitation regime. The new families are built by indexing with random classical codes over the discrete simplex, which supply the distance properties needed for linear loss correction. An equivalence reduces approximate correction of the full AD channel to exact or approximate correction of losses on a truncated version of the same channel. The resulting codes also keep the number of photons per mode bounded, which improves coherence lifetime, and the method yields asymptotically good permutation-invariant codes for qudits as a byproduct.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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

Figures reproduced from arXiv: 2603.15190 by Alexander Barg, Arda Aydin, Dor Elimelech.

Figure 1
Figure 1. Figure 1: Bounds RGV (δ) (the upper curve) and RU(δ) for α = 1. We conclude this section by showing that vectors drawn from the multinomial distribution typically have sub-logarithmic ∞-norm, mimicking the properties of the uniform distribution on the simplex. In fact, it turns out that the ∞-norm of a multinational random vector decays as (ln N)/ ln ln N, which is even faster than the decay rate of ln N for a unifo… view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [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)
  1. [Preliminaries] Notation for the discrete simplex and the loss metric should be introduced with a formal definition before the random-coding argument.
  2. [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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of good random classical codes in the discrete simplex and on the stated equivalence between AD-channel correction and photon-loss correction under truncation; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Existence of asymptotically good random classical codes over the discrete simplex with linear distance.
    Invoked to guarantee the quantum code corrects a linear number of losses.

pith-pipeline@v0.9.0 · 5509 in / 1131 out tokens · 38547 ms · 2026-05-15T10:24:01.561756+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Quantum Anonymous Secret Sharing with Permutation Invariant Codes

    quant-ph 2026-04 unverdicted novelty 5.0

    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

57 extracted references · 57 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Adiprasito, I

    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

  2. [2]

    Aydin, V

    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. [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. [4]

    Barg and A

    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. [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

  6. [6]

    C. B´ eny. Conditions for the approximate correction of algebras. InWorkshop on Quantum Computation, Communication, and Cryptography, pages 66–75. Springer, 2009

  7. [7]

    B´ eny and O

    C. B´ eny and O. Oreshkov. General conditions for approximate quantum error correctionand near-optimal recovery channels.Physical Review Letters, 104(12):120501, 2010

  8. [8]

    Bergmann and P

    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. [9]

    Billingsley.Convergence of Probability Measures

    P. Billingsley.Convergence of Probability Measures. J. Wiley & Sons, Hoboken, NJ, 2nd edition, 1999

  10. [10]

    Boucheron, G

    S. Boucheron, G. Lugosi, and P. Massart.Concentration Inequalities. Oxford University Press, 2013

  11. [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

  12. [12]

    Bravyi and A

    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

  13. [13]

    I. L. Chuang, D. W. Leung, and Y. Yamamoto. Bosonic quantum codes for amplitude damping. Physical Review A, 56(2):1114, 1997. 41

  14. [14]

    Cr´ epeau, D

    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

  15. [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

  16. [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

  17. [17]

    Gottesman

    D. Gottesman. Surviving as a quantum computer in a classical world.Textbook manuscript preprint, 8(8.1):8–2, 2024

  18. [18]

    Goyal, D

    K. Goyal, D. T. Dao, M. Kovaˇ cevi´ c, and H. M. Kiah. Gilbert–Varshamov bound for codes inl1 metric using multivariate analytic combinatorics.IEEE Trans. Inform. Theory, 71(1):244–262, 2025

  19. [19]

    Grassl, L

    M. Grassl, L. Kong, Z. Wei, Z.-Q. Yin, and B. Zeng. Quantum error-correcting codes for qudit amplitude damping.IEEE Transactions on Information Theory, 64(6):4674–4685, 2018

  20. [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. [21]

    Gu and T

    J. Gu and T. Fuja. A generalized Gilbert-Varshamov bound derived via analysis of a code- search algorithm.IEEE Trans. Inform. Theory, 39(3):1089–1093, 1993

  22. [22]

    Hoeffding

    W. Hoeffding. Probability inequalities for sums of bounded random variables.Journal of the American Statistical Association, 58(301):13–30, 1963

  23. [23]

    Hofheinz, E

    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

  24. [24]

    Khatri and M

    S. Khatri and M. M. Wilde. Principles of Quantum Communication Theory: A Modern Approach. arXiv preprint arXiv:2011.04672v2, 2024. book draft

  25. [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. [26]

    E. Knill. Quantum computing with realistically noisy devices.Nature, 434(7029):39–44, 2005

  27. [27]

    Kong and Z.-W

    L. Kong and Z.-W. Liu. Near-optimal covariant quantum error-correcting codes from random unitaries with symmetries.PRX Quantum, 3(2):020314, 2022

  28. [28]

    Kovaˇ cevi´ c and V

    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. [29]

    Kubischta and I

    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. [30]

    Unifying monopole and center vortex as the semiclassical confinement mechanism.Physical Review Letters, 133(17):171902, October 2024.arXiv:2405.12402, doi:10.1103/PhysRevLett.133

    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. [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

  32. [32]

    F. Ma, X. Tan, and J. Wright. Haar random codes attain the quantum hamming bound, approximately.arXiv preprint arXiv:2510.07158, 2025

  33. [33]

    F. J. MacWilliams and N. J. A. Sloane.The Theory of Error-Correcting Codes. Elsevier, 1977

  34. [34]

    Mandayam and H

    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

  35. [35]

    McDiarmid

    C. McDiarmid. On the method of bounded differences. InSurveys in combinatorics, 1989 (Norwich, 1989), volume 141 ofLondon Math. Soc. Lecture Note Ser., pages 148–188. Cam- bridge Univ. Press, Cambridge, 1989

  36. [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

  37. [37]

    F. W. Olver et al., editors.NIST Handbook of Mathematical Functions. Cambridge University Press, 2010. online at https://dlmf.nist.gov/10.29

  38. [38]

    Y. Ouyang. Permutation-invariant quantum codes.Phys. Rev. A, 90:062317, 2014.doi: 10.1103/PhysRevA.90.062317

  39. [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. [40]

    Sharp thresholds for high-dimensional and noisy sparsity re- covery usingℓ 1-constrained quadratic programming (Lasso)

    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

  41. [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. [42]

    Measurement-free code-switching for low overhead quantum computation using permutation invariant codes,

    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. [43]

    Pollatsek and M

    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. [44]

    T. C. Ralph, A. Hayes, and A. Gilchrist. Loss-tolerant optical qubits.Physical Review Letters, 95(10):100501, 2005

  45. [45]

    M. B. Ruskai. Pauli exchange and quantum error correction, 2000. arXiv quant-ph/0006008

  46. [46]

    Schumacher and M

    B. Schumacher and M. D. Westmoreland. Approximate quantum error correction.Quantum Information Processing, 1(1):5–12, 2002

  47. [47]

    Shibayama and M

    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

  48. [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

  49. [49]

    Tolhuizen

    L. Tolhuizen. The generalized Gilbert-Varshamov bound is implied by Tur´ an’s theorem.IEEE Trans. Inform. Theory, 43(5):1605–1606, 1997. 43

  50. [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. [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. [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. [53]

    Wasilewski and K

    W. Wasilewski and K. Banaszek. Protecting an optical qubit against photon loss.Physical Review A—Atomic, Molecular, and Optical Physics, 75(4):042316, 2007

  54. [54]

    Watrous.The Theory of Quantum Information

    J. Watrous.The Theory of Quantum Information. Cambridge University Press, 2018

  55. [55]

    M. M. Wilde.Quantum Information Theory. Cambridge University Press, 2013

  56. [56]

    Yehezkeally and M

    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

  57. [57]

    Yehezkeally and M

    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