Pith. sign in

REVIEW 3 major objections 3 minor

MDS cyclic orbit segments lie on rational normal curves precisely when they arise from the (r-1)-st symmetric power of PGL₂.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-15 03:32 UTC pith:GAL23TTN

load-bearing objection Abstract-only geometric characterization of MDS Krylov orbits on rational normal curves; coherent package of conjugacy, classification, surface, count, and density, but proofs uncheckable. the 3 major comments →

arxiv 2607.12761 v2 pith:GAL23TTN submitted 2026-07-14 math.NT

Cyclic Projective Orbits on Rational Normal Curves and MDS Codes

Yangcheng Li , Pingzhi Yuan This is my paper
classification math.NT MSC 94B0514H5015A2111T71
keywords MDS codesrational normal curvescyclic operatorsKrylov codesgeneralized Reed-Solomon codessymmetric powersPGL2companion matrices
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper settles when a cyclic Krylov orbit that produces an MDS code can sit on a rational normal curve. For dimension r at least 3 and length at least r+3, the only projective pairs that work are those conjugate to the (r-1)-st symmetric-power action of PGL₂. Over finite fields the same criterion classifies all companion-matrix generalized Reed-Solomon codes into four explicit families: split-semisimple, two nonsplit-semisimple, and unipotent. Over an algebraically closed field the Zariski closure of the semisimple GRS coefficient locus is an irreducible rational surface of codimension r-2 inside the space of monic degree-r polynomials; it is generically parameterized two-to-one by a two-dimensional torus of geometric-progression roots, with reversal the only generic ambiguity. A canonical remainder parity-check matrix turns the MDS condition into a principal open condition, and the proportion of monic polynomials whose companion codes are MDS yet non-GRS tends to 1 as the field size grows. The result therefore both rigidifies the geometry of cyclic MDS codes and shows that most long MDS Krylov codes over large finite fields lie outside the classical Reed-Solomon family.

Core claim

An MDS orbit segment of a cyclic pair (A,[z]) of length n≥r+3 lies on a rational normal curve if and only if (A,[z]) is projectively conjugate to a pair arising from the (r-1)-st symmetric-power action of PGL₂. Over finite fields this classifies the companion GRS locus into split-semisimple, two nonsplit-semisimple, and unipotent families; the proportion of monic degree-r polynomials whose companion codes are MDS and non-GRS tends to 1 as q o∞.

What carries the argument

The (r-1)-st symmetric-power action of PGL₂ on the projective space of dimension r-1, together with its cyclic Krylov orbits. This action supplies the only projective pairs whose MDS segments lie on a rational normal curve, and its conjugacy classes furnish the complete list of companion GRS polynomials.

Load-bearing premise

The length bound n≥r+3 is assumed strong enough to force geometric rigidity: no other families of curves or operators can produce MDS cyclic orbit segments of that length on a rational normal curve.

What would settle it

Exhibit a single cyclic pair (A,[z]) over a field of characteristic zero or large prime, with r≥3 and n≥r+3, whose Krylov segment is MDS and lies on a rational normal curve yet is not projectively conjugate to any (r-1)-st symmetric power of an element of PGL₂.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The manuscript claims that for r≥3 and n≥r+3, an MDS orbit segment of a cyclic pair (A,[z]) lies on a rational normal curve if and only if (A,[z]) is projectively conjugate to a pair arising from the (r−1)-st symmetric-power action of PGL₂. Over finite fields this yields a complete classification of companion GRS codes into split-semisimple, two nonsplit-semisimple, and unipotent families. Over an algebraically closed field the Zariski closure GRSsurf_{r,k} of the semisimple GRS coefficient locus is asserted to be an irreducible rational surface, generically parameterized two-to-one by a two-dimensional torus of geometric-progression root sets (with reversal the generic ambiguity), of codimension r−2 in the space of monic degree-r polynomials; Frobenius descent supplies an exact count of GRS polynomials over F_q, and the proportion of monic degree-r polynomials whose companion codes are MDS and non-GRS tends to 1 as q→∞.

Significance. If the rigidity characterization and the subsequent classification hold, the work supplies a clean geometric dictionary between cyclic MDS orbit segments on rational normal curves and PGL₂-symmetric-power actions, together with an explicit four-family partition of the companion GRS locus over finite fields. The Zariski-closure description of GRSsurf_{r,k}, the normalization statement for the affine quotient by reversal, the exact Frobenius-descent count, and the asymptotic density that almost all companion MDS codes are non-GRS are concrete, falsifiable contributions of clear interest to algebraic coding theory and finite geometry. The claims are parameter-free once r and n are fixed, and the density statement is a strong asymptotic prediction.

major comments (3)
  1. The central “precisely when” characterization for r≥3 and n≥r+3 rests on a geometric rigidity assertion: any MDS cyclic orbit segment of that length lying on a rational normal curve must be conjugate to a PGL₂-symmetric-power orbit. The abstract states the result as a theorem but supplies no intermediate lemmas excluding other operators, other curves, or shorter exceptional configurations. Without those exclusion arguments the load-bearing equivalence cannot be verified, and the subsequent four-family classification and density claim inherit the same gap.
  2. The claim that GRSsurf_{r,k} is an irreducible rational surface generically parameterized two-to-one by a two-dimensional torus (reversal the generic ambiguity), and that the affine quotient by reversal is the normalization of GRSsurf_{r,k}∩D(a_0), is stated without any indication of the equations defining the surface, the explicit torus map, or a proof of normality. These geometric assertions underwrite both the codimension-r−2 count and the Frobenius-descent formula; they require explicit verification.
  3. The density statement that the proportion of monic degree-r polynomials yielding MDS non-GRS companion codes tends to 1 as q→∞ relies on the MDS locus being cut out by a principal open condition (via a canonical remainder parity-check matrix) together with the codimension-r−2 claim for the GRS locus. Neither the explicit form of that remainder matrix nor a dimension computation establishing the codimension appears in the abstract, so the asymptotic cannot be checked.
