Journal of Algebraic Combinatorics

, Volume 42, Issue 2, pp 555–603 | Cite as

Refined Cauchy/Littlewood identities and six-vertex model partition functions: II. Proofs and new conjectures

  • D. Betea
  • M. WheelerEmail author
  • P. Zinn-Justin


We prove two identities of Hall–Littlewood polynomials, which appeared recently in Betea and Wheeler (2014). We also conjecture, and in some cases prove, new identities which relate infinite sums of symmetric polynomials and partition functions associated with symmetry classes of alternating sign matrices. These identities generalize those already found in Betea and Wheeler (2014), via the introduction of additional parameters. The left-hand side of each of our identities is a simple refinement of a relevant Cauchy or Littlewood identity. The right-hand side of each identity is (one of the two factors present in) the partition function of the six-vertex model on a relevant domain.


Cauchy and Littlewood identities Symmetric functions  Alternating sign matrices Six-vertex model 



We express our sincere thanks to Ole Warnaar, for many valuable insights and suggestions which motivated this work, and in particular for suggesting the idea of \(u\)-deformations of the original identities (1)–(3), and to Eric Rains, for helping us in arriving at Conjecture 1. M.W. would like to thank Frédéric Jouhet for his interest in this work and for pointing out the reference [1], and Jean-Christophe Aval, Philippe Nadeau and Eric Ragoucy for invitations to present related work at LaBRI, ICJ and LAPTh, respectively. We finally wish to acknowledge the open-source package Sage whose built-in functions for Hall–Littlewood and Macdonald polynomials were indispensable in verifying some of the conjectures. This work was done under the support of the ERC Grant 278124, “Loop models, integrability and combinatorics”.


  1. 1.
    Andrews, G.E., Goulden, I.P., Jackson, D.M.: Generalizations of Cauchy’s summation theorem for Schur functions. Trans. Am. Math. Soc. 310(2), 805–820 (1988)MathSciNetzbMATHGoogle Scholar
  2. 2.
    Betea, D., Wheeler, M.: Refined Cauchy and littlewood identities, plane partitions, and symmetry classes of alternating sign matrices (2014). arXiv:1402.0229
  3. 3.
    Izergin, A.G.: Partition function of the six-vertex model in a finite volume. Dokl. Akad. Nauk SSSR 297(2), 331–333 (1987)MathSciNetGoogle Scholar
  4. 4.
    Kirillov, A.N., Noumi, M.: \(q\)-difference raising operators for Macdonald polynomials and the integrality of transition coefficients. In: Algebraic Methods and \(q\)-Special Functions (Montréal, QC, 1996), CRM Proc. Lecture Notes, vol. 22. Am. Math. Soc, Providence, RI, pp. 227–243 (1999)Google Scholar
  5. 5.
    Korepin, V., Zinn-Justin, P.: Thermodynamic limit of the six-vertex model with domain wall boundary conditions. J. Phys. A 33(40), 7053–7066 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Korepin, V.E.: Calculation of norms of Bethe wave functions. Commun. Math. Phys. 86(3), 391–418 (1982)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Kuperberg, G.: Another proof of the alternating-sign matrix conjecture. Int. Math. Res. Not. 3, 139–150 (1996)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Kuperberg, G.: Symmetry classes of alternating-sign matrices under one roof. Ann. Math. 156(3), 835–866 (2002)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Macdonald, I.G.: Symmetric Functions and Hall Polynomials. Oxford Mathematical Monographs, 2nd edn. The Clarendon Press, Oxford University Press, New York (1995). With contributions by A Zelevinsky, Oxford Science Publications (1995)Google Scholar
  10. 10.
    Okounkov, A.: BC-type interpolation Macdonald polynomials and binomial formula for Koornwinder polynomials. Transform. Groups 3(2), 181–207 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Rains, E.M.: \(\text{ BC }_n\)-symmetric polynomials. Transform. Groups 10(1), 63–132 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Sklyanin, E.K.: Boundary conditions for integrable quantum systems. J. Phys. A 21(10), 2375–2389 (1988)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Sundaram, S.: Tableaux in the representation theory of the classical Lie groups. In: Invariant Theory and Tableaux (Minneapolis, MN, 1988), IMA Vol. Math. Appl., vol. 19. Springer, New York, pp. 191–225 (1990)Google Scholar
  14. 14.
    Tsuchiya, O.: Determinant formula for the six-vertex model with reflecting end. J. Math. Phys. 39(11), 5946–5951 (1998)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Venkateswaran, V.: Symmetric and nonsymmetric Hall–Littlewood polynomials of type BC (2013). arXiv:1209.2933v2
  16. 16.
    Vuletić, M.: A generalization of MacMahon’s formula. Trans. Am. Math. Soc. 361(5), 2789–2804 (2009)CrossRefzbMATHGoogle Scholar
  17. 17.
    Warnaar, S.O.: Bisymmetric functions, Macdonald polynomials and \(sl_{3}\) basic hypergeometric series. Compos. Math. 144(2), 271–303 (2008)MathSciNetzbMATHGoogle Scholar
  18. 18.
    Warnaar, S.O.: Remarks on the paper “Skew Pieri rules for Hall–Littlewood functions” by Konvalinka and Lauve. J. Algebr. Comb. 38(3), 519–526 (2013)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2015

Authors and Affiliations

  1. 1.Laboratoire de Physique Théorique et Hautes Énergies, CNRS UMR 7589, Université Pierre et Marie Curie (Paris 6)Paris Cedex 05France

Personalised recommendations