Skip to main content
Article thumbnail
Location of Repository


By Stavros Garoufalidis


Abstract. A holonomic (i.e., D-finite, or P-recursive) sequence is one that satisfies a linear recursion relation with polynomial coefficients. A multisum sequence is one that is given by a multisum of a proper hypergeometric term. A fundamental theorem of Wilf-Zeilberger states that every multisum sequence is holonomic. For over 15 years, it was accepted as a reasonable conjecture that the converse holds. Our main result is to prove and to explain why the converse does not hold, i.e., that there exist plenty holonomic sequences that are not balanced multisums. Our proof uses G-function theory and the quasi-unipotence of the local monodromy around the singularities. As a companion of our proof, we construct a class of G-functions that come from enumerative combinatorics that complement the G-functions that appear in geometry and arithmetic. In a separate paper we discuss an efficient ansatz for computing the singularities of the G-functions that come from enumerative combinatorics

Year: 2009
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.