Operator Growth in SYK model and Beyond Xiao-Liang Qi Stanford - - PowerPoint PPT Presentation

β–Ά
operator growth
SMART_READER_LITE
LIVE PREVIEW

Operator Growth in SYK model and Beyond Xiao-Liang Qi Stanford - - PowerPoint PPT Presentation

Operator Growth in SYK model and Beyond Xiao-Liang Qi Stanford University YITP, Kyoto, 6/28/2019 Overview Motivation Definition of operator size and size distribution General results: thermal state and single fermion excitations


slide-1
SLIDE 1

Operator Growth in SYK model and Beyond

Xiao-Liang Qi Stanford University YITP, Kyoto, 6/28/2019

slide-2
SLIDE 2
  • Motivation
  • Definition of operator size and size distribution
  • General results: thermal state and single fermion

excitations

  • SYK model
  • Large q limit
  • Large 𝛾𝐾 limit
  • Dual theory: size distribution of bulk fermion
  • perators

Overview

Ref.

  • 1. Alexandre Streicher, XLQ, arxiv:1810.11958
  • 2. Yingfei Gu, Yuri Lensky, XLQ, Pengfei Zhang, in progress
slide-3
SLIDE 3

Part I: General results

slide-4
SLIDE 4
  • Classical chaos:
  • 𝜊 0 = 𝑦 0 , π‘ž 0

β†’ 𝜊 𝑒 = 𝑦 𝑒 , π‘ž 𝑒

  • Sensitivity to initial condition
  • Lyapunov exponents
  • 𝜊 𝑒 is a complicated function
  • f 𝜊 0
  • Quantum analog: Heisenberg operator evolution

ΰ·  𝑃 𝑒 = 𝑓𝑗𝑒𝐼 ΰ·  𝑃(0)π‘“βˆ’π‘—π‘’πΌ

  • ΰ· 

𝑃(𝑒) is a complicated function of ΰ·  𝑃

  • How to define β€œcomplicated”?

Motivation

𝜊 𝑒 𝜊 0

slide-5
SLIDE 5
  • Non-interacting system:

A particle has 𝑂 possible positions. πœ”π‘¦ 𝑒 = σ𝑧=1…𝑂 πœšπ‘¦ 𝑧 ΰ·  πœ”π‘§ 0 .

  • Generic interacting system:

A particle can decay into multi-particle states. Exponentially many final states in the Hilbert space.

  • ΰ· 

πœ”π‘¦ 𝑒 = πœšπ‘¦ 𝑧 ΰ·  πœ”π‘§ 0 + πœšπ‘¦ 𝑧1𝑧2𝑧3 ΰ·  πœ”π‘§1 ΰ·  πœ”π‘§2

+ ΰ· 

πœ”π‘§3 + β‹―

Many-body quantum chaos

slide-6
SLIDE 6
  • π‘žπ‘š probability of size π‘š (Roberts-Stanford-Susskind ’14, Hosur XLQ ’16,

Roberts, Streicher, Stanford β€˜18)

  • Example: Majorana fermions
  • ΰ· 

πœ”1 𝑒 = 𝑏 ΰ·  πœ”3 + 𝑐 ΰ·  πœ”4 + 𝑑 ΰ·  πœ”2 ΰ·  πœ”3 ΰ·  πœ”4 + 𝑒 ΰ·  πœ”1 ΰ·  πœ”3 ΰ·  πœ”4 + β‹―

Operator size distribution

𝑏 2 𝑐 2 𝑑 2 𝑒 2

size

π‘ž1 = 𝑏 2 + 𝑐 2 π‘ž3 = 𝑑 2 + 𝑒 2

slide-7
SLIDE 7
  • Example: a random fermionic operator
  • π‘žπ‘š = 21βˆ’π‘‚ 𝑂

π‘š , for odd π‘š. Average size

𝑂 2

  • Doubled formalism:
  • Take two systems 𝑀, 𝑆, each consisting of 𝑂

