Impact Factor 2.638 | CiteScore 2.3
More on impact ›

Original Research ARTICLE

Front. Phys., 19 November 2020 | https://doi.org/10.3389/fphy.2020.00262

Complexity and Newton's Laws

  • Stanford Institute for Theoretical Physics and Department of Physics, Stanford University, Stanford, CA, United States

In a recent note [1], I argued that the holographic origin of ordinary gravitational attraction is the quantum mechanical tendency for operators to grow under time evolution. In a follow-up [2] the claim was tested in the context of the SYK theory and its bulk dual—the theory of near-extremal black holes. In this paper I give an improved version of the size-momentum correspondence of [2], and show that Newton's laws of motion are a consequence. Operator size is closely related to complexity. Therefore, one may say that gravitational attraction is a manifestation of the tendency for complexity to increase. The improved version of the size-momentum correspondence can be justified by the arguments of Lin et al. [3] constructing symmetry generators for the approximate symmetries of the SYK model.

1. Preliminary Remarks

What is it that takes place in the holographic representation of a theory when an object in the bulk is gravitationally attracted to a massive body? Consider a holographic theory representing a region of empty space. By operating with a simple boundary operator ψ, a particle can be introduced into the bulk. As the particle moves away from the boundary the operator ψ evolves with time,

ψ(t)=e-iHtψeiHt,    (1.1)

and becomes increasingly complex. If expanded in simple boundary operators the average number of such operators will increase and one says the size of the operator grows [4]. A closely related fact is that the complexity of ψ(t) grows. We might expect that the complexity is a good holographic indicator of how far from the boundary the particle is located. However, there is more to the particle than just its location; we may want to know how its momentum or velocity is encoded in the evolving operator ψ(t). The size or complexity is not enough to determine both its distance from the boundary and its momentum.

Let's say that the particle is moving away from the boundary so that the size is increasing. It seems plausible that velocity is related to the rate of change of size. This is oversimplified but it roughly captures the idea that size, and its rate of change, holographically encode the motion of the particle.

Now suppose there is a heavy mass at the center of the bulk region. The gravitational pull of the heavy mass will accelerate the particle away from the boundary. We may expect that the growth of ψ—both its size and complexity—will be accelerated relative to the empty case. Thus, it is plausible that the holographic representation of gravitational attraction has something to do with the tendency for operators to grow and become more complex [1]. Gravity accelerates that tendency.

In [2], the SYK model and its bulk dual, which in many ways resembles the theory of near-extremal Reissner-Nordstrom (NERN) black holes, provided a testing ground for this hypothesis. In this paper I will continue the line of reasoning of [2]. A connection between the evolution of complexity and Newton's second and third laws of motion, as well as Newton's law of attraction, will be derived:

• Newton's second law is summarized by the familiar equation,

F=ma    (1.2)

or its generalization,

F=dPdt.    (1.3)

• Newton's third law—the law of action and reaction—says that the force exerted by A on B is equal and opposite to the force exerted by B on A.

• Newton's law of attraction,

F=mMGr2    (1.4)

My arguments are a heuristic mix of quantum information and gravitation and involve some guesswork, but a more formal basis has been found by Lin et al. [3]. In section 7, I'll briefly explain the connection insofar as I understand it.

Note on Size and Complexity

The size of an operator is roughly the average number of elementary constituent degrees of freedom that appear in the expansion of the operator. While in general it is a somewhat imprecisely defined notion, in the SYK context in which we will be working it can be very precisely defined in terms of the average number of fermions in the operator [4]. Some care is needed in order to define size at finite temperature. The concept of temperature-dependent size that I will use in this paper is due to Qi and Streicher [5]. Size and complexity are logically different concepts but for reasons that will become clear, over the time period relevant for this paper the two are essentially indistinguishable. In order to minimize notation, and to avoid confusing size with entropy, I will use the symbol C to represent both. The quantitative equivalence of size and complexity continues for times of order the scrambling time, but by then the connection between size and the motion of an infalling particle breaks down as the particle reaches the stretched horizon.

If the considerations of this paper are to be useful, it will be necessary to generalize the concept of size to more general cases, in particular to higher dimensional gauge-gravity dualities. At the present time I do not know of any precise definition of size in strongly coupled CFTs. This is a serious hole in our knowledge that I hope will be filled.

Numerical Coefficients

Many of the equations in this paper are correct up to numerical factors relating SYK quantities to NERN quantities. These factors are in-principle computable using numerical SYK techniques, and depend on the locality parameter q. I will use the symbol ≈ to indicate that an equation is correct up to such numerical factors.

2. Near-Extremal Black Holes

The bulk dual of the SYK model is usually taken to be a version of the (1 + 1)-dimensional Jackiw-Teitelboim dilaton-gravity system. But that description (of a system with no local degrees of freedom) does not do justice to the spectrum of excitations of the SYK system. In many ways SYK is similar to the long throat of a near-extremal charged black hole whose geometry is approximately AdS2×S2. Unlike pure JT gravity SYK contains matter that can propagate in the throat as it would in the NERN geometry, and the properties of quantum-complexity are not well described by the simple dilaton-gravity system [6]. For these reasons I prefer the language of NERN black holes although no exact SYK/NERN correspondence is known.

To keep the paper self-contained, in this section I will review near-extremal black holes, and then in section 3, the dictionary relating SYK and near-extremal black holes will be explained. I will closely follow the discussion of NERN black holes in [2].

The metric of the (3 + 1)-dimensional Reissner-Nordstrom black hole is,

 ds2=-f(r)dt2+dr2f(r)+r2dΩ2f(r)=(1-r+r)(1-r-r).    (2.1)

The inner (−) and outer (+) horizons are located at,

r±GM±G2M2-GQ2.

Define

(r+-r-)=δr.    (2.2)

The temperature is given by,

T=1β=14π(r+-r-r+2).    (2.3)

or

T=1β=δr4πr+2    (2.4)

The extremal limit is defined by Q2 = GM2 at which point the horizon radii are equal, r+ = r. Our interest will be in near-extremal Reissner-Nordstrom (NERN) black holes, for which

δr<<r+.

In the NERN limit the temperature is small (β ≫ r+) and the near-horizon region develops a “throat” whose length is much longer than r+. The throat is an almost-homogeneous cylinder-like region in which the gravitational field is uniform over a long distance.

2.1. The Geometry of the Throat

The exterior geometry consists of three regions shown in Figure 1.

• The Rindler region is closest to the horizon where the geometry closely resembles the Schwarzschild black hole with the same entropy. It is defined by,

r+<r 2r+-r-    (2.5)

The Rindler region has proper length ~ r+ which means that it's about as long as it is wide.

The gravitational field (i.e., the proper acceleration α=rf(r) required to remain static at fixed r) grows rapidly near the horizon. While the quantity (1-r+r) varies significantly in the Rindler region, (1-r-r) is essentially constant.

• Proceeding outward, the next region is the throat defined by

2r+-r-  r  2r+    (2.6)

The throat is long and of almost constant width. The geometry in the throat region is approximately AdS2×S2, and the gravitational field is almost constant. The throat ends at r = 2r+, which we will soon see is the location of a potential barrier which separates the throat from the far region. The throat is a feature of charged black holes and is absent from the Schwarzschild black hole.

For most purposes the geometry in the throat can be approximated by the extremal geometry with r+ = r.

The proper length of the throat is,

Δρ2r+-r-2r+drf

giving

Δρ=r+log2πβr+.    (2.7)

We will assume that log(2πβr+)>>1 which means that the throat is much longer than it is wide.

• Next is the far region where

(1-r-r)~(1-r+r)~1.

