arXiv++ Combinatorics

Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb F_q$, where $n\ge 2$. It is classical that $q+1$ proper subspaces are necessary and sufficient to cover $V$. We study extremal refinements of this covering theorem. For $1\le m\le q+1$, we determine the maximum possible size of the union of $m$ proper subspaces of $V$, proving that $$ \max_{W_1,\ldots,W_m<V} \left|W_1\cup\cdots\cup W_m\right| = q^{n-2}\bigl(1+m(q-1)\bigr). $$ We also classify all equality cases: for $m\ge 2$, equality holds precisely when the subspaces are distinct hyperplanes containing a common codimension-two subspace. As consequences, we obtain a structural classification of minimum covers of $V$ by proper subspaces and a sharp defect estimate for unions of $q$ proper subspaces. We then introduce basis-blocking families, namely families of proper subspaces whose union meets every basis of $V$. We prove that the minimum size of such a family is $q$ and classify all extremal families of this size. Finally, we establish the affine analogue and give an elementary recognition criterion for extremal families. Together, these results provide a unified extremal-combinatorial description of coverings of finite vector spaces by proper subspaces.

A conference signal is a complex-valued function on a finite abelian group that vanishes at 0 in both the time and frequency domains, and is otherwise flat in both domains. For example, the Legendre symbol is a conference signal on $\mathbb{Z}_p$ since it vanishes at $0$, takes values $\pm 1$ away from zero, and is a scalar multiple of its Fourier transform. More generally, any nontrivial multiplicative character on a finite field is a conference signal on its additive group. Until now, conference signals have mainly been studied by number theorists, who wanted to know if multiplicative characters were the only conference signals on finite fields. The state of the art uses fancy tools from symplectic geometry to prove that non-character conference signals exist on non-small fields. The same tools show conference signals exist on every abelian group of odd order, without saying what they are. In this (human-friendly!) paper, we explain how conference signals produce other objects of interest in algebraic combinatorics and applied harmonic analysis, and then we present some new, explicit constructions of conference signals on $\mathbb{Z}_n$. In particular, we give the first explicit conference signals for composite $n$ and the first explicit non-character examples for prime $n$.

Let $K$ be a finite field of characteristic two with $|K| = 2^{n}$, let $\gcd(k,n) = 1$, let $d_{k} = 4^{k} - 2^{k} + 1$ be the Kasami exponent, and let $Δ_{k} = \{(b+1)^{d_{k}} + b^{d_{k}} + 1 : b \in K\}$ be the image of the normalised derivative of the Kasami monomial in the direction $1$. We show that, for all distinct nonzero $v_{1},v_{2} \in K$, \[ \bigl|\{(x,y,z) \in Δ_{k}^{3} : v_{1}x + v_{2}y + (v_{1}+v_{2})z = 0\}\bigr| = 2^{2n-3}. \] This establishes the cyclic-additive difference-set condition introduced by Carlet and later posed for the Kasami functions at NSUCRYPTO~2019. Starting from the known half-size property of the derivative image, we express the Fourier correction as twisted root counts and prove their required nonnegativity by an incidence argument on the Fermat cubic. An exact average over the slopes then forces equality pointwise. The argument covers every admissible pair $(n,k)$ and has been formalised and machine-checked in Lean~4 with Mathlib.

A Deza graph is a regular graph in which the number of common neighbours of two distinct vertices takes at most two values, regardless of adjacency. Its children are the graphs on the same vertex set in which adjacency is determined by these two common-neighbour counts. A Deza graph is called strongly Deza if both children are strongly regular. We construct an infinite family of edge-regular strongly Deza graphs using non-degenerate quadratic forms over the field with five elements. For every odd dimension greater than three and each of the two determinant square classes, we obtain a graph on the projective points represented by vectors of norm one. Its children are complementary strongly regular graphs with the parameters of the corresponding orthogonality graph on non-isotropic points and its complement. We determine the parameters by counting solutions to systems involving the associated bilinear form. These counts also yield symmetric association schemes over finite fields of odd characteristic. Further constructions include Deza graphs in dimension four, orthogonality graphs in odd dimensions, unions of relations in even dimensions over the field with nine elements, and an odd-dimensional family over the field with thirteen elements. We also give low-dimensional examples, including one whose children are a triangular graph and its complement.

