Bit Threads in Higher Curvature Gravity

We generalize holographic bit threads to bulk theories with a gravitational action containing higher-curvature terms. Bit threads are a reformulation of holographic entanglement entropy, where the entropy is given by the maximum number of threads emanating from a boundary region into the bulk. We show that the addition of higher-curvature terms adds corrections to the bit thread thickness that depend on the local geometry and thread orientation. Two different methods are given: determination of the density bound by requiring the maximum number of threads through a given surface to reproduce the entanglement entropy functional on that surface, and application of Lagrange dualization. The results of the two methods are applied to Gauss-Bonnet gravity as the simplest non-trivial example.


Introduction
Holographic entanglement entropy (HEE) has had a profound impact on our understanding of quantum gravity, by directly connecting quantum information and geometry. According to the Ryu-Takayanagi (RT) formula [1], the entropy of a boundary region A is given by the area of the minimal-area bulk surface homologous to A: Bit threads [2] are a reformulation of the RT formula introduced to address some of the conceptual issues arising from the RT formula. To understand them, one first defines a flow, a vector field v satisfying ∇ µ v µ = 0, |v| ≤ 1 everywhere. A consequence of the divergencelessness is that the flux of v through A equals the flux through any surface homologous to A. Maximizing the flux picks out the minimal surface as the "bottleneck", on which the norm bound is saturated, giving a flux equal to the minimal surface area. A

JHEP11(2018)168
simple analogy is determining the size of a water pipe's bottleneck by maximizing the flow through one end. Mathematically, this is expressed in the max flow-min cut theorem, Based on this theorem, we can rewrite the RT formula as A bit thread is an integral curve of v. The threads are chosen as a subset of the integral curves with transverse density equal to |v|/4G N ; effectively, each thread has crosssectional area 4G N . The fact that threads have thickness and cannot intersect then gives an interpretation to the vector field norm bound: there is a limit to how closely the threads can be packed together. For configurations that maximize the number of threads out of A, the threads are maximally packed on and directionally normal to the minimal surface, which acts as a bottleneck. There is a redundancy in which discrete members in the continuous family of integral curves are given a cross-sectional area and called bit threads. At AdS scales the bit thread number density is of the order N 2 , so the discrete family of bit threads is indistinguishable from the continuous family of integral curves, and the terms "bit thread" and "flow" can be used interchangeably. The maximum number of threads that can be placed on A gives the entanglement entropy, as if each bit thread connected an EPR pair of qubits between A and its complement region A c ; bit threads are thus a layer of quantum information theoretic interpretation on top of the vector field v. Unlike the minimal surface, the bit thread configuration changes continuously under continuous deformations of the region A. Furthermore, they allow for very natural expressions for important information-theoretic quantities such as the conditional entropy, mutual information, and conditional mutual information. They also provide proofs of important properties like subadditivity and strong subadditivity that correspond directly to the information-theoretic meaning of these properties.
The RT formula (1.1), and therefore the bit-thread formula (1.3), requires the bulk theory and state to obey a particular set of conditions, including being in the classical limit (large-N limit of the field theory), governed by Einstein gravity (strong-coupling limit of the field theory), and in a state possessing a time-reflection symmetry. It is by now more or less understood how to relax each of these conditions on the RT formula. If the bit threads indeed have a fundamental physical significance -as opposed to being just a mathematical artifact of the simplicity of the RT formula -then it should be possible to relax these conditions for the bit threads as well.
In this paper, we will take up this challenge by exploring how to relax one of the above conditions, namely the assumption that the bulk is described by Einstein gravity. In other words, we will show how to formulate bit threads when the bulk gravitational action includes higher-curvature terms. This is equivalent to moving away from the strong-coupling limit in the boundary theory. For work on black-hole entropy and HEE in higher-curvature gravity theories see [3][4][5][6][7][8][9][10][11][12][13]. The original bit thread paper [2] discussed one possible way JHEP11(2018)168 to generalize bit threads to higher-curvature gravity, by employing a conjectural generalization of the Weyl law for the spectrum of the scalar Laplacian to vector fields. In this paper, we will take a more direct approach.
In higher-curvature theories, the right-hand side of the RT formula is corrected by the minimum of a local geometrical functional of the surface: where λ is a small parameter andÃ is a function of the intrinsic and extrinsic geometry and the ambient metric [11]. For example, the simplest example of a higher curvature correction is for Gauss-Bonnet gravity, where λ is the coefficient of the Gauss-Bonnet term in the gravitational action andÃ is the scalar curvature of the induced metric on m [14,15]. In order to generalize the bit threads to higher curvature gravity, we need to find a generalization of the max flow-min cut theorem (1.2) in which the area functional is replaced by a λ and the right-hand side is corrected in an appropriate way. The right-hand side involves three ingredients: the objective to be maximized A √ hn µ v µ , the divergencelessness condition ∇ µ v µ = 0, and the norm bound |v| ≤ 1. We will find that the λÃ correction can be accounted for by correcting just the norm bound, replacing |v| ≤ 1 with leaving both the divergencelessness condition and the objective untouched. Here F λ can depend on both v and its derivatives.
The constant λ will always be considered to be perturbatively small, allowing both the flow v µ and the norm bound to be expressed as perturbative expansions. Thus we will write (1.6) We will compute the functions f 1 and f 2 . Although the entropy functional (1.4) has no order-λ 2 term, it turns out that such a term is necessary in the norm bound. The reason is that maximizing the flux subject to a norm bound with a first-order correction leads to a second-order term in the flux, which must then be cancelled with an explicit second-order correction to the norm bound. Our general result can be found in subsection 2.5, and its application to Gauss-Bonnet gravity in eq. (2.92). We derive our results by two different methods. The first, which we call the bottleneck method, is described in section 2. It asks what the norm bound needs to be such that the maximum flux of a vector field defined on a given surface m equals a λ (m). This implies that, for any m ∼ A, a λ (m) bounds the flux through A of any divergenceless vector field. The tightest bound is A v ≤ min m∼A a λ (m). We then ask whether this inequality can be saturated, in other words whether a vector field defined on the minimizing surface and satisfying the norm bound can be extended to one that is defined everywhere in the space while respecting the divergenceless condition and the norm bound. This issue is nontrivial, and discussed in detail. The bottleneck method is general enough that it can in JHEP11(2018)168 principle be used to write any higher-curvature HEE prescription in an equivalent bitthread formulation. We apply the bottleneck method to the specific case of Gauss-Bonnet (GB) gravity and discuss how to incorporate the accompanying Gibbons-Hawking-York (GHY) boundary term. The second method, described in section 3, applies the machinery of Lagrange dualization of convex programs to the corrected min cut problem. This method is more straightforward, but it requires the corrected min cut problem to define a convex program, which is only true under restrictive assumptions, either when the minimal area surface has a high degree of symmetry orÃ has a particularly simple form. The bottleneck method on the other hand is always valid. For GB HEE both methods are valid when considering boundaryless bulk entangling surfaces without extrinsic curvature. Despite the limited applicability of Lagrange dualization to our problem, we include it because it is a non-trivial self-consistency check in results. In section 4, we consider cases where the norm bound is a function purely of flow direction from the viewpoint of bit threads.

