pith. sign in

arxiv: 2606.28723 · v1 · pith:3GNK2GAFnew · submitted 2026-06-27 · 🧮 math.CO

Transition Matrices between Shifted t-Schur Bases and Cyclotomic Schur Q-Positivity

S.-J. Lee This is my paper

Pith reviewed 2026-06-30 09:44 UTC · model grok-4.3

classification 🧮 math.CO
keywords shifted t-Schur functionstransition matricesodd power-sum basiscyclotomic specializationSchur Q-positivityplethystic substitutionrelative scaling operator
0
0 comments X

The pith

The relative scaling operator between shifted t-Schur bases is diagonal in the odd power-sum basis, yielding explicit transition formulas and Schur Q-positivity under cyclotomic specialization.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes explicit transition matrices between shifted t-Schur functions Q_λ[X - tX] at different parameters by showing that the relative scaling operator is diagonal on the odd power-sum ring. This diagonalization supplies spectral data, determinants, traces, weighted symmetry, and a spin-character formula, along with a Cauchy-type identity. In the cyclotomic case where one parameter is replaced by a geometric sum 1 + t + … + t^{M-1}, the same operator becomes a plethystic substitution that forces Schur Q-positivity, reciprocity, factorization, and root-of-unity rank formulas. For the special case M=2 the paper computes all one-row transitions explicitly and shows the nonzero coefficients are unimodal.

Core claim

The relative scaling operator between the shifted t-Schur bases at parameters t and s is diagonal in the odd power-sum basis; its eigenvalues and eigenvectors give the transition coefficients directly. Under the cyclotomic specialization C_{\lambda\mu}^{[M]}(t) = C_{\lambda\mu}(t^M, t) the operator reduces to plethystic substitution by 1 + t + ⋯ + t^{M-1}, which implies that the transition coefficients are Schur Q-positive and satisfy a reciprocity relation.

What carries the argument

The relative scaling operator, shown to be diagonal in the odd power-sum basis and to become plethystic substitution by the partial geometric sum under cyclotomic specialization.

If this is right

  • Explicit determinant, trace, and spectral formulas for all transition matrices follow immediately from the eigenvalues of the relative operator.
  • A spin-character formula and a weighted symmetry property hold for the transition coefficients.
  • Under cyclotomic specialization the transition matrices are Schur Q-positive and obey a reciprocity law.
  • Factorization and root-of-unity rank formulas for the cyclotomic matrices are obtained directly from the plethystic substitution.
  • For M=2 every one-row transition matrix has explicitly computable entries whose nonzero coefficients are unimodal.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same diagonalization technique might produce closed transition formulas between other deformed Schur bases that arise from similar operators on symmetric functions.
  • The explicit M=2 matrices could be used to test whether the unimodality persists for higher-row transitions or for M>2.
  • The plethystic substitution view suggests a possible link between these cyclotomic transitions and the representation theory of wreath products or cyclotomic Hecke algebras.

Load-bearing premise

The relative scaling operator between the two shifted bases is diagonal when expressed in the odd power-sum basis.

What would settle it

An explicit computation, for any fixed degree, of the matrix of the relative scaling operator in the odd power-sum basis that contains a nonzero off-diagonal entry.

read the original abstract

For a strict partition $\lambda$, let $\mathcal Q_\lambda(X;t)=Q_\lambda[X-tX]$ be the shifted $t$-Schur function arising from the modified Greaves--Jing--Zhu operator on the odd power-sum ring. We study transition matrices between the shifted bases with parameters $t$ and $s$. The relative scaling operator is diagonal in the odd power-sum basis, leading to explicit spectral data, determinant and trace formulas, weighted symmetry, a spin-character formula, and a transition Cauchy identity. For the cyclotomic specialization $C_{\lambda\mu}^{[M]}(t)=C_{\lambda\mu}(t^M,t)$, the relative operator becomes plethystic substitution by $1+t+\cdots+t^{M-1}$. We prove Schur $Q$-positivity and reciprocity, derive factorization and root-of-unity rank formulas, and give an exact computation method. For $M=2$, all one-row transitions are computed explicitly, and the nonzero coefficients are unimodal.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

