arXiv++ Combinatorics

This thesis is divided into three parts. The first part deals with cylindric plane partitions. The second with lambda-determinants and the third with commutators in semi-circular systems. For more detailed abstract please see inside. Cylindric plane partitions may be thought of as a natural generalization of reverse plane partitions. A generating series for the enumeration of cylindric plane partitions was recently given by Borodin. The first result of section one is a new bijective proof of Borodin's identity which makes use of Fomin's growth diagram framework for generalized RSK correspondences. The second result is a $(q,t)$-analog of Borodin's identity which extends previous work by Okada in the reverse plane partition case. The third result is an explicit combinatorial interpretation of the Macdonald weight occurring in the $(q,t)$-analog using the non-intersecting lattice path model for cylindric plane partitions. Alternating sign matrices were discovered by Robbins and Rumsey whilst studying \emph{$λ$-determinants}. In the second part of this thesis we prove a multi-parameter generalization of the $λ$-determinant, generalizing a recent result by di Francesco. Like the original $λ$-determinant, our formula exhibits the \emph{Laurent phenomenon}. Semicircular systems were first introduced by Voiculescu as a part of his study of von Neumann algebras. In the third part of this thesis we study certain commutator subalgebras of the semicircular system. We find a projection matrix with an interesting self-similar structure. Making use of our projection formula we given an alternative, elementary proof that the semicircular system is a factor.

The RSK correspondence is a bijection between permutations and pairs of standard Young tableaux with identical shape, where the tableaux are commonly denoted $P$ (insertion) and $Q$ (recording). It has been an open problem to demonstrate $$ |\{w \in \mathfrak{S}_n | \, Q(w) = Q(w^r)\}| = \begin{cases} \displaystyle 2^{\frac{n-1}{2}}{n-1 \choose \frac{n-1}{2}} & n \text{ odd} \newline \displaystyle 0 & n \text{ even} \end{cases}, $$ where $w^r$ is the reverse permutation of $w$. First we show that for each $w$ where $Q(w) = Q(w^r)$ the recording tableau $Q(w)$ has a symmetric hook shape and satisfies a certain simple property. From these two results, we succeed in proving the desired identity.

Iterating the skew RSK correspondence discovered by Sagan and Stanley in the late '80s, we define a deterministic dynamics on the space of pairs of skew Young tableaux $(P,Q)$. We find that this skew RSK dynamics displays conservation laws which, in the picture of Viennot's shadow line construction, identify generalizations of Greene invariants. The introduction of a novel realization of $0$-th Kashiwara operators reveals that the skew RSK dynamics possesses symmetries induced by an affine bicrystal structure, which, combined with connectedness properties of Demazure crystals, leads to its linearization. Studying asymptotic evolution of the dynamics started from a pair of skew tableaux $(P,Q)$, we discover a new bijection $Υ: (P,Q) \mapsto (V,W; κ, ν)$. Here $(V,W)$ is a pair of vertically strict tableaux, i.e., column strict filling of Young diagrams with no condition on rows, with shape prescribed by the Greene invariant, $κ$ is an array of non-negative weights and $ν$ is a partition. An application of this construction is the first bijective proof of Cauchy and Littlewood identities involving $q$-Whittaker polynomials. New identities relating sums of $q$-Whittaker and Schur polynomials are also presented.

We present a version of the RSK correspondence based on the Pitman transform and geometric considerations. This version unifies ordinary RSK, dual RSK and continuous RSK. We show that this version is both a bijection and an isometry, two crucial properties for taking limits of last passage percolation models. We use the bijective property to give a non-computational proof that dual RSK maps Bernoulli walks to nonintersecting Bernoulli walks.

We investigate the dynamics of the well-known RSK bijection on permutations when iterated on various reading words of the recording tableau. In the setting of the ordinary (row) reading word, we show that there is exactly one fixed point per partition shape, and that it is always reached within two steps from any starting permutation. We also consider the modified dynamical systems formed by iterating RSK on the column reading word and the reversed reading word of the recording tableau. We show that the column reading word gives similar dynamics to the row reading word. On the other hand, for the reversed reading word, we always reach either a 2-cycle or fixed point after two steps. In fact, we reach a fixed point if and only if the shape of the initial tableau is self-conjugate.

