arXiv subjects

J-M. Maillard

Publications and source records attributed to J-M. Maillard.

35 records · Page 2Linked to original sources

arXiv2014

Canonical decomposition of linear differential operators with selected differential Galois groups

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.

math-ph↗

arXiv2014

Integrability vs non-integrability: Hard hexagons and hard squares compared

In this paper we compare the integrable hard hexagon model with the non-integrable hard squares model by means of partition function roots and transfer matrix eigenvalues. We consider partition functions for toroidal, cylindrical, and free-free boundary conditions up to sizes $40\times40$ and transfer matrices up to 30 sites. For all boundary conditions the hard squares roots are seen to lie in a bounded area of the complex fugacity plane along with the universal hard core line segment on the negative real fugacity axis. The density of roots on this line segment matches the derivative of the phase difference between the eigenvalues of largest (and equal) moduli and exhibits much greater structure than the corresponding density of hard hexagons. We also study the special point $z=-1$ of hard squares where all eigenvalues have unit modulus, and we give several conjectures for the value at $z=-1$ of the partition functions.

math-ph↗

arXiv2014

The Ising model and Special Geometries

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})$.

math-ph↗

arXiv2013

Hard hexagon partition function for complex fugacity

We study the analyticity of the partition function of the hard hexagon model in the complex fugacity plane by computing zeros and transfer matrix eigenvalues for large finite size systems. We find that the partition function per site computed by Baxter in the thermodynamic limit for positive real values of the fugacity is not sufficient to describe the analyticity in the full complex fugacity plane. We also obtain a new algebraic equation for the low density partition function per site.

math-ph↗

arXiv2012

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

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.

math-ph↗

arXiv2012

The importance of the Ising model

Understanding the relationship which integrable (solvable) models, all of which possess very special symmetry properties, have with the generic non-integrable models that are used to describe real experiments, which do not have the symmetry properties, is one of the most fundamental open questions in both statistical mechanics and quantum field theory. The importance of the two-dimensional Ising model in a magnetic field is that it is the simplest system where this relationship may be concretely studied. We here review the advances made in this study, and concentrate on the magnetic susceptibility which has revealed an unexpected natural boundary phenomenon. When this is combined with the Fermionic representations of conformal characters, it is suggested that the scaling theory, which smoothly connects the lattice with the correlation length scale, may be incomplete for $H \neq 0$.

math-ph↗

arXiv2011

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

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.

math-ph↗

arXiv2011

Factorization of the Ising model form factors

We present a general method for analytically factorizing the n-fold form factor integrals $f^{(n)}_{N,N}(t)$ for the correlation functions of the Ising model on the diagonal in terms of the hypergeometric functions $_2F_1([1/2,N+1/2];[N+1];t)$ which appear in the form factor $f^{(1)}_{N,N}(t)$. New quadratic recursion and quartic identities are obtained for the form factors for n=2,3. For n= 2,3,4 explicit results are given for the form factors. These factorizations are proved for all N for n= 2,3. These results yield the emergence of palindromic polynomials canonically associated with elliptic curves. As a consequence, understanding the form factors amounts to describing and understanding an infinite set of palindromic polynomials, canonically associated with elliptic curves. From an analytical viewpoint the relation of these palindromic polynomials with hypergeometric functions associated with elliptic curves is made very explicitly, and from a differential algebra viewpoint this corresponds to the emergence of direct sums of differential operators homomorphic to symmetric powers of a second order operator associated with elliptic curve.

math-ph↗

arXiv2004

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

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.

hep-th↗

arXiv2004

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

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.

math-ph↗

arXiv2003

Representation Theory of Twisted Group Double

This text collects useful results concerning the quasi-Hopf algebra $\D $. We give a review of issues related to its use in conformal theories and physical mathematics. Existence of such algebras based on 3-cocycles with values in $ {R} / {Z} $ which mimic for finite groups Chern-Simons terms of gauge theories, open wide perspectives in the so called "classification program". The modularisation theorem proved for quasi-Hopf algebras by two authors some years ago makes the computation of topological invariants possible. An updated, although partial, bibliography of recent developments is provided.

hep-th↗

arXiv2002

A challenge in enumerative combinatorics: The graph of contribution

We will try to sketch Professor F. Y. Wu's contributions in lattice statistical mechanics, solid state physics, graph theory, enumerative combinatorics and so many other domains of physics and mathematics. We will recall F. Y. Wu's most important and well-known classic results and we will also sketch his most recent researches dedicated to the connections of lattice statistical mechanical models with deep problems in pure mathematics. Since it is hard to provide an exhaustive list of all his contributions, to give some representation of F. Y. Wu's "mental connectivity" we will concentrate on the interrelations between the various results he has obtained in so many different domains of physics and mathematics. Along the way we will also try to understand Wu's motivations and his favorite concepts, tools and ideas.

cond-mat.stat-mech↗

arXiv2000

Let's Baxterise

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.

hep-th↗

arXiv1994

Integrable mappings and polynomial growth

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.

hep-th↗

arXiv1993

Towards Three-Dimensional Bethe Ansatz

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.

hep-th↗

arXiv1992

Deformations of Dynamics Associated to the Chiral Potts Model

We describe deformations of non-linear (birational) representations of discrete groups generated by involutions, having their origin in the theory of the symmetric five-state Potts model. One of the deformation parameters can be seen as the number $q$ of states of a chiral Potts models. This analogy becomes exact when $q$ is a Fermat number. We analyze the stability of the corresponding dynamics, with a particular attention to orbits of finite order.

hep-th↗

arXiv1991

On the Symmetries of Integrability

We show that the Yang-Baxter equations for two dimensional models admit as a group of symmetry the infinite discrete group $A_2^{(1)}$. The existence of this symmetry explains the presence of a spectral parameter in the solutions of the equations. We show that similarly, for three-dimensional vertex models and the associated tetrahedron equations, there also exists an infinite discrete group of symmetry. Although generalizing naturally the previous one, it is a much bigger hyperbolic Coxeter group. We indicate how this symmetry can help to resolve the Yang-Baxter equations and their higher-dimensional generalizations and initiate the study of three-dimensional vertex models. These symmetries are naturally represented as birational projective transformations. They may preserve non trivial algebraic varieties, and lead to proper parametrizations of the models, be they integrable or not. We mention the relation existing between spin models and the Bose-Messner algebras of algebraic combinatorics. Our results also yield the generalization of the condition $q^n=1$ so often mentioned in the theory of quantum groups, when no $q$ parameter is available.

hep-th↗