
- •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 |
689 |
K/Baa ; the model-dependent integer K corresponds to the degree of fusion (see for example [16]).
3 The Pseudo-Differential Equations
To describe the pseudo-differential equations corresponding to the An−1, Bn, Cn and Dn simple Lie algebras we first introduce some notation. We need an nth-order differential operator [9]
Dn(g) = D(gn−1 − (n−1)) D(gn−2 − (n−2)) . . . D(g1 − 1) D(g0), (19)
D(g) = |
d |
− |
g |
, |
(20) |
|
|
||||
dx |
x |
depending on n parameters
g = {gn−1, . . . , g1, g0}, g† = {n − 1− g0, n − 1− g1, . . . , n − 1− gn−1}. (21)
Also, we introduce an inverse differential operator (d/dx)−1, generally defined through its formal action
|
d |
1 |
|
xs |
1 |
|
|
|
|
− |
xs = |
|
+ |
, |
(22) |
dx |
s |
1 |
|||||
|
|
|
+ |
|
|
||
and we replace the simple ‘potential’ P (E, x) = (x2M − E) of (5) with |
|
||||||
PK (E, x) = (xh M/K − E)K . |
(23) |
Using the notation of Appendix B in [12] the proposed pseudo-differential equations are reported below.
An−1 models
The An−1 ordinary differential equations are |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
Dn(g†)χn†−1(x, E) = PK (x, E)χn†−1(x, E), |
|
|
|
|
(24) |
|||||||||||||||||
with the constraint |
|
n−1 g |
i = |
n(n−1) |
and the ordering g |
i |
< g |
j |
< n |
− |
1, |
|
i < j . |
|||||||||||
|
|
|
i=0 |
2 |
|
|
|
|
|
γ (g) |
|
γ |
|
|
|
|
||||||||
We introduce the |
alternative set of parameters γ |
|
|
|
|
a |
(g) |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
= |
|
|
= { |
|
|
} |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
2K |
a−1 |
a(h |
− |
1) |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
γa = |
|
gi − |
|
|
|
. |
|
|
|
|
|
|
|
|
(25) |
||||||
|
|
|
h M |
|
|
2 |
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
i=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|

690 Patrick Dorey, Clare Dunning, Davide Masoero, Junji Suzuki and Roberto Tateo
The solution χn†−1(x, E) is specified by its x 0 behaviour |
|
|
χn† |
1 xn−1−g0 + subdominant terms, (x → 0+). |
(26) |
− |
|
|
In general, this function grows exponentially as x tends to infinity on the positive real axis. In Appendix B of [12], it was shown that the coefficient in front of the leading term, but for an irrelevant overall constant, is precisely the function Q(1)(E, γ ) appearing in the Bethe Ansatz, that is
† |
|
M xM+1 |
χn−1 |
Q(1)(E, γ (g)) x(1−n) 2 e M+1 + subdominant terms, (x → ∞). |
|
Therefore, the set of Bethe ansatz roots |
||
|
|
{Ei(1)} ↔ Q(1)(Ei(1), γ ) = 0 |
coincide with the discrete set of E values in (24) such that |
||
|
† |
M xM+1 |
|
χn−1 |
o x(1−n) 2 e M+1 , (x → ∞). |
This condition is equivalent to the requirement of absolute integrability of
x(n−1) |
M |
xM+1 |
† |
|
2 e− |
M+1 |
χn−1 |
(x, E) |
(27)
(28)
(29)
(30)
on the interval [0, ∞). It is important to stress that the boundary problem defined above for the function χn†−1 (26) is in general different from the one discussed in Sects. 3 and 4 in [12] involving ψ (x, E). The latter function is instead a solution to the adjoint equation of (24) and characterised by recessive behaviour at infinity. Surprisingly, the two problems are spectrally equivalent and lead to identical sets of Bethe ansatz roots.
Dn models
The Dn pseudo-differential equations are
Dn(g†) |
dx − |
1 |
|
Dn(g)χ2n−1(x, E) |
|||
|
|
d |
|
= PK (x, E) |
d |
PK (x, E) χ2n−1(x, E). |
(31) |
dx |
Fixing the ordering gi < gj < h /2, the g ↔ γ relationship is