Bottleneck method
In this section we explain the bottleneck method and use it to derive the norm bound corrections.

Method
We will retain, from the max flow-min cut theorem, the objective A v as well as the divergenceless constraint ∇ µ v µ = 0. As a result, we still have, for any surface m homologous to A, so we can measure the flux through any m. Let m * λ be the surface that minimizes the functional a λ whose minimum gives S(A) in the corrected RT formula (1.4). We wish to find a norm bound |v| ≤ F λ (2.2) such that the maximum flux equals with λÃ the perturbative correction to the HEE area functional. This is not a trivial task because F λ is not allowed to depend explicitly on m * λ , only on v and the local geometry since the norm bound (2.2) will be imposed everywhere without reference to any particular surface.
Let us fix a surface m homologous to A, and further restrict m to be perturbatively close to the λ = 0 RT surface m * 0 . To see that this restriction does not exclude any potential bottlenecks, note that corrections to the flow must be perturbatively small, so the position where the bit threads are maximally packed can only move a perturbatively small distance, assuming no flat directions in the position of the RT surface. A useful property of minimal JHEP11(2018)168 area surfaces such as m * 0 is that K the trace of the extrinsic curvature vanishes. This implies, since m is perturbatively close to m * 0 , We will do a local analysis on m, thus in this subsection the vector field v is defined only on m and its neighborhood. Only when it is established that the norm bound we derive has flow solutions that do not violate it in the neighborhood of m, will v be extended off the surface onto the entire time slice. We will derive a norm bound of the form (2.2) such that Separating v into its norm |v| and directionv, the flux is with u the unit normal on m. To maximize the flux for a given direction fieldv (assuming u µv µ ≥ 0, as it will be) corresponding to a fixed orientation of the bit threads on m, the threads should clearly be maximally packed, saturating the norm bound such that so what we want to maximize and match is In subsection 2.2, we will find the conditions on the maximizing vector field and the surface m such that the vector field can be extended off of that surface while respecting both the divergencelessness constraint and the norm bound. In subsection 2.3 we derive some useful perturbative expansions in λ, and in 2.4 we will find a suitable F λ by first considering the vector field v on m, and requiring that (2.3) hold. This establishes as the maximum flux from A is bounded by the maximum flux through the bottleneck, which when (2.3) holds is also the surface that minimizes a λ (m). In this section Gaussian normal coordinates (GNC) will sometimes be used, with the notation (2.10) Thus v z is the component of v normal to hypersurfaces of constant z, and v i the tangential components. We take m to be the surface with z = 0.

Obstruction equations
The flux A v through the boundary subregion A is equal to the flux m v through any surface m homologous to A, from the divergenceless condition on v and Stoke's theorem. This is assuming there is no obstruction to the flow, that is, given some v on m, it is possible to extend v from m to the boundary (A ∪ A c ) without anywhere violating the norm bound. For λ = 0, this is true by the MFMC theorem. We would like to know whether for λ = 0 this holds true, or whether the maximally packed threads will inevitably collide. Away from the bottlenecks the bit threads are far from maximally packed; stopping them from running into each other and violating the norm bound is simple, as there is a lot of space for maneuvering. On the minimal surface however, the threads are maximally packed and their directionality fixed; there is no choice on how to orient the threads in order to stop them colliding, so just off the surface is the most likely place for the norm bound to be violated.
Let us calculate the necessary condition for the threads not to collide off a surface m, given that the norm bound on v is saturated on that surface If the difference between the norm bound and F λ [v] is anywhere positive, on or off the surface, then the norm bound has been violated. Assuming the flow to be smooth, the norm bound must be saturated to linear order in distance from m which may be written as To quadratic order in distance from m the non-violation of the norm bound is expressed as a bound on the second normal derivative which may be written as

