Balanced Partial Entanglement Entropy
- Balanced partial entanglement entropy (BPE) is a mixed-state correlation measure derived from partial entanglement entropy, capturing quasi-local contributions in quantum systems.
- It leverages purification and balance conditions to extend entanglement measures from pure states to complex mixed-state scenarios, reproducing known holographic results in key limits.
- The BPE framework also explores connections with entanglement wedge cross section, gravitational anomalies, island phases, and higher-dimensional extensions, bridging quantum information and holography.
Balanced partial entanglement entropy (BPE) is a mixed-state correlation measure built from partial entanglement entropy (PEE), the quasi-local contribution of a subset to an entanglement entropy. For a bipartite mixed state , BPE is defined by introducing a purification , partitioning the purifier, imposing balance conditions on the PEEs of and , and then evaluating the balanced contribution of inside ; in the pure-state limit it reduces to . In the holographic constructions studied so far, BPE coincides with the entanglement wedge cross section (EWCS), and later analyses extended this relation to covariant configurations, gravitational anomalies, asymptotically flat holography, island phases, and thread-based geometric formulations (Wen, 2021, Wen et al., 2022, Basu, 2022).
1. Definition from partial entanglement entropy
The starting point is PEE. For a subsystem partitioned into three ordered, non-overlapping subsets , the additive linear combination (ALC) proposal defines the PEE of by
0
This quantity obeys positivity, additivity, normalization 1, and symmetry properties, and in the continuum defines an entanglement contour 2 through 3. In 1+1 dimensions, and more generally in quasi-one-dimensional symmetric setups, this formula provides the operational input for BPE (Basu, 2022, Wen, 2019).
For a bipartite mixed state 4 on 5, one introduces a purification 6 such that 7. The purifier is partitioned into 8 and 9. The balance conditions, in the form used by Wen–Camargo, are
0
BPE is then defined by minimizing the balanced PEE:
1
For adjacent intervals, the balance condition is equivalently 2, where 3 denotes the PEE interpreted as a mutual-like quasi-local measure. For disjoint intervals, the complement is itself disconnected, and the balance conditions split into pairwise constraints for the further decomposition 4, 5 (Wen, 2021, Camargo et al., 2022).
The pure-state limit is fixed. For bipartitions 6 of a pure state, the balanced point yields
7
and since 8, one has
9
This fixes BPE as a genuine extension of half the mutual information away from the pure-state setting (Basu, 2022).
2. Mixed-state correlation structure and relation to other measures
BPE was proposed as a measure of the total intrinsic correlation between 0 and 1 in a mixed state. In the adjacent case, the PEE decomposition of the purified system separates a direct term 2 from crossing terms such as 3 and 4. The balanced point minimizes the crossing contribution, and the decomposition takes the form
5
with the balanced crossing correlation identified as the excess over the direct 6 contribution. In holographic CFT7, for adjacent intervals,
8
For non-adjacent intervals, the corresponding crossing sums are extremized at the balance point but are not universal constants (Camargo et al., 2022).
This structure places BPE near reflected entropy and entanglement of purification, but not identically on the same footing in all formulations. On the canonical purification,
9
in the normalization used in the original 2021 construction. The covariant and anomalous analysis of 2022 adopts the convention 0, so that in that normalization one simply writes 1. In the large-2, semiclassical regime, these relations align with the holographic EWCS result (Wen, 2021, Wen et al., 2022).
The entropy relations obeyed by BPE closely parallel those of entanglement of purification. The established bounds include
3
and, in holographic theories,
4
The 2021 construction also gives monotonicity under inclusion, 5, and the polygamy-type inequality 6 for a global pure state on 7 (Wen, 2021).
A recurrent conceptual issue is purification dependence. The original definition describes BPE as purification-dependent and therefore not intrinsic. Later work conjectures purification independence and gives non-trivial checks in covariant anomalous CFT8, canonical purifications, and holographic constructions. The literature therefore treats purification dependence and purification independence as distinct but closely connected aspects of the quantity, depending on the regime and the strength of the evidence available (Wen, 2021, Wen et al., 2022).
3. Holographic duality, covariance, and gravitational anomalies
In holography, the central equality is
9
where 0 is the entanglement wedge cross section. In AdS1/CFT2, the derivation uses the holographic entanglement contour: 3 is extended to a complete geodesic that becomes an RT or HRT surface for a suitable purified region, and the geodesic-chord picture identifies its length with the balanced PEE of 4 inside 5. This gives a contour-based interpretation of EWCS and explains why BPE reproduces it in the static and quasi-static configurations studied (Wen, 2021).
The covariant extension treats Lorentzian AdS6 and time-dependent intervals. In non-anomalous CFT7, one balance equation is insufficient to fix both coordinates of a partition point, but in anomalous theories with 8 the balance conditions split into geometric and anomalous sectors and fix the partition covariantly. Writing
9
the adjacent-interval result is
0
where 1 are proper lengths and 2 are boost angles. For non-adjacent intervals, the result is written in terms of Lorentzian cross-ratios 3:
4
These formulas decompose cleanly into Einstein-Hilbert and anomalous sectors (Wen et al., 2022).
The anomalous contribution has a gravitational dual in topological massive gravity (TMG). For a geodesic chord 5, the EWCS functional is
6
with the Chern–Simons term fixed by choosing endpoint normals from the HRT surfaces intersected by 7. This is the first prescription, in the cited work, for the entropy quantity associated to EWCS beyond Einstein gravity. The balanced crossing PEE remains anomaly-free:
8
so the Markov-gap-type constant depends only on the geometric sector (Wen et al., 2022).
4. Asymptotically flat holography and GCFT9
A complete flat-space realization of BPE was developed in 0-dimensional Galilean conformal field theories dual to Einstein gravity and TMG in asymptotically flat spacetimes. The bulk geometry is written in Bondi gauge,
1
and the central charges are
2
In the Einstein limit 3, 4 while 5. In this setting, the field-theory BPE matches the geometric EWCS exactly in Minkowski vacuum, on the global Minkowski orbifold, and in the thermal flat-space cosmology (FSC) background, for both Einstein gravity and TMG (Basu, 2022).
For adjacent intervals on the plane,
6
the result is
7
At the balance point, the crossing PEE behaves differently in the two bulk theories:
8
while in TMG
9
The vanishing Einstein result indicates perfect Markov recovery, whereas the TMG result realizes a topological Markov gap (Basu, 2022).
For disjoint intervals on the plane,
0
one defines
1
2
and obtains
3
Analogous formulas hold on the global Minkowski orbifold, with 4, and in FSC, with 5. In all these backgrounds, the paper establishes
6
and also notes that, up to OPE constants, the disjoint-interval expression matches half the reflected entropy at large 7 (Basu, 2022).
The flat-holographic analysis also identifies the phase structure. EWCS and BPE are nonzero only when the entanglement wedge of 8 is connected. For disjoint intervals, connectivity is controlled by the cross-ratios 9; when the minimal surface channel flips, the entanglement wedge cross section disappears and 0. This reproduces the same connected/disconnected distinction familiar from holographic mixed-state observables, but now in the asymptotically flat setting (Basu, 2022).
5. Island phases, ownerless islands, and generalized balance
In island phases, the PEE/BPE construction must be modified because of self-encoding. If 1 admits an island 2, then the state on 3 is completely determined by the state on 4, and the normalization property of two-body PEE is altered accordingly. The generalized construction introduces the ownerless island region
5
which is partitioned as 6 and combined with the ordinary islands into generalized islands
7
The balanced contributions are then written using a generalized ALC prescription in terms of region-complement PEEs 8, and the generalized balance equations are imposed on the island-dressed regions (Basu et al., 2023).
This modification is not optional in the island phase. Different assignments of the ownerless island produce different BPEs, and these correspond exactly to different saddles of the EWCS in the entanglement wedge of 9. For adjacent intervals, the three canonical assignments are labeled 00, 01, and 02: assigning the ownerless island entirely to 03, splitting it, or assigning it entirely to 04. For disjoint intervals, the analogous saddles are 05, 06, and 07. The minimal BPE is obtained by minimizing over the ownerless-island assignment and coincides with the minimal EWCS saddle:
08
In the disconnected-wedge phase 09, one finds 10, again matching EWCS (Basu et al., 2023).
For example, in adjacent island phases with 11 and 12, the three saddle values are
13
14
15
The split assignment 16 is fixed by minimizing over the internal split parameter 17, with the minimum at 18. Disjoint-interval island saddles have analogous closed forms, including the brane-anchored value
19
These formulas are obtained entirely on the field-theory side from generalized PEE and match the geometric EWCS phase by phase (Basu et al., 2023).
A complementary thread formulation replaces each boundary point in the Weyl-transformed CFT20 model by a cutoff sphere in Poincaré AdS21, leaving the bulk PEE-thread network itself unchanged. Two-point and four-point twist correlators are then reproduced by minimizing the number of intersections between admissible homologous bulk surfaces and the PEE threads. In that picture, the island formula is recovered by allowing surfaces to anchor on any cutoff spheres, and the resulting geometric understanding provides the foundation for computing BPE in island phases (Wen et al., 2024).
6. Higher-dimensional extensions, PEE threads, and scope
Beyond 1+1 dimensions, the contour/PEE framework remains available but requires geometric regulators. For a ball 22 in a 23-dimensional CFT vacuum on a hyperplane, the entanglement contour is
24
and the exact relation between the UV cutoff 25 and the geometric cutoff 26 is
27
In symmetric quasi-one-dimensional configurations, balanced partitions can be solved explicitly. For a spherical interface in a vacuum CFT, the balanced locus is the midpoint of the thin complement shell, and the resulting BPE equals the geometrically regulated entropy with half-width cutoff and holographically equals 28. The same framework extends to spherical shells and strips, but the paper emphasizes that naive insertion of UV-regulated entropies into ALC fails in higher dimensions; the subset entropies must be evaluated as PEE limits with a fixed geometric regulator (Han et al., 2019).
A separate line of work geometrizes two-point PEE as bulk geodesics called PEE threads. For a fixed boundary point, the geodesics define a divergenceless PEE-thread flow, and for a static interval or sphere the superposition over boundary points produces a bit-thread flow saturating the standard norm bound on the RT surface. For disconnected intervals, however, a single locking vector flow is no longer adequate; instead one assigns each thread a weight equal to the number of times it intersects a homologous surface and minimizes the weighted sum. The paper does not explicitly define BPE. It nevertheless develops a weighted PEE-thread reformulation in which minimizing the flux across an internal separating surface yields a natural balanced quantity, and this suggests a direct thread-based route to 29 in static holographic settings (Lin et al., 2023).
The PEE-network formulation sharpens this geometric picture. In static Poincaré AdS, the density of PEE threads through any bulk point is exactly 30, and for any bulk codimension-2 surface 31 the number of intersections with the full PEE network equals 32. The RT formula is then reformulated as minimization of intersections, and the resulting area-counting statement is identified with the Crofton formula in Poincaré AdS. This does not by itself provide a standalone BPE definition, but it strongly supports the general interpretation of EWCS, and hence BPE, as an intersection count inside a fixed PEE network (Lin et al., 2024).
The current framework is technically powerful but not universal. The recurring assumptions are the large-central-charge, classical-gravity regime; the use of ALC formulas in 2D or quasi-one-dimensional symmetric setups; neglect of quantum and 33 corrections; and, in island phases, reliance on the generalized ALC plus the two basic proposals for region-complement PEEs. The literature therefore establishes BPE most sharply in semiclassical holography, while higher dimensions, general non-symmetric regions, fully covariant thread constructions, and quantum corrections remain open directions within the formulations surveyed here (Basu, 2022, Basu et al., 2023, Lin et al., 2023).
