Author

James Propp

101 papers · 1977–2026

1977peak 7 in 19982026

Frequent co-authors

Papers

showing 1–25 of 101 RSS

Exact sampling with coupled Markov chains and applications to statistical mechanics

James Propp, David Bruce Wilson

Statistics and Probability · Random Structures and Algorithms · August 1996 · cited 1,146× · DOI ↗ · more like this ·

For many applications it is useful to sample from a finite set of objects in accordance with some particular distribution. One approach is to run an ergodic (i.e., irreducible aperiodic) Markov chain whose stationary distribution is the desired distribution on this set; after the Markov chain has run for M steps, with M sufficiently large, the distribution governing the state of the chain approximates the desired distribution. Unfortunately, it can be difficult to determine how large M needs to be. We describe a simple variant of this method that determines on its own when to stop and that outputs samples in exact accordance with the desired distribution. The method uses couplings which have also played a role in other sampling schemes; however, rather than running the coupled chains from the present into the future, one runs from a distant point in the past up until the present, where…

Alternating sign matrices and domino tilings

Noam Elkies, Greg Kuperberg, Michael Larsen +1 more

math.CO · June 1991 · cited 380× · arXiv ↗ · more like this ·

We introduce a family of planar regions, called Aztec diamonds, and study the ways in which these regions can be tiled by dominoes. Our main result is a generating function that not only gives the number of domino tilings of the Aztec diamond of order $n$ but also provides information about the orientation of the dominoes (vertical versus horizontal) and the accessibility of one tiling from another by means of local modifications. Several proofs of the formula are given. The problem turns out to have connections with the alternating sign matrices of Mills, Robbins, and Rumsey, as well as the square ice model studied by Lieb.

Local statistics for random domino tilings of the Aztec diamond

Henry Cohn, Noam Elkies, James Propp

math.CO · 31 Aug 2000 · cited 276× · arXiv ↗ · more like this ·

We prove an asymptotic formula for the probability that, if one chooses a domino tiling of a large Aztec diamond at random according to the uniform distribution on such tilings, the tiling will contain a domino covering a given pair of adjacent lattice squares. This formula quantifies the effect of the diamond's boundary conditions on the behavior of typical tilings; in addition, it yields a new proof of the arctic circle theorem of Jockusch, Propp, and Shor. Our approach is to use the saddle point method to estimate certain weighted sums of squares of Krawtchouk polynomials (whose relevance to domino tilings is demonstrated elsewhere), and to combine these estimates with some exponential sum bounds to deduce our final result. This approach generalizes straightforwardly to the case in which the probability distribution on the set of tilings incorporates bias favoring horizontal over…

The shape of a typical boxed plane partition

Henry Cohn, Michael Larsen, James Propp

math.CO · January 1998 · cited 264× · arXiv ↗ · more like this ·

Using a calculus of variations approach, we determine the shape of a typical plane partition in a large box (i.e., a plane partition chosen at random according to the uniform distribution on all plane partitions whose solid Young diagrams fit inside the box). Equivalently, we describe the distribution of the three different orientations of lozenges in a random lozenge tiling of a large hexagon. We prove a generalization of the classical formula of MacMahon for the number of plane partitions in a box; for each of the possible ways in which the tilings of a region can behave when restricted to certain lines, our formula tells the number of tilings that behave in that way. When we take a suitable limit, this formula gives us a functional which we must maximize to determine the asymptotic behavior of a plane partition in a box. Once the variational problem has been set up, we analyze it…

Chip-Firing and Rotor-Routing on Directed Graphs

Alexander E. Holroyd, Lionel Levine, Karola Meszaros +3 more

math.CO · January 2008 · cited 236× · arXiv ↗ · more like this ·

We give a rigorous and self-contained survey of the abelian sandpile model and rotor-router model on finite directed graphs, highlighting the connections between them. We present several intriguing open problems.

Random Domino Tilings and the Arctic Circle Theorem

