arXiv++ Combinatorics

The arctic circle theorem of Jockusch, Propp, and Shor asserts that uniformly random domino tilings of an Aztec diamond of high order are frozen with asymptotically high probability outside the "arctic circle" inscribed within the diamond. A similar arctic circle phenomenon has been observed in the limiting behavior of random square Young tableaux. In this paper, we show that random domino tilings of the Aztec diamond are asymptotically related to random square Young tableaux in a more refined sense that looks also at the behavior inside the arctic circle. This is done by giving a new derivation of the limiting shape of the height function of a random domino tiling of the Aztec diamond that uses the large-deviation techniques developed for the square Young tableaux problem in a previous paper by Pittel and the author. The solution of the variational problem that arises for domino tilings is almost identical to the solution for the case of square Young tableaux by Pittel and the author. The analytic techniques used to solve the variational problem provide a systematic, guess-free approach for solving problems of this type which have appeared in a number of related combinatorial probability models.

We define a class L_{n, k} of permutations that generalizes alternating (up-down) permutations and give bijective proofs of certain pattern-avoidance results for this class. As a special case of our results, we give two bijections between the set A_{2n}(1234) of alternating permutations of length 2n with no four-term increasing subsequence and standard Young tableaux of shape (3^n), and between the set A_{2n + 1}(1234) and standard Young tableaux of shape (3^{n - 1}, 2, 1). This represents the first enumeration of alternating permutations avoiding a pattern of length four. We also extend previous work on doubly-alternating permutations (alternating permutations whose inverses are alternating) to our more general context. The set L_{n, k} may be viewed as the set of reading words of the standard Young tableaux of a certain skew shape. In the last section of the paper, we expand our study to consider pattern avoidance in the reading words of standard Young tableaux of any skew shape. We show bijectively that the number of standard Young tableaux of shape lambda/mu whose reading words avoid 213 is a natural mu-analogue of the Catalan numbers (and in particular does not depend on lambda, up to a simple technical condition), and that there are similar results for the patterns 132, 231 and 312.

This thesis deals with three different aspects of the combinatorics of permutations. In the first two papers, two flavours of pattern avoiding permutations are examined; and in the third paper Young tableaux, which are closely related to permutations via representation theory, are studied. In the first paper we give solutations to several interesting problems regarding pattern avoiding doubly alternating permutations, such as finding a bijection between 1234-avoiding permutations and 1234-avoiding doubly alternating permutations of twice the size. In the second paper partial permutations which can be extended to pattern avoiding permutations are examined. A general algorithm is presented which is subsequently used to solve many different problems. The third paper deals with involutions on Young tableaux. There is a surprisingly large collection of relations among these involutions and in the paper we make the effort to study them systematically in order to create a coherent theory. The most interesting result is that for Littlewood-Richardson tableaux, $a^3=1$, wher5e $a$ is the composition of three different involutions: the fundamental symmetry map, the reversal and rotation involutions.

The diamond cone is a combinatorial description for a basis in a indecomposable module for the nilpotent factor n+ of a semi simple Lie algebra. After N.J. Wildberger who introduced this notion for sl(3), this description was achevied by N. Bel Baraka, N.J. Wildberger and D. A. for sl(n) and by B. Agrebaoui and ourselves for the rank 2 semi-simple Lie algebras. In the present work, we generalize these constructions to the Lie algebras sp(2n). The symplectic semi-standard Young tableaux were defined by C. de Concini, they form a basis for the shape algebra of sp(2n). We introduce here the notion of symplectic quasi-standard Young tableaux, these tableaux describe the diamond cone for sp(2n).

Let $S(d,N)$ denote the number of permutations in the symmetric group on $[N]$ which have no decreasing subsequence of length $d+1.$ We prove that $S(d,dn)$ is asymptotically equal to the number of standard Young tableaux of rectangular shape $R(d,2n)$ in the limit $n \to \infty,$ with $d$ fixed.

