arXiv++ Combinatorics

Recently, two new constructions of $(v,k,k-1)$ disjoint difference families in Galois rings were presented by Davis, Huczynska, and Mullen and Momihara. Both were motivated by a well-known construction of difference families from cyclotomy in finite fields by Wilson. It is obvious that the difference families in the Galois ring and the difference families in the finite field are not equivalent. A related question which is in general harder to answer is whether the associated designs are isomorphic or not. In our case, this problem was raised by Davis, Huczynska and Mullen. In this paper we show that the $2$-$(v,k,k-1)$ designs arising from the difference families in Galois rings and those arising from the difference families in finite fields are nonisomorphic by comparing their block intersection numbers.

Let $\mathbb{F}_q$ be a finite field of odd characteristic containing $q$ elements and integer $n\ge 1$. In this paper, the explicit factorization of $x^{2^nd}-1$ over $\mathbb{F}_q$ is obtained when $d$ is an odd divisor of $q+1$.

Let $q$ be a prime power and $\mathbb F_q$ be the finite field of size $q$. In this paper we provide a Galois theoretical framework that allows to produce good polynomials for the Tamo and Barg construction of optimal locally recoverable codes (LRC). Using our approach we construct new good polynomials and then optimal LRCs with new parameters. The existing theory of good polynomials fits entirely in our new framework. The key advantage of our method is that we do not need to rely on arithmetic properties of the pair $(q,r)$, where $r$ is the locality of the code.

Let $\mathbb{F}_q$ be a finite field of order $q$ and integer $n\ge 1$. Let $\ell$ be a prime such that $\ell^k|(q-1)$ for some integer $k\ge 1$ and $μ$ be an element of order $\ell^k$ in $\mathbb{F}_q$. In this paper, we determine the weight distributions of all irreducible $μ$-constacyclic codes of length $\ell^n$ over $\mathbb{F}_q$. Explicit expressions for the generator polynomials and codewords of these codes are also obtained.

Hankel determinants and automatic sequences are two classical subjects widely studied in Mathematics and Theoretical Computer Science. However, these two topics were considered totally independently, until in 1998, when Allouche, Peyrière, Wen and Wen proved that all the Hankel determinants of the Thue-Morse sequence are nonzero. This property allowed Bugeaud to prove that the irrationality exponents of the Thue-Morse-Mahler numbers are exactly 2. Since then, the Hankel determinants of several other automatic sequences, in particular, the paperfolding sequence, the Stern sequence, the period-doubling sequence, are studied by Coons, Vrbik, Guo, Wu, Wen, Bugeaud, Fu, Han, Fokkink, Kraaikamp, and Shallit. On the other hand, it is known that the Hankel determinants of a rational power series are ultimately zero, and the Hankel determinants of a quadratic power series over finite fields are ultimately periodic. It is therefore natural to ask if we can obtain similar results about the Hankel determinants of algebraic series. In the present paper, we provide a partial answer to this question by establishing the automaticity of the reduced Hankel determinants modulo $2$ of $\pm 1$-automatic sequences with kernel of cardinality at most $2$.

A difference matrix over a group is a discrete structure that is intimately related to many other combinatorial designs, including mutually orthogonal Latin squares, orthogonal arrays, and transversal designs. Interest in constructing difference matrices over $2$-groups has been renewed by the recent discovery that these matrices can be used to construct large linking systems of difference sets, which in turn provide examples of systems of linked symmetric designs and association schemes. We survey the main constructive and nonexistence results for difference matrices, beginning with a classical construction based on the properties of a finite field. We then introduce the concept of a contracted difference matrix, which generates a much larger difference matrix. We show that several of the main constructive results for difference matrices over abelian $p$-groups can be substantially simplified and extended using contracted difference matrices. In particular, we obtain new linking systems of difference sets of size $7$ in infinite families of abelian $2$-groups, whereas previously the largest known size was $3$.