Summary. The manuscript defines shifted t-Schur functions Q_λ(X;t) = Q_λ[X-tX] via a modified Greaves-Jing-Zhu operator on the odd power-sum ring. It studies transition matrices C_λμ(t,s) between the shifted bases for parameters t and s, asserting that the relative scaling operator is diagonal in the odd power-sum basis and thereby obtaining explicit spectral data, determinant/trace formulas, weighted symmetry, a spin-character formula, and a transition Cauchy identity. For the cyclotomic specialization C_λμ^[M](t) = C_λμ(t^M,t) the relative operator reduces to plethystic substitution by 1+t+⋯+t^{M-1}; the paper proves Schur Q-positivity and reciprocity, derives factorization and root-of-unity rank formulas, supplies an exact computation method, and for M=2 computes all one-row transitions explicitly with unimodal nonzero coefficients.

Significance. If the asserted diagonality of the relative scaling operator holds and the eigenvalues are correctly identified, the explicit transition formulas and the Schur Q-positivity results for cyclotomic specializations would constitute a concrete advance in the theory of shifted symmetric functions and their cyclotomic specializations, with potential applications to spin representations and positivity phenomena. The explicit M=2 one-row formulas are a verifiable computational contribution.

major comments (3)
  1. [Abstract / §2] Abstract and §2 (definition of the relative scaling operator): the claim that this operator is diagonal in the odd power-sum basis p_{2k-1} is stated without derivation or reference to a prior identity; all subsequent spectral data, determinant formulas, and the cyclotomic plethystic substitution rest on this assertion, yet no explicit matrix elements or eigenvalue computation is supplied in the provided text.
  2. [Cyclotomic specialization section] Cyclotomic specialization paragraph: the reduction of the relative operator to plethystic substitution by 1+t+⋯+t^{M-1} is asserted to follow immediately from the diagonality; without an explicit verification that the eigenvalues of the scaling operator match the claimed plethystic action on each p_{2k-1}, the subsequent Schur Q-positivity, reciprocity, and root-of-unity rank statements lack a demonstrated foundation.
  3. [M=2 computations] M=2 one-row transitions: the claim that nonzero coefficients are unimodal is presented as a computational result, but the manuscript supplies neither the explicit transition matrix entries nor the recurrence or generating-function argument used to establish unimodality, making independent verification impossible.
minor comments (2)
  1. [Introduction] Notation for the transition matrix C_λμ(t,s) is introduced without an explicit definition of the indexing or the precise normalization of the shifted bases.
  2. [Abstract] The abstract refers to 'weighted symmetry' and 'spin-character formula' without indicating the relevant theorem numbers or equations where these are proved.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where additional explicit justification would strengthen the manuscript. We address each major comment below.

read point-by-point responses

  1. Referee: [Abstract / §2] Abstract and §2 (definition of the relative scaling operator): the claim that this operator is diagonal in the odd power-sum basis p_{2k-1} is stated without derivation or reference to a prior identity; all subsequent spectral data, determinant formulas, and the cyclotomic plethystic substitution rest on this assertion, yet no explicit matrix elements or eigenvalue computation is supplied in the provided text.

    Authors: We agree that an explicit derivation is required. The diagonality follows directly from the definition of the modified Greaves-Jing-Zhu operator on the odd power-sum ring, but the manuscript does not compute the eigenvalues in §2. We will add a short proposition in §2 that derives the eigenvalue for each p_{2k-1} as a rational function of t and s. revision: yes

  2. Referee: [Cyclotomic specialization section] Cyclotomic specialization paragraph: the reduction of the relative operator to plethystic substitution by 1+t+⋯+t^{M-1} is asserted to follow immediately from the diagonality; without an explicit verification that the eigenvalues of the scaling operator match the claimed plethystic action on each p_{2k-1}, the subsequent Schur Q-positivity, reciprocity, and root-of-unity rank statements lack a demonstrated foundation.

    Authors: This is correct. While the reduction is immediate once the eigenvalues are known, the manuscript does not verify the matching explicitly. We will insert a short calculation in the cyclotomic section showing that the eigenvalue on p_{2k-1} under the (t^M, t) scaling equals the plethystic factor 1 + t + ⋯ + t^{M-1}. revision: yes

  3. Referee: [M=2 computations] M=2 one-row transitions: the claim that nonzero coefficients are unimodal is presented as a computational result, but the manuscript supplies neither the explicit transition matrix entries nor the recurrence or generating-function argument used to establish unimodality, making independent verification impossible.

    Authors: We agree that the explicit entries and the unimodality argument must be supplied for verifiability. The computations rely on the transition Cauchy identity and a three-term recurrence for the coefficients; the manuscript states the result but omits the data. We will add an appendix containing the explicit one-row transition matrices for M=2 together with a short inductive proof of unimodality via the recurrence. revision: yes

