skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: From Quasi-Symmetric to Schur Expansions with Applications to Symmetric Chain Decompositions and Plethysm
It is an important problem in algebraic combinatorics to deduce the Schur function expansion of a symmetric function whose expansion in terms of the fundamental quasisymmetric function is known. For example, formulas are known for the fundamental expansion of a Macdonald symmetric function and for the plethysm of two Schur functions, while the Schur expansions of these expressions are still elusive. Based on work of Egge, Loehr and Warrington, Garsia and Remmel provided a method to obtain the Schur expansion from the fundamental expansion by replacing each quasisymmetric function by a Schur function (not necessarily indexed by a partition) and using straightening rules to obtain the Schur expansion. Here we provide a new method that only involves the coefficients of the quasisymmetric functions indexed by partitions and the quasi-Kostka matrix. As an application, we identify the lexicographically largest term in the Schur expansion of the plethysm of two Schur functions. We provide the Schur expansion of $$s_w[s_h](x,y)$$ for $w=2,3,4$ using novel symmetric chain decompositions of Young's lattice for partitions in a $$w\times h$$ box. For $w=4$, this is the first known combinatorial expression for the coefficient of $$s_{\lambda}$$ in $$s_{w}[s_{h}]$$ for two-row partitions $$\lambda$$, and for $w=3$ the combinatorial expression is new.  more » « less
Award ID(s):
2053350
PAR ID:
10614342
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
The Electronic Journal of Combinatorics
Date Published:
Journal Name:
The Electronic Journal of Combinatorics
Volume:
31
Issue:
4
ISSN:
1077-8926
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; ; ; ; (, American Mathematical Society, Proceedings of Symposia in Pure Mathematics)
    Berkesch, Christine; Brubaker, Benjamin; Musiker, Gregg; Pylyavskyy, Pavlo; Reiner, Victor (Ed.)
    Composing two representations of the general linear groups gives rise to Littlewood’s (outer) plethysm. On the level of characters, this poses the question of finding the Schur expansion of the plethysm of two Schur functions. A combinatorial interpretation for the Schur expansion coefficients of the plethysm of two Schur functions is, in general, still an open problem. We identify a proof technique of combinatorial representation theory, which we call the “s-perp trick”, and point out several examples in the literature where this idea is used. We use the s-perp trick to give algorithms for computing monomial and Schur expansions of symmetric functions. In several special cases, these algorithms are more efficient than those currently implemented in SageMath. 
    more » « less
  2. ; (, International Mathematics Research Notices)
    null (Ed.)
    Abstract The $$(P, \omega )$$-partition generating function of a labeled poset $$(P, \omega )$$ is a quasisymmetric function enumerating certain order-preserving maps from $$P$$ to $${\mathbb{Z}}^+$$. We study the expansion of this generating function in the recently introduced type 1 quasisymmetric power sum basis $$\{\psi _{\alpha }\}$$. Using this expansion, we show that connected, naturally labeled posets have irreducible $$P$$-partition generating functions. We also show that series-parallel posets are uniquely determined by their partition generating functions. We conclude by giving a combinatorial interpretation for the coefficients of the $$\psi _{\alpha }$$-expansion of the $$(P, \omega )$$-partition generating function akin to the Murnaghan–Nakayama rule. 
    more » « less
  3. ; (, Selecta Mathematica)
    We study probability measures on partitions based on symmetric Grothendieck polynomials. These deformations of Schur polynomials introduced in the K-theory of Grassmannians share many common properties. Our Grothendieck measures are analogs of the Schur measures on partitions introduced by Okounkov (Sel Math 7(1):57–81, 2001). Despite the similarity of determinantal formulas for the probability weights of Schur and Grothendieck measures, we demonstrate that Grothendieck measures are not determinantal point processes. This question is related to the principal minor assignment problem in algebraic geometry, and we employ a determinantal test first obtained by Nanson in 1897 for the 4 × 4 problem. We also propose a procedure for getting Nanson-like determinantal tests for matrices of any size n ≥ 4, which appear new for n ≥ 5. By placing the Grothendieck measures into a new framework of tilted biorthogonal ensembles generalizing a rich class of determinantal processes introduced by Borodin (Nucl Phys B 536:704–732, 1998), we identify Grothendieck random partitions as a cross-section of a Schur process, a determinantal process in two dimensions. This identification expresses the correlation functions of Grothendieck measures through sums of Fredholm determinants, which are not immediately suitable for asymptotic analysis. A more direct approach allows us to obtain a limit shape result for the Grothendieck random partitions. The limit shape curve is not particularly explicit as it arises as a cross-section of the limit shape surface for the Schur process. The gradient of this surface is expressed through the argument of a complex root of a cubic equation. 
    more » « less
  4. ; ; (, International Mathematics Research Notices)
    Abstract We apply the method of orbit harmonics to the set of break divisors and orientable divisors on graphs to obtain the central and external zonotopal algebras, respectively. We then relate a construction of Efimov in the context of cohomological Hall algebras to the central zonotopal algebra of a graph $$G_{Q,\gamma }$$ constructed from a symmetric quiver $$Q$$ with enough loops and a dimension vector $$\gamma $$. This provides a concrete combinatorial perspective on the former work, allowing us to identify the quantum Donaldson–Thomas (DT) invariants as the Hilbert series of the space of $$S_{\gamma }$$-invariants of the Postnikov–Shapiro slim subgraph space attached to $$G_{Q,\gamma }$$. The connection with orbit harmonics in turn allows us to give a manifestly nonnegative combinatorial interpretation to numerical DT invariants as the number of $$S_{\gamma }$$-orbits under the permutation action on the set of break divisors on $$G$$. We conclude with several representation-theoretic consequences, whose combinatorial ramifications may be of independent interest. 
    more » « less
  5. ; (, International Mathematics Research Notices)
    We prove that $$\omega \Delta ^{\prime}_{e_{k}}e_{n}|_{t=0}$$, the symmetric function in the Delta Conjecture at $t=0$, is a skewing operator applied to a Hall-Littlewood polynomial, and generalize this formula to the Frobenius series of all $$\Delta $$-Springer modules. We use this to give an explicit Schur expansion in terms of the Lascoux-Schützenberger cocharge statistic on a new combinatorial object that we call a battery-powered tableau. Our proof is geometric, and shows that the $$\Delta $$-Springer varieties of Levinson, Woo, and the second author are generalized Springer fibers coming from the partial resolutions of the nilpotent cone due to Borho and MacPherson. We also give alternative combinatorial proofs of our Schur expansion for several special cases, and give conjectural skewing formulas for the $$t$$ and $$t^{2}$$ coefficients of $$\omega \Delta ^{\prime}_{e_{k}}e_{n}$$. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email