arXiv++ Combinatorics

An $\ell$-cycle decomposition of a graph $G$ is a set of $\ell$-cycles in $G$ whose edge sets partition the edge set of $G$. The $\ell$-cycle decomposition threshold $δ_{C_\ell}$ is then the least real number such that any $n$-vertex graph $G$ with minimum degree at least $(δ_{C_\ell}+o(1))n$ has an $\ell$-cycle decomposition if and only if $\ell$ divides $|E(G)|$ and each vertex of $G$ has even degree. Nash-Williams' famous conjecture on triangle decompositions states, asymptotically, that $δ_{C_3}=\frac{3}{4}$. A very recent breakthrough result of Delcourt and Postle completely resolved this conjecture, however, Glock, Kühn, and Osthus have posed the problem of determining $δ_{C_\ell}$ for larger odd values of $\ell$ (the behaviour of $δ_{C_\ell}$ for even $\ell$ is different and well understood). A natural generalisation of Nash-Williams' conjecture implies that $δ_{C_\ell}=\frac{\ell}{2\ell-2}$ for all odd $\ell \geq 3$. Here we prove that this conjecture holds for all $\ell \geq 73$.

Let $H$ be a $k$-edge-coloured graph and let $n$ be a positive integer. What is the maximum number of copies of $H$ in a $k$-edge-coloured complete graph on $n$ vertices? This paper studies the case $k=2$, which we call the semi-inducibility problem. This problem is a generalisation of the inducibility problem of Pippenger and Golumbic which is solved only for some small graphs and limited families of graphs. We prove sharp or almost sharp results for alternating walks, for alternating cycles of length divisible by 4, and for 4-cycles of every colour pattern. Liu, Mubayi and Reiher asked whether there is a graph $F$ for which the binomial random graph is an asymptotically extremal graph in the inducibility problem over all graphs of a given edge density. This was recently answered in a strong negative sense by Jain, Michelen and Wei. In contrast, we find a \emph{quantum} graph $Q$ with positive coefficients and an interval of edge densities for which the only extremal graphs are quasirandom.

For positive integers $s,t,m$ and $n$, the Zarankiewicz number $z(m,n;s,t)$ is the maximum number of edges in a subgraph of $K_{m,n}$ that has no complete bipartite subgraph containing $s$ vertices in the part of size $m$ and $t$ vertices in the part of size $n$. The best general upper bound on Zarankiewicz numbers is a bound due to Roman that can be viewed as the optimal value of a simple linear program. Here we show that in many cases this bound can be improved by adding additional constraints to this linear program. This allows us to prove new upper bounds on Zarankiewicz numbers for many small parameter sets. We are also able to establish a new family of closed form upper bounds on $z(m,n;s,t)$ that captures much, but not all, of the power of the new constraints. This bound generalises a recent result of Chen, Horsley and Mammoliti that applied only in the case $s=2$.

A sequence covering array, denoted \textsf{SCA}$(N;t,v)$, is a set of $N$ permutations of $\{0, \dots, v-1 \}$ such that each sequence of $t$ distinct elements of $\{0, \dots, v-1\}$ reads left to right in at least one permutation. The minimum number of permutations such a sequence covering array can have is $t!$ and Levenshtein conjectured that if a sequence covering array with $t!$ permutations exists, then $v \in \{t,t+1\}$. In this paper, we prove that if an \textsf{SCA}$(7!;7,v)$ exists, then $v \leq 9$. We do this by analysing connections between sequence covering arrays and a special kind of covering array called an excess coverage array. A strength 2 excess coverage array, denoted \textsf{CA}$_{X}(N;2,k,v)$, is an $N \times k$ array with entries from $\{0, \dots, v - 1\}$ such that every ordered pair of distinct symbols appear at least once in each pair of columns and all other pairs appear at least twice. We demonstrate computationally that there is a unique \textsf{CA}$_{X}(42;2,5,6)$, and we prove that this array alone does not satisfy necessary conditions we establish for the existence of an \textsf{SCA}$(7!;7,10)$. Furthermore, we find the maximum possible number of columns for strength 2 excess coverage arrays with symbol sets of sizes between 2 and 6, and more broadly investigate binary excess coverage arrays.

