On minimal codes arising from projective embeddings of point-line geometries
Pith reviewed 2026-05-17 03:53 UTC · model grok-4.3
The pith
A projective code from a point-line geometry embedding is minimal if the induced collinearity graph stays connected outside any hyperplane preimage.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The projective code obtained by taking as projective system Ω := ε(P) is minimal if the graph induced on the set Γ ∖ ε^{-1}(H) by the collinearity graph of Γ is connected for any hyperplane H of PG(V). As an application, Grassmann codes, Segre codes, polar Grassmann codes of orthogonal, symplectic, hermitian type and codes arising from the point-hyperplane geometry of a projective space are minimal codes.
What carries the argument
The connectivity of the subgraph induced by the collinearity graph on the points of Γ whose images under ε avoid any given hyperplane H.
Load-bearing premise
The induced collinearity graph on the points outside the preimage of any hyperplane must be connected for the geometries under consideration.
What would settle it
An explicit computation or small example in which the connectivity condition holds but the resulting projective code fails to be minimal, or a minimal code whose induced graph on some hyperplane complement is disconnected.
read the original abstract
Let ${\mathcal C}(\Omega)$ be the linear code arising from a projective system $\Omega$ of $\mathrm{PG}(V).$ Consider the point-line geometry $\Gamma=({\mathcal P},{\mathcal L})$ and a projective embedding $\varepsilon\colon \Gamma\rightarrow \mathrm{PG}(V)$ of $\Gamma.$ We show that the projective code obtained by taking as projective system $\Omega:=\varepsilon(\mathcal{P})$ is minimal if the graph induced on the set $\Gamma\setminus\varepsilon^{-1}(H)$ by the collinearity graph of $\Gamma$ is connected for any hyperplane $H$ of $\mathrm{PG}(V)$. As an application, Grassmann codes, Segre codes, polar Grassmann codes of orthogonal, symplectic, hermitian type and codes arising from the point-hyperplane geometry of a projective space are minimal codes.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that the projective code C(Ω) arising from a projective embedding ε of a point-line geometry Γ is minimal whenever the collinearity graph induced on Γ ∖ ε^{-1}(H) is connected for every hyperplane H of PG(V). It applies this sufficient condition to conclude that Grassmann codes, Segre codes, polar Grassmann codes (orthogonal, symplectic, hermitian) and codes from the point-hyperplane geometry of a projective space are minimal.
Significance. If the connectivity hypothesis holds in the listed families, the result supplies a geometric criterion linking the structure of embedded point-line geometries to code minimality. This could provide a unifying approach for several families in the intersection of finite geometry and coding theory.
major comments (1)
- [Abstract (applications)] The applications paragraph asserts minimality for Grassmann codes, Segre codes, polar Grassmann codes of orthogonal/symplectic/hermitian type, and point-hyperplane geometries. These conclusions rest on the connectivity condition holding for every hyperplane in each geometry. The provided text (abstract only) does not contain or reference the required verification that the induced collinearity graph on Γ ∖ ε^{-1}(H) is connected in these cases; this verification is load-bearing for the concrete claims.
Simulated Author's Rebuttal
We thank the referee for the careful review and for identifying the need for clearer linkage between the abstract claims and the supporting verifications. We address the major comment below.
read point-by-point responses
-
Referee: [Abstract (applications)] The applications paragraph asserts minimality for Grassmann codes, Segre codes, polar Grassmann codes of orthogonal/symplectic/hermitian type, and point-hyperplane geometries. These conclusions rest on the connectivity condition holding for every hyperplane in each geometry. The provided text (abstract only) does not contain or reference the required verification that the induced collinearity graph on Γ ∖ ε^{-1}(H) is connected in these cases; this verification is load-bearing for the concrete claims.
Authors: We agree that the current abstract does not explicitly reference or summarize the verifications of the connectivity condition. The full manuscript establishes these verifications in dedicated arguments for each family: for Grassmann geometries we use the transitivity of the action on complements of hyperplanes; for Segre varieties we exploit the product structure to show path-connectedness after point removal; for polar Grassmann codes (orthogonal, symplectic, hermitian) we invoke the known connectivity properties of the associated polar spaces outside hyperplanes; and for point-hyperplane geometries we rely on the standard connectivity of the projective space minus a hyperplane. To make this transparent, we will revise the abstract to include a short clause such as “with the connectivity condition verified in each case via the geometric properties detailed in Sections 3–6” and add explicit cross-references in the introduction. This revision clarifies the foundation of the applications while preserving the original mathematical content. revision: yes
Circularity Check
No circularity: sufficient geometric condition proved directly, with applications resting on independent connectivity verifications
full rationale
The paper states a sufficient condition for minimality of the code C(Ω) with Ω = ε(P): the induced collinearity graph on Γ ∖ ε^{-1}(H) must be connected for every hyperplane H. This is presented as a theorem to be shown from the definitions of projective embeddings, collinearity graphs, and linear codes arising from projective systems. The applications to Grassmann, Segre, polar Grassmann, and point-hyperplane geometries then require separate verification that the connectivity hypothesis holds in each case, which is a geometric property independent of the minimality conclusion itself. No self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations appear in the abstract or derivation outline; the central implication does not reduce to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard incidence and embedding properties of projective spaces and point-line geometries
- domain assumption Collinearity graph is well-defined on the geometry
Forward citations
Cited by 1 Pith paper
-
Construction of Minimal Ternary Linear Codes with Dimension $n+2$
Generic construction yields a new class of minimal ternary linear codes with dimension m+2 that violate the Ashikhmin-Barg condition, with complete weight enumerators determined via exponential sums.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.