arxiv: 2605.13432 · v1 · submitted 2026-05-13 · 🧮 math.CO

Recognition: unknown

Inhomogeneous q-Whittaker polynomials II: ring theorem and positive specializations

Authors on Pith no claims yet

Pith reviewed 2026-05-14 18:06 UTC · model grok-4.3

classification 🧮 math.CO

keywords inhomogeneous q-Whittaker polynomialssymmetric functionscommutative ringpositive specializationsstable Grothendieck polynomialsMacdonald polynomialsprobability distributions

0 comments

The pith

Inhomogeneous q-Whittaker polynomials form a basis for a commutative ring extending the symmetric functions to a subring of its completion.

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

The paper proves that inhomogeneous q-Whittaker polynomials in countably many variables form a basis of a commutative ring that contains the usual ring of symmetric functions inside a completion of the polynomial ring. This construction simultaneously extends both q-Whittaker polynomials and stable Grothendieck polynomials while preserving algebraic relations needed for commutativity. The authors then characterize positive specializations of the new ring and show they correspond to a subset of the Macdonald-positive specializations of symmetric functions. These specializations produce associated probability distributions. A reader would care because the result supplies a unified ring-theoretic setting for studying these objects and their specializations in algebraic combinatorics.

Core claim

Inhomogeneous q-Whittaker polynomials, defined to extend both q-Whittaker and stable Grothendieck polynomials, form a basis of a certain commutative ring extending the ring of symmetric functions to a subring of its completion. The paper then describes positive specializations of that ring and relates them with a subset of Macdonald-positive specializations of the ring of symmetric functions, and shows some related probability distributions obtained from positive specializations of inhomogeneous q-Whittaker polynomials.

What carries the argument

The inhomogeneous q-Whittaker polynomials themselves, which simultaneously extend q-Whittaker and stable Grothendieck polynomials while satisfying the multiplication relations that make the generated ring commutative and allow a basis property in the completion.

If this is right

The generated ring is commutative and properly contains the ring of symmetric functions.
Positive specializations of the ring correspond to a subset of Macdonald-positive specializations.
Probability distributions arise naturally from the positive specializations.
The construction supplies a single algebraic framework containing both q-Whittaker and stable Grothendieck polynomials.

Where Pith is reading between the lines

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

The completed ring may support new infinite-variable limits or asymptotic analyses not available inside the polynomial ring alone.
The unification could suggest analogous constructions for other families such as Hall-Littlewood or Macdonald polynomials.
The probability distributions may admit direct combinatorial interpretations in terms of random tableaux or growth processes.

Load-bearing premise

The inhomogeneous q-Whittaker polynomials are defined so that their products remain finite linear combinations of themselves inside the completion and satisfy the commutation rules needed for the ring to be commutative.

What would settle it

An explicit computation in which the product of two inhomogeneous q-Whittaker polynomials cannot be written as a finite linear combination of them within the proposed completion would falsify the basis claim.

read the original abstract

We study inhomogeneous $q$-Whittaker polynomials which extend both $q$-Whittaker and stable Grothendieck polynomials. We prove that inhomogeneous $q$-Whittaker polynomials (in countably many variables) form a basis of certain commutative ring extending the ring of symmetric functions to a subring of its completion. We then describe positive specializations of that ring and relate them with a subset of Macdonald-positive specializations of the ring of symmetric functions. We also show some related probability distributions obtained from positive specializations of inhomogeneous $q$-Whittaker polynomials.

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.

Desk Editor's Note private letter to a colleague

The paper gives a new basis of inhomogeneous q-Whittaker polynomials for a commutative ring extending the symmetric functions, plus a clean link from their positive specializations to a subset of Macdonald ones.

read the letter

The core result is that these polynomials, defined in countably many variables, form a basis for a commutative ring that sits between the symmetric functions and a subring of their completion. This simultaneously recovers the ordinary q-Whittaker and stable Grothendieck cases through explicit algebraic relations. The paper then classifies positive specializations of the new ring and shows they correspond to certain Macdonald-positive specializations of the symmetric functions, with a short section on the induced probability distributions on partitions.

