arXiv Science⌕ Search

arXiv subjects

James Propp

Publications and source records attributed to James Propp.

At least 19 recordsLinked to original sources
arXiv2026

Dimers, filters, and $q$-deformed real numbers

This article associates to each positive real number $x$ a dimer model on a snake graph with activity parameter $q>0$ whose structure is determined by the continued fraction expansion of $x$. When $x$ is rational, the model is finite and gives rise to a probability measure $\mu_{x,q}$ on perfect matchings. For irrational $x$, the model is infinite, and $\mu_{x,q}$ is defined as a limit over rational approximations to $x$; the main technical result of the paper shows that this limit is well defined and independent of the choice of rational approximants. $[[x]]_q$ denotes the odds that a $\mu_{x,q}$-random perfect matching includes a distinguished edge. When $x$ is rational, $[[x]]_q = q\:[x]_q$, where $[x]_q$ is the algebraic $q$-deformation introduced by Morier-Genoud and Ovsienko. This agreement, together with evidence from the irrational case, suggests a close connection between the probabilistic and algebraic constructions.

math.PR↗
arXiv2026

Intersection statistics for antichains in minuscule posets

For a finite poset $P$, we study the expected size of the intersection of two independent uniformly random antichains. Equivalently, we evaluate the sum of $|A\cap A'|$ over all ordered pairs of antichains. For general posets this statistic appears to have little structure, but for the classical minuscule posets with uniform combinatorial models it admits closed-form expressions. Though the proofs are elementary and combinatorial, the resulting formulas admit a natural interpretation in terms of weight diagrams of minuscule representations.

math.CO↗
arXiv2026

Grid designs

We define a grid graph $G$ as a Cartesian product of path-graphs $P_n$ or cycle-graphs $C_n$ as shown in Figure 1, and we ask, when can the edge set of a complete graph be expressed as a disjoint union of graphs isomorphic to $G$? That is, we are asking for which grid graphs a $G$-design exists, where a $G$-design is defined as a decomposition of a complete graph into edge-disjoint subgraphs isomorphic to $G$. We show that when $n$ is an odd prime or the square of an odd prime, the toroidal grid-graph $G = C_n \square C_n$ admits a $G$-design. In the less symmetrical case of products of path-graphs, we prove that $G = P_3 \square P_3$ does not admit a $G$-design but that $G = P_4 \square P_4$ does. This last result is the special case that motivated the present paper: a $P_4 \square P_4$-design corresponds to a way of successively scrambling a Connections puzzle so that each pair of words occurs adjacently exactly once. Our constructions use the arithmetic of finite fields.

math.CO↗
arXiv2025

Hyperbinary partitions and q-deformed rationals

A hyperbinary partition of the nonnegative integer n is a partition where every part is a power of 2 and every part appears at most twice. We give three applications of the length generating function for such partitions, denoted by h_q(n). Morier-Genoud and Ovsienko defined the q-analogue of a rational number [r/s]_q in various ways, most of which depend directly or indirectly on the continued fraction expansion of r/s. As our first application we show that [r/s]_q = q h_q(n-1)/h_q(n) where r/s occurs as the nth entry in the Calkin-Wilf enumeration of the non-negative rationals. Next we consider fence posets which are those which can be obtained from a sequence of chains by alternately pasting together maxima and minima. For every n we show there is a fence poset F(n) whose lattice of order ideals is isomorphic to the poset of hyperbinary partitions of n ordered by refinement. For our last application, Morier-Genoud and Ovsienko also showed that [r/s]_q can be computed by taking products of certain matrices which are q-analogues of the standard generators for the special linear group SL(2,R). We express the entries of these products in terms of the polynomials h_q(n).

math.CO↗
arXiv2024

Tilings of Benzels via Generalized Compression

Defant, Li, Propp, and Young recently resolved two enumerative conjectures of Propp concerning the tilings of regions in the hexagonal grid called benzels using two types of prototiles called stones and bones (with varying constraints on allowed orientations of the tiles). Their primary tool, a bijection called compression that converts certain $k$-ribbon tilings to $(k-1)$-ribbon tilings, allowed them to reduce their problems to the enumeration of dimers (i.e., perfect matchings) of certain graphs. We present a generalized version of compression that no longer relies on the perspective of partitions and skew shapes. Using this strengthened tool, we resolve three more of Propp's conjectures and recast several others as problems about perfect matchings.

math.CO↗
arXiv2022

Tilings of Benzels via the Abacus Bijection

