arXiv++ Combinatorics

We study an analogue of the Ramsey multiplicity problem for additive structures, in particular establishing the minimum number of monochromatic 3-APs in 3-colorings of $\mathbb{F}_3^n$ as well as obtaining the first non-trivial lower bound for the minimum number of monochromatic 4-APs in 2-colorings of $\mathbb{F}_5^n$. The former parallels results by Cumings et al (2013) in extremal graph theory and the latter improves upon results of Saad and Wolf (2017) The lower bounds are notably obtained by extending the flag algebra calculus of Razborov (2007) to additive structures in vector spaces over finite fields.

The polynomial Szemerédi theorem implies that, for any $δ\in (0,1)$, any family $\{P_1,\ldots, P_m\} \subset \mathbb{Z}[y]$ of nonconstant polynomials with constant term zero, and any sufficiently large $N$, every subset of $\{1,\ldots, N\}$ of cardinality at least $δN$ contains a nontrivial configuration of the form $\{x,x+P_1(y),\ldots, x+P_m(y)\}$. When the polynomials are assumed independent, one can expect a sharper result to hold over finite fields, special cases of which were proven recently, culminating with arXiv:1802.02200, which deals with the general case of independent polynomials. One goal of this article is to explain these theorems as the result of joint ergodicity in the presence of asymptotic total ergodicity. Guided by this concept, we establish, over general finite commutative rings, a version of the polynomial Szemerédi theorem for independent polynomials $\{P_1,\ldots, P_m\} \subset \mathbb{Z}[y_1,\ldots, y_n]$, deriving new combinatorial consequences, such as the following. Let $\mathcal R$ be a collection of finite commutative rings subject to a mild condition on their torsion. There exists $γ\in (0,1)$ such that, for every $R \in \mathcal R$, every subset $A \subset R$ of cardinality at least $|R|^{1-γ}$ contains a nontrivial configuration $\{x,x+P_1(y),\ldots, x+P_m(y)\}$ for some $(x,y) \in R \times R^n$, and, moreover, for any subsets $A_0,\ldots, A_m \subset R$ such that $|A_0|\cdots |A_m| \geq |R|^{(m+1)(1-γ)}$, there is a nontrivial configuration $(x, x+P_1(y), \ldots, x+P_m(y)) \in A_0\times \cdots \times A_m$. The fact that general rings have zero divisors is the source of many obstacles, which we overcome; for example, by studying character sums, we develop a bound on the number of roots of an integer polynomial over a general finite commutative ring, a result which is of independent interest.

Let $X$ be a finite set in the Euclidean space $\mathbb{R}^d$. If the squared distance between any two distinct points in $X$ is an odd integer, then the cardinality of $X$ is bounded above by $d+2$, as shown by Rosenfeld (1997) or Smith (1995). They proved that there exists a $(d+2)$-point set $X$ in $\mathbb{R}^d$ having only odd integral squared distances if and only if $d+2$ is congruent to $0$ modulo $4$. The distances can be interpreted as an element of the finite field $\mathbb{Z}/2\mathbb{Z}$. We generalize this result for a local ring $(A_\mathfrak{p},\mathfrak{p}A_\mathfrak{p})$ as follows. Let $K$ be an algebraic number field that can be embedded into $\mathbb{R}$. Fix an embedding of $K$ into $\mathbb{R}$, and $K$ is interpreted as a subfield of $\mathbb{R}$. Let $A=O_K$ be the ring of integers of $K$, and $\mathfrak{p}$ a prime ideal of $O_K$. Let $(A_\mathfrak{p},\mathfrak{p}A_\mathfrak{p})$ be the local ring obtained from the localization $(A\setminus \mathfrak{p})^{-1} A$, which is interpreted as a subring of $\mathbb{R}$. If the squared distances of $X\subset \mathbb{R}^d$ are in $A_\mathfrak{p}$ and each squared distance is congruent to some constant $k \not\equiv 0 $ modulo $\mathfrak{p} A_\mathfrak{p}$, then $|X| \leq d+2$, as shown by Nozaki (2023). In this paper, we prove that there exists a set $X\subset \mathbb{R}^d$ attaining the upper bound $|X| \leq d+2$ if and only if $d+2$ is congruent to $0$ modulo $4$ when the finite field $A_\mathfrak{p}/ \mathfrak{p} A_\mathfrak{p}$ is of characteristic 2, and $d+2$ is congruent to $0$ modulo $p$ when $A_\mathfrak{p}/ \mathfrak{p} A_\mathfrak{p}$ is of characteristic $p$ odd. We also provide examples attaining this upper bound.