Perturbative expansions of the flow
Here we introduce our notation for keeping track of λ dependence, and derive useful perturbative expansions of the flow. The bulk geometry is a solution to the Einstein's field equations with higher curvature corrections, so has dependence on λ. The flow solution which maximizes the flux also depends on λ. In perturbative expansions care must be taken to keep track of the perturbative order of every term. The norm bound is expanded While v n has no λ dependence, f n [v] does. For other quantities, perturbative expansions in λ use (n) to denote the nth order in the expansion. In our notation, by definition a quantity with a (n) superscript never has λ dependence. For example, the metric we expand as In GNC the zz component of the metric is exactly 1 by definition, while the tangential components do have λ dependence with g is the induced metric on m. In our notation the only quantities without a (n) superscript which do not have λ dependence are v n and quantities which we have explicitly shown and stated to have no λ dependence. A useful simplification is made using a result from the zeroth-order RT bit threads, that the maximizing flow on the minimal area surface equals the unit normal, v 0 | m * 0 = u. As m * 0 and m are perturbatively close, v will still be normal to m at zeroth-order and so v 0 | m = u, (2.21) which in turn implies that |v 0 | has no λ dependence as (2.23) v 0 and |v 0 | do not have λ dependence, so neither doesv 0 or the projection tensor Taking the norm of v and perturbatively expanding gives

JHEP11(2018)168
When |v| saturates its norm bound, we can use the results derived so far to perturbatively expand both sides of (2.7), finding We only need the normal component ofv for our procedure; see equation (2.8). On m this isv Before proceeding with the maximization of the flux order by order in λ, note that while √g has a λ expansion it is common to both the area functional and flux sides of (2.8) and so is a spectator; while not left out, it will be ignored.

Maximization of flux
In this subsection we maximize the flux order by order in λ, making use of the perturbative expansions (2.25) and (2.29), and evaluate the obstruction equations (2.13) and (2.15), in order to determine F λ [v]. At each order in λ, there are three pieces of information that can be used to constrain v on and off m, 1. The norm bound |v| is saturated on m.
2. The directionv is such that the flux through m is maximized.

The norm bound cannot be violated anywhere off m.
Information that can be found about f n or v n at a given order in λ can be used at higher-order.
Zeroth order. Norm bound: the norm bound to zeroth-order is which given the zeroth order norm bound (2.30) is maximized when

JHEP11(2018)168
As stated earlier this is a known result from RT bit threads, derived here using the novel bottleneck method.
That v 0 = u on m allows us to replace v 0 with u in functionals which do not contain derivatives perpendicular to the surface, for example k ij [v 0 ] = K ij . Those normal derivatives are thus far unconstrained, for example v i 0 on m is known, while ∂ z v i 0 is not. Linear obstruction equation: the zeroth-order of the linear obstruction equation is From this we can show that the trace of the extrinsic curvature on m must vanish to zeroth-order, using That the zeroth-order component in the trace of the extrinsic curvature vanishes is thus a no-obstruction constraint on m. This is consistent with the restriction made earlier that m be perturbatively close to a minimal area RT surface. For RT bit threads this is a known result, that it is not possible to extend bit threads off a surface on which the threads are maximally packed without violating the norm bound, unless it is a RT surface, with K = 0. Quadratic obstruction equation: the zeroth order in the quadratic obstruction equation (2.15) is where the last line follows from Note that in expressions of the form (. . .) (0) , v can be replaced with v 0 and vice versa. The bound (2.36) is a constraint on how v 0 changes off the surface, and the max-flowmin-cut theorem states that for all minimal area surfaces with K (0) = 0 there is always an obstructionless flow v 0 , and hence the above constraint inequality places no further condition on m at this order. If at higher orders we need to maximize flux over ∇ z v i 0 then this inequality will be important, but we will see at second order how the dependence of flux on ∇ z v i 0 can be removed with a suitable choice for First order. Flux: the flux to first order in λ is Comparing this to the first-order term in a λ (m) implies