William Jockusch, James Propp, Peter Shor

math.CO · January 1998 · cited 227× · arXiv ↗ · more like this ·

In this article we study domino tilings of a family of finite regions called Aztec diamonds. Every such tiling determines a partition of the Aztec diamond into five sub-regions; in the four outer sub-regions, every tile lines up with nearby tiles, while in the fifth, central sub-region, differently-oriented tiles co-exist side by side. We show that when n is sufficiently large, the shape of the central sub-region becomes arbitrarily close to a perfect circle of radius n/sqrt(2) for all but a negligible proportion of the tilings. Our proof uses techniques from the theory of interacting particle systems. In particular, we prove and make use of a classification of the stationary behaviors of a totally asymmetric one-dimensional exclusion process in discrete time.

Trees and Matchings

Richard W. Kenyon, James G. Propp, David B. Wilson

math.CO · March 1999 · cited 162× · arXiv ↗ · more like this ·

In this article, Temperley's bijection between spanning trees of the square grid on the one hand, and perfect matchings (also known as dimer coverings) of the square grid on the other, is extended to the setting of general planar directed (and undirected) graphs, where edges carry nonnegative weights that induce a weighting on the set of spanning trees. We show that the weighted, directed spanning trees (often called arborescences) of any planar graph G can be put into a one-to-one weight-preserving correspondence with the perfect matchings of a related planar graph H. One special case of this result is a bijection between perfect matchings of the hexagonal honeycomb lattice and directed spanning trees of a triangular lattice. Another special case gives a correspondence between perfect matchings of the ``square-octagon'' lattice and directed weighted spanning trees on a directed…

Enumeration of Matchings: Problems and Progress

James Propp

math.CO · 28 Apr 1999 · cited 145× · arXiv ↗ · more like this ·

This document is built around a list of thirty-two problems in enumeration of matchings, the first twenty of which were presented in a lecture at MSRI in the fall of 1996. I begin with a capsule history of the topic of enumeration of matchings. The twenty original problems, with commentary, comprise the bulk of the article. I give an account of the progress that has been made on these problems as of this writing, and include pointers to both the printed and on-line literature; roughly half of the original twenty problems were solved by participants in the MSRI Workshop on Combinatorics, their students, and others, between 1996 and 1999. The article concludes with a dozen new open problems. (Note: This article supersedes math.CO/9801060 and math.CO/9801061.)

The many faces of alternating-sign matrices

James Propp

math.CO · 15 Aug 2002 · cited 136× · arXiv ↗ · more like this ·

I give a survey of different combinatorial forms of alternating-sign matrices, starting with the original form introduced by Mills, Robbins and Rumsey as well as corner-sum matrices, height-function matrices, three-colorings, monotone triangles, tetrahedral order ideals, square ice, gasket-and-basket tilings and full packings of loops.

Generalized domino-shuffling

James Propp

math.CO · November 2001 · cited 116× · arXiv ↗ · more like this ·

The problem of counting tilings of a plane region using specified tiles can often be recast as the problem of counting (perfect) matchings of some subgraph of an Aztec diamond graph A_n, or more generally calculating the sum of the weights of all the matchings, where the weight of a matching is equal to the product of the (pre-assigned) weights of the constituent edges (assumed to be non-negative). This article presents efficient algorithms that work in this context to solve three problems: finding the sum of the weights of the matchings of a weighted Aztec diamond graph A_n; computing the probability that a randomly-chosen matching of A_n will include a particular edge (where the probability of a matching is proportional to its weight); and generating a matching of A_n at random. The first of these algorithms is equivalent to a special case of Mihai Ciucu's cellular complementation…

Homomesy in products of two chains

James Propp, Tom Roby

math.CO · October 2013 · cited 98× · arXiv ↗ · more like this ·

