arXiv++ Combinatorics

In 1963, Anton Kotzig conjectured that for each $n \geq 2$ the complete graph $K_{2n}$ has a perfect one-factorisation (i.e., a decomposition into perfect matchings such that each pair of perfect matchings of the decomposition induces a Hamilton cycle). We affirmatively settle the smallest unresolved case for this conjecture.

A fundamental problem of extremal graph theory is to ask, 'What is the maximum number of edges in an $F$-free graph on $n$ vertices?' Recently Alon and Shikhelman proposed a more general, subgraph counting, version of this question. They considered the question of determining the maximum number of copies of a fixed graph $T$ in an $F$-free graph on $n$ vertices. In this more general context, where we are no longer counting edges, it is also natural to ask what is the maximum number of copies of $T$ in an $F$-free graph with $m$ edges and no restriction on the number of vertices. Frohmader, in a different context, determined the answer when $T$ and $F$ are both complete graphs. We prove results for this problem analogous to the Erdős--Stone theorem, the Erdős--Simonovits theorem, and the stability theorem of Erdős--Simonovits.

The global structure of the minimal spanning tree (MST) is expected to be universal for a large class of underlying random discrete structures. However, very little is known about the intrinsic geometry of MSTs of most standard models, and so far the scaling limit of the MST viewed as a metric measure space has only been identified in the case of the complete graph [5]. In this work, we show that the MST constructed by assigning i.i.d. continuous edge-weights to either the random (simple) $3$-regular graph or the $3$-regular configuration model on $n$ vertices, endowed with the tree distance scaled by $n^{-1/3}$ and the uniform probability measure on the vertices, converges in distribution with respect to Gromov-Hausdorff-Prokhorov topology to a random compact metric measure space. Further, this limiting space has the same law as the scaling limit of the MST of the complete graph identified in [5] up to a scaling factor of $6^{1/3}$. Our proof relies on a novel argument that proceeds via a comparison between a $3$-regular configuration model and the largest component in the critical Erdős-Rényi random graph. The techniques of this paper can be used to establish the scaling limit of the MST in the setting of general random graphs with given degree sequences provided two additional technical conditions are verified.

Let $F$ be a $2$-regular graph of order $v$. The Oberwolfach problem, $OP(F)$, asks for a $2$-factorization of the complete graph on $v$ vertices in which each $2$-factor is isomorphic to $F$. In this paper, we give a complete solution to the Oberwolfach problem over infinite complete graphs, proving the existence of solutions that are regular under the action of a given involution free group $G$. We will also consider the same problem in the more general contest of graphs $F$ that are spanning subgraphs of an infinite complete graph $\mathbb{K}$ and we provide a solution when $F$ is locally finite. Moreover, we characterize the infinite subgraphs $L$ of $F$ such that there exists a solution to $OP(F)$ containing a solution to $OP(L)$.

The Hamilton-Waterloo Problem HWP$(v;m,n;α,β)$ asks for a 2-factorization of the complete graph $K_v$ or $K_v-I$, the complete graph with the edges of a 1-factor removed, into $α$ $C_m$-factors and $β$ $C_n$-factors, where $3 \leq m < n$. In the case that $m$ and $n$ are both even, the problem has been solved except possibly when $1 \in \{α,β\}$ or when $α$ and $β$ are both odd, in which case necessarily $v \equiv 2 \pmod{4}$. In this paper, we develop a new construction that creates factorizations with larger cycles from existing factorizations under certain conditions. This construction enables us to show that there is a solution to HWP$(v;2m,2n;α,β)$ for odd $α$ and $β$ whenever the obvious necessary conditions hold, except possibly if $β=1$; $β=3$ and $\gcd(m,n)=1$; $α=1$; or $v=2mn/\gcd(m,n)$. This result almost completely settles the existence problem for even cycles, other than the possible exceptions noted above.

A heterochromatic (or rainbow) graph is an edge-colored graph whose edges have distinct colors, that is, where each color appears at most once. In this paper, I propose a $(g,f)$-chromatic graph as an edge-colored graph where each color $c$ appears at least $g(c)$ times and at most $f(c)$ times. I also present a necessary and sufficient condition for edge-colored graphs (not necessary to be proper) to have a $(g,f)$-chromatic spanning tree. Using this criterion, I show that an edge-colored complete graph $G$ has a spanning tree with a color probability distribution `similar' to that of $G$. Moreover, I conjecture that an edge-colored complete graph $G$ of order $2n$ $(n \ge 3)$ can be partitioned into $n$ edge-disjoint spanning trees such that each has a color probability distribution `similar' to that of $G$.

