random
6952 papers tagged with this keyword
A central limit theorem for singular graphons
We associate to a graphon $γ$ the sequence of $W$-random graphs $(G_n(γ))_{n \geq 1}$. We say that the graphon is singular if, for any finite graph $F$, the homomorphism density $t(F,G_n(γ))$ has a variance of order $O(n^{-2})$. This behavior is singular because generically, the density of a fixed finite graph $F$ in a $W$-random graph has a variance of order $O(n^{-1})$. We conjecture that the only singular graphons are the constant graphons $γ_p$ with $p \in [0,1]$, corresponding to the Erdős-Rényi random graphs $G(n,p)$. In this paper, we investigate the general properties of the singular graphons, and we show that they share many properties with the Erdős-Rényi random graphs. In particular, if $γ$ is a singular graphon, then the scaled densities $n(t(F,G_n(γ))-\mathbb{E}[t(F,G_n(γ))])$ converge in joint distribution. This generalises the central limit theorem satisfied by the Erdős-Rényi random graphs $G(n,p)$; however, the limiting distribution might be non-Gaussian if the conjecture does not hold. We also establish an equation satisfied by the characteristic polynomial of the Laplacian of the graph $G_n(γ)$ associated to a singular graphon; this opens the way to a spectral approach of the conjecture.
Hamiltonian and exclusion statistics approach to discrete forward-moving paths
Published in Phys. Rev. E 104, 014143 (2021)
• View Publication
• BIB
We use a Hamiltonian (transition matrix) description of height-restricted Dyck paths on the plane in which generating functions for the paths arise as matrix elements of the propagator to evaluate the length and area generating function for paths with arbitrary starting and ending points, expressing it as a rational combination of determinants. Exploiting a connection between random walks and quantum exclusion statistics that we previously established, we express this generating function in terms of grand partition functions for exclusion particles in a finite harmonic spectrum and present an alternative, simpler form for its logarithm that makes its polynomial structure explicit.
Bounded cutoff window for the non-backtracking random walk on Ramanujan Graphs
Published
• View Publication
• BIB
We prove that the non-backtracking random walk on Ramanujan graphs with large girth exhibits the fastest possible cutoff with a bounded window.
Loop-erased partitioning of a network: monotonicities & analysis of cycle-free graphs
We consider random partitions of the vertex set of a given finite graph that can be sampled by means of loop-erased random walks stopped at a random exponential time of parameter $q>0$. The related random blocks tend to cluster nodes visited by the random walk on time scale $1/q$. This random partitioning is induced by a measure of rooted spanning forest of the graph, which generalizes the classical uniform spanning tree measure and which can be obtained as a zero-limit of FK-percolation with an external cemetery state. Some general properties of this rooted forest measure and related determinantal observables, along with a number of applications in data analysis have been recently explored. We are here mainly interested in the structure the emergent partitioning, referred to as loop-erased partitioning, as the scale parameter $q$ varies.
We first present two general results shedding light on subtle monoticity properties in $q$ of these rooted forest and loop-erased partitioning measures. The first theorem characterizes monotone events in $q$ by deriving a Russo-like formula. Our second general result concerns two-point correlations defined by the probability that two vertices do not belong to the same block of the partitioning. It states that, on undirected graphs, these correlation functions are increasing in $q$. We then explore other types of results aiming at understanding the emerging asymptotic clusters on simple growing graph models, as $q$ scales with the graph size. Some first results in this direction have been investigated in the recent [arXiv:1906.03858] on dense geometries. Here we look at very sparse graphs. We offer a detailed analysis of the resulting partitioning on line segments and we look at trees and other tree-like geometries, without and with implanted modular structures. For the latter, we characterize the asymptotic detection of these implanted modules.
How does the chromatic number of a random graph vary?
Published in J. London Math. Soc.(2) 2023, 1-47
• View Publication
• BIB
How does the chromatic number of a graph chosen uniformly at random from all graphs on $n$ vertices behave? This quantity is a random variable, so one can ask (i) for upper and lower bounds on its typical values, and (ii) for bounds on how much it varies: what is the width (e.g., standard deviation) of its distribution?
On (i) there has been considerable progress over the last 45 years; on (ii), which is our focus here, remarkably little. One would like both upper and lower bounds on the width of the distribution, and ideally a description of the (appropriately scaled) limiting distribution. There is a well known upper bound of Shamir and Spencer of order $\sqrt{n}$, improved slightly by Alon to $\sqrt{n}/\log n$, but no non-trivial lower bound was known until 2019, when the first author proved that the width is at least $n^{1/4-o(1)}$ for infinitely many $n$, answering a longstanding question of Bollobás.
In this paper we have two main aims: first, we shall prove a much stronger lower bound on the width. We shall show unconditionally that, for some values of $n$, the width is at least $n^{1/2-o(1)}$, matching the upper bounds up to the error term. Moreover, conditional on a recently announced sharper explicit estimate for the chromatic number, we improve the lower bound to order $\sqrt{n} \log \log n /\log^3 n$, within a logarithmic factor of the upper bound.
Secondly, we will describe a number of conjectures as to what the true behaviour of the variation in $χ(G_{n,1/2})$ is, and why. The first form of this conjecture arises from recent work of Bollobás, Heckel, Morris, Panagiotou, Riordan and Smith. We will also give much more detailed conjectures, suggesting that the true width, for the worst case $n$, matches our lower bound up to a constant factor. These conjectures also predict a Gaussian limiting distribution.
Classification of Local Problems on Paths from the Perspective of Descriptive Combinatorics
We classify which local problems with inputs on oriented paths have so-called Borel solution and show that this class of problems remains the same if we instead require a measurable solution, a factor of iid solution, or a solution with the property of Baire.
Together with the work from the field of distributed computing [Balliu et al. PODC 2019], the work from the field of descriptive combinatorics [Gao et al. arXiv:1803.03872, Bernshteyn arXiv:2004.04905] and the work from the field of random processes [Holroyd et al. Annals of Prob. 2017, Grebík, Rozhoň arXiv:2103.08394], this finishes the classification of local problems with inputs on oriented paths using complexity classes from these three fields.
A simple picture emerges: there are four classes of local problems and most classes have natural definitions in all three fields.
Moreover, we now know that randomness does \emph{not} help with solving local problems on oriented paths.
Grover/Zeta Correspondence based on the Konno-Sato theorem
Published in Quantum Information Processing, Volume 20, Article number: 268 (2021)
• View Publication
• BIB
Recently the Ihara zeta function for the finite graph was extended to infinite one by Clair and Chinta et al. In this paper, we obtain the same expressions by a different approach from their analytical method. Our new approach is to take a suitable limit of a sequence of finite graphs via the Konno-Sato theorem. This theorem is related to explicit formulas of characteristic polynomials for the evolution matrix of the Grover walk. The walk is one of the most well-investigated quantum walks which are quantum counterpart of classical random walks. We call the relation between the Grover walk and the zeta function based on the Konno-Sato theorem "Grover/Zeta Correspondence" here.
Strong modeling limits of graphs with bounded tree-width
Published
• View Publication
• BIB
The notion of first order convergence of graphs unifies the notions of convergence for sparse and dense graphs. Nešetřil and Ossona de Mendez [J. Symbolic Logic 84 (2019), 452-472] proved that every first order convergent sequence of graphs from a nowhere-dense class of graphs has a modeling limit and conjectured the existence of such modeling limits with an additional property, the strong finitary mass transport principle. The existence of modeling limits satisfying the strong finitary mass transport principle was proved for first order convergent sequences of trees by Nešetřil and Ossona de Mendez [Electron. J. Combin. 23 (2016), P2.52] and for first order sequences of graphs with bounded path-width by Gajarský et al. [Random Structures Algorithms 50 (2017), 612-635]. We establish the existence of modeling limits satisfying the strong finitary mass transport principle for first order convergent sequences of graphs with bounded tree-width.
Bijecting hidden symmetries for skew staircase shapes
Published
• View Publication
• BIB
We present a bijection between the set of standard Young tableaux of staircase minus rectangle shape, and the set of marked shifted standard Young tableaux of a certain shifted shape. Numerically, this result is due to DeWitt (2012). Combined with other known bijections this gives a bijective proof of the product formula for the number of standard Young tableaux of staircase minus rectangle shape. This resolves an open problem by Morales, Pak and Panova (2019), and allows for efficient random sampling. Other applications include a bijection for semistandard Young tableaux, and a bijective proof of Stembridge's symmetry of LR-coefficients of the staircase shape. We also extend these results to set-valued standard Young tableaux in the combinatorics of K-theory, leading to new proofs of results by Lewis and Marberg (2019) and Abney-McPeek, An and Ng (2020).
The Ising antiferromagnet in the replica symmetric phase
Published
• View Publication
• BIB
Partition functions are an important research object in combinatorics and mathematical physics [Barvinok, 2016]. In this work, we consider the partition function of the Ising antiferromagnet on random regular graphs and characterize its limiting distribution in the replica symmetric phase up to the Kesten-Stigum bound. Our proof relies on a careful execution of the method of moments, spatial mixing arguments and small subgraph conditioning.
On a question of Vera T. Sós about size forcing of graphons
Published
• View Publication
• BIB
The $k$-sample $\mathbb{G}(k,W)$ from a graphon $W:[0,1]^2\to [0,1]$ is the random graph on $\{1,\dots,k\}$, where we sample $x_1,\dots,x_k\in [0,1]$ uniformly at random and make each pair $\{i,j\}\subseteq \{1,\dots,k\}$ an edge with probability $W(x_i,x_j)$, with all these choices being mutually independent. Let the random variable $X_k(W)$ be the number of edges in $\mathbb{G}(k,W)$.
Vera T. Sós asked in 2012 whether two graphons $U,W$ are necessarily weakly isomorphic if the random variables $X_k(U)$ and $X_k(W)$ have the same distribution for every integer $k\ge 2$. This question when one of the graphons $W$ is a constant function was answered positively by Endre Csóka and independently by Jacob Fox, Tomasz Łuczak and Vera T. Sós. Here we investigate the question when $W$ is a 2-step graphon and prove that the answer is positive for a 3-dimensional family of such graphons.
We also present some related results.
Counting and Sampling Perfect Matchings in Regular Expanding Non-Bipartite Graphs
We show that the ratio of the number of near perfect matchings to the number of perfect matchings in $d$-regular strong expander (non-bipartite) graphs, with $2n$ vertices, is a polynomial in $n$, thus the Jerrum and Sinclair Markov chain [JS89] mixes in polynomial time and generates an (almost) uniformly random perfect matching. Furthermore, we prove that such graphs have at least $Ω(d)^n$ any perfect matchings, thus proving the Lovasz-Plummer conjecture [LP86] for this family of graphs.
On the eigenvalues of Erdos-Renyi random bipartite graphs
We analyse the eigenvalues of Erdös--Rényi random bipartite graphs. In particular, we consider $p$ satisfying $n_{1}p=Ω(\sqrt{n_{1}p}\log^{3}(n_{1})),$ $n_{2}p=Ω(\sqrt{n_{2}p}\log^{3}(n_{2})),$ and let $G\sim G(n_{1},n_{2},p)$. We show that with probability tending to $1$ as $n_{1}$ tends to infinity: $$μ_{2} (A(G))\leq 2[1+o(1)](\sqrt{n_{1}p}+\sqrt{n_{2}p}+\sqrt{(n_{1}+n_{2})p}).$$
The expected values of Sombor indices in random hexagonal chains, phenylene chains and Sombor indices of some chemical graphs
Published
• View Publication
• BIB
Hexagonal chains are a special class of catacondensed benzenoid system and phenylene chains are a class of polycyclic aromatic compounds. Recently, A family of Sombor indices was introduced by Gutman in the chemical graph theory. It had been examined that these indices may be successfully applied on modeling thermodynamic properties of compounds. In this paper, we study the expected values of the Sombor indices in random hexagonal chains, phenylene chains, and consider the Sombor indices of some chemical graphs such as graphene, coronoid systems and carbon nanocones.
Random decompositions of Eulerian statistics
This paper develops methods to study the distribution of Eulerian statistics defined by second-order recurrence relations. We define a random process to decompose the statistics over compositions of integers. It is shown that the numbers of descents in random involutions and in random derangements are asymptotically normal with rates of convergence $\mathcal{O}(n^{-1/2})$ and $\mathcal{O}(n^{-1/3})$ respectively.
Spanning cycles in random directed graphs
Published
• View Publication
• BIB
We show that, in almost every $n$-vertex random directed graph process, a copy of every possible $n$-vertex oriented cycle will appear strictly before a directed Hamilton cycle does, except of course for the directed cycle itself. Furthermore, given an arbitrary $n$-vertex oriented cycle, we determine the sharp threshold for its appearance in the binomial random directed graph. These results confirm, in a strong form, a conjecture of Ferber and Long.
Hitting all maximum independent sets
We describe an infinite family of graphs $G_n$, where $G_n$ has $n$ vertices, independence number at least $n/4$, and no set of less than $\sqrt{n}/2$ vertices intersects all its maximum independent sets. This is motivated by a question of Bollobás, Erdős and Tuza, and disproves a recent conjecture of Friedgut, Kalai and Kindler. Motivated by a related question of the last authors, we show that for every graph $G$ on $n$ vertices with independence number $(1/4+\eps)n$, the average independence number of an induced subgraph of $G$ on a uniform random subset of the vertices is at most $(1/4+\eps-Ω(\eps^2)) n$.
Cycle factors in randomly perturbed graphs
We study the problem of finding pairwise vertex-disjoint copies of the $\ell$-vertex cycle $C_\ell$ in the randomly perturbed graph model, which is the union of a deterministic $n$-vertex graph $G$ and the binomial random graph $G(n,p)$. For $\ell \ge 3$ we prove that asymptotically almost surely $G \cup G(n,p)$ contains $\min \{δ(G), \lfloor n/\ell \rfloor \}$ pairwise vertex-disjoint cycles $C_\ell$, provided $p \ge C \log n/n$ for $C$ sufficiently large. Moreover, when $δ(G) \geαn$ with $0<α\le 1/\ell$ and $G$ is not `close' to the complete bipartite graph $K_{αn,(1-α) n}$, then $p \ge C/n$ suffices to get the same conclusion. This provides a stability version of our result. In particular, we conclude that $p \ge C/n$ suffices when $α>1/\ell$ for finding $\lfloor n/\ell \rfloor$ cycles $C_\ell$.
Our results are asymptotically optimal. They can be seen as an interpolation between the Johansson--Kahn--Vu Theorem for $C_\ell$-factors and the resolution of the El-Zahar Conjecture for $C_\ell$-factors by Abbasi.
Smoothed counting of 0-1 points in polyhedra
Published
• View Publication
• BIB
Given a system of linear equations $\ell_i(x)=β_i$ in an $n$-vector $x$ of 0-1 variables, we compute the expectation of $\exp\left\{- \sum_i γ_i \left(\ell_i(x) - β_i\right)^2\right\}$, where $x$ is a vector of independent Bernoulli random variables and $γ_i >0$ are constants. The algorithm runs in quasi-polynomial $n^{O(\ln n)}$ time under some sparseness condition on the matrix of the system. The result is based on the absence of the zeros of the analytic continuation of the expectation for complex probabilities, which can also be interpreted as the absence of a phase transition in the Ising model with a sufficiently strong external field. We discuss applications to (perfect) matchings in hypergraphs and randomized rounding in discrete optimization.
Ramsey properties of algebraic graphs and hypergraphs
Published
• View Publication
• BIB
One of the central questions in Ramsey theory asks how small can be the size of the largest clique and independent set in a graph on $N$ vertices. By the celebrated result of Erdős from 1947, the random graph on $N$ vertices with edge probability $1/2$, contains no clique or independent set larger than $2\log_2 N$, with high probability. Finding explicit constructions of graphs with similar Ramsey-type properties is a famous open problem. A natural approach is to construct such graphs using algebraic tools. Say that an $r$-uniform hypergraph $\mathcal{H}$ is \emph{algebraic of complexity $(n,d,m)$} if the vertices of $\mathcal{H}$ are elements of $\mathbb{F}^{n}$ for some field $\mathbb{F}$, and there exist $m$ polynomials $f_1,\dots,f_m:(\mathbb{F}^{n})^{r}\rightarrow \mathbb{F}$ of degree at most $d$ such that the edges of $\mathcal{H}$ are determined by the zero-patterns of $f_1,\dots,f_m$. The aim of this paper is to show that if an algebraic graph (or hypergraph) of complexity $(n,d,m)$ has good Ramsey properties, then at least one of the parameters $n,d,m$ must be large. In 2001, Rónyai, Babai and Ganapathy considered the bipartite variant of the Ramsey problem and proved that if $G$ is an algebraic graph of complexity $(n,d,m)$ on $N$ vertices, then either $G$ or its complement contains a complete balanced bipartite graph of size $Ω_{n,d,m}(N^{1/(n+1)})$. We extend this result by showing that such $G$ contains either a clique or an independent set of size $N^{Ω(1/ndm)}$ and prove similar results for algebraic hypergraphs of constant complexity. We also obtain a polynomial regularity lemma for $r$-uniform algebraic hypergraphs that are defined by a single polynomial, that might be of independent interest. Our proofs combine algebraic, geometric and combinatorial tools.