arXiv++ Combinatorics

Motivated by the Asymptotic Equipartition Property and its recently discovered role in the cutoff phenomenon, we initiate the systematic study of varentropy on discrete groups. Our main result is an approximate tensorization inequality which asserts that the varentropy of any conjugacy-invariant random walk is, up to a universal multiplicative constant, at most that of the free Abelian random walk with the same jump rates. In particular, it is always bounded by the number d of generators, uniformly in time and in the size of the group. This universal estimate is sharp and can be seen as a discrete analogue of a celebrated result of Bobkov and Madiman concerning random d-dimensional vectors with a log-concave density (AOP 2011). A key ingredient in our proof is the fact that conjugacy-invariant random walks have non-negative Bakry-Émery curvature, a result which seems new and of independent interest.

A recent paper by Bhatia, Chin, Mani, and Mossel (2026) defined stochastic processes aimed at modeling the game of War for {\em two players} with $n$ cards. That paper showed that these models, assuming uniform random decks, are equivalent to the Gambler's Ruin problem and therefore have an expected termination time of $Θ(n^2)$. In this paper, we generalize these models to {\em any number of players} $m$. We prove that the game with $m$ players is equivalent to a sticky random walk on an $m$-simplex; therefore, the termination time is the same as the absorption time of the sticky random walk. Interestingly, it seems that this absorption time has not been analyzed before. We show that the absorption time of the walk and the termination time of the game are both $Θ(n^2)$ for any number of players.

In this paper we study the asymptotic behavior of the (skew) Macdonald and Jack symmetric polynomials as the number of variables grows to infinity. We characterize their limits in terms of certain variational problems. As an intermediate step, we establish a large deviation principle for the $θ$ analogue of non-intersecting Bernoulli random walks. When $θ=1$, these walks are equivalent to random Lozenges tilings of strip domains, where the variational principle (with general domains and boundary conditions) has been proven in the seminal work by Cohn, Kenyon, and Propp. Our result gives a new argument of this variational principle, and also extends it to non-intersecting $θ$-Bernoulli random walks for any $θ\in (0,\infty)$. Remarkably, the rate functions remain identical, differing only by a factor of $1/θ$.

