arXiv++ Combinatorics

Consider a nearest neighbor random walk on the two-dimensional integer lattice, where each vertex is initially labeled either `H' or `V', uniformly and independently. At each discrete time step, the walker resamples the label at its current location (changing `H' to `V' and `V' to `H' with probability $q$). Then, it takes a mean zero horizontal step if the new label is `H', and a mean zero vertical step if the new label is `V'. This model is a randomized version of the deterministic rotor walk, for which its recurrence (i.e., visiting every vertex infinitely often with probability 1) in two dimensions is still an open problem. We answer the analogous question for the the horizontal-vertical walk, by showing that the horizontal-vertical walk is recurrent for $q \in (\frac{1}{3},1]$.

We show that the sorting probability of the Catalan poset} $P_n$ satisfies $δ(P_n)= O \bigl(n^{-5/4}\bigr)$.

For a finite poset $P=(X,\prec)$, let $\mathcal{L}_P$ denote the set of linear extensions of $P$. The sorting probability $δ(P)$ is defined as \[δ(P) \, := \, \min_{x,y\in X} \, \bigl| \mathbf{P} \, [L(x)\leq L(y) ] \ - \ \mathbf{P} \, [L(y)\leq L(x) ] \bigr|\,, \] where $L \in \mathcal{L}_P$ is a uniform linear extension of $P$. We give asymptotic upper bounds on sorting probabilities for posets associated with large Young diagrams and large skew Young diagrams, with bounded number of rows.

We study rotor walk, a deterministic counterpart of the simple random walk, on infinite transient graphs. We show that the final rotor configuration of the rotor walk follows the law of the wired uniform spanning forest oriented toward infinity (OWUSF) measure when the initial rotor configuration is sampled from OWUSF. This result holds for all graphs for which each tree in the wired spanning forest has one single end almost surely. This answers a question posed in a previous work of the author (Chan 2018).

Rotor walk is a deterministic analogue of simple random walk. For any given graph, we construct a rotor configuration for which the escape rate of the corresponding rotor walk is equal to the escape rate of simple random walk, and thus answer a question of Florescu, Ganguly, Levine, and Peres (2014).

We study rotor walks on transient graphs with initial rotor configuration sampled from the oriented wired uniform spanning forest (OWUSF) measure. We show that the expected number of visits to any vertex by the rotor walk is at most equal to the expected number of visits by the simple random walk. In particular, this implies that this walk is transient. When these two numbers coincide, we show that the rotor configuration at the end of the process also has the law of OWUSF. Furthermore, if the graph is vertex-transitive, we show that the average number of visits by $n$ consecutive rotor walks converges to the Green function of the simple random walk as $n$ tends to infinity. This answers a question posed by Florescu, Ganguly, Levine, and Peres (2014).

An abelian network is a collection of communicating automata whose state transitions and message passing each satisfy a local commutativity condition. This paper is a continuation of the abelian networks series of Bond and Levine (2016), for which we extend the theory of abelian networks that halt on all inputs to networks that can run forever. A nonhalting abelian network can be realized as a discrete dynamical system in many different ways, depending on the update order. We show that certain features of the dynamics, such as minimal period length, have intrinsic definitions that do not require specifying an update order. We give an intrinsic definition of the \emph{torsion group} of a finite irreducible (halting or nonhalting) abelian network, and show that it coincides with the critical group of Bond and Levine (2016) if the network is halting. We show that the torsion group acts freely on the set of invertible recurrent components of the trajectory digraph, and identify when this action is transitive. This perspective leads to new results even in the classical case of sinkless rotor networks (deterministic analogues of random walks). In Holroyd et. al (2008) it was shown that the recurrent configurations of a sinkless rotor network with just one chip are precisely the unicycles (spanning subgraphs with a unique oriented cycle, with the chip on the cycle). We generalize this result to abelian mobile agent networks with any number of chips. We give formulas for generating series such as \[ \sum_{n \geq 1} r_n z^n = \det (\frac{1}{1-z}D - A ) \] where $r_n$ is the number of recurrent chip-and-rotor configurations with $n$ chips; $D$ is the diagonal matrix of outdegrees, and $A$ is the adjacency matrix. A consequence is that the sequence $(r_n)_{n \geq 1}$ completely determines the spectrum of the simple random walk on the network.

Consider these two distinct combinatorial objects: (1) the necklaces of length $n$ with at most $q$ colors, and (2) the multisets of integers modulo $n$ with subset sum divisible by $n$ and with the multiplicity of each element being strictly less than $q$. We show that these two objects have the same cardinality when $q$ and $n$ are mutually coprime. Additionally, when $q$ is a prime power, we construct a bijection between these two objects by viewing necklaces as cyclic polynomials over the finite field of size $q$. Specializing to $q=2$ answers a bijective problem posed by Richard Stanley.

