Area Monotonicity of Wormhole Throats and a Geometric Bound on Information Transfer

Asl{\i} Tuncer; Fuat Berkin Altunkaynak

arxiv: 2512.22928 · v3 · submitted 2025-12-28 · 🌀 gr-qc · hep-th

Area Monotonicity of Wormhole Throats and a Geometric Bound on Information Transfer

Fuat Berkin Altunkaynak , Asl{\i} Tuncer This is my paper

Pith reviewed 2026-05-16 19:29 UTC · model grok-4.3

classification 🌀 gr-qc hep-th

keywords wormhole throatsarea monotonicitynull energy conditionbit threadsinformation transferholographic boundtraversable wormholesquantum degrees of freedom

0 comments

The pith

After an ANEC-violating deformation opens a traversable wormhole, subsequent NEC-satisfying matter makes the throat area non-increasing, bounding the maximum transmissible qubits by A_min/4G_N.

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

The paper proves a geometric monotonicity result for traversable wormhole throats: after an averaged null energy condition violation establishes a traversable window, any following signal-carrying matter that obeys the pointwise null energy condition causes the throat's cross-sectional area to be non-increasing. This property is used to derive an upper bound on the number of independent quantum degrees of freedom, or qubits, that can be transmitted through the wormhole, specifically Q_max ≤ A_min/4G_N. The bound is obtained by applying the max-flow min-cut theorem from the bit-thread formulation and is viewed as a geometric proxy for the capacity of a quantum teleportation channel in semiclassical gravity. The results highlight the wormhole throat as a natural bottleneck for information transfer and draw an analogy to discrete tensor networks like the HaPPY code.

Core claim

After a traversable window is established via an ANEC violating deformation, any subsequent signal-carrying matter satisfying the pointwise null energy condition causes the throat cross-sectional area to be non-increasing, yielding the bound Q_max ≤ A_min/4G_N motivated by the Max-Flow Min-Cut theorem for bit threads and interpreted as a geometric proxy for the holographic capacity of a quantum teleportation channel.

What carries the argument

The area monotonicity of the wormhole throat cross-section under the null energy condition after initial ANEC violation, serving as the mechanism that enforces the information transfer bound.

Load-bearing premise

An ANEC-violating deformation establishes the traversable window and all subsequent signal-carrying matter obeys the pointwise null energy condition.

What would settle it

Detection that the throat area increases after NEC-satisfying matter traverses the wormhole, or successful transmission of more qubits than allowed by A_min/4G_N.

Figures

Figures reproduced from arXiv: 2512.22928 by Asl{\i} Tuncer, Fuat Berkin Altunkaynak.

read the original abstract

We develop a semiclassical geometric framework to constrain information transfer through traversable wormholes. This study is motivated by the growing intersection between spacetime geometry and quantum information theory, specifically the ER=EPR conjecture and the bit-thread formulation of holographic entropy. First, we prove a geometric monotonicity result for traversable wormhole throats, demonstrating that after a traversable window is established via an averaged null energy condition (ANEC) violating deformation, any subsequent signal-carrying matter satisfying the pointwise null energy condition (NEC) causes the throat cross-sectional area to be non-increasing. Second, we utilize this monotonicity to derive a semiclassical geometric upper bound on the number of independent quantum degrees of freedom (qubits) transmissible through the wormhole. This bound $Q_{\max} \leq A_{\min}/4G_N$, is motivated via the Max-Flow Min-Cut theorem for bit threads and interpreted as a geometric proxy for the holographic capacity of a quantum teleportation channel. We further discuss a holographic tensor-network analogy based on the HaPPY code, where the discrete max-flow/min-cut theorem provides an illustrative graph-theoretic counterpart of the bottleneck structure. Our results identify the wormhole throat as a natural geometric bottleneck, providing a geometric perspective on information-transfer limits in semiclassical gravity.

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.

Desk Editor's Note private letter to a colleague

