arXiv++ Combinatorics

We prove a nearly polynomial inverse theorem for the Gowers $U^d$ norm, over finite fields of non-small characteristic, for polynomials of degree $d+1$. The case of degree $d$ was very recently settled by Milićević and Randelović with a fully polynomial bound. We moreover provide a nearly polynomial inverse theorem for homogeneous polynomials of any degree smaller than $2d$.

Fix a finite field $\mathbb F_q$ and let $A\in \mathbb F_q^{n\times n}$ be a uniformly random $n\times n$ matrix over $\mathbb F_q$. The asymptotic distribution of the determinant $\det(A)$ is well-understood, but the asymptotic distribution of the permanent $\operatorname{per}(A)$ is still something of a mystery. In this paper we make a first step in this direction, proving that $\operatorname{per}(A)$ is significantly more uniform than $\det(A)$.

We introduce jacobian graphs, which are explicit families of regular graphs that are spectrally indistinguishable from random graphs, but whose local structure is very different from that of random graphs. The construction relies on the geometric properties of generalized jacobians of curves and on general equidistribution theorems for character sums over finite fields.

We construct linear codes over the finite field Fq from arbitrary simplicial complexes, establishing a connection between topological properties and fundamental coding parameters. First, we study the behaviour of the weights of codewords from a geometric point of view, interpreting them in terms of the combinatorial structure of the associated simplicial complex. This approach allows us to describe the minimum distance of the codes in terms of certain geometric features of the complex. Subsequently, we analyse how various topological operations on simplicial complexes affect the classical parameters of the codes. This study leads to the formulation of geometric criteria that make it possible to explicitly control and manipulate these parameters. Finally, as an application of the obtained results, we construct several families of optimal linear codes over F2 using these geometric methods. Thanks to the previously established geometric properties, we can precisely determine the parameters of these families.

We study Kakeya maximal operators associated with horizontal lines in finite Heisenberg groups $\mathbb H_n(\mathbb F_q)$. For the operator parameterized only by projective horizontal directions, we show that projection to $\mathbb F_q^{2n}$ reduces the problem to the affine finite field Kakeya maximal operator, and we determine the exact $\ell^u \to \ell^v$ growth exponent for all $n$ and all $1 \le u,v \le \infty$. We then introduce a refined-direction operator that also records the central slope of a horizontal line. In $\mathbb H_1(\mathbb F_q)$, we prove the sharp $\ell^2 \to \ell^2$ estimate \[ \|M_{\mathbb H_1}^{\mathrm{rd}}F\|_{\ell^2(D_1)} \lesssim q^{1/2}\|F\|_{\ell^2(\mathbb H_1(\mathbb F_q))}, \] deduce the exact mixed-norm exponent formula, and obtain lower bounds for horizontal Heisenberg Kakeya sets with prescribed refined directions. The argument is purely Fourier-analytic and does not use the polynomial method. An outlook toward a new approach to the affine Kakeya problem in $\mathbb{F}_q^3$ will be discussed in this paper.

This paper is concerned with Turán problems for (alternating) multilinear maps, with the aim of determining the maximum dimension $k$, called the isotropy index, for which every such map has an isotropic subspace of dimension $k$. We extend the formula for the isotropy index of alternating bilinear maps [Buhler, Gupta & Harris, J. Algebra, 1987] to alternating multilinear maps of arbitrary order over algebraically closed fields. In particular, this answers an open question posed in [Qiao, Discrete Anal., 2023]. Moreover, we prove that the same formula holds for sufficiently large finite fields. For multilinear maps, we establish a necessary and sufficient condition for the isotropy index to be at least two. Our results have three implications: (1) For algebraically closed fields, we determine the exact value of the Feldman--Propp number, whose lower bound has been known for over thirty years [Feldman & Propp, Adv. Math., 1992] but whose precise value had remained undetermined. (2) We establish the exact values of both the Turán number and the Gow--Quinlan number for alternating multilinear maps of arbitrary order over algebraically closed fields. Specifically, our result greatly extends the existing formula for the Gow--Quinlan number for alternating bilinear maps [Gow & Quinlan, Linear Multilinear Algebra, 2006]. (3) Bridging the lower bound for the Erdős box problem and tensor analytic rank, we show that there is an obstruction to improving the existing lower bound in [Conlon, Pohoata & Zakharov, Discrete Anal., 2021] via the multilinear method.