The far region lies beyond r = 2r+. The far region will not be of much interest to us. We will cut it off and replace it by a boundary condition at r = 2r+.

FIGURE 1
www.frontiersin.org

Figure 1. The three regions outside a near-extremal charged black hole. Unlike for uncharged black holes, there is now a “throat” separating the Rindler and far regions.

2.2. The Black Hole Boundary

The black hole is effectively sealed off from the far region by a potential barrier. Low energy quanta in the throat are reflected back as they try to cross from the throat to the far region, or from the far region to the throat. The barrier height for a NERN black hole is much higher than the temperature and provides a natural boundary of the black hole region. It may be thought of as the holographic boundary in a quantum description. It is also the so-called Schwarzian boundary that appears in current literature on SYK theory [79]. The boundary will play an important role in this paper.

The S-wave potential barrier has the form

V(r)=r(f2)4r

and for a NERN black hole it is given by,

V(r)=r+(rr+)3r6.    (2.8)

The width of the barrier in proper distance units is of order r+ and for near extremal RN it is much narrower than the length of the throat. It therefore forms a fairly sharp boundary separating the black hole from the rest of space.

At the top of the barrier the potential is,

Vtop=(18r+)2J2    (2.9)

where J is the scale of energy in the SYK theory (see section 3). The units of V are energy-squared rather than energy. For a particle to get over the barrier (without tunneling) its energy must be at least Vtop. This is much higher than the thermal scale and for that reason the barrier is very effective at decoupling the black hole, including its thermal atmosphere, from the far region. Another relevant point is that a particle that starts at rest at the top of the potential has energy of order 1r+J.

The top of the potential barrier serves as an effective boundary of the black hole. It occurs at,

r=2r+    (2.10)

We may eliminate reference to the entire region beyond the boundary and replace it by a suitable boundary condition1 on the time-like surface at which r = 2r+. This is accomplished by the introduction of a boundary term in the gravitational action.

We define a radial proper-length coordinate ρ measured from the black hole boundary2,

ρ=rrbdrf(r)    (2.11)

In the throat r and ρ are related by,

r-r+r+=e-ρ/r+    (2.12)

At the boundary ρ = 0, and at the beginning of the Rindler region ρ = r+ log (β/r+). Note that ρ has a large variation over the throat region which makes it a more suitable radial coordinate than r which hardly varies at all.

The black hole boundary, defined as the place where r = 2r+, is not a rigid immovable object. Fluctuations or dynamical back reaction can change the metric so that the distance from the horizon to the boundary varies. This can be taken into account by allowing the boundary to move from its equilibrium position at ρ = 0.

In Figure 2, a Penrose diagram for a two-sided NERN black hole is shown along with the trajectories of the boundary and the regions beyond the boundary. The left-side boundary is shown in its static equilibrium position but on the right side the dynamical nature of the boundary is illustrated.

FIGURE 2
www.frontiersin.org

Figure 2. Penrose diagram for a NERN black hole. The curved lines represent the trajectory of the black hole boundary at r = 2r+. On the left side the boundary is shown in its equilibrium location while on the right it is moving in reaction to some matter.

The equation of motion of the boundary is generated by the Hawking-Gibbons-York boundary term (Schwarzian action in SYK literature) needed to supplement the Einstein-Maxwell action in the presence of a boundary. For small slow perturbations the boundary motion is non-relativistic with a large mass of order S/r+ (S is the black hole entropy). The mass of the boundary is of order the mass of the black hole itself3. Using the SYK-NERN dictionary in section 3 we see that the boundary mass is,

MBJN.    (2.13)

2.3. Particle Motion in the Throat

Consider a particle dropped at t = 0 from ρ = 0, i.e., from the top of the potential as in Figure 3. The energy of the particle is ~ 1/r+, which corresponds to an energy J in the SYK theory [2].

FIGURE 3
www.frontiersin.org

Figure 3. A particle is introduced at the top of the potential, and subsequently rolls down the potential.

Under the influence of a uniform gravitational field it accelerates4 toward the horizon. Supplementary Material works out the equation of motion for the particle, and one finds that the force is constant throughout the throat. The momentum increases linearly with time.

So far a small but important effect has been ignored. There is a back reaction that occurs when the particle falls off the potential. The potential exerts a force on the particle, which in turn exerts an equal and opposite force on the boundary. The result is that the boundary recoils with a small velocity. [With some effort this can be seen in the Schwarzian analysis [9]]. This recoil, illustrated in Figure 4, will be important later.

FIGURE 4
www.frontiersin.org

Figure 4. The boundary recoils when the particle is accelerated. At all times the particle and the boundary have equal and opposite momentum.

Once the particle falls off the potential it quickly becomes relativistic. In the throat region its trajectory is given by

dt=1fdρ     =r+(r-r+)dρ     =eρ/r+dρ    (2.14)

Thus, the particle trajectory satisfies,

t=r+(eρ/r+-1)    (2.15)

or

ρ(t)=r+log(tr+r+)    (2.16)

The total time to fall from ρ = 0 to the beginning of the Rindler region is β. During that time the distance traveled is

Δρ=r+log(2πβr+).    (2.17)

2.4. Schwarzschild r in Terms of ρ

Let's consider the relation between the Schwarzschild coordinate r and the proper coordinate ρ. To a very good approximation, in the throat we can assume r+ = r and that r is constant. The emblackening factor

(r-r+r)(r-r-r)

may be replaced by its extremal value

f(r)(r-r+r+)2    (2.18)

Recall that ρ is the proper distance measured from the boundary at r = 2r+,

dρ=drf(r)     =r+drr-r+   ρ=r+log(r+r-r+)    (2.19)

or,

rr+r+=eρ/r+    (2.20)

2.5. Surface Gravity and β~

The so-called surface gravity κ will play an important role in what follows. At the horizon the surface gravity is related to the temperature of the black hole by,

T=12π κhorizon.    (2.21)

More generally it is defined at any radial position r by

κ~(r)=12dfdr=r+(r-r-)+r-(r-r+)2r3    (2.22)

which in the throat is approximated by,

κ~(r)=r-r+r+2    (2.23)

The purpose of the tilde notation is to indicate a local quantity, i.e., one that may vary throughout the throat. Corresponding variables without the tilde indicate the value of the quantity at the horizon. We may also define T~ and β~ by,

T~=12πκ~=12πr-r+r+2β~=1T~=2πr+2r-r+    (2.24)

(Except at the horizon the quantity T~ is not a real temperature. It is a useful quantity defined by 2.23 and 2.24 whose importance will become clear.)

In the throat let's express β~ in terms of ρ. Using 2.16, 2.20, and 2.24,

T~(ρ)=12πr+e-ρ/r+

and,

β˜(ρ)=2πr+eρ/r+.    (2.25)

At ρ = 0, β~ is given by

β~=2π r+J-1         (ρ=0)    (2.26)

At the Rindler end of the throat where ρ = r+ log (β/r+), β~ is given by

β~=β                  (ρ=β)    (2.27)

By following the trajectory of the infalling particle 2.15, and using 2.25 we find that β~ grows according to,

β˜(t)=2π(t+r+)    (2.28)

As the Rindler region is approached β~ stops increasing and remains at β until the horizon is reached.

3. SYK/NERN Dictionary

We can only go so far in understanding the quantum mechanics of NERN black holes without having a concrete holographic system to analyze. That brings us to the well-studied SYK model. In this section the SYK/NERN dictionary is spelled out.

3.1. Qualitative Considerations