Many invertible actions $τ$ on a set ${\mathcal{S}}$ of combinatorial objects, along with a natural statistic $f$ on ${\mathcal{S}}$, exhibit the following property which we dub \textbf{homomesy}: the average of $f$ over each $τ$-orbit in ${\mathcal{S}}$ is the same as the average of $f$ over the whole set ${\mathcal{S}}$. This phenomenon was first noticed by Panyushev in 2007 in the context of the rowmotion action on the set of antichains of a root poset; Armstrong, Stump, and Thomas proved Panyushev's conjecture in 2011. We describe a theoretical framework for results of this kind that applies more broadly, giving examples in a variety of contexts. These include linear actions on vector spaces, sandpile dynamics, Suter's action on certain subposets of Young's Lattice, Lyness 5-cycles, promotion of rectangular semi-standard Young tableaux, and the rowmotion and promotion actions on…

Lattice structure for orientations of graphs

James Propp

math.CO · September 2002 · cited 94× · arXiv ↗ · more like this ·

In 1986, Oliver Pretzel studied the set of orientations of a connected finite graph $G$ and showed that any two such orientations having the same flow-difference around all closed loops can be obtained from one another by a succession of local moves of a simple type. Here I show that the set of orientations of $G$ having the same flow-differences around all closed loops can be given the structure of a distributive lattice. When the graph is drawn on the plane, a dual version of the construction puts a distributive lattice structure on the set of orientations of $G$ having the same indegrees at all vertices. In both settings, adjacent lattice-elements are related by simple local moves. This construction unifies earlier, similar constructions in combinatorics and statistical mechanics. It also gives rise to an interesting lattice structure on spanning trees. This article is an updated…

The fractional chromatic number of mycielski's graphs

Michael Larsen, James Propp, Daniel H. Ullman

Discrete Mathematics and Combinatorics · Journal of Graph Theory · May 1995 · cited 94× · DOI ↗ · more like this ·

Abstract James Propp The most familiar construction of graphs whose clique number is much smaller than their chromatic number is due to Mycielski, who constructed a sequence G n of triangle‐free graphs with X( G n ) = n . In this article, we calculate the fractional chromatic number of G n and show that this sequence of numbers satisfies the unexpected recurrence a n+1 = a n + (1/ a n ). © 1995 John Wiley & Sons, Inc.

The combinatorics of frieze patterns and Markoff numbers

James Propp

math.CO · November 2005 · cited 74× · arXiv ↗ · more like this ·

This article, based on joint work with Gabriel Carroll, Andy Itsara, Ian Le, Gregg Musiker, Gregory Price, Dylan Thurston, and Rui Viana, presents a combinatorial model based on perfect matchings that explains the symmetries of the numerical arrays that Conway and Coxeter dubbed frieze patterns. This matchings model is a combinatorial interpretation of Fomin and Zelevinsky's cluster algebras of type A. One can derive from the matchings model an enumerative meaning for the Markoff numbers, and prove that the associated Laurent polynomials have positive coefficients as was conjectured (much more generally) by Fomin and Zelevinsky. Most of this research was conducted under the auspices of REACH (Research Experiences in Algebraic Combinatorics at Harvard).

Degree-growth of monomial maps

Boris Hasselblatt, James Propp

math.DS · April 2006 · cited 69× · arXiv ↗ · more like this ·

For projectivizations of rational maps Bellon and Viallet defined the notion of algebraic entropy using the exponential growth rate of the degrees of iterates. We want to call this notion to the attention of dynamicists by computing algebraic entropy for certain rational maps of projective spaces (Theorem 6.2) and comparing it with topological entropy (Theorem 5.1). The particular rational maps we study are monomial maps (Definition 1.2), which are closely related to toral endomorphisms. Theorems 5.1 and 6.2 imply that the algebraic entropy of a monomial map is always bounded above by its topological entropy, and that the inequality is strict if the defining matrix has more than one eigenvalue outside the unit circle. Also, Bellon and Viallet conjectured that the algebraic entropy of every rational map is the logarithm of an algebraic integer, and Theorem 6.2 establishes this for…

