51 research outputs found
Covering graphs by monochromatic trees and Helly-type results for hypergraphs
How many monochromatic paths, cycles or general trees does one need to cover
all vertices of a given -edge-coloured graph ? These problems were
introduced in the 1960s and were intensively studied by various researchers
over the last 50 years. In this paper, we establish a connection between this
problem and the following natural Helly-type question in hypergraphs. Roughly
speaking, this question asks for the maximum number of vertices needed to cover
all the edges of a hypergraph if it is known that any collection of a few
edges of has a small cover. We obtain quite accurate bounds for the
hypergraph problem and use them to give some unexpected answers to several
questions about covering graphs by monochromatic trees raised and studied by
Bal and DeBiasio, Kohayakawa, Mota and Schacht, Lang and Lo, and Gir\~ao,
Letzter and Sahasrabudhe.Comment: 20 pages including references plus 2 pages of an Appendi
Discrete Geometry
A number of important recent developments in various branches of discrete geometry were presented at the workshop. The presentations illustrated both the diversity of the area and its strong connections to other fields of mathematics such as topology, combinatorics or algebraic geometry. The open questions abound and many of the results presented were obtained by young researchers, confirming the great vitality of discrete geometry
Supervised Hypergraph Reconstruction
We study an issue commonly seen with graph data analysis: many real-world
complex systems involving high-order interactions are best encoded by
hypergraphs; however, their datasets often end up being published or studied
only in the form of their projections (with dyadic edges). To understand this
issue, we first establish a theoretical framework to characterize this issue's
implications and worst-case scenarios. The analysis motivates our formulation
of the new task, supervised hypergraph reconstruction: reconstructing a
real-world hypergraph from its projected graph, with the help of some existing
knowledge of the application domain.
To reconstruct hypergraph data, we start by analyzing hyperedge distributions
in the projection, based on which we create a framework containing two modules:
(1) to handle the enormous search space of potential hyperedges, we design a
sampling strategy with efficacy guarantees that significantly narrows the space
to a smaller set of candidates; (2) to identify hyperedges from the candidates,
we further design a hyperedge classifier in two well-working variants that
capture structural features in the projection. Extensive experiments validate
our claims, approach, and extensions. Remarkably, our approach outperforms all
baselines by an order of magnitude in accuracy on hard datasets. Our code and
data can be downloaded from bit.ly/SHyRe
Overlap properties of geometric expanders
The {\em overlap number} of a finite -uniform hypergraph is
defined as the largest constant such that no matter how we map
the vertices of into , there is a point covered by at least a
-fraction of the simplices induced by the images of its hyperedges.
In~\cite{Gro2}, motivated by the search for an analogue of the notion of graph
expansion for higher dimensional simplicial complexes, it was asked whether or
not there exists a sequence of arbitrarily large
-uniform hypergraphs with bounded degree, for which . Using both random methods and explicit constructions, we answer this
question positively by constructing infinite families of -uniform
hypergraphs with bounded degree such that their overlap numbers are bounded
from below by a positive constant . We also show that, for every ,
the best value of the constant that can be achieved by such a
construction is asymptotically equal to the limit of the overlap numbers of the
complete -uniform hypergraphs with vertices, as
. For the proof of the latter statement, we establish the
following geometric partitioning result of independent interest. For any
and any , there exists satisfying the
following condition. For any , for any point and
for any finite Borel measure on with respect to which
every hyperplane has measure , there is a partition into measurable parts of equal measure such that all but
at most an -fraction of the -tuples
have the property that either all simplices with
one vertex in each contain or none of these simplices contain
- …