pith. sign in

arxiv: 2510.04675 · v2 · submitted 2025-10-06 · 🧮 math.CO

The Intersection Distribution: New Results and Perspectives

Sophie Huczynska , Lukas Klawuhn , Maura B. Paterson This is my paper

Pith reviewed 2026-05-18 09:48 UTC · model grok-4.3

classification 🧮 math.CO
keywords intersection distributionfinite field polynomialsprojective equivalencenon-hitting indexS_falgebraic curvescyclotomyirreducible polynomials
0
0 comments X

The pith

Intersection distributions of finite field polynomials determine their projective equivalence through geometric and algebraic characterizations.

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

The paper explores intersection distributions for polynomials over finite fields, viewing them both algebraically as intersections with lines and geometrically as properties of (q+1)-sets with an internal nucleus. Using links to algebraic curves, cyclotomy, and irreducible polynomial enumeration, it characterizes the degree of S_f, the highest index with a positive count in the distribution. The work also analyzes the non-hitting spectrum and demonstrates that the non-hitting index cannot always characterize polynomials uniquely. These approaches yield two new short proofs for the cubic case of earlier open problems.

Core claim

We prove geometric results which shed new light on the relationship between intersection distribution and projective equivalence of polynomials, and algebraic results which describe and characterise the degree of S_f - the index of the largest non-zero entry in the intersection distribution of f. We provide new insights into the non-hitting spectrum, and show the limitations of the non-hitting index as a tool for characterisation.

What carries the argument

The intersection distribution, which records for each k the number of lines meeting the associated (q+1)-set in exactly k points, together with its derived index S_f marking the largest such positive count.

If this is right

  • Projective equivalence classes of polynomials are detected exactly by equality of their intersection distributions.
  • The index S_f admits an explicit algebraic description in terms of counts of irreducible polynomials.
  • The non-hitting index alone is insufficient to separate all distinct projective classes.
  • The cubic case of Li and Pott's open problems admits short proofs that rely only on cyclotomic and curve-theoretic counts.

Where Pith is reading between the lines

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

  • The same distribution machinery could be tested on higher-degree polynomials or on point sets in higher-dimensional finite geometries.
  • Combining the full intersection distribution with other known invariants may produce complete classification tools where single indices fall short.
  • The geometric nucleus interpretation may connect the same ideas to extremal problems such as the Kakeya conjecture in additional settings.

Load-bearing premise

The invoked connections between intersection distributions and the theory of algebraic curves, cyclotomy, and enumeration of irreducible polynomials hold and suffice for the new characterizations.

What would settle it

An explicit example of a polynomial over a small finite field whose computed intersection distribution has an S_f degree or equivalence class that contradicts the stated algebraic or geometric description.

Figures

Figures reproduced from arXiv: 2510.04675 by Lukas Klawuhn, Maura B. Paterson, Sophie Huczynska.

