Krylov complexity for Lin-Maldacena geometries and their holographic duals

This paper investigates the growth rate of operator size and Krylov complexity in Lin-Maldacena geometries and their holographic duals, including the BMN matrix model and its various limits, by employing classical probes and a pulsating fuzzy sphere reduction to demonstrate that Krylov basis states and Lanczos coefficients are uniquely determined by the model's mass parameter.

The Gist

The Big Picture: The Universe as a Mirror

Imagine the universe is like a hologram. In this view, a complex, 3D world of gravity (like black holes or warped space) is actually a "projection" of a simpler, flat 2D world made of quantum particles (like a giant computer chip). This is called Holography.

The paper explores a specific question: How fast does information get scrambled or "grown" in this quantum system?

In the quantum world, this is called Complexity. Think of it like the difference between a neatly folded shirt (simple) and a shirt that has been tossed in a dryer with a thousand other shirts, tangled into a giant ball (complex). The paper tries to measure how fast that shirt gets tangled.

The Two Sides of the Coin

The authors look at this problem from two different angles, which are supposed to be the same thing viewed from different sides of the mirror:

1. The Gravity Side (The "Heavy" View): They imagine a heavy particle falling through a strange, warped universe. They measure how fast this particle moves and how much "momentum" it gains as it falls deeper into the gravity well.
2. The Matrix Side (The "Light" View): They look at a mathematical model called a Matrix Model (a giant grid of numbers). They watch how a specific operation (like a command in a computer program) spreads out and gets complicated over time.

The paper's main goal is to prove that the speed of the falling particle on the gravity side matches the speed of the spreading complexity on the matrix side.

The Analogy: The Falling Rock and the Spreading Ripples

To understand the core discovery, imagine you drop a rock into a pond.

• The Rock (Gravity Side): As the rock falls, it speeds up. The authors calculated exactly how fast it falls in different types of "ponds" (different geometric shapes of the universe).
• The Ripples (Matrix Side): As the rock hits the water, ripples spread out. The "complexity" is how big and messy those ripples get.

The authors found that the speed of the falling rock is exactly the same as the speed of the spreading ripples. This confirms a deep connection between gravity and quantum mechanics.

The Specific Experiments

The paper tests this idea in three different "ponds" (geometries):

1. The D2 Brane (The Flat Disk): Imagine the pond has a flat, conducting disk at the bottom. When the rock falls, it speeds up, hits the disk, and bounces back. The complexity grows fast at first, then slows down and stops (saturates) because the rock hits the bottom.
2. The NS5 Brane (The Infinite Plates): Imagine the pond is between two giant, infinite walls. Here, the rock keeps falling, and the complexity keeps growing forever, never stopping. It's like a ripple that never fades.
3. The Deformed Universe (The Irrelevant Deformation): They also looked at a universe that was slightly "twisted" (non-Abelian T-duality). Here, the rock falls toward a singularity (a point of infinite density), and the complexity shoots up explosively, like a firework.

The "Fuzzy Sphere" Toy Model

To make sure their heavy gravity math was right, they built a simple toy model called the Pulsating Fuzzy Sphere.

• The Analogy: Imagine a fuzzy ball (like a pom-pom) that is pulsating and vibrating.
• The Math: They used a method called Krylov Complexity. Think of this as a way to count how many new "moves" a dancer can make as the music gets faster.
  • They started with a simple move (the initial state).
  • They applied a "Hamiltonian" (the music) repeatedly to generate new, more complex moves.
  • They calculated the Lanczos Coefficients. These are like the "difficulty levels" of the dance moves.

The Big Discovery: They found that the difficulty of the dance moves (the Lanczos coefficients) is directly controlled by a single number: the Mass Parameter ($\mu$).

• If the mass is light, the dance is simple.
• If the mass is heavy, the dance becomes incredibly complex and chaotic.

Why Does This Matter?

1. Universal Rules: They found that no matter which "pond" (geometry) you look at, the complexity grows in a very specific, predictable way (often quadratically, like $t^2$) at the beginning.
2. Chaos vs. Order: The paper hints that if you crank up the mass parameter enough, the system might switch from being chaotic (messy) to being "integrable" (predictable and orderly). This is a huge deal for understanding how chaos works in quantum systems.
3. Connecting Worlds: It successfully bridges the gap between the heavy, curved world of Einstein's gravity and the abstract, flat world of quantum matrices, showing they are two sides of the same coin.

Summary in One Sentence

This paper proves that the speed at which a heavy particle falls through a warped universe is mathematically identical to the speed at which a quantum computer program gets more complicated, and they figured out exactly how the "weight" of the universe controls this process.

Technical Summary

1. Problem Statement and Motivation

The paper addresses the computation of Krylov complexity (a measure of operator growth in quantum systems) within the context of the AdS/CFT correspondence and its generalizations. Specifically, it investigates the BMN Plane Wave Matrix Model (PWMM), a massive deformation of the BFSS matrix model, and its holographic duals in Type IIA supergravity.

The core problem is to establish a quantitative link between:

1. Gravity Side: The proper momentum ($P_\rho$) of a massive point particle falling into a specific bulk geometry (Lin-Maldacena geometries).
2. Field Theory Side: The rate of growth of the size (or complexity) of a gauge-invariant operator in the dual matrix model.

The author aims to verify the "size/momentum correspondence" in non-conformal settings (massive deformations) and bridge the gap between gravitational calculations and explicit matrix model computations using the Krylov basis formalism.

2. Methodology

The paper employs a dual approach, combining holographic gravity calculations with direct matrix model analysis.

A. Holographic (Gravity) Approach

