random
7100 papers tagged with this keyword
Families of graphs with twin pendent paths and the Braess edge
Published in The Electronic Journal of Linear Algebra 38 (2022) 9-31
• View Publication
• BIB
In the context of a random walk on an undirected graph, Kemeny's constant can measure the average travel time for a random walk between two randomly chosen vertices. We are interested in graphs that behave counter-intuitively in regard to Kemeny's constant: in particular, we examine graphs with a cut-vertex at which at least two branches are paths, regarding whether the insertion of a particular edge into a graph results in an increase of Kemeny's constant. We provide several tools for identifying such an edge in a family of graphs and for analising asymptotic behaviour of the family regarding the tendency to have that edge; and classes of particular graphs are given as examples. Furthermore, asymptotic behaviours of families of trees are described.
Spatial Search on Johnson Graphs by Discrete-Time Quantum Walk
Published in Journal of Physics A: Mathematical and Theoretical, Vol.55, 255304, 2022
• View Publication
• BIB
The spatial search problem aims to find a marked vertex of a finite graph using a dynamic with two constraints: (1) The walker has no compass and (2) the walker can check whether a vertex is marked only after reaching it. This problem is a generalization of unsorted database search and has many applications to algorithms. Classical algorithms that solve the spatial search problem are based on random walks and the computational complexity is determined by the hitting time. On the other hand, quantum algorithms are based on quantum walks and the computational complexity is determined not only by the number of steps to reach a marked vertex, but also by the success probability, since we need to perform a measurement at the end of the algorithm to determine the walker's position. In this work, we address the spatial search problem on Johnson graphs using the coined quantum walk model. Since Johnson graphs are vertex- and distance-transitive, we have found an invariant subspace of the Hilbert space, which aids in the calculation of the computational complexity. We have shown that, for every fixed diameter, the asymptotic success probability is $1/2$ after taking $π\sqrt N/(2\sqrt 2)$ steps, where $N$ is the number of vertices of the Johnson graph.
Polychromatic Colorings of Unions of Geometric Hypergraphs
Published
• View Publication
• BIB
We consider the polychromatic coloring problems for unions of two or more geometric hypergraphs on the same vertex sets of points in the plane. We show, inter alia, that the union of bottomless rectangles and horizontal strips does in general not allow for polychromatic colorings. This strengthens the corresponding result of Chen, Pach, Szegedy, and Tardos [Random Struct. Algorithms, 34:11-23, 2009] for axis-aligned rectangles, and gives the first explicit (not randomized) construction of non-$2$-colorable hypergraphs defined by axis-parallel rectangles of arbitrarily large uniformity.
Banach Zuk's criterion for partite complexes with application to random groups
Published
• View Publication
• BIB
We prove a Banach version of Żuk's criterion for groups acting on partite simplicial complexes. Using this new criterion we derive a new fixed point theorem for random groups in the Gromov density model with respect to several classes of Banach spaces ($L^p$ spaces, Hilbertian spaces, uniformly curved spaces). In particular, we show that for every $p$, a group in the Gromov density model has asymptotically almost surely property $(F L^p)$ and give a sharp lower bound for the growth of the conformal dimension of the boundary of such group as a function of the parameters of the density model.
Persistence for a class of order-one autoregressive processes and Mallows-Riordan polynomials
Published
• View Publication
• BIB
We establish exact formulae for the persistence probabilities of an AR(1) sequence with symmetric uniform innovations in terms of certain families of polynomials, most notably a family introduced by Mallows and Riordan as enumerators of finite labeled trees when ordered by inversions. The connection of these polynomials with the volumes of certain polytopes is also discussed. Two further results provide factorizations of general AR(1) models, one for negative drifts with continuous innovations, and one for positive drifts with continuous and symmetric innovations. The second factorization extends a classical universal formula of Sparre Andersen for symmetric random walks. Our results also lead to explicit asymptotic estimates for the persistence probabilities.
Hall-Littlewood polynomials, boundaries, and $p$-adic random matrices
We prove that the boundary of the Hall-Littlewood $t$-deformation of the Gelfand-Tsetlin graph is parametrized by infinite integer signatures, extending results of Gorin and Cuenca on boundaries of related deformed Gelfand-Tsetlin graphs. In the special case when $1/t$ is a prime $p$ we use this to recover results of Bufetov-Qiu and Assiotis on infinite $p$-adic random matrices, placing them in the general context of branching graphs derived from symmetric functions.
Our methods rely on explicit formulas for certain skew Hall-Littlewood polynomials. As a separate corollary to these, we obtain a simple expression for the joint distribution of the cokernels of products $A_1, A_2A_1, A_3A_2A_1,\ldots$ of independent Haar-distributed matrices $A_i$ over the $p$-adic integers $\mathbb{Z}_p$. This expression generalizes the explicit formula for the classical Cohen-Lenstra measure on abelian $p$-groups.
The GHP scaling limit of uniform spanning trees in high dimensions
Published
• View Publication
• BIB
We show that the Brownian continuum random tree is the Gromov-Hausdorff-Prohorov scaling limit of the uniform spanning tree on high-dimensional graphs including the $d$-dimensional torus $\mathbb{Z}_n^d$ with $d>4$, the hypercube $\{0,1\}^n$, and transitive expander graphs. Several corollaries for associated quantities are then deduced: convergence in distribution of the rescaled diameter, height and simple random walk on these uniform spanning trees to their continuum analogues on the continuum random tree.
Proper elements of Coxeter groups
Published in European Journal of Mathematics 10, 32 (2024)
• View Publication
• BIB
We extend the notion of proper elements to all Coxeter groups. For all infinite families of finite Coxeter groups we prove that the probability a random element is proper goes to zero in the limit. This proves a conjecture of the third author and A. Yong regarding the proportion of Schubert varieties that are Levi spherical for all infinite families of Weyl groups. We also enumerate the proper elements in the exceptional Coxeter groups.
Peaks of cylindric plane partitions
We study the asymptotic distribution, as the volume parameter goes to 1, of the peak (largest part) of finite- or slowly-growing-width cylindric plane partitions weighted by their trace, seam, and volume. There are two natural asymptotic regimes depending on the trace/seam parameters, and in both cases we obtain asymptotics governed by finite temperature (periodic) analogues of the Bessel and Airy gap probabilities from random matrix theory. In particular, the distributions we obtain interpolate \emph{in more than one way} between two well-known extremal value distributions: the Gumbel distribution of maxima of iid random variables and the Tracy--Widom distribution of maxima of eigenvalues of random Hermitian matrices. We also interpret our results in terms of last passage percolation on a cylinder, which yields to interesting connections to the Kardar--Parisi--Zhang equation.
Warning Propagation: stability and subcriticality
Warning Propagation is a combinatorial message passing algorithm that unifies and generalises a wide variety of recursive combinatorial procedures. Special cases include the Unit Clause Propagation and Pure Literal algorithms for satisfiability as well as the peeling process for identifying the $k$-core of a random graph. Here we analyse Warning Propagation in full generality on a very general class of multi-type random graphs. We prove that under mild assumptions on the random graph model and the stability of the the message limit, Warning Propagation converges rapidly. In effect, the analysis of the fixed point of the message passing process on a random graph reduces to analysing the process on a multi-type Galton-Watson tree. This result corroborates and generalises a heuristic first put forward by Pittel, Spencer and Wormald in their seminal $k$-core paper (JCTB 1996).
Fast algorithms for solving the Hamilton Cycle problem with high probability
Published
• View Publication
• BIB
We study the Hamilton cycle problem with input a random graph G=G(n,p) in two settings. In the first one, G is given to us in the form of randomly ordered adjacency lists while in the second one we are given the adjacency matrix of G. In each of the settings we give a deterministic algorithm that w.h.p. either it finds a Hamilton cycle or it returns a certificate that such a cycle does not exists, for p > 0. The running times of our algorithms are w.h.p. O(n) and O(n/p) respectively each being best possible in its own setting.
First Betti number of the path homology of random directed graphs
Published in J Appl. and Comput. Topology. 8 (2024) 1503-1549
• View Publication
• BIB
Path homology is a topological invariant for directed graphs, which is sensitive to their asymmetry and can discern between digraphs which are indistinguishable to the directed flag complex. In Erdös-Rényi directed random graphs, the first Betti number undergoes two distinct transitions, appearing at a low-density boundary and vanishing again at a high-density boundary. Through a novel, combinatorial condition for digraphs we describe both sparse and dense regimes under which the first Betti number of path homology is zero with high probability. We combine results of Grigor'yan et al., regarding generators for chain groups, with methods of Kahle and Meckes in order to determine regimes under which the first Betti number is positive with high probability. Together, these results describe the gradient of the lower boundary and yield bounds for the gradient of the upper boundary. With a view towards hypothesis testing, we obtain tighter bounds on the probability of observing a positive first Betti number in a high-density digraph of finite size. For comparison, we apply these techniques to the directed flag complex and derive analogous results.
Generalizing parking functions with randomness
Published
• View Publication
• BIB
Consider $n$ cars $C_1, C_2, \ldots, C_n$ that want to park in a parking lot with parking spaces $1,2,\ldots,n$ that appear in order. Each car $C_i$ has a parking preference $α_i \in \{1,2,\ldots,n\}$. The cars appear in order, if their preferred parking spot is not taken, they take it, if the parking spot is taken, they move forward until they find an empty spot. If they do not find an empty spot, they do not park. An $n$-tuple $(α_1, α_2, \ldots, α_n)$ is said to be a parking function, if this list of preferences allows every car to park under this algorithm. For an integer $k$, we say that an $n$-tuple is a $k$-Naples parking function if the cars can park with the modified algorithm, where park $C_i$ backs up $k$-spaces (one by one) if their spot is taken before trying to find a parking spot in front of them. We introduce randomness to this problem in two ways: 1) For the original parking function definition, for each car $C_i$ that has their preference taken, we decide with probability $p$ whether $C_i$ moves forwards or backwards when their preferred spot is taken; 2) For the $k$-Naples definition, for each car $C_i$ that has their preference taken, we decide with probability $p$ whether $C_i$ backs up $k$ spaces or not before moving forward. In each of these models, for an $n$-tuple $α\in\{1,2,\ldots,n\}^n$, there is now a probability that the model ends in all cars parking or not. For each of these random models, we find a formula for the expected value. Furthermore, for the second random model, in the case $k =1$, $p=1/2$, we prove that for any $1\le t\le 2^{n-2}$, there is exactly one $α\in\{1,2,\ldots,n\}^n$ such that the probability that $α$ parks is $(2t-1)/2^{n-1}$.
Combinatorics of the Quantum Symmetric Simple Exclusion Process, associahedra and free cumulants
Published
• View Publication
• BIB
The Quantum Symmetric Simple Exclusion Process (QSSEP) is a model of quantum particles hopping on a finite interval and satisfying the exclusion principle. Recently Bernard and Jin have studied the fluctuations of the invariant measure for this process, when the number of sites goes to infinity. These fluctuations are encoded into polynomials, for which they have given equations and proved that these equations determine the polynomials completely. In this paper, I give an explicit combinatorial formula for these polynomials, in terms of Schröder trees. I also show that, quite surprisingly, these polynomials can be interpreted as free cumulants of a family of commuting random variables.
Tight bounds on the expected number of holes in random point sets
Published
• View Publication
• BIB
For integers $d \geq 2$ and $k \geq d+1$, a $k$-hole in a set $S$ of points in general position in $\mathbb{R}^d$ is a $k$-tuple of points from $S$ in convex position such that the interior of their convex hull does not contain any point from $S$. For a convex body $K \subseteq \mathbb{R}^d$ of unit $d$-dimensional volume, we study the expected number $EH^K_{d,k}(n)$ of $k$-holes in a set of $n$ points drawn uniformly and independently at random from $K$.
We prove an asymptotically tight lower bound on $EH^K_{d,k}(n)$ by showing that, for all fixed integers $d \geq 2$ and $k\geq d+1$, the number $EH_{d,k}^K(n)$ is at least $Ω(n^d)$. For some small holes, we even determine the leading constant $\lim_{n \to \infty}n^{-d}EH^K_{d,k}(n)$ exactly. We improve the currently best known lower bound on $\lim_{n \to \infty}n^{-d}EH^K_{d,d+1}(n)$ by Reitzner and Temesvari (2019). In the plane, we show that the constant $\lim_{n \to \infty}n^{-2}EH^K_{2,k}(n)$ is independent of $K$ for every fixed $k \geq 3$ and we compute it exactly for $k=4$, improving earlier estimates by Fabila-Monroy, Huemer, and Mitsche (2015) and by the authors (2020).
Largest component of subcritical random graphs with given degree sequence
Published
• View Publication
• BIB
We study the size of the largest component of two models of random graphs with prescribed degree sequence, the configuration model (CM) and the uniform model (UM), in the (barely) subcritical regime. For the CM, we give upper bounds that are asymptotically tight for certain degree sequences. These bounds hold under mild conditions on the sequence and improve previous results of Hatami and Molloy on the barely subcritical regime. For the UM, we give weaker upper bounds that are tight up to logarithmic terms but require no assumptions on the degree sequence. In particular, the latter result applies to degree sequences with infinite variance in the subcritical regime.
Unicellular maps vs hyperbolic surfaces in large genus: simple closed curves
Published
• View Publication
• BIB
We study uniformly random maps with a single face, genus $g$, and size $n$, as $n,g\rightarrow \infty$ with $g = o(n)$, in continuation of several previous works on the geometric properties of "high genus maps". We calculate the number of short simple cycles, and we show convergence of their lengths (after a well-chosen rescaling of the graph distance) to a Poisson process, which happens to be exactly the same as the limit law obtained by Mirzakhani and Petri (2019) when they studied simple closed geodesics on random hyperbolic surfaces under the Weil-Petersson measure as $g\rightarrow \infty$. This leads us to conjecture that these two models are somehow "the same" in the limit, which would allow to translate problems on hyperbolic surfaces in terms of random trees, thanks to a powerful bijection of Chapuy, Féray and Fusy (2013).
Degree-preserving graph dynamics -- a versatile process to construct random networks
Published in Journal of Complex Networks, Volume 11, Issue 6, December 2023
• View Publication
• BIB
Real-world networks evolve over time via additions or removals of vertices and edges. In current network evolution models, vertex degree varies or grows arbitrarily. A recently introduced degree-preserving network growth (DPG) family of models preserves vertex degree, resulting in structures significantly different from and more diverse than previous models ([Nature Physics 2021, DOI: 10.1038/s41567-021-01417-7]). Despite its degree preserving property, the DPG model is able to replicate the output of several well-known real-world network growth models. Simulations showed that many well-studied real-world networks can be constructed from small seed graphs.
Here we start the development of a rigorous mathematical theory underlying the DPG family of network growth models. We prove that the degree sequence of the output of some of the well-known, real-world network growth models can be reconstructed via the DPG process, using proper parametrization. We also show that the general problem of deciding whether a simple graph can be obtained via the DPG process from a small seed (DPG feasibility) is, as expected, NP-complete. It is an important open problem to uncover whether there is a structural reason behind the DPG-constructibility of real-world networks.
Testing thresholds for high-dimensional sparse random geometric graphs
Published
• View Publication
• BIB
In the random geometric graph model $\mathsf{Geo}_d(n,p)$, we identify each of our $n$ vertices with an independently and uniformly sampled vector from the $d$-dimensional unit sphere, and we connect pairs of vertices whose vectors are ``sufficiently close'', such that the marginal probability of an edge is $p$.
We investigate the problem of testing for this latent geometry, or in other words, distinguishing an Erdős-Rényi graph $\mathsf{G}(n, p)$ from a random geometric graph $\mathsf{Geo}_d(n, p)$. It is not too difficult to show that if $d\to \infty$ while $n$ is held fixed, the two distributions become indistinguishable; we wish to understand how fast $d$ must grow as a function of $n$ for indistinguishability to occur.
When $p = \fracα{n}$ for constant $α$, we prove that if $d \ge \mathrm{polylog} n$, the total variation distance between the two distributions is close to $0$; this improves upon the best previous bound of Brennan, Bresler, and Nagaraj (2020), which required $d \gg n^{3/2}$, and further our result is nearly tight, resolving a conjecture of Bubeck, Ding, Eldan, \& Rácz (2016) up to logarithmic factors. We also obtain improved upper bounds on the statistical indistinguishability thresholds in $d$ for the full range of $p$ satisfying $\frac{1}{n}\le p\le \frac{1}{2}$, improving upon the previous bounds by polynomial factors.
Our analysis uses the Belief Propagation algorithm to characterize the distributions of (subsets of) the random vectors {\em conditioned on producing a particular graph}. In this sense, our analysis is connected to the ``cavity method'' from statistical physics. To analyze this process, we rely on novel sharp estimates for the area of the intersection of a random sphere cap with an arbitrary subset of the sphere, which we prove using optimal transport maps and entropy-transport inequalities on the unit sphere.
Abelian groups from random hypergraphs
Published
• View Publication
• BIB
For a $k$-uniform hypergraph $\mathcal{H}$ on vertex set $\{1, ..., n\}$ we associate a particular signed incidence matrix $M(\mathcal{H})$ over the integers. For $\mathcal{H} \sim \mathcal{H}_k(n, p)$ an Erdős--Rényi random $k$-uniform hypergraph, $\text{coker}(M(\mathcal{H}))$ is then a model for random abelian groups. Motivated by conjectures from the study of random simplicial complexes we show that for $p = ω(1/n^{k - 1})$, $\text{coker}(M(\mathcal{H}))$ is torsion-free.