Figure 1
Figure 1. Figure 1: (q + 1)-sets from (a) Example 2.3(1) and (b) Example 2.3(2) of [13] z = 0 (0, 1, 0) (0, 0, 1) z 2 = xy (1, 0, 0) [PITH_FULL_IMAGE:figures/full_fig_p011_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The first (q + 1)-set of Example 2.3(2) of [13] of the conic all have this form. From this, we see that the polynomial f giving rise to this set is simply y = x q−2 , since this is satisfied by the remaining points of the conic, and also by the replacement point (0, 0, 1). This gives an example of two inequivalent polynomials with the same intersection distribution over Fq with q odd with q ≥ 5: y = x 2 + … view at source ↗
read the original abstract

Intersection distribution and non-hitting index are concepts introduced recently by Li and Pott as a new way to view the behaviour of a collection of finite field polynomials. With both an algebraic interpretation via the intersection of a polynomial with a set of lines, and a geometric interpretation via a $(q+1)$-set possessing an internal nucleus, the concepts have proved their usefulness as a new way to view various long-standing problems, and have applications in areas such as Kakeya sets. In this paper, by exploiting connections with diverse areas including the theory of algebraic curves, cyclotomy and the enumeration of irreducible polynomials, we establish new results and resolve various Open Problems of Li and Pott. We prove geometric results which shed new light on the relationship between intersection distribution and projective equivalence of polynomials, and algebraic results which describe and characterise the degree of $S_f$ - the index of the largest non-zero entry in the intersection distribution of $f$. We provide new insights into the non-hitting spectrum, and show the limitations of the non-hitting index as a tool for characterisation. Finally, the benefits provided by the connections to other areas are evidenced in two short new proofs of the cubic case.

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

2 major / 2 minor

Summary. The paper claims to advance the study of intersection distributions and non-hitting indices for finite-field polynomials by forging connections to algebraic curves, cyclotomy, and counts of irreducible polynomials. It resolves open problems of Li and Pott, characterizes the degree of S_f (the index of the largest non-zero entry), supplies geometric results relating the distribution to projective equivalence of polynomials, demonstrates limitations of the non-hitting index as a characterization tool, and supplies two new short proofs for the cubic case.

Significance. If the invoked connections are shown to hold without unstated restrictions on degree or characteristic, the work would meaningfully extend the framework introduced by Li and Pott, offering both algebraic characterizations and geometric perspectives that could inform applications such as Kakeya sets. The explicit resolution of open problems and the provision of new cubic-case proofs constitute concrete progress; the demonstration that the non-hitting index has limited characterizing power is a useful negative result.

major comments (2)
  1. [Algebraic results characterizing deg(S_f)] The algebraic characterization of the degree of S_f (invoked via cyclotomy and enumeration of irreducibles) is presented as general, yet the manuscript supplies fully explicit new proofs only for the cubic case. It is therefore necessary to verify that the reductions do not tacitly assume low degree or specific characteristic; otherwise the claimed resolution of Li and Pott’s open problems on the non-hitting spectrum does not extend to arbitrary polynomials.
  2. [Geometric results on projective equivalence] The geometric results linking intersection distributions to projective equivalence are asserted to arise from algebraic-curve constructions, but the precise correspondence between the (q+1)-set with internal nucleus and the curve’s properties is not exhibited in sufficient detail to confirm independence from the original Li–Pott definitions. A concrete example or lemma showing how the curve distinguishes equivalence classes would be required to substantiate the claimed new insight.
minor comments (2)
  1. [Abstract] The abstract states that two short new proofs of the cubic case are given, yet does not list which specific open problems of Li and Pott are thereby settled; adding a one-sentence enumeration would improve readability.
  2. [Preliminaries / Notation] Notation for the non-hitting spectrum and the index S_f would benefit from a small-field example (e.g., q=5 or q=7) immediately after the definitions, to make the subsequent cyclotomic arguments easier to follow.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comments. We address each point below and indicate the revisions we will make to strengthen the presentation.

read point-by-point responses

  1. Referee: [Algebraic results characterizing deg(S_f)] The algebraic characterization of the degree of S_f (invoked via cyclotomy and enumeration of irreducibles) is presented as general, yet the manuscript supplies fully explicit new proofs only for the cubic case. It is therefore necessary to verify that the reductions do not tacitly assume low degree or specific characteristic; otherwise the claimed resolution of Li and Pott’s open problems on the non-hitting spectrum does not extend to arbitrary polynomials.

    Authors: The algebraic characterization of deg(S_f) relies on standard results from cyclotomy and the enumeration of irreducible polynomials, which apply to polynomials of arbitrary degree over finite fields of any characteristic (subject only to the usual coprimality conditions between degree and characteristic that are already stated in the relevant theorems). The fully explicit new proofs are supplied for the cubic case both to illustrate the method and to resolve the specific open problems of Li and Pott in that setting. We will revise the manuscript by adding a short clarifying paragraph immediately after the statement of the general characterization, explicitly confirming that the reductions invoke only degree-independent theorems and do not impose hidden restrictions on degree or characteristic. revision: yes

  2. Referee: [Geometric results on projective equivalence] The geometric results linking intersection distributions to projective equivalence are asserted to arise from algebraic-curve constructions, but the precise correspondence between the (q+1)-set with internal nucleus and the curve’s properties is not exhibited in sufficient detail to confirm independence from the original Li–Pott definitions. A concrete example or lemma showing how the curve distinguishes equivalence classes would be required to substantiate the claimed new insight.

    Authors: We agree that additional explicit detail would make the geometric correspondence clearer. The link is obtained by associating to each polynomial f the algebraic curve whose points encode the intersection numbers with lines; the internal nucleus of the resulting (q+1)-set then corresponds to a specific singularity or inflection property of that curve. We will insert a new lemma (with a short proof) that states the precise dictionary between the intersection distribution and the curve’s geometric invariants, together with a concrete example for q=7 that exhibits two projectively inequivalent cubics distinguished by their curves but not by the original Li–Pott invariants alone. revision: yes

Circularity Check

0 steps flagged

No circularity: derivations rely on external connections to algebraic curves and cyclotomy

full rationale

The paper claims new geometric and algebraic results on the intersection distribution by exploiting connections to the theory of algebraic curves, cyclotomy, and enumeration of irreducible polynomials. These are presented as independent tools to characterize the degree of S_f and provide insights into the non-hitting spectrum, resolving open problems from Li and Pott. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations are evident from the abstract and claimed derivation chain. The work builds on prior definitions but introduces independent content via these external areas, making the central claims self-contained rather than reducing to inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard finite field algebra and new connections to algebraic curves and cyclotomy; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Standard algebraic properties of polynomials over finite fields and their intersections with lines
    Invoked throughout the algebraic interpretation of the intersection distribution.
  • domain assumption Existence of connections between intersection distributions and the theory of algebraic curves, cyclotomy, and irreducible polynomial enumeration
    Used to derive new results and resolve open problems as stated in the abstract.

pith-pipeline@v0.9.0 · 5739 in / 1302 out tokens · 36099 ms · 2026-05-18T09:48:20.738422+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.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    Bamberg, A

    J. Bamberg, A. Betten, P. Cara, J. De Beule, M. Lavrauw, and M. Neunh¨ offer.FinInG – Finite Incidence Geometry, Version 1.5.6, 2023

    work page 2023

  2. [2]

    A. W. Bluher. Onx q+1 +ax+b.Finite Fields Their Appl., 10:285–305, 2004

    work page 2004

  3. [3]

    R. C. Bose. Mathematical theory of the symmetrical factorial design.Sankhy¯ a: The Indian Journal of Statistics (1933-1960), 8(2):107–166, 1947

    work page 1933

  4. [4]

    Carlet, P

    C. Carlet, P. Charpin, and V. A. Zinoviev. Codes, bent functions and permutations suitable for des-like cryptosystems.Des. Codes Cryptogr., 15(2):125–156, 1998. 34

    work page 1998

  5. [5]

    L. R. A. Casse.Projective geometry. Oxford University Press, Oxford, 2006

    work page 2006

  6. [6]

    Coulter and M

    R. Coulter and M. Henderson. A note on the roots of trinomials over a finite field.Bull. Austral. Math. Soc., 69:429–432, 2004

    work page 2004

  7. [7]

    Ding and M

    Z. Ding and M. E. Zieve. Exceptional 2-to-1 rational functions.J. Combin. Theory Ser. A, 215:Paper No. 106046, 18, 2025

    work page 2025

  8. [8]

    The GAP Group.GAP – Groups, Algorithms, and Programming, Version 4.14.0, 2024

    work page 2024

  9. [9]

    J. W. P. Hirschfeld.Projective geometries over finite fields. Oxford Mathematical Mono- graphs. Clarendon Press, Oxford, 2nd ed. edition, 1998

    work page 1998

  10. [10]

    ˙Irima˘ gzı and F.¨Ozbudak

    C. ˙Irima˘ gzı and F.¨Ozbudak. On two applications of polynomials xk −cx−d over finite fields and more. In S. Mesnager and Z. Zhou, editors,Arithmetic of Finite Fields, WAIFI 2022, volume LNCS vol 13638, pages 14–32. Springer, 2023

    work page 2022

  11. [11]

    Kelley and S

    Z. Kelley and S. W. Owen. Estimating the number of roots of trinomials over finite fields. J. Symb. Comput., 79:108–118, 2017. SI: MEGA 2015

    work page 2017

  12. [12]

    G. M. Kyureghyan, S. Li, and A. Pott. On the intersection distribution of degree three polynomials and related topics.Electron. J. Comb., 28(2), 2021

    work page 2021

  13. [13]

    Li and A

    S. Li and A. Pott. Intersection distribution, non-hitting index and Kakeya sets in affine planes.Finite Fields Their Appl., 66:101691, 2020

    work page 2020

  14. [14]

    Li and M

    S. Li and M. Xiong. Intersection distribution of degree four polynomials over finite fields. Des. Codes Cryptogr., 93(4):1089–1111, 2025

    work page 2025

  15. [15]

    Y. Li, K. Li, and L. Qu. On two conjectures about the intersection distribution.J. Algebraic Combin., 55(4):1289–1298, 2022

    work page 2022

  16. [16]

    Lidl and H

    R. Lidl and H. Niederreiter.Finite Fields. Encyclopedia of Mathematics and its Applications; v. 20. Cambridge University Press, Cambridge, 2nd ed. edition, 1997

    work page 1997

  17. [17]

    G. L. Mullen and D. Panario.Handbook of Finite Fields. Chapman & Hall/CRC, 1st edition, 2013

    work page 2013

  18. [18]

    Redei.Lacunary polynomials over finite fields, Translated from the German by I

    L. Redei.Lacunary polynomials over finite fields, Translated from the German by I. Foldes. North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, New York, 1973

    work page 1973

  19. [19]

    B. Segre. Ovals in a finite projective plane.Canadian Journal of Mathematics, 7:414–416, 1955

    work page 1955

  20. [20]

    B. Segre. Sui k-archi nei piani finiti di caratteristica due.Rev. Math. Pures Appl, 2:289–300, 1957

    work page 1957

  21. [21]

    Solymosi, E

    J. Solymosi, E. P. White, and C. H. Yip. On the number of distinct roots of a lacunary polynomial over finite fields.Finite Fields Their Appl., 72:101820, 2021

    work page 2021

  22. [22]

    Tallini Scafati

    M. Tallini Scafati. Sui {k, n}-archi di un piano grafico finito.Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat., 40:373–378, 1966

    work page 1966

  23. [23]

    Vilanova

    K. Vilanova. Certain trinomial equations over finite fields.Trudy Univ. Druˇ zby Narod., 21:17–31, 1967. 35

    work page 1967

  24. [24]

    Degree:

    J. L. Yucas. Irreducible polynomials over finite fields with prescribed trace/prescribed constant term.Finite Fields Their Appl., 12(2):211–221, 2006. Appendix: GAP code Here, we give GAP code to compute the intersection distribution using the FinInG package [ 1]. #Construct the finite projective plane PG(2,q) using FinInG for the sample value q=9 q:=9; p...

    work page 2006