How the Alternating Sign Matrix Conjecture Was Solved

David M. Bressoud, James Propp

Geometry and Topology · Notices of the American Mathematical Society · 1999 · cited 62× · OpenAlex ↗ · more like this ·

, one might be tempted to conclude that thetheory of determinants was well and truly beatento death in the nineteenth century. In fact, thefield is thriving, and it has continued to yield chal-lenging problems of deceptive elegance and sim-plicity. The Alternating Sign Matrix Conjecture wasone of the most notorious of these problems. Forfifteen years it defied assaults by some of theworld’s best mathematicians; then in 1995 threedistinct proofs appeared. The first, by Doron Zeil-berger, drew on results and techniques from par-tition theory, symmetric functions, and constantterm identities, with a pivotal role played by thepartial difference operator philosophy and by com-puter algebra. Greg Kuperberg found the secondproof, which relied on the machinery of statisticalmechanics and in particular on the Yang-Baxterequation for the 6-vertex lattice model. The thirdproof, again by…

Combinatorial, piecewise-linear, and birational homomesy for products of two chains

David Einstein, James Propp

math.CO · October 2013 · cited 59× · arXiv ↗ · more like this ·

This article illustrates the dynamical concept of $homomesy$ in three kinds of dynamical systems -- combinatorial, piecewise-linear, and birational -- and shows the relationship between these three settings. In particular, we show how the rowmotion and promotion operations of Striker and Williams can be lifted to (continuous) piecewise-linear operations on the order polytope of Stanley, and then lifted to birational operations on the positive orthant in $\mathbb{R}^{|P|}$ and indeed to a dense subset of $\mathbb{C}^{|P|}$. When the poset $P$ is a product of a chain of length $a$ and a chain of length $b$, these lifted operations have order $a+b$, and exhibit the homomesy phenomenon: the time-averages of various quantities are the same in all orbits. One important tool is a concrete realization of the conjugacy between rowmotion and promotion found by Striker and Williams; this…

Three-player impartial games

James Propp

math.CO · March 1999 · cited 51× · arXiv ↗ · more like this ·

Past efforts to classify impartial three-player combinatorial games (the theories of Li and Straffin) have made various restrictive assumptions about the rationality of one's opponents and the formation and behavior of coalitions. One may instead adopt an agnostic attitude towards such issues, and seek only to understand in what circumstances one player has a winning strategy against the combined forces of the other two. By limiting ourselves to this more modest theoretical objective, and by regarding two games as being equivalent if they are interchangeable in all disjunctive sums,as far as single-player winnability is concerned, we can obtain an interesting analogue of Grundy values for three-player impartial games.

Richman games

Andrew J. Lazarus, Daniel E. Loeb, James G. Propp +1 more

math.CO · 9 Feb 1995 · cited 49× · arXiv ↗ · more like this ·

A Richman game is a combinatorial game in which, rather than alternating moves, the two players bid for the privilege of making the next move. We consider both the case where the players pay each other and the case where the players pay a neutral third party. We find optimal strategies considering both the case where the players know how much money their opponent has and the case where they do not.

Combinatorial interpretations for rank-two cluster algebras of affine type

Gregg Musiker, James Propp

math.CO · February 2006 · cited 46× · arXiv ↗ · more like this ·

Fomin and Zelevinsky show that a certain two-parameter family of rational recurrence relations, here called the (b,c) family, possesses the Laurentness property: for all b,c, each term of the (b,c) sequence can be expressed as a Laurent polynomial in the two initial terms. In the case where the positive integers b,c satisfy bc<4, the recurrence is related to the root systems of finite-dimensional rank 2 Lie algebras; when bc>4, the recurrence is related to Kac-Moody rank 2 Lie algebras of hyperbolic type. Here we investigate the borderline cases bc=4, corresponding to Kac-Moody Lie algebras of affine type. In these cases, we show that the Laurent polynomials arising from the recurence can be viewed as generating functions that enumerate the perfect matchings of certain graphs. By providing combinatorial interpretations of the individual coefficients of these Laurent polynomials, we…

