arXiv++ Combinatorics

We demonstrate the existence of a non-terminating game of Beggar-My-Neighbor, discovered by lead author Brayden Casella. We detail the method for constructing this game and identify a cyclical structure of 62 tricks that is reached by 30 distinct starting hands. We further present a short history of the search for this solution since the problem was posed, and a record of previously found longest terminating games. The existence of this non-terminating game provides a solution to a long-standing question which John H. Conway called an `anti-Hilbert problem.'

A binary partition of a positive integer $n$ is a partition of $n$ in which each part has size a power of two. In this note we first construct a Gray sequence on the set of binary partitions of $n$. This is an ordering of the set of binary partitions of each $n$ (or of all $n$) such that adjacent partitions differ by one of a small set of elementary transformations; here the allowed transformatios are replacing $2^k+2^k$ by $2^{k+1}$ or vice versa (or addition of a new +1). Next we give a purely local condition for finding the successor of any partition in this sequence; the rule is so simple that successive transitions can be performed in constant time. Finally we show how to compute directly the bijection between $k$ and the $k$th term in the sequence. This answers a question posed by Donald Knuth in section 7.2.1 of The Art of Computer Programming.

This "Mathematical Entertainments" column from the Intelligencer is an exposition of current investigations, rooted in recent work of Jim Propp, into "quasirandom" analogues of random walk and random aggregation processes. Featured are the "Goldbugs" and the "Rotor-router". These are deterministic processes which simulate the random ones, for example having the same limiting states, but with faster convergence. The paper includes three large illustrations, which appear twice in the submission, as both raster image (.png) and postscript (.eps) files. The latter are much larger but needed for latex inclusion; the former are smaller, used by pdflatex, and better for pixel-level viewing.

We consider a large class of series of symmetrizable Kac-Moody algebras (generically denoted X_n). This includes the classical series A_n as well as others like E_n whose members are of Indefinite type. The focus is to analyze the behavior of representations in the large n limit. Motivated by the classical theory of A_n, we consider tensor product decompositions of irreducible highest weight representations of X_n and study how these vary with n. The notion of ``double headed'' dominant weights is introduced. For such weights, we show that tensor product decompositions in X_n do stabilize, generalizing the classical results for A_n. The main tool used is Littelmann's celebrated path model. One can also use the stable multiplicities as structure constants to define a multiplication operation on a suitable space. We define this so called "stable representation ring'' and show that the multiplication operation is associative.

It is known that the combinatorial classes in the cohomology of the mapping class group of punctures surfaces defined by Witten and Kontsevich are polynomials in the adjusted Miller-Morita-Mumford classes. The leading coefficient was computed in [Kiyoshi Igusa: Algebr. Geom. Topol. 4 (2004) 473-520]. The next coefficient was computed in [Kiyoshi Igusa: math.AT/0303157, to appear in Topology]. The present paper gives a recursive formula for all of the coefficients. The main combinatorial tool is a generating function for a new statistic on the set of increasing trees on 2n+1 vertices. As we already explained in the last paper cited this verifies all of the formulas conjectured by Arbarello and Cornalba [J. Alg. Geom. 5 (1996) 705--749]. Mondello [math.AT/0303207, to appear in IMRN] has obtained similar results using different methods.

Fix a rectangular Young diagram R, and consider all the products of Schur functions s(mu) s(mu^c), where mu and mu^c run over all (unordered) pairs of partitions which are complementary with respect to R. Theorem: The self-complementary products, s(mu)^2 where mu=mu^c, are linearly independent of all other s(mu) s(mu^c). Conjecture: The products s(mu) s(mu^c) are all linearly independent.

We consider the problem of embedding the semi-ring of Schur-positive symmetric polynomials into its analogue for the classical types $B/C/D$. If we preserve highest weights and add the additional Lie-theoretic parity assumption that the weights in images of Schur functions lie in a single translate of the root lattice, there are exactly two solutions. These naturally extend the Kirillov--Reshetikhin decompositions of representations of symplectic and orthogonal quantum affine algebras $U_q(\hat{g})$ (some still conjectural, some recently proven).

We present a ``method'' for bijective proofs for determinant identities, which is based on translating determinants to Schur functions by the Jacobi--Trudi identity. We illustrate this ``method'' by generalizing a bijective construction (which was first used by Goulden) to a class of Schur function identities, from which we shall obtain bijective proofs for Dodgson's condensation formula, Plücker relations and a recent identity of the second author.

A "tournament sequence" is an increasing sequence of positive integers (t_1,t_2,...) such that t_1=1 and t_{i+1} <= 2 t_i. A "Meeussen sequence" is an increasing sequence of positive integers (m_1,m_2,...) such that m_1=1, every nonnegative integer is the sum of a subset of the {m_i}, and each integer m_i-1 is the sum of a unique such subset. We show that these two properties are isomorphic. That is, we present a bijection between tournament and Meeussen sequences which respects the natural tree structure on each set. We also present an efficient technique for counting the number of tournament sequences of length n, and discuss the asymptotic growth of this number. The counting technique we introduce is suitable for application to other well-behaved counting problems of the same sort where a closed form or generating function cannot be found.

We present a set of algebraic relations among Schur functions which are a multi-time generalization of the ``discrete Hirota relations'' known to hold among the Schur functions of rectangular partitions. We prove the relations as an application of a technique for turning Plucker relations into statements about Schur functions and other objects with similar definitions as determinants. We also give a quantum analog of the relations which incorporates spectral parameters. Our proofs are mostly algebraic, but the relations have a clear combinatorial side, which we discuss.

The Jacobi-Trudi formula implies some interesting quadratic identities for characters of representations of $gl_n$. Earlier work of Kirillov and Reshetikhin proposed a generalization of these identities to the other classical Lie algebras, and conjectured that the characters of certain finite-dimensional representations of $U_q(g-affine)$ satisfy it. Here we use a positivity argument to show that the generalized identities have only one solution.

We investigate the characters of some finite-dimensional representations of the quantum affine algebras $U_q(\hat{g})$ using the action of the copy of $U_q(g)$ embedded in it. First, we present an efficient algorithm for computing the Kirillov-Reshetikhin conjectured formula for these characters when $g$ is simply-laced. This replaces the original formulation, in terms of "rigged configurations", with one based on polygonal paths in the Weyl chamber. It also gives a new algorithm for decomposing a tensor product of any number of representations of $sl(n)$ corresponding to rectangular Young diagrams, in a way symmetric in all the factors. This section is an expanded version of q-alg/9611032 . Second, we study a generalization of certain remarkable quadratic relations that hold among characters of $sl(n)$ (the "discrete Hirota relations") whose solutions seem to be characters of quantum affine algebras. We use show that these relations have a unique solution over characters of $U_q(g)$.