arXiv++ Combinatorics

We study random walks on the giant component of Hyperbolic Random Graphs (HRGs), in the regime when the degree distribution obeys a power law with exponent in the range $(2,3)$. In particular, we first focus on the expected time for a random walk to hit a given vertex or visit, i.e. cover, all vertices. We show that, a.a.s. (with respect to the HRG), and up to multiplicative constants: the cover time is $n(\log n)^2$, the maximum hitting time is $n\log n$, and the average hitting time is $n$. We then determine the expected time to commute between two given vertices a.a.s., up to a small factor polylogarithmic in $n$, and under some mild hypothesis on the pair of vertices involved. Our results are proved by controlling effective resistances using the energy dissipated by carefully designed network flows associated to a tiling of the hyperbolic plane, on which we overlay a forest-like structure.

A conjecture of Mihail and Vazirani states that the edge expansion of the graph of every $0/1$ polytope is at least one. Any lower bound on the edge expansion gives an upper bound for the mixing time of a random walk on the graph of the polytope. Such random walks are important because they can be used to generate an element from a set of combinatorial objects uniformly at random. A weaker form of the conjecture of Mihail and Vazirani says that the edge expansion of the graph of a $0/1$ polytope in $\mathbb{R}^d$ is greater than 1 over some polynomial function of $d$. This weaker version of the conjecture would suffice for all applications. Our main result is that the edge expansion of the graph of a $\textit{random}$ $0/1$ polytope in $\mathbb{R}^d$ is at least $\frac{1}{12d}$ with high probability.

The $Aldous\text{-}Broder$ and $Wilson$ are two well-known algorithms to generate uniform spanning trees (USTs) based on random walks. This work studies their relationship while they construct random trees with the goal of reducing the total time required to build the spanning tree. Using the notion of $branches$ $-$ paths generated by the two algorithms on particular stopping times, we show that the trees built by the two algorithms when running on a complete graph are statistically equivalent on these stopping times. This leads to a hybrid algorithm that can generate uniform spanning trees of complete graphs faster than either of the two algorithms. An efficient two-stage framework is also proposed to explore this hybrid approach beyond complete graphs, showing its feasibility in various examples, including transitive graphs where it requires 25% less time than $Wilson$ to generate a UST.

We study the asymptotic behaviour of random integer partitions under a new probability law that we introduce, the Plancherel-Hurwitz measure. This distribution, which has a natural definition in terms of Young tableaux, is a deformation of the classical Plancherel measure which appears naturally in the context of Hurwitz numbers, enumerating certain transposition factorisations in symmetric groups. We study a regime in which the number of factors in the underlying factorisations grows linearly with the order of the group, and the corresponding topological objects, Hurwitz maps, are of high genus. We prove that the limiting behaviour exhibits a new, twofold, phenomenon: the first part becomes very large, while the rest of the partition has the standard Vershik-Kerov-Logan-Shepp limit shape. As a consequence, we obtain asymptotic estimates for unconnected Hurwitz numbers with linear Euler characteristic, which we use to study random Hurwitz maps in this regime. This result can also be interpreted as the return probability of the transposition random walk on the symmetric group after linearly many steps.

We examine from an invariant theory viewpoint the monoid algebras for two monoids having large symmetry groups. The first monoid is the free left-regular band on $n$ letters, defined on the set of all injective words, that is, the words with at most one occurrence of each letter. This monoid carries the action of the symmetric group. The second monoid is one of its $q$-analogues, considered by K. Brown, carrying an action of the finite general linear group. In both cases, we show that the invariant subalgebras are semisimple commutative algebras, and characterize them using Stirling and $q$-Stirling numbers. We then use results from the theory of random walks and random-to-top shuffling to decompose the entire monoid algebra into irreducibles, simultaneously as a module over the invariant ring and as a group representation. Our irreducible decompositions are described in terms of derangement symmetric functions introduced by Désarménien and Wachs.

