arXiv++ Combinatorics

Here, the structural symmetries of a hypergraph are represented through equivalence relations on the vertex set of the hypergraph. A matrix associated with the hypergraph may not reflect a specific structural symmetry. In the context of a given symmetry within a hypergraph, we investigate a collection of matrices that encapsulate information about the symmetry. Our investigation reveals that certain structural symmetries in a hypergraph manifest observable effects on the eigenvalues and eigenvectors of designated matrices associated with the hypergraph. We identify specific matrices where the invariance is a consequence of symmetries present in the hypergraph. These invariant subspaces elucidate analogous behaviours observed in certain clusters of vertices during random walks and other dynamical processes on the hypergraph.

We prove that metric graph with the minimal growth of the number of possible endpoints of a random walk is the union of several linear paths coming out of the same vertex

Aldous and Fill (2002) conjectured that the maximum relaxation time for the random walk on a connected regular graph with $n$ vertices is $(1+o(1)) \frac{3n^{2}}{2π^{2}}$. A conjecture by Guiduli and Mohar (1996) predicts the structure of graphs whose algebraic connectivity $μ$ is the smallest among all connected graphs whose minimum degree $δ$ is a given $d$. We prove that this conjecture implies the Aldous--Fill conjecture for odd $d$. We pose another conjecture on the structure of $d$-regular graphs with minimum $μ$, and show that this also implies the Aldous--Fill conjecture for even $d$. In the literature, it has been noted empirically that graphs with small $μ$ tend to have a large diameter. In this regard, Guiduli (1996) asked if the cubic graphs with maximum diameter have algebraic connectivity smaller than all others. Motivated by these, we investigate the interplay between the graphs with maximum diameter and those with minimum algebraic connectivity. We show that the answer to Guiduli problem in its general form, that is for $d$-regular graphs for every $d\ge 3$ is negative. We aim to develop an asymptotic formulation of the problem. It is proven that $d$-regular graphs for $d\ge 5$ as well as graphs with $δ=d$ for $d\ge 4$ with asymptotically maximum diameter, do not necessarily exhibit the asymptotically smallest $μ$. We conjecture that $d$-regular graphs (or graphs with $δ=d$) that have asymptotically smallest $μ$, should have asymptotically maximum diameter. The above results rely heavily on our understanding of the structure as well as optimal estimation of the algebraic connectivity of nearly maximum-diameter graphs, from which the Aldous--Fill conjecture for this family of graphs also follows.

In this study, we explore the substructures of a hypergraph that lead us to linearly dependent rows (or columns) in the incidence matrix of the hypergraph. These substructures are closely related to the spectra of various hypergraph matrices, including the signless Laplacian, adjacency, Laplacian, and adjacency matrices of the hypergraph's incidence graph. Specific eigenvectors of these hypergraph matrices serve to characterize these substructures. We show that vectors belonging to the nullspace of the adjacency matrix of the hypergraph's incidence graph provide a distinctive description of these substructures. Additionally, we illustrate that these substructures exhibit inherent similarities and redundancies, which manifest in analogous behaviours during random walks and similar values of hypergraph centralities.

Many integrable stochastic particle systems in one space dimension (such as TASEP - Totally Asymmetric Simple Exclusion Process - and its $q$-deformation, the $q$-TASEP) remain integrable if we equip each particle with its own speed parameter. In this work, we present intertwining relations between Markov transition operators of particle systems which differ by a permutation of the speed parameters. These relations generalize our previous works (arXiv:1907.09155, arXiv:1912.06067), but here we employ a novel approach based on the Yang-Baxter equation for the higher spin stochastic six vertex model. Our intertwiners are Markov transition operators, which leads to interesting probabilistic consequences. First, we obtain a new Lax-type differential equation for the Markov transition semigroups of homogeneous, continuous-time versions of our particle systems. Our Lax equation encodes the time evolution of multipoint observables of the $q$-TASEP and TASEP in a unified way, which may be of interest for the asymptotic analysis of multipoint observables of these systems. Second, we show that our intertwining relations lead to couplings between probability measures on trajectories of particle systems which differ by a permutation of the speed parameters. The conditional distribution for such a coupling is realized as a "rewriting history" random walk which randomly resamples the trajectory of a particle in a chamber determined by the trajectories of the neighboring particles. As a byproduct, we construct a new coupling for standard Poisson processes on the positive real half-line with different rates.

We give precise asymptotics to the number of first time returning random walks in the standard orthogonal lattice in $\mathbb{R}$ and we prove that these numbers do not form a $P$-recursive sequence. In the process, the known asymptotics of the number of closed walks are obtained in an elementary way, by using a combinatorial and geometric multiplication principle together with the classical theory of Legendre polynomials. By showing that the relevant generating functions are $G$-functions, we use a form of the Hadamard convolution to find their singularities in all dimensions and give the ODEs that they satisfy for $d\leq 5$, some of which seem to be new. We use the Lucas property of the number of closed walks to prove that the corresponding generating function is not invertible as a $G$-function, which immediately implies that the generating function of the first time returning walks is not holonomic. We propose a few conjectures on the form of the asymptotic coefficients and of the ODEs.