JHEP11(2018)168
Norm bound: the norm bound saturation (2.26) on m to first order is however the tangential components of v 1 are undetermined at this order. Linear obstruction equation: the first-order in the linear obstruction equation (2.13) is where we have used ∂ z v z 0 = 0 on m. Quadratic obstruction equation: the first order of the quadratic obstruction equation does not have any impact on our flux maximization, more details are given in appendix A.
Second order. Flux: the flux to second order in λ is We will maximize this contribution to the flux with respect to v 1 , so it is important to know the v 1 dependence of each term, to this end in the last line we separated (f 1 [v]) (1) into terms containing only v 0 , and those exactly linear in v 1 . Suppose we took the functionalÃ[u] and replaced u withv. Let us call that functional a [v]. Asv 0 = u on m, andÃ contains only derivatives projected tangentially to the surface we haveã If we choose f 1 to equalã then we have (2.44) and the correction to the HEE surface functional is captured to all orders in λ. There is still work to do however as there are terms left over in the second order flux, which as everything in the HEE functional has been accounted for must equal zero. These additional terms come from the flow being perfectly normal to m, only to zeroth order in λ, the higher order corrections to the norm bound (f 2 and above) exist to cancel overcorrections to the flux. We would like to keep f 1 as general as possible, so note that we can add to be obstructionless. p n are unfixed functions. v µ ∂ µ |v| measures change in bit thread number density tangential to the flow. The first order correction to the norm bound thus has two components, one which captures the surface functional correctionÃ, and the other which ensures flow is obstructionless. Let us return to the second order flux and calculate the contribution from f 1b , To reach the last line we have used the first order linear obstruction constraint Now let us calculate the contribution to the second order flux from (ã (1) . As we will be performing a functional variation around v = v 0 , we need to understand what derivative terms of v can appear. As derivatives of u inÃ must be projected tangential to m, all derivative terms ofv inã[v] must be projected onto the normal subspace of v. A consequence of this is that terms involving the normal derivatives of v vanish at zeroth order, for example, suppose thatã[v] is the trace of the extrinsic curvature then terms such as This leaves just derivatives tangential to m, which can be integrated by parts to strip off all the derivatives acting on v 1 , in a fashion similar to the derivation of the Euler-Lagrange equation. The contribution fromã is with the definition Let us assume that the boundary terms vanish. We will explicitly show they do for GB HEE.
As v 0 =v 0 on m, we could have replaced any of thev 0 terms inã[v 0 ] with v 0 . Then there would be additional terms in the second order flux involving v 0 and v z 1 =Ã (0) . As functions purely of v 0 such as these are easily removed with a suitable choice for f 2 , as we will see, we are in effect only shuffling terms between f 1 and f 2 and nothing is lost by taking a to be purely a function of the direction fieldv. Substituting both the contributions from a and f 1b into the second order flux gives For now we will assume there is no constraint on v i 1 from the obstruction equations, maximize the second order flux with respect to v i 1 , then find a p 1 [v] such that the obstruction equation is satisfied for this maximizing value of for which the second order flux is To determine f 2 we equate this with the second order of a λ (m), .

(2.57)
While this does not fully determine f 2 , since we will not continue to third-order in λ any choice satisfying the above constraint is adequate for our purposes, so let us take the simplest, defined over the extended flow domain To determine p 1 , we return to the first order linear obstruction equation (2.41), (2.59)

JHEP11(2018)168
where we have used the divergencelessness of v to relate ∇ z v z 1 to derivatives tangential to m, .

(2.61)
and define p 1 [v] such that it evaluates to this on m, then no matter what values the unconstrained components of the flow take there is no obstruction to the flow, at first order in λ and first order in distance from m. We were free to choose any function for p 1 , however besides the special choice given above, (2.59) gives a constraint on v i 1 in terms of ∂ z v 0i and whatever other unconstrained derivatives of v 0 appear in the choice for (p 1 [v]) (0) , and this constraint needs to be imposed when maximizing the second order flux with respect to v i 1 . The above choice for p 1 is merely the most convenient. The choice for p 1 given by (2.61) is singular whenever ∂ 2 z |v 0 | = 0 and the numerator is non-zero. Away from m * λ this is not an issue as regions where the flow capacity is infinite do not affect the bottleneck position. As the flow always seeks to maximize flux, we only need to assume the existence of any v 0 for which ∂ 2 z |v 0 | = 0 everywhere (corresponding to threads always moving apart), or even if no such v 0 exists, that there is not a new bottleneck created. We also need to argue that the flow can not take advantage of this choice of p 1 in order to increase the capacity of the bottleneck. The correction to the norm bound on m from p 1 is λ(p 1 [v]∂ z |v|) (0) . Now (∂ z |v|) (0) always equals 0 on m, however the flow can still try to increase capacity by choosing ∂ 2 z |v 0 | = 0 in which case we need to apply L'Hôpital's rule to evaluate the ratio ∂ z |v 0 |/∂ 2 z |v 0 |. ∂ 3 z |v 0 | must be zero on m for there to be no obstruction, so we consider ∂ 3 z |v 0 |/∂ 4 z |v 0 |. Again the flow can take ∂ 4 z |v 0 | = 0, and so on, for the ratio ∂ 2n−1 z |v 0 |/∂ 2n z |v 0 |, the limit of which is where |v 0 | = 1 everywhere. Now that we have found a condition such that there is no obstruction to the flow, we may extend v off the surface such that it is defined throughout the time slice. Let us choose a function for p 1 whose domain is over this extended flow, which when evaluated on m satisfies the constraint (2.61), There are terms in f 1b [v] that are higher order in v µ ∂ µ |v| that are still unfixed at this order in λ, however as we will not proceed to the next order we are free to set them to zero,

Combined results
Combining all results from zeroth to second-order, the maximizing value of v on m is with v i 2 unknown at second order in λ. The norm bound extended off of m, without reference to any surface, is with p 1 defined as and ζ defined as This is as high in orders of λ as we will go. In principle one could continue the procedure of maximizing the flux and equating it to the HEE functional to even higher order, and this would continue to give corrections to the value of the flow on m and the norm bound. At each order in λ a new degree of freedom v µ n is added over which the flux is maximized, and corrections to the norm bound are added to correct for over/undershooting.

Application to Gauss-Bonnet gravity
Let us apply our results to Gauss-Bonnet (GB) gravity, where the correction to the surface functional isÃ =R.
(2.70) withR the induced scalar curvature of the surfacẽ and K µν the extrinsic curvature tensor Gauss-Bonnet gravity is the simplest extension to Einstein gravity that is a Lovelock theory. The Lagrangian in a Lovelock theory is a sum of Euler densities, quantities whose integrals are topological invariants in 2p dimensions. The equations of motion of such a theory contain only second derivatives of the metric, meaning that they require the same initial data as Einstein gravity. GB gravity includes, in addition to the usual cosmological constant (p = 0) and Einstein-Hilbert (p = 1) terms, the p = 2 term: 74) where λ is a parameter with dimensions of length-squared. For HEE in GB gravity, the entropy is given by minimizing a functional which includes the area plus the integrated induced Ricci scalar [13][14][15]. The GB HEE functional is and where we use tildes to denote quantites defined with respect to the induced metric g ij on the surface m,K is the trace of the extrinsic curvature not of m but ∂m. The Gibbons-Hawking-York (GHY) boundary term in (2.75) is necessary to give a well-posed variational problem. We should again emphasize that we could have chosen any highercurvature correction to Einstein gravity to illustrate our method, as long as the entropy is given by minimizing a local functional on surfaces in the homology class of A. We will not be using any special properties of Lovelock theories, Gauss-Bonnet gravity is merely a simple extension to consider. Before proceeding, we note an important caveat regarding the GB HEE formula. Naively, it gives −∞ for the entropy of any region. This can be easily seen in 3 + 1 bulk dimensions, where the surface m is 2-dimensional and the λ terms in (2.75) are proportional to its Euler character χ(m): m gR + 2 ∂m hK = 4πχ(m) . (2.76)