In this study, we explore the interrelation between hypergraph symmetries represented by equivalence relations on the vertex set and the spectra of operators associated with the hypergraph. We introduce the idea of equivalence relation compatible operators related to hypergraphs. Some eigenvalues and the corresponding eigenvectors can be computed directly from the equivalence classes of the equivalence relation. The other eigenvalues can be computed from a quotient operator obtained by identifying each equivalence class as an element. We provide an equivalence relation $\mathfrak{R}_s$ on the vertex set of a hypergraph such that the Adjacency, Laplacian, and signless Laplacian operators associated with that hypergraph become $\mathfrak{R}_s$-compatible. The $\mathfrak{R}_s$-equivalence classes are named as units. Using units, we find some more symmetric substructures of hypergraphs called twin units, regular sets, co-regular sets, and symmetric sets. We collectively classify them as building blocks of hypergraphs. We show that the presence of these building blocks leaves certain traces in the spectrum and the corresponding eigenspaces of the $\mathfrak{R}_s$-compatible operators associated with the hypergraph. We also show that, conversely, some specific footprints in the spectrum and the corresponding eigenvectors retrace the presence of some of these building blocks in the hypergraph. Besides the spectra of $\mathfrak{R}_s$-compatible operators, building blocks are also interrelated with hypergraph colouring, distances in hypergraphs, hypergraph automorphisms, and random walks on hypergraphs.

In this paper, we study (1,2) and (2,1) random walks in varying environments on the lattice of positive half line. We assume that the transition probabilities at site $n$ are asymptotically constants as $n\rightarrow\infty.$ For (1,2) random walk, we get some elaborate asymptotic behaviours of various escape probabilities and hitting probabilities of the walk. Such observations and some delicate analysis of continued fractions and the product of nonnegative matrices enable us to give criteria for finiteness of the number of cutpoints of both (1,2) and (2,1) random walks, which generalize E. Csáki, A. Földes and P. Révész [J. Theor. Probab. 23: 624-638 (2010)] and H.-M. Wang [Markov Processes Relat. Fields 25: 125-148 (2019)]. For near-recurrent random walks, whenever there are infinitely many cutpoints, we also study the asymptotics of the number of cutpoints in $[0,n].$