An (edge) decomposition of a graph $G$ is a set of subgraphs of $G$ whose edge sets partition the edge set of $G$. Here we show, for each odd $\ell \geq 5$, that any graph $G$ of sufficiently large order $n$ with minimum degree at least $(\frac{1}{2}+\frac{1}{2\ell-4}+o(1))n$ has a decomposition into $\ell$-cycles if and only if $\ell$ divides $|E(G)|$ and each vertex of $G$ has even degree. This threshold cannot be improved beyond $\frac{1}{2}+\frac{1}{2\ell-2}$. It was previously shown that the thresholds approach $\frac{1}{2}$ as $\ell$ becomes large, but our thresholds do so significantly more rapidly. Our methods can be applied to tripartite graphs more generally and we also obtain some bounds for decomposition thresholds of other tripartite graphs.

A $k$-star is a complete bipartite graph $K_{1,k}$. A partial $k$-star design of order $n$ is a pair $(V,\mathcal{A})$ where $V$ is a set of $n$ vertices and $\mathcal{A}$ is a set of edge-disjoint $k$-stars whose vertex sets are subsets of $V$. If each edge of the complete graph with vertex set $V$ is in some star in $\mathcal{A}$, then $(V,\mathcal{A})$ is a (complete) $k$-star design. We say that $(V,\mathcal{A})$ is completable if there is a $k$-star design $(V,\mathcal{B})$ such that $\mathcal{A} \subseteq \mathcal{B}$. In this paper we determine, for all $k$ and $n$, the minimum number of stars in an uncompletable partial $k$-star design of order $n$.

Given positive integers $v$, $k$, $t$ and $λ$ with $v \geq k \geq t$, a packing design PD$_λ(v,k,t)$ is a pair $(V,\mathcal{B})$, where $V$ is a $v$-set and $\mathcal{B}$ is a collection of $k$-subsets of $V$ such that each $t$-subset of $V$ appears in at most $λ$ elements of $\mathcal{B}$. When $λ=1$, a PD$_1(v,k,t)$ is equivalent to a binary code with length $v$, minimum distance $2(k-t+1)$ and constant weight $k$. The maximum size of a PD$_λ(v,k,t)$ is called the {packing number}, denoted PDN$_λ(v,k,t)$. In this paper we consider packing designs with $k$ large relative to $v$. We prove that for a positive integer $n$, PDN$_λ(v,k,t) = n$ whenever $nk-(t-1)\binom{n}{λ+1} \leq λv < (n+1)k-(t-1)\binom{n+1}{λ+1}$. We also prove that if no point appears in more than three blocks, then the blocks of a PD$_2(v,k,2)$ can be ordered so that no ordered pair occurs more than once. This produces a directed packing design and we show that the corresponding directed packing number is equal to $n$ when $nk-\binom{n}{3} \leq 2v < (n+1)k-\binom{n+1}{3}$. Such directed packing designs yield $(k-t)$-insertion/deletion codes.

We address the last outstanding case of the directed Oberwolfach problem with two tables of different lengths. Specifically, we show that the complete symmetric directed graph $K^*_n$ admits a decomposition into spanning subdigraphs comprised of two vertex-disjoint directed cycles of length $t_1$ and $t_2$, respectively, where $t_1\in \{4,6\}$, $t_2$ is even, and $t_1+t_2\geqslant 14$. In conjunction with recent results of Kadri and Šajna, this gives a complete solution to the directed Oberwolfach problem with two tables of different lengths.

For positive integers $m$ and $n$, the Zarankiewicz number $Z_{2,2}(m,n)$ can be defined as the maximum total degree of a linear hypergraph with $m$ vertices and $n$ edges. Guy determined $Z_{2,2}(m,n)$ for all $n \geq \binom{m}{2}/3+O(m)$. Here, we extend this by determining $Z_{2,2}(m,n)$ for all $n \geq \binom{m}{2}/3$ and, when $m$ is large, for all $n \geq \binom{m}{2}/6+O(m)$.

In situations where every item in a data set must be compared with every other item in the set, it may be desirable to store the data across a number of machines in such a way that any two data items are stored together on at least one machine. One way to evaluate the efficiency of such a distribution is by the largest fraction of the data it requires to be allocated to any one machine. The all-to-all comparison (ATAC) data limit for $m$ machines is a measure of the minimum of this value across all possible such distributions. In this paper we further the study of ATAC data limits. We observe relationships between them and the previously studied combinatorial parameters of fractional matching numbers and covering numbers. We also prove a lower bound on the ATAC data limit that improves on one of Hall, Kelly and Tian, and examine the special cases where equality in this bound is possible. Finally, we investigate the data limits achievable using various classes of combinatorial designs. In particular, we examine the cases of transversal designs and projective Hjelmslev planes.