The $p$-adic Littlewood Conjecture due to De Mathan and Teulié asserts that for any prime number $p$ and any real number $α$, the equation $$\inf_{|m|\ge 1} |m|\cdot |m|_p\cdot |\langle mα\rangle|\, =\, 0 $$ holds. Here, $|m|$ is the usual absolute value of the integer $m$, $|m|_p$ its $p$-adic absolute value and $ |\langle x\rangle|$ denotes the distance from a real number $x$ to the set of integers. This still open conjecture stands as a variant of the well-known Littlewood Conjecture. In the same way as the latter, it admits a natural counterpart over the field of formal Laurent series $\mathbb{K}\left(\left(t^{-1}\right)\right)$ of a ground field $\mathbb{K}$. This is the so-called \emph{$t$-adic Littlewood Conjecture} ($t$-LC). It is known that $t$--LC fails when the ground field $\mathbb{K}$ is infinite. This article is concerned with the much more difficult case when the latter field is finite. More precisely, a \emph{fully explicit} counterexample is provided to show that $t$-LC does not hold in the case that $\mathbb{K}$ is a finite field with characteristic 3. Generalizations to fields with characteristics different from 3 are also discussed. The proof is computer assisted. It reduces to showing that an infinite matrix encoding Hankel determinants of the Paper-Folding sequence over $\mathbb{F}_3$, the so-called Number Wall of this sequence, can be obtained as a two-dimensional automatic tiling satisfying a finite number of suitable local constraints.

We study a family of symmetric polynomials that we refer to as the Boolean product polynomials. The motivation for studying these polynomials stems from the computation of the characteristic polynomial of the real matroid spanned by the nonzero vectors in $\mathbb{R}^n$ all of whose coordinates are either $0$ or $1$. To this end, one approach is to compute the zeros of the Boolean product polynomials over finite fields. The zero loci of these polynomials cut out hyperplane arrangements known as resonance arrangements, which show up in the context of double Hurwitz polynomials. By relating the Boolean product polynomials to certain total Chern classes of vector bundles, we establish their Schur-positivity by appealing to a result of Pragacz relying on earlier work on numerical positivity by Fulton-Lazarsfeld. Subsequently, we study a two-alphabet version of these polynomials from the viewpoint of Schur-positivity. As a special case of these polynomials, we recover symmetric functions first studied by Désarménien and Wachs in the context of descents in derangements.

We study $t$-designs of parameters $(n,k,λ)$ over finite fields as group divisible designs and set systems admitting a transitive action of a linear group encoded in an hypergraph $G$ whose vertex set of size $n$ is partitioned into sets of size $k$ in such a way that every $t$-subset is contained in at least $λ$ subsets of $G$. We relate the problem to the representation theory of the general linear group $\GL(n,\mathbb{F}_{q})$ and the constructions of AG codes over finite fields.

The minrank over a field $\mathbb{F}$ of a graph $G$ on the vertex set $\{1,2,\ldots,n\}$ is the minimum possible rank of a matrix $M \in \mathbb{F}^{n \times n}$ such that $M_{i,i} \neq 0$ for every $i$, and $M_{i,j}=0$ for every distinct non-adjacent vertices $i$ and $j$ in $G$. For an integer $n$, a graph $H$, and a field $\mathbb{F}$, let $g(n,H,\mathbb{F})$ denote the maximum possible minrank over $\mathbb{F}$ of an $n$-vertex graph whose complement contains no copy of $H$. In this paper we study this quantity for various graphs $H$ and fields $\mathbb{F}$. For finite fields, we prove by a probabilistic argument a general lower bound on $g(n,H,\mathbb{F})$, which yields a nearly tight bound of $Ω(\sqrt{n}/\log n)$ for the triangle $H=K_3$. For the real field, we prove by an explicit construction that for every non-bipartite graph $H$, $g(n,H,\mathbb{R}) \geq n^δ$ for some $δ= δ(H)>0$. As a by-product of this construction, we disprove a conjecture of Codenotti, Pudlák, and Resta. The results are motivated by questions in information theory, circuit complexity, and geometry.

