pith. sign in

arxiv: 2605.02571 · v1 · submitted 2026-05-04 · 🪐 quant-ph · cs.IT· math.IT

Construction of Quantum Rank-Metric Codes Using Hermitian Orthogonality

Ryota Nizuka , Ryutaroh Matsumoto This is my paper

Pith reviewed 2026-05-08 18:21 UTC · model grok-4.3

classification 🪐 quant-ph cs.ITmath.IT
keywords quantum rank-metric codesGabidulin codesHermitian orthogonalitystacked quantum memoryerror correctionsymplectic self-orthogonalityfinite fields
0
0 comments X

The pith

A Hermitian-orthogonality construction produces quantum Gabidulin codes with roughly doubled minimum rank distance per qubit and no requirement that memory dimensions be odd.

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

The paper first sets out a general framework for turning classical linear codes that are symplectic self-orthogonal into quantum rank-metric codes. It then gives an explicit family of quantum Gabidulin codes by taking classical Gabidulin codes that become Hermitian self-orthogonal when the finite-field extension degree is even, using a self-dual basis, and feeding them into the Matsumoto-Uyematsu Hermitian construction. The resulting codes keep the same rate as earlier CSS-based quantum Gabidulin codes but achieve approximately twice the ratio of minimum rank distance to the number of physical qubits. They also remove the algebraic constraint that previously forced the number of cells and layers in a stacked quantum memory to be odd. Readers would care because stacked memories are a candidate architecture for scaling quantum storage, and codes with better distance and fewer layout restrictions make error correction in that architecture more practical.

Core claim

Classical Gabidulin codes over finite fields with even extension degree admit a self-dual basis that renders them Hermitian self-orthogonal; passing these codes through the Matsumoto-Uyematsu Hermitian quantum-code construction produces quantum rank-metric codes whose minimum rank distance is approximately twice as large relative to the number of physical qubits, while the code rate is preserved and the parity restriction on memory dimensions is lifted.

What carries the argument

Hermitian self-orthogonality of classical Gabidulin codes (via self-dual basis when extension degree is even), transferred through the Matsumoto-Uyematsu Hermitian construction to obtain symplectic self-orthogonal quantum codes.

If this is right

  • The minimum rank distance relative to the number of physical qubits is approximately doubled.
  • The code rate stays the same as in earlier constructions.
  • Quantum rank-metric codes can now be built for stacked memories whose numbers of cells and layers are even.
  • Error-correction capability in the stacked quantum memory architecture is improved while design choices for layout dimensions become freer.

Where Pith is reading between the lines

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

  • The same Hermitian-orthogonality route may apply to other classical rank-metric code families beyond Gabidulin codes.
  • Removing the odd-dimension constraint could allow rectangular or non-square memory arrays that better match hardware fabrication limits.
  • The doubled distance ratio may raise the effective error threshold for practical implementations of stacked quantum memories.

Load-bearing premise

Classical Gabidulin codes over finite fields with even extension degree possess a self-dual basis that makes them Hermitian self-orthogonal, and this property transfers into the quantum code without additional loss of rank distance.

What would settle it

An explicit Gabidulin code over a finite field with even extension degree for which no self-dual basis exists that yields Hermitian self-orthogonality, or a concrete quantum code produced by the construction whose achieved minimum rank distance is strictly less than the predicted value.

Figures

Figures reproduced from arXiv: 2605.02571 by Ryota Nizuka, Ryutaroh Matsumoto.