Let $\mathrm{PG}(k-1,q)$ be the $(k-1)$-dimensional projective space over the finite field $\mathbb{F}_q$. An arc in $\mathrm{PG}(k-1,q)$ is a set of points with the property that any $k$ of them span the entire space. The notion of pseudo-arc generalizes that of an arc by replacing points with higher-dimensional subspaces. Constructions of pseudo-arcs can be obtained from arcs defined over extension fields; such pseudo-arcs are necessarily Desarguesian, in the sense that all their elements belong to a Desarguesian spread. In contrast, genuinely non-Desarguesian pseudo-arcs are far less understood and have previously been known only in a few sporadic cases. In this paper, we introduce a new infinite family of non-Desarguesian pseudo-arcs consisting of $(h-1)$-dimensional subspaces of $\mathrm{PG}(k-1,q)$ based on the imaginary spaces of a normal rational curve. We determine the size of the constructed pseudo-arcs explicitly and show that, by adding suitable osculating spaces of a normal rational curve defined over a subgeometry, we obtain pseudo-arcs of size $O(q^h)$. As $q$ grows, these sizes asymptotically attain the classical upper bound for pseudo-arcs established in 1971 by J.~A.~Thas, thereby showing that this bound is essentially sharp also in the non-Desarguesian setting. We further investigate the interaction between these new pseudo-arcs and quadrics. While Desarguesian pseudo-arcs from normal rational curve are complete intersections of quadrics, we prove that the new pseudo-arcs are not contained in any quadric of the ambient projective space. Finally, we translate our geometric results into coding theory. We show that the new pseudo-arcs correspond precisely to recent families of additive MDS codes introduced via a polynomial framework. As a consequence of their non-Desarguesian nature, we prove that these codes are not equivalent to linear MDS codes.

We consider the problem of enumerating hypermatrices of format $2 \times (k + 1) \times k$ over a finite field that have nonzero hyperdeterminant and whose nonzero entries are restricted to a plane partition. We conjecture an attractive product formula for the enumeration, and prove it in many cases. In general, we show that the enumeration is given (up to a power of $q - 1$) by a polynomial in $q$ with nonnegative integer coefficients, whose value at $q = 1$ enumerates a natural family of three-dimensional rook placements.

We study compositions of a positive integer $n$ in which the occurrence of even parts larger than a fixed threshold $k$ is controlled. More precisely, for each composition $m=(m_1,\dots,m_r)$ we consider the number of even parts strictly larger than $k$, and we introduce a two-variable generating function that encodes this statistic. We show that this generating function is rational and obtain explicit closed forms, depending on the parity of $k$. As a consequence, we derive exact counting formulas and linear recurrence relations for the number of compositions of $n$ with a prescribed number of even parts greater than $k$. We also obtain explicit formulas for related refined quantities, such as the number of compositions with an even or odd number of such parts, the total number of their occurrences among all compositions of $n$, and positional statistics describing how late the first such part appears in a composition. This combinatorial problem is motivated by questions arising from combinatorial expansions related to zeta functions of algebraic curves over finite fields, although the results of this paper are entirely combinatorial.

