arXiv++ Combinatorics

Let ${\mathcal O}$ be a discrete valuation ring with quotient field ${\cal K}$. The affine Grassmannian ${\cal G}r$ is the set of full-rank ${\mathcal O}$-modules contained in ${\cal K}^n$. Given $Λ\in {\cal G}r$, invariant factors $inv(Λ)=λ\in {\mathbb Z}^n$ stratify ${\cal G}r$. Left-multiplication by $GL_{n}({\cal K})$ stratifies ${\cal G}r \times {\cal G}r$ where $inv(N,Λ) = μ$ if $(N,Λ)$ and $(I_{n} ,M)$ are in the same $GL_{n}({\cal K})$ orbit, and $inv(M) = μ$. We present an elementary map from ${\cal G}r \times {\cal G}r$ to hives (in the sense of Knutson and Tao) of type $(μ,ν,λ)$ where $inv(N,Λ) = μ$, $inv(N) = ν$, and $inv(Λ) = λ$. Earlier work by the authors determined Littlewood-Richardson fillings from matrix pairs over certain rings ${\mathcal O}$, and later Kamnitzer utilized properties of MV polytopes to define a map from ${\cal G}r\times {\cal G}r$ to hives over ${\mathcal O} = {\mathbb C}[[t]]$. Our proof uses only linear algebra methods over any discrete valuation ring, where hive entries are minima of sums of orders of invariant factors over certain submodules. Our map is analogous to a conjectured construction of hives from Hermitian matrix pairs due to Danilov and Koshevoy.

In arXiv:1808.06095 we have introduced the Knuth class of the word recording a sequence of locations for repeated internal insertion operations in the Sagan-Stanley skew RSK correspondence, with no prescribed external insertion of new cells, to be a preserver for the $P$-tableau. As a consequence the Benkart-Sottile-Stroomer switching involution on ballot tableau pairs allows a realization as a recursive internal insertion procedure. This amounts to explain the various presentations of Littlewood-Richardson (LR) commuters and their coincidence predicted by Pak and Vallejo with contributions by Danilov and Koshevoi. In particular, the aforesaid presentation provides internal insertion as an alternative to Schützenberger- Lusztig involution (or evacuation) to constructing the Gelfand-Tsetlin pair in the Henriques-Kamnitzer $\mathfrak{gl}_n$-crystal commuter. In addition, the coincidence of LR commuters solves the Lecouvey-Lenart conjecture, recently further developed by Kumar-Torres, on bijections between the Kwon and Sundaram branching models.

The jeu-de-taquin-based Littlewood-Richardson rule of H. Thomas and A. Yong (2009) for minuscule varieties has been extended in two orthogonal directions, either enriching the cohomology theory or else expanding the family of varieties considered. In one direction, A. Buch and M. Samuel (2016) developed a combinatorial theory of "unique rectification targets" in minuscule posets to extend the Thomas-Yong rule from ordinary cohomology to $K$-theory. Separately, P.-E. Chaput and N. Perrin (2012) used the combinatorics of R. Proctor's "$d$-complete posets" to extend the Thomas-Yong rule from minuscule varieties to a broader class of Kac-Moody structure constants. We begin to address the unification of these theories. Our main result is the existence of unique rectification targets in a large class of $d$-complete posets. From this result, we obtain conjectural positive combinatorial formulas for certain $K$-theoretic Schubert structure constants in the Kac-Moody setting.

We present a new characterization of the shape equivalent class and the Littlewood-Richardson correspondence of Young tableaux in terms of tropical (ultradiscrete) integrable systems. As an application, an alternative proof of the "shape change theorem" is given.

Notes from a course at the ATM Workshop on Schubert Varieties, held at The Institute of Mathematical Sciences, Chennai, in November 2017. Various expansions of Schur functions, the Lindström-Gessel-Viennot lemma, semistandard Young tableaux, Schensted's insertion algorithm, the plactic monoid, the RSK correspondence, and the Littlewood-Richardson rule are discussed.

Littlewood-Richardson rule gives the decomposition formula for the multiplication of two Schur functions, while the decomposition formula for the multiplication of two Hall-Littlewood functions or two universal characters is also given by the combinatorial method. In this paper, using the vertex operator realizations of these symmetric functions, we construct the algebraic forms of these decomposition formulas.

