Critical behaviour of the two-dimensional Ising susceptibility

We report computations of the short-distance and the long-distance (scaling) contributions to the square-lattice Ising susceptibility in zero field close to T_c. Both computations rely on the use of nonlinear partial difference equations for the correlation functions. By summing the correlation functions, we give an algorithm of complexity O(N^6) for the determination of the first N series coefficients. Consequently, we have generated and analysed series of length several hundred terms, generated in about 100 hours on an obsolete workstation. In terms of a temperature variable, \tau, linear in T/T_c-1, the short-distance terms are shown to have the form \tau^p(ln|\tau|)^q with p>=q^2. To O(\tau^14) the long-distance part divided by the leading \tau^{-7/4} singularity contains only integer powers of \tau. The presence of irrelevant variables in the scaling function is clearly evident, with contributions of distinct character at leading orders |\tau|^{9/4} and |\tau|^{17/4} being identified.Comment: 11 pages, REVTex

On the non-abelian Brumer-Stark conjecture and the equivariant Iwasawa main conjecture

We show that for an odd prime p, the p-primary parts of refinements of the (imprimitive) non-abelian Brumer and Brumer-Stark conjectures are implied by the equivariant Iwasawa main conjecture (EIMC) for totally real fields. Crucially, this result does not depend on the vanishing of the relevant Iwasawa mu-invariant. In combination with the authors' previous work on the EIMC, this leads to unconditional proofs of the non-abelian Brumer and Brumer-Stark conjectures in many new cases.Comment: 33 pages; to appear in Mathematische Zeitschrift; v3 many minor updates including new title; v2 some cohomological arguments simplified; v1 is a revised version of the second half of arXiv:1408.4934v

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

We calculate very long low- and high-temperature series for the susceptibility $\chi$ of the square lattice Ising model as well as very long series for the five-particle contribution $\chi^{(5)}$ and six-particle contribution $\chi^{(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 $\chi^{(5)}$ 10000 terms of the series are calculated {\it modulo} a single prime, and have been used to find the linear ODE satisfied by $\chi^{(5)}$ {\it modulo} a prime. A diff-Pad\'e analysis of 2000 terms series for $\chi^{(5)}$ and $\chi^{(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 $\chi^{(5)}$, and $w^2= 1/8$ for the ODE of $\chi^{(6)}$, which are {\it not} singularities of the ``physical'' $\chi^{(5)}$ and $\chi^{(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 $\chi^{(5)}$ (and $\chi^{(6)}$) combined with the corresponding long series for the full susceptibility $\chi$ yields previously conjectured singularities in some $\chi^{(n)}$, $n \ge 7$. We also present a mechanism of resummation of the logarithmic singularities of the $\chi^{(n)}$ leading to the known power-law critical behaviour occurring in the full $\chi$, and perform a power spectrum analysis giving strong arguments in favor of the existence of a natural boundary for the full susceptibility $\chi$.Comment: 54 pages, 2 figure

The diagonal Ising susceptibility

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 $\chi_{d}^{(1)}$ and $\chi_{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 ${\chi}^{(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 $\chi_{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 $\chi_{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$.Comment: 18 page

Interpolation Parameter and Expansion for the Three Dimensional Non-Trivial Scalar Infrared Fixed Point

We compute the non--trivial infrared $\phi^4_3$--fixed point by means of an interpolation expansion in fixed dimension. The expansion is formulated for an infinitesimal momentum space renormalization group. We choose a coordinate representation for the fixed point interaction in derivative expansion, and compute its coordinates to high orders by means of computer algebra. We compute the series for the critical exponent $\nu$ up to order twenty five of interpolation expansion in this representation, and evaluate it using \pade, Borel--\pade, Borel--conformal--\pade, and Dlog--\pade resummation. The resummation returns $0.6262(13)$ as the value of $\nu$.Comment: 29 pages, Latex2e, 2 Postscript figure

On the p-adic Stark conjecture at s=1 and applications

This is the author accepted manuscript. The final version is available from the London Mathematical Society via the DOI in this recordIncludes appendix by Tommy Hofmann, Henri Johnston and Andreas NickelLet E/F be a finite Galois extension of totally real number fields and let p be a prime. The `p-adic Stark conjecture at s=1' relates the leading terms at s=1 of p-adic Artin L-functions to those of the complex Artin L-functions attached to E/F. We prove this conjecture unconditionally when E/Q is abelian. We also show that for certain non-abelian extensions E/F the p-adic Stark conjecture at s=1 is implied by Leopoldt's conjecture for E at p. Moreover, we prove that for a fixed prime p, the p-adic Stark conjecture at s=1 for E/F implies Stark's conjecture at s=1 for E/F. This leads to a `prime-by-prime' descent theorem for the `equivariant Tamagawa number conjecture' (ETNC) for Tate motives at s=1. As an application of these results, we provide strong new evidence for special cases of the ETNC for Tate motives and the closely related `leading term conjectures' at s=0 and s=1.Engineering and Physical Sciences Research Council (EPSRC)DF