For an $n$-vertex graph $G$ with adjacency matrix $A$, the walk matrix $W(G)$ of $G$ is the matrix $[e,Ae,\ldots,A^{n-1}e]$, where $e$ is the all-ones vector. Suppose that $W(G)$ is nonsingular and $p$ is an odd prime such that $W(G)$ has rank $n-1$ over the finite field $\mathbb{Z}/p\mathbb{Z}$. Let $H$ be a graph that is generalized cospectral with $G$, and $Q$ be the corresponding rational regular orthogonal matrix satisfying $Q^\mathsf{T} A(G) Q=A(H)$. We prove that \begin{equation*} v_p(\ell(Q))\le \frac{1}{2}v_p (\det W(G)) \end{equation*} where $\ell(Q)$ is the minimum positive integer $k$ such that $kQ$ is an integral matrix, and $v_p(m)$ is the maximum nonnegative integer $s$ such that $p^s$ divides $m$. This significantly improves upon a recent result of Qiu et al. [Discrete Math. 346 (2023) 113177] stating that $v_p(\ell(Q))\le v_p (\det W(G))-1.$

Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F} _{q} $, and ${V\brack k}$ denote the family of all $k$-dimensional subspaces of $V$. The families $\mathcal{F},\mathcal{G}\subseteq {V\brack k}$ are said to be cross-$t$-intersecting if $\dim(F\cap G)\ge t$ for all $F\in \mathcal{F}, G\in \mathcal{G}$. Two families $\mathcal{F}$ and $\mathcal{G}$ are called $s$-almost cross-$t$-intersecting if each member of $\mathcal{F}$ (resp. $\mathcal{G}$) is $t$-disjoint with at most $s$ members of $\mathcal{G}$ (resp. $\mathcal{F}$). In this paper, we discribe the structure of $s$-almost cross-$t$-intersecting families with maximum product of their sizes. In addition, we prove a stability result.

In this paper, we investigate bi-periodic Padovan and bi-periodic Perrin quaternions over the quaternion algebra Q_Zp. We introduce the bi-periodic Perrin sequence and clarify its structural relationship with the bi-periodic Padovan sequence. By extending these sequences to the quaternion setting, we analyze their norm properties in the modular framework. For suitable choices of twin prime coefficients, we derive explicit criteria characterizing zero divisors and invertible elements in Q_Zp.

We prove that asymptotically almost all vectorial functions over finite fields have trivial extended-affine stabilizers. As a consequence, the number of EA-equivalence classes is asymptotically equal to the naive estimate, namely the total number of functions divided by the size of the EA-group, with vanishing relative error. Furthermore, we derive upper bounds on collision probabilities for both extended-affine and CCZ equivalences. For EA-equivalence, we leverage the trivial-stabilizer result to establish a matching lower bound, yielding a tight asymptotic formula that shows two independently sampled functions are EA-equivalent with super-exponentially small probability. The results validate random sampling strategies for cryptographic primitive design and show that functions with nontrivial EA-symmetries form an exponentially rare subset.

This paper extends the investigation of energy distribution in finite settings, which is related to the results established in [H]. We analyze the distribution of multiplicative energies using Fourier analytical methods and random structures. Our results provide new structural insights into energy phenomena in finite fields, complementing the earlier discrete analysis. Additionally, we provide an estimate for the smallest $k$ such that the $k$-fold product set $A^k$ covers the entire field $\mathbb{F}$, given that $A$ has small doubling.

The Tsetlin library is a random shuffling process on permutations of $n$ letters, where each letter $i$ can be interpreted as a book; book $i$ is brought to the front of the bookshelf with an assigned probability $x_i$. We define a $q$-deformation of the Tsetlin library by replacing the symmetric group action on permutations by the action of the type $A$ Iwahori-Hecke algebra. We compute the stationary distribution and spectrum of this Markov chain by relating it to a Markov chain on complete flags over the finite field vector space $\mathbb{F}_q^n$ and applying techniques from semigroup theory. We also generalize the $q$-Tsetlin library to words (with repeated letters), and compute its stationary distribution and spectrum.

