arXiv++ Combinatorics

Using arbitrary bases for the finite field $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}$, we obtain the generalized Möbius transformations (GMTs), which are a class of bijections between the projective geometry $PG(n-1,q)$ and the set of roots of unity $μ_{\frac{q^n-1}{q-1}}\subseteq\mathbb{F}_{q^n}$, where $n\geq 2$ is any integer. We also introduce a class of projective polynomials, using the properties of which we determine the inverses of the GMTs. Moreover, we study the roots of those projective polynomials, which lead to a three-way correspondence between partitions of $\mathbb{F}_{q^n}^\ast,μ_{\frac{q^n-1}{q-1}}$ and $PG(n-1,q)$. Through this correspondence and the GMTs, we construct permutation polynomials of index $\frac{q^n-1}{q-1}$ over $\mathbb{F}_{q^n}$.

Contraction$^*$-depth is considered to be one of the analogues of graph tree-depth in the matroid setting. In this paper, we investigate structural properties of contraction$^*$-depth of matroids representable over finite fields and rationals. In particular, we prove that the obstructions for contraction$^*$-depth for these classes of matroids are bounded in size. From this we derive analogous results for related notions of contraction-depth and deletion-depth. Moreover, we define a dual notion to contraction$^*$-depth, named deletion$^*$-depth, for $\mathbb{F}$-representable matroids, and by duality extend our results from contraction$^*$-depth to this notion.

We focus on two aspects of cyclic orbit codes: invariants under equivalence and quasi-optimality. Regarding the first aspect, we establish a connection between the codewords of a cyclic orbit code and a certain linear set on the projective line. This allows us to derive new bounds on the parameters of the code. In the second part, we study a particular family of (quasi-)optimal cyclic orbit codes and derive a general existence theorem for quasi-optimal codes in even-dimensional vector spaces over finite fields of any characteristic. Finally, for our particular code family we describe the automorphism groups under the general linear group and a suitable Galois group.

Let $E$ be a subset of the affine plane over a finite field $\mathbb{F}_q$. We bound the size of the subgroup of $SL_2(\mathbb{F}_q)$ that preserves $E$. As a consequence, we show that if $E$ has size $\ll q^α$ and is preserved by $\gg q^β$ elements of $SL_2(\mathbb{F}_q)$ with $β\geq 3α/2$, then $E$ is contained in a line. This result is sharp in general, and will be proved by using combinatorial arguments and applying a point-line incidence bound in $\mathbb{F}_q^3$ due to Mockenhaupt and Tao (2004).

In a recent paper Zhang et al. constructed 17 families of permutation pentanomials of the form $x^t+x^{r_1(q-1)+t}+x^{r_2(q-1)+t}+x^{r_3(q-1)+t}+x^{r_4(q-1)+t}$ over $\mathbb{F}_{q^2}$ where $q=2^m$. In this paper for 14 of these 17 families we provide a simple explanation as to why they are permutations. We also extend these 14 families into three general classes of permutation pentanomials over $\mathbb{F}_{q^2}$.