Let $G$ be a graph and $U\subset V(G)$ be a set of vertices. For each $v\in U$, let $h_v\colon U\to \{0, 1\}$ be the function defined by \[h_v(u)=\begin{cases} &1 ~\mbox{if}~u\sim v, u\in U\\&0 ~\mbox{if}~u\not\sim v, u\in U\end{cases},\] and set $\mathcal{H}(U):=\{h_v\colon v\in U\}$. The first purpose of this paper is to study the following question: What families of graphs $G$ and what conditions on $U$ do we need so that the VC-dimension of $\mathcal{H}(U)$ can be determined? We show that if $G$ is a pseudo-random graph, then under some mild conditions, the VC dimension of $\mathcal{H}(U)$ can be bounded from below. Specific cases of this theorem recover and improve previous results on VC-dimension of functions defined by the well-studied distance and dot-product graphs over a finite field.

The main purpose of this paper is to prove that the point-line incidence bound due to Vinh (2011) over arbitrary finite fields can be improved in certain ranges by using tools from the VC-dimension theory. As consequences, a number of applications will be discussed in detail.

We study plane curves over finite fields whose tangent lines at smooth $\mathbb{F}_q$-points together cover all the points of $\mathbb{P}^2(\mathbb{F}_q)$.

A Latin square of order $n$ is an $n \times n$ matrix of $n$ symbols, such that each symbol occurs exactly once in each row and column. For an odd prime power $q$ let $\mathbb{F}_q$ denote the finite field of order $q$. A quadratic Latin square is a Latin square $\mathcal{L}[a, b]$ defined by, $$(\mathcal{L}[a, b])_{i, j} = \begin{cases} i + a(j-i) & \text{if } j-i \text{ is a quadratic residue in } \mathbb{F}_q, \\ i + b(j-i) & \text{otherwise}, \end{cases}$$ for some $\{a, b\} \subseteq \mathbb{F}_q$ such that $ab$ and $(a-1)(b-1)$ are quadratic residues in $\mathbb{F}_q$. Quadratic Latin squares have previously been used to construct perfect $1$-factorisations, mutually orthogonal Latin squares and atomic Latin squares. We first characterise quadratic Latin squares which are devoid of $2 \times 2$ Latin subsquares. Let $G$ be a graph and $\mathcal{F}$ a $1$-factorisation of $G$. If the union of every pair of $1$-factors in $\mathcal{F}$ induces a Hamiltonian cycle in $G$ then $\mathcal{F}$ is called perfect, and if there is no pair of $1$-factors in $\mathcal{F}$ which induce a Hamiltonian cycle in $G$ then $\mathcal{F}$ is called anti-perfect. We use quadratic Latin squares to construct new examples of anti-perfect $1$-factorisations of complete graphs and complete bipartite graphs. We also demonstrate that for each odd prime $p$, there are only finitely many orders $q$, which are powers of $p$, such that quadratic Latin squares of order $q$ could be used to construct perfect $1$-factorisations of complete graphs or complete bipartite graphs.

In a projective plane over a finite field, complete $(k,n)$-arcs with few characters are rare but interesting objects with several applications to finite geometry and coding theory. Since almost all known examples are large, the construction of small ones, with $k$ close to the order of the plane, is considered a hard problem. A natural candidate to be a small $(k,n)$-arc with few characters is the set $Ω(\mathcal{C})$ of the points of a plane curve $\mathcal{C}$ of degree $n$ (containing no linear components) such that some line meets $\mathcal{C}$ transversally in the plane, i.e. in $n$ pairwise distinct points. Let $\mathcal{C}$ be either the Hermitian curve of degree $q+1$ in $\mathrm{PG}(2,q^{2r})$ with $r\ge 1$, or the rational BKS curve of degree $q+1$ in $\mathrm{PG}(2,q^r)$ with $q$ odd and $r\ge 1$. Then $Ω(\mathcal{C})$ has four and seven characters, respectively. Furthermore, $Ω(\mathcal{C})$ is small as both curves are either maximal or minimal. The completeness problem is investigated by an algebraic approach based on Galois theory and on the Hasse-Weil lower bound. Our main result for the Hermitian case is that $Ω(\mathcal{C})$ is complete for $r\ge 4$. For the rational BKS curve, $Ω(\mathcal{C})$ is complete if and only if $r$ is even. If $r$ is odd then the uncovered points by the $(q+1)$-secants to $Ω(\mathcal{C})$ are exactly the points in $\mathrm{PG}(2,q)$ not lying in $Ω(\mathcal{C})$. Adding those points to $Ω(\mathcal{C})$ produces a complete $(k,q+1)$-arc in $\mathrm{PG}(2,q^r)$, with $k=q^r+q$. The above results do not hold true for $r=2$ and there remain open the case $r=3$ for the Hermitian curve, and the cases $r=3,4$ for the rational BKS curve. As a by product we also obtain two results of interest in the study of the Galois inverse problem for $\mathrm{PGL}(2,q)$.