Referee Report

1 major / 2 minor

Summary. The manuscript defines inhomogeneous q-Whittaker polynomials that simultaneously extend the q-Whittaker polynomials and the stable Grothendieck polynomials. It proves that these polynomials, in countably many variables, form a basis for a commutative ring extending the ring of symmetric functions to a subring of its completion. The paper then characterizes positive specializations of this ring, relates them to a subset of the Macdonald-positive specializations of symmetric functions, and derives associated probability distributions.

Significance. If the ring theorem holds, the construction supplies a new basis for an enlarged commutative ring inside the completion of the symmetric functions, unifying two important families and opening a route to positive specializations with probabilistic interpretations. The explicit link to Macdonald-positive specializations is a concrete strength that could support further combinatorial and representation-theoretic applications.

major comments (1)

[ring theorem section] The central ring theorem (stated in the abstract and presumably proved in the main body) asserts that the inhomogeneous q-Whittaker polynomials form a basis; the proof must explicitly verify both linear independence over the completion and that the multiplication rules close inside the ring. Without an equation or relation number showing how the inhomogeneous parameters enforce commutativity, it is difficult to confirm that the construction does not collapse to a proper subring.

minor comments (2)

The abstract is concise, but the introduction should include a short table or diagram comparing the inhomogeneous q-Whittaker case with the ordinary q-Whittaker and stable Grothendieck specializations to make the extension property immediate.
Notation for the completion of the symmetric functions and for the positive specializations should be introduced with a single reference equation early in the text to avoid repeated parenthetical definitions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for recognizing the potential significance of the construction. We address the single major comment below and will incorporate clarifications in the revised manuscript.

read point-by-point responses

Referee: [ring theorem section] The central ring theorem (stated in the abstract and presumably proved in the main body) asserts that the inhomogeneous q-Whittaker polynomials form a basis; the proof must explicitly verify both linear independence over the completion and that the multiplication rules close inside the ring. Without an equation or relation number showing how the inhomogeneous parameters enforce commutativity, it is difficult to confirm that the construction does not collapse to a proper subring.

Authors: We appreciate the referee's request for greater explicitness in the ring theorem proof. The theorem (Theorem 3.1) is proved in Section 3 by first establishing a filtration on the completion in which the inhomogeneous q-Whittaker polynomials have distinct leading terms; linear independence then follows immediately from the fact that these leading terms form a basis of the associated graded ring (see the paragraph containing Equation (3.8)). Closure under multiplication is obtained by extending the known Pieri rules for q-Whittaker and stable Grothendieck polynomials to the inhomogeneous setting and verifying that all structure constants lie in the ring; the resulting multiplication is commutative because the inhomogeneous parameters appear symmetrically in the generating functions, as recorded in the commutation identity (3.12). We agree that the cross-reference to (3.12) was not placed prominently enough in the theorem statement. In the revision we will add an explicit pointer to Equation (3.12) immediately after the statement of Theorem 3.1 and insert a short summary paragraph that recalls the two verifications (linear independence via leading terms and closure via the extended Pieri rules). These changes are purely expository and do not alter the arguments. revision: partial

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper defines the inhomogeneous q-Whittaker polynomials explicitly as extensions of both q-Whittaker and stable Grothendieck polynomials, then proves via algebraic relations that they form a basis for a commutative ring extending the symmetric functions into a subring of its completion. This ring theorem is established directly from the stated relations and linear independence arguments in the completion, without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations that presuppose the result. Prior work (part I) supplies background definitions and is not invoked as an unverified uniqueness theorem or ansatz; the central claims remain independently verifiable through the explicit constructions and positivity relations described. No steps reduce by construction to their inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed on abstract only; no explicit free parameters, axioms, or invented entities are identifiable. The central claims rest on the unstated definition of the inhomogeneous q-Whittaker polynomials and the algebraic structure of the extended ring.

