Noncommutative QFT and Relative Entropy on Axisymmetric Bifurcate Killing Horizons

This paper constructs a noncommutative algebraic quantum field theory on axisymmetric bifurcate Killing horizons via Moyal-Rieffel deformation generated by horizon dilations and rotations, demonstrating that the relative entropy between coherent states acquires a novel second-order correction significant for black holes with small horizon areas.

The Gist

Imagine you are standing on the edge of a black hole. In classical physics, this edge (the "event horizon") is like a smooth, perfectly flat sheet of paper. You can draw a grid on it, measure distances, and everything behaves predictably. But what if, at the tiniest scales imaginable—the size of a single atom or even smaller—that smooth sheet isn't actually smooth? What if it's more like a crumpled piece of foil, or a fuzzy, pixelated screen where "here" and "there" get a little blurry?

This paper is about building a new mathematical model to describe what happens when that "fuzziness" (called noncommutativity) is introduced to the edge of a spinning black hole.

Here is the breakdown of their work using simple analogies:

1. The Setting: A Spinning Black Hole's Edge

The authors are looking at a specific type of black hole that is stationary (not changing over time) and axisymmetric (spinning around a central axis, like a top).

• The Horizon: Think of the event horizon as the "surface" of the black hole.
• The Symmetries: Because the black hole is spinning and steady, it has two special rules of motion:
  1. Stretching: If you move along the edge of the horizon, things stretch or shrink in a predictable way (like zooming in on a map).
  2. Spinning: You can rotate around the black hole's axis.
• The Magic: These two motions (stretching and spinning) don't interfere with each other; they are "friendly" symmetries. This makes them perfect tools to build a new kind of math.

2. The Problem: Smooth vs. Fuzzy

In our everyday world, if you say "I am at point A," and then "I am at point B," the order doesn't matter. But in the quantum world (the world of the very small), things get weird.

