Shear mode transport coefficients from multiple polylogarithms

This paper presents an analytical study of shear mode transport coefficients in asymptotically anti-de Sitter black branes, deriving explicit expressions for $\mathcal{N}=4$ SYM up to order $\mathfrak{q}^{10}$ and generalizing the results to $d+1$ dimensions by characterizing the solutions in terms of multiple polylogarithms.

The Gist

Imagine you are trying to understand how a thick, sticky fluid (like honey or molasses) flows when you stir it. In the real world, this is governed by the laws of fluid dynamics. But in the universe of theoretical physics, there is a strange and powerful idea called Holography (specifically the AdS/CFT correspondence).

This idea suggests that a complex, 3D fluid made of quantum particles (like the stuff inside a particle collider) can be mathematically described as a 4D or 5D black hole floating in a higher-dimensional space. It's like looking at a 2D shadow on a wall and realizing that shadow contains all the information about a 3D object.

The Problem: The "Shear" of the Fluid
When you push a fluid, layers of it slide past each other. This sliding is called "shear." Physicists want to know exactly how this fluid resists that sliding (its viscosity) and how it relaxes back to calm after being disturbed. These are called transport coefficients.

Usually, we can only calculate the very first, simplest approximation of these numbers. But to truly understand the fluid's behavior, especially when it's moving fast or being pushed hard, we need to calculate the "higher-order" corrections. These are the tiny, subtle details that appear when you look closer.

The Challenge: A Mathematical Maze
To find these details, the author, Paolo Arnaudo, had to solve a very complicated equation describing waves rippling around a black hole.

• The Old Way: Previous methods were like trying to solve a maze by guessing every turn. They could only get a few steps ahead before the math became too messy to handle.
• The New Way: Arnaudo discovered that the solution to this maze isn't just a jumble of numbers; it's built from a specific, elegant set of mathematical building blocks called Multiple Polylogarithms.

The Creative Analogy: The Lego Tower
Think of the solution to the black hole equation as a giant tower built out of Lego bricks.

• The Bricks: The "bricks" are these special mathematical functions (Multiple Polylogarithms). They are complex shapes, but they fit together in very specific, predictable ways.
• The Blueprint: Arnaudo realized that if you know how to build the first layer of the tower, you can use a recursive rule (a "copy-paste and slightly modify" rule) to build the second layer, then the third, and so on, all the way up.
• The Result: Instead of getting stuck after a few layers, he was able to build the tower 10 layers high (up to order $q^{10}$) for the specific case of a 5-dimensional black hole.

What Did He Find?
By using this "Lego" method, Arnaudo was able to calculate the transport coefficients with incredible precision.

1. For the 5D Case (N=4 SYM): This corresponds to a famous theory of particle physics. He found the exact mathematical formula for the fluid's behavior up to the 10th level of detail. He discovered that the numbers involved aren't just random decimals; they are made of specific "irrational" ingredients like $\log(2)$, $\pi$, and complex numbers called Zeta values. It's like finding out that the secret recipe for the fluid's viscosity is a specific cocktail of these mathematical "flavors."
2. For Other Dimensions: He showed that this Lego method works for black holes in any number of dimensions. If you change the size of the universe (the number of dimensions), the "Lego bricks" change slightly (they involve different roots of unity, like cube roots instead of square roots), but the construction method remains the same.

Why Does This Matter?

• Precision: It gives physicists a much sharper tool to predict how quantum fluids behave, which is crucial for understanding the early universe or the quark-gluon plasma created in particle accelerators.
• Mathematical Beauty: It reveals that the universe's chaotic behavior (like turbulence or heat flow) is actually governed by a very structured, elegant mathematical language. The "noise" of the fluid is actually a symphony of these polylogarithms.
• New Territory: He found new coefficients that no one had calculated before, effectively mapping out new territory in the landscape of theoretical physics.

In a Nutshell
Paolo Arnaudo took a notoriously difficult problem in theoretical physics—understanding how quantum fluids flow—and realized that the solution is built from a specific, repeatable set of mathematical patterns. By treating these patterns like a set of Lego instructions, he was able to construct a much more detailed and accurate picture of the universe's "sticky" fluids than ever before, revealing that the deep secrets of black holes and quantum fluids are written in the language of Multiple Polylogarithms.

Technical Summary

1. Problem Statement

The paper addresses the calculation of transport coefficients associated with the shear sector of gravitational perturbations around asymptotically anti-de Sitter (AdS) black branes.

• Context: Within the AdS/CFT correspondence, gravitational perturbations in the bulk encode the dissipative and hydrodynamic response of the boundary quantum field theory (QFT).
• Specific Goal: To analytically determine the dispersion relation $w(q)$ (frequency as a function of momentum) for shear modes in the long-wavelength, low-frequency limit ($q \to 0$).
• Challenge: While leading-order transport coefficients (like shear viscosity) are well-known, higher-order corrections (expanding up to $q^{10}$ or higher) are difficult to compute analytically. Previous methods often relied on numerical approaches or were limited to low orders. The differential equations governing these perturbations (Heun-type equations) possess multiple singular points, making standard connection formulae inefficient for analytic expansion.

2. Methodology

The author employs a recursive perturbative approach based on multiple polylogarithms (MPLs) to solve the master differential equations governing the shear modes.