Let $q=2^n$ with $n\ge6$, and let $\mathbb{F}_q$ be the finite field with $q$ elements. For a subspace $E$ of $\mathbb{F}_q$, define \[ S(E)=\sum_{x\in E\setminus\{0\}}x^{-1}.\] Let $N_{n,k}$ denote the number of $k$-dimensional $\mathbb{F}_2$-subspaces $E$ for which $S(E)=0$. We prove that, if $k\ge3$ and $n\ge2k+1$, then \[ \left|\frac{2^nN_{n,k}}{\genfrac{[}{]}{0pt}{}{n}{k}_{2}}-1\right|<2^{r^2+r}2^{n(1-r/2)},\] where $r=\lfloor\frac{k-1}{2}\rfloor$, and $\genfrac{[}{]}{0pt}{}{n}{k}_{2}$ is the Gaussian binomial coefficient. In particular, \[ N_{n,k}\sim2^{-n}\genfrac{[}{]}{0pt}{}{n}{k}_{2}\quad (n\to\infty)\] uniformly for $n/3<k\le(n-1)/2$. Combined with the known low-dimensional cases and the symmetry between dimensions $k$ and $n-k$, and the elementary middle-dimensional subfield construction, this proves a conjecture of Carlet: for every $3\le k\le n-3$, there exists a $k$-dimensional $\mathbb{F}_2$-subspace $E$ such that $S(E)=0$.

We study the problem of constructing highly nonlinear vectorial maps $F: \mathbb F_2^n \to \mathbb F_2^m$. Concretely, we want an $F$ and an $A = A(m,n)> 0$ as small as possible, so that for every affine map $L: \mathbb F_2^n \to \mathbb F_2^m$ (of the form $L(x) = M x + b $) we have: $$\mathrm{agree}(F, L) := |\{ x \in \mathbb F_2^n \mid F(x) = L(x) \}| \leq A.$$ Such questions have been studied by Nyberg (1991,1993), Carlet and Ding (2004,2007), Liu, Mesnager and Chen (2017), Nagy (2025), and Biryukov, Turecek, and Udovenko (2026). There is a classical method of constructing such functions from bent-functions and Fourier analytic ideas; the best bound achievable by this method is: $$ A(m,n) = Θ(2^{n-m} + 2^{n/2}),$$ and in particular, is never smaller than $2^{n/2}$. In this work, we show how to construct highly nonlinear functions beyond this Fourier bound. Concretely, we show how to construct for every $γ>0$, a function $F: \mathbb F_2^n \to \mathbb F_2^m$ with $m = O_γ(n)$, achieving $$ A(m,n) \leq (1 + γ)^n.$$ Surprisingly, we even achieve the same quantitative behavior for the much harder question of having low agreement with $m$-tuples of degree $d$ polynomials $Q: \mathbb F_2^n \to \mathbb F_2^m$, with $m = O_{γ, d}(n)$. Here the previously best bounds were of the form $A(m,n) = O( 2^{-\frac{n}{2^{d+1}}} \cdot 2^n )$ of Ben-Sasson and Kopparty (2010), based on Gowers-norm-type arguments. All our results generalize to all finite fields $\mathbb F_q$ in place of $\mathbb F_2$. Our methods are based on a new connection to classical results on counting solutions to systems of polynomial equations via algebraic methods. This connection brings us to basic questions in combinatorics, about graphs and hypergraphs with simultaneously a small number of edges and independent sets.

Let \(\mathbb{F}_q\) be a finite field with \(q>7\). Zhi-Wei Sun conjectured that for every \(a_0\in\mathbb{F}_q\), there is a circular permutation \((a_1,\dots,a_{q-1})\) of non-zero elements of \(\mathbb{F}_q\) such that \(a_0+a_i a_{i+1}\) is primitive for \(1\le i\le q-1\), where \(a_q=a_1\). In this paper, we confirm this conjecture for \(q>18\,888\,871\). For \(a_0=0\), the conclusion holds for all \(q>4\). For \(a_0\ne0\), we apply the Chvátal--Erdős theorem to obtain a Hamilton cycle.

