Entanglement of puri(cid:12)cation and multiboundary wormhole geometries

: We posit a geometrical description of the entanglement of puri(cid:12)cation for subregions in a holographic CFT. The bulk description naturally generalizes the two-party case and leads to interesting inequalities among multi-party entanglements of puri(cid:12)cation that can be geometrically proven from the conjecture. Further, we study the relationship between holographic entanglements of puri(cid:12)cation in locally-AdS 3 spacetimes and entanglement entropies in multi-throated wormhole geometries constructed via quotienting by isometries. In particular, we derive new holographic inequalities for geometries that are locally AdS 3 relating entanglements of puri(cid:12)cation for subregions and entanglement entropies in the wormhole geometries.


Introduction
One of the main areas of research in the modern AdS/CFT program is the relationship between holography and quantum information theory. In particular, the most established of these ideas is the notion of holographic entanglement entropy, which associates the entanglement entropy of a boundary subregion of the conformal field theory (CFT) with the area of a minimal surface in the bulk asymptotically Anti-de Sitter (AdS) geometry [1]. Because the existence of the bulk geometry places constraints on the set of allowed entropies associated with the holographic quantum state (which are not satisfied by general quantum states) [2,3], these entanglement entropies can be used to characterize which states in which conformal field theories can be dual to classical bulk spacetimes in the large-N limit.
A recent development is the conjecture that a related information-theoretic object, the entanglement of purification [4], is also dual to a bulk geometric object [5,6]. The conjecture was motivated by demonstrating that the bulk object obeys the same known set of inequalities obeyed by the entanglement of purification. The entanglement of purification for a mixed state is interesting to study because it is an entanglement measure of the purification of a given mixed state that preserves the notion of the bipartition in the mixed state and extends this to the full purification. This conjecture has also motivated the definitions of conditional [7,8] and multipartite [9,10] entanglements of purification and also their conjectured bulk duals, which are particular surfaces in the asymptotically-AdS geometry.
We will formulate a candidate geometric object dual to multipartite entanglement of purification for holographic states that are dual to three-dimensional asymptotically-AdS JHEP02(2019)110 geometries. Using this conjecture, we will geometrically derive a class of new holographic inequalities relating different n-party entanglements of purification among each other. This is an additional constraint that holographic states must satisfy, akin to the holographic entropy cone [3], but instead relating entanglements of purification.
The bulk surfaces that are conjectured to be dual to entanglement of purification have been studied previously in a different context: the creation of holographic wormhole geometries via quotients of vacuum AdS 3 by isometries [11][12][13][14][15]. We find that the entanglement of purification in vacuum AdS 3 appears to map into boundary-homologous minimal surfaces in the constructed wormhole geometries, which via the Ryu-Takayanagi formula compute entanglement entropies of reduced states on entire boundaries. In this work, we will explore possible applications of this observation that advance the study of both AdS 3 wormhole geometries and holographic entanglement of purification more generally. Specifically, we will use the equivalence of these objects to compute new constraints relating entanglements of purification of the vacuum state and entanglement entropies of wormholes in AdS 3 . We will also use these tools to study potential consequences for Hilbert space factorization in the wormhole geometries resultant from the identification.
This work is organized as follows. In section 2, we will review the definition and holographic interpretation of two-party entanglement of purification and state its conjectured multipartite generalization. From this conjecture, we will then derive a set of inequalities that multipartite entanglements of purification must satisfy for holographic states. In section 3, we will briefly review the method of constructing wormhole geometries in AdS 3 via identifications in the bulk. We will synthesize the two narratives in section 4 and derive new results relating the entanglement of purification and entanglement entropies in different holographic geometries. We conclude with a discussion of future directions in section 5.

Entanglement of purification and holography
Given a density matrix ρ AB , the entanglement of purification is defined as The infimum is taken over all choices of auxiliary Hilbert spaces H A and H B and over all purifications |Ψ AA BB on the total Hilbert space such that Tr A B |Ψ Ψ| = ρ AB . The quantity S(AA ) denotes the Von Neumann entropy of the reduced state on H AA , ρ AA = Tr BB |Ψ Ψ|. The entanglement of purification is known to obey the following inequalities for all quantum systems [4,16]:  Figure 1. The entanglement wedge cross section of the AB boundary subsystem, with size E W . This object, depicted as a red line, is the minimal surface that totally partitions the entanglement wedge into a region adjacent to A and one adjacent to B. It can be extended to a boundaryanchored geodesic (red dashed line), which further partitions the complement of A ∪ B into P A , P B , Q A , and Q B .

