Littlewood-Richardson Coefficients Research Articles

Saturation for Flagged Skew Littlewood–Richardson coefficients

Saturation for Flagged Skew Littlewood–Richardson coefficients

Pieri rules for skew dual immaculate functions

Abstract In this paper, we give Pieri rules for skew dual immaculate functions and their recently discovered row-strict counterparts. We establish our rules using a right-action analogue of the skew Littlewood–Richardson rule for Hopf algebras of Lam–Lauve–Sottile. We also obtain Pieri rules for row-strict (dual) immaculate functions.

Quantum K-theory of incidence varieties

We prove a conjecture of Buch and Mihalcea in the case of the incidence variety X=Fl(1,n-1;n)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$X=\ extrm{Fl}\\hspace{0.55542pt}(1,n-1;n)$$\\end{document} and determine the structure of its (T-equivariant) quantum K-theory ring. Our results are an interplay between geometry and combinatorics. The geometric side concerns Gromov–Witten varieties of 3-pointed genus 0 stable maps to X with markings sent to Schubert varieties, while on the combinatorial side are formulas for the (equivariant) quantum K-theory ring of X. We prove that the Gromov–Witten variety is rationally connected when one of the defining Schubert varieties is a divisor and another is a point. This implies that the (equivariant) K-theoretic Gromov–Witten invariants defined by two Schubert classes and a Schubert divisor class can be computed in the ordinary (equivariant) K-theory ring of X. We derive a positive Chevalley formula for the equivariant quantum K-theory ring of X and a positive closed formula for Littlewood–Richardson coefficients in the non-equivariant quantum K-theory ring of X. The Littlewood–Richardson rule in turn implies that non-empty Gromov–Witten varieties given by Schubert varieties in general position have arithmetic genus 0.

A Molev-Sagan type formula for double Schubert polynomials

We give a Molev-Sagan type formula for computing the product Su(x;y)Sv(x;z) of two double Schubert polynomials in different sets of coefficient variables where the descents of u and v satisfy certain conditions that encompass Molev and Sagan's original case and conjecture positivity in the general case. Additionally, we provide a Pieri formula for multiplying an arbitrary double Schubert polynomial Su(x;y) by a factorial elementary symmetric polynomial Ep,k(x;z). Both formulas remain positive in terms of the negative roots when we set y=z, so in particular this gives a new equivariant Littlewood-Richardson rule for the Grassmannian, and more generally a positive formula for multiplying a factorial Schur polynomial sλ(x1,…,xm;y) by a double Schubert polynomial Sv(x1,…,xp;y) such that m≥p. An additional new result we present is a combinatorial proof of a conjecture of Kirillov of nonnegativity of the coefficients of skew Schubert polynomials, and we conjecture a weight-preserving bijection between a modification of certain diagrams used in our formulas and RC-graphs/pipe dreams arising in formulas for double Schubert polynomials.

Multiparameter colored partition category and the product of the reduced Kronecker coefficients

We introduce and study a multiparameter colored partition category CPar(x) by extending the construction of the partition category, over an algebraically closed field k of characteristic zero and for a multiparameter x∈kr. The morphism spaces in CPar(x) have bases in terms of partition diagrams whose parts are colored by elements of the multiplicative cyclic group Cr. We show that the endomorphism spaces of CPar(x) and additive Karoubi envelope of CPar(x) are generically semisimple. The category CPar(x) is rigid symmetric strict monoidal and we give a presentation of CPar(x) as a monoidal category. The path algebra of CPar(x) admits a triangular decomposition with Cartan subalgebra being equal to the direct sum of the group algebras of complex reflection groups G(r,n). We compute the structure constants for the classes of simple modules in the split Grothendieck ring of the category of modules over the path algebra of the downward partition subcategory of CPar(x) in two ways. Among other things, this gives a formula for the product of the reduced Kronecker coefficients in terms of the Littlewood–Richardson coefficients for G(r,n) and certain Kronecker coefficients for the wreath product (Cr×Cr)≀Sn. For r=1, this formula reduces to a formula for the reduced Kronecker coefficients given by Littlewood. We also give two analogues of the Robinson–Schensted correspondence for colored partition diagrams and, as an application, we classify the equivalence classes of Green's left, right and two-sided relations for the colored partition monoid in terms of these correspondences.

