47 research outputs found
Some bijective correspondence involving domino tableaux
We elaborate on the results in ``Splitting the square of a Schur function into its symmetric and antisymmetric parts '' [Carre Leclerc, J. algebr. combinat. 4, 1995]. We give bijective proof of a number of identities that were established there, in particular between the Yamanouchi domino tableaux, and the ordinary Littlewood-Richardson fillings that correspond to the same tensor product decomposition
Perfect sampling algorithm for Schur processes
We describe random generation algorithms for a large class of random
combinatorial objects called Schur processes, which are sequences of random
(integer) partitions subject to certain interlacing conditions. This class
contains several fundamental combinatorial objects as special cases, such as
plane partitions, tilings of Aztec diamonds, pyramid partitions and more
generally steep domino tilings of the plane. Our algorithm, which is of
polynomial complexity, is both exact (i.e. the output follows exactly the
target probability law, which is either Boltzmann or uniform in our case), and
entropy optimal (i.e. it reads a minimal number of random bits as an input).
The algorithm encompasses previous growth procedures for special Schur
processes related to the primal and dual RSK algorithm, as well as the famous
domino shuffling algorithm for domino tilings of the Aztec diamond. It can be
easily adapted to deal with symmetric Schur processes and general Schur
processes involving infinitely many parameters. It is more concrete and easier
to implement than Borodin's algorithm, and it is entropy optimal.
At a technical level, it relies on unified bijective proofs of the different
types of Cauchy and Littlewood identities for Schur functions, and on an
adaptation of Fomin's growth diagram description of the RSK algorithm to that
setting. Simulations performed with this algorithm suggest interesting limit
shape phenomena for the corresponding tiling models, some of which are new.Comment: 26 pages, 19 figures (v3: final version, corrected a few misprints
present in v2
Algebraic aspects of increasing subsequences
We present a number of results relating partial Cauchy-Littlewood sums,
integrals over the compact classical groups, and increasing subsequences of
permutations. These include: integral formulae for the distribution of the
longest increasing subsequence of a random involution with constrained number
of fixed points; new formulae for partial Cauchy-Littlewood sums, as well as
new proofs of old formulae; relations of these expressions to orthogonal
polynomials on the unit circle; and explicit bases for invariant spaces of the
classical groups, together with appropriate generalizations of the
straightening algorithm.Comment: LaTeX+amsmath+eepic; 52 pages. Expanded introduction, new references,
other minor change
On the weighted enumeration of alternating sign matrices and descending plane partitions
We prove a conjecture of Mills, Robbins and Rumsey [Alternating sign matrices
and descending plane partitions, J. Combin. Theory Ser. A 34 (1983), 340-359]
that, for any n, k, m and p, the number of nxn alternating sign matrices (ASMs)
for which the 1 of the first row is in column k+1 and there are exactly m -1's
and m+p inversions is equal to the number of descending plane partitions (DPPs)
for which each part is at most n and there are exactly k parts equal to n, m
special parts and p nonspecial parts. The proof involves expressing the
associated generating functions for ASMs and DPPs with fixed n as determinants
of nxn matrices, and using elementary transformations to show that these
determinants are equal. The determinants themselves are obtained by standard
methods: for ASMs this involves using the Izergin-Korepin formula for the
partition function of the six-vertex model with domain-wall boundary
conditions, together with a bijection between ASMs and configurations of this
model, and for DPPs it involves using the Lindstrom-Gessel-Viennot theorem,
together with a bijection between DPPs and certain sets of nonintersecting
lattice paths.Comment: v2: published versio