We prove the first inverse theorem for point--sphere incidence bounds over finite fields in dimensions $d \ge 3$, showing that near-extremality forces algebraic rigidity. While sharp upper bounds have been known for over a decade, the structural characterization of configurations that nearly saturate these bounds has remained completely open. Specifically, if a configuration of points $P \subset \mathbb{F}_q^d$ and spheres $\mathscr{S}$ exceeds the random incidence baseline by a factor $K$ in the moderate-sphere regime, then there exists a subset $P' \subset P$ of size \[ |P'| \gtrsim K q^{(d-1)/2} \] contained in the zero set of a polynomial $F$ of degree at most $C K^C$. This yields a one-sided result: we identify necessary algebraic obstructions to extremality, without asserting sufficiency. The proof introduces a new rigidity mechanism for finite-field incidence geometry. Near-extremality manifests as persistent overlap among bisector hyperplanes. We prove that such persistent coincidence cannot occur without forcing the emergence of bounded-complexity algebraic certificates. The argument proceeds by isolating high-overlap layers via energy stratification, followed by a projective polynomial dichotomy applied to the set of normal directions. As applications, we obtain the first inverse-type results for pinned distance and dot-product problems over finite fields, resolving structural questions inaccessible to standard polynomial or Fourier-analytic methods.

A set of points $N\subseteq \mathbb{F}_q^d$ is a Nikodym set if, for any $x\in \mathbb{F}_q^d$, there is a line $\ell$ through $x$ such that $\ell\setminus\{x\}\subseteq N$. We conjecture that $|N|=q^d-O_d(q^{d/(d-1)})$ and prove it under an extra algebraic assumption.

For any integer $d \geq 2$ and prime power $q$, we construct unexpectedly large induced matchings in the point-line incidence graph of $\mathbb{F}_{q}^{d}$ by leveraging a new connection with the Furstenberg-Sárközy problem from arithmetic combinatorics. In particular, we significantly improve the previously well-known baselines when $q$ is prime, showing that $\mathbb{F}_{q}^{2}$ contains matchings of size $q^{1.233}$ and $\mathbb{F}_{q}^{d}$ contains matchings of size $q^{d-o_{d}(1)}$. These results and their proofs have several applications. First, we also obtain new constructions for finite field Nikodym sets in dimension $d \geq 2$, improving recent results of Tao by polynomial factors. For example, when $q$ is prime, we show the existence of Nikodym sets in $\mathbb{F}_q^d$ of size $q^d - q^{d - o_d(1)}$. Second, we construct a new minimal blocking set in $\mathrm{PG}(2,q)$, solving a longstanding problem in finite geometry. Third, we obtain new constructions for the minimal distance problem (in $\mathbb{R}^{2}$ and also in higher dimensions), improving a recent result of Logunov-Zakharov. We also obtain analogous results for general finite fields with large characteristics. In particular, in one of our constructions we introduce a new special set of points inside the norm hypersurface in $\mathbb{F}_{q}^{d}$, which directly generalizes the classical Hermitian unital and which may be of independent interest for applications.

In this paper, we give error bounds for the distance distribution of Reed-Muller codes, extending prior work on the distance distribution of Reed-Solomon codes. This is equivalent to the problem of counting multivariate polynomials over a finite field with prescribed degree, coefficients, and number of zeroes. We provide a solution to this problem using the character sum method, which offers a new unified framework applicable to a broad class of polynomial enumeration problems over finite fields that involve prescribed evaluation vectors. This work effectively makes the first systematic attempt to study the coset weight distribution problem for Reed-Muller codes of fixed degree over large finite fields, which was proposed in MacWilliams and Sloane's 1977 textbook \emph{The Theory of Error Correcting Codes}.

We show that for all integers $2\le s\le t$, any $K_{s,t}$-free subset of $[N]$ with size $Ω(n^{1-1/s})$ must contain a nontrivial solution to every fixed translation-invariant linear equation in at least five variables. This extends earlier results for Sidon sets due to Conlon-Fox-Sudakov-Zhao and Prendiville to the full family of $K_{s,t}$-free sets. We also study the corresponding problem in vector spaces over finite fields. In $\mathbb F_q^n$ we obtain stronger quantitative bounds, including polylogarithmic savings, by combining Fourier-analytic transference with polynomial-method input from the arithmetic cycle-removal lemma of Fox-Lovász-Sauermann.