Propp recently introduced regions in the hexagonal grid called benzels and stated several enumerative conjectures about the tilings of benzels using two types of prototiles called stones and bones. We resolve two of his conjectures and prove some additional results that he left tacit. In order to solve these problems, we first transfer benzels into the square grid. One of our primary tools, which we combine with several new ideas, is a bijection (rediscovered by Stanton and White and often attributed to them although it is considerably older) between $k$-ribbon tableaux of certain skew shapes and certain $k$-tuples of Young tableaux.

math.CO↗
arXiv2022

Trimer covers in the triangular grid: twenty mostly open problems

In the past three decades, the study of rhombus tilings and domino tilings of various plane regions has been a thriving subfield of enumerative combinatorics. Physicists classify such work as the study of dimer covers of finite graphs. In this article we move beyond dimer covers to trimer covers, introducing plane regions called benzels that play a role analogous to hexagons for rhombus tilings and Aztec diamonds for domino tilings, inasmuch as one finds many (so far mostly conjectural) exact formulas governing the number of tilings.

math.CO↗
arXiv2022

A pentagonal number theorem for tribone tilings

Conway and Lagarias showed that certain roughly triangular regions in the hexagonal grid cannot be tiled by shapes Thurston later dubbed tribones. Here we study a two-parameter family of roughly hexagonal regions in the hexagonal grid and show that a tiling by tribones exists if and only if the two parameters associated with the region are the paired pentagonal numbers $k(3k \pm 1)/2$.

math.CO↗
arXiv2021

Homomesy via Toggleability Statistics

The rowmotion operator acting on the set of order ideals of a finite poset has been the focus of a significant amount of recent research. One of the major goals has been to exhibit homomesies: statistics that have the same average along every orbit of the action. We systematize a technique for proving that various statistics of interest are homomesic by writing these statistics as linear combinations of "toggleability statistics" (originally introduced by Striker) plus a constant. We show that this technique recaptures most of the known homomesies for the posets on which rowmotion has been most studied. We also show that the technique continues to work in modified contexts. For instance, this technique also yields homomesies for the piecewise-linear and birational extensions of rowmotion; furthermore, we introduce a $q$-analogue of rowmotion and show that the technique yields homomesies for "$q$-rowmotion" as well.

math.CO↗
arXiv2021

A spectral theory for combinatorial dynamics

This article proposes a framework for the study of periodic maps $T$ from a (typically finite) set $X$ to itself when the set $X$ is equipped with one or more real- or complex-valued functions. The main idea, inspired by the time-evolution operator construction from ergodic theory, is the introduction of a vector space that contains the given functions and is closed under composition with $T$, along with a time-evolution operator on that vector space. I show that the invariant functions and 0-mesic functions span complementary subspaces associated respectively with the eigenvalue 1 and the other eigenvalues. Alongside other examples, I give an explicit description of the spectrum of the evolution operator when $X$ is the set of $k$-element multisets with elements in $\{0,1,\dots,n-1\}$, $T$ increments each element of a multiset by 1 mod $n$, and $g_i: X \rightarrow \mathbb{R}$ (with $1 \leq i \leq k$) maps a multiset to its $i$th smallest element.

math.CO↗
arXiv2021

A Greedy Chip-firing Game

We introduce a deterministic analogue of Markov chains that we call the hunger game. Like rotor-routing, the hunger game deterministically mimics the behavior of both recurrent Markov chains and absorbing Markov chains. In the case of recurrent Markov chains with finitely many states, hunger game simulation concentrates around the stationary distribution with discrepancy falling off like $N^{-1}$, where $N$ is the number of simulation steps; in the case of absorbing Markov chains with finitely many states, hunger game simulation also exhibits concentration for hitting measures and expected hitting times with discrepancy falling off like $N^{-1}$ rather than $N^{-1/2}$. When transition probabilities in a finite Markov chain are rational, the game is eventually periodic; the period seems to be the same for all initial configurations and the basin of attraction appears to tile the configuration space (the set of hunger vectors) by translation, but we have not proved this.

math.PR↗
arXiv2020

Quantifying Noninvertibility in Discrete Dynamical Systems

