Pith. sign in

REVIEW 2 major objections 6 minor 40 references

Asymptotically optimal cyclic subspace codes

T0 review · 2 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read Iterating a nesting operation builds cyclic subspace codes whose size asymptotically reaches the Johnson type bound II whenever the ratio n/k is a power of 3.

desk verdict New nesting operation for cyclic subspace codes; solid construction with an overclaim in the abstract that should be fixed. read the letter →

arxiv 2507.09290 v1 pith:AKTX5PYP submitted 2025-07-12 cs.IT math.COmath.IT

classification cs.ITmath.COmath.IT MSC 11T7111T9994B99
keywords subspacecodescyclicSidonspacesGrassmannianJohnsonboundrandomnetworkcodingfinitefieldsconstant-dimension
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper introduces a way to combine cyclic subspace codes living in different Grassmannians, nesting a code in $\mathcal{G}_q(m,k)$ inside a code in $\mathcal{G}_q(n,m)$ to produce a code in $\mathcal{G}_q(n,k)$. When both ingredients have the best possible minimum distance for their dimensions, namely $2k-2$ and $2m-2$, the resulting code has that same best distance and its size multiplies. Iterating this over a tower of field extensions gives cyclic subspace codes in $\mathcal{G}_q(rk,k)$ for every composite $r$, with minimum distance $2k-2$ and sizes larger than all previously known codes with these parameters. For $r=3^e$ the size is asymptotically $q^{2(n-k)}$, which is exactly the asymptotic value of the Johnson type bound II, so these are the first cyclic subspace codes shown to be asymptotically optimal for infinitely many ratios $n/k$.

What carries the argument

The load-bearing object is the nesting operation $\odot$. For an injective $\mathbb{F}_q$-linear map $\Phi:\mathbb{F}_{q^m}\to\mathbb{F}_{q^n}$ with image $V_2$, and a subspace $V_1\subseteq\mathbb{F}_{q^m}$, it sets $V_2\odot V_1=\Phi(V_1)$, then extends to orbits and unions of orbits. Theorem 2.14 shows that if $C_1\subseteq\mathcal{G}_q(m,k)$ has minimum distance $2k-2\ell$ and $C_2\subseteq\mathcal{G}_q(n,m)$ has minimum distance $2m-2\ell'$, then $C_2\odot C_1$ has minimum distance at least $2k-2\max\{\ell,\ell'\}$, and when this maximum is below $k$ its size is $|C_2||C_1|$; in the best-distance case $\ell=\ell'=1$, the distance $2k-2$ is preserved. Iterating via Theorem 2.19 multiplies the sizes of all layers. The proof that the base one-orbit codes have distance $2k-2$ uses the Sidon-space criterion: such an orbit has this distance exactly when its representative $U$ satisfies $\dim(U\cap\alpha U)\le 1$ for every $\alpha\in\mathbb{F}_{q^n}\setminus\mathbb{F}_q$.

What would settle it

For $q=2$, $k=2$, $p=3$, take $\gamma\in\mathbb{F}_{64}$ with $\mathbb{F}_4(\gamma)=\mathbb{F}_{64}$ and form the four representatives $V_a=\{u+(u^2+a u)\gamma:u\in\mathbb{F}_4\}$, $a\in\mathbb{F}_4$; if their orbit union contains fewer than $4\cdot 63$ distinct codewords, or any two distinct codewords meet in a space of dimension $2$ (subspace distance below $2$), then the base code $3C_2$ does not have the claimed parameters and the asymptotic-optimality tower fails.

Watch

Extended reading notes

Core claim

The central result is Theorem 4.6: for every $e\ge 2$ and every prime power $q$, the code $3^e C_k$ obtained by nesting the base construction for ratio $3$ a total of $e$ times has minimum distance $2k-2$ and cardinality asymptotically equal to $q^{2(3^e-1)k}=q^{2(n-k)}$ as $k$ or $q$ tends to infinity, matching the Johnson type bound II, $J_q(n,2k-2,k)\sim q^{2(n-k)}$. Hence these codes are asymptotically optimal in both $k$ and $q$. The same machinery gives codes for $n/k=2^e$ and $n/k=2^e3^{e_1}$ whose sizes lie within a factor $1/2^e+o(1)$ of the Johnson bound, and for every composite $r\ge 6$ the new code $rC_k$ is asymptotically larger than each of the previously known cyclic constructions with the same parameters.