JHEP02(2019)110
The conjectured dual holographic object is the area, E W , of the entanglement wedge cross section, which is defined as the minimal surface that partitions the ρ AB entanglement wedge into a region adjacent to only A and one adjacent to only B; see figure 1. The entanglement wedge is defined on a spatial slice to be the bulk region enclosed by the union of the boundary subregions and the Ryu-Takayanagi surfaces homologous to them. The conjecture is motivated by the fact that E W obeys the same inequalities as E P , as shown in refs. [5,6]. For holographic CFTs, E W is conjectured to be calculable in terms of the entropies of ρ AB and its partial transpose [17].
Furthermore, there is an additional inequality that is true for E W that is not true for E P for generic quantum states: This inequality could, as in the case of the holographic entanglement entropy inequalities, serve as another way to determine which quantum states have entropic properties consistent with being dual to classical bulk gravity solutions. As a new result, we also note that any E W (A : B) for single intervals A and B can be extended to the boundary as a subset of a minimal surface computing a Ryu-Takayanagi entanglement entropy, generically of some region AP A Q A with entanglement entropy S(AP A Q A ) and complement BP B Q B . Note that the P s and Qs are fixed by the choice of A and B and are thus not independent. It is then also immediately true that (2.4) as the E W are less constrained than the entanglement entropy.

Multipartite entanglement of purification
There is a multipartite generalization of the entanglement of purification. For clarity, we will first give the tripartite generalization: where the infimum is taken over all auxiliary Hilbert spaces H A , H B , H C , and over all purifications |Ψ AA BB CC of a given ρ ABC . More generally, It was shown in refs. [9,10] that this object obeys generalizations of the inequalities listed for bipartite E P for all quantum states, though those inequalities will not be used further in this work; we will rely only on the multipartite definition itself.
In the tripartite case, it was conjectured in refs. [9,10] that the bulk object dual to this entanglement of purification is the total area of three surfaces, each of which partitions the entanglement wedge of ρ ABC into a section adjacent to one of the three subsystems A, B, or C, and a section adjacent to the remaining systems. Furthermore, these surfaces are required to meet (in general, on codimension-three surfaces) on the Ryu-Takayanagi surfaces bounding the entanglement wedge, thus constraining the optimization. A pictorial representation of this partitioning is given in figure 2.
The multipartite generalization of this holographic object simply extends the previous case from three surfaces to n surfaces, while maintaining the meeting condition for adjacent surfaces. That is, it is conjectured that the bulk object dual to the n-partite entanglement of purification associated with n boundary subregions A i is the minimal codimension-two polytope 1 with n facets, for which each (codimension-two) facet is homologous to exactly one of the A i , with all of the (codimension-three) ridges of the polytope located on the Ryu-Takayanagi surfaces defining the entanglement wedge. The area of this polytope in Planck units gives the entanglement of purification. In the special case of 2 + 1 bulk dimensions, this surface is a minimal polygon in the hyperbolic planar geometry of the asymptotically-AdS 3 spacetime.

