English
Related papers

Related papers: Hypergraph Removal Lemmas via Robust Sharp Thresho…

200 papers

Recently, variants of many classical extremal theorems have been proved in the random environment. We, complementing existing results, extend the Erd\H{o}s-Gallai Theorem in random graphs. In particular, we determine, up to a constant…

Combinatorics · Mathematics 2020-01-15 József Balogh , Andrzej Dudek , Lina Li

This paper considers the problem of completing a rating matrix based on sub-sampled matrix entries as well as observed social graphs and hypergraphs. We show that there exists a \emph{sharp threshold} on the sample probability for the task…

Machine Learning · Computer Science 2026-05-29 Zhongtian Ma , Qiaosheng Zhang , Zhen Wang

Graphs whose maximum clique size exceeds half of the total number of vertices satisfy a classical property: the family of their maximum sized cliques can be pierced by a single vertex. This result dates back to a 1965 theorem by Hajnal.…

Combinatorics · Mathematics 2026-04-24 Andreas Holmsen , Attila Jung , Balázs Keszegh , Dániel G. Simon , Gábor Tardos

In this paper, we study the problem of determining the maximum number of edges in an $n$-vertex $r$-uniform hypergraph that contains no $(k+1)$-connected subgraph. The graph case is a classical problem initiated by Mader, central to graph…

Combinatorics · Mathematics 2026-04-21 Jie Ma , Shengjie Xie , Zhiheng Zheng

The classical stability theorem of Erd\H{o}s and Simonovits states that, for any fixed graph with chromatic number $k+1 \ge 3$, the following holds: every $n$-vertex graph that is $H$-free and has within $o(n^2)$ of the maximal possible…

Combinatorics · Mathematics 2018-10-05 Alexander Roberts , Alex Scott

We prove that the `Upper Matching Conjecture' of Friedland, Krop, and Markstr\"om and the analogous conjecture of Kahn for independent sets in regular graphs hold for all large enough graphs as a function of the degree. That is, for every…

Combinatorics · Mathematics 2021-08-02 Ewan Davies , Matthew Jenssen , Will Perkins

We show that for every $r \ge 2$ there exists $\epsilon_r > 0$ such that any $r$-uniform hypergraph with $m$ edges and maximum vertex degree $o(\sqrt{m})$ contains a set of at most $(\frac{1}{2} - \epsilon_r)m$ edges the removal of which…

Logic in Computer Science · Computer Science 2023-06-22 Michal Koucký , Vojtěch Rödl , Navid Talebanfard

The clique removal lemma says that for every $r \geq 3$ and $\varepsilon>0$, there exists some $\delta>0$ so that every $n$-vertex graph $G$ with fewer than $\delta n^r$ copies of $K_r$ can be made $K_r$-free by removing at most…

Combinatorics · Mathematics 2022-03-01 Jacob Fox , Yuval Wigderson

We prove essentially sharp bounds for Ramsey numbers of ordered hypergraph matchings, inroduced recently by Dudek, Grytczuk, and Ruci\'{n}ski. Namely, for any $r \ge 2$ and $n \ge 2$, we show that any collection $\mathcal H$ of $n$ pairwise…

Combinatorics · Mathematics 2025-07-21 Lisa Sauermann , Dmitrii Zakharov

Let G be a finite graph with the non-k-order property (essentially, a uniform finite bound on the size of an induced sub-half-graph). A major result of the paper applies model-theoretic arguments to obtain a stronger version of…

Logic · Mathematics 2015-08-20 M. Malliaris , S. Shelah

An r-cut of a k-uniform hypergraph H is a partition of the vertex set of H into r parts and the size of the cut is the number of edges which have a vertex in each part. A classical result of Edwards says that every m-edge graph has a 2-cut…

Combinatorics · Mathematics 2019-07-01 David Conlon , Jacob Fox , Matthew Kwan , Benny Sudakov

In deriving their characterization of the perfect matchings polytope, Edmonds, Lov\'asz, and Pulleyblank introduced the so-called {\em Tight Cut Lemma} as the most challenging aspect of their work. The Tight Cut Lemma in fact claims {\em…

Combinatorics · Mathematics 2015-12-31 Nanao Kita

For a given hypergraph $H$ and a vertex $v\in V(H)$, consider a random matching $M$ chosen uniformly from the set of all matchings in $H.$ In $1995,$ Kahn conjectured that if $H$ is a $d$-regular linear $k$-uniform hypergraph, the…

Combinatorics · Mathematics 2024-06-12 Hyunwoo Lee

An $r$-uniform hypergraph ($r$-graph for short) is called linear if every pair of vertices belong to at most one edge. A linear $r$-graph is complete if every pair of vertices are in exactly one edge. The famous Brown-Erd\H{o}s-S\'os…

Combinatorics · Mathematics 2021-09-17 Asaf Shapira , Mykhaylo Tyomkyn

For a $d$-uniform random hypergraph on $n$ vertices in which hyperedges are included i.i.d.\ so that the average degree in the hypergraph is $n^{\delta+o(1)}$, the projection of such a hypergraph is a graph on the same $n$ vertices where an…

Statistics Theory · Mathematics 2026-04-03 Shuyang Gong , Zhangsong Li , Qiheng Xu

We confirm the eventual evasiveness of several classes of monotone graph properties under widely accepted number theoretic hypotheses. In particular we show that Chowla's conjecture on Dirichlet primes implies that (a) for any graph $H$,…

Computational Complexity · Computer Science 2010-02-03 Laszlo Babai , Anandam Banerjee , Raghav Kulkarni , Vipul Naik

We study Ramsey properties of randomly perturbed $3$-uniform hypergraphs. For~$t\geq 2$, write $\tilde K^{(3)}_t$ to denote the $3$-uniform {\it expanded} clique hypergraph obtained from the complete graph $K_t$ by expanding each of the…

Combinatorics · Mathematics 2025-02-21 Elad Aigner-Horev , Dan Hefetz , Mathias Schacht

We study the approximability of the Maximum Independent Set (MIS) problem in $H$-free graphs (that is, graphs which do not admit $H$ as an induced subgraph). As one motivation we investigate the following conjecture: for every fixed graph…

Data Structures and Algorithms · Computer Science 2020-04-28 Édouard Bonnet , Stéphan Thomassé , Xuan Thang Tran , Rémi Watrigant

Let $\text{Tr}(n,m,k)$ denote the largest number of distinct projections onto $k$ coordinates guaranteed in any family of $m$ binary vectors of length $n$. The classical Sauer-Perles-Shelah Lemma implies that $\text{Tr}(n, n^r, k) = 2^k$…

Combinatorics · Mathematics 2018-09-25 Noga Alon , Guy Moshkovitz , Noam Solomon

Let $H$ and $G$ be two finite graphs. Define $h_H(G)$ to be the number of homomorphisms from $H$ to $G$. The function $h_H(\cdot)$ extends in a natural way to a function from the set of symmetric matrices to $\mathbb{R}$ such that for…

Functional Analysis · Mathematics 2008-06-03 Hamed Hatami