arXiv++ Combinatorics

Majorization is a fundamental tool for comparing how "spread out" the entries of two vectors are. Key majorization results were obtained for the integers by Hardy, Littlewood and Pólya and for $\mathbb{Z}_p$ by Lev. In this paper, we establish a powerful majorization theorem in $\mathbb{Z}_2^n$ that is an analogue of Lev's result in $\mathbb{Z}_p$. Our proof is based on a novel use of a compression argument that optimizes certain sums of additive representation counts. Our majorization theorem has several applications in additive combinatorics. We resolve the question: given subsets $A_1,\ldots,A_k\subseteq\mathbb{Z}_2^n$ of prescribed sizes, when is the function $r_k(A_1,\ldots,A_k)$, which counts the number of additive $k$-tuples in $A_1\times\cdots\times A_k$, maximized? We establish the corresponding minimization result and a characterization of all extremizers for $r_k(A,\ldots,A)$ when $k$ is odd. When $k=3$, this quantity is the number of Schur triples in $A$; as a special case, we recover a theorem of Samotij and Sudakov on Schur triples. We also obtain a convexity inequality and use it to prove an analogue of Pollard's theorem that strengthens and extends a well-known result of Bollobás and Leader in the $\mathbb{Z}_2^n$ setting.

Skew partial difference sets (skew PDSs) are recently-introduced combinatorial objects closely related to partial difference sets (PDSs). To date, only one construction approach for non-trivial skew PDSs is known, using bent partitions: this produces examples of Latin square type. In this paper we show that these examples are not an isolated phenomenon; we present new constructions for families of skew PDSs using cyclotomy in finite fields. We provide the first constructions for skew PDSs of Paley type, and new constructions for Latin square type (with different parameters to those from bent partitions). Moreover, we show how skew PDSs relate to disjoint and external partial difference families (DPDFs/EPDFs), and provide new cyclotomic constructions of both standard and relative DPDFs and EPDFs.

Digraph-defined external difference families were recently introduced as a natural generalization of several well-studied combinatorial objects motivated by cryptography (e.g. external difference families (EDFs) and circular external difference families (CEDFs)). In this paper, we develop a systematic framework for using various types of vertex-labellings for graphs and digraphs to create digraph-defined external difference families. The approach is to combine suitable vertex-labellings (generalizations of $α$-valuations, namely near $α$-valuations and oriented near $α$-valuations) with a graph blow-up technique. Many new families are produced, including the first explicit construction for an infinite family of $2$-CEDFs, achieving all parameter sets for $(n,m,l;1)$-$2$-CEDFs with $m \equiv 0 \mod 4$ sets. Further, new results arise for graph labellings themselves (e.g. cyclotomy-based near $α$-valuations for a family of trees without $α$-valuations, and an $α$-valuation for sun graphs).

Intersection distribution and non-hitting index are concepts introduced recently by Li and Pott as a new way to view the behaviour of a collection of finite field polynomials. With both an algebraic interpretation via the intersection of a polynomial with a set of lines, and a geometric interpretation via a $(q+1)$-set possessing an internal nucleus, the concepts have proved their usefulness as a new way to view various long-standing problems, and have applications in areas such as Kakeya sets. In this paper, by exploiting connections with diverse areas including the theory of algebraic curves, cyclotomy and the enumeration of irreducible polynomials, we establish new results and resolve various Open Problems of Li and Pott. We prove geometric results which shed new light on the relationship between intersection distribution and projective equivalence of polynomials, and algebraic results which describe and characterise the degree of $S_f$ - the index of the largest non-zero entry in the intersection distribution of $f$. We provide new insights into the non-hitting spectrum, and show the limitations of the non-hitting index as a tool for characterisation. Finally, the benefits provided by the connections to other areas are evidenced in two short new proofs of the cubic case.

External difference families (EDFs) are combinatorial objects which were introduced in the early 2000s, motivated by information security applications such as the construction of AMD codes. Various generalizations have since been defined and investigated, in particular strong external difference families (SEDFs) and circular external difference families (CEDFs). In this paper, we present a framework based on graphs and digraphs which offers a new unified way to view these structures, and leads to natural new research questions. We present constructions and structural results about these digraph-defined EDFs, and we obtain new explicit constructions for infinite families of CEDFs, in particular $(ml^2+1,m,l,1)$-CEDFs. Our techniques include cyclotomy in finite fields and direct constructions in cyclic groups and direct products of cyclic groups. We construct the first infinite family of such CEDFs in non-cyclic abelian groups; these have odd values of $m$ and $l$. We also present the first CEDF in a non-abelian group.

