Li-Cheng Tsai Rutgers University Stochastic Analysis, Random Fields - - PowerPoint PPT Presentation

li cheng tsai
SMART_READER_LITE
LIVE PREVIEW

Li-Cheng Tsai Rutgers University Stochastic Analysis, Random Fields - - PowerPoint PPT Presentation

Lower-tail large deviations of the KPZ equation Li-Cheng Tsai Rutgers University Stochastic Analysis, Random Fields and Integrable Probability The 12th Mathematical Society of Japan, Seasonal Institute Li-Cheng Tsai Lower-tail LDs of KPZ The


slide-1
SLIDE 1

Lower-tail large deviations

  • f the KPZ equation

Li-Cheng Tsai

Rutgers University

Stochastic Analysis, Random Fields and Integrable Probability The 12th Mathematical Society of Japan, Seasonal Institute

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-2
SLIDE 2

The Kardar–Parisi–Zhang (KPZ) equation

Random growth with smoothing effect and slope dependence ∂th = 1

2∂xxh + 1 2(∂xh)2 + ξ

ξ = ξ(t, x) = spacetime white noise

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-3
SLIDE 3

The Kardar–Parisi–Zhang (KPZ) equation

  • Define h(t, x) := log Z(t, x).

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-4
SLIDE 4

The Kardar–Parisi–Zhang (KPZ) equation

  • Define h(t, x) := log Z(t, x).
  • This talk: Z(0, x) = δ(x).

For small t ≪ 1, Z(t, x) ≈

1 √ 2πte− x2

2t . Li-Cheng Tsai Lower-tail LDs of KPZ

slide-5
SLIDE 5

t → ∞ behaviors: centering, fluctuations, and tails

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-6
SLIDE 6

t → ∞ behaviors: centering, fluctuations, and tails

[Amir Corwin Quastel 10], [Calabrese Le Doussal Rosso 10], [Dotsenko 10], [Sasamoto Spohn 10]

For Z(0, x) = δ(x), as t → ∞, t− 1

3 (h(2t, 0) + t

12) =

⇒ GUE Tracy Widom

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-7
SLIDE 7

t → ∞ behaviors: centering, fluctuations, and tails

2

Φ±(z) = rate functions Speed t v.s. t2 eh(2t,0) = Z(2t, 0) = EBB

  • e

2t ξ(s,b(2t−s))ds

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-8
SLIDE 8

Perturbative versus non-perturbative

[Amir Corwin Quastel 10], [Calabrese Le Doussal Rosso 10], [Dotsenko 10], [Sasamoto Spohn 10]

E

  • exp
  • − e

t 12 +tzZ(2t, 0)

  • = det
  • I − Kt,z
  • L2(R+)

det(I − Kt,z) := 1 + ∞

n=1 (−1)n n!

  • Rn

+ det(Kt,z(xi, xj))n

i,j=1dnx

Kt,z(x, x′) :=

  • R+(1 + exp(−t1/3λ − tz))−1Ai(x + r)Ai(x′ + r)dr

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-9
SLIDE 9

Perturbative versus non-perturbative

[Amir Corwin Quastel 10], [Calabrese Le Doussal Rosso 10], [Dotsenko 10], [Sasamoto Spohn 10]

E

  • exp
  • − e

t 12 +tz+h(2t,0)

= det

  • I − Kt,z
  • L2(R+)

det(I − Kt,z) := 1 + ∞

n=1 (−1)n n!

  • Rn

+ det(Kt,z(xi, xj))n

i,j=1dnx

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-10
SLIDE 10

Perturbative versus non-perturbative

[Amir Corwin Quastel 10], [Calabrese Le Doussal Rosso 10], [Dotsenko 10], [Sasamoto Spohn 10]

P

  • h(2t, 0) + t

12 < tz

  • ≈ det
  • I − Kt,z
  • L2(R+)

det(I − Kt,z) := 1 + ∞

n=1 (−1)n n!

  • Rn

+ det(Kt,z(xi, xj))n

i,j=1dnx

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-11
SLIDE 11

Perturbative versus non-perturbative

[Amir Corwin Quastel 10], [Calabrese Le Doussal Rosso 10], [Dotsenko 10], [Sasamoto Spohn 10]

