arXiv++ Combinatorics

We investigate the sharp endpoint extension inequality for the moment curve in finite fields. We determine the optimal constant and characterize the maximizers in two complementary regimes: (i) low dimensions $d\leq 20$; (ii) large field cardinality $q\geq \frac{d(d-1)}{2 \log 6} + \frac{(2d-1)}{3}$. Our proof strategy relies on an intriguing interplay between analysis, algebra and combinatorics.

We study zeros of polynomials in the multivariate skew polynomial ring $D[x_1,\ldots,x_n; σ]$, where $σ$ is an automorphism of a division ring $D$. We prove a generalization of Alon's celebrated Combinatorial Nullstellensatz for such polynomials. In the case where $D$ is a finite field, we prove skew analogues of the Chevalley--Warning theorem, Ax's Lemma, and the weak case of Terjanian's Finitesatz.

We derive explicit formulas for the proportion of derangements and of derangements of $p$-power order in the affine unitary group $AU_m(q)$ over the finite field $\mathbb{F}_{q^2}$ of characteristic $p$. Both formulas rely on a result of independent interest concerning integer partitions: we obtain a generating function for partitions $λ=(λ_1, \dots, λ_m)$ into $m$ parts, for which $λ_1=1$ or there exists $k \in \{2, \dots,m\}$ such that $λ_{k-1}>λ_k=k$. Moreover, when $p$ is odd, we conjecture remarkably simple formulas for the proportions of derangements in the finite affine symplectic group $ASp_{2m}(q)$, and in the affine orthogonal groups $AO_{2m+1}(q)$ and $AO^{\pm}_{2m}(q)$, and we also propose conjectures for the proportions of derangements of $p$-power order. We further reduce the proofs of these conjectures to establishing three $q$-polynomial identities.

Inspired by the seminal work of André-Louis Cholesky -- whose contributions remain crucial in broader sciences even after more than a century -- Cooper, Hanna and Whitlatch (2024) developed a theory of positive matrices over finite fields, and Khare and Vishwakarma (2025) described a general Cholesky factorization for a dense sub-family of the cone of Hermitian matrices over real/complex fields, whose leading principal minors (LPM) are nonzero. Building on this, we develop a parallel theory within the finite field setting. Specifically $(i)$ we extend the general Cholesky factorization to the LPM cone over finite fields which has asymptotic density $1$. We show that $(ii)$ this factorization is compatible with the entrywise Frobenius map, recently studied in the context of positivity preservers by Guillot, Gupta, Vishwakarma, and Yip [J. Algebra, 2025]. We also $(iii)$ leverage the Cholesky-structures to define meaningful group operations on the matrix cone, and as an application $(iv)$ enumerate sub-cones of LPM matrices using our general Cholesky factorizations.

The characterization of permutations over finite fields is an important topic in number theory with a long-standing history. This paper presents a systematic investigation of low-degree bivariate polynomial systems $F=(f_1(x,y),f_2(x,y))$ defined over $\mathbb{F}_{q}^2$. Specifically, we employ Hermite's Criterion to completely classify bivariate quadratic permutation polynomial systems, while utilizing the theory of permutation rational functions to give a full classification of bivariate 3-homogeneous permutation polynomial systems. Furthermore, as an application of our findings, we provide an explicit characterization of the permutation binomials of the form $x^3+ax^{2q+1}$ over $\mathbb{F}_{q^2}$ with characteristic $p\neq3$, thereby resolving a significant special case within this classical research domain.

In this note, we consider Szemerédi's theorem on $k$-term arithmetic progressions over finite fields $\mathbb{F}_p^n$, where the allowed set $S$ of common differences in these progressions is chosen randomly of fixed size. Combining a generalization of an argument of Altman with Moshkovitz--Zhu's bounds for the partition rank of a tensor in terms of its analytic rank, we (slightly) improve the best known lower bounds (due to Briët) on the size $|S|$ required for Szemerédi's theorem with difference in $S$ to hold asymptotically almost surely.

