arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
2016-01-03 v6
On the cycle structure of the product of random maximal cycles
The subject of this paper is the cycle structure of the random permutation $σ$ of $[N]$, which is the product of $k$ independent random cycles of maximal length $N$. We use the character-based Fourier transform to study the number of cycles of $σ$ and also the distribution of the elements of the subset $[\ell]$ among the cycles of $σ$.
2016-01-02 v2
Traffic Distributions and Independence II: Universal Constructions for Traffic Spaces
We investigate questions related to the notion of traffics introduced by the author C. Male as a noncommutative probability space with numerous additional operations and equipped with the notion of traffic independence. We prove that any sequence of unitarily invariant random matrices that converges in noncommutative distribution converges in distribution of traffics whenever it fulfills some factorization property. We provide an explicit description of the limit which allows to recover and extend some applications (on the freeness from the transposed ensembles by Mingo and Popa and the freeness of infinite transitive graphs by Accardi, Lenczewski and Salapata). We also improve the theory of traffic spaces by considering a positivity axiom related to the notion of state in noncommutative probability. We construct the free product of spaces of traffics and prove that it preserves the positivity condition. This analysis leads to our main result stating that every noncommutative probability space endowed with a tracial state can be enlarged and equipped with a structure of space of traffics.
2015-12-30
Subgraph statistics in subcritical graph classes
Published • View PublicationBIB
Let $H$ be a fixed graph and $\mathcal{G}$ a subcritical graph class. In this paper we show that the number of occurrences of $H$ (as a subgraph) in a uniformly at random graph of size $n$ in $\mathcal{G}$ follows a normal limiting distribution with linear expectation and variance. The main ingredient in our proof is the analytic framework developed by Drmota, Gittenberger and Morgenbesser to deal with infinite systems of functional equations. As a case study, we get explicit expressions for the number of triangles and cycles of length four for the family of series-parallel graphs.
2015-12-30
Boolean functions whose Fourier transform is concentrated on pairwise disjoint subsets of the input
We consider Boolean functions f:{-1,1}^n->{-1,1} that are close to a sum of independent functions on mutually exclusive subsets of the variables. We prove that any such function is close to just a single function on a single subset. We also consider Boolean functions f:R^n->{-1,1} that are close, with respect to any product distribution over R^n, to a sum of their variables. We prove that any such function is close to one of the variables. Both our results are independent of the number of variables, but depend on the variance of f. I.e., if f is ε*Var(f)-close to a sum of independent functions or random variables, then it is O(ε)-close to one of the independent functions or random variables, respectively. We prove that this dependence on Var(f) is tight. Our results are a generalization of the Friedgut-Kalai-Naor Theorem [FKN'02], which holds for functions f:{-1,1}^n->{-1,1} that are close to a linear combination of uniformly distributed Boolean variables.
2015-12-30 v3
Limiting eigenvalue distribution of random matrices of Ihara zeta function of long-range percolation graphs
Published • View PublicationBIB
We consider the ensemble of $N\times N$ real random symmetric matrices $H_N^{(R)}$ obtained from the determinant form of the Ihara zeta function associated to random graphs $Γ_N^{(R)}$ of the long-range percolation radius model with the edge probability determined by a function $φ(t)$. We show that the normalized eigenvalue counting function of $H_N^{( R)}$ weakly converges in average as $N,R\to\infty$, $R=o(N)$ to a unique measure that depends on the limiting average vertex degree of $Γ_N^{(R)}$ given by $φ_1 = \int φ(t) dt$. This measure converges in the limit of infinite $φ_1$ to a shift of the Wigner semi-circle distribution. We discuss relations of these results with the properties of the Ihara zeta function and weak versions of the graph theory Riemann Hypothesis.
2015-12-29 v2
Packing spanning graphs from separable families
Published • View PublicationBIB
Let $\mathcal G$ be a separable family of graphs. Then for all positive constants $ε$ and $Δ$ and for every sufficiently large integer $n$, every sequence $G_1,\dotsc,G_t\in\mathcal G$ of graphs of order $n$ and maximum degree at most $Δ$ such that $e(G_1)+\dotsb+e(G_t) \leq (1-ε)\binom{n}{2}$ packs into $K_n$. This improves results of Böttcher, Hladký, Piguet, and Taraz when $\mathcal G$ is the class of trees and of Messuti, Rödl, and Schacht in the case of a general separable family. The result also implies approximate versions of the Oberwolfach problem and of the Tree Packing Conjecture of Gyárfás (1976) for the case that all trees have maximum degree at most $Δ$. The proof uses the local resilience of random graphs and a special multi-stage packing procedure.
2015-12-28
Random Steiner systems and bounded degree coboundary expanders of every dimension
Published • View PublicationBIB
We introduce a new model of random $d$-dimensional simplicial complexes, for $d\geq 2$, whose $(d-1)$-cells have bounded degrees. We show that with high probability, complexes sampled according to this model are coboundary expanders. The construction relies on Keevash's recent result on designs [Ke14], and the proof of the expansion uses techniques developed by Evra and Kaufman in [EK15]. This gives a full solution to a question raised in [DK12], which was solved in the two-dimensional case by Lubotzky and Meshulam [LM13].
2015-12-21 v3
Constructions and Bounds for Mixed-Dimension Subspace Codes
Published • View PublicationBIB
Codes in finite projective spaces equipped with the subspace distance have been proposed for error control in random linear network coding. The resulting so-called \emph{Main Problem of Subspace Coding} is to determine the maximum size $A_q(v,d)$ of a code in $\operatorname{PG}(v-1,\mathbb{F}_q)$ with minimum subspace distance $d$. Here we completely resolve this problem for $d\ge v-1$. For $d=v-2$ we present some improved bounds and determine $A_q(5,3)=2q^3+2$ (all $q$), $A_2(7,5)=34$. We also provide an exposition of the known determination of $A_q(v,2)$, and a table with exact results and bounds for the numbers $A_2(v,d)$, $v\leq 7$.
2015-12-21
Limits of discrete distributions and Gibbs measures on random graphs
Published in European Journal of Combinatorics 66 (2017) 37 - 59 • View PublicationBIB
Building upon the theory of graph limits and the Aldous-Hoover representation and inspired by Panchenko's work on asymptotic Gibbs measures (Annals of Probability 2013), we construct continuous embeddings of discrete probability distributions. We show that the theory of graph limits induces a meaningful notion of convergence and derive a corresponding version of the Szemerédi regularity lemma. Moreover, complementing recent work (Bapst et. al. 2015), we apply these results to Gibbs measures induced by sparse random factor graphs and verify the "replica symmetric solution" predicted in the physics literature under the assumption of non-reconstruction.
2015-12-20 v2
On the Widom-Rowlinson Occupancy Fraction in Regular Graphs
Published • View PublicationBIB
We consider the Widom-Rowlinson model of two types of interacting particles on d-regular graphs. We prove a tight upper bound on the occupancy fraction, the expected fraction of vertices occupied by a particle under a random configuration from the model. The upper bound is achieved uniquely by unions of complete graphs on d+1 vertices, $K_{d+1}$'s. As a corollary we find that $K_{d+1}$ also maximises the normalised partition function of the Widom-Rowlinson model over the class of d-regular graphs. A special case of this shows that the normalised number of homomorphisms from any d-regular graph $G$ to the graph $H_{WR}$, a path on three vertices with a loop on each vertex, is maximised by $K_{d+1}$. This proves a conjecture of Galvin.
2015-12-18 v2
Inside the clustering window for random linear equations
Published • View PublicationBIB
We study a random system of cn linear equations over n variables in GF(2), where each equation contains exactly r variables; this is equivalent to r-XORSAT. Previous work has established a clustering threshold, c^*_r for this model: if c=c_r^*-εfor any constant ε>0 then with high probability all solutions form a well-connected cluster; whereas if c=c^*_r+ε, then with high probability the solutions partition into well-connected, well-separated clusters (with probability tending to 1 as n goes to infinity). This is part of a general clustering phenomenon which is hypothesized to arise in most of the commonly studied models of random constraint satisfaction problems, via sophisticated but mostly non-rigorous techniques from statistical physics. We extend that study to the range c=c^*_r+o(1), and prove that the connectivity parameters of the r-XORSAT clusters undergo a smooth transition around the clustering threshold.
2015-12-18 v3
A sharp threshold for van der Waerden's theorem in random subsets
Published in Discrete Analysis, 2016:7, 19 pp • View PublicationBIB
We establish sharpness for the threshold of van der Waerden's theorem in random subsets of $\mathbb{Z}/n\mathbb{Z}$. More precisely, for $k\geq 3$ and $Z\subseteq \mathbb{Z}/n\mathbb{Z}$ we say $Z$ has the van der Waerden property if any two-colouring of $Z$ yields a monochromatic arithmetic progression of length $k$. Rödl and Ruciński (1995) determined the threshold for this property for any k and we show that this threshold is sharp. The proof is based on Friedgut's criteria (1999) for sharp thresholds, and on the recently developed container method for independent sets in hypergraphs by Balogh, Morris and Samotij (2015) and by Saxton and Thomason (2015).
2015-12-17 v2
A Central Limit Theorem for the Optimal Alignments Score in Multiple Random Words
Let $\mathbf{X}^{(1)}_{n},\ldots,\mathbf{X}^{(m)}_{n}$, where $\mathbf{X}^{(i)}_{n}=(X^{(i)}_{1},\ldots,X^{(i)}_{n})$, $i=1,\ldots,m$, be $m$ independent sequences of independent and identically distributed random variables taking their values in a finite alphabet $\mathcal{A}$. Let the score function $S$, defined on $\mathcal{A}^{m}$, be non-negative, bounded, permutation-invariant, and satisfy a bounded differences condition. Under a variance lower-bound assumption, a central limit theorem is proved for the optimal alignments score of the $m$ random words.
2015-12-14 v8
Crossings states and sets of states in Pólya random walks
Published in Methodolody and Computing in Applied Probability, 25 (2023), Issue 1, Article No. 28, 34 pp • View PublicationBIB
We consider the Pólya random walk in $\mathbb{Z}^2$. The paper establishes a number of results for the distributions and expectations of the number of usual (undirected) and specifically defined in the paper up- and down-directed state-crossings and different sets of states crossings. One of the most important results of this paper is that the expected number of undirected state-crossings $\mathbf{n}$ is equal to 1 for any state $\mathbf{n}\in\mathbb{Z}^2\setminus\{\mathbf{0}\}$. As well, the results of the paper are extended to $d$-dimensional random walks, $d\geq2$, in bounded areas.
2015-12-14 v2
On the replica symmetry phase of the independent set problem
The independent set problem, ISP for short, asks for the maximal number of vertices in a (large) graph which can be occupied such that none of them are neighbors. We address the question from a statistical mechanics perspective, in the case of Erdoes-Renyi random graphs. We thereby introduce a Hamiltonian penalizing configurations which do not satisfy the non-neighboring constraint: the ground state of the ensuing disordered system corresponds to the solution of the ISP. Identifying the ground state amounts, in turns, to control the phase where replica symmetry is broken, which is way beyond our current understanding. By means of Talagrand's cavity method, we rigorously establish the existence of a replica symmetry phase, computing, in particular, the free energy in the limit of large graphs. A conjectural formula for the ground state, hence for the solution of the ISP, is also derived. Being based on the Parisi theory, the emerging picture is that of a staggering complexity.
2015-12-13
A Probabilistic Characterization of the Dominance Order on Partitions
Published • View PublicationBIB
A probabilistic characterization of the dominance partial order on the set of partitions is presented. This extends work in "Symmetric polynomials and symmetric mean inequalities". Electron. J. Combin., 20(3): Paper 34, 2013. Let $n$ be a positive integer and let $ν$ be a partition of $n$. Let $F$ be the Ferrers diagram of $ν$. Let $m$ be a positive integer and let $p \in (0,1)$. Fill each cell of $F$ with balls, the number of which is independently drawn from the random variable $X = Bin(m,p)$. Given non-negative integers $j$ and $t$, let $P(ν,j,t)$ be the probability that the total number of balls in $F$ is $j$ and that no row of $F$ contains more that $t$ balls. We show that if $ν$ and $μ$ are partitions of $n$, then $ν$ dominates $μ$, i.e. $\sum_{i=1}^k ν(i) \geq \sum_{i=1}^k μ(i)$ for all positive integers $k$, if and only if $P(ν,j,t) \leq P(μ,j,t)$ for all non-negative integers $j$ and $t$. It is also shown that this same result holds when $X$ is replaced by any one member of a large class of random variables. Let $p = \{p_n\}_{n=0}^\infty$ be a sequence of real numbers. Let ${\cal T}_p$ be the $\mathbb{N}$ by $\mathbb{N}$ matrix with $({\cal T}_p)_{i,j} = p_{j-i}$ for all $i, j \in \mathbb{N}$ where we take $p_n = 0$ for $n < 0$. Let $(p^i)_j$ be the coefficient of $x^j$ in $(p(x))^i$ where $p(x) = \sum_{n=0}^\infty p_n x^n$ and $p^0(x) =1$. Let ${\cal S}_p$ be the $\mathbb{N}$ by $\mathbb{N}$ matrix with $({\cal S}_p)_{i,j} = (p^i)_j$ for all $i, j \in \mathbb{N}$. We show that if ${\cal T}_p$ is totally non-negative of order $k$ then so is ${\cal S}_p$. The case $k=2$ of this result is a key step in the proof of the result on domination. We also show that the case $k=2$ would follow from a combinatorial conjecture that might be of independent interest.
2015-12-11 v2
Limits of subcritical random graphs and random graphs with excluded minors
We prove local convergence results for the uniformly random, labelled or unlabelled, graphs from subcritical families. As an example special case, we prove Benjamini-Schramm convergence for the uniform random unlabelled tree. We introduce a compactification of the space of countable (connected) rooted graphs, and use it to generalise the notion of Benjamini-Schramm convergence in order to allow for vertices of infinite degree in the limit object.
2015-12-09
The Construction and Properties of Assortative Configuration Graphs
Published • View PublicationBIB
In the new field of financial systemic risk, the network of interbank counterparty relationships can be described as a directed random graph. In "cascade models" of systemic risk, this "skeleton" acts as the medium through which financial contagion is propagated. It has been observed in real networks that such counterparty relationships exhibit negative assortativity, meaning that a bank's counterparties are more likely to have unlike characteristics. This paper introduces and studies a general class of random graphs called the assortative configuration model, parameterized by an arbitrary node-type distribution P and edge-type distribution Q. The first main result is a law of large numbers that says the empirical edge-type distributions converge in probability to Q. The second main result is a formula for the large N asymptotic probability distribution of general graphical objects called "configurations". This formula exhibits a key property called "locally tree-like" that in simpler models is known to imply strong results of percolation theory on the size of large connected clusters. Thus this paper provides the essential foundations needed to prove rigorous percolation bounds and cascade mappings in assortative networks.
2015-12-07 v2
The Multi-Orientable Random Tensor Model, a Review
Published in SIGMA 12 (2016), 056, 23 pages • View PublicationBIB
After its introduction (initially within a group field theory framework) in [Tanasa A., J. Phys. A: Math. Theor. 45 (2012), 165401, 19 pages, arXiv:1109.0694], the multi-orientable (MO) tensor model grew over the last years into a solid alternative of the celebrated colored (and colored-like) random tensor model. In this paper we review the most important results of the study of this MO model: the implementation of the $1/N$ expansion and of the large $N$ limit ($N$ being the size of the tensor), the combinatorial analysis of the various terms of this expansion and finally, the recent implementation of a double scaling limit.
2015-12-07
The Class of Random Graphs Arising from Exchangeable Random Measures
We introduce a class of random graphs that we argue meets many of the desiderata one would demand of a model to serve as the foundation for a statistical analysis of real-world networks. The class of random graphs is defined by a probabilistic symmetry: invariance of the distribution of each graph to an arbitrary relabelings of its vertices. In particular, following Caron and Fox, we interpret a symmetric simple point process on $\mathbb{R}_+^2$ as the edge set of a random graph, and formalize the probabilistic symmetry as joint exchangeability of the point process. We give a representation theorem for the class of random graphs satisfying this symmetry via a straightforward specialization of Kallenberg's representation theorem for jointly exchangeable random measures on $\mathbb{R}_+^2$. The distribution of every such random graph is characterized by three (potentially random) components: a nonnegative real $I \in \mathbb{R}_+$, an integrable function $S: \mathbb{R}_+ \to \mathbb{R}_+$, and a symmetric measurable function $W: \mathbb{R}_+^2 \to [0,1]$ that satisfies several weak integrability conditions. We call the triple $(I,S,W)$ a graphex, in analogy to graphons, which characterize the (dense) exchangeable graphs on $\mathbb{N}$. Indeed, the model we introduce here contains the exchangeable graphs as a special case, as well as the "sparse exchangeable" model of Caron and Fox. We study the structure of these random graphs, and show that they can give rise to interesting structure, including sparse graph sequences. We give explicit equations for expectations of certain graph statistics, as well as the limiting degree distribution. We also show that certain families of graphexes give rise to random graphs that, asymptotically, contain an arbitrarily large fraction of the vertices in a single connected component.