arXiv++ Combinatorics

Let $n\geq 1$ and $X_{n}$ be the random variable representing the size of the smallest component of a random combinatorial object made of $n$ elements. A combinatorial object could be a permutation, a monic polynomial over a finite field, a surjective map, a graph, and so on. By a random combinatorial object, we mean a combinatorial object that is chosen uniformly at random among all possible combinatorial objects of size $n$. It is understood that a component of a permutation is a cycle, an irreducible factor for a monic polynomial, a connected component for a graph, etc. Combinatorial objects are categorized into parametric classes. In this article, we focus on the exp-log class with parameter $K=1$ (permutations, derangements, polynomials over finite field, etc.) and $K=1/2$ (surjective maps, $2$-regular graphs, etc.) The generalized Buchstab function $Ω_{K}$ plays an important role in evaluating probabilistic and statistical quantities. For $K=1$, Theorem $5$ from \cite{PanRic_2001_small_explog} stipulates that $\mathrm{Var}(X_{n})=C(n+O(n^{-ε}))$ for some $ε>0$ and sufficiently large $n$. We revisit the evaluation of $C=1.3070\ldots$ using different methods: analytic estimation using tools from complex analysis, numerical integration using Taylor expansions, and computation of the exact distributions for $n\leq 4000$ using the recursive nature of the counting problem. In general for any $K$, Theorem $1.1$ from \cite{BenMasPanRic_2003} connects the quantity $1/Ω_{K}(x)$ for $x\geq 1$ with the asymptotic proportion of $n$-objects with large smallest components. We show how the coefficients of the Taylor expansion of $Ω_{K}(x)$ for $\lfloor x\rfloor \leq x < \lfloor x\rfloor+1$ depends on those for $\lfloor x\rfloor-1 \leq x-1 < \lfloor x\rfloor$. We use this family of coefficients to evaluate $Ω_{K}(x)$.

In this paper, we strengthen a result by Green about an analogue of Sarkozy's theorem in the setting of polynomial rings $\mathbb{F}_q[x]$. In the integer setting, for a given polynomial $F \in \mathbb{Z}[x]$ with constant term zero, (a generalization of) Sarkozy's theorem gives an upper bound on the maximum size of a subset $A \subset \{1, \ldots, n \}$ that does not contain distinct $a_1,a_2 \in A$ satisfying $a_1 - a_2 = F(b)$ for some $ b \in \mathbb{Z}$. Green proved an analogous result with much stronger bounds in the setting of subsets $A \subset \mathbb{F}_q[x]$ of the polynomial ring $\mathbb{F}_q[x]$, but required the additional condition that the number of roots of the polynomial $F \in \mathbb{F}_q[x]$ is coprime to $q$. We generalize Green's result, removing this condition. As an application, we also obtain a version of Sarkozy's theorem with similarly strong bounds for subsets $A \subset \mathbb{F}_q$ for $q = p^n$ for a fixed prime $p$ and large $n$.

Rédei and Megyesi proved that the number of directions determined by a $p$ element subset of $\mathbb{F}_p^2$ is either $1$ or at least $\frac{p+3}{2}$. The same result was independently obtained by Dress, Klin and Muzychuk. We give a new and short proof of this result using a Lemma proved by Kiss and the author. The new proof further on a result on polynomials over finite fields.

A frequency rectangle of type FR$(m,n;q)$ is an $m \times n$ matrix such that each symbol from a set of size $q$ appears $n/q$ times in each row and $m/q$ times in each column. Two frequency rectangles of the same type are said to be orthogonal if, upon superimposition, each possible ordered pair of symbols appear the same number of times. A set of $k$ frequency rectangles in which every pair is orthogonal is called a set of mutually orthogonal frequency rectangles, denoted by $k$--MOFR$(m,n;q)$. We show that a $k$--MOFR$(2,2n;2)$ and an orthogonal array OA$(2n,k,2,2)$ are equivalent. We also show that an OA$(mn,k,2,2)$ implies the existence of a $k$--MOFR$(2m,2n;2)$. We construct $(4a-2)$--MOFR$(4,2a;2)$ assuming the existence of a Hadamard matrix of order $4a$. A $k$--MOFR$(m,n;q)$ is said to be $t$--orthogonal, if each subset of size $t$, when superimposed, contains each of the $q^t$ possible ordered $t$-tuples of entries exactly $mn/q^t$ times. A set of vectors over a finite field $\mathbb{F}_q$ is said to be $t$-independent if each subset of size $t$ is linearly independent. We describe a method to obtain a set of $t$--orthogonal $k$--MOFR$(q^M, q^N, q)$ corresponding to a set of $t$--independent vectors in $(\mathbb{F}_q)^{M+N}$. We also discuss upper and lower bounds on the set of $t$--independent vectors and give a table of values for binary vectors of length $N \leq 16$. A frequency rectangle of type FR$(n,n;q)$ is called a frequency square and a set of $k$ mutually orthogonal frequency squares is denoted by $k$--MOFS$(n;q)$ or $k$--MOFS$(n)$ when there is no ambiguity about the symbol set. For $p$ an odd prime, we show that there exists a set of $(p-1)$ binary MOFS$(2p)$, hence improving the lower bounds in (Britz et al. 2020) for the previously known values for $p \geq 19 $.

