Effective Field Theory
- f Large-c CFTs
Felix Haehl UBC Vancouver (—> IAS)
Based on 1712.04963, 1808.02898 with M. Rozali, and work in progress with W. Reeves & M. Rozali
Effective Field Theory of Large-c CFTs Felix Haehl UBC Vancouver - - PowerPoint PPT Presentation
Effective Field Theory of Large-c CFTs Felix Haehl UBC Vancouver (> IAS) Based on 1712.04963, 1808.02898 with M. Rozali , and work in progress with W. Reeves & M. Rozali Effective Field Theory of Large-c CFTs Felix Haehl UBC
Felix Haehl UBC Vancouver (—> IAS)
Based on 1712.04963, 1808.02898 with M. Rozali, and work in progress with W. Reeves & M. Rozali
Felix Haehl UBC Vancouver (—> IAS)
Based on 1712.04963, 1808.02898 with M. Rozali, and work in progress with W. Reeves & M. Rozali
poster!
effect
systematic effective field theory for this mode τ σ z = τ + iσ
(z, ¯ z) → (f(z), ¯ f(¯ z))
with energy-momentum conservation (“gravity”)
universal aspects of… … OTOC observables, related to quantum chaos … conformal blocks, kinematic space operators, …
systematic effective field theory for this mode
V(t) V(t) W(o) W(o)
reparametrization (z, ¯ z) → (z + ✏, ¯ z + ¯ ✏) SCF T − → SCF T + Z d2z ¯ @✏ T(z) + @¯ ✏ ¯ T(¯ z)
reparametrization
the associated conserved symmetry currents are (z, ¯ z) → (z + ✏, ¯ z + ¯ ✏) SCF T − → SCF T + Z d2z ¯ @✏ T(z) + @¯ ✏ ¯ T(¯ z) ¯ @✏ = 0 = @¯ ✏ (J, ¯ J) = (✏ T, ¯ ✏ ¯ T)
[Turiaci-Verlinde ’16] [FH-Rozali ’18]
reparametrization (z, ¯ z) → (z + ✏, ¯ z + ¯ ✏) SCF T − → SCF T + Z d2z ¯ @✏ T(z) + @¯ ✏ ¯ T(¯ z)
(✏, ¯ ✏)
(✏, ¯ ✏)
(✏, ¯ ✏)
fixed by conformal symmetry! => dynamics of is universal W2 = Z d2z1 d2z2 ¯ @✏1 ¯ @✏2 hT(z1)T(z2)i + (anti-holo.)
(✏, ¯ ✏)
… because:
(✏, ¯ ✏)
W2 = Z d2z1 d2z2 ¯ @✏1 ¯ @✏2 hT(z1)T(z2)i + (anti-holo.) ¯ ∂1hT(z1)T(z2)i ⇠ δ(2)(z1 z2)
… because:
(✏, ¯ ✏)
W2 = Z d2z1 d2z2 ¯ @✏1 ¯ @✏2 hT(z1)T(z2)i + (anti-holo.) ¯ ∂1hT(z1)T(z2)i ⇠ δ(2)(z1 z2) (z = τ + iσ) W2 = c⇡ 6 Z d⌧d ¯ @✏ (@3
τ + @τ)✏ + (anti-holo.)
(✏, ¯ ✏)
W2 = c⇡ 6 Z d⌧d ¯ @✏ (@3
τ + @τ)✏ + (anti-holo.)
h✏(⌧, )✏(0, 0)i ⇠ 1 c sin2 ✓⌧ + i 2 ◆ log ⇣ 1 e−sgn(σ)i(τ+iσ)⌘
[FH-Rozali ’18] [Cotler-Jensen ’18]
(✏, ¯ ✏)
W2 = c⇡ 6 Z d⌧d ¯ @✏ (@3
τ + @τ)✏ + (anti-holo.)
h✏(⌧, )✏(0, 0)i ⇠ 1 c sin2 ✓⌧ + i 2 ◆ log ⇣ 1 e−sgn(σ)i(τ+iσ)⌘
h✏(⌧, )✏(0, 0)i ⇠ 1 c sin2 ✓⌧ + i 2 ◆ log ⇣ 1 e−sgn(σ)i(τ+iσ)⌘
h✏(⌧, )✏(0, 0)i ⇠ 1 c sin2 ✓⌧ + i 2 ◆ log ⇣ 1 e−sgn(σ)i(τ+iσ)⌘
= hO(x)O(Y )i ⇢ 1+
" @✏(x) + @✏(y) − ✏(x) − ✏(y) tan x−y
2
+ (anti-holo.)
hO(x)O(y)i ! [@f(x) @f(y)]∆ hO(f(x)) O(f(y))i f(x) = x + ✏(x)
h✏(⌧, )✏(0, 0)i ⇠ 1 c sin2 ✓⌧ + i 2 ◆ log ⇣ 1 e−sgn(σ)i(τ+iσ)⌘ O(x)
O(y)
B(1)
∆ (x, y)
= hO(x)O(Y )i ⇢ 1+ = hO(x)O(Y )i ⇢ 1+
" @✏(x) + @✏(y) − ✏(x) − ✏(y) tan x−y
2
+ (anti-holo.)
hO(x)O(y)i ! [@f(x) @f(y)]∆ hO(f(x)) O(f(y))i f(x) = x + ✏(x)
h✏(⌧, )✏(0, 0)i ⇠ 1 c sin2 ✓⌧ + i 2 ◆ log ⇣ 1 e−sgn(σ)i(τ+iσ)⌘
O(x) O(y)
B(1)
∆ (x, y)
≡
∆ " @✏(x) + @✏(y) − ✏(x) − ✏(y) tan x−y
2
+ (anti-holo.)
h✏(⌧, )✏(0, 0)i ⇠ 1 c sin2 ✓⌧ + i 2 ◆ log ⇣ 1 e−sgn(σ)i(τ+iσ)⌘
O(x) O(y)
B(1)
∆ (x, y)
≡
∆ " @✏(x) + @✏(y) − ✏(x) − ✏(y) tan x−y
2
+ (anti-holo.)
>> skip
V (0) V (0) W(t) W(t) td ∼ β 2π dissipation time:
t hW(t)W(t)V (0)V (0)iβ ⇠ hWWihV V i + O(e−t/td)
V (0) V (0) W(t) W(t) td ∼ β 2π dissipation time:
hW(t)W(t)V (0)V (0)iβ ⇠ hWWihV V i + O(e−t/td)
V (0) V (0) W(t) W(t) td ∼ β 2π dissipation time:
hW(t)W(t)V (0)V (0)iβ ⇠ hWWihV V i + O(e−t/td)
V (0) V (0) W(t) W(t)
“Lyapunov” growth (quantum chaos): hW(t)W(t)V (0)V (0)iβ ⇠ hWWihV V i + O(e−t/td) hW(t)V (0)W(t)V (0)iβ
⇠ hWWihV V i h 1 # eλL (t−t∗)i
t∗ ∼ β 2π log N scrambling time:
[Shenker-Stanford ’13] [Maldacena-Shenker-Stanford ‘15] [Kitaev ’15] …..
V (0) V (0) W(t) W(t)
“Lyapunov” growth (quantum chaos): hW(t)W(t)V (0)V (0)iβ ⇠ hWWihV V i + O(e−t/td) hW(t)V (0)W(t)V (0)iβ
⇠ hWWihV V i h 1 # eλL (t−t∗)i
t∗ ∼ β 2π log N scrambling time:
[Shenker-Stanford ’13] [Maldacena-Shenker-Stanford ‘15] [Kitaev ’15] …..
V (0) V (0) W(t) W(t)
“Lyapunov” growth (quantum chaos): hW(t)W(t)V (0)V (0)iβ ⇠ hWWihV V i + O(e−t/td) hW(t)V (0)W(t)V (0)iβ
⇠ hWWihV V i h 1 # eλL (t−t∗)i
t∗ ∼ β 2π log N scrambling time:
[Shenker-Stanford ’13] [Maldacena-Shenker-Stanford ‘15] [Kitaev ’15] …..
V (0) V (0) W(t) W(t) hW(t)V (0)W(t)V (0)iβ
⇠ hWWihV V i h 1 # eλL (t−t∗)i
V (0) V (0) W(t) W(t) hW(t)V (0)W(t)V (0)iβ
⇠ hWWihV V i h 1 # eλL (t−t∗)i
described by an exchange of the reparametrization mode: hW(t)V (0)W(t)V (0)iβ ⇠ hB(1)
∆W (t, t) B(1) ∆V (0, 0)iβ
⇠ h✏(t)✏(0)i
λL = 2πT
V (0) V (0) W(t) W(t) hW(t)V (0)W(t)V (0)iβ
⇠ hWWihV V i h 1 # eλL (t−t∗)i
described by an exchange of the reparametrization mode: hW(t)V (0)W(t)V (0)iβ ⇠ hB(1)
∆W (t, t) B(1) ∆V (0, 0)iβ
⇠ h✏(t)✏(0)i
λL = 2πT
V (0) V (0) W(t) W(t) hW(t)V (0)W(t)V (0)iβ
⇠ hWWihV V i h 1 # eλL (t−t∗)i
described by an exchange of the reparametrization mode: hW(t)V (0)W(t)V (0)iβ ⇠ hB(1)
∆W (t, t) B(1) ∆V (0, 0)iβ
⇠ h✏(t)✏(0)i
the collective mode
[FH-Rozali ’18] [Blake-Lee-Liu ‘18]
✏
λL = 2πT
F2k(t1, . . . , tk) = ⌦ ↵
β
hV1V1i · · · hVkVki V1 V1 · · · V3 V3 V2 V2 Vk Vk Vk−1 [ , ][ , ][ , ] [ , ] V4
[FH-Rozali ’17 ‘18]
F2k(t1, . . . , tk) = ⌦ ↵
β
hV1V1i · · · hVkVki V1 V1 · · · V3 V3 V2 V2 Vk Vk Vk−1 [ , ][ , ][ , ] [ , ] V4
[FH-Rozali ’17 ‘18]
Euclidean time
F2k(t1, . . . , tk) = ⌦ ↵
β
hV1V1i · · · hVkVki V1 V1 · · · V3 V3 V2 V2 Vk Vk Vk−1 [ , ][ , ][ , ] [ , ] V4
[FH-Rozali ’17 ‘18]
Euclidean time
(k-1) -exchanges ✏
F2k(t1, . . . , tk) = ⌦ ↵
β
hV1V1i · · · hVkVki V1 V1 · · · V3 V3 V2 V2 Vk Vk Vk−1 [ , ][ , ][ , ] [ , ] V4
[FH-Rozali ’17 ‘18]
scrambling of quantum information
in maximally chaotic 2d CFTs (—> additional spatial dependence) F2k ∼ eλL(t−(k−1)t∗) with t = t1 − tk
timelike separated pairs of points in the CFT:
x y
(xµ, yµ)
[Czech-Lamprou-McCandlish-Mosk-Sully ‘16] [de Boer-FH-Heller-Myers ‘16] …
timelike separated pairs of points in the CFT:
emergence, entanglement, …
x y
(xµ, yµ)
[Czech-Lamprou-McCandlish-Mosk-Sully ‘16] [de Boer-FH-Heller-Myers ‘16] …
timelike separated pairs of points in the CFT:
emergence, entanglement, …
x y
(xµ, yµ)
[Czech-Lamprou-McCandlish-Mosk-Sully ‘16] [de Boer-FH-Heller-Myers ‘16] …
timelike separated pairs of points in the CFT:
emergence, entanglement, …
x y
(xµ, yµ) O(x)O(y) = X
Oi
COOOi
[Czech-Lamprou-McCandlish-Mosk-Sully ‘16] [de Boer-FH-Heller-Myers ‘16] …
timelike separated pairs of points in the CFT:
emergence, entanglement, …
x y
(xµ, yµ) O(x)O(y) = X
Oi
COOOi
[Czech-Lamprou-McCandlish-Mosk-Sully ‘16] [de Boer-FH-Heller-Myers ‘16] …
| {z }
⌘hO(x)O(y)i⇥B∆i(x,y)
O(x)O(y) = X
Oi
COOOi
| {z }
⌘hO(x)O(y)i⇥B∆i(x,y)
“OPE block”
O(x)O(y) = X
Oi
COOOi
| {z }
⌘hO(x)O(y)i⇥B∆i(x,y)
“OPE block”
O(x)O(y) = X
Oi
COOOi
B∆i(x, y) = C∆i Z
♦(x,y)
ddξ I∆i(x, y; ξ) Oi
Z
O(x) O(y)
B∆i(x, y) = C∆i Z
♦(x,y)
ddξ I∆i(x, y; ξ) Oi
Z
O(x) O(y)
⇠ hO(x)O(y) e Oi(ξ)i
[Ferrara-Parisi ’72] [Dolan-Osborn ’12] [Simmons-Duffin ‘12] “shadow operator” formalism
⇠ hO(x)O(y) e T(ξ)i
B∆i(x, y) = C∆i Z
♦(x,y)
ddξ I∆i(x, y; ξ) Oi
Z
O(x) O(y)
for stress tensor: BT (x, y) = Cd Z
♦(x,y)
ddξ IT (x, y; ξ) T(ξ)
[Ferrara-Parisi ’72] [Dolan-Osborn ’12] [Simmons-Duffin ‘12] “shadow operator” formalism
B∆i(x, y) = C∆i Z
♦(x,y)
ddξ I∆i(x, y; ξ) Oi
coupling to our reparametrization mode!
O(x) O(y)
Z
O(x) O(y)
for stress tensor: B(1)
∆ (x, y) ∝ BT (x, y)
B(1)
∆ (x, y) = ∆
1 d (@µ✏µ(x) + @µ✏µ(y)) − 2 (✏(x) − ✏(y))µ (x − y)µ (x − y)2
Z
♦(x,y)
ddξ IT (x, y; ξ) T(ξ)
O(x) O(y)
Z
O(x) O(y)
B(1)
∆ (x, y) ∝ BT (x, y)
O(x) O(y)
Z
O(x) O(y)
B(1)
∆ (x, y) ∝ BT (x, y)
hV (x1)V (x2)W(x3)W(x4)i = hV V ihWWi ⇥ CV V T CW W T ⌦ (T + desc.)(T + desc.) ↵
O(x) O(y)
Z
O(x) O(y)
B(1)
∆ (x, y) ∝ BT (x, y)
hV (x1)V (x2)W(x3)W(x4)i = hV V ihWWi ⇥ [1 + hBT (x1, x2)BT (x3, x4)i + . . .]
W W V V
ZZ (. . .)hTTi
hV (x1)V (x2)W(x3)W(x4)i = hV V ihWWi ⇥ CV V T CW W T ⌦ (T + desc.)(T + desc.) ↵
O(x) O(y)
Z
O(x) O(y)
B(1)
∆ (x, y) ∝ BT (x, y)
hV (x1)V (x2)W(x3)W(x4)i = hV V ihWWi ⇥ [1 + hBT (x1, x2)BT (x3, x4)i + . . .]
W W V V
ZZ (. . .)hTTi
= hV V ihWWi ⇥ [1 + hB∆(x1, x2)B∆(x3, x4)i + . . .]
V V W W
h✏✏i
hV (x1)V (x2)W(x3)W(x4)i = hV V ihWWi ⇥ CV V T CW W T ⌦ (T + desc.)(T + desc.) ↵
O(x) O(y)
Z
O(x) O(y)
B(1)
∆ (x, y) ∝ BT (x, y)
O(x) O(y)
Z
O(x) O(y)
B(1)
∆ (x, y) ∝ BT (x, y)
—> boundary cond. on distinguishes block vs. shadow block
@(µ✏ν) − 1 d ⌘µν (@.✏) ∼ e Tµν
stress tensor “shadow”
✏
reparametrization modes and shadow operators
O(x) O(y)
Z
O(x) O(y)
B(1)
∆ (x, y) ∝ BT (x, y)
effective field theory <-> shadow operator formalism
from reparametrization mode perturbation theory
[Cotler-Jensen ‘18]
@(µ✏ν) − 1 d ⌘µν (@.✏) ∼ e Tµν
Schwarzian in d=1 (e.g. SYK)
shadow operators, conformal blocks, quantum chaos, etc.
scrambling timescales
bilocals (kinematic space fields) to reparametrization mode
t(k)
∗
∼ (k − 1) × t∗