arXiv++ Combinatorics

For a positive integer $d\geq 1$, we consider the sequences $(A_{n}^{(d)})_n$ and $(x_{n}^{(d)})_n$ given by $$ A_{n}^{(d)} =\sum_{n_1+\dots+n_d=n} \frac{(2n)!}{(n_1!)^2 (n_2!)^2 \dots (n_d!)^2} \quad \text{ and } \quad x_{n}^{(d)} = \frac{A_{n}^{(d)}}{\binom{2n}{n}}. $$ They have rich combinatorial interpretations, but we focus on the analytical properties of their generating functions $A_d$ and $F_d$. We use a modified Borel transform, and algebraic and combinatorial considerations to prove that $F_d$ is annihilated by an irreducible Fuchsian differentiable operator $L_{d-1,F}$ of order $d-1$. We determine the structure of $F_d$ as a global analytic function (analytic continuations from the original disk of definition, branches, finite singularities, and the structure of $F_d$ near the finite singularities). Additionally, we show that the sequence $(x_n^{(d)})_n$ satisfies a minimal recurrence of width $r=\lfloor (d+1)/2 \rfloor$ with polynomial coefficients $$ Q_r(n+r)\,x_{n+r}+\cdots + Q_0(n)\,x_n=0, \; n \ge 0. $$ These polynomials are shown to have very specific symmetries and we compute explicitly $Q_0$, $Q_1$, and $Q_r$. Similar results about the functions $A_d$ are obtained.

We prove that the vertices of any $n$-vertex graph can be partitioned into pieces of radius $r = O(\log n)$ such that the sum of the sizes of their closed neighborhoods is at most $4n$. This answers a recent question of Bukh and Dubroff and directly yields an improvement to their upper bound on the optimal cover time of the $ε$-steered random walk. We also demonstrate that our bound on $r$ is best possible up to a constant factor for graphs with strong vertex expansion.

In this paper, we study the random walk on the symmetric group $\mathfrak{S}_n$ generated by the conjugacy class of $k$-cycles, where $2\le k=o(n/(\log n)^4)$. We prove that the walk exhibits hitting-time mixing: at the first time when every card has been touched, the distribution is already close to equilibrium. For odd $k$, the equilibrium measure is the uniform measure on $\mathfrak{A}_n$. For even $k$, the walk first mixes to the parity mixture determined by the hitting time, and in our range this mixture is asymptotically $U_{\mathfrak{S}_n}$. Our argument combines a refined fixed-time approximation for the random $k$-cycle walk near the cutoff window with an auxiliary marking scheme inspired by Jain-Sawhney's work (arXiv:2410.23944) on random transpositions. The main new feature is a parity-compatible coupling which handles both odd and even $k$-cycles in a unified framework. We also prove a hitting-time mixing result in the opposite regime $k\ge n-o(n^{1/2})$, and formulate a conjecture for all $2\le k\le n-1$.

A coloring of a finite $k$-out directed graph $G$ is viewed as a deterministic complete automaton with state set $V(G)$. The graph $G$ is called \emph{totally synchronizing} if every coloring is synchronizing. We prove that total synchronization imposes strong restrictions on symmetry: if $G$ is strongly connected and totally synchronizing, then $Aut(G)$ contains no semiregular element; in particular, if $|Aut(G)|$ is divisible by a prime $p>k$, then $G$ is not totally synchronizing. We then give general constructions of strongly connected $k$-out graphs with prescribed quotients and prescribed automorphism group that are \emph{not} totally synchronizing. On the quotient side, we relate graph congruences to strong lumpability of the uniform random walk on $G$ and introduce \emph{totally simple} graphs, characterized by the absence of nontrivial congruences. In this setting we obtain a Perron--Frobenius sufficient condition for total synchronization: a strongly connected non-lumpable graph whose integer Perron--Frobenius eigenvector admits at most one nontrivial equipartition is totally synchronizing. Finally, we show that deciding whether a primitive $k$-out graph admits a non-synchronizing coloring is NP-complete, resolving an open problem of Gusev--Szykuła, and prove NP-completeness of deciding whether a graph admits a nontrivial Eulerian lumping.