We consider (symmetric, non-degenerate) bilinear spaces over a finite field and investigate the properties of their $\ell$-complementary subspaces, i.e., the subspaces that intersect their dual in dimension $\ell$. This concept generalizes that of a totally isotropic subspace and, in the context of coding theory, specializes to the notions of self-orthogonal, self-dual and linear-complementary-dual (LCD) codes. In this paper, we focus on the enumerative and asymptotic combinatorics of all these objects, giving formulas for their numbers and describing their typical behavior (rather than the behavior of a single object). For example, we give a closed formula for the average weight distribution of an $\ell$-complementary code in the Hamming metric, generalizing a result by Pless and Sloane on the aggregate weight enumerator of binary self-dual codes. Our results also show that self-orthogonal codes, despite being very sparse in the set of codes of the same dimension over a large field, asymptotically behave quite similarly to a typical, not necessarily self-orthogonal, code. In particular, we prove that most self-orthogonal codes are MDS over a large field by computing the asymptotic proportion of the non-MDS ones for growing field size.

Let $ACG(2ν,\mathbb{F}_q)$ be the $2ν$-dimensional classical affine space with parameter $e$ over a $q$-element finite field $\mathbb{F}_q$, and ${\cal O}_ν$ be the set of all maximal totally isotropic flats in $ACG(2ν,\mathbb{F}_q)$. In this paper, we discuss Cameron-Liebler sets in ${\cal O}_ν$, obtain several equivalent definitions and present some classification results.

Let $\mathbb{F}_q$ be the finite field with $q$ elements and consider the $n$-dimensional $\mathbb{F}_q$-vector space $V=\mathbb{F}_q^n\,$. In this paper we define a closure operator on the subgroup lattice of the group $G = \mathrm{PGL}(V)$. Let $μ$ denote the Möbius function of this lattice. The aim is to use this closure operator to characterize subgroups $H$ of $G$ for which $μ(H,G)\neq 0$. Moreover, we establish a polynomial bound on the number $c(m)$ of closed subgroups $H$ of index $m$ in $G$ for which the lattice of $H$-invariant subspaces of $V$ is isomorphic to a product of chains. This bound depends only on $m$ and not on the choice of $n$ and $q$. It is achieved by considering a similar closure operator for the subgroup lattice of $\mathrm{GL}(V)$ and the same results proven for this group.

In this paper, we present a linear algebraic approach to the study of permutation polynomials that arise from linear maps over a finite field $\mathbb{F}_{q^2}$. We study a particular class of permutation polynomials over $\mathbb{F}_{q^2}$, in the context of rank deficient and full rank linear maps over $\mathbb{F}_{q^2}$. We derive necessary and sufficient conditions under which the given class of polynomials are permutation polynomials. We further show that the number of such permutation polynomials can be easily enumerated. Only a subset of these permutation polynomials have been reported in literature earlier. It turns out that this class of permutation polynomials have compositional inverses of the same kind and we provide algorithms to evaluate the compositional inverses of most of these permutation polynomials.

The Möbius function of the subgroup lattice of a finite group has been introduced by Hall and applied to investigate several questions. In this paper, we consider the Möbius function defined on an order ideal related to the lattice of the subgroups of an irreducible subgroup $G$ of the general linear group $\mathrm{GL}(n,q)$ acting on the $n$-dimensional vector space $V=\mathbb{F}_q^n$, where $\mathbb{F}_q$ is the finite field with $q$ elements. We find a relation between this function and the Euler characteristic of two simplicial complexes $Δ_1$ and $Δ_2$, the former raising from the lattice of the subspaces of $V$, the latter from the subgroup lattice of $G$.