In this paper, we introduce the ghost-box-ball system, which is an extended version of the classical soliton cellular automaton. It is initially motivated as a mechanism for making precise a connection between the Schensted insertion (of the Robinson-Schensted-Knuth correspondence) and the dynamical process of the box-ball system. In addition to this motivation, we explore generalisations of classical notions of the box-ball system, including the solitonic phenomenon, the asymptotic sorting property, and the invariant shape construction. We analyse the ghost-box-ball system beyond its initial relevance to the Robinson-Schensted-Knuth correspondence, unpacking its relationship to its underlying dynamical evolution on a coordinatisation and using a mechanism for augmenting a regular box-ball configuration to study the classical ultradiscrete phase shift phenomenon.

We study asymptotic properties of sequences of partitions ($σ$\nobreakdash-algebras) in spaces with Bernoulli measures associated with the Robinson--Schensted--Knuth correspondence.

We study the spectrum of a family of algebras, the inhomogeneous Gaudin algebras, acting on the $n$-fold tensor representation $\mathbb{C}[x_1, \ldots, x_r]^{\otimes n}$ of the Lie algebra $\mathfrak{gl}_r$. We use the work of Halacheva-Kamnitzer-Rybnikov-Weekes to demonstrate that the Robinson-Schensted-Knuth correspondence describes the behaviour of the spectrum as we move along special paths in the family. We apply the work of Mukhin-Tarasov-Varchenko, which proves that the rational Calogero-Moser phase space can be realised as a part of this spectrum, to relate this to behaviour at $t=0$ of rational Cherednik algebras of $\mathfrak{S}_n$. As a result, we confirm for symmetric groups a conjecture of Bonnafé-Rouquier which proposes an equality between the Calogero-Moser cells they defined and the well-known Kazhdan-Lusztig cells.

We study the Steinberg variety associated to matrix Schubert varieties, and develop a Robinson-Schensted type correspondence, $τ\leftrightarrow(Λ,\mathsf Q,\mathsf P)$. Here $τ$ is a partial permutation of size $p\times q$, $Λ$ an admissible signed Young diagram of size $p+q$, and $\mathsf P$ (resp. $\mathsf Q$) a standard Young tableau of size $p$ (resp. $q$) whose shape is determined by $Λ$. By embedding the matrix Schubert variety into a Schubert variety, we find a close relationship between the combinatorics of the classical Robinson-Schensted-Knuth correspondence and our bijection. We also show that an involution $(Λ,\mathsf Q,\mathsf P)\mapsto(Λ^\vee,\mathsf P,\mathsf Q)$ corresponds to projective duality on matrix Schubert varieties.

We present a combinatorial model, called \emph{perforated tableaux}, to study $A_{n-1}$ crystals, unifying several previously studied combinatorial models. We identify nodes in the $k$-fold tensor product of the standard crystal with length $k$ words in $[n]= \{ 1, \ldots n\}$. We model this crystal with perforated tableaux (ptableaux), extending this identification isomorphically to biwords, RSK $(P,Q)$ tableaux pairs, and matrix models. In the ptableaux setting, crystal operators are more simply defined and we can identify highest weights visually without computation. We generalize the tensor products in the Littlewood-Richardson rule to all of $[n]^{\otimes k}$, and not just the irreducible crystals whose reading words come from semistandard Young tableaux. We relate evacuation (Lusztig involution) to products of ptableaux crystal operators, and find a combinatorial algorithm to compute commutators of highest weight ptableaux.

We consider two examples of a fully decodable combinatorial encoding of Bernoulli schemes: the encoding via Weyl simplices and the much more complicated encoding via the RSK (Robinson--Schensted--Knuth) correspondence. In the first case, the decodability is a quite simple fact, while in the second case, this is a nontrivial result obtained by D.~Romik and P.~Śniady and based on the papers~ \cite{KV}, \cite{VK}, and others. We comment on the proofs from the viewpoint of the theory of measurable partitions; another proof, using representation theory and generalized Schur--Weyl duality, will be presented elsewhere. We also study a new dynamics of Bernoulli variables on $P$-tableaux and find the limit 3D-shape of these tableaux.

We consider the Robinson-Schensted-Knuth algorithm applied to a random input and investigate the shape of the bumping route (in the vicinity of the $y$-axis) when a specified number is inserted into a large Plancherel-distributed tableau. We show that after a projective change of the coordinate system the bumping route converges in distribution to the Poisson process.