A cycle of length $t$ in a hypergraph is an alternating sequence $v_1,e_1,v_2\dots,v_t,e_t$ of distinct vertices $v_i$ and distinct edges $e_i$ so that $\{v_i,v_{i+1}\}\subseteq e_i$ (with $v_{t+1}:=v_1$). Let $λK_n^h$ be the $λ$-fold $n$-vertex complete $h$-graph. Let $\mathcal G=(V,E)$ be a hypergraph all of whose edges are of size at least $h$, and $2\leq c_1\leq \dots\leq c_k\leq |V|$. In order to partition the edge set of $\mathcal G$ into cycles of specified lengths $c_1, \dots, c_k$, an obvious necessary condition is that $\sum_{i=1}^k c_i=|E|$. We show that this condition is sufficient in the following cases: (i) $h\geq \max\{c_k, \lceil n/2 \rceil+1\}$; (ii) $\mathcal G=λK_n^h$, $h\geq \lceil n/2 \rceil+2$; (iii) $\mathcal G=K_n^h$, $c_1= \dots=c_k:=c$, $c|n(n-1), n\geq 85$. In (ii), we guarantee that each cycle is almost regular. In (iii), we also solve the case where a "small" subset $L$ of edges of $K_n^h$ is removed.

We construct new resolvable decompositions of complete multigraphs and complete equipartite multigraphs into cycles of variable lengths (and a perfect matching if the vertex degrees are odd). We develop two techniques: {\em layering}, which allows us to obtain 2-factorizations of complete multigraphs from existing 2-factorizations of complete graphs, and {\em detachment}, which allows us to construct resolvable cycle decompositions of complete equipartite multigraphs from existing resolvable cycle decompositions of complete multigraphs. These techniques are applied to obtain new 2-factorizations of a specified type for both complete multigraphs and complete equipartite multigraphs, with the emphasis on new solutions to the Oberwolfach Problem and the Hamilton-Waterloo Problem. In addition, we show existence of some $α$-resolvable cycle decompositions.

For an integer $q\ge 2$, a graph $G$ is called $q$-Ramsey for a graph $H$ if every $q$-colouring of the edges of $G$ contains a monochromatic copy of $H$. If $G$ is $q$-Ramsey for $H$, yet no proper subgraph of $G$ has this property then $G$ is called $q$-Ramsey-minimal for $H$. Generalising a statement by Burr, Nešetřil and Rödl from 1977 we prove that, for $q\ge 3$, if $G$ is a graph that is not $q$-Ramsey for some graph $H$ then $G$ is contained as an induced subgraph in an infinite number of $q$-Ramsey-minimal graphs for $H$, as long as $H$ is $3$-connected or isomorphic to the triangle. For such $H$, the following are some consequences. (1) For $2\le r< q$, every $r$-Ramsey-minimal graph for $H$ is contained as an induced subgraph in an infinite number of $q$-Ramsey-minimal graphs for $H$. (2) For every $q\ge 3$, there are $q$-Ramsey-minimal graphs for $H$ of arbitrarily large maximum degree, genus, and chromatic number. (3) The collection $\{{\cal M}_q(H) : H \text{ is 3-connected or } K_3\}$ forms an antichain with respect to the subset relation, where ${\cal M}_q(H)$ denotes the set of all graphs that are $q$-Ramsey-minimal for $H$. We also address the question which pairs of graphs satisfy ${\cal M}_q(H_1)={\cal M}_q(H_2)$, in which case $H_1$ and $H_2$ are called $q$-equivalent. We show that two graphs $H_1$ and $H_2$ are $q$-equivalent for even $q$ if they are $2$-equivalent, and that in general $q$-equivalence for some $q\ge 3$ does not necessarily imply $2$-equivalence. Finally we indicate that for connected graphs this implication may hold: Results by Nešetřil and Rödl and by Fox, Grinshpun, Liebenau, Person and Szabó imply that the complete graph is not $2$-equivalent to any other connected graph. We prove that this is the case for an arbitrary number of colours.

