36 research outputs found
LIPIcs, Volume 261, ICALP 2023, Complete Volume
LIPIcs, Volume 261, ICALP 2023, Complete Volum
LIPIcs, Volume 274, ESA 2023, Complete Volume
LIPIcs, Volume 274, ESA 2023, Complete Volum
Sampling uniform hypergraphs with given degrees
Graphs are combinatorial objects commonly used to model relationships between pairs of entities. Hypergraphs are a generalization of graphs in which edges connect an arbitrary number of vertices. We consider hypergraphs in which each edge has size k, each vertex has a degree specified by a degree sequence d, and all edges are unique. These are known as simple k-uniform hypergraphs with degree sequence d. We focus on algorithms for sampling these hypergraphs, particularly when the degree sequence is approximately regular and sufficiently sparse. The goal is an algorithm which produces approximately uniform output with expected running time that is polynomial in the number of vertices.
We first discuss an algorithm for this problem which used a rejection sampling approach and a black-box bipartite graph sampler. This algorithm was presented in a paper by myself and co-authors: my specific contributions to the publication are described. As a new contribution (not contained in the paper), the rejection sampling approach is extended to give an algorithm for sampling linear hypergraphs, which are hypergraphs in which no two distinct edges share more than one common vertex.
We also define and analyse an algorithm for sampling simple k-uniform hypergraphs with degree sequence d. Our algorithm uses a black-box sampler A for producing (possibly non-simple) hypergraphs and a ‘switchings’ process to remove any repeated edges from the hypergraph. This analysis additionally produces explicit tail bounds for the number and multiplicity of repeated edges in uniformly distributed random hypergraphs, under certain conditions for d and k. We show that our algorithm is asymptotically approximately uniform and has an expected running time that is polynomial in the number of vertices for a large range of degree sequences d, provided d is near-regular. This extends the range of degree sequences for which efficient sampling schemes are known
LIPIcs, Volume 244, ESA 2022, Complete Volume
LIPIcs, Volume 244, ESA 2022, Complete Volum
Embedding problems in graphs and hypergraphs
In this thesis, we explore several mathematical questions about substructures in graphs and hypergraphs, focusing on algorithmic methods and notions of regularity for graphs and hypergraphs. We investigate conditions for a graph to contain powers of paths and cycles of arbitrary specified linear lengths. Using the well-established graph regularity method, we determine precise minimum degree thresholds for sufficiently large graphs and show that the extremal behaviour is governed by a family of explicitly given extremal graphs. This extends an analogous result of Allen, Böttcher and Hladký for squares of paths and cycles of arbitrary specified linear lengths and confirms a conjecture of theirs. Given positive integers k and j with j < k, we study the length of the longest j-tight path in the binomial random k-uniform hypergraph Hk(n, p). We show that this length undergoes a phase transition from logarithmic to linear and determine the critical threshold for this phase transition. We also prove upper and lower bounds on the length in the subcritical and supercritical ranges. In particular, for the supercritical case we introduce the Pathfinder algorithm, a depth-first search algorithm which discovers j-tight paths in a k-uniform hypergraph. We prove that, in the supercritical case, with high probability this algorithm finds a long j-tight path. Finally, we investigate the embedding of bounded degree hypergraphs into large sparse hypergraphs. The blow-up lemma is a powerful tool for embedding bounded degree spanning subgraphs with wide-ranging applications in extremal graph theory. We prove a sparse hypergraph analogue of the blow-up lemma, showing that large sparse partite complexes with sufficiently regular small subcomplex counts and no atypical vertices behave as if they were complete for the purpose of embedding complexes with bounded degree and bounded partite structure
LIPIcs, Volume 248, ISAAC 2022, Complete Volume
LIPIcs, Volume 248, ISAAC 2022, Complete Volum
Global hypercontractivity and its applications
The hypercontractive inequality on the discrete cube plays a crucial role in
many fundamental results in the Analysis of Boolean functions, such as the KKL
theorem, Friedgut's junta theorem and the invariance principle. In these
results the cube is equipped with the uniform measure, but it is desirable,
particularly for applications to the theory of sharp thresholds, to also obtain
such results for general -biased measures. However, simple examples show
that when , there is no hypercontractive inequality that is strong
enough.
In this paper, we establish an effective hypercontractive inequality for
general that applies to `global functions', i.e. functions that are not
significantly affected by a restriction of a small set of coordinates. This
class of functions appears naturally, e.g. in Bourgain's sharp threshold
theorem, which states that such functions exhibit a sharp threshold. We
demonstrate the power of our tool by strengthening Bourgain's theorem, thereby
making progress on a conjecture of Kahn and Kalai and by establishing a
-biased analog of the invariance principle.
Our results have significant applications in Extremal Combinatorics. Here we
obtain new results on the Tur\'an number of any bounded degree uniform
hypergraph obtained as the expansion of a hypergraph of bounded uniformity.
These are asymptotically sharp over an essentially optimal regime for both the
uniformity and the number of edges and solve a number of open problems in the
area. In particular, we give general conditions under which the crosscut
parameter asymptotically determines the Tur\'an number, answering a question of
Mubayi and Verstra\"ete. We also apply the Junta Method to refine our
asymptotic results and obtain several exact results, including proofs of the
Huang--Loh--Sudakov conjecture on cross matchings and the
F\"uredi--Jiang--Seiver conjecture on path expansions.Comment: Subsumes arXiv:1906.0556