minor comments (3)
  1. The abstract introduces the notation GRSsurf_{r,k} without a prior definition of the ambient coefficient space or the precise embedding; a one-line clarification of the ambient affine space would improve readability.
  2. The phrase “two nonsplit semisimple” families is slightly ambiguous (two distinct conjugacy types versus a single type counted twice); a parenthetical indication of the underlying field-extension degrees would remove the ambiguity.
  3. The length bound n≥r+3 is asserted to be sufficient; it would be useful, even in the abstract, to record whether the bound is sharp (i.e., whether counter-examples exist for n=r+2).

Circularity Check

0 steps flagged

No circularity detectable from abstract-only material; characterization and density claims are stated as theorems relating external standard objects.

full rationale

Only the abstract is available. It asserts an if-and-only-if geometric characterization (MDS cyclic orbit segment on a rational normal curve ⇔ projective conjugacy to the (r-1)-st symmetric-power action of PGL_{2}) for r≥3, n≥r+3, then derives a classification of companion GRS codes into four families and a density statement that the proportion of monic degree-r polynomials yielding MDS non-GRS companion codes tends to 1. The objects MDS, GRS, rational normal curve, PGL_{2}, companion matrix, Krylov code, and Frobenius descent are external standard notions; nothing in the abstract defines one of them in terms of the claimed conclusion, fits a free parameter and renames the fit a prediction, or invokes a uniqueness theorem whose only support is a self-citation. The length bound n≥r+3 is a load-bearing hypothesis for rigidity, but that is an assumption whose correctness cannot be checked from the abstract, not a circular reduction. With no equations, lemmas, or self-citations present, no circular step can be exhibited by quotation. Score 0 is therefore the only warranted finding under the hard rules.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 1 invented entities

Pure algebraic geometry / coding-theory paper. No numerical free parameters are fitted. Background axioms are standard field theory, the definition of MDS codes via minors, the classical construction of rational normal curves, and the representation theory of PGL₂ via symmetric powers. The surface GRSsurf is defined as a Zariski closure rather than postulated as a new physical entity. No invented particles, forces, or ad-hoc mediators appear.

axioms (4)
  • domain assumption Standard definitions of MDS codes (all maximal minors of the parity-check matrix nonzero) and generalized Reed-Solomon codes via evaluation of polynomials.
    Invoked throughout as the objects being classified; external to the paper.
  • standard math Existence and uniqueness properties of rational normal curves of degree r-1 in projective (r-1)-space, and the (r-1)-st symmetric-power representation of PGL₂.
    Classical algebraic geometry used to identify the model orbits.
  • domain assumption Frobenius action on geometric points of the parameter torus descends to give an exact count of F_q-rational GRS polynomials.
    Standard Galois-descent technique for varieties over finite fields; correctness of the count depends on it.
  • ad hoc to paper For r≥3 and n≥r+3 the length is long enough that an MDS cyclic orbit on a rational normal curve must be conjugate to a PGL₂-symmetric-power orbit (rigidity).
    The bound n≥r+3 is stated as the regime of the main theorem; it is a paper-specific hypothesis whose necessity or sharpness is not justified in the abstract.
invented entities (1)
  • GRSsurf_{r,k} no independent evidence
    purpose: Zariski closure of the semisimple GRS coefficient locus; claimed to be an irreducible rational surface of codimension r-2.
    Defined as a closure rather than postulated; independent geometric evidence would be the explicit torus parameterization and normalization statement, which are internal to the paper.

pith-pipeline@v1.1.0-grok45 · 6261 in / 2911 out tokens · 37710 ms · 2026-07-15T03:32:52.317950+00:00 · methodology

0 comments
read the original abstract

Let \(A\) be a cyclic operator on an \(r\)-dimensional vector space over a field \(k\), and let \(z\) be a cyclic vector. Their Krylov code has parity-check matrix \((z,Az,\ldots,A^{n-1}z)\). For \(r\ge 3\) and \(n\ge r+3\), we prove that an MDS orbit segment lies on a rational normal curve precisely when the projective pair \((A,[z])\) is conjugate to one arising from the \((r-1)\)-st symmetric-power action of \(\mathrm{PGL}_2\). Over finite fields, for companion operators, this gives a complete classification of the generalized Reed--Solomon locus into split semisimple, two nonsplit semisimple, and unipotent families. Over an algebraically closed field \(k\), the Zariski closure \(\GRSsurf_{r,k}\) of the semisimple GRS coefficient locus is an irreducible rational surface, generically parameterized two-to-one by a two-dimensional torus of geometric-progression root sets; reversal is the generic ambiguity. The affine quotient of the parameter torus by reversal is the normalization of \(\GRSsurf_{r,k}\cap D(a_0)\), its nonzero-constant-term open part. The codimension in the space of monic degree-\(r\) polynomials is \(r-2\). Frobenius descent gives an exact formula for the number of GRS polynomials over \(\mathbb F_q\). A canonical remainder parity-check matrix defines the MDS locus by a principal open condition. For fixed \(r\ge3\) and \(n\ge r+3\), the proportion of all monic degree-\(r\) polynomials over \(\mathbb F_q\) whose companion codes are MDS and non-GRS tends to one as \(q\to\infty\) through prime powers.

discussion (0)

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