A family of $k$-subspaces of an $n$-dimensional vector space over a finite field is $t$-intersecting if any two members intersect in a subspace of dimension at least $t$. A $t$-intersecting family is nontrivial if no $t$-subspace is contained in all its members. In this paper, we determine the largest nontrivial $t$-intersecting families for $k\geq t+2$ and $n\geq 2k+1$. As a result, the complete nontrivial-intersection theorem for vector spaces is established.

Let $\Fq$ be a finite field, let $F,G\in\Fq[T]$ be nonconstant, and let $J\in\Fq[T]$. We study the parameterized two-parameter family \[ C_{a,b}=\{(x,t)\in\Fq^2:t=J(x)+aF(x)+bG(x)+λab\}, \qquad (a,b)\in\Fq^2, \] where $λ\in\Fq^\times$, with incidences counted with parameter multiplicity. If $d=°F$, $e=°G$, and $\charac(\Fq)>d+e$, we prove the uniform spectral estimate \[ \left|I(\cP,Ω)-\frac{|\cP||Ω|}{q}\right| \ll_{d,e}q^{5/8}\sqrt{|\cP||Ω|} \] for arbitrary $\cP,Ω\subseteq\Fq^2$. The proof combines two additive Fourier transforms with a fourth-moment estimate for Kloosterman matrices. If $1\le d,e\le2$ and $\charac(\Fq)>3$, midpoint--difference coordinates and finite Weyl quantization sharpen the error to the Vinh scale $O(q^{1/2}\sqrt{|\cP||Ω|})$. We further show that the latter phenomenon is intrinsic to the coefficient curve rather than to the degree of a chosen parametrization. There is a polynomial Lüroth factorization \[ F=f\circ H,\qquad G=g\circ H,\qquad \Fq(f,g)=\Fq(T), \] unique up to an affine change of $H$. If $Γ$ is the plane curve parametrized properly by $(f,g)$ and \[ κ_H=\max_{s\in\Fq}|H^{-1}(s)|, \] then finite-fibre pullback multiplies the centered incidence norm by at most $\sqrt{κ_H}$. Consequently, if $\degΓ\le2$ and $\charac(\Fq)>3$, then \[ \left|I(\cP,Ω)-\frac{|\cP||Ω|}{q}\right| \ll \sqrt{κ_H}\,q^{1/2}\sqrt{|\cP||Ω|}, \] even when $F$ and $G$ have arbitrarily large raw degree. The resulting expansion estimates for $J(x)+yF(x)+zG(x)+λyz$ hold without lower bounds on the individual input sets. In the balanced regime, the $q^3$ missing-value scale for this family is already covered by a theorem of Arala--Chow; the incidence theorems here additionally yield expansion consequences in strongly unbalanced regimes.

The famous and actively studied problem of Brown--Erdős--Sós from 1973 asks for $f^{(r)}(n;s,k)$, the maximum number of edges in an $r$-graph with $n$ vertices in which no $s$ vertices span $k$ or more edges. In this paper, we concentrate on the case $r=3$ and $s=k+2$, with $k\ge2$ fixed and $n\to\infty$; then it is easy to show that the extremal function grows quadratically in $n$. Delcourt and Postle proved that the limit $π(k):=\lim_{n\to\infty} f^{(3)}(n;k+2,k)/n^2$ exists for every $k$. While Brown, Erdős and Sós observed that $π(2)=1/6$ already in the 1970s, the value of $π(k)$ for $3\le k\le 7$ was determined only recently (by various subgroups of Glock, Joos, Kim, Kühn, Lichev, Pikhurko, and Sun). Very recently, Chao, Huang and Liu determined $π(k)$ for every odd $k$. Independently of the last result, we show that $π(9)=1/5$. Also, we prove that $π(8)\le {5053}/{26544}$, which is within $0.0029$ of the best known lower bound $π(8)\ge 3/16$. The new upper bounds are obtained by expressing some previous arguments as a linear program and then using a computer to generate and solve its instances. Our proof of the lower bound on $π(9)$ is based on a finite field construction combined with existing packing results.