We construct two families of strongly regular Cayley graphs, or equivalently, partial difference sets, based on elementary abelian groups. The parameters of these two families are generalizations of the Denniston and the dual Denniston parameters, in contrast to the well known Latin square type and negative Latin square type parameters. The two families unify and subsume a number of existing constructions which have been presented in various contexts such as strongly regular graphs, partial difference sets, projective sets, and projective two-weight codes, notably including Denniston's seminal construction concerning maximal arcs in classical projective planes with even order. Our construction generates further momentum in this area, which recently saw exciting progress on the construction of the analogue of the famous Denniston partial difference sets in odd characteristic.

Optical orthogonal codes (OOCs) are sets of $(0,1)$-sequences with good auto- and cross-correlation properties. They were originally introduced for use in multi-access communication, particularly in the setting of optical CDMA communications systems. They can also be formulated in terms of families of subsets of $\mathbb{Z}_v$, where the correlation properties can be expressed in terms of conditions on the internal and external differences within and between the subsets. With this link there have been many studies on their combinatorial properties. However, in most of these studies it is assumed that the auto- and cross-correlation values are equal; in particular, many constructions focus on the case where both correlation values are $1$. This is not a requirement of the original communications application. In this paper, we "decouple" the two correlation values and consider the situation with correlation values greater than $1$. We consider the bounds on each of the correlation values, and the structural implications of meeting these separately, as well as associated links with other combinatorial objects. We survey definitions, properties and constructions, establish some new connections and concepts, and discuss open questions.

Cyclotomy, the study of cyclotomic classes and cyclotomic numbers, is an area of number theory first studied by Gauss. It has natural applications in discrete mathematics and information theory. Despite this long history, there are significant limitations to what is known explicitly about cyclotomic numbers, which limits the use of cyclotomy in applications. The main explicit tool available is that of uniform cyclotomy, introduced by Baumert, Mills and Ward in 1982. In this paper, we present an extension of uniform cyclotomy which gives a direct method for evaluating all cyclotomic numbers over $GF(q^n)$ of order dividing $(q^n-1)/(q-1)$, for any prime power $q$ and $n \geq 2$, which does not use character theory nor direct calculation in the field. This allows the straightforward evaluation of many cyclotomic numbers for which other methods are unknown or impractical. Our methods exploit connections between cyclotomy, Singer difference sets and finite geometry.

Let $p$ be an odd prime. For nontrivial proper subsets $A,B$ of $\mathbb{Z}_p$ of cardinality $s,t$, respectively, we count the number $r(A,B,B)$ of additive triples, namely elements of the form $(a, b, a+b)$ in $A \times B \times B$. For given $s,t$, what is the spectrum of possible values for $r(A,B,B)$? In the special case $A=B$, the additive triple is called a Schur triple. Various authors have given bounds on the number $r(A,A,A)$ of Schur triples, and shown that the lower and upper bound can each be attained by a set $A$ that is an interval of $s$ consecutive elements of $\mathbb{Z}_p$. However, there are values of $p,s$ for which not every value between the lower and upper bounds is attainable. We consider here the general case where $A,B$ can be distinct. We use Pollard's generalization of the Cauchy-Davenport Theorem to derive bounds on the number $r(A,B,B)$ of additive triples. In contrast to the case $A=B$, we show that every value of $r(A,B,B)$ from the lower bound to the upper bound is attainable: each such value can be attained when $B$ is an interval of $t$ consecutive elements of $\mathbb{Z}_p$.

Classical strong external difference families (SEDFs) are much-studied combinatorial structures motivated by information security applications; it is conjectured that only one classical abelian SEDF exists with more than two sets. Recently, non-disjoint SEDFs were introduced; it was shown that families of these exist with arbitrarily many sets. We present constructions for both classical and non-disjoint SEDFs, which encompass all known non-cyclotomic examples for either type (plus many new examples) using a sequence-based framework. Moreover, we introduce a range of new external difference structures (allowing set-sizes to vary, and sets to be replaced by multisets) in both the classical and non-disjoint case, and show how these may be applied to various communications applications.

Denniston constructed partial difference sets (PDSs) with the parameters $(2^{3m}, (2^{m+r} - 2^m + 2^r)(2^m-1), 2^m-2^r+(2^{m+r}-2^m+2^r)(2^r-2), (2^{m+r}-2^m+2^r)(2^r-1))$ in elementary abelian groups of order $2^{3m}$ for all $m \geq 2, 1 \leq r < m$. These correspond to maximal arcs in Desarguesian projective planes of even order. In this paper, we show that - although maximal arcs do not exist in Desarguesian projective planes of odd order - PDSs with the Denniston parameters $(p^{3m}, (p^{m+r} - p^m + p^r)(p^m-1), p^m-p^r+(p^{m+r}-p^m+p^r)(p^r-2), (p^{m+r}-p^m+p^r)(p^r-1))$ exist in all elementary abelian groups of order $p^{3m}$ for all $m \geq 2, r \in \{1, m-1\}$ where $p$ is an odd prime, and present a construction. Our approach uses PDSs formed as unions of cyclotomic classes.