Let $\mathcal{F}$ be a family of subsets of a ground set $\{1,\ldots,n\}$ with $|\mathcal{F}|=m$, and let $\mathcal{F}^{\updownarrow}$ denote the family of all subsets of $\{1,\ldots,n\}$ that are subsets or supersets of sets in $\mathcal{F}$. Here we determine the minimum value that $|\mathcal{F}^{\updownarrow}|$ can attain as a function of $n$ and $m$. This can be thought of as a `two-sided' Kruskal-Katona style result. It also gives a solution to the isoperimetric problem on the graph whose vertices are the subsets of $\{1,\ldots,n\}$ and in which two vertices are adjacent if one is a subset of the other. This graph is a supergraph of the $n$-dimensional hypercube and we note some similarities between our results and Harper's theorem, which solves the isoperimetric problem for hypercubes. In particular, analogously to Harper's theorem, we show there is a total ordering of the subsets of $\{1,\ldots,n\}$ such that, for each initial segment $\mathcal{F}$ of this ordering, $\mathcal{F}^{\updownarrow}$ has the minimum possible size. Our results also answer a question that arises naturally out of work of Gerbner et al. on cross-Sperner families and allow us to strengthen one of their main results.

For positive integers $s$, $t$, $m$ and $n$, the Zarankiewicz number $Z_{s,t}(m,n)$ is defined to be the maximum number of edges in a bipartite graph with parts of sizes $m$ and $n$ that has no complete biparitite subgraph containing $s$ vertices in the part of size $m$ and $t$ vertices in the part of size $n$. A simple argument shows that, for each $t \geq 2$, $Z_{2,t}(m,n)=(t-1)\binom{m}{2}+n$ when $n \geq (t-1)\binom{m}{2}$. Here, for large $m$, we determine the exact value of $Z_{2,t}(m,n)$ in almost all of the remaining cases where $n=Θ(tm^2)$. We establish a new family of upper bounds on $Z_{2,t}(m,n)$ which complement a family already obtained by Roman. We then prove that the floor of the best of these bounds is almost always achieved. We also show that there are cases in which this floor cannot be achieved and others in which determining whether it is achieved is likely a very hard problem. Our results are proved by viewing the problem through the lens of linear hypergraphs and our constructions make use of existing results on edge decompositions of dense graphs.

A partial $(n,k,t)_λ$-system is a pair $(X,\mathcal{B})$ where $X$ is an $n$-set of vertices and $\mathcal{B}$ is a collection of $k$-subsets of $X$ called blocks such that each $t$-set of vertices is a subset of at most $λ$ blocks. A sequencing of such a system is a labelling of its vertices with distinct elements of $\{0,\ldots,n-1\}$. A sequencing is $\ell$-block avoiding or, more briefly, $\ell$-good if no block is contained in a set of $\ell$ vertices with consecutive labels. Here we give a short proof that, for fixed $k$, $t$ and $λ$, any partial $(n,k,t)_λ$-system has an $\ell$-good sequencing for some $\ell=Θ(n^{1/t})$ as $n$ becomes large. This improves on results of Blackburn and Etzion, and of Stinson and Veitch. Our result is perhaps of most interest in the case $k=t+1$ where results of Kostochka, Mubayi and Verstraëte show that the value of $\ell$ cannot be increased beyond $Θ((n \log n)^{1/t})$. A special case of our result shows that every partial Steiner triple system (partial $(n,3,2)_1$-system) has an $\ell$-good sequencing for each positive integer $\ell \leq 0.0908\,n^{1/2}$.

A $k$-star is a complete bipartite graph $K_{1,k}$. For a graph $G$, a $k$-star decomposition of $G$ is a set of $k$-stars in $G$ whose edge sets partition the edge set of $G$. If we weaken this condition to only demand that each edge of $G$ is in at most one $k$-star, then the resulting object is a partial $k$-star decomposition of $G$. An embedding of a partial $k$-star decomposition $\mathcal{A}$ of a graph $G$ is a partial $k$-star decomposition $\mathcal{B}$ of another graph $H$ such that $\mathcal{A} \subseteq \mathcal{B}$ and $G$ is a subgraph of $H$. This paper considers the problem of when a partial $k$-star decomposition of $K_n$ can be embedded in a $k$-star decomposition of $K_{n+s}$ for a given integer $s$. We improve a result of Noble and Richardson, itself an improvement of a result of Hoffman and Roberts, by showing that any partial $k$-star decomposition of $K_n$ can be embedded in a $k$-star decomposition of $K_{n+s}$ for some $s$ such that $s < \frac{9}{4}k$ when $k$ is odd and $s < (6-2\sqrt{2})k$ when $k$ is even. For general $k$, these constants cannot be improved. We also obtain stronger results subject to placing a lower bound on $n$.

Column replacement techniques for creating covering arrays rely on the construction of perfect and distributing hash families with few rows, having as many columns as possible for a specified number of symbols. To construct distributing hash families in which the number of rows is less than the strength, we examine a method due to Blackburn and extend it in three ways. First, the method is generalized from homogeneous hash families (in which every row has the same number of symbols) to heterogeneous ones. Second, the extension treats distributing hash families, in which only separation into a prescribed number of parts is required, rather than perfect hash families, in which columns must be completely separated. Third, the requirements on one of the main ingredients are relaxed to permit the use of a large class of distributing hash families, which we call fractal. Constructions for fractal perfect and distributing hash families are given, and applications to the construction of perfect hash families of large strength are developed.

When $k$ factors each taking one of $v$ levels may affect the correctness or performance of a complex system, a test is selected by setting each factor to one of its levels and determining whether the system functions as expected (passes the test) or not (fails). In our setting, each test failure can be attributed to at least one faulty (factor, level) pair. A nonadaptive test suite is a selection of such tests to be executed in parallel. One goal is to minimize the number of tests in a test suite from which we can determine which (factor, level) pairs are faulty, if any. In this paper, we determine the number of tests needed to locate faults when exactly one (or at most one) pair is faulty. To do this, we address an equivalent problem, to determine how many set partitions of a set of size $N$ exist in which each partition contains $v$ classes and no two classes in the partitions are equal.

An $(n,k)$-Sperner partition system is a set of partitions of some $n$-set such that each partition has $k$ nonempty parts and no part in any partition is a subset of a part in a different partition. The maximum number of partitions in an $(n,k)$-Sperner partition system is denoted $\mathrm{SP}(n,k)$. In this paper we introduce a new construction for Sperner partition systems based on a division of the ground set into many equal-sized parts. We use this to asymptotically determine $\mathrm{SP}(n,k)$ in many cases where $\frac{n}{k}$ is bounded as $n$ becomes large. Further, we show that this construction produces a Sperner partition system of maximum size for numerous small parameter sets $(n,k)$. By extending a separate existing construction, we also establish the asymptotics of $\mathrm{SP}(n,k)$ when $n \equiv k \pm 1 \pmod{2k}$ for almost all odd values of $k$.

In this article we construct uncountably many new homogeneous locally finite Steiner triple systems of countably infinite order as Fraïssé limits of classes of finite Steiner triple systems avoiding certain subsystems. The construction relies on a new embedding result: any finite partial Steiner triple system has an embedding into a finite Steiner triple system that contains no nontrivial proper subsystems that are not subsystems of the original partial system. Fraïssé's construction and its variants are rich sources of examples that are central to model-theoretic classification theory, and recently infinite Steiner systems obtained via Fraïssé-type constructions have received attention from the model theory community.

For positive integers $n$ and $k$ with $n \geq k$, an $(n,k,1)$-design is a pair $(V, \mathcal{B})$ where $V$ is a set of $n$ points and $\mathcal{B}$ is a collection of $k$-subsets of $V$ called blocks such that each pair of points occur together in exactly one block. If we weaken this condition to demand only that each pair of points occur together in at most one block, then the resulting object is a partial $(n,k,1)$-design. A completion of a partial $(n,k,1)$-design $(V,\mathcal{A})$ is a (complete) $(n,k,1)$-design $(V,\mathcal{B})$ such that $\mathcal{A} \subseteq \mathcal{B}$. Here, for all sufficiently large $n$, we determine exactly the minimum number of blocks in an uncompletable partial $(n,k,1)$-design. This result is reminiscent of Evans' now-proved conjecture on completions of partial latin squares. We also prove some related results concerning edge decompositions of almost complete graphs into copies of $K_k$.

Novák conjectured in 1974 that for any cyclic Steiner triple systems of order $v$ with $v\equiv 1\pmod{6}$, it is always possible to choose one block from each block orbit so that the chosen blocks are pairwise disjoint. We consider the generalization of this conjecture to cyclic $(v,k,λ)$-designs with $1 \leq λ\leq k-1$. Superimposing multiple copies of a cyclic symmetric design shows that the generalization cannot hold for all $v$, but we conjecture that it holds whenever $v$ is sufficiently large compared to $k$. We confirm that the generalization of the conjecture holds when $v$ is prime and $λ=1$ and also when $λ\leq (k-1)/2$ and $v$ is sufficiently large compared to $k$. As a corollary, we show that for any $k \geq 3$, with the possible exception of finitely many composite orders $v$, every cyclic $(v,k,1)$-design without short orbits is generated by a $(v,k,1)$-disjoint difference family.