arXiv++ Combinatorics

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$.

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.

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.

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.

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.

We present the first positive combinatorial rule for expanding the product of a permuted-basement Demazure atom and a Schur polynomial. Special cases of permuted-basement Demazure atoms include Demazure atoms and characters. These cases have known tableau formulas for their expansions when multiplied by a Schur polynomial, due to Haglund, Luoto, Mason and van Willigenburg. We find a vertex model formula, giving a new rule even in these special cases, extending a technique introduced by Zinn-Justin for calculating Littlewood-Richardson coefficients. We derive a coloured vertex model for permuted-basement Demazure atoms, inspired by Borodin and Wheeler's model for non-symmetric Macdonald polynomials. We make this model compatible with an uncoloured vertex model for Schur polynomials, putting them in a single framework. Unlike previous work on structure coefficients via vertex models, a remarkable feature of our construction is that it relies on a Yang-Baxter equation that only holds for certain boundary conditions. However, this restricted Yang-Baxter equation is sufficient to show our result.

Let $K$ be one of the complex classical groups ${\rm O}_k$, ${\rm GL}_k$, or ${\rm Sp}_{2k}$. Let $M \subseteq K$ be the block diagonal embedding ${\rm O}_{k_1} \times \cdots \times {\rm O}_{k_r}$ or ${\rm GL}_{k_1} \times \cdots \times {\rm GL}_{k_r}$ or ${\rm Sp}_{2k_1} \times \cdots \times {\rm Sp}_{2k_r}$, respectively. By using Howe duality and seesaw reciprocity as a unified conceptual framework, we prove a formula for the branching multiplicities from $K$ to $M$ which is expressed as a sum of generalized Littlewood-Richardson coefficients, valid within a certain stable range. By viewing $K$ as the complexification of the maximal compact subgroup $K_{\mathbb{R}}$ of the real group $G_{\mathbb{R}} = {\rm GL}(k,\mathbb{R})$, ${\rm GL}(k, \mathbb{C})$, or ${\rm GL}(k,\mathbb{H})$, respectively, one can interpret our branching multiplicities as $K_{\mathbb{R}}$-type multiplicities in degenerate principal series representations of $G_{\mathbb{R}}$. Upon specializing to the minimal $M$, where $k_1 = \cdots = k_r = 1$, we establish a fully general tableau-theoretic interpretation of the branching multiplicities, corresponding to the $K_{\mathbb{R}}$-type multiplicities in the principal series.

We prove a bijection between the branching models of Kwon and Sundaram, conjectured previously by Lenart-Lecouvey. To do so, we use a symmetry of Littlewood-Richardson coefficients in terms of the hive model. Along the way, we obtain a new branching model in terms of flagged hives.

Weprovide an upper bound for generalized Littlewood-Richardson coefficients $c^w_{uv}$, where $u$ is a two-row Young diagram corresponding to a Grassmannian permutation. We end with a conjecture on the upper bounds for all such structure constants.

By inventing the notion of honeycombs, A. Knutson and T. Tao proved the saturation conjecture for Littlewood-Richardson coefficients. The Newell-Littlewood numbers are a generalization of the Littlewood-Richardson coefficients. By introducing honeycombs on a Möbius strip, we prove the saturation conjecture for Newell-Littlewood numbers posed by S. Gao, G. Orelowitz and A. Yong.

Puzzles are a versatile combinatorial tool to interpret the Littlewood-Richardson coefficients for Grassmannians. In this paper, we propose the concept of puzzle ideals whose varieties one-one correspond to the tilings of puzzles and present an algebraic framework to construct the puzzle ideals which works with the Knutson-Tao-Woodward puzzle and its $T$-equivariant and $K$-theoretic variants for Grassmannians. For puzzles for which one side is free, we propose the side-free puzzle ideals whose varieties one-one correspond to the tilings of side-free puzzles, and the elimination ideals of the side-free puzzle ideals contain all the information of the structure constants for Grassmannians with respect to the free side. Besides the underlying algebraic importance of the introduction of these puzzle ideals is the computational feasibility to find all the tilings of the puzzles for Grassmannians by solving the defining polynomial systems, demonstrated with illustrative puzzles via computation of Gröbner bases.

In the seminal work of Stanley, several conjectures were made on the structure of Littlewood-Richardson coefficients for the multiplication of Jack symmetric functions. Motivated by recent results of Alexandersson and the present author, we postulate that a `windowing' property holds for all such Jack L-R coefficients. Furthermore, we propose an extension of the `Factorization' property for Schur L-R due to King-Tollu-Toumazet to the Jack case. These properties provide a vast set of relations between the Jack L-R coefficients and allow for their direct computation in a certain large class of cases.

We study the Kronecker product of two Schur functions $s_λ\ast s_μ$, defined as the image of the characteristic map of the product of two $S_n$ irreducible characters. We prove special cases of a conjecture of Monical--Tokcan--Yong that its monomial expansion has a saturated Newton polytope. Our proofs employ the Horn inequalities for positivity of Littlewood-Richardson coefficients and imply necessary conditions for the positivity of Kronecker coefficients.

We make progress towards understanding the structure of Littlewood-Richardson coefficients $g_{λ,μ}^ν$ for products of Jack symmetric functions. Building on recent results of the second author, we are able to prove new cases of a conjecture of Stanley in which certain families of these coefficients can be expressed as a product of upper or lower hook lengths for every box in each of the partitions. In particular, we prove that conjecture in the case of a rectangular union, i.e. for $g_{μ,\bar σ}^{μ\cup m^n}$ where $\bar σ$ is the complementary partition of $σ= μ\cap m^n$ in the rectangular partition $m^n$. We give a formula for these coefficients through an explicit prescription of such choices of hooks. Lastly, we conjecture an analogue of this conjecture of Stanley holds in the case of Shifted Jack functions.

We continue the work begun by Mickler-Moll investigating the properties of the polynomial eigenfunctions of the Nazarov-Sklyanin quantum Lax operator. By considering products of these eigenfunctions, we produce a novel generalization of a formula of Kerov relating Jack Littlewood-Richardson coefficients and residues of certain rational functions. Precisely, we derive a system of constraints on Jack Littlewood-Richardson coefficients in terms of a simple multiplication operation on partitions.

We define and study a generalization of the Littlewood-Richardson (LR) coefficients, which we call the flagged skew LR coefficients. These subsume several previously studied extensions of the LR coefficients. We establish the saturation property for these coefficients, generalizing work of Knutson-Tao and Kushwaha-Raghavan-Viswanath.

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$.

We first describe a system of inequalities (Horn's inequalities) that characterize eigenvalues of sums of Hermitian matrices. When we apply this system for integral Hermitian matrices, one can directly test it by using Littlewood-Richardson coefficients. In this paper, we apply Horn's inequalities to analysis the eigenvalues of an integral line graph $G$ of a connected bipartite graph. Then we show that the diameter of $G$ is at most $2ω(G)$, where $ω(G)$ is the clique number of $G$. Also using Horn's inequalities, we show that for every odd integer $k\geq 19$, a non-complete $k$-regular Ramanujan graph has an eigenvalue less than $-2$.

We find and prove a factorization formula for certain Macdonald Littlewood-Richardson coefficients $c_{λμ}^ν(q,t)$. Namely, we consider the case that the Kostka number $K_{μ, ν-λ}$ is $1$. This settles a particular case of a more general conjecture of Richard Stanely. This conjecture proposes that a factorization formula exists whenever the corresponding regular Littlewood-Richardson coefficient $c^ν_{λμ}$ is $1$.