⚛️ high-energy theory

A Differential Form Description of Partial Entanglement Entropy: Testing a Killing Vector Construction in Covariant Phase Space

This paper introduces a differential form description for partial entanglement entropy (PEE) threads in AdS $_3$ /CFT $_2$ , demonstrating that while the resulting flux correctly reproduces the known entanglement contour, a direct construction of the PEE form using integrated Iyer-Wald surface charges from exact Killing vectors fails to match the central PEE flow, suggesting the need for exact form improvements or more general generators.

Original authors: Chuanjia Zhu, Dong-Hui Du, Wen-Cong Gan, Fu-Wen Shu

Published 2026-09-21

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Chuanjia Zhu, Dong-Hui Du, Wen-Cong Gan, Fu-Wen Shu

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of modern physics, there is a profound idea suggesting that the universe we see—space, time, and gravity—is not the fundamental layer of reality. Instead, it may be a projection, a hologram emerging from a deeper, simpler world of quantum information living on a boundary. This concept, known as the holographic principle, has revolutionized how scientists think about the connection between gravity and quantum mechanics. A key piece of this puzzle is entanglement, a strange quantum link where particles remain connected regardless of distance. In this framework, the amount of entanglement between two regions of space is directly related to the area of a surface in the higher-dimensional space that separates them. To visualize this, physicists have developed a picture called "bit threads." Imagine the space between two regions as a bundle of invisible strings or threads. The more threads connecting the two regions, the stronger their entanglement. These threads do not start or stop in the middle of space; they must begin and end on the boundary, weaving a complex network that encodes the geometry of the universe itself.

Building on this picture, researchers have recently focused on a more detailed view called "partial entanglement entropy." While the total number of threads tells us the overall connection between two large regions, partial entanglement asks a more specific question: how much does a single, tiny point on the boundary contribute to that connection? It is like asking not just how many people are in a room, but exactly how much each individual person contributes to the total noise level. This finer-grained view is described by "PEE threads," which are the specific bundles of connections emanating from a single point. Understanding these threads is crucial because they might hold the key to reconstructing the fabric of space itself from the information on its edge. However, translating this geometric picture into the rigorous mathematical language used by physicists has been a significant challenge.

A team of researchers has taken a fresh approach to this problem by describing these PEE threads using a specific mathematical tool known as a differential form. In simple terms, a differential form is a way of measuring flow and accumulation that is particularly good at handling the curved, complex shapes of the universe. The team proposed that the flow of PEE threads from a single point could be represented by such a form. To test if this idea worked, they applied it to a specific, well-understood scenario: a slice of empty space in a universe with three dimensions of space and one of time, known as AdS3. They calculated the flow of these threads and checked if the result matched the known pattern of how entanglement is distributed in that space. The calculation worked perfectly, reproducing the expected pattern of connections. This success confirmed that their new mathematical description of the threads was consistent with what was already known, providing a solid foundation for further exploration.

Encouraged by this success, the researchers then asked a deeper question: could these PEE threads be generated by a fundamental symmetry of the universe? In physics, symmetries often lead to conserved quantities, like energy or momentum. A powerful mathematical framework called the covariant phase space formalism allows physicists to construct currents, or flows, from these symmetries. The team wondered if the flow of PEE threads could be built directly from a specific type of symmetry generator known as a Killing vector, which describes a direction in space where the geometry looks exactly the same. They set up a test using a specific type of space called Rindler-AdS3, which is a curved region that mimics the experience of an accelerating observer. They took the mathematical description of the Killing vectors in this space and tried to construct the PEE thread flow from them, integrating the results to see if they could recreate the known pattern of connections.

The result of this test was a clear negative. When the researchers compared the flow they constructed from the symmetry generators with the actual, known flow of PEE threads, they found that no choice of parameters could make the two match. The flow generated by the symmetry was fundamentally different from the flow required to describe the partial entanglement. This finding is significant because it rules out a specific, straightforward way of connecting these two concepts. It shows that the direct construction of PEE threads using standard symmetry generators is insufficient. The researchers are careful to note that this does not mean the connection between PEE threads and symmetry is impossible; rather, it suggests that the relationship is more subtle. Perhaps the flow needs a small mathematical adjustment, or perhaps a different kind of generator is required. The study concludes that while the direct path is blocked, the road to understanding how these threads emerge from the deep symmetries of the universe remains open, inviting further investigation into more complex and refined mathematical structures.

Technical Summary: A Differential Form Description of Partial Entanglement Entropy

Problem Statement
The paper addresses the geometric description of holographic entanglement entropy (EE) and its finer-grained counterpart, Partial Entanglement Entropy (PEE). While the Ryu-Takayanagi (RT) formula relates EE to minimal surface areas, the "bit thread" formulation (based on the max-flow-min-cut theorem) provides a vector field description where integral curves represent entanglement. Recent work established that bit threads can be reconstructed by superposing "PEE threads," which are divergenceless vector fields $V^a_x$ emanating from individual boundary points $x$ and capturing the contribution of that point to the total entanglement.

