Ising n-fold integrals as diagonals of rational functions and integrality of series expansions

Abstract

We show that the n-fold integrals ${\chi }^{(n)}$ of the magnetic susceptibility of the Ising model, as well as various other n-fold integrals of the "Ising class", or n-fold integrals from enumerative combinatorics, like lattice Green functions, correspond to a distinguished class of function generalising algebraic functions: they are actually diagonals of rational functions. As a consequence, the power series expansions of the, analytic at x=0, solutions of these linear differential equations "Derived From Geometry" are globally bounded, which means that, after just one rescaling of the expansion variable, they can be cast into series expansions with integer coefficients. We also give several results showing that the unique analytical solution of Calabi-Yau ODEs, and, more generally, Picard-Fuchs linear ODEs, with solutions of maximal weights, are always diagonal of rational functions. Besides, in a more enumerative combinatorics context, generating functions whose coefficients are expressed in terms of nested sums of products of binomial terms can also be shown to be diagonals of rational functions. We finally address the question of the relations between the notion of integrality (series with integer coefficients, or, more generally, globally bounded series) and the modularity of ODEs.

arXiv commentThis paper is the short version of the larger (100 pages) version, available as arXiv:1211.6031 , where all the detailed proofs are given and where a much larger set of examples is displayed

References in corpus (38)

• 25th-order high-temperature expansion results for three-dimensional Ising-like systems on the simple cubic lattice
• Arithmetic Properties of Mirror Map and Quantum Coupling
• Tables of Calabi--Yau equations
• Lattice Green functions in all dimensions
• Generalized Hypergeometric Functions and Rational Curves on Calabi-Yau Complete Intersections in Toric Varieties
• On Rationally Parametrized Modular Equations
• Experimental mathematics on the magnetic susceptibility of the square lattice Ising model
• The Fuchsian differential equation of the square lattice Ising model $\chi (3)$ susceptibility
• Differential equations, mirror maps and zeta values
• High order Fuchsian equations for the square lattice Ising model: ${\tilde{\chi }}^{(5)}$
• Square lattice Ising model susceptibility: connection matrices and singular behavior of ${\chi }^{(3)}$ and ${\chi }^{(4)}$
• The importance of the Ising model
• Ising model susceptibility: Fuchsian differential equation for ${\chi }^{(4)}$ and its factorization properties
• The diagonal Ising susceptibility
• The Ising model: from elliptic curves to modular forms and Calabi-Yau equations
• A library of extended high-temperature expansions of basic observables for the spin S Ising models on two- and three-dimensional lattices
• Factorial ratios, hypergeometric series, and a family of step functions
• Singularities of $n$-fold integrals of the Ising class and the theory of elliptic curves
• Modular Solutions to Equations of Generalized Halphen Type
• Integral ratios of factorials and algebraic hypergeometric functions
• High order Fuchsian equations for the square lattice Ising model: ${\chi }^{(6)}$
• Spanning tree generating functions and Mahler measures
• New Algorithm of the Finite Lattice Method for the High-temperature Expansion of the Ising Model in Three Dimensions
• Explicit formula for the generating series of diagonal 3D rook paths
• Lattice Green Function (at 0) for the 4d Hypercubic Lattice
• On the integrality of the Taylor coefficients of mirror maps
• Differential equations associated with nonarithmetic Fuchsian groups
• Mirror Maps, Modular Relations and Hypergeometric Series II
• Landau singularities and singularities of holonomic integrals of the Ising class
• Diagonal Ising susceptibility: elliptic integrals, modular forms and Calabi-Yau equations
• Holonomic functions of several complex variables and singularities of anisotropic Ising n-fold integrals
• The modularity conjecture for rigid Calabi-Yau threefolds over Q
• On Sp_4 modularity of Picard--Fuchs differential equations for Calabi--Yau threefolds (with an appendix by Vicentiu Pasol)
• Ising n-fold integrals as diagonals of rational functions and integrality of series expansions: integrality versus modularity
• Calabi-Yau differential equations of degree 2 and 3 and Yifan Yang's pullback
• Square lattice Ising model ${\tilde{\chi }}^{(5)}$ ODE in exact arithmetic
• Binomial identities related to Calabi-Yau differential equations
• Arithmetic E_8 lattices with maximal Galois action

Cited by in corpus (20)

• Iterated Elliptic and Hypergeometric Integrals for Feynman Diagrams
• Creative Telescoping for Holonomic Functions
• Multiple binomial sums
• Multivariate Apéry numbers and supercongruences of rational functions
• On Christol's conjecture
• Diagonals of rational functions and selected differential Galois groups
• Lattice Green Functions: the seven-dimensional face-centred cubic lattice
• New representations for all sporadic Apéry-like sequences, with applications to congruences
• Modular forms, Schwarzian conditions, and symmetries of differential equations in physics
• Diagonals of rational functions, pullbacked 2F1 hypergeometric functions and modular forms (unabrigded version)
• Heun functions and diagonals of rational functions (unabridged version)
• Selected non-holonomic functions in lattice statistical mechanics and enumerative combinatorics
• Counting With Irrational Tiles
• Canonical decomposition of linear differential operators with selected differential Galois groups
• Is the full susceptibility of the square-lattice Ising model a differentially algebraic function?
• The perimeter generating functions of three-choice, imperfect, and 1-punctured staircase polygons
• Modular structures and extended-modular-group-structures after Hecke pairs
• Differential algebra on lattice Green functions and Calabi-Yau operators (unabridged version)
• Diagonals of rational functions: from differential algebra to effective algebraic geometry (unabridged version)
• Automata and the susceptibility of the square lattice Ising model modulo powers of primes