pierre van moerbeke · universality in tiling models : a master kernel pierre van moerbeke...
TRANSCRIPT
![Page 1: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/1.jpg)
Universality in tiling models : a Master kernel
Pierre van Moerbeke∗
UCLouvain, Belgium & Brandeis University, MA
CIRM, Luminy, April 2019
Tamara Grava, Jean-Morlet Chair
∗ supported by the SIMONS FOUNDATION, NY
![Page 2: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/2.jpg)
Joint work with Mark Adler and Kurt Johansson:
Mark Adler, Kurt Johansson and P. van Moerbeke, Tilings of non-convex
Polygons, skew-Young Tableaux and determinantal Processes, Comm
Math Phys, 364, 287-342 (2018) (arXiv: 1609.06995).
Mark Adler, Kurt Johansson and P. van Moerbeke, Lozenge tilings of
hexagons with cuts and asymptotic fluctuations: a new universality class,
Math Phys Anal Geom 21 1-53. (2018)(arXiv:1706.01055).
Mark Adler and P. van Moerbeke, Probability distributions related to
tilings of non-convex Polygons, Journal of Math. Phys 59, 091418 (2018)
(Special volume in memory of Ludvig Faddeev)
Mark Adler, Kurt Johansson & P. van Moerbeke: The discrete tacnode
process, a universal and a master kernel. (2019)
![Page 3: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/3.jpg)
1. Domino tilings of rectangular Aztec diamonds
2. Lozenge tilings of non-convex polygons !
![Page 4: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/4.jpg)
1. Domino tilings of Aztec diamonds
Usual Aztec diamond!
![Page 5: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/5.jpg)
• Domino tilings by 4 kind of domino’s, with a height function
h h h
h+ 1 h+ 1 h+ 1
h h
h + 1 h
h + 1 h + 1
h h h
h h h
h h
h h + 1
h + 1 h + 1
Blue Green Red Yellow
• Lozenge tilings of hexagonal regions
bluered green
![Page 6: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/6.jpg)
a = 1 a = 1/2
Arctic circle (n=100) Arctic ellipse (n=100)
• Airy Process (stationary process version of the Tracy-Widom distrib.)
• GUE-minor process (interlacing spectra of the minors of GUE-matrix)
• Gaussian Free Field (courtesy Sunil Chhita)
![Page 7: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/7.jpg)
Rectangular Aztec diamond: Covering with domino’s
m1 = n + κ
m2
n
n = 8, m1 = 10, m2 = 3, κ = 2.
Imagine n, m1, m2 very large, keeping κ finite!
![Page 8: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/8.jpg)
Courtesy Sunil Chhita
n = 100, κ = 0, ρ = r = 4
![Page 9: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/9.jpg)
m1 = n + κ
m2
n
Proposition: an Aztec rectangle is tilable iff
m1 ≥ 0, m2 ≤ n+ 1
Throughout assume κ ≥ 0 !
![Page 10: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/10.jpg)
• Weights:
− vertical domino’s have weight a
− horizontal domino’s have weight 1
• Probability on tilings:
P(domino tiling T ) =a#vertical domino’s in T∑
all possible tilings T
a#vertical domino’s in T
• GOAL: study the following random point process with kernel Kred:
![Page 11: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/11.jpg)
• Random surface and its level lines, corresponding to levels1/2, 3/2, . . . , n+ 1/2, etc....• The point process of the intersections of the oblique lineswith the (red) level lines,
........................................................................................................................................................................................................................................................................................................................................................................
r=#dots=n− (m 2
− 1)
........................................................................................................................................................................................................................................................................................................................................................................
..............................................................................................................................................................................................................................................................................................................................................................
r=#dots=n− (m 2
− 1)
00
1 1
2 2
3 3
n− 1
nn
n n
n
n + 1
n + 2
n + 3
n +m1
1 1
2 2
3 3
n n
n+ 1
m1 m1
ρ
h h h
h+ 1 h+ 1 h+ 1
h h
h + 1 h
h + 1 h + 1
h h h
h h h
h h
h h + 1
h + 1 h + 1
![Page 12: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/12.jpg)
Random surface and its level lines: two important num-bers ρ and r.
........................................................................................................................................................................................................................................................................................................................................................................
r=#dots=n− (m 2
− 1)
........................................................................................................................................................................................................................................................................................................................................................................
..............................................................................................................................................................................................................................................................................................................................................................
r=#dots=n− (m 2
− 1)
00
1 1
2 2
3 3
n− 1
nn
n n
n
n + 1
n + 2
n + 3
n +m1
1 1
2 2
3 3
n n
n+ 1
m1 m1
ρ
ρ = #
{oblique lines with
minimal # of red dots
}−1
= m1 −m2 + 1
= width of strip = 8
In this example n = 8, m1 = 10, m2 = 3
Imagine n, m1, m2 very large,
keeping ρ and r finite!
![Page 13: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/13.jpg)
Random surface and its level lines: two important num-bers ρ and r.
........................................................................................................................................................................................................................................................................................................................................................................
r=#dots=n− (m 2
− 1)
........................................................................................................................................................................................................................................................................................................................................................................
..............................................................................................................................................................................................................................................................................................................................................................
r=#dots=n− (m 2
− 1)
00
1 1
2 2
3 3
n− 1
nn
n n
n
n + 1
n + 2
n + 3
n +m1
1 1
2 2
3 3
n n
n+ 1
m1 m1
ρ
ρ = #
{oblique lines with
minimal # of red dots
}−1
= m1 −m2 + 1
= width of strip = 8
r = #
{red dots along theρ+ 1 oblique lines
}
= n−m2 + 1 = ρ− κ = 6,
m1 = n− r + ρ, m2 = n− r + 1
In this example n = 8, m1 = 10, m2 = 3
Imagine n, m1, m2 very large,
keeping ρ and r finite!
![Page 14: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/14.jpg)
Courtesy Sunil Chhita
n = 100, κ = 0, ρ = r = 4
![Page 15: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/15.jpg)
Dual paths to the level lines (green paths):
Remember the red paths coming from the following tiles:
h h h
h+ 1 h+ 1 h+ 1
h h
h + 1 h
h + 1 h + 1
h h h
h h h
h h
h h + 1
h + 1 h + 1
Construct the dual paths (green) to the red paths :
![Page 16: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/16.jpg)
(Green) Dual paths to the (red) paths:
m1 = n− ∆
m2
n
![Page 17: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/17.jpg)
STEP 1: Point process defined by the intersection of
the dual paths (green) with oblique lines:
(1) the green paths connect m2 contiguous points
(2) #{ dots per oblique line} = m2
![Page 18: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/18.jpg)
Kernel Kgreen for the Green paths , where si, yi ∈ Z.
![Page 19: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/19.jpg)
Coordinates (ξ, η) and (s, y):
ξ
η
s
y3 5 7
0
-1
-2
-3
-4
2
4
n
2n
3
5
7
2n+1
(ξ, η)→ (s, y) =(η + 1, 1
2(η − ξ + 1))
![Page 20: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/20.jpg)
Kgreen(s1, y1; s2, y2)
= −1s1<s2ps1;s2(y1, y2) + K̃green(s1, y1; s2, y2)
where (with radii a < ρ1 < σ1 < σ2 < ρ2 < a−1)
K̃green(s1, y1; s2, y2)
=∫
γρ1
zy1dz
2πiz
∫
γρ2
w−y2dw
2πiwψs1,2n+1(z)ψ0,s2
(w)
×Dm2−1
[ψ0,2n+1(ζ)
(1− ζ
w
) (1− z
ζ
)]
Dm2
[ψ0,2n+1(ζ)
] .
where
Dn(f) = det(f̂i−j
)1≤i,j≤n , with f̂k =
∮
S1
dz
2πiz
f(z)
zk
Toeplitz determinant with singularity!
![Page 21: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/21.jpg)
Transition functions:
ϕs1,s2(ζ) =(1 + aζ)[
s22 ]−[
s12 ]
(1− aζ)s2−[
s22 ]−s1+[
s12 ]
ψs1,s2(ζ) =
ϕs1,s2(ζ) for s2 < 2n+ 1
zκ ϕs1,s2(ζ) for s2 = 2n+ 1
ps1,s2(x, y) =∫
γρ1ζx−yϕs1,s2(ζ)
dζ
2πiζ
![Page 22: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/22.jpg)
Key Lemma: The Toeplitz determinant for a singular sym-
bol:
Dn[ζ±κf(ζ)] = (−1)κn∮
(ΓR)κ
κ∏
1
λnj dλj
2πiλjDn
P
λ(ζ±1)∏κ
1 λif(ζ)
,
where Pλ(z) :=∏κi=1(λi − z).
Lemma (Case-Geronimo-Borodin-Okounkov)
Dm2−1
ψ0,2n+1(ζ)
(1−
ζ
w
)1−
z
ζ
= f(w, z)
∮
(ΓR)κ
κ∏
1
λm2−1j dλj
2πi
1
Pλ(z)det(1−K(λ)
k,` (w−1, z))≥m2−1
![Page 23: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/23.jpg)
STEP 2 : From kernel Kgreen to Kblue
⇒
Dual process:
Kblue(n, u1;n, u2) = 1{u1=u2} − Kgreen(n, u1;n, u2).
![Page 24: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/24.jpg)
For any s1 and s2:
Kblue(s1, u1; s2, u2)
=− 1s2<s1ps1,s2(u1, u2)
+ ps1,n(u1, •) ∗• Kblue(n, •;n, ◦) ∗◦ pn,s2(◦, u2)
(1)
Notice: f(x) ∗x g(x) =∑x∈Z f(x)g(x).
![Page 25: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/25.jpg)
STEP 3: From Kblue to the actual point process Kred:
7→
![Page 26: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/26.jpg)
Going fromh h h
h+ 1 h+ 1 h+ 1
h h
h + 1 h
h + 1 h + 1
h h h
h h h
h h
h h + 1
h + 1 h + 1
⇓
toh h h
h+ 1 h+ 1 h+ 1
h h
h + 1 h
h + 1 h + 1
h h h
h h h
h h
h h + 1
h + 1 h + 1
![Page 27: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/27.jpg)
Theorem: B2
B1
Kred(B1, B2) = Kred
=Kblue
− aKblue
= Kblue(B2,W1) −a Kblue(B2,W′1)
B2
B1
W ′1
B2
B1 W1
![Page 28: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/28.jpg)
Proof: the dimer model of the tilings is the dual graph of the
Aztec rectangle. It is obtained by
• putting a black circle (b1, b2) ∈ (2Z,2Z+ 1) in the middle of
a black square
• putting a white circle (w1, w2) ∈ (2Z + 1,2Z) in the middle
of a white square
Kasteleyn matrix KKast = the adjacency matrix for this dual
graph.
One shows:
K−1Kast
((w1, w2), (b1, b2)
)= −(−1)(w1−w2+b1−b2+2)/4
× Kblue(b2 + 1,
1
2(b2 − b1 + 1), w2 + 1,
1
2(w2 − w1 + 1)
)
Then deduce Kred from KKast and K−1Kast
![Page 29: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/29.jpg)
ξ
η
s
y3 5 7
0
-1
-2
-3
-4
2
4
n
2n
3
5
7
2n+1
m2 − 1 ≤ n ≤ m1 = n+ κ
Asymptotics about
ξ ' 2n and η ' nwith m1 = n+ ρ− r, m2 = n+ 1− r
STEP 4. SCALING: For n→∞, xi ∈ Z and yi ∈ R,
a = 1 +β√n, ξi := 2n−2xi, ηi := n+ yi
√2n−1,
∆η
2= dy
√n
2
Putting the scaling in the kernel (before letting n = 1t2→∞)
Kred(ξ1, η1; ξ2, η2)∆η
2
= (−1)r−sax−ytx2−x1Lred(x1, y1;x2, y2)√
2dy1+a2
2
where
Lred = −L0 + L1 + L2
![Page 30: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/30.jpg)
Lred = −L0 + L1 + L2
with (a < ρ1 < σ1 < σ2 < R < ρ2 <1a)
−L0(x1, y1;x2, y2) = (−√
2)x1−x2−1H(x1−x2)(y2 − y1) +O(t))
L1(x1, y1;x2, y2) =L (−S(λ))
L (1)
L2(x1, y1;x2, y2) =L(R(λ) +
⟨(1−K(λ)(0,0))−1
≥0Aλx1,y1
, Bλx2,y2
⟩)
L (1)
L(f) :=∮
(ΓR)κdµ(λ) det(I −K(λ)(0,0))≥0f(λ)
where
dµ(λ) :=1
ψ
κ∏
j=1
(1− tλj)n+1dλj
2πiλjr+1 , with
∮
(ΓR)κdµ(λ) = 1 (2)
![Page 31: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/31.jpg)
For a kernel A independent of w, z, we have:
• det(I −A+ (w − z)a(w)⊗ b(z))
= (w − z) det(I −A+ a(w)⊗ b(z)) + (1−w+z) det(I −A)
•∮
γr2
dwF (w)
2πi
∮
γr1
dzG(z)
2πidet
(I −A+ a(w)⊗ b(z)
)
= det
I −A+
∮
γr2a(w)
dwF (w)
2πi
⊗
∮
γr1b(z)
G(z)dz
2πi
+[(∮
γr2F (w)
dw
2πi
) (∮
γr1G(z)
dz
2πi
)− 1
]det(I −A)
• For Q(z) =∏n
1(z−vi) =∑ni=1(−1)izn−iεi(v1, . . . , vn), we have
n∏
1εi(vJσ)γi =
∑
0≤λ1≤∑n
1 γi0<λ>1≤σ, |λ|≤
∑n1 iγi
Cλ(γ0)Sλ(v1, . . . , vn), Schur pol.
![Page 32: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/32.jpg)
Step 5. Limiting kernel = “Discrete Tacnode Kernel”LdTac
For xi ∈ Z and yi ∈ R:
limt→0
Lred(x1, y1;x2, y2) = LdTac(x1, y1;x2, y2)
![Page 33: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/33.jpg)
For xi, τi ∈ Z and yi ∈ R:
LdTac(x1, y1;x2, y2)∣∣∣∣xi=τi−κ
:=− Hτ1−τ2(√
2(y1 − y2))
+∮
Γ0
dV
(2πi)2
∮
↑L0+
dZ
Z − VV ρ−τ1
Zρ−τ2
e−V 22 +(β+y1
√2)V
e−Z22 +(β+y2
√2)Z
Θr(V, Z)
Θr(0,0)
+∮
Γ0
dV
(2πi)2
∮
↑L0+
dZ
Z − VV τ2
Zτ1
e−V 22 +(β−y2
√2)V
e−Z22 +(β−y1
√2)Z
Θr(V, Z)
Θr(0,0)
+∮
↑L0+
dV
(2πi)2
∮
↑L0+dZ
V −τ1
Zρ−τ2
e−V 22 −(β−y1
√2)V
e−Z22 +(β+y2
√2)Z
Θ+r−1(V, Z)
Θr(0,0)
−∮
Γ0
dV
(2πi)2
∮
Γ0dZV ρ−τ1
Z−τ2
e−V 22 +(β+y1
√2)V
eZ22 −(β−y2
√2)Z
Θ−r+1(V, Z)
Θr(0,0)
![Page 34: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/34.jpg)
where
Hm(z) :=zm−1
(m− 1)!1z≥01m≥1, (Heaviside function)
Θr(V, Z) := 1r!
r∏
1
∮
↑L0+
eW2α−2βWαdWα
2πiW ρα
(Z−Wα
V−Wα
)∆2
r (W1, . . . ,Wr)
Θ±r∓1(V, Z) := 1(r∓1)!
×
r∓1∏
1
∮
↑L0+
eW2α−2βWαdWα
2πiW ρα
((Z−Wα) (V −Wα))±1
× ∆2r∓1(W1, . . . ,Wr∓1).
![Page 35: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/35.jpg)
2. Lozenge tilings of non-convex polygons !
![Page 36: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/36.jpg)
Lozenge tilings of non-convex polygons ! What are the
statistical fluctuations of the blue tiles between the two cuts?
Lozenge tilings of an hexagon
1
...........................
...........................
(Courtesy of Antoine Doeraene)
bluered green
![Page 37: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/37.jpg)
Let the size of the polygon and the cuts tend to infinity, while
keeping the strip between the two cuts finite.
Then the double scaling limit of the correlation kernel is also
LdTac(x1, y1;x2, y2)
![Page 38: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/38.jpg)
n1 = 50 d = 20 n2 = 30
m1 = 20 d = 20 m2 = 60
b = 30
c = 60
width of strip = ρ := n1 −m1 + b− d = 40
#{paths connecting the 2 arctic ellipses } = r := b− d = 10
![Page 39: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/39.jpg)
Other example
m1 = 100 m2 = 100d = 20
n1 = 105 n2 = 95d = 20
c = 30
b = 25
r = b− d = 5, ρ = n1 −m1 + b− d = 10, κ = 32
Courtesy of Antoine Doeraene
![Page 40: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/40.jpg)
τ=0
τ=ρ
τ=τ1
τ=τ2
ρ
τ > ρ
![Page 41: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/41.jpg)
• n = #{blue tiles along the oblique line τ}= (τ − ρ)>0 + r
• x(τ) ∈ Rn
Theorem (distribution and joint distribution of the blue tiles)
P(x(τ) ∈ dx
)= D(τ,x; τ,x)dx, for τ ≥ 0
P(x(τ1) ∈ dx and y(τ2) ∈ dy
)
= D(τ1,x; τ2,y)Vol(C(τ1,x; τ2,y))dxdy
for 0 ≤ τ1 < τ2 ≤ ρ or ρ < τ1 < τ2
Vol(C(τ1,x; τ2,y)) = Volume of polytope (Gibbs property!)
![Page 42: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/42.jpg)
Theorem (distribution and joint distribution of the blue tiles)
P(x(τ) ∈ dx
)= D(τ,x; τ,x)dx, for τ ≥ 0
P(x(τ1) ∈ dx and y(τ2) ∈ dy
)
= D(τ1,x; τ2,y)Vol(C(τ1,x; τ2,y))dxdy
for 0 ≤ τ1 < τ2 ≤ ρ or ρ < τ1 < τ2
where
• D(τ1,x(τ1); τ2,y
(τ2)) :=
C∆̃n1,τ1(x + β2)∆n2(y)
n2∏
i=1
e−y2i
√π
for ρ < τ1 < τ2
C′∆̃n1,τ1(x + β2)∆̃n2,ρ−τ2(−y)
for 0 ≤ τ1 ≤ τ2 ≤ ρ
• ∆n(y) = Vandermonde of size n = #(blue dots ∈ level τ)
![Page 43: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/43.jpg)
• For n := (τ − ρ)>0 + r, define:
∆̃n,τ(x) =
det
1 . . . 1x1 . . . xn... ...
xτ−ρ−11 . . . x
τ−ρ−1n
Φτ−1(x1) . . . Φτ−1(xn)...
Φτ−r(x1) . . . Φτ−r(xn)
, for ρ < τ
det
Φτ−1(x1) . . . Φτ−1(xn)...
Φτ−r(x1) . . . Φτ−r(xn)
, for 0 ≤ τ ≤ ρ
![Page 44: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/44.jpg)
with
Φk(η) :=1
2πi
∫
L
ev2+2ηv
vk+1dv
=e−η
2
2−k√π×
∫ ∞0
ξk
k!e−ξ
2+2ξηdξ , k ≥ 0
H−k−1(−η) , k ≤ −1
![Page 45: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/45.jpg)
LdTac(x1, y1;x2, y2) is a master kernel
discrete-tacnode kernel LdTac
Dyson BM tacnode kernel
Pearcey
Airy
Cusp-Airy kernel
GUE-minor
![Page 46: Pierre van Moerbeke · Universality in tiling models : a Master kernel Pierre van Moerbeke UCLouvain, Belgium & Brandeis University, MA CIRM, Luminy, April 2019 Tamara Grava, Jean-Morlet](https://reader033.vdocument.in/reader033/viewer/2022041503/5e22fb4ed338ec510f7986a8/html5/thumbnails/46.jpg)
THANK YOU !