Strong external difference families (SEDFs) are much-studied combinatorial objects motivated by an information security application. A well-known conjecture states that only one abelian SEDF with more than 2 sets exists. We show that if the disjointness condition is replaced by non-disjointness, then abelian SEDFs can be constructed with more than 2 sets (indeed any number of sets). We demonstrate that the non-disjoint analogue has striking differences to, and connections with, the classical SEDF and arises naturally via another coding application.

We introduce the concept of a disjoint partial difference family (DPDF) and an external partial difference family (EPDF), a natural generalisation of the much-studied structures of disjoint difference family (DDF), external difference family (EDF) and partial difference set (PDS). We establish properties and constructions, and indicate connections to other recently-studied combinatorial structures. We show how DPDFs and EPDFs may be formed from collections of PDSs, and also present cyclotomic methods yielding DPDFs and EPDFs whose component sets are not in general PDSs. As part of this, we develop a unified framework encompassing various known constructions for cyclotomic difference structures, which also yields new results on DDFs and EDFs.

Strong external difference families (SEDFs) have applications to cryptography and are rich combinatorial structures in their own right; until now, all SEDFs have been in abelian groups. In this paper, we consider SEDFs in both abelian and non-abelian groups. We characterize the order of groups possessing admissible parameters for non-trivial SEDFs, develop non-existence and existence results, several of which extend known results, and present the first family of non-abelian SEDFs. We introduce the concept of equivalence for EDFs and SEDFs, and begin the task of enumerating SEDFs. Complete results are presented for all groups up to order $24$, underpinned by a computational approach.

A collection of disjoint subsets ${\cal A}=\{A_1,A_2,\dotsc,A_m\}$ of a finite abelian group is said to have the \emph{bimodal} property if, for any non-zero group element $δ$, either $δ$ never occurs as a difference between an element of $A_i$ and an element of some other set $A_j$, or else for every element $a_i$ in $A_i$ there is an element $a_j\in A_j$ for some $j\neq i$ such that $a_i-a_j=δ$. This property arises in various familiar situations, such as the cosets of a fixed subgroup or in a group partition, and has applications to the construction of optimal algebraic manipulation detection (AMD) codes. In this paper, we obtain a structural characterisation for bimodal collections of sets.

In this paper, we provide a mathematical framework for characterizing AMD codes that are R-optimal. We introduce a new combinatorial object, the reciprocally-weighted external difference family (RWEDF), which corresponds precisely to an R-optimal weak AMD code. This definition subsumes known examples of existing optimal codes, and also encompasses combinatorial objects not covered by previous definitions in the literature. By developing structural group-theoretic characterizations, we exhibit infinite families of new RWEDFs, and new construction methods for known objects such as near-complete EDFs. Examples of RWEDFs in non-abelian groups are also discussed.

We consider strong external difference families (SEDFs); these are external difference families satisfying additional conditions on the patterns of external diferences that occur, and were first defined in the context of classifying optimal strong algebraic manipulation detection codes. We establish new necessary conditions for the existence of (n; m; k; lambda)-SEDFs; in particular giving a near-complete treatment of the lambda = 2 case. For the case m = 2, we obtain a structural characterization for partition type SEDFs (of maximum possible k and lambda), showing that these correspond to Paley partial difference sets. We also prove a version of our main result for generalized SEDFs, establishing non-trivial necessary conditions for their existence.

In this paper we consider the question of well quasi-order for classes defined by a single obstruction within the classes of all graphs, digraphs and tournaments, under the homomorphic image ordering (in both its standard and strong forms). The homomorphic image ordering was introduced by the authors in a previous paper and corresponds to the existence of a surjective homomorphism between two structures. We obtain complete characterizations in all cases except for graphs under the strong ordering, where some open questions remain.

For an interval [1,N] in the natural numbers, investigating subsets S of [1,N] such that |{(x,y) in S^2:x+y in S}|=0, known as sum-free sets, has attracted considerable attention. In this paper, we define r(S):=|{(x,y) in S^2: x+y in S}| and consider its behaviour as S ranges over the subsets of [1,N]. We obtain a comprehensive description of the spectrum of attainable r-values for the s-sets of [1,N], constructive existence results and structural characterizations for sets attaining extremal and near-extremal values.

A simple permutation is one that does not map a nontrivial interval onto an interval. It was recently proved by Albert and Atkinson that a permutation class with only finitely simple permutations has an algebraic generating function. We extend this result to enumerate permutations in such a class satisfying additional properties, e.g., the even permutations, the involutions, the permutations avoiding generalised permutations, and so on.