The Entanglement Wedge Polygon

Jonathan Harper; Kosei Fujiki; Nicol\`o Zenoni; Tadashi Takayanagi

The entanglement wedge polygon is a topological quantity in vacuum AdS3 as a consequence of the Gauss-Bonnet theorem.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-26 14:03 UTC pith:ZQNA44DN

load-bearing objection The paper introduces the entanglement wedge polygon as a new holographic region that is topological in vacuum AdS3, but the definition for n>2 looks ambiguous enough that the Gauss-Bonnet claim needs explicit checks. the 1 major comments →

arxiv 2606.21081 v2 pith:ZQNA44DN submitted 2026-06-19 hep-th

The Entanglement Wedge Polygon

Kosei Fujiki , Jonathan Harper , Tadashi Takayanagi , Nicol\`o Zenoni This is my paper

classification hep-th

keywords entanglement wedgepolygonAdS/CFTholographymulti-partite entanglementGauss-Bonnet theoremhomology regionsend-of-the-world branes

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper introduces the entanglement wedge polygon as a codimension-one region in holographic spacetimes formed from the intersection of entanglement wedges for a partition of the boundary into multiple regions A_i. For pure states in vacuum AdS3 the region is topological by direct application of the Gauss-Bonnet theorem. The authors compute explicit examples in higher-dimensional AdS geometries including vacuum solutions, black branes, and solitons, as well as setups with end-of-the-world branes dual to boundary conformal field theories. They provide a generalization of the construction to mixed states and comment on possible links to multi-partite entanglement measures.

Core claim

The entanglement wedge polygon is defined for a pure state and a boundary partition into regions A_i as the region external to all individual homology regions r_{A_i} that consists of the intersection of the entanglement wedges EW(A_i) with the time slice. In vacuum AdS3 this quantity is topological as a direct consequence of the Gauss-Bonnet theorem. In higher dimensions the construction is examined through concrete calculations in vacuum, black brane, and soliton solutions of AdS_{d+1} as well as geometries with end-of-the-world branes.

What carries the argument

The entanglement wedge polygon (EWP), the codimension-1 region external to all individual homology regions r_{A_i} formed by intersecting the entanglement wedges EW(A_i) with the time slice.

Load-bearing premise

The proposed definition of the EWP as the region external to all individual homology regions r_Ai and consisting of the intersection of EW(Ai) with the time slice is both well-defined and physically meaningful across the considered geometries and state types.

What would settle it

An explicit computation of the EWP area or associated topological invariant in a continuously deformed vacuum AdS3 geometry that yields a non-constant value would falsify the topological claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

The EWP area or invariant remains fixed under continuous deformations of the bulk geometry in vacuum AdS3.
The construction yields well-defined results in black brane and soliton backgrounds in higher-dimensional AdS.
The same region can be defined for mixed states by suitable extension of the pure-state prescription.
The EWP may be connected to existing measures of multi-partite entanglement through its boundary data.

Where Pith is reading between the lines

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

If the EWP encodes genuine multi-partite information it could be compared against holographic negativity or other tripartite measures in the same geometries.
The topological invariance might serve as a diagnostic that distinguishes vacuum states from excited or thermal states where the invariance fails.
A higher-dimensional analog of the Gauss-Bonnet relation for the EWP, if found, would allow direct computation without explicit minimization.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

The paper introduces the entanglement wedge polygon as a new holographic region that is topological in vacuum AdS3, but the definition for n>2 looks ambiguous enough that the Gauss-Bonnet claim needs explicit checks.

read the letter

The new object here is the entanglement wedge polygon, defined for a pure-state partition of the boundary into regions A_i as the intersection of the individual entanglement wedges on a time slice, and described as external to the homology regions r_{A_i}. In vacuum AdS3 this quantity is topological by Gauss-Bonnet, which is a direct and parameter-free result if the region is well-defined. The paper then works through concrete examples in higher-dimensional AdS, including vacuum, black branes, solitons, and end-of-the-world brane geometries, plus a generalization to mixed states and brief remarks on possible links to multi-partite entanglement.

The concrete calculations in standard backgrounds are the part that lands cleanly; they let a reader see how the object behaves without extra assumptions. The AdS3 topological statement is also straightforward once the region is fixed.

The soft spot is the definition for more than two regions. The abstract ties together two descriptions—external to every r_{A_i} and the intersection of the EW(A_i)—but does not spell out how these coincide when the wedges overlap or leave multiple components. For n>2 the intersection can be empty or multiply connected, which would affect which boundary geodesics enter the Gauss-Bonnet integral and whether the result really stays topological without further rules. That ambiguity is not minor if the claim is meant to hold generally.

This is for readers already working on holographic entanglement and its multi-party extensions. Someone looking for a new geometric construct with explicit examples in familiar spacetimes will find usable material. It deserves peer review because the core definition and the AdS3 case are new and checkable, even if the higher-dimensional and mixed-state sections are more preliminary.

Referee Report

1 major / 0 minor

Summary. The manuscript introduces the entanglement wedge polygon (EWP) as a codimension-1 region in holographic spacetimes. For a pure state with boundary partitioned into regions A_i, the EWP is defined as the region external to all individual homology regions r_{A_i} and consisting of the intersection of the entanglement wedges EW(A_i) with the time slice. The central claim is that in vacuum AdS_3 this quantity is topological as a direct consequence of the Gauss-Bonnet theorem. The paper examines concrete examples in higher-dimensional AdS solutions (vacuum, black brane, soliton), geometries with end-of-the-world branes, provides a generalization to mixed states, and comments on connections to multi-partite entanglement measures.

Significance. If the EWP definition is unambiguous and the topological property holds, this introduces a new geometric object potentially linking holography to multi-partite entanglement. The concrete examples across geometries and the mixed-state extension provide tangible content, but overall significance depends on whether the construction yields a canonical, well-defined region whose Gauss-Bonnet integral is strictly topological.

major comments (1)

[Definition of the EWP] Definition of EWP: the construction combines 'external to all r_{A_i}' with 'intersection of EW(A_i) with the time slice'. For n>2 these criteria need not coincide or select a unique component; the intersection may be empty or multiply connected while the complement of the union of r_{A_i} admits multiple regions. Without an explicit rule selecting the intended domain and its boundary, the boundary geodesic-curvature terms in the Gauss-Bonnet formula are not guaranteed to cancel, undermining the claim that the quantity is topological 'as a direct consequence' of the theorem in vacuum AdS_3.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying a potential ambiguity in the definition of the entanglement wedge polygon. We address the major comment below with clarification and a commitment to revision.

read point-by-point responses

Referee: Definition of EWP: the construction combines 'external to all r_{A_i}' with 'intersection of EW(A_i) with the time slice'. For n>2 these criteria need not coincide or select a unique component; the intersection may be empty or multiply connected while the complement of the union of r_{A_i} admits multiple regions. Without an explicit rule selecting the intended domain and its boundary, the boundary geodesic-curvature terms in the Gauss-Bonnet formula are not guaranteed to cancel, undermining the claim that the quantity is topological 'as a direct consequence' of the theorem in vacuum AdS_3.

Authors: We agree that the original wording leaves room for ambiguity when n>2. The manuscript defines the EWP as the intersection of the EW(A_i) on the time slice; this intersection lies external to each individual r_{A_i} by construction, since each EW(A_i) is the region on one side of the RT surface homologous to A_i. To remove any ambiguity we will revise the definition to state explicitly that the EWP is the connected component of this intersection that lies in the complement of the union of all r_{A_j}. In vacuum AdS_3 the boundaries of this region consist exclusively of geodesic segments (portions of the RT surfaces). The geodesic curvature therefore vanishes identically along the entire boundary. Gauss-Bonnet then reduces the integral of the Gaussian curvature to 2π times the Euler characteristic of the region, which is a topological invariant. We will add a short paragraph and a three-region example illustrating the selection rule and confirming that the boundary terms cancel, thereby restoring the claim that the quantity is topological as a direct consequence of the theorem for the unambiguously defined region. revision: partial

Circularity Check

0 steps flagged

No circularity: new definition with independent Gauss-Bonnet application

full rationale

The paper introduces the EWP via an explicit geometric definition (region external to all r_{A_i} as intersection of EW(A_i) with time slice) and then applies the Gauss-Bonnet theorem to vacuum AdS3 to conclude the quantity is topological. This is a direct consequence of the theorem on a well-defined 2D domain and does not reduce to any fitted parameter, self-citation chain, or redefinition of inputs. No load-bearing step equates the claimed topological invariance to the definition by construction. The work examines concrete examples in higher dimensions without circular reductions. This is the normal case of a self-contained definition plus external theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the standard application of the Gauss-Bonnet theorem in AdS3 and on the assumption that the EWP definition extends meaningfully to the listed geometries and mixed states. No free parameters or invented entities with independent evidence are mentioned.

axioms (1)

standard math Gauss-Bonnet theorem applies directly to the EWP in vacuum AdS3
Stated as the direct reason the quantity is topological.

invented entities (1)

entanglement wedge polygon no independent evidence
purpose: To capture a codimension-1 region relevant to multi-partite entanglement
Newly defined object whose properties are studied in the paper.

pith-pipeline@v0.9.1-grok · 5689 in / 1233 out tokens · 19308 ms · 2026-06-26T14:03:03.176391+00:00 · methodology

0 comments

read the original abstract

In this work we consider a particular codimension-1 region of a holographic spacetime which we call the entanglement wedge polygon (EWP). For a pure state and a partition of the boundary into a number of regions $A_i$ the EWP is defined as the region external to all the individual homology regions $r_{A_i}$ which consists of the intersection of the entanglement wedge EW($A_i$) with the time slice. In vacuum AdS$_3$ and BTZ spacetime, the quantity is topological as a direct consequence of the Gauss-Bonnet theorem. In higher dimensions we make progress by considering a number of concrete examples including vacuum, black brane, and soliton solutions of AdS$_{d+1}$ as well as spacetime geometries with end of the world branes dual to boundary conformal field theories. We provide a suitable generalization to mixed states and comment on possible connections between the EWP and measures of multi-partite entanglement.

discussion (0)

Forward citations

Cited by 3 Pith papers

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

Complexity Inequalities for Quantum Subsystems
hep-th 2026-06 unverdicted novelty 7.0

Introduces tripartite complexity and complexity gap for three-region subsystems and reports that the gap has a definite sign in holographic volume complexity, Fisher-Rao Gaussian complexity, and Krylov-space approaches.
Complexity Inequalities for Quantum Subsystems
hep-th 2026-06 unverdicted novelty 7.0

Defines tripartite complexity and complexity gap for three-subsystem states and reports that the gap has definite sign across holographic CV, Fisher-Rao, and Krylov measures, suggesting it as a building block for comp...
Phase transitions and uberholography of holographic pure-state geometries
hep-th 2026-07 conditional novelty 6.0

A cross-ratio threshold relation η'/η = e^{ΔH/2} governs entanglement-wedge phase transitions on pure-state holographic geometries, and uberholography's fractal dimension α ≈ 0.786 persists on asymptotic boundaries bu...