arXiv++ Combinatorics

We study a metric on the set of finite graphs in which two graphs are considered to be similar if they have similar bounded dimensional "factors". We show that limits of convergent graph sequences in this metric can be represented by symmetric Borel measures on $[0,1]^2$. This leads to a generalization of dense graph limit theory to sparse graph sequences.

Let $d\geq 3$ be fixed and $G$ be a large random $d$-regular graph on $n$ vertices. We show that if $n$ is large enough then the entry distribution of every almost eigenvector $v$ of $G$ (with entry sum 0 and normalized to have length $\sqrt{n}$) is close to some Gaussian distribution $N(0,σ)$ in the weak topology where $0\leqσ\leq 1$. Our theorem holds even in the stronger sense when many entries are looked at simultaneously in small random neighborhoods of the graph. Furthermore, we also get the Gaussianity of the joint distribution of several almost eigenvectors if the corresponding eigenvalues are close. Our proof uses graph limits and information theory. Our results have consequences for factor of i.i.d.\ processes on the infinite regular tree.

It is known that if $p$ is a sufficiently large prime then for every function $f:\mathbb{Z}_p\to [0,1]$ there exists a continuous function on the circle $f':\mathbb{T}\to [0,1]$ such that the averages of $f$ and $f'$ across any prescribed system of linear forms of complexity 1 differ by at most $ε$. This result follows from work of Sisask, building on Fourier-analytic arguments of Croot that answered a question of Green. We generalize this result to systems of complexity at most 2, replacing $\mathbb{T}$ with the torus $\mathbb{T}^2$ equipped with a specific filtration. To this end we use a notion of modelling for filtered nilmanifolds, that we define in terms of equidistributed maps, and we combine this with tools of quadratic Fourier analysis. Our results yield expressions on the torus for limits of combinatorial quantities involving systems of complexity 2 on $\mathbb{Z}_p$. For instance, let $m_4(α,\mathbb{Z}_p)$ denote the minimum, over all sets $A\subset \mathbb{Z}_p$ of cardinality at least $αp$, of the density of 4-term arithmetic progressions inside $A$. We show that $\lim_{p\to \infty} m_4(α,\mathbb{Z}_p)$ is equal to the infimum, over all measurable functions $f:\mathbb{T}^2\to [0,1]$ with $\int_{\mathbb{T}^2}f\geq α$, of the following integral: $$ \int_{\mathbb{T}^5} f\binom{x_1}{y_1}\; f\binom{x_1+x_2}{y_1+y_2}\; f\binom{x_1+2x_2}{y_1+2y_2+y_3}\; f\binom{x_1+3 x_2}{y_1+3y_2+3y_3} \,dμ_{\mathbb{T}^5}(x_1,x_2,y_1,y_2,y_3). $$

In this paper we describe a triple correspondence between graph limits, information theory and group theory. We put forward a new graph limit concept called log-convergence that is closely connected to dense graph limits but its main applications are in the study of sparse graph sequences. We present an information theoretic limit concept for $k$-tuples of random variables that is based on the entropy maximization problem for joint distributions of random variables where a system of marginal distributions is prescribed. We give a fruitful correspondence between the two limit concepts that has a group theoretic nature. Our applications are in graph theory and information theory. We shows that if $H$ is a bipartite graph, $P_1$ is the edge and $t$ is the homomorphism density function then the supremum of $\log t(H,G)/\log t(P_1,G)$ in the set of all graphs $G$ is the same as in the set of graphs that are both edge and vertex transitive. This result gives a group theoretic approach to Sidorenko's famous conjecture. We obtain information theoretic inequalities regarding the entropy maximization problem. We investigate the limits of sparse random graphs and discuss quasi-randomness in our framework.

Our goal is to develop a limit approach for a class of problems in additive combinatorics that is analogous to the limit theory of dense graph sequences. We introduce metric, convergence and limit objects for functions on groups and for measurable functions on compact abelian groups. As an application we find exact minimizers for densities of linear configurations of complexity $1$.

