arXiv++ Combinatorics

Let $K(a^{(p)};λ,μ)$ be a graph with $p$ parts, each part having size $a$, in which the multiplicity of each pair of vertices in the same part (in different parts) is $λ$ ($μ$, respectively). In this paper we consider the following embedding problem: When can a graph decomposition of $K(a^{(p)};λ,μ)$ be extended to a Hamiltonian decomposition of $K(a^{(p+r)};λ,μ)$ for $r>0$? A general result is proved, which is then used to solve the embedding problem for all $r\geq \fracλ{μa}+\frac{p-1}{a-1}$. The problem is also solved when $r$ is as small as possible in two different senses, namely when $r=1$ and when $r=\fracλ{μa}-p+1$.

In this paper, two results are obtained on a hypergraph embedding problem. The proof technique is itself of interest, being the first time amalgamations have been used to address the embedding of hypergraphs. The first result finds necessary and sufficient conditions for the embedding a hyperedge-colored copy of the complete 3-uniform hypergraph of order $m$, $K_m^3$, into an $r$-factorization of $K_n^3$, providing that $n> 2m+(-1+\sqrt{8m^2-16m-7})/2$. The second result finds necessary and sufficient conditions for an embedding when not only are the colors of the hyperedges of $K_m^3$ given, but also the colors of all the "pieces" of hyperedges on these $m$ vertices are prescribed (the "pieces" of hyperedges are eventually extended to hyperedges of size 3 in $K_n^3$ by adding new vertices to the hyperedges of size 1 and 2 during the embedding process). Both these results make progress towards settling an old question of Cameron on completing partial 1-factorizations of hypergraphs.

In this paper, a theorem is proved that generalizes several existing amalgamation results in various ways. The main aim is to disentangle a given edge-colored amalgamated graph so that the result is a graph in which the edges are shared out among the vertices in ways that are fair with respect to several notions of balance (such as between pairs of vertices, degrees of vertices in the both graph and in each color class, etc). The connectivity of color classes is also addressed. Most results in the literature on amalgamations focus on the disentangling of amalgamated complete graphs and complete multipartite graphs. Many such results follow as immediate corollaries to the main result in this paper, which addresses amalgamations of graphs in general, allowing for example the final graph to have multiple edges. A new corollary of the main theorem is the settling of the existence of Hamilton decompositions of the family of graphs $K(a_1,\dots, a_p;λ_1, λ_2)$; such graphs arose naturally in statistical settings.

In this paper, a survey about recent progress on problems solved using graph amalgamations is presented, along with some new results with complete proofs, and some related open problems.