Researcher profile

J-M. Maillard

J-M. Maillard contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
13works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2022arXiv

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

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.

preprint2020arXiv

On Christol's conjecture

We show that the unresolved examples of Christol's conjecture $ \, _3F_{2}\left([2/9,5/9,8/9],[2/3,1],x\right)$ and $_3F_{2}\left([1/9,4/9,7/9],[1/3,1],x\right)$, are indeed diagonals of rational functions. We also show that other $\, _3F_2$ and $\, _4F_3$ unresolved examples of Christol's conjecture are diagonals of rational functions. Finally we give two arguments that show that it is likely that the $\, _3F_2([1/9, 4/9, 5/9], \, [1/3,1], \, 27 \cdot x)$ function is a diagonal of a rational function.

preprint2019arXiv

Heun functions and diagonals of rational functions (unabridged version)

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.

preprint2014arXiv

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.

preprint2014arXiv

Scaling functions in the square Ising model

We show and give the linear differential operators ${\cal L}^{scal}_q$ of order q= n^2/4+n+7/8+(-1)^n/8, for the integrals $I_n(r)$ which appear in the two-point correlation scaling function of Ising model $ F_{\pm}(r)= \lim_{scaling} {\cal M}_{\pm}^{-2} < σ_{0,0} \, σ_{M,N}> = \sum_{n} I_{n}(r)$. The integrals $ I_{n}(r)$ are given in expansion around r= 0 in the basis of the formal solutions of $\, {\cal L}^{scal}_q$ with transcendental combination coefficients. We find that the expression $ r^{1/4}\,\exp(r^2/8)$ is a solution of the Painlevé VI equation in the scaling limit. Combinations of the (analytic at $ r= 0$) solutions of $ {\cal L}^{scal}_q$ sum to $ \exp(r^2/8)$. We show that the expression $ r^{1/4} \exp(r^2/8)$ is the scaling limit of the correlation function $ C(N, N)$ and $ C(N, N+1)$. The differential Galois groups of the factors occurring in the operators $ {\cal L}^{scal}_q$ are given.

preprint2014arXiv

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 &#34;Special Geometries&#34;. 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})$.

preprint2013arXiv

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.

preprint2012arXiv

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 &#34;above&#34; 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.

preprint2012arXiv

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

preprint2011arXiv

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 &#34;Derived from Geometry&#34; (globally nilpotent), but actually correspond to &#34;Special Geometry&#34; (homomorphic to their formal adjoint). This raises the question of seeing if these &#34;special geometry&#34; Ising-operators, are &#34;special&#34; 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.

preprint2011arXiv

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.

preprint2000arXiv

Let&#39;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&#39;&#39; 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&#39;&#39; (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.

preprint1992arXiv

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.