Binary optimal linear codes from posets of the disjoint union of two chains
Pith reviewed 2026-05-25 14:01 UTC · model grok-4.3
The pith
Posets from the disjoint union of two chains produce binary optimal linear codes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By defining linear codes from posets that are the disjoint union of two chains, the resulting binary codes achieve optimality in their minimum distance relative to length and dimension.
What carries the argument
The poset of the disjoint union of two chains, which structures the supports or generator matrix to ensure the code meets an optimality bound.
Load-bearing premise
The specific choice of two-chain poset must produce a code whose minimum distance actually reaches the theoretical upper bound for its parameters.
What would settle it
An explicit computation of the minimum Hamming weight for a code from a two-chain poset of given lengths that falls below the Singleton bound value for that dimension and length.
Figures
read the original abstract
Recently, Chang and Hyun obtained some classes of binary optimal codes via simplicial complexes. In this letter, we utilize posets of the disjoint union of two chains to construct binary optimal linear codes.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs binary linear codes from posets that are the disjoint union of two chains. Parameters (length n, dimension k, minimum distance d) are derived directly from the order ideals of these posets; the resulting codes are shown to meet the Griesmer bound with equality for the stated infinite families, establishing optimality.
Significance. The explicit combinatorial construction yields new families of optimal binary codes, extending the simplicial-complex approach of Chang and Hyun. Deriving n, k, d from order ideals and verifying equality in the Griesmer bound supplies concrete, falsifiable examples that can be checked against known tables of optimal codes.
minor comments (2)
- The abstract and introduction cite Chang and Hyun but do not list the precise reference; add the full citation in the bibliography.
- Notation for the two chains (e.g., lengths m1 and m2) is introduced without an explicit diagram; a small figure of the poset would improve readability.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of the manuscript and the recommendation to accept. No major comments were raised in the report.
Circularity Check
No significant circularity
full rationale
The paper gives an explicit combinatorial construction of binary linear codes whose length, dimension, and minimum distance are read off directly from the order ideals of the poset that is the disjoint union of two chains. These parameters are compared to the external Griesmer bound and shown to meet it with equality for the stated families. No parameter is fitted to data and then re-used as a prediction, no definition is circular, and the single cited prior result (Chang-Hyun) is by different authors and functions only as background motivation. The derivation therefore stands on its own combinatorial definitions and an independent bound.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
A. R. Anderson, C. Ding, T. Helleseth, T. Kløve, How to bui ld robust shared control systems, Des., Codes Cryptogr., 15: 111-124 (1998)
work page 1998
- [2]
- [3]
-
[4]
Ding, Linear codes from some 2-designs, IEEE Trans
C. Ding, Linear codes from some 2-designs, IEEE Trans. In f. Theory, 61(6): 32653275, 2015
work page 2015
-
[5]
C. Ding, T. Helleseth, T. Kløve, X. Wang, A general constr uction of Cartesian authentication codes, IEEE Trans. Inf. Theory, 5 3: 2229-2235 (2007)
work page 2007
-
[6]
C. Ding, H. Niederreiter, Cyclotomic linear codes of ord er 3, IEEE Trans. Inf. Theory, 53 (6) : 2274-2277, 2007
work page 2007
-
[7]
Grassl, Bounds on the minimum distance of linear codes
M. Grassl, Bounds on the minimum distance of linear codes . http://www.codetables.de
-
[8]
J. H. Griesmer, A bound for error correcting codes, IBM J. Res. Dev., 4: 532542 (1960)
work page 1960
-
[9]
W. C. Huffman, V . Pless, Fundamentals of Error-Correcti ng Codes, Cambridge University Press, Cambridge, 2003
work page 2003
- [10]
-
[11]
Z. Heng, Q. Y ue, A class of binary linear codes with at mos t three weights, IEEE Commun. Lett., 19: 1488-1491, 2015
work page 2015
-
[12]
Z. Heng, Q. Y ue, Two classes of two-weight linear codes, Finite Fields Appl., 38: 72-92, 2016
work page 2016
-
[13]
Z. Heng, Q. Y ue, Evaluation of the Hamming weights of a cl ass of linear codes based on Gauss sums, Des. Codes Cryptogr., 83: 307-326 , 2017
work page 2017
-
[14]
Z. Heng, Q. Y ue, C. Li, Three classes of linear codes with two or three weights, Discrete Math., 339: 2832-2847, 2016
work page 2016
-
[15]
C. Li, Q. Y ue, F. Li, Weight distributions of cyclic code s with respect to pairwise coprime order elements, Finite Fields Appl., 28: 9 4-114, 2014
work page 2014
-
[16]
Y . Liu, Z. Liu, On some classes of codes with a few weights , Adv. Math. Commun., 12: 415-428, 2018
work page 2018
- [17]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.