The paper proves that wormhole throat area is non-increasing under pointwise NEC after an initial ANEC deformation and derives Q_max ≤ A_min/4G_N from bit-thread max-flow, but the dynamical consistency of that energy-condition split is not shown.

read the letter

The main point is that after using an ANEC violation to open a traversable window, any signal matter obeying the pointwise null energy condition forces the throat cross-section to shrink or stay fixed via the usual Raychaudhuri focusing. The authors then apply the max-flow min-cut theorem for bit threads to turn the minimal area into an upper bound on transmissible qubits, Q_max ≤ A_min/4G_N, and sketch a HaPPY-code analogy for the bottleneck. That monotonicity step and its direct use for the information bound are the actual new pieces; they take standard theorems and apply them cleanly to this geometry. The bit-thread framing and the tensor-network picture are useful for making the geometric limit intuitive. The soft spot is exactly the one the stress-test flags: the argument needs the ANEC violation to be confined to the opening phase and the signal to obey pointwise NEC afterward, with no averaged violation along the null generators from backreaction. The abstract states the split but gives no explicit metric or stress-energy example that keeps the conditions separate while still allowing information to pass. Without that check, the bound rests on an assumption whose dynamical stability is not demonstrated. This is for people working on ER=EPR, holographic entanglement, or semiclassical constraints on quantum channels through wormholes. A reader already comfortable with bit threads and null energy conditions will get a concrete geometric limit out of it. The result is grounded enough in existing tools and sharp enough in its claim that it deserves a serious referee, though the authors should be asked to supply at least one explicit example confirming the energy-condition separation survives backreaction.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a semiclassical geometric framework for information transfer through traversable wormholes. It asserts a proof that, after an ANEC-violating deformation establishes a traversable window, subsequent signal-carrying matter obeying the pointwise null energy condition renders the throat cross-sectional area non-increasing. This monotonicity is combined with the Max-Flow Min-Cut theorem applied to bit threads to derive the bound Q_max ≤ A_min/4G_N on transmissible qubits, interpreted as a geometric proxy for holographic channel capacity, together with a HaPPY-code tensor-network analogy.

Significance. If the central claims are substantiated, the work supplies a concrete geometric upper bound on quantum information flow through wormhole throats, linking the Raychaudhuri focusing theorem to bit-thread holography and ER=EPR ideas. The bound is parameter-free in its final form and rests on established theorems rather than ad-hoc constructions; the discrete max-flow/min-cut analogy to the HaPPY code further strengthens the connection to tensor-network models of holography. These elements would constitute a useful contribution at the gravity–quantum-information interface.

major comments (2)

[Abstract and monotonicity derivation] The monotonicity theorem is conditioned on first applying an ANEC-violating deformation to open the throat and then restricting all signal matter to pointwise NEC. No explicit metric or stress-energy tensor is supplied to demonstrate that this separation remains consistent under semiclassical backreaction, nor is it shown that the signal stress-energy cannot induce an averaged NEC violation along the null generators even while obeying pointwise NEC locally. This split is load-bearing for the Raychaudhuri argument that forces θ ≤ 0 and hence for the subsequent bound.
[Bound derivation and bit-thread application] The derivation of Q_max ≤ A_min/4G_N invokes the Max-Flow Min-Cut theorem for bit threads with the throat as the min-cut. The manuscript does not provide the explicit bit-thread configuration adapted to the dynamical wormhole geometry, nor does it verify that the area monotonicity directly implies the flow bound remains saturated at A_min after the deformation. Without this step the translation from geometric monotonicity to the information bound is not fully established.

minor comments (2)

[Abstract] The symbols A_min and Q_max appear in the abstract without prior definition; a short introductory paragraph clarifying their geometric meaning would improve accessibility.
[Tensor-network analogy] The discussion of the HaPPY-code analogy is brief; a single figure illustrating the graph-theoretic min-cut in the tensor network would clarify the claimed correspondence.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. We address the two major comments point by point below, providing clarifications on our assumptions and indicating revisions where they strengthen the presentation without altering the core claims.

