pith. sign in

arxiv: 2606.06736 · v1 · pith:VGBDRR6Knew · submitted 2026-06-04 · 💻 cs.IT · math.IT

Quantum Hierarchical Locally Recoverable Codes

Venkatesan Guruswami , Rutuja Kshirsagar , Pranav Trivedi This is my paper

Pith reviewed 2026-06-27 23:15 UTC · model grok-4.3

classification 💻 cs.IT math.IT
keywords quantum locally recoverable codeshierarchical locally recoverable codesTamo-Barg codesCSS codesquantum error correctionSingleton bounderasure recovery
0
0 comments X

The pith

For any h at least 2, explicit h-level quantum hierarchical locally recoverable codes exist as quantum Tamo-Barg codes and obey a Singleton-like bound.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper first builds random and explicit (r, δ) quantum locally recoverable codes, including families from the quantum Tamo-Barg construction together with an efficient decoder. It then defines quantum hierarchical locally recoverable codes that extend local recovery across multiple levels. For every integer h ≥ 2 the authors produce both random and explicit h-level QHLRCs, the explicit versions being h-level quantum Tamo-Barg codes. A Singleton-like bound on these codes is proved inside a CSS framework assembled from dual-containing classical codes. A reader would care because the constructions give concrete ways to reduce recovery overhead at several scales inside quantum storage systems.

Core claim

The central claim is that for any integer h ≥ 2 both random and explicit h-level quantum hierarchical locally recoverable codes can be constructed, with the explicit family given by h-level quantum Tamo-Barg codes, and that these codes satisfy a Singleton-like bound obtained from a CSS framework built out of dual-containing classical codes.

What carries the argument

h-level quantum Tamo-Barg codes, which lift the classical Tamo-Barg locality structure into the quantum setting via CSS codes so that recovery works at every hierarchy level.

Load-bearing premise

The quantum Tamo-Barg construction and the CSS framework from dual-containing classical codes can be lifted to the quantum setting while preserving the locality and hierarchical recovery properties for the stated parameters.

What would settle it

An explicit h-level quantum Tamo-Barg code for some h ≥ 3 whose local recovery fails at one of the claimed hierarchy levels, or any code meeting the other parameters yet violating the Singleton-like bound.

read the original abstract

Quantum locally recoverable codes (QLRCs) have recently gained attention as a framework for achieving efficient quantum storage with local recovery capabilities. Analogous to their classical counterparts, QLRCs allow a lost qudit to be reconstructed using only a small subset of other qudits, thereby reducing the resource and operational overhead in recovery. In this work, we extend the study of QLRCs by considering $(r,\delta)$ QLRCs characterized by locality parameter $r$ and local distance $\delta \geq 2$. We present constructions of both random and explicit $(r,\delta)$ QLRCs, including explicit families based on the quantum Tamo--Barg construction. We also present an efficient decoding algorithm for these quantum Tamo--Barg codes. Furthermore, we introduce quantum \emph{hierarchical} locally recoverable codes (QHLRCs), which extend local recovery to multiple hierarchical levels. For any integer $h\geq 2$, we construct both random and explicit $h$-level QHLRCs, the latter being $h$-level quantum Tamo--Barg codes, and establish a Singleton-like bound for these codes using a CSS framework built from dual-containing classical codes. These results advance the theoretical foundations of quantum erasure recovery and contribute to the design of efficient quantum storage architectures.

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 / 1 minor

Summary. The manuscript claims constructions of both random and explicit (r,δ) quantum locally recoverable codes (QLRCs), including explicit families based on quantum Tamo-Barg codes, along with an efficient decoding algorithm. It further introduces h-level quantum hierarchical locally recoverable codes (QHLRCs) for any integer h≥2, constructs both random and explicit versions (the latter via h-level quantum Tamo-Barg codes), and derives a Singleton-like bound using a CSS framework built from dual-containing classical codes.

Significance. If the constructions and bound are rigorously established, the work extends classical hierarchical LRC ideas to the quantum setting with explicit algebraic constructions, which could support more efficient multi-level recovery in quantum storage systems. The use of Tamo-Barg codes and the CSS lift from dual-containing codes, if shown to preserve the stated locality parameters, would be a concrete contribution.

