arXiv++ Combinatorics

We revisit Zeilberger's computational framework for enumerating polyomino tilings and demonstrate its use in counting tilings of $k\times n$ boards by $L$-tetrominoes, allowing rotations. Recently, Bělohoubek and Slavík gave a generating function for tilings of $2n\times 4$ boards by $L$-tetrominoes. Motivated by their work, we first verify the method by automatically recovering their generating function. We then apply the method to widths $5$ through $9$ and obtain explicit rational generating functions and new integer sequences that are not currently listed in the OEIS.

We harness both human ingenuity and the power of symbolic computation to study the number of coin tosses until reaching $n$ Heads or $m$ Tails. We also talk about the closely related problem of reaching $n$ Heads and $m$ Tails. This paper is accompanied by a Maple package that enables fast computation of expectations, variances, and higher moments of these quantities.

We study lucky cars in subsets of parking functions, called Fubini rankings and unit Fubini rankings. A Fubini ranking is a sequence of nonnegative integers that encodes a valid ranking of competitors, where ties are allowed. A car (or competitor) is said to be lucky if it is the first instance of that rank appearing in the sequence. We present combinatorial characterizations and enumeration formulas for lucky cars in both Fubini rankings and unit Fubini rankings, and establish connections between these objects and ordered set partitions, as well as integer compositions. To obtain our results, we use several techniques to enumerate statistics over these families of objects. In particular, we employ generating functions, bijective and combinatorial arguments, recurrence relations, and Zeilberger's creative telescoping method.

In a parking function, a car is considered lucky if it is able to park in its preferred spot. Extending work of Harris and Martinez, we enumerate outcomes of parking functions with a fixed set of lucky cars. We then consider a generalization of parking functions known as vector parking functions or $\boldsymbol{u}$-parking functions, in which a nonnegative integer capacity is given to each parking spot in the street. With certain restrictions on $\boldsymbol{u}$, we enumerate outcomes of $\boldsymbol{u}$-parking functions with a fixed set of lucky cars or with a fixed number of lucky cars. We also count outcomes according to which spots contain lucky cars, and give formulas for enumerating $\boldsymbol{u}$-parking functions themselves according to their set of lucky cars.

We introduce a generalization of parking functions in which cars are limited in their movement backwards and forwards by two nonnegative integer parameters $k$ and $\ell$, respectively. In this setting, there are $n$ spots on a one-way street and $m$ cars attempting to park in those spots, and $1\leq m\leq n$. We let $α=(a_1,a_2,\ldots,a_m)\in[n]^m$ denote the parking preferences for the cars, which enter the street sequentially. Car $i$ drives to their preference $a_i$ and parks there if the spot is available. Otherwise, car $i$ checks up to $k$ spots behind their preference, parking in the first available spot it encounters if any. If no spots are available, or the car reaches the start of the street, then the car returns to its preference and attempts to park in the first spot it encounters among spots $a_i+1,a_i+2,\ldots,a_i+\ell$. If car $i$ fails to park, then parking ceases. If all cars are able to park given the preferences in $α$, then $α$ is called a $(k,\ell)$-pullback $(m,n)$-parking function. Our main result establishes counts for these parking functions in two ways: counting them based on their final parking outcome (the order in which the cars park on the street), and via a recursive formula. Specializing $\ell=n-1$, our result gives a new formula for the number of $k$-Naples $(m,n)$-parking functions and further specializing $m=n$ recovers a formula for the number of $k$-Naples parking functions given by Christensen et al. The specialization of $k=\ell=1$, gives a formula for the number of vacillating $(m,n)$-parking functions, a generalization of vacillating parking functions studied by Fang et al., and the $m=n$ result answers a problem posed by the authors. We conclude with a few directions for further study.

Let $S=(d_1,d_2,d_3, \ldots )$ be an infinite sequence of rolls of independent fair dice. For an integer $k \geq 1$, let $L_k=L_k(S)$ be the smallest $i$ so that there are $k$ integers $j \leq i$ for which $\sum_{t=1}^j d_t$ is a prime. Therefore, $L_k$ is the random variable whose value is the number of dice rolls required until the accumulated sum equals a prime $k$ times. It is known that the expected value of $L_1$ is close to $2.43$. Here we show that for large $k$, the expected value of $L_k$ is $(1+o(1)) k\log_e k$, where the $o(1)$-term tends to zero as $k$ tends to infinity. We also include some computational results about the distribution of $L_k$ for $k \leq 100$.

The power of symbolic computation, as opposed to mere numerical computation, is illustrated with efficient algorithms for studying the generalized gambler's ruin problem in one and two dimensions. We also consider a new generalization of the classical gambler's ruin where we add a third step which we call the mirror step. In this scenario, we provide closed formulas for the probability and expected duration.