We study the counts of smooth permutations and smooth polynomials over finite fields. For both counts we prove an estimate with an error term that matches the error term found in the integer setting by de Bruijn more than 70 years ago. The main term is the usual Dickman $ρ$ function, but with its argument shifted. We determine the order of magnitude of $\log(p_{n,m}/ρ(n/m))$ where $p_{n,m}$ is the probability that a permutation on $n$ elements, chosen uniformly at random, is $m$-smooth. We uncover a phase transition in the polynomial setting: the probability that a polynomial of degree $n$ in $\mathbb{F}_q$ is $m$-smooth changes its behavior at $m\approx (3/2)\log_q n$.

Let $p$ be a prime and $n$ a positive integer. As the first main result, we present a deterministic algorithm for deciding whether the matrix algebra $\mathbb{F}_p[A_1,\dots,A_t]$ with $A_1,\dots,A_t \in \mathrm{GL}(n,\mathbb{F}_p)$ is a finite field, performing at most $\mathcal{O}(tn^6\log(p))$ elementary operations in $\mathbb{F}_p$. In the affirmative case, the algorithm returns a defining element $a$ so that $\mathbb{F}_p[A_1,\dots,A_t] = \mathbb{F}_p[a]$. We then study an invariant for the extended-affine equivalence of Dembowski-Ostrom (DO) polynomials. More precisely, for a DO polynomial $g \in \mathbb{F}_{p^n}[x]$, we associate to $g$ a set of $n \times n$ matrices with coefficients in $\mathbb{F}_p$, denoted $\mathrm{Quot}(\mathcal{D}_g)$, that stays invariant up to matrix similarity when applying extended-affine equivalence transformations to $g$. In the case where $g$ is a planar DO polynomial, $\mathrm{Quot}(\mathcal{D}_g)$ is the set of quotients $XY^{-1}$ with $Y \neq 0,X$ being elements from the spread set of the corresponding commutative presemifield, and $\mathrm{Quot}(\mathcal{D}_g)$ forms a field of order $p^n$ if and only if $g$ is equivalent to the planar monomial $x^2$, i.e., if and only if the commutative presemifield associated to $g$ is isotopic to a finite field. As the second main result, we analyze the structure of $\mathrm{Quot}(\mathcal{D}_g)$ for all planar DO monomials, i.e., for commutative presemifields of odd order being isotopic to a finite field or a commutative twisted field. More precisely, for $g$ being equivalent to a planar DO monomial, we show that every non-zero element $X \in \mathrm{Quot}(\mathcal{D}_g)$ generates a field $\mathbb{F}_p[X] \subseteq \mathrm{Quot}(\mathcal{D}_g)$ and $\mathrm{Quot}(\mathcal{D}_g)$ contains the field $\mathbb{F}_{p^n}$.

In this paper we prove an incidence bound for points and cubic curves over prime fields. The methods generalise those used by Mohammadi, Pham, and Warren (2021).

Let $\mathbb{F}$ be a finite field of odd order and $a,b\in\mathbb{F}\setminus\{0,1\}$ be such that $χ(a) = χ(b)$ and $χ(1-a)=χ(1-b)$, where $χ$ is the extended quadratic character. Let $Q_{a,b}$ be the quasigroup upon $\mathbb{F}$ defined by $(x,y)\mapsto x+a(y-x)$ if $χ(y-x) \ge 0$, and $(x,y)\mapsto x+b(y-x)$ if $χ(y-x) = -1$. We show that $Q_{a,b} \cong Q_{c,d}$ if and only if $\{a,b\}= \{α(c),α(d)\}$ for some $α\in \textrm{aut}(\mathbb{F})$. We also characterise $\textrm{aut}(Q_{a,b})$ and exhibit further properties, including establishing when $Q_{a,b}$ is a Steiner quasigroup or is commutative, entropic, left or right distributive, flexible or semisymmetric. In proving our results we also characterise the minimal subquasigroups of $Q_{a,b}$.

It is shown that two vectors with coordinates in the finite $q$-element field of characteristic $p$ belong to the same orbit under the natural action of the symmetric group if each of the elementary symmetric polynomials of degree $p^k,2p^k,\dots,(q-1)p^k$, $k=0,1,2,\dots$ has the same value on them. This separating set of polynomial invariants for the natural permutation representation of the symmetric group is not far from being minimal when $q=p$ and the dimension is large compared to $p$. A relatively small separating set of multisymmetric polynomials over the field of $q$ elements is derived.