read point-by-point responses

Referee: [Abstract and monotonicity derivation] The monotonicity theorem is conditioned on first applying an ANEC-violating deformation to open the throat and then restricting all signal matter to pointwise NEC. No explicit metric or stress-energy tensor is supplied to demonstrate that this separation remains consistent under semiclassical backreaction, nor is it shown that the signal stress-energy cannot induce an averaged NEC violation along the null generators even while obeying pointwise NEC locally. This split is load-bearing for the Raychaudhuri argument that forces θ ≤ 0 and hence for the subsequent bound.

Authors: The separation is by construction in the semiclassical regime: the ANEC-violating deformation establishes the traversable window as a fixed background, after which signal matter obeying pointwise NEC is introduced. Pointwise NEC (T_{μν}k^μ k^ν ≥ 0 for all null k) immediately implies ANEC along the generators, as the integrand is non-negative and thus its integral cannot be negative; the signal matter therefore cannot induce an averaged NEC violation. The Raychaudhuri equation then yields θ' ≤ 0, enforcing non-increasing area. Our result is deliberately model-independent and does not require a specific metric. To address consistency under backreaction, we will add a clarifying paragraph referencing perturbative treatments in the traversable-wormhole literature where such staged deformations are standard. revision_made: partial revision: partial
Referee: [Bound derivation and bit-thread application] The derivation of Q_max ≤ A_min/4G_N invokes the Max-Flow Min-Cut theorem for bit threads with the throat as the min-cut. The manuscript does not provide the explicit bit-thread configuration adapted to the dynamical wormhole geometry, nor does it verify that the area monotonicity directly implies the flow bound remains saturated at A_min after the deformation. Without this step the translation from geometric monotonicity to the information bound is not fully established.

Authors: The Max-Flow Min-Cut theorem is applied at the throat cross-section, which becomes the minimal cut once monotonicity is established; the smallest area A_min therefore supplies the tightest upper bound on the max flow, yielding Q_max ≤ A_min/4G_N. Bit-thread flows are defined via the homology class of the throat in the standard manner for holographic setups, and the monotonicity ensures the flow cannot exceed the value set by A_min. While an explicit dynamical configuration is not constructed, the bound follows directly from the general bit-thread formalism. We will revise the relevant section to include a schematic diagram of the bit-thread flow through the wormhole and a short verification that saturation at A_min is preserved post-deformation, drawing on existing bit-thread results for minimal surfaces. revision_made: partial revision: partial

Circularity Check

0 steps flagged

No circularity: monotonicity follows from standard Raychaudhuri under NEC; bound applies established Max-Flow Min-Cut to throat geometry

full rationale