We study a general class of self-repelling polymers on $\mathbb Z^2$, including the simple random walk, the self-avoiding walk and the repulsive Domb-Joyce model, in the presence of a constant force field acting on each monomer. Conditioning the polymer to have fixed length and fixed endpoints, we identify the limiting free energy and prove that typical trajectories concentrate exponentially near a deterministic macroscopic shape. This shape is characterized as the unique minimizer of a variational problem and can be interpreted as a geodesic of a height-dependent Finsler metric. We also analyze two limiting regimes with universal features: for small field strength, in the symmetric case, the geodesic is close to a classical catenary, while for large field strength it converges to a universal polygonal shape governed by the nearest-neighbor lattice constraint.

We introduce a Fourier-analytic framework for graph complexity and recoverability. For a graph G on N vertices labeled by Z_N, we define the Fourier ratio FR(f) of its edge indicator f. The key invariant FR_min(G), the minimum Fourier ratio over all vertex labelings, measures the optimal additive spectral compressibility of the graph. We establish a lower bound FR_min(G) >= E(G)/sqrt(2s), where E(G) is the graph energy and s is the number of edges. This bound is sharp for abelian Cayley graphs under the natural group labeling. Using a compressed sensing theorem, we show that once a labeling with small Fourier ratio is available, the edge map can be efficiently recovered from sparse random samples of adjacency entries. The algorithmic problem of finding such a labeling remains open. We compute FR_min(G) for complete, Turán, cycle, and circulant graphs. Cycles and circulant graphs are highly compressible, while random labelings yield large Fourier complexity. We develop a spectral-projector framework for harmonic graph recovery. For each Laplacian eigenvalue {λ}, its spectral projector Π_λ satisfies FR_min(Π_λ) >= sqrt(m(λ)), where m(λ) is the multiplicity. Fourier-compressible projectors are recoverable via Fourier-side l^1 minimization. For abelian Cayley graphs, the natural group labeling simultaneously minimizes both edge and harmonic complexity, with the harmonic complexity attaining the lower bound exactly. Since low-frequency projectors govern heat flow and random walks, this yields a mechanism for recovering large-scale geometric structure from sparse observations without full graph reconstruction. Finally, we formulate an asymptotic spectral synthesis principle showing that spectrally regular functions cannot concentrate on small exceptional sets, yielding asymptotic uniqueness and recovery results for incomplete graph data.

We study the second largest spectral gap from $1$ of the normalized Laplacian of a graph, a quantity that appears in the literature in connection with random walks, expander graphs, and Ramanujan graphs. We relate it to the classical Cheeger and dual Cheeger constants, and we introduce a new Cheeger-type constant admitting a probabilistic interpretation in terms of two-step random walks. For this constant, we establish sharp inequalities analogous to the classical Cheeger inequalities.

We prove asymptotic equivalents for finite-level representations of symmetric groups, that is, for Young diagrams having all but finitely many boxes on their first row. We deduce that random walks on symmetric groups generated by conjugacy classes with a macroscopic number of fixed points have a Poissonian cutoff profile. We also prove that the random involution walk exhibits cutoff and find its cutoff profile. Finally, we obtain numerics for the random transposition walk on a deck of 52 cards, giving concrete estimates on the question that originally motivated Diaconis and Shahshahani.

This paper studies limit profiles for the separation distance. A limit profile records the limiting shape of the distance to stationarity inside the cutoff window, at times of the form $t_n+cw_n$. We start with two famous card shuffles, a general setup for inverse riffle shuffles and random transpositions, and we determine their separation distance limit profiles. We then develop a spectral comparison technique and study continuity properties in the style of [Nes24; Nes25], adapted to separation distance. The comparison method is illustrated through random transpositions, as well as random walks on product groups and the hypercube.

Random walks on graphs can be slow. To speed them up, imagine that at each step instead of choosing the neighbor at random, there is a small probability $\varepsilon>0$ that we can choose it. We show that in this case, at least for graphs of bounded degree, there is a way to steer the walk so that it visits every vertex in $n^{1+o(1)}$ steps with high probability. The key to this result is a way to decompose arbitrary graphs into small-diameter pieces.