We propose a family of quantum algorithms for estimating Gowers uniformity norms $ U^k $ over finite abelian groups and demonstrate their applications to testing polynomial structure and counting arithmetic progressions. Building on recent work for estimating the $ U^2 $-norm over $ \mathbb{F}_2^n $, we generalize the construction to arbitrary finite fields and abelian groups for higher values of $ k $. Our algorithms prepare quantum states encoding finite differences and apply Fourier sampling to estimate uniformity norms, enabling efficient detection of structural correlations. As a key application, we show that for certain degrees $ d = 4, 5, 6 $ and under appropriate conditions on the underlying field, there exist quasipolynomial-time quantum algorithms that distinguish whether a bounded function $ f(x) $ is a degree-$ d $ phase polynomial or far from any such structure. These algorithms leverage recent inverse theorems for Gowers norms, together with amplitude estimation, to reveal higher-order algebraic correlations. We also develop a quantum method for estimating the number of 3-term arithmetic progressions in Boolean functions $ f : \mathbb{F}_p^n \to \{0,1\} $, based on estimating the $ U^2 $-norm. Though not as query-efficient as Grover-based counting, our approach provides a structure-sensitive alternative aligned with additive combinatorics. Finally, we demonstrate that our techniques remain valid under certain quantum noise models, due to the shift-invariance of Gowers norms. This enables noise-resilient implementations within the NISQ regime and suggests that Gowers-norm-based quantum algorithms may serve as robust primitives for quantum property testing, learning, and pseudorandomness.

Linear sets over finite fields are central objects in finite geometry and coding theory, with deep connections to structures such as semifields, blocking sets, KM-arcs, and rank-metric codes. Among them, $i$-clubs, a class of linear sets where all but one point (which has weight $i$) have weight one, have been extensively studied in the projective line but remain poorly understood in higher-dimensional projective spaces. In this paper, we investigate the geometry and algebraic structure of $i$-clubs in projective spaces. We establish upper bounds on their rank by associating them with rank-metric codes and analyzing their parameters via MacWilliams identities. We also provide explicit constructions of $i$-clubs that attain the maximum rank for $i \geq m/2$, and we demonstrate the existence of non-equivalent constructions when $i \leq m-2$. The special case $i = m-1$ is fully classified. Furthermore, we explore the rich geometry of three-weight rank-metric codes, offering new constructions from clubs and partial classification results.

We consider chaining multiplicative-inverse operations in finite fields under alternating polynomial bases. When using two distinct polynomial bases to alternate the inverse operation we obtain a partition of $\mathbb F_{p^n}\setminus \mathbb F_p$ into disjoint cycles of even length. This allows a natural interpretation of the cycles as permutation cycles. Finally, we explore chaining under more than two polynomial bases.

The coverage depth problem in DNA data storage is about minimizing the expected number of reads until all data is recovered. When they exist, MDS codes offer the best performance in this context. This paper focuses on the scenario where the base field is not large enough to allow the existence of MDS codes. We investigate the performance for the coverage depth problem of codes defined over a small finite field, providing closed formulas for the expected number of reads for various code families. We also compare the results with the theoretical bounds in asymptotic regimes. The techniques we apply range from probability, to duality theory and combinatorics.