JHEP11(2018)168
By adding small handles or spheres to the surface m, its Euler character can be made arbitrarily negative or positive without significantly changing the total area. Hence, for either sign of λ, the GB HEE formula, taken at face value, tells us the entropy will always be −∞! However, one should remember that (2.74) should be treated as an effective action, with λ treated as a perturbative parameter, rather than assigned a finite value. Correspondingly, λ should be treated as a perturbative parameter. In other words, the embedding coordinates of the surface m should be written as a power series in λ, and then the surface functional minimized order by order in λ. In turn, all calculations demonstrating our methods on GB gravity will be done perturbatively in the Gauss-Bonnet parameter λ. By varying a λ (m) we find the equation of motion for m * λ , The correction λÃ cannot affect the zeroth order result, so we start at first-order. WithÃ =R, we haveã = r where The leading order correction to the thread thickness is λr[v 0 ] = λR, so loosely speaking the more curved the surfaces which are perpendicular to the flow are, the more the thread thickness is affected, thicker or thinner depending on the sign of λ. Givenã, we next calculate the terms in ζ i , which uses the identity

(2.82)
In the derivation for the general case, we neglected the boundary terms arising from the integration by parts. For Gauss-Bonnet these are In an asymptotically AdS spacetime, with spatial metric ds 2 ∼ z −2 (dx µ ) 2 and cutoff z = z 0 , m * 0 has extrinsic curvature components K ij which remain finite on the boundary, whileñ i goes like z 0 , so (K ijñ i ) 2 goes like z 4 0 , and therefore vanishes as z 0 → 0.

JHEP11(2018)168
With ζ we can calculate f 1 . Recall that for GB HEE, and that on m p 1 is Let us calculate each of the terms on the right individually,

(2.86)
For ∂ z r, in the first line the third and last terms vanish using ∂ z v z 0 = 0 and K (0) = 0, the third line makes use of the contracted Bianchi identity Combining these contributions many terms cancel giving on m, using the GNC identities and

JHEP11(2018)168
Thus for GB HEE, the norm bound defined without reference to any surface is and The bit thread formulation of GB HEE simplifies when the RT surface m * 0 has no extrinsic curvature, such that (K ij ) (0) = 0 and so (p 1 [v]) (0) vanishes on m, and we can choose p 1 = 0 to simplify the norm bound. The tangential component of v 1 , (ζ i [v]) (0) also vanishes on m using the identity that relates the iz component of the Ricci tensor to the vanishing extrinsic curvature, Furthermore, a simpler form for r can be used, (1) on m, so is adequate in giving the correct flux up to second order in λ. This gives us the norm bound for cases where m * 0 has no extrinsic curvature. We will compare this norm bound with the result derived using Lagrange dualization and find agreement.

Gibbons-Hawking-York term
The GHY term in a λ (m) has so far been neglected. We present two ways to incorporate it: adding a term to the norm bound with delta-function support on the boundary, and a doubling trick, taking ∂M to be the boundary both of the original Riemannian manifold M and an identical copy, with bit threads flowing out into both.
The GHY term containsK[ñ], the divergence of the surface's boundary normalñ. By allowing an additional flux through on ∂m we capture the GHY term, however the difficulty is doing so without making reference to any surface. While we do not a priori know where the bottleneck will be, we do know what v will be on it from which we can extractñ and thusK [ñ].
Straightforwardly the unit normalñ can be written as the normalized projection of the time slice's boundary unit normal n onto the tangent space of m, which is see figure 1. We would like to adapt this formula forñ to use v instead of u, therefore not making reference to any particular surface. Note also that on the boundary of m, as argued earlier the extrinsic curvature always vanishes, hence so too and therefore v is normal to m to at least second order, Note that the norm bound (2.103) is defined purely in terms of boundary geometric data and an unconstrained v, such that bit thread thickness is only a function of local geometry and thread orientation. Using the formula forÑ [v], our method generalises to any higher curvature HEE prescriptions whose boundary term is a functional of the surface boundary normalñ. An alternative way of including the contribution of the GHY term is to employ a doubling trick. Taking m to be a surface homologous to boundary subregion A, and adding the mirror imagem of m across the boundary, creates a boundaryless surface m +m for which