P

  • h(2t, 0) + t

12 < tz

  • ≈ det
  • I − Kt,z
  • L2(R+)

det(I − Kt,z) := 1 + ∞

n=1 (−1)n n!

  • Rn

+ det(Kt,z(xi, xj))n

i,j=1dnx

  • Upper tail z > 0 as t → ∞, we have Kt,z → 0
  • Perturbative: det(I − Kt,z) = 1 − Tr(Kt,z) + . . .
  • [Le Doussal Majumdar Schehr 16] predicted Φ+(z) = 4

3z

3 2

  • Proof in progress

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-12
SLIDE 12

Perturbative versus non-perturbative

[Amir Corwin Quastel 10], [Calabrese Le Doussal Rosso 10], [Dotsenko 10], [Sasamoto Spohn 10]

P

  • h(2t, 0) + t

12 < tz

  • ≈ det
  • I − Kt,z
  • L2(R+)

det(I − Kt,z) := 1 + ∞

n=1 (−1)n n!

  • Rn

+ det(Kt,z(xi, xj))n

i,j=1dnx

  • Upper tail z > 0 as t → ∞, we have Kt,z → 0
  • Perturbative: det(I − Kt,z) = 1 − Tr(Kt,z) + . . .
  • [Le Doussal Majumdar Schehr 16] predicted Φ+(z) = 4

3z

3 2

  • Proof in progress
  • Lower tail z < 0, Kt,z → I as t → ∞
  • Non-perturbative

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-13
SLIDE 13

The lower-tail of h(2t, 0)

Physics results

  • [Kolokolov Korshunov 07] and [Meerson Katzav Vilenkin 16]

predicted small/large |z| behaviors Math results

  • [Corwin Ghosal 18] obtained bounds (∀t ≥ t0) capturing

small/large |z| behaviors

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-14
SLIDE 14

The lower-tail of h(2t, 0)

Physics results

  • [Kolokolov Korshunov 07] and [Meerson Katzav Vilenkin 16]

predicted small/large |z| behaviors

  • [Sasorov Meerson Prolhac 17] predicted

Φ−(z) =

4 15π6 (1 − π2z)

5 2 −

4 15π6 + 2 3π4 z − 1 2π2 z2

by WKB approx of an integral-diff eqn Math results

  • [Corwin Ghosal 18] obtained bounds (∀t ≥ t0) capturing

small/large |z| behaviors

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-15
SLIDE 15

The lower-tail of h(2t, 0)

Physics results

  • [Kolokolov Korshunov 07] and [Meerson Katzav Vilenkin 16]

predicted small/large |z| behaviors

  • [Sasorov Meerson Prolhac 17] predicted

Φ−(z) =

4 15π6 (1 − π2z)

5 2 −

4 15π6 + 2 3π4 z − 1 2π2 z2

by WKB approx of an integral-diff eqn

  • [Corwin Ghosal Krajenbrink Le Doussal Tsai 18]

same Φ− by log/Coulomb gas

  • [Krajenbrink Le Doussal Prolhac 18]

same Φ− by cumulant expansion Math results

  • [Corwin Ghosal 18] obtained bounds (∀t ≥ t0) capturing

small/large |z| behaviors

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-16
SLIDE 16

The lower-tail of h(2t, 0)

Physics results

  • [Kolokolov Korshunov 07] and [Meerson Katzav Vilenkin 16]

predicted small/large |z| behaviors

  • [Sasorov Meerson Prolhac 17] predicted

Φ−(z) =

4 15π6 (1 − π2z)

5 2 −

4 15π6 + 2 3π4 z − 1 2π2 z2

by WKB approx of an integral-diff eqn

  • [Corwin Ghosal Krajenbrink Le Doussal Tsai 18]

same Φ− by log/Coulomb gas

  • [Krajenbrink Le Doussal Prolhac 18]

same Φ− by cumulant expansion Math results

  • [Corwin Ghosal 18] obtained bounds (∀t ≥ t0) capturing

small/large |z| behaviors

  • [Tsai 18] proof of Φ− by stochastic Airy operator

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-17
SLIDE 17

Result

Theorem (Tsai 18) Consider the IC Z(0, x) = δ(x). For z < 0, as t → ∞, lim