Figure 1
Figure 1. Figure 1: Conceptual diagram of a stacked quantum memory ( view at source ↗
read the original abstract

Stacked quantum memory is an architecture in which multiple layers of qubits are stacked. Quantum rank-metric codes are effective for error correction in stacked quantum memories. However, the previously proposed quantum Gabidulin codes based on the CSS construction had a problem: due to algebraic constraints, the applicable memory layouts were strictly limited to square shapes of odd length. In this paper, we first propose a framework for constructing quantum rank-metric codes from classical linear codes with symplectic self-orthogonality. Building upon this, we propose a new construction method for quantum Gabidulin codes by combining the Hermitian self-orthogonality of classical Gabidulin codes--utilizing the self-dual basis that exists when the extension degree of the finite field is even--with the quantum code construction method using Hermitian orthogonality by Matsumoto and Uyematsu. The proposed method succeeds in approximately doubling the ratio of the minimum rank distance to the number of physical qubits while maintaining the code rate. Furthermore, it eliminates the restriction of the conventional method that requires the number of cells and layers of the stacked memory to be odd, realizing the construction of quantum rank-metric codes applicable to memories with an even number of cells and layers. This construction improves the relative error correction capability of the stacked quantum memory architecture and increases the degree of freedom in design while preserving the code rate.

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

1 major / 0 minor

Summary. The paper proposes a framework for quantum rank-metric codes from classical linear codes satisfying symplectic self-orthogonality. It then gives a construction of quantum Gabidulin codes that obtains Hermitian self-orthogonality of the underlying classical Gabidulin code by means of a self-dual basis when the extension degree is even, and feeds the resulting code into the Matsumoto-Uyematsu Hermitian-orthogonality quantum-code map. The authors claim that the resulting quantum codes approximately double the ratio of minimum rank distance to the number of physical qubits while preserving the code rate and remove the previous restriction (from CSS constructions) that the number of cells and layers must be odd.

Significance. If the distance preservation through the Hermitian lifting holds, the construction would meaningfully improve the error-correction capability of stacked quantum memories by raising the achievable distance-to-qubit ratio at fixed rate and by permitting even-dimensional layouts, thereby increasing design flexibility.

major comments (1)
  1. [Abstract and construction description] The headline performance claim (approximately doubling d/n while keeping rate) is load-bearing on the assertion that the classical Gabidulin minimum rank distance is fully retained after imposing Hermitian self-orthogonality via the self-dual basis and after the Matsumoto-Uyematsu lifting. The manuscript supplies no explicit distance bound, no calculation of the quantum minimum rank distance, and no verification that the basis choice or the Hermitian map introduces no extra distance penalty.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. The major comment raises an important point about making the distance preservation explicit, which we address below. We will revise the manuscript accordingly to strengthen the presentation.

read point-by-point responses

  1. Referee: [Abstract and construction description] The headline performance claim (approximately doubling d/n while keeping rate) is load-bearing on the assertion that the classical Gabidulin minimum rank distance is fully retained after imposing Hermitian self-orthogonality via the self-dual basis and after the Matsumoto-Uyematsu lifting. The manuscript supplies no explicit distance bound, no calculation of the quantum minimum rank distance, and no verification that the basis choice or the Hermitian map introduces no extra distance penalty.

    Authors: We appreciate the referee highlighting the need for an explicit distance analysis. In our construction (detailed in Section 3), we start with a classical Gabidulin code of length n and dimension k over F_{q^{2m}} (m even) and impose Hermitian self-orthogonality by changing to a self-dual basis. This basis change is a linear isomorphism that preserves the rank metric, so the minimum rank distance remains d = n - k + 1. The subsequent Matsumoto-Uyematsu Hermitian-orthogonality map then yields a quantum rank-metric code whose minimum rank distance equals that of the underlying classical code (by the distance properties established in Matsumoto-Uyematsu for Hermitian-orthogonal inputs). Consequently the quantum code achieves the claimed d/n ratio (approximately doubled relative to prior CSS constructions, which effectively use 2n physical qubits). We agree that the manuscript would benefit from a dedicated proposition and short proof making this preservation explicit rather than implicit in the construction. In the revised version we will insert such a statement immediately after the code definition. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction applies independent prior results to new parameter regime

full rationale

The paper's derivation chain consists of (1) selecting a self-dual basis for GF(q^m) with m even to produce a Hermitian self-orthogonal classical Gabidulin code, then (2) feeding that code into the Matsumoto-Uyematsu Hermitian-orthogonality quantum-code map. Neither step reduces the claimed minimum-rank-distance ratio or the even-cell/layer applicability to a fitted parameter, a self-definition, or a self-citation loop. The existence of the self-dual basis and the distance-preservation properties of the quantum map are invoked from prior independent literature (including the cited Matsumoto-Uyematsu construction), while the novel content is the explicit choice of even-extension Gabidulin codes that satisfy the orthogonality condition. No equation in the provided abstract or described framework equates the output performance metric to its input by algebraic identity or by renaming a fitted quantity. The self-citation is therefore non-load-bearing and does not force the headline claims.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on the existence of a self-dual basis for even-degree extensions and on the preservation of rank distance under the Hermitian quantum lifting; both are treated as given by prior literature rather than re-derived.

axioms (2)
  • standard math Existence of self-dual basis for finite-field extensions of even degree
    Invoked to obtain Hermitian self-orthogonality of classical Gabidulin codes
  • domain assumption Hermitian-orthogonality quantum-code construction of Matsumoto and Uyematsu preserves minimum rank distance
    Central step that converts classical Hermitian self-orthogonal codes into quantum rank-metric codes

pith-pipeline@v0.9.0 · 5539 in / 1358 out tokens · 26614 ms · 2026-05-08T18:21:24.220212+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

  1. Hermitian hull-variation of vector rank-metric codes and self-orthogonal generalized Gabidulin codes

    cs.IT 2026-05 unverdicted novelty 7.0

    Proves a Hermitian hull-variation theorem for vector rank-metric codes and constructs MRD codes attaining every admissible hull dimension using scaled trace-self-dual bases in finite field extensions.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages · cited by 1 Pith paper

  1. [1]

    Quantum computing in the NISQ era and beyond,

    J. Preskill, “Quantum computing in the NISQ era and beyond,”Quantum, vol. 2, p. 79, 2018

    work page 2018

  2. [2]

    Quantum supremacy using a programmable superconducting processor,

    F. Aruteet al., “Quantum supremacy using a programmable superconducting processor,”Nature, vol. 574, pp. 505–510, 2019

    work page 2019

  3. [3]

    Fault-tolerant quantum computation,

    P. W. Shor, “Fault-tolerant quantum computation,” inProc. 37th Annu. Symp. Found. Comput. Sci. (FOCS), 1996, pp. 56–65

    work page 1996

  4. [4]

    Correction of circuit faults in a stacked quantum memory using rank-metric codes,

    N. Delfosse and G. Zémor, “Correction of circuit faults in a stacked quantum memory using rank-metric codes,” arXiv:2411.09173, 2024

    work page arXiv 2024

  5. [5]

    Theory of codes with maximum rank distance,

    E. M. Gabidulin, “Theory of codes with maximum rank distance,”Problemy Peredachi Informatsii, vol. 21, no. 1, pp. 3–16, 1985

    work page 1985

  6. [6]

    Bilinear forms over a finite field, with applications to coding the- ory,

    P. Delsarte, “Bilinear forms over a finite field, with applications to coding the- ory,”J. Comb. Theory, Ser. A, vol. 25, no. 3, pp. 226–241, 1978

    work page 1978

  7. [7]

    Good quantum error-correcting codes exist,

    A. R. Calderbank and P. W. Shor, “Good quantum error-correcting codes exist,” Phys. Rev. A, vol. 54, no. 2, pp. 1098–1105, 1996

    work page 1996

  8. [8]

    Error correcting codes in quantum theory,

    A. M. Steane, “Error correcting codes in quantum theory,”Phys. Rev. Lett., vol. 77, no. 5, pp. 793–797, 1996. 20

    work page 1996

  9. [9]

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

    work page 1977

  10. [10]

    Galois hull dimensions of Gabidulin codes,

    H. Islam and A.-L. Horlemann, “Galois hull dimensions of Gabidulin codes,” IEEE Trans. Inf. Theory, vol. 69, no. 11, pp. 6982–6993, 2023

    work page 2023

  11. [11]

    Constructing quantum error-correcting codes forp m-state systems from classical error-correcting codes,

    R. Matsumoto and T. Uyematsu, “Constructing quantum error-correcting codes forp m-state systems from classical error-correcting codes,”IEICE Trans. Fun- damentals, vol. E83-A, no. 10, pp. 1878–1883, 2000

    work page 2000

  12. [12]

    M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Infor- mation: 10th Anniversary Edition. Cambridge Univ. Press, 2010

    work page 2010

  13. [13]

    Stabilizer codes and quantum error correction,

    D. Gottesman, “Stabilizer codes and quantum error correction,” Ph.D. disserta- tion, California Institute of Technology, 1997. [Online]. Available: arXiv:quant- ph/9705052

    work page arXiv 1997

  14. [14]

    Wan,Lecture Notes on Finite Fields and Galois Rings

    Z.-X. Wan,Lecture Notes on Finite Fields and Galois Rings. World Scientific, 2003

    work page 2003

  15. [15]

    Quantum error correction and orthogonal geometry,

    A. R. Calderbank, E. M. Rains, P. W. Shor, and N. J. A. Sloane, “Quantum error correction and orthogonal geometry,”Phys. Rev. Lett., vol. 78, no. 3, pp. 405–408, 1997

    work page 1997

  16. [16]

    Asurveyofquantumerrorcorrection,

    R.MatsumotoandM.Hagiwara, “Asurveyofquantumerrorcorrection,”IEICE Trans. Fundamentals, vol. E104-A, no. 12, pp. 1654–1664, 2021

    work page 2021

  17. [17]

    Lidl and H

    R. Lidl and H. Niederreiter,Finite Fields, 2nd ed. Cambridge Univ. Press, 1997. 21

    work page 1997