We consider multidimensional random walks in pyramids, which by definition are cones formed by finite intersections of half-spaces. The main object of interest is the survival probability $\mathbb{P}(τ>n)$, $τ$ denoting the first exit time from a fixed pyramid. When the drift belongs to the interior of the cone, the survival probability sequence converges to the non-exit probability $\mathbb{P}(τ=\infty)$, which is positive. In this note, we quantify the speed of convergence, and prove that the exponential rate of convergence may be computed by means of a certain min-max of the Laplace transform of the random walk increments. We illustrate our results with various examples.

In this paper, we consider three variations on standard PageRank: Non-backtracking PageRank, $μ$-PageRank, and $\infty$-PageRank, all of which alter the standard formula by adjusting the likelihood of backtracking in the algorithm's random walk. We show that in the case of regular and bipartite biregular graphs, standard PageRank and its variants are equivalent. We also compare each centrality measure and investigate their clustering capabilities.

An important conjecture in additive combinatorics, number theory, and algebraic geometry posits that the partition rank and analytic rank of tensors are equal up to a constant, over any finite field. We prove the conjecture up to a logarithmic factor. Our proof is largely independent of previous work, utilizing recursively constructed polynomial identities and random walks on zero sets of polynomials. We also introduce a new, vector-valued notion of tensor rank (``local rank''), which serves as a bridge between partition and analytic rank, and which may be of independent interest as a tool for analyzing higher-degree polynomials.

Random walks in cones have the double interest of being at the heart of many probabilistic problems and of being related to many mathematical fields, such as spectral theory, combinatorics, or discrete complex analysis. In this article, we present some key ideas associated with these processes: we will discuss their definition, the link with Brownian motion in cones, as well as some recent research topics such as the construction of discrete harmonic functions.

In a connected graph, Kemeny's constant gives the expected time of a random walk from an arbitrary vertex $x$ to reach a randomly-chosen vertex $y$. Because of this, Kemeny's constant can be interpreted as a measure of how well a graph is connected. It is generally unknown how the addition or removal of edges affects Kemeny's constant. Inspired by the directional derivative of the normalized Laplacian, we derive the directional derivative of Kemeny's constant for several graph families. In addition, we find sharp bounds for the directional derivative of an eigenvalue of the normalized Laplacian and bounds for the directional derivative of Kemeny's constant.

In this paper, we mainly concerned about deriving the general formula to count the possible positions of $n$ step random walk in $\mathbb{Z}^d$ with unit length in each step, which we denoted as $|P_n^{d}|$. For our results, we firstly propose a recurrence relation of the counting formula: $|P_n^{d+1}| = |P_n^d| + 2\sum_{k=0}^{n-1} |P_k^d|$. Next, we propose two methods in deriving the explicit formula of $|P_n^{d}|$ using generating functions and Faulhaber's formula. Finally, we reached our main theorem in the matrix representation of our formula.

Establishing cutoff, an abrupt transition from "not mixed" to "well mixed", is a classical topic in the theory of mixing times for Markov chains. Interest has grown recently in determining not only the existence of cutoff and the order of its mixing time and window, but the exact shape, or profile, of the convergence inside the window. Classical techniques, such as coupling or $\ell_2$-bounds, are typically too crude to establish this and there has been a push to develop general techniques. We build upon this work, extending from conjugacy-invariant random walks on groups to certain projections. We exemplify our method by analysing the $k$-particle interchange process on the complete $n$-graph with $k \asymp n$. This is a projection of the random-transposition card shuffle, which corresponds to $k = n$, analysed by Teyssier.

On trees of fixed order, we show a direct relation between Kemeny's constant and Wiener index, and provide a new formula of Kemeny's constant from the relation with a combinatorial interpretation. Moreover, the relation simplifies proofs of several known results for extremal trees in terms of Kemeny's constant for random walks on trees. Finally, we provide various families of co-Kemeny's mates, which are two non-isomorphic connected graphs with the same Kemeny's constant, and we also give a necessary condition for a tree to attain maximum Kemeny's constant for trees with fixed diameter.

Consider a simple graph in which a random walk begins at a given vertex. It moves at each step with equal probability to any neighbor of its current vertex, and ends when it has visited every vertex. We call such a random walk a random cover tour. It is well known that cycles and complete graphs have the property that a random cover tour starting at any vertex is equally likely to end at any other vertex. Ronald Graham asked whether there are any other graphs with this property. In 1993, Lászlo Lovász and Peter Winkler showed that cycles and complete graphs are the only undirected graphs with this property. We strengthen this result by showing that cycles and complete graphs (with all edges considered bidirected) are the only directed graphs with this property.

