arXiv++ Combinatorics

In this note, we study two simple operations for extending juggling (siteswap) sequences, called first throws and last catches. Both constructions come from a natural question for a juggler: how can one add throws at the beginning or catches at the end of a pattern without creating a collision? Using landing times and the permutation test, we give necessary and sufficient conditions under which these constructions, when applied to an arbitrary valid siteswap, produce another valid siteswap. We complement our analysis with several examples. An interactive visualization of these extensions is available in [Para].

Juggling patterns can be mathematically modeled as closed walks within directed state graphs. In this paper, we present a unified framework of unbounded juggling patterns and its variations (including multiplex, colored, and passing) primarily through the formalism of the juggling state. By extending this state-based approach and utilizing combinatorial tools such as set partitions and filled Ferrers diagrams, we find and prove a new lower bound on the number of $b$-ball prime patterns with period $n$. Further, we determine exact counts for 2-ball multiplex, 1-ball passing, and 2-ball colored juggling patterns, as well as a lower bound for 2-ball passing. We also provide an extensive analysis of the asymptotic growth rates for these pattern counts. Finally, we formalize the infinite state graph, $G_\infty$, and utilize flip-reverse involutions to establish bijections between classes of prime patterns, exploring how fixing a specific state influences the enumeration of prime walks.

This paper considers an important inverse problem in topological data analysis (TDA): How many different barcodes produce the same Betti curve? Equivalently, given a function $β\colon [n]=\{1<\cdots< n\} \to \mathbb{Z}_{\geq 0}$, how many different ways can we write $β$ as a sum of indicator functions supported on intervals in $[n]$? Our answer to this question is to connect persistent homology with the study of the Kostant partition function and the enumerative combinatorics for so-called "magic" juggling sequences studied by Ronald Graham and others. Specifically, we prove an equivalence between our inverse problem and corresponding statements in these other two settings. From an applications and statistics point of view, our work provides a quantification of how lossy the TDA pipeline is when moving from persistent homology to persistent Betti numbers.

Positroid subvarieties of complex Grassmannians are the images of the Richardson subvarieties of the full flag varieties under the natural projection map. Positroid varieties admit natural embedding into certain quiver Grassmannians for equioriented cyclic quivers. Varying representations of the quiver, one defines global positroid varieties inside the type A global affine Grassmannian. General fiber of a family is isomorphic to the corresponding classical positroid variety and the special fiber is a subvariety of the juggling variety. We show that the global positroid families are flat and describe their (conjecturally reduced) scheme structures. We also describe the special fibers inside the product of classical positroid varieties and realize the irreducible components of the special fibers in terms of the affine Richardson varieties.

The goal of this paper is to better understand a family of linear degenerations of the classical Lagrangian Grassmannians $Λ(2n)$. It is the special case for $k=n$ of the varieties $X(k,2n)^{sp}$, introduced in previous joint work with Evgeny Feigin, Martina Lanini and Alexander Pütz. These varieties are obtained as isotropic subvarieties of a family of quiver Grassmannians $X(n,2n)$, and are acted on by a linear degeneration of the algebraic group $Sp_{2n}$. We prove a conjecture proposed in the paper above for this particular case, which states that the ordering on the set of orbits in $X(n,2n)^{sp}$ given by closure-inclusion coincides with a combinatorially defined order on what are called symplectic $(n,2n)$-juggling patterns, much in the same way that the $Sp_{2n}$ orbits in $Λ(2n)$ are parametrized by a type C Weyl group with the Bruhat order. The dimension of such orbits is computed via the combinatorics of bounded affine permutations, and it coincides with the length of some permutation in a Coxeter group of affine type C. Furthermore, the varieties $X(n,2n)$ are GKM, that is, they have trivial cohomology in odd degree and are equipped with the action of an algebraic torus with finitely many fixed points and 1-dimensional orbits. In this paper it is proven that $X(n,2n)^{sp}$ is also GKM, with respect to the action of a subtorus of the above torus.