The quantum detection of projectors in finite-dimensional algebras and holography

We define the computational task of detecting projectors in finite dimensional associative algebras with a combinatorial basis, labelled by representation theory data, using combinatorial central elements in the algebra. In the first example, the projectors belong to the centre of a symmetric group algebra and are labelled by Young diagrams with a fixed number of boxes n. We describe a quantum algorithm for the task based on quantum phase estimation (QPE) and obtain estimates of the complexity as a function of n. We compare to a classical algorithm related to the projector identification problem by the AdS/CFT correspondence. This gives a concrete proof of concept for classical/quantum comparisons of the complexity of a detection task, based in holographic correspondences. A second example involves projectors labelled by triples of Young diagrams, all having n boxes, with non-vanishing Kronecker coefficient. The task takes as input the projector, and consists of identifying the triple of Young diagrams. In both of the above cases the standard QPE complexities are polynomial in n. A third example of quantum projector detection involves projectors labelled by a triple of Young diagrams, with m, n and m + n boxes respectively, such that the associated Littlewood-Richardson coefficient is non-zero. The projector detection task is to identify the triple of Young diagrams associated with the projector which is given as input. This is motivated by a two-matrix model, related via the AdS/CFT correspondence, to systems of strings attached to giant gravitons. The QPE complexity in this case is polynomial in m and n.

3D Bosons and W1+∞ algebra

In this paper, we consider 3D Young diagrams with at most N layers in z-axis direction, which can be constructed by N 2D Young diagrams on slice z = j, j = 1, 2, · · · , N from the Yang-Baxter equation. Using 2D Bosons {aj,m, m ∈ ℤ} associated to 2D Young diagrams on the slice z = j, we constructed 3D Bosons. Then we show the 3D Boson representation of W1+∞ algebra, and give the method to calculate the Littlewood-Richardson rule for 3-Jack polynomials.

Complete NNLO operator bases in Higgs effective field theory

For the first time, we list the complete and independent set of operators at the next-to-next-to-leading order (NNLO) in the Higgs effective field theory (HEFT). The Young tensor technique utilized in this work guarantees the completeness and independence of the on-shell amplitude basis while the Adler zero condition imposes non-linear symmetry on the Nambu-Goldstone bosons that play the central role in the chiral Lagrangian. The spurion fields are incorporated into the gauge structure of operators following the Littlewood-Richardson rule to accommodate custodial symmetry breaking. We construct 11506 (1927574) NNLO operators for one (three) flavor of fermions for the electroweak chiral Lagrangian with the light Higgs, and enumerate 8065(1179181) operators for one (three) flavor of fermions when the right-handed neutrino is absent by Hilbert series technique. Below the electroweak symmetry breaking scale, the dimension-8 standard model effective field theory (SMEFT) operators could be matched to these HEFT operators at both the NLO and NNLO orders.

Littlewood-Richardson rule for generalized Schur Q-functions

Littlewood-Richardson rule for generalized Schur Q-functions

A Generalized RSK for Enumerating Linear Series on n-pointed Curves

We give a combinatorial proof of a recent geometric result of Farkas and Lian on linear series on curves with prescribed incidence conditions. The result states that the expected number of degree-d morphisms from a general genus g, n-marked curve C to ℙ r , sending the marked points on C to specified general points in ℙ r , is equal to (r+1) g for sufficiently large d. This computation may be rephrased as an intersection problem on Grassmannians, which has a natural combinatorial interpretation in terms of Young tableaux by the classical Littlewood-Richardson rule. We give a bijection, generalizing the well-known RSK correspondence, between the tableaux in question and the (r+1)-ary sequences of length g, and we explore our bijection’s combinatorial properties.

Littlewood-Richardson coefficient, Springer fibers and the annihilator varieties of induced representations