Let $L$ be a finite distributive lattice and $μ: L \to {\mathbb R}^{+}$ a log-supermodular function. For functions $k: L \to {\mathbb R}^{+}$ let $$E_μ (k; q) \defeq \sum_{x\in L} k(x) μ(x) q^{{\mathrm rank}(x)} \in {\mathbb R}^{+}[q].$$ We prove for any pair $g,h: L\to {\mathbb R}^{+}$ of monotonely increasing functions, that $$E_μ (g; q)\cdot E_μ (h; q) \ll E_μ (1; q)\cdot E_μ (gh; q), $$ where ``$ \ll $'' denotes coefficientwise inequality of real polynomials. The FKG inequality of Fortuin, Kasteleyn and Ginibre (1971) is the real number inequality obtained by specializing to $q=1$. The polynomial FKG inequality has applications to $f$-vectors of joins and intersections of simplicial complexes, to Betti numbers of intersections of certain Schubert varieties, and to the following kind of correlation inequality for power series weighted by Young tableaux. Let $Y$ be the set of all integer partitions. Given functions $k, μ: Y \rarr \R^+$, and parameters $0\le s\le t$, define the formal power series $$F_μ(k ; z) \defeq \sum_{\la\in Y} k(\la) μ(\la) (f_{\la})^t \frac{z^{|\la|}}{(|\la| !)^s} \in \R^+ [[z]], $$ %\sum_{\la\in Y} k(\la) μ(\la) (f_{\la})^t \frac{z^{|\la|}}{|\la| !} \in \R^+ [[z]],$$ where $f_{\la}$ is the number of standard Young tableaux of shape $\la$. Assume that $μ: Y\rarr \R^+$ is log-supermodular, and that $g, h: Y \rarr \R^+$ are monotonely increasing with respect to containment order of partition shapes. Then $$F_μ(g;z) \cdot F_μ(h;z) \ll F_μ(1;z) \cdot F_μ(gh;z). $$

Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We put ASMs into a larger context by studying the order ideals of subposets of a certain poset, proving that they are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self--complementary plane partitions (TSSCPPs), Catalan objects, tournaments, semistandard Young tableaux, and totally symmetric plane partitions. We use this perspective to prove an expansion of the tournament generating function as a sum over TSSCPPs which is analogous to a known formula involving ASMs.

The jeu de taquin process produced a standard Young tableau from a skew standard Young tableau by shifting its entries to the northwest. We generalize this process to posets: certain partial numberings of any poset are shifted upward. A poset is said to have the jeu de taquin property if the numberings resulting from this process do not depend upon certain choices made during the process. Young diagrams are the posets which underlie standard Young tableaux. These posets have the jeu de taquin property. d-Complete posets are posets which satisfy certain local structual conditions. They are mutual generalizations of Young diagrams, shifted Young diagrams, and rooted trees. We prove that all d-complete posets have the jeu de taquin property. The proof shows that each d-complete poset actually has the stronger "simultaneous" property; this may lead to an algebraic understanding of the main result. A partial converse is stated: "Non-overlapping" simultaneous posets are d-complete.

We construct the analogue of the plactic monoid for the super semistandard Young tableaux over a signed alphabet. This is done by developing a generalization of the Knuth's relations. Moreover we get generalizations of Greene's invariants and Young-Pieri rule. A generalization of the symmetry theorem in the signed case is also obtained. Except for this last result, all the other results are proved without restrictions on the orderings of the alphabets.

The limiting shape of the random Young diagrams associated with an inhomogeneous random word is identified as a multidimensional Brownian functional. This functional is identical in law to the spectrum of a random matrix. The Poissonized word problem is also briefy studied, and the asymptotic behavior of the shape analyzed.

We prove a $q$-analog of the following result due to McKay, Morse and Wilf: the probability that a random standard Young tableau of size $n$ contains a fixed standard Young tableau of shape $λ\vdash k$ tends to $f^λ/k!$ in the large $n$ limit, where $f^λ$ is the number of standard Young tableaux of shape $λ$. We also consider the probability that a random pair $(P,Q)$ of standard Young tableaux of the same shape contains a fixed pair $(A,B)$ of standard Young tableaux.