Holographic inequalities for entanglement of purification
We can use the geometric conjecture for the bulk dual of the multipartite entanglement of purification to derive new inequalities for holographic states in AdS 3 /CFT 2 . We will first consider a couple of relatively simple cases as a warm-up and subsequently proceed to give the general set of inequalities one can derive from our setup.
In the multipartite case, one can consider a region of the boundary comprised of the union of 2n simply-connected subregions A i . Since there is only one spatial dimension, the JHEP02(2019)110 Figure 2. The tripartite entanglement wedge cross section (red line) of the ABC boundary subsystem, with area E W . Note that the minimization here is a constrained minimization such that the red line must separate A, B, and C from their respective complements in the entanglement wedge and be connected.
A i have a natural ordering (modulo cyclic permutations and sign) from their arrangement around the boundary. Consider the 2n-sided bulk object that computes E W (A 1 : A 2 : . . . : A 2n ) with n > 2, and compare with the two consecutive n-sided objects that would compute Subsets of the boundaries of these two n-sided objects can be formed into a 4n-sided object circumscribing them, where each of 2n of the vertices is on a unique boundary-anchored minimal surface between two successive A i . This circumscribing object can thus itself be deformed continuously into the minimal 2n-sided polygon that computes the 2n-partite E W . Hence, in this restricted case we have the inequality This observation can be significantly generalized. Let us next consider an mn-sided object defining an mn-partite E W and m consecutive n-sided objects, each defining an n-partite E W in a manner analogous to the previous example. The geometric construction leading to eq. (2.7) then immediately generalizes to give (2.8) where all indices are tacitly defined modulo mn.
More generally, consider an n-sided object whose length calculates E W (A 1 : A 2 : . . . : A n ), where as before each of the regions A i is simply connected. As above, let us label the regions A i cyclically around the boundary and write the boundary-anchored minimal surface between A i and A i+1 as γ i , where all indices are defined modulo n. Let us take an arbitrary partition of n into N parts, indexed by j with sizes n j , so N j=1 n j = n, where JHEP02(2019)110 we require each n j ≥ 2. We can then partition the collection of surfaces {γ i } into sets B j where |B j | = n j and such that no union of B j is simply a collection of successive γ i , i.e., for any i, j and any proper subset S of {1, . . . , N }. For each j, define s j to be the ordered set of indices i for which γ i ∈ B j , and write s k j for the kth element of s j . Since all indices are defined modulo n, for a given j the s k j are defined up to cyclic permutations of the k index. We then define If n j = 2, then we have a 2-gon connecting two of the γ i , corresponding to 2E W (C 1 j : C 2 j ). (A minimal 2-gon is just twice the minimal geodesic between two points.) By the condition (2.9), the P j are guaranteed to overlap with each other so that ∪ j P j is connected. There thus exists a polygonP , formed by subsets of the P j , that circumscribes ∪ j P j , where there exists some subset of n vertices of which each is on a unique γ i , 1 ≤ i ≤ n. Hence,P can be deformed continuously into the minimal n-sided polygon P connecting the γ i , which computes the n-partite E W ; see figure 3. Let us identify j 0 such that n j = 2 for j ∈ {1, . . . , j 0 − 1} and n j > 2 for j ∈ {j 0 , . . . , N }. We thus have a large set of entanglement wedge inequalities, An example is useful. Let us consider 7 boundary subregions. Partitioning 7 as 3 + 4, one of the identities we derive is (2.12) If we let C j = {C k j , k = 1, . . . , n j }, this corresponds to taking This corresponds to a different partition of 7 = 3 + 4.
As further examples, partitioning 7 as 2 + 5, we obtain Figure 3. A partition of n = 7 boundary subregions into n 1 = 3 sets of subregions and n 2 = 4 sets of subregions. The surface P 1 , which computes the tripartite entanglement of purification for the set is shown in red, and the surface P 2 , which computes the quadripartite entanglement of purification for the set Segments of these two surfaces form the polygonP , shown with the dashed purple line, which can be deformed to the 7-partite entanglement wedge cross section (shown in solid purple). and partitioning 7 as 2 + 2 + 3, we find

Constructing wormhole geometries via identifications of AdS 3
In this section, we briefly review how multi-black-hole spacetimes are obtained by taking a quotient of pure AdS 3 by a set of isometries. Starting with the Poincaré disk, 2 taking a quotient by a single hyperbolic isometry produces a new Riemannian manifold that everywhere has constant negative curvature. The resulting manifold is the same as if one had cut a strip bounded by boundary-anchored geodesics out of the disk and glued it shut, as illustrated in figure 6. This new spacelike manifold, which consists of a wormhole that connects two asymptotically-hyperbolic regions, then serves as the initial condition for a new locally asymptotically-AdS spacetime. Quotienting by more than one isometry produces more complicated multiboundary wormholes. Here, we only sketch the process with a small 2 Any totally geodesic, spacelike slice will do, but without loss of generality, we can work entirely with the Poincaré disk since the former always maps onto the latter by stereographic projection. A submanifold is totally geodesic if any geodesic on the submanifold (with respect to the induced metric) is also a geodesic in the parent manifold. Figure 4. A partition of n = 7 boundary subregions into n 1 = 2 sets of subregions and n 2 = 5 sets of subregions. P 1 (now a minimal 2-gon) is shown in red and P 2 is shown in blue. As before,P is shown in dashed purple, and the surface that computes E W (A 1 : . . . : A 7 ) is shown in solid purple. number of mathematical details, but a complete treatment of the topic may be found in refs. [11][12][13]. In AdS/CFT, the quotient process produces a corresponding CFT state. We will keep the discussion of the CFT-related aspects minimal here (restricting ourselves to what can be gleaned from the Ryu-Takayanagi formula), but these are elaborated in great detail in refs. [14,15].

JHEP02(2019)110
First, consider two boundary-anchored geodesics in the Poincaré disk that do not share any endpoints, as shown in figure 6. Then there exists a unique isometry of the disk that bijectively maps points on the first geodesic onto their closest points on the second. One can show that this isometry has no fixed points in the strip between the two geodesics nor on the portion of the boundary between the two geodesics [13]. Moreover, the image of this strip