Let $\barΓ$ be the point-hyperplane geometry of a projective space $\mathrm{PG(V)},$ where $V$ is a $(n+1)$-dimensional vector space over a finite field $\mathbb{F}_q$ of order $q.$ Suppose that $σ$ is an automorphism of $\mathbb{F}_q$ and consider the projective embedding $\varepsilon_σ$ of $\barΓ$ into the projective space $\mathrm{PG}(V\otimes V^*)$ mapping the point $([x],[ξ])\in \barΓ$ to the projective point represented by the pure tensor $x^σ\otimes ξ$, with $ξ(x)=0.$ In [I. Cardinali, L. Giuzzi, Linear codes arising from the point-hyperplane geometry -- part I: the Segre embedding (Jun. 2025). arXiv:2506.21309, doi:10.48550/ARXIV.2506.21309] we focused on the case $σ=1$ and we studied the projective code arising from the projective system $Λ_1=\varepsilon_{1}(\barΓ).$ Here we focus on the case $σ\not=1$ and we investigate the linear code ${\mathcal C}(Λ_σ)$ arising from the projective system $Λ_σ=\varepsilon_σ(\barΓ).$ In particular, after having verified that $\mathcal{C}( Λ_σ)$ is a minimal code, we determine its parameters, its minimum distance as well as its automorphism group. We also give a (geometrical) characterization of its minimum and second lowest weight codewords and determine its maximum weight when $q$ and $n$ are both odd.

Katz and Zahl used a planebrush argument to prove that Kakeya sets in $\mathbb{R}^4$ have Hausdorff dimension at least 3.059. In the special case when the Kakeya set is plany, their argument gives a better lower bound of 10/3. We give a nontechnical exposition of the Katz-Zahl argument for plany Kakeya sets in the finite field setting.

These days, post-quantum cryptography based on the lattice isomorphism problem has been proposed. Ducas-Gibbons introduced the hull attack, which solves the lattice isomorphism problem for lattices obtained by Construction A from an LCD code over a finite field. Using this attack, they showed that the lattice isomorphism problem for such lattices can be reduced to the lattice isomorphism problem with the trivial lattice $\mathbb{Z}^n$ and the graph isomorphism problem. While the previous work by Ducas-Gibbons only considered lattices constructed by a code over a \textit{finite field}, this paper considers lattices constructed by a code over a \textit{finite ring} $\mathbb{Z}/k\mathbb{Z}$, which is a more general case. In particular, when $k$ is odd, an odd prime power, or not divisible by $4$, we show that the lattice isomorphism problem can be reduced to the lattice isomorphism problem for $\mathbb{Z}^n$ and the graph isomorphism problem.

In the affine space $\mathbb{F}_q^n$ over the finite field of order $q$, a point set $S$ is said to be $(d,k,r)$-evasive if the intersection between $S$ and any variety, of dimension $k$ and degree at most $d$, has cardinality less than $r$. As $q$ tends to infinity, the size of a $(d,k,r)$-evasive set in $\mathbb{F}_q^n$ is at most $O\left(q^{n-k}\right)$ by a simple averaging argument. We exhibit the existence of such evasive sets of sizes at least $Ω\left(q^{n-k}\right)$ for much smaller values of $r$ than previously known constructions, and establish an enumerative upper bound $2^{O(q^{n-k})}$ for the total number of such evasive sets. The existence result is based on our study of twisted varieties. In the projective space $\mathbb{P}^n$ over an algebraically closed field, a variety $V$ is said to be $d$-twisted if the intersection between $V$ and any variety, of dimension $n - \dim(V)$ and degree at most $d$, has dimension zero. We prove an upper bound on the smallest possible degree of twisted varieties which is best possible in a mild sense. The enumeration result includes a new technique for the container method which we believe is of independent interest. To illustrate the potential of this technique, we give a simpler proof of a result by Chen--Liu--Nie--Zeng that characterizes the maximum size of a collinear-triple-free subset in a random sampling of $ \mathbb{F}_q^2$ up to polylogarithmic factors.

