random
7100 papers tagged with this keyword
On the Distribution of Range for Tree-Indexed Random Walks
Published
• View Publication
• BIB
We study tree-indexed random walks as introduced by Benjamini, Häggström, and Mossel, i.e. labelings of a tree for which adjacent vertices have labels differing by 1. It is a conjecture of those authors that the distribution of the range for any such tree is dominated by that of a path on the same number of edges. The two main variants of this conjecture considered in the literature are the $\textit{standard}$ walks, in which adjacent vertices must have labels differing by $\textit{exactly}$ 1, and $\textit{lazy}$ walks, in which adjacent vertices must have labels differing by $\textit{at most}$ 1. We confirm this conjecture for all trees in the lazy case and provide some partial results in the standard case.
Motifs, Coherent Configurations and Second Order Network Generation
Published
• View Publication
• BIB
In this paper we illuminate some algebraic-combinatorial structure underlying the second order networks (SONETS) random graph model of Nykamp, Zhao and collaborators. In particular we show that this algorithm is deeply connected with a certain homogeneous coherent configuration, a non-commuting generalization of the classical Johnson scheme. This algebraic structure underlies certain surprising identities (that do not appear to have been previously observed) satisfied by the covariance matrices in the Nykamp-Zhao scheme. We show that an understanding of this algebraic structure leads to simplified numerical methods for carrying out the linear algebra required to implement the SONETS algorithm. We also show that this structure extends naturally to the problem of generating random subgraphs of graphs other than the complete directed graph.
$PC$-polynomial of graph
We define $PC$-polynomial of graph which is related to clique, (in)dependence and matching polynomials. The growth rate of partially commutative monoid is equal to the largest root $β(G)$ of $PC$-polynomial of the corresponding graph.
The random algebra is defined in such way that its growth rate equals the largest root of $PC$-polynomial of random graph. We prove that for almost all graphs all sufficiently large real roots of $PC$-polynomial lie in neighbourhoods of roots of $PC$-polynomial of random graph. We show how to calculate the series expansions of the latter roots. The average value of $β(G)$ over all graphs with the same number of vertices is computed.
We found the graphs on which the maximal value of $β(G)$ with fixed numbers of vertices and edges is reached. From this, we derive the upper bound of $β(G)$. Modulo one assumption, we do the same for minimal value of $β(G)$.
We study the Nordhaus---Gaddum bounds of $β(G)+β(\bar{G})$ and $β(G)β(\bar{G})$.
Existential monadic second order convergence law fails on sparse random graphs
Published
• View Publication
• BIB
In the paper, we prove that existential monadic second order convergence law fails for the binomial random graph $G(n,n^{-α})$ for every $α\in(0,1)$.
Spin systems on Bethe lattices
Published
• View Publication
• BIB
In an extremely influential paper Mezard and Parisi put forward an analytic but non-rigorous approach called the cavity method for studying spin systems on the Bethe lattice, i.e., the random $d$-regular graph [Eur. Phys. J. B 20 (2001) 217--233]. Their technique was based on certain hypotheses; most importantly, that the phase space decomposes into a number of Bethe states that are free from long-range correlations and whose marginals are given by a recurrence called Belief Propagation. In this paper we establish this decomposition rigorously for a very general family of spin systems. In addition, we show that the free energy can be computed from this decomposition. We also derive a variational formula for the free energy. The general results have interesting ramifications on several special cases.
Johnson type bounds for mixed dimension subspace codes
Published
• View Publication
• BIB
Subspace codes, i.e., sets of subspaces of $\mathbb{F}_q^v$, are applied in random linear network coding. Here we give improved upper bounds for their cardinalities based on the Johnson bound for constant dimension codes.
Random tree recursions: which fixed points correspond to tangible sets of trees?
Published in Random Structures Algorithms, 56(3):796--837, 2020
• View Publication
• BIB
Let $\mathcal{B}$ be the set of rooted trees containing an infinite binary subtree starting at the root. This set satisfies the metaproperty that a tree belongs to it if and only if its root has children $u$ and $v$ such that the subtrees rooted at $u$ and $v$ belong to it. Let $p$ be the probability that a Galton-Watson tree falls in $\mathcal{B}$. The metaproperty makes $p$ satisfy a fixed-point equation, which can have multiple solutions. One of these solutions is $p$, but what is the meaning of the others? In particular, are they probabilities of the Galton-Watson tree falling into other sets satisfying the same metaproperty? We create a framework for posing questions of this sort, and we classify solutions to fixed-point equations according to whether they admit probabilistic interpretations. Our proofs use spine decompositions of Galton-Watson trees and the analysis of Boolean functions.
The Ramsey number of books
Published in Advances in Combinatorics, 2019:3, 12 pp
• View Publication
• BIB
We show that in every two-colouring of the edges of the complete graph $K_N$ there is a monochromatic $K_k$ which can be extended in at least $(1 + o_k(1))2^{-k}N$ ways to a monochromatic $K_{k+1}$. This result is asymptotically best possible, as may be seen by considering a random colouring. Equivalently, defining the book $B_n^{(k)}$ to be the graph consisting of $n$ copies of $K_{k+1}$ all sharing a common $K_k$, we show that the Ramsey number $r(B_n^{(k)}) = 2^k n + o_k(n)$. In this form, our result answers a question of Erdős, Faudree, Rousseau and Schelp and establishes an asymptotic version of a conjecture of Thomason.
Suitable sets of permutations, packings of triples, and Ramsey's theorem
Published
• View Publication
• BIB
A set of $N$ permutations of $\{1,2,\ldots,v\}$ is $t$-suitable, if each symbol precedes each subset of $t-1$ others in at least one permutation. The extremal problem of determining the smallest size $N$ of such sets for given $v$ and $t$ was the subject of classical studies by Dushnik in 1950 and Spencer in 1971. Colbourn recently introduced the concept of suitable cores as equivalent objects of suitable sets of permutations, and studied the dual problem of determining the largest $v=\text{SCN}(t,N)$ such that a suitable core exists for given $t$ and $N$. Chan and Jedwab showed that when $N=\lfloor\frac{t+1}{2}\rfloor\lceil\frac{t+1}{2}\rceil+l$, the value of SCN$(t,N)$ is asymptotically $\lfloor\frac{t}{2}\rfloor+2$ if $l$ is a fixed integer. In this paper, we improve this result by showing that it is also true when $l=O(\ln t)$ using Ramsey theory. When $v$ is bigger than $\lfloor\frac{t}{2}\rfloor+2$, we give new explicit constructions of suitable cores from packings of triples, and random constructions from extended Ramsey colorings.
Modularity of Erdős-Rényi random graphs
Published
• View Publication
• BIB
For a given graph $G$, each partition of the vertices has a modularity score, with higher values indicating that the partition better captures community structure in $G$. The modularity $q^*(G)$ of the graph $G$ is defined to be the maximum over all vertex partitions of the modularity score, and satisfies $0\leq q^*(G) < 1$. Modularity is at the heart of the most popular algorithms for community detection.
We investigate the behaviour of the modularity of the Erdős-Rényi random graph $G_{n,p}$ with $n$ vertices and edge-probability $p$. Two key findings are that the modularity is $1+o(1)$ with high probability (whp) for $np$ up to $1+o(1)$ and no further; and when $np \geq 1$ and $p$ is bounded below 1, it has order $(np)^{-1/2}$ whp, in accord with a conjecture by Reichardt and Bornholdt in 2006.
We also show that the modularity of a graph is robust to changes in a few edges, in contrast to the sensitivity of optimal vertex partitions.
The bipartite $K_{2,2}$-free process and bipartite Ramsey number $b(2, t)$
Published
• View Publication
• BIB
The bipartite Ramsey number $b(s,t)$ is the smallest integer $n$ such that every blue-red edge coloring of $K_{n,n}$ contains either a blue $K_{s,s}$ or a red $K_{t,t}$. In the bipartite $K_{2,2}$-free process, we begin with an empty graph on vertex set $X\cup Y$, $|X|=|Y|=n$. At each step, a random edge from $X\times Y$ is added under the restriction that no $K_{2,2}$ is formed. This step is repeated until no more edges can be added. In this note, we analyze this process and show that the resulting graph witnesses that $b(2,t) =Ω\left(t^{3/2}/\log t \right)$, thereby improving the best known lower bound.
Large girth approximate Steiner triple systems
Published in Journal of the London Mathematical Society, 100 (2019), 895-913
• View Publication
• BIB
In 1973 Erdos asked whether there are n-vertex partial Steiner triple systems with arbitrary high girth and quadratically many triples. (Here girth is defined as the smallest integer g \ge 4 for which some g-element vertex-set contains at least g-2 triples.)
We answer this question, by showing existence of approximate Steiner triple systems with arbitrary high girth. More concretely, for any fixed \ell \ge 4 we show that a natural constrained random process typically produces a partial Steiner triple system with (1/6-o(1))n^2 triples and girth larger than \ell. The process iteratively adds random triples subject to the constraint that the girth remains larger than \ell. Our result is best possible up to the o(1)-term, which is a negative power of n.
Finding perfect matchings in random cubic graphs in linear time
In a seminal paper on finding large matchings in sparse random graphs, Karp and Sipser proposed two algorithms for this task. The second algorithm has been intensely studied, but due to technical difficulties, the first algorithm has received less attention. Empirical results in \cite{KS} suggest that the first algorithm is superior. In this paper we show that this is indeed the case, at least for random cubic graphs. We show that w.h.p. the first algorithm will find a matching of size $n/2 - O(\log n)$ on a random cubic graph (indeed on a random graph with degrees in $\{3,4\}$). We also show that the algorithm can be adapted to find a perfect matching w.h.p. in $O(n)$ time, as opposed to $O(n^{3/2})$ time for the worst-case.
Hitting times and resistance distances of $q$-triangulation graphs: Accurate results and applications
Graph operations or products, such as triangulation and Kronecker product have been extensively applied to model complex networks with striking properties observed in real-world complex systems. In this paper, we study hitting times and resistance distances of $q$-triangulation graphs. For a simple connected graph $G$, its $q$-triangulation graph $R_q(G)$ is obtained from $G$ by performing the $q$-triangulation operation on $G$. That is, for every edge $uv$ in $G$, we add $q$ disjoint paths of length $2$, each having $u$ and $v$ as its ends. We first derive the eigenvalues and eigenvectors of normalized adjacency matrix of $R_q(G)$, expressing them in terms of those associated with $G$. Based on these results, we further obtain some interesting quantities about random walks and resistance distances for $R_q(G)$, including two-node hitting time, Kemeny's constant, two-node resistance distance, Kirchhoff index, additive degree-Kirchhoff index, and multiplicative degree-Kirchhoff index. Finally, we provide exact formulas for the aforementioned quantities of iterated $q$-triangulation graphs, using which we provide closed-form expressions for those quantities corresponding to a class of scale-free small-world graphs, which has been applied to mimic complex networks.
On the combinatorics of exclusion in Haldane fractional statistics
This paper is a revision of the combinatorics of fractional exclusion statistics (FES). More specifically, the following exact statement of the generalized Pauli principle is derived: for an $N$-particles system exhibiting FES of extended parameter $g=q/r$ ($q$ and $r$ are co-prime integers such that $0 < q \leq r$), we found that the allowed occupation number of a state is smaller than or equal to $r-q+1$ and \emph{not} to $1/g$ whenever $q\neq 1$ and, moreover, the global occupancy shape (merely represented by a partition of $N$) is admissible if the number of states occupied by at least two particles is less than or equal to $(N-1)/r$ ($N \equiv 1 \pmod r$). These counting rules allow distinguishing infinitely many families of FES systems depending on the parameter $g$ and the size $N$. As an application of the main result, we study the probability distributions of occupancy configurations. For instance, the number of occupied states is found to be a hypergeometric random variable. Closed-form expressions for the expectation values and variances in the thermodynamic limit are presented. By way of comparison, we obtain parallel results regarding the Gentile intermediate statistics and demonstrate subtle similarities and contrasts with respect to FES.
Several generalizations and variations of Chu-Vandermonde identity
Published
• View Publication
• BIB
In this paper we prove some combinatorial identities which can be considered as generalizations and variations of remarkable Chu-Vandermonde identity. These identities are proved by using an elementary combinatorial-probabilistic approach to the expressions for the $k$-th moments ($k=1,2,3$) of some particular cases of recently investigated discrete random variables. Using one of these Chu-Vandermonde-type identities, two combinatorial congruences are established.
On walks avoiding a quadrant
Published in Electronic Journal of Combinatorics, 26 P3.31 (2019) 1-34
• View Publication
• BIB
Two-dimensional (random) walks in cones are very natural both in combinatorics and probability theory: they are interesting for themselves and also because they are strongly related to other discrete structures. While walks restricted to the first quadrant have been studied a lot, the case of planar, non-convex cones---equivalent to the three-quarter plane after a linear transform---has been approached only recently. In this article we develop an analytic approach to the case of walks in three quadrants. The advantage of this method is to provide uniform treatment in the study of models corresponding to different step sets. After splitting the three quadrants in two symmetric convex cones, the method is composed of three main steps: write a system of functional equations satisfied by the counting generating function, which may be simplified into one single equation under symmetry conditions; transform the functional equation into a boundary value problem; and finally solve this problem, using a concept of anti-Tutte's invariant. The result is a contour-integral expression for the generating function. Such systems of functional equations also appear in queueing theory with the famous Join-the-Shortest-Queue model, which is still an open problem in the non-symmetric case.
Exact solution of some quarter plane walks with interacting boundaries
Published
• View Publication
• BIB
The set of random walks with different step sets (of short steps) in the quarter plane has provided a rich set of models that have profoundly different integrability properties. In particular, 23 of the 79 effectively different models can be shown to have generating functions that are algebraic or differentiably finite. Here we investigate how this integrability may change in those 23 models where in addition to length one also counts the number of sites of the walk touching either the horizontal and/or vertical boundaries of the quarter plane. This is equivalent to introducing interactions with those boundaries in a statistical mechanical context. We are able to solve for the generating function in a number of cases. For example, when counting the total number of boundary sites without differentiating whether they are horizontal or vertical, we can solve the generating function of a generalised Kreweras model. However, in many instances we are not able to solve as the kernel methodology seems to break down when including counts with the boundaries.
Weighted Persistent Homology Sums of Random Čech Complexes
We study the asymptotic behavior of random variables of the form \begin{equation*} E_α^i\left(x_1,\ldots,x_n\right)=\sum_{\left(b,d\right)\in \mathit{PH}_i\left(x_1,\ldots,x_n\right)} \left(d-b\right)^α \end{equation*} where $\left\{x_j\right\}_{j\in\mathbb{N}}$ are i.i.d. samples from a probability measure on a triangulable metric space, and $\textit{PH}_i\left(x_1,\ldots,x_n\right)$ denotes the $i$-dimensional reduced persistent homology of the Čech complex of $\left\{x_1,\ldots,x_n\right\}.$ These quantities are a higher-dimensional generalization of the $α$-weighted sum of a minimal spanning tree; we seek to prove analogues of the theorems of Steele (1988) and Aldous and Steele (1992) in this context.
As a special case of our main theorem, we show that if $\left\{x_j\right\}_{j\in\mathbb{N}}$ are distributed independently and uniformly on the $m$-dimensional Euclidean sphere, $α<m,$ and $0\leq i <n,$ then there are real numbers $γ$ and $Γ$ so that \begin{equation*} γ\leq \lim_{n\rightarrow\infty} n^{-\frac{m-α}{m}} E_i^α\left(x_1,\ldots,x_n\right) \leq Γ\end{equation*}
in probability. More generally, we prove results about the asymptotics of the expectation of $E_α^i$ for points sampled from a locally bounded probability measure on a space that is the bi-Lipschitz image of an $m-$dimensional Euclidean simplicial complex, as well as measures supported on sets of fractional dimension that respect box counting.
Weakly Monotone Fock Space and Monotone Convolution of the Wigner Law
Published
• View Publication
• BIB
We study the distribution (w.r.t. the vacuum state) of family of partial sums Sm of position operators on weakly monotone Fock space. We show that any single operator has the Wigner law, and an arbitrary family of them (with the index set linearly ordered) is a collection of monotone independent random variables. It turns out that our problem equivalently consists in finding the m-fold monotone convolution of the semicircle law. For m = 2 we compute the explicit distribution. For any m > 2 we give the moments of the measure, and show it is absolutely continuous and compactly supported on a symmetric interval whose endpoints can be found by a recurrence relation.