pith. sign in

arxiv: 2503.19342 · v4 · pith:IT6ZVVNDnew · submitted 2025-03-25 · ✦ hep-th · quant-ph

Timelike entanglement entropy Revisited

Xin Jiang , Haitang Yang This is my paper

Pith reviewed 2026-05-22 23:26 UTC · model grok-4.3

classification ✦ hep-th quant-ph
keywords timelike entanglement entropyoperator algebratimelike tube theoremquantum field theoryholographypath integral
0
0 comments X

The pith

An operator-algebraic definition makes timelike entanglement entropy real-valued in quantum field theory via the timelike tube theorem.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces an operator-algebraic definition of timelike entanglement entropy in quantum field theory, relying on a few mild postulates. Under this definition the entropy is guaranteed to be real rather than complex because the timelike tube theorem applies. The authors supply additional arguments from path integrals and from holographic duality that independently indicate why the quantity must take real values. A real-valued timelike entanglement entropy would permit consistent calculations of information measures across timelike separations in relativistic quantum systems.

Core claim

The central claim is that timelike entanglement entropy, when defined rigorously via operator algebras subject to mild postulates, is real-valued because of the timelike tube theorem. This reality is also shown to follow from path-integral reasoning and from the holographic perspective.

What carries the argument

The operator-algebraic definition of timelike entanglement entropy, which invokes the timelike tube theorem to enforce real values.

If this is right

  • Timelike entanglement entropy can be treated as a real number in any quantum field theory obeying the postulates.
  • The definition is consistent with both direct field-theoretic calculations and holographic duals.
  • It supplies a uniform framework for entanglement quantities across both spacelike and timelike regions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same construction could be applied to other entanglement measures that involve timelike cuts.
  • If the postulates hold broadly, timelike entanglement entropy would obey the same reality and monotonicity properties as its spacelike counterpart in many models.
  • The approach might allow direct comparison between field-theory and gravity calculations of timelike information flow.

Load-bearing premise

The mild postulates required for the operator-algebraic definition are compatible with the standard axioms of quantum field theory.

What would settle it

An explicit computation of timelike entanglement entropy in a free scalar field that yields a complex value while satisfying the stated postulates would falsify the claim.

Figures

Figures reproduced from arXiv: 2503.19342 by Haitang Yang, Xin Jiang.