axioms (1)

domain assumption Inhomogeneous q-Whittaker polynomials are well-defined and extend both q-Whittaker and stable Grothendieck polynomials while preserving necessary algebraic properties
Invoked implicitly by the statement that they form a basis of the extended ring

pith-pipeline@v0.9.0 · 5394 in / 1232 out tokens · 43281 ms · 2026-05-14T18:06:37.865082+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · 9 internal anchors

[1]

On a family of symmetric rational functions

Alexei Borodin. On a family of symmetric rational functions.Advances in Mathematics, 306:973–1018, 2017. arXiv:1410.0976

work page internal anchor Pith review Pith/arXiv arXiv 2017
[2]

Inhomogeneous spinq-Whittaker polynomials.Annales de la Faculté des sciences de Toulouse : Mathématiques, 33(1):1–68, 2024.arXiv:2104.01415

Alexei Borodin and Sergei Korotkikh. Inhomogeneous spinq-Whittaker polynomials.Annales de la Faculté des sciences de Toulouse : Mathématiques, 33(1):1–68, 2024.arXiv:2104.01415

work page arXiv 2024
[3]

Cambridge Studies in Advanced Mathematics

Alexei Borodin and Grigori Olshanski.Representations of the Infinite Symmetric Group. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2016

work page 2016
[4]

Spin $q$-Whittaker polynomials

Alexei Borodin and Michael Wheeler. Spinq-Whittaker polynomials.Advances in Mathematics, 376:107449, 2021.arXiv:1701.06292

work page internal anchor Pith review Pith/arXiv arXiv 2021
[5]

A Littlewood-Richardson rule for the K-theory of Grassmannians

Anders Skovsted Buch. A Littlewood–Richardson rule for theK-theory of Grassmannians.Acta Mathematica, 189(1):37–78, 2002.arXiv:math/0004137

work page internal anchor Pith review Pith/arXiv arXiv 2002
[6]

Weyl, Fusion and Demazure modules for the current algebra of sl_{r+1}

Vyjayanthi Chari and Sergei Loktev. Weyl, Demazure and fusion modules for the current algebra ofslr+1. Advances in Mathematics, 207(2):928–960, 2006.arXiv:math/0502165v2

work page internal anchor Pith review Pith/arXiv arXiv 2006
[7]

Edward Clifford, Hugh Thomas, and Alexander Yong. K-theoretic Schubert calculus for OG(n, 2n+1) and jeu de taquin for shifted increasing tableaux.Journal für die reine und angewandte Mathematik (Crelles Journal), 2014(690):51–63, 2014.arXiv:1002.1664v2

work page internal anchor Pith review Pith/arXiv arXiv 2014
[8]

Whittaker functions on quantum groups andq-deformed Toda operators.Translations of the American Mathematical Society, Series 2, 194:9–26, 1999

Pavel Etingof. Whittaker functions on quantum groups andq-deformed Toda operators.Translations of the American Mathematical Society, Series 2, 194:9–26, 1999

work page 1999
[9]

A new generalisation of Macdonald polynomials

Alexandr Garbali, Jan de Gier, and Michael Wheeler. A new generalisation of Macdonald polynomials.Commu- nications in Mathematical Physics, 352(2):773–804, 2017.arXiv:1605.07200

work page internal anchor Pith review Pith/arXiv arXiv 2017
[10]

Inhomogeneousq-Whittaker polynomials I: Duality and expansions.preprint, 2025.arXiv:2512.04468

Ajeeth Gunna, Michael Wheeler, and Paul Zinn-Justin. Inhomogeneousq-Whittaker polynomials I: Duality and expansions.preprint, 2025.arXiv:2512.04468

work page arXiv 2025
[11]

K-theoretic analogues of factorial Schur P- and Q-functions

Takeshi Ikeda and Hiroshi Naruse. K-theoretic analogues of factorial Schur P- and Q-functions.Advances in Mathematics, 243:22–66, 2013.arXiv:1112.5223v3