We'll begin with qualitative aspects of the SYK/NERN dictionary and then attempt to determine more precise numerical coefficients in the next subsection. The two-sided arrows in this subsection indicate qualitative correspondences.

• The overall energy scale of the SYK model is called J. Its inverse 1J is a length scale which corresponds to the Schwarzschild radius r+. In the SYK model acting with a fermion operator ψ adds an energy ≈ J. On the NERN side dropping a particle from the top of the barrier adds energy ≈ 1/r+. Thus it makes sense to identify the process of dropping a particle from the black hole boundary, with acting with a single fermion operator.

1/r+J    (3.1)

• A single boundary fermion operator in SYK has size 1 corresponding the assumption of [2] that the initial size of the operator that creates the particle at the top of the barrier is also 1.

  size of 1 fermionsize of initial particle.      (3.2)

• Up to a numerical factor ≈1, the zero temperature extremal entropy of SYK is the number of fermion degrees of freedom N.

S0N    (3.3)

• The 4-dimensional Newton constant can be obtained from the entropy formula,

S0=πr+2/G

Using 3.1 and 3.3 gives,

G1J2N    (3.4)

• The SYK theory does not have sub-AdS locality (locality on scales smaller than r+). It is comparable to a string theory in which the string scale is of order r+ or 1/J.

• The black hole mass is r+/G. This translates to,

MNJ.    (3.5)

• Many of the detailed coefficients that appear in the subsequent formulas are dependent on q, the SYK-locality parameter that determines the number of fermion operators in each term in the Hamiltonian. For the most part I will treat q as a constant of order unity and not try to track the q-dependent details.

The literature on the bulk dual of SYK theory [8, 9, 11] has its own conventions and notations which are not the standard ones used for NERN black holes. Here I'll add to the dictionary the translation between the two.

• The dynamical boundary of SYK (described by the Schwarzian action) corresponds to the NERN black hole boundary, i.e., the top of the barrier where the throat meets the far region. The action governing the motion of the boundary is the Gibbons-Hawking-York boundary action.

GHY  Schwarzian    (3.6)

• The dilaton field ϕ in [8, 9, 11] is related to the area of the transverse geometry at a given radial position,

ϕ=4πr2.    (3.7)

• The time coordinate used in the SYK literature is called u. It is the proper time measured at the boundary. We may identify it with the proper time at the top of the potential barrier at r = 2r+.

The time coordinate t used in this paper is the asymptotic Schwarzschild time coordinate for the NERN black hole. The relation between u and t is,

f(r)|2r+ dt2=du2.    (3.8)

For NERN black holes f(r)|2r+ = 1/4, from which it follows that,

t=2u.    (3.9)

3.2. Quantitative Considerations

In some cases the numerical coefficients appearing in the various correspondences have been studied and allow more quantitative correspondences. I'll give some examples here, but I won't keep track of these coefficients in subsequent sections.

The specific heats of the SYK model and the NERN black hole can both be computed. On the NERN side the calculation is analytic and yields,

c=dMdT=4π2Gr+2T    (3.10)

For SYK the calculation was done in [7]. The result is,

c=4π2αs(q)NJT    (3.11)

where αs(q) is a numerically computed function of the SYK locality parameter q. For q = 4 αs = 0.007 and for large q it decreases ~ 1/q2.

Setting 3.10 and 3.11 equal, we find the relation,

αsNJ=r+3G.    (3.12)

Let λ and p be dimensionless coefficients defined by,

G=λJ2N    (3.13)

and

r+=pJ.    (3.14)

Plugging 3.13 and 3.14 into 3.12 gives one relation between p and λ,

αs=p3λ.    (3.15)

Another relation can be found by considering the entropy of SYK and the NERN black hole. On the NERN side we use the Bekenstein-Hawking formula which gives,

S=πr+2G.    (3.16)

On the SYK side reference [7] Stanford and Maldacena computed the near extremal entropy:

S=d(q)N.    (3.17)

where d(q) is another numerically computed function of q which varies from d(4) =.23 to d(∞) = 0.35.

Combing 3.16 and 3.17 with 3.13 and 3.14 gives another equation for p and λ,

πp2λ=d.    (3.18)

The two relations 3.15 and 3.18 yield the following expressions for λ and p,

λ=π3αs2d3p=παsd    (3.19)

Thus, we find the following correspondences,

r+=(παsd)1J    (3.20)
G=(π3αs2d3)1NJ2.    (3.21)

For q = 4 the numerical values of αs and d are,

αs=0.007  d=0.23    (3.22)

giving,

r+=.10J    (3.23)

and

G=.12NJ2    (3.24)

Now let's return to the problem of a light particle dropped from the top of the potential 2.9 and estimate its energy ϵ. The height of the barrier is

Vtop=1/8r+J.

We may compare this energy with the energy added to the SYK ground state by applying a single fermion operator ψ (In other words it is the energy associated with a size 1 perturbation). This energy is expected to be of order J and to have some smooth q dependence. It is given by,

ϵ(q)J=1Z(β)TrH(2ψe-βHψ-e-βH)    (3.25)

where the average 〈…〉 indicates disorder average. (The factor of 2 in the first term is present because of the SYK convention that ψ2 = 1/2).

4. Growth of Size

Consider applying a single fermion operator at time t = 0. The operator evolves in time according to,

ψ(t)=e-iHtψeiHt.    (4.1)

and becomes a superposition of many-fermion operators [4, 5]. The average number of Fermions at time t is the size. The evolution is described by Feynman-like diagrams which, up to the scrambling time, grow exponentially [4, 5]. At each stage the average number of fermions increases by common factor. The process resembles an exponentially expanding tree as shown in Figure 5.

FIGURE 5
www.frontiersin.org

Figure 5. Tree-like operator growth. The size at any circuit-depth is the final number of fermions while the complexity is the number of vertices in the diagram. In this figure the size is 81 and the complexity is 40. The complexity at the next step would be 40 + 81 = 121. The time scale for a unit change in depth is Δt. In general Δt may itself be time dependent.

It is similar to the evolution of a quantum circuit and it is natural to define a circuit depth. In general the circuit depth may not unfold uniformly with time. For example, if for some reason the computer runs at a variable time-dependent rate, the size will grow exponentially with depth but not necessarily with time. The time associated with a unit change in circuit depth is defined to be Δt and it may be time-dependent. This type of time-dependence occurs in the evolution of size at low temperature [5].

We can express this in terms of a rate of growth R,

R(t)d log C(t)dt         =1Δt    (4.2)

The exponential growth as a function of circuit depth (for time less than the scrambling time) is the reason that size and complexity are proportional to each other. One may think of the size at a given depth as the number of “leaves” of the tree, and the complexity as the integrated number of vertices up to that point. Because the tree grows exponentially, the number of leaves and the number of vertices are proportional, and with some normalization (of complexity) the size and complexity can be set equal.

4.1. Infinite Temperature

Roberts et al. [4] have calculated the time dependence of size at infinite temperature and find,

C(t)~e2Jt.    (4.3)

Roberts, Stanford, and Streicher give a more detailed formula,

C(t)=1+2 sinh2(Jt)    (4.4)

Apart from a brief transient the size grows exponentially. Dropping the 1 which is unimportant, the rate R(t) is

R(t)=1C(t)dC(t)dt         =JcoshJtsinhJt    (4.5)

which after a short time J−1 tends to

RJ    (4.6)

We may restate this in terms of Δt,

ΔtJ-1         (T=).    (4.7)

4.2. Low Temperature, T << J

At very low temperatures the pattern is quantitatively different. According to Qi and Streicher the size for low T is given by,

C(t)=1+2J2β2π2sinh2(πtβ)    (4.8)