We prove an arithmetic removal result for all compact abelian groups, generalizing a finitary removal result of Král', Serra and the third author. To this end, we consider infinite measurable hypergraphs that are invariant under certain group actions, and for these hypergraphs we prove a symmetry-preserving removal lemma, which extends a finitary result of the same name by the second author. We deduce our arithmetic removal result by applying this lemma to a specific type of invariant measurable hypergraph. As a direct application, we obtain the following generalization of Szemerédi's theorem: for any compact abelian group $G$, any measurable set $A\subset G$ with Haar probability $μ(A)\geqα>0$ satisfies $$\int_G\int_G\; 1_A\big(x\big)\; 1_A\big(x+r\big) \cdots 1_A\big(x+(k-1)r\big) \; dμ(x) dμ(r) \geq c,$$ where the constant $c=c(α,k)>0$ is valid uniformly for all $G$. This result is shown to hold more generally for any translation-invariant system of $r$ linear equations given by an integer matrix with coprime $r\times r$ minors.

We present a construction that allows us to define a limit object of Banach space decorated graph sequences in a generalized homomorphism density sense. This general functional analytic framework provides a universal language for various combinatorial limit notions. In particular it makes it possible to assign limit objects to multigraph sequences that are convergent in the sense of node-and-edge homomorphism numbers, and it generalizes the limit theory for graph sequences with compact decorations.

We investigate the famous conjecture by Erd\H os-Simonovits and Sidorenko using information theory. Our method gives a unified treatment for all known cases of the conjecture and it implies various new results as well. Our topological type conditions allow us to extend Sidorenko's conjecture to large families of $k$-uniform hypergraphs. This is somewhat unexpected since the conjecture fails for $k$ uniform hypergraphs in general.

We study the automorphism group of graphons (graph limits). We prove that after an appropriate "standardization" of the graphon, the automorphism group is compact. Furthermore, we characterize the orbits of the automorphism group on $k$-tuples of points. Among applications we study the graph algebras defined by finite rank graphons and the space of node-transitive graphons.

We study various classes of random processes defined on the regular tree $T_d$ that are invariant under the automorphism group of $T_d$. Most important ones are factor of i.i.d. processes (randomized local algorithms), branching Markov chains and a new class that we call typical processes. Using Glauber dynamics on processes we give a sufficient condition for a branching Markov chain to be factor of i.i.d. Typical processes are defined in a way that they create a correspondence principle between random $d$-reguar graphs and ergodic theory on $T_d$. Using this correspondence principle together with entropy inequalities for typical processes we prove a family of combinatorial statements about random $d$-regular graphs.

The cut pseudo-metric on the space of graph limits induces an equivalence relation. The quotient space obtained by collapsing each equivalence class to a point is a metric space with appealing analytic properties. We show that the equivalence relation admits a Borel lifting: There exists a Borel-measurable mapping which maps each equivalence class to one of its elements.

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, which by well-known results describes the rate of growth. We study also random graphs and their entropies. We show, for example, that if a hereditary property has a unique limiting graphon with maximal entropy, then a random graph with this property, selected uniformly at random from all such graphs with a given order, converges to this maximizing graphon as the order tends to infinity.

Let $G$ be a large-girth $d$-regular graph and $μ$ be a random process on the vertices of $G$ produced by a randomized local algorithm. We prove the upper bound $(k+1-2k/d)\Bigl(\frac{1}{\sqrt{d-1}}\Bigr)^k$ for the (absolute value of the) correlation of values on pairs of vertices of distance $k$ and show that this bound is optimal. The same results hold automatically for factor of i.i.d processes on the $d$-regular tree. In that case we give an explicit description for the (closure) of all possible correlation sequences. Our proof is based on the fact that the Bernoulli graphing of the infinite $d$-regular tree has spectral radius $2\sqrt{d-1}$. Graphings with this spectral gap are infinite analogues of finite Ramanujan graphs and they are interesting on their own right.