In 2019, Butler, Choi, Kim, and Seo introduced a new type of juggling card that represents multiplex juggling patterns in a natural bijective way. They conjectured a formula for the generating function for the number of multiplex juggling cards with capacity 2. In this paper we prove their conjecture. More generally, we find an explicit formula for the generating function with any capacity. We also find an expression for the generating function for multiplex juggling card sequences by introducing a generalization of the q-derivative operator. As a consequence, we show that this generating function is a rational function.

The goal of this paper is to clarify the connection between certain structures from the theory of totally nonnegative Grassmannians, quiver Grassmannians for cyclic quivers and the theory of local models of Shimura varieties. More precisely, we generalize the construction from our previous paper relating the combinatorics and geometry of quiver Grassmanians to that of the totally nonnegative Grassmannians. The varieties we are interested in serve as realizations of local models of Shimura varieties. We exploit quiver representation techniques to study the quiver Grassmannians of interest and, in particular, to describe explicitly embeddings into affine flag varieties which allow us to realize our quiver Grassmannians as a union of Schubert varieties therein.

This note generalizes $\mathrm{SL}(k)$-friezes to configurations of numbers in which one of the boundary rows has been replaced by a ragged edge (described by a juggling function). We provide several equivalent definitions/characterizations of these juggler's friezes, in terms of determinants, linear recurrences, and a dual juggler's frieze. We generalize classic results, such as periodicity, duality, and a parametrization by part of a Grassmannian. We also provide a method of constructing such friezes from certain $k \times n$ matrices using the twist of a matrix.

Inspired by the work of Amdeberhan, Can, and Moll on broken necklaces, we define a broken bracelet as a linear arrangement of marked and unmarked vertices and introduce a generalization called $n$-stars, which is a collection of $n$ broken bracelets whose final (unmarked) vertices are identified. Through these combinatorial objects, we provide a new framework for the study of Kostant's partition function, which counts the number of ways to express a vector as a nonnegative integer linear combination of the positive roots of a Lie algebra. Our main result establishes that (up to reflection) the number of broken bracelets with a fixed number of unmarked vertices with nonconsecutive marked vertices gives an upper bound for the value of Kostant's partition function for multiples of the highest root of a Lie algebra of type $A$. We connect this work to multiplex juggling sequences, as studied by Benedetti, Hanusa, Harris, Morales, and Simpson, by providing a correspondence to an equivalence relation on $n$-stars.

We study braid varieties and their relation to open positroid varieties. We discuss four different types of braids associated to open positroid strata and show that their associated Legendrian links are all Legendrian isotopic. In particular, we prove that each open positroid stratum can be presented as the augmentation variety for four different Legendrian fronts described in terms of either permutations, juggling patterns, cyclic rank matrices or Le diagrams. We also relate braid varieties to open Richardson varieties and brick manifolds, showing that the latter provide projective compactifications of braid varieties, with normal crossing divisors at infinity.

Kostant's partition function is a vector partition function that counts the number of ways one can express a weight of a Lie algebra $\mathfrak{g}$ as a nonnegative integral linear combination of the positive roots of $\mathfrak{g}$. Multiplex juggling sequences are generalizations of juggling sequences that specify an initial and terminal configuration of balls and allow for multiple balls at any particular discrete height. Magic multiplex juggling sequences generalize further to include magic balls, which cancel with standard balls when they meet at the same height. In this paper, we establish a combinatorial equivalence between positive roots of a Lie algebra and throws during a juggling sequence. This provides a juggling framework to calculate Kostant's partition functions, and a partition function framework to compute the number of juggling sequences. From this equivalence we provide a broad range of consequences and applications connecting this work to polytopes, posets, positroids, and weight multiplicities.

Knutson introduced two families of reverse juggling Markov chains (single and multispecies) motivated by the study of random semi-infinite matrices over $\mathbb{F}_q$. We present natural generalizations of both chains by placing generic weights that still lead to simple combinatorial expressions for the stationary distribution. For permutations, this is a seemingly new multivariate generalization of the inversion polynomial.