We characterize real and complex functions which, when applied entrywise to square matrices, yield a positive definite matrix if and only if the original matrix is positive definite. We refer to these transformations as sign preservers. Compared to classical work on entrywise preservers of Schoenberg and others, we completely resolve this problem in the harder fixed dimensional setting, extending a similar recent classification of sign preservers obtained for matrices over finite fields. When the matrix dimension is fixed and at least $3$, we show that the sign preservers are precisely the positive scalar multiples of the continuous automorphisms of the underlying field. This is in contrast to the $2 \times 2$ case where the sign preservers are extensions of power functions. These results are built on our classification of $2 \times 2$ entrywise positivity preservers over broader complex domains. Our results yield a complementary connection with a work of Belton, Guillot, Khare, and Putinar (2023) on negativity-preserving transforms. We also extend our sign preserver results to matrices with a structure of zeros, as studied by Guillot, Khare, and Rajaratnam for the entrywise positivity preserver problem. Finally, in the spirit of sign preservers, we address a natural extension to monotone maps, classically studied by Loewner and many others.

We introduce Multiplicative Modular Nim (MuM), a variant of Nim in which the traditional nim-sum is replaced by heap-size multiplication modulo m. We establish a complete theory for this game, beginning with a direct, Bouton-style analysis for prime moduli. Our central result is an analogue of the Sprague-Grundy theorem, where we define a game-theoretic value, the mumber, for each position via a multiplicative mex recursion. We prove that these mumbers are equivalent to the heap-product modulo m, and show that for disjunctive sums of games, they combine via modular multiplication in contrast to the XOR-sum of classical nimbers. For composite moduli, we show that MuM decomposes via the Chinese Remainder Theorem into independent subgames corresponding to its prime-power factors. We extend the game to finite fields F(pn), motivated by the pedagogical need to make the algebra of the AES S-box more accessible. We demonstrate that a sound game in this domain requires a Canonical Heap Model to resolve the many-to-one mapping from integer heaps to field elements. To our knowledge, this is the first systematic analysis of a multiplicative modular variant of Nim and its extension into a complete, non-additive combinatorial game algebra.

Rotary maps (orientably regular maps) are highly symmetric graph embeddings on orientable surfaces. This paper classifies all rotary maps whose underlying graphs are Praeger-Xu graphs, denoted $\operatorname{C}(p,r,s)$, for any odd prime $p$ that does not divide $r$. Our main result establishes a one-to-one correspondence between the isomorphism classes of these maps and the multiplicity-free representations of the dihedral group $\operatorname{D}_{2r}$ over the finite field $\mathbb{F}_p$. This work extends a recent classification for the case where $p=2$.

Let $V$ be a vector space over the finite field $\mathbb{F}_q$ with $q$ elements and $Λ$ be the image of the Segre geometry $\mathrm{PG}(V)\otimes\mathrm{PG}(V^*)$ in $\mathrm{PG}(V\otimes V^*)$. Consider the subvariety $Λ_{1}$ of $Λ$ represented by the pure tensors $x\otimes ξ$ with $x\in V$ and $ξ\in V^*$ such that $ξ(x)=0$. Regarding $Λ_1$ as a projective system of $\mathrm{PG}(V\otimes V^*)$, we study the linear code $\mathcal{C}(Λ_1)$ arising from it. The code $\mathcal{C}(Λ_1)$ is minimal code and we determine its basic parameters, itsfull weight list and its linear automorphism group. We also give a geometrical characterization of its minimum and second lowest weight codewords as well as of some of the words of maximum weight.

The additive closedness in the subset of an additive group is termed as r-value. The nature of closedness in different subsets of fixed size is observed as a spectrum of r-values. We enumerate r-values of subsets in finite fields of characteristic 2 and represent them as the spectrum of values. Based on these values the subsets can be further studied as partial Steiner triple systems, sum-free sets, Sidon sets, and Schure triples.

Zauner's conjecture concerns the existence of $d^2$ equiangular lines in $\mathbb{C}^d$; such a system of lines is known as a SIC. In this paper, we construct infinitely many new SICs over finite fields. While all previously known SICs exhibit Weyl--Heisenberg symmetry, some of our new SICs exhibit trivial automorphism groups. We conjecture that such \textit{totally asymmetric} SICs exist in infinitely many dimensions in the finite field setting.