Early on the rate is comparable to the infinite T case,

1CdCdtJ             (Jt~1)    (4.9)

but after a time β/2π (at which the infalling particle has reached the Rindler region) the rate has slowed to

1CdCdt=2πβ             (β/2π<t<t*)    (4.10)

Our interest will lie in the throat region during time period between t = 0 and t = 2πβ, where the rate is time-dependent, varying from ≈ J to 2π/β. In fact the rate is not so much time-dependent as it is position dependent. To understand the rate in more detail [5] we consider a particle falling from the black hole boundary. The particle falls along a trajectory ρ(t). The time dependence of the growth rate is really ρ-dependence: the rate depends on t only through the position ρ.

Let κ(ρ) be the surface gravity at position ρ,

κ(ρ)12rf(r)    (4.11)

and let β~ be,

β~(ρ)=2π/κ(ρ).    (4.12)

At the horizon the surface gravity is related to the temperature of the black hole,

T=12π κhorizon.    (4.13)

and β~horizon to the inverse temperature,

β~horizon=β    (4.14)

The obvious guess for the interpolation between 4.9 and 4.10 is,

1CdCdt=2πβ~.

This is correct in the Rindler region but in the throat it is off by a factor of 2. Consistency between the Qi-Streicher formula and 2.28 requires,

1CdCdt~4πβ˜    (4.15)

or in terms of Δt,

Δt=β~(ρ)4π.    (4.16)

5. Momentum-Size Correspondence

5.1. Formulation

In [2], it was proposed that the holographic dual to the momentum of an infalling particle is related to the size (or complexity) of the operator that created the particle. By itself this is not dimensionally consistent. One needs a quantity with units of length to multiply the momentum in order to get a dimensionless size. For a Schwarzschild black hole there is only one length scale, the Schwarzschild radius, which is proportional to β/2π. Thus,

Cβ2πP,    (5.1)

(the factor of proportionality being q-dependent). However, in the NERN case this cannot be the right relation. Pick a point ρ0 a fixed distance from the boundary. If the temperature is sufficiently low the geometry between ρ = 0 and ρ = ρ0 is extremely insensitive to β and the growth up to that point should also be insensitive to β. But equation 5.1 implies that C0) blows up as T → 0.

The formula used in [2] was originally suggested by Ying Zhao. It is obtained by replacing equation 5.1 by a local version,

β˜4πPC.    (5.2)

From 5.2 one sees that complexity (or size) is not in one to one relationship with either position (ρ) or momentum (P) but it is a combination of both variables. For fixed position the complexity is proportional to momentum, but for fixed momentum the complexity increases the deeper the particle is into the throat. I will not repeat the argument here but just remark that in [2] it was shown that 5.2 gives an accurate account of the evolution of size, reproducing a non-trivial result of [12]. As we'll now see, it is also agrees with the calculations of [5].

5.2. Qi-Streicher Formula

Qi and Streicher [5] have made a first-principles calculation of the growth of a single fermion operator ψ at finite temperature 1/β in the SYK theory. As time evolves the complexity of ψ(t) grows until the scrambling time t*. Between t = 0 and t = t* Qi and Streicher find5,

C(t)=1+2J2β2π2sinh2(πtβ)    (5.3)

Let us compare 2.28,

β~(t)=2π(t+r+)

with the SYK calculation of Qi-Streicher. We first note from 4.15 that for t > r+,

2πβ~~d log C(t)dt.    (5.4)

The first term in the Qi-Streicher formula 5.3 is unimportant. We may write,

C(t)=2J2β2π2sinh2πt/β.

and

d log Cdt=2πβtanh-1πt/β.    (5.5)

Using 5.4 we find,

β˜~βtanh(πt/β)    (5.6)

For r+ < t < β/2π this gives β~~2πt in agreement with 2.28.

Actually this is accurate for almost the entire passage through the throat. The ratio

β tanh (πt/β)πt

is close to 1 as long as πt/β < 1. (Note (tanh.3.3)=0.97) In terms of ρ this means until,

ρ=r+ log β/r+-r+log(π)   =Δρ-r+log(π)    (5.7)

where Δρ is the length of the throat (see Figure 1). In other words there is very good agreement between the Qi-Streicher formula, and the rate 4.15 conjectured in [2], over the entire throat, right up to the start of the Rindler region. The agreement continues to be qualitatively good into the Rindler region. The discrepancy by the time the particle has reached a Planck distance from the horizon is less than a factor of 2.

There is a striking similarity between 5.3 and the infinite temperature formula 4.4 but quantitatively they are quite different. From 4.4 we see that at T = ∞ the size quickly tends to the exponential form eJt. The quadratic growth only persists for a very short time of order 1/J. This shows the lack of a throat region.

By contrast, in the low T limit the quadratic growth last for a time of order β which is much greater than 1/J, demonstrating the existence of the long throat.

6. Newton's Equations for Complexity

6.1. Complexity and Momentum

Now we come to the main point, the relation between the evolution of complexity and Newton's equations of motion. Let us compare 4.15,

dCC (4πdtβ~(t))

and 5.2,

β~4πPC.

Eliminating β~ we find a relation6

PdCdt    (6.1)

between a dynamical quantity P, and an information-theoretic quantity, complexity:

The momentum of an infalling particle created by ψ is proportional to the rate at which the complexity of the precursor ψ(t) grows.

The numerical constant relating the two sides of 6.1 is connected with the coefficient ϵ in the additional energy of applying a fermion operator the SYK low temperature state ground state.

Equation (6.1) resembles the ordinary non-relativistic relation between momentum and velocity. One might be tempted to think that dCdt is proportional to the spatial velocity of the infalling particle, but the simple proportionality of momentum and velocity is only valid for non-relativistic motion. The infalling particle however quickly becomes relativistic.

Nevertheless let's proceed to time-differentiate [6.1],

dPdtd2Cdt2.    (6.2)

We next use the fact that the rate of change of momentum is the applied force,

Fd2Cdt2.    (6.3)

In Supplementary Material, the force F on an infalling particle in the gravitational field of a NERN black hole is calculated using the standard Lagrangian formulation of particle mechanics. It is explicitly shown to agree with d2Cdt2 as calculated from the Qi-Streicher formula—the formula being a pure SYK relation whose derivation does not explicitly involve particle mechanics. This and the interpretation of 6.3 as Newton's equation of motion (despite the comment just before Equation 6.2) are the principle results of this paper.

6.2. Toy Model

Equation (6.3) looks temptingly like Newton's equation F = ma for a non-relativistic particle in a uniform gravitational field but for the reason stated above, it does not make sense to identify that particle with the relativistic infalling particle. To understand what is going on consider a toy model. Two balls, B and b are shown in Figure 6.

FIGURE 6
www.frontiersin.org

Figure 6. Toy model involving a big and little ball. The big ball represents the boundary and little ball represents the particle. The big ball remains non-relativistic while the little ball quickly become relativistic.

One—the big-ball B—is very heavy with mass MB and the other—little-ball b—is very light with mass mb. Initially the two are attached and the combined system is at rest. At t = 0 the two balls are ejected from one another along the X axis with equal and opposite momentum. We also assume the balls repel each other with a constant force. The result is that b will quickly become relativistic while B remains non-relativistic. Throughout the motion the momenta of the balls are equal and opposite.

It is evident from Newton's third law that both balls satisfy the equations,

dP/dt=F    (6.4)

but only B satisfies the non-relativistic Newton equation.

F=MBd2Xdt2.    (6.5)

The connection between the toy model and the NERN system is clear: b is the light particle that was dropped from the black hole boundary, and B is the boundary itself with mass MB.