Mathematics has been used in the exploration and enumeration of juggling patterns. In the case when we catch and throw one ball at a time the number of possible juggling patterns is well-known. When we are allowed to catch and throw any number of balls at a given time (known as multiplex juggling) the enumeration is more difficult and has only been established in a few special cases. We give a method of using cards related to "embeddings" of ordered partitions to enumerate the count of multiplex juggling sequences, determine these counts for small cases, and establish some combinatorial properties of the set of cards needed.

We recall the directed graph of _juggling states_, closed walks within which give juggling patterns, as studied by Ron Graham in [w/Chung, w/Butler]. Various random walks in this graph have been studied before by several authors, and their equilibrium distributions computed. We motivate a random walk on the reverse graph (and an enrichment thereof) from a very classical linear algebra problem, leading to a particularly simple equilibrium: a Boltzmann distribution closely related to the Poincaré series of the b-Grassmannian in infinite-dimensional space. We determine the most likely asymptotic state in the limit of many balls, where in the limit the probability of a 0-throw is kept fixed.

Juggling patterns can be described by a closed walk in a (directed) state graph, where each vertex (or state) is a landing pattern for the balls and directed edges connect states that can occur consecutively. The number of such patterns of length $n$ is well known, but a long-standing problem is to count the number of prime juggling patterns (those juggling patterns corresponding to cycles in the state graph). For the case of $b=2$ balls we give an expression for the number of prime juggling patterns of length $n$ by establishing a connection with partitions of $n$ into distinct parts. From this we show the number of two-ball prime juggling patterns of length $n$ is $(γ-o(1))2^n$ where $γ=1.32963879259...$. For larger $b$ we show there are at least $b^{n-1}$ prime cycles of length $n$.

Building on previous work by four of us (ABCN), we consider further generalizations of Warrington's juggling Markov chains. We first introduce "multispecies" juggling, which consist in having balls of different weights: when a ball is thrown it can possibly bump into a lighter ball that is then sent to a higher position, where it can in turn bump an even lighter ball, etc. We both study the case where the number of balls of each species is conserved and the case where the juggler sends back a ball of the species of its choice. In this latter case, we actually discuss three models: add-drop, annihilation and overwriting. The first two are generalisations of models presented in (ABCN) while the third one is new and its Markov chain has the ultra fast convergence property. We finally consider the case of several jugglers exchanging balls. In all models, we give explicit product formulas for the stationary probability and closed form expressions for the normalisation factor if known.

Juggling patterns can be described by a sequence of cards which keep track of the relative order of the balls at each step. This interpretation has many algebraic and combinatorial properties, with connections to Stirling numbers, Dyck paths, Narayana numbers, boson normal ordering, arc-labeled digraphs, and more. Some of these connections are investigated with a particular focus on enumerating juggling patterns satisfying certain ordering constraints, including where the number of crossings is fixed.

We discuss results dealing with universal cycles (u-cycles) and $s$-overlap cycles, and contribute to the body of those results by proving existence of universal cycles of naturally labeled posets (NL posets), $s$-overlap cycles of words of weight $k$, and juggling patterns. The result on posets is, to the best of our knowledge, the first demonstration of the existence of a u-cycle whose length is unknown.

We consider refined versions of Markov chains related to juggling introduced by Warrington. We further generalize the construction to juggling with arbitrary heights as well as infinitely many balls, which are expressed more succinctly in terms of Markov chains on integer partitions. In all cases, we give explicit product formulas for the stationary probabilities. The normalization factor in one case can be explicitly written as a homogeneous symmetric polynomial. We also refine and generalize enriched Markov chains on set partitions. Lastly, we prove that in one case, the stationary distribution is attained in bounded time.

We introduce the Möbius polynomial $ M_n(x) = \sum_{d|n} μ\left( \frac nd \right) x^d $, which gives the number of aperiodic bracelets of length $n$ with $x$ possible types of gems, and therefore satisfies $M_n(x) \equiv 0$ (mod $n$) for all $x \in \mathbb Z$. We derive some key properties, analyze graphs in the complex plane, and then apply Möbius polynomials combinatorially to juggling patterns, irreducible polynomials over finite fields, and Euler's totient theorem.