- •Preface
- •Foreword
- •The Henri Poincaré Prize
- •Contributors
- •Contents
- •Stability of Doubly Warped Product Spacetimes
- •Introduction
- •Warped Product Spacetimes
- •Asymptotic Behavior
- •Fuchsian Method
- •Velocity Dominated Equations
- •Velocity Dominated Solution
- •Stability
- •References
- •Introduction
- •The Tomonaga Model with Infrared Cutoff
- •The RG Analysis
- •The Dyson Equation
- •The First Ward Identity
- •The Second Ward Identity
- •The Euclidean Thirring Model
- •References
- •Introduction
- •Lie and Hopf Algebras of Feynman Graphs
- •From Hochschild Cohomology to Physics
- •Dyson-Schwinger Equations
- •References
- •Introduction
- •Quantum Representation and Dynamical Equations
- •Quantum Singularity Problem
- •Examples for Properties of Solutions
- •Effective Theory
- •Summary
- •Introduction
- •Results and Strategy of Proofs
- •References
- •Introduction
- •Critical Scaling Limits and SLE
- •Percolation
- •The Critical Loop Process
- •General Features
- •Construction of a Single Loop
- •The Near-Critical Scaling Limit
- •References
- •Black Hole Entropy Function and Duality
- •Introduction
- •Entropy Function and Electric/Magnetic Duality Covariance
- •Duality Invariant OSV Integral
- •References
- •Weak Turbulence for Periodic NLS
- •Introduction
- •Arnold Diffusion for the Toy Model ODE
- •References
- •Angular Momentum-Mass Inequality for Axisymmetric Black Holes
- •Introduction
- •Variational Principle for the Mass
- •References
- •Introduction
- •The Trace Map
- •Introduction
- •Notations
- •Entanglement-Assisted Quantum Error-Correcting Codes
- •The Channel Model: Discretization of Errors
- •The Entanglement-Assisted Canonical Code
- •The General Case
- •Distance
- •Generalized F4 Construction
- •Bounds on Performance
- •Conclusions
- •References
- •Particle Decay in Ising Field Theory with Magnetic Field
- •Ising Field Theory
- •Evolution of the Mass Spectrum
- •Particle Decay off the Critical Isotherm
- •Unstable Particles in Finite Volume
- •References
- •Lattice Supersymmetry from the Ground Up
- •References
- •Stable Maps are Dense in Dimensional One
- •Introduction
- •Density of Hyperbolicity
- •Quasi-Conformal Rigidity
- •How to Prove Rigidity?
- •The Strategy of the Proof of QC-Rigidity
- •Enhanced Nest Construction
- •Small Distortion of Thin Annuli
- •Approximating Non-renormalizable Complex Polynomials
- •References
- •Large Gap Asymptotics for Random Matrices
- •References
- •Introduction
- •Coupled Oscillators
- •Closure Equations
- •Introduction
- •Conservative Stochastic Dynamics
- •Diffusive Evolution: Green-Kubo Formula
- •Kinetic Limits: Phonon Boltzmann Equation
- •References
- •Introduction
- •Bethe Ansatz for Classical Lie Algebras
- •The Pseudo-Differential Equations
- •Conclusions
- •References
- •Kinetically Constrained Models
- •References
- •Introduction
- •Local Limits for Exit Measures
- •References
- •Young Researchers Symposium Plenary Lectures
- •Dynamics of Quasiperiodic Cocycles and the Spectrum of the Almost Mathieu Operator
- •Magic in Superstring Amplitudes
- •XV International Congress on Mathematical Physics Plenary Lectures
- •The Riemann-Hilbert Problem: Applications
- •Trying to Characterize Robust and Generic Dynamics
- •Cauchy Problem in General Relativity
- •Survey of Recent Mathematical Progress in the Understanding of Critical 2d Systems
- •Random Methods in Quantum Information Theory
- •Gauge Fields, Strings and Integrable Systems
- •XV International Congress on Mathematical Physics Specialized Sessions
- •Condensed Matter Physics
- •Rigorous Construction of Luttinger Liquids Through Ward Identities
- •Edge and Bulk Currents in the Integer Quantum Hall Effect
- •Dynamical Systems
- •Statistical Stability for Hénon Maps of Benedics-Carleson Type
- •Entropy and the Localization of Eigenfunctions
- •Equilibrium Statistical Mechanics
- •Short-Range Spin Glasses in a Magnetic Field
- •Non-equilibrium Statistical Mechanics
- •Current Fluctuations in Boundary Driven Interacting Particle Systems
- •Fourier Law and Random Walks in Evolving Environments
- •Exactly Solvable Systems
- •Correlation Functions and Hidden Fermionic Structure of the XYZ Spin Chain
- •Particle Decay in Ising Field Theory with Magnetic Field
- •General Relativity
- •Einstein Spaces as Attractors for the Einstein Flow
- •Loop Quantum Cosmology
- •Operator Algebras
- •From Vertex Algebras to Local Nets of von Neuman Algebras
- •Non-Commutative Manifolds and Quantum Groups
- •Partial Differential Equations
- •Weak Turbulence for Periodic NSL
- •Ginzburg-Landau Dynamics
- •Probability Theory
- •From Planar Gaussian Zeros to Gravitational Allocation
- •Quantum Mechanics
- •Recent Progress in the Spectral Theory of Quasi-Periodic Operators
- •Recent Results on Localization for Random Schrödinger Operators
- •Quantum Field Theory
- •Algebraic Aspects of Perturbative and Non-Perturbative QFT
- •Quantum Field Theory in Curved Space-Time
- •Lattice Supersymmetry From the Ground Up
- •Analytical Solution for the Effective Charging Energy of the Single Electron Box
- •Quantum Information
- •One-and-a-Half Quantum de Finetti Theorems
- •Catalytic Quantum Error Correction
- •Random Matrices
- •Probabilities of a Large Gap in the Scaled Spectrum of Random Matrices
- •Random Matrices, Asymptotic Analysis, and d-bar Problems
- •Stochastic PDE
- •Degenerately Forced Fluid Equations: Ergodicity and Solvable Models
- •Microscopic Stochastic Models for the Study of Thermal Conductivity
- •String Theory
- •Gauge Theory and Link Homologies
ABCD and ODEs
Patrick Dorey, Clare Dunning, Davide Masoero, Junji Suzuki and Roberto Tateo
Abstract We outline a relationship between conformal field theories and spectral problems of ordinary differential equations, and discuss its generalization to models related to classical Lie algebras.
1 Introduction
The ODE/IM correspondence [8, 4, 20, 13] has established a link between two dimensional conformal field theory (CFT) and generalised spectral problems in ordinary differential and pseudo-differential equations. It is based on an equivalence between transfer matrix eigenvalues [1, 2] and Baxter Q-functions in integrable models (IMs), and spectral determinants [19, 22] of ordinary differential equations (ODEs).
In statistical mechanics, the transfer matrix and its largest eigenvalue—denoted by T in the following—are central objects. For example, consider the six-vertex model defined on a square lattice with N columns and N rows; T can be written in terms of an auxiliary entire function Q through the so-called Baxter T Q relation.
Patrick Dorey
Dept. of Mathematical Sciences, University of Durham, Durham DH1 3LE, UK, e-mail: p.e.dorey@durham.ac.uk
Clare Dunning
IMSAS, University of Kent, Canterbury CT2 7NF, UK, e-mail: t.c.dunning@kent.ac.uk
Davide Masoero
SISSA, via Beirut 2-4, 34014 Trieste, Italy, e-mail: masoero@sissa.it
Junji Suzuki
Department of Physics, Shizuoka University, Ohya 836, SURUGA, Shizuoka, Japan, e-mail: sjsuzuk@ipc.shizuoka.ac.jp
Roberto Tateo
Dip. di Fisica Teorica and INFN, Università di Torino, Via P. Giuria 1, 10125 Torino, Italy, e-mail: tateo@to.infn.it
V. Sidoraviciusˇ (ed.), New Trends in Mathematical Physics, |
685 |
© Springer Science + Business Media B.V. 2009 |
|
686 |
Patrick Dorey, Clare Dunning, Davide Masoero, Junji Suzuki and Roberto Tateo |
Up to an overall constant, Q is completely determined by the knowledge of the positions of its zeros, the Bethe roots, which are constrained by the Bethe ansatz equations (BAE). Subject to some qualitative information on the positions of the Bethe roots, easily deduced by studying systems with small size, the Bethe ansatz leads to a unique set of ground-state roots. In the N → ∞ limit the free energy per site f is simply related to T by
1 |
|
f − N ln T . |
(1) |
In [1, 2], Bazhanov, Lukyanov and Zamolodchikov showed how to adapt the same techniques directly to the conformal field theory (CFT) limit of the six-vertex model. In this setting, we consider the conformal field theory with Virasoro central charge c = 1 corresponding to the continuum limit of the six-vertex model, defined on an infinitely-long strip with twisted boundary conditions along the finite size direction. The largest transfer matrix eigenvalue T depends on three independent parameters: the (rescaled) spectral parameter ν, the anisotropy η and the twist φ. Defining E, M, l, ω, Ω through the following relations
E |
= |
e2ν , |
η |
= |
π |
|
M |
|
|
, ω |
= |
ei |
π |
, |
|
|
|
|||
|
|
|
|
|
|
M+1 |
|
|
|
|||||||||||
2 |
|
M + 1 |
|
|
(2) |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Ω |
= |
ω2M , |
|
|
φ |
= |
(2l + 1)π |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
2M |
+ |
2 |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
the resulting T Q relation is |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
T (E, l, M)Q(E, l, M) = |
ω− |
2l+1 |
Q(ΩE, l, M) + ω |
2l+1 |
|
|
1 |
E, l, M). |
(3) |
|||||||||||
|
2 |
2 Q(Ω− |
|
The Baxter function Q for this largest eigenvalue is fixed by demanding entirety of both T and Q, and reality, positivity and ‘extreme packing’ for l > −1/2 of the set {Ei } of zeros of Q. The BAE follow from the entirety of T and Q via
Q(Ei ) = 0 T (Ei )Q(Ei ) = 0 |
Q(ΩEi ) |
= −ω2l+1. (4) |
Q(Ω−1Ei ) |
Surprisingly, (3) and (4) also emerge from an apparently unrelated context: the study of particular spectral problems for the following differential equation
dx |
− x |
dx |
+ x |
− x2M + E y(x, E, l) = 0 , |
(5) |
||||
|
d |
|
l |
|
d |
|
l |
|
|
with x and E possibly complex. To see the emergence of (4) from (5), we start from the unique solution ψ (x, E, l) of (5) on the punctured complex plane x C \ {0} which has the asymptotic
ψ x−M/2 exp − |
|
1 |
|
xM+1 |
, (M > 1) |
(6) |
M |
+ |
1 |
||||
|
|
|
|
|
|
ABCD and ODEs |
|
687 |
as |x| → ∞ in any closed sector contained in the sector |arg x| < |
3π |
. This |
2M+2 |
solution is entire in E and x. From ψ we introduce a family of solutions to (5) using the ‘Sibuya trick’ (also known as ‘Symanzik rescaling’):
ψk = ψ (ωk x, Ωk E, l). |
(7) |
In (7), k takes integer values; any pair {ψk , ψk+1} constitutes a basis of solutions to (5). An alternative way to characterize a solution to (5) is through its behaviour near the origin x = 0. The indicial equation is
(λ − 1 − l)(λ + l) = 0 , |
(8) |
and correspondingly we can define two (generally) independent solutions |
|
χ +(x, E) = χ (x, E, l) xl+1 + O(xl+3) , |
(9) |
and χ −(x, E) = χ (x, E, −l − 1), which transform trivially under Symanzik rescaling as
χk+ = χ +(ωk x, Ωk E) = ω(l+1)k χ +(x, E) . |
(10) |
The trick is now to rewrite χ0+ = χ +(x, E) respectively in terms of the basis |
|||
{ψ0, ψ1} and {ψ−1, ψ0}: |
|
|
|
2iχ0+ = ω−l− 21 |
Q(ΩE)ψ0 − Q(E)ω− 21 |
ψ1 |
(11) |
1 |
1 |
|
|
2iχ0+ = 2iωl+1χ−+1 = ω 2 Q(E)ψ−1 − ωl+ 2 Q(Ω−1E)ψ0 |
(12) |
where the coefficients has been fixed by consistency among (11), (12) and (10) and
Q(E, l) = W [ψ0, χ0+]. |
(13) |
Here W [f, g] = f ddgx − g dfdx denotes the Wronskian of f and g. Taking the ratio (11)/(12) evaluated at a zero E = Ei of Q leads immediately to the Bethe ansatz equations (4) without the need to introduce the T Q relation, though in this case it can be done very easily (see, for example the recent ODE/IM review article [13]). Correspondingly, χ becomes subdominant at x → ∞ on the positive real axis: χ (x, Ei , l) ψ (x, Ei , l). The motivation of dealing with χ , instead of ψ (6), is two-fold. Firstly, χ can be obtained by applying the powerful and numerically efficient iterative method proposed by Cheng many years ago [7] in the context of Regge pole theory, and applied to spectral problems of this sort in [11]. To this end we introduce the linear operator L, defined through its formal action
L[x |
p |
] = |
|
|
xp+2 |
|
|
|
. |
(14) |
|
|
(p |
+ |
l)(p |
− |
l |
− |
1) |
||||
|
|
|
|
|
|
|
|
|
So for any polynomial P (x) of x ,
688 |
Patrick Dorey, Clare Dunning, Davide Masoero, Junji Suzuki and Roberto Tateo |
||||||||
|
dx |
− x |
dx |
+ x L[P (x)] = P (x), |
(15) |
||||
|
|
d |
|
l |
|
d |
|
l |
|
and the basic differential equation (5), with the boundary conditions (9) at the origin, is equivalent to
χ (x, E, l) = xl+1 + L (x2M − E)χ (x, E, l) . |
(16) |
Equation (16) is solvable by iteration and it allows the predictions of the ODE/IM correspondence to be checked with very high precision.
The initial results of [8, 4, 20] connected conformal field theories associated with the Lie algebra A1 to (second-order) ordinary differential equations. The generalisation to An−1-models was established in [21, 9] but it was only recently [12] that the ODE/IM correspondence was generalised to the remaining classical Lie algebras Bn, Cn and Dn. Our attempts to derive generalised T Q relations from the proposed set of pseudo-differential equations were unsuccessful, but a series of well-motivated conjectures led us directly to the BAE, allowing us to establish the relationship between BAE and pseudo-differential equation parameters. Moreover, while the numerics to calculate the analogs of the functions ψ turned out to be very costly in CPU time, the generalisation of Cheng’s method proved very efficient and allowed very high precision tests to be performed. This is our second main reason to deal with solutions defined through the behaviour about x = 0, rather than x = ∞.
2 Bethe Ansatz for Classical Lie Algebras
For any classical Lie algebra g, conformal field theory Bethe ansatz equations depending on a set of rank(g) twist parameters γ ={γa } can be written in a compact form as
rank(g) |
|
B |
γ |
|
Q(b) (E(a), γ ) |
|
|
|||
|
|
b |
Bab |
i |
|
|
= −1, i = 0, 1, 2, . . . |
(17) |
||
Ω |
|
ab |
|
|
|
|
||||
|
|
|
Q(b) |
(E |
(a) |
, γ ) |
||||
b=1 |
|
|
|
|
−Bab |
|
i |
|
|
|
where Q(a)k (E, γ ) = Q(a)(Ωk E, γ ), and the numbers Ei(a) are the (in general complex) zeros of the functions Q(a). In (17) the indices a and b label the simple roots of the Lie algebra g, and
Bab = |
(αa , αb) |
|
|long roots|2 , a, b = 1, 2, . . . , rank(g) |
(18) |
where the α’s are the simple roots of g. The constant Ω = exp(i h2πμ ) is a pure phase, μ is a positive real number and h is the dual Coxeter number.
It turns out that the Bethe ansatz roots generally split into multiplets (strings) with approximately equal modulus |Ei(a)|. The ground state of the model corresponds to a configuration of roots containing only multiplets with a common dimension da =