Integral geometry and holography

We present a mathematical framework which underlies the connection between information theory and the bulk spacetime in the AdS3/CFT2 correspondence. A key concept is kinematic space: an auxiliary Lorentzian geometry whose metric is defined in terms of conditional mutual informations and which organizes the entanglement pattern of a CFT state. When the field theory has a holographic dual obeying the Ryu-Takayanagi proposal, kinematic space has a direct geometric meaning: it is the space of bulk geodesics studied in integral geometry. Lengths of bulk curves are computed by kinematic volumes, giving a precise entropic interpretation of the length of any bulk curve. We explain how basic geometric concepts — points, distances and angles — are reflected in kinematic space, allowing one to reconstruct a large class of spatial bulk geometries from boundary entanglement entropies. In this way, kinematic space translates between information theoretic and geometric descriptions of a CFT state. As an example, we discuss in detail the static slice of AdS3 whose kinematic space is two-dimensional de Sitter space.


JHEP10(2015)175
Contents The last decade has taught us to be mindful of entanglement. One way to see the importance of entanglement in local quantum field theories is to contemplate the area law [1,2]: the physically relevant states obeying the area law are a small island in the morass of the full Hilbert space, most of which comprises states with too much or too little entanglement. Traditional formalisms of quantum field theory ignore this fact; they treat entangled and unentangled states on an equal footing. One might imagine, however, that it is possible to formulate quantum field theory in a novel way, wherein quantum states are described and organized according to the amount and structure of their entanglement. If successful, such a reformulation would radically alter our understanding of what quantum field theory is. A promising place to start looking for such a formulation of quantum field theory is holographic duality [3]. This is because the bulk gravitational dual encodes the boundary field theory entanglement in an explicit and convenient way in terms of areas of minimal surfaces [4][5][6]. As a result, central tenets of gravitational physics -Einstein's equations [7][8][9], energy conditions [10,11], even connectedness of spacetime [12][13][14][15][16][17] -have been reduced to statements about entanglement in the boundary theory. This development should be compared with another route toward an entanglement-based understanding of field theory: tensor networks. Swingle suggested [18,19] that the MERA tensor network [20,21] may be viewed as a discretization of the spatial slice of the holographically dual spacetime, because the latter -like MERA -also organizes the entanglement of the field theory state according to scale. 1 It is clear that holography has much to teach us about entanglement in field theory, but the lessons have not yet become apparent. Conversely, by understanding the structure of entanglement we may develop a powerful new framework for studying quantum gravity.
In this paper we introduce a new geometric language, which clarifies the holographic connection between geometry and entropy. A key trick -which resonates with our philosophy of treating entanglement as a central quantity -is to describe the bulk geometry entirely through its set of minimal surfaces. 2 A natural way to do this is to consider a sort of integral transform: we generate an auxiliary dual geometry whose points describe integrated quantities in the real space. This approach is the central motif of integral geometry [29].
With an eye to applications to the AdS 3 /CFT 2 correspondence, we will examine the space of geodesics -kinematic space -on 2-dimensional manifolds with boundary. 3 The manifold in question is the spatial slice of a holographic, time-reflection symmetric, asymptotically AdS 3 spacetime. While the mathematical literature on integral geometry has focused on symmetric spaces, we show that the formalism is easily extended to more general settings. Of particular interest are those manifolds whose tangent space is completely covered by geodesics anchored on the boundary. As we show, in this case the data in kinematic 1 The analogy between holography and tensor networks was further advanced in [22][23][24][25][26]; see also [27] for a critique of associating MERA directly with the spatial slice of AdS3.
2 See [28] for a pre-Ryu-Takayanagi effort in the same direction. 3 The boundary may be a conformal boundary. space suffices to determine the real space geometry. In the AdS 3 /CFT 2 correspondence the kinematic space ushers in two ostensibly distinct, powerful simplifications. On the geometric side, it translates lengths of bulk curves into boundary quantities, which have an entropic interpretation in the field theory. This property of kinematic space was first discovered in [17] under the guise of the differential entropy formula. But for an information theorist, the kinematic space organizes the data about subsets of the field theory Hilbert space and the pattern of their entanglement. Its causal structure tells us which intervals contain which other intervals (section 2.4) while its volume form (eq. 2.4) captures the conditional mutual informations of neighboring intervals (section 2.3). The miracle of holography is that these two a priori distinct descriptions of the field theory state are unified in a single object: kinematic space. In fact, the benefits of kinematic space have already found a compelling application: in an upcoming paper [30] we explain that the MERA tensor network encodes the conditional mutual informations and containment relations among intervals in exactly the same way as kinematic space does. Thus, MERA is best seen as a discretization of kinematic space rather than of the spatial slice of the holographic geometry.
The present text is intended to introduce the (appropriately generalized) formalism of integral geometry to the community of holographers, field theorists and information theorists. The generalization extends integral geometry to spaces with less symmetry, away from pure AdS 3 . We also explain how to use the formalism to reconstruct the bulk from boundary data (appendix B). We advocate that kinematic space should be understood as a translator that converts the boundary language of information theory into the bulk language of geometry (see figure 1).
For an initial orientation, we start with some classic results in integral geometry in two spatial dimensions -first in flat space, then on the hyperbolic plane. These will give the reader a flavor of what to expect next. The central theme of the introductory expositions is describing objects on the (Euclidean and hyperbolic) plane in terms of straight lines (geodesics) that intersect them. This is relevant for AdS 3 /CFT 2 , because in that case the Ryu-Takayanagi proposal equates boundary entanglement entropies with lengths of geodesics.

Integral geometry on the Euclidean plane
Our presentation is adapted from [29]. Consider a closed, smooth, convex curve γ on the Euclidean plane. We wish to relate the circumference of γ to its tangent straight lines; see figure 2. Any straight line can be written in the form where θ is the polar angle on the plane. In this representation, p is the distance of the straight line from the origin. Note that if we continuously change θ → θ + π and p → −p, the straight line maps to itself but its asymptotic endpoints are exchanged. Thus, (θ, p) parameterize the set of oriented straight lines. As we follow the curve γ, the θ-and p-values of the straight line tangent to γ change. We represent their dependence as a function p(θ), which for a convex curve is single-valued. In the appendices, we collect useful basic results as exercises, the first of which, Exercise 1, shows that the circumference of γ can be expressed in terms of p(θ) as: (1.2) Eq. (1.2) holds for closed, convex curves; the smoothness assumption is unnecessary. Instead of working with straight lines tangent to γ, it is possible to re-express eq. (1.2) in terms of straight lines that intersect it (Exercise 3). The result is the celebrated Crofton formula:  The black curves correspond to geodesics tangent to γ, and they form the boundary of the region of intersecting curves. The light-shaded region corresponds to geodesics intersecting twice, while the dark-shaded region corresponds to geodesics intersecting four times. This intersection number enters the Crofton formula (1.3).
In summary, we obtain an equation of the form The integral on the right hand side is done over the kinematic space K, the space of all oriented straight lines on the Euclidean plane. It is well defined, because the measure of integration (the Crofton form), ω = dp ∧ dθ , (1.5) is invariant under the isometries of the Euclidean plane. The integrand is the intersection number of the curve γ and the straight line. In effect, our formula translates the length of a curve into a volume in the space of straight lines. When the curve is not convex, the volumes contribute with different multiplicities; see figure 3.