For any given vertices $u$ and $v$ in a graph, the hitting time of a random walk on a finite graph is the number of steps it takes for a random walk to reach vertex $v$ starting at vertex $u$. The expected value of the hitting time is the average hitting time. In this paper, we present an algebraic-combinatorial method for calculating the average hitting time between vertices of finite graphs exhibiting high regularity, along with its applications to multiple graph classes. Our approach exploits a novel connection between maximal-entropy random walks and weight-equitable partitions, providing a unifying framework that strengthens and extends several known results, including Rao's method [Statistics \& Probability Letters, 2013] for computing the hitting time from a vertex to a neighbor under certain symmetries of the starting vertex.

We investigate the average hitting times of simple random walks on the $k$-th power graph $C_N^k$ of the cycle graph $C_N$. First, we show that the average hitting times are characterized by a difference equation corresponding to the graph Laplacian. Next, by using the cyclic symmetry of $C_N^k$, we derive a spectral representation via Fourier analysis. Furthermore, by applying factorization and partial fraction decomposition of the corresponding difference operator, we obtain an explicit formula for the average hitting times consisting of a quadratic term and finitely many correction terms. These correction terms are described by second-order linear recurrence sequences associated with the characteristic polynomials, and can be regarded as natural generalizations of Fibonacci-type sequences. As a consequence, our formulas recover the known results for cycle graphs and squares of cycle graphs in a unified way. Moreover, from the formulas obtained for average hitting times, we derive explicit formulas for the effective resistances, the numbers of spanning trees, the numbers of two-component spanning forests, and the numbers of spanning trees of vertex-identified graphs. In particular, for the third power graph $C_N^3$ of the cycle graph, all of these quantities are written explicitly in terms of complex conjugate Fibonacci-type sequences. Our results clarify structural relations between random walk quantities and combinatorial quantities on cycle power graphs.

We introduce root-to-leaf path random walks on double covers of graded signed graphs and analyze their behavior in a general setting. Viewing simplicial complexes within this framework, we show that these walks induce the natural normalization of the coboundary operator and of the Hodge Laplacians while preserving the basic structural features of combinatorial Hodge theory. We then derive Cheeger inequalities for the upper side of the normalized Hodge spectrum, identify the coherent structures governing these bounds, and combine the up- and down-cases into sharper estimates.

We study a natural analogue of Ulam's problem for random rooted trees distributed according to a Plancherel-type measure. This probability measure is closely related to the classical Plancherel measure on integer partitions. For a Plancherel random tree $T_n$ with $n$ vertices, we investigate the asymptotic behavior of its height $H_n$, defined as the maximal distance from the root to a leaf. We prove that this height grows logarithmically. More precisely, there is a one-parameter family of random trees $(T_n(θ))_{n \in \mathbb{N}}$ indexed by $θ>0$ such that $\frac{H_n}{\log n}$ converges in probability to $c_\star(θ)$, where $c_\star(θ)$ is an explicit constant depending on the parameter $θ$. The case of Plancherel trees corresponds to the parameter $θ=2$. The proof is based on the fact that the Plancherel random trees can be viewed as Ewens fragmentation trees, for which the height exhibits a sharp threshold phenomenon. An upper bound is obtained via $s$-mass functionals and contraction estimates, while the lower bound is derived by embedding the model into a branching random walk with logarithmic displacements governed by a Poisson--Dirichlet distribution. The constant $c_\star(θ)$ is characterized through a variational principle associated with this branching random walk.

We prove the existence of the local limit of uniform random d-regular bipartite planar maps, for every $d\geq 3$, as the number of vertices tends to infinity. The proof relies on a bijection between maps and so-called blossoming trees established in a previous work. After proving local convergence of the associated decorated trees, we extend the bijection to infinite trees and transfer the convergence to planar maps. The limiting object is almost surely one-ended and recurrent for the simple random walk.

For a graph $G$ and vertices $u,v$, we define the ASUA of $v$, $t(G,v,u)$, to be the average steps until absorption along a random walk terminating at $u$. We define a sea dragon to be a tree with a unique path $P$ such that if $d(u) \geq 3$ for some vertex $u$, then $u \in V(P)$. We use Markov chains to determine $t(G,v,u)$ for all vertices of several classes of sea dragons, a broad subclass of trees. Additionally, we give several results on equations related to ASUAs on general graphs.

