Entanglement C-functions of defects and interfaces in $\mathcal{N}=4$ supersymmetric Yang-Mills theory

This paper investigates the holographic entanglement entropy of codimension-one defects and interfaces in $\mathcal{N}=4$ supersymmetric Yang-Mills theory, demonstrating that the entanglement C-function decreases monotonically along defect renormalization group flows triggered by mass deformations or Coulomb branch transitions, while also exploring alternative measures for effective degrees of freedom in interface scenarios.

The Gist

The Big Picture: Counting the "Active Players" in a Quantum Game

Imagine the universe as a giant, complex video game. In this game, the "players" are the fundamental particles and forces. Physicists have a rule called the Renormalization Group (RG) flow, which describes how the game changes as you zoom out.

• Zooming in (UV): You see every tiny detail, every individual particle. There are many "degrees of freedom" (active players).
• Zooming out (IR): You see the big picture. Some players get stuck together or become too heavy to move, effectively leaving the game. The number of active players decreases.

There is a famous rule in physics (the C-theorem) that says: As you zoom out, the number of active players must always go down, never up. It's like a one-way street for complexity.

This paper investigates a specific, tricky scenario: What happens to this count of players when you introduce a defect or an interface? Think of a defect as a crack in the game board, or an interface as a wall separating two different versions of the game. The authors want to know: Does the "one-way street" rule still hold when we look at these cracks and walls?

The Setup: The Holographic Sandbox

To solve this, the authors use a tool called Holography (specifically the AdS/CFT correspondence). This is a mathematical magic trick where a difficult problem in our 4-dimensional world (like counting quantum particles) is translated into an easier problem in a 5-dimensional "sandbox" (gravity).

• The Game Board: They use a specific theory called N=4 Supersymmetric Yang-Mills. Imagine this as a very symmetrical, perfect version of the Standard Model of physics.
• The Defect/Interface: They introduce a "probe" (a D5-brane). In the holographic sandbox, this looks like a sheet of paper floating in a 5D space.
  • Scenario A (Defect): The sheet is just sitting there. It has some "stuff" (hypermultiplets) attached to it.
  • Scenario B (Interface): The sheet has some "dissolved" charge (D3-branes) inside it. This acts like a wall separating two regions of the game board that have slightly different rules (different gauge groups).

The Experiment: Turning on the Mass

In the perfect, massless version of the game, the system is "conformal" (it looks the same at every zoom level). To test the "one-way street" rule, the authors need to break this symmetry.

They give the "stuff" on the sheet a mass.

• The Analogy: Imagine the players on the sheet are running a race. Giving them mass is like putting heavy backpacks on them.
• The Result: As the backpacks get heavier, the players slow down and eventually stop moving. They "decouple" from the game. This triggers a flow from the "many players" state (UV) to the "few players" state (IR).

The Measurement: The Entanglement C-Function

How do you count the players without looking at them directly? The authors use Entanglement Entropy.

• The Analogy: Imagine you have a ball of yarn. Entanglement entropy measures how much the yarn inside the ball is tangled with the yarn outside the ball.
• The C-Function: The authors define a specific mathematical formula (a "C-function") based on this tangle. If the "one-way street" rule holds, this number should decrease smoothly as the backpacks get heavier.

The Findings: What They Discovered

The paper presents two main results based on the two scenarios:

1. The Simple Defect (No Dissolved Charge)

When the sheet is just a simple defect (no extra charge inside):

• The Result: The C-function behaves perfectly. It starts high (many players) and decreases smoothly and steadily as the mass increases, until it hits zero (no players left on the defect).
• The Takeaway: The "one-way street" rule works perfectly here. The math confirms that as you zoom out, the defect loses its complexity in a predictable, monotonic way.

2. The Complex Interface (With Dissolved Charge)

When the sheet has "dissolved charge" (acting as a wall between two different game versions):

• The Problem: The standard C-function they used for the simple defect starts to behave weirdly. It decreases at first, but then it dives into negative infinity. It doesn't settle on a nice number.
• Why? The authors explain that this is because the "flow" here is actually happening in 4 dimensions (the whole bulk of the game), not just on the 3-dimensional wall. The standard ruler they were using was designed for 3D walls, so it broke when applied to a 4D flow.
• The Fix: They tried building new rulers (called A-functions) designed for 4D flows.
  • One new ruler worked well: it started high and ended low, giving a finite number in both cases.
  • The Catch: While this new ruler gave sensible start and end numbers, it didn't always go down smoothly in the middle. Sometimes it went up and down a bit before settling.