It is also worth noting that the heavy ball B serves as a quantum frame of [13]. As Maldacena has noted, this is similar to the way that the condensate of a superfluid or superconductor serves as a frame of reference for a phase variable.

These considerations, along with equation 6.3, lead to the conclusion that it is the nonrelativistic velocity of the heavy boundary, not the particle, which is proportional to the rate of change of the complexity of ψ(t), and that it satisfies the Newtonian Equation (6.3).

Since P is conjugate to ρ, and the boundary is non-relativistic, we can write,

P=MBdρBdt   =dCdt.    (6.6)

where ρB is the location of the boundary. If further follows that,

C=MB(ρB-ρ0)    (6.7)

where ρ0 is constant. The obvious choice is for ρ0 to be the horizon location in which case C is proportional to the distance of the boundary from the horizon. In section 7, where the two-sided case is discussed, the distance defining complexity is naturally taken to be the distance separating the two boundaries.

6.3. Comparison With CV

There are a number of ways of estimating the boundary mass MB. One way is to directly analyze the Schwarzian boundary term in the action. I will do something different making direct use of the complexity-volume (CV) correspondence [14, 15]; volume now referring to the length of the throat times its area. For this subsection I will not bother keeping track of numerical factors.

The standard volume-complexity (CV) relation is,

C=VGlAdS    (6.8)

The volume is the area of the throat times the length ρ,

V=Aρ    (6.9)

where A is the horizon area. Also observe that A/G is proportional to the entropy of the black hole and the AdS radius is proportional to r+. One finds

C(Sr+)ρ    (6.10)

or using the SYK/NERN dictionary,

CJNρ    (6.11)

From 6.3 we may write,

FJNd2ρdt2.    (6.12)

It follows that the mass of the boundary is,

MBJN.    (6.13)

This is to be compared with the energy of the infalling particle which is J. The big-ball, little-ball analogy is quite apt. Another point worth noting is that MB is of the same order as the mass of the NERN black hole.

MBH=r+G~JN.    (6.14)

If we now combine 6.12 and 6.13 with Equation (A.14) from the Supplementary Material we arrive at Newton's equation,

mbMBGr2=MBd2ρdt2.    (6.15)

for the motion of the boundary7.

The derivation in Supplementary Material of the left side of 6.15 was based on the bulk equation of motion for a particle in a gravitational field. One may wonder whether it can be derived from the holographic SYK quantum mechanics. The answer is that up to factors of order unity, it can. Using the SYK/NERN dictionary in section 3 we can write mbMBGr2 in terms of SYK variables (for q = 4),

(mb)(MB)(G)(1r+2)=(2J)(MB)(.12NJ2)(J2.01)    (6.16)

On the other hand, the right side is just d2C/dt2 which can be evaluated from the Qi-Streicher formula. In the throat region one finds the QS formula gives

d2C/dt2=4J2.    (6.17)

Equating the right side of 6.16 to the right side of 6.17 determines the value of MB,

MB0.2NJ,    (6.18)

consistent with 6.13.

There is also information in the Qi-Streicher formula about the relativistic motion of the light particle. For example consider the time that it takes, moving relativistically, for the particle to travel the distance Δρ = r+ log β/r+ from the boundary to the Rindler region. From 2.16 one sees that the time is β. Once the particle is in the Rindler region the size begins to grow exponentially with time. The Qi-Streicher formula 5.3 shows that this is indeed the case.

7. Formal Considerations

7.1. Symmetries of AdS2

The basis for the derivation of Newton's equations in section 6 was the relation between momentum and the time derivative of complexity (Equation 6.1), which itself was based on the momentum-size correspondence of [2]. The momentum-size correspondence fit some non-trivial facts about scrambling by NERN black holes [12], but it was never derived from first principles. If we had an alternate route to 6.1 we could turn the argument around and derive the momentum-size correspondence. Lin et al. [3] described such a route which I will briefly explain as far as I understand it8.

We begin by considering the approximate symmetries of matter in the background of a fixed, almost infinite, AdS2 throat. The Penrose diagram for the throat is shown in Figure 7.

FIGURE 7
www.frontiersin.org

Figure 7. Penrose diagram for a two-sided non-dynamical background in the limit of low temperature and infinite throat length. Also shown are the matter generators E, B, P that generate SL(2, R) motions of the matter fields. The generators have been normalized so that the commutation relations are [B, E] = iP, [B, P] = iE, [P, E] = iJ2B.

The symmetry of infinite AdS2 is the non-compact group SL(2, R). If β is finite the symmetry is approximate. Deep in the throat the geometry is indistinguishable from AdS2 but the left and right boundaries break the symmetry. As long as matter is far from the boundaries the symmetry will be respected.

SL(2, R) has three generators called E0, P0, B0, satisfying the algebra,

[B0,E0]=iP0[B0,P0]=iE0[P0,E0]=iB0    (7.1)

It is convenient to rescale P and E in order to give them units of energy. Thus define,

E=JE0P=JP0B=B0.    (7.2)

The commutation relations become,

[BE] = iP    (7.3)
[BP] = iE    (7.4)
[PE] = iJ2B    (7.5)

Let's consider the generators one by one. The action of E is to shift the Penrose diagram rigidly in the vertical direction. We can introduce a time variable τ that is constant on horizontal slices, and which at the center of the diagram registers proper time. E may be represented by the differential operator,

E=iτ.    (7.6)

The generator P shifts the diagram along spacelike directions. It has fixed points at the asymptotic boundaries on the t = 0 slice. It may be thought of as the translation generator with respect to the proper coordinate ρ defined in 2.11,

P=-iρ    (7.7)

Finally B is the boost generator that has the bifurcate horizon as a fixed point. It is conjugate to the Rindler hyperbolic angle ω.

B=-iω.    (7.8)

The Rindler time is related to t by,

ω=2πtβ    (7.9)

so that B can be written,

B=-iβ2πt    (7.10)

The orbits of the three generators are shown in Figure 8.

FIGURE 8
www.frontiersin.org

Figure 8. Orbits of the three generators.

The two-sided Penrose diagrams 7 and 8 represents two uncoupled but entangled SYK systems with Hamiltonians HR and HL. The generator B is given in terms of the two Hamiltonians by

B=β2π(HRHL)    (7.11)

7.2. Left-Right Interaction

One might think that the global energy E should be identified with βJ[HL + HR]. However, there is no symmetry of AdS2 generated by (HL + HR). Without going into details, Maldacena and Qi [16] argue that the generator E requires the introduction of another term, Hint that couples the left and right sides,

E=βJ(HL+HR+Hint).    (7.12)

Using

i[B,E]=P

and

B=iβddt

we can write

P=iβJ[B,Hint]   =β2JdHintdt    (7.13)

In [5], an operator representing size was constructed in terms of the two-sided degrees of freedom ψiL and ψiR. Using our convention of calling size C,

C=iδβiψiLψiR    (7.14)

where δβ is a dimensionless normalization factor which normalizes the size of a single fermion to unity. This same operator appears in the interaction term Hint in [16],

Hint=iμiψiLψiR.          =μδβ C    (7.15)

Combining 7.15 with 7.13 we find,

P=μδββ2JdCdt    (7.16)

Thus, apart from the factor μδββ2J the matter momentum P is indeed proportional to the time derivative of the size. However, consistency with 6.1 requires a relation between the parameters μ, δβ, β, and J,

μδββ2J1.    (7.17)

Again, the meaning of ≈ in 7.17 is: equals up to a numerical constant which may depend on q. This is a significant constraint since the parameters μ and δβ have an intricate mixed dependence [16] on q and the dimensionless quantity βJ.

