998 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
Growing Graphs with Hyperedge Replacement Graph Grammars
Discovering the underlying structures present in large real world graphs is a
fundamental scientific problem. In this paper we show that a graph's clique
tree can be used to extract a hyperedge replacement grammar. If we store an
ordering from the extraction process, the extracted graph grammar is guaranteed
to generate an isomorphic copy of the original graph. Or, a stochastic
application of the graph grammar rules can be used to quickly create random
graphs. In experiments on large real world networks, we show that random
graphs, generated from extracted graph grammars, exhibit a wide range of
properties that are very similar to the original graphs. In addition to graph
properties like degree or eigenvector centrality, what a graph "looks like"
ultimately depends on small details in local graph substructures that are
difficult to define at a global level. We show that our generative graph model
is able to preserve these local substructures when generating new graphs and
performs well on new and difficult tests of model robustness.Comment: 18 pages, 19 figures, accepted to CIKM 2016 in Indianapolis, I
Relaxation-Based Coarsening for Multilevel Hypergraph Partitioning
Multilevel partitioning methods that are inspired by principles of
multiscaling are the most powerful practical hypergraph partitioning solvers.
Hypergraph partitioning has many applications in disciplines ranging from
scientific computing to data science. In this paper we introduce the concept of
algebraic distance on hypergraphs and demonstrate its use as an algorithmic
component in the coarsening stage of multilevel hypergraph partitioning
solvers. The algebraic distance is a vertex distance measure that extends
hyperedge weights for capturing the local connectivity of vertices which is
critical for hypergraph coarsening schemes. The practical effectiveness of the
proposed measure and corresponding coarsening scheme is demonstrated through
extensive computational experiments on a diverse set of problems. Finally, we
propose a benchmark of hypergraph partitioning problems to compare the quality
of other solvers
Nice labeling problem for event structures: a counterexample
In this note, we present a counterexample to a conjecture of Rozoy and
Thiagarajan from 1991 (called also the nice labeling problem) asserting that
any (coherent) event structure with finite degree admits a labeling with a
finite number of labels, or equivalently, that there exists a function such that an event structure with degree
admits a labeling with at most labels. Our counterexample is based on
the Burling's construction from 1965 of 3-dimensional box hypergraphs with
clique number 2 and arbitrarily large chromatic numbers and the bijection
between domains of event structures and median graphs established by
Barth\'elemy and Constantin in 1993
Random cliques in random graphs
We show that for each , in a density range extending up to, and
slightly beyond, the threshold for a -factor, the copies of in the
random graph are randomly distributed, in the (one-sided) sense that
the hypergraph that they form contains a copy of a binomial random hypergraph
with almost exactly the right density. Thus, an asymptotically sharp bound for
the threshold in Shamir's hypergraph matching problem -- recently announced by
Jeff Kahn -- implies a corresponding bound for the threshold for to
contain a -factor. We also prove a slightly weaker result for , and
(weaker) generalizations replacing by certain other graphs . As an
application of the latter we find, up to a log factor, the threshold for
to contain an -factor when is -balanced but not strictly
-balanced.Comment: 19 pages; expanded introduction and Section 5, plus minor correction
- …