[Paper Review] A new Plethystic Symmetric Function Operator and The rational Compositional Shuffle Conjecture at t=1/q

Adriano M. Garsia, Emily Leven+2 more|arXiv (Cornell University)|Jan 4, 2015

Advanced Combinatorial Mathematics17 references3 citations

TL;DR

This paper introduces a new plethystic symmetric function operator that simplifies the specialization of $ Q_{km,kn} $ at $ t = 1/q $, yielding a direct formula involving $ [k]_q / [km]_q $ times the elementary symmetric function $ e_{km}[X[km]_q] $. The key contribution is an elementary derivation of identities linking this operator to the Rational Compositional Shuffle Conjecture, proving Schur positivity and providing a combinatorial interpretation via parking functions in the $ km \times kn $ rectangle.

ABSTRACT

Our main result here is that the specialization at $t=1/q$ of the $Q_{km,kn}$ operators studied in [4] may be given a very simple plethystic form. This discovery yields elementary and direct derivations of several identities relating these operators at $t=1/q$ to the Rational Compositional Shuffle conjecture of [3]. In particular we show that if $m,n $ and $k$ are positive integers and $(m,n)$ is a coprime pair then $$ q^{(km-1)(kn-1)+k-1\over 2} Q_{km,kn}(-1)^{kn}\Big|_{t=1/q} \,=\, extstyle{[k]_q\over [km]_q} e_{km}\big[ X[km]_q\big] $$ where as customarily, for any integer $s \geq 0$ and indeterminate $u$ we set $[s]_u=1+u+\cdots +u^{s-1}$. We also show that the symmetric polynomial on the right hand side is always Schur positive. Moreover, using the Rational Compositional Shuffle conjecture, we derive a precise formula expressing this polynomial in terms of Parking functions in the $km imes kn$ lattice rectangle.

Motivation & Objective

• To provide an accessible, elementary derivation of identities involving the $ Q_{km,kn} $ operators at $ t = 1/q $, bypassing complex algebraic geometry.
• To establish a closed-form plethystic expression for $ Q_{km,kn} $ at $ t = 1/q $, simplifying prior recursive definitions.
• To prove that the resulting symmetric function is Schur positive, supporting the Rational Compositional Shuffle Conjecture.
• To connect the operator's action to combinatorial objects—parking functions—in the $ km \times kn $ lattice rectangle.

Proposed method

• Introduce a new plethystic operator form for $ Q_{km,kn} $ at $ t = 1/q $, reducing recursive computation to a closed-form expression.
• Use plethystic notation and the Hall scalar product to manipulate symmetric functions and dual operators.
• Apply partial fraction decomposition in iterated Laurent series fields $ K_1 $ and $ K_2 $ to compute constant terms of rational functions.
• Leverage the difference in constant term computation between fields to derive the commutator $ [D_{c,d}, D_{a,b}] $, which yields the operator $ Q_{km,kn} $.
• Use the proposition that the difference in constant terms arises only from denominators that are small in one field and large in the other, enabling precise residue-based computation.
• Verify that the resulting symmetric function matches the expected form from the Rational Compositional Shuffle Conjecture, using known identities from [3] and [4].

Experimental results

Research questions

• RQ1 Can the $ Q_{km,kn} $ operator at $ t = 1/q $ be expressed in a simple plethystic form without recursion?
• RQ2 Does the specialization $ t = 1/q $ yield a Schur-positive symmetric function?
• RQ3 Can the resulting symmetric function be interpreted combinatorially via parking functions in the $ km \times kn $ rectangle?
• RQ4 How do the constant term differences in iterated Laurent series fields $ K_1 $ and $ K_2 $ yield the commutator $ [D_{c,d}, D_{a,b}] $?
• RQ5 Is there a direct algebraic derivation of the identity linking $ Q_{km,kn} $ at $ t = 1/q $ to the Rational Compositional Shuffle Conjecture?

Key findings

• The specialization $ Q_{km,kn}(-1)^{kn} \big|_{t=1/q} $ simplifies to $ \frac{[k]_q}{[km]_q} e_{km}[X[km]_q] $, providing a closed-form expression.
• The symmetric function $ e_{km}[X[km]_q] $ is Schur positive, confirming a key prediction of the Rational Compositional Shuffle Conjecture.
• The result is derived using only plethystic notation and constant term identities in iterated Laurent series, avoiding deep algebraic geometry.
• The derivation confirms that the $ Q_{km,kn} $ operator at $ t = 1/q $ acts as a well-defined, combinatorially interpretable symmetric function.
• The formula matches the expected generating function for parking functions in the $ km \times kn $ rectangle, as predicted by the Rational Compositional Shuffle Conjecture.
• The method generalizes to any coprime pair $ (m,n) $, with the operator $ Q_{km,kn} $ independent of the choice of lattice point in the rectangle.