• The Takeaway: For these complex interfaces, the "one-way street" is messier. The number of degrees of freedom still seems to drop overall (the wall becomes less significant as the mass grows), but the path to get there isn't as smooth as the simple case.

Summary in Plain English

The authors built a mathematical model to see how "complexity" changes when you have a crack or a wall in a quantum system.

1. For simple cracks: Complexity drops smoothly and predictably, just like the laws of physics say it should.
2. For complex walls: The complexity still drops, but the way we measure it is tricky. The standard measuring tape breaks, and even the new measuring tapes they invented don't show a perfectly smooth drop.

The Bottom Line: The universe generally follows the rule that complexity decreases as you zoom out, but when you have a "wall" separating two different types of physics, the journey there is a bit bumpier and harder to measure than we thought. The paper provides the exact mathematical formulas for how this "tangle" of quantum information changes in these specific scenarios.

Technical Summary

Technical Summary: Entanglement C-functions of defects and interfaces in N = 4 supersymmetric Yang–Mills theory

Problem Statement
The paper investigates the monotonicity of renormalization group (RG) flows in quantum field theories (QFTs) localized to defects and interfaces. While monotonicity theorems (such as the $c$-, $F$-, and $a$-theorems) establish that degrees of freedom decrease along RG flows in bulk theories, the situation is more complex for defects. Specifically, for codimension-one defects in $d=4$ dimensions, the universal coefficient of the entanglement entropy is not generally monotonic. The Casini-Salazar Landea-Torroba (CST) proposal suggests that a specific "C-function," derived from the relative entropy of a ball centered on the defect, decreases monotonically. However, relative entropy is difficult to compute explicitly.

The authors focus on two specific scenarios in $\mathcal{N}=4$ supersymmetric Yang–Mills (SYM) theory with gauge group $SU(N_3)$:

1. Defects: A codimension-one planar defect hosting $N_5$ hypermultiplets (realized by D3/D5-brane intersections).
2. Interfaces: An interface between two copies of $\mathcal{N}=4$ SYM with different gauge groups, $SU(N_3)$ and $SU(N_3+n_3)$, where the interface carries dissolved D3-brane charge ($n_3 \neq 0$).

In both cases, conformal symmetry is broken by introducing a mass scale $m$ (via a slipping mode on $S^5$), triggering an RG flow. The goal is to compute the holographic entanglement entropy of a ball-shaped region centered on the defect/interface and evaluate candidate C-functions to determine their monotonicity and physical interpretation as measures of degrees of freedom.

Methodology
The authors employ the AdS/CFT correspondence, working in the probe limit where the number of D5-branes ($N_5$) and the dissolved D3-brane charge ($n_3$) are parametrically small compared to the background D3-branes ($N_3$), specifically $\sqrt{\lambda}N_5 \ll N_3$ and $n_3 \ll N_3$. This allows the neglect of the backreaction of the D5-branes on the $AdS_5 \times S^5$ geometry.

1. Holographic Setup: The system is described by $N_5$ probe D5-branes embedded in the $AdS_5 \times S^5$ background sourced by $N_3$ D3-branes. The embedding is determined by the worldvolume fields, including a scalar $\theta(z)$ (related to the mass $m$) and a worldvolume flux $F$ (related to the charge $n_3$).
2. Entanglement Entropy Calculation:
   • Conformal Case ($m=0$): The authors utilize the Casini-Huerta-Myers (CHM) mapping, which relates the entanglement entropy of a ball in a CFT to the thermal entropy of the theory on $\mathbb{R} \times H^3$. They compute the probe brane contribution to the free energy on this hyperbolic space and differentiate with respect to temperature.
   • RG Flow Case ($m \neq 0$): Since the theory is no longer conformal, the CHM mapping does not apply directly. The authors use the method of generalized gravitational entropy for probe branes (based on Ref. [44]). This involves evaluating the on-shell action of the probe branes in a deformed geometry and taking a specific derivative with respect to the horizon parameter $\zeta_H$.
   • Integral Evaluation: A significant technical challenge arises from singular integrands in the worldvolume integrals (specifically terms proportional to $\cos(2\tau)/(\zeta^2-1)$). The authors demonstrate that the order of integration matters and that a naive change of variables to Poincaré coordinates yields an incorrect result unless a specific boundary term, $S_{var}$, is accounted for. They establish the relation $S_{brane} = S_{brane}^{(Poinc)} - S_{var}$, where $S_{var}$ is a boundary term arising from the implicit dependence of the embedding on the horizon parameter.