A preview of integral geometry on the hyperbolic plane
The flat space results mentioned above have nice analogues on the hyperbolic plane H 2 . In coordinates the equation of a geodesic is: The parameters that label the oriented geodesic are θ ∈ [0, 2π] and α ∈ [0, π]; they replace the flat space parameters θ and p. Pairs of geodesics differing only in orientation are now related by θ ↔ θ + π and α ↔ π − α. Eq. (1.4) carries over to the hyperbolic plane essentially unchanged [29,31]: The non-trivial part is to find the measure ω(θ, α) on the space of geodesics. One can make a good guess by considering the flat space limit of hyperbolic space (Exercise 4). To verify the guess, one checks that ω(θ, α) is invariant under the isometries of the hyperbolic plane (Exercise 5). The final answer is: For the purposes of this paper, it is more useful to parameterize the space of geodesics in terms of theθ-coordinates of their endpoints on the cutoff surface: In these coordinates, the Crofton form becomes: (1.12) The key facts are eqs. (1.12) and eq. (1.9). These formulas encode all there is to know about the geometry of the hyperbolic plane. They gain a profound physical significance in the AdS 3 /CFT 2 correspondence, where the Ryu-Takayanagi proposal [4,5] identifies bulk geodesic lengths with boundary entanglement entropies. We will see below that the "density of geodesics" (1.12) is directly related to the strong subadditivity of entanglement entropy in the dual boundary theory. The Crofton formula (1.9) then relates lengths of bulk curves to the strong subadditivity of the infrared degrees of freedom. In the remainder of this paper we explain these and other intriguing connections between integral geometry, holography and quantum information theory.

What we do next
In the previous sections we introduced the reader to the language of integral geometry. We used classic results about symmetric 2-dimensional spaces for illustration. We now wish to generalize the machinery of integral geometry to describe the bulk geometry in AdS 3 /CFT 2 holography.
In section 2 we define the kinematic space for an arbitrary background, departing from the highly symmetric settings of the hyperbolic plane. Remarkably, a choice of the Crofton form that is naturally suggested by holography (eq. 1.12) has a beautiful interpretation in information theory: it captures the conditional mutual informations of neighboring intervals in the dual CFT. That, in turn, motivates equipping the kinematic space with a metric structure, which is necessarily Lorentzian. This device will turn out to be useful for making contact with tensor network approaches to holography, which is the subject of our upcoming paper. The connection between information theory and the kinematic space will allow us to translate a number of geometric objects into the language of entropy.
This translation is the subject of section 3. We discuss how points, distances, curves, and angles are represented in kinematic space. In particular, we will see that curves in the bulk correspond to collections of intervals on the cutoff surface. The length of the curve is an aggregate measure of how far these intervals are from saturating the strong subadditivity of entanglement entropy. Eq. (3.4) is an example of this statement. We explain how to use our formalism to reconstruct the bulk from boundary data in appendix B.
Section 4 illustrates the formalism in the most familiar settings -the static slice of pure AdS 3 . In this special instance our results can be obtained through a different route that exploits the maximal symmetry of the hyperbolic plane. In appendices C and D we present a broader class of facts and examples, some arranged in the form of exercises with solutions. We hope that this method of presentation will benefit the reader who intends to put integral geometry to practical use. This arXiv submission also includes a Mathematica visualization tool.
We conclude with a discussion.

The Crofton form and conditional mutual information
The discussion in section 1.2 relied on the symmetry of the hyperbolic plane. In this section we extend this formalism beyond the vacuum while expressing the results of integral geometry in the language of holography. We claim that for every static holographic spacetime in the AdS 3 /CFT 2 correspondence it is possible to choose a Crofton form ω(θ, α) that makes eq. (1.9) correct. In other words, in a static situation we always know how to select the correct measure on the space of geodesics to obtain the schematic equation which applies to every curve γ in the bulk. Once more, for non-convex curves γ the geodesics on the right hand side count with multiplicity.

JHEP10(2015)175
u v(u) γ Figure 5. We characterize a convex curve γ with a function v(u) chosen so that the geodesic from u to v(u) is tangent to γ. When γ is not differentiable, the geodesic meets γ at an isolated point.
Because our motivation is holographic, it is wise to restore units of length. We denote the asymptotic curvature of the spacetime L. Its magnitude in terms of the Planck length is proportional to the central charge of the dual CFT [32]: In these units, we are looking for the Crofton form ω(u, v) that satisfies for every curve γ on the static slice of the holographic spacetime. The coordinates u and v are related to α and θ by eq. (1.11).

The Crofton form
The correct choice of measure in the space of geodesics will be: Here S(u, v) is the length of the geodesic connecting the boundary pointsθ = u and θ = v on the cutoff surface. When the Ryu-Takayanagi formula applies, S(u, v) is the entanglement entropy of the interval (u, v). We will verify this is the correct measure by substituting a closed convex test curve γ into eq. (1.9). To do so, we need a workable parameterization of γ. In analogy to the function p(θ) in section 1.1, we describe the curve using a function v(u). When the curve γ is differentiable, (u, v(u)) are endpoints of a geodesic tangent to γ; for non-differentiable γ we require that the geodesic connecting u and v(u) intersect γ at an isolated point. See figure 5 for an illustration.

JHEP10(2015)175
With this parameterization of γ, we can perform integral (2.3): (2.5) The explicit limits of integration account for each physical geodesic only once, without regard to orientation; this is corrected by the first factor of 2. The second factor of 2 is the intersection number of the geodesic and curve γ, which follows from assuming that γ is convex.
The right hand side is the well-known differential entropy formula [17] for the length of a closed convex curve: As was first proved in ref. [33], this equation applies in any spacetime satisfying the Ryu-Takayanagi proposal. 4 This establishes eq. (2.3) for closed, convex curves γ. The exercises in the appendices illustrate that its validity extends to nonconvex and open curves. In effect, we have shown that any time-reflection symmetric holographic geometry obeying the Ryu-Takayanagi formula allows us to construct a kinematic space. Its Crofton form is eq. (2.4). This form defines a natural measure on the space of geodesics that traverse the geometry.

Relation to differential entropy
A careful reader will notice that our derivation of ω(u, v) is tantamount to setting where κ is the form 5 integrated in the differential entropy formula: This derivation parallels the way we obtained the flat space Crofton form from eq. (1.2), in which case we had κ = p dθ. Eq. (2.7) makes evident that adding a total derivative term to κ has no effect on ω(u, v). Such total derivative terms have been employed in [17,33] for proving the differential entropy formula and in [35] for accounting for the cutoff dependence of entanglement entropy. This complication drops out of the elegant language of integral geometry. Eq. (2.3) equates the length of a curve with the volume of a region in kinematic space. This region consists of geodesics that intersect the curve. The function v(u) specifies the boundary of this region. 6 Of course, the boundary of the set of geodesics that intersect γ consists of geodesics which barely touch γ. When γ is differentiable, this means the tangent geodesics. 4 For completeness, in appendix A we present a compact general proof of differential entropy in the spirit of [34]. 5 This is the tautological one-form, which serves as the symplectic potential for the symplectic form ω(u, v). 6 The same is true for p(θ) in section 1.1. Figure 6. The Crofton form (2.4) can be interpreted as the conditional mutual information I(A, C|B) of the three intervals shown above. In the bulk it is computed by the four geodesics shown, with the dotted ones counted with negative length.