Load-bearing premise

The whole tower rests on the cited base constructions: if for some $q$ or $k$ a building-block code with ratio $2$ or ratio an odd prime $p$ fails to have exactly the claimed size and minimum distance $2k-2$, then the product-size formulas and the asymptotic-optimality theorems collapse.

Editorial extensions

If this is right

  • For every $e\ge 2$ and every $q$, there exist cyclic subspace codes in $\mathcal{G}_q(3^e k,k)$ with minimum distance $2k-2$ and size asymptotic to the Johnson type bound II, so asymptotically optimal cyclic codes exist for infinitely many ratios $n/k$.
  • For $n/k=2^e$ and for $n/k=2^e3^{e_1}$ with $q>2$, the new codes lie within the factor $1/2^e+o(1)$ of the Johnson bound as $k$ or $q$ grows, improving on the previous $1/2+o(1)$ best behavior for these parameters.
  • Because sizes multiply exactly across layers, the asymptotic exponent of the final code is the sum of the exponents of the layers; this product structure is what drives the comparison against all earlier constructions.
  • As the authors note at the end of the paper, the new multi-orbit cyclic subspace codes also yield new families of optical orthogonal codes with new parameters.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial: the $1/2^e$ loss for powers of $2$ comes entirely from the base code with ratio $2$, whose size carries the factor $\lfloor(q-1)/2\rfloor$; a base construction for ratio $2$ with a full $(q^k-1)$ factor would remove that loss and make every $2^e$-ratio tower asymptotically optimal.
  • Editorial: the exponent calculation shows that among odd primes $p$, the cited base code $pC_k$ reaches the Johnson bound asymptotically only for $p=3$; building an equally strong base code for another prime $p$ would, by the tower argument, give asymptotically optimal cyclic codes for every composite $r$ made from that prime.
  • Editorial: because $\odot$ is defined on subspaces rather than coordinates, a natural testable extension is whether the tower idea survives when $k\nmid n$, a case the paper leaves open; any nesting using injective maps between extensions of unequal degrees would be a first step in that direction.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 6 minor

Summary. The paper introduces an operation ⊙ that, given cyclic subspace codes C1 ⊆ G_q(m,k) and C2 ⊆ G_q(n,m), produces a cyclic subspace code C2 ⊙ C1 ⊆ G_q(n,k). Theorems 2.14 and 2.19 give conditions under which the minimum distance remains 2k−2 and the cardinality multiplies: |C2 ⊙ C1| = |C2||C1|. The authors apply this operation to known base constructions, one for r=2 from [24] and one for odd primes p from [35], to build codes in G_q(rk,k) for composite r. The main results are Theorem 3.4 for r=2^e, Theorem 3.10 for r=p^e, Theorem 3.15 for products of odd prime powers, Theorem 3.18 for r=2^e times an odd part, and Theorem 4.6, which claims that the 3^e family is asymptotically optimal both in k and in q. The paper also compares the new sizes with the Johnson type bound II and with the earlier constructions summarized in Table 1.

Significance. If the claims hold, the nesting technique is a genuine and potentially influential contribution: it gives explicit families of cyclic subspace codes with minimum distance 2k−2 whose sizes asymptotically meet the Johnson type bound II for infinitely many values of n/k, specifically r=3^e with e≥2, both as k→∞ and as q→∞. The proof of Theorem 2.14 via pairwise intersection bounds is careful, and the induction in Theorem 2.19 is sound. The new constructions also provide concrete improvements over the previous state of the art for composite r≥6. The principal caveat is that the headline asymptotic-optimality result depends entirely on the external base code for p=3 imported as Theorem 3.8 from [35], which is not proved in the paper; the abstract also overclaims the range of parameters for which the new codes beat all previous constructions.