JHEP11(2018)168
After gluing the surface m together with its double, there may be a kink in the surface at ∂A, giving a singular induced scalar curvature. The GHY terms can then be understood as accounting for possible delta-function singularities inR where we join m with its mirror image. From the norm bound (2.103), this implies infinite bit thread density at ∂A, though the flux is still finite. In this doubling trick picture, the entanglement entropy is given by half the maximum flux out of boundary region A, where v can flow out into two copies of Σ glued along ∂Σ, subject to divergenceless of v and the norm bound, see figure 2.

Lagrange dualization method
The max flow-min cut theorem (1.2) is proven as a consequence of strong Lagrange duality between two convex optimization problems, namely max flow and a relaxed form of the min cut problem. (A review of these concepts aimed at physicists can be found in [16].) In this section, we will apply these ideas to the Gauss-Bonnet holographic entanglement entropy formula. Unfortunately, as we will see, the λ term in the funcational a λ (m) in general ruins the convexity of the relaxed min cut functional. Therefore, the technique will only work in certain special cases, namely when the minimal surface has no boundary and vanishing extrinsic curvature K ij = 0, such as when calculating the entanglement entropy

JHEP11(2018)168
of one side in the high-temperature thermofield-double state. This will allow us to replace the non-convex optimization problem min m∼A a λ (m) with an equivalent convex optimization problem. This is important because non-convex problems generally have a duality gap between the primal and dual problem. 1 Specializing to the situation where the problem is convex will then allow us to use Lagrange dualization to derive the flow reformulation.

Convex optimization and Lagrange dualization
We present here a brief review of the mathematics of Lagrange dualization and its application to HEE, however the authors strongly suggest that readers unfamiliar with these to read the more detailed expositions in sections 2 and 3 of [16] before trying to follow their extension to the higher-curvature case in subsection 3.2 of this paper.

Review of Lagrange dualization
Lagrange duality is a technique often employed in the fields of linear programming and network theory. For a well defined class of minimization problems (the primal) there exists a description where the problem has been transformed into a maximization problem (the dual). Strong duality is the nontrivial assertion that these two descriptions are in fact the same, that the maximum of one equals the minimum of the other. Let L p and {f a } be a set of convex functions, and {h b } a set of affine functions on a vector space parametrized by x. The primal program is given by the constrained optimization program min We may rewrite L p by imposing Lagrange multipliers for the constraints The primal problem L p may be recovered from L by maximizing with respect to the Lagrange multipliers To obtain the dual program however, we instead minimize L with respect to x The difference between the solution of the primal program and the dual program is called the duality gap When the duality gap is zero then strong duality is said to hold. A sufficient, but not necessary condition for strong duality to hold is for L p (x i ) to be a convex function, and 1 A general procedure exists called convex relaxation which allows one to embed a nonconvex problem in a larger solution space which is convex. When such a relaxation can be done it is possible to find a dual with zero duality gap. So far we have not been able to find such a relaxation which would allow the Gauss-Bonnet holographic entanglement entropy to be calculated in the general case. We leave this for future work.

JHEP11(2018)168
there to exist an x i in the relative interior of its domain for which the constraints are satisfied; this is Slater's condition. When the dual program has a unique optimal configuration (φ * a , γ * b ), then the values of the Lagrange multipliers tell us how sensitive the optimal value is to small changes in the constraints. In other words, if we replace the constraint f a (x) ≤ 0 by f a (x) + λ ≤ 0, then to first order in λ the optimal value changes by λφ * a . This is derived for example in [16]. In fact, by a slight generalization of that argument, the result holds even when we perturb the constraint by a function δf a (x): if the dual optimal configuration is unique and if δf a (x * ) has the same value for all primal optimal points x * , then replacing f a (x) ≤ 0 by f a (x) + λδf a (x) ≤ 0 changes the optimal value by λφ * a δf a (x * ) + O(λ 2 ). The same result also holds for concave programs: replacing f a (x) ≥ 0 by f a (x) + λδf a (x) ≥ 0 changes the optimal value by λφ * a δf a (x * ) + O(λ 2 ). We will use this fact in subsection 3.1.3.

Example: max flow-min cut
As an example to further familiarize readers, and to set the stage for the derivation with GB gravity, we will show how to apply Lagrange dualization to the RT formula with EH gravity, proving the Riemannian MFMC theorem. Let M be a Riemannian manifold with boundary, in this case a constant time slice of a bulk spacetime in a static state of a holographic theory. Given a region A ⊂ ∂M the HEE is To define the problem as a well posed convex program we perform a convex relaxation of the program by adding a scalar field degree of freedom ψ, which is subject to the boundary condition ψ| ∂M = χ A with χ A = 1 on A and 0 on the complement A c . This has the effect of smearing the surface to form level sets of constant ψ in the bulk. The optimal solution involves stacking these level sets all on the true minimal surface. The space of surfaces m is a subspace of possible ψ(x), when ψ(x) is binary valued, equal to 1 is a bulk region (not necessarily connected) and 0 in the complement, then surface m can be understood as the boundary of these regions. The resulting optimization problem is convex in ψ: In order to proceed with the dualization we introduce Lagrange multiplier term v µ enforcing the replacement of ∂ µ ψ with a new vector degree of freedom w µ , and a boundary term that is minimized when Optimizing first with respect to the Lagrange multipliers imposes the constraints and returns us to the primal program so let us instead optimize over the fields w µ and ψ, giving the dual program