3. C-function Construction: Using the computed entanglement entropy $S_{def}(\ell)$, the authors construct various C-functions:
   • The CST C-function: $C(\ell) = (\ell \partial_\ell - 1) S_{def}(\ell)$.
   • Modified C-functions ($\tilde{C}$) that subtract Coulomb branch contributions.
   • "A-functions" adapted to four-dimensional flows (inspired by Refs. [20, 56, 57]), such as $A_{CTT}$, $A_{LM}$, and $\tilde{A}_{LM}$.

Key Contributions and Results

1. Analytic Entanglement Entropy: The authors derive a fully analytic formula (Eq. 3.56) for the defect/interface contribution to the entanglement entropy, $S_1$, as a function of the dimensionless radius $a = \frac{2\pi m \ell}{\sqrt{\lambda}}$ and the flux parameter $q$ (related to $n_3$).

   • For the conformal limit ($m=0$), their result matches the probe limit of previous calculations using fully backreacted geometries, serving as a consistency check.
   • For the interface case ($n_3 \neq 0$), the large-radius behavior reproduces half the entropy of the Coulomb branch vacuum, consistent with the dissolved D3-brane interpretation.

2. Defect RG Flow ($n_3 = 0$):

   • The CST C-function $C(a)$ is found to be monotonically decreasing from a positive UV value (equal to the defect free energy $F_{def, UV}$) to zero in the IR.
   • This confirms the monotonicity theorem for codimension-one defects and provides a viable measure of the decoupling of defect degrees of freedom.

3. Interface RG Flow ($n_3 \neq 0$):

   • The standard CST C-function $C(a)$ remains monotonically decreasing for all tested values of $q$. However, it diverges to $-\infty$ in the IR due to four-dimensional bulk contributions (terms scaling as $a^2$ and $\log a$). This divergence indicates that $C(a)$ is not a suitable measure of degrees of freedom for flows that are effectively four-dimensional.
   • A modified C-function $\tilde{C}(a)$, which subtracts the Coulomb branch contribution, yields finite UV and IR limits. However, it is not monotonic for sufficiently large $|q|$, and the IR value can be larger than the UV value, failing to act as a standard degree-of-freedom count.
   • The authors explore "A-functions" adapted to 4D flows. The function $\tilde{A}_{LM}$ (Eq. 4.17) interpolates between sensible finite limits: the average of the type-A Weyl anomaly coefficients in the UV and the anomaly coefficient of the pure $SU(N_3)$ theory in the IR.
   • Crucially, $\tilde{A}_{LM}$ is not monotonic for small $|q|$ (exhibiting a global minimum), though it is monotonic for $|q| \geq 1/2$.

Significance and Claims
The paper claims to provide the first analytic holographic computation of entanglement entropy for codimension-one defects and interfaces in $\mathcal{N}=4$ SYM with mass deformations in the probe limit.

• Validation of Probe Formalism: The work clarifies the role of the boundary term $S_{var}$ in probe brane entanglement entropy calculations, resolving discrepancies between different coordinate systems (CHM vs. Poincaré) and confirming that previous results in the literature are consistent when this term is properly handled.
• Monotonicity in Defects vs. Interfaces: The results confirm that while the CST C-function is monotonic for pure defect flows, its interpretation as a degree-of-freedom count fails for interfaces due to the four-dimensional nature of the flow.
• Limitations of C-functions: The study highlights a tension in constructing entropic C-functions for flows that mix defect and bulk dynamics (or flows across dimensions). The authors find that while some functions are monotonic, they diverge or fail to saturate to finite values; conversely, functions that interpolate between finite limits are generally not monotonic. This mirrors challenges found in RG flows across dimensions.
• Physical Interpretation: The monotonic decrease of the standard C-function for interfaces is interpreted as tracking the decoupling of interface degrees of freedom (visible in the S-dual frame) as they acquire mass, even though the function itself diverges.

The authors conclude that while the probe approximation yields valuable analytic insights, moving beyond this limit to include backreaction is necessary to fully understand the interplay between defect and ambient contributions and to resolve the non-monotonicity issues in the constructed C-functions.