Resolution of the Oberwolfach problem

The Oberwolfach problem, posed by Ringel in 1967, asks for a decomposition of $K_{2n+1}$ into edge-disjoint copies of a given $2$-factor. We show that this can be achieved for all large $n$. We actually prove a significantly more general result, which allows for decompositions into more general types of factors. In particular, this also resolves the Hamilton-Waterloo problem for large $n$.Comment: 28 page

A bandwidth theorem for approximate decompositions

We provide a degree condition on a regular $n$-vertex graph $G$ which ensures the existence of a near optimal packing of any family $\mathcal H$ of bounded degree $n$-vertex $k$-chromatic separable graphs into $G$. In general, this degree condition is best possible. Here a graph is separable if it has a sublinear separator whose removal results in a set of components of sublinear size. Equivalently, the separability condition can be replaced by that of having small bandwidth. Thus our result can be viewed as a version of the bandwidth theorem of B\"ottcher, Schacht and Taraz in the setting of approximate decompositions. More precisely, let $\delta_k$ be the infimum over all $\delta\ge 1/2$ ensuring an approximate $K_k$-decomposition of any sufficiently large regular $n$-vertex graph $G$ of degree at least $\delta n$. Now suppose that $G$ is an $n$-vertex graph which is close to $r$-regular for some $r \ge (\delta_k+o(1))n$ and suppose that $H_1,\dots,H_t$ is a sequence of bounded degree $n$-vertex $k$-chromatic separable graphs with $\sum_i e(H_i) \le (1-o(1))e(G)$. We show that there is an edge-disjoint packing of $H_1,\dots,H_t$ into $G$. If the $H_i$ are bipartite, then $r\geq (1/2+o(1))n$ is sufficient. In particular, this yields an approximate version of the tree packing conjecture in the setting of regular host graphs $G$ of high degree. Similarly, our result implies approximate versions of the Oberwolfach problem, the Alspach problem and the existence of resolvable designs in the setting of regular host graphs of high degree.Comment: Final version, to appear in the Proceedings of the London Mathematical Societ

Ramsey-nice families of graphs

For a finite family $\mathcal{F}$ of fixed graphs let $R_k(\mathcal{F})$ be the smallest integer $n$ for which every $k$-coloring of the edges of the complete graph $K_n$ yields a monochromatic copy of some $F\in\mathcal{F}$. We say that $\mathcal{F}$ is $k$-nice if for every graph $G$ with $\chi(G)=R_k(\mathcal{F})$ and for every $k$-coloring of $E(G)$ there exists a monochromatic copy of some $F\in\mathcal{F}$. It is easy to see that if $\mathcal{F}$ contains no forest, then it is not $k$-nice for any $k$. It seems plausible to conjecture that a (weak) converse holds, namely, for any finite family of graphs $\mathcal{F}$ that contains at least one forest, and for all $k\geq k_0(\mathcal{F})$ (or at least for infinitely many values of $k$), $\mathcal{F}$ is $k$-nice. We prove several (modest) results in support of this conjecture, showing, in particular, that it holds for each of the three families consisting of two connected graphs with 3 edges each and observing that it holds for any family $\mathcal{F}$ containing a forest with at most 2 edges. We also study some related problems and disprove a conjecture by Aharoni, Charbit and Howard regarding the size of matchings in regular 3-partite 3-uniform hypergraphs.Comment: 20 pages, 2 figure

Uniformly resolvable decompositions of Kv in 1-factors and 4-stars

If X is a connected graph, then an X-factor of a larger graph is a spanning subgraph in which all of its components are isomorphic to X. A uniformly resolvable {X, Y }-decomposition of the complete graph Kv is an edge decomposition of Kv into exactly r X-factors and s Y -factors. In this article we determine necessary and sufficient conditions for when the complete graph Kv has a uniformly resolvable decompositions into 1-factors and K1,4-factors

A Diagrammatic Temperley-Lieb Categorification

The monoidal category of Soergel bimodules categorifies the Hecke algebra of a finite Weyl group. In the case of the symmetric group, morphisms in this category can be drawn as graphs in the plane. We define a quotient category, also given in terms of planar graphs, which categorifies the Temperley-Lieb algebra. Certain ideals appearing in this quotient are related both to the 1-skeleton of the Coxeter complex and to the topology of 2D cobordisms. We demonstrate how further subquotients of this category will categorify the cell modules of the Temperley-Lieb algebra.Comment: long awaited update to published versio

Two Problems of Gerhard Ringel

Gerhard Ringel was an Austrian Mathematician, and is regarded as one of the most influential graph theorists of the twentieth century. This work deals with two problems that arose from Ringel\u27s research: the Hamilton-Waterloo Problem, and the problem of R-Sequences. The Hamilton-Waterloo Problem (HWP) in the case of Cm-factors and Cn-factors asks whether Kv, where v is odd (or Kv-F, where F is a 1-factor and v is even), can be decomposed into r copies of a 2-factor made entirely of m-cycles and s copies of a 2-factor made entirely of n-cycles. Chapter 1 gives some general constructions for such decompositions and apply them to the case where m=3 and n=3x. This problem is settle for odd v, except for a finite number of x values. When v is even, significant progress is made on the problem, although open cases are left. In particular, the difficult case of v even and s=1 is left open for many situations. Chapter 2 generalizes the Hamilton-Waterloo Problem to complete equipartite graphs K(n:m) and shows that K(xyzw:m) can be decomposed into s copies of a 2-factor consisting of cycles of length xzm and r copies of a 2-factor consisting of cycles of length yzm, whenever m is odd, s,r≠1, gcd(x,z)=gcd(y,z)=1 and xyz≠0 (mod 4). Some more general constructions are given for the case when the cycles in a given two factor may have different lengths. These constructions are used to find solutions to the Hamilton-Waterloo problem for complete graphs. Chapter 3 completes the proof of the Friedlander, Gordon and Miller Conjecture that every finite abelian group whose Sylow 2-subgroup either is trivial or both non-trivial and non-cyclic is R-sequenceable. This settles a question of Ringel for abelian groups