JHEP02(2019)110
A BÃB Figure 6. The two-surface identification used to make the two-sided wormhole geometry. Notches indicate the identification of the two blue surfaces with each other in the left subfigure, creating the wormhole geometry depicted in the right subfigure. Crucially, the minimal surface connecting the identified geodesics (depicted here by a red dashed line) maps onto the horizon area in the wormhole geometry.
under repeated applications of the isometry or its inverse covers the whole Poincaré disk, accumulating only at two fixed points on the boundary that lie in the regions subtended by the boundary-anchored geodesics. Therefore, if we take a quotient of the disk and identify points that are related by the action of this isometry and its inverse, the result is a smooth, nonsingular manifold.
Equivalently, one may think of the quotient as taking the initial strip, or fundamental domain, and periodically identifying its two geodesic boundaries. Following the identification, the original boundary subregions between the two geodesics are mapped onto two complete AdS boundaries that are joined by a smooth wormhole. The throat of this wormhole is a segment of the unique geodesic that is left invariant by the isometry in the original Poincaré disk. (The fixed points of the isometry are therefore the points where this invariant geodesic meets the conformal boundary.) Therefore, instead of specifying a pair of geodesics to be identified, one can equivalently specify the unique invariant geodesic and the size of the desired wormhole throat to characterize a quotient of the Poincaré disk.
In principle, one is not limited to identifying a pair of geodesics; one could also begin with a smooth curve that does not intersect its image under the isometry. Geodesics are merely a convenient choice of fundamental domain boundary that guarantees the smoothness of the resulting metric. They are furthermore useful for constructing more complicated wormholes.
The construction described above produces a time-symmetric slice of a two-sided BTZ black hole [18], which one could call the t = 0 slice in the usual AdS-Schwarzschild coordinates. By iterating the process -that is, by taking a quotient with respect to several isometries -one obtains more complicated geometries that consist of several asymptotic regions that are joined by a common wormhole, as illustrated in figure 7. In the equivalent cutting-and-gluing picture, the process consists of specifying a fundamental do- main using an even number of boundary-anchored geodesics and then identifying pairs of these geodesics.
Doubling [11,13] is an algorithmic way to construct a multiboundary wormhole geometry with a prescribed set of properties, such as number of asymptotic regions, throat sizes, and distances between throats. To illustrate this process, consider k boundary subregions on the Poincaré disk and k adjacent boundary-anchored geodesics that connect the endpoints of adjacent boundary subregions. This is illustrated for k = 3 in figure 8. Next, make a copy of the disk and the geodesics. By cutting along the geodesics and gluing the original cut-out to its copy, one obtains a wormhole geometry with k mouths. This geometry is a time-symmetric initial condition for k asymptotically AdS regions, each of which contains a black hole. The black holes are connected by a wormhole with k mouths whose structure is hidden behind the black hole horizons.
While it may not be immediately apparent from this cutting-and-gluing picture, doubling still consists of an isometric quotient. This can be seen as follows. In the original disk, pick one of the boundary-anchored geodesics. There exists an isometry that moves this geodesic onto the diameter of the Poincaré disk. After applying this isometry, the copy of the original region can be embedded into this single Poincaré disk as the reflection of the (isometrically deformed) region across the diameter of the disk. This realizes the original/copy identification from the doubling picture for the first geodesic that we selected. The other original/copy pairs of geodesics are now related by isometries of the single Poincaré disk, and so doubling is indeed a quotient by isometries. See in particular figure 3b in ref. [13] for illustration.
As before, the throats of the resulting wormhole correspond to unique geodesic segments that intersect the adjacent geodesics in the pre-identification geometry. The size JHEP02(2019)110 of a wormhole throat is therefore equal to twice the length of the corresponding geodesic segment in a single copy of the pre-identification geometry. Similarly to the two-boundary case, a k-boundary wormhole can be specified by choosing these geodesic segments; their lengths and relative separations correspond to specifying the black hole masses and the separations of their horizons in the wormhole. These 2k parameters are not all independent; however it is possible to independently specify all k black hole masses for k ≥ 3. Further details are explained in ref. [13]. Within AdS/CFT, for a wormhole with k boundaries, the quotient construction yields a corresponding state on the tensor product of k CFTs that one can identify with the k asymptotic boundaries. If one were to trace out all but one of the CFT boundaries, the result is a thermal state that is dual to a single-sided BTZ black hole of temperature given by the horizon size. In the full wormhole geometry, the horizons are the minimal surfaces that are homologous to each entire boundary and thus compute the entanglement entropies of the reduced states on each individual boundary in the CFT.

