Domino tilings, non-intersecting Random Motions and the tacnode Process

advertisement
Domino tilings, non-intersecting
Random Motions
and the tacnode Process
Pierre van Moerbeke
Université de Louvain, Belgium & Brandeis University, Massachusetts
Mathematics Institute, University of Warwick (March 2012)
JOINT WORK with
MARK ADLER & KURT JOHANSSON
Three models, leading to Tacnode process: (Universality!)
(1) continuous time and discrete space process: (random walks)
Mark Adler, Patrik Ferrari & PvM : Non-intersecting random walks in the
neighborhood of a symmetric tacnode, Annals of Prob 2011 (arXiv:1007.1163)
(2) continuous time and continuous space process
K. Johansson: Non-colliding Brownian Motions and the extended tacnode
process (arXiv:1105.4027 )
Delvaux-Kuijlaars-Zhang: Critical behavior of non-intersecting Brownian
motions at a Tacnode (arXiv:1009.2457 )
(3) discrete time and discrete space process (Domino
tilings of Double Aztec Diamonds):
Mark Adler, Kurt Johansson & PvM: Double Aztec Diamonds and the
Tacnode Process (arXiv:1112.5532)(to appear 2012)
1. Domino tilings of Double Aztec Diamonds
Domino tilings of an Aztec diamond :
//////
//////
////// //////
////// //////
////// ////// //////
////// ////// //////
////// ////// ////// //////
////// ////// ////// //////
////// ////// ////// ////// //////
////// ////// ////// ////// //////
////// ////// ////// ////// ////// //////
////// ////// ////// ////// ////// //////
////// ////// ////// ////// ////// ////// //////
////// ////// ////// ////// ////// ////// //////
////// ////// ////// ////// ////// ////// //////
////// ////// ////// ////// ////// ////// //////
////// ////// ////// ////// ////// //////
////// ////// ////// ////// ////// //////
////// ////// ////// ////// //////
////// ////// ////// ////// //////
////// ////// ////// //////
////// ////// ////// //////
////// ////// //////
////// ////// //////
////// //////
////// //////
//////
//////
4 types of coverings by domino’s!
Kasteleyn 1961, Elkies, Kuperberg, Larsen, Propp ’92
Cohn, Elkies, Propp ’96, Johansson ’00, ’03, ’05
M. Fulmek, C. Krattenthaler ’00, Johansson-Nordenstam ’06
Double Aztec diamond (Adler-Johansson-PvM ’11)
Diamond A
•
Y =n+m
o1 //////
o1
////// //////
////// ////// //////
////// ////// ////// //////
////// ////// ////// ////// //////
////// ////// ////// ////// ////// //////
on
on //////
////// ////// //
//// m +////12//) ////// //////
(−m,
•
i2m+1 • //////
////// ////// ////// ////// ////// ////// i2m+1
i4 • //////
////// ////// ////// ////// ////// ////// i4
i3 • //////
////// //////(0, 0)•////// ////// ////// ////// i3
i2 • //////
////// ////// ////// ////// //////
////// i2
2m + 1
i1 • //////
////// ////// ////// ////// ////// ////// i1
inliers
• −m − 1 )
on+1
on+1 //////
////// ////// ////// (m, /
///// 2 ////// //////
////// ////// ////// ////// ////// //////
////// ////// ////// ////// //////
////// ////// ////// //////
////// ////// //////
////// //////
o2n
o2n //////
Diamond B
n
Figure 1: Double Aztec diamond of type (n, m) = (7, 2) with #{inliers} =
M = 2m + 1 = 5.
Random cover with domino’s: two groups of non-intersecting paths
0
0
0
height and level lines for n=7
////// 1 1 1
//////2 2 ////// 1 2 2
2
2
//////3 3//////2 2 //////2
3
3
3
3
//////4 4 //////3 3 //////3 3 //////3
4
4
4
4
.
//////5 5 //////4 4//////4 4 //////4 4 //////4
5
5
5
5 ..
//////6 6 //////5 5 //////5 5 //////4 5 //////5 5 //////5
6
6
n-1
n-1
//////6 6 //////6 6 //////6 6//////5 5 //////5 5 //////5 6 //////6
n
n
//////6 6 //////6 6 //////6 6 //////6 6 //////6 6 //////6 7 ////// n n
n
n
//////6 6 //////6 6//////6 7 //////7 7 //////7 7 //////7 8 ////// n n
n
n
//////6 6 //////6 7 //////7 7 //////7 7 //////7 8 //////8 8 ////// n n
n
n
//////7 7//////7 7 //////7 8 //////8 8 //////8 8 //////8 8 ////// n n
n
n
//////7 7 //////7 8 //////8 9 //////8 8 //////8 9 //////8 8////// n
8
n
//////8 8 //////8 8 //////8 9 //////9 9 //////9 9 //////9 9 //////8
n+1
n+1
//////9 9 //////9 9 //////9 10//////9 10/////
/
/
/
/
/
/
/
10 10
9
n+2
n+2
//////
/////
/ 10 ////10
// 10 /////
/ 10/////
/ 10 /////
/
10
10
10
10
n+3
n+3
/////
/
/
/
/
/
/
/
/
/
/
/
/
/
/
/
/
/
/
/
11 11 11
11 11 11 11
n+4
n+4
//////
/////12
/ 12 /////
/
/
/
/
/
/
/
12 12 12
n+5
n+5
/////
/ 13/////
/
13
13
...
. . . //////
//////
1
1
2n
2n
2n
h
h
h
h
h
////// = North
h
h
h
h
//////
h+1 h+1
h
= South
h+1
h+1
h
h
////// h
h
h+1
= East
h+1
h
h+1
////// = West
h+1
h+1
h
h
h
h
h
////// = North
h
h
h
h
//////
h+1 h+1
h
= South
h+1
h+1
h
h
////// h
h
h+1
= East
h+1
h
h+1
////// = West
h+1
h+1
Figure 4. Height function on domino’s and level-lines.
Domino-tiling ⇔ Random Surface
(piecewise-linear)
The level curves for this Random Surface give
non-intersecting paths
Implies Fixed boundary condition!
0
0
0
height and level lines for n=7
////// 1 1 1
//////2 2 ////// 1 2 2
2
2
//////3 3//////2 2 //////2
3
3
3
3
//////4 4 //////3 3 //////3 3 //////3
4
4
4
4
.
//////5 5 //////4 4//////4 4 //////4 4 //////4
5
5
5
5 ..
•/
/////6 6 //////5 5 //////5 5 //////4 5 //////5 5 //////5
6
6
n-1
n-1
//////6 6 //////6 6 //////6 6//////5 5 //////5 5 //////5 6 //////6
n
n
//////6 6 //////6 6 //////6 6 //////6 6 //////6 6 //////6 7 ////// n n
n
n
//////6 6 //////6 6//////6 7 //////7 7 //////7 7 //////7 8 ////// n n
n
n
//////6 6 //////6 7 //////7 7 //////7 7 //////7 8 //////8 8 ////// n n
n
n
//////7 7//////7 7 //////7 8 //////8 8 //////8 8 //////8 8 ////// n n
n
n
//////7 7 //////7 8 //////8 9 //////8 8 //////8 9 //////8 8////// n
8
n
//////8 8 //////8 8 //////8 9 //////9 9 //////9 9 //////9 9 //////8 n+1
n+1
//////9 9 //////9 9 //////9 10//////9 10/////
/ 10 //////9
10
n+2
n+2
//////
/////
/ 10 ////10
// 10 /////
/ 10/////
/ 10 /////
/
10
10
10
10
n+3
n+3
/////
/ 11 ////11
// 11/////
/ 11/////
/
11
11
11
Y2s−1
n+4
n+4
//////
/////12
/ 12 /////
/ 12/////
/
12
12
n+5
n+5
/////
/
/
/
/
/
/
/
13 13 13
...
.
. . //////
//////
Y2r
2n
2n
2n
1
1
A weight on domino’s and a probability on domino tilings:
• put the weight 0 < a < 1 on vertical dominoes
• put the weight 1 on horizontal dominoes,
Define:
P(domino tiling T ) =
a#vertical domino’s in T
X
a#vertical domino’s in T
all possible tilings T
(1)
Question:
For an axis Y2r going through black squares only, and an interval [k, `] ⊂ Z,
P(height function is flat along the interval [k, `]) =?
⇐⇒
P(no dots along the points of interval [k, `]) =?
⇐⇒
P(domino’s are pointing to the left of Y2r along the points of interval [k, `]) =
0
0
0
height and level lines for n=7
////// 1 1 1
//////2 2 ////// 1 2 2
2
2
//////3 3//////2 2 //////2
3
3
3
3
//////4 4 //////3 3 //////3 3 //////3
4
4
4
4
.
//////5 5 //////4 4//////4 4 //////4 4 //////4
5
5
5 5 ..
•/
/////6 6 //////5 5 //////5 5 //////4 5 //////5 5 //////5 6
n-1 6
n-1
//////6 6 //////6 6 //////6 6//////5 5 //////5 5 //////5 6 //////6
n
n
//////6 6 //////6 6 //////6 6 //////6 6 //////6 6 //////6 7 ////// n n
n
n
//////6 6 //////6 6//////6 7 //////7 7 //////7 7 //////7 8 ////// n n
n
n
//////6 6 //////6 7 //////7 7 //////7 7 //////7 8 //////8 8 ////// n n
n
n
//////7 7//////7 7 //////7 8 //////8 8 //////8 8 //////8 8 ////// n n
n
n
//////7 7 //////7 8 //////8 9 //////8 8 //////8 9 //////8 8////// n
8
n
//////8 8 //////8 8 //////8 9 //////9 9 //////9 9 //////9 9 //////8 n+1
n+1
//////9 9 //////9 9 //////9 10//////9 10/////
/ 10 //////9
10
n+2
n+2
//////
/////10
/ 10 ////10
// 10 /////10
/ 10/////
/ 10/////
/
10
10
n+3
n+3
/////11
/ 11 ////11
// 11/////11/ 11/////
/
11
Y2s−1
n+4
n+4
//////
/////12
/ 12 /////12
/ 12/////
/
12
n+5
n+5
/////13/ 13/////
/
13
...
. . . //////
//////
Y2r
2n 2n 2n
1
1
2. A determinantal process
How does one turn this into a determinantal process?
In other terms: How does one turn this into non-intersecting random walks, with synchronized time?
By completing the double Aztec diamond with South domino’s (in a trivial
way).
//////
(South)
C2
D2
C3
D3
C4
D4
C5
Dr Cr+1 D6
//////
C7
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
Y
//////
//////
//////
`
B1
Y0
//////
//////
B2
Y1
Y2
//////
//////
B3
Y3
//////
//////
//////
A3
//////
//////
//////
//////
A2
//////
//////
//////
//////
//////
//////
//////
A1
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
Y =0
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
//////
D8
//////
//////
//////
C8
//////
//////
//////
D7
//////
//////
//////
A4
Y4
//////
B4
Y5
//////
//////
A5
Y6
//////
//////
//////
Br Ar+1 B6
Y7
A7
//////
B7
Y8 Y2r−1 Y2r Y2r+1 Y1
Y1
Y2
Y3
Y4
Y5
Y6
Y7
Y8
Y2r−1
Y2r
Y11
Y12
Y13
Y14
P ({non-intersecting random walks} ∩ [k, `] = ∅ along Y2r ) =?
In order to compute the kernel for the determinantal process, it is easier
to first consider Inliers, instead of the walks before (outliers).
Therefore remember the height function
and introduce
a dual heigth:
h
h
h
h
◦ h+1
////// h
h
h
h
h
h
h
h+1
h
////// = North ///•
/// ◦ = South
///•/// = West
= East
h
h
h
h+1 h+1
h+1
h+1
h+1
h+1
h+1
Figure 4. Height function h on domino’s and level line.
h̃ + 1
h̃ + 1 h̃ + 1 h̃ + 1
h̃
◦ ///•/// = North
h̃
h̃
h̃
h̃
//////
h̃
h̃
h̃
h̃ + 1
= South
h̃
h̃
h̃ + 1
///•/// h̃
◦ = East
h̃
h̃ + 1
h̃
h̃
h̃ + 1
h̃ + 1
////// = West
h̃
Figure 5. Dual height function h̃ on domino’s and level line.
2m+1 2m+1 2m+1
//////
2m+1
///// //////
2m+1 /
2m+1
////// ////// //////
2m+1
2m+1
////// ////// ////// //////
2m+1
2m+1
0
////// ////// ////// ////// //////
2m+1
2m+1
////// ////// ////// ////// ////// //////
2m+1
2m+1
////// ////// ////// ////// ////// ////// //////
2m+1
2m+1
////// ////// ////// ////// ////// ////// ////// 2m 2m
2m
2m
////// ////// ////// ////// ////// ////// ////// . .
.
2m-1
////// ////// ////// ////// ////// ////// ////// 2 2
2m-2
////// ////// ////// ////// ////// ////// ////// 1 1
..
1
.
////// ////// ////// ////// ////// ////// ////// 0
0
////// ////// ////// ////// ////// ////// //////
0
0
0
////// ////// ////// ////// ////// //////
0
0
0
//////
////// ////// ////// ////// //////
0
0
0
////// ////// ////// //////
0
0
//////
////// ////// //////
0
0
////// //////
0
0
//////
//////
2m+1
0
0
0
Y2s−1
Y2r
x
B
A
B
A
B
A
B
A
B
A
B
A
B
A
B
Figure 17: Lattice paths: superimposing in- and outliers.
3. The kernel for the inlier determinantal process
x
)
dot-to-circle
B
A
B
A
-steps
B
A
B
A
B
A
: ψ2j,2j+1(x, y) :=
B
A
B
A
B
( x−y
)
a
, if y − x ≤ 0
0 otherwise
)
circle-to-dot
-steps
: ψ2j+1,2j+2(x, y) :=
1, if y−x = 0