In 2019, Fox, Tidor and Zhao (arXiv:1911.03427) proved an induced arithmetic removal lemma for linear patterns of complexity 1 in vector spaces over a fixed finite field. With no further assumptions on the pattern, this induced removal lemma cannot guarantee a fully pattern-free recolouring of the space, as some `non-generic' instances must necessarily remain. On the other hand, Bhattacharyya et al. (arXiv:1212.3849) showed that in the case of translation-invariant patterns, it is possible to obtain recolourings that eliminate the given pattern completely, with no exceptions left behind. This paper demonstrates that such complete removal can be achieved for all partition-regular arithmetic patterns of complexity 1.

We compute an analogue of Pascal's triangle enriched in bilinear forms over a finite field. This gives an arithmetically meaningful count of the ways to choose $j$ ring homomorphisms into an algebraic closure from an étale extension of degree $n$. We also compute a quadratic twist. These (twisted) enriched binomial coefficients are defined in joint work of Brugallé and the second-named author, building on work of Serre. Such binomial coefficients support curve counting results over non-algebraically closed fields, using $\mathbb{A}^1$-homotopy theory.

Although a good portion of elementary linear algebra concerns itself with matrices over a field such as $\mathbb{R}$ or $\mathbb{C}$, many combinatorial problems naturally surface when we instead work with matrices over a finite field. As some recent work has been done in these areas, we turn our attention to the problem of enumerating the square matrices with entries in $\mathbb{Z}_{p^k}$ that are diagonalizable over $\mathbb{Z}_{p^k}$. This turns out to be significantly more nontrivial than its finite field counterpart due to the presence of zero divisors in $\mathbb{Z}_{p^k}$.

We give an 'arithmetic regularity lemma' for groups definable in finite fields, analogous to Tao's 'algebraic regularity lemma' for graphs definable in finite fields. More specifically, we show that, for any $M>0$, any finite field $\mathbf{F}$, and any definable group $(G,\cdot)$ in $\mathbf{F}$ and definable subset $D\subseteq G$, each of complexity at most $M$, there is a normal definable subgroup $H\leqslant G$, of index and complexity $O_M(1)$, such that the following holds: for any cosets $V,W$ of $H$, the bipartite graph $(V,W,xy^{-1}\in D)$ is $O_M(|\mathbf{F}|^{-1/2})$-quasirandom. Various analogous regularity conditions follow; for example, for any $g\in G$, the Fourier coefficient $||\widehat{1}_{H\cap Dg}(π)||_{\mathrm{op}}$ is $O_M(|\mathbf{F}|^{-1/8})$ for every non-trivial irreducible representation $π$ of $H$.

We first observe a mysterious similarity between the braid arrangement and the arrangement of all hyperplanes in a vector space over the finite field $\mathbb{F}_q$. These two arrangements are defined by the determinants of the Vandermonde and the Moore matrix, respectively. These two matrices are transformed to each other by replacing a natural number $n$ with $q^n$ ($q$-deformation). In this paper, we introduce the notion of ``$q$-deformation of graphical arrangements'' as certain subarrangements of the arrangement of all hyperplanes over $\mathbb{F}_q$. This new class of arrangements extends the relationship between the Vandermonde and Moore matrices to graphical arrangements. We show that many invariants of the ``$q$-deformation'' behave as ``$q$-deformation'' of invariants of the graphical arrangements. Such invariants include the characteristic (chromatic) polynomial, the Stirling number of the second kind, freeness, exponents, basis of logarithmic vector fields, etc.

We prove that any lower unitriangular and totally nonnegative matrix gives rise to a family of polynomials with only real zeros. This has consequences for problems in several areas of mathematics. We use it to develop a general theory for chain enumeration in posets and zeros of chain polynomials. The results obtained extend and unify results of the first author, Brenti, Welker and Athanasiadis. In the process we define a notion of $h$-vectors for a large class of posets which generalize the notions of $h$-vectors associated to simplicial and cubical complexes. A consequence of our methods is a characterization of the convex hull of all characteristic polynomials of hyperplane arrangements of fixed dimension and over a fixed finite field. This may be seen as a refinement of the Critical Problem of Crapo and Rota. We also use the methods developed to answer an open problem posed by Forgács and Tran on the real-rootedness of polynomials arising from certain bivariate rational functions.

Multivariate multiplicity codes (Kopparty, Saraf, and Yekhanin, J. ACM 2014) are linear codes where the codewords are described by evaluations of multivariate polynomials (with a degree bound) and their derivatives up to a fixed order, on a suitably chosen affine point set. While good list decoding algorithms for multivariate multiplicity codes were known in some special cases of point sets by a reduction to univariate multiplicity codes, a general list decoding algorithm up to the distance of the code when the point set is an arbitrary finite grid, was obtained only recently (Bhandari et al., IEEE TIT 2023). This required the characteristic of the field to be zero or larger than the degree bound, and this requirement is somewhat necessary, since list decoding this code up to distance with small output list size is not possible when the characteristic is significantly smaller than the degree. In this work, we present an alternate construction, based on divided differences, that closely resembles the classical multiplicity codes but is `insensitive to the field characteristic'. We obtain an efficient algorithm that list decodes this code up to distance, for arbitrary finite grids and over all finite fields. Notably, our construction can be interpreted as a `folded Reed-Muller code', which might be of independent interest. The upshot of our result is that a good `Taylor-like expansion' can be expressed in terms of a good `derivative-like operator' (a divided difference), and this implies that the corresponding code admits good algorithmic list decoding.

