arXiv++ Combinatorics

After extending the classic notion of a tight Heffter array H$(m,n)$ to any group of order $2mn+1$, we give direct constructions for elementary abelian tight Heffter arrays, hence in particular for prime tight Heffter arrays. If $q=2mn+1$ is a prime power, we say that an elementary abelian H$(m,n)$ is ``over $\mathbb{F}_q$" since, for its construction, we exploit both the additive and multiplicative structure of the field of order $q$. We show that in many cases a direct construction of an H$(m,n)$ over $\mathbb{F}_q$, say $A$, can be obtained very easily by imposing that $A$ has rank 1 and, possibly, a rich group of {\it multipliers}, that are elements $u$ of $\mathbb{F}_q$ such that $u A=A$ up to a permutation of rows and columns. An H$(m,n)$ over $\mathbb{F}_q$ will be said {\it optimal} if the order of its group of multipliers is the least common multiple of the odd parts of $m$ and $n$, since this is the maximum possible order for it. The main result is an explicit construction of a rank-one H$(m,n)$ -- reaching almost always the optimality -- for all admissible pairs $(m,n)$ for which there exist two distinct odd primes $p$, $p'$ dividing $m$ and $n$, respectively.

For any finite field $\mathbb{F}$ and any positive integer $n$ we count the number of monic polynomials of degree $n$ over $\mathbb{F}$ with nonzero constant coefficient and a self-reciprocal factor of any specified degree. An application is given for systems of linear equations over $\mathbb{F}$ of index $2$.

The Additive-Multiplicative Matrix Channel (AMMC) was introduced by Silva, Kschischang and Kötter in 2010 to model data transmission using random linear network coding. The input and output of the channel are $n\times m$ matrices over a finite field $\mathbb{F}_q$. On input the matrix $X$, the channel outputs $Y=A(X+W)$ where $A$ is a uniformly chosen $n\times n$ invertible matrix over $\mathbb{F}_q$ and where $W$ is a uniformly chosen $n\times m$ matrix over $\mathbb{F}_q$ of rank $t$. Silva \emph{et al} considered the case when $2n\leq m$. They determined the asymptotic capacity of the AMMC when $t$, $n$ and $m$ are fixed and $q\rightarrow\infty$. They also determined the leading term of the capacity when $q$ is fixed, and $t$, $n$ and $m$ grow linearly. We generalise these results, showing that the condition $2n\geq m$ can be removed. (Our formula for the capacity falls into two cases, one of which generalises the $2n\geq m$ case.) We also improve the error term in the case when $q$ is fixed.

We study the Vapnik-Chervonenkis (VC) dimension of the set of quadratic residues (i.e. squares) in finite fields, $\mathbb F_q$, when considered as a subset of the additive group. We conjecture that as $q \to \infty$, the squares have the maximum possible VC-dimension, viz. $(1+o(1))\log_2 q$. We prove, using the Weil bound for multiplicative character sums, that the VC-dimension is $\geq (\frac{1}{2} + o(1))\log_2 q$. We also provide numerical evidence for our conjectures. The results generalize to multiplicative subgroups $Γ\subseteq \mathbb F_q^\times$ of bounded index.

Motivated by the well-known Paley graphs over finite fields and their generalizations, in this paper we explore a natural multiplicative-additive analogue of such graphs arising from vector spaces over finite fields. Namely, if $n\ge 2$ and $U\subsetneq \mathbb F_{q^n}$ is an $\mathbb F_q$-vector space, $G_{U}$ is the (undirected) graph with vertex set $V(G_U)=\mathbb F_{q^n}$ and edge set $E(G_U)=\{(a, b)\in \mathbb F_{q^n}^2\,|\, a\ne b, ab\in U\}$. We describe the structure of an arbitrary maximal clique in $G_U$ and provide bounds on the clique number $ω(G_U)$ of $G_U$. In particular, we compute the largest possible value of $ω(G_U)$ for arbitrary $q$ and $n$. Moreover, we obtain the exact value of $ω(G_U)$ when $U\subsetneq \mathbb F_{q^n}$ is any $\mathbb F_q$-vector space of dimension $d_U\in \{1, 2, n-1\}$.