Bourgain's symmetrization theorem is a powerful technique reducing boolean analysis on product spaces to the cube. It states that for any product $Ω_i^{\otimes d}$, function $f: Ω_i^{\otimes d} \to \mathbb{R}$, and $q > 1$: $$||T_{\frac{1}{2}}f(x)||_q \leq ||\tilde{f}(r,x)||_{q} \leq ||T_{c_q}f(x)||_q$$ where $T_ρf = \sum\limits ρ^Sf^{=S}$ is the noise operator and $\widetilde{f}(r,x) = \sum\limits r_Sf^{=S}(x)$ `symmetrizes' $f$ by convolving its Fourier components $\{f^{=S}\}_{S \subseteq [d]}$ with a random boolean string $r \in \{\pm 1\}^d$. In this work, we extend the symmetrization theorem to high dimensional expanders (HDX). Building on (O'Donnell and Zhao 2021), we show this implies nearly-sharp $(2{\to}q)$-hypercontractivity for partite HDX. This resolves the main open question of (Gur, Lifshitz, and Liu STOC 2022) and gives the first fully hypercontractive subsets $X \subset [n]^d$ of support $n\cdot\exp(\text{poly}(d))$, an exponential improvement over Bafna, Hopkins, Kaufman, and Lovett's $n\cdot\exp(\exp(d))$ bound (BHKL STOC 2022). Adapting (Bourgain JAMS 1999), we also give the first booster theorem for HDX, resolving a main open question of BHKL. Our proof is based on two elementary new ideas in the theory of high dimensional expansion. First we introduce `$q$-norm HDX', generalizing standard spectral notions to higher moments, and observe every spectral HDX is a $q$-norm HDX. Second, we introduce a simple method of coordinate-wise analysis on HDX which breaks high dimensional random walks into coordinate-wise components and allows each component to be analyzed as a $\textit{$1$-dimensional}$ operator locally within $X$. This allows for application of standard tricks such as the replacement method, greatly simplifying prior analytic techniques.

Eppstein and Frishberg recently proved that the mixing time for the simple random walk on the $1$-skeleton of the associahedron is $O(n^3\log^3 n)$. We obtain similar rapid mixing results for the simple random walks on the $1$-skeleta of the type-$B$ and type-$D$ associahedra. We adapt Eppstein and Frishberg's technique to obtain the same bound of $O(n^3\log^3 n)$ in type $B$ and a bound of $O(n^{13} \log^2 n)$ in type $D$; in the process, we establish an expansion bound that is tight up to logarithmic factors in type $B$.

We construct an infinite family of triples (G,S1, S2) each consisting of a group G and a pair (S1, S2) of distinct subsets of G with the following properties. i The two Cayley graphs Cay(G, S1) and Cay(G,S2) are non-isomorphic. ii The distributions of the simple random walks on Cay(G,S1) and Cay(G,S2) are the same if one takes an appropriate correspondence between the two vertex sets at each step. iii The spectral set of Cay(G, Si) is decomposed into a disjoint union of two subsets A and B_i of the equal size which satisfies B1 = -B2.

The transpose top-$2$ with random shuffle (J. Theoret. Probab., 2020) is a lazy random walk on the alternating group $A_n$ generated by $3$-cycles of the form $(\star,n-1,n)$ and $(\star,n,n-1)$. We obtain the limit profile of this random walk by comparing it with the random walk on $A_n$ generated by all $3$-cycles. Our method employs a non-commutative Fourier analysis analogue of the comparison method introduced by Nestoridi (Electron. J. Probab., 2024). We also give the complete spectrum of the alternating group graph, thus answering a question of Huang and Huang (J. Algebraic Combin., 2019).

We consider the random right-angled Coxeter group $W_Γ$ whose presentation graph $Γ\sim \mathcal{G}_{n,p}$ is an Erd{\H o}s--Rényi random graph on $n$ vertices with edge probability $p=p(n)$. We establish that $p=1/\sqrt{n}$ is a threshold for relative hyperbolicity of the random group $W_Γ$. As a key step in the proof, we determine the minimal number of pairs of generators that must commute in a right-angled Coxeter group which is not relatively hyperbolic, a result which is of independent interest. We also show that there is an interval of edge probabilities of width $Ω(1/\sqrt{n})$ in which the random right-angled Coxeter group has precisely cubic divergence. This interval is between the thresholds for relative hyperbolicity (whence exponential divergence) and quadratic divergence. Moreover, a simple random walk on any Cayley graph of the random right-angled Coxeter group for $p$ in this interval satisfies a central limit theorem.

We explore the voter model dynamics on a directed random graph model ensemble (digraphs), given by the Directed Configuration Model. The voter model captures the evolution of opinions over time on a graph where each vertex represents an individual holding a binary opinion. Our primary interest lies in the density of discordant edges, defined as the fraction of edges connecting vertices with different opinions, and its asymptotic behavior as the graph size grows to infinity. This analysis provides valuable insights, not only into the consensus time behavior but also into how the process approaches this absorption time on shorter time scales. Our analysis is based on the study of certain annealed random walk processes evolving on out-directed, marked Galton-Watson trees, which describe the locally tree-like nature of the considered random graph model. Additionally, we employ innovative coupling techniques that exploit the classical stochastic dual process of coalescing random walks. We extend existing results on random regular graphs to the more general setting of heterogeneous and directed configurations, highlighting the role of graph topology in the opinion dynamics.

We introduce the notion of recurrence and transience for graphs over non-Archimedean ordered field. To do so we relate these graphs to random walks of directed graphs over the reals. In particular, we give a characterization of the real directed graphs which can arise is such a way. As a main result, we give characterization for recurrence and transience in terms of a quantity related to the capacity.

We introduce and study several random combinatorial billiard trajectories. Such a system, which depends on a fixed parameter $p\in(0,1)$, models a beam of light that travels in a Euclidean space, occasionally randomly reflecting off of a hyperplane in the Coxeter arrangement of an affine Weyl group with some probability that depends on the side of the hyperplane that it hits. In one case, we (essentially) recover Lam's reduced random walk in the limit as $p$ tends to $0$. The investigation of our random billiard trajectories relies on an analysis of new finite Markov chains that we call stoned exclusion processes. These processes have remarkable stationary distributions determined by well-studied polynomials such as ASEP polynomials, inhomogeneous TASEP polynomials, and open boundary ASEP polynomials; in many cases, it was previously not known how to construct Markov chains with these stationary distributions. Using multiline queues, we analyze correlations in the stoned multispecies TASEP, allowing us to determine limit directions for reduced random billiard trajectories and limit shapes for new random growth processes for $n$-core partitions. Our perspective coming from combinatorial billiards naturally leads us to formulate a new variant of the ASEP on $\mathbb{Z}$ called the scan ASEP, which we deem interesting in its own right.

Balister, the second author, Groenland, Johnston and Scott recently showed that there are asymptotically $C4^n/n^{3/4}$ many unordered sequences that occur as degree sequences of graphs. Combining limit theory for infinitely divisible distributions with a new bijective connection between a class of random walk trajectories and a subset counting formula from additive number theory, we describe $C$ in terms of Walkup's number of rooted plane trees. The bijection is related to an instance of the Lévy-Khintchine formula. Our main result complements a result of Stanley, that ordered graphical sequences are related to quasi-forests.

Lattice geometries and random walks on them are of great interest for their applications in different fields such as physics, chemistry, and computer science. In this work, we focus on multi-headed lattices and study properties of the Green functions for these lattices such as the associated differential equations and the Pólya numbers. In particular, we complete the analysis of three missing cases in dimensions no larger than five. Our results are built upon an automatic machinery of creative telescoping.

What is the probability that a random walk in the free group ends in a proper power? Or in a primitive element? We present a formula that computes the exponential decay rate of the probability that a random walk on a regular tree ends in a given subset, in terms of the exponential decay rate of the analogous probability of the non-backtracking random walk. This generalizes the well-known cogrowth formula of Grigorchuk, Cohen and Northshield. We also extend the formula to arbitrary subsets of the biregular tree.

We consider random walks on edge coloured random graphs, where the colour of an edge reflects the cost of using it. In the simplest instance, the edges are coloured red or blue. Blue edges are free to use, whereas red edges incur a unit cost every time they are traversed.

A connected graph can be associated with two distinct evolution algebras. In the first case, the structural matrix is the adjacency matrix of the graph itself. In the second case, the structural matrix is the transition probabilities matrix of the symmetric random walk on the same graph. It is well-known that, for a non-singular graph, both evolution algebras are isomorphic if, and only if, the graph is regular or biregular. Moreover, through examples and partial results, it has been conjectured that the same result remains true for singular graphs. The purpose of this work is to provide new examples supporting this conjecture.

Fix $k\geq 2$, choose $\frac{\log n}{n^{(k-1)/k}}\leq p\leq 1-Ω(\frac{\log^4 n}{n})$, and consider $G\sim G(n,p)$. For any pair of vertices $v,w\in V(G)$, we give a simple and precise formula for the expected number of steps that a random walk on $G$ starting at $w$ needs to first arrive at $v$. The formula only depends on basic structural properties of $G$. This improves and extends recent results of Ottolini and Steinerberger, as well as Ottolini, who considered this problem for constant as well as for mildly vanishing $p$.

The quantum walk is a quantum counterpart of the classical random walk. On the other hand, absolute zeta functions can be considered as zeta functions over $\mathbb{F}_1$. This study presents a connection between quantum walks and absolute zeta functions. In this paper, we focus on Hadamard walks and $3$-state Grover walks on cycle graphs. The Hadamard walks and the Grover walks are typical models of the quantum walks. We consider the periods and zeta functions of such quantum walks. Moreover, we derive the explicit forms of the absolute zeta functions of corresponding zeta functions. Also, it is shown that our zeta functions of quantum walks are absolute automorphic forms.

Let $G$ be a graph on $n$ vertices, with complement $\overline{G}$. The spectral gap of the transition probability matrix of a random walk on $G$ is used to estimate how fast the random walk becomes stationary. We prove that the larger spectral gap of $G$ and $\overline{G}$ is $Ω(1/n)$. Moreover, if all degrees are $Ω(n)$ and $n-Ω(n)$, then the larger spectral gap of $G$ and $\overline{G}$ is $Θ(1)$. We also show that if the maximum degree is $n-O(1)$ or if $G$ is a join of two graphs, then the spectral gap of $G$ is $Ω(1/n)$. Finally, we provide a family of connected graphs with connected complements such that the larger spectral gap of $G$ and $\overline{G}$ is $O(1/n^{3/4})$.

We discuss formulas for the asymptotic growth rate of the number of summands in tensor powers in certain (finite or infinite) monoidal categories. Our focus is on monoidal categories with infinitely many indecomposable objects, with our main tools being generalized Perron-Frobenius theory alongside techniques from random walks.