major comments (2)
  1. [Abstract and Section 1] The abstract and introduction state that the new codes have sizes larger than those of all previously known constructions whenever k|n and n/k is composite, but this is not what the theorems prove. Theorem 4.1 restricts the comparison to composite r≥6, and Remark 4.2 explicitly concedes that for r=4 the new code satisfies |2^2 C_k| ∼ (1/4)q^{6k}, while Construction 2 of Table 1 has S2(4k,k,q) ∼ (1/2)q^{6k}. Thus the new code is asymptotically half the size of the best known code for r=4. The abstract and introduction should be rewritten to state the parameter range accurately, e.g. composite r≥6, with the separate r=4 and r=2^e cases described only by their factor-1/2^e behavior relative to the Johnson bound.
  2. [Theorem 3.8, Theorem 3.10, and Theorem 4.6] The asymptotic-optimality claim in Theorem 4.6 rests on the p=3 base case, which is quoted as Theorem 3.8 from [35, Theorem 3.5] and is not proved in the paper. The nesting machinery in Theorems 2.14 and 2.19 is internal and appears sound, but the product formula in Theorem 3.10, the asymptotic exponent in (30), and the ratio tending to 1 in Theorem 4.6 all depend on the exact cardinality and minimum distance of the base code 3C_k, including the fact that the q^k(q−1) orbits are distinct for every k≥2 and every prime power q. The authors should either provide a self-contained proof of this p=3 special case, or quote the precise theorem with all hypotheses and verify explicitly that those hypotheses are satisfied for every parameter used in the paper. Without this, the main optimality result is conditional on an unverified external input.
minor comments (6)
  1. [Section 1] In the first paragraph, 'refereed' should be 'referred'.
  2. [Example 3.12] The three codes are listed as 3C_k, 3C_{9k}, and 3C_{9k}; the second should be 3C_{3k} so that the final nesting 3C_{9k} ⊙ 3C_{3k} ⊙ 3C_k is defined consistently.
  3. [Theorem 4.1] In the odd-r case, the q-limit statement reads 'S3(rk,k,q), S5(rk,k,q) = o_q(|rCk|)'; since S5 is repeated, the intended statement is presumably 'S3 and S4', matching the k-limit sentence. Please correct the typo and make the treatment of S4 and S5 explicit in the proof.
  4. [Example 2.18] The summation variable ξ should range over F^*_{q^{27k}}, not F_{q^{27k}}, because the code is an orbit under the multiplicative group of F_{q^{27k}}.
  5. [Equation (32)] The exponent contains a typesetting artifact '2 eQ_{i=1}^e'; it should be '2 \prod_{i=1}^e p_i^{e_i} k (2^e−1)' or similar. Please fix the display.
  6. [Construction 3.9] In the displayed definition of pV_{p^{i-1}k,h_i}, the variables u and v are mixed inside the same expression; use a single variable consistently.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the nesting machinery is proved internally and the base-code inputs are independent external theorems, not self-citations or fitted predictions.

full rationale

The paper's derivation chain separates cleanly into an internal nesting operation and externally cited base codes. The operation ⊙ is defined in Definitions 2.4 and 2.8; its size and distance behavior are proved in Theorem 2.14 and Theorem 2.19 directly from the injectivity of the maps Φ and from intersection bounds, without assuming the conclusion. Corollary 2.15 and Theorem 2.19 then multiply cardinalities and preserve minimum distance under the stated hypotheses. The special constructions in Section 3 instantiate this machinery with base codes that are explicitly cited from prior work by other authors: Theorem 3.2 cites [24, Lemma 38] for the 2C_k base codes, and Theorem 3.8 states "see [35, Theorem 3.5]" for the p C_k base codes. Theorems 3.4, 3.10, 3.15 and 3.18 apply Theorem 2.19 to these external building blocks, and the asymptotic comparisons in Theorems 4.4, 4.5 and 4.6 are direct estimates combining the resulting product formulas with the Johnson type bound II from (36). No equation reduces to its own input by construction: the size formulas are products of the cited base-code sizes, and the minimum distance claims follow from the independently stated distances of the base codes plus the internal Theorem 2.14 argument. The self-citations in the paper (e.g., [3], [4], [5], [23]) appear in contextual remarks or in the final optical-orthogonal-code observation and are not load-bearing for the central asymptotic-optimality claim. The noted discrepancy between the abstract's phrasing and Remark 4.2 (the r = 4 case only reaches a 1/4 factor of the Johnson bound) is an overstatement in presentation, not a circular step. The main correctness risk is the dependence of the tower on the unverified-in-this-paper external base theorem [35, Theorem 3.5] for p = 3, but a dependence on an external independent theorem is not circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The construction introduces no free fitted parameters and no new postulated entities. It relies on standard finite field theory and on the cited base constructions of Sidon spaces, which provide the building blocks for the tower. The central claim is carried by the new operation odot and the recursion theorems, not by any parameter fitted to data.

