Pith. sign in

REVIEW 4 major objections 5 minor 27 references

Macdonald operators and quantum Q-systems for classical types

T0 review · 4 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proposes that the quantum Q-systems of types $B_N$, $C_N$, $D_N$ have explicit solutions as $q$-difference operators, obtained as $t\to\infty$ limits of Macdonald–van Diejen operators evolved by Gaussian conjugation.

desk verdict A credible, honest conjectural extension of the type A functional representation to BCD; the B_N odd-order operator is the one load-bearing gap, and the numerical checks are under-documented. read the letter →

arxiv 1908.00806 v1 pith:JCRFJCFS submitted 2019-08-02 math-ph math.MPmath.RT

Philippe Di Francesco , Rinat Kedem This is my paper · ORCID
classification math-phmath.MPmath.RT MSC 17B3705E0533D5213F6081R50
keywords quantumQ-systemsMacdonaldoperatorsvanDiejenq-WhittakerfunctionsKR-modulesclusteralgebrasclassicalLieq-difference
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proposes that the quantum Q-systems of types $B_N$, $C_N$, $D_N$—recursions in non-commuting variables coming from quantized cluster algebras—have concrete solutions acting on symmetric functions. The proposed solutions are $q$-difference operators built from $t\to\infty$ limits of Macdonald and van Diejen operators, evolved in a discrete time variable by Gaussian conjugation. If the main conjecture is right, these operators form a functional representation of the quantum Q-system: every variable of the recursion is replaced by an explicit difference operator, just as was done previously for type $A$. The same operators at times $\pm1$ are then raising and lowering operators on $q$-Whittaker functions, with explicit scalar factors, and their iterated action on $1$ is conjectured to reproduce the graded characters of tensor products of KR-modules.

What carries the argument

The load-bearing construction is the Gaussian-conjugated quantum determinant. One starts from the $t\to\infty$ limits of the classical-type Macdonald and van Diejen difference operators $E^{(G)}_i$, which become $M^{(G)}_{i,0}$; conjugating by $\gamma^k$, with $\gamma=\exp\!\big(\sum_i (\log x_i)^2/(4\log q)\big)$, produces $M^{(G)}_{i,k}$. The operators for higher Dynkin labels are then defined as quantum determinants of the $M^{(G)}_{1,k}$ with parameter $q^2$, in analogy with type $A$. In type $B_N$ the top operator $M_{N,2k}$ is such a quantum determinant and $M_{N,2k+1}$ is defined implicitly through the square relation $(M_{N,2k+1})^2=q^N M_{N,2k+2}M_{N,2k}+q^{N-1-(2k+1)}M_{N-1,k+1}M_{N-1,k}$. The quantum Q-system relations are then conjectured to hold for all $a,k$; these relations are what make the operators act on $q$-Whittaker functions by adding or subtracting weights.

What would settle it

Take $N=3$ for type $B_3$ and attempt to construct $M_{3,1}$ explicitly by solving $(M_{3,1})^2 = q^3 M_{3,2}M_{3,0} + q^{N-1-1} M_{2,1}M_{2,0}$; a computer algebra check on the space of symmetric Laurent polynomials in three variables will either find such a difference operator or not. If no operator of finite-difference form with rational coefficients exists, Conjecture 4.3 fails for type $B_3$; conversely, once $M_{3,1}$ is found, substituting all $M_{a,k}$ into (4.13)–(4.17) for all integer $k$ is a finite, checkable identity.

Watch

Extended reading notes

Core claim

On its own terms, the paper claims that for each classical Lie type $G\in\{B_N,C_N,D_N\}$ there is a family of $q$-difference operators $M^{(G)}_{a,k}$, acting on Weyl-symmetric Laurent polynomials, that satisfy the renormalized quantum Q-system relations (4.13)–(4.17). At time $k=0$ these operators are the $t\to\infty$ limits of the appropriate Macdonald (or van Diejen) commuting difference operators, so the $q$-Whittaker functions $\Pi^{(G)}_\lambda$ are their common eigenfunctions; discrete time evolution $k\mapsto k+1$ is implemented by conjugation with a Gaussian function. The paper further conjectures that $M^{(G)}_{a,1}$ and $M^{(G)}_{a,-1}$ add or remove a fundamental weight in the $q$-Whittaker basis with the explicit scalars of (5.1)–(5.2), and that ordered products of these operators applied to $1$ reproduce graded characters of tensor products of KR-modules (Conjecture 6.1). The assertions are verified numerically up to rank $N=6$.