We prove the extremal function for $K_9^=$ minors, where $K_9^=$ denotes the complete graph $K_9$ with two edges removed. In particular, we show that any graph with $n$ vertices and at least $6n - 20$ edges either contains a $K_9^=$ minor or is isomorphic to a graph obtained from disjoint copies of $K_8$ and $K_{2, 2, 2, 2, 2}$ by identifying cliques of size 5. We utilize computer assistance to prove one of our lemmas.

Hadwiger's conjecture claims that any graph with no $K_t$ minor is $(t - 1)$-colorable. This has been proved for $t \le 6$, but remains open for $t \ge 7$. As a variant of this conjecture, graphs with no $K_t^=$ minor have been considered, where $K_t^=$ denotes the complete graph with two edges removed. It has been shown that graphs with no $K_t^=$ minor are $(2t - 8)$-colorable for $t \in \{7, 8\}$. In this paper, we extend this result to the case $t = 9$ and show that graphs with no $K_9^=$ minor are $10$-colorable.

The unitary Cayley graph of $\mathbb{Z}/n\mathbb{Z}$, denoted $X_n$, is the graph on $\{0,\dots,n-1\}$ where vertices $a$ and $b$ are adjacent if and only if $\gcd(a-b,n) = 1$. We answer a question of Defant and Iyer by constructing a family of infinitely many integers $n$ such that $γ_t(X_n) \leq g(n) - 2$, where $γ_t$ denotes the total domination number and $g$ denotes the Jacobsthal function. We determine the irredundance number, domination number, and lower independence number of certain direct products of complete graphs and give bounds for these parameters for any direct product of complete graphs. We provide upper bounds on the size of irredundant sets in direct products of balanced, complete multipartite graphs which are asymptotically correct for the unitary Cayley graphs of integers with a bounded smallest prime factor.

Generalizing previous work of Hora (1998) on the asymptotic spectral analysis for the Hamming graph $H(n,q)$ which is the $n^{\mathrm{th}}$ Cartesian power $K_q^{\square n}$ of the complete graph $K_q$ on $q$ vertices, we describe the possible limits of the joint spectral distribution of the pair $(G^{\square n},\overline{G}\vphantom{G}^{\square n})$ of the $n^{\mathrm{th}}$ Cartesian powers of a strongly regular graph $G$ and its complement $\overline{G}$, where we let $n\rightarrow\infty$, and $G$ may vary with $n$. This result is an analogue of the bivariate central limit theorem, and we obtain in this way the bivariate Poisson distributions and the standard bivariate Gaussian distribution, together with the product measures of univariate Poisson and Gaussian distributions. We also report a family of bivariate hypergeometric orthogonal polynomials with respect to the last distributions, which we call the bivariate Charlier-Hermite polynomials, and prove basic formulas for them. This family of orthogonal polynomials seems previously unnoticed, possibly because of its peculiarity.

This paper further investigates \emph{Laplacian simplices}. A construction by Braun and the first author associates to a simple connected graph $G$ a simplex $\cP_G$ whose vertices are the rows of the Laplacian matrix of $G$. In this paper we associate to a reflexive $\cP_G$ a duality-preserving linear code $\cC(\cP_G)$. This new perspective allows us to build upon previous results relating graphical properties of $G$ to properties of the polytope $\cP_G$. In particular, we make progress towards a graphical characterization of reflexive $\cP_G$ using techniques from Ehrhart theory. We provide a systematic investigation of $\cC(\cP_G)$ for cycles, complete graphs, and graphs with a prime number of vertices. We construct an asymptotically good family of MDS codes. In addition, we show that any rational rate is achievable by such construction.

Random intersection graphs model networks with communities, assuming an underlying bipartite structure of groups and individuals, where these groups may overlap. Group memberships are generated through the bipartite configuration model. Conditionally on the group memberships, the classical random intersection graph is obtained by connecting individuals when they are together in at least one group. We generalize this definition, allowing for arbitrary community structures within the groups. In our new model, groups might overlap and they have their own internal structure described by a graph, the classical setting corresponding to groups being complete graphs. Our model turns out to be tractable. We analyze the overlapping structure of the communities, derive the asymptotic degree distribution and the local clustering coefficient. These proofs rely on local weak convergence, which also implies that subgraph counts converge. We further exploit the connection to the bipartite configuration model, for which we also prove local weak convergence, and which is interesting in its own right.