Let $Γ_k(V)$ be the Grassmann graph whose vertex set is formed by all $k$-dimensional subspaces of an $n$-dimensional vector space $V$ over the finite field $F_q$ consisting of $q$ elements. We discuss its subgraph $Π(n,k)_q$ formed by projective codes. We show that there are precisely two types of maximal cliques in $Π(n,k)_q$: stars and tops. We give a complete description of stars, i.e., maximal cliques consisting of all $k$-dimensional projective codes containing a certain $(k-1)$-dimensional subspace of $V$.

The elements of a finite field of prime order canonically correspond to the integers in an interval. This induces an ordering on the elements of the field. Using this ordering, Kiss and Somlai recently proved interesting properties of the set of points below the diagonal line. In this paper, we investigate the set of points lying below a parabola. We prove that in some sense, this set of points looks the same from all but two directions, despite having only one non-trivial automorphism. In addition, we study the sizes of these sets, and their intersection numbers with respect to lines.

This article presents examples of an application of the finite field method for the computation of the characteristic polynomial of the matching arrangement of a graph. Weight functions on edges of a graph with weights from a finite field are divided into proper and improper functions in connection with proper colorings of vertices of the matching polytope of a graph. An improper weight function problem is introduced, a proof of its NP-completeness is presented, and a knapsack-like public key cryptosystem is constructed based on the improper weight function problem.

Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_{q}$ and let $\left[V\atop k\right]_q$ denote the family of all $k$-dimensional subspaces of $V$. A family $\mathcal{F}\subseteq \left[V\atop k\right]_q$ is called intersecting if for all $F$, $F'\in\mathcal{F}$, we have ${\rm dim}$$(F\cap F')\geq 1$. Let $δ_{d}(\mathcal{F})$ denote the minimum degree in $\mathcal{F}$ of all $d$-dimensional subspaces. In this paper we show that $δ_{d}(\mathcal{F})\leq \left[n-d-1\atop k-d-1\right]$ in any intersecting family $\mathcal{F}\subseteq \left[V\atop k\right]_q$, where $k>d\geq 2$ and $n\geq 2k+1$.

We prove local and global inverse theorems for general $3$-wise correlations over pairwise-connected distributions. Let $μ$ be a distribution over $Σ\times Γ\times Φ$ such that the supports of $μ_{xy}$, $μ_{xz}$, and $μ_{yz}$ are all connected, and let $f: Σ^n \to \mathbb{C}$, $g: Γ^n \to \mathbb{C}$, $h: Φ^n \to \mathbb{C}$ be $1$-bounded functions satisfying \[ \left|\mathbb{E}_{(x,y,z) \sim μ^{\otimes n}}[f(x)g(y)h(z)]\right| \geq \varepsilon. \] In this setting, our local inverse theorem asserts that there is $δ:=\textsf{exp}(-\varepsilon^{-O_μ(1)})$ such that with probability at least $δ$, a random restriction of $f$ down to $δn$ coordinates $δ$-correlates to a product function. To get a global inverse theorem, we prove a restriction inverse theorem for general product functions, stating that if a random restriction of $f$ down to $δn$ coordinates is $δ$-correlated with a product function with probability at least $δ$, then $f$ is $2^{-\textsf{poly}(\log(1/δ))}$-correlated with a function of the form $L\cdot P$, where $L$ is a function of degree $\textsf{poly}(1/δ)$, $\|L\|_2\leq 1$, and $P$ is a product function. We show applications to property testing and to additive combinatorics. In particular, we show the following result via a density increment argument. Let $Σ$ be a finite set and $S \subseteq Σ\times Σ\times Σ$ such that: (1) $(x, x, x) \in S$ for all $x \in S$, and (2) the supports of $S_{xy}$, $S_{xz}$, and $S_{yz}$ are all connected. Then, any set $A \subseteq Σ^n$ with $|Σ|^{-n}|A| \geq Ω((\log \log \log n)^{-c})$ contains $x, y, z \in A$, not all equal, such that $(x_i,y_i,z_i) \in S$ for all $i$. This gives the first reasonable bounds for the restricted 3-AP problem over finite fields.