Load-bearing premise

In type $B_N$ the highest-order operator $M_{N,2k+1}$ is never written out explicitly; the whole $B_N$ conjecture assumes that a $q$-difference operator on symmetric functions exists whose square is the right-hand side of (4.15) and that all remaining Q-system relations then hold. If that square-root operator does not exist, the type $B_N$ part of the main conjecture collapses.

Editorial extensions

If this is right

  • If Conjecture 4.3 holds, each quantum Q-system of types $B_N$, $C_N$, $D_N$ admits a concrete realization as $q$-difference operators on symmetric functions, making the cluster-algebra recurrences explicitly computable.
  • If Conjecture 5.1 holds, the $q$-Whittaker functions form a weight basis for these operators: $M^{(g)}_{a,1}$ adds the fundamental weight $\omega_a$ and $M^{(g)}_{a,-1}$ removes it, with the scalar factors of (5.1)–(5.2).
  • With the ordering of Conjecture 6.1, iterating the operators on the constant function $1$ produces the graded characters of fusion products of KR-modules for the classical types.
  • In the level-one case, the action of the raising operators reproduces the known correspondence between graded characters and specialized $q$-Whittaker functions.
  • The construction suggests that every cluster variable in the corresponding quantum cluster algebra is itself a difference operator, a stronger property than the ordinary Laurent phenomenon in cluster algebras.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If both conjectures are proved, the natural next step is to identify the $t$-deformation of the B/C/D quantum Q-systems with the spherical double affine Hecke algebras of those types, extending the type-A result to all classical root systems; the paper gestures at this direction but does not establish it.
  • The implicit definition of $M_{N,2k+1}$ in type $B_N$ could be tested independently by searching for a square root among explicit first-order difference operators; existence of such a root would give a constructive route to proving the $B_N$ relations.
  • The parity splitting in types $B$ and $C$, where short-root labels evolve with a separate even/odd time step, suggests that a full proof will need a separate treatment of short and long roots, mirroring the factors $t_a=2$ versus $t_a=1$.
  • One could attempt to extend the functional representation to twisted or exceptional types, or to use the operator representation to derive explicit fermionic formulas for graded characters, but those extensions lie beyond what the paper claims.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper proposes q-difference operator solutions to the quantum Q-systems of types D_N, B_N, and C_N, generalizing the authors' earlier construction in type A. The operators M^{(g)}_{a,k} are obtained as t-to-infinity limits of Macdonald and van Diejen operators of the relevant classical type, followed by discrete time evolution via conjugation by a Gaussian function. The main statements are three conjectures: Conjecture 4.3, that these operators satisfy renormalized quantum Q-system relations; Conjecture 5.1, that the operators at times k=+1 and k=-1 act as raising and lowering operators on dual q-Whittaker functions with explicit scalar factors; and Conjecture 6.1, that iterated actions of the operators generate graded characters of tensor products of KR-modules. Evidence is provided through small-rank examples in Appendix A, including B2, C2, A3/D3, and D4, and through internal consistency checks such as Dynkin diagram symmetries and the B2/C2 and sl4/D3 dualities.

Significance. If the conjectures hold, the paper provides a functional representation of quantum Q-systems for all classical types and a concrete raising/lowering picture for q-Whittaker functions, with direct applications to graded characters of KR-modules. The paper is valuable for making these connections explicit, for identifying the correct t-to-infinity limits of Macdonald/van Diejen operators, and for formulating a precise set of conjectures with nontrivial low-rank checks. The authors are honest about the conjectural status of the central claims, and the small-rank examples, especially the symmetry checks, give some independent evidence. However, the construction is not fully well-posed as it stands because the highest-order type B_N operators are only defined through a square-root relation.