We prove structure theorems for o-minimal definable subsets $S\subset G$ of definable groups containing large multiplicative structures, and show definable groups do not have bounded torsion arbitrarily close to the identity. As an application, for certain models of $n$-step random walks $X$ in $G$ we show upper bounds $\mathbb{P}(X\in S)\le n^{-C}$ and a structure theorem for the steps of $X$ when $\mathbb{P}(X\in S)\ge n^{-C'}$.

Let $G=(V,E)$ be a $d$-regular graph on $n$ vertices and let $μ_0$ be a probability measure on $V$. The act of moving to a randomly chosen neighbor leads to a sequence of probability measures supported on $V$ given by $μ_{k+1} = A D^{-1} μ_k$, where $A$ is the adjacency matrix and $D$ is the diagonal matrix of vertex degrees of $G$. Ordering the eigenvalues of $ A D^{-1}$ as $1 = λ_1 \geq |λ_2| \geq \dots \geq |λ_n| \geq 0$, it is well-known that the graphs for which $|λ_2|$ is small are those in which the random walk process converges quickly to the uniform distribution: for all initial probability measures $μ_0$ and all $k \geq 0$, $$ \sum_{v \in V} \left| μ_k(v) - \frac{1}{n} \right|^2 \leq λ_2^{2k}.$$ One could wonder whether this rate can be improved for specific initial probability measures $μ_0$. We show that if $G$ is regular, then for any $1 \leq \ell \leq n$, there exists a probability measure $μ_0$ supported on at most $\ell$ vertices so that $$ \sum_{v \in V} \left| μ_k(v) - \frac{1}{n} \right|^2 \leq λ_{\ell+1}^{2k}.$$ The result has applications in the graph sampling problem: we show that these measures have good sampling properties for reconstructing global averages.

We establish a sharp estimate for $k$-additive energies of subsets of the discrete hypercube conjectured by de Dios Pont, Greenfeld, Ivanisvili, and Madrid in arXiv:2112.09352, which generalizes a result by Kane and Tao. This note proves the only missing ingredient, which is an elementary inequality for real numbers, previously verified only for $k\leq100$. We also give an interpretation of this inequality in terms of a lazy non-symmetric simple random walk on the integer lattice.

We introduce dynamical versions of loop (or Dyson-Schwinger) equations for large families of two--dimensional interacting particle systems, including Dyson Brownian motion, Nonintersecting Bernoulli/Poisson random walks, $β$--corners processes, uniform and Jack-deformed measures on Gelfand-Tsetlin patterns, Macdonald processes, and $(q,κ)$-distributions on lozenge tilings. Under technical assumptions, we show that the dynamical loop equations lead to Gaussian field type fluctuations. As an application, we compute the limit shape for $(q,κ)$--distributions on lozenge tilings and prove that their height fluctuations converge to the Gaussian Free Field in an appropriate complex structure.

An oriented graph is said positively multiplicative when its adjacency matrix $A$ embeds in a matrix algebra admitting a basis $\mathsf{B}$ with nonnegative structure constants in which the matrix of the multiplication by $A$ coincides with $A$. The goal of this paper is to present basic properties of this notion and explain, through various simple examples, how it relates to highly non trivial problems like the combinatorial description of fusion rules, the description of the minimal boundary of graded graphs or the study of random walks on alcove tilings.

For a shift-invariant weighted directed graph with vertex set $\mathbb{Z}$, we examine the minimal weight $κ_0$ exiting a finite, strongly connected set of vertices. Although $κ_0$ is defined as an infimum, it has been shown that the infimum is always attained by an actual set of vertices. We show that for each underlying directed graph (prior to assignment of the weights), there is a formula for $κ_0$ as a minimum of finitely many integer combinations of the edge weights. We find this formula for several different directed graphs. Motivation for this problem comes from random walks in Dirichlet environments (equivalently, directed edge reinforced random walks), where the size of $κ_0$ has been shown to determine the strength of finite traps where the walk can get stuck for a long time.

The Rado graph, also known as the random graph $G(\infty, p)$, is a classical limit object for finite graphs. We study natural ball walks as a way of understanding the geometry of this graph. For the walk started at $i$, we show that order $\log_2^*i$ steps are sufficient, and for infinitely many $i$, necessary for convergence to stationarity. The proof involves an application of Hardy's inequality for trees.

In 2004, Frieze, Krivelevich and Martin [17] established the emergence of a giant component in random subgraphs of pseudo-random graphs. We study several typical properties of the giant component, most notably its expansion characteristics. We establish an asymptotic vertex expansion of connected sets in the giant by a factor of $\tilde{O}\left(ε^2\right)$. From these expansion properties, we derive that the diameter of the giant is typically $O_ε\left(\log n\right)$, and that the mixing time of a lazy random walk on the giant is asymptotically $O_ε\left(\log^2 n\right)$. We also show similar asymptotic expansion properties of (not necessarily connected) linear sized subsets in the giant, and the typical existence of a large expander as a subgraph.

The cover time of a finite connected graph is the expected number of steps needed for a simple random walk on the graph to visit all vertices of the graph. It is known that the cover time of any finite connected $n$-vertex graph is at least $(1 + o(1)) n \log n$ and at most $(1 + o(1)) \frac{4}{27} n^3$. By Jonasson and Schramm, the cover time of any bounded-degree finite connected $n$-vertex planar graph is at least $c n(\log n)^2$ and at most $6n^2$, where $c$ is a positive constant depending only on the maximal degree of the graph. In particular, the lower bound is established via the use of circle packing of planar graphs on the Riemann sphere. In this paper, we show that the cover time of any finite $n$-vertex graph $G$ with maximum degree $Δ$ on the compact Riemann surface $S$ of given genus $g$ is at least $c n(\log n)^2/ Δ(g + 1)$ and at most $(6 + o(1))n^2$, where $c$ is an absolute constant, if $n$ is sufficiently large and three sufficient conditions for $S$ and a circle packing of $G$ filling $S$.

We study the relationship between the underlying structure of posets and the spectral and combinatorial properties of their higher-order random walks. While fast mixing of random walks on hypergraphs has led to myriad breakthroughs throughout theoretical computer science in the last five years, many other important applications (e.g. locally testable codes, 2-2 games) rely on the more general non-simplicial structures. These works make it clear that the global expansion properties of posets depend strongly on their underlying architecture (e.g. simplicial, cubical, linear algebraic), but the overall phenomenon remains poorly understood. In this work, we quantify the advantage of different architectures, highlighting how structural regularity controls the spectral decay and edge-expansion of corresponding random walks. In particular, we show the spectra of walks on expanding posets (Dikstein, Dinur, Filmus, Harsha RANDOM 2018) concentrate in strips around a small number of approximate eigenvalues controlled by the poset's regularity. This gives a simple condition to identify architectures (e.g. the Grassmann) that exhibit fast (exponential) decay of eigenvalues, versus architectures like hypergraphs with slow (linear) decay -- a crucial distinction in applications to hardness of approximation and agreement testing such as the recent proof of the 2-2 Games Conjecture (Khot, Minzer, Safra FOCS 2018). We show these results lead to a tight variance-based characterization of edge-expansion on eposets generalizing (Bafna, Hopkins, Kaufman, and Lovett (SODA 2022)), and pay special attention to the case of the Grassmann where we show our results are tight for a natural set of sparsifications of the Grassmann graphs. We note for clarity that our results do not recover the characterization used in the proof of the 2-2 Games Conjecture which relies on $\ell_\infty$ rather than $\ell_2$-structure.

In this sequence of two papers, we introduce a curvature flow on (mixed) weighted graphs which is based on the Bakry-Émery calculus. The flow is described via a time-continuous evolution through the weighting schemes. By adapting this flow to preserve the Markovian property, its limits turn out to be curvature sharp. Our aim is to present the flow in the most general case of not necessarily reversible random walks allowing laziness, including vanishing transition probabilities along some edges ("degenerate" edges). This approach requires to extend all concepts (in particular, the Bakry-Émery curvature related notions) to this general case and it leads to a distinction between the underlying topology (a mixed combinatorial graph) and the weighting scheme (given by transition rates). We present various results about curvature sharp vertices and weighted graphs as well as some fundamental properties of this new curvature flow. This paper is accompanied by a second paper discussing the curvature flow implementation in Python for practical use. In this second paper we present examples and exhibit further properties of the flow.

The branching rule is one of the most fundamental properties of the Macdonald symmetric polynomials. It expresses a Macdonald polynomial as a nonnegative linear combination of Macdonald polynomials with smaller number of variables. Taking a limit of the branching rule under the principal specialization when the number of variables goes to infinity, we obtain a Markov chain of $m$ noncolliding particles with negative drift and an absorbing wall at zero. The chain depends on the Macdonald parameters $(q,t)$ and may be viewed as a discrete deformation of the Dyson Brownian motion. The trajectory of the Markov chain is equivalent to a certain Gibbs ensemble of plane partitions with an arbitrary cascade front wall. In the Jack limit $t=q^{β/2}\to 1$ the absorbing wall disappears, and the Macdonald noncolliding walks turn into the $β$-noncolliding random walks studied by Huang [Int. Math. Res. Not. 2021 (2021), 5898-5942, arXiv:1708.07115]. Taking $q=0$ (Hall-Littlewood degeneration) and further sending $t\to 1$, we obtain a continuous time particle system on $\mathbb{Z}_{\ge 0}$ with inhomogeneous jump rates and absorbing wall at zero.

We compute the spectrum for a class of quantum Markov semigroups describing systems of $N$ particle interacting through a binary collision mechanism. These quantum Markov semgroups are associated to a novel kind of quantum random walk on graphs, with the graph structure arising naturally in the quantization of the classical Kac model, and we show that the spectrum of the generator of the quantum Markov semigroup is closely related to the spectrum of the Laplacian on the corresponding graph. For the direct analog of the original classical Kac model, we determine the exact spectral gap for the quantum generator. We also give a new and simple method for studying the spectrum of certain graph Laplacians.