We prove several results concerning a polynomial that arises from the sandpile model on directed graphs; these results are previously only known for undirected graphs. Implicit in the sandpile model is the choice of a sink vertex, and it is conjectured by Perrot and Pham that the polynomial $c_0+c_1y+\ldots c_n y^n$, where $c_i$ is the number of recurrent classes of the sandpile model with level $i$, is independent of the choice of the sink. We prove their conjecture by expressing the polynomial as an invariant of the sinkless sandpile model. We then present a bijection between arborescences of directed graphs and reverse $G$-parking functions that preserves external activity by generalizing Cori-Le Borgne bijection for undirected graphs. As an application of this bijection, we extend Merino's Theorem by showing that for Eulerian directed graphs the polynomial $c_0+c_1y+\ldots c_n y^n$ is equal to the greedoid polynomial of the graph.

The $k$-tiling problem for a convex polytope $P$ is the problem of covering $\mathbb R^d$ with translates of $P$ using a discrete multiset $Λ$ of translation vectors, such that every point in $\mathbb R^d$ is covered exactly $k$ times, except possibly for the boundary of $P$ and its translates. A classical result in the study of tiling problems is a theorem of McMullen that a convex polytope $P$ that 1-tiles $\mathbb R^d$ with a discrete multiset $Λ$ can, in fact, 1-tile $\mathbb R^d$ with a lattice $\mathcal L$. A generalization of McMullen's theorem for $k$-tiling was conjectured by Gravin, Robins, and Shiryaev, which states that if $P$ $k$-tiles $\mathbb R^d$ with a discrete multiset $Λ$, then $P$ $m$-tiles $\mathbb R^d$ with a lattice $\mathcal L$ for some $m$. In this paper, we consider the case when $P$ $k$-tiles $\mathbb R^d$ with a discrete multiset $Λ$ such that every element of $Λ$ is contained in a quasi-periodic set $\mathcal Q$ (i.e. a finite union of translated lattices). This is motivated by the result of Gravin, Kolountzakis, Robins, and Shiryaev, showing that for $d \in \{2,3\}$, if a polytope $P$ $k$-tiles $\mathbb R^d$ with a discrete multiset $Λ$, then $P$ $m$-tiles $\mathbb R^d$ with a quasi-periodic set $\mathcal Q$ for some $m$. Here we show for all values of $d$ that if a polytope $P$ $k$-tiles $\mathbb R^d$ with a discrete multiset $Λ$ that is contained in a quasi-periodic set $\mathcal Q$ that satisfies a mild hypothesis, then $P$ $m$-tiles $\mathbb R^d$ with a lattice $\mathcal L$ for some $m$. This strengthens the results of Gravin, Kolountzakis, Robins, and Shiryaev, and is a step in the direction of proving the conjecture of Gravin et al.

A maximal minor $M$ of the Laplacian of an $n$-vertex Eulerian digraph $Γ$ gives rise to a finite group $\mathbb{Z}^{n-1}/\mathbb{Z}^{n-1}M$ known as the sandpile (or critical) group $S(Γ)$ of $Γ$. We determine $S(Γ)$ of the generalized de Bruijn graphs $Γ=\mathrm{DB}(n,d)$ with vertices $0,\dots,n-1$ and arcs $(i,di+k)$ for $0\leq i\leq n-1$ and $0\leq k\leq d-1$, and closely related generalized Kautz graphs, extending and completing earlier results for the classical de Bruijn and Kautz graphs. Moreover, for a prime $p$ and an $n$-cycle permutation matrix $X\in\mathrm{GL}_n(p)$ we show that $S(\mathrm{DB}(n,p))$ is isomorphic to the quotient by $\langle X\rangle$ of the centralizer of $X$ in $\mathrm{PGL}_n(p)$. This offers an explanation for the coincidence of numerical data in sequences A027362 and A003473 of the OEIS, and allows one to speculate upon a possibility to construct normal bases in the finite field $\mathbb{F}_{p^n}$ from spanning trees in $\mathrm{DB}(n,p)$.

We determine the critical groups of the generalized de Bruijn graphs DB$(n,d)$ and generalized Kautz graphs Kautz$(n,d)$, thus extending and completing earlier results for the classical de Bruijn and Kautz graphs. Moreover, for a prime $p$ the critical groups of DB$(n,p)$ are shown to be in close correspondence with groups of $n\times n$ circulant matrices over $\mathbb{F}_p$, which explains numerical data in [OEIS:A027362], and suggests the possibility to construct normal bases in $\mathbb{F}_{p^n}$ from spanning trees in DB$(n,p)$.