major comments (4)
  1. [Section 4.5, Eq. (4.15)] For type B_N, the operators M_{N,2k+1} are never explicitly constructed; Eq. (4.15) only characterizes their square as q^N M_{N,2k+2} M_{N,2k} + q^{N-1-(2k+1)} M_{N-1,k+1} M_{N-1,k}. The manuscript itself states that this 'can be used to determine' the operators and that satisfaction of the remaining equations is 'a highly non-trivial check,' but no existence proof, explicit formula, or uniqueness statement is provided. Since every B_N statement in Conjectures 4.3, 5.1, and 6.1 depends on these operators, this is load-bearing. The paper should either give a normal-ordered explicit formula for M_{N,2k+1}, or state the existence as a separate conjecture with a precise verification strategy, and address the non-uniqueness question.
  2. [Section 4.5] The claimed numerical checks of Conjecture 4.3 up to N=6 are not documented. Appendix A exhibits only B2, C2, A3/D3, and D4 and verifies Dynkin automorphism symmetries; it does not show that the full system of relations (4.13)-(4.17) holds for N=4,5,6. Please provide reproducible code or an explicit record of which relations were checked at which rank, especially for B_N, where M_{N,2k+1} is determined through the square-root equation.
  3. [Section 5, Conjecture 5.1] The explicit scalar factors in the raising and lowering conjectures are asserted but not derived. The argument following Eq. (5.2) establishes only that M^{(g)}_{b,1} Pi_\lambda is proportional to Pi_{\lambda+\omega_b}; the proportionality factor q^{...} is then conjectured and said to have been checked numerically. In type A, Theorem 3.6 supplies a leading-term proof of the scalar; no analogous computation is given here. The lowering factor also relies on Conjecture 4.3. Please include the leading-term computation or state explicitly which scalar factors are part of the conjecture and which are proven.
  4. [Section 6, Conjecture 6.1] The graded character formula in Conjecture 6.1 is conditional on both Conjectures 4.3 and 5.1, and the level-one identification in Eq. (6.1) inherits the ambiguity of the B_N highest-order operators. If M_{N,2k+1} is not unique, then the character formula and the quadratic form Q^{(g)} may depend on the chosen square root. The paper should clarify how the character formula is independent of that choice, or restrict the conjecture to types D_N and C_N where the operator definitions are explicit.
minor comments (5)
  1. [Introduction, page 1] The word 'Dykyn' should be 'Dynkin'.
  2. [Eq. (2.9), type B_N Q-system] In the last line, 'QN -1,n' should be 'QN -1,k'.
  3. [Acknowledgments] 'NFS grant' should be 'NSF grant'.
  4. [Definition 4.2] The notation M^{(g)}({a}) and the sentence 'the quantum determinant has parameter q^2 instead of q' are terse; please spell out the q^2-Hankel determinant definition explicitly.
  5. [Appendix A] The q-Whittaker functions are indexed by partitions and by half-integer weights in the D_N examples; please clarify the dominance ordering used in the expansions in the Weyl-invariant Schur basis.

Circularity Check

1 steps flagged · score 6.0 of 10

In type B_N the order-N odd-time operator is defined by Eq. (4.15), so that Q-system relation is true by construction rather than by prediction.

  1. self definitional [Section 4.5, definition of M_{N,2k+1} for type B_N, following Eq. (4.15)]
    "These operators can be defined also by taking the quantum Q-system as the defining set of equations. First, define MN,2k = |M({k, k, ..., k})|q2 ... Then Equation (4.15) gives information about MN,2k+1: (MN,2k+1)2 = qN MN,2k+2 MN,2k + qN−1−(2k+1)MN−1,k+1 MN−1,k."

    Conjecture 4.3 lists Eq. (4.15) as one of the type-B_N quantum Q-system relations that the operators are claimed to obey. Section 4.5 then uses exactly that equation to define the missing order-N odd-time operator: M_{N,2k+1} is declared to be a square root of q^N M_{N,2k+2}M_{N,2k} + q^{N-1-(2k+1)}M_{N-1,k+1}M_{N-1,k}. Thus the (4.15) part of the conjecture is not an independent prediction; it is imposed by definition. What remains genuinely open is the existence of a q-difference operator square root and the verification of the other B_N relations, which the paper itself acknowledges as a highly non-trivial check.

