arXiv++ Combinatorics

Previously we have explicitly characterized by certain linear inequalities the ${\mathfrak{k}}$-highest weight tableaux in the quantum Littlewood-Richardson (LR) rule produced by $1$-$0$-slack recording tableaux. Using the composition of promotion operators to defining the Naito-Suzuki-Watanabe bijection between ${\mathfrak{k}}$-highest weight tableaux and $\widehat{\mathfrak{g}}$-dominant tableaux, we now explicitly characterize by certain linear inequalities the $\widehat{\mathfrak{g}}$-dominant tableaux for $n\le 4$ produced by $1$-$0$-slack recording tableaux in the quantum Littlewood-Richardson rule. Since recording tableaux in the quantum Littlewood-Richardson rule are in natural bijection with Littlewood-Richardson-Sundaram tableaux, we relate our results with other bijections for the Naito-Sagaki conjecture.

We prove the conjecture of Donnelly et al. that a certain class of Littlewood-Richardson tableaux are equinumerous with peakless Motzkin paths of length $n$. Furthermore, we construct an explicit bijection between this class of tableaux and peakless Motzkin paths of length $n$ for all $n\ge 1$.

We study partitions which attain the largest Littlewood-Richardson coefficient. More precisely, we prove that the largest $c^λ_{μν}$ is attained at partitions such that $μ\subseteq ν$ and $ν/μ$ is a disjoint union of squares. We conjecture that for $n \ge 16$, all largest $c^λ_{μν}$ must satisfy this property. We confirm this conjecture numerically, for $16 \le n \le 45$.

We have previously given a factorization of a symplectic column under the action of the parity involution which enabled to explicitly have written the inverse of the reduction map in the quantum Littlewood-Richardson bijection. Watanabe has written the reduction map as a composition of several maps, among them, combinatorial $R$-matrices on single columns and a reduction map on a shorter column with rank reduced by one. We now use this approach to write the inverse of the reduction map on a symplectic column by detecting the corresponding symplectic column of rank reduced by one and thus avoiding going through several map compositions.

For partitions lambda, mu, nu the Littlewood-Richardson coefficient stretches to a function P(t) = c(t nu; t lambda, t mu) which, by a theorem of Derksen and Weyman, is a polynomial in t. King, Tollu and Toumazet conjectured that P has no negative coefficient. The conjecture is known only for the value at most 2 and is otherwise open. We prove it for all triples whose parts number at most four. The proof is structural: a period-one dilation transfers the Berline-Vergne local Ehrhart formula from an integral dilate back to the rational hive polytope, reducing the statement to the positivity of the Berline-Vergne weight of every two-dimensional transverse cone spanned by rank-four rhombus normals, which we verify exactly (minimum weight 1/9). Vertex integrality and unimodularity of vertex cones are not used, and indeed fail already in rank four. The same local method yields two rank-uniform consequences: for every full-dimensional hive polytope of any rank the top four Ehrhart coefficients are positive, and every full-dimensional five-part hive has all coefficients positive except possibly the linear one. We close by reducing the general conjecture to a single hive-specific effectivity statement and recording the exact obstructions that rule out the standard shortcuts. All finite verifications are accompanied by independent replay scripts.

In arXiv:2603.16698v5 we have explicitly computed the inverse of the reduction map in the quantum Littlewood-Richardson bijection for certain patterns of symplectic columns. It turns out that some of those patterns are cell pieces to compute the inverse of the reduction map on any symplectic column. For large symplectic columns, the tools provided here can be combined with the composition of the inverses of the several maps in which the reduction map decomposes, given by Watanabe, namely, among them, combinatorial $R$-matrices and reduction maps of shorter symplectic columns.

The forest polynomials $\mathfrak{P}_a$ of Nadeau-Tewari form a $\mathbb{Z}$-basis of $\mathbb{Z}[x_1, x_2, \dots]$ whose role for the cohomology of the quasisymmetric flag variety parallels that of Schubert polynomials for the classical flag variety. Nonnegativity of the structure constants $β^c_{a,b}$ in $\mathfrak{P}_a \mathfrak{P}_b = \sum_c β^c_{a,b} \mathfrak{P}_c$ is known, but no Littlewood-Richardson-style enumerative rule has been available. We give such a rule: $β^c_{a,b}$ counts pairs of forest RC graphs of forest-codes $a$ and $b$ whose lift product lands on a forest RC graph of forest-code and weight both equal to $c$. The same rule descends to the cup product on $H^\bullet(QFl_n)$. The proof introduces a Schubert bialgebra $\mathcal{A}$ and lifts the multiplication on its graded dual $\mathcal{D}$ to a product on a free abelian group $\mathcal{B}RC$ of bounded RC graphs; the same machinery yields enumerative LR rules for the dual Schubert, dual key, dual forest, and dual slide bases of $\mathcal{D}$.

