English
Related papers

Related papers: Edge distribution and density in the characteristi…

200 papers

We prove algorithmic weak and \Szemeredi{} regularity lemmas for several classes of sparse graphs in the literature, for which only weak regularity lemmas were previously known. These include core-dense graphs, low threshold rank graphs,…

Data Structures and Algorithms · Computer Science 2025-05-30 Greg Bodwin , Santosh Vempala

We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in the presence of linked data structures, 2) shape analysis…

Programming Languages · Computer Science 2007-05-23 Viktor Kuncak , Martin Rinard

Szemeredi's regularity lemma can be viewed as a rough structure theorem for arbitrary dense graphs, decomposing such graphs into a structured piece (a partition into cells with edge densities), a small error (corresponding to irregular…

Combinatorics · Mathematics 2020-11-26 Ben Green , Terence Tao

We study the relation between the growth rate of a graph property and the entropy of the graph limits that arise from graphs with that property. In particular, for hereditary classes we obtain a new description of the colouring number,…

Combinatorics · Mathematics 2013-12-20 Hamed Hatami , Svante Janson , Balázs Szegedy

We are concerned with sequences of graphs having a grid geometry, with a uniform local structure in a bounded domain $\Omega\subset {\mathbb R}^d$, $d\ge 1$. We assume $\Omega$ to be Lebesgue measurable with regular boundary and contained,…

Numerical Analysis · Mathematics 2020-09-14 Andrea Adriani , Davide Bianchi , Stefano Serra-Capizzano

A class of graphs is nowhere dense if for every integer r there is a finite upper bound on the size of cliques that occur as (topological) r-minors. We observe that this tameness notion from algorithmic graph theory is essentially the…

Logic · Mathematics 2010-11-18 Hans Adler , Isolde Adler

We consider Stanley--Reisner rings $k[x_1,...,x_n]/I(\mc{H})$ where $I(\mc{H})$ is the edge ideal associated to some particular classes of hypergraphs. For instance, we consider hypergraphs that are natural generalizations of graphs that…

Commutative Algebra · Mathematics 2015-10-12 Eric Emtander , Fatemeh Mohammadi , Somayeh Moradi

We show that if a sequence of dense graphs has the property that for every fixed graph F, the density of copies of F in these graphs tends to a limit, then there is a natural ``limit object'', namely a symmetric measurable 2-variable…

Combinatorics · Mathematics 2007-05-23 Laszlo Lovasz , Balazs Szegedy

In the classical Erd\"os-R\'enyi random graph G(n,p) there are n vertices and each of the possible edges is independently present with probability p. The random graph G(n,p) is homogeneous in the sense that all vertices have the same…

Combinatorics · Mathematics 2016-02-10 Mihyun Kang , Angelica Pachón , Pablo M. Rodriguez

A theorem of Ding, Oporowski, Oxley, and Vertigan implies that any sufficiently large twin-free graph contains a large matching, a co-matching, or a half-graph as a semi-induced subgraph. The sizes of these unavoidable patterns are measured…

Computational Complexity · Computer Science 2026-02-10 Jan Dreier , Nikolas Mählmann , Sebastian Siebertz

We study the problem $\#\mathrm{EdgeSub}(\Phi)$ of counting $k$-edge subgraphs satisfying a given graph property $\Phi$ in a large host graph $G$. Building upon the breakthrough result of Curticapean, Dell and Marx (STOC 17), we express the…

Computational Complexity · Computer Science 2021-05-14 Norbert Peyerimhoff , Marc Roth , Johannes Schmitt , Jakob Stix , Alina Vdovina

We consider 15 properties of labeled random graphs that are of interest in the graph-theoretical and the graph mining literature, such as clustering coefficients, centrality measures, spectral radius, degree assortativity, treedepth,…

Social and Information Networks · Computer Science 2022-06-24 Hang Chen , Vahan Huroyan , Stephen Kobourov , Myroslav Kryven

We prove a far-reaching strengthening of Szemer\'edi's regularity lemma for intersection graphs of pseudo-segments. It shows that the vertex set of such a graph can be partitioned into a bounded number of parts of roughly the same size such…

Combinatorics · Mathematics 2023-12-05 Jacob Fox , Janos Pach , Andrew Suk

The graph theoretic properties of the clustering coefficient, characteristic (or average) path length, global and local efficiency, provide valuable information regarding the structure of a graph. These four properties have applications to…

Combinatorics · Mathematics 2017-09-25 Alexander Strang , Oliver Haynes , Nathan D. Cahill , Darren A. Narayan

Let $A$ be a subset of positive relative upper density of $\PP^d$, the $d$-tuples of primes. We prove that $A$ contains an affine copy of any finite set $F\subs\Z^d$, which provides a natural multi-dimensional extension of the theorem of…

Number Theory · Mathematics 2023-09-12 Brian Cook , Ákos Magyar , Tatchai Titichetrakun

Traditionally, graph algorithms get a single graph as input, and then they should decide if this graph satisfies a certain property $\Phi$. What happens if this question is modified in a way that we get a possibly infinite family of graphs…

Formal Languages and Automata Theory · Computer Science 2021-10-13 Volker Diekert , Henning Fernau , Petra Wolf

For any fixed simple graph $H=(V,E)$ and any fixed $u>0$, we establish the leading order of the exponential rate function for the probability that the number of copies of $H$ in the Erd\H{o}s--R\'enyi graph $G(n,p)$ exceeds its expectation…

Probability · Mathematics 2020-04-28 Nicholas A. Cook , Amir Dembo

Statistical field theory methods have been very successful with a number of random graph and random matrix problems, but it is challenging to apply these methods to graphs with prescribed degree sequences due to the extensive number of…

Statistical Mechanics · Physics 2025-05-20 Pawat Akara-pipattana , Oleg Evnin

We present a first-order theory of sequences with integer elements, Presburger arithmetic, and regular constraints, which can model significant properties of data structures such as arrays and lists. We give a decision procedure for the…

Logic in Computer Science · Computer Science 2013-08-14 Carlo A. Furia

The celebrated Green-Tao theorem states that there are arbitrarily long arithmetic progressions in the primes. One of the main ingredients in their proof is a relative Szemer\'edi theorem which says that any subset of a pseudorandom set of…

Number Theory · Mathematics 2015-10-26 David Conlon , Jacob Fox , Yufei Zhao