Showing 1–45 of 45 results for author: Boukraa, S

Symmetries of non-linear ODEs: lambda extensions of the Ising correlations

Authors: S. Boukraa, J. -M. Maillard

Abstract: This paper provides several illustrations of the numerous remarkable properties of the lambda-extensions of the two-point correlation functions of the Ising model, sheding some light on the non-linear ODEs of the Painlevé type. We first show that this concept also exists for the factors of the two-point correlation functions focusing, for pedagogical reasons, on two examples namely C(0,5) and C(2,… ▽ More This paper provides several illustrations of the numerous remarkable properties of the lambda-extensions of the two-point correlation functions of the Ising model, sheding some light on the non-linear ODEs of the Painlevé type. We first show that this concept also exists for the factors of the two-point correlation functions focusing, for pedagogical reasons, on two examples namely C(0,5) and C(2,5) at $ν= -k$. We then display, in a learn-by-example approach, some of the puzzling properties and structures of these lambda-extensions: for an infinite set of (algebraic) values of $ λ$ these power series become algebraic functions, and for a finite set of (rational) values of lambda they become D-finite functions, more precisely polynomials (of different degrees) in the complete elliptic integrals of the first and second kind K and E. For generic values of $ λ$ these power series are not D-finite, they are differentially algebraic. For an infinite number of other (rational) values of $ λ$ these power series are globally bounded series, thus providing an example of an infinite number of globally bounded differentially algebraic series. Finally, taking the example of a product of two diagonal two-point correlation functions, we suggest that many more families of non-linear ODEs of the Painlevé type remain to be discovered on the two-dimensional Ising model, as well as their structures, and in particular their associated lambda extensions. The question of their possible reduction, after complicated transformations, to Okamoto sigma forms of Painlevé VI remains an extremely difficult challenge. △ Less

Submitted 26 December, 2022; v1 submitted 15 December, 2022; originally announced December 2022.

Comments: 23 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

The lambda extensions of the Ising correlation functions C(M, N)

Authors: S. Boukraa, J-M. Maillard

Abstract: We revisit, with a pedagogical heuristic motivation, the lambda extension of the low-temperature row correlation functions C(M,N) of the two-dimensional Ising model. In particular, using these one-parameter series to understand the deformation theory around selected values of $λ$, namely $λ= \cos(π\, m/n)$ with m and n integers, we show that these series yield perturbation coefficients, generalizi… ▽ More We revisit, with a pedagogical heuristic motivation, the lambda extension of the low-temperature row correlation functions C(M,N) of the two-dimensional Ising model. In particular, using these one-parameter series to understand the deformation theory around selected values of $λ$, namely $λ= \cos(π\, m/n)$ with m and n integers, we show that these series yield perturbation coefficients, generalizing form factors, that are D-finite functions. As a by-product these exact results provide an infinite number of highly non-trivial identities on the complete elliptic integrals of the first and second kind. These results underline the fundamental role of Jacobi theta functions and Jacobi forms, the previous D-finite functions being (relatively simple) rational functions of Jacobi theta functions, when rewritten in terms of the nome of elliptic functions. △ Less

Submitted 30 November, 2022; v1 submitted 15 September, 2022; originally announced September 2022.

Comments: 35 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Factorization of Ising correlations C(M,N) for $ ν= \, -k$ and M+N odd, $M \le N$, $T < T_c$ and their lambda extensions

Authors: S. Boukraa, C. Cosgrove, J. -M. Maillard, B. M. McCoy

Abstract: We study the factorizations of Ising low-temperature correlations C(M,N) for $ν=-k$ and M+N odd, $M \le N$, for both the cases $M\neq 0$ where there are two factors, and $M=0$ where there are four factors. We find that the two factors for $ M \neq 0$ satisfy the same non-linear differential equation and, similarly, for M=0 the four factors each satisfy Okamoto sigma-form of Painlevé VI equations w… ▽ More We study the factorizations of Ising low-temperature correlations C(M,N) for $ν=-k$ and M+N odd, $M \le N$, for both the cases $M\neq 0$ where there are two factors, and $M=0$ where there are four factors. We find that the two factors for $ M \neq 0$ satisfy the same non-linear differential equation and, similarly, for M=0 the four factors each satisfy Okamoto sigma-form of Painlevé VI equations with the same Okamoto parameters. Using a Landen transformation we show, for $M\neq 0$, that the previous non-linear differential equation can actually be reduced to an Okamoto sigma-form of Painlevé VI equation. For both the two and four factor case, we find that there is a one parameter family of boundary conditions on the Okamoto sigma-form of Painlevé VI equations which generalizes the factorization of the correlations C(M,N) to an additive decomposition of the corresponding sigma's solutions of the Okamoto sigma-form of Painlevé VI equation which we call lambda extensions. At a special value of the parameter, the lambda-extensions of the factors of C(M,N) reduce to homogeneous polynomials in the complete elliptic functions of the first and second kind. We also generalize some Tracy-Widom (Painlevé V) relations between the sum and difference of sigma's to this Painlevé VI framework. △ Less

Submitted 26 December, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: 46 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

The Ising correlation $C(M,N)$ for $ν=-k$

Authors: S. Boukraa, J-M. Maillard, B. M. McCoy

Abstract: We present Painlev{é} VI sigma form equations for the general Ising low and high temperature two-point correlation functions $ C(M,N)$ with $M \leq N $ in the special case $ν= -k$ where $ν= \, \sinh 2E_h/k_BT/\sinh 2E_v/k_BT$. More specifically four different non-linear ODEs depending explicitly on the two integers $M $ and $N$ emerge: these four non-linear ODEs correspond to distinguish respectiv… ▽ More We present Painlev{é} VI sigma form equations for the general Ising low and high temperature two-point correlation functions $ C(M,N)$ with $M \leq N $ in the special case $ν= -k$ where $ν= \, \sinh 2E_h/k_BT/\sinh 2E_v/k_BT$. More specifically four different non-linear ODEs depending explicitly on the two integers $M $ and $N$ emerge: these four non-linear ODEs correspond to distinguish respectively low and high temperature, together with $ M+N$ even or odd. These four different non-linear ODEs are also valid for $M \ge N$ when $ ν= -1/k$. For the low-temperature row correlation functions $ C(0,N)$ with $ N$ odd, we exhibit again for this selected $ν= \, -k$ condition, a remarkable phenomenon of a Painlevé VI sigma function being the sum of four Painlevé VI sigma functions having the same Okamoto parameters. We show in this $ν= \, -k$ case for $ T < T_c $ and also $ T > T_c$, that $ C(M,N)$ with $ M \leq N $ is given as an $ N \times N$ Toeplitz determinant. △ Less

Submitted 5 October, 2020; v1 submitted 16 August, 2020; originally announced August 2020.

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Diagonals of rational functions: from differential algebra to effective algebraic geometry (unabridged version)

Authors: Y. Abdelaziz, S. Boukraa, C. Koutschan, J-M. Maillard

Abstract: We show that the results we had obtained on diagonals of nine and ten parameters families of rational functions using creative telescoping, yielding modular forms expressed as pullbacked $ _2F_1$ hypergeometric functions, can be obtained, much more efficiently, calculating the $ j$-invariant of an elliptic curve canonically associated with the denominator of the rational functions. In the case whe… ▽ More We show that the results we had obtained on diagonals of nine and ten parameters families of rational functions using creative telescoping, yielding modular forms expressed as pullbacked $ _2F_1$ hypergeometric functions, can be obtained, much more efficiently, calculating the $ j$-invariant of an elliptic curve canonically associated with the denominator of the rational functions. In the case where creative telescoping yields pullbacked $ _2F_1$ hypergeometric functions, we generalize this result to other families of rational functions in three, and even more than three, variables. We also generalise this result to rational functions in more than three variables when the denominator can be associated to an algebraic variety corresponding to products of elliptic curves, foliation in elliptic curves. We also extend these results to rational functions in three variables when the denominator is associated with a {\em genus-two curve such that its Jacobian is a split Jacobian} corresponding to the product of two elliptic curves. We sketch the situation where the denominator of the rational function is associated with algebraic varieties that are not of the general type, having an infinite set of birational automorphisms. We finally provide some examples of rational functions in more than three variables, where the telescopers have pullbacked $ _2F_1$ hypergeometric solutions, the denominator corresponding to an algebraic variety being not simply foliated in elliptic curves, but having a selected elliptic curve in the variety explaining the pullbacked $ _2F_1$ hypergeometric solution. △ Less

Submitted 26 April, 2022; v1 submitted 3 February, 2020; originally announced February 2020.

Comments: 51 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Heun functions and diagonals of rational functions (unabridged version)

Authors: Y. Abdelaziz, S. Boukraa, C. Koutschan, J-M. Maillard

Abstract: We provide a set of diagonals of simple rational functions of three and four variables that are squares of Heun functions. These Heun functions obtained through creative telescoping, turn out to be either pullbacked $_2F_1$ hypergeometric functions and in fact classical modular forms. We also obtain Heun functions that are Shimura curves as solutions of telescopers of rational functions. We provide a set of diagonals of simple rational functions of three and four variables that are squares of Heun functions. These Heun functions obtained through creative telescoping, turn out to be either pullbacked $_2F_1$ hypergeometric functions and in fact classical modular forms. We also obtain Heun functions that are Shimura curves as solutions of telescopers of rational functions. △ Less

Submitted 23 October, 2019; originally announced October 2019.

Comments: 64 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Diagonals of rational functions, pullbacked 2F1 hypergeometric functions and modular forms (unabrigded version)

Authors: Y. Abdelaziz, S. Boukraa, C. Koutschan, J-M. Maillard

Abstract: We recall that diagonals of rational functions naturally occur in lattice statistical mechanics and enumerative combinatorics. We find that a seven-parameter rational function of three variables with a numerator equal to one (reciprocal of a polynomial of degree two at most) can be expressed as a pullbacked 2F1 hypergeometric function. This result can be seen as the simplest non-trivial family of… ▽ More We recall that diagonals of rational functions naturally occur in lattice statistical mechanics and enumerative combinatorics. We find that a seven-parameter rational function of three variables with a numerator equal to one (reciprocal of a polynomial of degree two at most) can be expressed as a pullbacked 2F1 hypergeometric function. This result can be seen as the simplest non-trivial family of diagonals of rational functions. We focus on some subcases such that the diagonals of the corresponding rational functions can be written as a pullbacked 2F1 hypergeometric function with two possible rational functions pullbacks algebraically related by modular equations, thus showing explicitely that the diagonal is a modular form. We then generalise this result to eight, nine and ten parameters families adding some selected cubic terms at the denominator of the rational function defining the diagonal. We finally show that each of these previous rational functions yields an infinite number of rational functions whose diagonals are also pullbacked 2F1 hypergeometric functions and modular forms. △ Less

Submitted 12 May, 2018; originally announced May 2018.

Comments: 39 pages

MSC Class: 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Journal ref: Journal of Physics A: Mathematical and Theoretical, vol. 51, article 455201, 2018

Selected non-holonomic functions in lattice statistical mechanics and enumerative combinatorics

Authors: S. Boukraa, J-M. Maillard

Abstract: We recall that the full susceptibility series of the Ising model, modulo powers of the prime 2, reduce to algebraic functions. We also recall the non-linear polynomial differential equation obtained by Tutte for the generating function of the q-coloured rooted triangulations by vertices, which is known to have algebraic solutions for all the numbers of the form $2 +2 \cos(jπ/n)$, the holonomic sta… ▽ More We recall that the full susceptibility series of the Ising model, modulo powers of the prime 2, reduce to algebraic functions. We also recall the non-linear polynomial differential equation obtained by Tutte for the generating function of the q-coloured rooted triangulations by vertices, which is known to have algebraic solutions for all the numbers of the form $2 +2 \cos(jπ/n)$, the holonomic status of the q= 4 being unclear. We focus on the analysis of the q= 4 case, showing that the corresponding series is quite certainly non-holonomic. Along the line of a previous work on the susceptibility of the Ising model, we consider this q=4 series modulo the first eight primes 2, 3, ... 19, and show that this (probably non-holonomic) function reduces, modulo these primes, to algebraic functions. We conjecture that this probably non-holonomic function reduces to algebraic functions modulo (almost) every prime, or power of prime numbers. This raises the question to see whether such remarkable non-holonomic functions can be seen as ratio of diagonals of rational functions, or algebraic, functions of diagonals of rational functions. △ Less

Submitted 26 December, 2015; v1 submitted 15 October, 2015; originally announced October 2015.

Comments: 27 pages

MSC Class: 03D05; 11Yxx; 33Cxx; 34Lxx; 34Mxx; 34M55; 39-04; 68Q70

Diagonals of rational functions and selected differential Galois groups

Authors: A. Bostan, S. Boukraa, J-M. Maillard, J-A. Weil

Abstract: We recall that diagonals of rational functions naturally occur in lattice statistical mechanics and enumerative combinatorics. In all the examples emerging from physics, the minimal linear differential operators annihilating these diagonals of rational functions have been shown to actually possess orthogonal or symplectic differential Galois groups. In order to understand the emergence of such ort… ▽ More We recall that diagonals of rational functions naturally occur in lattice statistical mechanics and enumerative combinatorics. In all the examples emerging from physics, the minimal linear differential operators annihilating these diagonals of rational functions have been shown to actually possess orthogonal or symplectic differential Galois groups. In order to understand the emergence of such orthogonal or symplectic groups, we analyze exhaustively three sets of diagonals of rational functions, corresponding respectively to rational functions of three variables, four variables and six variables. We impose the constraints that the degree of the denominators in each variable is at most one, and the coefficients of the monomials are 0 or $ \pm 1$, so that the analysis can be exhaustive. We find the minimal linear differential operators annihilating the diagonals of these rational functions of three, four, five and six variables. We find that, even for these sets of examples which, at first sight, have no relation with physics, their differential Galois groups are always orthogonal or symplectic groups. We discuss the conditions on the rational functions such that the operators annihilating their diagonals do not correspond to orthogonal or symplectic differential Galois groups, but rather to generic special linear groups. △ Less

Submitted 14 October, 2015; v1 submitted 12 July, 2015; originally announced July 2015.

Comments: 28 pages Dedicated to R.J. Baxter, for his 75th birthday

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Canonical decomposition of linear differential operators with selected differential Galois groups

Authors: S. Boukraa, S. Hassani, J-M. Maillard, J-A. Weil

Abstract: We revisit an order-six linear differential operator having a solution which is a diagonal of a rational function of three variables. Its exterior square has a rational solution, indicating that it has a selected differential Galois group, and is actually homomorphic to its adjoint. We obtain the two corresponding intertwiners giving this homomorphism to the adjoint. We show that these intertwiner… ▽ More We revisit an order-six linear differential operator having a solution which is a diagonal of a rational function of three variables. Its exterior square has a rational solution, indicating that it has a selected differential Galois group, and is actually homomorphic to its adjoint. We obtain the two corresponding intertwiners giving this homomorphism to the adjoint. We show that these intertwiners are also homomorphic to their adjoint and have a simple decomposition, already underlined in a previous paper, in terms of order-two self-adjoint operators. From these results, we deduce a new form of decomposition of operators for this selected order-six linear differential operator in terms of three order-two self-adjoint operators. We then generalize the previous decomposition to decompositions in terms of an arbitrary number of self-adjoint operators of the same parity order. This yields an infinite family of linear differential operators homomorphic to their adjoint, and, thus, with a selected differential Galois group. We show that the equivalence of such operators is compatible with these canonical decompositions. The rational solutions of the symmetric, or exterior, squares of these selected operators are, noticeably, seen to depend only on the rightmost self-adjoint operator in the decomposition. These results, and tools, are applied on operators of large orders. For instance, it is seen that a large set of (quite massive) operators, associated with reflexive 4-polytopes defining Calabi-Yau 3-folds, obtained recently by P. Lairez, correspond to a particular form of the decomposition detailed in this paper. △ Less

Submitted 11 September, 2014; v1 submitted 21 July, 2014; originally announced July 2014.

Comments: 40 pages

MSC Class: 47E05; 34Lxx; 34Mxx; 14Mxx; 14Kxx; 12H05; 11R32

The Ising model and Special Geometries

Authors: S. Boukraa, S. Hassani, J-M. Maillard

Abstract: We show that the globally nilpotent G-operators corresponding to the factors of the linear differential operators annihilating the multifold integrals $χ^{(n)}$ of the magnetic susceptibility of the Ising model ($n \le 6$) are homomorphic to their adjoint. This property of being self-adjoint up to operator homomorphisms, is equivalent to the fact that their symmetric square, or their exterior squa… ▽ More We show that the globally nilpotent G-operators corresponding to the factors of the linear differential operators annihilating the multifold integrals $χ^{(n)}$ of the magnetic susceptibility of the Ising model ($n \le 6$) are homomorphic to their adjoint. This property of being self-adjoint up to operator homomorphisms, is equivalent to the fact that their symmetric square, or their exterior square, have rational solutions. The differential Galois groups are in the special orthogonal, or symplectic, groups. This self-adjoint (up to operator equivalence) property means that the factor operators we already know to be Derived from Geometry, are special globally nilpotent operators: they correspond to "Special Geometries". Beyond the small order factor operators (occurring in the linear differential operators associated with $ χ^{(5)}$ and $ χ^{(6)}$), and, in particular, those associated with modular forms, we focus on the quite large order-twelve and order-23 operators. We show that the order-twelve operator has an exterior square which annihilates a rational solution. Then, its differential Galois group is in the symplectic group $ Sp(12, \mathbb{C})$. The order-23 operator is shown to factorize in an order-two operator and an order-21 operator. The symmetric square of this order-21 operator has a rational solution. Its differential Galois group is, thus, in the orthogonal group $ SO(21, \mathbb{C})$. △ Less

Submitted 14 April, 2014; v1 submitted 25 February, 2014; originally announced February 2014.

Comments: 33 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx ACM Class: G.1.7

Differential algebra on lattice Green functions and Calabi-Yau operators (unabridged version)

Authors: Salah Boukraa, Saoud Hassani, Jean-Marie Maillard, Jacques-Arthur Weil

Abstract: We revisit miscellaneous linear differential operators mostly associated with lattice Green functions in arbitrary dimensions, but also Calabi-Yau operators and order-seven operators corresponding to exceptional differential Galois groups. We show that these irreducible operators are not only globally nilpotent, but are such that they are homomorphic to their (formal) adjoints. Considering these o… ▽ More We revisit miscellaneous linear differential operators mostly associated with lattice Green functions in arbitrary dimensions, but also Calabi-Yau operators and order-seven operators corresponding to exceptional differential Galois groups. We show that these irreducible operators are not only globally nilpotent, but are such that they are homomorphic to their (formal) adjoints. Considering these operators, or, sometimes, equivalent operators, we show that they are also such that, either their symmetric square or their exterior square, have a rational solution. This is a general result: an irreducible linear differential operator homomorphic to its (formal) adjoint is necessarily such that either its symmetric square, or its exterior square has a rational solution, and this situation corresponds to the occurrence of a special differential Galois group. We thus define the notion of being "Special Geometry" for a linear differential operator if it is irreducible, globally nilpotent, and such that it is homomorphic to its (formal) adjoint. Since many Derived From Geometry n-fold integrals ("Periods") occurring in physics, are seen to be diagonals of rational functions, we address several examples of (minimal order) operators annihilating diagonals of rational functions, and remark that they also seem to be, systematically, associated with irreducible factors homomorphic to their adjoint. △ Less

Submitted 9 January, 2014; v1 submitted 11 November, 2013; originally announced November 2013.

Comments: 62 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx ACM Class: J.2

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

Authors: A. Bostan, S. Boukraa, G. Christol, S. Hassani, J. -M. Maillard

Abstract: We show that the n-fold integrals $χ^{(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 powe… ▽ More We show that the n-fold integrals $χ^{(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. △ Less

Submitted 17 March, 2013; v1 submitted 28 November, 2012; originally announced November 2012.

Comments: This 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

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

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

Authors: A. Bostan, S. Boukraa, G. Christol, S. Hassani, J. -M. Maillard

Abstract: We show that the n-fold integrals $χ^{(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, are actually diagonals of rational functions. As a consequence, the power series expansions of these solutions of linear differential equations "Derived From G… ▽ More We show that the n-fold integrals $χ^{(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, are actually diagonals of rational functions. As a consequence, the power series expansions of these solutions of 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. Besides, in a more enumerative combinatorics context, we show that 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 give a large set of results illustrating the fact that the unique analytical solution of Calabi-Yau ODEs, and more generally of MUM ODEs, is, almost always, diagonal of rational functions. We revisit Christol's conjecture that globally bounded series of G-operators are necessarily diagonals of rational functions. We provide a large set of examples of globally bounded series, or series with integer coefficients, associated with modular forms, or Hadamard product of modular forms, or associated with Calabi-Yau ODEs, underlying the concept of modularity. 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 (in particular integrality of the Taylor coefficients of mirror map), introducing new representations of Yukawa couplings. △ Less

Submitted 26 November, 2012; originally announced November 2012.

Comments: 100 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Holonomic functions of several complex variables and singularities of anisotropic Ising n-fold integrals

Authors: S. Boukraa, S. Hassani, J-M. Maillard

Abstract: Lattice statistical mechanics, often provides a natural (holonomic) framework to perform singularity analysis with several complex variables that would, in a general mathematical framework, be too complex, or could not be defined. Considering several Picard-Fuchs systems of two-variables "above" Calabi-Yau ODEs, associated with double hypergeometric series, we show that holonomic functions are act… ▽ More Lattice statistical mechanics, often provides a natural (holonomic) framework to perform singularity analysis with several complex variables that would, in a general mathematical framework, be too complex, or could not be defined. Considering several Picard-Fuchs systems of two-variables "above" Calabi-Yau ODEs, associated with double hypergeometric series, we show that holonomic functions are actually a good framework for actually finding the singular manifolds. We, then, analyse the singular algebraic varieties of the n-fold integrals $ χ^{(n)}$, corresponding to the decomposition of the magnetic susceptibility of the anisotropic square Ising model. We revisit a set of Nickelian singularities that turns out to be a two-parameter family of elliptic curves. We then find a first set of non-Nickelian singularities for $ χ^{(3)}$ and $ χ^{(4)}$, that also turns out to be rational or ellipic curves. We underline the fact that these singular curves depend on the anisotropy of the Ising model. We address, from a birational viewpoint, the emergence of families of elliptic curves, and of Calabi-Yau manifolds on such problems. We discuss the accumulation of these singular curves for the non-holonomic anisotropic full susceptibility. △ Less

Submitted 8 October, 2012; v1 submitted 7 July, 2012; originally announced July 2012.

Comments: 36 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Diagonal Ising susceptibility: elliptic integrals, modular forms and Calabi-Yau equations

Authors: M. Assis, S. Boukraa, S. Hassani, M. van Hoeij, J-M. Maillard, B. M. McCoy

Abstract: We give the exact expressions of the partial susceptibilities $χ^{(3)}_d$ and $χ^{(4)}_d$ for the diagonal susceptibility of the Ising model in terms of modular forms and Calabi-Yau ODEs, and more specifically, $_3F_2([1/3,2/3,3/2],\, [1,1];\, z)$ and $_4F_3([1/2,1/2,1/2,1/2],\, [1,1,1]; \, z)$ hypergeometric functions. By solving the connection problems we analytically compute the behavior at a… ▽ More We give the exact expressions of the partial susceptibilities $χ^{(3)}_d$ and $χ^{(4)}_d$ for the diagonal susceptibility of the Ising model in terms of modular forms and Calabi-Yau ODEs, and more specifically, $_3F_2([1/3,2/3,3/2],\, [1,1];\, z)$ and $_4F_3([1/2,1/2,1/2,1/2],\, [1,1,1]; \, z)$ hypergeometric functions. By solving the connection problems we analytically compute the behavior at all finite singular points for $χ^{(3)}_d$ and $χ^{(4)}_d$. We also give new results for $χ^{(5)}_d$. 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 $n$-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, ...) $_{q+1}F_q$ hypergeometric functions, or correspond to the more general solutions of Calabi-Yau equations. △ Less

Submitted 11 December, 2011; v1 submitted 8 October, 2011; originally announced October 2011.

Comments: 35 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

The Ising model: from elliptic curves to modular forms and Calabi-Yau equations

Authors: A. Bostan, S. Boukraa, S. Hassani, M. van Hoeij, J. -M. Maillard, J-A. Weil, N. Zenine

Abstract: We show that almost all the linear differential operators factors obtained in the analysis of the n-particle contribution of the susceptibility of the Ising model for $\, n \le 6$, are operators "associated with elliptic curves". Beyond the simplest factors which are homomorphic to symmetric powers of the second order operator associated with the complete elliptic integral E, the second and third… ▽ More We show that almost all the linear differential operators factors obtained in the analysis of the n-particle contribution of the susceptibility of the Ising model for $\, n \le 6$, are operators "associated with elliptic curves". Beyond the simplest factors which are homomorphic to symmetric powers of the second order operator associated with the complete elliptic integral E, the second and third order differential operators can actually be interpreted as modular forms of the elliptic curve of the Ising model. A last order-four globally nilpotent operator is not reducible to this elliptic curve, modular forms scheme. It is shown to actually correspond to a natural generalization of this elliptic curve, modular forms scheme, with the emergence of a Calabi-Yau equation, corresponding to a selected $_4F_3$ hypergeometric function which can also be seen as a Hadamard product of the complete elliptic integral K, with a remarkably simple algebraic pull-back, the corresponding Calabi-Yau fourth-order differential operator having a symplectic differential Galois group SP(4,C). The associated mirror maps and higher order Schwarzian ODEs has an exact (isogenies) representation of the generators of the renormalization group, extending the modular group SL(2,Z) to a GL(2, Z) symmetry group. △ Less

Submitted 10 December, 2010; v1 submitted 4 July, 2010; originally announced July 2010.

Comments: 46 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

The saga of the Ising susceptibility

Authors: B. M. McCoy, M. Assis, S. Boukraa, S. Hassani, J-M Maillard, W. P. Orrick, N. Zenine

Abstract: We review developments made since 1959 in the search for a closed form for the susceptibility of the Ising model. The expressions for the form factors in terms of the nome $q$ and the modulus $k$ are compared and contrasted. The $λ$ generalized correlations $C(M,N;λ)$ are defined and explicitly computed in terms of theta functions for $M=N=0,1$. We review developments made since 1959 in the search for a closed form for the susceptibility of the Ising model. The expressions for the form factors in terms of the nome $q$ and the modulus $k$ are compared and contrasted. The $λ$ generalized correlations $C(M,N;λ)$ are defined and explicitly computed in terms of theta functions for $M=N=0,1$. △ Less

Submitted 11 March, 2010; v1 submitted 3 March, 2010; originally announced March 2010.

Comments: 19 pages, 1 figure

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Square lattice Ising model $\tildeχ^{(5)}$ ODE in exact arithmetic

Authors: B. Nickel, I. Jensen, S. Boukraa, A. J. Guttmann, S. Hassani, J. -M. Maillard, N. Zenine

Abstract: We obtain in exact arithmetic the order 24 linear differential operator $L_{24}$ and right hand side $E^{(5)}$ of the inhomogeneous equation$L_{24}(Φ^{(5)}) = E^{(5)}$, where $Φ^{(5)} =\tildeχ^{(5)}-\tildeχ^{(3)}/2+\tildeχ^{(1)}/120$ is a linear combination of $n$-particle contributions to the susceptibility of the square lattice Ising model. In Bostan, et al. (J. Phys. A: Math. Theor. {\bf 42},… ▽ More We obtain in exact arithmetic the order 24 linear differential operator $L_{24}$ and right hand side $E^{(5)}$ of the inhomogeneous equation$L_{24}(Φ^{(5)}) = E^{(5)}$, where $Φ^{(5)} =\tildeχ^{(5)}-\tildeχ^{(3)}/2+\tildeχ^{(1)}/120$ is a linear combination of $n$-particle contributions to the susceptibility of the square lattice Ising model. In Bostan, et al. (J. Phys. A: Math. Theor. {\bf 42}, 275209 (2009)) the operator $L_{24}$ (modulo a prime) was shown to factorize into $L_{12}^{(\rm left)} \cdot L_{12}^{(\rm right)}$; here we prove that no further factorization of the order 12 operator $L_{12}^{(\rm left)}$ is possible. We use the exact ODE to obtain the behaviour of $\tildeχ^{(5)}$ at the ferromagnetic critical point and to obtain a limited number of analytic continuations of $\tildeχ^{(5)}$ beyond the principal disk defined by its high temperature series. Contrary to a speculation in Boukraa, et al (J. Phys. A: Math. Theor. {\bf 41} 455202 (2008)), we find that $\tildeχ^{(5)}$ is singular at $w=1/2$ on an infinite number of branches. △ Less

Submitted 17 March, 2010; v1 submitted 31 January, 2010; originally announced February 2010.

Comments: 25 pages, 2 figures, IoP style files

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

High order Fuchsian equations for the square lattice Ising model: $χ^{(6)}$

Authors: S. Boukraa, S. Hassani, I. Jensen, J. -M. Maillard, N. Zenine

Abstract: This paper deals with $\tildeχ^{(6)}$, the six-particle contribution to the magnetic susceptibility of the square lattice Ising model. We have generated, modulo a prime, series coefficients for $\tildeχ^{(6)}$. The length of the series is sufficient to produce the corresponding Fuchsian linear differential equation (modulo a prime). We obtain the Fuchsian linear differential equation that annihi… ▽ More This paper deals with $\tildeχ^{(6)}$, the six-particle contribution to the magnetic susceptibility of the square lattice Ising model. We have generated, modulo a prime, series coefficients for $\tildeχ^{(6)}$. The length of the series is sufficient to produce the corresponding Fuchsian linear differential equation (modulo a prime). We obtain the Fuchsian linear differential equation that annihilates the "depleted" series $Φ^{(6)}=\tildeχ^{(6)} - {2 \over 3} \tildeχ^{(4)} + {2 \over 45} \tildeχ^{(2)}$. The factorization of the corresponding differential operator is performed using a method of factorization modulo a prime introduced in a previous paper. The "depleted" differential operator is shown to have a structure similar to the corresponding operator for $\tildeχ^{(5)}$. It splits into factors of smaller orders, with the left-most factor of order six being equivalent to the symmetric fifth power of the linear differential operator corresponding to the elliptic integral $E$. The right-most factor has a direct sum structure, and using series calculated modulo several primes, all the factors in the direct sum have been reconstructed in exact arithmetics. △ Less

Submitted 25 December, 2009; originally announced December 2009.

Comments: 23 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Renormalization, isogenies and rational symmetries of differential equations

Authors: A. Bostan, S. Boukraa, S. Hassani, J. -M. Maillard, J-A. Weil, N. Zenine, N. Abarenkova

Abstract: We give an example of infinite order rational transformation that leaves a linear differential equation covariant. This example can be seen as a non-trivial but still simple illustration of an exact representation of the renormalization group. We give an example of infinite order rational transformation that leaves a linear differential equation covariant. This example can be seen as a non-trivial but still simple illustration of an exact representation of the renormalization group. △ Less

Submitted 8 February, 2010; v1 submitted 29 November, 2009; originally announced November 2009.

Comments: 36 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

High order Fuchsian equations for the square lattice Ising model: $\tildeχ^{(5)}$

Authors: A. Bostan, S. Boukraa, A. J. Guttmann, S. Hassani, I. Jensen, J. -M. Maillard, N. Zenine

Abstract: We consider the Fuchsian linear differential equation obtained (modulo a prime) for $\tildeχ^{(5)}$, the five-particle contribution to the susceptibility of the square lattice Ising model. We show that one can understand the factorization of the corresponding linear differential operator from calculations using just a single prime. A particular linear combination of $\tildeχ^{(1)}$ and… ▽ More We consider the Fuchsian linear differential equation obtained (modulo a prime) for $\tildeχ^{(5)}$, the five-particle contribution to the susceptibility of the square lattice Ising model. We show that one can understand the factorization of the corresponding linear differential operator from calculations using just a single prime. A particular linear combination of $\tildeχ^{(1)}$ and $\tildeχ^{(3)}$ can be removed from $\tildeχ^{(5)}$ and the resulting series is annihilated by a high order globally nilpotent linear ODE. The corresponding (minimal order) linear differential operator, of order 29, splits into factors of small orders. A fifth order linear differential operator occurs as the left-most factor of the "depleted" differential operator and it is shown to be equivalent to the symmetric fourth power of $L_E$, the linear differential operator corresponding to the elliptic integral $E$. This result generalizes what we have found for the lower order terms $\tildeχ^{(3)}$ and $\tildeχ^{(4)}$. We conjecture that a linear differential operator equivalent to a symmetric $(n-1)$-th power of $L_E$ occurs as a left-most factor in the minimal order linear differential operators for all $\tildeχ^{(n)}$'s. △ Less

Submitted 9 April, 2009; originally announced April 2009.

Comments: 33 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Globally nilpotent differential operators and the square Ising model

Authors: A. Bostan, S. Boukraa, S. Hassani, J. -M. Maillard, J. -A. Weil, N. Zenine

Abstract: We recall various multiple integrals related to the isotropic square Ising model, and corresponding, respectively, to the n-particle contributions of the magnetic susceptibility, to the (lattice) form factors, to the two-point correlation functions and to their lambda-extensions. These integrals are holonomic and even G-functions: they satisfy Fuchsian linear differential equations with polynomi… ▽ More We recall various multiple integrals related to the isotropic square Ising model, and corresponding, respectively, to the n-particle contributions of the magnetic susceptibility, to the (lattice) form factors, to the two-point correlation functions and to their lambda-extensions. These integrals are holonomic and even G-functions: they satisfy Fuchsian linear differential equations with polynomial coefficients and have some arithmetic properties. We recall the explicit forms, found in previous work, of these Fuchsian equations. These differential operators are very selected Fuchsian linear differential operators, and their remarkable properties have a deep geometrical origin: they are all globally nilpotent, or, sometimes, even have zero p-curvature. Focusing on the factorised parts of all these operators, we find out that the global nilpotence of the factors corresponds to a set of selected structures of algebraic geometry: elliptic curves, modular curves, and even a remarkable weight-1 modular form emerging in the three-particle contribution $ χ^{(3)}$ of the magnetic susceptibility of the square Ising model. In the case where we do not have G-functions, but Hamburger functions (one irregular singularity at 0 or $ \infty$) that correspond to the confluence of singularities in the scaling limit, the p-curvature is also found to verify new structures associated with simple deformations of the nilpotent property. △ Less

Submitted 29 December, 2008; originally announced December 2008.

Comments: 55 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Experimental mathematics on the magnetic susceptibility of the square lattice Ising model

Authors: S. Boukraa, A. J. Guttmann, S. Hassani, I. Jensen, J. -M. Maillard, B. Nickel, N. Zenine

Abstract: We calculate very long low- and high-temperature series for the susceptibility $χ$ of the square lattice Ising model as well as very long series for the five-particle contribution $χ^{(5)}$ and six-particle contribution $χ^{(6)}$. These calculations have been made possible by the use of highly optimized polynomial time modular algorithms and a total of more than 150000 CPU hours on computer clus… ▽ More We calculate very long low- and high-temperature series for the susceptibility $χ$ of the square lattice Ising model as well as very long series for the five-particle contribution $χ^{(5)}$ and six-particle contribution $χ^{(6)}$. These calculations have been made possible by the use of highly optimized polynomial time modular algorithms and a total of more than 150000 CPU hours on computer clusters. For $χ^{(5)}$ 10000 terms of the series are calculated {\it modulo} a single prime, and have been used to find the linear ODE satisfied by $χ^{(5)}$ {\it modulo} a prime. A diff-Padé analysis of 2000 terms series for $χ^{(5)}$ and $χ^{(6)}$ confirms to a very high degree of confidence previous conjectures about the location and strength of the singularities of the $n$-particle components of the susceptibility, up to a small set of ``additional'' singularities. We find the presence of singularities at $w=1/2$ for the linear ODE of $χ^{(5)}$, and $w^2= 1/8$ for the ODE of $χ^{(6)}$, which are {\it not} singularities of the ``physical'' $χ^{(5)}$ and $χ^{(6)},$ that is to say the series-solutions of the ODE's which are analytic at $w =0$. Furthermore, analysis of the long series for $χ^{(5)}$ (and $χ^{(6)}$) combined with the corresponding long series for the full susceptibility $χ$ yields previously conjectured singularities in some $χ^{(n)}$, $n \ge 7$. We also present a mechanism of resummation of the logarithmic singularities of the $χ^{(n)}$ leading to the known power-law critical behaviour occurring in the full $χ$, and perform a power spectrum analysis giving strong arguments in favor of the existence of a natural boundary for the full susceptibility $χ$. △ Less

Submitted 5 August, 2008; originally announced August 2008.

Comments: 54 pages, 2 figures

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Journal ref: J.Phys.A41:455202,2008

From Holonomy of the Ising Model Form Factors to n-Fold Integrals and the Theory of Elliptic Curve

Authors: Salah Boukraa, Saoud Hassani, Jean-Marie Maillard, Nadjah Zenine

Abstract: We recall the form factors $ f^{(j)}_{N,N}$ corresponding to the $λ$-extension $C(N,N; λ)$ of the two-point diagonal correlation function of the Ising model on the square lattice and their associated linear differential equations which exhibit both a ``Russian-doll'' nesting, and a decomposition of the linear differential operators as a direct sum of operators (equivalent to symmetric powers of… ▽ More We recall the form factors $ f^{(j)}_{N,N}$ corresponding to the $λ$-extension $C(N,N; λ)$ of the two-point diagonal correlation function of the Ising model on the square lattice and their associated linear differential equations which exhibit both a ``Russian-doll'' nesting, and a decomposition of the linear differential operators as a direct sum of operators (equivalent to symmetric powers of the differential operator of the complete elliptic integral $E$). The scaling limit of these differential operators breaks the direct sum structure but not the ``Russian doll'' structure, the ``scaled'' linear differential operators being no longer Fuchsian. We then introduce some multiple integrals of the Ising class expected to have the same singularities as the singularities of the $n$-particle contributions $χ^{(n)}$ to the susceptibility of the square lattice Ising model. We find the Fuchsian linear differential equations satisfied by these multiple integrals for $n=1,2,3,4$ and, only modulo a prime, for $n=5$ and 6, thus providing a large set of (possible) new singularities of the $χ^{(n)}$. ... △ Less

Submitted 15 October, 2007; originally announced October 2007.

Comments: This is a contribution to the Proc. of the Seventh International Conference ''Symmetry in Nonlinear Mathematical Physics'' (June 24-30, 2007, Kyiv, Ukraine), published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 3 (2007), 099, 43 pages

Singularities of $n$-fold integrals of the Ising class and the theory of elliptic curves

Authors: S. Boukraa, S. Hassani, J. -M. Maillard, N. Zenine

Abstract: We introduce some multiple integrals that are expected to have the same singularities as the singularities of the $ n$-particle contributions $χ^{(n)}$ to the susceptibility of the square lattice Ising model. We find the Fuchsian linear differential equation satisfied by these multiple integrals for $ n=1, 2, 3, 4$ and only modulo some primes for $ n=5$ and $ 6$, thus providing a large set of (p… ▽ More We introduce some multiple integrals that are expected to have the same singularities as the singularities of the $ n$-particle contributions $χ^{(n)}$ to the susceptibility of the square lattice Ising model. We find the Fuchsian linear differential equation satisfied by these multiple integrals for $ n=1, 2, 3, 4$ and only modulo some primes for $ n=5$ and $ 6$, thus providing a large set of (possible) new singularities of the $χ^{(n)}$. We discuss the singularity structure for these multiple integrals by solving the Landau conditions. We find that the singularities of the associated ODEs identify (up to $n= 6$) with the leading pinch Landau singularities. The second remarkable obtained feature is that the singularities of the ODEs associated with the multiple integrals reduce to the singularities of the ODEs associated with a {\em finite number of one dimensional integrals}. Among the singularities found, we underline the fact that the quadratic polynomial condition $ 1+3 w +4 w^2 = 0$, that occurs in the linear differential equation of $ χ^{(3)}$, actually corresponds to a remarkable property of selected elliptic curves, namely the occurrence of complex multiplication. The interpretation of complex multiplication for elliptic curves as complex fixed points of the selected generators of the renormalization group, namely isogenies of elliptic curves, is sketched. Most of the other singularities occurring in our multiple integrals are not related to complex multiplication situations, suggesting an interpretation in terms of (motivic) mathematical structures beyond the theory of elliptic curves. △ Less

Submitted 22 June, 2007; originally announced June 2007.

Comments: 39 pages, 7 figures

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

The diagonal Ising susceptibility

Authors: S. Boukraa, S. Hassani, J. -M. Maillard, B. M. McCoy, N. Zenine

Abstract: We use the recently derived form factor expansions of the diagonal two-point correlation function of the square Ising model to study the susceptibility for a magnetic field applied only to one diagonal of the lattice, for the isotropic Ising model. We exactly evaluate the one and two particle contributions $χ_{d}^{(1)}$ and $χ_{d}^{(2)}$ of the corresponding susceptibility, and obtain linear d… ▽ More We use the recently derived form factor expansions of the diagonal two-point correlation function of the square Ising model to study the susceptibility for a magnetic field applied only to one diagonal of the lattice, for the isotropic Ising model. We exactly evaluate the one and two particle contributions $χ_{d}^{(1)}$ and $χ_{d}^{(2)}$ of the corresponding susceptibility, and obtain linear differential equations for the three and four particle contributions, as well as the five particle contribution $χ^{(5)}_d(t)$, but only modulo a given prime. We use these exact linear differential equations to show that, not only the russian-doll structure, but also the direct sum structure on the linear differential operators for the $ n$-particle contributions $χ_{d}^{(n)}$ are quite directly inherited from the direct sum structure on the form factors $ f^{(n)}$. We show that the $ n^{th}$ particle contributions $χ_{d}^{(n)}$ have their singularities at roots of unity. These singularities become dense on the unit circle $|\sinh2E_v/kT \sinh 2E_h/kT|=1$ as $ n\to \infty$. △ Less

Submitted 1 March, 2007; originally announced March 2007.

Comments: 18 pages

MSC Class: 33E17; 33E05; 33Cxx; 33Dxx; 14Exx; 14Hxx; 34M55; 47E05; 34Lxx; 34Mxx; 14Kxx

Landau singularities and singularities of holonomic integrals of the Ising class

Authors: S. Boukraa, S. Hassani, J. -M. Maillard, N. Zenine

Abstract: We consider families of multiple and simple integrals of the ``Ising class'' and the linear ordinary differential equations with polynomial coefficients they are solutions of. We compare the full set of singularities given by the roots of the head polynomial of these linear ODE's and the subset of singularities occurring in the integrals, with the singularities obtained from the Landau condition… ▽ More We consider families of multiple and simple integrals of the ``Ising class'' and the linear ordinary differential equations with polynomial coefficients they are solutions of. We compare the full set of singularities given by the roots of the head polynomial of these linear ODE's and the subset of singularities occurring in the integrals, with the singularities obtained from the Landau conditions. For these Ising class integrals, we show that the Landau conditions can be worked out, either to give the singularities of the corresponding linear differential equation or the singularities occurring in the integral. The singular behavior of these integrals is obtained in the self-dual variable $w= s/2/(1+s^2)$, with $s= \sinh(2K)$, where $K=J/kT$ is the usual Ising model coupling constant. Switching to the variable $s$, we show that the singularities of the analytic continuation of series expansions of these integrals actually break the Kramers-Wannier duality. We revisit the singular behavior (J. Phys. A {\bf 38} (2005) 9439-9474) of the third contribution to the magnetic susceptibility of Ising model $χ^{(3)}$ at the points $1+3w+4w^2= 0$ and show that $χ^{(3)}(s)$ is not singular at the corresponding points inside the unit circle $| s |=1$, while its analytical continuation in the variable $s$ is actually singular at the corresponding points $ 2+s+s^2=0$ oustside the unit circle ($| s | > 1$). △ Less

Submitted 14 February, 2007; v1 submitted 5 January, 2007; originally announced January 2007.

Comments: 34 pages, 1 figure

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Journal ref: J.Phys.A : Math.Theor.40(2007)2583-2614

Fuchs versus Painlevé

Authors: S. Boukraa, S. Hassani, J. -M. Maillard, B. M. McCoy, J. -A. Weil, N. Zenine

Abstract: We briefly recall the Fuchs-Painlevé elliptic representation of Painlevé VI. We then show that the polynomiality of the expressions of the correlation functions (and form factors) in terms of the complete elliptic integral of the first and second kind, $ K$ and $ E$, is a straight consequence of the fact that the differential operators corresponding to the entries of Toeplitz-like determinants… ▽ More We briefly recall the Fuchs-Painlevé elliptic representation of Painlevé VI. We then show that the polynomiality of the expressions of the correlation functions (and form factors) in terms of the complete elliptic integral of the first and second kind, $ K$ and $ E$, is a straight consequence of the fact that the differential operators corresponding to the entries of Toeplitz-like determinants, are equivalent to the second order operator $ L_E$ which has $ E$ as solution (or, for off-diagonal correlations to the direct sum of $ L_E$ and $ d/dt$). We show that this can be generalized, mutatis mutandis, to the anisotropic Ising model. The singled-out second order linear differential operator $ L_E$ being replaced by an isomonodromic system of two third-order linear partial differential operators associated with $ Π_1$, the Jacobi's form of the complete elliptic integral of the third kind (or equivalently two second order linear partial differential operators associated with Appell functions, where one of these operators can be seen as a deformation of $ L_E$). We finally explore the generalizations, to the anisotropic Ising models, of the links we made, in two previous papers, between Painlevé non-linear ODE's, Fuchsian linear ODE's and elliptic curves. In particular the elliptic representation of Painlevé VI has to be generalized to an ``Appellian'' representation of Garnier systems. △ Less

Submitted 17 February, 2007; v1 submitted 5 January, 2007; originally announced January 2007.

Comments: Dedicated to the : Special issue on Symmetries and Integrability of Difference Equations, SIDE VII meeting held in Melbourne during July 2006

MSC Class: 33E17; 33E05; 33Cxx; 33Dxx; 14Exx; 14Hxx; 34M55; 47E05; 34Lxx; 34Mxx; 14Kxx

Holonomy of the Ising model form factors

Authors: S. Boukraa, S. Hassani, J. -M. Maillard, B. M. McCoy, W. P. Orrick, N. Zenine

Abstract: We study the Ising model two-point diagonal correlation function $ C(N,N)$ by presenting an exponential and form factor expansion in an integral representation which differs from the known expansion of Wu, McCoy, Tracy and Barouch. We extend this expansion, weighting, by powers of a variable $λ$, the $j$-particle contributions, $ f^{(j)}_{N,N}$. The corresponding $ λ$ extension of the two-point… ▽ More We study the Ising model two-point diagonal correlation function $ C(N,N)$ by presenting an exponential and form factor expansion in an integral representation which differs from the known expansion of Wu, McCoy, Tracy and Barouch. We extend this expansion, weighting, by powers of a variable $λ$, the $j$-particle contributions, $ f^{(j)}_{N,N}$. The corresponding $ λ$ extension of the two-point diagonal correlation function, $ C(N,N; λ)$, is shown, for arbitrary $λ$, to be a solution of the sigma form of the Painlev{é} VI equation introduced by Jimbo and Miwa. Linear differential equations for the form factors $ f^{(j)}_{N,N}$ are obtained and shown to have both a ``Russian doll'' nesting, and a decomposition of the differential operators as a direct sum of operators equivalent to symmetric powers of the differential operator of the elliptic integral $ E$. Each $ f^{(j)}_{N,N}$ is expressed polynomially in terms of the elliptic integrals $ E$ and $ K$. The scaling limit of these differential operators breaks the direct sum structure but not the ``Russian doll'' structure. The previous $ λ$-extensions, $ C(N,N; λ)$ are, for singled-out values $ λ= \cos(πm/n)$ ($m, n$ integers), also solutions of linear differential equations. These solutions of Painlevé VI are actually algebraic functions, being associated with modular curves. △ Less

Submitted 6 November, 2006; v1 submitted 26 September, 2006; originally announced September 2006.

Comments: 39 pages

MSC Class: 33E17; 33E05; 33Cxx; 33Dxx; 14Exx; 14Hxx; 34M55; 47E05; 34Lxx; 34Mxx; 14Kxx

Journal ref: J.Phys.A40:75-112,2007

Painleve versus Fuchs

Authors: S. Boukraa, S. Hassani, J. -M. Maillard, B. M. McCoy, J. -A. Weil, N. Zenine

Abstract: The sigma form of the Painlev{é} VI equation contains four arbitrary parameters and generically the solutions can be said to be genuinely ``nonlinear'' because they do not satisfy linear differential equations of finite order. However, when there are certain restrictions on the four parameters there exist one parameter families of solutions which do satisfy (Fuchsian) differential equations of f… ▽ More The sigma form of the Painlev{é} VI equation contains four arbitrary parameters and generically the solutions can be said to be genuinely ``nonlinear'' because they do not satisfy linear differential equations of finite order. However, when there are certain restrictions on the four parameters there exist one parameter families of solutions which do satisfy (Fuchsian) differential equations of finite order. We here study this phenomena of Fuchsian solutions to the Painlev{é} equation with a focus on the particular PVI equation which is satisfied by the diagonal correlation function C(N,N) of the Ising model. We obtain Fuchsian equations of order $N+1$ for C(N,N) and show that the equation for C(N,N) is equivalent to the $N^{th}$ symmetric power of the equation for the elliptic integral $E$. We show that these Fuchsian equations correspond to rational algebraic curves with an additional Riccati structure and we show that the Malmquist Hamiltonian $p,q$ variables are rational functions in complete elliptic integrals. Fuchsian equations for off diagonal correlations $C(N,M)$ are given which extend our considerations to discrete generalizations of Painlev{é}. △ Less

Submitted 8 June, 2006; v1 submitted 3 February, 2006; originally announced February 2006.

Comments: 18 pages, Dedicated to the centenary of the publication of the Painleve VI equation in the Comptes Rendus de l'Academie des Sciences de Paris by Richard Fuchs in 1905

MSC Class: 33E17; 33E05; 33Cxx; 33Dxx; 14Exx; 14Hxx; 34M55; 47E05; 34Lxx; 34Mxx; 14Kxx

Journal ref: J.Phys.A39:12245-12264,2006

Differential Galois groups of high order Fuchsian ODE's

Authors: N. Zenine, S. Boukraa, S. Hassani, J. -M. Maillard

Abstract: We present a simple, but efficient, way to calculate connection matrices between sets of independent local solutions, defined at two neighboring singular points, of Fuchsian differential equations of quite large orders, such as those found for the third and fourth contribution ($χ^{(3)}$ and $χ^{(4)}$) to the magnetic susceptibility of square lattice Ising model. We use the previous connection… ▽ More We present a simple, but efficient, way to calculate connection matrices between sets of independent local solutions, defined at two neighboring singular points, of Fuchsian differential equations of quite large orders, such as those found for the third and fourth contribution ($χ^{(3)}$ and $χ^{(4)}$) to the magnetic susceptibility of square lattice Ising model. We use the previous connection matrices to get the exact explicit expressions of all the monodromy matrices of the Fuchsian differential equation for $χ^{(3)}$ (and $χ^{(4)}$) expressed in the same basis of solutions. These monodromy matrices are the generators of the differential Galois group of the Fuchsian differential equations for $χ^{(3)}$ (and $χ^{(4)}$), whose analysis is just sketched here. △ Less

Submitted 9 October, 2005; originally announced October 2005.

Comments: 10 pages 2005 Nankai conference on differential geometry

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Beyond series expansions: mathematical structures for the susceptibility of the square lattice Ising model

Authors: N. Zenine, S. Boukraa, S. Hassani, J. -M. Maillard

Abstract: We first study the properties of the Fuchsian ordinary differential equations for the three and four-particle contributions $ χ^{(3)}$ and $ χ^{(4)}$ of the square lattice Ising model susceptibility. An analysis of some mathematical properties of these Fuchsian differential equations is sketched. For instance, we study the factorization properties of the corresponding linear differential operato… ▽ More We first study the properties of the Fuchsian ordinary differential equations for the three and four-particle contributions $ χ^{(3)}$ and $ χ^{(4)}$ of the square lattice Ising model susceptibility. An analysis of some mathematical properties of these Fuchsian differential equations is sketched. For instance, we study the factorization properties of the corresponding linear differential operators, and consider the singularities of the three and four-particle contributions $ χ^{(3)}$ and $ χ^{(4)}$, versus the singularities of the associated Fuchsian ordinary differential equations, which actually exhibit new ``Landau-like'' singularities. We sketch the analysis of the corresponding differential Galois groups. In particular we provide a simple, but efficient, method to calculate the so-called ``connection matrices'' (between two neighboring singularities) and deduce the singular behaviors of $ χ^{(3)}$ and $ χ^{(4)}$. We provide a set of comments and speculations on the Fuchsian ordinary differential equations associated with the $ n$-particle contributions $ χ^{(n)}$ and address the problem of the apparent discrepancy between such a holonomic approach and some scaling results deduced from a Painlevé oriented approach. △ Less

Submitted 4 October, 2005; v1 submitted 25 September, 2005; originally announced September 2005.

Comments: 21 pages Proceedings of the Counting Complexity conference

Journal ref: J.Phys.Conf.Ser. 42 (2006) 281-299

Square lattice Ising model susceptibility: connection matrices and singular behavior of $χ^{(3)}$ and $χ^{(4)}$

Authors: N. Zenine, S. Boukraa, S. Hassani, J. -M. Maillard

Abstract: We present a simple, but efficient, way to calculate connection matrices between sets of independent local solutions, defined at two neighboring singular points, of Fuchsian differential equations of quite large orders, such as those found for the third and fourth contribution ($χ^{(3)}$ and $χ^{(4)}$) to the magnetic susceptibility of square lattice Ising model. We deduce all the critical behav… ▽ More We present a simple, but efficient, way to calculate connection matrices between sets of independent local solutions, defined at two neighboring singular points, of Fuchsian differential equations of quite large orders, such as those found for the third and fourth contribution ($χ^{(3)}$ and $χ^{(4)}$) to the magnetic susceptibility of square lattice Ising model. We deduce all the critical behaviors of the solutions $χ^{(3)}$ and $χ^{(4)}$, as well as the asymptotic behavior of the coefficients in the corresponding series expansions. We confirm that the newly found quadratic number singularities of the Fuchsian ODE associated to $χ^{(3)}$ are not singularities of the particular solution $χ^{(3)}$ itself. We use the previous connection matrices to get the exact expressions of all the monodromy matrices of the Fuchsian differential equation for $χ^{(3)}$ (and $χ^{(4)}$) expressed in the same basis of solutions. These monodromy matrices are the generators of the differential Galois group of the Fuchsian differential equations for $χ^{(3)}$ (and $χ^{(4)}$), whose analysis is just sketched here. As far as the physics implications of the solutions are concerned, we find challenging qualitative differences when comparing the corrections to scaling for the full susceptibillity $χ$ at high temperature (resp. low temperature) and the first two terms $χ^{(1)}$ and $χ^{(3)}$ (resp. $χ^{(2)}$ and $χ^{(4)}$) . △ Less

Submitted 19 September, 2005; v1 submitted 24 June, 2005; originally announced June 2005.

Comments: 38 pages, no figure Note added in the proofs

Journal ref: J.Phys.A38 (2005) 9439-9474

Post-critical set and non existence of preserved meromorphic two-forms

Authors: M. Bouamra, S. Boukraa, S. Hassani, J. -M. Maillard

Abstract: We present a family of birational transformations in $ CP_2$ depending on two, or three, parameters which does not, generically, preserve meromorphic two-forms. With the introduction of the orbit of the critical set (vanishing condition of the Jacobian), also called ``post-critical set'', we get some new structures, some "non-analytic" two-form which reduce to meromorphic two-forms for particula… ▽ More We present a family of birational transformations in $ CP_2$ depending on two, or three, parameters which does not, generically, preserve meromorphic two-forms. With the introduction of the orbit of the critical set (vanishing condition of the Jacobian), also called ``post-critical set'', we get some new structures, some "non-analytic" two-form which reduce to meromorphic two-forms for particular subvarieties in the parameter space. On these subvarieties, the iterates of the critical set have a polynomial growth in the \emph{degrees of the parameters}, while one has an exponential growth out of these subspaces. The analysis of our birational transformation in $ CP_2$ is first carried out using Diller-Favre criterion in order to find the complexity reduction of the mapping. The integrable cases are found. The identification between the complexity growth and the topological entropy is, one more time, verified. We perform plots of the post-critical set, as well as calculations of Lyapunov exponents for many orbits, confirming that generically no meromorphic two-form can be preserved for this mapping. These birational transformations in $ CP_2$, which, generically, do not preserve any meromorphic two-form, are extremely similar to other birational transformations we previously studied, which do preserve meromorphic two-forms. We note that these two sets of birational transformations exhibit totally similar results as far as topological complexity is concerned, but drastically different results as far as a more ``probabilistic'' approach of dynamical systems is concerned (Lyapunov exponents). With these examples we see that the existence of a preserved meromorphic two-form explains most of the (numerical) discrepancy between the topological and probabilistic approach of dynamical systems. △ Less

Submitted 9 May, 2005; originally announced May 2005.

Comments: 34 pages, 7 figures

Ising model susceptibility: Fuchsian differential equation for $χ^{(4)}$ and its factorization properties

Authors: N. Zenine, S. Boukraa, S. Hassani, J. -M. Maillard

Abstract: We give the Fuchsian linear differential equation satisfied by $χ^{(4)}$, the ``four-particle'' contribution to the susceptibility of the isotropic square lattice Ising model. This Fuchsian differential equation is deduced from a series expansion method introduced in two previous papers and is applied with some symmetries and tricks specific to $χ^{(4)}$. The corresponding order ten linear diffe… ▽ More We give the Fuchsian linear differential equation satisfied by $χ^{(4)}$, the ``four-particle'' contribution to the susceptibility of the isotropic square lattice Ising model. This Fuchsian differential equation is deduced from a series expansion method introduced in two previous papers and is applied with some symmetries and tricks specific to $χ^{(4)}$. The corresponding order ten linear differential operator exhibits a large set of factorization properties. Among these factorizations one is highly remarkable: it corresponds to the fact that the two-particle contribution $χ^{(2)}$ is actually a solution of this order ten linear differential operator. This result, together with a similar one for the order seven differential operator corresponding to the three-particle contribution, $χ^{(3)}$, leads us to a conjecture on the structure of all the $ n$-particle contributions $ χ^{(n)}$. △ Less

Submitted 7 February, 2005; originally announced February 2005.

Comments: 27 pages no figures

Journal ref: J.Phys.A38 (2005) 4149-4173

Square lattice Ising model susceptibility: Series expansion method and differential equation for $χ^{(3)}$

Authors: N. Zenine, S. Boukraa, S. Hassani, J-M. Maillard

Abstract: In a previous paper (J. Phys. A {\bf 37} (2004) 9651-9668) we have given the Fuchsian linear differential equation satisfied by $χ^{(3)}$, the ``three-particle'' contribution to the susceptibility of the isotropic square lattice Ising model. This paper gives the details of the calculations (with some useful tricks and tools) allowing one to obtain long series in polynomial time. The method is ba… ▽ More In a previous paper (J. Phys. A {\bf 37} (2004) 9651-9668) we have given the Fuchsian linear differential equation satisfied by $χ^{(3)}$, the ``three-particle'' contribution to the susceptibility of the isotropic square lattice Ising model. This paper gives the details of the calculations (with some useful tricks and tools) allowing one to obtain long series in polynomial time. The method is based on series expansion in the variables that appear in the $(n-1)$-dimensional integrals representing the $n$-particle contribution to the isotropic square lattice Ising model susceptibility $χ$. The integration rules are straightforward due to remarkable formulas we derived for these variables. We obtain without any numerical approximation $χ^{(3)}$ as a fully integrated series in the variable $w=s/2/(1+s^{2})$, where $ s =sh (2K)$, with $K=J/kT$ the conventional Ising model coupling constant. We also give some perspectives and comments on these results. △ Less

Submitted 4 November, 2004; v1 submitted 4 November, 2004; originally announced November 2004.

Comments: 28 pages, no figure

Journal ref: J.Phys. A38 (2005) 1875-1900

The Fuchsian differential equation of the square lattice Ising model $χ(3)$ susceptibility

Authors: N. Zenine, S. Boukraa, S. Hassani, J-M. Maillard

Abstract: Using an expansion method in the variables $ x_i$ that appear in the $(n-1)$-dimensional integrals representing the $n$-particle contribution to the Ising square lattice model susceptibility $χ$, we generate a long series of coefficients for the 3-particle contribution $χ^{(3)}$, using a $ N^4$ polynomial time algorithm. We give the Fuchsian differential equation of order seven for $χ^{(3)}$ tha… ▽ More Using an expansion method in the variables $ x_i$ that appear in the $(n-1)$-dimensional integrals representing the $n$-particle contribution to the Ising square lattice model susceptibility $χ$, we generate a long series of coefficients for the 3-particle contribution $χ^{(3)}$, using a $ N^4$ polynomial time algorithm. We give the Fuchsian differential equation of order seven for $χ^{(3)}$ that reproduces all the terms of our long series. An analysis of the properties of this Fuchsian differential equation is performed. △ Less

Submitted 26 July, 2004; originally announced July 2004.

Comments: 15 pages, no figures, submitted to J. Phys. A

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Journal ref: J.Phys. A37 (2004) 9651-9668

Let's Baxterise

Authors: S. Boukraa, J-M. Maillard

Abstract: We recall the concept of Baxterisation of an R-matrix, or of a monodromy matrix, which corresponds to build, from one point in the $ R$-matrix parameter space, the algebraic variety where the spectral parameter(s) live. We show that the Baxterisation, which amounts to studying the iteration of a birational transformation, is a ``win-win'' strategy: it enables to discard efficiently the non-integ… ▽ More We recall the concept of Baxterisation of an R-matrix, or of a monodromy matrix, which corresponds to build, from one point in the $ R$-matrix parameter space, the algebraic variety where the spectral parameter(s) live. We show that the Baxterisation, which amounts to studying the iteration of a birational transformation, is a ``win-win'' strategy: it enables to discard efficiently the non-integrable situations, focusing directly on the two interesting cases where the algebraic varieties are of the so-called ``general type'' (finite order iteration) or are Abelian varieties (infinite order iteration). We emphasize the heuristic example of the sixteen vertex model and provide a complete description of the finite order iterations situations for the Baxter model. We show that the Baxterisation procedure can be introduced in much larger frameworks where the existence of some underlying Yang-Baxter structure is not used: we Baxterise L-operators, local quantum Lax matrices, and quantum Hamiltonians. △ Less

Submitted 23 March, 2000; originally announced March 2000.

Comments: 38 pages, no figure

Real Arnold complexity versus real topological entropy for birational transformations

Authors: N. Abarenkova, J. -Ch. Anglès d'Auriac, S. Boukraa, S. Hassani, J. -M. Maillard

Abstract: We consider a family of birational transformations of two variables, depending on one parameter, for which simple rational expressions with integer coefficients, for the exact expression of the dynamical zeta function, have been conjectured. together with an equality between the asymptotic of the Arnold complexity and the exponential of the topological entropy. This identification takes place fo… ▽ More We consider a family of birational transformations of two variables, depending on one parameter, for which simple rational expressions with integer coefficients, for the exact expression of the dynamical zeta function, have been conjectured. together with an equality between the asymptotic of the Arnold complexity and the exponential of the topological entropy. This identification takes place for the birational mapping seen as a mapping bearing on two complex variables. We revisit this identification between these two quite `universal complexities' by considering now the mapping as a mapping bearing on two real variables. The definitions of the two previous `topological' complexities (Arnold complexity and topological entropy) are modified according to this real-variables point of view. Most of the `universality' is lost, but the identification survives. △ Less

Submitted 4 June, 1999; originally announced June 1999.

Comments: 13 PostScript Files and one LaTex file

Complexity spectrum of some discrete dynamical systems

Authors: N. Abarenkova, J-. Ch. Anglès d'Auriac, S. Boukraa, J. -M. Maillard

Abstract: We first study birational mappings generated by the composition of the matrix inversion and of a permutation of the entries of $ 3 \times 3 $ matrices. We introduce a semi-numerical analysis which enables to compute the Arnold complexities for all the $9!$ possible birational transformations. These complexities correspond to a spectrum of eighteen algebraic values. We then drastically generalize… ▽ More We first study birational mappings generated by the composition of the matrix inversion and of a permutation of the entries of $ 3 \times 3 $ matrices. We introduce a semi-numerical analysis which enables to compute the Arnold complexities for all the $9!$ possible birational transformations. These complexities correspond to a spectrum of eighteen algebraic values. We then drastically generalize these results, replacing permutations of the entries by homogeneous polynomial transformations of the entries possibly depending on many parameters. Again it is shown that the associated birational, or even rational, transformations yield algebraic values for their complexities. △ Less

Submitted 22 July, 1998; originally announced July 1998.

Comments: 1 LaTex file

Rational dynamical zeta functions for birational transformations

Authors: N. Abarenkova, J. -Ch. Anglès d'Auriac, S. Boukraa, S. Hassani, J. -M. Maillard

Abstract: We propose a conjecture for the exact expression of the dynamical zeta function for a family of birational transformations of two variables, depending on two parameters. This conjectured function is a simple rational expression with integer coefficients. This yields an algebraic value for the topological entropy. Furthermore the generating function for the Arnold complexity is also conjectured t… ▽ More We propose a conjecture for the exact expression of the dynamical zeta function for a family of birational transformations of two variables, depending on two parameters. This conjectured function is a simple rational expression with integer coefficients. This yields an algebraic value for the topological entropy. Furthermore the generating function for the Arnold complexity is also conjectured to be a rational expression with integer coefficients with the same singularities as for the dynamical zeta function. This leads, at least in this example, to an equality between the Arnold complexity and the exponential of the topological entropy. We also give a semi-numerical method to effectively compute the Arnold complexity. △ Less

Submitted 9 July, 1998; originally announced July 1998.

Comments: 1 latex file + 3 PostScript files (= 3 figures)

Topological entropy and complexity for discrete dynamical systems

Authors: N. Abarenkova, J. -Ch. Anglès d'Auriac, S. Boukraa, S. Hassani, J. -M. Maillard

Abstract: To test a possible relation between the topological entropy and the Arnold complexity, and to provide a non trivial example of a rational dynamical zeta function, we introduce a two-parameter family of two-dimensional discrete rational mappings. The generating functions of the number of fixed points, and of the degree of the successive iterates, are both considered. We conjecture rational expres… ▽ More To test a possible relation between the topological entropy and the Arnold complexity, and to provide a non trivial example of a rational dynamical zeta function, we introduce a two-parameter family of two-dimensional discrete rational mappings. The generating functions of the number of fixed points, and of the degree of the successive iterates, are both considered. We conjecture rational expressions with integer coefficients for these two generating functions. and a rational expression for the dynamical zeta function. We then deduce algebraic values for the complexity growth and for the exponential of the topological entropy. Moreover, these two numbers happen to be equal for all the values of the parameters. These conjectures are supported by a semi-numerical method we explain. This method also localizes the integrable cases. △ Less

Submitted 24 June, 1998; originally announced June 1998.

Comments: 1 LaTex file = 4 pages, 2 figures = 2 PostScript files

Integrable mappings and polynomial growth

Authors: S. Boukraa, J-M. Maillard, G. Rollet

Abstract: We describe birational representations of discrete groups generated by involutions, having their origin in the theory of exactly solvable vertex-models in lattice statistical mechanics. These involutions correspond respectively to two kinds of transformations on $q \times q$ matrices: the inversion of the $q \times q$ matrix and an (involutive) permutation of the entries of the matrix. We concen… ▽ More We describe birational representations of discrete groups generated by involutions, having their origin in the theory of exactly solvable vertex-models in lattice statistical mechanics. These involutions correspond respectively to two kinds of transformations on $q \times q$ matrices: the inversion of the $q \times q$ matrix and an (involutive) permutation of the entries of the matrix. We concentrate on the case where these permutations are elementary transpositions of two entries. In this case the birational transformations fall into six different classes. For each class we analyze the factorization properties of the iteration of these transformations. These factorization properties enable to define some canonical homogeneous polynomials associated with these factorization properties. Some mappings yield a polynomial growth of the complexity of the iterations. For three classes the successive iterates, for $q=4$, actually lie on elliptic curves. This analysis also provides examples of integrable mappings in arbitrary dimension, even infinite. Moreover, for two classes, the homogeneous polynomials are shown to satisfy non trivial non-linear recurrences. The relations between factorizations of the iterations, the existence of recurrences on one or several variables, as well as the integrability of the mappings are analyzed. △ Less

Submitted 7 March, 1994; originally announced March 1994.

Comments: 45 pages

Report number: PAR-LPTHE 93-26

Towards Three-Dimensional Bethe Ansatz

Authors: M. Bellon, S. Boukraa, J-M. Maillard, C-M. Viallet

Abstract: We introduce a ``pre-Bethe-Ansatz'' system of equations for three dimensional vertex models. We bring to the light various algebraic curves of high genus and discuss some situations where these curves simplify. As a result we describe remarkable subvarieties of the space of parameters. We introduce a ``pre-Bethe-Ansatz'' system of equations for three dimensional vertex models. We bring to the light various algebraic curves of high genus and discuss some situations where these curves simplify. As a result we describe remarkable subvarieties of the space of parameters. △ Less

Submitted 5 May, 1993; originally announced May 1993.

Comments: 11 pages, latex with amssymbols

Report number: PAR-LPTHE 92-16

Journal ref: Phys.Lett. B314 (1993) 79-88