Let $\mathbb{F}_q$ be the finite field of $q$ elements. In this paper we obtain bounds on the following counting problem: given a polynomial $f(x)\in \mathbb{F}_q[x]$ of degree $k+m$ and a non-negative integer $r$, count the number of polynomials $g(x)\in \mathbb{F}_q[x]$ of degree at most $k-1$ such that $f(x)+g(x)$ has exactly $r$ roots in $\mathbb{F}_q$. Previously, explicit formulas were known only for the cases $m=0, 1, 2$. As an application, we obtain an asymptotic formula on the list size of the standard Reed-Solomon code $[q, k, q-k+1]_q$.

We present a survey on Weil sums in which an additive character of a finite field $F$ is applied to a binomial whose individual terms (monomials) become permutations of $F$ when regarded as functions. Then we indicate how these Weil sums are used in applications, especially how they characterize the nonlinearity of power permutations and the correlation of linear recursive sequences over finite fields. In these applications, one is interested in the spectrum of Weil sum values that are obtained as the coefficients in the binomial are varied. We review the basic properties of such spectra, and then give a survey of current topics of research: Archimedean and non-Archimedean bounds on the sums, the number of values in the spectrum, and the presence or absence of zero in the spectrum. We indicate some important open problems and discuss progress that has been made on them.

In \cite{Castoldi}, $q^t \by (q+1)t$ ordered orthogonal arrays (OOAs) of strength $t$ over the alphabet $\FF_q$ were constructed using linear feedback shift register sequences (LFSRs) defined by {\em primitive} polynomials in $\FF_q[x]$. In this paper we extend this result to all polynomials in $\FF_q[x]$ which satisfy some fairly simple restrictions, restrictions that are automatically satisfied by primitive polynomials. While these restrictions sometimes reduce the number of columns produced from $(q+1)t$ to a smaller multiple of $t$, in many cases we still obtain the maximum number of columns in the constructed OOA when using non-primitive polynomials. For small values of $q$ and $t$, we generate OOAs in this manner for all permissible polynomials of degree $t$ in $\FF_q[x]$ and compare the results to the ones produced in \cite{Castoldi}, \cite{Rosenbloom} and \cite{Skriganov} showing how close the arrays are to being "full" orthogonal arrays. Unusually for finite fields, our arrays based on non-primitive irreducible and even reducible polynomials are closer to orthogonal arrays than those built from primitive polynomials.

The center $\mathscr{Z}_n(q)$ of the integral group algebra of the general linear group $GL_n(q)$ over a finite field admits a filtration with respect to the reflection length. We show that the structure constants of the associated graded algebras $\mathscr{G}_n(q)$ are independent of $n$, and this stability leads to a universal stable center with positive integer structure constants which governs the algebras $\mathscr{G}_n(q)$ for all $n$. Various structure constants of the stable center are computed and several conjectures are formulated. Analogous stability properties for symmetric groups and wreath products were established earlier by Farahat-Higman and the second author.

We prove an arithmetic regularity lemma for stable subsets of finite abelian groups, generalising our previous result for high-dimensional vector spaces over finite fields of prime order. A qualitative version of this generalisation was recently obtained by the first author in joint work with Conant and Pillay, using model-theoretic techniques. In contrast, the approach in the present paper is highly quantitative and relies on several key ingredients from arithmetic combinatorics.

The study of substructures in random objects has a long history, beginning with Erdős and Rényi's work on subgraphs of random graphs. We study the existence of certain substructures in random subsets of vector spaces over finite fields. First we provide a general framework which can be applied to establish coarse threshold results and prove a limiting Poisson distribution at the threshold scale. To illustrate our framework we apply our results to $k$-term arithmetic progressions, sums, right triangles, parallelograms and affine planes. We also find coarse thresholds for the property that a random subset of a finite vector space is sum-free, or is a Sidon set.

We relate two conjectures that play a central role in the reported proof of Rota's Conjecture. Let $\mathbb F$ be a finite field. The first conjecture states that: the branch-width of any $\mathbb F$-representable $N$-fragile matroid is bounded by a function depending only upon $\mathbb F$ and $N$. The second conjecture states that: if a matroid $M_2$ is obtained from a matroid $M_1$ by relaxing a circuit-hyperplane and both $M_1$ and $M_2$ are $\mathbb F$-representable, then the branch-width of $M_1$ is bounded by a function depending only upon $\mathbb F$. Our main result is that the second conjecture implies the first.

