[Paper Review] Superintegrable chiral Potts model: Proof of the conjecture for the coefficients of the generating function G(t,u)

Helen Au-Yang, Jacques H. H. Perk|arXiv (Cornell University)|Aug 23, 2011

Quantum chaos and dynamical systems9 references3 citations

TL;DR

This paper proves a long-standing conjecture on the coefficients of the two-variable generating function 𝒢(t,u) for the superintegrable chiral Potts model. Using MacMahon's summation method and symmetric function identities, the authors derive explicit expressions for the coefficients, confirming their symmetry and algebraic structure, which were previously supported only numerically. The proof establishes a key identity essential for computing pair correlations and order parameters in the model.

ABSTRACT

In this paper, we prove the conjecture for the coefficients of the two variable generating function used in our previous paper. The conjecture was tested numerically before, but its proof was lacking up to now.

Motivation & Objective

• To prove the conjecture for the coefficients of the two-variable generating function 𝒢(t,u) in the superintegrable chiral Potts model, which had been numerically verified but lacked analytical proof.
• To resolve the algebraic structure of the generating function's coefficients, particularly for cases where P > Q, which resisted prior proof methods used for P = Q.
• To provide a rigorous foundation for deriving the order parameter of the chiral Potts model via explicit ground state eigenvector expressions.
• To enable further computation of pair correlations in the superintegrable chiral spin chain by establishing a complete algebraic framework for the generating function.

Proposed method

• Employed MacMahon's summation method with auxiliary variables λi to transform the constrained sum over N2 ≤ N3 ≤ ⋯ ≤ NL into independent sums.
• Applied symmetric function identities, particularly Lemma 11.2.3 and Proposition 11.3.1 from [8], to simplify the multivariate rational function expressions.
• Used induction to prove the identity (4.2) that allows the evaluation of the sum 𝒮(λ) in (4.1), reducing the complexity of the generating function.
• Transformed the generating function 𝒢(t,u) into a simplified form via the relation 𝒢(t,u) = [𝒢₁ + α₁ + α₂] / [(1−t^N)(1−u^N)], enabling coefficient extraction.
• Performed a detailed coefficient analysis by reordering summations and changing variables, leading to explicit expressions in terms of ΛnP coefficients.
• Confirmed the symmetry 𝒢ℓ,k = 𝒢k,ℓ and derived the closed-form expression for 𝒢ℓN+Q,mN+P in terms of ΛnP = c_{nN+P}, matching the conjectured formula.

Experimental results

Research questions

• RQ1 What is the exact algebraic structure of the coefficients 𝒢ℓ,k in the two-variable generating function 𝒢(t,u) for the superintegrable chiral Potts model?
• RQ2 Why do the coefficients exhibit symmetry 𝒢ℓ,k = 𝒢k,ℓ, and can this be proven rigorously for all ℓ,k?
• RQ3 Can the conjectured formula for 𝒢ℓN+Q,mN+P with P > Q be derived from first principles, given that the P = Q case required different techniques?
• RQ4 How can the generating function be simplified using symmetric function theory and summation identities to enable coefficient extraction?
• RQ5 Does the derived expression for the coefficients match the known results for the order parameter and pair correlations in the model?

Key findings

• The conjectured formula for the coefficients 𝒢ℓN+Q,mN+P with P > Q is rigorously proven using MacMahon’s method and symmetric function identities.
• The coefficients satisfy the symmetry 𝒢ℓ,k = 𝒢k,ℓ, confirming a fundamental property of the generating function.
• The explicit expression for 𝒢ℓN+Q,mN+P is derived as a sum involving ΛnP = c_{nN+P}, matching the form conjectured in [1] and confirmed numerically.
• The proof establishes that the generating function 𝒢(t,u) can be decomposed into components that allow exact computation of pair correlations in the superintegrable chiral spin chain.
• The derivation confirms the validity of the generating function approach used in earlier work to derive Baxter’s formula for the order parameter.
• The final expression for the coefficients is shown to be equivalent to equation (3.7) in [1], completing the proof of the conjecture.