Given a finite set $X$ and a function $f:X\to X$, we define the degree of noninvertibility of $f$ to be $\displaystyle\text{deg}(f)=\frac{1}{|X|}\sum_{x\in X}|f^{-1}(f(x))|$. This is a natural measure of how far the function $f$ is from being bijective. We compute the degrees of noninvertibility of some specific discrete dynamical systems, including the Carolina solitaire map, iterates of the bubble sort map acting on permutations, bubble sort acting on multiset permutations, and a map that we call "nibble sort." We also obtain estimates for the degrees of noninvertibility of West's stack-sorting map and the Bulgarian solitaire map. We then turn our attention to arbitrary functions and their iterates. In order to compare the degree of noninvertibility of an arbitrary function $f:X\to X$ with that of its iterate $f^k$, we prove that \[\max_{\substack{f:X\to X\\ |X|=n}}\frac{\text{deg}(f^k)}{\text{deg}(f)^\gamma}=\Theta(n^{1-1/2^{k-1}})\] for every real number $\gamma\geq 2-1/2^{k-1}$. We end with several conjectures and open problems.

math.CO↗
arXiv2018

Germ order for one-dimensional packings

Every set of natural numbers determines a generating function convergent for $q \in (-1,1)$ whose behavior as $q \rightarrow 1^-$ determines a germ. These germs admit a natural partial ordering that can be used to compare sets of natural numbers in a manner that generalizes both cardinality of finite sets and density of infinite sets. For any finite set $D$ of positive integers, call a set $S$ "$D$-avoiding" if no two elements of $S$ differ by an element of $D$. We study the problem of determining, for fixed $D$, all $D$-avoiding sets that are maximal in the germ order. In many cases, we can show that there is exactly one such set. We apply this to the study of one-dimensional packing problems.

math.CO↗
arXiv2018

Brussels Sprouts, Noncrossing Trees, and Parking Functions

We consider a variant of the game of Brussels Sprouts that, like Conway's original version, ends in a predetermined number of moves. We show that the endstates of the game are in natural bijection with noncrossing trees and that the game histories are in natural bijection with both parking functions and factorizations of a cycle of $S_n$.

math.CO↗
arXiv2017

Whirling injections, surjections, and other functions between finite sets

This paper analyzes a certain action called "whirling" that can be defined on any family of functions between two finite sets equipped with a linear (or cyclic) ordering. Many maps of interest in dynamical algebraic combinatorics, such as rowmotion of order ideals, can be represented as a composition of "toggling" involutions, each of which modifies its object only locally. Similarly whirling is made up of locally-acting whirling maps which directly generalize toggles, but cycle through more than two possible outputs. In this first paper on whirling, we consider it as a map on subfamilies of functions between finite sets. For whirling acting on the set of injections or the set of surjections, we prove that within each whirling orbit, any two elements of the codomain appear as outputs of functions the same number of times. This result can be stated in terms of the homomesy phenomenon, which occurs when a statistic has the same average across every orbit. We further explore homomesy results and conjectures for whirling on restricted-growth words, which correspond to set partitions. These results extend the collection of combinatorial objects for which we have interesting dynamics and homomesy, and open the door to considering whirling in other contexts.

math.CO↗
arXiv2017

One-Dimensional Packing: Maximality Implies Rationality

Every set of natural numbers determines a generating function convergent for $q \in (-1,1)$ whose behavior as $q \rightarrow 1^-$ determines a germ. These germs admit a natural partial ordering that can be used to compare sizes of sets of natural numbers in a manner that generalizes both cardinality of finite sets and density of infinite sets. For any finite set $D$ of positive integers, call a set $S$ "$D$-avoiding" if no two elements of $S$ differ by an element of $D$. It is shown that any $D$-avoiding set that is maximal in the class of $D$-avoiding sets (with respect to germ-ordering) is ultimately periodic. This implies an analogous result for packings. It is conjectured that for all $D$ there is a unique maximal $D$-avoiding set, and that its germ is appreciably larger than the germs of all other $D$-avoiding sets.

math.CO↗
arXiv2016

Sorting via chip-firing

We investigate a variant of the chip-firing process on the infinite path graph: rather than treating the chips as indistinguishable, we label them with positive integers. To fire an unstable vertex, i.e. a vertex with more than one chip, we choose any two chips at that vertex and move the lesser-labeled chip to the left and the greater-labeled chip to the right. This labeled version of the chip-firing process exhibits a remarkable confluence property, similar to but subtler than the confluence that prevails for unlabeled chip-firing: when all chips start at the origin and the number of chips is even, the chips always end up in sorted order. Our proof of sorting relies upon an independently interesting lemma concerning unlabeled chip- firing which says that stabilization preserves a natural partial order on configurations. We also discuss some extensions of this sorting phenomenon to other graphs (variants of the infinite path), to other initial configurations, and to other Cartan-Killing types.

math.CO↗