Conditional mutual information
If we follow the Ryu-Takayanagi proposal and identify S(u, v) with the entanglement entropy of the boundary interval (u, v) then ω(u, v) has a direct interpretation in quantum information theory. It has a definite sign as a consequence of the strong subadditivity of entanglement entropy [36,37]. Usually, the strong subadditivity inequality is stated in the form where A, B, C are three independent subsystems in the Hilbert space. If we choose A, B, C to be the intervals (see figure 6) strong subadditivity mandates that: This shows that strong subadditivity is an essential ingredient for the validity of eq. (2.4).
In its absence, we could not think of ω(u, v) as a density of geodesics whose integrals compute lengths of convex curves. We will see later that strong subadditivity guarantees the positivity of lengths and the triangle inequality in the bulk geometry. A related quantity was considered in [11] and in [38], where it was termed the 'entanglement density'. Read in this way, the integral in eq. (2.3) quantifies an aggregate degree to which a collection of boundary intervals determined by γ fails to saturate strong subadditivity.
Interpreting ω(u, v) as conditional mutual information. Recall the definitions of conditional entropy and mutual information, respectively: In classical terms, the conditional entropy measures a Bayesian reduction in the uncertainty about a composite system AB given the knowledge of its part B. Likewise, the mutual information is a measure of correlations between A and B. In quantum information theory, the conditional entropy acquires a direct operational meaning [39,40]; a related operationalization of eq. (2.6) was given in [41]. We may combine the two concepts to obtain the conditional mutual information:

JHEP10(2015)175
Thus strong subadditivity of entropy is just I(A, C|B) ≥ 0. From a classical point of view, this means that conditioning on larger subsets can only reduce the uncertainty about a system. The strong subadditivity of entanglement entropy is the highly nontrivial extension of this fact to quantum information theory. An operational interpretation of the conditional mutual information was discussed in [42]. Applied to triples listed in (2.10), the nonvanishing of the conditional mutual information gives a definite sign to ω(u, v). In other words, it yields an orientation on the space of geodesics. This accords with the fact that our (u, v)-space is the space of oriented geodesics.
The chain rule for conditional mutual information. Eq. (2.14) identifies the volume of an infinitesimal rectangle with corners at (u, v), (u − du, v), (u − du, v + dv) and (u, v + dv) with the conditional mutual information I(A, C|B) of intervals defined in (2.10). Because volumes are additive, we can integrate the volume element (2.4) to obtain a finite kinematic volume. If our interpretation of ω(u, v) is to be consistent, a similar additive property must hold for conditional mutual information. This is the chain rule for conditional mutual information: If we supplant the choice of A, B, C from eq. (2.10) with then eq. (2.15) is simply the addition of areas of adjacent rectangles in kinematic space. This is shown in the left panel of figure 7. We may now apply the chain rule repeatedly to generate finite size rectangles in K, whose interpretation is in terms of conditional mutual informations of three finite sized, adjacent intervals. The final picture of kinematic space is as shown in the right panel of figure 7. Every rectangle resting on constant u and v axes determines some conditional mutual information.

Causal structure
In the previous subsection we implicitly associated points in kinematic space with intervals on the boundary. For example, eq. (2.10) identified the point (u, v) ∈ K with the interval (u, v) on the cutoff surface. But intervals in one dimension have a partial ordering: one interval may or may not contain another. This means that the kinematic space K is a partially ordered set.
It is handy to encode this partial ordering and the Crofton form (2.4) in a single object -a metric tensor of the form: This metric gives K a causal structure, with u and v playing the role of null coordinates. As we illustrate in figure 8 and explain in more detail below, this causal structure encodes the containment relation among boundary intervals. At the same time, the volume form of metric (2.17) is the Crofton form (2.4).
Timelike separation. Consider two points in K that are timelike separated according to metric (2.17). Suppose (u 2 , v 2 ) is in the future of (u 1 , v 1 ). This means that as intervals on the cutoff surface, (u 1 , v 1 ) ⊂ (u 2 , v 2 ). This is suggestive from an information theoretic perspective: the density matrix of the 'past' interval (u 1 , v 1 ) can be obtained from the density matrix of the 'future' interval (u 2 , v 2 ) by tracing out the complement. The geodesics that correspond to two timelike separated points in K do not intersect. The language of timelike separations clarifies why points in K must be oriented geodesics. Changing the orientation of a geodesic means switching its left and right end-

JHEP10(2015)175
points. Considered as an interval on the cutoff surface, a point in K maps to the complementary interval under orientation reversal. Thus, if one geodesic is in the future of another, the opposite is true for their orientation-reversed counterparts because: If points in K did not carry the information about the orientations of geodesics, it would not be possible to have a globally defined notion of past and future. In closing, we note that the asymptotic past u = v consists of zero-size geodesics, i.e. of points on the cutoff surface. The asymptotic future v = u + 2π comprises almost-360 • geodesics: it consists of almost-complete boundary sets, each of which excludes a single boundary point.
Spacelike separation. When a pair of points are not timelike separated, they are generically spacelike separated. This translates to the statement that considered as boundary intervals, neither one contains the other. In information theoretic terms, it means that unlike the timelike separated case, neither interval contains complete data about the other interval. Consider a pair of spacelike separated points (u 1 , v 1 ) and (u 2 , v 2 ) in K and assume without loss of generality that u 1 < u 2 . There are two possible cases: 1. If v 1 > u 2 , the boundary intervals overlap and the geodesics intersect in the bulk.
2. If v 1 < u 2 , the intervals are disjoint and the geodesics do not intersect.
Null separation. Two null separated geodesics are infinitesimally close to being timelike and spacelike separated. This happens if they have a common left or right endpoint: This is why u and v are null coordinates in metric (2.17). Two null separated geodesics meet, but their intersection lies on the cutoff surface and not in the bulk. As intervals, one necessarily contains the other. These relations are obviously respected by Weyl rescalings of the cutoff surface. Thus, a Weyl rescaling in the field theory induces a Weyl rescaling of the kinematic metric (2.17).
Conditional mutual information. In the causal language the rectangles drawn in figure 7 are causal diamonds. For three adjacent intervals A, B, C, the conditional mutual information I(A, C|B) is the area of a causal diamond in kinematic space. The spacelike separated corners of such a rectangle correspond to the intervals A ∪ B and B ∪ C -the positive terms in eq. (2.9). The timelike separated corners of the same rectangle correspond to the negative terms -the intervals B and A ∪ B ∪ C.

Basic geometric objects in kinematic space
In the previous section we developed a machinery to measure the length of a curve using the lengths of geodesics that intersect it. In this section we explain how this machinery relates to the familiar geometric notions: points, distances and angles.