full rationale

The paper is mostly a self-contained conjectural construction. For types D_N and C_N, the operators are obtained from explicit t→∞ limits of Macdonald and van Diejen operators, higher labels are defined through quantum determinants, and the discrete-time evolution is implemented by Gaussian conjugation. Conjectures 4.3, 5.1, and 6.1 are genuine conjectures with numerical checks and worked small-rank examples. The only concrete reduction-by-construction occurs in type B_N: the operator M_{N,2k+1} is not given by an explicit formula; instead, Section 4.5 says it is determined by Eq. (4.15), which is itself one of the Q-system relations appearing in Conjecture 4.3. Consequently, for B_N, that relation is true by definition, not by derivation. The paper is transparent about this, stating that the remaining verification is a highly non-trivial check, so this is not a hidden circularity, but it is a load-bearing definitional step in the central conjecture. Since the D_N and C_N claims have independent content and the B_N circularity is partial, the appropriate score is 6 rather than 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central construction relies on standard Macdonald-van Diejen theory (domain assumptions) and one genuinely ad hoc assumption about the existence of the B_N operator. No free parameters are fitted to data; q remains a formal variable.

assumptions (5)
  • domain assumption The t->infinity limits in Section 4.2 of the Macdonald and van Diejen operators (4.1)-(4.6) exist and yield the operators M^{(g)}_{i,0}.
    The paper quotes these limits without proof, relying on standard Macdonald theory; used to define the seed operators.
  • domain assumption Gaussian conjugation (Definition 4.1) produces a consistent discrete time evolution M^{(g)}_{a,k} for all integers k, as in type A (Theorem 3.5).
    This is the main structural analogy with type A; not proven for BCD.
  • ad hoc to paper In type B_N, an order-N q-difference operator M_{N,k} exists whose square equals the right-hand side of equation (4.15).
    The operator is defined implicitly via the Q-system in Section 4.5; existence is part of the conjecture.
  • domain assumption The q-Whittaker functions Pi^{(g)}_lambda are common eigenfunctions of the operators M^{(g)}_{a,0}.
    Stated before Conjecture 5.1; follows from Macdonald eigenvalue theory in the t->infinity limit.
  • domain assumption The quantum determinant formula (4.12) with parameter q^2 yields operators M^{(g)}_{a,k} that satisfy the expected A-type commutation relations among themselves.
    Definition 4.2 assumes the type A determinant construction generalizes to BCD; supports the closure of the Q-system.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Macdonald operators and quantum Q-systems for classical types." pith.science (2026). https://pith.science/paper/JCRFJCFS

@misc{pith2026190800806,
  author       = {Pith},
  title        = {Pith review of: Macdonald operators and quantum Q-systems for classical types},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JCRFJCFS}},
  note         = {Machine review of arXiv:1908.00806}
}
abstract

We propose solutions of the quantum Q-systems of types $B_N,C_N,D_N$ in terms of $q$-difference operators, generalizing our previous construction for the Q-system of type $A$. The difference operators are interpreted as $q$-Whittaker limits of discrete time evolutions of Macdonald-van Diejen type operators. We conjecture that these new operators act as raising and lowering operators for $q$-Whittaker functions, which are special cases of graded characters of fusion products of KR-modules.

Figures

Figures reproduced from arXiv: 1908.00806 by the authors.