t→∞ 1 t2 log

  • P[h(2t, 0) + t

12 < tz]

  • = −Φ−(z)

where Φ−(z) :=

4 15π6 (1 − π2z)

5 2 −

4 15π6 + 2 3π4 z − 1 2π2 z2.

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-18
SLIDE 18

Exponential functional of Airy Point Process

[Borodin Gorin 16] E

  • e−Z(2t,0)e

t 12 +tz

= EAiry ∞

  • i=1

1 1 + e−t1/3(λi+t2/3z)

  • λ1 < λ2 < . . . ∈ R (space-reversed) Airy Point Process

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-19
SLIDE 19

Exponential functional of Airy Point Process

[Borodin Gorin 16] E

  • e−Z(2t,0)e

t 12 +tz

= E

  • e− ∞

i=1 ψt,z(λi) Li-Cheng Tsai Lower-tail LDs of KPZ

slide-20
SLIDE 20

Exponential functional of Airy Point Process

[Borodin Gorin 16] P

  • h(2t, 0) + t

12 < tz

  • ≈ E
  • e− ∞

i=1 ψt,z(λi) Li-Cheng Tsai Lower-tail LDs of KPZ

slide-21
SLIDE 21

Laplace’s method / Varadhan’s lemma — a general picture

E

  • e− ∞

i=1 ψt,z(λi)

=

  • e−ψt,z(ρ) e−penalty(ρ)dρ
  • :=dP[ρ]

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-22
SLIDE 22

Laplace’s method / Varadhan’s lemma — a general picture

E

  • e− ∞

i=1 ψt,z(λi)

≈ exp

  • − min

ρ

  • ψt,z(ρ) + penalty(ρ)
  • Li-Cheng Tsai

Lower-tail LDs of KPZ

slide-23
SLIDE 23

Laplace’s method / Varadhan’s lemma — a general picture

E

  • e− ∞

i=1 ψt,z(λi)

≈ exp

  • − min

ρ

  • ψt,z(ρ) + penalty(ρ)
  • Examples [Corwin Ghosal 18]

P[ρ ≈ ρsq] ≈ 1, but e−

  • R ψt,z(λ)ρsq(λ)dλ ≈ e−t2b1(z).

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-24
SLIDE 24

Laplace’s method / Varadhan’s lemma — a general picture

E

  • e− ∞

i=1 ψt,z(λi)

≈ exp

  • − min

ρ

  • ψt,z(ρ) + penalty(ρ)
  • Examples [Corwin Ghosal 18]

P[ρ ≈ ρsq] ≈ 1, but e−

  • R ψt,z(λ)ρsq(λ)dλ ≈ e−t2b1(z).

e−

  • R ψt,z(λ)ρpush(λ)dλ ≈ 1, but

P[ρ ≈ ρpush] ≈ e−t2b2(z).

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-25
SLIDE 25

Stochastic Airy Operator

Theorem (Ramirez Rider Virag 06) The Stochastic Airy Operator A := − d2

dx2 + x +

√ 2W ′(x) acting on Dom(A) ⊂ L2(R+) has spectrum {λ1 < λ2 < . . .}, where W := standard BM.

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-26
SLIDE 26

Large deviations controlled by W ′

E[e− ∞

i=1 ψt,z(λi)] ≈ exp

  • − min

ρ

  • ψt,z(ρ) + penalty(ρ)
  • ρ = eigenvalues distribution of

A = − d2

dx2 + x +

√ 2W ′(x)

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-27
SLIDE 27

Large deviations controlled by W ′ and then by v

E[e− ∞

i=1 ψt,z(λi)] ≈ exp

  • − min

ρ

  • ψt,z(ρ) + penalty(ρ)
  • ρ = eigenvalues distribution of

A = − d2

dx2 + x +

√ 2W ′(x) Postulate: relevant deviations controlled by W ′(x) ≈ t

2 3 v(t− 2 3 x)

(eigen prob) − f′′(x) + xf(x) + √ 2W ′(x)f(x) = λf(x) λ of order t

2 3 Li-Cheng Tsai Lower-tail LDs of KPZ

slide-28
SLIDE 28