Following the methods used by Derksen-Weyman in \cite{DW11} and Chindris in \cite{Chi08}, we use quiver theory to represent the generalized Littlewood-Richardson coefficients for the branching rule for the diagonal embedding of $\gl(n)$ as the dimension of a weight space of semi-invariants. Using this, we prove their saturation and investigate when they are nonzero. We also show that for certain partitions the associated stretched polynomials satisfy the same conjectures as single Littlewood-Richardson coefficients. We then provide a polytopal description of this multiplicity and show that its positivity may be computed in strongly polynomial time. Finally, we remark that similar results hold for certain other generalized Littlewood-Richardson coefficients.

Knutson, Tao, and Woodward formulated a Littlewood-Richardson rule for the cohomology ring of Grassmannians in terms of puzzles. Vakil and Wheeler-Zinn-Justin have found additional triangular puzzle pieces that allow one to express structure constants for $K$-theory of Grassmannians. Here we introduce two other puzzle pieces of hexagonal shape, each of which gives a Littlewood-Richardson rule for $K$-homology of Grassmannians. We also explore the corresponding eight versions of $K$-theoretic Littlewood-Richardson tableaux.

Based on the direct-sum-decomposition of the rth tensor power of the defining representation of the special orthogonal group SO(2k+1) one is interested in a bijective approach for determining the Frobenius characters of the isotypic components. In particular this leads us to a bijection between vacillating tableaux and pairs of standard Young tableaux and orthogonal Littlewood-Richardson tableaux, which we present for SO(3). Moreover we introduce the descent set of a vacillating tableau. As our bijection preserves this descent set, we also obtain the quasi-symmetric expansion of the Frobenius characters.

We highlight refinement of a bijection given by Sheila Sundaram in her PhD thesis. The framework allows for comparison to a late conjecture of Naito-Sagaki. We give an injection of the set of dominant paths for this model into the corresponding set of Littlewood-Richardson Sundaram tableaux, which is not surjective. We relate this to the refinement of the aforementioned bijection.

In the first half of this manuscript, we begin with a brief review of combinatorial hives as introduced by Knutson and Tao, and focus on a conjecture by Danilov and Koshevoy for generating such a hive from Hermitian matrix pairs through an optimization scheme. We examine a proposal by Appleby and Whitehead in the spirit of this conjecture and analytically elucidate an obstruction in their construction for guaranteeing hive generation, while detailing stronger conditions under which we can produce hives with almost certain probability. We provide the first mapping of this prescription onto a practical algorithmic space that enables us to produce affirming computational results and open a new area of research into the analysis of the random geometries and curvatures of hive surfaces from select matrix ensembles. The second part of this manuscript concerns Littlewood-Richardson coefficients and methods of estimating them from the hive construction. We illustrate experimental confirmation of two numerical algorithms that we provide as tools for the community: one as a rounded estimator on the continuous hive polytope volume following a proposal by Narayanan, and the other as a novel construction using a coordinate hit-and-run on the hive lattice itself. We compare the advantages of each, and include numerical results on their accuracies for some tested cases.

We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structure that recovers the combinatorics of type B Schubert calculus: the highest-weight elements of our crystals are precisely the shifted Littlewood-Richardson tableaux, and their generating functions are the (skew) Schur $Q$-functions. We give local axioms for these crystals, which closely resemble the Stembridge axioms for type A. Finally, we give a new criterion for such tableaux to be ballot.

I prove that the full Fock-Goncharov conjecture holds for $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$-- the configuration space of triples of decorated flags in generic position. As a key ingredient of this proof, I exhibit a maximal green sequence for the quiver of the initial seed. I compute the Landau-Ginzburg potential $W$ on $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})^\vee$ associated to the partial minimal model $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell}) \subset \mathrm{Conf}_3(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$. The integral points of the associated "cone" ${Ξ:=\left\{W^T \geq 0\right\} \subset \mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})^\vee\left({\mathbb{R}^T}\right)}$ parametrize a basis for $\mathcal{O}\left(\mathrm{Conf}_3(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})\right) = \bigoplus \left(V_α\otimes V_β\otimes V_γ\right)^G$ and encode the Littlewood-Richardson coefficients $c^γ_{αβ}$. In the initial seed, the inequalities defining $Ξ$ are exactly Zelevinsky's tail positivity conditions. I exhibit a unimodular $p^*$ map that identifies $W$ with the potential of Goncharov-Shen on $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$ and $Ξ$ with the Knutson-Tao hive cone.

