Timelike entanglement entropy Revisited

This paper establishes a rigorous, real-valued operator-algebraic definition for timelike entanglement entropy in quantum field theory, supported by the timelike tube theorem and corroborated by path integral and holographic perspectives.

The Gist

The Big Idea: Measuring "Time" Connections

In the world of quantum physics, scientists often talk about entanglement. Imagine two magic dice that are linked: no matter how far apart they are, if you roll one and get a "6," the other instantly shows a "6" too. Usually, we measure this link between things that are separated by space (like two different rooms).

This paper asks a strange question: What if we measure the link between things separated by time?

Imagine you are an observer. You measure a particle today (let's call this "Time A") and then measure it again tomorrow ("Time B"). Are the results of your measurement today "entangled" with the results of your measurement tomorrow?

The Problem: Confusion and "Ghost" Numbers

For a while, physicists have been trying to calculate this "time entanglement." However, previous attempts had a major glitch: the math kept spitting out imaginary numbers (like $\sqrt{-1}$).

In physics, a "real" number usually means something you can actually measure or observe (like 5 apples or 3 seconds). An "imaginary" number is a mathematical ghost—it doesn't correspond to a physical reality in the same way. The authors of this paper argue that if we are talking about a real physical system, the answer should be a real number, not a ghost.

The Solution: The "Time Tube" Rule

The authors use a set of mathematical tools called Algebraic Quantum Field Theory to fix this. Here is how they do it, using an analogy:

1. The "Smearing" Analogy (Fixing the Blur)
In quantum physics, you can't just look at a single point in space or time; it's too blurry and breaks the math. You have to "smear" your observation over a small area.

• Spatial Smearing: Usually, we smear a measurement over a small patch of space (like a tiny circle on a table).
• The Paper's Trick: The authors say, "Let's smear the measurement over a slice of time instead." Imagine a vertical tube representing your life from yesterday to tomorrow. You measure everything inside that tube.

2. The "Time Tube" Theorem (The Magic Shortcut)
The paper relies on a rule called the Timelike Tube Theorem.

• The Analogy: Imagine you have a long, thin, vertical tube (your time interval). The theorem says that the information contained inside that vertical tube is exactly the same as the information contained in a diamond-shaped bubble that surrounds the tube.
• Why this matters: We already know how to calculate entanglement for that diamond-shaped bubble (which is a standard spatial shape). Because the tube and the bubble contain the exact same information, the "time entanglement" of the tube must be the same as the "space entanglement" of the bubble.

3. The Result: Real Numbers Only
Because the "diamond bubble" calculation is well-understood and gives real numbers, the authors prove that the "time tube" calculation must also give real numbers.

• They argue that previous papers got imaginary numbers because they made a mistake in how they handled the "cutoff" (the limit of how small their measurements could be). They treated the time limit and the space limit differently, which created the "ghost" numbers.
• By treating them consistently, the math cleans up, and the result is a solid, real number.

The Holographic Proof (The Mirror Wall)

To double-check their math, the authors look at it through the lens of Holography (a theory that says our 3D universe might be a projection of a 2D surface).

• They imagine the "time entanglement" as a shape in a higher-dimensional space.
• Previous theories suggested this shape included a "timelike" path that would create an imaginary number.
• The authors show that for a specific type of time interval (a half-infinite line), the shape is actually just a simple, straight line with no "timelike" loops. Therefore, the result is purely real.

What This Means for "Entanglement Across Time"

The paper concludes that entanglement across time is real.

• The Analogy: If you are an observer watching a massless particle (like a photon) that doesn't interact with anything else, the things you measure in your future are mathematically linked to the things you measured in your past.
• It's not that the future changes the past, but that the "data" of your past and the "data" of your future are part of the same quantum puzzle.

Summary

1. The Goal: Define how much "quantum connection" exists between different moments in time.
2. The Fix: Use a mathematical rule (Timelike Tube Theorem) to show that a "time interval" is mathematically identical to a "spatial diamond."
3. The Result: The entanglement entropy is a real number, not an imaginary one. Previous imaginary results were due to mathematical errors in how the limits were applied.
4. The Takeaway: In specific quantum scenarios, your past and your future are deeply entangled, just like two particles separated by space.

Note: The authors explicitly state this is a theoretical definition for general quantum field theories. They do not claim this can be used for time travel, medical devices, or changing the past, but rather that it clarifies the mathematical rules of how the universe works.

Technical Summary

Technical Summary: Timelike Entanglement Entropy Revisited

Problem Statement
While entanglement entropy is a central concept in quantum field theory (QFT) and quantum gravity, its standard definition applies to spacelike regions. Recent theoretical motivations have introduced the concept of "timelike entanglement entropy" for timelike regions. However, a rigorous, intrinsic definition remains unclear. Specifically, the literature lacks a consensus on:

1. What constitutes a valid timelike subsystem in QFT, given that local field operators $\phi(x)$ are not true observables (they map states out of the Hilbert space due to singularities in the operator product expansion).
2. How to define the entanglement entropy for such a subsystem, particularly whether the resulting value should be real or complex.

Existing proposals often yield complex-valued results, creating a contradiction with the expectation that entropy, as a measure of information, should be real. This paper focuses on "Configuration A" (entanglement between a temporal interval and the remainder of the temporal axis), distinct from "Configuration B" (entanglement between two timelike-separated spacelike regions).

Methodology
The authors employ the framework of Algebraic Quantum Field Theory (AQFT) to construct a rigorous definition. The methodology proceeds through the following logical steps:

1. Operator Algebraic Definition of Subsystems:
   Instead of smearing fields over spatial regions (which can fail in theories like QCD due to non-integrable singularities), the authors utilize Borchers' result that smearing field operators over a timelike interval $T$ yields well-defined bounded operators. This generates an observable algebra $\mathcal{A}(T)$. The paper assumes the theory satisfies the split property (guaranteed by the Buchholz–Wichmann nuclearity condition), which allows the vacuum Hilbert space to be factorized via an intermediate Type I von Neumann algebra. This enables the definition of a reduced density matrix and von Neumann entropy for the algebra $\mathcal{A}(T)$.

2. The Timelike Tube Theorem:
   The core theoretical tool is the timelike tube theorem, which asserts that the algebra of operators on a timelike interval $T$ is identical to the algebra of operators on its "timelike envelope" $E_T$ (the causal diamond formed by the intersection of the future and past of $T$).
   $$\mathcal{A}(T) = \mathcal{A}(E_T)$$
   Since $E_T$ is equivalent to the domain of dependence of a spacelike ball $V$ at $t=0$, the timelike entanglement entropy $S(T)$ is defined as the standard spacelike entanglement entropy $S(V)$.

3. Resolution of the Complex-Valued Controversy:
   The paper addresses the discrepancy between their real-valued proposal and previous complex-valued results using two perspectives:

   • Path Integral Argument: The authors analyze the density matrix on an annulus. They argue that previous complex results arise from an inconsistent Wick rotation where the UV cutoff $\epsilon$ is kept real while the interval length is rotated to imaginary time. By applying Wick rotations consistently to both the interval length and the cutoff (or recognizing that the path integral on the annulus is independent of the segment locations), the resulting entropy remains real.
   • Holography Perspective: Using the AdS/CFT correspondence, the authors consider the holographic dual of a finite timelike interval. While some conjectures suggest a dual involving timelike geodesics (which would contribute an imaginary part), the authors demonstrate that via a special conformal transformation, any finite timelike interval maps to a temporal half-axis. The holographic dual of the temporal half-axis consists solely of a spacelike geodesic, implying the entropy must be purely real.

Key Results

• Real-Valued Entropy: The paper establishes that timelike entanglement entropy, defined via the algebraic approach and the timelike tube theorem, is strictly real-valued.
• Explicit Formulas:
  • For a $(1+1)$-dimensional CFT at zero temperature, the entropy for a timelike interval of length $T$ is:
    $$S(T) = \frac{c}{3} \log \frac{T}{\epsilon}$$
    where $c$ is the central charge and $\epsilon$ is the UV cutoff.
  • Finite temperature and finite-size corrections are derived, matching known results for spacelike intervals but applied to the temporal domain.
  • The result generalizes to $d+1$ dimensions, where $S(T) = S(V)$ with $V$ being a $d$-dimensional spacelike ball of radius $R=T/2$.
• Physical Interpretation: The authors interpret this entropy as "entanglement across time." In massless, non-interacting QFTs (where influence propagates only along lightlike intervals), the observables in an observer's future light cone are entangled with those in their past light cone. This is analogous to the entanglement between left and right Rindler wedges.

Significance and Claims
The paper claims to provide the first rigorous, operator-algebraic definition of timelike entanglement entropy in general dimensions. Its primary significance lies in:

1. Rigorous Foundation: It resolves the ambiguity of defining timelike subsystems by grounding the definition in the algebra of observables generated by real-time smearing, rather than heuristic path integral manipulations.
2. Reality of Entropy: It demonstrates that timelike entanglement entropy is real-valued, correcting previous literature that suggested complex values due to inconsistent regularization schemes.
3. Physical Relevance: It connects the abstract algebraic definition to physical phenomena, specifically the entanglement between an observer's past and future measurements in massless theories.

The authors modestly note that their proposal relies on the split property and additivity of the algebra, meaning it may not apply to theories with defects or generalized free field theories where these properties fail. They also acknowledge that the strong subadditivity property does not hold for timelike directions due to the non-commutativity of the algebras, a point clarified by Edward Witten. The work suggests that the timelike tube theorem, generalized to curved spacetime, could eventually allow for the definition of timelike entanglement entropy in the presence of gravity.