JHEP11(2018)168
As the primal problem was convex and obeys Slater's condition, strong duality holds, and thus the Riemannian MFMC theorem is proven.

Perturbing the convex program
The flow formulation of RT HEE given by (3.9) is a well-posed convex program (more precisely, concave program, since it involves maximizing a concave functional). Dualizing it returns us to the relaxed min cut program (3.7). (See [16] for the details of this derivation.) By viewing the max flow program as the primal, we can use the relation between perturbations of the primal constraints and changes in the optimal value, described at the end of subsection 3.1.1 above, to figure out how to change the norm bound in the max flow program in order to reproduce the λ term in the GB HEE functional. This gives a very straightforward way to find the first-order correction to the norm bound.
In the dualization of the max flow program, there is a Lagrange multiplier ψ for the divergencelessness constraint and another one φ for the norm bound. As long as the minimal surface m * 0 is unique, the dual optimal configuration is also unique; in particular, φ * is a delta function on m * 0 . In this subsection we will only work to first order in λ. If we perturb the norm bound to make it where F is some function on M , then the maximum flux will change by In particular, if we choose F to be any function which equalsÃ on m * 0 , then the maximum flux will equal where we used the fact that m * 0 extremizes the area, so area(m * λ ) = area(m * 0 ) + O(λ 2 ). In order for F to equalÃ on m * 0 for any max flow, we set it equal toã [v]. The norm bound is thus (3.13)

Lagrange dualization of higher curvature holographic entanglement entropy
In this section, Lagrange dualization is applied to optimization problems of the form min m∼A m g(1 + λÃ), (3.14) corresponding to a perturbative correction of the RT HEE prescription. We now carry out the same convex relaxation as in section 3.1.2, such that the normal vector field with δ-function support becomes a one-form ∂ µ ψ supported over the bulk time slice M with ψ ∈ R, Heuristically, this convex relaxation smears the surface over the manifold forming a foliation of hypersurfaces with ∂ µ ψ/|∂ψ| the unit normal on a component surface. This gives where χ A = 1 in A and 0 in A c . We restrict ourselves to the case whereÃ depends on the surface unit normal u, but not derivatives of u as they generally cause the problem to be non-convex. For example, supposeÃ contains terms involving the trace of the extrinsic curvature. M is foliated by hypersurfaces of constant ψ, so smooth changes to ψ(x) can lead to discontinous changes in hypersurface foliation, with very different extrinsic curvatures. A consequence of this is that the convexity condition can be violated to an arbitrary degree, making it a non-convex optimization problem. We next add a Lagrange multiplier term v µ (w µ − ∂ µ ψ) to replace derivatives of ψ with w µ , arriving at the following Lagrangian: whereŵ µ ≡ w µ /|w|. We now minimize over the variables ψ and w µ on M and ∂M .
Integrating the v µ ∂ µ ψ term in (3.18) by parts strips all derivatives off ψ, allowing us to do a pointwise minimization. The terms involving ψ are The bulk integrand is unbounded unless and then the minimum is zero at |w| = 0. To see whether (3.24) holds for anyŵ, we minimize the left-hand side of the inequality with respect toŵ, subject of course to the constraintŵ µŵ µ = 1, finding the minimizing value forŵ Bringing the constraints we have found together, we arrive at the dual problem . (3.29) Starting with the dual problem (3.29), one can reverse the process and recover the HEE formula (3.31). The details of this calculation are non-essential to the conclusions of this paper, but it is worthwhile to note that from a convex maximal flow problem, one can find a dual minimal cut problem.

Application to Gauss-Bonnet gravity
Here we will apply the results of the previous section to GB HEE, in the special case where the minimal surface has vanishing extrinsic curvature and no boundary, for which the minimization of surfaces becomes a convex problem. There are some non-convex optimization problems whose Lagrange dual obtains strong duality, GB HEE is not one of them.

JHEP11(2018)168
The GHY term contains the trace of the extrinsic curvature and is not convex, so we consider only surfaces without boundaries, for which the GB HEE formula is (3.30) As before, m * λ is the codimension-2 surface homologous to A that minimizes the surface functional, andg µν andR are the induced metric and curvature scalar on m * λ . The extrinsic curvature terms in (3.30) are problematic to obtaining strong duality as they make the problem non-convex.
We will restrict ourselves to m * 0 having no extrinsic curvature, then the λK µν K µν term in the GB HEE functional will be third order on m * λ and can be dropped as we are only working to second order. The extrinsic curvature tensor appears only quadratically in GB HEE, so under the assumption that m * 0 has no extrinsic curvature these terms can be removed without affecting the local minimum of (3.30). In cases where m * 0 has vanishing curvature due to Killing symmetries, such as on bifurcation surfaces of Killing horizons, then m * λ may also have vanishing extrinsic curvature. This is the case for all known static black hole event horizons in Lovelock gravity [6].
Thus we can take as the primal program to dualize. We identifỹ as the perturbation to the RT area functional, for cases where the optimum surface m * λ has no boundary or extrinsic curvature. Following the procedure given in the previous section, after convex relaxation and substitution of ψ withŵ, this becomes for which, applying the result (3.28), gives the norm bound In fact, the O(λ 2 ) term in the above norm bound can be removed as they vanish on m * λ , which follows from the vanishing of extrinsic curvature terms in the identity Thus the norm bound is simply There is perfect agreement between the norm bound found using Lagrange dualization (3.36) and the norm bound found using the bottleneck method (2.97) in their overlapping regimes of validity: when m * 0 has no boundary or extrinsic curvature. The non-trivial part of the agreement is that the second-order correction to the norm bound derived using the two methods both vanish.

