- •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
34 |
Giuseppe Benfatto |
(that is the Luttinger model with ultraviolet cutoff and local interaction, which is equivalent to the Thirring model with fixed ultraviolet cutoff).
(2)The beta function for this special model (which is not solvable) is asymptotically vanishing, so that the effective coupling on large scales is essentially constant and of the same order of the coupling on small scales.
Up to now there are two different ways to prove property (2). The first one was developed in the last years and is based in an essential way on the exact Mattis-Lieb solution of the Luttinger model [1, 2]. More recently, we found a new proof, based on the Ward identities obtained by a chiral local gauge transformation, applied to the Tomonaga model with infrared cutoff [3, 4]. This is an old approach in the physical literature, but its implementation in an RG scheme is not trivial at all, because the ultraviolet and infrared cutoffs destroy local gauge invariance and produce not negligible correction terms with respect to the formal Ward identities.
The solution of the problem is in the use of a new set of identities, called “Correction Identities”, relating the corrections to the Schwinger functions and showing the phenomenon of chiral anomaly. By combining Ward and Correction identities with a Dyson equation, the vanishing of the Beta function follows, so that the infrared cutoff can be removed.
As a byproduct, even the ultraviolet cutoff can be removed, after a suitable ultraviolet renormalization, so that a Euclidean Quantum Field Theory corresponding to the Thirring model at imaginary time is constructed, for any value of the mass [5].
2 The Tomonaga Model with Infrared Cutoff
The model is not Hamiltonian and can be defined in terms of Grassmannian variables. It describes a system of two kinds of fermions with linear dispersion rela-
tion interacting with a |
local potential. Let |
D |
be the set of space-time momenta |
||||||||||||||
|
2π |
1 |
|
|
2π |
|
1 |
|
|
|
|
||||||
k = (k, k0), with k = |
|
|
(n |
+ 2 ) and k0 |
= |
|
|
(n0 + |
2 ). With each k |
D we |
|||||||
|
L |
|
β |
||||||||||||||
associate four Grassmannian variables ψkσ,ω , σ, ω {+, −}. The free model is de- |
|||||||||||||||||
scribed by the measure |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
P (dψ ) D ψ exp |
|
Z0 |
|
|
(k)( ik |
|
ωk)ψ |
+ |
ψ − |
(1) |
|||||||
|
|
C |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= N |
|
|
|
− Lβ ω |
1 |
h,0 |
|
|
− 0 + |
|
k,ω k,ω |
|
|||||
|
|
|
|
|
|
|
|
=± |
|
|
|
|
|
|
|
|
|
k D
where N is a normalization constant, D ψ is the Lebesgue Grassmannian measure, Z0 is a fixed constant, that we shall put equal to 1, and [Ch,0(k)]−1 is a smooth
h |
{ |
γ h−1 |
≤ | |
k |
| ≤ |
γ |
} |
, γ > 1, and is equal |
function, which has support in the interval |
|
|
|
|
to 1 in the interval {γ ≤ |k| ≤ 1}. The measure (1) is a Gaussian Grassmannian measure with propagator
|
|
1 |
|
[ |
Ch,0(k) |
−1 |
|
||
g |
(k) |
|
|
|
|
] |
. |
(2) |
|
= Lβ |
|
|
|
||||||
ω |
|
k (−ik0 + ωk) |
|
||||||
Rigorous Construction of Luttinger Liquids Through Ward Identities |
35 |
The correlation functions of density and field operators for the Tomonaga model
with infrared cutoff can be obtained by the generating functional |
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx Jx,ω Z(2) |
ψ + |
ψ − |
|
φ+ |
|
− |
|
|
+ |
φ− |
||||||
W (φ, J ) = log |
P (dψ )e− |
V (ψ ) |
+ |
|
|
|
ψ |
|
ψ |
|||||||||||||||
|
|
|
ω |
|
|
0 |
|
x,ω |
x,ω |
+ x,ω |
|
x,ω + |
|
x,ω |
x,ω (3) |
|||||||||
where |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V (ψ ) |
= |
λ(Z |
)2 |
dxψ |
+ |
|
ψ − |
|
ψ + |
ψ − |
|
, |
Z(2) |
= |
Z |
0 |
= |
1. |
(4) |
|||||
|
0 |
|
|
|
x,+ |
x,+ |
x,− |
x,− |
|
0 |
|
|
|
|
|
|
||||||||
The correlation functions will be graphically represented as in the examples of Fig. 1. They are of course well defined, if γ h is large enough; we want to discuss how to control the limit h → −∞.
Fig. 1 Graphical representation of a few correlation functions
3 The RG Analysis
We shall perform a multi-scale analysis of the functional (3), by using the identity
[Ch,0(k)]−1 = |
0 |
|
fj (k) |
(5) |
|
|
j =h |
|
where the fj (k) are smooth functions defined so that |
|
|
supp fj (k) = {γ j −1 ≤ |k| ≤ γ j +1}, h ≤ j ≤ 0. |
(6) |
|
The decomposition (5) implies the following decomposition of the covariance (2) in single scale covariances:
|
0 |
|
|
1 |
|
|
fj (k) |
|
|||||
gω (k) = |
|
gω(j )(k), |
gω(j )(k) = |
|
|
|
|
|
|
|
|
|
(7) |
j =h |
Lβ |
|
( |
ik |
0 |
+ |
ωk) |
||||||
|
|
|
|
k |
|
− |
|
|
|
|
|||
36 |
Giuseppe Benfatto |
as well as a corresponding factorization of the measure (1) as the product of the Gaussian Grassmannian measures with propagators gω(j )(k). Hence, we can perform iteratively the integration over the different scales, starting from j = 0. Moreover, after any integration step, we absorb in the remaining part of the free measure the terms linear in the momentum, so that at step j we get an expression of the type, see [4] for details:
eW (φ,J ) = e−LβEj PZj(h),Ch,j (dψ )e−V (j )(ψ )+B (j )(ψ,φ,J ) |
(8) |
where PZj(h),Ch,j has roughly the same form as (1), with the field renormalization constant Zj(h) in place of Z0, and the cutoff function
|
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
[Ch,j (k)]−1 = |
|
fj (k) |
|
|
|
|
|
|
(9) |
||||
|
|
|
|
|
|
|
|
i=h |
|
|
|
|
|
|
|
|
|
|
in place of [Ch,0(k)]−1; moreover, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
V (j )(ψ ) |
= |
λ(h) |
(Z(h))2 |
dx ψ |
+ |
ψ − |
ψ + |
|
ψ − |
|
|
(10) |
|||||
|
|
|
j |
j |
|
|
|
x,+ |
x,+ |
|
x,− |
|
x,− + · · · |
|
|
|||
B |
(j )(ψ, φ, J ) |
= |
J |
|
Z(2,h) |
ψ + ψ |
− |
+ |
φ+ ψ |
− |
+ |
ψ |
+ φ− |
+ · · · |
(11) |
|||
|
|
x,ω j |
|
x,ω |
x,ω |
x,ω |
|
x,ω |
|
x,ω x,ω |
|
|||||||
where · · · denotes the remainder, made of irrelevant terms, λ(h)j is the running cou-
pling and Zj(2,h) is the density renormalization constant.
Let us put Zj(1,h) = Zj(h); it is easy to see, by using the definitions and the support properties of the single scale propagators, that, if h < h,
λj(h ) = λj(h), |
Zj(i,h ) = Zj(i,h), j = 0, . . . , h + 1 |
(12) |
|
Moreover, one can show that, if we put εh = max0≤j ≤h |λj(h)|, |
|
||
λh(h ) = λh(h) + O(εh2), |
Zh(i,h )/Zh(i,h) = 1 + O(εh2). |
(13) |
|
Finally, if εh stays small for h → −∞, one can remove the infrared cutoff and show that [4]
λj |
≡ |
λj(−∞) |
−−−−→ |
λ |
−∞ |
(λ) |
(14) |
|||
|
|
|
|
j |
→−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z(i) |
|
|
Z(i,−∞) |
|
|
|
|
|
||
j −1 |
≡ |
|
j −1 |
|
|
−−−−→ j → −∞ηi (λ−∞) |
(15) |
|||
Z(i) |
|
Z(i,−∞) |
||||||||
j |
|
|
j |
|
|
|
|
|
|
|
λ−∞(λ) and ηi (λ−∞) being analytic functions. Moreover λ−∞(λ) is odd in λ and ηi (λ−∞) is even in λ−∞.
Rigorous Construction of Luttinger Liquids Through Ward Identities |
37 |
4 The Dyson Equation
To prove (14) is not an easy task, since the interaction is marginal, from the RG point of view, and indeed the bounds following from the RG analysis show a divergence linear in h. In order to clarify the origin of this apparent divergence and explain how to use Ward identities to solve the problem, it is convenient to consider the following Dyson equation:
|
|
|
|
|
|
|
|
− |
4 |
|
|
|
2 2,1 |
) |
|
G |
|
|
|
|
|
||
+(k1 |
, k2, k3, k4) = λg−(k4) G−(k3)G+ (k1 − k2, k1, k2 |
|
|||||
|
|
|
1 |
|
|
|
|
|
|
+ |
|
|
G+4,1(p; k1, k2, k3, k4 − p) |
|
(16) |
|
|
Lβ |
|
||||
|
|
|
|
|
p |
|
|
whose graphical representation is given in Fig. 2.
Fig. 2 Graphical representation of the Dyson equation (16)
The RG analysis allows us to get rigorously dimensional bounds on the correlation functions. In particular, if we fix the external momenta in the Dyson equation so that
|
|
|
|
|
|
|
k1 = k4 = −k2 = −k3 = k¯ , |
|
|k¯ | = γ h |
|
|
|
(17) |
|||||||||||||||||||
and εh is small enough, we get [3] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
Gω2 (k¯ ) |
= |
|
|
(1,h) |
Dω (k¯ ) |
[ |
1 |
+ |
O(εh2) , |
Dω (k) |
= − |
ik0 |
+ |
ωk (18) |
||||||||||||||
|
|
|
|
|
|
|
|
|
Zh |
|
|
|
|
|
|
|
] |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z(2,h) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Gω2,1(2k¯ , k¯ , |
|
|
k¯ ) |
|
|
|
h |
|
|
|
|
|
|
|
|
1 |
|
|
O(εh2) |
|
|
|
(19) |
|||||||||
|
|
|
|
|
|
− |
|
= − |
(Zh |
|
|
2 |
|
|
|
|
|
|
2 [ |
|
+ |
|
] |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
) Dω (k¯ ) |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
G4 (k¯ |
, |
− |
k¯ , |
− |
k¯ |
, k¯ ) |
= |
|
|
(1,h) |
)2 k¯ |
|
4 |
[− |
λh(h) |
+ |
O(εh2) . |
|
|
|
(20) |
|||||||||||
+ |
|
|
|
|
|
|
(Zh |
|
|
| |
|
|
|
|
|
] |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
38 Giuseppe Benfatto
Then the l.h.s. of the Dyson equation is equal to
1 |
|
[λh(h) + O(εh2)] |
(21) |
||
|
(Zh(1,h))2|k¯ |4 |
|
|||
while the first term in the r.h.s. is equal to |
|
||||
|
|
Zh(2,h) |
2 |
|
|
|
|
|
λ[1 + O(εh)]. |
(22) |
|
|
|
(Zh(1,h))3|k¯ |4 |
|||
As we shall explain below, by using the local gauge invariance of the interaction it
is possible to show that
(2,h)
Zh1 = 1 + O(εh). (23)
Zh( ,h)
Were we able to bound the second term in the r.h.s. as
ε2
C h (24)
(1,h) 2| ¯ |4
(Zh ) k
then, by a simple iterative argument, we could prove that, if λ is small enough,
|λ(h)j | ≤ 2|λ|, h and j ≥ h
implying that the Tomonaga model is well defined.
However, the RG analysis only allows us to bound such term as
C |
εh |
|
|
[γ Cεh |h| − 1] |
|
(1,h) |
2 |
|k¯ |
4 |
||
(Zh |
) |
| |
|
||
(25)
(26)
which is of course not sufficient.
The natural guess is that the origin of the problem is in the fact that one is not taking into account some crucial cancellations related with the gauge invariance.
Hence, inspired by the analysis in the physical literature [7], we rewrite 4,1 in
Gω
terms of 4 by suitable Ward identities, that is the identities obtained by applying
G+
the chiral gauge transformation
ψx±,+ → e±iαx ψx±,+, ψx±,− → ψx±,− |
(27) |
in the generating functional.
As we shall discuss, this is not enough, because the corrections to the formal WI related with the cutoffs satisfy bounds of the same type of the previous one. The problem is finally solved by using other identities, which we call correction identities.