Points from point-curves
Eq. (2.1) associates a closed convex curve γ in the bulk to a region in kinematic space, which consists of the geodesics that intersect γ. Consider shrinking γ to a single point. The relevant region in kinematic space K undergoes a corresponding shrinkage. When γ becomes a point, the volume of the related region in K vanishes: the region becomes a codimension-1 set, i.e. a curve (see figure 9). We call such a curve a point-curve.
It is easy to understand why the codimension of a point-curve is 1. A point-curve collects those geodesics, which intersect the γ that consists of a single point. Such geodesics are selected by a single algebraic equation.
Knowing the point-curves in kinematic space is tantamount to knowing everything about a two-dimensional geometry. As we explain below, this knowledge automatically gives us a bulk distance function and its attendant geometric objects. From a holographic perspective, it is therefore interesting to understand how to derive point-curves from boundary distances alone -that is, from the knowledge of entanglement entropies in the boundary field theory.
It turns out that solving this problem requires imposing additional assumptions. In appendix B we adopt the most conservative physical assumption: that the bulk geometry be Riemannian. This is a nontrivial assumption, because in general not every distance function on a manifold descends from a Riemannian metric -a symmetric bilinear form on the tangent space. The solution is eq. (B.1) -a differential equation, which may be used iteratively to derive point-curves of points lying deeper in the bulk given the point-curves of points on a cutoff surface.

Distances between points
Given two point-curves p A and p B , how do we compute (A, B), the distance between the two bulk points? To answer this question, we refer to our main result, eq. (2.3). We must identify which geodesics intersect the geodesic segment stretched between A and B. Said differently, we must identify the geodesics that pass between A and B.
The curve p A divides the kinematic space into two regions. In the causal language of section 2.4, they are the past and the future of p A . The future of p A , which we denotep A ,

JHEP10(2015)175
A B Figure 10. The distance between two points is given by the integral of the Crofton form over the region between their two corresponding point-curves. comprises geodesics characterized in the following way: if we deform a geodesic (u, v) ∈p A to its corresponds interval (u, v) on the cutoff surface, we necessarily sweep over the bulk point A. More figuratively but less precisely,p A consists of geodesics, which pass around the point A rather than leaving it outside. This characterization is well-defined, because points in the kinematic space represent oriented geodesics.
Let us assume that all boundary points are connected by single geodesics. The geodesics that contribute to (A, B) in eq. (2.3) are those, which pass around A but leave B outside (or vice versa). As points in K, they are in the future of p A but in the past of p B (or vice versa), i.e. they live in the region between the curves p A and p B . A parsimonious notation for this region is the symmetric difference: Because in this case all the intersection numbers are unity, eq. (2.3) gives the distance function as: This result is illustrated in figure 10.
Boundary points. A point on the cutoff surface can be thought of as a zero-size geodesic whose endpoints are equal. In coordinates, a boundary point A at θ = θ A corresponds in the kinematic space to the point (u, v) = (θ A , θ A ). Such points live on the asymptotic past boundary of K, because as intervals they contain no other intervals. In this way, the boundaries of the bulk space and of kinematic space are identified. The point-curve p A consists of geodesics, which meet at A. When A lives on the cutoff surface, their characterization is simple: they are geodesics which begin or end at A. Thus, p A comprises points in K which have one null coordinate, u or v, in common with A: We recognize p A as the light cone of A. With eq. (3.3) at hand, we can use (3.2) to compute the distance between two boundary points. The regionp A p B consists of two causal diamonds; see figure 11. Their spacelike separated corners are (u, v) = (θ A , θ B ) and (θ B , θ A + 2π), which correspond to both orientations of the geodesic connecting A and B. Their timelike separated corners are (θ A , θ A ) and (θ B , θ B + 2π) (and vice versa), which means that points inp A p B considered as intervals include either A or B but not both. Explicitly computing the integral, we have: Of course, carrying this computation out explicitly was unnecessary. In sections 2.3 and 2.4 we recognized the area of a causal diamond with timelike separated corners at (θ A , θ A ) and (u, v) as the mutual information of intervals (u, θ A ) and (θ A , v). Both rectangular regions in eq. (3.4) fit this template with v = u + 2π and therefore both individually compute mutual informations of complementary intervals (θ A , θ B ) and (θ B , θ A ). Eq. (3.4) states simply: Triangle inequality. It is easy to see that eq. (3.2) is a consistent distance function: The triangle inequality requires slightly more attention. It is a consequence of the settheoretic inequality:p This inequality is easily understood geometrically: if a geodesic intersects the line segment connecting A and C, then it must necessarily intersect either the line segment between A and B or the line segment between B and C.

Curves
A curve γ defines a region K γ ⊂ K, which consists of geodesics that intersect γ. In general K γ must be defined with multiplicity set by the intersection number of the geodesic and JHEP10(2015)175 γ. We can split this characterization up into contributions from individual points that comprise γ. Thus, K γ is simply the union (counted with multiplicity) of the point-curves of all points in γ.
When γ is closed and convex, every geodesic that intersects γ does so at two points. The only exception are the tangent geodesics, but these form a set of measure zero and can be ignored. So we have a simple relation: In this case the entire region counts with multiplicity 2. An interactive demonstration provided in the supplemental material illustrates concretely how to construct the kinematic region for any bulk curve. When a region in kinematic space cannot be built out of a (weighted) union of pointcurves, it fails to define a positive length curve in the bulk. In general, such a region can be understood as a weighted combination of curves, where the weights are allowed to be positive or negative. Such weighted curves may be combined to form other combinations, as is explored in Exercises 6 and 7.

Angles
The angle between two bulk curves intersecting at a point has a simple expression in terms of entanglement entropies. The Riemannian distance function between two points is defined as where X (s) is some path from a to b. Using the Hamilton-Jacobi argument that the variation of a minimized action with respect to a coordinate at its endpoint is given by the conjugate momentum at that endpoint, we obtain ∂ ∂a µ (a, b) = g µν (a)Ĝ ν a→b (3.11) where G ν a→b =X ν ,s a is the unit tangent vector to the geodesic at a. If we now take the derivative in the directionT , we find: Treating a (resp. b) as a coordinate on some bulk curve γ, letT be the tangent vector to γ at a. Then, the right hand side computes the cosine of θ a→b , the angle between γ and the a → b geodesic (see figure 13). Then eq. (3.12) becomes: The factor ∂ ∂a (a,a) on the right sets the normalization ofT . When γ is a cutoff surface in some radial slicing of a holographic geometry, we may use the Ryu-Takayanagi proposal S(a, b) = (a, b)/4G to rewrite this expression in a more physical way. Let us divide the boundary into three regions L, R and δ (see the right panel of figure 13). Then the angle between the geodesic and the cutoff surface can be rewritten as: Of course, in the limit that γ tends to the asymptotic boundary, this quantity vanishes. Using result (3.13), we can compute the geodesic curvature of the cutoff surface. Let us approximate the boundary as a series of points a i connected by geodesic segments. At the point a i there is a deflection angle δθ i between the two geodesics intersecting it. This angle δθ i is just the sum of the two angles δθ L i , δθ R i at which these two geodesics intersect JHEP10(2015)175 Figure 14. The curvature of the cutoff surface can be determined by computing the angle between infinitesimal geodesics and the boundary. the boundary (see figure 14). These two angles are easily computed using eq. (3.13): Expanding in δθ and δa and using the fact ∂ 2 S ∂a∂b (a,a) = 0, we find Finally, we recall that the geodesic curvature is generally defined such that the contribution of a sharp angle φ to the integral k g ds is just φ. Taking the limit δa → 0, we find the geodesic curvature at a: This quantity can be related to the stress tensor of the dual CFT, as explained in [43].