For G=GL(n,C) and a parabolic subgroup P=LN with a two-block Levi subgroup L=GL(n1)×GL(n2), the space G⋅(O+n), where O is a nilpotent orbit of l, is a union of nilpotent orbits of g. In the first part of our main theorem, we use the geometric Sakate equivalence to prove that O′⊂G⋅(O+n) if and only if some Littlewood-Richardson coefficients do not vanish. The second part of our main theorem describes the geometry of the space O∩p, which is an important space to study for the Whittaker supports and annihilator varieties of representations of G.

Newell–Littlewood numbers II: extended Horn inequalities

The Newell–Littlewood numbers N μ,ν,λ are tensor product multiplicities of Weyl modules for classical Lie groups, in the stable limit. For which triples of partitions (μ,ν,λ) does N μ,ν,λ >0 hold? The Littlewood–Richardson coefficient case is solved by the Horn inequalities (in work of A. Klyachko and A. Knutson-T. Tao). We extend these celebrated linear inequalities to a much larger family, suggesting a general solution.

Stretched Newell–Littlewood coefficients

Newell-Littlewood coefficients $n_{\mu,\nu}^{\lambda}$ are the multiplicities occurring in the decomposition of products of universal characters of the orthogonal and symplectic groups. They may also be expressed, or even defined directly in terms of Littlewood-Richardson coefficients, $c_{\mu,\nu}^{\lambda}$. Both sets of coefficients have stretched forms $c_{t\mu,t\nu}^{t\lambda}$ and $n_{t\mu,t\nu}^{t\lambda}$, where $t\kappa$ is the partition obtained by multiplying each part of the partition $\kappa$ by the integer $t$. It is known that $c_{t\mu,t\nu}^{t\lambda}$ is a polynomial in $t$ and here it is shown that $n_{t\mu,t\nu}^{t\lambda}$ is an Ehrhart quasi-polynomial in $t$ with minimum quasi-period at most $2$. The evaluation of $n_{t\mu,t\nu}^{t\lambda}$ is effected both by deriving their generating function and by establishing a hive model analogous to that used for the calculation of $c_{t\mu,t\nu}^{t\lambda}$. These two approaches lead to a whole battery of conjectures about the nature of the quasi-polynomials $n_{t\mu,t\nu}^{t\lambda}$. These include both positivity, stability and saturation conjectures that are supported by a significant amount of data from a range of examples.

Large deviation principles via spherical integrals

In this article, we develop a framework to study the large deviation principle for matrix models and their quantized versions, by tilting the measures using the limits of spherical integrals obtained in [46,47]. As examples, we obtain 1. a large deviation principle for the empirical distribution of the diagonal entries of $UB_NU^*$, for a sequence of $N\times N$ diagonal matrices $B_N$ and unitary Haar distributed matrices $U$; 2. a large deviation upper bound for the empirical eigenvalue distribution of $A_N+UB_NU^*$, for two sequences of $N\times N$ diagonal matrices $A_N, B_N$, and their complementary lower bounds at measures which are described by the free product with amalgamation; 3. a large deviation principle for the Kostka number $K_{\boldsymbol\lambda_N \boldsymbol\eta_N}$, for two sequences of partitions $\boldsymbol\lambda_N, \boldsymbol\eta_N$ with at most $N$ rows; 4. a large deviation upper bound for the Littlewood-Richardson coefficients $c_{\boldsymbol\lambda_N \boldsymbol \eta_N}^{\boldsymbol \kappa_N}$, for three sequences of partitions $\boldsymbol\lambda_N, \boldsymbol \eta_N, \boldsymbol \kappa_N$ with at most $N$ rows, and their complementary lower bounds at nice measures.

Some Unexpected Properties of Littlewood-Richardson Coefficients