The colored neighborhood metric for sparse graphs was introduced by Bollobás and Riordan. The corresponding convergence notion refines a convergence notion introduced by Benjamini and Schramm. We prove that even in this refined sense, the limit of a convergent graph sequence (with uniformly bounded degree) can be represented by a graphing. We study various topics related to this convergence notion such as: Bernoulli graphings, factor of i.i.d. processes and hyperfiniteness.

We develop a theory of higher order structures in compact abelian groups. In the frame of this theory we prove general inverse theorems and regularity lemmas for Gowers's uniformity norms. We put forward an algebraic interpretation of the notion "higher order Fourier analysis" in terms of continuous morphisms between structures called compact $k$-step nilspaces. As a byproduct of our results we obtain a new type of limit theory for functions on abelian groups in the spirit of the so-called graph limit theory. Our proofs are based on an exact (non-approximative) version of higher order Fourier analysis which appears on ultra product groups.

We study a type of calculus for proving inequalities between subgraph densities which is based on Jensen's inequality for the logarithmic function. As a demonstration of the method we verify the conjecture of Erdös-Simonovits and Sidorenko for new families of graphs. In particular we give a short analytic proof for a result by Conlon, Fox and Sudakov. Using this, we prove the forcing conjecture for bipartite graphs in which one vertex is complete to the other side.

A result of the author shows that the behavior of Gowers norms on bounded exponent abelian groups is connected to finite nilspaces. Motivated by this, we investigate the structure of finite nilspaces. As an application we prove inverse theorems for the Gowers norms on bounded exponent abelian groups. It says roughly speaking that if a function on A has non negligible U(k+1)-norm then it correlates with a phase polynomial of degree k when lifted to some abelian group extension of A. This result is closely related to a conjecture by Tao and Ziegler. In prticular we obtain a new proof for the Tao-Ziegler inverse theorem.

For every natural number k we prove a decomposition theorem for bounded measurable functions on compact abelian groups into a structured part, a quasi random part and a small error term. In this theorem quasi randomness is measured with the Gowers norm U(k+1) and the structured part is a bounded complexity ``nilspace-polynomial'' of degree k. This statement implies a general inverse theorem for the U(k+1) norm. (We discuss some consequences in special families of groups such as bounded exponent groups, zero characteristic groups and the circle group.) Along these lines we introduce a convergence notion and corresponding limit objects for functions on abelian groups. This subject is closely related to the recently developed graph and hypergraph limit theory. An important goal of this paper is to put forward a new algebraic aspect of the notion ``higher order Fourier analysis''. According to this, k-th order Fourier analysis is regarded as the study of continuous morphisms between structures called compact k-step nilspaces. All our proofs are based on an underlying theory of topological nilspace factors of ultra product groups.

Following a general program of studying limits of discrete structures, and motivated by the theory of limit objects of converge sequences of dense simple graphs, we study the limit of graph sequences such that every edge is labeled by an element of a compact second-countable Hausdorff space K. The "local structure" of these objects can be explored by a sampling process, which is shown to be equivalent to knowing homomorphism numbers from graphs whose edges are decorated by continuous functions on K. The model includes multigraphs with bounded edge multiplicities, graphs whose edges are weighted with real numbers from a finite interval, edge-colored graphs, and other models. In all these cases, a limit object can be defined in terms of 2-variable functions whose values are probability distributions on K.

We study an analogue of the classical moment problem in the framework where moments are indexed by graphs instead of natural numbers. We study limit objects of graph sequences where edges are labeled by elements of a topological space. Among other things we obtain strengthening and generalizations of the main results of previous papers characterizing reflection positive graph parameters, graph homomorphism numbers, and limits of simple graph sequences. We study a new class of reflection positive partition functions which generalize the node-coloring models (homomorphisms into weighted graphs).