4 research outputs found
Diagonal Ising susceptibility: elliptic integrals, modular forms and Calabi-Yau equations
We give the exact expressions of the partial susceptibilities
and for the diagonal susceptibility of the Ising model in terms
of modular forms and Calabi-Yau ODEs, and more specifically,
and hypergeometric functions. By solving the connection problems we
analytically compute the behavior at all finite singular points for
and . We also give new results for .
We see in particular, the emergence of a remarkable order-six operator, which
is such that its symmetric square has a rational solution. These new exact
results indicate that the linear differential operators occurring in the
-fold integrals of the Ising model are not only "Derived from Geometry"
(globally nilpotent), but actually correspond to "Special Geometry"
(homomorphic to their formal adjoint). This raises the question of seeing if
these "special geometry" Ising-operators, are "special" ones, reducing, in fact
systematically, to (selected, k-balanced, ...) hypergeometric
functions, or correspond to the more general solutions of Calabi-Yau equations.Comment: 35 page
Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane
International audienceWe study nearest-neighbors walks on the two-dimensional square lattice, that is, models of walks on defined by a fixed step set that is a subset of the non-zero vectors with coordinates 0, 1 or . We concern ourselves with the enumeration of such walks starting at the origin and constrained to remain in the quarter plane , counted by their length and by the position of their ending point. Bousquet-Mélou and Mishna [Contemp. Math., pp. 1--39, Amer. Math. Soc., 2010] identified 19 models of walks that possess a D-finite generating function; linear differential equations have then been guessed in these cases by Bostan and Kauers [FPSAC 2009, Discrete Math. Theor. Comput. Sci. Proc., pp. 201--215, 2009]. We give here the first proof that these equations are indeed satisfied by the corresponding generating functions. As a first corollary, we prove that all these 19 generating functions can be expressed in terms of Gauss' hypergeometric functions that are intimately related to elliptic integrals. As a second corollary, we show that all the 19 generating functions are transcendental, and that among their combinatorially meaningful specializations only four are algebraic functions