An Introduction To Renormalization
An Introduction To Renormalization
net/publication/226241958
An Introduction to Renormalization
CITATIONS READS
26 1,348
1 author:
Vincent Rivasseau
Université Paris-Sud 11
216 PUBLICATIONS 6,571 CITATIONS
SEE PROFILE
All content following this page was uploaded by Vincent Rivasseau on 29 May 2014.
Vincent Rivasseau
LPT Orsay
2
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
2
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
2
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
2
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
2
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
2
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
3
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
3
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
3
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
3
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
3
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
3
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
4
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
4
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Some of these weights may be naively given by divergent integrals, and the
series defining the generating function itself might have zero radius of
convergence.
4
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Some of these weights may be naively given by divergent integrals, and the
series defining the generating function itself might have zero radius of
convergence.
Renormalization theory adresses the first problem. → Couplings move
with scale.
4
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Some of these weights may be naively given by divergent integrals, and the
series defining the generating function itself might have zero radius of
convergence.
Renormalization theory adresses the first problem. → Couplings move
with scale.
Constructive field theory adresses the second problem. Species of
Graphs → Species of Trees.
4
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Renormalization
5
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Renormalization
Renormalization in physics is a very general framework to study how a
system changes under change of the observation scale.
5
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Renormalization
Renormalization in physics is a very general framework to study how a
system changes under change of the observation scale.
Mathematically it reshuffles the initial theory with divergent weights into an
infinite iteration of a certain ‘renormalization group map” which involves
only convergent weights.
5
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Renormalization
Renormalization in physics is a very general framework to study how a
system changes under change of the observation scale.
Mathematically it reshuffles the initial theory with divergent weights into an
infinite iteration of a certain ‘renormalization group map” which involves
only convergent weights.
In combinatoric terms roughly speaking it writes F = lim GoGo...G , where
G corresponds to a single scale.
5
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Renormalization
Renormalization in physics is a very general framework to study how a
system changes under change of the observation scale.
Mathematically it reshuffles the initial theory with divergent weights into an
infinite iteration of a certain ‘renormalization group map” which involves
only convergent weights.
In combinatoric terms roughly speaking it writes F = lim GoGo...G , where
G corresponds to a single scale.
5
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Renormalization
Renormalization in physics is a very general framework to study how a
system changes under change of the observation scale.
Mathematically it reshuffles the initial theory with divergent weights into an
infinite iteration of a certain ‘renormalization group map” which involves
only convergent weights.
In combinatoric terms roughly speaking it writes F = lim GoGo...G , where
G corresponds to a single scale.
The snag
6
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
The snag
Even after the first two problems have been correctly tackled, the flow of
the composition map delivered by the renormalization group may after a
while wander out of the convergence (Borel) radius delivered by
constructive theory.
6
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
The snag
Even after the first two problems have been correctly tackled, the flow of
the composition map delivered by the renormalization group may after a
while wander out of the convergence (Borel) radius delivered by
constructive theory.
6
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Ordinary φ44
7
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Ordinary φ44
It is defined on R4 through its Schwinger functions which are the moments
of the formal functional measure:
7
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Ordinary φ44
It is defined on R4 through its Schwinger functions which are the moments
of the formal functional measure:
7
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Ordinary φ44
It is defined on R4 through its Schwinger functions which are the moments
of the formal functional measure:
7
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Ordinary φ44
It is defined on R4 through its Schwinger functions which are the moments
of the formal functional measure:
7
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Ordinary φ44
It is defined on R4 through its Schwinger functions which are the moments
of the formal functional measure:
7
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Ordinary φ44
It is defined on R4 through its Schwinger functions which are the moments
of the formal functional measure:
7
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Ordinary φ44
It is defined on R4 through its Schwinger functions which are the moments
of the formal functional measure:
8
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
8
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
8
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Feynman Rules
The full interacting measure may now be written as the multiplication of
the Gaussian measure dµ(φ) by the interaction factor:
1 −(λ/4!) R φ4 (x)dx
dν = e dµ(φ) (2.4)
Z
9
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Feynman Rules
The full interacting measure may now be written as the multiplication of
the Gaussian measure dµ(φ) by the interaction factor:
1 −(λ/4!) R φ4 (x)dx
dν =
e dµ(φ) (2.4)
Z
and the Schwinger functions are the normalized moments of this measure:
Z
SN (z1 , ..., zN ) = φ(z1 )...φ(zN )dν(φ). (2.5)
9
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Feynman Rules
The full interacting measure may now be written as the multiplication of
the Gaussian measure dµ(φ) by the interaction factor:
1 −(λ/4!) R φ4 (x)dx
dν =
e dµ(φ) (2.4)
Z
and the Schwinger functions are the normalized moments of this measure:
Z
SN (z1 , ..., zN ) = φ(z1 )...φ(zN )dν(φ). (2.5)
∞
1 X (−λ)n φ4 (x)dx n
Z Z
SN (z1 , ..., zN ) = φ(z1 )...φ(zN )dµ(φ) (2.6)
Z n! 4!
n=0
9
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Feynman Rules
By Wick theorem, SN is a sum over “Wick contractions schemes”, i.e. ways
of pairing together 4n + N fields into 2n + N/2 pairs. There are exactly
(4n + N − 1)(4n + N − 3)...5.3.1 = (4n + N)!! such contraction schemes.
10
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Feynman Rules
By Wick theorem, SN is a sum over “Wick contractions schemes”, i.e. ways
of pairing together 4n + N fields into 2n + N/2 pairs. There are exactly
(4n + N − 1)(4n + N − 3)...5.3.1 = (4n + N)!! such contraction schemes.
z1 x1 z3
x1 z1
z2 x1
x1
z3
x1 z2 x1 z4
z4
10
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Feynman Rules
11
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Feynman Rules
11
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Feynman Rules
11
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Feynman Rules
11
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Feynman Rules
11
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
12
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
12
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
12
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
12
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
12
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
12
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Scale decomposition
13
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Scale decomposition
13
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Scale decomposition
13
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Scale decomposition
Higher and higher values of the scale index i probe shorter and shorter
distances.
13
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Decomposing the propagator means that for any graph we have to sum
over an independent scale index for each line of the graph.
14
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Decomposing the propagator means that for any graph we have to sum
over an independent scale index for each line of the graph.
At fixed scale attribution, some subgraphs play an essential role. They are
the connected subgraphs whose internal lines all have higher scale index
than all the external lines of the subgraph. Let’s call them the ”high”
subgraphs. They form a forest for the inclusion relation.
14
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Locality principle
15
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Locality principle
15
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Locality principle
15
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Locality principle
15
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Power counting
16
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Power counting
16
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Power counting
16
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Power counting
16
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
17
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
For a connected φ44 graph, the net factor is 2l(G ) − 4(n(G ) − 1) = 4 − N(G )
(because 4n = 2l + N). When this factor is strictly negative, the sum is
geometrically convergent, otherwise it diverges.
17
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
For a connected φ44 graph, the net factor is 2l(G ) − 4(n(G ) − 1) = 4 − N(G )
(because 4n = 2l + N). When this factor is strictly negative, the sum is
geometrically convergent, otherwise it diverges.
17
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
For a connected φ44 graph, the net factor is 2l(G ) − 4(n(G ) − 1) = 4 − N(G )
(because 4n = 2l + N). When this factor is strictly negative, the sum is
geometrically convergent, otherwise it diverges.
For instance for this graph the sum over the red scale i at fixed blue scale
diverges (logarithmically) because there are two line factors M 2i and a
single internal integration M −4i .
17
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
18
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
High subgraphs with N = 2 and 4 diverge when inserted into ordinary ones.
18
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
High subgraphs with N = 2 and 4 diverge when inserted into ordinary ones.
However this divergence can be absorbed into a change of the three
parameters (coupling constant, mass and wave function) which appeared in
the initial model.
18
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
High subgraphs with N = 2 and 4 diverge when inserted into ordinary ones.
However this divergence can be absorbed into a change of the three
parameters (coupling constant, mass and wave function) which appeared in
the initial model.
This means physically that the parameters of the model do change with the
observation scale but not the structure of the model itself. This is a kind of
sophisticated self-similarity.
18
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
High subgraphs with N = 2 and 4 diverge when inserted into ordinary ones.
However this divergence can be absorbed into a change of the three
parameters (coupling constant, mass and wave function) which appeared in
the initial model.
This means physically that the parameters of the model do change with the
observation scale but not the structure of the model itself. This is a kind of
sophisticated self-similarity.
Such models are called (perturbatively) renormalizable. But...
18
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
The flow
Every ”high” subgraph looks more and more local as the gap between the
smallest internal and the largest external scale grows.
19
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
The flow
Every ”high” subgraph looks more and more local as the gap between the
smallest internal and the largest external scale grows.
In the case of the φ44 theory the evolution of the coupling constant λ under
change of scale is mainly due to the first non trivial one-particle irreducible
graph
19
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
The flow
Every ”high” subgraph looks more and more local as the gap between the
smallest internal and the largest external scale grows.
In the case of the φ44 theory the evolution of the coupling constant λ under
change of scale is mainly due to the first non trivial one-particle irreducible
graph
dλi
−λi−1 = −λi + β(−λi )2 , = +β(λi )2 ,
di
19
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
The flow
Every ”high” subgraph looks more and more local as the gap between the
smallest internal and the largest external scale grows.
In the case of the φ44 theory the evolution of the coupling constant λ under
change of scale is mainly due to the first non trivial one-particle irreducible
graph
dλi
−λi−1 = −λi + β(−λi )2 , = +β(λi )2 ,
di
19
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
20
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
20
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
20
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
20
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
20
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Renormalons
21
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Renormalons
1
Z
AG (k) = d 4 p 2
(p + m )(p + k)2 + m2 )
2
21
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Renormalons
1
Z
AG (k) = d 4 p 2
(p + m )(p + k)2 + m2 )
2
1 1
Z Z
4
Aeff
G (k) = d p 2 −
(p + m2 )(p + k)2 + m2 ) |p|≥|k| (p 2 + m2 )2
is bounded: |Aeff
G (k)| ≤ const.
21
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Renormalons
1
Z
AG (k) = d 4 p 2
(p + m )(p + k)2 + m2 )
2
1 1
Z Z
4
Aeff
G (k) = d p 2 −
(p + m2 )(p + k)2 + m2 ) |p|≥|k| (p 2 + m2 )2
is bounded: |Aeff
G (k)| ≤ const.
1 1
Z Z
4
Aren
G (k) = d p −
(p 2 + m2 )(p + k)2 + m2 ) (p 2 + m2 )2
21
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Renormalons, II
22
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Renormalons, II
d 4q
Z
[log |q|]n 2 ≃n→∞ c n n!
[q + m2 ]3
23
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Expressing the theory in terms of all the running couplings leads to the
effective expansion (which is not a power series in a single coupling).
23
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Expressing the theory in terms of all the running couplings leads to the
effective expansion (which is not a power series in a single coupling).
Because there is a single forest subtracted there is no book-keeping,
(no need for Zimmermann’s forests nor Connes-Kreimer Hopf algebras)
23
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Expressing the theory in terms of all the running couplings leads to the
effective expansion (which is not a power series in a single coupling).
Because there is a single forest subtracted there is no book-keeping,
(no need for Zimmermann’s forests nor Connes-Kreimer Hopf algebras)
There are also no renormalons, so the effective expansion is good for
constructive purpose.
23
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
24
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
In the case of the φ44 theory the evolution of the coupling constant λ under
change of scale is mainly due to the first non trivial one-particle irreducible
graph we already saw.
24
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
In the case of the φ44 theory the evolution of the coupling constant λ under
change of scale is mainly due to the first non trivial one-particle irreducible
graph we already saw.
24
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
In the case of the φ44 theory the evolution of the coupling constant λ under
change of scale is mainly due to the first non trivial one-particle irreducible
graph we already saw.
24
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
In the case of the φ44 theory the evolution of the coupling constant λ under
change of scale is mainly due to the first non trivial one-particle irreducible
graph we already saw.
24
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Asymptotic Freedom
25
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Asymptotic Freedom
In fact field theory and renormalization made in the early 70’s a spectacular
comeback:
25
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Asymptotic Freedom
In fact field theory and renormalization made in the early 70’s a spectacular
comeback:
Weinberg and Salam unified the weak and electromagnetic interactions
into the formalism of Yang and Mills of non-Abelian gauge theories,
which are based on an internal non commutative symmetry.
25
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Asymptotic Freedom
In fact field theory and renormalization made in the early 70’s a spectacular
comeback:
Weinberg and Salam unified the weak and electromagnetic interactions
into the formalism of Yang and Mills of non-Abelian gauge theories,
which are based on an internal non commutative symmetry.
’tHooft and Veltmann succeeded to show that these theories are still
renormalisable. They used a new technical tool calleddimensional
renormalization.
25
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Asymptotic Freedom
In fact field theory and renormalization made in the early 70’s a spectacular
comeback:
Weinberg and Salam unified the weak and electromagnetic interactions
into the formalism of Yang and Mills of non-Abelian gauge theories,
which are based on an internal non commutative symmetry.
’tHooft and Veltmann succeeded to show that these theories are still
renormalisable. They used a new technical tool calleddimensional
renormalization.
’t Hooft (1972, unpublished), Politzer, Gross and Wilczek (1973)
discovered that these theories did not suffer from the Landau ghost.
Gross and Wilczek then developed a theory of this type, QCD to
describe strong interactions (nuclear forces).
25
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Asymptotic Freedom
In fact field theory and renormalization made in the early 70’s a spectacular
comeback:
Weinberg and Salam unified the weak and electromagnetic interactions
into the formalism of Yang and Mills of non-Abelian gauge theories,
which are based on an internal non commutative symmetry.
’tHooft and Veltmann succeeded to show that these theories are still
renormalisable. They used a new technical tool calleddimensional
renormalization.
’t Hooft (1972, unpublished), Politzer, Gross and Wilczek (1973)
discovered that these theories did not suffer from the Landau ghost.
Gross and Wilczek then developed a theory of this type, QCD to
describe strong interactions (nuclear forces).
Around the same time K. Wilson enlarged considerably the realm of
renormalization, under the name of the renormalization group.
25
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Asymptotic Freedom
In fact field theory and renormalization made in the early 70’s a spectacular
comeback:
Weinberg and Salam unified the weak and electromagnetic interactions
into the formalism of Yang and Mills of non-Abelian gauge theories,
which are based on an internal non commutative symmetry.
’tHooft and Veltmann succeeded to show that these theories are still
renormalisable. They used a new technical tool calleddimensional
renormalization.
’t Hooft (1972, unpublished), Politzer, Gross and Wilczek (1973)
discovered that these theories did not suffer from the Landau ghost.
Gross and Wilczek then developed a theory of this type, QCD to
describe strong interactions (nuclear forces).
Around the same time K. Wilson enlarged considerably the realm of
renormalization, under the name of the renormalization group.
Happy end, all the people in red in this page got the Nobel prize...
25
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Constructive Theory
26
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Constructive Theory
26
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Constructive Theory
26
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Constructive Theory
26
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Constructive Theory
26
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Constructive Theory
26
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
27
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
27
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
27
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
27
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
27
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
27
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
28
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
28
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
28
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
28
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
28
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Solution: it converges! X
|AT | < +∞
T
28
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Constructive rewriting
29
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Constructive rewriting
29
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Constructive rewriting
29
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Constructive rewriting
29
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Constructive rewriting
29
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
An Example
30
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
An Example
v2
11
v1 l3 l4
l2
v3
30
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
An Example
v2
11
v1 l3 l4
l2
v3
Z 1 Z 1
w (G , T12 ) = dw1 dw2 [inf(w1 , w2 )]2 = 1/6
0 0
30
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
An Example
v2
11
v1 l3 l4
l2
v3
Z 1 Z 1
w (G , T12 ) = dw1 dw2 [inf(w1 , w2 )]2 = 1/6
0 0
30
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
An Example
v2
11
v1 l3 l4
l2
v3
Z 1 Z 1
w (G , T12 ) = dw1 dw2 [inf(w1 , w2 )]2 = 1/6
0 0
1 5
+4· =1
6 24
30
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Fermions/Bosons
31
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Fermions/Bosons
31
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Fermions/Bosons
For Fermions one can apply this method directly to the graphs of the
ordinary perturbative expansion.
31
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Fermions/Bosons
For Fermions one can apply this method directly to the graphs of the
ordinary perturbative expansion.
For Bosons one should apply this method to the graphs of the intermediate
field expansion (Loop Vertex Expansion).
31
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
32
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
32
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
32
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
32
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
32
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
32
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
33
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Z +∞
4 −x 2 /2 dx
F (λ) = e −λx √
−∞ 2π
is Borel summable. How to compute G (λ) = log F (λ) (and prove it is also
Borel summable)?
33
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Z +∞
4 −x 2 /2 dx
F (λ) = e −λx √
−∞ 2π
is Borel summable. How to compute G (λ) = log F (λ) (and prove it is also
Borel summable)?
Composition of series (XIXth century)
33
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Z +∞
4 −x 2 /2 dx
F (λ) = e −λx √
−∞ 2π
is Borel summable. How to compute G (λ) = log F (λ) (and prove it is also
Borel summable)?
Composition of series (XIXth century)
A la Feynman (1950)
33
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Z +∞
4 −x 2 /2 dx
F (λ) = e −λx √
−∞ 2π
is Borel summable. How to compute G (λ) = log F (λ) (and prove it is also
Borel summable)?
Composition of series (XIXth century)
A la Feynman (1950)
‘Classical Constructive”, à la Glimm-Jaffe-Spencer (1970...)
33
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Z +∞
4 −x 2 /2 dx
F (λ) = e −λx √
−∞ 2π
is Borel summable. How to compute G (λ) = log F (λ) (and prove it is also
Borel summable)?
Composition of series (XIXth century)
A la Feynman (1950)
‘Classical Constructive”, à la Glimm-Jaffe-Spencer (1970...)
With loop vertices (2007)...
33
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Z +∞
4 −x 2 /2 dx
F (λ) = e −λx √
−∞ 2π
is Borel summable. How to compute G (λ) = log F (λ) (and prove it is also
Borel summable)?
Composition of series (XIXth century)
A la Feynman (1950)
‘Classical Constructive”, à la Glimm-Jaffe-Spencer (1970...)
With loop vertices (2007)...
Tree QFT (2008)...
33
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Borel Summability
34
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Borel Summability
34
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Borel Summability
34
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Borel Summability
34
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Borel Summability
Given any series an , there is at most one such function f . When there is
one, it is called the Borel sum, and it can be computed from the series to
arbitrary accuracy.
34
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Composition of series
35
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Composition of series
X (4p)!!
F = 1 + H, H = ap (−λ)p , ap =
p!
p≥1
∞
X xn
log(1 + x) = (−1)n+1
n
n=1
∞
X H(λ)n X
G = (−1)n+1 = bk (−λ)k ,
n
n=1 k≥1
k
X (−1)n+1 X Y (4pj )!!
bk =
n pj !
n=1 p1 ,..,pn ≥1 j
p1 +...+pn =k
35
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Composition of series
X (4p)!!
F = 1 + H, H = ap (−λ)p , ap =
p!
p≥1
∞
X xn
log(1 + x) = (−1)n+1
n
n=1
∞
X H(λ)n X
G = (−1)n+1 = bk (−λ)k ,
n
n=1 k≥1
k
X (−1)n+1 X Y (4pj )!!
bk =
n pj !
n=1 p1 ,..,pn ≥1 j
p1 +...+pn =k
A la Feynman
36
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
A la Feynman
X 1
F = 1 + H, H = ap (−λ)p , ap = #{vacuum graphs on p vertices}
p!
p≥1
36
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
A la Feynman
X 1
F = 1 + H, H = ap (−λ)p , ap = #{vacuum graphs on p vertices}
p!
p≥1
∞
X 1
G = (−λ)k bk , bk = #{vacuum connected graphs on k vertices}
k!
k=1
36
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
A la Feynman
X 1
F = 1 + H, H = ap (−λ)p , ap = #{vacuum graphs on p vertices}
p!
p≥1
∞
X 1
G = (−λ)k bk , bk = #{vacuum connected graphs on k vertices}
k!
k=1
b1 = 3, b2 = 48, b3 = 1584...
36
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
A la Feynman
X 1
F = 1 + H, H = ap (−λ)p , ap = #{vacuum graphs on p vertices}
p!
p≥1
∞
X 1
G = (−λ)k bk , bk = #{vacuum connected graphs on k vertices}
k!
k=1
b1 = 3, b2 = 48, b3 = 1584...
36
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Classical Constructive
37
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Classical Constructive
37
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Classical Constructive
Defining ηij = −1, εij = 1 + ηij = 1 + xij ηij |xij =1 and apply swiss knife.
37
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
38
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
∞ n Y Z 1 Y
X 1 XY
1 + ηℓ xℓF ({w })
F = Hi (λ) dwℓ ηℓ
n! 0
n=0 F i=1 ℓ∈F ℓ6∈F
38
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
∞ n Y Z 1 Y
X 1 XY
1 + ηℓ xℓF ({w })
F = Hi (λ) dwℓ ηℓ
n! 0
n=0 F i=1 ℓ∈F ℓ6∈F
∞ n Y Z 1 Y
X 1 XY
1 + ηℓ xℓT ({w })
G= Hi (λ) dwℓ ηℓ
n! 0
n=1 T i=1 ℓ∈T ℓ6∈T
38
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
∞ n Y Z 1 Y
X 1 XY
1 + ηℓ xℓF ({w })
F = Hi (λ) dwℓ ηℓ
n! 0
n=0 F i=1 ℓ∈F ℓ6∈F
∞ n Y Z 1 Y
X 1 XY
1 + ηℓ xℓT ({w })
G= Hi (λ) dwℓ ηℓ
n! 0
n=1 T i=1 ℓ∈T ℓ6∈T
38
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
∞ n Y Z 1 Y
X 1 XY
1 + ηℓ xℓF ({w })
F = Hi (λ) dwℓ ηℓ
n! 0
n=0 F i=1 ℓ∈F ℓ6∈F
∞ n Y Z 1 Y
X 1 XY
1 + ηℓ xℓT ({w })
G= Hi (λ) dwℓ ηℓ
n! 0
n=1 T i=1 ℓ∈T ℓ6∈T
38
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
∞ n Y Z 1 Y
X 1 XY
1 + ηℓ xℓF ({w })
F = Hi (λ) dwℓ ηℓ
n! 0
n=0 F i=1 ℓ∈F ℓ6∈F
∞ n Y Z 1 Y
X 1 XY
1 + ηℓ xℓT ({w })
G= Hi (λ) dwℓ ηℓ
n! 0
n=1 T i=1 ℓ∈T ℓ6∈T
38
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Loop Vertices
39
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Loop Vertices
39
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Loop Vertices
39
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Loop Vertices
39
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Loop Vertices, II
40
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Loop Vertices, II
∞ n
1 X Y 1
Z Y
∂ ∂ Y
X Z
F = dwℓ V (σi ) dµC F
n! 0 ∂σi(ℓ) ∂σj(ℓ)
n=0 F ℓ∈F ℓ∈F i=1
40
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Loop Vertices, II
∞ n
1 X Y 1
Z Y
∂ ∂ Y
X Z
F = dwℓ V (σi ) dµC F
n! 0 ∂σi(ℓ) ∂σj(ℓ)
n=0 F ℓ∈F ℓ∈F i=1
∞ n
1 X Y 1
Z Y
∂ ∂ Y
X Z
G= dwℓ V (σi ) dµC T
n! 0 ∂σi(ℓ) ∂σj(ℓ)
n=1 T ℓ∈T ℓ∈T i=1
40
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Loop Vertices, II
∞ n
1 X Y 1
Z Y
∂ ∂ Y
X Z
F = dwℓ V (σi ) dµC F
n! 0 ∂σi(ℓ) ∂σj(ℓ)
n=0 F ℓ∈F ℓ∈F i=1
∞ n
1 X Y 1
Z Y
∂ ∂ Y
X Z
G= dwℓ V (σi ) dµC T
n! 0 ∂σi(ℓ) ∂σj(ℓ)
n=1 T ℓ∈T ℓ∈T i=1
40
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Advantages
41
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Advantages
One can picture the result as a sum over trees on loops, or ”cacti”. Since
∂k √ √ √
k
log[1 + i 8λσ] = −(k − 1)!(−i 8λ)k [1 + i 8λσ]−k ,
∂σ
41
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Advantages
One can picture the result as a sum over trees on loops, or ”cacti”. Since
∂k √ √ √
k
log[1 + i 8λσ] = −(k − 1)!(−i 8λ)k [1 + i 8λσ]−k ,
∂σ
√
Convergence is easy because |[1 + i 8λσ]−k | ≤ 1.
41
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Advantages
One can picture the result as a sum over trees on loops, or ”cacti”. Since
∂k √ √ √
k
log[1 + i 8λσ] = −(k − 1)!(−i 8λ)k [1 + i 8λσ]−k ,
∂σ
√
Convergence is easy because |[1 + i 8λσ]−k | ≤ 1.
Borel summability is easy.
41
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
Advantages
One can picture the result as a sum over trees on loops, or ”cacti”. Since
∂k √ √ √
k
log[1 + i 8λσ] = −(k − 1)!(−i 8λ)k [1 + i 8λσ]−k ,
∂σ
√
Convergence is easy because |[1 + i 8λσ]−k | ≤ 1.
Borel summability is easy.
This method extends to non commutative field theory.
41
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
42
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
42
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
42
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
42
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
42
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
* x
=
x
42
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
* x
=
x
42
Cetraro, Summer 2010, Cetraro, Summer 2010 Vincent Rivasseau, LPT Orsay
What is quantum field theory? Renormalization Constructive tools Constructive theory in zero dimension
* x
=
x
Vincent Rivasseau
LPT Orsay
Grassmann variables
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Grassmann variables
Independent Grassmann variables ψ1 , ..., ψn satisfy complete
anticommutation relations
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Grassmann variables
Independent Grassmann variables ψ1 , ..., ψn satisfy complete
anticommutation relations
ψi ψj = −ψj ψi ∀i, j
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Grassmann variables
Independent Grassmann variables ψ1 , ..., ψn satisfy complete
anticommutation relations
ψi ψj = −ψj ψi ∀i, j
and the rule that dψ symbols also anticommute between themselves and
with all ψ variables.
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Grassmann variables
Independent Grassmann variables ψ1 , ..., ψn satisfy complete
anticommutation relations
ψi ψj = −ψj ψi ∀i, j
and the rule that dψ symbols also anticommute between themselves and
with all ψ variables.
Any function of Grassmann variables is a polynomial with highest
degree one in each variable.
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Grassmann variables
Independent Grassmann variables ψ1 , ..., ψn satisfy complete
anticommutation relations
ψi ψj = −ψj ψi ∀i, j
and the rule that dψ symbols also anticommute between themselves and
with all ψ variables.
Any function of Grassmann variables is a polynomial with highest
degree one in each variable.
Pfaffians and determinants can be nicely written as Grassmann
integrals.
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Determinants
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Determinants
The main important fact is that the determinant of any n by n matrix can
be expressed as a Grassmann Gaussian integral over 2n independent
Grassmann variables.
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Determinants
The main important fact is that the determinant of any n by n matrix can
be expressed as a Grassmann Gaussian integral over 2n independent
Grassmann variables.
It is convenient to name these variables as ψ̄1 , . . . , ψ̄n , ψ1 , . . . , ψn , although
the bars have nothing to do with complex conjugation.
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Determinants
The main important fact is that the determinant of any n by n matrix can
be expressed as a Grassmann Gaussian integral over 2n independent
Grassmann variables.
It is convenient to name these variables as ψ̄1 , . . . , ψ̄n , ψ1 , . . . , ψn , although
the bars have nothing to do with complex conjugation.
The formula is Z Y P
detM = d ψ̄i dψi e − ij ψ̄i Mij ψj
.
i
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Determinants
The main important fact is that the determinant of any n by n matrix can
be expressed as a Grassmann Gaussian integral over 2n independent
Grassmann variables.
It is convenient to name these variables as ψ̄1 , . . . , ψ̄n , ψ1 , . . . , ψn , although
the bars have nothing to do with complex conjugation.
The formula is Z Y P
detM = d ψ̄i dψi e − ij ψ̄i Mij ψj
.
i
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Determinants
The main important fact is that the determinant of any n by n matrix can
be expressed as a Grassmann Gaussian integral over 2n independent
Grassmann variables.
It is convenient to name these variables as ψ̄1 , . . . , ψ̄n , ψ1 , . . . , ψn , although
the bars have nothing to do with complex conjugation.
The formula is Z Y P
detM = d ψ̄i dψi e − ij ψ̄i Mij ψj
.
i
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
dµM =RQ P .
d ψ̄i dψi e − ij ψ̄i Mij ψj
−1
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
dµM =RQ P .
d ψ̄i dψi e − ij ψ̄i Mij ψj
−1
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
dµM =RQ P .
d ψ̄i dψi e − ij ψ̄i Mij ψj
−1
plus the Grassmann-Wick rule that n-point functions are expressed as sum
over Wick contractions with signs.
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Determinants
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Determinants
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Determinants
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Determinants
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Pfaffians
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Pfaffians
The Pfaffian Pf(A) of an antisymmetric matrix A is defined by
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Pfaffians
The Pfaffian Pf(A) of an antisymmetric matrix A is defined by
detA = [Pf(A)]2 .
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Pfaffians
The Pfaffian Pf(A) of an antisymmetric matrix A is defined by
detA = [Pf(A)]2 .
We can express the Pfaffian as:
Z Z
P 1 P
− i<j χi Aij χj
Pf(A) = dχ1 ...dχn e = dχ1 ...dχn e − 2 i,j χi Aij χj .
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Pfaffians
The Pfaffian Pf(A) of an antisymmetric matrix A is defined by
detA = [Pf(A)]2 .
We can express the Pfaffian as:
Z Z
P 1 P
− i<j χi Aij χj
Pf(A) = dχ1 ...dχn e = dχ1 ...dχn e − 2 i,j χi Aij χj .
Indeed we write Z Y P
detA = d ψ̄i dψi e − ij ψ̄i Aij ψj
.
i
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Pfaffians
The Pfaffian Pf(A) of an antisymmetric matrix A is defined by
detA = [Pf(A)]2 .
We can express the Pfaffian as:
Z Z
P 1 P
− i<j χi Aij χj
Pf(A) = dχ1 ...dχn e = dχ1 ...dχn e − 2 i,j χi Aij χj .
Indeed we write Z Y P
detA = d ψ̄i dψi e − ij ψ̄i Aij ψj
.
i
Performing the change of variables (which a posteriori justifies the complex
notation)
1 1
ψ̄i = √ (χi − iωi ), ψi = √ (χi + iωi ),
2 2
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Pfaffians
The Pfaffian Pf(A) of an antisymmetric matrix A is defined by
detA = [Pf(A)]2 .
We can express the Pfaffian as:
Z Z
P 1 P
− i<j χi Aij χj
Pf(A) = dχ1 ...dχn e = dχ1 ...dχn e − 2 i,j χi Aij χj .
Indeed we write Z Y P
detA = d ψ̄i dψi e − ij ψ̄i Aij ψj
.
i
Performing the change of variables (which a posteriori justifies the complex
notation)
1 1
ψ̄i = √ (χi − iωi ), ψi = √ (χi + iωi ),
2 2
shows why detA is a perfect square and proves the red formula.
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Pfaffians
The Pfaffian Pf(A) of an antisymmetric matrix A is defined by
detA = [Pf(A)]2 .
We can express the Pfaffian as:
Z Z
P 1 P
− i<j χi Aij χj
Pf(A) = dχ1 ...dχn e = dχ1 ...dχn e − 2 i,j χi Aij χj .
Indeed we write Z Y P
detA = d ψ̄i dψi e − ij ψ̄i Aij ψj
.
i
Performing the change of variables (which a posteriori justifies the complex
notation)
1 1
ψ̄i = √ (χi − iωi ), ψi = √ (χi + iωi ),
2 2
shows why detA is a perfect square and proves the red formula.
Reference on Grassmann calculus in QFT: J. Feldman, Renormalization
Group and Fermionic Functional Integrals.
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Fermionic Fields
The Hamiltonian Fock space formalism for electrons in condensed matter is
better reexpressed in terms of Grasmannian fields.
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Fermionic Fields
The Hamiltonian Fock space formalism for electrons in condensed matter is
better reexpressed in terms of Grasmannian fields.
We consider independent Grasmmann valued fields ψ̄(ξ), ψ(ξ) with
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Fermionic Fields
The Hamiltonian Fock space formalism for electrons in condensed matter is
better reexpressed in terms of Grasmannian fields.
We consider independent Grasmmann valued fields ψ̄(ξ), ψ(ξ) with
~ ~
ξ = (~x , t), ~x ∈ Rd , t ∈ [− , ].
kT kT
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Fermionic Fields
The Hamiltonian Fock space formalism for electrons in condensed matter is
better reexpressed in terms of Grasmannian fields.
We consider independent Grasmmann valued fields ψ̄(ξ), ψ(ξ) with
~ ~
ξ = (~x , t), ~x ∈ Rd , t ∈ [− , ].
kT kT
The propagator is
1
Cab (k) = δab
ik0 − [ε(~k) − µ]
where a, b are the spin indices.
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Fermionic Fields
The Hamiltonian Fock space formalism for electrons in condensed matter is
better reexpressed in terms of Grasmannian fields.
We consider independent Grasmmann valued fields ψ̄(ξ), ψ(ξ) with
~ ~
ξ = (~x , t), ~x ∈ Rd , t ∈ [− , ].
kT kT
The propagator is
1
Cab (k) = δab
ik0 − [ε(~k) − µ]
where a, b are the spin indices.
The momentum vector ~k has d spatial dimensions and ε(~k) is the energy
for a single electron of momentum ~k. The parameter µ corresponds to the
chemical potential. The (spatial) Fermi surface is the manifold ε(~k) = µ.
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
For a jellium isotropic model the energy function is invariant under spatial
rotations
~k 2
ε(~k) =
2m
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
For a jellium isotropic model the energy function is invariant under spatial
rotations
~k 2
ε(~k) =
2m
where m is some effective or “dressed” electron mass. In this case the
Fermi surface is simply a sphere. This jellium isotropic model is realistic in
the limit of weak electron densities, where the Fermi surface becomes
approximately spherical.
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
For a jellium isotropic model the energy function is invariant under spatial
rotations
~k 2
ε(~k) =
2m
where m is some effective or “dressed” electron mass. In this case the
Fermi surface is simply a sphere. This jellium isotropic model is realistic in
the limit of weak electron densities, where the Fermi surface becomes
approximately spherical.
In general a propagator with a more complicated energy function ε(~k) has
to be considered to take into account eg the effect of the lattice of ions in a
solid.
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
"
"
!
! " # $ % $ # " !
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
"
"
!
! " # $ % $ # " !
√
At µ = 0 the Fermi surface is a square of side size 2π, joining the points
(π, 0), (0, π) in the first Brillouin zone. The particle-hole symmetry makes
the Fermi surface invariant under RG flow.
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Matsubara Frequencies
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Matsubara Frequencies
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Matsubara Frequencies
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Matsubara Frequencies
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Matsubara Frequencies
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
The Interaction
11
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
The Interaction
11
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
The Interaction
Remark that this term is quite unique, as a, the spin index, takes only two
values.
11
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
12
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
12
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Scale decomposition
13
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Scale decomposition
The scales are again defined by slicing gently the propagator according to
its spectrum. For instance:
∞
X fj (k)
C= Cj ; Cj (k) =
j=1 ik0 − (ε(~k) − µ)
13
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Scale decomposition
The scales are again defined by slicing gently the propagator according to
its spectrum. For instance:
∞
X fj (k)
C= Cj ; Cj (k) =
j=1 ik0 − (ε(~k) − µ)
where the slice function fj (k) effectively forces |ik0 − (ε(~k) − µ)| ∼ M −j ,
for some fixed parameter M > 1.
13
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
14
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
14
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
1 k1 -1 1 k2
k 1 =0
k0=0
14
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
1 k1 -1 1 k2
k 1 =0
k0=0
The multiscale analysis now relies on finding the subgraphs which have
internal scales j lower than external scales (analog of an infrared QFT
problem), to compute an effective theory for degrees of freedom closer and
closer to the Fermi surface.
14
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle
It is surprising and subtle that the locality principle still holds!
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle
It is surprising and subtle that the locality principle still holds!
Moving propagators around indeed leads to a non trivial phase factor:
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle
It is surprising and subtle that the locality principle still holds!
Moving propagators around indeed leads to a non trivial phase factor:
~ y ) ·~pF + (x −
Clow (y , ..) = Clow (x, ...) + [(x − ~ y ) · (∇
~ −~pF )]Clow (x, ...) + · · ·
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle
It is surprising and subtle that the locality principle still holds!
Moving propagators around indeed leads to a non trivial phase factor:
~ y ) ·~pF + (x −
Clow (y , ..) = Clow (x, ...) + [(x − ~ y ) · (∇
~ −~pF )]Clow (x, ...) + · · ·
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle
It is surprising and subtle that the locality principle still holds!
Moving propagators around indeed leads to a non trivial phase factor:
~ y ) ·~pF + (x −
Clow (y , ..) = Clow (x, ...) + [(x − ~ y ) · (∇
~ −~pF )]Clow (x, ...) + · · ·
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle
It is surprising and subtle that the locality principle still holds!
Moving propagators around indeed leads to a non trivial phase factor:
~ y ) ·~pF + (x −
Clow (y , ..) = Clow (x, ...) + [(x − ~ y ) · (∇
~ −~pF )]Clow (x, ...) + · · ·
occurs when the two pairs of entering momenta at both ends approximately
adds to zero,
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle
It is surprising and subtle that the locality principle still holds!
Moving propagators around indeed leads to a non trivial phase factor:
~ y ) ·~pF + (x −
Clow (y , ..) = Clow (x, ...) + [(x − ~ y ) · (∇
~ −~pF )]Clow (x, ...) + · · ·
occurs when the two pairs of entering momenta at both ends approximately
~ y ) and −~pF · (x −
adds to zero,in which case the two factors, ~pF · (x − ~ y ),
approximately cancel each other!
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle
It is surprising and subtle that the locality principle still holds!
Moving propagators around indeed leads to a non trivial phase factor:
~ y ) ·~pF + (x −
Clow (y , ..) = Clow (x, ...) + [(x − ~ y ) · (∇
~ −~pF )]Clow (x, ...) + · · ·
occurs when the two pairs of entering momenta at both ends approximately
~ y ) and −~pF · (x −
adds to zero,in which case the two factors, ~pF · (x − ~ y ),
approximately cancel each other!
This is why the theory is still renormalizable.
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle, II
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle, II
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle, II
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle, II
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle, II
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Locality Principle, II
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
18
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
18
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
18
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
18
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
λB(p) = 1 + p 2 λB”(0)...
18
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
λB(p) = 1 + p 2 λB”(0)...
18
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
20
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
20
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
20
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
-. -
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
-. -
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
-. -
Salmhofer’s Criterion
Salmhofer proposed a useful mathematical criterion of Fermi liquid
behavior. Perhaps this is what the standard textbooks “had in mind”.
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Salmhofer’s Criterion
Salmhofer proposed a useful mathematical criterion of Fermi liquid
behavior. Perhaps this is what the standard textbooks “had in mind”.
/
>? >?
%
@A& @A&
%
* <
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Salmhofer’s Criterion
Salmhofer proposed a useful mathematical criterion of Fermi liquid
behavior. Perhaps this is what the standard textbooks “had in mind”.
/
>? >?
%
@A& @A&
%
* <
Salmhofer’s Criterion:
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Salmhofer’s Criterion
Salmhofer proposed a useful mathematical criterion of Fermi liquid
behavior. Perhaps this is what the standard textbooks “had in mind”.
/
>? >?
%
@A& @A&
%
* <
Salmhofer’s Criterion:
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Salmhofer’s Criterion
Salmhofer proposed a useful mathematical criterion of Fermi liquid
behavior. Perhaps this is what the standard textbooks “had in mind”.
/
>? >?
%
@A& @A&
%
* <
Salmhofer’s Criterion:
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Salmhofer’s Criterion
Salmhofer proposed a useful mathematical criterion of Fermi liquid
behavior. Perhaps this is what the standard textbooks “had in mind”.
/
>? >?
%
@A& @A&
%
* <
Salmhofer’s Criterion:
23
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
23
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
23
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
We say that the interaction is of the vector type (or Gross-Neveu type) if it
is of the form
Z N
X N
X
ddx
V =λ ψ̄a (x)ψa (x) ψ̄b (x)ψb (x)
a=1 b=1
23
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
We say that the interaction is of the vector type (or Gross-Neveu type) if it
is of the form
Z N
X N
X
ddx
V =λ ψ̄a (x)ψa (x) ψ̄b (x)ψb (x)
a=1 b=1
We claim that
24
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
We claim that
The perturbation theory for the connected functions of this single slice
model has a radius of convergence in λ which is uniform in j and N.
24
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
We claim that
The perturbation theory for the connected functions of this single slice
model has a radius of convergence in λ which is uniform in j and N.
The J2 model is roughly similar to that model with the role of colors
payed by N = M j angular sectors around the Fermi surface.
24
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
25
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
25
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
25
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
25
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
∞
X N
X XX YZ 1
n
= (λ /n!) ε(T , Ω) dwℓ
n=0 a1 ,...,an ,b1 ,...,bn =1 T Ω ℓ∈T 0
25
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
∞
X N
X XX YZ 1
n
= (λ /n!) ε(T , Ω) dwℓ
n=0 a1 ,...,an ,b1 ,...,bn =1 T Ω ℓ∈T 0
Z Y
dx1 ...dxn δ(x1 = 0) Cj,ab (xℓ , yℓ ) × det[Cj,ab ()]remaining
Rnd ℓ∈T
25
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
T
xkm (w) · Cj,ab (xk , ym )
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
T
xkm (w) · Cj,ab (xk , ym )
corresponding to the fields ψ̄(xm ) and ψ(yn ) which have not been
Wick-contracted into the tree T .
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
T
xkm (w) · Cj,ab (xk , ym )
corresponding to the fields ψ̄(xm ) and ψ(yn ) which have not been
Wick-contracted into the tree T .
Suppose we have written
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
T
xkm (w) · Cj,ab (xk , ym )
corresponding to the fields ψ̄(xm ) and ψ(yn ) which have not been
Wick-contracted into the tree T .
Suppose we have written
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
T
xkm (w) · Cj,ab (xk , ym )
corresponding to the fields ψ̄(xm ) and ψ(yn ) which have not been
Wick-contracted into the tree T .
Suppose we have written
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
T
xkm (w) · Cj,ab (xk , ym )
corresponding to the fields ψ̄(xm ) and ψ(yn ) which have not been
Wick-contracted into the tree T .
Suppose we have written
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
T
xkm (w) · Cj,ab (xk , ym )
corresponding to the fields ψ̄(xm ) and ψ(yn ) which have not been
Wick-contracted into the tree T .
Suppose we have written
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
T
xkm (w) · Cj,ab (xk , ym )
corresponding to the fields ψ̄(xm ) and ψ(yn ) which have not been
Wick-contracted into the tree T .
Suppose we have written
27
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
There is a factor M −dj/2 per line, or M −dj/4 per field ie entry of the
loop determinant. This gives a factor M −dj per vertex
27
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
There is a factor M −dj/2 per line, or M −dj/4 per field ie entry of the
loop determinant. This gives a factor M −dj per vertex
There is a factor M +dj per vertex spatial integration (save one)
27
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
There is a factor M −dj/2 per line, or M −dj/4 per field ie entry of the
loop determinant. This gives a factor M −dj per vertex
There is a factor M +dj per vertex spatial integration (save one)
27
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
28
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
There is a factor N −1/2 per line, or N −1/4 per field ie entry of the loop
determinant. This gives a factor N −1 per vertex
28
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
There is a factor N −1/2 per line, or N −1/4 per field ie entry of the loop
determinant. This gives a factor N −1 per vertex
There is a factor N per vertex (plus one)
28
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
There is a factor N −1/2 per line, or N −1/4 per field ie entry of the loop
determinant. This gives a factor N −1 per vertex
There is a factor N per vertex (plus one)
The last item is not obvious to prove, because we don’t know all the graph,
but only a tree To prove it we organize the sum over the colors from leaves
to root of the tree. In this way the pay a factor N at each leaf to know the
color index which does not go towards the root, then prune the leaf and
iterate. The last vertex (the root) is the only special one as it costs two N
factors.
28
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
There is a factor N −1/2 per line, or N −1/4 per field ie entry of the loop
determinant. This gives a factor N −1 per vertex
There is a factor N per vertex (plus one)
The last item is not obvious to prove, because we don’t know all the graph,
but only a tree To prove it we organize the sum over the colors from leaves
to root of the tree. In this way the pay a factor N at each leaf to know the
color index which does not go towards the root, then prune the leaf and
iterate. The last vertex (the root) is the only special one as it costs two N
factors.
Hence the λ radius of convergence is uniform in N.
28
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
J2 Model in a RG Slice
29
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
J2 Model in a RG Slice
We claim that this model is roughly similar to the Toy Model, with
dimension d = 3.
29
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
J2 Model in a RG Slice
We claim that this model is roughly similar to the Toy Model, with
dimension d = 3.
The naive estimate on the slice propagator is (using integration by parts)
−j |x−y |]1/2
|Cj (x, y )| ≤ M −j e −[M
29
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
J2 Model in a RG Slice
We claim that this model is roughly similar to the Toy Model, with
dimension d = 3.
The naive estimate on the slice propagator is (using integration by parts)
−j |x−y |]1/2
|Cj (x, y )| ≤ M −j e −[M
29
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
J2 Model in a RG Slice
We claim that this model is roughly similar to the Toy Model, with
dimension d = 3.
The naive estimate on the slice propagator is (using integration by parts)
−j |x−y |]1/2
|Cj (x, y )| ≤ M −j e −[M
29
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
J2 Model in a RG Slice
We claim that this model is roughly similar to the Toy Model, with
dimension d = 3.
The naive estimate on the slice propagator is (using integration by parts)
−j |x−y |]1/2
|Cj (x, y )| ≤ M −j e −[M
29
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
J2 Sectors
30
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
J2 Sectors
Suppose we divide the j-th slice into M j sectors, each of size roughly M −j
in all three directions.
30
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
J2 Sectors
Suppose we divide the j-th slice into M j sectors, each of size roughly M −j
in all three directions.
A sector propagator C j,a has now prefactor M −2j and
−j |x−y |]1/2
|Cj,ab (x, y )| ≤ δab M −2j e −[M
30
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
J2 Sectors
Suppose we divide the j-th slice into M j sectors, each of size roughly M −j
in all three directions.
A sector propagator C j,a has now prefactor M −2j and
−j |x−y |]1/2
|Cj,ab (x, y )| ≤ δab M −2j e −[M
30
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
J2 Sectors
Suppose we divide the j-th slice into M j sectors, each of size roughly M −j
in all three directions.
A sector propagator C j,a has now prefactor M −2j and
−j |x−y |]1/2
|Cj,ab (x, y )| ≤ δab M −2j e −[M
30
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
J2 Sectors
Suppose we divide the j-th slice into M j sectors, each of size roughly M −j
in all three directions.
A sector propagator C j,a has now prefactor M −2j and
−j |x−y |]1/2
|Cj,ab (x, y )| ≤ δab M −2j e −[M
30
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Momentum Conservation
31
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Momentum Conservation
In two dimensions a rhombus (i.e; a closed quadrilateral whose four sides
have equal lengths) is a parallelogram.
31
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Momentum Conservation
In two dimensions a rhombus (i.e; a closed quadrilateral whose four sides
have equal lengths) is a parallelogram.
Hence an approximate rhombus should be an approximate parallelogram.
31
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Momentum Conservation
In two dimensions a rhombus (i.e; a closed quadrilateral whose four sides
have equal lengths) is a parallelogram.
Hence an approximate rhombus should be an approximate parallelogram.
Momentum conservation δ(p1 + p2 + p3 + p4 ) at each vertex follows from
translation invariance√of J2 . Hence p1 , p2 , p3 , p4 form a quadrilateral. For j
large we have |pk | ≃ 2Mµ hence the quadrilateral is an approximate
rhombus. Hence the four sectors to which p1 , p2 , p3 and p4 should be
roughly equal two by two (parallelogram condition).
31
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Momentum Conservation
In two dimensions a rhombus (i.e; a closed quadrilateral whose four sides
have equal lengths) is a parallelogram.
Hence an approximate rhombus should be an approximate parallelogram.
Momentum conservation δ(p1 + p2 + p3 + p4 ) at each vertex follows from
translation invariance√of J2 . Hence p1 , p2 , p3 , p4 form a quadrilateral. For j
large we have |pk | ≃ 2Mµ hence the quadrilateral is an approximate
rhombus. Hence the four sectors to which p1 , p2 , p3 and p4 should be
roughly equal two by two (parallelogram condition).
It means that the interaction is roughly of the color (or Gross-Neveu) type
with respect to these angular sectors:
X X
ψ̄a ψa ψ̄b ψb
a b
31
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Anisotropic Sectors
32
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Anisotropic Sectors
The rhombus rule is not fully correct for almost degenerate rhombuses.
32
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Anisotropic Sectors
The rhombus rule is not fully correct for almost degenerate rhombuses.
This is the source of painful technical complications (anisotropic angular
sectors) which were developed by Feldman, Magnen, Trubowitz and myself.
32
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Anisotropic Sectors
The rhombus rule is not fully correct for almost degenerate rhombuses.
This is the source of painful technical complications (anisotropic angular
sectors) which were developed by Feldman, Magnen, Trubowitz and myself.
One should use in fact M j/2 longer sectors in the tangential direction (of
length M −j/2 ). The corresponding propagators have dual decay because the
sectors are still aprroximately flat.
32
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Anisotropic Sectors
The rhombus rule is not fully correct for almost degenerate rhombuses.
This is the source of painful technical complications (anisotropic angular
sectors) which were developed by Feldman, Magnen, Trubowitz and myself.
One should use in fact M j/2 longer sectors in the tangential direction (of
length M −j/2 ). The corresponding propagators have dual decay because the
sectors are still aprroximately flat.
Ultimately the conclusion is unchanged: the radius of convergence of J2 in
a slice is independent of the slice index j.
32
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
33
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
This plus a lot of work to fill in the “technical details” lead to the
proof of Salmhofer’s criterion for J2 . This was the first mathematical
construction of an interacting Fermi liquid (Disertori-R., 2000).
33
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
This plus a lot of work to fill in the “technical details” lead to the
proof of Salmhofer’s criterion for J2 . This was the first mathematical
construction of an interacting Fermi liquid (Disertori-R., 2000).
In 2002 Benfatto, Giuliani and Mastropietro extended our analysis to
the case of non-rotation invariant curves close to the jellium case.
33
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
This plus a lot of work to fill in the “technical details” lead to the
proof of Salmhofer’s criterion for J2 . This was the first mathematical
construction of an interacting Fermi liquid (Disertori-R., 2000).
In 2002 Benfatto, Giuliani and Mastropietro extended our analysis to
the case of non-rotation invariant curves close to the jellium case.
Another way to build a Fermi liquid is to introduce a magnetic
regulator instead of a temperature, to get rid of the BCS phase
transition. The magnetic field typically blocks the Cooper pair channel
by breaking the parity invariance of the Fermi surface.
33
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
This plus a lot of work to fill in the “technical details” lead to the
proof of Salmhofer’s criterion for J2 . This was the first mathematical
construction of an interacting Fermi liquid (Disertori-R., 2000).
In 2002 Benfatto, Giuliani and Mastropietro extended our analysis to
the case of non-rotation invariant curves close to the jellium case.
Another way to build a Fermi liquid is to introduce a magnetic
regulator instead of a temperature, to get rid of the BCS phase
transition. The magnetic field typically blocks the Cooper pair channel
by breaking the parity invariance of the Fermi surface.
Following this road, Feldman, Knörrer and Trubowitz built in great
detail a 2D Fermi liquids with non-parity invariant surfaces in an
impressive series of papers completed around 2003-2004.
33
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Next Models
34
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Next Models
There are not many sectors for H2 ; it is not a Fermi liquid in the sense of
Salmhofer but a “Luttinger liquid” with logarithmic corrections.
(Afchain-Magnen-R., 2004).
34
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Next Models
There are not many sectors for H2 ; it is not a Fermi liquid in the sense of
Salmhofer but a “Luttinger liquid” with logarithmic corrections.
(Afchain-Magnen-R., 2004).
As the Hubbard filling factor moves from zero to half-filling, there is a
crossover between Fermi and Luttinger behavior (Benfatto, Giuliani,
Mastropietro)
34
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture II Vincent Rivasseau, LPT Orsay
Grassmann Variables Many Fermions in Condensed Matter Single Scale Toy Model 2 Dimensional Jellium Model
Next Models
There are not many sectors for H2 ; it is not a Fermi liquid in the sense of
Salmhofer but a “Luttinger liquid” with logarithmic corrections.
(Afchain-Magnen-R., 2004).
As the Hubbard filling factor moves from zero to half-filling, there is a
crossover between Fermi and Luttinger behavior (Benfatto, Giuliani,
Mastropietro)
There is no rhombus rule for J3 ; although it is a Fermi liquid, new methods
have to be developed to treat it constructively (work in progress).
34
Introduction to Group Field Theory
Vincent Rivasseau
LPT Orsay
Scale
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Scale
In quantum field theory (QFT) we said renormalization group relies on
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Scale
In quantum field theory (QFT) we said renormalization group relies on
A scale decomposition
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Scale
In quantum field theory (QFT) we said renormalization group relies on
A scale decomposition
The locality principle
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Scale
In quantum field theory (QFT) we said renormalization group relies on
A scale decomposition
The locality principle
Power counting
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Scale
In quantum field theory (QFT) we said renormalization group relies on
A scale decomposition
The locality principle
Power counting
However a quantum theory of space-time and gravity may have to start
without any fixed space time background metric. So what should be the
corresponding background-invariant notion of scale?
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Scale
In quantum field theory (QFT) we said renormalization group relies on
A scale decomposition
The locality principle
Power counting
However a quantum theory of space-time and gravity may have to start
without any fixed space time background metric. So what should be the
corresponding background-invariant notion of scale?
We propose
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Scale
In quantum field theory (QFT) we said renormalization group relies on
A scale decomposition
The locality principle
Power counting
However a quantum theory of space-time and gravity may have to start
without any fixed space time background metric. So what should be the
corresponding background-invariant notion of scale?
We propose
Definition: A scale is a slice of eigenvalues of a propagator (slicing gently
according to a geometric progression).
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Scale
In quantum field theory (QFT) we said renormalization group relies on
A scale decomposition
The locality principle
Power counting
However a quantum theory of space-time and gravity may have to start
without any fixed space time background metric. So what should be the
corresponding background-invariant notion of scale?
We propose
Definition: A scale is a slice of eigenvalues of a propagator (slicing gently
according to a geometric progression).
So we turned the problem into that of finding the right propagator with
non-trivial spectrum for quantum gravity.
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
θ Ω ∞ µ2
Z
0θ
C (x, y ) = dα e − 4Ω α
4Ω πθ 0
1 Ω 2 Ω α 2 2
exp − kx − y k − tanh (kxk +ky k )
(sinh α)2 θ sinh α θ 2
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
θ Ω ∞ µ2
Z
0θ
C (x, y ) = dα e − 4Ω α
4Ω πθ 0
1 Ω 2 Ω α 2 2
exp − kx − y k − tanh (kxk +ky k )
(sinh α)2 θ sinh α θ 2
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
θ Ω ∞ µ2
Z
0θ
C (x, y ) = dα e − 4Ω α
4Ω πθ 0
1 Ω 2 Ω α 2 2
exp − kx − y k − tanh (kxk +ky k )
(sinh α)2 θ sinh α θ 2
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
θ Ω ∞ µ2
Z
0θ
C (x, y ) = dα e − 4Ω α
4Ω πθ 0
1 Ω 2 Ω α 2 2
exp − kx − y k − tanh (kxk +ky k )
(sinh α)2 θ sinh α θ 2
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
This vertex is non-local and oscillates. It has a parallelogram shape, and its
oscillation is proportional to its area:
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
This vertex is non-local and oscillates. It has a parallelogram shape, and its
oscillation is proportional to its area:
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
This vertex is non-local and oscillates. It has a parallelogram shape, and its
oscillation is proportional to its area:
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
This vertex is non-local and oscillates. It has a parallelogram shape, and its
oscillation is proportional to its area:
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
It replaces locality:
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
It replaces locality:
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
It replaces locality:
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
It replaces locality:
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Noncommutative Renormalization
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Noncommutative Renormalization
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Noncommutative Renormalization
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Noncommutative Renormalization
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Noncommutative Renormalization
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Objections to GFT
The main objections to GFT’s that I heard during the last two years are
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Objections to GFT
The main objections to GFT’s that I heard during the last two years are
1) The GFT’s are tensor generalizations of matrix models; but whereas
matrix models really triangulate 2D Riemann surfaces, GFT’s
triangulate much more singular objects (not even pseudo-manifolds
with local singularities).
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Objections to GFT
The main objections to GFT’s that I heard during the last two years are
1) The GFT’s are tensor generalizations of matrix models; but whereas
matrix models really triangulate 2D Riemann surfaces, GFT’s
triangulate much more singular objects (not even pseudo-manifolds
with local singularities).
2) The natural GFT’s action does not look positive. Hence the
non-perturbative meaning of the theory is unclear.
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Objections to GFT
The main objections to GFT’s that I heard during the last two years are
1) The GFT’s are tensor generalizations of matrix models; but whereas
matrix models really triangulate 2D Riemann surfaces, GFT’s
triangulate much more singular objects (not even pseudo-manifolds
with local singularities).
2) The natural GFT’s action does not look positive. Hence the
non-perturbative meaning of the theory is unclear.
3) It seems difficult to identify ordinary space-time and physical
observables in GFT’s. In particular the ultraspin limit j → ∞ can be
interpreted either as ultraviolet limit (on the group) or as an infrared
limit for a large ”quantum” of space-time.
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Objections to GFT
The main objections to GFT’s that I heard during the last two years are
1) The GFT’s are tensor generalizations of matrix models; but whereas
matrix models really triangulate 2D Riemann surfaces, GFT’s
triangulate much more singular objects (not even pseudo-manifolds
with local singularities).
2) The natural GFT’s action does not look positive. Hence the
non-perturbative meaning of the theory is unclear.
3) It seems difficult to identify ordinary space-time and physical
observables in GFT’s. In particular the ultraspin limit j → ∞ can be
interpreted either as ultraviolet limit (on the group) or as an infrared
limit for a large ”quantum” of space-time.
4) GFT’s have infinities and it is not clear whether these infinities
should or can be absorbed in a renormalization process;
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Objections to GFT
The main objections to GFT’s that I heard during the last two years are
1) The GFT’s are tensor generalizations of matrix models; but whereas
matrix models really triangulate 2D Riemann surfaces, GFT’s
triangulate much more singular objects (not even pseudo-manifolds
with local singularities).
2) The natural GFT’s action does not look positive. Hence the
non-perturbative meaning of the theory is unclear.
3) It seems difficult to identify ordinary space-time and physical
observables in GFT’s. In particular the ultraspin limit j → ∞ can be
interpreted either as ultraviolet limit (on the group) or as an infrared
limit for a large ”quantum” of space-time.
4) GFT’s have infinities and it is not clear whether these infinities
should or can be absorbed in a renormalization process;
5) GFT’s dont predict space-time dimension, nor the standard model,
hence are not a TOE.
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
11
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
11
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
11
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
11
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Colored GFT
12
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Colored GFT
12
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Colored GFT
12
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Colored GFT
12
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
13
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
13
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The Fermionic version of colored GFT seems more natural. This could
essentially also solve the stability problem.
13
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The Fermionic version of colored GFT seems more natural. This could
essentially also solve the stability problem.
A complete study of the power counting and renormalization is easier
in colored GFT’s.
13
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The Fermionic version of colored GFT seems more natural. This could
essentially also solve the stability problem.
A complete study of the power counting and renormalization is easier
in colored GFT’s.
Fermionic D-dimensional colored GFT has a natural but puzzling
SU(D) symmetry. Hence it may be a more promising starting point to
include standard model matter fields.
13
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The Fermionic version of colored GFT seems more natural. This could
essentially also solve the stability problem.
A complete study of the power counting and renormalization is easier
in colored GFT’s.
Fermionic D-dimensional colored GFT has a natural but puzzling
SU(D) symmetry. Hence it may be a more promising starting point to
include standard model matter fields.
13
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
14
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
dγ ν dγ σ
∂ν Xµ + Γµνσ Xν =0, X(0) = X0
dt dt
14
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
dγ ν dγ σ
∂ν Xµ + Γµνσ Xν =0, X(0) = X0
dt dt
then X(T ) = g X0 for some g ∈ GL(TMγ(0) ). g (independent of X0 ) is the
holonomy along the curve γ.
14
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
dγ ν dγ σ
∂ν Xµ + Γµνσ Xν =0, X(0) = X0
dt dt
then X(T ) = g X0 for some g ∈ GL(TMγ(0) ). g (independent of X0 ) is the
holonomy along the curve γ.
Suppose we discretize M with flat n dimensional simplices. Their boundary
(n − 1 dimensional) is also flat. The curvature is located at the “joints” of
these blocks, that is at n − 2 dimensional cells.
Hence holonomies h are associated to blocks of codimension 2.
14
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
g g’’
..... .....
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
g g’’
..... .....
The surface and its metric are specified by the gluing of the triangles and
by the holonomies g . The associated weight is a function F (g , g ′ , . . . )
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
g g’’
..... .....
The surface and its metric are specified by the gluing of the triangles and
by the holonomies g . The associated weight is a function F (g , g ′ , . . . )
Quantization of geometry should sum both over metrics compatible with a
triangulation and over all triangulations.
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
g1 g1
g
g2 4
g g
3
3
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
strand.
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
strand.
Suppose that the weight function F factors into contributions of dual
vertices and dual lines:
Y Y
F = V (g1 , g2 , g3 ) K (g1 , g2 )
V L
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
strand.
Suppose that the weight function F factors into contributions of dual
vertices and dual lines:
Y Y
F = V (g1 , g2 , g3 ) K (g1 , g2 )
V L
Then a 2-stranded graph is a ribbon Feynman graph and its weight is the
integrand of the associated Feynman amplitude.
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
1
Z
S= φ(g1 , g2 )K −1 (g1 , g2 )φ∗ (g1 , g2 )
2 G ×G
Z
+λ V (g1 , g2 , g3 )φ(g1 , g2 )φ(g2 , g3 )φ(g3 , g1 ) ,
G ×G ×G
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
1
Z
S= φ(g1 , g2 )K −1 (g1 , g2 )φ∗ (g1 , g2 )
2 G ×G
Z
+λ V (g1 , g2 , g3 )φ(g1 , g2 )φ(g2 , g3 )φ(g3 , g1 ) ,
G ×G ×G
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
1
Z
S= φ(g1 , g2 )K −1 (g1 , g2 )φ∗ (g1 , g2 )
2 G ×G
Z
+λ V (g1 , g2 , g3 )φ(g1 , g2 )φ(g2 , g3 )φ(g3 , g1 ) ,
G ×G ×G
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
1
Z
S= φ(g1 , g2 )K −1 (g1 , g2 )φ∗ (g1 , g2 )
2 G ×G
Z
+λ V (g1 , g2 , g3 )φ(g1 , g2 )φ(g2 , g3 )φ(g3 , g1 ) ,
G ×G ×G
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
1
Z
S= φ(g1 , g2 )K −1 (g1 , g2 )φ∗ (g1 , g2 )
2 G ×G
Z
+λ V (g1 , g2 , g3 )φ(g1 , g2 )φ(g2 , g3 )φ(g3 , g1 ) ,
G ×G ×G
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
1
Z
S= φ(g1 , g2 )K −1 (g1 , g2 )φ∗ (g1 , g2 )
2 G ×G
Z
+λ V (g1 , g2 , g3 )φ(g1 , g2 )φ(g2 , g3 )φ(g3 , g1 ) ,
G ×G ×G
Matrix Models
18
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Matrix Models
18
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Matrix Models
1X X
S= φmn φ∗mn + λ φmn φnk φkm .
2 mn
mnk
18
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Matrix Models
1X X
S= φmn φ∗mn + λ φmn φnk φkm .
2 mn
mnk
Summing all Feynman graphs generated by the matrix model action sums
over different topologies. This is 2D quantum gravity (David, Ginzparg).
18
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT Vertex
20
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT Vertex
What we call the vertex in QFT usually obeys some kind of locality property.
20
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT Vertex
What we call the vertex in QFT usually obeys some kind of locality property.
Proposed Definition A vertex joining 2p strands is called simple if it has
for kernel in direct group space a product of p delta functions matching
strands two by two in different half-lines.
20
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT Vertex
What we call the vertex in QFT usually obeys some kind of locality property.
Proposed Definition A vertex joining 2p strands is called simple if it has
for kernel in direct group space a product of p delta functions matching
strands two by two in different half-lines.
Then the natural 3D GFT tetrahedron vertex in 3 dimensions is simple
(with p = 6) as it writes
20
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT Vertex
What we call the vertex in QFT usually obeys some kind of locality property.
Proposed Definition A vertex joining 2p strands is called simple if it has
for kernel in direct group space a product of p delta functions matching
strands two by two in different half-lines.
Then the natural 3D GFT tetrahedron vertex in 3 dimensions is simple
(with p = 6) as it writes
12
Z Y !
V [φ] = λ dgi φ(g1 , g2 , g3 )φ(g4 , g5 , g6 )
i=1
φ(g7 , g8 , g9 )φ(g10 , g11 , g12 )Q(g1 , ..g12 ),
with a kernel
20
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT Vertex
What we call the vertex in QFT usually obeys some kind of locality property.
Proposed Definition A vertex joining 2p strands is called simple if it has
for kernel in direct group space a product of p delta functions matching
strands two by two in different half-lines.
Then the natural 3D GFT tetrahedron vertex in 3 dimensions is simple
(with p = 6) as it writes
12
Z Y !
V [φ] = λ dgi φ(g1 , g2 , g3 )φ(g4 , g5 , g6 )
i=1
φ(g7 , g8 , g9 )φ(g10 , g11 , g12 )Q(g1 , ..g12 ),
with a kernel
−1
Q(g1 , ..g12 ) = δ(g3 g4−1 )δ(g2 g8−1 )δ(g6 g7−1 )δ(g9 g10 −1
)δ(g5 g11 −1
)δ(g1 g12 )
20
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT Vertex
What we call the vertex in QFT usually obeys some kind of locality property.
Proposed Definition A vertex joining 2p strands is called simple if it has
for kernel in direct group space a product of p delta functions matching
strands two by two in different half-lines.
Then the natural 3D GFT tetrahedron vertex in 3 dimensions is simple
(with p = 6) as it writes
12
Z Y !
V [φ] = λ dgi φ(g1 , g2 , g3 )φ(g4 , g5 , g6 )
i=1
φ(g7 , g8 , g9 )φ(g10 , g11 , g12 )Q(g1 , ..g12 ),
with a kernel
−1
Q(g1 , ..g12 ) = δ(g3 g4−1 )δ(g2 g8−1 )δ(g6 g7−1 )δ(g9 g10 −1
)δ(g5 g11 −1
)δ(g1 g12 )
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The tetrahedron is dual to a vertex, its triangles are dual to halflines and its
edges are dual to strands. Hence we could label the 3D GFT vertex as
(023)
(23) (02) (03)
(23) (03)
(123) (13) (13) (013)
(12) (01)
(012)
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The tetrahedron is dual to a vertex, its triangles are dual to halflines and its
edges are dual to strands. Hence we could label the 3D GFT vertex as
(023)
(23) (02) (03)
The GFT lines connect two vertices,
(23) (03)
thus are formed of three strands.
(123) (13) (13) (013)
(12) (01)
(012)
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The tetrahedron is dual to a vertex, its triangles are dual to halflines and its
edges are dual to strands. Hence we could label the 3D GFT vertex as
(023)
(23) (02) (03)
The GFT lines connect two vertices,
(23) (03)
thus are formed of three strands.
(123) (13) (13) (013) The graph built with such vertices
(12) (01)
and lines is a 3-stranded graph.
(12) (02) (01)
(012)
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The tetrahedron is dual to a vertex, its triangles are dual to halflines and its
edges are dual to strands. Hence we could label the 3D GFT vertex as
(023)
(23) (02) (03)
The GFT lines connect two vertices,
(23) (03)
thus are formed of three strands.
(123) (13) (13) (013) The graph built with such vertices
(12) (01)
and lines is a 3-stranded graph.
(12) (02) (01)
(012)
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The tetrahedron is dual to a vertex, its triangles are dual to halflines and its
edges are dual to strands. Hence we could label the 3D GFT vertex as
(023)
(23) (02) (03)
The GFT lines connect two vertices,
(23) (03)
thus are formed of three strands.
(123) (13) (13) (013) The graph built with such vertices
(12) (01)
and lines is a 3-stranded graph.
(12) (02) (01)
(012)
Q(g1 , ..g12 ) = δ(g3 g4−1 )δ(g2 g8−1 )δ(g6 g7−1 )δ(g9 g10
−1 −1
)δ(g5 g11 −1
)δ(g1 g12 )
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
e i (x) = e ia (x)dx a
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
e i (x) = e ia (x)dx a
The action is
Z
S(e, ω) = e i ∧ F (ω)i
F (ω) = dω + ω ∧ ω
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3d Gravity
23
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3d Gravity
23
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3d Gravity
23
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3d Gravity
23
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3d Gravity
23
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT Propagator
24
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT Propagator
The following propagator
Z
[C φ](g1 , g2 , g3 ) = dhφ(hg1 , hg2 , hg3 )
24
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT Propagator
The following propagator
Z
[C φ](g1 , g2 , g3 ) = dhφ(hg1 , hg2 , hg3 )
24
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT Propagator
The following propagator
Z
[C φ](g1 , g2 , g3 ) = dhφ(hg1 , hg2 , hg3 )
Performing the integrations over all group elements of the vertices and
keeping the h elements unintegrated gives for each triangulation, or
3-stranded graph G a Feynman amplitude
24
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT Propagator
The following propagator
Z
[C φ](g1 , g2 , g3 ) = dhφ(hg1 , hg2 , hg3 )
Performing the integrations over all group elements of the vertices and
keeping the h elements unintegrated gives for each triangulation, or
3-stranded graph G a Feynman amplitude
Z Y Y
ZG = dhe δ(gf )
e f
24
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
3D GFT Propagator
The following propagator
Z
[C φ](g1 , g2 , g3 ) = dhφ(hg1 , hg2 , hg3 )
Performing the integrations over all group elements of the vertices and
keeping the h elements unintegrated gives for each triangulation, or
3-stranded graph G a Feynman amplitude
Z Y Y
ZG = dhe δ(gf )
e f
25
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
25
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
25
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Properties of 3D GFT
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Properties of 3D GFT
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Properties of 3D GFT
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Properties of 3D GFT
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Properties of 3D GFT
26
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
27
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
R
In the first order Cartan formalism, the action is ⋆ [e ∧ e] ∧ F where again
the vierbein e and the spin connection ω are considered independent
variables.
27
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
R
In the first order Cartan formalism, the action is ⋆ [e ∧ e] ∧ F where again
the vierbein e and the spin connection ω are considered independent
variables.
Not all two-forms B in four dimenions are of the form e ∧ e. So BF theory
is not gravity in 4 dimension. The difference is expressed through a set of
constraints classically called the Plebanski constraints.
27
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
R
In the first order Cartan formalism, the action is ⋆ [e ∧ e] ∧ F where again
the vierbein e and the spin connection ω are considered independent
variables.
Not all two-forms B in four dimenions are of the form e ∧ e. So BF theory
is not gravity in 4 dimension. The difference is expressed through a set of
constraints classically called the Plebanski constraints.
These constraints render 4D gravity much more complicated and interesting
since they are responsible for the local propagating degrees of freedom, the
gravitational waves. (Constraints on B allow richer set of F ’s than just
F = 0).
27
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
4D GFT Vertex
28
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
4D GFT Vertex
The vertex is the easy part as it should be again given by gluing rules for
the five tetraedra which join into pentachores:
28
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
4D GFT Vertex
The vertex is the easy part as it should be again given by gluing rules for
the five tetraedra which join into pentachores:
28
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
4D GFT Vertex
The vertex is the easy part as it should be again given by gluing rules for
the five tetraedra which join into pentachores:
The pentachore
28
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
4D GFT
29
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
4D GFT
29
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
4D GFT
29
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
4D GFT
29
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
4D GFT
we get a φ5 GFT with 4-stranded graphs called the Ooguri group field
theory. It is not 4D gravity, but a discretization of the 4D BF theory, ie the
Plebanski constraints are missing.
29
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
4D GFT
we get a φ5 GFT with 4-stranded graphs called the Ooguri group field
theory. It is not 4D gravity, but a discretization of the 4D BF theory, ie the
Plebanski constraints are missing.
Again such a topological version of gravity is unsuited for RG analysis.
29
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
30
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
30
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
30
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
31
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
31
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
31
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
31
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
31
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
32
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
32
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
32
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
32
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
32
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
32
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
33
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The main new feature is that the full propagator can therefore be written as
K = CSC with C 2 = C and S 2 = S, hence C and S are two projectors, but
they do not commute, hence K has non-trivial spectrum!
33
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The main new feature is that the full propagator can therefore be written as
K = CSC with C 2 = C and S 2 = S, hence C and S are two projectors, but
they do not commute, hence K has non-trivial spectrum!
This means that a RG analysis become possible! That’s our program.
33
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The main new feature is that the full propagator can therefore be written as
K = CSC with C 2 = C and S 2 = S, hence C and S are two projectors, but
they do not commute, hence K has non-trivial spectrum!
This means that a RG analysis become possible! That’s our program.
In 2008 Perini, Rovelli and Speziale found in some natural normalization of
the theory a Λ6 divergence for the graph G2
33
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The main new feature is that the full propagator can therefore be written as
K = CSC with C 2 = C and S 2 = S, hence C and S are two projectors, but
they do not commute, hence K has non-trivial spectrum!
This means that a RG analysis become possible! That’s our program.
In 2008 Perini, Rovelli and Speziale found in some natural normalization of
the theory a Λ6 divergence for the graph G2
33
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
The main new feature is that the full propagator can therefore be written as
K = CSC with C 2 = C and S 2 = S, hence C and S are two projectors, but
they do not commute, hence K has non-trivial spectrum!
This means that a RG analysis become possible! That’s our program.
In 2008 Perini, Rovelli and Speziale found in some natural normalization of
the theory a Λ6 divergence for the graph G2
34
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
34
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
34
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
(2009)185012)
34
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
35
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
35
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
35
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
arXiv:1002.3592, Linearized Group Field Theory and Power Counting Theorems (BKMR, Class. Quant. Grav. 27 (2010)
155012)
35
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
arXiv:1002.3592, Linearized Group Field Theory and Power Counting Theorems (BKMR, Class. Quant. Grav. 27 (2010)
155012)
35
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
36
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
36
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
But saddle points may come in many varieties, degenerate or not. This
richness is interesting but a major challenge.
36
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
But saddle points may come in many varieties, degenerate or not. This
richness is interesting but a major challenge.
36
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
But saddle points may come in many varieties, degenerate or not. This
richness is interesting but a major challenge.
36
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
37
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
37
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
37
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
37
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Essentially everything!
38
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Essentially everything!
38
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Essentially everything!
38
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
39
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
39
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
39
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Conclusion
40
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Conclusion
40
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Conclusion
40
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Conclusion
40
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture III Vincent Rivasseau, LPT Orsay
GFT Group Field Theory
Conclusion
40
Hubbard Model, Three Dimensions
Vincent Rivasseau
LPT Orsay
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
We say that the interaction is of the vector type (or Gross-Neveu type) if it
is of the form
Z N
X N
X
ddx
V =λ ψ̄a (x)ψa (x) ψ̄b (x)ψb (x)
a=1 b=1
2
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
We say that the interaction is of the vector type (or Gross-Neveu type) if it
is of the form
Z N
X N
X
ddx
V =λ ψ̄a (x)ψa (x) ψ̄b (x)ψb (x)
a=1 b=1
We claim that
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
We claim that
The perturbation theory for the connected functions of this single slice
model has a radius of convergence in λ which is uniform in j and N.
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
We claim that
The perturbation theory for the connected functions of this single slice
model has a radius of convergence in λ which is uniform in j and N.
The J2 model is roughly similar to that model with the role of colors
payed by N = M j angular sectors around the Fermi surface.
3
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
∞
X N
X XX YZ 1
n
= (λ /n!) ε(T , Ω) dwℓ
n=0 a1 ,...,an ,b1 ,...,bn =1 T Ω ℓ∈T 0
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
∞
X N
X XX YZ 1
n
= (λ /n!) ε(T , Ω) dwℓ
n=0 a1 ,...,an ,b1 ,...,bn =1 T Ω ℓ∈T 0
Z Y
dx1 ...dxn δ(x1 = 0) Cj,ab (xℓ , yℓ ) × det[Cj,ab ()]remaining
Rnd ℓ∈T
4
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
T
xkm (w) · Cj,ab (xk , ym )
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
T
xkm (w) · Cj,ab (xk , ym )
corresponding to the fields ψ̄(xm ) and ψ(yn ) which have not been
Wick-contracted into the tree T .
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
T
xkm (w) · Cj,ab (xk , ym )
corresponding to the fields ψ̄(xm ) and ψ(yn ) which have not been
Wick-contracted into the tree T .
Suppose we have written
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
T
xkm (w) · Cj,ab (xk , ym )
corresponding to the fields ψ̄(xm ) and ψ(yn ) which have not been
Wick-contracted into the tree T .
Suppose we have written
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
T
xkm (w) · Cj,ab (xk , ym )
corresponding to the fields ψ̄(xm ) and ψ(yn ) which have not been
Wick-contracted into the tree T .
Suppose we have written
5
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
6
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
There is a factor M −dj/2 per line, or M −dj/4 per field ie entry of the
loop determinant. This gives a factor M −dj per vertex
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
There is a factor M −dj/2 per line, or M −dj/4 per field ie entry of the
loop determinant. This gives a factor M −dj per vertex
There is a factor M +dj per vertex spatial integration (save one)
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
There is a factor M −dj/2 per line, or M −dj/4 per field ie entry of the
loop determinant. This gives a factor M −dj per vertex
There is a factor M +dj per vertex spatial integration (save one)
7
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
There is a factor N −1/2 per line, or N −1/4 per field ie entry of the loop
determinant. This gives a factor N −1 per vertex
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
There is a factor N −1/2 per line, or N −1/4 per field ie entry of the loop
determinant. This gives a factor N −1 per vertex
There is a factor N per vertex (plus one)
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
There is a factor N −1/2 per line, or N −1/4 per field ie entry of the loop
determinant. This gives a factor N −1 per vertex
There is a factor N per vertex (plus one)
The last item is not obvious to prove, because we don’t know all the graph,
but only a tree To prove it we organize the sum over the colors from leaves
to root of the tree. In this way the pay a factor N at each leaf to know the
color index which does not go towards the root, then prune the leaf and
iterate. The last vertex (the root) is the only special one as it costs two N
factors.
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
There is a factor N −1/2 per line, or N −1/4 per field ie entry of the loop
determinant. This gives a factor N −1 per vertex
There is a factor N per vertex (plus one)
The last item is not obvious to prove, because we don’t know all the graph,
but only a tree To prove it we organize the sum over the colors from leaves
to root of the tree. In this way the pay a factor N at each leaf to know the
color index which does not go towards the root, then prune the leaf and
iterate. The last vertex (the root) is the only special one as it costs two N
factors.
Hence the λ radius of convergence is uniform in N.
8
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
J2 Model in a RG Slice
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
J2 Model in a RG Slice
We claim that this model is roughly similar to the Toy Model, with
dimension d = 3.
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
J2 Model in a RG Slice
We claim that this model is roughly similar to the Toy Model, with
dimension d = 3.
The naive estimate on the slice propagator is (using integration by parts)
−j |x−y |]1/2
|Cj (x, y )| ≤ M −j e −[M
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
J2 Model in a RG Slice
We claim that this model is roughly similar to the Toy Model, with
dimension d = 3.
The naive estimate on the slice propagator is (using integration by parts)
−j |x−y |]1/2
|Cj (x, y )| ≤ M −j e −[M
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
J2 Model in a RG Slice
We claim that this model is roughly similar to the Toy Model, with
dimension d = 3.
The naive estimate on the slice propagator is (using integration by parts)
−j |x−y |]1/2
|Cj (x, y )| ≤ M −j e −[M
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
J2 Model in a RG Slice
We claim that this model is roughly similar to the Toy Model, with
dimension d = 3.
The naive estimate on the slice propagator is (using integration by parts)
−j |x−y |]1/2
|Cj (x, y )| ≤ M −j e −[M
9
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
J2 Sectors
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
J2 Sectors
Suppose we divide the j-th slice into M j sectors, each of size roughly M −j
in all three directions.
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
J2 Sectors
Suppose we divide the j-th slice into M j sectors, each of size roughly M −j
in all three directions.
A sector propagator C j,a has now prefactor M −2j and
−j |x−y |]1/2
|Cj,ab (x, y )| ≤ δab M −2j e −[M
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
J2 Sectors
Suppose we divide the j-th slice into M j sectors, each of size roughly M −j
in all three directions.
A sector propagator C j,a has now prefactor M −2j and
−j |x−y |]1/2
|Cj,ab (x, y )| ≤ δab M −2j e −[M
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
J2 Sectors
Suppose we divide the j-th slice into M j sectors, each of size roughly M −j
in all three directions.
A sector propagator C j,a has now prefactor M −2j and
−j |x−y |]1/2
|Cj,ab (x, y )| ≤ δab M −2j e −[M
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
J2 Sectors
Suppose we divide the j-th slice into M j sectors, each of size roughly M −j
in all three directions.
A sector propagator C j,a has now prefactor M −2j and
−j |x−y |]1/2
|Cj,ab (x, y )| ≤ δab M −2j e −[M
10
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
Momentum Conservation
11
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
Momentum Conservation
In two dimensions a rhombus (i.e; a closed quadrilateral whose four sides
have equal lengths) is a parallelogram.
11
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
Momentum Conservation
In two dimensions a rhombus (i.e; a closed quadrilateral whose four sides
have equal lengths) is a parallelogram.
Hence an approximate rhombus should be an approximate parallelogram.
11
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
Momentum Conservation
In two dimensions a rhombus (i.e; a closed quadrilateral whose four sides
have equal lengths) is a parallelogram.
Hence an approximate rhombus should be an approximate parallelogram.
Momentum conservation δ(p1 + p2 + p3 + p4 ) at each vertex follows from
translation invariance√of J2 . Hence p1 , p2 , p3 , p4 form a quadrilateral. For j
large we have |pk | ≃ 2Mµ hence the quadrilateral is an approximate
rhombus. Hence the four sectors to which p1 , p2 , p3 and p4 should be
roughly equal two by two (parallelogram condition).
11
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
Momentum Conservation
In two dimensions a rhombus (i.e; a closed quadrilateral whose four sides
have equal lengths) is a parallelogram.
Hence an approximate rhombus should be an approximate parallelogram.
Momentum conservation δ(p1 + p2 + p3 + p4 ) at each vertex follows from
translation invariance√of J2 . Hence p1 , p2 , p3 , p4 form a quadrilateral. For j
large we have |pk | ≃ 2Mµ hence the quadrilateral is an approximate
rhombus. Hence the four sectors to which p1 , p2 , p3 and p4 should be
roughly equal two by two (parallelogram condition).
It means that the interaction is roughly of the color (or Gross-Neveu) type
with respect to these angular sectors:
X X
ψ̄a ψa ψ̄b ψb
a b
11
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
Anisotropic Sectors
12
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
Anisotropic Sectors
The rhombus rule is not fully correct for almost degenerate rhombuses.
12
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
Anisotropic Sectors
The rhombus rule is not fully correct for almost degenerate rhombuses.
This is the source of painful technical complications (anisotropic angular
sectors) which were developed by Feldman, Magnen, Trubowitz and myself.
12
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
Anisotropic Sectors
The rhombus rule is not fully correct for almost degenerate rhombuses.
This is the source of painful technical complications (anisotropic angular
sectors) which were developed by Feldman, Magnen, Trubowitz and myself.
One should use in fact M j/2 longer sectors in the tangential direction (of
length M −j/2 ). The corresponding propagators have dual decay because the
sectors are still aprroximately flat.
12
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
Anisotropic Sectors
The rhombus rule is not fully correct for almost degenerate rhombuses.
This is the source of painful technical complications (anisotropic angular
sectors) which were developed by Feldman, Magnen, Trubowitz and myself.
One should use in fact M j/2 longer sectors in the tangential direction (of
length M −j/2 ). The corresponding propagators have dual decay because the
sectors are still aprroximately flat.
Ultimately the conclusion is unchanged: the radius of convergence of J2 in
a slice is independent of the slice index j.
12
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
Anisotropic Sectors
13
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
14
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
This plus a lot of work to fill in the “technical details” lead to the
proof of Salmhofer’s criterion for J2 . This was the first mathematical
construction of an interacting Fermi liquid (Disertori-R., 2000).
14
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
This plus a lot of work to fill in the “technical details” lead to the
proof of Salmhofer’s criterion for J2 . This was the first mathematical
construction of an interacting Fermi liquid (Disertori-R., 2000).
In 2002 Benfatto, Giuliani and Mastropietro extended our analysis to
the case of non-rotation invariant curves close to the jellium case.
14
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
This plus a lot of work to fill in the “technical details” lead to the
proof of Salmhofer’s criterion for J2 . This was the first mathematical
construction of an interacting Fermi liquid (Disertori-R., 2000).
In 2002 Benfatto, Giuliani and Mastropietro extended our analysis to
the case of non-rotation invariant curves close to the jellium case.
Another way to build a Fermi liquid is to introduce a magnetic
regulator instead of a temperature, to get rid of the BCS phase
transition. The magnetic field typically blocks the Cooper pair channel
by breaking the parity invariance of the Fermi surface.
14
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
This plus a lot of work to fill in the “technical details” lead to the
proof of Salmhofer’s criterion for J2 . This was the first mathematical
construction of an interacting Fermi liquid (Disertori-R., 2000).
In 2002 Benfatto, Giuliani and Mastropietro extended our analysis to
the case of non-rotation invariant curves close to the jellium case.
Another way to build a Fermi liquid is to introduce a magnetic
regulator instead of a temperature, to get rid of the BCS phase
transition. The magnetic field typically blocks the Cooper pair channel
by breaking the parity invariance of the Fermi surface.
Following this road, Feldman, Knörrer and Trubowitz built in great
detail a 2D Fermi liquids with non-parity invariant surfaces in an
impressive series of papers completed around 2003-2004.
14
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
There are not many sectors for H2 ; it is not a Fermi liquid in the sense of
Salmhofer but a “Luttinger liquid” with logarithmic corrections.
(Afchain-Magnen-R., 2004).
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
There are not many sectors for H2 ; it is not a Fermi liquid in the sense of
Salmhofer but a “Luttinger liquid” with logarithmic corrections.
(Afchain-Magnen-R., 2004).
As the Hubbard filling factor moves from zero to half-filling, there is a
crossover between Fermi and Luttinger behavior (Benfatto, Giuliani,
Mastropietro)
15
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
H2 Sectors
Consider the curvature radius of the curve (cos k1 + cos k2 )2 = M −2j , which
is
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
H2 Sectors
Consider the curvature radius of the curve (cos k1 + cos k2 )2 = M −2j , which
is
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
H2 Sectors
Consider the curvature radius of the curve (cos k1 + cos k2 )2 = M −2j , which
is
One finds
M −j
d(k1 ) ≃ w (k1 ) ≃ −j/2 ,
M + k1
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
H2 Sectors
Consider the curvature radius of the curve (cos k1 + cos k2 )2 = M −2j , which
is
One finds
M −j
d(k1 ) ≃ w (k1 ) ≃ −j/2 ,
M + k1
k13 + M −3j/2
R(k1 ) ≃ ,
M −j
16
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
H2 Sectors, II
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
H2 Sectors, II
Remember the condition that the sector length should not be bigger than
that anisotropic length.
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
H2 Sectors, II
Remember the condition that the sector length should not be bigger than
that anisotropic length.
!
"
"
!
! " # $ % $ # " !
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
H2 Sectors, II
Remember the condition that the sector length should not be bigger than
that anisotropic length.
!
"
"
!
! " # $ % $ # " !
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
H2 Sectors, II
Remember the condition that the sector length should not be bigger than
that anisotropic length.
!
"
"
!
! " # $ % $ # " !
17
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
H2 Sectors, II
Remember the condition that the sector length should not be bigger than
that anisotropic length.
!
"
"
!
! " # $ % $ # " !
18
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
The two smallest indices among sj,+ for j = 1, 2, 3, 4 differ by at most one
unit, and the two smallest indices among sj,− for j = 1, 2, 3, 4 differ by at
most one unit.
18
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
The two smallest indices among sj,+ for j = 1, 2, 3, 4 differ by at most one
unit, and the two smallest indices among sj,− for j = 1, 2, 3, 4 differ by at
most one unit.
Because the total number of sectors is growing logarithmically, not
power-like, the scaling of the model resembles more the one-dimensional
model (Luttinger liqud) than to the jellium models in 2 or 3 dimensions.
18
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
and
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
and
|k1 + · · · + k4 | ≤ const (1 + |m|) M −j
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
and
|k1 + · · · + k4 | ≤ const (1 + |m|) M −j
is bounded by
const(1 + |m|)d M (3d−4)j {1 + jδd,2 } .
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
and
|k1 + · · · + k4 | ≤ const (1 + |m|) M −j
is bounded by
const(1 + |m|)d M (3d−4)j {1 + jδd,2 } .
k
Here, k ′ = |k| denotes the projection of k onto the Fermi surface.
19
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
20
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
20
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
20
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
21
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
This bound used after a cluster expansion between cubes solves the
problem for the main part of the propagator.
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
This bound used after a cluster expansion between cubes solves the
problem for the main part of the propagator.
Correct just renormalizable power counting is recovered for the main
part of the theory
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
This bound used after a cluster expansion between cubes solves the
problem for the main part of the propagator.
Correct just renormalizable power counting is recovered for the main
part of the theory
A factor n! is lost in the bound at order n but this is what is allowed
by the 1/n! symmetry factor.
22
Cetraro, Summer 2010, Cetraro, Summer 2010, Lecture IV Vincent Rivasseau, LPT Orsay
Single Scale Toy Model 2 Dimensional Jellium Model Hubbard Model 3d Jellium Model
This bound used after a cluster expansion between cubes solves the
problem for the main part of the propagator.
Correct just renormalizable power counting is recovered for the main
part of the theory
A factor n! is lost in the bound at order n but this is what is allowed
by the 1/n! symmetry factor.
An auxiliary (superrenormalizable) expansion is needed to treat the small
distance part.