7.3. Determining the Prefactor

It is known that the quantity μ is not independent of the other three parameters and that there is a relation between them. Zhao9 has suggested that the coefficient μδββ2J can be determined by comparing the calculation of P(t) using the equation of motion in Supplementary Material, with the Qi-Streicher formula 5.3. From the Supplementary Material the force on the infalling particle is constant during passage through the throat and given by FJ2. It follows that,

P(t)J2t.    (7.18)

Differentiating the Qi-Streicher formula also gives,

dCdt=4J2t.    (7.19)

(In Supplementary Material, a more complete comparison between the particle orbit and the Qi-Streicher formula is carried out for the entire range of ρ from the boundary at r = 2r+ to the horizon at r = r+.)

It follows that the coefficient μ must satisfy,

μδββ2J1    (7.20)

so that 6.1 is satisfied. Equation (7.20) is non-trivial. On dimensional grounds the q can appear in any combination with the product βJ, but 7.20 allows only a multiplicative dependence by a function of q alone.

That the product in 7.20 only depends on q is non-trivial and is confirmed in the analysis of [16] where it appears in a somewhat hidden form in Equations [4.25], [4.29], and [4.50].

The formal considerations of this section did not involve the momentum-size correspondence 5.2 postulated in [1, 2] but they would allow us to work backward from 6.1 and derive it.

We are almost where we want to be, but not quite because we have assumed the throat is infinite. If we make the throat finite by allowing T to be small but not zero, the symmetry of the matter system will be broken by the interaction of the matter with the boundary. In a sense that's not surprising since the matter will interact with the dynamical boundary (through the potential barrier) so that the momentum of the matter will not, by itself, be conserved.

There is a formal way to restore the symmetry as a gauge symmetry [3, 8, 11]. Although the finite throat does not have SL(2, R) symmetry it can be embedded in AdS2 as illustrated in Figure 9.

FIGURE 9
www.frontiersin.org

Figure 9. Embedding a finite throated geometry in AdS2. Also shown are the three SL(2, R) gauge generators. The blue regions are part of the embedding space but not part of the actual finite temperature spacetime. The inner boundaries of the blue region are the dynamical boundaries governed by the Schwarzian action.

The curved boundary separating the blue regions from rest of the diagram represents the Schwarzian boundary. The Penrose diagram can be conveniently parameterized by dimensionless coordinates −∞ < T < ∞ and 0 < X < π. The embedding is not unique due to the SL(2, R) invariance of AdS2. This invariance allows us to move the geometry in various ways. In other words the representation of the finite throat in AdS2 is redundant; the symmetry is a gauge symmetry. As such its generators should be set to zero. Denoting the gauge generators by tilde-symbols,

E˜=B˜=P˜=0    (7.21)

But the tilde generators are no longer the matter charges; they now include the charges of the boundary. In particular the spatial charge P~ is,

P~=P+Pboundary.    (7.22)

Therefore, the gauge condition

P~=0    (7.23)

is the Newtons third law of action and reaction, which tells us that the boundary recoils when the matter particle is emitted into the throat. Keeping track of the action=reaction condition seems to be the main point of the gauge symmetry. The un-tilded operators are the physical matter generators and their negatives are the generators that act on the boundary degrees of freedom.

7.4. Fixing a Gauge

There are a number of ways of insuring gauge invariance. One way is to construct manifestly gauge invariant objects and work with them. Lin et al. [3] does this. The other way is to completely fix the gauge so that there is no residual gauge freedom. I'll illustrate such a gauge-fixing here.

The embedding is not unique due to the SL(2, R) invariance of AdS2. This invariance allows us to move the entire geometry—matter and boundary—in various ways by applying the three gauge generators.

The action of P~ moves the bifurcate horizon as well as the excised (blue) regions. Such a transformation can shift the NERN geometry from Figure 9 to Figure 10.

FIGURE 10
www.frontiersin.org

Figure 10. Fixing a gauge.

We can use the gauge symmetries them to fix a convenient gauge:

• The left black hole has a bifucate horizon. Using the Ẽ symmetry we can shift it to the t = 0 slice.

• Next we can use P~ to shift the position of the right boundary so that it passes through the spatial midpoint of the diagram on the t = 0 slice. More generally we can choose a point X0 in along the t = 0 surface and have the boundary pass through it. This defines a one parameter family of gauges parameterized by X0.

• Finally we can fix the boost symmetry by assuming a particle is dropped from the right boundary at t = 0.

That completely fixes the gauge. The resulting Penrose diagram is shown in 11.

Notice that in the limit that the temperature goes to zero that the bifurcate horizon moves all the way to the left boundary. The right Rindler patch becomes the Poincare patch, and the boosts become Poincare time translations. Again there is a one parameter family parameterized by X0. The boost operator B~ may now be used to boost the t = 0 surface forward in time to as illustrated by the green line in Figure 11.

FIGURE 11
www.frontiersin.org

Figure 11. The gauge fixed Penrose diagram with the right boundary intersecting the t = 0 surface at a fixed location half way between boundaries. The red curve is the world line of a particle dropped at t = 0 from the right boundary. The green surface is boosted from the t = 0 surface. The boost time t is the time variable that corresponds to the earlier discussion.

The transformations generated by P~ are shifts of the X0 parameter that move the right boundary. The momentum of the infalling particle that we called P(t) is the proper momentum on that slice.

Dropping the particle from the right-side boundary causes the boundary to recoil and move outward. That is indicated by the small separation shown as light blue. The effect is to change the right-side horizon (not shown) so that its bifurcate point is no longer on the t = 0 surface but is slightly below it. The bifurcate point on the left horizon is unchanged.

The time-slice shown as green is anchored on the boundaries at “boost time” t. The holographic quantum system—two copies of SYK—has a quantum state associated with the time slice and if the particle had not been thrown in, the state would be independent of the time t. But the insertion of ψR at t = 0 breaks the boost symmetry and the state evolves with t. Since ψR is a purely right-side operator it evolves according to,

ψ(t)=e-i(HR-HL)tψei(HR-HL)t         =e-iHRtψeiHRt.    (7.24)

Under this evolution ψR(t) grows in the way I described earlier.

The complexity of the evolving state can be determined from CV duality. Apart from some constant factors it is just the length of the geodesic connecting the left and right boundaries at time t. If the particle had not been thrown in, the boost symmetry would imply that the length/complexity would be constant, but the small kick causes the length/complexity to grow after the particle is dropped in.

Lin-Maldacena-Zhao argue that the generators can be decomposed into bulk matter, and gravitational (boundary) contributions. The bulk matter contribution to P~ is the momentum P. In the case in which a particle has been dropped into the geometry, P is the particle's momentum. The gravitational part on the other hand is the momentum of the heavy non-relativistic boundary, which by the gauge condition is −P. (In the case at hand only the right boundary recoils. The momentum of the left boundary stays zero.) The fact that the sum of the particle and boundary momentum must be zero is Newton's third law of action and reaction.

The low energy SL(2R) symmetry of SYK dictates a particular form for the action governing the motion of the boundary. Known as the Schwarzian action, it is equivalent to the Gibbons-Hawking-York extrinsic curvature that has to be added to the Einstein Maxwell action in the presence of boundaries. It's rather complicated but in the non-relativistic limit when the boundary moves slowly, the kinetic term in the Schwarzian action must reduce to the action for a non-relativistic particle10 of mass MB = NJ, or in NERN terms, MB = S/r+.

I12MB ρ2.    (7.25)

This agrees with the analysis in the previous section and provides a formal justification for it.