Figure 1
Figure 1. Figure 1: The timelike envelope ET (the gray shaded region) consists of all points that can be reached by deforming the timelike interval T (the purple line) to a family of timelike curves (black dashed lines), which is equivalent to a causal diamond O. All points at t = 0 constitutes a spacelike ball V (the blue region). The timelike tube theorem asserts that the algebra of operators on a timelike interval T is ide… view at source ↗
Figure 3
Figure 3. Figure 3: Penrose diagrams of Poincaré patch of AdS [PITH_FULL_IMAGE:figures/full_fig_p003_3.png] view at source ↗
Figure 2
Figure 2. Figure 2: The density matrix for disjoint symmetric segments [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 4
Figure 4. Figure 4: The left/right Rindler wedges and the future/past [PITH_FULL_IMAGE:figures/full_fig_p004_4.png] view at source ↗
read the original abstract

We present an operator-algebraic definition for timelike entanglement entropy in QFT under a few mild postulates. This rigorously defined timelike entanglement entropy is real-valued due to the timelike tube theorem. We further demonstrate why the timelike entanglement entropy should be real-valued from both path integral argument and holography perspective.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript presents an operator-algebraic definition of timelike entanglement entropy in QFT resting on a small set of mild postulates. It asserts that the resulting quantity is necessarily real-valued by direct application of the timelike tube theorem, and supplies supporting arguments from the path integral and from holography.

Significance. A rigorously justified, real-valued timelike entanglement entropy would resolve a long-standing conceptual issue in the literature and could serve as a reliable diagnostic in both field-theoretic and gravitational settings. The combination of algebraic, path-integral and holographic lines of evidence, if mutually consistent and free of hidden assumptions, would constitute a substantive advance.

major comments (1)
  1. The abstract (and the visible statement of the central claim) asserts that the definition rests on 'a few mild postulates' whose precise content is not supplied. Because the real-valuedness is derived from these postulates together with the timelike tube theorem, the absence of their explicit formulation prevents verification that they are compatible with standard QFT axioms and do not render the result tautological. This is load-bearing for the principal theorem.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the need for explicit formulation of the postulates. We address the single major comment below.

read point-by-point responses

  1. Referee: The abstract (and the visible statement of the central claim) asserts that the definition rests on 'a few mild postulates' whose precise content is not supplied. Because the real-valuedness is derived from these postulates together with the timelike tube theorem, the absence of their explicit formulation prevents verification that they are compatible with standard QFT axioms and do not render the result tautological. This is load-bearing for the principal theorem.

    Authors: We agree that the abstract does not list the postulates explicitly and that this hinders verification. The body of the manuscript (Section 2) introduces the operator-algebraic setup, but we will revise the abstract, introduction, and add a dedicated paragraph in Section 2 to state the postulates verbatim. These are: (i) the existence of a von Neumann algebra for each causally complete region satisfying the standard Haag-Kastler axioms, (ii) the validity of the timelike tube theorem in the given QFT, and (iii) the definition of the timelike entanglement entropy via the relative entropy between the algebra and its commutant. These are standard and mild; they do not make the result tautological because the timelike tube theorem supplies the non-trivial step that forces the entropy to be real. We will also add a short discussion confirming compatibility with the Haag-Kastler framework. revision: yes

Circularity Check

0 steps flagged

No significant circularity; result follows from external theorem applied to independent definition

full rationale

The paper defines timelike entanglement entropy via an operator-algebraic construction under mild postulates, then invokes the (external) timelike tube theorem to establish real-valuedness. Supporting arguments from path integrals and holography are presented separately. No equations, self-citations, or fitted parameters are shown that reduce the claimed real-valued property to the definition by construction. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim depends on unspecified mild postulates and the timelike tube theorem; no free parameters, invented entities, or additional axioms are visible in the abstract.

axioms (2)
  • domain assumption A few mild postulates suffice to define timelike entanglement entropy via operator algebra
    The definition is introduced under these postulates; their content is not given.
  • domain assumption The timelike tube theorem applies directly to the defined quantity
    The real-valued property is attributed to this theorem.

pith-pipeline@v0.9.0 · 5554 in / 1051 out tokens · 39438 ms · 2026-05-22T23:26:45.811668+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Entanglement inequalities for timelike intervals within dynamical holography

    hep-th 2026-04 unverdicted novelty 5.0

    Timelike mutual information is positive and weak monotonicity holds for non-overlapping timelike subregions in AdS3-Vaidya holography, but the timelike strong subadditivity is violated for overlapping intervals while ...

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · cited by 1 Pith paper · 5 internal anchors

  1. [1]

    Fix the dual geometries ofT ¯Tdeformed CFT 2 and highly excited states of CFT 2.Eur

    Peng Wang, Houwen Wu, and Haitang Yang. Fix the dual geometries ofT ¯Tdeformed CFT 2 and highly excited states of CFT 2.Eur. Phys. J. C, 80(12):1117, 2020.arXiv:1811.07758,doi:10.1140/ epjc/s10052-020-08680-7

    work page arXiv 2020

  2. [2]

    Entanglement en- tropy of free fermions in timelike slices.Phys

    Bowei Liu, Hao Chen, and Biao Lian. Entanglement en- tropy of free fermions in timelike slices.Phys. Rev. B, 110(14):144306, 2024.arXiv:2210.03134,doi:10.1103/ PhysRevB.110.144306

    work page arXiv 2024

  3. [3]

    PseudoentropyindS/CFT and Timelike Entanglement Entropy.Phys

    Kazuki Doi, Jonathan Harper, Ali Mollabashi, Tadashi Takayanagi, andYusukeTaki. PseudoentropyindS/CFT and Timelike Entanglement Entropy.Phys. Rev. Lett., 130(3):031601, 2023.arXiv:2210.09457,doi:10.1103/ PhysRevLett.130.031601

    work page arXiv 2023

  4. [4]

    Algebras, regions, and observers.Proc

    Edward Witten. Algebras, regions, and observers.Proc. Symp. Pure Math., 107:247–276, 2024.arXiv:2303. 02837,doi:10.1090/pspum/107/01954

    work page doi:10.1090/pspum/107/01954 2024

  5. [5]

    Field operators asC∞ functions in spacelike directions.Il Nuovo Cimento (1955-1965), 33:1600–1613, 1964

    Hans-Jürgen Borchers. Field operators asC∞ functions in spacelike directions.Il Nuovo Cimento (1955-1965), 33:1600–1613, 1964

    work page 1955

  6. [6]

    An algebraic ap- proach to quantum field theory.Journal of Mathematical Physics, 5(7):848–861, 1964

    Rudolf Haag and Daniel Kastler. An algebraic ap- proach to quantum field theory.Journal of Mathematical Physics, 5(7):848–861, 1964

    work page 1964

  7. [7]

    Theoretical and Mathemati- cal Physics

    Rudolf Haag.Local Quantum Physics: Fields, Particles, Algebras. Theoretical and Mathemati- cal Physics. Springer, Berlin, 1996.doi:10.1007/ 978-3-642-61458-3

    work page 1996

  8. [8]

    Von Neumann Entropy in QFT.Commun

    Roberto Longo and Feng Xu. Von Neumann Entropy in QFT.Commun. Math. Phys., 381(3):1031–1054, 2021. arXiv:1911.09390,doi:10.1007/s00220-020-03702-7

    work page doi:10.1007/s00220-020-03702-7 2021

  9. [9]

    Standard and split inclusions of von Neumann algebras.Invent

    Sergio Doplicher and Roberto Longo. Standard and split inclusions of von Neumann algebras.Invent. Math., 75:493–536, 1984.doi:10.1007/BF01388641

    work page doi:10.1007/bf01388641 1984

  10. [10]

    Über die vollständigkeit lorentz- invarianter felder in einer zeitartigen röhre.Il Nuovo Ci- mento (1955-1965), 19:787–793, 1961

    Hans-Jürgen Borchers. Über die vollständigkeit lorentz- invarianter felder in einer zeitartigen röhre.Il Nuovo Ci- mento (1955-1965), 19:787–793, 1961

    work page 1955

  11. [11]

    A generalization of borchers theorem

    Huzihiro Araki. A generalization of borchers theorem. Helvetica Physica Acta (Switzerland), 36, 1963

    work page 1963

  12. [12]

    Callan, Jr

    Curtis G. Callan, Jr. and Frank Wilczek. On geometric entropy.Phys. Lett. B, 333:55–61, 1994.arXiv:hep-th/ 9401072,doi:10.1016/0370-2693(94)91007-3

    work page doi:10.1016/0370-2693(94)91007-3 1994

  13. [13]

    Holographic derivation of entanglement entropy from AdS/CFT

    Shinsei Ryu and Tadashi Takayanagi. Holographic derivation of entanglement entropy from AdS/CFT. Phys. Rev. Lett., 96:181602, 2006.arXiv:hep-th/ 0603001,doi:10.1103/PhysRevLett.96.181602

    work page doi:10.1103/physrevlett.96.181602 2006

  14. [14]

    Aspects of holo- graphic entanglement entropy.Journal of High En- ergy Physics, 2006(08):045–045, aug 2006.doi:10.1088/ 1126-6708/2006/08/045

    Shinsei Ryu and Tadashi Takayanagi. Aspects of holo- graphic entanglement entropy.Journal of High En- ergy Physics, 2006(08):045–045, aug 2006.doi:10.1088/ 1126-6708/2006/08/045

    work page 2006

  15. [15]

    Pasquale Calabrese and John L. Cardy. Entanglement entropy and quantum field theory.J. Stat. Mech., 0406:P06002, 2004.arXiv:hep-th/0405152,doi:10. 1088/1742-5468/2004/06/P06002

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  16. [16]

    Pasquale Calabrese and John L. Cardy. Entangle- ment entropy and conformal field theory.J. Phys. A, 42:504005, 2009.arXiv:0905.4013,doi:10.1088/ 1751-8113/42/50/504005

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  17. [17]

    5 Alternative to purification in conformal field theory

    Xin Jiang, Peng Wang, Houwen Wu, and Haitang Yang. 5 Alternative to purification in conformal field theory. Phys. Rev. D, 111(2):L021902, 2025.arXiv:2406.09033, doi:10.1103/PhysRevD.111.L021902

    work page doi:10.1103/physrevd.111.l021902 2025

  18. [18]

    Mixed state entanglement entropy in CFT

    Xin Jiang, Peng Wang, Houwen Wu, and Haitang Yang. Mixed state entanglement entropy in CFT. JHEP, 09:133, 2025.arXiv:2501.08198,doi:10.1007/ JHEP09(2025)133

    work page arXiv 2025

  19. [19]

    On the duality condition for a hermitian scalar field.Journal of Mathematical Physics, 16(4):985–1007, 1975

    Joseph J Bisognano and Eyvind H Wichmann. On the duality condition for a hermitian scalar field.Journal of Mathematical Physics, 16(4):985–1007, 1975

    work page 1975

  20. [20]

    Buchholz

    D. Buchholz. On the Structure of Local Quantum Fields with Nontrivial Interaction. pages 146–153, 1977

    work page 1977

  21. [21]

    Entanglement between the future and past in the quantum vacuum

    S. Jay Olson and Timothy C. Ralph. Entanglement between the future and past in the quantum vacuum. Phys. Rev. Lett., 106:110404, 2011.arXiv:1003.0720, doi:10.1103/PhysRevLett.106.110404

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.106.110404 2011

  22. [23]

    Emergent times in holographic duality.Phys

    Samuel Leutheusser and Hong Liu. Emergent times in holographic duality.Phys. Rev. D, 108(8):086020, 2023.arXiv:2112.12156,doi:10.1103/PhysRevD.108. 086020

    work page doi:10.1103/physrevd.108 2023

  23. [24]

    Witten,Gravity and the crossed product,JHEP10(2022) 008 [2112.12828]

    Edward Witten. Gravity and the crossed product. JHEP, 10:008, 2022.arXiv:2112.12828,doi:10.1007/ JHEP10(2022)008

    work page arXiv 2022

  24. [25]

    Penington and E

    Geoff Penington and Edward Witten. Algebras and States in JT Gravity. 1 2023.arXiv:2301.07257

    work page arXiv 2023

  25. [26]

    An Algebra of Observables for de Sitter Space

    Venkatesa Chandrasekaran, Roberto Longo, Geoff Pen- ington, and Edward Witten. An algebra of observ- ables for de Sitter space.JHEP, 02:082, 2023.arXiv: 2206.10780,doi:10.1007/JHEP02(2023)082

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep02(2023)082 2023

  26. [27]

    A background-independent algebra in quantum gravity.JHEP, 03:077, 2024.arXiv:2308

    Edward Witten. A background-independent algebra in quantum gravity.JHEP, 03:077, 2024.arXiv:2308. 03663,doi:10.1007/JHEP03(2024)077

    work page doi:10.1007/jhep03(2024)077 2024

  27. [28]

    On the local structure of the Klein-Gordon field on curved spacetimes

    Alexander Strohmaier. On the local structure of the Klein-Gordon field on curved spacetimes.arXiv e-prints, pages math–ph/0008043, August 2000.arXiv:math-ph/ 0008043,doi:10.48550/arXiv.math-ph/0008043

    work page internal anchor Pith review doi:10.48550/arxiv.math-ph/0008043 2000

  28. [29]

    Analytic states in quantum field theory on curved spacetimes

    Alexander Strohmaier and Edward Witten. Analytic states in quantum field theory on curved spacetimes. arXiv e-prints, page arXiv:2302.02709, February 2023. arXiv:2302.02709,doi:10.48550/arXiv.2302.02709

    work page doi:10.48550/arxiv.2302.02709 2023

  29. [30]

    TheTimelike TubeTheoreminCurvedSpacetime.arXiv e-prints, page arXiv:2303.16380, March 2023.arXiv:2303.16380,doi: 10.48550/arXiv.2303.16380

    Alexander Strohmaierand EdwardWitten. TheTimelike TubeTheoreminCurvedSpacetime.arXiv e-prints, page arXiv:2303.16380, March 2023.arXiv:2303.16380,doi: 10.48550/arXiv.2303.16380

    work page doi:10.48550/arxiv.2303.16380 2023