Interpreting entanglement of purification via wormholes
It is now clear that in the context of three-dimensional holographic theories, the bulk object whose area is conjectured to be dual to entanglement of purification and the minimal geodesic segments that define the isometric identifications are very closely related. When the entanglement wedge connects two boundary subregions they are precisely the same, and E W in the pre-identification geometry is equal to the entanglement entropy of an entire CFT boundary in the wormhole geometry. When E W is the sum of the areas of a union of disjoint simply-connected bulk geodesics, then it is given precisely by the sum of JHEP02(2019)110 entanglement entropies of a collection of CFT boundaries in the wormhole state, which in turn are computed by these minimal surfaces.
The upshot of this observation is quite interesting. At least for geometries that have enough isometries to allow for quotienting, such as empty AdS 3 , the way to compute entanglement of purification in (1 + 1)-dimensional holographic CFTs appears to be via calculation of entanglement entropies of the CFTs constructed by isometric identification. Calculations of these entanglement entropy quantities is much more straightforward than direct calculation of the entanglement of purification, as in the work of ref. [19]. Perhaps such a statement (or a variant thereof) can even be proven using CFT alone, without the need to appeal to an explicit holographic construction.
Assuming the E P = E W conjecture -and our multipartite generalization -is correct, one can reach several conclusions about E P for such states, as we will now see.

Entanglement of purification inequalities from holographic entanglement entropy
All entanglement entropy inequalities that hold for any holographic state by definition hold in holographic wormhole geometries. In particular, in a wormhole geometry, we are free to consider the entanglement entropy of entire connected boundaries. The minimal Ryu-Takayanagi surfaces that compute the entanglement entropy of entire boundaries, however, now have an additional interpretation as entanglements of purification in the preidentification geometry. Therefore, inequalities that constrain entanglement entropies in the wormhole geometry yield corresponding constraints on the entanglement of purification. Consider, for example, subadditivity: Here, we use letters with tildes for the post-identification CFT boundaries and letters without tildes for the pre-identification boundary subregions. Let us consider the simplest nontrivial case, that of a three-sided wormhole with boundariesÃ,B, andC. By substitution, we have immediately that Note that this does not follow from known properties of E P , as in this case ρ ABC is not pure (since it is a state corresponding to a proper subset of AdS 3 ). In a similar fashion, further holographic entanglement entropy inequalities, such as strong subadditivity or the Araki-Lieb inequality, convert into a constraint on E P in the pre-identification CFT(s). In order to convert entanglement entropy inequalities into inequalities for the entanglement of purification, one must show that any E W surface can be mapped onto a Ryu-Takayanagi surface in a wormhole geometry via isometric identification. To begin, consider the three-party case in which we choose three simply-connected boundary subregions in the parent geometry. The different possible topologies for the entanglement wedge, as well as the entanglement wedge cross sections, are drawn in figures 9a-11a.
In the first configuration (figure 9a), all of the bipartite E W s formed from A, B, and C are nonzero. In this case, each entanglement wedge cross section can be mapped If we identify the geodesics that are anchored to the boundaries of A and B, then the nonzero E W s are mapped onto the length of the throat of the wormhole that joinsÃ andB in the resulting two-sided wormhole geometry. Since E W of C with anything else is zero, we should independently map the state on C onto a pure state on the conformal boundaryC of a disconnected space. Then, we can think of the trivial E W s as being calculated by the trivial Ryu-Takayanagi surface that subtends all ofC. The simplest map is to just let the state onC be a copy of the state on the complete original boundary, but in general, the state onC could be (in principle, a unitary rotation of) the joint state of ρ C and a purification.
The last possibility is the trivial configuration in which the entanglement wedge consists of three disconnected regions. Here, every E W vanishes. In this case, we can think of the E W s as being calculated by (trivial) Ryu-Takayanagi surfaces for three disconnected spacetimes as shown in figure 11b (one for each initial boundary subregion).
The case of an arbitrary number of boundary subregions follows in essentially the same way. Consider a holographic CFT with k boundary subregions A 1 , . . . , A k . Partition these boundary subregions into sets X a , 1 ≤ a ≤ n, such that the entanglement wedges of ∪ A i ∈Xa A i are the connected components of the full entanglement wedge of ∪ k j=1 A j . For each X a , form a disjoint wormhole geometry by doubling (or a trivial disconnected geometry when |X a | = 1) with a full boundaryÃ i for each A i ∈ X a . Then it follows that JHEP02(2019)110 AB C Figure 10. Another phase, in which the entanglement wedge of ABC is a disjoint union of the entanglement wedge of AB and that of C. The entanglement wedge for AB is mapped onto a two-sided wormhole and its entanglement wedge cross section (red dashed line) is mapped to the Ryu-Takayanagi surface associated with a complete boundary, while C is mapped to a trivial hyperbolic geometry.
A B CÃB C (a.) (b.) Figure 11. The totally-disconnected phase, when the entanglement wedge of ABC is the disjoint union of the entanglement wedges of A, B, and C individually. Each boundary subregion is mapped to a disconnected trivial geometry.