• The Setup:

  • The background is the planar Schwarzschild-AdS ($SAdS_{d+1}$) black brane.
  • The perturbation equation is reduced to a second-order ordinary differential equation (ODE) for a wave function $\psi(z)$, where $z$ is a radial coordinate ($z=0$ is the boundary, $z=1$ is the horizon).
  • The equation is expanded in powers of the spatial momentum $q$:
    $$w = \sum_{n \ge 1} w_n q^{2n}, \quad \psi(z) = \sum_{n \ge 0} \psi_n(z) q^{2n}$$
  • Boundary conditions: Ingoing at the horizon ($z=1$) and vanishing Dirichlet at the AdS boundary ($z=0$).

• Recursive Integration Strategy:

  1. Leading Order: The zeroth-order solution $\psi_0(z)$ is a constant (regular at both boundaries). The first correction involves an integral of the inhomogeneous term generated by the previous order.
  2. Basis Construction: Instead of solving integrals in terms of elementary functions (which fails at higher orders), the author constructs a graded basis of special functions, $\mathcal{B}_k$, for each order $k$.
     • $\mathcal{B}_1$ contains logarithms: $\log(1-z)$ and $\log(1+z)$.
     • $\mathcal{B}_k$ for $k > 1$ includes multiple polylogarithms (MPLs) of weight $k$ and products of lower-weight functions.
  3. Multiple Polylogarithms: Defined via Taylor series or iterated integrals (Chen's iterated integrals). The specific MPLs used are chosen based on the singularity structure of the differential equation (roots of unity).
  4. Coefficient Fixing:
     • Integration constants are fixed by imposing regularity at the horizon ($z=1$). This requires eliminating logarithmic divergences (e.g., $\log(1-z)$) using identities among MPLs.
     • The transport coefficients $w_k$ are fixed by imposing regularity at the boundary ($z=0$). Since MPLs of weight $k$ vanish at $z=0$, the non-vanishing terms determine the value of $w_k$.

• Generalization to $d$ Dimensions:

  • The method is generalized to arbitrary dimensions $d+1$.
  • For odd $d$, singularities correspond to $d$-th roots of unity; for even $d$, they correspond to $(d/2)$-th roots of unity.
  • The basis $\mathcal{B}_k$ is adapted to include MPLs with arguments involving these roots of unity.

3. Key Contributions

1. Analytic Expressions up to High Order:

   • For $d=4$ (corresponding to $\mathcal{N}=4$ Super Yang-Mills theory), the author derives explicit analytic expressions for transport coefficients up to order $q^{10}$ (coefficients $w_1$ through $w_5$).
   • This extends previous literature which typically stopped at $q^4$ or $q^6$.

2. Discovery of New Coefficients:

   • The paper provides the first analytic expression for the 5th order coefficient ($w_5$) in the $d=4$ case.
   • For $d=3$ (corresponding to M2-branes in 11D supergravity), the author computes coefficients up to order $q^6$, providing a new result for the 3rd order coefficient ($w_3$).

3. Mathematical Characterization:

   • The paper rigorously characterizes the algebraic structure of the transport coefficients.
   • It proves that the coefficients $w_k$ are expressible in terms of colored multiple zeta values (CMZVs) of weight $\le k-1$ and level determined by the dimension $d$ (level $d$ for odd $d$, level $d/2$ for even $d$).
   • Specifically, the irrational numbers involved are limited to $\log 2$, Riemann zeta values $\zeta(n)$, and CMZVs evaluated at roots of unity.

4. Algorithmic Framework:

   • The recursive method using MPLs is presented as a systematic, dimension-independent algorithm. It avoids the inefficiencies of Heun connection formulae by expanding around a degenerate intermediate channel.

4. Key Results

• $d=4$ (N=4 SYM) Coefficients:

  • $w_1 = -i/2$ (Shear viscosity related).
  • $w_2 = -\frac{i}{4}(1 - \log 2)$.
  • $w_3 = -\frac{i}{96}[24 \log^2 2 - \pi^2]$.
  • $w_4$ and $w_5$ are derived explicitly, involving terms like $\zeta(3)$, $\pi^2$, $\log 2$, and polylogarithms like $\text{Li}_4(1/2)$.
  • The results confirm previous lower-order calculations and introduce the new $w_5$ term.

• $d=3$ (M2-brane) Coefficients:

  • $w_1 = -i/2$.
  • $w_2$ involves $\pi/\sqrt{3}$ and $\log 3$.
  • $w_3$ is a new result involving $\text{Li}_{1,1}$ evaluated at third roots of unity ($u_1, u_2$).

• Structure of Irrationality:

  • The paper establishes that at order $q^{2k}$, the transport coefficients involve CMZVs of weight $\le k-1$.
  • For $d=4$, the level is 2 (arguments $\pm 1$).
  • For general $d$, the level corresponds to the number of roots of unity in the blackening factor.

5. Significance

• Theoretical Physics: The work provides a deeper understanding of the hydrodynamic expansion in strongly coupled gauge theories. Higher-order transport coefficients are crucial for understanding the causal structure of the theory and the convergence radius of the hydrodynamic gradient expansion.
• Mathematical Physics: It demonstrates the power of multiple polylogarithms as a unifying language for solving differential equations arising in holography. The paper bridges the gap between black hole perturbation theory and the algebraic structures of special functions (CMZVs).
• Future Applications: The recursive framework is applicable to other sectors (e.g., sound modes, though more complex due to overlapping singularities) and other brane configurations (Dp-branes). It also offers a pathway to study the large-$d$ expansion, where the density of singularities increases.
• Resources: The author provides Mathematica notebooks containing the full wave solutions and frequencies for $d=4$ and $d=3$, facilitating further research and verification.

In summary, this paper successfully extends the analytic calculation of holographic transport coefficients to unprecedented orders using a sophisticated recursive method based on multiple polylogarithms, revealing a rich mathematical structure underlying the hydrodynamic response of strongly coupled quantum systems.