In addition there is a coupling between the matter and the boundary which has the form of a repulsive potential energy. As long as the particle is in the throat region the potential is linear in the distance between the infalling particle and the boundary. As shown in the Supplementary Material this leads to a constant Newtonian force which accelerates both the particle and the boundary in opposite directions, so as to keep the total momentum zero. The result is that the particle is effectively attracted toward the horizon, and as it falls the complexity grows according to the pattern described in earlier sections and in Supplementary Material.

8. Falling Through Empty AdS2

Susskind [1] and Brown et al. [2], and the present paper up to this point, deal with the gravitational attraction of a black hole. If the tendency for complexity to increase is the general holographic mechanism behind gravitation it is important to demonstrate it outside the black hole context. For example we would like to know when a particle falls toward an ordinary cold mass with little or no entropy, does the holographic complexity grow? What happens when a comet falls in a long elliptical orbit toward the sun and then goes off into interstellar space. Does the complexity increase and decrease periodically?

We could try modeling questions like this in AdS/CFT, but the tools I've used in this paper are special to SYK. Fortunately there is a simple case in which the question can be addressed. Anti de Sitter space has a gravitational field even in the AdS vacuum. The negative vacuum energy of AdS gravitates and attracts matter to the center. One does not need an additional mass.

The metric of AdS is,

ds2=-f(r)dt2+1f(r)dr2+r2dΩ2f(r)=(1+r2lAdS2)    (8.1)

Particles dropped from a distance experience an attractive radial gravitational force which behaves similarly to a harmonic oscillator force. A particle will move in a periodic orbit oscillating about the origin. There is no black hole, no horizon, no entropy.

Two dimensional AdS is not an exception, but engineering empty AdS2 is subtle in the SYK system. Maldacena and Qi [16] arrange it by perturbing a two-sided black hole with a Left-Right interaction. The resulting space is called a traversable wormhole; in fact it is a cutoff version of AdS2. The geometry does not extend out to r = ∞, but instead is cut off at some large radial distance by a Schwarzian boundary, or to be precise, two Schwarzian boundaries11: one for the left side and one for the right side, as in Figure 12. The geometry is AdS2 except that the blue regions near the boundary have been excised.

FIGURE 12
www.frontiersin.org

Figure 12. Traversable wormhole with two boundaries.

In Figure 13, by applying a right-side fermion operator a particle can be dropped in from the right boundary. The initial state has the form

ψR|0

and subsequently evolves to

ψR(t)|0.

In this case there is no black hole and the particle endlessly oscillates back and forth between the two boundaries.

FIGURE 13
www.frontiersin.org

Figure 13. A particle has been added to the right side of the traversable wormhole by acting with ψ. The subsequent motion is oscillatory with periodic variation in the distance between the boundaries, thus indicating periodic variation of complexity. The figure has been foliated with constant time slices to help guide the eye. The oscillations of the boundary are very small and have been greatly exaggerated.

The force on the particle is gravitational. From the bulk GR viewpoint it is produced by the vacuum energy in the region between the boundaries. The state without the particle (Figure 12) is the ground state of the Hamiltonian and the complexity—in this case represented by the distance between the two boundaries—is constant in time.

When the particle is injected at t = 0 by applying the right-side fermion operator ψR the additional complexity of the state is initially very small. As the particle accelerates toward the center of AdS its momentum increases. The right boundary recoils so that the distance between the boundaries increases. According to CV duality, the complexity also increases.

Because the boundary is very heavy it moves non-relativistically which means its momentum and velocity are proportional to one another, and once again,

PdCdt    (8.2)

for both the boundary and for the particle.

The radial momentum reaches a maximum when the particle reaches the center of the diagram. It then switches sign. At the same time the complexity starts to decrease12. By the time the particle reaches the left boundary the complexity has decreased to its original value. The state at that point is

ψL|0.

The particle then gravitates back to the center and subsequently returns to the right boundary. The oscillating behavior of complexity may seem odd, but in fact it is generic for integrable systems. It is also characteristic of holographic systems below the black hole threshold [17].

To reiterate, the connection between gravitational attraction and complexity is not dependent on the presence of a black hole, or on the presence of a system with a large entropy. However without a black hole the system is integrable and the complexity oscillates. It should be pointed out that the complexity never get's very large during the oscillating behavior. At the maximum when the particle is at the center of the geometry the complexity is ~ β2J2 which is much less than N, i.e., the complexity at scrambling.

It would be interesting to confirm this behavior in the SYK theory using the methods of Qi and Streicher.

9. Concluding Remarks

In this article, I have assembled further evidence that the holographic avatar of gravitational attraction is the growth of operator-size during the run-up to the scrambling time. During this period, size and complexity are indistinguishable, and one can say that gravitational attraction is an example of the tendency for complexity to increase. The presence of a massive object creates a kind of complexity-force, driving the system toward greater complexity in the same way that an ordinary force accelerates a particle toward lower potential energy. This conclusion was based on three things: the CV correspondence between complexity and volume; a duality between momentum and the time-derivative of complexity,

PdCdt;

and the Qi-Streicher calculation of the time dependence of size at low temperature.

To test the duality, on the left side we used the standard relativistic classical theory of particle motion (in a gravitational field) to compute P(t). On the other side the Qi-Streicher calculation of C(t) (a pure quantum calculation that makes no reference to particle motion) allows us to compute dCdt. The two sides agree.

One can object to such a connection (between momentum and complexity) on the grounds that it relates two fundamentally different kinds of quantities. Momentum is a linear quantum observable. Complexity is a nonlinear property of states; linear superpositions of states with the same complexity may have very different complexity. Thus, equating momentum and the time-derivative of complexity is inappropriately mixing concepts.

Similar things have been seen before. The Bekenstein formula and more recently, the Ryu-Takyanagi formula, equate area—a quantum observable—to entropy. This also seems inadmissible for similar reasons. A number of authors have written about this tension [see for example [18, 19] and references therein] and the resolution seems to be that quantities like entropy may behave like observables over a relatively small subspace of states—a so called code subspace. Thus, for states near the ground state of AdS, area and entanglement entropy can coincide, but the relation does not hold for most states.

The same things should be true for complexity: in the small subspace of states encountered while a particle is falling toward the horizon of a black hole complexity and its derivative can behave like an observable, but beyond the scrambling time or when superpositions of classical states are considered the relation between complexity and observables must break down13.

On another point, E. Verlinde has also emphasized the need for a holographic explanation of gravitational attraction and has proposed an entropic mechanism [20]. He argues that lowering an object toward a horizon increases the thermodynamic entropy an entropic force. What I find unclear is how an entropic mechanism can explain the gravitational pull-to-the-center in cold empty AdS, or to a conventional zero temperature massive body in its (non-degenerate) ground state. How can an entropic theory be compatible with the periodic oscillations of the distance between the sun and a comet in an elongated orbit?

In contrast to coarse-grained thermal entropy, complexity and operator size can oscillate, especially for non-chaotic or weakly chaotic systems. By the complexity-volume correspondence, the oscillating complexity may manifest itself as periodic motion. The motion of a particle in empty AdS2, discussed in section 8 is an example.

Returning to the case of a black hole, entropy approaches its maximum value well before the scrambling time, but as shown in [1] and [2], under the influence of gravity, the infalling momentum increases exponentially until the scrambling time has been reached. Again it is not obvious how an entropic theory would deal with this.

It is quite possible that these remarks represent my own misunderstanding of Verlinde's theory.

Finally I would like to emphasize the importance of generalizing the concept of size to a wider class of gauge-gravity dualities. In a strongly coupled CFT it is not obvious what the fundamental constituents are, that are counted when we speak of size. I hope to come back to this issue in the future.

