Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the...
Transcript of Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the...
![Page 1: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/1.jpg)
Lee-Yang zeros for the Diamond Hierarchical Lattice.
Pavel Bleher†, Mikhail Lyubich‡, and Roland Roeder†
IUPUI† and Stony Brook University‡
Olivier Remy - IUPUI
Aug. 16, 2016
![Page 2: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/2.jpg)
Outline
I Ising model
1. Partition Function, Lee-Yang zeros, and thermodynamic limit
2. Expected properties for the Z2 lattice.
3. Hierarchical lattices and the Migdal-Kadano� RG equations
4. Renormalization Mapping of the Lee-Yang cylinder
I Statement of the main results
1. Dynamical results
2. Physical results
I Proof of horizontal expansion
![Page 3: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/3.jpg)
Outline
I Ising model
1. Partition Function, Lee-Yang zeros, and thermodynamic limit
2. Expected properties for the Z2 lattice.
3. Hierarchical lattices and the Migdal-Kadano� RG equations
4. Renormalization Mapping of the Lee-Yang cylinder
I Statement of the main results
1. Dynamical results
2. Physical results
I Proof of horizontal expansion
![Page 4: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/4.jpg)
The Ising Model�a description of magnetic materials
The Ising model is a classical statistical physics model - 1925 by
Ernst Ising.
The goal of the model is to study magnetic material by looking at
the electrons composing it and how they interact.
The Ising model is one of the simplest models where phase
transitions can occur.
![Page 5: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/5.jpg)
The Ising Model�a description of magnetic materials
The Ising model is a classical statistical physics model - 1925 by
Ernst Ising.
The goal of the model is to study magnetic material by looking at
the electrons composing it and how they interact.
The Ising model is one of the simplest models where phase
transitions can occur.
![Page 6: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/6.jpg)
The Ising Model�a description of magnetic materials
The Ising model is a classical statistical physics model - 1925 by
Ernst Ising.
The goal of the model is to study magnetic material by looking at
the electrons composing it and how they interact.
The Ising model is one of the simplest models where phase
transitions can occur.
![Page 7: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/7.jpg)
Ising model�a description of magnetic materials
Magnetic material can be represented with a graph Γ, with vertex
set V and edge set E .
Electrons at vertices, interactions along edges.
For any con�guration of spins σ : V → {±1}, we have:
I (σ) =∑
(v ,w)∈E
σ(v)σ(w) M(σ) =∑v∈V
σ(v)
I (σ) is interaction of σ along edges, and
M(σ) is the total magnetic moment of σ.
The energy of state σ exposed to an external magnetic �eld h is:
H(σ) = −J · I (σ)− h ·M(σ),
where J > 0.
![Page 8: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/8.jpg)
Ising model�a description of magnetic materials
Magnetic material can be represented with a graph Γ, with vertex
set V and edge set E .
Electrons at vertices, interactions along edges.
For any con�guration of spins σ : V → {±1}, we have:
I (σ) =∑
(v ,w)∈E
σ(v)σ(w) M(σ) =∑v∈V
σ(v)
I (σ) is interaction of σ along edges, and
M(σ) is the total magnetic moment of σ.
The energy of state σ exposed to an external magnetic �eld h is:
H(σ) = −J · I (σ)− h ·M(σ),
where J > 0.
![Page 9: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/9.jpg)
Ising model�a description of magnetic materials
Magnetic material can be represented with a graph Γ, with vertex
set V and edge set E .
Electrons at vertices, interactions along edges.
For any con�guration of spins σ : V → {±1}, we have:
I (σ) =∑
(v ,w)∈E
σ(v)σ(w) M(σ) =∑v∈V
σ(v)
I (σ) is interaction of σ along edges, and
M(σ) is the total magnetic moment of σ.
The energy of state σ exposed to an external magnetic �eld h is:
H(σ) = −J · I (σ)− h ·M(σ),
where J > 0.
![Page 10: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/10.jpg)
Ising model�a description of magnetic materials
Magnetic material can be represented with a graph Γ, with vertex
set V and edge set E .
Electrons at vertices, interactions along edges.
For any con�guration of spins σ : V → {±1}, we have:
I (σ) =∑
(v ,w)∈E
σ(v)σ(w) M(σ) =∑v∈V
σ(v)
I (σ) is interaction of σ along edges, and
M(σ) is the total magnetic moment of σ.
The energy of state σ exposed to an external magnetic �eld h is:
H(σ) = −J · I (σ)− h ·M(σ),
where J > 0.
![Page 11: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/11.jpg)
Gibbs Distribution and the Partition Function
At equilibrium, a state σ occurs with probability proportional to
W (σ) = e−H(σ)/T ,
where T > 0 is the temperature.
Thus, P(σ) = W (σ)/Z (h,T ), where
Z (h,T ) =∑σ
W (σ) =∑σ
e−H(σ)/T .
Two variables of the model : h and T .
Z (h,T ) is called the Partition function.
It governs the physical properties of the Ising model on Γ.
![Page 12: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/12.jpg)
Gibbs Distribution and the Partition Function
At equilibrium, a state σ occurs with probability proportional to
W (σ) = e−H(σ)/T ,
where T > 0 is the temperature.
Thus, P(σ) = W (σ)/Z (h,T ), where
Z (h,T ) =∑σ
W (σ) =∑σ
e−H(σ)/T .
Two variables of the model : h and T .
Z (h,T ) is called the Partition function.
It governs the physical properties of the Ising model on Γ.
![Page 13: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/13.jpg)
Gibbs Distribution and the Partition Function
At equilibrium, a state σ occurs with probability proportional to
W (σ) = e−H(σ)/T ,
where T > 0 is the temperature.
Thus, P(σ) = W (σ)/Z (h,T ), where
Z (h,T ) =∑σ
W (σ) =∑σ
e−H(σ)/T .
Two variables of the model : h and T .
Z (h,T ) is called the Partition function.
It governs the physical properties of the Ising model on Γ.
![Page 14: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/14.jpg)
Change of variables
Let t = e−J/T (temperature-like) and z = e−h/T (�eld-like).
Then W (σ) = t−I (σ)/2z−M(σ).
Z (z , t) =∑σ
W (σ) =∑σ
t−I (σ)/2z−M(σ)
= ad(t)zd + ad−1(t)zd−1 + · · ·+ a1−d(t)z1−d + a−d(t)z−d ,
where d = |E |.
Since I (−σ) = I (σ) and M(−σ) = −M(σ) we have that Z is
symmetric under z 7→ 1/z :
ai (t) = a−i (t)
Physical values of T > 0 correspond to t ∈ (0, 1), and the physical
values of h ∈ R correspond to z ∈ (0,∞).
![Page 15: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/15.jpg)
Change of variables
Let t = e−J/T (temperature-like) and z = e−h/T (�eld-like).
Then W (σ) = t−I (σ)/2z−M(σ).
Z (z , t) =∑σ
W (σ) =∑σ
t−I (σ)/2z−M(σ)
= ad(t)zd + ad−1(t)zd−1 + · · ·+ a1−d(t)z1−d + a−d(t)z−d ,
where d = |E |.
Since I (−σ) = I (σ) and M(−σ) = −M(σ) we have that Z is
symmetric under z 7→ 1/z :
ai (t) = a−i (t)
Physical values of T > 0 correspond to t ∈ (0, 1), and the physical
values of h ∈ R correspond to z ∈ (0,∞).
![Page 16: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/16.jpg)
Change of variables
Let t = e−J/T (temperature-like) and z = e−h/T (�eld-like).
Then W (σ) = t−I (σ)/2z−M(σ).
Z (z , t) =∑σ
W (σ) =∑σ
t−I (σ)/2z−M(σ)
= ad(t)zd + ad−1(t)zd−1 + · · ·+ a1−d(t)z1−d + a−d(t)z−d ,
where d = |E |.
Since I (−σ) = I (σ) and M(−σ) = −M(σ) we have that Z is
symmetric under z 7→ 1/z :
ai (t) = a−i (t)
Physical values of T > 0 correspond to t ∈ (0, 1), and the physical
values of h ∈ R correspond to z ∈ (0,∞).
![Page 17: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/17.jpg)
Thermodynamic quantities in terms of zeros of Z (z , t).
For each t ∈ C∗ Z (z , t) = 0 has 2|E | zeros zi (t) ∈ C.
Free energy:
F (z , t) := −T logZ(z , t) = −T∑
log |z − zi (t)|+ |E |T (log |z |+ 1
2log |t|)
Magnetization:
M(z , t) :=∑σ
M(σ)P(σ) = z∑ 1
z − zi (t)− |E |
![Page 18: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/18.jpg)
Thermodynamic quantities in terms of zeros of Z (z , t).
For each t ∈ C∗ Z (z , t) = 0 has 2|E | zeros zi (t) ∈ C.Free energy:
F (z , t) := −T logZ(z , t) = −T∑
log |z − zi (t)|+ |E |T (log |z |+ 1
2log |t|)
Magnetization:
M(z , t) :=∑σ
M(σ)P(σ) = z∑ 1
z − zi (t)− |E |
![Page 19: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/19.jpg)
The Lee-Yang Theorem
Theorem (Lee-Yang, 1952)At any �xed t ∈ [0, 1], then all complex zeros of Z (z , t) lie on the unit
circle |z | = 1.
Physical values of z
z = 1
![Page 20: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/20.jpg)
Phase Transitions
One of the main goals of the Ising Model is to explain phase
transitions.
A phase transition occurs at any place where F (z , t) depends
non-analytically on (z , t) for physical values of (z , t).
For �nite models:
F (z , t) := −T logZ(z , t) = −T∑
log |z − zi (t)|+ |E |T (log |z |+ 1
2log |t|)
Problem: No phase transition on �nite models.
![Page 21: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/21.jpg)
Phase Transitions
One of the main goals of the Ising Model is to explain phase
transitions.
A phase transition occurs at any place where F (z , t) depends
non-analytically on (z , t) for physical values of (z , t).
For �nite models:
F (z , t) := −T logZ(z , t) = −T∑
log |z − zi (t)|+ |E |T (log |z |+ 1
2log |t|)
Problem: No phase transition on �nite models.
![Page 22: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/22.jpg)
Actual and model magnetic materials
Problem: no phase transition on �nite models.
Model magnetic material: DHLActual magnetic material: Z2
To model accurately magnetic material, one has to look at a
scequence of graphs Γn. Actual behavior of a magnet governed by
the limit as the number of electrons goes to in�nity.
![Page 23: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/23.jpg)
Actual and model magnetic materials
Problem: no phase transition on �nite models.
Actual magnetic material: Z2 Model magnetic material: DHL
To model accurately magnetic material, one has to look at a
scequence of graphs Γn. Actual behavior of a magnet governed by
the limit as the number of electrons goes to in�nity.
![Page 24: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/24.jpg)
Actual and model magnetic materials
Problem: no phase transition on �nite models.
Actual magnetic material: Z2 Model magnetic material: DHL
To model accurately magnetic material, one has to look at a
scequence of graphs Γn. Actual behavior of a magnet governed by
the limit as the number of electrons goes to in�nity.
![Page 25: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/25.jpg)
Actual and model magnetic materials
Problem: no phase transition on �nite models.
Actual magnetic material: Z2 Model magnetic material: DHL
To model accurately magnetic material, one has to look at a
scequence of graphs Γn. Actual behavior of a magnet governed by
the limit as the number of electrons goes to in�nity.
![Page 26: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/26.jpg)
Actual and model magnetic materials
Problem: no phase transition on �nite models.
Actual magnetic material: Z2 Model magnetic material: DHL
To model accurately magnetic material, one has to look at a
scequence of graphs Γn. Actual behavior of a magnet governed by
the limit as the number of electrons goes to in�nity.
![Page 27: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/27.jpg)
Actual and model magnetic materials
Problem: no phase transition on �nite models.
Actual magnetic material: Z2 Model magnetic material: DHL
To model accurately magnetic material, one has to look at a
scequence of graphs Γn. Actual behavior of a magnet governed by
the limit as the number of electrons goes to in�nity.
![Page 28: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/28.jpg)
Actual magnetic material corresponds to the limit n→∞
One can de�ne Zn, Fn and Mn for each graph of Γn.
When does taking a limit physically make sense? How to give a
precise de�niton of this limit?
The thermodynamic limit exists for the sequence Γn if
1
|En|Fn(z , t)→ F (z , t)
for any z ∈ R+ and t ∈ (0, 1).
For each t ∈ [0, 1] there is a measure µt on T describing the
asymptotic distribution of Lee-Yang zeros.
![Page 29: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/29.jpg)
Actual magnetic material corresponds to the limit n→∞
One can de�ne Zn, Fn and Mn for each graph of Γn.
When does taking a limit physically make sense? How to give a
precise de�niton of this limit?
The thermodynamic limit exists for the sequence Γn if
1
|En|Fn(z , t)→ F (z , t)
for any z ∈ R+ and t ∈ (0, 1).
For each t ∈ [0, 1] there is a measure µt on T describing the
asymptotic distribution of Lee-Yang zeros.
![Page 30: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/30.jpg)
Actual magnetic material corresponds to the limit n→∞
One can de�ne Zn, Fn and Mn for each graph of Γn.
When does taking a limit physically make sense? How to give a
precise de�niton of this limit?
The thermodynamic limit exists for the sequence Γn if
1
|En|Fn(z , t)→ F (z , t)
for any z ∈ R+ and t ∈ (0, 1).
For each t ∈ [0, 1] there is a measure µt on T describing the
asymptotic distribution of Lee-Yang zeros.
![Page 31: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/31.jpg)
Actual magnetic material corresponds to the limit n→∞
One can de�ne Zn, Fn and Mn for each graph of Γn.
When does taking a limit physically make sense? How to give a
precise de�niton of this limit?
The thermodynamic limit exists for the sequence Γn if
1
|En|Fn(z , t)→ F (z , t)
for any z ∈ R+ and t ∈ (0, 1).
For each t ∈ [0, 1] there is a measure µt on T describing the
asymptotic distribution of Lee-Yang zeros.
![Page 32: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/32.jpg)
Phase transitions in terms of Lee-Yang distributionIf the thermodynamic limit exists, one can de�ne the physicalquantities for the limiting model.
F (z , t) = −2T∫Tlog |z − ζ|dµt(ζ) + T log |z |+ 1
2log |t|
F (z , t) does not necessarily depend analytically on (z , t). Possiblephase transitions.
M(z , t) = 2z
∫T
dµt(ζ)
z − ζ− 1
limz→1+
M(z , t) = ρt(0) where ρt(φ) = 2πdµt(φ)
dφ, andφ = arg(z).
For small t, M(z , t) has a jump of twice ρt(0) as z changes from
below 1 to above1.
Understanding how the Lee-Yang distributions µt(φ) vary with tand φ is essential to understanding phase transitions of the model.
![Page 33: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/33.jpg)
Phase transitions in terms of Lee-Yang distributionIf the thermodynamic limit exists, one can de�ne the physicalquantities for the limiting model.
F (z , t) = −2T∫Tlog |z − ζ|dµt(ζ) + T log |z |+ 1
2log |t|
F (z , t) does not necessarily depend analytically on (z , t). Possiblephase transitions.
M(z , t) = 2z
∫T
dµt(ζ)
z − ζ− 1
limz→1+
M(z , t) = ρt(0) where ρt(φ) = 2πdµt(φ)
dφ, andφ = arg(z).
For small t, M(z , t) has a jump of twice ρt(0) as z changes from
below 1 to above1.
Understanding how the Lee-Yang distributions µt(φ) vary with tand φ is essential to understanding phase transitions of the model.
![Page 34: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/34.jpg)
Phase transitions in terms of Lee-Yang distributionIf the thermodynamic limit exists, one can de�ne the physicalquantities for the limiting model.
F (z , t) = −2T∫Tlog |z − ζ|dµt(ζ) + T log |z |+ 1
2log |t|
F (z , t) does not necessarily depend analytically on (z , t). Possiblephase transitions.
M(z , t) = 2z
∫T
dµt(ζ)
z − ζ− 1
limz→1+
M(z , t) = ρt(0) where ρt(φ) = 2πdµt(φ)
dφ, andφ = arg(z).
For small t, M(z , t) has a jump of twice ρt(0) as z changes from
below 1 to above1.
Understanding how the Lee-Yang distributions µt(φ) vary with tand φ is essential to understanding phase transitions of the model.
![Page 35: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/35.jpg)
Phase transitions in terms of Lee-Yang distributionIf the thermodynamic limit exists, one can de�ne the physicalquantities for the limiting model.
F (z , t) = −2T∫Tlog |z − ζ|dµt(ζ) + T log |z |+ 1
2log |t|
F (z , t) does not necessarily depend analytically on (z , t). Possiblephase transitions.
M(z , t) = 2z
∫T
dµt(ζ)
z − ζ− 1
limz→1+
M(z , t) = ρt(0) where ρt(φ) = 2πdµt(φ)
dφ, andφ = arg(z).
For small t, M(z , t) has a jump of twice ρt(0) as z changes from
below 1 to above1.
Understanding how the Lee-Yang distributions µt(φ) vary with tand φ is essential to understanding phase transitions of the model.
![Page 36: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/36.jpg)
Phase transitions in terms of Lee-Yang distributionIf the thermodynamic limit exists, one can de�ne the physicalquantities for the limiting model.
F (z , t) = −2T∫Tlog |z − ζ|dµt(ζ) + T log |z |+ 1
2log |t|
F (z , t) does not necessarily depend analytically on (z , t). Possiblephase transitions.
M(z , t) = 2z
∫T
dµt(ζ)
z − ζ− 1
limz→1+
M(z , t) = ρt(0) where ρt(φ) = 2πdµt(φ)
dφ, andφ = arg(z).
For small t, M(z , t) has a jump of twice ρt(0) as z changes from
below 1 to above1.
Understanding how the Lee-Yang distributions µt(φ) vary with tand φ is essential to understanding phase transitions of the model.
![Page 37: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/37.jpg)
Phase transitions in terms of Lee-Yang distributionIf the thermodynamic limit exists, one can de�ne the physicalquantities for the limiting model.
F (z , t) = −2T∫Tlog |z − ζ|dµt(ζ) + T log |z |+ 1
2log |t|
F (z , t) does not necessarily depend analytically on (z , t). Possiblephase transitions.
M(z , t) = 2z
∫T
dµt(ζ)
z − ζ− 1
limz→1+
M(z , t) = ρt(0) where ρt(φ) = 2πdµt(φ)
dφ, andφ = arg(z).
For small t, M(z , t) has a jump of twice ρt(0) as z changes from
below 1 to above1.
Understanding how the Lee-Yang distributions µt(φ) vary with tand φ is essential to understanding phase transitions of the model.
![Page 38: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/38.jpg)
Expected limiting distributions of Lee-Yang zeros for Z2
φ
φ
ρt(φ)
π
tc
−π
t = 0
![Page 39: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/39.jpg)
Expected limiting distributions of Lee-Yang zeros for Z2
ρt(φ)
φ
φ
π
tc
−π
t < tc
![Page 40: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/40.jpg)
Expected limiting distributions of Lee-Yang zeros for Z2
φ
φ
ρt(φ)
tc
π−π
t = tc
![Page 41: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/41.jpg)
Expected limiting distributions of Lee-Yang zeros for Z2
φ
φ
ρt(φ)
tc
π−π
t > tc
![Page 42: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/42.jpg)
Expected limiting distributions of Lee-Yang zeros for Z2
φ
φ
ρt(φ)
tc
π−πt = 1
![Page 43: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/43.jpg)
The Diamond Hierarchical Lattice (DHL)
Γn
Γ0 Γ1 Γ2
![Page 44: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/44.jpg)
Migdal-Kadano� Renormalization123
Consider the conditional partition functions:
⊕
⊕= Zn
⊕
⊕Un := Zn Wn := ZnVn := Zn, ,
The total partition function is equal to Zn = Un + 2Vn + Wn.
Migdal-Kadano� RG Equations:
Un+1 = (U2
n + V 2
n )2, Vn+1 = V 2
n (Un + Wn)2, Wn+1 = (V 2
n + W 2
n )2.
1A.A. Migdal. Recurrence equations in gauge �eld theory. JETP, (1975).2L. P. Kadano�. Notes on Migdal's recursion formulae. Ann. Phys., (1976).3B. Derrida, L. De Seze, and C. Itzykson, Fractal structure of zeros in
hierarchical models, J. Statist. Phys. (1983).
![Page 45: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/45.jpg)
Migdal-Kadano� Renormalization123
Consider the conditional partition functions:
⊕
⊕= Zn
⊕
⊕Un := Zn Wn := ZnVn := Zn, ,
The total partition function is equal to Zn = Un + 2Vn + Wn.
Migdal-Kadano� RG Equations:
Un+1 = (U2
n + V 2
n )2, Vn+1 = V 2
n (Un + Wn)2, Wn+1 = (V 2
n + W 2
n )2.
1A.A. Migdal. Recurrence equations in gauge �eld theory. JETP, (1975).2L. P. Kadano�. Notes on Migdal's recursion formulae. Ann. Phys., (1976).3B. Derrida, L. De Seze, and C. Itzykson, Fractal structure of zeros in
hierarchical models, J. Statist. Phys. (1983).
![Page 46: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/46.jpg)
Derivation:
⊕
⊕
⊕
⊕
=
= U4
n
Zn+1 ++ 2Zn+1 Zn+1⊕⊕
⊕
⊕
⊕
+ 2U2
n V2
n + V 4
n .
Un+1 = Zn+1
⊕ ⊕
R : C3 → C3, (U,V ,W ) 7→ ((U2+V 2)2,V 2(U+W )2, (V 2+W 2)2)
![Page 47: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/47.jpg)
Derivation:
⊕
⊕
⊕
⊕
=
= U4
n
Zn+1 ++ 2Zn+1 Zn+1⊕⊕
⊕
⊕
⊕
+ 2U2
n V2
n + V 4
n .
Un+1 = Zn+1
⊕ ⊕
R : C3 → C3, (U,V ,W ) 7→ ((U2+V 2)2,V 2(U+W )2, (V 2+W 2)2)
![Page 48: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/48.jpg)
MK renormalization in the (z , t) coordinates:We can lift R from the [U : V : W ] coordinates (downstairs) to the
(z , t) coordiantes upstairs.
U0 =1
zt1/2, V0 = t1/2, W0 =
z
t1/2(1)
The mapping upstairs is:
R(z , t) =
(z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
The (z , t) coordinates can be seen as a�ne coordinates of
[z : t : 1].
CP2 R−−−−→ CP2yΨ
yΨ
CP2 R−−−−→ CP2
(2)
and Ψ is a degree 2 rational map.
![Page 49: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/49.jpg)
MK renormalization in the (z , t) coordinates:We can lift R from the [U : V : W ] coordinates (downstairs) to the
(z , t) coordiantes upstairs.
U0 =1
zt1/2, V0 = t1/2, W0 =
z
t1/2(1)
The mapping upstairs is:
R(z , t) =
(z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
The (z , t) coordinates can be seen as a�ne coordinates of
[z : t : 1].
CP2 R−−−−→ CP2yΨ
yΨ
CP2 R−−−−→ CP2
(2)
and Ψ is a degree 2 rational map.
![Page 50: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/50.jpg)
MK renormalization in the (z , t) coordinates:We can lift R from the [U : V : W ] coordinates (downstairs) to the
(z , t) coordiantes upstairs.
U0 =1
zt1/2, V0 = t1/2, W0 =
z
t1/2(1)
The mapping upstairs is:
R(z , t) =
(z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
The (z , t) coordinates can be seen as a�ne coordinates of
[z : t : 1].
CP2 R−−−−→ CP2yΨ
yΨ
CP2 R−−−−→ CP2
(2)
and Ψ is a degree 2 rational map.
![Page 51: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/51.jpg)
Renormalization on the Lee-Yang cylinder
Let C := {(z , t) : |z | = 1, t ∈ [0, 1]} be the Lee-Yang cylinder.
R(z , t) =
(z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
One can check that R(C) = C.
Let Sn ⊂ C denote the Lee-Yang zeros for Γn.
I S0 := {z2 + 2tz + 1 = 0} ∩ C.I for n ≥ 1 we have Sn+1 = R−1|C Sn.
It is this recursive relationship between Sn+1 and Sn that makes
this problem become a dynamical systems problem.
![Page 52: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/52.jpg)
Renormalization on the Lee-Yang cylinder
Let C := {(z , t) : |z | = 1, t ∈ [0, 1]} be the Lee-Yang cylinder.
R(z , t) =
(z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
One can check that R(C) = C.
Let Sn ⊂ C denote the Lee-Yang zeros for Γn.
I S0 := {z2 + 2tz + 1 = 0} ∩ C.I for n ≥ 1 we have Sn+1 = R−1|C Sn.
It is this recursive relationship between Sn+1 and Sn that makes
this problem become a dynamical systems problem.
![Page 53: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/53.jpg)
Renormalization on the Lee-Yang cylinder
Let C := {(z , t) : |z | = 1, t ∈ [0, 1]} be the Lee-Yang cylinder.
R(z , t) =
(z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
One can check that R(C) = C.
Let Sn ⊂ C denote the Lee-Yang zeros for Γn.
I S0 := {z2 + 2tz + 1 = 0} ∩ C.I for n ≥ 1 we have Sn+1 = R−1|C Sn.
It is this recursive relationship between Sn+1 and Sn that makes
this problem become a dynamical systems problem.
![Page 54: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/54.jpg)
Lee-Yang zeros as pull-backs under R
S0
t = 0
−π πt = 1
![Page 55: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/55.jpg)
Lee-Yang zeros as pull-backs under R
S0
S1
t = 1
t = 0
R−π π
![Page 56: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/56.jpg)
Lee-Yang zeros as pull-backs under R
S0
S1
S2
t = 1
t = 0
R
R
−π π
![Page 57: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/57.jpg)
Geometry of R : C → C, part IR has two points of indeterminacy α± = (±i , 1) ∈ T .
R(z , t) =
(z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
Points approaching α+ or α− at angle ω with respect to the
vertical are mapped by R to (2ω, sin2 ω).
ω
α+α− π−π
0
1
(2ω, sin2(ω))
R
0
G
![Page 58: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/58.jpg)
Geometry of R : C → C, part IR has two points of indeterminacy α± = (±i , 1) ∈ T .
R(z , t) =
(z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
Points approaching α+ or α− at angle ω with respect to the
vertical are mapped by R to (2ω, sin2 ω).
ω
α+α− π−π
0
1
(2ω, sin2(ω))
R
0
G
![Page 59: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/59.jpg)
Geometry of R : C → C, part IR has two points of indeterminacy α± = (±i , 1) ∈ T .
R(z , t) =
(z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
Points approaching α+ or α− at angle ω with respect to the
vertical are mapped by R to (2ω, sin2 ω).
ω
α+α− π−π
0
1
(2ω, sin2(ω))
R
0
G
![Page 60: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/60.jpg)
Geometry of R : C → C, part IR has two points of indeterminacy α± = (±i , 1) ∈ T .
R(z , t) =
(z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
Points approaching α+ or α− at angle ω with respect to the
vertical are mapped by R to (2ω, sin2 ω).
ω
α+α− π−π
0
1
(2ω, sin2(ω))
R
0
G
![Page 61: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/61.jpg)
Geometry of R : C → C, part II
R(z , t) =
(z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
G
R
α+α−−π π
1
0
![Page 62: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/62.jpg)
Dynamical results I
Theorem (Bleher, Lyubich, Roeder)
R : C → C is partially hyperbolic.
That is:
1. We have a horizontal tangent cone�eld K(x) and a vertical line�eld
L(x) ⊂ TxC depending continuously on x and invariant under DR:
DR(K(x))
CK(R(x))
K(x)L(x)
L(R(x)) = DR(L(x))x
R(x)
2. Horizontal tangent vectors v ∈ K(x) get exponentially stretched
under DRn at a rate that dominates any occasional expansion of
tangent vectors in L(x).
![Page 63: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/63.jpg)
Dynamical results I
Theorem (Bleher, Lyubich, Roeder)
R : C → C is partially hyperbolic.
That is:
1. We have a horizontal tangent cone�eld K(x) and a vertical line�eld
L(x) ⊂ TxC depending continuously on x and invariant under DR:
DR(K(x))
CK(R(x))
K(x)L(x)
L(R(x)) = DR(L(x))x
R(x)
2. Horizontal tangent vectors v ∈ K(x) get exponentially stretched
under DRn at a rate that dominates any occasional expansion of
tangent vectors in L(x).
![Page 64: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/64.jpg)
Dynamical results II
Proposition (BLR)
R has a unique invariant central foliation Fc .
Precisely:
A vertical foliation is a regular family of disjoint vertical paths that
cover the cylinder. � Central � means that the foliation is obtained
integrating L(x).
One can think of a vertical foliation as a local deformation of the
genuinely vertical foliation, {Iφ, φ ∈ R/2πZ}
![Page 65: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/65.jpg)
Dynamical results II
Proposition (BLR)
R has a unique invariant central foliation Fc .
Precisely:
A vertical foliation is a regular family of disjoint vertical paths that
cover the cylinder. � Central � means that the foliation is obtained
integrating L(x).
One can think of a vertical foliation as a local deformation of the
genuinely vertical foliation, {Iφ, φ ∈ R/2πZ}
![Page 66: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/66.jpg)
Physical Results
For t ∈ [0, 1) the holonomy transformation gt : B → T× {t}obtained by �owing along Fc .
C B
T
Fc
x
gt(x) T× {t}
Theorem (BLR)
The asymptotic distribution of Lee-Yang zeros at a temperature
t0 ∈ [0, 1) is given by under holonomy by µt = (gt)∗(µ0) where µ0be the Lebesgue measure on B.
![Page 67: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/67.jpg)
Physical Results
For t ∈ [0, 1) the holonomy transformation gt : B → T× {t}obtained by �owing along Fc .
C B
T
Fc
x
gt(x) T× {t}
Theorem (BLR)
The asymptotic distribution of Lee-Yang zeros at a temperature
t0 ∈ [0, 1) is given by under holonomy by µt = (gt)∗(µ0) where µ0be the Lebesgue measure on B.
![Page 68: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/68.jpg)
Geometric view of Lee-Yang distributions for the DHL
φ
φ
ρt(φ)
tc
π−π
t = 0
![Page 69: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/69.jpg)
Geometric view of Lee-Yang distributions for the DHL
ρt(φ)
φ
φ π−π
tc
t < tc
![Page 70: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/70.jpg)
Geometric view of Lee-Yang distributions for the DHL
ρt(φ)
φ
φ
tc
−π π
t = tc
![Page 71: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/71.jpg)
Geometric view of Lee-Yang distributions for the DHL
φ
ρt(φ)
φ
π−π
tc
t > tc
![Page 72: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/72.jpg)
Geometric view of Lee-Yang distributions for the DHL
φ
φ
ρt(φ)
π−π
tc
t > tc
![Page 73: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/73.jpg)
Geometric view of Lee-Yang distributions for the DHL
φ
φ
ρt(φ)
tc
−π πt = 1
![Page 74: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/74.jpg)
Horizontal expansion (the main part of the proof)
Proposition
R expands the genuinely horizontal direction by a factor of at
least 2. Precisely, there exists c > 0 such that:
∀x ∈ C\{α±}, ∀n ∈ N, ||DxRn(hx)|| ≥ c2n||hx ||
There are three di�erent proofs expansion for vectors v ∈ K(x):
1. A purely computational proof.
2. A geometric proof using complex methods for R : CP2 → CP2.
3. A combinatorial proof using a �Lee-Yang Theorem with
Boundary conditions� and the fundamental symmetry of the
Ising model under z 7→ 1/z .
![Page 75: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/75.jpg)
Horizontal expansion (the main part of the proof)
Proposition
R expands the genuinely horizontal direction by a factor of at
least 2. Precisely, there exists c > 0 such that:
∀x ∈ C\{α±}, ∀n ∈ N, ||DxRn(hx)|| ≥ c2n||hx ||
There are three di�erent proofs expansion for vectors v ∈ K(x):
1. A purely computational proof.
2. A geometric proof using complex methods for R : CP2 → CP2.
3. A combinatorial proof using a �Lee-Yang Theorem with
Boundary conditions� and the fundamental symmetry of the
Ising model under z 7→ 1/z .
![Page 76: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/76.jpg)
Horizontal expansion (the main part of the proof)
Proposition
R expands the genuinely horizontal direction by a factor of at
least 2. Precisely, there exists c > 0 such that:
∀x ∈ C\{α±}, ∀n ∈ N, ||DxRn(hx)|| ≥ c2n||hx ||
There are three di�erent proofs expansion for vectors v ∈ K(x):
1. A purely computational proof.
2. A geometric proof using complex methods for R : CP2 → CP2.
3. A combinatorial proof using a �Lee-Yang Theorem with
Boundary conditions� and the fundamental symmetry of the
Ising model under z 7→ 1/z .
![Page 77: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/77.jpg)
Horizontal expansion (the main part of the proof)
Proposition
R expands the genuinely horizontal direction by a factor of at
least 2. Precisely, there exists c > 0 such that:
∀x ∈ C\{α±}, ∀n ∈ N, ||DxRn(hx)|| ≥ c2n||hx ||
There are three di�erent proofs expansion for vectors v ∈ K(x):
1. A purely computational proof.
2. A geometric proof using complex methods for R : CP2 → CP2.
3. A combinatorial proof using a �Lee-Yang Theorem with
Boundary conditions� and the fundamental symmetry of the
Ising model under z 7→ 1/z .
![Page 78: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/78.jpg)
Combinatorial proof of expansion, part I
Idea: Map forward a horizontal line Pt0 := {t = t0} under Rn, then projectvertically onto P0. Sends the circle St0 := Pt0 ∩ C to the circle S0.
St0
Pt0
P0
S0
C
Use complex extension to prove that π ◦ Rn : St0 → S0 is expanding.
![Page 79: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/79.jpg)
Combinatorial proof of expansion, part I
Idea: Map forward a horizontal line Pt0 := {t = t0} under Rn, then projectvertically onto P0. Sends the circle St0 := Pt0 ∩ C to the circle S0.
St0
Rn(St0)
Pt0
P0
S0
C
Use complex extension to prove that π ◦ Rn : St0 → S0 is expanding.
![Page 80: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/80.jpg)
Combinatorial proof of expansion, part I
Idea: Map forward a horizontal line Pt0 := {t = t0} under Rn, then projectvertically onto P0. Sends the circle St0 := Pt0 ∩ C to the circle S0.
π ◦ RnSt0
Rn(St0)
Pt0
P0
S0
St0
C
Use complex extension to prove that π ◦ Rn : St0 → S0 is expanding.
![Page 81: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/81.jpg)
Combinatorial proof of expansion, part I
Idea: Map forward a horizontal line Pt0 := {t = t0} under Rn, then projectvertically onto P0. Sends the circle St0 := Pt0 ∩ C to the circle S0.
π ◦ RnSt0
Rn(St0)
Pt0
P0
S0
St0
C
Use complex extension to prove that π ◦ Rn : St0 → S0 is expanding.
![Page 82: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/82.jpg)
Combinatorial proof of expansion, part II
Recall the a semiconjugacy
CP2 R−−−−→ CP2yΨ
yΨ
CP2 R−−−−→ CP2
where
R : [U : V : W ]→ [(U2 + V 2)2 : V 2(U + W )2 : (V 2 + W 2)2].
R : (z , t)→(
z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
Ψ induces a conjugacy4 between R : C → C and R : C → C , whereC = Ψ(C) is some appropriate Möbius band.
4except on B, where it is 2 - 1.
![Page 83: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/83.jpg)
Combinatorial proof of expansion, part II
Recall the a semiconjugacy
CP2 R−−−−→ CP2yΨ
yΨ
CP2 R−−−−→ CP2
where
R : [U : V : W ]→ [(U2 + V 2)2 : V 2(U + W )2 : (V 2 + W 2)2].
R : (z , t)→(
z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
Ψ induces a conjugacy4 between R : C → C and R : C → C , whereC = Ψ(C) is some appropriate Möbius band.
4except on B, where it is 2 - 1.
![Page 84: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/84.jpg)
Combinatorial proof of expansion, part II
Recall the a semiconjugacy
CP2 R−−−−→ CP2yΨ
yΨ
CP2 R−−−−→ CP2
where
R : [U : V : W ]→ [(U2 + V 2)2 : V 2(U + W )2 : (V 2 + W 2)2].
R : (z , t)→(
z2 + t2
z−2 + t2,
z2 + z−2 + 2
z2 + z−2 + t2 + t−2
).
Ψ induces a conjugacy4 between R : C → C and R : C → C , whereC = Ψ(C) is some appropriate Möbius band.
4except on B, where it is 2 - 1.
![Page 85: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/85.jpg)
Combinatorial proof of expansion, part IIThe two sets of coordinates are relevant for studying R :
1. The physical (z , t) coordinates.
Advantage : the Lee-Yang cylinder
C := {(z , t) : |z | = 1, t ∈ [0, 1]} is simple.
Problem : R is not algebraicly stable - hard to keep track of
degrees of curves under iteration.
2. The projective coordinates [U : V : W ]Advantage : R is algebraicly stable, has an easier expression
and it's components have a physical meaning.
Problem : The Lee-Yang cylinder becomes a Moebius band C .Using a�ne coordinates u = U
V and w = WV , C is the closure
of:
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Here, we will have to juggle between both coordinate systems.
![Page 86: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/86.jpg)
Combinatorial proof of expansion, part IIThe two sets of coordinates are relevant for studying R :
1. The physical (z , t) coordinates.
Advantage : the Lee-Yang cylinder
C := {(z , t) : |z | = 1, t ∈ [0, 1]} is simple.
Problem : R is not algebraicly stable - hard to keep track of
degrees of curves under iteration.
2. The projective coordinates [U : V : W ]Advantage : R is algebraicly stable, has an easier expression
and it's components have a physical meaning.
Problem : The Lee-Yang cylinder becomes a Moebius band C .Using a�ne coordinates u = U
V and w = WV , C is the closure
of:
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Here, we will have to juggle between both coordinate systems.
![Page 87: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/87.jpg)
Combinatorial proof of expansion, part IIThe two sets of coordinates are relevant for studying R :
1. The physical (z , t) coordinates.
Advantage : the Lee-Yang cylinder
C := {(z , t) : |z | = 1, t ∈ [0, 1]} is simple.
Problem : R is not algebraicly stable - hard to keep track of
degrees of curves under iteration.
2. The projective coordinates [U : V : W ]Advantage : R is algebraicly stable, has an easier expression
and it's components have a physical meaning.
Problem : The Lee-Yang cylinder becomes a Moebius band C .Using a�ne coordinates u = U
V and w = WV , C is the closure
of:
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Here, we will have to juggle between both coordinate systems.
![Page 88: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/88.jpg)
Combinatorial proof of expansion, part IIThe two sets of coordinates are relevant for studying R :
1. The physical (z , t) coordinates.
Advantage : the Lee-Yang cylinder
C := {(z , t) : |z | = 1, t ∈ [0, 1]} is simple.
Problem : R is not algebraicly stable - hard to keep track of
degrees of curves under iteration.
2. The projective coordinates [U : V : W ]Advantage : R is algebraicly stable, has an easier expression
and it's components have a physical meaning.
Problem : The Lee-Yang cylinder becomes a Moebius band C .Using a�ne coordinates u = U
V and w = WV , C is the closure
of:
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Here, we will have to juggle between both coordinate systems.
![Page 89: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/89.jpg)
Combinatorial proof of expansion, part IIThe two sets of coordinates are relevant for studying R :
1. The physical (z , t) coordinates.
Advantage : the Lee-Yang cylinder
C := {(z , t) : |z | = 1, t ∈ [0, 1]} is simple.
Problem : R is not algebraicly stable - hard to keep track of
degrees of curves under iteration.
2. The projective coordinates [U : V : W ]
Advantage : R is algebraicly stable, has an easier expression
and it's components have a physical meaning.
Problem : The Lee-Yang cylinder becomes a Moebius band C .Using a�ne coordinates u = U
V and w = WV , C is the closure
of:
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Here, we will have to juggle between both coordinate systems.
![Page 90: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/90.jpg)
Combinatorial proof of expansion, part IIThe two sets of coordinates are relevant for studying R :
1. The physical (z , t) coordinates.
Advantage : the Lee-Yang cylinder
C := {(z , t) : |z | = 1, t ∈ [0, 1]} is simple.
Problem : R is not algebraicly stable - hard to keep track of
degrees of curves under iteration.
2. The projective coordinates [U : V : W ]Advantage : R is algebraicly stable, has an easier expression
and it's components have a physical meaning.
Problem : The Lee-Yang cylinder becomes a Moebius band C .Using a�ne coordinates u = U
V and w = WV , C is the closure
of:
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Here, we will have to juggle between both coordinate systems.
![Page 91: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/91.jpg)
Combinatorial proof of expansion, part IIThe two sets of coordinates are relevant for studying R :
1. The physical (z , t) coordinates.
Advantage : the Lee-Yang cylinder
C := {(z , t) : |z | = 1, t ∈ [0, 1]} is simple.
Problem : R is not algebraicly stable - hard to keep track of
degrees of curves under iteration.
2. The projective coordinates [U : V : W ]Advantage : R is algebraicly stable, has an easier expression
and it's components have a physical meaning.
Problem : The Lee-Yang cylinder becomes a Moebius band C .Using a�ne coordinates u = U
V and w = WV , C is the closure
of:
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Here, we will have to juggle between both coordinate systems.
![Page 92: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/92.jpg)
Combinatorial proof of expansion, part IIThe two sets of coordinates are relevant for studying R :
1. The physical (z , t) coordinates.
Advantage : the Lee-Yang cylinder
C := {(z , t) : |z | = 1, t ∈ [0, 1]} is simple.
Problem : R is not algebraicly stable - hard to keep track of
degrees of curves under iteration.
2. The projective coordinates [U : V : W ]Advantage : R is algebraicly stable, has an easier expression
and it's components have a physical meaning.
Problem : The Lee-Yang cylinder becomes a Moebius band C .Using a�ne coordinates u = U
V and w = WV , C is the closure
of:
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Here, we will have to juggle between both coordinate systems.
![Page 93: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/93.jpg)
Combinatorial proof of expansion, part III
The Mobius band C is the closure of
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Horizontal line Pt0 becomes conic Pt0 := {uv = t−20 } = Ψ(Pt0).
Horizontal line P0 becomes line at in�nity
P0 := {V = 0} = Ψ(P0).
Horizontal circle St0 becomes St0 = {|u| = t−10 } = Ψ(St0).
Vertical projection π becomes radial projection pr(u,w) = w/u out
to the line at in�nity P0.
We will show that pr ◦ Rn : Pt0 → P0 expands that circle St0 .
![Page 94: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/94.jpg)
Combinatorial proof of expansion, part III
The Mobius band C is the closure of
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Horizontal line Pt0 becomes conic Pt0 := {uv = t−20 } = Ψ(Pt0).
Horizontal line P0 becomes line at in�nity
P0 := {V = 0} = Ψ(P0).
Horizontal circle St0 becomes St0 = {|u| = t−10 } = Ψ(St0).
Vertical projection π becomes radial projection pr(u,w) = w/u out
to the line at in�nity P0.
We will show that pr ◦ Rn : Pt0 → P0 expands that circle St0 .
![Page 95: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/95.jpg)
Combinatorial proof of expansion, part III
The Mobius band C is the closure of
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Horizontal line Pt0 becomes conic Pt0 := {uv = t−20 } = Ψ(Pt0).
Horizontal line P0 becomes line at in�nity
P0 := {V = 0} = Ψ(P0).
Horizontal circle St0 becomes St0 = {|u| = t−10 } = Ψ(St0).
Vertical projection π becomes radial projection pr(u,w) = w/u out
to the line at in�nity P0.
We will show that pr ◦ Rn : Pt0 → P0 expands that circle St0 .
![Page 96: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/96.jpg)
Combinatorial proof of expansion, part III
The Mobius band C is the closure of
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Horizontal line Pt0 becomes conic Pt0 := {uv = t−20 } = Ψ(Pt0).
Horizontal line P0 becomes line at in�nity
P0 := {V = 0} = Ψ(P0).
Horizontal circle St0 becomes St0 = {|u| = t−10 } = Ψ(St0).
Vertical projection π becomes radial projection pr(u,w) = w/u out
to the line at in�nity P0.
We will show that pr ◦ Rn : Pt0 → P0 expands that circle St0 .
![Page 97: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/97.jpg)
Combinatorial proof of expansion, part III
The Mobius band C is the closure of
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Horizontal line Pt0 becomes conic Pt0 := {uv = t−20 } = Ψ(Pt0).
Horizontal line P0 becomes line at in�nity
P0 := {V = 0} = Ψ(P0).
Horizontal circle St0 becomes St0 = {|u| = t−10 } = Ψ(St0).
Vertical projection π becomes radial projection pr(u,w) = w/u out
to the line at in�nity P0.
We will show that pr ◦ Rn : Pt0 → P0 expands that circle St0 .
![Page 98: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/98.jpg)
Combinatorial proof of expansion, part III
The Mobius band C is the closure of
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Horizontal line Pt0 becomes conic Pt0 := {uv = t−20 } = Ψ(Pt0).
Horizontal line P0 becomes line at in�nity
P0 := {V = 0} = Ψ(P0).
Horizontal circle St0 becomes St0 = {|u| = t−10 } = Ψ(St0).
Vertical projection π becomes radial projection pr(u,w) = w/u out
to the line at in�nity P0.
We will show that pr ◦ Rn : Pt0 → P0 expands that circle St0 .
![Page 99: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/99.jpg)
Combinatorial proof of expansion, part III
The Mobius band C is the closure of
C0 = {(u,w) ∈ C2 : w = u, |u| ≥ 1}.
in CP2.
Horizontal line Pt0 becomes conic Pt0 := {uv = t−20 } = Ψ(Pt0).
Horizontal line P0 becomes line at in�nity
P0 := {V = 0} = Ψ(P0).
Horizontal circle St0 becomes St0 = {|u| = t−10 } = Ψ(St0).
Vertical projection π becomes radial projection pr(u,w) = w/u out
to the line at in�nity P0.
We will show that pr ◦ Rn : Pt0 → P0 expands that circle St0 .
![Page 100: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/100.jpg)
Combinatorial proof of expansion, part IV
Harder to parametrize a line in the projective coordinates → back
to the physical coordinates.
Su�ces to parameterize Pt0 by Ψ : Pt0 → Pt0 and show that
pr ◦ Rn ◦Ψ : Pt0 → P0
expands that circle St0 .
We have:
ψn(z) := pr ◦ Rn ◦Ψ(z , t0) =Wn(z , t0)
Un(z , t0),
where Wn and Un are the conditional partition functions from the
derivation of R .
![Page 101: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/101.jpg)
Combinatorial proof of expansion, part IV
Harder to parametrize a line in the projective coordinates → back
to the physical coordinates.
Su�ces to parameterize Pt0 by Ψ : Pt0 → Pt0 and show that
pr ◦ Rn ◦Ψ : Pt0 → P0
expands that circle St0 .
We have:
ψn(z) := pr ◦ Rn ◦Ψ(z , t0) =Wn(z , t0)
Un(z , t0),
where Wn and Un are the conditional partition functions from the
derivation of R .
![Page 102: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/102.jpg)
Combinatorial proof of expansion, part IV
Harder to parametrize a line in the projective coordinates → back
to the physical coordinates.
Su�ces to parameterize Pt0 by Ψ : Pt0 → Pt0 and show that
pr ◦ Rn ◦Ψ : Pt0 → P0
expands that circle St0 .
We have:
ψn(z) := pr ◦ Rn ◦Ψ(z , t0) =Wn(z , t0)
Un(z , t0),
where Wn and Un are the conditional partition functions from the
derivation of R .
![Page 103: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/103.jpg)
Combinatorial proof of expansion, part IV
Harder to parametrize a line in the projective coordinates → back
to the physical coordinates.
Su�ces to parameterize Pt0 by Ψ : Pt0 → Pt0 and show that
pr ◦ Rn ◦Ψ : Pt0 → P0
expands that circle St0 .
We have:
ψn(z) := pr ◦ Rn ◦Ψ(z , t0) =Wn(z , t0)
Un(z , t0),
where Wn and Un are the conditional partition functions from the
derivation of R .
![Page 104: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/104.jpg)
Combinatorial proof of the expansion: Blaschke products
A �nite Blaschke product is a function of the type:
B(z) : C→ C, z 7→∏ z − ai
1− aiz
where the ai are a �nite family of complex numbers.
LemmaA Blaschke product B : C→ C all of whose zeros lie in the unit
disc and vanishing at the origin to order k expands the Euclidean
metric on the cirlce by at least k .
Claim: ψn : C→ C is an Blaschke product preserving the unit disc
D, expanding the circle T = ∂D by a factor of 2n+1.
![Page 105: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/105.jpg)
Combinatorial proof of the expansion: Blaschke products
A �nite Blaschke product is a function of the type:
B(z) : C→ C, z 7→∏ z − ai
1− aiz
where the ai are a �nite family of complex numbers.
LemmaA Blaschke product B : C→ C all of whose zeros lie in the unit
disc and vanishing at the origin to order k expands the Euclidean
metric on the cirlce by at least k .
Claim: ψn : C→ C is an Blaschke product preserving the unit disc
D, expanding the circle T = ∂D by a factor of 2n+1.
![Page 106: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/106.jpg)
Combinatorial proof of the expansion: Blaschke products
A �nite Blaschke product is a function of the type:
B(z) : C→ C, z 7→∏ z − ai
1− aiz
where the ai are a �nite family of complex numbers.
LemmaA Blaschke product B : C→ C all of whose zeros lie in the unit
disc and vanishing at the origin to order k expands the Euclidean
metric on the cirlce by at least k .
Claim: ψn : C→ C is an Blaschke product preserving the unit disc
D, expanding the circle T = ∂D by a factor of 2n+1.
![Page 107: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/107.jpg)
Conditional partition functions and their symmetriesOther advantage of (z , t) coordinates : physical meaning of R andthe Lee-Yang theorem!
Un(z , t) =∑
σ(a)=σ(b)=+1
W (σ) =∑
σ(a)=σ(b)=+1
t−I (σ)/2z−M(σ)
= a+d (t)zd + · · ·+ a+
−d(t)z−d ,
Wn(z , t) =∑
σ(a)=σ(b)=−1
W (σ) =∑
σ(a)=σ(b)=−1
t−I (σ)/2z−M(σ)
= a−d (t)zd + · · ·+ a−−d(t)z−d .
Remarks:
1. Fundamental symmetry of the Ising model under z 7→ 1/z becomes:
a+i (t) = a−−i (t) for each i = −d . . . d
2. Since Γn has valence 2n at marked vertices a and b we have
a−i (t) = 0 for i < −4n + 2n+1
Reason for 2: With −1 spins at the marked vertices a, b, we can't get more
than 4n − 2n+1 edges with ++, so M(σ) ≤ 4n − 2n+1 .
![Page 108: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/108.jpg)
Conditional partition functions and their symmetriesOther advantage of (z , t) coordinates : physical meaning of R andthe Lee-Yang theorem!
Un(z , t) =∑
σ(a)=σ(b)=+1
W (σ) =∑
σ(a)=σ(b)=+1
t−I (σ)/2z−M(σ)
= a+d (t)zd + · · ·+ a+
−d(t)z−d ,
Wn(z , t) =∑
σ(a)=σ(b)=−1
W (σ) =∑
σ(a)=σ(b)=−1
t−I (σ)/2z−M(σ)
= a−d (t)zd + · · ·+ a−−d(t)z−d .
Remarks:
1. Fundamental symmetry of the Ising model under z 7→ 1/z becomes:
a+i (t) = a−−i (t) for each i = −d . . . d
2. Since Γn has valence 2n at marked vertices a and b we have
a−i (t) = 0 for i < −4n + 2n+1
Reason for 2: With −1 spins at the marked vertices a, b, we can't get more
than 4n − 2n+1 edges with ++, so M(σ) ≤ 4n − 2n+1 .
![Page 109: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/109.jpg)
Conditional partition functions and their symmetriesOther advantage of (z , t) coordinates : physical meaning of R andthe Lee-Yang theorem!
Un(z , t) =∑
σ(a)=σ(b)=+1
W (σ) =∑
σ(a)=σ(b)=+1
t−I (σ)/2z−M(σ)
= a+d (t)zd + · · ·+ a+
−d(t)z−d ,
Wn(z , t) =∑
σ(a)=σ(b)=−1
W (σ) =∑
σ(a)=σ(b)=−1
t−I (σ)/2z−M(σ)
= a−d (t)zd + · · ·+ a−−d(t)z−d .
Remarks:
1. Fundamental symmetry of the Ising model under z 7→ 1/z becomes:
a+i (t) = a−−i (t) for each i = −d . . . d
2. Since Γn has valence 2n at marked vertices a and b we have
a−i (t) = 0 for i < −4n + 2n+1
Reason for 2: With −1 spins at the marked vertices a, b, we can't get more
than 4n − 2n+1 edges with ++, so M(σ) ≤ 4n − 2n+1 .
![Page 110: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/110.jpg)
Conditional partition functions and their symmetriesOther advantage of (z , t) coordinates : physical meaning of R andthe Lee-Yang theorem!
Un(z , t) =∑
σ(a)=σ(b)=+1
W (σ) =∑
σ(a)=σ(b)=+1
t−I (σ)/2z−M(σ)
= a+d (t)zd + · · ·+ a+
−d(t)z−d ,
Wn(z , t) =∑
σ(a)=σ(b)=−1
W (σ) =∑
σ(a)=σ(b)=−1
t−I (σ)/2z−M(σ)
= a−d (t)zd + · · ·+ a−−d(t)z−d .
Remarks:
1. Fundamental symmetry of the Ising model under z 7→ 1/z becomes:
a+i (t) = a−−i (t) for each i = −d . . . d
2. Since Γn has valence 2n at marked vertices a and b we have
a−i (t) = 0 for i < −4n + 2n+1
Reason for 2: With −1 spins at the marked vertices a, b, we can't get more
than 4n − 2n+1 edges with ++, so M(σ) ≤ 4n − 2n+1 .
![Page 111: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/111.jpg)
Conditional partition functions and their symmetriesOther advantage of (z , t) coordinates : physical meaning of R andthe Lee-Yang theorem!
Un(z , t) =∑
σ(a)=σ(b)=+1
W (σ) =∑
σ(a)=σ(b)=+1
t−I (σ)/2z−M(σ)
= a+d (t)zd + · · ·+ a+
−d(t)z−d ,
Wn(z , t) =∑
σ(a)=σ(b)=−1
W (σ) =∑
σ(a)=σ(b)=−1
t−I (σ)/2z−M(σ)
= a−d (t)zd + · · ·+ a−−d(t)z−d .
Remarks:
1. Fundamental symmetry of the Ising model under z 7→ 1/z becomes:
a+i (t) = a−−i (t) for each i = −d . . . d
2. Since Γn has valence 2n at marked vertices a and b we have
a−i (t) = 0 for i < −4n + 2n+1
Reason for 2: With −1 spins at the marked vertices a, b, we can't get more
than 4n − 2n+1 edges with ++, so M(σ) ≤ 4n − 2n+1 .
![Page 112: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/112.jpg)
Combinatorial proof of expansion, part IV
Factor Un(z) ≡ Un(z , t0) and Wn(z) ≡Wn(z , t0) as
Wn(z) = z−4n+2n+1
∏(z − bi )
Un(z) = z−4n∏
(1− biz) = z−4n∏
(1− biz)
We �nd that
ψn(z) =Wn(z)
Un(z)= z2
n+1∏ z − bi
1− biz
is a Blaschke product with 2n+1 zeros at z = 0.
Are the other zeros bi within the unit disc D?If yes, then ψn(z) is a Blaschke product that expands the circle Tby at least 2n+1
![Page 113: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/113.jpg)
Combinatorial proof of expansion, part IV
Factor Un(z) ≡ Un(z , t0) and Wn(z) ≡Wn(z , t0) as
Wn(z) = z−4n+2n+1
∏(z − bi )
Un(z) = z−4n∏
(1− biz) = z−4n∏
(1− biz)
We �nd that
ψn(z) =Wn(z)
Un(z)= z2
n+1∏ z − bi
1− biz
is a Blaschke product with 2n+1 zeros at z = 0.
Are the other zeros bi within the unit disc D?If yes, then ψn(z) is a Blaschke product that expands the circle Tby at least 2n+1
![Page 114: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/114.jpg)
Combinatorial proof of expansion, part IV
Factor Un(z) ≡ Un(z , t0) and Wn(z) ≡Wn(z , t0) as
Wn(z) = z−4n+2n+1
∏(z − bi )
Un(z) = z−4n∏
(1− biz) = z−4n∏
(1− biz)
We �nd that
ψn(z) =Wn(z)
Un(z)= z2
n+1∏ z − bi
1− biz
is a Blaschke product with 2n+1 zeros at z = 0.
Are the other zeros bi within the unit disc D?If yes, then ψn(z) is a Blaschke product that expands the circle Tby at least 2n+1
![Page 115: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/115.jpg)
Combinatorial proof of expansion, part IV
Factor Un(z) ≡ Un(z , t0) and Wn(z) ≡Wn(z , t0) as
Wn(z) = z−4n+2n+1
∏(z − bi )
Un(z) = z−4n∏
(1− biz) = z−4n∏
(1− biz)
We �nd that
ψn(z) =Wn(z)
Un(z)= z2
n+1∏ z − bi
1− biz
is a Blaschke product with 2n+1 zeros at z = 0.
Are the other zeros bi within the unit disc D?
If yes, then ψn(z) is a Blaschke product that expands the circle Tby at least 2n+1
![Page 116: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/116.jpg)
Combinatorial proof of expansion, part IV
Factor Un(z) ≡ Un(z , t0) and Wn(z) ≡Wn(z , t0) as
Wn(z) = z−4n+2n+1
∏(z − bi )
Un(z) = z−4n∏
(1− biz) = z−4n∏
(1− biz)
We �nd that
ψn(z) =Wn(z)
Un(z)= z2
n+1∏ z − bi
1− biz
is a Blaschke product with 2n+1 zeros at z = 0.
Are the other zeros bi within the unit disc D?If yes, then ψn(z) is a Blaschke product that expands the circle Tby at least 2n+1
![Page 117: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/117.jpg)
Lee-Yang Theorem with Boundary conditions
S is the vertices in red.
−1
−1
−1
−1−1
−1
−1
−1
Theorem (Bleher, Lyubich, Roeder)
Consider a ferromagnetic Ising model on a connected graph Γ and
let σS ≡ −1 on a nonempty subset S of the vertex set V .
Then, for any temperature t ∈ (0, 1) the Lee-Yang zeros z−i (t) of
the conditional partition function ZΓ|σS lie inside the open disc D.
![Page 118: Pavel Bleher , Mikhail Lyubich z, and Roland Roeder yroederr/Remy_Slides.pdfLee-Yang zeros for the Diamond Hierarchical Lattice. Pavel Bleher y, Mikhail Lyubich z, and Roland Roeder](https://reader036.fdocuments.us/reader036/viewer/2022071219/6057186977e1a020b301b6df/html5/thumbnails/118.jpg)
Lee-Yang Theorem with Boundary conditions
S is the vertices in red.
−1
−1
−1
−1−1
−1
−1
−1
Theorem (Bleher, Lyubich, Roeder)
Consider a ferromagnetic Ising model on a connected graph Γ and
let σS ≡ −1 on a nonempty subset S of the vertex set V .
Then, for any temperature t ∈ (0, 1) the Lee-Yang zeros z−i (t) of
the conditional partition function ZΓ|σS lie inside the open disc D.