Majoranas.

  • Prepare a maximally entangled state 𝐽
  • For every operator 𝑃, applying it to the left system, to
  • btain a state: 𝑃 = 𝑃𝑀 βŠ— 𝕁𝑆 𝐽
  • 𝐡 𝐢 =

1 𝐸 𝑒𝑠 𝐡+𝐢

Operator size distribution

slide-8
SLIDE 8
  • In the doubled formalism, size is a linear operator

The size superoperator

πœ”1

=1 β‹…

πœ”1

=2 β‹…

πœ”1πœ”2 πœ”1πœ”2

……

slide-9
SLIDE 9
  • Size superoperator ො

π‘œ depends on reference state 𝐽 . ො π‘œ 𝐽 = 0 is required

  • A convenient choice of 𝐽 : πœ”π‘—π‘€ βˆ’ π‘—πœ”π‘—π‘† 𝐽 = 0
  • |𝐽⟩ is the vacuum state of fermion with annihilation
  • perator 𝑔

𝑗 = 1 2 πœ”π‘—π‘€ βˆ’ π‘—πœ”π‘—π‘† , 𝑔 𝑗, 𝑔 π‘˜ + = πœ€π‘—π‘˜

  • In this basis ො

π‘œ = σ𝑗 𝑔

𝑗 +𝑔 𝑗 is fermion number

  • πœ”π‘—π‘€πœ”π‘˜π‘€ … 𝐽 = 𝑔

𝑗 +𝑔 π‘˜ + … |𝐽⟩

  • In Majorana basis
  • ො

π‘œ =

1 2 𝑂 βˆ’ 𝑗 σ𝑗 πœ”π‘—π‘€πœ”π‘—π‘†

The size superoperator

=

slide-10
SLIDE 10
  • The size superoperator can be used to compute the

full size distribution

  • π‘žπ‘š = σ𝛽 π‘šπ›½ ΰ· 

𝑃 𝐽

2

  • π’£πœˆ = 𝐽 ΰ· 

𝑃+π‘“βˆ’πœˆ ො

π‘œ ΰ· 

𝑃 𝐽 = Οƒπ‘š=0

𝑂

π‘“βˆ’πœˆπ‘šπ‘žπ‘š ΰ·  𝑃

  • For random fermionic operator
  • π’£πœˆ

π‘ π‘π‘œπ‘’ = Οƒπ‘š odd π‘“βˆ’πœˆπ‘š 𝑂

π‘š 21βˆ’π‘‚

=

1+π‘“βˆ’πœˆ 2 𝑂

βˆ’

1βˆ’π‘“βˆ’πœˆ 2 𝑂

.

Generating function

slide-11
SLIDE 11
  • Independent from details, this formalism already tells us

interesting information about operator size.

  • Consider the TFD state:
  • 𝜍 =

1 π‘Ž π‘“βˆ’π›ΎπΌ

  • π‘ˆπΊπΈ = 𝜍

1 2 = π‘Žβˆ’1 2π‘“βˆ’π›ΎπΌπ‘€ 𝐽 =

  • Size of 𝜍

1 2:

  • π‘œ 𝜍1/2 = π‘ˆπΊπΈ ො

π‘œ π‘ˆπΊπΈ = 𝑂 2 βˆ’ 𝑗 2 ෍

𝑗

π‘ˆπΊπΈ πœ”π‘—π‘€πœ”π‘—π‘† π‘ˆπΊπΈ = 𝑂 2 βˆ’ 1 2 ෍

𝑗

πœ”π‘— 𝛾 2 πœ”π‘— 0 ≑ 𝑂 2 βˆ’ 𝑂 2 𝐻 𝛾 2

General results

slide-12
SLIDE 12
  • Distance to scrambling (average size of random
  • perator π‘œβˆ— = 𝑂/2):
  • πœ€π›Ύ ≑ 1 βˆ’

π‘œ π‘œβˆ— = 𝐻 𝛾 2

  • Usually, 𝐻