We are interested in identities between Littlewood-Richardson coefficients, and hence in comparing different tensor product decompositions of the irreducible modules of the linear group $\text{GL}_n({\mathbb C})$. A family of partitions — called near-rectangular — is defined, and we prove a stability result which basically asserts that the decomposition of the tensor product of two representations associated to near-rectangular partitions does not depend on $n$. Given a partition $\lambda$, of length at most $n$, denote by $V_n(\lambda)$ the associated simple $\text{GL}_n({\mathbb C})$-module. We conjecture that, if $\lambda$ is near-rectangular and $\mu$ any partition, the decompositions of $V_n(\lambda)\otimes V_n(\mu)$ and $V_n(\lambda)^*\otimes V_n(\mu)$ coincide modulo a mysterious bijection. We prove this conjecture if $\mu$ is also near-rectangular and report several computer-assisted computations which reinforce our conjecture.

Graded decompositions of fusion products in rank 2

We determine the graded decompositions of fusion products of finite-dimensional irreducible representations for simple Lie algebras of rank 2. Moreover, we give generators and relations for these representations and obtain as a consequence that the Schur positivity conjecture holds in this case. The graded Littlewood–Richardson coefficients in the decomposition are parameterized by lattice points in convex polytopes, and an explicit hyperplane description is given in the various types.

The Grothendieck Ring of a Family of Spherical Categories

We compute the fusion rule of a one-parameter family of spherical categories constructed by one author from the classification of singly generated Yang–Baxter planar algebras. The structure constant of the fusion rule is expressed in a closed-form formula of Littlewood–Richardson coefficients. We also compute the characters of the simple objects and their generating function in terms of symmetric functions with infinite variables.

Schur functions in noncommuting variables

In 2004 Rosas and Sagan asked whether there was a way to define a basis in the algebra of symmetric functions in noncommuting variables, NCSym, having properties analogous to the classical Schur functions. This was because they had constructed a partial such set that was not a basis. We answer their question by defining Schur functions in noncommuting variables using a noncommutative analogue of the Jacobi-Trudi determinant. Our Schur functions in NCSym map to classical Schur functions under commutation, and a subset of them indexed by set partitions forms a basis for NCSym. Amongst other properties, Schur functions in NCSym also satisfy a noncommutative analogue of the product rule for classical Schur functions in terms of skew Schur functions.We also show how Schur functions in NCSym are related to Specht modules, and naturally refine the Rosas-Sagan Schur functions. Moreover, by generalizing Rosas-Sagan Schur functions to skew Schur functions in the natural way, we prove noncommutative analogues of the Littlewood-Richardson rule and coproduct rule for them. Finally, we relate our functions to noncommutative symmetric functions by proving a subset of our functions are natural extensions of noncommutative ribbon Schur functions, and immaculate functions indexed by integer partitions.

Super jeu de taquin and combinatorics of super tableaux of type A

This paper presents a combinatorial study of the super plactic monoid of type A, which is related to the representations of the general linear Lie superalgebra. We introduce the analogue of the Schützenberger’s jeu de taquin on the structure of super tableaux over a signed alphabet. We show that this procedure which transforms super skew tableaux into super Young tableaux is compatible with the super plactic congruence and it is confluent. We deduce properties relating the super jeu de taquin to insertion algorithms on super tableaux. Moreover, we introduce the super evacuation procedure as an involution on super tableaux and we show its compatibility with the super plactic congruence. Finally, we describe the super jeu de taquin in terms of Fomin’s growth diagrams in order to give a combinatorial version of the super Littlewood–Richardson rule.

The Stembridge equality for skew stable Grothendieck polynomials and skew dual stable Grothendieck polynomials

The Schur polynomials s λ are essential in understanding the representation theory of the general linear group. They also describe the cohomology ring of the Grassmannians. For ρ=(n,n-1,⋯,1) a staircase shape and μ⊆ρ a subpartition, the Stembridge equality states that s ρ/μ =s ρ/μ T . This equality provides information about the symmetry of the cohomology ring. The stable Grothendieck polynomials G λ , and the dual stable Grothendieck polynomials g λ , developed by Buch, Lam, and Pylyavskyy, are variants of the Schur polynomials and describe the K-theory of the Grassmannians. Using the Hopf algebra structure of the ring of symmetric functions and a generalized Littlewood–Richardson rule, we prove that G ρ/μ =G ρ/μ T and g ρ/μ =g ρ/μ T , the analogues of the Stembridge equality for the skew stable and skew dual stable Grothendieck polynomials.