We analyze a weighted convolution of Catalan numbers $$ \sum_{k=0}^{n} \binom{2k}{k}\binom{2(n-k)}{n-k} a^k = \sum_{k=0}^{n} (k+1)(n-k+1) C_k C_{n-k} a^k, $$ emphasizing its combinatorial, analytic, and probabilistic aspects. We derive a compact closed form in terms of the Gauss hypergeometric function ${}_2F_1(-n,1/2;1;1-a)$, valid for all complex values of the parameter $a$. The sum admits a natural interpretation in terms of return probabilities of independent simple random walks, linking weighted convolutions of central binomial coefficients to classical probability theory. Furthermore, a refinement via Narayana numbers highlights the contribution of peak distributions in pairs of Dyck paths, providing a finer combinatorial perspective. An integral representation is also proposed, suggesting a connection with orthogonal polynomials and spectral measures. Our approach illustrates how analytic and probabilistic techniques complement combinatorial reasoning in evaluating complex sums.

Since the breakthrough superpolynomial multilinear formula lower bounds of Raz (Theory of Computing 2006), proving such lower bounds against multilinear algebraic branching programs (mABPs) has been a longstanding open problem in algebraic complexity theory. All known multilinear lower bounds rely on the min-partition rank method, and the best bounds against mABPs have remained quadratic (Alon, Kumar, and Volk, Combinatorica 2020). We show that the min-partition rank method cannot prove superpolynomial mABP lower bounds: there exists a full-rank multilinear polynomial computable by a polynomial-size mABP. This is an unconditional barrier: new techniques are needed to separate $\mathsf{mVBP}$ from higher classes in the multilinear hierarchy. Our proof resolves an open problem of Fabris, Limaye, Srinivasan, and Yehudayoff (ECCC 2026), who showed that the power of this method is governed by the minimum size $N(n)$ of a combinatorial object called a $1$-balanced-chain set system, and proved $N(n) \le n^{O(\log n/\log\log n)}$. We prove $N(n) = n^{O(1)}$ by giving the chain-builder a binary choice at each step, biasing what was a symmetric random walk into one where the imbalance increases with probability at most $1/4$; a supermartingale argument combined with a multi-scale recursion yields the polynomial bound.

We study edge-isoperimetric inequalities in chamber graphs of affine hyperplane arrangements. Our approach is topological: to a set of chambers we associate its thickening in Euclidean space and estimate its edge boundary through the induced stratification by intersections of arrangement hyperplanes. This yields general lower bounds for a broad class of sets. We show that a convex set of chambers of size $\sum_{i=0}^d \binom{k}{i}$, with $k\ge d-1$, has edge boundary at least $\sum_{i=0}^{d-1}\binom{k}{i}$, and we conjecture that convex sets minimize the edge boundary among all chamber sets of a fixed size. We verify this conjecture in dimension $2$. Our main result is a three-dimensional asymptotic inequality for arbitrary subsets of chambers: for arrangements in general position, every set $S$ occupying at most a fixed proportion of the chambers satisfies $|\partial S|=Ω(|S|^{2/3})$. As a consequence, for an arrangement of $n$ hyperplanes in general position in $\mathbb R^3$, the lazy simple random walk on the chamber graph has $\varepsilon$-mixing time $O(n^2\log(n/\varepsilon))$.

Given random walk on a graph, the corresponding discrete-time quantum walk can be constructed using the method proposed by Szegedy. On the other hand, given a partition of the set of states of a Markov chain, one can study the corresponding aggregated process. We extend the aggregation technique to the level of quantum Markov chains. We provide conditions under which application of these two operations - Szegedy's quantization and aggregation - give the same result. In particular, we show that the conditions are satisfied in the case of the random walk on graphs equipped with equitable partitions. We present several examples, which include the classical/quantum walks on Platonic solids. We discuss also relation of discrete-time classical/quantum walks on $N$-dimensional hypercube and the Ehrenfests urn model with $N$ particles. We apply our technique for of discrete-time walks on Cayley graphs of free groups. We also compare our results with those obtained using Cantero-Moral-Velazquez uniformization of unitary matrices.