J. DeLoera-T. McAllister and K. D. Mulmuley-H. Narayanan-M. Sohoni independently proved that determining the vanishing of Littlewood-Richardson coefficients has strongly polynomial time computational complexity. Viewing these as Schubert calculus numbers, we prove the generalization to the Littlewood-Richardson polynomials that control equivariant cohomology of Grassmannians. We construct a polytope using the edge-labeled tableau rule of H. Thomas-A. Yong. Our proof then combines a saturation theorem of D. Anderson-E. Richmond-A. Yong, a reading order independence property, and E. Tardos' algorithm for combinatorial linear programming.

We establish a poset structure on combinatorial bases of multivariate polynomials defined by positive expansions, and study properties common to bases in this poset. Included are the well-studied bases of Schubert polynomials, Demazure characters and Demazure atoms; the quasi-key, fundamental and monomial slide bases introduced in 2017 by Assaf and the author; and a new basis we introduce completing this poset structure. We show the product of a Schur polynomial and an element of a basis in this poset expands positively in that basis; in particular, we give the first Littlewood-Richardson rule for the product of a Schur polynomial and a quasi-key polynomial. This rule simultaneously extends Haglund, Luoto, Mason and van Willigenburg's (2011) Littlewood-Richardson rule for quasi-Schur polynomials and refines their Littlewood-Richardson rule for Demazure characters. We also establish bijections connecting combinatorial models for these polynomials including semi-skyline fillings and quasi-key tableaux.

We discuss implications of the following statement about the representation theory of symmetric groups: every integer appears infinitely often as an irreducible character evaluation, and every nonnegative integer appears infinitely often as a Littlewood-Richardson coefficient and as a Kronecker coefficient.

We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structure that recovers the combinatorics of type B Schubert calculus: the highest-weight elements of our crystals are precisely the shifted Littlewood-Richardson tableaux, and their generating functions are the (skew) Schur Q functions.

The volume of the hive polytope (or polytope of honeycombs) associated with a Littlewood- Richardson coefficient of SU(n), or with a given admissible triple of highest weights, is expressed, in the generic case, in terms of the Fourier transform of a convolution product of orbital measures. Several properties of this function -- a function of three non-necessarily integral weights or of three multiplets of real eigenvalues for the associated Horn problem-- are already known. In the integral case it can be thought of as a semi-classical approximation of Littlewood-Richardson coefficients. We prove that it may be expressed as a local average of a finite number of such coefficients. We also relate this function to the Littlewood-Richardson polynomials (stretching polynomials) i.e., to the Ehrhart polynomials of the relevant hive polytopes. Several SU(n) examples, for n=2,3,...,6, are explicitly worked out.

We provide two shifted analogues of the tableau switching process due to Benkart, Sottile, and Stroomer, the shifted tableau switching process and the modified shifted tableau switching process. They are performed by applying a sequence of specially contrived elementary transformations called {\em switches} and turn out to have some spectacular properties. For instance, the maps induced from these algorithms are involutive and behave very nicely with respect to shifted Young tableaux whose reading words satisfy the lattice property. As an application, we give combinatorial interpretations of Schur $P$- and $Q$-function identities. We also demonstrate the relationship between the shifted tableau switching process and the shifted $J$-operation due to Worley.

We investigate the longstanding problem of finding a combinatorial rule for the Schubert structure constants in the $K$-theory of flag varieties (in type $A$). The Grothendieck polynomials of A. Lascoux-M.-P. Schützenberger (1982) serve as polynomial representatives for $K$-theoretic Schubert classes; however no positive rule for their multiplication is known outside the Grassmannian case. We contribute a new basis for polynomials, give a positive combinatorial formula for the expansion of Grothendieck polynomials in these glide polynomials, and provide a positive combinatorial Littlewood-Richardson rule for expanding a product of Grothendieck polynomials in the glide basis. Our techniques easily extend to the $β$-Grothendieck polynomials of S. Fomin-A. Kirillov (1994), representing classes in connective $K$-theory, and we state our results in this more general context. A specialization of the glide basis recovers the fundamental slide polynomials of S. Assaf-D. Searles (2016), which play an analogous role with respect to the Chow ring of flag varieties. Additionally, the stable limits of another specialization of glide polynomials are T. Lam-P. Pylyavskyy's (2007) basis of multi-fundamental quasisymmetric functions, $K$-theoretic analogues of I. Gessel's (1984) fundamental quasisymmetric functions. Those glide polynomials that are themselves quasisymmetric are truncations of multi-fundamental quasisymmetric functions and form a basis of quasisymmetric polynomials.