Data Availability Statement

All datasets generated for this study are included in the article/Supplementary Material.

Author Contributions

The author confirms being the sole contributor of this work and has approved it for publication.

Conflict of Interest

The author declares that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

Acknowledgments

I thank Henry Lin and Ying Zhao for very helpful discussions about both the heuristic and formal arguments in this paper. The paper would not have been written without the many discussions I had with Alex Streicher, in which he explained his results on the growth of size in SYK, and related issues. This research was supported by NSF Award Number 1316699. The article has appeared as a preprint.

Supplementary Material

The Supplementary Material for this article can be found online at: https://www.frontiersin.org/articles/10.3389/fphy.2020.00262/full#supplementary-material

Footnotes

1. ^In the SYK literature the corresponding boundary condition is placed on the point where the dilaton achieves a certain value. In the correspondence between the dilaton theory and the NERN black hole the dilaton is simply the area of the local 2-sphere at a given radial location.

2. ^Frequently a radial proper coordinate is defined as the distance to the horizon. Note that in this paper ρ measures distance to the black hole boundary at r = 2r+, not to the horizon.

3. ^The idea of the boundary as a very massive particle was suggested by Kitaev, who developed this idea in [10]. It was further developed in [11].

4. ^In the sense that its momentum grows. Being relativistic the velocity is close to 1.

5. ^Qi and Streicher calculate the size but for reasons I have explained size and complexity are interchangeable for our purposes.

6. ^This relation was derived by Lin et al. by different arguments. See section 7 and Lin et al. [3]. As in other formulas there is an implicit q-dependent proportionality factor.

7. ^It should be kept in mind that the r that appears in the inverse square law is not generally the distance of the test particle to the gravitating mass. According to Gauss' law it is the radius of the 2-sphere surrounding the mass at the test point. Only in flat space is it the distance to gravitating mass.

8. ^I am grateful to Henry Lin and Ying Zhao for explaining the argument to me.

9. ^Unpublished communication.

10. ^I am grateful to Herny Lin for a helpful discussion of this point.

11. ^AdS two is unique in having two disconnected boundaries.

12. ^This conclusion is based on the ability of the gravitational dressing to switch from the right to the left side. Such switching would be impossible without left-right coupling, but there is no obstruction to it when the Maldacena-Qi interaction is included.

13. ^I am grateful to Daniel Harlow for discussions about this point.

References

1. Susskind L. Why do things fall? arxiv [Preprint] arXiv:1802.01198 [hep-th]. (2018)

Google Scholar

2. Brown AR, Gharibyan H, Streicher A, Susskind L, Thorlacius L, Zhao Y. Falling toward charged black holes. Phys Rev D. (2018) 98:126016. doi: 10.1103/PhysRevD.98.126016

CrossRef Full Text | Google Scholar

3. Lin H, Maldacena J, Zhao Y. Symmetries Near the Horizon. (2019). Available online at: http://pirsa.org/displayFlash.php?id=19040126

Google Scholar

4. Roberts DA, Stanford D, Streicher A. Operator growth in the SYK model. J High Energy Phys. (2018) 1806:122. doi: 10.1007/JHEP06(2018)122

CrossRef Full Text | Google Scholar

5. Qi XL, Streicher A. Quantum epidemiology: operator growth, thermal effects, and SYK. arxiv [Preprint] arXiv:1810.11958 [hep-th]. (2019). doi: 10.1007/JHEP08(2019)012

CrossRef Full Text | Google Scholar

6. Brown AR, Gharibyan H, Lin HW, Susskind L, Thorlacius L, Zhao Y. Complexity of Jackiw-Teitelboim gravity. Phys Rev D. (2019) 99:046016. doi: 10.1103/PhysRevD.99.046016

CrossRef Full Text | Google Scholar

7. Maldacena J, Stanford D. Remarks on the Sachdev-Ye-Kitaev model. Phys Rev D. (2016) 94:106002. doi: 10.1103/PhysRevD.94.106002

CrossRef Full Text | Google Scholar

8. Maldacena J, Stanford D, Yang Z. Conformal symmetry and its breaking in two dimensional Nearly Anti-de-Sitter space. PTEP. (2016) 2016:12C104. doi: 10.1093/ptep/ptw124

CrossRef Full Text | Google Scholar

9. Maldacena J, Stanford D, Yang Z. Diving into traversable wormholes. Fortsch Phys. (2017) 65:1700034. doi: 10.1002/prop.201700034

CrossRef Full Text | Google Scholar

10. Kitaev A, Suh SJ. Statistical mechanics of a two-dimensional black hole. arxiv [Preprint] arXiv:1808.07032 [hep-th].

Google Scholar

11. Yang Z. The quantum gravity dynamics of near extremal black holes. arxiv [Preprint] arXiv:1809.08647 [hep-th]. (2018). doi: 10.1007/JHEP05(2019)205

CrossRef Full Text | Google Scholar

12. Leichenauer S. Disrupting entanglement of black holes. Phys Rev D. (2014) 90:046009. doi: 10.1103/PhysRevD.90.046009

CrossRef Full Text | Google Scholar

13. Aharonov Y, Susskind L. Charge superselection rule. Phys Rev. (1967) 155:1428. doi: 10.1103/PhysRev.155.1428

CrossRef Full Text | Google Scholar

14. Brown AR, Roberts DA, Susskind L, Swingle B, Zhao Y. Holographic complexity equals bulk action? Phys Rev Lett. (2016) 116:191301. doi: 10.1103/PhysRevLett.116.191301

PubMed Abstract | CrossRef Full Text | Google Scholar

15. Carmi D, Chapman S, Marrochio H, Myers RC, Sugishita S. On the time dependence of holographic complexity. J High Energy Phys. (2017) 1711:188. doi: 10.1007/JHEP11(2017)188

CrossRef Full Text | Google Scholar

16. Maldacena J, Qi XL. Eternal traversable wormhole. arxiv [Preprint] arXiv:1804.00491 [hep-th]. (2018)

Google Scholar

17. Anous T, Sonner J. Phases of scrambling in eigenstates. arxiv [Preprint] arXiv:1903.03143 [hep-th]. (2019). doi: 10.21468/SciPostPhys.7.1.003

CrossRef Full Text | Google Scholar

18. Papadodimas K, Raju S. Remarks on the necessity and implications of state-dependence in the black hole interior. Phys Rev D. (2016) 93:084049. doi: 10.1103/PhysRevD.93.084049

CrossRef Full Text | Google Scholar

19. Harlow D. The Ryu–Takayanagi formula from quantum error correction. Commun Math Phys. (2017) 354:865. doi: 10.1007/s00220-017-2904-z

CrossRef Full Text | Google Scholar

20. Verlinde EP. On the origin of gravity and the laws of Newton. J High Energy Phys. (2011) 1104:029. doi: 10.1007/JHEP04(2011)029

CrossRef Full Text | Google Scholar

Keywords: gravitation, quantum complexity, holographic principle, SYK model, AdS spacetime

Citation: Susskind L (2020) Complexity and Newton's Laws. Front. Phys. 8:262. doi: 10.3389/fphy.2020.00262

Received: 29 August 2019; Accepted: 11 June 2020;
Published: 19 November 2020.

Edited by:

Jakub Mielczarek, Jagiellonian University, Poland

Reviewed by:

Tadashi Takayanagi, Kyoto University, Japan
Jan De Boer, University of Amsterdam, Netherlands

Copyright © 2020 Susskind. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.

*Correspondence: Leonard Susskind, sonnysusskind@gmail.com