(
Then define in general:


a, if y−x = 1 





0, otherwise



dz z x−y
=
a
Γ0,a 2πiz 1 − z
=
I
dz x−y
z
(1 + az).
Γ0 2πiz
I
ψr,s = ψr,r+1 ∗ . . . ∗ ψs−1,s, if s > r
= 0, if s ≤ r.
where
f (x) ∗ g(x) :=
X
x∈Z
f (x)g(x)
• Lindström-Gessel-Viennot / Karlin-McGregor
P(r; x1, . . . , x2m+1)
1
det(ψ0,r (−m + i − 1, xj ))1≤i,j≤2m+1 det(ψr,2n+1(xj , −m + i − 1))1≤i,j≤
=
Zn,m
• Via the Eynard-Mehta formula: Expression in terms of orthogonal
polynomials on the circle (inliers)
Kn,m(r, x; s, y)
=
2m+1
X
i,j=1
ψr,2n+1(x, −m + i − 1)([A−1]ij )ψ0,s(−m + j − 1, y) − 1r<sψr,s(x, y),
dw R
dz L
wx+m
1
ρa (w)
ρa (z) y+m
=
2
(2πi) γr2 w
z
γr1 z
I
I
2m
X
k=0
|
Pk (z)Pbk (w−1) , for r = s = n
{z
}
bi-orthogonal pol on
R
circle for ρL
a (z)ρa (z)
ρL
a (z) =
1 + az
1 − az
!n/2
ρL
a (z)
R
and ρa (z) =
1 − az
4. The kernel for the outlier determinantal process
• Kernel for the dot-determinantal process (outlier paths) (Borodin
’00)
e doubleAztec(n, x; n, y) = δ
K
x,y − Kn,m (n, x; n, y).
n,m
• Extended kernel (outlier paths) :
e doubleAztec(2r, x; 2s, y)
K
n,m
e doubleAztec(n, · ; n, ◦) ∗ ψ
= −1s<r ψ(2s−2r)(x, y) + ψn−2r (x, ·) ∗ K
n,m
(2s−n) (◦, y),
with
dz
ψ2k (x, y) :=
Γ0,a 2πiz
I
1 + az
1 − az
!k
Two approaches:
(1) Work immediately with
2m
X
k=0
Pk (w)Pbk (z −1)
(2) Or use the Christoffel-Darboux formula for bi-orthonormal polynomials
on the circle,
2m
X
k=0
Pk (w)P̂k (z −1)
z −2m−1P2m+1(z)w2m+1P̂2m+1(w−1) − P̂2m+1(z −1)P2m+1(w)
=
.
1−w
z
Using approach (1), the kernel for the Double Aztec Diamond reads:
e DoubleAztec(2r, x; 2s, y)
(−1)x−y K
n,m
SingleAztec
= Kn+1
+
∞
X
k=2m+1

P
2(n + 1 − r), m + 1 − x; 2(n + 1 − s), m + 1 − y
b−x,r (k)[(1 − K)−1a−y,s](k)
s n
\
i=1

o
the line Y2ri has a gap ⊃ [ki, `i] 
= det 1 − χ[ki,`i]K̃DoubleAztec
(2ri, xi; 2rj , xj )χ[kj ,`j ]
.
n,m
1≤i,j≤s
h
i
Using approach (1), the kernel for the Double Aztec Diamond reads:
e DoubleAztec(2r, x; 2s, y)
(−1)x−y K
n,m
SingleAztec
= Kn+1
+
∞
X
k=2m+1
2(n + 1 − r), m + 1 − x; 2(n + 1 − s), m + 1 − y
b−x,r (k)[(1 − K)−1a−y,s](k)
I
I
(−1)k−x
dv v x+m (1 + av)s(1 − av )n−s+1
ax,s(k) :=
du
2
(2πi)
ϕa(2n; u)
γr1
γr2 u − v uk+1
v`
ϕa(2n; v)
(−1)`−y
dv
du
by,r (`) :=
a
(2πi)2 γr1
γr2 u − v uy+m+1 (1 + au)r (1 − u )n−r+1
I
I
(−1)k+`
dv
u`
ϕa(2n, u)
du
Kk,` :=
(2πi)2 γr1
γr2 v − u v k+1 ϕa (2n, v)
I
I
with ϕa(2n; z) := (1 + az)n(1 − az )n+1
5. Determinantal point process for single Aztec diamond: Interlacing red dots on the red lines (Johansson
’05)
//////
Interlacing red dots for n → ∞ '
////// ////// spectrum of consecutive principal
////// • ////// ////// minors of GUE-matrices
////// • ////// ////// //////
•/
///// • ////// • ////// ////// //////
////// ////// • ////// ////// ////// • //////
////// ////// • ////// • ////// ////// • ////// //////
////// ////// ////// • ////// ////// ////// //////
////// ////// ////// • ////// ////// • //////
////// ////// ////// ////// • //////
////// ////// ////// //////
////// ////// ////// •
////// //////
//////
In the limit for 0 < a < 1:
Frozen North
y
Disordered region
Frozen West
x
Frozen South
Frozen East
6. Limiting behavior for the double Aztec diamond: the
Tacnode Process, for n → ∞.
Bringing Arctic ellipses together (tacnode):
(x ± 2r )2
p
+
(y ± 2r )2
q
a
a−1
with q =
and p = 1 − q =
,
−1
−1
a+a
a+a
= 1,
,1 + r
)
(r
2
2
Diamond A
√
12
(p − r
,q + r
)
2
2
, r)
(− r
2 2 •
−1 − r
, r)
2 2
Diamond B
(0, 0)
•
√
2r
,−r
)
•( r
2
2
(p + r
,q − r
)
2
2
(1 + r
,−r
)
2
2
√
2(1 − r)
q=
(r
,1 − r
)
2
2
a
,
a+a−1
p=
√
r = 2 pq =
a−1
a+a−1
2
a+a−1
SCALING: From old to new variables: ξi, τi
(r, x; s, y) 7→ (τ1, ξ1; τ2, ξ2)
2m
2
−2/3
=
+
σρt
n
a + a−1
n = 2t,
x
−2/3 ,
= a2θτ1t−1/3 + 1
ξ
ρt
1
2
n
y
−2/3
= a2θτ2t−1/3 + 1
ξ
ρt
2
2
n
r
1
= + 2θ (1 + a2)τ1t−1/3,
n
2
s
1
= + 2θ (1 + a2)τ2t−1/3,
n
2
Given the weight 0 < a < 1 on vertical dominoes, define:
1−a
v0 := −
< 0,
1+a
5
a(1
+
a)
A3 :=
,
(1 − a)(1 + a2)
ρ := −Av0 > 0, θ :=
q
ρ(a + a−1) >
e DoubleAztec(2r, x; 2s, y)ρt1/3 = Ktac(τ , ξ ; τ , ξ )
lim (−v0)y−x+r−s(−1)y−xK
1 1 2 2
n,m
t→∞
For τ2 > τ1, one has the tacnode process:
Ktac(τ1, ξ1; τ2, ξ2) = KAiryProcess(τ2, σ − ξ2 + τ22; τ1, σ − ξ1 + τ12)
Z ∞
g(τ1, ξ1) 1/3
2
+
g(τ2, ξ2)
σ̃
(−τ2 )
−1 τ1
(1 − KAi)σ̃ Aξ −σ (λ)Aξ −σ
(λ)dλ.
1
2
where
Aτξ (κ) := Ai(τ )(ξ + 21/3κ) −
Z ∞
τ x+ 2
τ3
(τ
)
3
Ai (x) := e
Ai(x + τ 2).
0
Ai(τ )(−ξ + 21/3β)Ai(κ + β)dβ
Download