assumptions (5)
  • standard math Sidon space characterization: Orb(U) has minimum distance 2k-2 and size (q^n-1)/(q-1) iff dim(U ∩ alpha U) <= 1 for alpha not in F_q (Theorem 2.11, citing [24, Lemma 34]).
    Used to show that base codes have minimum distance 2k-2 and full length, and to guarantee the representative maps have the needed properties.
  • standard math Base code [24, Construction 37 and Lemma 38]: for n=2k and q at least 3, there exist tau = floor((q-1)/2) Sidon spaces whose orbits are distinct, and each code 2C_k has size tau (q^{2k}-1)/(q-1) and minimum distance 2k-2.
    This is the foundation for the 2-power tower constructions in Construction 3.3 and Theorem 3.4.
  • standard math Base code [35, Theorem 3.5]: for an odd prime p, the code pC_k has size q^k (q^{(ell+1)k}-1)(q^{pk}-1)/(q^k-1) and minimum distance 2k-2, with representatives given as images of injective Fq-linear maps pPhi_{k,h}.
    This is the foundation for the odd-prime tower constructions in Construction 3.9 and Theorem 3.10.
  • standard math Stabilizer cardinality lemma [22, Theorem 1]: Orb(V) has cardinality (q^n-1)/(q^t-1) if and only if Stab(V) = F*_{q^t}.
    Used in Lemma 2.5 and Proposition 2.6 to establish full-length properties of the nested codes.
  • standard math Standard finite field facts: norm maps between finite fields are surjective, and primitive elements exist in every finite field, so the elements omega_i and gamma_i required in the constructions exist.
    These existence facts are invoked implicitly in Constructions 3.3, 3.9, 3.14 and 3.17.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Asymptotically optimal cyclic subspace codes." pith.science (2026). https://pith.science/paper/AKTX5PYP

@misc{pith2026250709290,
  author       = {Pith},
  title        = {Pith review of: Asymptotically optimal cyclic subspace codes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AKTX5PYP}},
  note         = {Machine review of arXiv:2507.09290}
}
abstract