A Neumaier graph is a non-complete edge-regular graph containing a regular clique; it is called strictly Neumaier if it is not strongly regular. In this paper we present a construction using finite rings that unifies several known results and yields three new families, each containing infinitely many strictly Neumaier graphs. We characterize when the resulting graphs are strongly regular. The family obtained from norm functions of finite field extensions includes the collinearity graphs of generalized quadrangles of \(*\)-Tits type arising from the classical hyperoval. We further show that, when the cyclotomic numbers involved have order at most seven, four types of rings suffice to obtain, up to isomorphism, all strictly Neumaier graphs arising from our construction. As a consequence of our results, each of these four types has now been used to construct Neumaier graphs.

Let $\PG(2,q)$ denote the projective plane over the finite field $\mathbb{F}_q$ where $q\geq2$ is a prime power. For a positive integer $t$, let $B_{t}[\PG(2,q)]$ denote the $t$-page book obtained from $t-$many copies of the $(q+1)-$graph $\PG(2,q)$, sharing a common edge. Employing the $\mathsf{L}^p-$method and using the incidence structure of the projective plane, we establish that the upper bound of Turán density of $B_{t}[\PG(2,q)]$ is $(q(q+1)^{-1})^{\frac{1}{qt}}$. For the $(q+1)-$graph $\PG(2,q)$, the previously known upper bound on its Turán density was $1-\binom{q^2}{q}^{-1}$. As a consequence of our estimate, this upper bound is improved to $(q(q+1)^{-1})^{\frac{1}{q}}$.

We develop a multi-view linear-programming framework for locally recoverable codes with arbitrary fixed availability $a$. For any retained order $1 \le s \le a$, the selected helper sets, the recovered coordinate, and their complement form an $(s+2)$-part partition. Recording the Hamming distance on all blocks preserves both compatibility among the selected repair alternatives and their coupling with the remaining coordinates. The resulting joint distribution satisfies centered counting identities, product-Krawtchouk positivity, and collision inequalities from the local-distance condition; for fixed $s$, these constraints give a polynomial-size relaxation for arbitrary, possibly nonlinear, codes over any finite field. Retaining one view recovers the three-block model of our companion paper. We develop the first genuinely multi-view case, $s=2$, in detail and specialize the exact computations to availability $a=2$. The resulting four-block LP projects to both the one-view three-block model and a globally conditioned two-view relaxation, making explicit the information lost by each coarsening. Exact rational primal-dual certificates together with checked constructions prove $M_{\max}(2,8,4,2,2,2)=8$, $M_{\max}(3,7,3,2,2,2)=27$, and $M_{\max}(4,7,3,2,2,2)=64$; in all three cases the four-block bound is strictly stronger than both coarsenings.

We prove a sharp Szemerédi-Trotter estimate \[\mathcal{I}(A,\mathcal{L})\lesssim \frac{|A||\mathcal{L}|}{p}+|A|^{2/3}|\mathcal{L}|^{2/3}+|A|+|\mathcal{L}|\] for prime finite field $\mathbb{F}=\mathbb{F}_p$ by a new polynomial decomposition theorem. As applications, we first prove the sharp Furstenberg set estimate in $\mathbb{F}^2$. Secondly, we improve sum-product estimate \[\max\{|A+A|,|A\cdot A|\}\gtrsim\min\{(p|A|)^{1/2},|A|^{5/4}\},\quad A\subset\mathbb{F}.\] Finally, we improve the Fourier restriction estimate $R^*(2\toα)$ holds for $α>\frac{10}{3}$ in $\mathbb{F}^3$ when $p\equiv 3\mod 4$.

