English
Related papers

Related papers: Towards an optimal hypergraph container lemma

200 papers

A perfect matching in a hypergraph is a set of edges that partition the set of vertices. We study the complexity of deciding the existence of a perfect matching in orderable and separable hypergraphs. We show that the class of orderable…

Combinatorics · Mathematics 2022-02-03 Shmuel Onn

We define a new combinatorial object, which we call a labeled hypergraph, uniquely associated to any square-free monomial ideal. We prove several upper bounds on the regularity of a square-free monomial ideal in terms of simple…

Commutative Algebra · Mathematics 2013-04-02 Kuei-Nuan Lin , Jason McCullough

While there has been tremendous activity in the area of statistical network inference on graphs, hypergraphs have not enjoyed the same attention, on account of their relative complexity and the lack of tractable statistical models. We…

Methodology · Statistics 2025-04-15 Ga-Ming Angus Chan , Zachary Lubberts

The Subspace Theorem is a powerful tool in number theory. It has appeared in various forms and been adapted and improved over time. It's applications include diophantine approximation, results about integral points on algebraic curves and…

Combinatorics · Mathematics 2013-11-18 Ryan Schwartz , Jozsef Solymosi

Optimizing an implicational base of a closure system consists in turning this implicational base into an equivalent one with premises and conclusions as small as possible. This task is known to be hard in general but tractable for a number…

Combinatorics · Mathematics 2026-03-17 Anthony Meunier , Lhouari Nourine , Simon Vilmin

The envelope theory is a method to easily obtain approximate, but reliable, solutions for some quantum many-body problems. Quite general Hamiltonians can be considered for systems composed of an arbitrary number of different particles in…

Quantum Physics · Physics 2023-02-21 Lorenzo Cimino , Claude Semay

Let k >= 2 and F be a linear k-uniform hypergraph with v vertices. We prove that if n is sufficiently large and v|n, then every quasirandom k-uniform hypergraph on n vertices with constant edge density and minimum degree $\Omega(n^{k-1})$…

Combinatorics · Mathematics 2014-02-18 John Lenz , Dhruv Mubayi

Szemer\'edi's regularity lemma and its variants are some of the most powerful tools in combinatorics. In this paper, we establish several results around the regularity lemma. First, we prove that whether or not we include the condition that…

Combinatorics · Mathematics 2019-04-12 Jacob Fox , László Miklós Lovász , Yufei Zhao

In the final paper of the Graph Minors series N. Robertson and P. Seymour proved that graphs are well-quasi-ordered under the immersion ordering. A direct implication of this theorem is that each class of graphs that is closed under taking…

Data Structures and Algorithms · Computer Science 2015-03-20 Archontia C. Giannopoulou , Iosif Salem , Dimitris Zoros

Horn's conjecture, which given the spectra of two Hermitian matrices describes the possible spectra of the sum, was recently settled in the affirmative. In this survey we discuss one of the many steps in this, which required us to introduce…

Representation Theory · Mathematics 2009-09-25 Allen Knutson , Terence Tao

A useful heuristic in the understanding of large random combinatorial structures is the Arratia-Tavare principle, which describes an approximation to the joint distribution of component-sizes using independent random variables. The…

Combinatorics · Mathematics 2016-10-26 Stephen DeSalvo , Georg Menz

The \emph{Separation Lemma} is a simple yet powerful tool, akin to the well-known \emph{Isolation Lemma}, that guarantees the uniqueness of certain set sums. Bandopadhyay et al.\ introduced this lemma to establish lower bounds for the \ALP…

Data Structures and Algorithms · Computer Science 2026-05-28 Abhishek Sahu

We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…

Category Theory · Mathematics 2025-12-23 Clémence Chanavat , Amar Hadzihasanovic

Given a finite relational language $\calL$, a hereditary $\calL$-property is a class of finite $\calL$-structures which is closed under isomorphism and model theoretic substructure. This notion encompasses many objects of study in extremal…

Logic · Mathematics 2016-07-20 Caroline Terry

Graph-based signal processing techniques have become essential for handling data in non-Euclidean spaces. However, there is a growing awareness that these graph models might need to be expanded into `higher-order' domains to effectively…

Machine Learning · Computer Science 2024-04-15 Mustafa Hajij , Ghada Zamzmi , Theodore Papamarkou , Aldo Guzmán-Sáenz , Tolga Birdal , Michael T. Schaub

To get estimators that work within a certain error bound with high probability, a common strategy is to design one that works with constant probability, and then boost the probability using independent repetitions. Important examples of…

Data Structures and Algorithms · Computer Science 2020-04-03 Anders Aamand , Debarati Das , Evangelos Kipouridis , Jakob B. T. Knudsen , Peter M. R. Rasmussen , Mikkel Thorup

In this paper we give an overview of results on the analysis of parametric linear hybrid automata, and of systems of similar linear hybrid automata: We present possibilities of describing systems with a parametric (i.e. not explicitly…

Logic in Computer Science · Computer Science 2025-05-15 Viorica Sofronie-Stokkermans , Philipp Marohn

Various simplicial complexes can be associated with a graph. Box complexes form an important families of such simplicial complexes and are especially useful for providing lower bounds on the chromatic number of the graph via some of their…

Combinatorics · Mathematics 2024-01-05 Hamid Reza Daneshpajouh , Frédéric Meunier

The problem of efficiently characterizing degree sequences of simple hypergraphs is a fundamental long-standing open problem in Graph Theory. Several results are known for restricted versions of this problem. This paper adds to the list of…

Discrete Mathematics · Computer Science 2017-05-02 Syed Mohammad Meesum

A major theme in arithmetic combinatorics is proving multiple recurrence results on semigroups (such as Szemer\'edi's theorem) and this can often be done using methods of ergodic Ramsey theory. What usually lies at the heart of such proofs…

Logic · Mathematics 2017-04-18 Anush Tserunyan