We prove a conjecture of Okada giving an exact formula for a certain statistic for hook-lengths of partitions: \frac{1}{n!} \sum_{λ\vdash n} f_λ^2 \sum_{u \in λ} \prod_{i=1}^{r}(h_u^2 - i^2) = \frac{1}{2(r+1)^2} \binom{2r}{r}\binom{2r+2}{r+1} \prod_{j=0}^{r} (n-j), where $f_λ$ is the number of standard Young tableaux of shape $λ$ and $h_u$ is the hook length of the square $u$ of the Young diagram of $λ$. We also obtain other similar formulas.

This paper deals with the distribution of descent number in standard Young tableaux of certain shapes. A simple explicit formula is presented for the number of tableaux of any shape with two rows, with any specified number of descents. For shapes of three rows with one cell in the third row recursive formulas are given, and are solved in certain cases.

Let $(X_n)_{n \ge 0}$ be an irreducible, aperiodic, homogeneous Markov chain, with state space an ordered finite alphabet of size $m$. Using combinatorial constructions and weak invariance principles, we obtain the limiting shape of the associated Young tableau as a multidimensional Brownian functional. Since the length of the top row of the Young tableau is also the length of the longest (weakly) increasing subsequence of $(X_k)_{1\le k \le n}$, the corresponding limiting law follows. We relate our results to a conjecture of Kuperberg by showing that, under a cyclic condition, a spectral characterization of the Markov transition matrix delineates precisely when the limiting shape is the spectrum of the traceless GUE. For $m=3$, all cyclic Markov chains have such a limiting shape, a fact previously known for $m=2$. However, this is no longer true for $m \ge 4$.

We study quantized dual graded graphs, which are graphs equipped with linear operators satisfying the relation DU - qUD = rI. We construct examples based upon: the Fibonacci poset, permutations, standard Young tableau, and plane binary trees.

Inspired by the $k$-inversion statistic for LLT polynomials, we define a $k$-inversion number and $k$-descent set for words. Using these, we define a new statistic on words, called the $k$-major index, that interpolates between the major index and inversion number. We give a bijective proof that the $k$-major index is equidistributed with the major index, generalizing a classical result of Foata and rediscovering a result of Kadell. Inspired by recent work of Haglund and Stevens, we give a partial extension of these definitions and constructions to standard Young tableaux. Finally, we give an application to Macdonald polynomials made possible through connections with LLT polynomials.

The second author has introduced non-crossing tableaux, objects whose non-nesting analogues are semi-standard Young tableaux. We relate non-crossing tableaux to Gelfand-Tsetlin patterns and develop the non-crossing analogue of standard monomial theory. Leclerc and Zelevinsky's weakly separated sets are special cases of non-crossing tableaux, and we suggest that non-crossing tableaux may help illuminate the theory of weakly separated sets.

We consider two questions of Wilf related to Standard Young Tableaux. We provide a partial answer to one question, and that will lead us to a more general answer to the other question. Our answers are purely combinatorial.

This work is part of a project on weight bases for the irreducible representations of semisimple Lie algebras with respect to which the representation matrices of the Chevalley generators are given by explicit formulas. In the case of sl_n, the celebrated Gelfand-Tsetlin basis is the only such basis known. Using the setup of supporting graphs developed by Donnelly, we present a simple combinatorial proof of the Gelfand-Tsetlin formulas based on a rational function identity. Some properties of the Gelfand-Tsetlin basis are derived via an algorithm for solving certain equations on the lattice of semistandard Young tableaux.

We show that Schützenberger's promotion on two and three row rectangular Young tableaux can be realized as cyclic rotation of certain planar graphs introduced by Kuperberg. Moreover, following work of the third author, we show that this action admits the cyclic sieving phenomenon.