Canonical example: pure AdS 3
We illustrate the material of sections 2 and 3 with the simplest example: the kinematic space of a static slice of pure AdS 3 , i.e. the hyperbolic plane. This example affords an independent derivation of the kinematic space, which starts from:

The hyperboloid model
The hyperbolic plane H 2 with curvature scale L/4G can be constructed as the locus in an auxiliary space with metric: fact [44] is that geodesics on the hyperbolic plane are intersections of (4.1) with hyperplanes through the origin in R 2,1 . The SO(2, 1) symmetry acts on the geodesics by rotating and boosting the normal of a hyperplane in R 2,1 . The construction is illustrated in figure 15. Another locus invariant under the SO(2, 1) symmetry is: The right hand side is chosen with a view to normalization (2.17). This is the twodimensional de Sitter space, dS 2 . The normals of hyperplanes in R 2,1 (projected from the origin) intersect this locus at two points. Thus, there is a canonical identification between geodesics on H 2 and pairs of antipodal points in dS 2 and this identification is invariant under symmetry transformations. Consequently, dS 2 is the kinematic space of the hyperbolic plane. For a given geodesic, the two points in dS 2 correspond to the two orientations of the geodesic. To confirm this, evaluate the metric (2.17) substituting the entanglement entropy of an interval (u, v) in the vacuum of a 1+1-dimensional CFT: We obtain which is the two-dimensional de Sitter space from eq. (4.3). The volume form on this space is ω(u, v), which may be compared with eq. (1.12) from section 1.2. In that section we considered a unitless hyperbolic plane, thereby implicitly setting L/4G = c/6 ≡ 1. Thus, eqs. (1.12) and (4.5) agree.

Point-curves
In section 3.1 we defined point-curves in kinematic space: collections of geodesics that meet at a bulk point. Point-curves of the hyperbolic plane are particularly neat. The

JHEP10(2015)175
reason for their elegant form can be traced to the equivalence of the causal wedge and the entanglement wedge in AdS 3 . Consider the center of the hyperbolic plane in coordinates (1.6). The point-curve of the center consists of all diameters of the hyperbolic plane, that is of points v = u+π. Referring to metric (4.5), we see that this locus is the 'waist' of the contracting-and-expanding de Sitter space. In other words, it is a spacelike geodesic in dS 2 .
We may now apply a boost in the ambient space (4.2) to map the center to any other point on the hyperbolic plane. Such a boost is an isometry of eq. (4.3), so it maps spacelike geodesics to spacelike geodesics. We conclude that every point-curve of the hyperbolic plane is a spacelike geodesic in the kinematic dS 2 .
Two of us previously reported this finding in [35]. An alternative derivation of this fact and its higher-dimensional generalizations, which uses the moving frames formalism, is given in section 2.3.1 of [31]. In coordinates α = (v − u)/2 and θ = (v + u)/2, we may explicitly obtain the point-curves by applying the transformation (D.14)-(D.15) to the point-curve of the center, α = π/2. The result is: where ρ 0 and θ 0 determine the magnitude and direction of the boost. These parameters act as coordinates (1.6) on the hyperbolic plane.

Discussion
The Ryu-Takayanagi proposal highlights an important yet mysterious connection between quantum entanglement and geometry. The strikingly simple encoding of CFT entanglement entropies as bulk geodesics hints at the existence of a novel, promising framework for describing geometry -and maybe even gravitational dynamics -from the perspective of information theory. The Ryu-Takayanagi formula should be read as the first entry in the "dictionary" of such a new formulation of the theory of gravity. There exists, however, a "language barrier," which hinders progress in further extending the translation: traditional general relativity is formulated in the local language of differential geometry whereas the fundamental information theoretic quantities are represented holographically by non-local geometric data. The present paper makes a first step toward bridging this gap.
Kinematic space as a dual geometry. Our goal was to look at geometry with a fresh eye attuned to holography and information theory. We developed a mathematical formalism for understanding the bulk only in terms of boundary data by exploiting results and ideas from the field of integral geometry. Of pivotal importance is kinematic space: the space of all boundary anchored geodesics. When the bulk geometry has no conjugate points, the data contained in the kinematic space is sufficient to reconstruct the bulk. This data consists of the Crofton form (2.4) -an exact 2-form which defines a measure on the space of geodesics -and a partial ordering, which reflects the containment relation among intervals subtended by the bulk geodesics (section 2.4). These structures endow the kinematic space with a preferred Lorentzian metric (2.17); its causal structure geometrizes JHEP10(2015)175 the containment relation. Bulk lengths and geodesic distances obtain a surprisingly simple equivalent description: they correspond to volumes of regions in the auxiliary metric geometry of kinematic space.
Kinematic space as a CFT information geometry. The prime utility of kinematic space, however, lies in the way it marries geometry with information theory. A geometer thinks of kinematic space as the space of geodesics; an information theorist will read it as the space of boundary intervals. From the information theoretic perspective the causal structure of kinematic space means the following: interval B is in the causal past of interval A if the reduced density matrix on B can be obtained from the density matrix on A by partial tracing.
Geometric considerations -requiring that bulk lengths map to volumes in kinematic space -fix the Crofton density (2.4). An information theorist recognizes this volume form -the 'area' of an infinitesimal causal diamond in kinematic space -as the conditional mutual information of three neighboring intervals (section 2.3). This is a highly nontrivial identification. For example, computing the area of a larger causal diamond by integrating the Crofton form translates into assembling the conditional mutual information of three large intervals from smaller components using the chain rule for conditional mutual information (2.15). Similarly, so long as the strong subadditivity inequality I(A, C|B) ≥ 0 is not saturated, the Crofton density remains nondegenerate. In light of this interpretation of the Crofton form, the length of every bulk curve comprises a collection of conditional mutual informations: it is an aggregate measure of how far the infrared degrees of freedom are away from saturating the strong subadditivity of entanglement. Enlarging the kinematic region -that is, collecting more conditional mutual informations -produces longer curves (see Exercises 6 and 7 for an illustration). These statements can be viewed as a generalization of the Ryu-Takayanagi relation.
Relation to MERA. The features of the kinematic space reviewed in the previous paragraphs are reminiscent of the Multi-scale Entanglement Renormalization Ansatz (MERA) network used to approximate ground states of critical systems [20,21]. A key virtue of MERA is that it geometrizes the strong subadditivity inequality. The network contains isometric tensors, which isolate UV degrees of freedom; the (appropriately weighted) number of isometries becomes the conditional mutual information of some three adjacent spatial regions. In effect, the "density of isometries" plays the same role as the Crofton form (2.4) in the kinematic space, albeit in a discrete setting. Other aspects of the kinematic space also find faithful counterparts on the MERA side. For example, the causal structure we defined in section 2.4 mimics the causal cones discussed in the context of MERA e.g. in [45,46]. We will discuss these similarities in detail in an upcoming paper [30]. To whet the reader's appetite, we state here its main point: that MERA should best be thought of as a discretization of the kinematic space rather than of the spatial slice of a dual holographic spacetime as suggested in [18,19]. Note that associating MERA to the metric space (2.17) has a broader scope of applicability, because the latter may be defined entirely in the information theoretic language, without presuming the existence of a holographic dual.