𝛾 2 decays to zero

at 𝛾 β†’ ∞ βž” Size approaches

𝑂 2

  • For example, πœπ›Ύβ†’βˆž has size

𝑂 2 if

the system has unique ground state and a gap, or if the system is a CFT.

General results 1: thermal state

slide-13
SLIDE 13
  • At infinite temperature, a single fermion operator πœ“π‘—

has size 1. In our doubled language, this means ො π‘œπœ”π‘—π‘€ 𝐽 = πœ”π‘—π‘€ 𝐽

  • As a generalization, we can consider πœ”π‘—π‘€ π‘ˆπΊπΈ
  • πœ€π‘œπ›Ύ πœ”π‘— = π‘ˆπΊπΈ πœ”π‘—π‘€ ො

π‘œπœ”π‘—π‘€ π‘ˆπΊπΈ βˆ’ π‘ˆπΊπΈ ො π‘œ π‘ˆπΊπΈ = π‘ˆπΊπΈ πœ”π‘—π‘€, ො π‘œ πœ”π‘—π‘€ π‘ˆπΊπΈ .

  • Fermion anticommutation gives
  • πœ€π‘œπ›Ύ πœ”π‘— = βˆ’π‘— π‘ˆπΊπΈ πœ”π‘—π‘†πœ”π‘—π‘€ π‘ˆπΊπΈ
  • 1

𝑂 σ𝑗 πœ€π‘œ πœ”π‘— = 𝐻 𝛾 2

= πœ€π›Ύ

General results 2: single fermion excitation

π‘œβˆ— = 𝑂/2 π‘œβˆ— π‘œβˆ— 1 βˆ’ πœ€π›Ύ

slide-14
SLIDE 14
  • The effect of (chaotic) dynamics

is described by studying the size

  • f Heisenberg operators.
  • πœ€π‘œπ›Ύ[πœ”π‘— 𝑒 ] = π‘ˆπΊπΈ πœ”π‘—π‘€ 𝑒 , ො

π‘œ πœ”π‘—π‘€(𝑒) π‘ˆπΊπΈ .

  • This is related to the out-of-time-ordered correlation

function (OTOC):

  • πœ€π‘œπ›Ύ πœ”π‘— 𝑒

= Οƒπ‘˜ πœ”π‘˜

𝛾 2

πœ”π‘— πœ— + 𝑗𝑒 , πœ”π‘˜ 0 πœ”π‘— βˆ’πœ— + 𝑗𝑒

𝛾

.

  • Infinite temperature case Roberts, Streicher, Stanford ’17
  • Finite temperature XLQ-Streicher β€˜18

General results 3: Time evolution and OTOC

slide-15
SLIDE 15

Part II: SYK model

slide-16
SLIDE 16
  • 𝐼 = Οƒπ‘—π‘˜π‘™π‘š πΎπ‘—π‘˜π‘™π‘šπœ“π‘—πœ“π‘˜πœ“π‘™πœ“π‘š with Gaussian random coupling πΎπ‘—π‘˜π‘™π‘š.

(Sachdev-Ye, β€˜93, Kitaev ’15, Maldacena-Stanford β€˜16)

  • Or complex fermion model

𝐼 = Οƒπ‘—π‘˜,π‘™π‘š πΎπ‘—π‘˜π‘™π‘šπ‘‘π‘—

+𝑑 π‘˜ +π‘‘π‘™π‘‘π‘š.

  • Generalization (Maldacena-Stanford β€˜16) :

𝐼 = σ𝑗1𝑗2β€¦π‘—π‘Ÿ 𝐾𝑗1𝑗2β€¦π‘—π‘Ÿπœ“π‘—1πœ“π‘—2 … πœ“π‘—π‘Ÿ

  • Averaging over disorder
  • π‘Žπ‘œ ≃ π‘Ž

n in large 𝑂 limit.

  • Large N order parameter
  • 𝐻 𝜐1, 𝜐2 =

