[Paper Review] Proof of a Conjecture of Chan, Robbins, and Yuen

Doron Zeilberger|ArXiv.org|Nov 18, 1998

Advanced Combinatorial MathematicsMathematics1 references19 citations

TL;DR

This paper proves a conjecture by Chan, Robbins, and Yuen that the volume of a specific $ n(n-1)/2 $-dimensional polytope equals the product of the first $ n-1 $ Catalan numbers. Using the Morris Constant Term Identity with parameter specialization $ a=2, b=0, c=1/2 $, the author derives the constant term identity equivalent to the conjecture, confirming the volume formula via gamma function identities and Legendre's duplication formula.

ABSTRACT

Using the celebrated Morris Constant Term Identity, we deduce a recent conjecture of Chan, Robbins, and Yuen (math.CO/9810154), that asserts that the volume of a certain $n(n-1)/2$-dimensional polytope is given by the product of the first n-1 Catalan numbers.

Motivation & Objective

• To prove a conjecture by Chan, Robbins, and Yuen relating the volume of a specific polytope to the product of the first $ n-1 $ Catalan numbers.
• To establish the equivalence between the conjectured volume and a constant term identity involving rational functions in $ n $ variables.
• To demonstrate that the constant term identity follows from the Morris Constant Term Identity under specific parameter specialization.
• To show that the resulting expression simplifies to the product of Catalan numbers using gamma function identities.

Proposed method

• Apply the Morris Constant Term Identity with parameters $ a=2 $, $ b=0 $, $ c=1/2 $ to derive the key constant term identity.
• Transform the left-hand side of the identity into a multivariate constant term expression involving $ (1 - x_i)^{-2} $ and $ (x_j - x_i)^{-1} $.
• Use Legendre’s duplication formula to simplify the ratio of gamma functions in the resulting expression.
• Verify that the simplified product matches the product of the first $ n-1 $ Catalan numbers.
• Establish a connection between the constant term identity and the Selberg integral via contour integral representation.
• Extend the method to prove related conjectures by Chan, Robbins, and Yuen by introducing additional variables and modifying the generating function.

Experimental results

Research questions

• RQ1 Does the volume of the $ n(n-1)/2 $-dimensional polytope defined by Chan, Robbins, and Yuen equal the product of the first $ n-1 $ Catalan numbers?
• RQ2 Can the constant term identity equivalent to the conjecture be derived from the Morris Constant Term Identity?
• RQ3 Is the specialization $ a=2, b=0, c=1/2 $ of the Morris identity sufficient to recover the Catalan product formula?
• RQ4 How do gamma function identities, particularly Legendre’s duplication formula, facilitate the simplification of the resulting expression?
• RQ5 Can the method be extended to prove the other conjectures proposed by Chan, Robbins, and Yuen?

Key findings

• The conjectured volume of the polytope is confirmed to be equal to the product of the first $ n-1 $ Catalan numbers.
• The constant term identity (CRY) is rigorously derived as a special case of the Morris Constant Term Identity.
• The specialization $ a=2, b=0, c=1/2 $ reduces the Morris identity to the product of Catalan numbers via gamma function identities.
• Legendre’s duplication formula is applied three times to simplify the ratio of gamma functions and recover the Catalan number $ \binom{2n}{n}/(n+1) $.
• The left-hand side of the constant term identity is shown to be equivalent to a contour integral matching the Selberg integral form under variable substitution.
• The method extends to prove Conjecture 2 and Conjecture 3 of Chan, Robbins, and Yuen by introducing a new variable $ t $ and modifying the generating function accordingly.