The problem of counting the $\mathbb{F}_q$-valued points of a variety has been well-studied from algebro-geometric, topological, and combinatorial perspectives. We explore a combinatorially flavored version of this problem studied by Anzis et al. (2018), which is similar to work of Kontsevich, Elkies, and Haglund. Anzis et al. considered the question: what is the probability that the determinant of a Jacobi-Trudi matrix vanishes if the variables are chosen uniformly at random from a finite field? They gave a formula for various partitions such as hooks, staircases, and rectangles. We give a formula for partitions whose parts form an arithmetic progression, verifying and generalizing one of their conjectures. More generally, we compute the probability of the determinant vanishing for a class of matrices (``multislant matrices'') made of Toeplitz blocks with certain properties. We furthermore show that the determinant of a skew Jacobi-Trudi matrix is equidistributed across the finite field if the skew partition is a ribbon.

In recent years, many connections have been made between minimal codes, a classical object in coding theory, and other remarkable structures in finite geometry and combinatorics. One of the main problems related to minimal codes is to give lower and upper bounds on the length $m(k,q)$ of the shortest minimal codes of a given dimension $k$ over the finite field $\mathbb{F}_q$. It has been recently proved that $m(k, q) \geq (q+1)(k-1)$. In this note, we prove that $\liminf_{k \rightarrow \infty} \frac{m(k, q)}{k} \geq (q+ \varepsilon(q) )$, where $\varepsilon$ is an increasing function such that $1.52 <\varepsilon(2)\leq \varepsilon(q) \leq \sqrt{2} + \frac{1}{2}$. Hence, the previously known lower bound is not tight for large enough $k$. We then focus on the binary case and prove some structural results on minimal codes of length $3(k-1)$. As a byproduct, we are able to show that, if $k = 5 \pmod 8$ and for other small values of $k$, the bound is not tight.

We consider the problem of decoding corrupted error correcting codes with NC$^0[\oplus]$ circuits in the classical and quantum settings. We show that any such classical circuit can correctly recover only a vanishingly small fraction of messages, if the codewords are sent over a noisy channel with positive error rate. Previously this was known only for linear codes with large dual distance, whereas our result applies to any code. By contrast, we give a simple quantum circuit that correctly decodes the Hadamard code with probability $Ω(\varepsilon^2)$ even if a $(1/2 - \varepsilon)$-fraction of a codeword is adversarially corrupted. Our classical hardness result is based on an equidistribution phenomenon for multivariate polynomials over a finite field under biased input-distributions. This is proved using a structure-versus-randomness strategy based on a new notion of rank for high-dimensional polynomial maps that may be of independent interest. Our quantum circuit is inspired by a non-local version of the Bernstein-Vazirani problem, a technique to generate ``poor man's cat states'' by Watts et al., and a constant-depth quantum circuit for the OR function by Takahashi and Tani.

Let $\mathbb F_q^d$ be the $d$-dimensional vector space over the finite field $\mathbb F_q$ with $q$ elements. For each non-zero $r$ in $\mathbb F_q$ and $E\subset \mathbb F_q^d$, we define $W(r)$ as the number of quadruples $(x,y,z,w)\in E^4$ such that $ Q(x-y)/Q(z-w)=r,$ where $Q$ is a non-degenerate quadratic form in $d$ variables over $\mathbb F_q.$ When $Q(α)=\sum_{i=1}^d α_i^2$ with $α=(α_1, \ldots, α_d)\in \mathbb F_q^d,$ Pham (2022) recently used the machinery of group actions and proved that if $E\subset \mathbb F_q^2$ with $q\equiv 3 \pmod{4}$ and $|E|\ge C q$, then we have $W(r)\ge c |E|^4/q$ for any non-zero square number $r \in \mathbb F_q,$ where $C$ is a sufficiently large constant, $ c$ is some number between $0$ and $1,$ and $|E|$ denotes the cardinality of the set $E.$ In this article, we improve and extend Pham's result in two dimensions to arbitrary dimensions with general non-degenerate quadratic distances. As a corollary of our results, we also generalize the sharp results on the Falconer type problem for the quotient set of distance set due to the first two authors and Parshall (2019). Furthermore, we provide improved constants for the size conditions of the underlying sets. The key new ingredient is to relate the estimate of the $W(r)$ to a quadratic homogeneous variety in $2d$-dimensional vector space. This approach is fruitful because it allows us to take advantage of Gauss sums which are more handleable than the Kloosterman sums appearing in the standard distance type problems.