Subspace codes, and in particular cyclic subspace codes, have gained significant attention in recent years due to their applications in error correction for random network coding. In this paper, we introduce a new technique for constructing cyclic subspace codes with large cardinality and prescribed minimum distance. Using this new method, we provide new constructions of cyclic subspace codes in the Grassmannian $\mathcal{G}_q(n,k)$ of all $k$-dimensional $\mathbb{F}_q$-subspaces of an $n$-dimensional vector space over $\mathbb{F}_q$, when $k\mid n$ and $n/k$ is a composite number, with minimum distance $2k-2$ and large size. We prove that the resulting codes have sizes larger than those obtained from previously known constructions with the same parameters. Furthermore, we show that our constructions of cyclic subspace codes asymptotically reach the Johnson type bound II for infinite values of $n/k$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 39 canonical work pages

  1. [31]

    Yu and L

    S. Yu and L. Ji. Two new constructions of cyclic subspace codes via sidon spaces. Designs, Codes and Cryptog- raphy, 92(11):3799–3811, 2024

  2. [24]

    R. M. Roth, N. Raviv, and I. Tamo. Construction of Sidon spaces with applications to coding. IEEE Transactions on Information Theory, 64(6):4412–4422, 2017

  3. [35]

    Zhang, C

    H. Zhang, C. Tang, and X. Cao. Large optimal cyclic subspace codes. Discrete Mathematics, 347(7):114007, 2024

  4. [1]

    Ahlswede, H

    R. Ahlswede, H. K. Aydinian, and L. H. Khachatrian. On perfect codes and related concepts. Designs, Codes and Cryptography, 22(3):221–237, 2001. 32 CHIARA CASTELLO AND PAOLO SANTONASTASO

  5. [2]

    Ben-Sasson, T

    E. Ben-Sasson, T. Etzion, A. Gabizon, and N. Raviv. Subspace polynomials and cyclic subspace codes. IEEE Transactions on Information Theory, 62(3):1157–1165, 2016

  6. [3]

    Castello

    C. Castello. On generalized sidon spaces. Linear Algebra and its Applications, 704:270–308, 2025

  7. [4]

    Quasi-optimal cyclic orbit codes

    C. Castello, H. Gluesing-Luerssen, O. Polverino, and F. Zullo. Quasi-optimal cyclic orbit codes. arXiv preprint arXiv:2501.03802, 2025

  8. [5]

    Castello, O

    C. Castello, O. Polverino, P. Santonastaso, and F. Zullo. Constructions and equivalence of sidon spaces. Journal of Algebraic Combinatorics, 58(4):1299–1329, 2023

