841 research outputs found
Perfect Packings in Quasirandom Hypergraphs II
For each of the notions of hypergraph quasirandomness that have been studied,
we identify a large class of hypergraphs F so that every quasirandom hypergraph
H admits a perfect F-packing. An informal statement of a special case of our
general result for 3-uniform hypergraphs is as follows. Fix an integer r >= 4
and 0<p<1. Suppose that H is an n-vertex triple system with r|n and the
following two properties:
* for every graph G with V(G)=V(H), at least p proportion of the triangles in
G are also edges of H,
* for every vertex x of H, the link graph of x is a quasirandom graph with
density at least p.
Then H has a perfect -packing. Moreover, we show that neither
hypotheses above can be weakened, so in this sense our result is tight. A
similar conclusion for this special case can be proved by Keevash's hypergraph
blowup lemma, with a slightly stronger hypothesis on H.Comment: 17 page
Deterministic Distributed Edge-Coloring via Hypergraph Maximal Matching
We present a deterministic distributed algorithm that computes a
-edge-coloring, or even list-edge-coloring, in any -node graph
with maximum degree , in rounds. This answers
one of the long-standing open questions of \emph{distributed graph algorithms}
from the late 1980s, which asked for a polylogarithmic-time algorithm. See,
e.g., Open Problem 4 in the Distributed Graph Coloring book of Barenboim and
Elkin. The previous best round complexities were by
Panconesi and Srinivasan [STOC'92] and
by Fraigniaud, Heinrich, and Kosowski [FOCS'16]. A corollary of our
deterministic list-edge-coloring also improves the randomized complexity of
-edge-coloring to poly rounds.
The key technical ingredient is a deterministic distributed algorithm for
\emph{hypergraph maximal matching}, which we believe will be of interest beyond
this result. In any hypergraph of rank --- where each hyperedge has at most
vertices --- with nodes and maximum degree , this algorithm
computes a maximal matching in rounds.
This hypergraph matching algorithm and its extensions lead to a number of
other results. In particular, a polylogarithmic-time deterministic distributed
maximal independent set algorithm for graphs with bounded neighborhood
independence, hence answering Open Problem 5 of Barenboim and Elkin's book, a
-round deterministic
algorithm for -approximation of maximum matching, and a
quasi-polylogarithmic-time deterministic distributed algorithm for orienting
-arboricity graphs with out-degree at most ,
for any constant , hence partially answering Open Problem 10 of
Barenboim and Elkin's book
Embedding large subgraphs into dense graphs
What conditions ensure that a graph G contains some given spanning subgraph
H? The most famous examples of results of this kind are probably Dirac's
theorem on Hamilton cycles and Tutte's theorem on perfect matchings. Perfect
matchings are generalized by perfect F-packings, where instead of covering all
the vertices of G by disjoint edges, we want to cover G by disjoint copies of a
(small) graph F. It is unlikely that there is a characterization of all graphs
G which contain a perfect F-packing, so as in the case of Dirac's theorem it
makes sense to study conditions on the minimum degree of G which guarantee a
perfect F-packing.
The Regularity lemma of Szemeredi and the Blow-up lemma of Komlos, Sarkozy
and Szemeredi have proved to be powerful tools in attacking such problems and
quite recently, several long-standing problems and conjectures in the area have
been solved using these. In this survey, we give an outline of recent progress
(with our main emphasis on F-packings, Hamiltonicity problems and tree
embeddings) and describe some of the methods involved
Sufficient Conditions for Tuza's Conjecture on Packing and Covering Triangles
Given a simple graph , a subset of is called a triangle cover if
it intersects each triangle of . Let and denote the
maximum number of pairwise edge-disjoint triangles in and the minimum
cardinality of a triangle cover of , respectively. Tuza conjectured in 1981
that holds for every graph . In this paper, using a
hypergraph approach, we design polynomial-time combinatorial algorithms for
finding small triangle covers. These algorithms imply new sufficient conditions
for Tuza's conjecture on covering and packing triangles. More precisely,
suppose that the set of triangles covers all edges in . We
show that a triangle cover of with cardinality at most can be
found in polynomial time if one of the following conditions is satisfied: (i)
, (ii) , (iii)
.
Keywords: Triangle cover, Triangle packing, Linear 3-uniform hypergraphs,
Combinatorial algorithm
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
Packing k-partite k-uniform hypergraphs
Let and be -graphs (-uniform hypergraphs); then a perfect
-packing in is a collection of vertex-disjoint copies of in
which together cover every vertex of . For any fixed let
be the minimum such that any -graph on vertices with
minimum codegree contains a perfect -packing. The
problem of determining has been widely studied for graphs (i.e.
-graphs), but little is known for . Here we determine the
asymptotic value of for all complete -partite -graphs ,
as well as a wide class of other -partite -graphs. In particular, these
results provide an asymptotic solution to a question of R\"odl and Ruci\'nski
on the value of when is a loose cycle. We also determine
asymptotically the codegree threshold needed to guarantee an -packing
covering all but a constant number of vertices of for any complete
-partite -graph .Comment: v2: Updated with minor corrections. Accepted for publication in
Journal of Combinatorial Theory, Series
- …