JHEP10(2015)175
Point-curves and sub-AdS locality. We would like to emphasize another aspect of our dual construction, one whose full potential has not yet unfolded in the present work and which deserves further exploration. It is the way in which the kinematic space encodes bulk locality. A key intermediate step in retrieving the bulk geometry from kinematic space is the identification of point-curves, the kinematic avatars of bulk points. We do this in appendix B by demanding that the kinematic formula for the bulk distance function (3.2) come from a Riemannian metric. This requirement, which uniquely determines the pointcurves, is sensitive to the local structure of the bulk geometry. In effect, the point-curves mediate the translation of bulk locality into the language of the boundary theory. This is a hint that integral geometry carries lessons about the emergence of sub-AdS locality. For example, it would be interesting to use integral geometry in order to understand the construction of local bulk operators in the boundary theory as in [47].
A privileged background for CFT?. In the special case of pure AdS 3 we may identify the kinematic space with the asymptotic boundary. The conformal factor from eq. (2.17) arises from approaching the boundary in the de Sitter slicing of AdS 3 . The map between geodesics on a spatial slice of AdS 3 and points in the kinematic space can then be understood in terms of a null sheet projected from the bulk geodesic, which arrives on the asymptotic boundary at a single point. We stress that this way of thinking about the kinematic space does not extend to a more general context. It does, however, raise the question: what happens if we put the CFT on a background metric given by the kinematic metric (2.17)? Perhaps this choice of metric, which is selected based on the state of the CFT, makes some properties of the state manifest?
Relevance to dS/CFT. The kinematic space of the hyperbolic space is the de Sitter geometry. 7 To our knowledge, this fact has not been exploited in studies of the dS/CFT correspondence [48] (but see [49]). It may be worthwhile to reexamine the dS/CFT program from the perspective of integral geometry. This perspective offers new insights: for example, the elliptic de Sitter space discussed in [50] is simply the space of unoriented geodesics. One question of particular interest is the following: What is the meaning of bulk equations of motion in de Sitter gravity when the background de Sitter spacetime is interpreted as the kinematic space of an auxiliary hyperbolic geometry? A Review of differential entropy The differential entropy formula was written down in [17] and developed further in [33][34][35][51][52][53]. Here we present a proof, which is similar to [34].
Let X be a smooth manifold with boundary ∂X. Consider a general reparameterizationinvariant action functional of the form defined for a curve γ : [0, 1] → X. In particular, we require that L not depend on any higher derivatives of γ, and reparameterization-invariance requires that L be homogeneous of degree 1 inγ. The example of most immediate interest is the Riemannian length functional, which via the Ryu-Takayanagi prescription is related to entanglement entropies of boundary intervals. We could also consider alternate entropy functionals for higher-derivative gravity [54]. Reparameterization-invariance implies that the Hamiltonian corresponding to L vanishes, so we may write where p µ = ∂L ∂γ µ is the momentum conjugate to γ µ . This is easily verified for the Riemannian length functional (A.2).
For two points x, y ∈ X, define S (x, y) to be the action of the extremal curve connecting x and y. In the case of the Riemannian length functional (A.2), this is just the usual geodesic distance. 8 We will often refer to S (x, y) as the distance between x and y, even though in general it could have another meaning.

JHEP10(2015)175
Our goal is to compute S [γ] for an arbirary curve γ using only the knowledge of the distance S bdy (x, y) = S (x, y) ∂X between points x, y on the boundary of X. In the context of holographic duality, this corresponds to computing the bulk quantity S [γ] using only boundary data.
Let us assume that for any point y lying on γ, there is some point x ∈ ∂X such that the extremal curve from x to y is tangent to γ at y. 9 Denote by G γ this set of geodesics (x, y) tangent to γ, labeled by their endpoints on ∂X and γ. Without loss of generality, we can assume that γ is closed; if not, consider the curve following γ forwards then backwards. Then G γ is also a closed curve in ∂X × X.
Consider the exterior derivative of S, and integrate both sides over G γ . Since G γ is closed, the first term integrates to zero: Using the standard Hamilton-Jacobi argument, we find that the variation of S with respect to its endpoint coordinate is given by the conjugate momentum at that endpoint: The tangency of the x → y geodesic to γ guarantees that this momentum is the same as we would have obtained varying S[γ]. 10 The integral of the second term in (A.4) then becomes: Lastly, define the setG γ ⊂ ∂X × ∂X, which is obtained from G γ by extending each extremal curve to the boundary. The same Hamilton-Jacobi argument (A.6) tells us that ∂S ∂x µ Gγ = ∂S ∂x µ G γ . Since S G γ is a subset of the boundary data we have access to, and we only take its derivative in directions along the boundary, we can now compute S [γ] in terms of boundary data: This is the differential entropy formula. Referring back to eq. (A.4), we recognize that it arises from applying integration by parts to an ordinary Riemannian length integral. tangent to γ is nonminimal, additional boundary data about lengths of nonminimal geodesics [53] is required to determine the length of γ. 10 In fact, we only require that pµdy µ take the correct value. For the pseudo-Riemannian length functional, we have pµ = gµνT ν , whereT ν is the unit tangent vector to the geodesic at its endpoint. Hence, we are free to add a null vector to T ν so long as it has zero dot product with T ν . See [33] for a more detailed discussion of this "null vector alignment" condition.

JHEP10(2015)175
In two dimensions, we have the familiar differential entropy formula: When S[γ] = [γ] is the Riemannian length functional, applying the Hamilton-Jacobi equation again as in eq. (3.13) yields a simple but surprising geometric identity: [γ] = ∂X ds cos θ bdy (s) (A.10) Here ds is the proper length along ∂X and θ bdy is the angle at which the geodesic tangent to γ hits the boundary. When ∂X is the asymptotic boundary, the cosine vanishes but the range of integration over s is infinite. Defining the right hand side of (A.10) via the limit as ∂X is sent to the asymptotic boundary recovers the correct, finite length of γ.

B Point-curves and bulk reconstruction
In section 3 we showed how to use the Crofton formula on kinematic space to describe the holographic bulk geometry using entanglement entropies. The fundamental objects in this description are the point-curves, which identify a bulk point in a gauge-invariant way by the collection of geodesics that pass through it (see figure 9). When the bulk geometry is known, it is trivial to find the point-curves. The goal of this appendix is to determine the point-curves using only boundary data. We restrict ourselves to the case where the Ryu-Takayanagi formula computes lengths of geodesics and receives no quantum corrections; higher curvature or higher-derivative gravity theories will require more analysis. When the geometry contains nonminimal geodesics, our method will require a generalization along the lines of [35,53].
Refs. [56][57][58] gave another algorithm for recovering non-trivial components of the metric in symmetric setups from analytic properties of field theory quantities, including entanglement entropies. The results of the present appendix are complementary to that development: they highlight the information-theoretic structure underlying the organization of the bulk and can accommodate less symmetric inputs. Other recent work on bulk reconstruction includes [59][60][61][62].
We start by discussing boundary rigidity theorems, which motivate imposing a Riemannian condition. We then show how imposing this condition leads to a method for determining the point-curves from boundary data. To test the method, we apply it in the case of a rotation-symmetric bulk and confirm that it yields the same results as does integrating the geodesic equations.