We continue developing the theory around the twin-width of totally ordered binary structures, initiated in the previous paper of the series. We first introduce the notion of parity and linear minors of a matrix, which consists of iteratively replacing consecutive rows or consecutive columns with a linear combination of them. We show that a matrix class has bounded twin-width if and only if its linear-minor closure does not contain all matrices. We observe that the fixed-parameter tractable algorithm for first-order model checking on structures given with an $O(1)$-sequence (certificate of bounded twin-width) and the fact that first-order transductions of bounded twin-width classes have bounded twin-width, both established in Twin-width I, extend to first-order logic with modular counting quantifiers. We make explicit a win-win argument obtained as a by-product of Twin-width IV, and somewhat similar to bidimensionality, that we call rank-bidimensionality. Armed with the above-mentioned extension to modular counting, we show that the twin-width of the product of two conformal matrices $A, B$ over a finite field is bounded by a function of the twin-width of $A$, of $B$, and of the size of the field. Furthermore, if $A$ and $B$ are $n \times n$ matrices of twin-width $d$ over $\mathbb F_q$, we show that $AB$ can be computed in time $O_{d,q}(n^2 \log n)$. We finally present an ad hoc algorithm to efficiently multiply two matrices of bounded twin-width, with a single-exponential dependence in the twin-width bound: If the inputs are given in a compact tree-like form, called twin-decomposition (of width $d$), then two $n \times n$ matrices $A, B$ over $\mathbb F_2$, a twin-decomposition of $AB$ with width $2^{d+o(d)}$ can be computed in time $4^{d+o(d)}n$ (resp. $4^{d+o(d)}n^{1+\varepsilon}$), and entries queried in doubly-logarithmic (resp. constant) time.

We derive Maximal Kakeya estimates for functions over $\mathbb{Z}/N\mathbb{Z}$ proving the Maximal Kakeya conjecture for $\mathbb{Z}/N\mathbb{Z}$ for general $N$ as stated by Hickman and Wright [HW18]. The proof involves using polynomial method and linear algebra techniques from [Dha21, Ars21a, DD21] and generalizing a probabilistic method argument from [DD22]. As another application we give lower bounds for the size of $(m,ε)$-Kakeya sets over $\mathbb{Z}/N\mathbb{Z}$. Using these ideas we also give a new, simpler, and direct proof for Maximal Kakeya bounds over finite fields (which were first proven in [EOT10]) with almost sharp constants.

We support some evidence that a long additive MDS code over a finite field must be equivalent to a linear code. More precisely, let $C$ be an $\mathbb F_q$-linear $(n,q^{hk},n-k+1)_{q^h}$ MDS code over $\mathbb F_{q^h}$. If $k=3$, $h \in \{2,3\}$, $n > \max \{q^{h-1},h q -1\} + 3$, and $C$ has three coordinates from which its projections are equivalent to linear codes, we prove that $C$ itself is equivalent to a linear code. If $k>3$, $n > q+k$, and there are two disjoint subsets of coordinates whose combined size is at most $k-2$ from which the projections of $C$ are equivalent to linear codes, we prove that $C$ is equivalent to a code which is linear over a larger field than $\mathbb F_q$.

In this paper we contribute towards the classification of partially symmetric tensors in $\mathbb{F}_q^3\otimes S^2\mathbb{F}_q^3$, $q$ even, by classifying planes which intersect the Veronese surface $\mathcal{V}(\mathbb{F}_q)$ in at least one point, under the action of $K\leq \rm{PGL}(6,q)$, $K\cong \rm{PGL}(3,q)$, stabilising the Veronese surface. We also determine a complete set of geometric and combinatorial invariants for each of the orbits.

In 2009, Etzion and Siberstein proposed a conjecture on the largest dimension of a linear space of matrices over a finite field in which all nonzero matrices are supported on a Ferrers diagram and have rank bounded below by a given integer. Although several cases of the conjecture have been established in the past decade, proving or disproving it remains to date a wide open problem. In this paper, we take a new look at the Etzion-Siberstein Conjecture, investigating its connection with rook theory. Our results show that the combinatorics behind this open problem is closely linked to the theory of $q$-rook polynomials associated with Ferrers diagrams, as defined by Garsia and Remmel. In passing, we give a closed formula for the trailing degree of the $q$-rook polynomial associated with a Ferrers diagram in terms of the cardinalities of its diagonals. The combinatorial approach taken in this paper allows us to establish some new instances of the Etzion-Silberstein Conjecture using a non-constructive argument. We also solve the asymptotic version of the conjecture over large finite fields, answering a current open question.