Circularity Check

0 steps flagged

No circularity; diagonality of relative scaling operator stated as input fact with independent consequences derived.

full rationale

The abstract asserts that the relative scaling operator is diagonal in the odd power-sum basis and states that this leads to spectral data, formulas, and identities. The shifted t-Schur functions are defined via the modified Greaves-Jing-Zhu operator applied to Q_λ[X-tX]. No quoted equation reduces a claimed prediction or result back to a fitted parameter or self-referential definition by construction. No self-citations are invoked as load-bearing uniqueness theorems. The cyclotomic specialization is obtained by direct substitution into the stated operator action. The derivation chain is self-contained against the stated assumption; the assumption itself is not shown to be constructed from the output quantities.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The abstract invokes the modified Greaves-Jing-Zhu operator on the odd power-sum ring and the diagonal action of a relative scaling operator; these are treated as background facts of the field rather than new postulates.

axioms (1)
  • domain assumption The relative scaling operator between shifted t- and s-Schur bases is diagonal in the odd power-sum basis.
    Stated in the abstract as the source of explicit spectral data and transition formulas.

pith-pipeline@v0.9.1-grok · 5711 in / 1255 out tokens · 21456 ms · 2026-06-30T09:44:00.124338+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Two-Color Lift of the Shifted $t$-Schur Measure

    math.PR 2026-07 unverdicted novelty 6.0

    Introduces a two-color lift of the shifted Schur measure on pairs of partitions and derives its normalization, marginals, transition kernel, and independence of color volumes.

  2. A Shifted $t$-Schur Weight from the Modified Odd Operator

    math.CO 2026-07 unverdicted novelty 5.0

    Defines shifted t-Schur weight via modified odd operator on strict partitions, derives normalization, Pfaffian correlation kernel, Fredholm Pfaffian for largest part, and size cumulants, with positive measure for t eq...

Reference graph

Works this paper leans on

7 extracted references · 4 canonical work pages · cited by 2 Pith papers · 2 internal anchors

  1. [1]

    Greaves, N

    G. Greaves, N. Jing, and H. Zhu, Vertex operators, infinite wedge representations, and correlation functions of the𝑡-Schur measure, arXiv:2602.14190, 2026

    work page arXiv 2026

  2. [2]

    V. N. Ivanov, Interpolation analogues of Schur𝑄-functions, J. Math. Sci. (N.Y.)131(2005), no. 3, 5495–5507; original preprint arXiv:math/0305419

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  3. [3]

    2, 340–398

    N.Jing, Vertexoperators,symmetricfunctions,andthespingroup Γ𝑛, J.Algebra138(1991), no. 2, 340–398. 13

    1991

  4. [4]

    A Modified Greaves--Jing--Zhu Operator and a Shifted $t$-Gessel Formula

    S.-J. Lee, A modified Greaves–Jing–Zhu operator and a shifted 𝑡-Gessel formula, arXiv:2606.22058, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  5. [5]

    I. G. Macdonald,Symmetric Functions and Hall Polynomials, second ed., Oxford University Press, Oxford, 1995

    1995

  6. [6]

    Rozhkovskaya, Linear transformations of vertex operator presentations of Hall– Littlewood polynomials, arXiv:2202.01544, 2022

    N. Rozhkovskaya, Linear transformations of vertex operator presentations of Hall– Littlewood polynomials, arXiv:2202.01544, 2022

    work page arXiv 2022

  7. [7]

    J. R. Stembridge, Shifted tableaux and the projective representations of symmetric groups, Adv. Math.74(1989), no. 1, 87–134. 14

    1989