JHEP11(2018)168 4 Maximization over bit thread paths
There are special cases in which the corrected norm bound takes the form |v| ≤ F λ [v], with the right-hand side depending only on the direction of v. An example is the one discussed at the end of the previous section, in which the unperturbed minimal surface m * 0 has no extrinsic curvature, and the norm bound is given by (3.36). This suggests a decoupling of the norm |v| and directionv of the vector field. However, the two are coupled by the divergencelessness constraint ∇ µ v µ = 0. Here we will show that one can nonetheless decouple the direction and norm. Thus the problem of maximizing the flow can be decomposed into two steps: for a givenv, maximum the norm |v|; then maximize overv.
In the language of bit threads, the direction fieldv specifies the potential thread configurations, while the norm bound fixes the maximum density.
Consider a particular thread originating from a boundary point x i ∈ A. Define a path x µ (x i , s) along the thread as the integral curve alongv µ : the solution to d ds x µ (x i , s) =v µ , (4.1) with x µ (x i , s = 0) the boundary point. The claim is that given knowledge only of the direction fieldv, and the fact that we want to maximize the flux through A, we can find the thread number density everywhere in the bulk, and hence know everything about v.
First we show that if we know the thread density at any point on the thread, we know it for the whole thread. The divergencelessness of v can be written aŝ From (4.3) we see that, in order for |v| to be single-valued, any loops of bit threads must obey ∇ µv µ = 0. In fact, as any loops of bit threads in the bulk can only impede threads leaving A and contribute nothing to the flux, we can assume without loss of generality that the direction field is free of loops. (Given a direction field containing loops, we can simply set v to 0, makingv undefined, on every point through which a loop passes.) Next, we use the fact that, in order to maximize the flux out of A, for each point x i ∈ A we should increase |v| (x i ,0) until there is a point along the bit thread which saturates the norm bound, which occurs for Thus |v| (x i ,0) is known, which in turn tells us the thread density everywhere. Threads are always maximally packed on the minimal surface, and generally spread out towards the boundaries. together, and when ∇ µv µ > 0 the threads are moving apart. For RT bit threads, the minimal surface has |v| = 1 and hence ∇ µv µ = 0 on it. In most of the bulk, the threads are free to come together or move apart, but in the neighborhood of either side of the minimal surface, there must be non-zero regions of ∇ µv µ , one side which is a source for the direction field, and the other a sink. The minimal surface thus emerges in this direction field picture as the surface which separates the two source and sink regions. For GB bit threads, there is a correction to this: the minimal surface will not perfectly demarcate bands of source and sink regions, as ∇ µv µ does not necessariy vanish on m * λ . Suppose one has specified a direction fieldv and this gives a set of integral curves. Each integral curve has its own bottleneck, at the value of s for which the exponential factor in (4.4) is smallest. We increase the value of |v| on the boundary until the norm bound is saturated at that s . For general direction fields, the union of neighbouring integral curve's bottleneck points won't be continuous, more like a random set of points, but for the special direction fields which give m * λ that union of points is in fact the continuous minimal surface we are looking for 2 . This is another way of seeing how m * λ appears in the bit thread picture. Finally, we note that while the higher curvature corrections to the bit threads were incorporated by altering the norm bound, there are equivalent alternatives. The bit thread prescription is simple and has few components to it, there are only three aspects the corrections can affect: the divergence of v, the norm bound, or the objective functional. By a change of variables, redefining v µ → F λ [v]v µ we regain the constant norm bound |v| ≤ 1 at the cost of replacing the divergencelessness condition with ∇ µ v µ = −v µ ∂ µ F λ [v] and the objective functional with A F λ [v]v. This field redefinition exchanges bit threads whose thickness varies with position and orientation, but must end on the boundary with threads that have constant thickness, but can start and end in the bulk. We should emphasize that this is only a change of variables. Even though the divergencesslessness condition has changed, it has nothing to do with quantum corrections. The specific form of the divergence here forces the new threads to follow the same integral curve on which they are created, effectively adding thickness to the thread. A general quantum correction would also give rise to a corrected divergencelessness condition, but would presumably allow threads to be created in the bulk which would flow more independently of the threads around it.

JHEP11(2018)168
visit for the US-India Advanced Studies Institute: Classical and Quantum Information. We would also like to thank the MIT Center for Theoretical Physics for hospitality.

JHEP11(2018)168
Eq. (A.3) contains ∂ z v i 1 , so there is no real constraint on v i 1 from this obstruction equation. In contrast the first-order linear obstruction equation has no such ∂ z v i 1 terms and the set of obstructionless v i 1 which the flow maximizes over is generally a subset of all v i 1 .
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.