1 𝑂 σ𝑗 πœ“π‘— 𝜐1 πœ“π‘— 𝜐2

=

N fermions q-body interaction

Sachdev-Ye-Kitaev model

+ + + β‹―

slide-17
SLIDE 17

𝜐

Sachdev-Ye-Kitaev model

𝑀 𝑆

  • Critical correlation function (Ξ” = 1/π‘Ÿ)

πœ“π‘— 𝜐 πœ“π‘— 0 ∝ sin

𝜐 𝛾 𝜌 βˆ’2Ξ”

sgn(𝜐).

  • Real time: thermal double state

π‘ˆπΊπΈ(𝑒) = π‘Žβˆ’1

2 Οƒπ‘œ π‘“βˆ’πΉπ‘œ 𝛾 2+𝑗𝑒 π‘œ 𝑀 π‘œ 𝑆.

  • πœ“π‘—π‘€ 𝑒 πœ“π‘—π‘† 𝑒

∝ cosh

πœŒπ‘’ 𝛾 βˆ’2Ξ”

  • Chaos. Maximal Lyapunov exponent

πœ‡ = 2πœŒπ‘ˆ (Kitaev ’15, Maldacena-Stanford ’16,

Maldacena-Shenker-Stanford β€˜15)

  • (Approximately) dual to

Jackiw-Teitelboim gravity

slide-18
SLIDE 18
  • Infinite temperature case

(Roberts-Stanford-Streicher β€˜18)

  • For finite temperature, we study

the size distribution βŸ¨π‘ˆπΊπΈ π‘“βˆ’πœˆ ො

π‘œ π‘ˆπΊπΈβŸ© and

βŸ¨π‘ˆπΊπΈ πœ”π‘—π‘€π‘“βˆ’πœˆ ො

π‘œπœ”π‘—π‘€ π‘ˆπΊπΈβŸ©

  • π‘ˆπΊπΈ π‘“βˆ’πœˆ ො

π‘œ π‘ˆπΊπΈ ≑ π‘Žπœˆ is a

partition function of SYK with twisted boundary condition

Operator growth in the SYK model

πœ” 𝛾 4 + πœ— = cosh 𝜈 πœ” 𝛾 4 βˆ’ πœ— βˆ’ sinh 𝜈 πœ” 3𝛾 4 βˆ’ πœ—

slide-19
SLIDE 19
  • Two-point function with 𝜈 term can be obtained by

Schwinger-Dyson equation

  • 𝐻 = πœ–πœ βˆ’ Σ𝜈

βˆ’1

Σ𝜈 𝜐1, 𝜐2 = 𝐾2π’£πœˆ

π‘Ÿβˆ’1 𝜐1, 𝜐2 .

  • Note that

π’£πœˆ 𝜐1, 𝜐2 = π‘ˆπΊπΈ πœ”π‘—π‘€ 𝜐1 π‘“βˆ’πœˆ ො

π‘œπœ”π‘—π‘€ 𝜐2 π‘ˆπΊπΈ

βŸ¨π‘ˆπΊπΈ π‘“βˆ’πœˆ ො

π‘œ π‘ˆπΊπΈβŸ©

  • This is a ratio of two generating functions. Expansion of

π’£πœˆ = σ𝑛 π‘“βˆ’πœˆπ‘›πΏπ‘› Coefficient 𝐿𝑛 satisfies

  • π‘žπ‘š πœ”π‘— 𝑒 𝜍

1 2 = σ𝑛 𝐿𝑛 π‘žπ‘šβˆ’π‘› 𝜍 1 2 .

  • 𝐿𝑛 is the β€œtransition probability”

that the fermion operator increases size of 𝜍

1 2 by 𝑛

Operator growth in the SYK model

slide-20
SLIDE 20
  • In large π‘Ÿ, the Schwinger-Dyson equation simplifies

πœ–πœ βˆ’

𝐾2 π‘Ÿ Gqβˆ’1 βˆ— G = 𝕁,

  • 𝐻 = 𝐻0𝑓