• Geometric Setup: The author utilizes the electrostatic description of Lin-Maldacena geometries. These are Type IIA solutions characterized by a potential function $V(\sigma, \eta)$ satisfying a Laplace equation, where $(\sigma, \eta)$ are electrostatic coordinates.
• Probes: A massive point particle (dual to a local unitary operator) is introduced. Its trajectory is governed by the geodesic equation in the Einstein frame metric.
• Key Identification: The proper radial momentum ($P_\rho$) of the particle along its geodesic is identified as the time derivative of the Krylov complexity ($\dot{C} = P_\rho$).
• Limits Analyzed:
  • Asymptotic Limit (UV): Near $N$ D0-branes.
  • D2-brane Limit: Corresponds to a single conducting disk in the electrostatic picture.
  • NS5-brane Limit: Corresponds to two infinite conducting plates.
  • Lin Solution: A specific background flux solution describing D0-branes perturbed by RR and NS fluxes.
  • Non-Abelian T-dual: An irrelevant deformation of $AdS_5 \times S^5$.

B. Matrix Model (Field Theory) Approach

• Model: The BMN matrix model with a mass deformation parameter $\mu$.
• Reduction: The analysis is simplified using the Pulsating Fuzzy Sphere ansatz, reducing the matrix model to a system of coupled non-linear oscillators.
• Krylov Construction:
  • An initial operator state $|O_0)$ (Gaussian) is defined.
  • The Liouvillian operator $\hat{L} = [\hat{H}, \cdot]$ is applied iteratively to generate a Krylov basis $|K_n)$.
  • Gram-Schmidt Orthogonalization is used to ensure the basis is orthogonal, tri-diagonalizing the Liouvillian.
• Coefficients: The Lanczos coefficients ($b_n$) are computed, which dictate the growth of complexity via a Schrödinger-like equation in the Krylov space.

3. Key Contributions and Results

A. Holographic Results (Gravity Side)

1. UV Behavior (Early Time):

   • In the asymptotic limit (near D0-branes), the complexity grows quadratically with time ($C(t) \propto t^2$).
   • This is derived from the proper momentum $P_\rho \propto t$.
   • The growth rate is linearly dependent on the dipole deformation parameter $P$ (gravity side) which maps to the mass parameter $\mu$ (field theory side).

2. D2-brane Limit:

   • The particle falls from the UV towards the conducting disk (D2-brane shell).
   • Complexity initially grows quadratically but eventually saturates at late times as the particle reflects off the disk and returns to the UV.

3. NS5-brane Limit:

   • In the NS5 limit (infinite plates), the complexity exhibits non-linear growth at late times.
   • Unlike the D2 case, the complexity continues to increase, suggesting a different IR behavior for the dual theory (Little String Theory).

4. Lin Solution (Deep IR):

   • Near the shell of D2-branes (deep bulk), the scaling of complexity growth changes significantly.
   • The rate of growth scales as $\dot{C} \sim t^{35/24}$, indicating a non-linear, super-linear growth distinct from the UV behavior. This is attributed to the modification of the geometry by the concentric D2-brane shells.

5. Non-Abelian T-dual:

   • For the irrelevant deformation of $AdS_5 \times S^5$, the complexity grows slowly initially but shoots up rapidly as the particle approaches the singularity ($\sigma \sim 1$).

B. Matrix Model Results (Field Theory Side)

1. Lanczos Coefficients:

   • The first coefficient $b_1$ is found to be proportional to the mass parameter: $b_1 \propto \sqrt{\mu}$.
   • The second coefficient $b_2$ exhibits a non-linear relationship with $\mu$. It scales as $\mu^2$ for small $\mu$ and linearly ($\sim \mu$) for large $\mu$.
   • A critical value $\mu_c$ exists where $b_2$ is minimized.

2. Complexity Growth:

   • The early-time Krylov complexity derived from the matrix model scales as $C(t) \propto t^2$.
   • This qualitatively matches the quadratic growth found in the holographic UV calculation (Eq. 2.43 vs Eq. 5.46).

3. Universality:

   • The analysis confirms that the leading coefficient of complexity growth is fixed by the mass deformation parameter $\mu$ in the matrix model, mirroring the dependence on the dipole moment $P$ in the gravity dual.

4. Significance and Implications

• Validation of Size/Momentum Correspondence: The paper provides strong evidence that the proper momentum of a bulk probe is indeed the dual of the operator size growth (Krylov complexity) in non-conformal, massive theories.
• Non-Conformal Holography: It extends the study of holographic complexity beyond conformal field theories (CFTs) to massive deformations (BFSS/BMN), showing that while the specific scaling laws change (e.g., $t^{35/24}$ in the deep IR), the fundamental link between geometry and operator growth persists.
• Integrability vs. Chaos: The behavior of Lanczos coefficients ($b_n$) is analyzed in the context of the system's integrability. The linear scaling of $b_n$ with $\mu$ in the large mass limit suggests a transition toward an integrable domain, offering a potential diagnostic tool for chaos in matrix models.
• Algorithmic Bridge: The paper outlines a concrete algorithm to construct Krylov bases for matrix models, bridging the gap between abstract quantum information concepts and concrete supergravity calculations.

Conclusion

Dibakar Roychowdhury successfully computes the Krylov complexity for Lin-Maldacena geometries and their dual matrix models. The work demonstrates a robust duality where the geometric trajectory of a massive probe (specifically its proper momentum) maps directly to the operator growth rate in the quantum system. The results highlight distinct behaviors in different geometric limits (saturation in D2 vs. continuous growth in NS5) and establish a quantitative relationship between the mass deformation parameter and the Lanczos coefficients governing complexity growth.