Figure 1
Figure 1. The quivers for the AN−1, DN , BN , CN Q-system cluster algebras. We have indicated a generic Q-system cluster along the bipartite belt: each vertex labelled (a, k) corresponds to a cluster variable Qa,k. Nodes corresponding to short roots are denoted by empty circles. evolution of the initial cluster (X, B) [DFK09]. The subset of mutations on the (general￾ized) bipartite belt which generates all the cluster variabl… view at source ↗
Figure 2
Figure 2. The type A quantum Q-system quiver corresponding to the initial seed {Qa,0, Qa,1}. Square nodes denote coefficients. The quantum determinant of this matrix, denoted by Qe[k1, k2, ..., ka], is given by the coeffi￾cients of the generating function: X k1,...,kα∈Z u k1 1 · · · u kα a Qe[k1, ..., ka] = Y 1≤i<j≤a  1 − q uj ui  Qe(u1)Qe(u2)· · ·Qe(uα), where Qe(u) := X k∈Z u k Qe k. The quantum determinant Qe[k1, ..., ka… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 19 canonical work pages

  1. [1]

    Fusion products of K irillov- R eshetikhin modules and fermionic multiplicity formulas

    Eddy Ardonne and Rinat Kedem. Fusion products of K irillov- R eshetikhin modules and fermionic multiplicity formulas. J. Algebra , 308(1):270--294, 2007

    work page 2007

  2. [2]

    Zur T heorie der M etalle

    Hans Bethe. Zur T heorie der M etalle. I . E igenwerte und E igenfunktionen der linearen A tomkette. Zeitschrift f\"ur Physik 71 , 71:205â226, 1931

    work page 1931

  3. [3]

    Coulomb branches of 3d n=4 quiver gauge theories and slices in the affine grassmannian, 2016

    Alexander Braverman, Michael Finkelberg, and Hiraku Nakajima. Coulomb branches of 3d n=4 quiver gauge theories and slices in the affine grassmannian, 2016. Preprint arXiv:arXiv:1604.03625v5 [math.RT]

    arXiv 2016

  4. [4]

    Quantum cluster algebras

    Arkady Berenstein and Andrei Zelevinsky. Quantum cluster algebras. Adv. Math. , 195(2):405--455, 2005

    work page 2005

  5. [5]

    Double affine H ecke algebras , volume 319 of London Mathematical Society Lecture Note Series

    Ivan Cherednik. Double affine H ecke algebras , volume 319 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 2005

    2005

  6. [6]

    Proof of the combinatorial K irillov- R eshetikhin conjecture

    Philippe Di Francesco and Rinat Kedem. Proof of the combinatorial K irillov- R eshetikhin conjecture. Int. Math. Res. Not. IMRN , (7):Art. ID rnn006, 57, 2008

    work page 2008

  7. [7]

    Q -systems as cluster algebras

    Philippe Di Francesco and Rinat Kedem. Q -systems as cluster algebras. II . C artan matrix of finite type and the polynomial property. Lett. Math. Phys. , 89(3):183--216, 2009

    2009

  8. [8]

    Quantum cluster algebras and fusion products

    Philippe Di Francesco and Rinat Kedem. Quantum cluster algebras and fusion products. Int. Math. Res. Not. IMRN , (10):2593--2642, 2014

    work page 2014

Show all 27 references
  1. [9]

    Quantum Q systems: from cluster algebras to quantum current algebras

    Philippe Di Francesco and Rinat Kedem. Quantum Q systems: from cluster algebras to quantum current algebras. Lett. Math. Phys. , 107(2):301--341, 2017

    2017

  2. [10]

    Di Francesco and R

    P. Di Francesco and R. Kedem. Difference equations for graded characters from quantum cluster algebra. Transform. Groups , 23(2):391--424, 2018

    2018

  3. [11]

    ( q,t )- D eformed Q - S ystems, DAHA and Q uantum T oroidal A lgebras via G eneralized M acdonald O perators

    Philippe Di Francesco and Rinat Kedem. ( q,t )- D eformed Q - S ystems, DAHA and Q uantum T oroidal A lgebras via G eneralized M acdonald O perators. Comm. Math. Phys. , 369(3):867--928, 2019

    2019

  4. [12]

    On generalized K ostka polynomials and the quantum V erlinde rule

    Boris Feigin and Sergey Loktev. On generalized K ostka polynomials and the quantum V erlinde rule. In Differential topology, infinite-dimensional L ie algebras, and applications , volume 194 of Amer. Math. Soc. Transl. Ser. 2 , pages 61--79. Amer. Math. Soc., Providence, RI, 1999

    1999

  5. [13]

    Cluster algebras

    Sergey Fomin and Andrei Zelevinsky. Cluster algebras. I . F oundations. J. Amer. Math. Soc. , 15(2):497--529, 2002

    2002

  6. [14]

    Cluster algebras and P oisson geometry , volume 167 of Mathematical Surveys and Monographs

    Michael Gekhtman, Michael Shapiro, and Alek Vainshtein. Cluster algebras and P oisson geometry , volume 167 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2010

    2010

  7. [15]

    Hatayama, A

    G. Hatayama, A. Kuniba, M. Okado, T. Takagi, and Y. Yamada. Remarks on fermionic formula. In Recent developments in quantum affine algebras and related topics ( R aleigh, NC , 1998) , volume 248 of Contemp. Math. , pages 243--291. Amer. Math. Soc., Providence, RI, 1999

    1998

  8. [16]

    Q -systems as cluster algebras

    Rinat Kedem. Q -systems as cluster algebras. J. Phys. A , 41(19):194011, 14, 2008

    2008

  9. [17]

    A. N. Kirillov and M. Noumi. q -difference raising operators for M acdonald polynomials and the integrality of transition coefficients. In Algebraic methods and q -special functions ( M ontr\'eal, QC , 1996) , volume 22 of CRM Proc. Lecture Notes , pages 227--243. Amer. Math. ...

    1996

  10. [18]

    Functional relations in solvable lattice models

    Atsuo Kuniba, Tomoki Nakanishi, and Junji Suzuki. Functional relations in solvable lattice models. I . F unctional relations and representation theory. Internat. J. Modern Phys. A , 9(30):5215--5266, 1994

    1994

  11. [19]

    A. N. Kirillov and N. Yu. Reshetikhin. Representations of Y angians and multiplicities of the inclusion of the irreducible components of the tensor product of representations of simple L ie algebras. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) , 160(Anal. Te...

    1987

  12. [20]

    Quantum q-systems and fermionic sums -- the non-simply laced case, 2019

    Mingyan Simon Lin. Quantum q-systems and fermionic sums -- the non-simply laced case, 2019. Preprint arXiv:1903.11492v2 [math.QA]

    2019 arXiv

  13. [21]

    A uniform model for K irillov- R eshetikhin crystals II

    Cristian Lenart, Satoshi Naito, Daisuke Sagaki, Anne Schilling, and Mark Shimozono. A uniform model for K irillov- R eshetikhin crystals II . A lcove model, path model, and P=X . Int. Math. Res. Not. IMRN , (14):4259--4319, 2017

    2017

  14. [22]

    I. G. Macdonald. Orthogonal polynomials associated with root systems. S\' e m. Lothar. Combin. , 45:Art. B45a, 40, 2000/01

    2000

  15. [23]

    I. G. Macdonald. Symmetric functions and H all polynomials . Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, second edition, 1995. With contributions by A. Zelevinsky, Oxford Science Publications

    1995

  16. [24]

    Factorization of S chur functions of various types

    Hiroshi Mizukawa. Factorization of S chur functions of various types. J. Algebra , 269(1):215--226, 2003

    2003

  17. [25]

    Drinfeld realization of the elliptic H all algebra

    Olivier Schiffmann. Drinfeld realization of the elliptic H all algebra. J. Algebraic Combin. , 35(2):237--262, 2012

    2012

  18. [26]

    J. F. van Diejen. Commuting difference operators with polynomial eigenfunctions. Compositio Math. , 95(2):183--233, 1995

    1995

  19. [27]

    J. F. van Diejen and E. Emsiz. A generalized M acdonald operator. Int. Math. Res. Not. IMRN , (15):3560--3574, 2011

    2011

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.