Murphy and Petridis proved that, for subsets $A$ of an arbitrary finite field $\F_q$, the condition $\abs A>q^{2/3-δ}$ implies $\abs{(A-A)(A-A)}>q/2$ whenever $δ<1/13542$ and $q$ is sufficiently large. We improve the explicit saving to $1/1689$. The proof replaces the main physical-space extraction in their large-energy branch by a common Fourier spectrum, followed by a popular-ratio Balog--Szemerédi--Gowers step. The resulting additive energy is treated level by level, retaining difference multiplicities and combining the Reiher--Schoen relation lemma with Mohammadi's difference--ratio estimate. This gives the structural exponent $188$ and hence \[ \abs A\ge Cq^{375/563}=Cq^{2/3-1/1689} \quad\Longrightarrow\quad \abs{(A-A)(A-A)}>\frac q2 \] for an absolute constant $C>0$.

Let $p$ be an odd prime. We prove the sharp extension estimate $R_{S_j}^*(2\to r)\lesssim_r 1$ for every sphere of nonzero radius $S_j\subseteq\mathbb{F}_p^4$ and every $r\geq3$, uniformly in $p$ and $j$. The proof combines arithmetic Hecke operator bounds with a refined fourth moment and an orthogonal decomposition. We also formulate a localized spherical restriction/extension conjecture that predicts the sharp dependence on the size of the physical support. This conjecture remains open and would yield distance estimates for almost every pin at the conjectured Erdős--Falconer exponent in four dimensions, with an arbitrarily small power loss in the size hypothesis. Unconditionally, our localized estimates imply that, for every $\varepsilon>0$, sets of size at least $p^{7/3+\varepsilon}$ determine $(1+o_\varepsilon(1))p$ distances from almost every pin, together with asymmetric two-set versions.

In DNA-based storage systems, data are retrieved by sequencing molecules sampled from a DNA pool. We study how the way coding redundancy is shared between files affects their expected retrieval times. Our focus lies on the case of two files that are encoded by a systematic linear code over an arbitrary finite field. We consider the conjecture that the sum obtained by dividing each file dimension by its expected retrieval time is at most one whenever the dimension of at least one file is more than one. For this, we develop a geometric view of the retrieval process. As molecules are sampled, we follow the growing span of the corresponding columns of the generator matrix and track how much of this span comes from each file. Among the samples that enlarge the overall span, this lets us compare those that make progress toward recovering both files with those that make progress toward neither. We call a column mixed if the corresponding encoded symbol combines information from both files. In this work, we sharpen a projection bound and use it to control the effect of mixed columns. We prove the conjecture whenever the total information dimension is at least twice the number of mixed columns plus two. For equal-sized files, this allows up to one fewer mixed column than the dimension of either file and extends the previous result for codes with no mixed columns.

The generalized packing--covering conjecture of Elimelech, Firer and Schwartz asserts that, for every linear code $\mathcal{C}$ and every admissible order $t$, the $t$-th generalized Hamming weight $d_t(\mathcal{C})$ and the $t$-th generalized covering radius $R_t(\mathcal{C})$ satisfy $d_t(\mathcal{C})\le 2R_t(\mathcal{C})+2$. We give a computer-assisted proof of the conjecture for every linear code over every finite field and every admissible order. Combining a parity-check reformulation of the conjecture, bounds on the length of putative counterexamples, and successive puncturing arguments, we settle all orders $t\ge 32$ and reduce the remaining orders to finitely many parameter tuples, which we exclude by an exact computer verification.

We establish new bounds for incidences between a point set P and a family L of n-flats in PG(n+d,q). For fixed dimensions, our bound on the incidence discrepancy has an explicit piecewise-linear exponent in $\log_q|L|$, improving the classical estimate of Haemers and the Kong-Tamo bound in specified ranges of the number of flats. Matching constructions establish sharpness up to constant factors in several parameter ranges. The proof is combinatorial and avoids spectral and Fourier analytic methods. As applications, we obtain improved estimates for rich flats and exceptional orthogonal projections, together with stronger lower bounds for Furstenberg sets in certain ranges where the fraction of prescribed directions is small.

We give a new and shorter proof of a quantitative inverse theorem for the Gowers $U^4$-norm in the setting of high-dimensional vector spaces over finite fields.