We give an efficient algorithm that transforms any bounded degree expander graph into another that achieves almost optimal (namely, near-quadratic, $d \leq 1/λ^{2+o(1)}$) trade-off between (any desired) spectral expansion $λ$ and degree $d$. Furthermore, the algorithm is local: every vertex can compute its new neighbors as a subset of its original neighborhood of radius $O(\log(1/λ))$. The optimal quadratic trade-off is known as the Ramanujan bound, so our construction gives almost Ramanujan expanders from arbitrary expanders. The locality of the transformation preserves structural properties of the original graph, and thus has many consequences. Applied to Cayley graphs, our transformation shows that any expanding finite group has almost Ramanujan expanding generators. Similarly, one can obtain almost optimal explicit constructions of quantum expanders, dimension expanders, monotone expanders, etc., from existing (suboptimal) constructions of such objects. Another consequence is a "derandomized" random walk on the original (suboptimal) expander with almost optimal convergence rate. Our transformation also applies when the degree is not bounded or the expansion is not constant. We obtain our results by a generalization of Ta-Shma's technique in his breakthrough paper [STOC 2017], used to obtain explicit almost optimal binary codes. Specifically, our spectral amplification extends Ta-Shma's analysis of bias amplification from scalars to matrices of arbitrary dimension in a very natural way. Curiously, while Ta-Shma's explicit bias amplification derandomizes a well-known probabilistic argument (underlying the Gilbert--Varshamov bound), there seems to be no known probabilistic (or other existential) way of achieving our explicit ("high-dimensional") spectral amplification.

We provide a characterization of perfect state transfer in a quantum walk whose Hamiltonian is given by the normalized Laplacian. We discuss a connection between classical random walks and quantum walks only present in this model, and we also rule out several trees as candidates to host perfect state transfer.

We consider a discrete-time TASEP, where each particle jumps according to Bernoulli random variables with particle-dependent and time-inhomogeneous parameters. We use the combinatorics of the Robinson-Schensted-Knuth correspondence and certain intertwining relations to express the transition kernel of this interacting particle system in terms of ensembles of weighted, non-intersecting lattice paths and, consequently, as a marginal of a determinantal point process. We next express the joint distribution of the particle positions as a Fredholm determinant, whose correlation kernel is given in terms of a boundary-value problem for a discrete heat equation. The solution to such a problem finally leads us to a representation of the correlation kernel in terms of random walk hitting probabilities, generalising the formulation of Matetski, Quastel and Remenik (Acta Math., 2021) to the case of both particle- and time-inhomogeneous rates. The solution to the boundary value problem in the fully inhomogeneous case appears with a finer structure than in the homogeneous case.

Introduced by Harris, Insko, Prieto Langarica, Stoisavljevic, and Sullivan, the \emph{tipsy cop and drunken robber} is a variant of the cop and robber game on graphs in which the robber simply moves randomly along the graph, while the cop moves directed towards the robber some fixed proportion of the time and randomly the remainder. In this article, we adopt a slightly different interpretation of tipsiness of the cop and robber where we assume that in any round of the game there are four possible outcomes: a sober cop move, a sober robber move, a tipsy (uniformly random) move by the cop, and a tipsy (uniformly random) move by the robber. We study this tipsy cop and tipsy robber game on the infinite grid graph and on certain families of infinite trees including $δ$-regular trees %infinite binary trees with an infinite path rooted at every vertex, and $δ$-regular trees rooted to a $Δ$-regular tree, where $Δ\geq δ$. Our main results analyze strategies for the cop and robber on these graphs. We conclude with some directions for further study.

We derive an explicit formula for the fundamental solution $K_{T_{q+1}}(x,x_{0};t)$ to the discrete-time diffusion equation on the $(q+1)$-regular tree $T_{q+1}$ in terms of the discrete $I$-Bessel function. We then use the formula to derive an explicit expression for the fundamental solution $K_{X}(x,x_{0};t)$ to the discrete-time diffusion equation on any $(q+1)$-regular graph $X$. Going further, we develop three applications. The first one is to derive a general trace formula that relates the spectral data on $X$ to its topological data. Though we emphasize the results in the case when $X$ is finite, our method also applies when $X$ has a countably infinite number of vertices. As a second application, we obtain a closed-form expression for the return time probability distribution of the uniform random walk on any $(q+1)$-regular graph. The expression is obtained by relating $K_{X}(x,x_{0};t)$ to the uniform random walk on a $(q+1)$-regular graph. We then show that if $\{X_{h}\}$ is a sequence of $(q+1)$-regular graphs whose number of vertices goes to infinity and which satisfies a certain natural geometric condition, then the limit of the return time probability distributions from $\{X_{h}\}$ is equal to the return time probability distribution on the tree $T_{q+1}$. As a third application, we derive formulas which express the number of distinct closed irreducible walks without tails on a finite graph $X$ in terms of moments of the spectrum of its adjacency matrix.