Despite this geometric picture, a rigorous differential form description of PEE threads—parallel to the existing differential form framework for bit threads—has been lacking. Furthermore, while ordinary bit threads have been constructed using the Covariant Phase Space (CPS) formalism (specifically via the Iyer-Wald surface charge), it remains an open question whether PEE threads can be similarly derived from CPS currents. The authors investigate whether a PEE thread flow can be related to a current constructed from the CPS formalism, potentially up to an exact form improvement.

Methodology
The authors employ a multi-step theoretical approach:

Differential Form Formulation of PEE:
The authors define a $(d-1)$ -form $\tilde{w}$ associated with the divergenceless PEE thread vector field $V^a_x$ via the Hodge dual on a spatial bulk slice. They establish that the flux of this form through any codimension-2 surface homologous to a boundary region $A$ must reproduce the entanglement contour $s_A(x)$ . They also derive the linear perturbation of this form, showing how perturbed PEE flows integrate to form perturbed bit threads.
Consistency Check in AdS $_3$ /CFT $_2$ :
To validate the proposed differential form, the authors apply it to a static interval in vacuum AdS $_3$ . By substituting the known analytic expression for the PEE thread vector field (derived from bulk geodesics) into their differential form definition, they calculate the flux. They demonstrate that this flux exactly reproduces the known entanglement contour function for the interval, confirming the consistency of their differential form description.
Covariant Phase Space (CPS) Construction Test:
Motivated by the construction of ordinary bit threads from CPS, the authors propose a candidate relation where the PEE form $\tilde{w}$ is related to a CPS current $\tilde{j}_{\tilde{\xi}}$ generated by a Killing vector $\tilde{\xi}$ , possibly up to an exact form $dY$ :
$\tilde{w} \sim \tilde{j}_{\tilde{\xi}}|_{\Sigma}$
To test this, they utilize Rindler-AdS $_3$ as a background, parametrized by a Rindler acceleration parameter $a$ .
- They consider a one-parameter family of backgrounds and substitute the exact Killing vector $\tilde{\xi}(a)$ of each background into the Iyer-Wald surface charge form.
- They retain the full $a$ -dependence of the Killing solution within the surface charge form.
- A finite candidate current is defined by integrating this surface charge form over the parameter $a$ .
- The resulting candidate flow is transformed from Rindler-AdS $_3$ to Poincaré-AdS $_3$ coordinates.
Comparison:
The authors compare the components of this derived candidate flow against the known, reflection-symmetric PEE flow (sourced at the central boundary point $r_0=0$ ) in Poincaré-AdS $_3$ .

Key Contributions

Differential Form Framework: The paper introduces a formal differential form description for PEE thread flows, extending the existing bit thread formalism to point-resolved entanglement structures.
Verification: It provides a rigorous consistency check by showing that the flux of the proposed PEE form reproduces the standard entanglement contour in AdS $_3$ .
CPS Relation Test: It performs the first explicit test of whether PEE threads can be generated from the Iyer-Wald surface charge form using exact Killing vectors.
Negative Result on Direct Construction: The authors demonstrate that the direct construction of a PEE flow from the integrated Iyer-Wald surface charge (using exact Killing vectors in Rindler-AdS $_3$ ) fails to reproduce the known central PEE flow.

Results
The central result is a mismatch between the candidate flow derived from the CPS formalism and the known PEE flow.

After integrating the surface charge form over the Rindler parameter $a$ and transforming to Poincaré coordinates, the resulting vector field components do not match the known analytic PEE flow components for any choice of the Killing parameters (integration constants).
The authors explicitly state that this mismatch indicates the "direct Killing vector CPS construction considered here is not sufficient to reproduce the central PEE flow."
The result is specific to the reflection-symmetric case ( $r_0=0$ ) and the use of exact Killing vectors; it does not constitute a general no-go theorem for all CPS descriptions of PEE.

Significance and Claims
The paper claims modest but significant progress in understanding the geometric structure of entanglement:

Validation of PEE Forms: The successful reconstruction of the entanglement contour validates the differential form approach as a viable tool for describing PEE threads.
Limitations of Simple CPS Realizations: The failure of the direct Killing vector construction suggests that the relationship between PEE threads and CPS currents is more complex than a simple identification. The authors propose that the discrepancy may be resolved by:
- Including an exact form improvement ( $dY$ ) to the current.
- Utilizing a different CPS current than the standard Iyer-Wald form used for ordinary bit threads.
- Considering more general generators beyond exact Killing vectors.
Future Directions: The authors suggest that the differential form of PEE threads may offer a more detailed organization of geometric information for metric reconstruction than bit threads alone. They identify the role of the exact form term and the search for alternative CPS currents as necessary future work. They also note that extending these results to arbitrary source points, higher dimensions, and time-dependent configurations remains open.

The paper concludes that while the specific test of the exact Killing vector construction failed, the differential form framework remains a robust tool, and the investigation into CPS relations for PEE threads is an active and necessary avenue for understanding the emergence of bulk geometry from boundary entanglement.

More like this