JHEP02(2019)110
any bipartite E W made up of any of the A i s is given by the entanglement entropy of the correspondingÃ i s. It is also clear that the geometric quantity conjectured to be dual to tripartite (and by analogy multipartite) E P also has a nontrivial lower bound. In particular, note that in the quotient geometry, each of the three minimal surfaces that partition the pre-identification entanglement wedge transform into non-minimal surfaces homologous to the individual boundary regions, and thus are each individually larger than the minimal surfaces that compute bipartite E P s. This geometric observation implies reproducing Proposition 12 of ref. [10].

Holographic entanglement entropy inequalities from entanglement of purification
One can also obtain new results by running our construction in the other direction, to convert inequalities for the entanglement of purification into entanglement entropy inequalities. For example, recall that E P (A : BC) ≥ E P (A : B) for all quantum states and that E P (AC : BD) ≥ E P (A : B) + E P (C : D) for states with holographic duals, assuming the E P = E W conjecture [5,6]. By replacing these entanglements of purification with entanglement entropies, we get from the first inequality that where the left-hand side is the entanglement entropy ofÃ in the three-sided wormholẽ ABC and the right-hand side is the entanglement entropy between the two boundaries of the two-sided wormhole ≈ A ≈ B that one forms via the appropriate identifications on the original geometry. Adopting similar notation, the second inequality gives that (4.5) Inequalities of this type are not typically encountered in relativity; they relate the sizes of minimal surfaces in different geometries. The reason why such quantities appear here is that these geometries are descended from the same parent geometry, and so these unusual inequalities correspond to standard comparisons of areas within a single pre-identification parent geometry. Similarly to how we showed that entanglement wedge cross sections can always be mapped onto Ryu-Takayanagi surfaces in a wormhole geometry in the previous subsection, here we run the argument in the other direction and show that any multiboundary wormhole geometry can be turned into an entanglement wedge setup in a Poincaré disk. This establishes that inequalities of the types shown above hold for multiboundary wormhole states in general. Consider a wormhole with k asymptotic boundaries. This manifold is topologically equivalent to a sphere with k punctures. Arrange the punctures in a circle around the sphere's equator, and make a one-cycle graph by drawing k edges on the sphere,

JHEP02(2019)110
connecting adjacent punctures. Next, cut the sphere along the edges of the graph. This divides the sphere into two disks, with each puncture mapped onto identified pairs of regions on the boundaries. The cuts correspond to the pairwise-identified geodesics in the bulk of the disks. The two disks constitute the doubled version of the single Poincaré disk generating the wormhole geometry.