B.1 Boundary rigidity
The ability to reconstruct Riemannian manifolds from boundary-to-boundary distances, a question first posed by Michel [63], has been explored significanly in the mathematical literature. Pestov and Uhlmann [64] proved that the metric structure of a two-dimensional, compact, simply connected Riemannian manifold with convex boundary and with no conjugate points is uniquely determined (up to diffeomorphism) by the lengths of boundary-toboundary geodesics. This is known as boundary distance rigidity. Some of these restrictions can be dropped with access to nonminimal geodesics (i.e. entwinement [53]). Our work will not make use of these theorems, but they provide useful information on when bulk reconstruction is possible [28]. Given the rigidity theorem, we expect that point-curves should be determined from boundary data in many cases by demanding that the distance function on the manifold descend from a Riemannian metric. Indeed, this condition severely constrains the pointcurves. When varying the endpoints of the geodesics on the boundary sweeps the whole tangent space of every point, this procedure fixes the point-curves completely.

B.2 Riemannian condition
We take an iterative approach and assume that we already know the point-curves of all points, which live on some given cutoff surface. Using this initial data we compute the point-curves lying on a new cutoff surface, which lies deeper in the bulk.
Consider a two-dimensional Riemannian manifold X. The point-curve of every point lying on the cutoff surface ∂X is already known to be a light cone in kinematic space (see section 3.2). Now suppose we have already constructed the point-curves for some cutoff surface B in the bulk. This is the initial data that seeds our construction. Note that we already know the distances between points on ∂X and B from eq. (3.2).
Choose some point a ∈ B on the current cutoff surface. This point has an associated point-curve v a (u). In order to find the point-curve for a deeper point a + δa, we would like to compute the quantity ∇ a v a (u). We already know the value ofT · ∇ a v a (u), whereT is the tangent vector to the surface B at a, so what we need to compute is the component R · ∇ a v a (u), whereR is the normal vector to B, pointing inward from a.
To start, consider the vector ∇ a (u, a) for a given u. As shown in section 3.4, this is just the unit tangent vectorĜ pointing along the geodesic from u to a (see figure 16). It is perpendicular to ∇ a v a (u) since moving a along the geodesic from u to v a (u) does not change the endpoint v. This gives the result

JHEP10(2015)175
where cos φ =Ĝ ·T = ∂ (u,a) ∂a µ ·T µ (see figure 16). Since cos φ andT · ∇ a v a (u) can both be computed already, this gives us access to the full vector ∇ a v a (u). In principle this equation is enough to construct the full bulk geometry.

B.3 Rotationally symmetric bulk
We would like to apply eq. (B.1) to a rotationally symmetric manifold. We restrict our attention to the case without nonminimal geodesics. Define the metric to be and consider a cutoff surface at ρ = ρ UV . Here C (ρ) denotes the circumference of a centered circle with radius ρ.
In the presence of rotational symmetry it is convenient to parameterize the space of geodesics using the coordinates (α, θ), the opening angle and the angular coordinate of the center (see figure 4). We write the length of a geodesic as (α) and instead of expressing a point-curve as a function v (u) we use α (θ). Writing eq. (B.1) in these coordinates, we have: Now symmetry requires that α (ρ,θ 0 ) (θ) = α (ρ,0) (θ − θ 0 ), so we only need to find a oneparameter family of point-curves, the function α ρ (θ), to construct the geometry. In addition, the angle formula simplifies to which can be seen either from eq. (3.13) or from (A.10). If we choose the minimum of α ρ (θ) to be at θ = 0, we can replace C (ρ) = π d dα αρ(0) . This yields the point-curve equation: This is a first-order equation in ρ. It can be solved subject to the boundary condition α ρ UV (θ) = cos −1 (cos θ) = |θ|, the light-cone curves of section 3.2.
Eq. (B.5) takes a simpler form if we change variables from α, an explicitly UV quantity, to the IR quantity π (α), the signed circumference of the circle which is the outer envelope of all α-sized geodesics. Defining c ρ (θ) = π (α ρ (θ)), we have Note that all explicit dependence on boundary data (α) has vanished. This data has been shifted to the boundary conditions, which now take the form c ρ UV (θ) = π (|θ|)). Figure 17. A closed convex bulk curve γ with a (timelike) family of intersecting geodesics with a common center (left) and a (spacelike) family of geodesics tangent to it (center). The full set of geodesics that intersect γ forms the shaded region in kinematic space (right). The timelike family from the left panel is shown with solid red arrows while the spacelike family of tangent geodesics, which forms the boundary of the requisite kinematic region, is shown with blue dotted arrows. Stokes' theorem relates the length of the curve to the differential entropy over this boundary of the region, with the orientation given by the blue dotted arrows. All arrows are shown together with their Z 2 -related partners.

JHEP10(2015)175
The geodesic equation for θ (ρ) in geometry (B.2) can be written as: Here ρ 0 is the deepest point of the geodesic. The equivalence of the right side with that of (B.6) is immediate with the identifications C (ρ) = c ρ (0) and C (ρ 0 ) = c ρ (θ). The left sides both equal C(ρ) 2π cot φ (see figure 16, where ∇ a c ρ (θ) takes the place of ∇ a v a (u)). Thus, our procedure has the effect of iteratively solving the geodesic equations from the boundary to find the point-curves.

C Curves in kinematic space
This appendix explains how to translate between bulk curves and regions in kinematic space. We begin with the simplest case of closed convex curves and then move on to nonconvex and open curves. A general region in kinematic space corresponds to a weighted combination of curves, possibly with negative coefficients.

