396 research outputs found
A Geometric Theory for Hypergraph Matching
We develop a theory for the existence of perfect matchings in hypergraphs
under quite general conditions. Informally speaking, the obstructions to
perfect matchings are geometric, and are of two distinct types: 'space
barriers' from convex geometry, and 'divisibility barriers' from arithmetic
lattice-based constructions. To formulate precise results, we introduce the
setting of simplicial complexes with minimum degree sequences, which is a
generalisation of the usual minimum degree condition. We determine the
essentially best possible minimum degree sequence for finding an almost perfect
matching. Furthermore, our main result establishes the stability property:
under the same degree assumption, if there is no perfect matching then there
must be a space or divisibility barrier. This allows the use of the stability
method in proving exact results. Besides recovering previous results, we apply
our theory to the solution of two open problems on hypergraph packings: the
minimum degree threshold for packing tetrahedra in 3-graphs, and Fischer's
conjecture on a multipartite form of the Hajnal-Szemer\'edi Theorem. Here we
prove the exact result for tetrahedra and the asymptotic result for Fischer's
conjecture; since the exact result for the latter is technical we defer it to a
subsequent paper.Comment: Accepted for publication in Memoirs of the American Mathematical
Society. 101 pages. v2: minor changes including some additional diagrams and
passages of expository tex
Polynomial-time perfect matchings in dense hypergraphs
Let be a -graph on vertices, with minimum codegree at least for some fixed . In this paper we construct a polynomial-time
algorithm which finds either a perfect matching in or a certificate that
none exists. This essentially solves a problem of Karpi\'nski, Ruci\'nski and
Szyma\'nska; Szyma\'nska previously showed that this problem is NP-hard for a
minimum codegree of . Our algorithm relies on a theoretical result of
independent interest, in which we characterise any such hypergraph with no
perfect matching using a family of lattice-based constructions.Comment: 64 pages. Update includes minor revisions. To appear in Advances in
Mathematic
Resolution of the Oberwolfach problem
The Oberwolfach problem, posed by Ringel in 1967, asks for a decomposition of
into edge-disjoint copies of a given -factor. We show that this
can be achieved for all large . 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 .Comment: 28 page
A coding problem for pairs of subsets
Let be an --element finite set, an integer. Suppose that
and are pairs of disjoint -element subsets of
(that is, , , ). Define the distance of these pairs by . This is the
minimum number of elements of one has to move to obtain the other
pair . Let be the maximum size of a family of pairs of
disjoint subsets, such that the distance of any two pairs is at least .
Here we establish a conjecture of Brightwell and Katona concerning an
asymptotic formula for for are fixed and . Also,
we find the exact value of in an infinite number of cases, by using
special difference sets of integers. Finally, the questions discussed above are
put into a more general context and a number of coding theory type problems are
proposed.Comment: 11 pages (minor changes, and new citations added
- β¦