Large deviations controlled by W ′ and then by v

E[e− ∞

i=1 ψt,z(λi)] ≈ exp

  • − min

v

  • ψt,z(ρ(v)) + penalty(v)
  • ρ(v) = eigenvalues distribution of

Av = − d2

dx2 + x +

√ 2t

2 3 v(t− 2 3 x)

Postulate: relevant deviations controlled by W ′(x) ≈ t

2 3 v(t− 2 3 x)

penalty(v) = ρ(v) =

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-29
SLIDE 29

Large deviations controlled by W ′ and then by v

E[e− ∞

i=1 ψt,z(λi)] ≈ exp

  • − min

v

  • ψt,z(ρ(v)) + penalty(v)
  • ρ(v) = eigenvalues distribution of

Av = − d2

dx2 + x +

√ 2t

2 3 v(t− 2 3 x)

Postulate: relevant deviations controlled by W ′(x) ≈ t

2 3 v(t− 2 3 x)

[LDP of BM] penalty(v) = 1

2

  • t

4 3 v2(t− 2 3 x)dx

ρ(v) =

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-30
SLIDE 30

Large deviations controlled by W ′ and then by v

E[e− ∞

i=1 ψt,z(λi)] ≈ exp

  • − min

v

  • ψt,z(ρ(v)) + penalty(v)
  • ρ(v) = eigenvalues distribution of

Av = − d2

dx2 + x +

√ 2t

2 3 v(t− 2 3 x)

Postulate: relevant deviations controlled by W ′(x) ≈ t

2 3 v(t− 2 3 x)

[LDP of BM] penalty(v) = 1

2

  • t

4 3 v2(t− 2 3 x)dx

[WKB approx] ρ(v) ≈ N′

v(λ)dλ

Nv(λ) = t

π

  • − x + t− 2

3 λ −

√ 2v(x)

  • +dx

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-31
SLIDE 31

Large deviations controlled by W ′ and then by v

E[e− ∞

i=1 ψt,z(λi)] ≈ exp

  • − min

v

  • ψt,z(ρ(v)) + penalty(v)
  • Postulate: relevant deviations controlled by W ′(x) ≈ t

2 3 v(t− 2 3 x)

[LDP of BM] penalty(v) = 1

2

  • t

4 3 v2(t− 2 3 x)dx

[WKB approx] ρ(v) ≈ N′

v(λ)dλ

Nv(λ) = t

π

  • − x + t− 2

3 λ −

√ 2v(x)

  • +dx

Putting things together gives (ψt,z(ρ(v)) + penalty(v)) ≈ t2J(v) J(v) = ∞

0 ( 1 2v2(x) + ((−x + z −

√ 2v(x))+)

3 2 )dx Li-Cheng Tsai Lower-tail LDs of KPZ

slide-32
SLIDE 32

Large deviations controlled by W ′ and then by v

E[e− ∞

i=1 ψt,z(λi)] ≈ exp

  • − min

v

  • ψt,z(ρ(v)) + penalty(v)
  • Postulate: relevant deviations controlled by W ′(x) ≈ t

2 3 v(t− 2 3 x)

[LDP of BM] penalty(v) = 1

2

  • t

4 3 v2(t− 2 3 x)dx

[WKB approx] ρ(v) ≈ N′

v(λ)dλ

Nv(λ) = t

π

  • − x + t− 2

3 λ −

√ 2v(x)

  • +dx

Putting things together gives (ψt,z(ρ(v)) + penalty(v)) ≈ t2J(v) J(v) = ∞

0 ( 1 2v2(x) + ((−x + z −

√ 2v(x))+)

3 2 )dx

which optimized to be min

v

J(v) =

4 15π6 (1 − π2z)

5 2 −

4 15π6 + 2 3π4 z − 1 2π2 z2 = Φ−(z)

Li-Cheng Tsai Lower-tail LDs of KPZ

slide-33
SLIDE 33

Further discussion

  • More general cost functions, when does Postulate hold?
  • What happens when Postulate fails?
  • Full LDP of {λi}∞

i=1. Rate function conjectured in

[Corwin Ghosal Krajenbrink Le Doussal Tsai 18]

Li-Cheng Tsai Lower-tail LDs of KPZ