A plane curve $C\subset\mathbb{P}^2$ of degree $d$ is called \emph{blocking} if every $\mathbb{F}_q$-line in the plane meets $C$ at some $\mathbb{F}_q$-point. We prove that the proportion of blocking curves among those of degree $d$ is $o(1)$ when $d\geq 2q-1$ and $q \to \infty$. We also show that the same conclusion holds for smooth curves under the somewhat weaker condition $d\geq 3p$ and $d, q \to \infty$. Moreover, the two events in which a random plane curve is smooth and respectively blocking are shown to be asymptotically independent. Extending a classical result on the number of $\mathbb{F}_q$-roots of random polynomials, we find that the limiting distribution of the number of $\mathbb{F}_q$-points in the intersection of a random plane curve and a fixed $\mathbb{F}_q$-line is Poisson with mean $1$. We also present an explicit formula for the proportion of blocking curves involving statistics on the number of $\mathbb{F}_q$-points contained in a union of $k$ lines for $k=1, 2, \ldots, q^2+q+1$.

This paper constructs a novel Hopf algebra $\mathsf{cf}(\mathrm{UT}_{\bullet})$ on the class functions of the unipotent upper triangular groups $\mathrm{UT}_{n}(\mathbb{F}_{q})$ over a finite field. This construction is representation theoretic in nature and uses the machinery of Hopf monoids in the category of vector species. In contrast with a similar known construction, this Hopf algebra has the property that induction to the finite general linear group induces a homomorphism to Zelevinsky's Hopf algebra of $\mathrm{GL}_{n}(\mathbb{F}_{q})$ class functions. Furthermore, $\mathsf{cf}(\mathrm{UT}_{\bullet})$ contains a Hopf subalgebra which is isomorphic to a known combiantorial Hopf algebra, previously used to prove a conjecture about chromatic quasisymmetric functions. Some additional Hopf algebraic properties are also established.

An important conjecture in additive combinatorics, number theory, and algebraic geometry posits that the partition rank and analytic rank of tensors are equal up to a constant, over any finite field. We prove the conjecture up to a logarithmic factor. Our proof is largely independent of previous work, utilizing recursively constructed polynomial identities and random walks on zero sets of polynomials. We also introduce a new, vector-valued notion of tensor rank (``local rank''), which serves as a bridge between partition and analytic rank, and which may be of independent interest as a tool for analyzing higher-degree polynomials.

We prove that, on bounded expansion classes, every first-order formula with modulo counting is equivalent, in a linear-time computable monadic expansion, to an existential first-order formula. As a consequence, we derive, on bounded expansion classes, that first-order transductions with modulo counting have the same encoding power as existential first-order transductions. Also, modulo-counting first-order model checking and computation of the size of sets definable in modulo-counting first-order logic can be achieved in linear time on bounded expansion classes. As an application, we prove that a class has structurally bounded expansion if and only if it is a class of bounded depth vertex-minors of graphs in a bounded expansion class. We also show how our results can be used to implement fast matrix calculus on bounded expansion matrices over a finite field.

MRD codes are maximum codes in the rank-distance metric space on $m$-by-$n$ matrices over the finite field of order $q$. They are diameter perfect and have the cardinality $q^{m(n-d+1)}$ if $m\ge n$. We define switching in MRD codes as replacing special MRD subcodes by other subcodes with the same parameters. We consider constructions of MRD codes admitting such switching, including punctured twisted Gabidulin codes and direct-product codes. Using switching, we construct a huge class of MRD codes whose cardinality grows doubly exponentially in $m$ if the other parameters ($n$, $q$, the code distance) are fixed. Moreover, we construct MRD codes with different affine ranks and aperiodic MRD codes. Keywords: MRD codes, rank distance, bilinear forms graph, switching, diameter perfect codes

In this work, we introduce the harmonic generalization of the $m$-tuple weight enumerators of codes over finite Frobenius rings. A harmonic version of the MacWilliams-type identity for $m$-tuple weight enumerators of codes over finite Frobenius ring is also given. Moreover, we define the demi-matroid analogue of well-known polynomials from matroid theory, namely Tutte polynomials and coboundary polynomials, and associate them with a harmonic function. We also prove the Greene-type identity relating these polynomials to the harmonic $m$-tuple weight enumerators of codes over finite Frobenius rings. As an application of this Greene-type identity, we provide a simple combinatorial proof of the MacWilliams-type identity for harmonic $m$-tuple weight enumerators over finite Frobenius rings. Finally, we provide the structure of the relative invariant spaces containing the harmonic $m$-tuple weight enumerators of self-dual codes over finite fields.