arXiv++ Combinatorics

The sequence of partial sums of Fibonacci numbers, beginning with $2$, $4$, $7$, $12$, $20$, $33,\dots$, has several combinatorial interpretations (OEIS A000071). For instance, the $n$-th term in this sequence is the number of length-$n$ binary words that avoid $110$. This paper proves a related but new interpretation: given a length-$3$ binary word -- called the keyword -- we say two length-$n$ binary words are equivalent if one can be obtained from the other by some sequence of substitutions: each substitution replaces an instance of the keyword with its negation, or vice versa. We prove that the number of induced equivalence classes is again the $n$-th term in the aforementioned sequence. When the keyword has length $m+1$ (instead of $3$), the same result holds with $m$-step Fibonacci numbers. What makes this result surprising -- and distinct from the previous interpretation -- is that it does not depend on the keyword, despite the fact that the sizes of the equivalence classes do. On this final point, we prove several results on the structure of equivalence classes, and also pose a variety of open problems.

We study the Busemann process and competition interfaces of the planar directed polymer model with i.i.d.\ weights on the vertices of the planar square lattice, in both the general case and the solvable inverse-gamma case. We prove new regularity properties of the Busemann process without reliance on unproved assumptions on the shape function. For example, each nearest-neighbor Busemann function is strictly monotone and has the same random set of discontinuities in the direction variable. When all Busemann functions on a horizontal line are viewed together, the Busemann process intertwines with an evolution that obeys a version of the geometric Robinson-Schensted-Knuth correspondence. When specialized to the inverse-gamma case, this relationship enables an explicit distributional description: the Busemann function on a nearest-neighbor edge has independent increments in the direction variable, and its distribution comes from an inhomogeneous planar Poisson process. The distribution of the asymptotic competition interface direction of the inverse-gamma polymer is discrete and supported on the Busemann discontinuities which -- unlike in zero-temperature last-passage percolation -- are dense. Further implications follow for the eternal solutions and the failure of the one force -- one solution principle of the discrete stochastic heat equation solved by the polymer partition function.

A coupling of random walkers on the same finite graph, who take turns sequentially, is said to be an avoidance coupling if the walkers never collide. Previous studies of these processes have focused almost exclusively on complete graphs, in particular how many walkers an avoidance coupling can include. For other graphs, apart from special cases, it has been unsettled whether even two non-colliding simple random walkers can be coupled. In this article, we construct such a coupling on (i) any $d$-regular graph avoiding a fixed subgraph depending on $d$; and (ii) any square-free graph with minimum degree at least three. A corollary of the first result is that a uniformly random regular graph on $n$ vertices admits an avoidance coupling with high probability.