Let $p$ be a prime and let $S$ be a non-empty subset of $\mathbb{F}_p$. Generalizing a result of Green and Tao on the equidistribution of high-rank polynomials over finite fields, we show that if $P: \mathbb{F}_p^n \rightarrow \mathbb{F}_p$ is a polynomial and its restriction to $S^n$ does not take each value with approximately the same frequency, then there exists a polynomial $P_0: \mathbb{F}_p^n \rightarrow \mathbb{F}_p$ that vanishes on $S^n$, such that the polynomial $P-P_0$ has bounded rank. Our argument uses two black boxes: that a tensor with high partition rank has high analytic rank and that a tensor with high essential partition rank has high disjoint partition rank.

We prove an analogue of Bonami's (hypercontractive) lemma for complex-valued functions on $\mathcal{L}(V,W)$, where $V$ and $W$ are vector spaces over a finite field. This inequality is useful for functions on $\mathcal{L}(V,W)$ whose `generalised influences' are small, in an appropriate sense. It leads to a significant shortening of the proof of a recent seminal result by Khot, Minzer and Safra that pseudorandom sets in Grassmann graphs have near-perfect expansion, which (in combination with the work of Dinur, Khot, Kindler, Minzer and Safra) implies the 2-2 Games conjecture (the variant, that is, with imperfect completeness).

Given a prime $p$ and a positive integer $k$, let $\mathrm{M}_{n}(\mathbb{Z}/p^{k}\mathbb{Z})$ be the ring of $n \times n$ matrices over $\mathbb{Z}/p^{k}\mathbb{Z}$. We consider the number of solutions $X \in \mathrm{M}_{n}(\mathbb{Z}/p^{k}\mathbb{Z})$ to the polynomial equation $P(X) = 0$, where $P(t)$ is a monic polynomial in $(\mathbb{Z}/p^{k}\mathbb{Z})[t]$ whose reduction modulo $p$ is square-free over the finite field $\mathbb{F}_{p}$ of $p$ elements. Noting that $P(X) = 0$ if and only if $\mathrm{cok}(P(X)) \simeq (\mathbb{Z}/p^{k}\mathbb{Z})^{n}$, we give a conjectural generalization of counting solutions to $P(X) = 0$ as the distribution of the cokernel $\mathrm{cok}(P(X))$ of $P(X)$ up to isomorphisms, where $X$ is a uniform random matrix in $\mathrm{M}_{n}(\mathbb{Z}/p^{k}\mathbb{Z})$. This distribution involves an explicit formula when we fix the residue class of $X$ modulo $p$. We prove this conjecture for the special case when the image of $P(t)$ in $\mathbb{F}_{p}[t]$ modulo $p$ is irreducible. We explain how the distribution we obtain is closely related to the Cohen-Lenstra distribution. Our proof involves algebraic and combinatorial arguments in linear algebra over $\mathbb{Z}/p^{k}\mathbb{Z}$ and builds upon a previous work of Cheong and Kaplan.

The $Δ$-Springer varieties are a generalization of Springer fibers introduced by Levinson, Woo, and the author that have connections to the Delta Conjecture from algebraic combinatorics. We prove a positive Hall-Littlewood expansion formula for the graded Frobenius characteristic of the cohomology ring of a $Δ$-Springer variety. We do this by interpreting the Frobenius characteristic in terms of counting points over a finite field $\mathbb{F}_q$ and partitioning the $Δ$-Springer variety into copies of Springer fibers crossed with affine spaces. As a special case, our proof method gives a geometric meaning to a formula of Haglund, Rhoades, and Shimozono for the Hall-Littlewood expansion of the symmetric function in the Delta Conjecture at $t=0$.

Papadima and Suciu proved an inequality between the ranks of the cohomology groups of the Aomoto complex with finite field coefficients and the twisted cohomology groups, and conjectured that they are actually equal for certain cases associated with the Milnor fiber of the arrangement. Recently, an arrangement (the icosidodecahedral arrangement) with the following two peculiar properties was found: (i) the strict version of Papadima-Suciu's inequality holds, and (ii) the first integral homology of the Milnor fiber has a non-trivial $2$-torsion. In this paper, we investigate the relationship between these two properties for double covering spaces. We prove that (i) and (ii) are actually equivalent.