major comments (2)
  1. [Abstract / explicit construction section] Abstract and the section presenting the explicit h-level QHLRC construction: the claim that h-level quantum Tamo-Barg codes are obtained via CSS from dual-containing classical codes while preserving nested (r,δ) recovery sets at every level 1..h simultaneously is load-bearing, yet the abstract provides no verification that the dual-containing constraint is compatible with the algebraic structure of Tamo-Barg codes for arbitrary h≥2 without destroying locality or explicitness.
  2. [Singleton-like bound section] The section establishing the Singleton-like bound: it is derived in the CSS framework from dual-containing codes, but it is unclear whether the bound fully incorporates the hierarchical structure or reduces to a standard quantum Singleton bound independent of the h-level parameters.
minor comments (1)
  1. [Abstract] The abstract uses 'quantum Tamo--Barg construction' without a forward reference to the precise definition or parameter regime; this should be clarified early in the introduction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript on quantum hierarchical locally recoverable codes. Below we address each major comment point by point, clarifying the constructions and bound as presented in the full text.

read point-by-point responses

  1. Referee: [Abstract / explicit construction section] Abstract and the section presenting the explicit h-level QHLRC construction: the claim that h-level quantum Tamo-Barg codes are obtained via CSS from dual-containing classical codes while preserving nested (r,δ) recovery sets at every level 1..h simultaneously is load-bearing, yet the abstract provides no verification that the dual-containing constraint is compatible with the algebraic structure of Tamo-Barg codes for arbitrary h≥2 without destroying locality or explicitness.

    Authors: The explicit construction appears in Section 4. We start from classical h-level Tamo-Barg codes whose evaluation points and polynomial degrees are chosen so that the dual code is also an h-level Tamo-Barg code with the same nested (r,δ) recovery sets; the CSS lift then yields a quantum code whose locality parameters are inherited directly from the classical ones at each level. Because the dual-containing condition is enforced by selecting self-orthogonal subcodes within the same algebraic family (rather than by an external modification), neither locality nor explicitness is lost for any fixed h≥2. A short clarifying sentence can be added to the abstract if the editor wishes, but the verification is already contained in the body of the paper. revision: partial

  2. Referee: [Singleton-like bound section] The section establishing the Singleton-like bound: it is derived in the CSS framework from dual-containing codes, but it is unclear whether the bound fully incorporates the hierarchical structure or reduces to a standard quantum Singleton bound independent of the h-level parameters.

    Authors: Section 5 derives the bound by applying the quantum Singleton inequality to the underlying classical dual-containing code while accounting for the cumulative dimension loss imposed by the h nested locality constraints. The resulting expression contains explicit dependence on the sequence of locality parameters (r_i, δ_i) for i=1…h; when h=1 it reduces to the ordinary quantum Singleton bound, but for h>1 the bound is strictly tighter. The proof therefore incorporates the hierarchical structure rather than ignoring it. revision: no

Circularity Check

0 steps flagged

No circularity: constructions and bound built from external classical Tamo-Barg and dual-containing codes

full rationale

The paper's central results are explicit constructions of h-level quantum Tamo-Barg codes via CSS lift from dual-containing classical codes, plus a Singleton-like bound. These steps invoke classical codes and the Tamo-Barg algebraic structure as independent external inputs rather than deriving them from quantities defined inside the paper. No self-definitional equations, fitted parameters renamed as predictions, or load-bearing self-citations appear in the provided abstract or description; the derivation chain remains self-contained against the cited classical building blocks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract provides no explicit free parameters, invented entities, or ad-hoc axioms; relies on standard properties of CSS codes and classical Tamo-Barg codes.

axioms (1)
  • domain assumption Existence of suitable dual-containing classical codes for the CSS construction
    Invoked to build the quantum codes and establish the bound

pith-pipeline@v0.9.1-grok · 5767 in / 1139 out tokens · 22664 ms · 2026-06-27T23:15:17.125185+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