Show all 40 references
  1. [6]

    Cossidente, S

    A. Cossidente, S. Kurz, G. Marino, F. Pavese, et al. Combining subspace codes. Advances in mathematics of communications, 17(3):536–550, 2023

  2. [7]

    Etzion and A

    T. Etzion and A. Vardy. Error-correcting codes in projective space. IEEE Transactions on Information Theory, 57(2):1165–1173, 2011

  3. [8]

    Feng and Y

    T. Feng and Y. Wang. New constructions of large cyclic subspace codes and sidon spaces. Discrete Mathematics, 344(4):112273, 2021

  4. [9]

    Greferath, M

    M. Greferath, M. O. Pavˇ cevi´ c, N. Silberstein, and M.´A. V´ azquez-Castro.Network coding and subspace designs. Springer, 2018

  5. [10]

    Han and X

    Y. Han and X. Cao. A new construction of cyclic subspace codes. Cryptography and Communications, pages 1–11, 2024

  6. [11]

    Heinlein, M

    D. Heinlein, M. Kiermaier, S. Kurz, and A. Wassermann. Tables of subspace codes. arXiv preprint arXiv:1601.02864, 2016

  7. [12]

    W. C. Huffman, J.-L. Kim, and P. Sol´ e. Concise encyclopedia of coding theory. Chapman and Hall/CRC, 2021

  8. [13]

    Khaleghi, D

    A. Khaleghi, D. Silva, and F. R. Kschischang. Subspace codes. In IMA International Conference on Cryptography and Coding, pages 1–21. Springer, 2009

  9. [14]

    Koetter and F

    R. Koetter and F. R. Kschischang. Coding for errors and erasures in random network coding. IEEE Transactions on Information theory, 54(8):3579–3591, 2008

  10. [15]

    F. R. Kschischang. Network codes. In Concise Encyclopedia of Coding Theory, pages 685–714. Chapman and Hall/CRC, 2021

  11. [16]

    S. Kurz. Constructions and bounds for subspace codes. 2024. https://epub.uni-bayreuth.de/id/eprint/7398/

  12. [17]

    Li and H

    Y. Li and H. Liu. Cyclic constant dimension subspace codes via the sum of sidon spaces. Designs, Codes and Cryptography, 91(4):1193–1207, 2023

  13. [18]

    X.-M. Liu, T. Shi, M.-Y. Niu, L.-Z. SHEN, and Y. Gao. New constructions of sidon spaces and cyclic sub- space codes. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 106(8):1062–1066, 2023

  14. [19]

    Manganiello, E

    F. Manganiello, E. Gorla, and J. Rosenthal. Spread codes and spread decoding in network coding. In 2008 IEEE International Symposium on Information Theory, pages 881–885. IEEE, 2008

  15. [20]

    M. Niu, J. Xiao, and Y. Gao. New constructions of large cyclic subspace codes via sidon spaces. Advances in Mathematics of Communications, 18(4):1123–1137, 2024

  16. [21]

    Y. Niu, Q. Yue, and Y. Wu. Several kinds of large cyclic subspace codes via sidon spaces. Discrete Mathematics, 343(5):111788, 2020

  17. [22]

    Otal and F

    K. Otal and F. ¨Ozbudak. Cyclic subspace codes via subspace polynomials. Designs, Codes and Cryptography, 85:191–204, 2017

  18. [23]

    ¨Ozbudak, P

    F. ¨Ozbudak, P. Santonastaso, and F. Zullo. Using multi-orbit cyclic subspace codes for constructing optical orthogonal codes. Cryptography and Communications, pages 1–14, 2025

  19. [25]

    Santonastaso and F

    P. Santonastaso and F. Zullo. Linearized trinomials with maximum kernel. Journal of Pure and Applied Algebra, 226(3):106842, 2022

  20. [26]

    Silva, F

    D. Silva, F. R. Kschischang, and R. Koetter. A rank-metric approach to error control in random network coding. IEEE transactions on information theory, 54(9):3951–3967, 2008

  21. [27]

    Trautmann, F

    A.-L. Trautmann, F. Manganiello, M. Braun, and J. Rosenthal. Cyclic orbit codes. IEEE Transactions on Infor- mation Theory, 59(11):7386–7404, 2013

  22. [28]

    H. Wang, C. Xing, and R. Safavi-Naini. Linear authentication codes: bounds and constructions. IEEE Transac- tions on Information Theory, 49(4):866–872, 2003

  23. [29]

    L. Wu, Y. Li, L. Fang, and Y. Niu. New extended sidon spaces with dimension k+1. In Journal of Physics: Conference Series, volume 2964, page 012071. IOP Publishing, 2025. ASYMPTOTICALLY OPTIMAL CYCLIC SUBSPACE CODES 33

  24. [30]

    Xia and F.-W

    S.-T. Xia and F.-W. Fu. Johnson type bounds on constant dimension codes. Designs, Codes and Cryptography, 50:163–172, 2009

  25. [32]

    Zhang and X

    H. Zhang and X. Cao. Constructions of Sidon spaces and cyclic subspace codes. Frontiers of Mathematics in China, 17(2):275–288, 2022

  26. [33]

    Zhang and C

    H. Zhang and C. Tang. Constructions of large cyclic constant dimension codes via Sidon spaces. Designs, Codes and Cryptography, 91(1):29–44, 2023

  27. [34]

    Zhang and C

    H. Zhang and C. Tang. Further constructions of large cyclic subspace codes via Sidon spaces. Linear Algebra and its Applications, 661:106–115, 2023

  28. [36]

    Zhang, C

    H. Zhang, C. Tang, and X. Hu. New constructions of sidon spaces and large cyclic constant dimension codes. Computational and Applied Mathematics, 42(5):230, 2023

  29. [37]

    Zhang, C

    H. Zhang, C. Tang, and X. Hu. Three families of large cyclic subspace codes. Cryptography and Communications, 17(1):139–163, 2025

  30. [38]

    Zhang and G

    T. Zhang and G. Ge. New constructions of Sidon spaces. Journal of Algebraic Combinatorics, pages 1–14, 2022

  31. [39]

    Zhao and X

    W. Zhao and X. Tang. A characterization of cyclic subspace codes via subspace polynomials. Finite Fields and Their Applications, 57:1–12, 2019

  32. [40]

    Luigi Vanvitelli

    F. Zullo. Multi-orbit cyclic subspace codes and linear sets. Finite Fields and Their Applications, 87:102153, 2023. Chiara Castello, Dipartimento di Matematica e Fisica, Universit` a degli Studi della Campania “Luigi Vanvitelli”, Viale Lincoln, 5, I– 81100 Caserta, Italy E-mai...

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.