We consider Robinson-Schensted-Knuth algorithm applied to a random input and study the growth of the bottom rows of the corresponding Young diagrams. We prove multidimensional Poisson limit theorem for the resulting Plancherel growth process. In this way we extend the result of Aldous and Diaconis to more than just one row. This result can be interpreted as convergence of the multi-line Hammersley process to its stationary distribution which is given by a collection of independent Poisson point processes.

We investigate the evolution in time of the position of a fixed number in the insertion tableau when the Robinson-Schensted-Knuth algorithm is applied to a sequence of random numbers. When the length of the sequence tends to infinity, a typical trajectory after scaling converges uniformly in probability to some deterministic curve.

We present new probabilistic and combinatorial identities relating three random processes: the oriented swap process on $n$ particles, the corner growth process, and the last passage percolation model. We prove one of the probabilistic identities, relating a random vector of last passage percolation times to its dual, using the duality between the Robinson-Schensted-Knuth and Burge correspondences. A second probabilistic identity, relating those two vectors to a vector of 'last swap times' in the oriented swap process, is conjectural. We give a computer-assisted proof of this identity for $n\le 6$ after first reformulating it as a purely combinatorial identity, and discuss its relation to the Edelman-Greene correspondence. The conjectural identity provides precise finite-$n$ and asymptotic predictions on the distribution of the absorbing time of the oriented swap process, thus conditionally solving an open problem posed by Angel, Holroyd and Romik.

We present new combinatorial and probabilistic identities relating three random processes: the oriented swap process on $n$ particles, the corner growth process, and the last passage percolation model. We prove one of the probabilistic identities, relating a random vector of last passage percolation times to its dual, using the duality between the Robinson-Schensted-Knuth and Burge correspondences. A second probabilistic identity, relating those two vectors to a vector of "last swap times" in the oriented swap process, is conjectural. We give a computer-assisted proof of this identity for $n\le 6$ after first reformulating it as a purely combinatorial identity, and discuss its relation to the Edelman-Greene correspondence.

Last passage percolation and directed polymer models on $\mathbb Z^2$ are invariant under translation and certain reflections. When these models have an integrable structure coming from either the RSK correspondence or the geometric RSK correspondence (e.g. geometric last passage percolation or the log-gamma polymer), we show that these basic invariances can be combined with a decoupling property to yield a rich new set of symmetries. Among other results, we prove shift and rearrangement invariance statements for last passage times, geodesic locations, disjointness probabilities, polymer partition functions, and quenched polymer measures. We also use our framework to find `scrambled' versions of the classical RSK correspondence, and to find an RSK correspondence for moon polyominoes. The results extend to limiting models, including the KPZ equation and the Airy sheet.

We describe the embedding from the crystal of Kashiwara-Nakashima tableaux in type $D$ of an arbitrary shape into that of $\mathbf{i}$-Lusztig data associated to a family of reduced expressions $\mathbf{i}$ which are compatible with the maximal Levi subalgebra of type $A$. The embedding is described explicitly in terms of well-known combinatorics of type $A$ including the Schützenberger's jeu de taquin and an analog of RSK algorithm.

We construct a geometric lifting of the Burge correspondence as a composition of local birational maps on generic Young-diagram-shaped arrays. We establish its fundamental relation to the geometric Robinson-Schensted-Knuth correspondence and to the geometric Schützenberger involution. We also show a number of properties of the geometric Burge correspondence, specializing them to the case of symmetric input arrays. In particular, our construction shows that such a mapping is volume preserving in log-log variables. As an application, we consider a model of two polymer paths of given length constrained to have the same endpoint, known as polymer replica. We prove that the distribution of the polymer replica partition function in a log-gamma random environment is a Whittaker measure, and deduce the corresponding Whittaker integral identity. For a certain choice of the parameters, we notice a distributional identity between our model and the symmetric log-gamma polymer studied by O'Connell, Seppäläinen, and Zygouras (2014).

We prove that the values of discrete directed polymer partition functions involving multiple non-intersecting paths remain invariant under replacing the background weights by their images under the geometric RSK correspondence. This result is inspired by a recent and remarkable identity proved by Dauvergne, Orthmann and Virág which is recovered as the zero-temperature, semi-discrete limit of our main result.