𝑕 π‘Ÿ, βž” Liouville equation πœ–πœ1πœ–πœ2𝑕 = βˆ’2𝐾2𝑓𝑕

  • Define 𝜈 =

ෝ 𝜈 π‘Ÿ , ො

𝜈 changes the boundary condition of 𝑕

Large-q solution

𝜐1 𝜐2

slide-21
SLIDE 21

Large-q solution

  • Size of thermal state
  • π‘œ 𝜍

1 2 =

𝑂 2 1 βˆ’ πœ€π›Ύ ,

  • πœ€π›Ύ =

𝛽 𝒦

2 π‘Ÿ

  • At low temperature 𝛽 ≃

𝜌 𝛾.

  • Fermion size πœ€π‘œπ›Ύ πœ”1 𝑒

= 1 + 2

𝒦 𝛽 sinh 𝛽𝑒 2

  • Lyapunov exponent 2𝛽
  • Consistency at 𝑒 β†’ 0: conjecture

πœ€π‘œπ›Ύ πœ”1 𝑒 = πœ€π›Ύ 1 + 2

𝒦 𝛽 sinh 𝛽𝑒 2

.

slide-22
SLIDE 22
  • Full size distribution can be
  • btained by expanding π’£πœˆ
  • The entire distribution is the

same as infinite temperature case except a renormalization

  • f parameter sinh 𝒦𝑒 β†’

𝒦 𝛽 sinh 𝛽𝑒

Large-q solution

∝ 𝑓

βˆ’4 π‘Ÿπ›½π‘’ exp βˆ’ 2𝛽

𝒦

2

π‘“βˆ’2π›½π‘’π‘œ

slide-23
SLIDE 23
  • At large 𝛾𝐾, the dynamics of the SYK model can be

described by reparameterization modes 𝑔 𝜐 , defined by 𝐻𝑔 𝜐1, 𝜐2 = 𝑔′ 𝜐1 𝑔′ 𝜐2

Δ𝐻𝑇 𝑔 𝜐1 , 𝑔 𝜐2

  • Effective theory describes the breaking of

reparameterization symmetry.

  • Schwarzian action 𝑇 =

𝑂 𝐾 𝛽 Χ¬ 𝛾 π‘’πœ Sch tan 𝜌 𝛾 𝑔 𝜐

, 𝜐

  • Preserves SL(2,R) gauge symmetry
  • Bulk picture 𝑇 = 𝑂𝛽(𝑀 βˆ’ 𝐡). 𝑀 = 𝛾𝐾,

maximize 𝐡.

Low temperature solution

A

slide-24
SLIDE 24
  • π‘“βˆ’πœˆ ො

π‘œ term adds an interaction

between the time 𝜐 = 0 and 𝜐 =

𝛾 2 .

  • πœ€π‘‡ ∝ 𝑂 πœ”

𝛾 2 πœ” 0 𝑔

= 𝑂 cosh 𝐸Δ

  • Solution: two arcs (similar to

Gu, Lucas XLQ β€˜17)

  • Analytic continuation 𝜐1 β†’ πœ— + 𝑗𝑒1,

𝜐2 β†’ βˆ’πœ— + 𝑗𝑒2 to determine π’£πœˆ 𝑒1, 𝑒2 .

Low temperature solution

A

𝜐1 𝜐2

(Yingfei Gu, Yuri Lensky, XLQ, Pengfei Zhang, in progress)

slide-25
SLIDE 25
  • For 𝑒1 = 𝑒2,
  • Schwarzian
  • Large π‘Ÿ
  • Agreement for long time requires to take the UV

cutoff πœ— =

𝜌 𝛾𝐾, and small ො

𝜈 = π‘Ÿπœˆ β‰ͺ 1

Low temperature solution

(𝛽 ≃ 𝜌 + π‘‘πœˆ)

slide-26
SLIDE 26

Part III: Holographic dual theory