• The Analogy: Imagine trying to take a photo of a spinning fan. If you use a fast shutter speed, you see the blades clearly. If you use a slow shutter speed, the blades blur into a circle.
• The Theory: The authors propose that at the Planck scale (the smallest possible size in the universe), the horizon of a black hole is like that blurry photo. You can't pinpoint a location and an angle simultaneously with perfect precision. The "coordinates" of the horizon don't commute (they don't play nice in a specific order).

3. The Solution: A New "Star Product"

To describe this fuzzy horizon, the authors created a new mathematical tool called a Star Product (denoted by $\star$).

• The Old Way: In normal math, if you multiply two numbers $A$ and $B$, you get $A \times B$.
• The New Way: In their fuzzy world, multiplying $A$ and $B$ gives you a result that depends on how you stretched and spun the horizon. It's like mixing paint: if you mix Red then Blue, you get a slightly different shade of purple than if you mix Blue then Red.
• The Result: This new math creates a "noncommutative geometry." The horizon is no longer a smooth sheet; it's a grid where the lines wiggle and overlap in a quantum way.

4. The Experiment: Measuring "Information"

The authors didn't just build the math; they tested it. They asked: "How much information can we distinguish between two different states on this fuzzy horizon?"

• The Tool: They used a concept called Relative Entropy. Think of this as a "distinguishability meter." If you have two different patterns of energy on the horizon, how easy is it to tell them apart?
• The Finding:
  • In the normal (smooth) world, the amount of information you can distinguish is directly related to the area of the horizon. (Bigger area = more info).
  • In their fuzzy (deformed) world, they found a new correction.
  • The Twist: If the black hole is huge, the fuzziness doesn't matter much. But if the black hole is tiny (close to the size of the Planck length), this new "fuzziness" adds extra information. It's like finding hidden details in a blurry photo that you couldn't see before.

5. Why This Matters: The "Page Curve"

This connects to a huge mystery in physics called the Black Hole Information Paradox and the Page Curve.

• The Story: As a black hole evaporates (shrinks), it loses information. Physicists expect the amount of information to go down, then up again, creating a curve that looks like a "Page" (a page in a book).
• The Paper's Contribution: The authors show that because of this new "fuzzy" geometry, the curve gets a little boost at the end. The noncommutative nature of the horizon adds a "safety net" of information that prevents the black hole from losing everything.
• The Analogy: Imagine a leaky bucket (the black hole). In the old model, the water (information) just leaks out. In this new model, the bucket has a special lining (the noncommutative geometry) that catches some of the water and puts it back in, changing the shape of the leak.

Summary

The authors took the known symmetries of a spinning black hole (stretching and spinning) and used them to build a new math that makes the horizon "fuzzy" at the smallest scales. They proved that this fuzziness changes how we calculate information on the horizon, adding a tiny but crucial correction that might help solve the mystery of what happens to information inside black holes.

In a nutshell: They turned the smooth edge of a black hole into a fuzzy, quantum pixelated screen and discovered that this fuzziness actually helps save the information that falls in.

Technical Summary

1. Problem Statement

The paper addresses the challenge of formulating Quantum Field Theory (QFT) on noncommutative spacetime backgrounds, specifically focusing on the geometry of black hole horizons.

• Context: Classical spacetime descriptions are expected to break down at the Planck scale. Noncommutative geometry (NCG) offers a framework where spacetime coordinates satisfy non-trivial commutation relations, $[x^a, x^b] = 2i\Theta^{ab}$.
• Specific Challenge: While Rieffel deformations (a method to construct noncommutative algebras) are well-established for Minkowski spacetime using translation symmetries, extending these to curved spacetimes is difficult due to the lack of global translation symmetries.
• Goal: The authors aim to construct a rigorous, symmetry-adapted noncommutative deformation of QFT specifically on bifurcate Killing horizons in stationary, axisymmetric spacetimes. They seek to determine how this noncommutative structure affects physical observables, particularly relative entropy, which serves as a measure of information and thermodynamic properties.

2. Methodology

The authors employ the algebraic QFT (AQFT) framework combined with Rieffel deformation techniques adapted to the specific symmetries of Killing horizons.

A. Geometric Setup

• Spacetime: A globally hyperbolic, stationary, and axisymmetric spacetime $(M, g)$ possessing a bifurcate Killing horizon.
• Symmetries: The deformation is generated by two commuting Killing vector fields:
  1. Affine Dilations ($D$): Generated by the timelike Killing vector field projected onto the horizon, acting as dilations along the null generators (affine parameter $V$).
  2. Rotations ($L$): Generated by the axial Killing vector field, acting as shifts in the azimuthal angle ($\phi$).
• Horizon Structure: The horizon $H_A$ is parameterized by $(V, \vartheta, \phi)$. The theory is restricted to the future right wedge of the horizon.

B. Algebraic Deformation (Star Product)

Instead of deforming the fields directly, the authors deform the underlying symplectic space of test functions on the horizon.

• Function Space: $D_{H_A}$, the space of smooth, compactly supported functions on the horizon.
• Deformation Mechanism: A Rieffel-type star product $\star_\Theta$ is defined via an oscillatory integral involving the commuting actions of dilations and rotations.
  $$(f \star_\Theta g)(V, \vartheta, \phi) = \lim_{\epsilon \to 0} \frac{1}{(2\pi)^2} \int \chi(\epsilon x, \epsilon y) e^{-i(x|y)} (\pi_{\Theta x} f)(\pi_y g) \, dx \, dy$$
  where $\Theta$ is an antisymmetric matrix parameterizing the noncommutativity, specifically mixing the null coordinate $V$ and the angular coordinate $\phi$.
• Perturbative Expansion: The product is analyzed via a formal power series in the deformation parameter $\theta$. The first-order term corresponds to a Poisson bracket, and the second-order term introduces higher-derivative corrections.
• Localization: The authors prove that while the full non-perturbative product may delocalize functions, the finite-order truncations preserve the compact support of the original test functions, ensuring the deformation is well-defined within the algebraic framework.

C. Quantization and Symplectic Structure

• Deformed Symplectic Form: The classical symplectic form $\sigma(f, g) = \int (f \partial_V g - g \partial_V f)$ is deformed by replacing the pointwise product with the star product $\star_\Theta$.
• Weyl Algebra: A deformed Weyl algebra $\mathcal{W}_\Theta$ is constructed over the quotient of the test function space by the kernel of the deformed symplectic form.
• States: The authors define quasi-free KMS states (thermal states at the Hawking temperature $\beta = 2\pi/\kappa$) on this deformed algebra. Crucially, they show that the modular flow of the deformed algebra remains identical to the projected Killing flow (geometric modular flow), preserving the thermal nature of the horizon.

3. Key Contributions and Results

A. Construction of the Deformed Theory

The paper successfully constructs a non-perturbative star product on bifurcate Killing horizons generated by affine dilations and rotations.

• Associativity: The product is associative in the sense of formal power series, guaranteed by the commutativity of the generating isometries.
• Unitality: The product is unital, meaning constant functions (zero modes) are invariant under the deformation.

B. Relative Entropy Calculation

The primary physical result is the computation of the relative entropy $S_{rel}$ between a thermal reference state $\mathring{\omega}_\Theta$ and a coherent excitation $\omega^f_\Theta$ in the deformed theory.

• General Formula: An exact expression for the relative entropy involving the star product is derived:
  $$S_{rel} = \pi \int \left[ (V \partial_V f) \star_\Theta (\partial_V f) - f \star_\Theta (\partial_V f + V \partial_V^2 f) \right] dV d\text{vol}_S$$
• Perturbative Expansion:
  • Zeroth Order ($O(\theta^0)$): Recovers the standard semiclassical relative entropy, which is proportional to the horizon area and the localization of the test function along the null generators.
  • First Order ($O(\theta^1)$): The correction vanishes identically due to the antisymmetry of the Poisson bracket and integration by parts.
  • Second Order ($O(\theta^2)$): A strictly positive correction term emerges:
    $$S_{rel}^{(2)} = 2\pi \theta^2 \int_{R \times S} V (\partial_V \partial_\phi f)^2 \, dV \, d\text{vol}_S$$
    This term depends on mixed derivatives in the null ($V$) and angular ($\phi$) directions.

C. Physical Interpretation of Results

• Positivity: The relative entropy remains strictly positive, consistent with fundamental axioms of QFT and quantum information theory.
• Angular Localization: The second-order correction implies that the distinguishability between states increases if the coherent excitation is localized in both the null direction and the angular direction.
• Zero Mode Invariance: Coherent excitations that are constant in the azimuthal angle (angular zero modes) are invariant under the deformation. The noncommutative effects only manifest for excitations with non-trivial angular dependence.
• Page Curve Implications: The authors suggest that for black holes with small horizon areas (where Planck-scale effects are non-negligible), the positive second-order correction leads to an upward correction of the Page curve at late times. This implies that noncommutative geometry could resolve or modify the information loss paradox by increasing the entropy of the radiation relative to the semiclassical prediction.

4. Significance

• Theoretical Framework: This work provides a mathematically rigorous example of how to implement noncommutative geometry on curved, dynamical horizons without relying on global translation symmetries. It bridges the gap between algebraic QFT on curved spacetimes and noncommutative geometry.
• Thermodynamics: It offers a concrete mechanism for how Planck-scale noncommutativity modifies black hole thermodynamics. The result that relative entropy (a proxy for entanglement entropy) receives positive corrections suggests that noncommutative horizons might retain more information than their classical counterparts.
• Symmetry Adaptation: The approach demonstrates that "symmetry-adapted" deformations (using the specific isometries of the background) are a viable and powerful strategy for probing quantum gravity effects, preserving essential structural properties like the KMS condition and modular flow.
• Future Directions: The paper sets the stage for studying interacting theories on noncommutative horizons and suggests that similar deformation techniques could be applied to dynamical spacetimes (e.g., Kerr-Vaidya) using Kodama flows.

In summary, Dorau, Much, and Verch demonstrate that introducing noncommutativity between the null and angular coordinates of a black hole horizon leads to a well-defined QFT where the relative entropy of coherent states receives a strictly positive, second-order correction dependent on angular localization, offering new insights into the quantum information content of black holes.