Optimal purification from the surface-state correspondence
In the analysis of the entanglement of purification, a good guiding principle to keep in mind is the conjectured surface-state correspondence [20]. The surface-state correspondence is the proposition that one can map the state on the full boundary onto a state on a closed surface in the bulk by applying isometries that correspond to continuously deforming the boundary into the closed bulk surface in question. Because these isometries preserve the state purity 3 when mapping from the full boundary to a homologous closed surface, a pure state on the complete boundary can be pushed to a pure state on the closed surface in the bulk. If there is a black hole in the geometry, such that the boundary state is a mixed state, then the conjecture is that it is possible to push to a mixed state into the bulk. In either case, the dimension of the Hilbert space associated with the closed bulk surface is the exponential of the surface's area in Planck units.
In the context of the E P = E W conjecture, the surface-state correspondence produces a particular set of purifying A i systems for which each A i is identified with the portion of the Ryu-Takayanagi surface on the same side of the adjacent geodesics as A i ; see figure 12. The joint pure state defined by the unions of the A i A i is the state obtained via the surfacestate correspondence from the entire boundary, where pushing is only done on the boundary regions that make up the complement of the union of the A i s.
This idea also suggests a natural identification for the Hilbert spaces of the CFTs in the wormhole geometries created by the quotient procedure, if we make the further conjecture that the quotient does not introduce additional Hilbert space factors not associated with the boundary of the entanglement wedge. Namely, it is natural to conjecture that thẽ A i are isomorphic to the A i A i themselves. The states that correspond to these wormhole geometries are pure, as is the state defined on the union of the A i A i . Note that the quotient procedure also preserves on which side of the entanglement wedge cross sections the boundary regions (and portions of RT surfaces) lie. Because the only Hilbert space factors in the wormhole geometries are the CFT boundaries themselves, this strongly suggests that each CFT boundary corresponds to a single A i A i .
In the case of two boundary subregions A and B, this proposed identification leads to the immediate conclusion that, if E P = E W holds, the wormhole geometry calculating the entanglement of purification is the optimal purification of ρ AB that corresponds to a classical bulk geometry. By optimality, we mean that it has minimal Hilbert space dimension and that it achieves the infimum in the definition of E P (cf. eq. (2.6)).
Consider the purification of ρ AB given simply by the pure state in the entire original CFT. Because the mixed state defined on the complement of AB on the boundary was not JHEP02(2019)110 Figure 12. Illustration of the pushing procedure. The entanglement wedge of ABC (bounded by the blue surfaces) is described by the reduced density matrix ρ ABC in the left subfigure, while the entire boundary is described by the pure state |Ψ . Using the surface-state correspondence and E P = E W conjecture in combination, we identify the tripartite entanglement wedge cross section (dashed blue line) and identify the purifying systems A , B , C as living on the union of the portions of the Ryu-Takayanagi surfaces on the A, B, or C side of the entanglement wedge cross section, respectively (red, green, and purple surfaces). The full entanglement wedge is now described by |Ψ AA BB CC , while the extra boundary degrees of freedom unentangled with the entanglement wedge are described by some state |0 . maximally entangled with ρ AB , much of the Hilbert space is wasted by this purification of ρ AB , even when S(AA ) is extremized. Once one restricts to the state defined only on the Hilbert space factor AA BB , however, there is no more waste: because the density of degrees of freedom in A B is given by the length in Planck units of the geodesics with which A B is identified, i.e., log dim A B = S(AB), A B has the minimal possible Hilbert space dimension that can purify ρ AB . Because the E P = E W conjecture, combined with the quotient procedure, gives us that this is both the state defined on the wormhole and that its throat calculates the entanglement of purification, we have our claim that it is a purification of minimal Hilbert space dimension. Morevoer, in order for E P = E W to hold, it must be that the state on A B achieves the infimum in the definition of E P , since E P (A : B) = S(Ã) and S(Ã) = S(AA ). The insistence on there being a corresponding classical bulk geometry eliminates some of the gauge freedom of applying arbitrary unitaries to A B .
It is interesting to consider if this geometrically optimal purification is, in fact, also the minimal purification of the given density matrix. In other words, a natural conjecture to make is that the particular purification obtained using the surface-state correspondence achieves the infimum for multipartite E P in general, i.e., that E P (A 1 : . . . : A n ) = 1 n S(AA 1 ) + · · · + S(AA n ) . This is studied in more detail in ref. [21].

JHEP02(2019)110
The proposed identification of Hilbert spaces could have interesting applications for the complexity = action proposal [22,23]. In those contexts, the proposed equivalency is unclear regarding for which state the state complexity should be calculated, in particular with regard to the statement of when increasing complexity should result in a firewall. The above notion of minimal-dimension geometric purification gives a candidate state to which to restrict in the statement of the complexity = action conjecture. It furthermore has the benefit of making close contact with cases for which the complexity = action conjecture is known to be true, specifically the context of shock waves in wormhole geometries. It is an enticing possibility that one can use this work to help make that conjecture more precise.
Note that the cases in which the entanglement wedge is disconnected are handled well in the surface-state correspondence hybridization with E P = E W . Disconnected entanglement wedges correspond to boundary states whose reduced density matrices can to leading order be written as tensor products, of which the factors can be separately purified. This separable purification also implies that one can act with simultaneous isometries from different (but not disjoint) subfactors of the boundary Hilbert space encoding the complement of the entanglement wedge to the disjoint Ryu-Takayanagi surfaces bounding these entanglement wedges separately, yielding the correct A i s on the respective Ryu-Takayanagi surfaces bounding each portion of the entanglement wedge.