We establish that if $d \geq 2k + 6$ and $q$ is odd and sufficiently large with respect to $α\in (0,1)$, then every set $A\subseteq \mathbf{F}_q^d$ of size $|A| \geq αq^d$ will contain an isometric copy of every spherical $(k+2)$-point configuration that spans $k$ dimensions.

Inspired by Kontsevich's graphic orbifold Euler characteristic we define a virtual Euler characteristic for any finite set of isomorphism classes of matroids of rank $r$. Our main result provides a simple formula for the virtual Euler characteristic for the set of isomorphism classes of matroids of rank $r$ realizable over $\mathbb{F}_2$ (i.e., binary matroids). We prove this formula by relating the virtual Euler characteristic for binary matroids to the point counts of certain subsets of Grassmanians over finite fields. We conclude by providing several follow-up questions in relation to matroids realizable over other finite prime fields, matroid homology, and beta invariants.

We provide a simplified proof of the random $k$-XORSAT satisfiability threshold theorem. As an extension we also determine the full rank threshold for sparse random matrices over finite fields with precisely $k$ non-zero entries per row. This complements a result from [Ayre, Coja-Oghlan, Gao, Müller: Combinatorica 2020]. The proof combines physics-inspired message passing arguments with a surgical moment computation.

We prove new upper bounds on the smallest size of affine blocking sets, that is, sets of points in a finite affine space that intersect every affine subspace of a fixed codimension. We show an equivalence between affine blocking sets with respect to codimension-$2$ subspaces that are generated by taking a union of lines through the origin, and strong blocking sets in the corresponding projective space, which in turn are equivalent to minimal codes. Using this equivalence, we improve the current best upper bounds on the smallest size of a strong blocking set in finite projective spaces over fields of size at least $3$. Furthermore, using coding theoretic techniques, we improve the current best lower bounds on strong blocking set. Our main motivation for these new bounds is their application to trifferent codes, which are sets of ternary codes of length $n$ with the property that for any three distinct codewords there is a coordinate where they all have distinct values. Over the finite field $\mathbb{F}_3$, we prove that minimal codes are equivalent to linear trifferent codes. Using this equivalence, we show that any linear trifferent code of length $n$ has size at most $3^{n/4.55}$, improving the recent upper bound of Pohoata and Zakharov. Moreover, we show the existence of linear trifferent codes of length $n$ and size at least $\frac{1}{3}\left( 9/5 \right)^{n/4}$, thus (asymptotically) matching the best lower bound on trifferent codes. We also give explicit constructions of affine blocking sets with respect to codimension-$2$ subspaces that are a constant factor bigger than the best known lower bound. By restricting to~$\mathbb{F}_3$, we obtain linear trifferent codes of size at least $3^{23n/312}$, improving the current best explicit construction that has size $3^{n/112}$.

We prove that there is a pencil of hypersurfaces in $\mathbb{P}^n$ of any given degree over a finite field $\mathbb{F}_q$ such that every $\mathbb{F}_q$-member of the pencil is not blocking with respect to $\mathbb{F}_q$-lines.

The orthogonality dimension of a graph $G$ over $\mathbb{R}$ is the smallest integer $k$ for which one can assign a nonzero $k$-dimensional real vector to each vertex of $G$, such that every two adjacent vertices receive orthogonal vectors. We prove that for every sufficiently large integer $k$, it is $\mathsf{NP}$-hard to decide whether the orthogonality dimension of a given graph over $\mathbb{R}$ is at most $k$ or at least $2^{(1-o(1)) \cdot k/2}$. We further prove such hardness results for the orthogonality dimension over finite fields as well as for the closely related minrank parameter, which is motivated by the index coding problem in information theory. This in particular implies that it is $\mathsf{NP}$-hard to approximate these graph quantities to within any constant factor. Previously, the hardness of approximation was known to hold either assuming certain variants of the Unique Games Conjecture or for approximation factors smaller than $3/2$. The proofs involve the concept of line digraphs and bounds on their orthogonality dimension and on the minrank of their complement.

Linear set in projective spaces over finite fields plays central roles in the study of blocking sets, semifields, rank-metric codes and etc. A linear set with the largest possible cardinality and the maximum rank is called maximum scattered. Despite two decades of study, there are only a few number of known maximum scattered linear sets in projective lines, including the family constructed by Csajbók, Marino, Polverino and Zanella 2018, and the family constructed by Csajbók, Marino, Zullo 2018 (also Marino, Montanucci, and Zullo 2020). This paper aims to solve the equivalence problem of the linear sets in each of these families and to determine their automorphism groups.

In this paper we investigate left ideals as codes in twisted skew group rings. The considered rings, which are often algebras over a finite field, allows us to detect many of the well-known codes. The presentation, given here, unifies the concept of group codes, twisted group codes and skew group codes.