35 extracted references · 18 canonical work pages · 1 internal anchor

  1. [1]

    Codes With Hierarchical Locality From Covering Maps of Curves

    Sean Ballentine, Alexander Barg, and Serge Vl˘ adut ¸. “Codes With Hierarchical Locality From Covering Maps of Curves”. In:IEEE Transactions on Information Theory65.10 (2019), pp. 6056–6071.doi:10.1109/TIT.2019.2919830

    work page doi:10.1109/tit.2019.2919830 2019

  2. [2]

    Good quantum error-correcting codes exist

    A. R. Calderbank and Peter W. Shor. “Good quantum error-correcting codes exist”. In:Phys- ical Review A54.2 (Aug. 1996), pp. 1098–1105.issn: 1094-1622.doi:10.1103/physreva. 54.1098.url:http://dx.doi.org/10.1103/PhysRevA.54.1098

    work page doi:10.1103/physreva 1996

  3. [3]

    Augustin-Louis Cauchy. “M´ emoire sur les fonctions qui ne peuvent obtenir que deux valeurs ´ egales et de signes contraires par suite des transpositions op´ er´ ees entre les variables qu’elles renferment”. In:Journal de l’ ´Ecole polytechnique10.17 (1815). OEuvres compl` etes, ser. 2, vol. 1, pp. 91–169, pp. 29–112

  4. [4]

    David A Cox, John Little, and Donal O’Shea.Using Algebraic Geometry. 2nd. Vol. 185. Graduate Texts in Mathematics. New York: Springer Science & Business Media, 2005.isbn: 978-0-387-20706-3

    2005

  5. [5]

    P. G. Lejeune Dirichlet. “Beweis des Satzes, dass jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Factor sind, unendlich viele Primzahlen enth¨ alt”. In:Abhandlungen der K¨ oniglichen Preußischen Akademie der Wis- senschaften zu Berlin48 (1837), pp. 45–71

  6. [6]

    Carlos Galindo, Fernando Hernando, and Ryutaroh Matsumoto.Quantum(r, δ)-Locally Re- coverable BCH and Homothetic-BCH Codes. 2026. arXiv:2601.22567 [cs.IT].url:https: //arxiv.org/abs/2601.22567

    arXiv 2026

  7. [7]

    Quantum (r, δ)-locally recoverable codes

    Carlos Galindo et al. “Quantum (r, δ)-locally recoverable codes”. In:Finite Fields and Their Applications111 (Mar. 2026), p. 102785.issn: 1071-5797.doi:10.1016/j.ffa.2025.102785. url:http://dx.doi.org/10.1016/j.ffa.2025.102785. 99

    work page doi:10.1016/j.ffa.2025.102785 2026

  8. [8]

    Enestr¨ om–Kakeya Theorem and Some of Its General- izations

    Robert B. Gardner and N. K. Govil. “Enestr¨ om–Kakeya Theorem and Some of Its General- izations”. In:Current Topics in Pure and Computational Complex Analysis. Ed. by Santosh Joshi, Michael Dorff, and Indrajit Lahiri. New Delhi: Springer India, 2014, pp. 171–199.isbn: 978-81-322-2113-5.doi:10.1007/978-81-322-2113-5_8.url:https://doi.org/10.1007/ 978-81-32...

    work page doi:10.1007/978-81-322-2113-5_8.url:https://doi.org/10.1007/ 2014

  9. [9]

    Boston: Birkh¨ auser, 1994.isbn: 978-0-8176- 3660-9

    Izrail Moiseevich Gelfand, Mikhail M Kapranov, and Andrei V Zelevinsky.Discriminants, Resultants, and Multidimensional Determinants. Boston: Birkh¨ auser, 1994.isbn: 978-0-8176- 3660-9

    1994

  10. [10]

    Inequalities for finite group permu- tation modules

    Daniel Goldstein, Robert M. Guralnick, and I. M. Isaacs. “Inequalities for finite group permu- tation modules”. In:Transactions of the American Mathematical Society357.10 (May 2005), pp. 4017–4042.doi:10.1090/s0002-9947-05-03927-9

    work page doi:10.1090/s0002-9947-05-03927-9 2005

  11. [11]

    Quantum Locally Recoverable Codes

    Louis Golowich and Venkatesan Guruswami. “Quantum Locally Recoverable Codes”. In: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 5512–5522.doi:10.1137/1.9781611978322.188. eprint:https://epubs.siam.org/ doi/pdf/10.1137/1.9781611978322.188.url:https://epubs.siam.org/doi/abs/10. 1137/1.9781611978322.188

    work page doi:10.1137/1.9781611978322.188 2025

  12. [12]

    On the locality of codeword symbols

    Parikshit Gopalan et al. “On the locality of codeword symbols”. In:IEEE Trans. on Inf. Theory58.11 (2012), pp. 6925–6934

    2012

  13. [13]

    Daniel Gottesman.Stabilizer Codes and Quantum Error Correction. 1997. arXiv:quant - ph/9705052 [quant-ph].url:https://arxiv.org/abs/quant-ph/9705052

    arXiv 1997

  14. [14]

    Codes for the quantum erasure channel

    M. Grassl, Th. Beth, and T. Pellizzari. “Codes for the quantum erasure channel”. In:Physical Review A56.1 (July 1997), pp. 33–38.issn: 1094-1622.doi:10.1103/physreva.56.33.url: http://dx.doi.org/10.1103/PhysRevA.56.33

    work page doi:10.1103/physreva.56.33.url: 1997

  15. [15]

    Algebraic quantum codes: linking quantum mechanics and discrete mathe- matics

    Markus Grassl. “Algebraic quantum codes: linking quantum mechanics and discrete mathe- matics”. In:International Journal of Computer Mathematics: Computer Systems Theory6.4 (2021), pp. 243–259.doi:10.1080/23799927.2020.1850530. eprint:https://doi.org/10. 1080/23799927.2020.1850530.url:https://doi.org/10.1080/23799927.2020.1850530

    work page doi:10.1080/23799927.2020.1850530 2021

  16. [16]

    Puncturing Quantum Stabilizer Codes

    Jaron Skovsted Gundersen et al. “Puncturing Quantum Stabilizer Codes”. In:IEEE Journal on Selected Areas in Information Theory6 (2025), pp. 74–84.issn: 2641-8770.doi:10.1109/ jsait.2025.3562287.url:http://dx.doi.org/10.1109/JSAIT.2025.3562287

    work page doi:10.1109/jsait.2025.3562287 2025

  17. [17]

    Improved decoding of Reed-Solomon and algebraic-geometric codes

    V. Guruswami and M. Sudan. “Improved decoding of Reed-Solomon and algebraic-geometric codes”. In:Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280). 1998, pp. 28–37.doi:10.1109/SFCS.1998.743426

    work page doi:10.1109/sfcs.1998.743426 1998

  18. [18]

    De functionibus alternantibus earumque divisione per productum e differentiis elementorum conflatum

    C.G.J. Jacobi. “De functionibus alternantibus earumque divisione per productum e differentiis elementorum conflatum.” lat. In:Journal f¨ ur die reine und angewandte Mathematik22 (1841), pp. 360–371.url:http://eudml.org/doc/147139

  19. [19]

    Codes With Local Regeneration and Erasure Correction

    Govinda M. Kamath et al. “Codes With Local Regeneration and Erasure Correction”. In: IEEE Trans. on Inf. Theory60.8 (2014), pp. 4637–4660.doi:10.1109/TIT.2014.2329872

    work page doi:10.1109/tit.2014.2329872 2014

  20. [20]

    Yang Li et al.Improved bounds and optimal constructions of pure quantum locally recoverable codes. 2025. arXiv:2512.07256 [cs.IT].url:https://arxiv.org/abs/2512.07256

    arXiv 2025

  21. [21]

    Yang Li et al.On optimal quantum LRCs from the Hermitian construction andt-designs

  22. [22]

    arXiv:2508.13553 [cs.IT].url:https://arxiv.org/abs/2508.13553. 100

    arXiv

  23. [23]

    Bounds and Constructions of Quantum Locally Recoverable Codes from Quantum CSS Codes

    Gaojun Luo et al. “Bounds and Constructions of Quantum Locally Recoverable Codes from Quantum CSS Codes”. In:IEEE Transactions on Information Theory71.3 (2025), pp. 1794– 1802.doi:10 . 1109 / TIT . 2025 . 3533494.url:https : / / doi . org / 10 . 1109 / TIT . 2025 . 3533494

    2025

  24. [24]

    I. G. Macdonald.Symmetric functions and hall polynomials. Clarendon Press; Oxford Uni- versity Press, 2008

    2008

  25. [25]

    An uncertainty inequality for finite abelian groups

    Roy Meshulam. “An uncertainty inequality for finite abelian groups”. In:European Journal of Combinatorics27.1 (2006), pp. 63–67.issn: 0195-6698.doi:https://doi.org/10.1016/ j.ejc.2004.07.009.url:https://www.sciencedirect.com/science/article/pii/ S0195669804001453

    2006

  26. [26]

    J¨ urgen Neukirch.Algebraic Number Theory. Vol. 322. Grundlehren der mathematischen Wis- senschaften. Berlin, Heidelberg: Springer-Verlag, 1999.isbn: 978-3-540-65399-8.doi:10 . 1007/978-3-662-03983-0

    1999

  27. [27]

    Codes with hierarchi- cal locality

    Birenjith Sasidharan, Gaurav Kumar Agarwal, and P. Vijay Kumar. “Codes with hierarchi- cal locality”. In:2015 IEEE International Symposium on Information Theory (ISIT). 2015, pp. 1257–1261.doi:10.1109/ISIT.2015.7282657

    work page doi:10.1109/isit.2015.7282657 2015

  28. [28]

    Quantum Locally Recoverable Codes via Good Polynomials

    Sandeep Sharma, Vinayak Ramkumar, and Itzhak Tamo. “Quantum Locally Recoverable Codes via Good Polynomials”. In:IEEE Journal on Selected Areas in Information Theory6 (2025), pp. 100–110.doi:10.1109/JSAIT.2025.3567480.url:https://doi.org/10.1109/ JSAIT.2025.3567480

    work page doi:10.1109/jsait.2025.3567480.url:https://doi.org/10.1109/ 2025

  29. [29]

    Multiple-particle interference and quantum error correction

    Andrew Steane. “Multiple-particle interference and quantum error correction”. In:Proceed- ings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sci- ences452.1954 (Nov. 1996), pp. 2551–2577.issn: 1471-2946.doi:10.1098/rspa.1996.0136. url:http://dx.doi.org/10.1098/rspa.1996.0136

    work page doi:10.1098/rspa.1996.0136 1954

  30. [30]

    2004.838346

    Itzhak Tamo and Alexander Barg. “A Family of Optimal Locally Recoverable Codes”. In: IEEE Transactions on Information Theory60.8 (2014), pp. 4661–4676.doi:10.1109/TIT. 2014.2321280

    work page doi:10.1109/tit 2014

  31. [31]

    An uncertainty principle for cyclic groups of prime order

    Terence Tao. “An uncertainty principle for cyclic groups of prime order”. In:arXiv Math- ematics e-prints, math/0308286 (Aug. 2003), math/0308286.doi:10.48550/arXiv.math/ 0308286. arXiv:math/0308286 [math.CA]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.math/ 2003

  32. [32]

    and Ulloaet, Hugo N

    James D. Teoh et al. “Dual-rail encoding with superconducting cavities”. In:Proceedings of the National Academy of Sciences120.41 (Oct. 2023).issn: 1091-6490.doi:10.1073/pnas. 2221736120.url:http://dx.doi.org/10.1073/pnas.2221736120

    work page doi:10.1073/pnas 2023

  33. [33]

    Trudi.Teoria de’ determinanti e loro applicazioni

    N. Trudi.Teoria de’ determinanti e loro applicazioni. Libreria scientifica e industriale di B. Pellerano, 1862.url:https://books.google.com/books?id=sIVZc_PczqsC

  34. [34]

    Erasure conversion for fault-tolerant quantum computing in alkaline earth Rydberg atom arrays

    Yue Wu et al. “Erasure conversion for fault-tolerant quantum computing in alkaline earth Rydberg atom arrays”. In:Nature Communications13.1 (Aug. 2022).issn: 2041-1723.doi: 10.1038/s41467-022-32094-6.url:http://dx.doi.org/10.1038/s41467-022-32094-6

    work page doi:10.1038/s41467-022-32094-6.url:http://dx.doi.org/10.1038/s41467-022-32094-6 2022

  35. [35]

    Kun Zhou and Meng Cao.Optimal Quantum(r, δ)-Locally Repairable Codes via Classical Ones. 2025. arXiv:2507.18175 [quant-ph].url:https://arxiv.org/abs/2507.18175. 101

    arXiv 2025