Let $\mathcal{S}$ be a commutative semigroup endowed with a binary associative operation $+$. An element $e$ of $\mathcal{S}$ is said to be idempotent if $e+e=e$. The {\sl Erdős-Burgess constant} of $\mathcal{S}$ is defined as the smallest $\ell\in \mathbb{N}\cup \{\infty\}$ such that any sequence $T$ of terms from $S$ and of length $\ell$ contains a nonempty subsequence the sum of whose terms is idempotent. Let $q$ be a prime power, and let $\F_q[x]$ be the polynomial ring over the finite field $\F_q$. Let $R=\F_q[x]\diagup K$ be a quotient ring of $\F_q[x]$ modulo any ideal $K$. We gave a sharp lower bound of the Erdős-Burgess constant of the multiplicative semigroup of the ring $R$, in particular, we determined the Erdős-Burgess constant in the case when $K$ is the power of a prime ideal or a product of pairwise distinct prime ideals in $\F_q[x]$.

Identifying codes in graphs have been widely studied since their introduction by Karpovsky, Chakrabarty and Levitin in 1998. In particular, there are a lot of results regarding the binary hypercubes, that is, the Hamming graphs $K_2^n$. In 2008, Gravier et al. started investigating identification in $K_q^2$. Goddard and Wash, in 2013, studied identifying codes in the general Hamming graphs $K_q^n$. They stated, for instance, that $γ^{ID}(K_q^n)\leq q^{n-1}$ for any $q$ and $n\geq3$. Moreover, they conjectured that $γ^{ID}(K_q^3)=q^2$. In this article, we show that $γ^{ID}(K_q^3)\leq q^2-q/4$ when $q$ is a power of four, disproving the conjecture. Our approach is based on the recursive use of suitable designs. Goddard and Wash also gave the following lower bound $γ^{ID}(K_q^3)\ge q^2-q\sqrt{q}$. We improve this bound to $γ^{ID}(K_q^3)\ge q^2-\frac{3}{2} q$. The conventional methods used for obtaining lower bounds on identifying codes do not help here. Hence, we provide a different technique building on the approach of Goddard and Wash. Moreover, we improve the above mentioned bound $γ^{ID}(K_q^n)\leq q^{n-1}$ to $γ^{ID}(K_q^n)\leq q^{n-k}$ for $n=3\frac{q^k-1}{q-1}$ when $q$ is a prime power. For this bound, we utilize suitable linear codes over finite fields and a class of closely related codes, namely, the self-locating-dominating codes. In addition, we show that the self-locating-dominating codes satisfy the result $γ^{SLD}(K_q^3)=q^2$ related to the above conjecture.

In 2005 Bourgain gave the first explicit construction of a two-source extractor family with min-entropy rate less than $1/2$. His approach combined Fourier analysis with innovative but inefficient tools from arithmetic combinatorics and yielded an unspecified min-entropy rate which was greater than $.499$. This remained essentially the state of the art until a 2015 breakthrough of Chattopadhyay and Zuckerman in which they gave an alternative approach which produced extractors with arbitrarily small min-entropy rate. In the current work, we revisit the Fourier analytic approach. We give an improved analysis of one of Bourgain's extractors which shows that it in fact extracts from sources with min-entropy rate near $\frac{21}{44} =.477\ldots$, moreover we construct a variant of this extractor which we show extracts from sources with min-entropy rate near $4/9 $ = $.444\ldots$. While this min-entropy rate is inferior to Chattopadhyay and Zuckerman's construction, our extractors have the advantage of exponential small error which is important in some applications. The key ingredient in these arguments is recent progress connected to the restriction theory of the finite field paraboloid by Rudnev and Shkredov. This in turn relies on a Rudnev's point-plane incidence estimate, which in turn relies on Kollár's generalization of the Guth-Katz incidence theorem.