arXiv++ Combinatorics

We generalize subgraph densities, arising in dense graph limit theory, to Markov spaces (symmetric measures on the square of a standard Borel space). More generally, we define an analogue of the set of homomorphisms in the form of a measure on maps of a finite graph into a Markov space. The existence of such homomorphism measures is not always guaranteed, but can be established under rather natural smoothness conditions on the Markov space and sparseness conditions on the graph. This continues a direction in graph limit theory in which such measures are viewed as limits of graph sequences.

Generalizing the bounded kernel results of Borgs, Chayes, Lovász, Sós and Vesztergombi (2008), we prove two Sampling Lemmas for unbounded kernels with respect to the cut norm. On the one hand, we show that given a (symmetric) kernel $U\in L^p([0,1]^2)$ for some $3<p<\infty$, the cut norm of a random $k$-sample of $U$ is with high probability within $O(k^{-\frac14+\frac{1}{4p}})$ of the cut norm of $U$. The cut norm of the sample has a strong bias to being larger than the original, allowing us to actually obtain a stronger high probability bound of order $O(k^{-\frac 12+\frac1p+\varepsilon})$ for how much smaller it can be (for any $p>2$ here). These results are then partially extended to the case of vector valued kernels. On the other hand, we show that with high probability, the $k$-samples are also close to $U$ in the cut metric, albeit with a weaker bound of order $O((\ln k)^{-\frac12+\frac1{2p}})$ (for any appropriate $p>2$). As a corollary, we obtain that whenever $U\in L^p$ with $p>4$, the $k$-samples converge almost surely to $U$ in the cut metric as $k\to\infty$.

Subgraph densities have been defined, and served as basic tools, both in the case of graphons (limits of dense graph sequences) and graphings (limits of bounded-degree graph sequences). While limit objects have been described for the "middle ranges", the notion of subgraph densities in these limit objects remains elusive. We define subgraph densities in the orthogonality graphs on the unit spheres in dimension $d$, under appropriate sparsity condition on the subgraphs. These orthogonality graphs exhibit the main difficulties of defining subgraphs the "middle" range, and so we expect their study to serve as a key example to defining subgraph densities in more general Markov spaces. The problem can also be formulated as defining and computing random orthogonal representations of graphs. Orthogonal representations have played a role in information theory, optimization, rigidity theory and quantum physics, so to study random ones may be of interest from the point of view of these applications as well.

Letting $\mathcal{M}$ denote the space of finite measures on $\mathbb{N}$, and $μ_λ\in\mathcal{M}$ denote the Poisson distribution with parameter $λ$, the function $W:[0,1]^2\to\mathcal{M}$ given by \[ W(x,y)=μ_{c\log x\log y} \] is called the PAG graphon with density $c$. It is known that this is the limit, in the multigraph homomorphism sense, of the dense Preferential Attachment Graph (PAG) model with edge density $c$. This graphon can then in turn be used to generate the so-called W-random graphs in a natural way. The aim of this paper is to compare the dense PAG model with the W-random graph model obtained from the corresponding graphon. Motivated by the multigraph limit theory, we investigate the expected jumble norm distance of the two models in terms on the number of vertices $n$. We present a coupling for which the expectation can be bounded from above by $O(\log^2 n\cdot n^{-1/3})$, and provide a universal lower bound that is coupling independent, but with a worse exponent.

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.

A Banach space valued graphon is a function $W:(Ω, \mathcal{A},π)^2\to\mathcal{Z}$ from a probability space to a Banach space with a separable predual, measurable in a suitable sense, and lying in appropriate $L^p$-spaces. As such we may consider $W(x,y)$ as a two-variable random element of the Banach space. A two-dimensional analogue of moments can be defined with the help of graphs and weak-* evaluations, and a natural question that then arises is whether these generalized moments determine the function $W$ uniquely -- up to measure preserving transformations. The main motivation comes from the theory of multigraph limits, where these graphons arise as the natural limit objects for convergence in a generalized homomorphism sense. Our main result is that this holds true under some Carleman-type condition, but fails in general even with $\mathcal{Z}=\mathbb{R}$, for reasons related to the classical moment-problem. In particular, limits of multigraph sequences are uniquely determined - up to measure preserving transformations - whenever the tails of the edge-distributions stay small enough.

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.