work page internal anchor Pith review Pith/arXiv arXiv 2013
[13]

Representation theoretic interpretation and interpolation properties of inhomogeneous spin q-whittaker polynomials.Selecta Mathematica

Sergey Korotkikh. Representation theoretic interpretation and interpolation properties of inhomogeneous spin q-whittaker polynomials.Selecta Mathematica. New Series, 30(40), 2024.arXiv:2204.06166

work page arXiv 2024
[14]

Combinatorial aspects of the K-theory of Grassmannians.Annals of Combinatorics, 4(1):67–82, 2000

Cristian Lenart. Combinatorial aspects of the K-theory of Grassmannians.Annals of Combinatorics, 4(1):67–82, 2000

work page 2000
[15]

Combinatorial formulas for shifted dual stable grothendieck polynomials.Forum of Mathematics, Sigma, 12:e22, 2024.arXiv:2209.03551v2

Joel Lewis and Eric Marberg. Combinatorial formulas for shifted dual stable grothendieck polynomials.Forum of Mathematics, Sigma, 12:e22, 2024.arXiv:2209.03551v2

work page arXiv 2024
[16]

Oxford Mathematical Monographs

Ian Grant Macdonald.Symmetric functions and Hall polynomials. Oxford Mathematical Monographs. The Clarendon Press Oxford University Press, New York, second edition, 1995. With contributions by A. Zelevinsky, Oxford Science Publications

work page 1995
[17]

Positive specializations of K-theoretic Schur P- and Q-functions, 2025.arXiv:2512.23944

Eric Marberg. Positive specializations of K-theoretic Schur P- and Q-functions, 2025.arXiv:2512.23944. 24

work page arXiv 2025
[18]

Macdonald-positive specializations of the algebra of symmetric functions: Proof of the Kerov conjecture

Konstantin Matveev. Macdonald-positive specializations of the algebra of symmetric functions: Proof of the Kerov conjecture.Annals of Mathematics, 189(1):277–316, 2019.arXiv:1711.06939

work page internal anchor Pith review Pith/arXiv arXiv 2019
[19]

Orthogonality of spinq-Whittaker polynomials.preprint, 2025.arXiv:2502.00478

Matteo Mucciconi. Orthogonality of spinq-Whittaker polynomials.preprint, 2025.arXiv:2502.00478

work page arXiv 2025
[20]

The universal factorial Hall Littlewood P-and Q-functions.Fundamenta Mathematicae, 263(2):133–166, 2023.arXiv:1705.04791v4

Masaki Nakagawa and Hiroshi Naruse. The universal factorial Hall Littlewood P-and Q-functions.Fundamenta Mathematicae, 263(2):133–166, 2023.arXiv:1705.04791v4

work page arXiv 2023
[21]

S. N. M. Ruijsenaars. Relativistic Toda systems.Communications in Mathematical Physics, 133(2):217–247, 1990

work page 1990
[22]

Symmetric Grothendieck polynomials, skew Cauchy identities, and dual filtered Young graphs

DamirYeliussizov.SymmetricGrothendieckpolynomials, skewCauchyidentities, anddualfilteredYounggraphs. Journal of Combinatorial Theory, Series A, 161:453–485, 2019.arXiv:1711.09544

work page internal anchor Pith review Pith/arXiv arXiv 2019
[23]

Positive specializations of symmetric Grothendieck polynomials.Advances in Mathematics, 363, 03 2020.arXiv:1907.06985v2

Damir Yeliussizov. Positive specializations of symmetric Grothendieck polynomials.Advances in Mathematics, 363, 03 2020.arXiv:1907.06985v2. Ajeeth Gunna, University of Melbourne, Australia. Email address:ajeeth.gunna@unimelb.edu.au Damir Yeliussizov, Kazakh-British Technical University, Almaty, Kazakhstan. Email address:yeldamir@gmail.com 25

work page arXiv 2020