slide-27
SLIDE 27
  • The SYK is approximately dual to Jackiw-Teitelboim

gravity coupled with matter fields.

  • Gravitational dynamics Repara. Modes
  • Matter field Conformal fields
  • In particular, fermion

πœ“π‘—π›½ 𝜍, 𝑒 πœ”π‘—(𝑒)

  • Bulk fermion mass

𝑛 = Ξ” βˆ’

1 2 = 1 π‘Ÿ βˆ’ 1 2.

  • HKLL construction

πœ“π‘—π›½ 𝜍, 𝑒 = Χ¬

π‘’βˆ’ 𝑒+ 𝑒𝑒′𝐿𝛽 𝜍, 𝑒 βˆ’ 𝑒′ πœ”π‘— 𝑒′ .

  • Size of πœ“π‘—π›½ 𝜍, 𝑒 can be computed.

The dual theory: bulk operator size

Yingfei Gu, Yuri Lensky, XLQ, Pengfei Zhang, in progress

slide-28
SLIDE 28
  • Generating function
  • π’£πœˆ

𝐢 𝜍, 𝑒 ≑ π‘ˆπΊπΈ πœ“π‘—π›½ 𝜍,𝑒 π‘“βˆ’πœˆΰ·

π‘œπœ“π‘—π›½ 𝜍,𝑒 π‘ˆπΊπΈ

π‘ˆπΊπΈ π‘“βˆ’πœˆΰ·

π‘œ π‘ˆπΊπΈ

= Χ¬ 𝑒𝑒1𝑒𝑒2𝐿𝛽 𝜍, 𝑒 βˆ’ 𝑒1 𝐿𝛽 𝜍, 𝑒 βˆ’ 𝑒2 β‹… π‘ˆπΊπΈ πœ”π‘— 𝑒1 π‘“βˆ’πœˆ ො

π‘œπœ”π‘— 𝑒2 π‘ˆπΊπΈ

π‘ˆπΊπΈ π‘“βˆ’πœˆ ො

π‘œ π‘ˆπΊπΈ

= Χ¬ 𝑒𝑒1𝑒𝑒2𝐿𝛽 𝜍, 𝑒 βˆ’ 𝑒1 𝐿𝛽 𝜍, 𝑒 βˆ’ 𝑒2 π’£πœˆ 𝑒1, 𝑒2

  • Simplification: contribution is dominated by the light

cone 𝑒 = 𝑒±

  • π’£πœˆ

𝐢 𝜍, 𝑒 = 1 2 π’£πœˆ 𝑒+, 𝑒+ + π’£πœˆ π‘’βˆ’, π‘’βˆ’

Β± 𝑆𝑓 π’£πœˆ 𝑒+, π‘’βˆ’

The dual theory: bulk operator size

slide-29
SLIDE 29
  • Bulk fermion size is almost determined by the size of

boundary fermions at 𝑒±.

  • Approximately,
  • π‘œ =

𝛾𝐾 2 2𝜌2

cosh 𝑒 coth 𝜍 βˆ’ 1 +

𝛾𝐾 2𝜌 cosh 𝜍 βˆ’ sinh 𝜍 cosh 𝑒 + 𝑃

𝛾𝐾 0 .

  • Size grows exponentially along radial

and temporal direction with proper distance.

  • Operator size diverges near the horizon
  • The calculation only applies to 𝑒± < π‘’βˆ—

(before scrambling time)

The dual theory: bulk operator size

slide-30
SLIDE 30
  • Operator size growth characterizes chaos (at early time)
  • The same general results apply to qubit systems.
  • SYK model operator size growth

can be computed for low temperature or large π‘Ÿ

  • Size growth of bulk operator

provides an interpretation of emergent bulk direction 𝜍

  • Generalization to global AdS2?
  • Does the size of bulk operator

depend on the representation?

  • Relation to other works, such as
  • A. Brown et al 1804.04156

Conclusion and further discussion

slide-31
SLIDE 31

Thanks!