We show the maximality of subfields as cliques in a special family of Cayley graphs defined on the additive group of a finite field. In particular, this confirms a conjecture of Yip on generalized Paley graphs.

In recent years, many useful applications of the polynomial method have emerged in finite geometry. Indeed, algebraic curves, especially those defined by Rédei-type polynomials, are powerful in studying blocking sets. In this paper, we reverse the engine and study when blocking sets can arise from rational points on plane curves over finite fields. We show that irreducible curves of low degree cannot provide blocking sets and prove more refined results for cubic and quartic curves. On the other hand, using tools from number theory, we construct smooth plane curves defined over $\mathbb{F}_p$ of degree at most $4p^{3/4}+1$ whose points form blocking sets.

Let $V$ be a finite dimensional vector space equipped with a non-degenerate Hermitian form over a field $\mathbb{K}$. Let $\mathcal{G}(V)$ be the graph with vertex set the $1$-dimensional non-degenerate subspaces of $V$ and adjacency relation given by orthogonality. We give a complete description of when $\mathcal{G}(V)$ is connected in terms of the dimension of $V$ and the size of the ground field $\mathbb{K}$. Furthermore, we prove that if $\dim(V) > 4$ then the clique complex $\mathcal{F}(V)$ of $\mathcal{G}(V)$ is simply connected. For finite fields $\mathbb{K}$, we also compute the eigenvalues of the adjacency matrix of $\mathcal{G}(V)$. Then by Garland's method, we conclude that $\tilde{H}_m(\mathcal{F}(V);\mathbb{k}) = 0$ for all $0\leq m\leq \dim(V)-3$, where $\mathbb{k}$ is a field of characteristic $0$, provided that $\dim(V)^2 \leq |\mathbb{K}|$. Under these assumptions, we deduce that the barycentric subdivision of $\mathcal{F}(V)$ deformation retracts to the order complex of the certain rank selection of $\mathcal{F}(V)$ which is Cohen-Macaulay over $\mathbb{k}$. Finally, we apply our results to the Quillen poset of elementary abelian $p$-subgroups of a finite group and to the study of geometric properties of the poset of non-degenerate subspaces of $V$ and the poset of orthogonal decompositions of $V$.

Let $\mathbb{F}_q$ be a finite field of order $q$ and $E$ be a set in $\mathbb{F}_q^d$. The distance set of $E$ is defined by $Δ(E):=\{\lVert x-y \rVert :x,y\in E\}$, where $\lVert α\rVert=α_1^2+\dots+α_d^2$. Iosevich, Koh and Parshall (2018) proved that if $d\geq 2$ is even and $|E|\geq 9q^{d/2}$, then $$\mathbb{F}_q= \frac{Δ(E)}{Δ(E)}=\left\{\frac{a}{b}: a\in Δ(E),\ b\in Δ(E)\setminus\{0\} \right\}.$$ In other words, for each $r\in \mathbb{F}_q^*$ there exist $(x,y)\in E^2$ and $(x',y')\in E^2$ such that $\lVert x-y\rVert\neq0$ and $\lVert x'-y' \rVert=r\lVert x-y\rVert$. Geometrically, this means that if the size of $E$ is large, then for any given $r \in \mathbb{F}_q^*$ we can find a pair of edges in the complete graph $K_{|E|}$ with vertex set $E$ such that one of them is dilated by $r\in \mathbb{F}_q^*$ with respect to the other. A natural question arises whether it is possible to generalize this result to arbitrary subgraphs of $K_{|E|}$ with vertex set $E$ and this is the goal of this paper. In this paper, we solve this problem for $k$-paths $(k\geq 2)$, simplexes and 4-cycles. We are using a mix of tools from different areas such as enumerative combinatorics, group actions and Turán type theorems.

An unresolved conjecture by Graham Higman states that for all $n\geq 1$ the number of conjugacy classes of the group of $n \times n$ unitriangular matrices with entries in the finite field $\mathbb{F}_q$ is a polynomial in $q$. In this paper we introduce a new quiver generalization of the conjecture. Motivated by this generalization, we prove that certain operations on quivers leave the relevant counts unchanged. Based on these invariance properties, we solve the introduced conjecture for quivers containing no path of length exceeding two, providing explicit formulas.