In 2022 Aliniaeifard, Li, and van Willigenburg defined Schur functions in the algebra of symmetric functions in noncommuting variables (NCSym), answering an open question posed by Rosas and Sagan in 2004. These Schur functions are not monomial positive, since they are defined via a noncommutative analogue of the Jacobi-Trudi determinant. We introduce Hall-Littlewood functions ${\bf P}_π({\bf x};t)$ indexed by set partitions $π$ in noncommuting variables ${\bf x}=({\bf x}_1,{\bf x}_2,\ldots)$, and define Schur functions in noncommuting variables to be ${\bf s}_π({\bf x})={\bf P}_π({\bf x};0)$. We prove that the set of Hall-Littlewood functions $\{{\bf P}_π({\bf x};t)\}$ for all set partitions $π$ of $[n]$ forms a $\mathbb{Q}[t]$-basis of NCSym of homogeneous degree $n$, and that this basis is invariant under any permutation acting on set partitions. These Hall-Littlewood functions in NCSym map to classical Hall-Littlewood functions under commutation, up to a scalar factor. We also show that the Hall-Littlewood functions ${\bf P}_π({\bf x};t)$ naturally refine the lifted Hall-Littlewood functions in NCSym. Specifically, the Schur functions ${\bf s}_π({\bf x})$ are monomial positive and refine the lifted Schur function introduced by Rosas and Sagan. Moreover, we introduce a star product of two polynomials in NCSym and develop the star-multiplication rule for a lifted and a non-lifted Hall-Littlewood functions in NCSym. This rule is a noncommutative analogue of the product rule for two Hall-Littlewood functions and, in particular, of the Littlewood-Richardson rule. Finally, our approach extends to the algebra of quasisymmetric functions in noncommuting variables (NCQSym) indexed by set compositions.

The shifted Jack Littlewood-Richardson coefficients $g^λ_{μν}(α)$, first studied by Alexandersson-Féray, are Laurent polynomials in the Jack parameter $α$ attached to triples of partitions, which generalize the classical Jack Littlewood-Richardson coefficients investigated by Stanley, et al. In a previous work of the author's, it was conjectured that the Littlewood-Richardson coefficients for two triples, in which one of the partitions differ by a single box move, are congruent modulo the $α$-hook length of the pivot box for that move. In this note we prove that conjecture. We also investigate the extension of that conjecture to shifted Macdonald functions, which remains open pending two properies of Lassalle's shift map in that case.

We argue that Jack Littlewood-Richardson coefficients $g_{μν}^λ(α)$ are specialisations of certain novel polynomials. For the triple of partitions $(μ,ν,λ)=(21,21,321)$, we prove the corresponding polynomial is invariant under $S_6 \times \mathbb{Z}_2$, which is identified as the automorphism group of the Johnson graph $J(6,3)$. We conjecture that these polynomials exhibit a factorization property on certain hyperplanes, which is a consequence of compatibility relations between polynomials associated to adjacent triples in the Young graph. As a consequence of this, we conjecture that the difference of adjacent Jack Littlewood-Richardson coefficients is divisible by the shared hook length.

We introduce a linear map on symmetric functions that 'divides' a partition by a positive integer $k$, sending a Schur function indexed by a partition of $kn$ to a symmetric function indexed by partitions of $n$. We prove that the image of this map is always Schur-positive, meaning it expands in the Schur basis with nonnegative integer coefficients. These coefficients are enumerated by a new family of combinatorial objects, called $k$-Yamanouchi tableaux, which generalize the classical ballot (Yamanouchi) tableaux appearing in the Littlewood-Richardson rule. We also obtain expansions in the power-sum basis and establish power-sum positivity. A further application establishes a connection to work of Tewodros Amdeberhan, John Shareshian, and Richard Stanley on alternating permutations and Euler numbers.

We introduce the slack of a recording tableau in the quantum Littlewood-Richardson (LR) map and show that it inherits the needed data from LR-Sundaram tableaux to define the inverse of the quantum LR map. Notably this enriched slack information packs the suitable reverse Schensted column insertion routes to compute the inverse. The slack data is then applied to $\mathfrak{k}$-highest symplectic tableaux.

Recently Watanabe has given an algorithm to compute a bijection, that he calls (quantum) Littlewood-Richardson (LR) map, between semi-standard Young tableaux of shape a partition with at most $2n$ parts and pairs of tableaux consisting of a symplectic tableau with shape a partition with at most $n$ parts, and a recording tableau of skew-shape given by the two previous shapes. The recording tableaux in that algorithm are shown to be equinumerous to Littlewood-Richardson-Sundaram tableaux whose injectivity is shown combinatorially while the surjectivity is concluded via representation theory of a quantum symmetric pair of type AII. Henceforth, the algorithm to compute the quantum LR map provides a new branching model for the branching multiplicities from $GL_{2n}(C)$ to $Sp_{2n}(C)$. Here, as morally suggested by Watanabe, one provides a combinatorial proof of the surjectivity of the quantum LR map which in turn exhibits the restriction of the LR orthogonal transpose symmetry map to LR-Sundaram tableaux.

