Search arXiv⌕ Search

arXiv · 2610.28541

Extremal secant size distributions in projective planes

Abstract

Given a point set $S$ in a projective plane of order $q$, each line $\ell$ determines a secant of size $|S\cap \ell|$. We study how concentrated this secant-size distribution can be. We develop a general framework for estimating and, in several cases, determining the extremal number. We point out how the extremal constructions vary depending on the remainder of the size of the set modulo $q$, and classify several extremal families of point sets, building from concurrent lines, Baer {subplanes} and lines in general position. On the lower bound side, we rely on stability results in the Desarguesian case and applications of the standard equalities in general. Finally, we connect the problem to a novel concept, called general position on level 2 for point and line sets, which then leads to a Sidon-type problem over finite fields called projective Sidon sets, providing an additional arithmetic model for highly concentrated secant-size distributions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zoltán Lóránt Nagy, Zsuzsa Weiner. 2026-10-20. Extremal secant size distributions in projective planes. https://arxiv.org/abs/2610.28541

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Domination polynomial of co-maximal graphs of integer modulo ring

We investigate the domination polynomial of the co-maximal graph $Γ(\mathbb{Z}_n)$ related to the ring of integers modulo $n$. Such a polynomial encodes domination sets of all possible sizes, a NP-hard problem for general graph. We give exact formulas for prime powers, integers with two distinct prime divisors, and products of three distinct primes. A prime-support decomposition gives a finite explicit formula for arbitrary $n$, including repeated prime factors. Further results determine the highest coefficients, the precise threshold beyond which every vertex subset dominates, and the number of non-dominating subsets. We discuss unimodality and log-concavity, and derive justified bounds for nonzero domination roots using the Eneström--Kakeya theorem.

math.CO↗

On gcd-graphs over matrix rings

Graphs defined over finite rings are well studied in the literature. The study of these graphs benefits from rich connections between several areas of mathematics, including number theory, algebra, combinatorics, and graph theory, and these connections often lead to interesting interactions between algebraic and combinatorial structures. In this article, we investigate gcd-graphs defined over matrix rings with coefficients in finite fields. We show that these graphs exhibit several interesting graph-theoretic properties. Along the way, we also prove some results on the structure of matrix rings, which may be of independent interest.

math.CO↗

A solution to a conjecture on the signless Laplacian spectral radius for $t$-color-critical graphs

An induced matching is a matching that forms an induced subgraph. A graph is $t$-color-critical if removing some induced matching of size $t$ lowers its chromatic number, but removing any $t-1$ vertices does not. Let $F$ be a $t$-color-critical graph with $χ(F)=r+1$. For sufficiently large $n$, Simonovits determined the unique edge-extremal $F$-free graph on $n$ vertices. Recently, Zheng, Li and Li [Linear Algebra Appl.\ 730 (2026) 546--565] conjectured that, for $t\ge 2$ and $r\ge 3$, the join $K_{t-1}\vee T_{n-t+1,r}$ uniquely maximizes the signless Laplacian spectral radius among all $n$-vertex $F$-free graphs when $n$ is sufficiently large. In this paper, we prove this conjecture. In contrast to the usual spectral arguments, our proof of this conjecture relies on two techniques of a rather different flavour. Our first technique is an analogue of Zykov symmetrization for the signless Laplacian matrix. Our second technique is an induction on $n$, from which we obtain the lower bound on the smallest entry of the Perron vector of a signless Laplacian spectral extremal graph rather than a structural statement.

math.CO↗