Piecewise-linear and birational toggling

David Einstein, James Propp

math.CO · 14 Apr 2014 · cited 43× · arXiv ↗ · more like this ·

We define piecewise-linear and birational analogues of the toggle-involutions on order ideals of posets studied by Striker and Williams and use them to define corresponding analogues of rowmotion and promotion that share many of the properties of combinatorial rowmotion and promotion. Piecewise-linear rowmotion (like birational rowmotion) admits an alternative definition related to Stanley's transfer map for the order polytope; piecewise-linear promotion relates to Schützenberger promotion for semistandard Young tableaux. The three settings for these dynamical systems (combinatorial, piecewise-linear, and birational) are intimately related: the piecewise-linear operations arise as tropicalizations of the birational operations, and the combinatorial operations arise as restrictions of the piecewise-linear operations to the vertex-set of the order polytope. In the case where the poset is…

Generating Random Elements of Finite Distributive Lattices

James Propp

math.CO · 13 Jan 1998 · cited 37× · arXiv ↗ · more like this ·

This survey article describes a method for choosing uniformly at random from any finite set whose objects can be viewed as constituting a distributive lattice. The method is based on ideas of the author and David Wilson for using ``coupling from the past'' to remove initialization bias from Monte Carlo randomization. The article describes several applications to specific kinds of combinatorial objects such as tilings, constrained lattice paths, and alternating-sign matrices.

The projective fundamental group of a ℤ<sup>2</sup>-shift

William Geller, James Propp

Computational Theory and Mathematics · Ergodic Theory and Dynamical Systems · December 1995 · cited 36× · DOI ↗ · more like this ·

Abstract We define a new invariant for symbolic ℤ 2 -actions, the projective fundamental group. This invariant is the limit of an inverse system of groups, each of which is the fundamental group of a space associated with the ℤ 2 -action. The limit group measures a kind of long-distance order that is manifested along loops in the plane, and roughly speaking bears the same relation to the mixing properties of the ℤ 2 -action that π 1 ; of a topological space bears to π 0 . The projective fundamental group is invariant under topological conjugacy. We calculate this invariant for several important examples of ℤ 2 -actions, and use it to prove non-existence of certain constant-to-one factor maps between two-dimensional subshifts. Subshifts that have the same entropy and periodic point data can have different projective fundamental groups.

Generating a random sink-free orientation in quadratic time

Henry Cohn, Robin Pemantle, James Propp

math.PR · March 2001 · cited 30× · arXiv ↗ · more like this ·

A sink-free orientation of a finite undirected graph is a choice of orientation for each edge such that every vertex has out-degree at least 1. Bubley and Dyer (1997) use Markov Chain Monte Carlo to sample approximately from the uniform distribution on sink-free orientations in time O(m^3 log (1/epsilon)), where m is the number of edges and epsilon the degree of approximation. Huber (1998) uses coupling from the past to obtain an exact sample in time O(m^4). We present a simple randomized algorithm inspired by Wilson's cycle popping method which obtains an exact sample in mean time at most O(nm), where n is the number of vertices.

A reciprocity theorem for domino tilings

James Propp

math.CO · April 2001 · cited 25× · arXiv ↗ · more like this ·

Let T(m,n) denote the number of ways to tile an m-by-n rectangle with dominos. For any fixed m, the numbers T(m,n) satisfy a linear recurrence relation, and so may be extrapolated to negative values of n; these extrapolated values satisfy the relation T(m,-2-n) = epsilon_{m,n} T(m,n), where epsilon_{m,n} is -1 if m is congruent to 2 (mod 4) and n is odd, and is +1 is otherwise. This is equivalent to a fact demonstrated by Stanley using algebraic methods. Here I give a proof that provides, among other things, a uniform combinatorial interpretation of T(m,n) that applies regardless of the sign of n.