The derivation begins with an ANEC-violating deformation to open a traversable window, after which signal matter is assumed to obey pointwise NEC. The area monotonicity then follows directly from the Raychaudhuri equation and geodesic focusing theorem (standard GR, independent of the paper's own inputs). The bound Q_max ≤ A_min/4G_N is obtained by identifying the throat as the min-cut in the bit-thread formulation and invoking the Max-Flow Min-Cut theorem; this step imports an external theorem rather than fitting a parameter or redefining a quantity in terms of itself. No self-citation chain, ansatz smuggling, or renaming of a known result occurs in a load-bearing way. The central claims therefore remain self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claims rest on standard semiclassical energy conditions and the applicability of the bit-thread max-flow min-cut theorem to wormhole geometries, without introducing new free parameters or postulated entities.

axioms (3)

domain assumption Averaged null energy condition (ANEC) violation is possible via deformation to establish a traversable wormhole throat
Invoked to create the initial traversable window before applying the monotonicity result.
domain assumption Pointwise null energy condition (NEC) holds for all subsequent signal-carrying matter
Required for the throat cross-sectional area to be non-increasing.
domain assumption The Max-Flow Min-Cut theorem from bit-thread formalism applies to bound information flow through the wormhole geometry
Used to convert the area monotonicity into the qubit capacity bound.

pith-pipeline@v0.9.0 · 5539 in / 1554 out tokens · 51984 ms · 2026-05-16T19:29:50.389921+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove that after the GJW deformation is switched off, the area of the wormhole throat... cannot be increased by any infalling matter satisfying the null energy condition (NEC).

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.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[1]

The additional infalling matter used to send signals through the wormhole satisfies the null energy con- dition alongN,T abkakb ≥0

work page
[2]

The throat condition(6)holds onS 0,θ (k) S0 ≤0. Then the areaA(λ)of the cross-sectionsS(λ)⊂ Nis non-increasing toward the future up to the first conjugate point alongN, so that each null generator intersects each cross-sectionS(λ)exactly once: dA dλ ≤0,(16) with equality being true for an open interval inλonly ifθ= 0,σ ab = 0, andT abkakb = 0alongNin that...

work page
[3]

Ryu and T

S. Ryu and T. Takayanagi, Holographic derivation of en- tanglement entropy from AdS/CFT, Phys. Rev. Lett.96, 181602 (2006)

work page 2006
[4]

V. E. Hubeny, M. Rangamani, and T. Takayanagi, A covariant holographic entanglement entropy proposal, JHEP07, 062 (2007)

work page 2007
[5]

J. M. Maldacena, Eternal black holes in Anti-de-Sitter, JHEP04, 021 (2003)

work page 2003
[6]

Maldacena and L

J. Maldacena and L. Susskind, Cool horizons for entan- gled black holes, Fortsch. Phys.61, 781 (2013)

work page 2013
[7]

M. S. Morris, K. S. Thorne, and U. Yurtsever, Worm- holes, time machines, and the weak energy condition, Phys. Rev. Lett.61, 1446 (1988)

work page 1988
[8]

P. Gao, D. L. Jafferis, and A. C. Wall, Traversable worm- holes via a double trace deformation, JHEP12, 151 (2017)

work page 2017
[9]

Hirano, Y

S. Hirano, Y. Lei and S. van Leuven, Information Trans- fer and Black Hole Evaporation via Traversable BTZ Wormholes, JHEP70, 2019 (2019)

work page 2019
[10]

Freivogel, D

B. Freivogel, D. A. Galante, D. Nikolakopoulou and A. Rotundo, Traversable wormholes in AdS and bounds on information transfer, JHEP01, 050 (2020)

work page 2020
[11]

Maldacena, D

J. Maldacena, D. Stanford, and Z. Yang, Diving into traversable wormholes, Fortsch. Phys.65, 1700034 (2017)

work page 2017
[12]

Freedman and M

M. Freedman and M. Headrick, Bit Threads and Holo- graphic Entanglement, Commun. Math. Phys.352, 407- 438 (2017)

work page 2017
[13]

Bousso, The holographic principle, Rev

R. Bousso, The holographic principle, Rev. Mod. Phys. 74, 825 (2002)

work page 2002
[14]

S. W. Hawking, Gravitational radiation from colliding black holes, Phys. Rev. Lett.26, 1344 (1971)

work page 1971
[15]

J. D. Bekenstein, Black holes and entropy, Phys. Rev. D 7, 2333 (1973)

work page 1973
[16]

S. W. Hawking, Particle creation by black holes, Com- mun. Math. Phys.43, 199 (1975)

work page 1975
[17]

Strominger and C

A. Strominger and C. Vafa, Microscopic origin of the Bekenstein–Hawking entropy, Phys. Lett. B379, 99 (1996)

work page 1996
[18]

Pastawski, B

F. Pastawski, B. Yoshida, D. Harlow, and J. Preskill, Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence, JHEP06, 149 (2015)

work page 2015
[19]

Engelhardt and A

N. Engelhardt and A. C. Wall, Quantum extremal sur- faces: holographic entanglement entropy beyond the clas- sical regime, JHEP01, 073 (2015)

work page 2015
[20]

Hayden and J

P. Hayden and J. Preskill, Black holes as mirrors: quan- tum information in random subsystems, JHEP09, 120 (2007)

work page 2007

[1] [1]

The additional infalling matter used to send signals through the wormhole satisfies the null energy con- dition alongN,T abkakb ≥0

work page

[2] [2]

The throat condition(6)holds onS 0,θ (k) S0 ≤0. Then the areaA(λ)of the cross-sectionsS(λ)⊂ Nis non-increasing toward the future up to the first conjugate point alongN, so that each null generator intersects each cross-sectionS(λ)exactly once: dA dλ ≤0,(16) with equality being true for an open interval inλonly ifθ= 0,σ ab = 0, andT abkakb = 0alongNin that...

work page

[3] [3]

Ryu and T

S. Ryu and T. Takayanagi, Holographic derivation of en- tanglement entropy from AdS/CFT, Phys. Rev. Lett.96, 181602 (2006)

work page 2006

[4] [4]

V. E. Hubeny, M. Rangamani, and T. Takayanagi, A covariant holographic entanglement entropy proposal, JHEP07, 062 (2007)

work page 2007

[5] [5]

J. M. Maldacena, Eternal black holes in Anti-de-Sitter, JHEP04, 021 (2003)

work page 2003

[6] [6]

Maldacena and L

J. Maldacena and L. Susskind, Cool horizons for entan- gled black holes, Fortsch. Phys.61, 781 (2013)

work page 2013

[7] [7]

M. S. Morris, K. S. Thorne, and U. Yurtsever, Worm- holes, time machines, and the weak energy condition, Phys. Rev. Lett.61, 1446 (1988)

work page 1988

[8] [8]

P. Gao, D. L. Jafferis, and A. C. Wall, Traversable worm- holes via a double trace deformation, JHEP12, 151 (2017)

work page 2017

[9] [9]

Hirano, Y

S. Hirano, Y. Lei and S. van Leuven, Information Trans- fer and Black Hole Evaporation via Traversable BTZ Wormholes, JHEP70, 2019 (2019)

work page 2019

[10] [10]

Freivogel, D

B. Freivogel, D. A. Galante, D. Nikolakopoulou and A. Rotundo, Traversable wormholes in AdS and bounds on information transfer, JHEP01, 050 (2020)

work page 2020

[11] [11]

Maldacena, D

J. Maldacena, D. Stanford, and Z. Yang, Diving into traversable wormholes, Fortsch. Phys.65, 1700034 (2017)

work page 2017

[12] [12]

Freedman and M

M. Freedman and M. Headrick, Bit Threads and Holo- graphic Entanglement, Commun. Math. Phys.352, 407- 438 (2017)

work page 2017

[13] [13]

Bousso, The holographic principle, Rev

R. Bousso, The holographic principle, Rev. Mod. Phys. 74, 825 (2002)

work page 2002

[14] [14]

S. W. Hawking, Gravitational radiation from colliding black holes, Phys. Rev. Lett.26, 1344 (1971)

work page 1971

[15] [15]

J. D. Bekenstein, Black holes and entropy, Phys. Rev. D 7, 2333 (1973)

work page 1973

[16] [16]

S. W. Hawking, Particle creation by black holes, Com- mun. Math. Phys.43, 199 (1975)

work page 1975

[17] [17]

Strominger and C

A. Strominger and C. Vafa, Microscopic origin of the Bekenstein–Hawking entropy, Phys. Lett. B379, 99 (1996)

work page 1996

[18] [18]

Pastawski, B

F. Pastawski, B. Yoshida, D. Harlow, and J. Preskill, Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence, JHEP06, 149 (2015)

work page 2015

[19] [19]

Engelhardt and A

N. Engelhardt and A. C. Wall, Quantum extremal sur- faces: holographic entanglement entropy beyond the clas- sical regime, JHEP01, 073 (2015)

work page 2015

[20] [20]

Hayden and J

P. Hayden and J. Preskill, Black holes as mirrors: quan- tum information in random subsystems, JHEP09, 120 (2007)

work page 2007