Some representation-theoretic multiplicities, such as the Kostka and the Littlewood-Richardson coefficients, admit a combinatorial interpretation that places their computation in the complexity class #P. Whether this holds more generally is considered an important open problem in mathematics and computer science, with relevance for geometric complexity theory and quantum information. Recent work has investigated the quantum complexity of particular multiplicities, such as the Kronecker coefficients and certain special cases of the plethysm coefficients. Here, we show that a broad class of representation-theoretic multiplicities is in #BQP. In particular, our result implies that the plethysm coefficients are in #BQP, which was only known in special cases. It also implies all known results on the quantum complexity of previously studied coefficients as special cases, unifying, simplifying, and extending prior work. We obtain our result by multiple applications of the Schur transform. Recent work has improved its dependence on the local dimension, which is crucial for our work. We further describe a general approach for showing that representation-theoretic multiplicities are in #BQP that captures our approach as well as the approaches of prior work. We complement the above by showing that the same multiplicities are also naturally in GapP and obtain polynomial-time classical algorithms when certain parameters are fixed.

As a consequence of the Littlewood-Richardson (LR) commuters coincidence and the Kumar-Torres branching model via Kushwaha-Raghavan-Viswanath flagged hives, we have solved the Lecouvey-Lenart conjecture on the bijections between the Kwon and Sundaram branching models for the pair $({GL}_{2n}(\mathbb{C}), {Sp}_{2n}(\mathbb{C})) $ consisting of the general linear group ${GL}_{2n}(\mathbb{C})$ and the symplectic group ${Sp}_{2n}(\mathbb{C})$. In particular, thanks to the Henriques-Kamnitzer $gl_n$-crystal commuter, we have recognized that the left companion of an LR-Sundaram tableau is characterized by the Kwon symplectic condition. We now show that the construction of the left companion tableau of an LR-Sundaram tableau exhibits in fact the Kwon symplectic property.

Let $λ$, $μ$, $λ'$, $μ'$ be partitions. The conjecture of Lam, Postnikov and Pylyavskyy states that, if $λ+μ= λ' + μ'$, and $\min(λ_i-λ_j, μ_i-μ_j) \leq λ'_i - λ'_j \leq \max(λ_i-λ_j, μ_i-μ_j)$ for all $1 \leq i<j \leq n$, then $s_{λ'} s_{μ'} - s_λ s_μ$ is Schur nonnegative. We prove this conjecture. Our proof is based on two key ideas. First, we introduce a new combinatorial model for Littlewood-Richardson coefficients which we name ``skeps", which are similar to but distinct from Knutson and Tao's hives. Second, we use tools from Murota's theory of L-convexity to prove an L-log-concavity theorem for skeps.

The Schur multiple zeta function was defined as a multivariable function by Nakasuji-Phuksuwan-Yamasaki. Inspired by the product formula of Schur functions, the products of Schur multiple zeta functions have been studied. While the product of two Schur functions expands as a linear combination of Schur functions, it is known that a similar expansion for the product of Schur multiple zeta functions can be obtained by symmetrizing, i.e., by taking the summation over all permutations of the variables. In this paper, we present a more refined formula by restricting the summation from the full symmetric group to its specific subgroup.

We develop a theory of bicrystalline ideals, synthesizing Gröbner basis techniques and Kashiwara's crystal theory. This provides a unified algebraic, combinatorial, and computational approach that applies to ideals of interest, old and new. The theory concerns ideals in the coordinate ring of matrices, stable under the action of some Levi group, whose quotients admit standard bases equipped with a crystal structure. We construct an effective algorithm to decide if an ideal is bicrystalline. When the answer is affirmative, we provide a uniform, generalized Littlewood-Richardson rule for computing the multiplicity of irreducible representations either for the quotient or the ideal itself.

The K-theoretic Littlewood-Richardson rule, established by A. Buch, is a combinatorial method for counting the structure constants involved in the product of two Grothendieck polynomials of Grassmannian type. In this paper, we provide an explicit combinatorial formula in terms of set-valued contratableau for the K-theoretic Littlewood-Richardson rule generalizing contratableau model for the classical Littlewood-Richardson rule given by Carré.

We give a new Littlewood-Richardson rule for the Schubert structure coefficients of isotropic Grassmannians, equivalently for the multiplication of $P$-Schur functions. Serrano (2010) previously gave a formula in terms of classes in his shifted plactic monoid. However, this formula is challenging to use because of the difficulty of characterizing shifted plactic classes. We give the first algebraic proof of this formula. We then use it to obtain a new rule that is easy to implement. Our rule is based on identifying a subtle analogue of Yamanouchi tableaux, which we characterize. We show that for some families of structure coefficients, our rule leads to an algorithm with exponentially better time complexity than the original rule of Stembridge (1989).