C.1 Closed convex curves
We will make use of the (α, θ) parametrization of kinematic space (see figure 4). Consider a closed convex bulk curve γ. What is the region in kinematic space whose volume computes the length of this curve? Eq. (2.3) gives the answer: this region consists of geodesics that intersect γ. It is bounded by the family of geodesics that are tangent to γ.
Let us elaborate. Any geodesic segment that connects 2 points along a convex curve is fully enclosed by the curve. As a result, a geodesic intersects a closed convex curve at most at two points. The geodesics intersecting it exactly once belong in the family of tangent JHEP10(2015)175 Figure 18. Left: The kinematic region for the curve shown on the right. The boundary of the region, shown in green, is the set of geodesics tangent to the curve's convex hull. Some tangent geodesics, shown in purple, also intersect the curve. The light and dark shaded regions correspond to geodesics that intersect the curve 2 and 4 times, respectively. Right: A nonconvex curve in hyperbolic space. Geodesics shown in dashed green are tangent to its convex hull. Light and dark geodesics that intersect the curve live in light and dark shaded regions on the left. geodesics, a lower dimension set. For each angle θ there are 2 tangent geodesics: α lower (θ) and α upper (θ). All geodesics centered at θ with opening angle smaller than α lower (θ) or larger than α upper (θ) lie completely outside the curve of interest while the ones with opening angle in the interval (α lower (θ), α upper (θ)) intersect it twice ( figure 17). Therefore, the kinematic volume dual to a curve is bounded by the family of tangent geodesics.
The upper and lower boundaries of this kinematic region, however, are related by the Z 2 symmetry of kinematic space: The symmetry arises from the reversal of a geodesic's orientation, which corresponds to taking the complement of each boundary interval. Namely, the same geodesic can either be treated as centered at θ with opening angle α or -with opposite orientation -as centered at θ + π with opening angle π − α. This symmetry relates the upper and lower boundaries of the kinematic region corresponding to γ: As a consequence, the said region is invariant under the Z 2 transformation.

C.2 Concave and open curves
What is different in the dual description of a concave curve? There are two modifications: 1) the number of intersection points of a geodesic with the curve can be larger than two, and consequently, 2) some tangent geodesics are not on the boundary of the dual kinematic region, because they intersect the curve at other points. An example of a closed bulk curve along with its dual kinematic region is shown in figure 18. There are two types of regions in the kinematic strip: light-colored regions that correspond to geodesics with 2 intersection points with the bulk curve and darkcolored regions that correspond to geodesics with 4 intersection points. These are in direct correspondence to the coloring of the bulk geodesics that intersect the curve shown in the left panel of figure 18.

JHEP10(2015)175
If the kinematic region dual to a concave curve is not bounded by the tangent geodesics, then what determines its boundary (thick green line in figure 18)? The answer is the geodesics tangent to the convex hull of the concave curve. All geodesics that intersect the convex hull of a curve also intersect the curve itself, and vice versa. The only difference is the multiplicity of intersections. All geodesics will intersect the convex hull at most twice as discussed above, but higher multiplicities will occur for subset of these geodesics in the case of a concave curve. Thus, if we count all kinematic regions with multiplicity 2, we obtain the dual of a curve's convex hull.
The discussion above immediately extends to open curves (see figure 19). This can be seen by viewing an open curve as a closed curve, which turns around and retracts its path back to the starting point. Geodesics intersecting an open curve an odd number of times pass between the two endpoints and must intersect the geodesic connecting the endpoints. Hence, as in figure

C.3 Signed lengths of bulk curves
So far we have discussed how bulk curves are represented as regions in kinematic space. We now discuss the inverse "boundary-to-bulk" problem of finding the bulk curve corresponding to an arbitrary kinematic region (see [33,34] for a detailed discussion in the language of differential entropy). We will see here that a general kinematic region corresponds not to a simple bulk curve of positive length, but a collection of curves with signed weight.
A necessary condition for a kinematic region to correspond to a simple bulk curve is that it be invariant under the Z 2 symmetry (C.1). In other words, the intersection number between a geodesic and a curve is independent of the orientation of that geodesic. However, this condition is not sufficient; see figure 20 for a simple example. If the full strip between the outer blue lines had been included, it would correspond to a closed convex bulk curve. The removal of the inner strip corresponds to the subtraction of an additional curve, the inner circle in figure 20. Figure 6 instantiates the same conclusion: a u, v rectangle in kinematic space corresponds to four geodesics, weighted so as to compute the conditional mutual information of three neighboring intervals.
We would like to state sufficient conditions for a kinematic region to correspond to a positive-length bulk curve. The answer comes from eq. (3.9): the kinematic region must be a weighted union of point-curves. Based on section C.1, this condition can be restated as follows: a given kinematic region is dual to a positive length bulk curve if and only if all the point-curves tangent to the region's boundaries are fully included in the region. This clarifies why the kinematic strip considered in figure 20 does not define a single bulk curve with constant positive weight: all point-curves tangent to the lower (blue) boundary of the region (dashed blue curves) are only partially contained in the region whereas all point-curves tangent to the red boundary lie completely outside it.

Solution 1.
To start, we find a coordinate representation of γ in terms of p(θ). When a straight line (1.1) is tangent to γ at a point with coordinates (x, y), then dx/dθ = dy/dθ = 0. Therefore, differentiating eq. (1.1) gives: − x sin θ + y cos θ − dp/dθ = 0 . (x, y) = p cos θ − (dp/dθ) sin θ, p sin θ + (dp/dθ) cos θ (D.2) Differentiating (D.2) with respect to θ, we obtain the length element along the curve γ: Because γ is assumed closed, smooth and convex, the polar angle of its normal vector, θ, sweeps the values from 0 to 2π. Therefore the circumference of γ can be written as: circumference of γ = ds = The term involving d 2 p/dθ 2 drops out, because it is a total derivative. The last step follows from integration by parts.
Exercise 6 (Weighted combinations of curves). Figure 21 shows a concave bulk curve and its corresponding kinematic region. What (weighted) bulk curves correspond to the regions A and B in the right panel?  Figure 22. Answers to Exercise 6; see text. Both answers are differences of two curves. The positive-weight segments are shown in continuous blue while the negative-weight segments are displayed in dashed red. The circular shape is the geodesic, which closes the convex cover of the initial bulk curve.

Solution 6.
The answer is shown in figure 22. To understand it, start with the kinematic region in the middle panel of figure 21. If we subtract region A from it, we end up counting every intersecting geodesic with multiplicity 1, which produces the convex cover of the bulk curve (see appendix C.2). Thus, region A corresponds to the difference between the given curve and its convex cover, which is shown on the left of figure 22.
If we then add region B, we will obtain a kinematic region with a 'horizontal' boundary. This corresponds to a bulk curve at a constant radial coordinate. The difference between that and the convex cover of the original curve is shown in the right panel of figure 22.

Solution 7.
In u, v-coordinates (viz. eq. 1.11) the integral becomes: The three terms on the right hand side compute lengths of the bulk curves shown in figure 23. The first term is minus the geodesic from u = −α 0 to v = α 0 . The other two terms compute the length of the outer envelope of all geodesics of opening angle α 1 , which 'fit in between' u = −α 0 and v = α 0 . Specifically, the last term is the differential entropy of the open bulk curve that joins the deepest points of these geodesics. Thus, the volume of our kinematic triangle again computes the difference of the lengths of two bulk curves. Both the positive-weight and the negative-weight contributions are infinite, but the difference is finite. Geometrically, the triangle comprises those geodesics, which intersect the blue curve in figure 23 but do not reach the α 0 -sized red geodesic. All intersection numbers are 1.

JHEP10(2015)175
Α 0 Α 1 Figure 23. Answer to Exercise 7: the combination of bulk curves, whose signed length is computed by the color-coded eq. (D.17). The positive contribution (the outer envelope of α 1 -sized geodesics) is shown in continuous blue while the negative contribution (an α 0 -sized geodesic) is displayed in dashed red. The last term in eq. (D.17) is the differential entropy formula of the bulk curve that joins the deepest points of the α 1 -sized geodesics; it is marked thicker.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.