Discussion
The entanglement of purification, E P , is conjectured to correspond holographically to the area, E W , of a bulk-anchored minimal surface that connects boundary-anchored minimal surfaces. We examined the multipartite construction in the first part of this article, which led us to a new class of inequalities relating n-partite E W s to sums of lower-partite E W s, as was shown in section 2.2. Because the geometric description was so crucial in deriving these inequalities, it is unlikely that they extend to E P inequalities for all states, assuming that E P = E W . Rather, they are at least guaranteed to be obeyed by states with dual holographic geometries, similarly to how certain entropy inequalities, such as monogamy of mutual information, hold for such states [2]. That a given CFT 2 state satisfy these E P inequalities is therefore a necessary condition for it to have a dual holographic geometry. We expect that these inequalities would be useful in the construction of an entanglementof-purification cone for holographic states, analogous to the holographic entropy cone describing entanglement entropies [3]. We also expect our inequalities to generalize straightforwardly to dimensions higher than 2 + 1; however, we cannot draw any immediate conclusions without further analysis, since the E W surface bulk-anchoring condition and the assessment of circumscription are somewhat more subtle in higher dimensions.
In the second part of this article, we observed that the calculation of bipartite E W in AdS 3 can be mapped to a holographic entanglement entropy calculation in a multiboundary wormhole geometry. In short, modding out by isometries maps entanglement wedge cross sections in the Poincaré disk to wormhole throats in the resulting wormhole geometry, which are the Ryu-Takayanagi surfaces of entire boundaries. This relationship strongly hints at the possibility that the correct way to interpret, from an information-theoretic JHEP02(2019)110 point of view, the procedure of constructing wormhole geometries from vacuum AdS is as some specific optimal purification procedure of, e.g., ρ AB to ρÃB in the two-boundary case. In this case, the CFTs connected by the wormhole geometry would then precisely be the optimal purification of boundary subregions of the original CFT.
In general, minimal surface identifications through isometric quotients can result in subdominant saddle solutions; the bulk solution may prefer to be two or more disconnected asymptotically AdS 3 geometries, for example when the minimal separation between the identified surfaces becomes too small. Those wormhole geometries associated with nontrivial entanglement of purification will, however, remain the dominant geometry, as they always correspond to the phase where the identification region is the connected entanglement wedge, ensuring by definition that the dominant saddle is a wormhole geometry with nonzero throat size.
If E P = E W , one advantage of the wormhole proposal is that it is calculationally easier to evaluate entanglement entropies than entanglements of purification. The proposal also lets one convert E P inequalities into entropy inequalities and vice versa. As was demonstrated in section 4, we can both reproduce known E P inequalities and derive new inequalities (for both E P and S) via this identification.
A limitation of the wormhole construction is that entanglement entropy inequalities in the wormhole geometry only convert to E P inequalities for empty AdS 3 . Nevertheless, the basic idea behind our construction would apply to any pair of wormhole geometry and parent asymptotically AdS 3 spacetime that possesses isometries that allow for a smooth quotient identification. In particular, one could imagine building up such parent geometries by locally perturbing a slice of empty AdS 3 in the following schematic way. Given an entanglement wedge, which serves as the fundamental domain for the wormhole construction, the procedure would be to act with a local perturbation inside the fundamental domain, as well as at the same location in all images of the fundamental domain in the Poincaré disk. A quotient of the perturbed disk by the original isometries then presumably yields a perturbed wormhole geometry.
An important remark that we made at the beginning of section 3 that is worth revisiting here is that our arguments were purely geometric; at no point did we invoke any CFT principles to corroborate our findings about E W inequalities and the relationship between E W and wormhole throats. In particular, regarding the latter finding, a highpriority question is whether one can show that E P in the parent CFT state is equal to the entanglement entropy of the reduced state on a collection of CFT boundaries, where these boundary CFTs are obtained directly from a quotient in the original CFT. A purely fieldtheoretic analysis would not only firmly substantiate our findings, but also lend further credence to the holographic E P = E W conjecture more generally.
This research leaves many promising avenues for future investigation. It would be interesting to consider the extension of our results to dimensions higher than 2 + 1. In higher-dimensional gravity, the special symmetries that allow for simple identification of surfaces in AdS 3 to construct wormholes do not appear, and thus the story is more complex. One could, of course, simply construct multi-boundary black brane solutions, but this does not appear to offer any more insight than the three-dimensional case. Nevertheless, it

JHEP02(2019)110
is an interesting open question to ask if there are any higher-dimensional objects that, via some transformation of the bulk geometry possibly generalizing the three-dimensional identification program, would transform the E W surfaces once again into bulk minimal surfaces that calculate the entanglement entropy in some boundary region of a CFT.
Finally, in a similar vein to field-theoretic analysis, an interesting further direction is to understand more precisely the relationship between the optimal A i A i state that calculates entanglement of purification, the A i A i state obtained from the surface/state correspondence, and the wormhole boundary stateÃ i . The most straightforward possibility, which is further strongly motivated by information-theoretic arguments, is that these are one and the same. Nonetheless, having a concrete mathematical implementation of the maps among these states would be illuminating for our understanding of the relationship in the entanglement structure of holographic states with and without wormholes.