English

Information locality of a quantum locally recoverable code

Quantum Physics 2026-08-05 v1 Information Theory

Abstract

A classical linear code CC of length nn is said to have symbol locality (r,δ)(r, \delta) if for any index jj there exists a repair group Jj{1,,n}J_j \subseteq \{1, \ldots, n\} with jJjj\in J_j and Jjr+δ1|J_j| \leq r+\delta-1 such that any δ1\delta-1 or fewer erasures in JjJ_j can be corrected by using codeword symbols only in JjJ_j. Later it turned out that this way of defining rr overestimates the number of necessary codeword symbols for multiple-erasure correction, and information locality was proposed to define rr as the dimension of the punctured code of CC onto JjJ_j. Recently locality (r,δ)(r,\delta) was proposed for quantum error-correcting codes by following the original definition of symbol locality (r,δ)(r, \delta). We propose a quantum counterpart of the information locality for quantum stabilizer codes constructed by Hermitian orthogonality, and a linear algebraic procedure computing a smaller repair group predicted by the proposed information locality and simultaneously reducing the number of measured observables in decoding to its minimum possible value. Then we demonstrate that the previously proposed definition of quantum locality (r,δ)(r,\delta) has the same drawback of overestimating the number of necessary codeword symbols for erasure correction by providing an explicit example of a quantum stabilizer code. Finally, we will give another example of a quantum stabilizer code constructed by Euclidean orthogonality and two different linear codes, with which a natural translation of the classical information locality into the quantum setting underestimates the number of necessary codeword symbols for erasure correction.

Cite

@article{arxiv.2608.04403,
  title  = {Information locality of a quantum locally recoverable code},
  author = {Ryutaroh Matsumoto},
  journal= {arXiv preprint arXiv:2608.04403},
  year   = {2026}
}

Comments

eprint source includes a C program verifying mathematical claims in Section 4 by brute-force computation