How long a monotone path can one always find in any edge-ordering of the complete graph $K_n$? This appealing question was first asked by Chvátal and Komlós in 1971, and has since attracted the attention of many researchers, inspiring a variety of related problems. The prevailing conjecture is that one can always find a monotone path of linear length, but until now the best known lower bound was $n^{2/3-o(1)}$. In this paper we almost close this gap, proving that any edge-ordering of the complete graph contains a monotone path of length $n^{1-o(1)}$.

Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ be the path on $t$ vertices and $K_t$ be the complete graph on $t$ vertices. The diamond is the graph obtained from $K_4$ by removing an edge. In this paper we show that every ($P_6$, diamond)-free graph $G$ satisfies $χ(G)\le ω(G)+3$, where $χ(G)$ and $ω(G)$ are the chromatic number and clique number of $G$, respectively. Our bound is attained by the complement of the famous 27-vertex Schläfli graph. Our result unifies previously known results on the existence of linear $χ$-binding functions for several graph classes. Our proof is based on a reduction via the Strong Perfect Graph Theorem to imperfect ($P_6$, diamond)-free graphs, a careful analysis of the structure of those graphs, and a computer search that relies on a well-known characterization of 3-colourable $(P_6,K_3)$-free graphs.

A Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles, and a Gallai $k$-coloring is a Gallai coloring that uses at most $k$ colors. For an integer $k\geq 1$, the Gallai-Ramsey number $GR_k(H)$ of a given graph $H$ is the least positive integer $N$ such that every Gallai $k$-coloring of the complete graph $K_N$ contains a monochromatic copy of $H$. Let $C_m$ denote the cycle on $m\ge4$ vertices and let $Θ_m$ denote the family of graphs obtained from $C_m$ by adding an additional edge joining two non-consecutive vertices. We prove that $GR_k(Θ_{2n+1})=n\cdot 2^k+1$ for all $k\geq 1$ and $n\geq 3$. This implies that $GR_k(C_{2n+1})=n\cdot 2^k+1$ all $k\geq 1$ and $n\geq 3$. Our result yields a unified proof for the Gallai-Ramsey number of all odd cycles on at least five vertices.

A Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles, and a Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. Given an integer $k\ge1$ and graphs $H_1, \ldots, H_k$, the Gallai-Ramsey number $GR(H_1, \ldots, H_k)$ is the least integer $n$ such that every Gallai $k$-coloring of the complete graph $K_n$ contains a monochromatic copy of $H_i$ in color $i$ for some $i \in \{1, \ldots, k\}$. When $H = H_1 = \cdots = H_k$, we simply write $GR_k(H)$. We continue to study Gallai-Ramsey numbers of even cycles and paths. For all $n\ge3$ and $k\ge1$, let $G_i=P_{2i+3}$ be a path on $2i+3$ vertices for all $i\in\{0,1, \ldots, n-2\}$ and $G_{n-1}\in\{C_{2n}, P_{2n+1}\}$. Let $ i_j\in\{0,1,\ldots, n-1\}$ for all $j\in\{1, \ldots, k\}$ with $ i_1\ge i_2\ge\cdots\ge i_k $. Song recently conjectured that $GR(G_{i_1}, \ldots, G_{i_k}) = 3+\min\{i_1, n^*-2\}+\sum_{j=1}^k i_j$, where $n^* =n$ when $G_{i_1}\ne P_{2n+1}$ and $n^* =n+1$ when $G_{i_1}= P_{2n+1}$. This conjecture has been verified to be true for $n\in\{3,4\}$ and all $k\ge1$. In this paper, we prove that the aforementioned conjecture holds for $n \in\{5, 6\}$ and all $k \ge1$. Our result implies that for all $k \ge 1$, $GR_k(C_{2n}) = GR_k(P_{2n}) = (n-1)k+n+1$ for $n\in\{5,6\}$ and $GR_k(P_{2n+1})= (n-1)k+n+2$ for $1\le n \le6 $.

In 1978, Richard Rado showed that every edge-coloured complete graph of countably infinite order can be partitioned into monochromatic paths of different colours. He asked whether this remains true for uncountable complete graphs and a notion of \emph{generalised paths}. In 2016, Daniel Soukup answered this in the affirmative and conjectured that a similar result should hold for complete bipartite graphs with bipartition classes of the same infinite cardinality, namely that every such graph edge-coloured with $r$ colours can be partitioned into $2r-1$ monochromatic generalised paths with each colour being used at most twice. In the present paper, we give an affirmative answer to Soukup's conjecture.