Classical parking functions are a generalization of permutations that appear in many combinatorial structures. Prime parking functions are indecomposable components such that any classical parking function can be uniquely described as a direct sum of prime ones. In this article, we extend the notion of primeness to three generalizations of classical parking functions: vector parking functions, $(p,q)$-parking functions, and two-dimensional vector parking functions. We study their enumeration by obtaining explicit formulas for the number of prime vector parking functions when the vector is an arithmetic progression, prime $(p,q)$-parking functions, and prime two-dimensional vector parking functions when the weight matrix is an affine transformation of the coordinates.

In a parking function, a lucky car is a car that parks in its preferred parking spot and the parking outcome is the permutation encoding the order in which the cars park on the street. We give a characterization for the set of parking outcomes arising from parking functions with a fixed set of lucky cars. This characterization involves the descent bottom set of a permutation, and we use the characterization to we give a formula for the number of parking functions with a fixed set of lucky cars. Our work includes the cases where the number of cars is equal to the number of parking spots, and where there are more spots than cars. We also give product formulas for the number of weakly increasing parking functions having a fixed set of lucky cars, and when the number of cars equals the number of spots this is a product of Catalan numbers.

We use three kinds of computations: simulation, numeric, and symbolic, to guide risk-averse gamblers in general, and offer particular advice on how to resolve the famous St. Petersburg paradox.

Noga Alon and Yaakov Malinovsky recently studied the following game: you start at 0, and keep rolling a fair standard die, and add the outcomes until the sum happens to be prime. We generalize this in several ways, illustrating the power of symbolic, rather than merely numeric, computation. We conclude with polemics why the beautiful rigorous error estimate of Alon and Malinovsky is only of theoretical interest, explaining why we were content, in our numerous extensions, with non-rigorous, but practically-certain, estimates.

Given a simple graph $G$, one can define a hyperplane arrangement called the $G$-Shi arrangement. The Pak-Stanley algorithm labels the regions of this arrangement with $G_\bullet$-parking functions. When $G$ is a complete graph, we recover the Shi arrangement, and the Pak-Stanley labels give a bijection with ordinary parking functions. However, for proper subgraphs $G \subset K_n$, while the Pak-Stanley labels still include every $G_{\bullet}$-parking function, some appear more than once. These repetitions of Pak-Stanley labels are a topic of interest in the study of $G$-Shi arrangements and $G_{\bullet}$-parking functions. Furthermore, $G_{\bullet}$-parking functions are connected to many other combinatorial objects (for example, superstable configurations in chip-firing). In studying these repetitions, we can draw on existing results about these objects such as Dhar's Burning Algorithm. Conversely, our results have implications for the study of these objects as well. The key insight of our work is the introduction of a combinatorial model called the Three Rows Game. Analyzing the histories of this game and how they induce identical outcomes lets us characterize the multiplicities of the Pak-Stanley labels. Using this model, we develop a classification theorem for the multiplicities of the Pak-Stanley labels of the regions in the $P_n$-Shi arrangement, where $P_n$ is the path graph on $n$ vertices. Then, we generalize the Three Rows Game into the $T$-Three Rows Game. This allows us to study the multiplicities of the Pak-Stanley labels of the regions in $T$-Shi arrangements, where $T$ is any tree. Finally, we discuss the possibilities and difficulties in applying our method to arbitrary graphs. In particular, we analyze multiplicities in the case when $G$ is a cycle graph, and prove a uniqueness result for maximal $G_{\bullet}$-parking functions for all graphs using the Three Rows Game.

The $q$-analog of Kostant's weight multiplicity formula is an alternating sum over a finite group, known as the Weyl group, whose terms involve the $q$-analog of Kostant's partition function. This formula, when evaluated at $q=1$, gives the multiplicity of a weight in a highest weight representation of a simple Lie algebra. In this paper, we consider the Lie algebra $\mathfrak{sl}_4(\mathbb{C})$ and give closed formulas for the $q$-analog of Kostant's weight multiplicity. This formula depends on the following two sets of results. First, we present closed formulas for the $q$-analog of Kostant's partition function by counting restricted colored integer partitions. These formulas, when evaluated at $q=1$, recover results of De Loera and Sturmfels. Second, we describe and enumerate the Weyl alternation sets, which consist of the elements of the Weyl group that contribute nontrivially to Kostant's weight multiplicity formula. From this, we introduce Weyl alternation diagrams on the root lattice of $\mathfrak{sl}_4(\mathbb{C})$, which are associated to the Weyl alternation sets. This work answers a question posed in 2019 by Harris, Loving, Ramirez, Rennie, Rojas Kirby, Torres Davila, and Ulysse.