Path homology plays a central role in digraph topology and GLMY theory more general. Unfortunately, the computation of the path homology of a digraph $G$ is a two-step process, and until now no complete description of even the underlying chain complex has appeared in the literature. In this paper we introduce an inductive method of constructing elements of the path homology chain modules $Ω_n(G;R)$ from elements in the proceeding two dimensions. This proceeds via the formation of what we call upper and lower \emph{extensions}, that are parametrised by certain labeled multihypergraphs which we introduce and call \emph{face multihypergraphs}. When the coefficient ring $R$ is a finite field the inductive elements we construct generate $Ω_*(G;R)$. With integral or rational coefficients, the inductive elements generate at least $Ω_i(G;R)$ for $i=0,1,2,3$. Since in low dimensions the inductive elements extended over labeled multigraphs coincide with naturally occurring generating sets up to sign, they are excellent candidates to reduce to a basis. Inductive elements provide a new concrete structure on the path chain complex that can be directly applied to understand path homology, under no restriction on the digraph $G$. We employ inductive elements to construct a sequence of digraphs whose path Euler characteristic can differ arbitrarily depending on the choice of field coefficients. In particular, answering an open question posed by Fu and Ivanov.

For a field $\mathbb{F}$ and integers $d, k$ and $\ell$, a set $A \subseteq \mathbb{F}^d$ is called $(k,\ell)$-nearly orthogonal if all vectors in $A$ are non-self-orthogonal and every $k+1$ vectors in $A$ contain $\ell + 1$ pairwise orthogonal vectors. Recently, Haviv, Mattheus, Milojević and Wigderson have improved the lower bound on nearly orthogonal sets over finite fields, using counting arguments and a hypergraph container lemma. They showed that for every prime $p$ and an integer $\ell$, there is a constant $δ(p,\ell)$ such that for every field $\mathbb{F}$ of characteristic $p$ and for all integers $d \geq k \geq \ell + 1$, $\mathbb{F}^d$ contains a $(k,\ell)$-nearly orthogonal set of size $d^{δk / \log k}$. This nearly matches an upper bound $\binom{d+k}{k}$ coming from Ramsey theory. Moreover, they proved the same lower bound for the size of a largest set $A$ where for any two subsets of $A$ of size $k+1$ each, there is a vector in one of the subsets orthogonal to a vector in the other one. We prove a common generalisation of this result, showing that essentially the same lower bound holds for the size of a largest set $A \subseteq \mathbb{F}^d$ with the stronger property that given any family of subsets $A_1, \ldots, A_{\ell+1} \subseteq A$, each of size $k+1$, we can find a vector in each $A_i$ such that they are all pairwise orthogonal. Rather than combining both counting and container arguments, we make use of a multipartite asymmetric container lemma that allows for non-uniform co-degree conditions. This lemma was first discovered by Campos, Coulson, Serra and Wötzel, and we provide a new and short proof for this lemma.

Consider a matroid $M$ whose ground set is equipped with a labeling to an abelian group. A basis of $M$ is called $F$-avoiding if the sum of the labels of its elements is not in a forbidden label set $F$. Hörsch, Imolay, Mizutani, Oki, and Schwarcz (2024) conjectured that if an $F$-avoiding basis exists, then any basis can be transformed into an $F$-avoiding basis by exchanging at most $|F|$ elements. This proximity conjecture is known to hold for certain specific groups; in the case where $|F| \le 2$; or when the matroid is subsequence-interchangeably base orderable (SIBO), which is a weakening of the so-called strongly base orderable (SBO) property. In this paper, we settle the proximity conjecture for sparse paving matroids or in the case where $|F| \le 4$. Related to the latter result, we present the first known example of a non-SIBO matroid. We further address the setting of multiple group-label constraints, showing proximity results for the cases of two labelings, SIBO matroids, matroids representable over a fixed, finite field, and sparse paving matroids.