ABCD and ODEs |
691 |
γa |
|
|
|
|
2K |
|
|
a−1 gi |
− |
a |
h , |
|
(a |
= |
1, . . . , n |
− |
2) |
(32) |
|||||||||
|
|
|
|
|
|
|
2 |
||||||||||||||||||||
|
= h M |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
i=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
γn |
|
1 |
|
|
|
|
K |
|
n−1 gi |
|
|
n |
h , |
|
|
|
|
|
|
||||||||
− |
= h M |
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
− 2 |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
i=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(33) |
γn |
|
|
|
|
K |
|
|
|
n−2 gi |
|
gn 1 |
|
|
n − 2 |
h . |
|
|
|
|||||||||
= h M |
− |
− |
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
− |
2 |
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
i=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The solution is specified by requiring |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
χ2n−1 xh −g0 + subdominant terms, |
|
(x → 0+), |
|
|
(34) |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
M xM+1 |
|
|
|
|
|
|
|
(x → ∞). |
|||||||
χ2n−1 Q(1)(E, γ (g)) x−h 2 e M+1 + subdominant terms, |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(35) |
Figure 1 illustrates Ψ (x, E) |
= |
xh |
M |
|
xM+1 |
|
− |
(x, E) for the first three eigen- |
|||||||||||||||||||
|
|
|
2 e− M+1 χ2n 1 |
||||||||||||||||||||||||
values of the D4 |
pseudo-differential equation defined by K=1, M = 1/3 and |
||||||||||||||||||||||||||
g = (2.95, 2.3, 1.1, 0.2). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fig. 1 Lowest three functions Ψ (x, E) for a D4 pseudo-differential equation
Bn models
The Bn ODEs are |
|
|
|
|
|
|
|
|
|
dx |
PK (x, E)χ2†n |
|
|
||||
Dn(g†)Dn(g)χ2†n |
|
1(x, E) |
|
|
|
PK (x, E) |
|
1(x, E). (36) |
|||||||||
|
− |
|
= |
|
|
|
|
|
d |
|
|
|
|
− |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
||||||
With the ordering gi |
< gj < h /2, the g ↔ γ relation is |
|
|
||||||||||||||
|
|
|
|
|
2K |
|
a−1 |
|
|
a |
|
|
|
||||
|
|
γa |
= |
|
|
|
|
|
|
gi |
− |
|
|
h . |
|
(37) |
|
|
|
h |
|
M |
2 |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i=0
The asymptotic behaviours about x = 0 and x = ∞ are respectively

692 |
|
Patrick Dorey, Clare Dunning, Davide Masoero, Junji Suzuki and Roberto Tateo |
||||||
|
|
χ2†n−1 xh −g0 + subdominant terms, (x → 0+) , |
|
(38) |
||||
and |
|
|
|
|
|
|
|
|
2n−1 |
|
|
M |
xM+1 |
+ |
|
→ ∞ |
|
χ † |
|
Q(1)(E, γ (g)) x |
−h 2 |
e M+1 |
|
subdominant terms, (x |
). |
(39) |
Cn models
The pseudo-differential equations associated to the Cn systems are
Dn(g†) |
dx |
Dn(g) χ2n+1 |
(x, E) = PK (x, E) dx − |
1 |
||
PK (x, E) χ2n+1(x, E) |
||||||
|
|
d |
|
|
d |
|
(40) with the ordering gi < gj < n. The relation between the g’s and the twist parameters in the BAE is
γa |
|
2K |
a−1 gi |
|
an , |
γn |
K |
n−1 gi |
|
n2 |
|
(41) |
|
= h M |
− |
= h M |
− |
||||||||||
|
|
|
|
|
|
|
|
||||||
|
|
|
i=0 |
|
|
|
|
i=0 |
|
|
|
|
|
and |
|
|
|
|
|
|
|
|
|
|
|
|
|
χ2†n 1 x2n−g0 + subdominant terms, |
(x → 0+), |
|
|
|
(42) |
||||||||
+ |
|
|
|
|
xM+1 |
|
|
|
|
|
|
|
|
† |
|
|
|
|
+ subdominant terms, |
(x → ∞). |
(43) |
||||||
χ2n+1 |
Q(1)(E, γ )x−nM e M+1 |
Using a generalisation of Cheng’s algorithm, the zeros of Q(1)(E, γ ) can be found numerically and shown to match the appropriate Bethe ansatz roots [12].
In general, the ‘spectrum’ of a pseudo-differential equation may be either real or complex. In the An−1, Bn, Dn models with K = 1,1 the special choice gi = i leads to pseudo-differential equations with real spectra, a property which is expected to hold for a range of the parameters g (see, for example, [9]). The K > 1 generalisation of the potential (23), proposed initially by Lukyanov for the A1 models [17] but expected to work for all models, introduces a new feature. The eigenvalues corresponding to a K = 2, 3 and K = 4 case of the SU(2) ODE are illustrated in Fig. 2.
The interesting feature appears if we instead plot the logarithm of the eigenvalues as in Fig. 3. We see that the logarithm of the eigenvalues form ‘strings’, a wellknown feature of integrable models. The string solutions approximately lie along lines in the complex plane, the deviations away from which can be calculated [12] using either WKB techniques, or by studying the asymptotics of the Bethe ansatz equations directly.
1 The Cn spectrum is complex for any integer K ≥ 1.