Abstract
Recently holographic prescriptions were proposed to compute the quantum complexity of a given state in the boundary theory. A specific proposal known as ‘holographic subregion complexity’ is supposed to calculate the complexity of a reduced density matrix corresponding to a static subregion. We study different families of singular subregions in the dual field theory and find the divergence structure and universal terms of holographic subregion complexity for these singular surfaces. We find that there are new universal terms, logarithmic in the UV cut-off, due to the singularities of a family of surfaces including a kink in (2 + 1) dimensions and cones in even dimensional field theories. We also find examples of new divergent terms such as squared logarithm and negative powers times the logarithm of the UV cut-off parameter.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Quantum entanglement has been widely studied in the context of holographic field theories after the pioneering proposal of Ryu–Takayanagi (RT) [1, 2]. Quantum complexity is another notion in quantum information theory which has been recently included in the context of holographic field theories. Roughly speaking, the quantum complexity of a state is the minimum number of information gates needed to prepare a state from a given reference state. There have been made some efforts to develop a holographic dual for quantities related to this notion in the context of AdS/CFT correspondence [3,4,5,6,7,8,9,10,11].
From a more geometrical point of view, it is well established that the von Neumann entropy of a subregion in a given state corresponds to the area of a co-dimension two surface in the gravity solution dual of the state. One has also tried to find geometrical duals for other quantities in the context of information theory; such as Renyi entropies [12, 13], information metric (fidelity susceptibility) [14, 18, 19],Footnote 1 Fisher information [20], etc. Some of these geometrical objects are still co-dimension two objects in the dual theory but some are not.
There are two distinct proposals to compute complexity of a state in the dual gravity theory. The first one, which is sometimes called the ‘complexity = volume’ proposal, states that the complexity of a given state at a given time in the boundary theory is given by the volume of an extremal co-dimension one surface in the bulk which meets the corresponding time slice. To be more concrete, one can state this proposal as
where the maximum is chosen among those co-dimension one surfaces which end on the corresponding time slice on the conformal boundary. In this proposal \(\ell \) is some length scale which should be identified case by case, e.g. the radius of the asymptotically AdS solution or the radius of the horizon in the case of AdS black-hole geometries. This non-recognized length scale seems to be a disadvantage of this proposal.
The other proposal, which is sometimes called ‘complexity = action’, states that the complexity of a given state at a given time is equal to the on-shell action of the dual (Einstein) gravity theory computed in the domain of dependence of any Cauchy surface in the bulk which ends on the given time slice at the conformal boundary.Footnote 2 This region is known as the Wheeler–DeWitt patch, corresponding to the given boundary time slice. Although this proposal (in contrast with the previous one) does not need any length scale by definition, it has its own challenges due to surface terms and corner contributions of the Wheeler–DeWitt patch (see [11, 22]). We will come back to this point in the next section.
A natural generalization of the ‘complexity = volume’ proposal concerns with generic mixed states. A specific way of constructing a mixed state out of the entire state of a system is to trace out a part of the space-like manifold of the dual field theory. The mixed state constructed in this way is described by what is known as the reduced density matrix. Then the complexity of such a (static) state is proposed to be given by the volume enclosed by the Ryu–Takayanagi surface and the corresponding subregion in the boundary theory.Footnote 3 To be more concrete the subregion complexity is defined as [18]
where \(\gamma \) is the RT surface of the corresponding subregion and \(\ell \) is a length scale of the dual geometry. This proposal (up to a numerical factor) reduces to ‘complexity = volume’ given in (1.1) if the subregion is chosen to be the whole time slice of the dual theory.
Different proposals for complexity all lead to UV divergent results since they all contain a volume of a surface which reaches the conformal boundary of an asymptotically AdS geometry. This is the same as what happened in the case of holographic entanglement entropy.Footnote 4 Natural questions as regards such quantities are: What is the divergent structure of this quantity? How it can be regularized? What kind of universal information can be extracted from it? Is it possible to find any monotonic function out of this quantity under the RG flow of the dual theory?Footnote 5 Specifically for the case of subregion complexity one may also question the (subregion) shape dependence of the divergence structure.
Some of the above questions have been recently addressed for different proposals of complexity and even for the complexity of reduced states due to smooth subregions [11]. The goal of this paper is to investigate the divergence structure of subregion complexity when the subregion is a singular surface. Similar to the case of entanglement entropy we expect new divergent (sometimes new universal) terms due to singularities in the subregion. There have been made a considerable amount of efforts investigating the role of singularities of entangling regions in the context of (mostly holographic) entanglement entropy [24,25,26,27,28,29,30,31,32,33,34,35,36,37]. In the case of entanglement entropy it has been shown that in the smooth limit beyond the leading order one can give some information as regards the four point function of the stress tensor [38].
We will consider the simplest case of a singular surface in a \((2+1)\)-dimensional field theory and its generalizations to sufficiently symmetric singular surfaces in higher dimensions (see [27, 28] for a similar analysis for entanglement entropy) and we study the divergent structure due to subregion complexity proposal [18].
The rest of this paper is organized as follows: in Sect. 2 we define different families of the singular surfaces which we study. If the reader is just interested in the final results, we have summarized our subsequent results in this section. In the following sections we study complexity of different subregions and we finally in the last section address interesting directions for future studies.
2 Singular subregions and summary of results
We are interested in asymptotically AdS solutions of Einstein gravity with a negative cosmological constant in \(d+1\) dimensions. The simplest case which we study in this section is the pure \(AdS_{d+1}\) solution in the Poincaré patch with the following coordinates:
where z is the radial coordinate and L is the AdS radius. Here \( \mathrm{d}\theta ^2+ \sin ^2\theta \mathrm{d} \Omega _n^2\) is the metric on a unit sphere \(S_{n+1}\) and the term \(\sum _{i=1}^{m} (\mathrm{d}x ^i)^{2}\) indicates a flat \(R^m\) space in Cartesian coordinates. The conformal boundary of this solution is achieved in the \(z \rightarrow 0\) limit. Hence, the boundary metric reads
For the whole manifold of the bulk, as well as the boundary, the range of the parameter \(\theta \) is \((-\pi ,\pi )\) for \(n=0\) and \((0,\pi )\) for \(n>0\). However, throughout this paper we consider different kinds of singular subregions, i.e. the conic singular subregions, in which \(-\Omega<\theta <\Omega \) for \(n=0\) and \(0<\theta <\Omega \) for \(n>0\). The simplest conical geometry is a kink (k) in \(d=3\) where \(n=m=0\), as the following subregion of the boundary:
The cone family \((c_n)\) of singular surfaces in \(d=n+3\) dimensions consists of manifolds with \(m=0\) and \(n\ge 1\) in Eq. (2.2) confined to the region
The crease family in \(d=3+m\) dimensions is the manifold \((k \times R^m)\) derived by considering \(n=0\) and \(m \ge 1\) in Eq. (2.1). We also consider mixed cases where both integers n and m are non-zero which we call them cone-crease.
We also study singular surfaces in asymptotically AdS\(_{d+1}\) geometries given by
In these cases \(f_1\) and \(f_2\) are functions which are determined by the gravity equations of motion. We study different cones and creases in these asymptotically AdS geometries.
In Ref. [27] the holographic entanglement entropy for the above singular surfaces is calculated in Einstein gravity and also some specific higher derivative gravity theories. In this paper we calculate the holographic complexity in each case by using the proposal of Ref. [18]. As we have mentioned in the previous section, according to this proposal the volume of a co-dimension one surface enclosed by the subregion in the boundary theory and the RT co-dimension two surface in the bulk is proportional to the complexity of the (mixed) state corresponding to the subregion. To do so, one should find the RT surface corresponding to subregion A, which we denote by \(\gamma _A\), and calculate the volume \(V(\gamma _A)\) enclosed by \(\gamma _A\). The holographic complexity given by Eq. (1.2) is proposed [18]. We choose \(\ell \) in the asymptotically AdS gravity solutions to be identified with the AdS radius. In what follows we will study this quantity in different singular subregions.
2.1 Summary of results
Since the detailed calculations presented in the following sections may be involved, here we briefly summarize our results. We study the divergent structure of holographic subregion complexity and find new divergences due to singular subregions which in some cases lead to new universal terms.
In the case of a crease entangling region in a (2 + 1)-dimensional boundary theory (see the left panel of Fig. 1) we find that there is a new divergent term of the form \(\log \delta \), which is a universal term. The entanglement entropy for the same subregion also leads to a logarithmic universal term.
d | Background space-time | Geometry of entangling surface | Crease dimension | Expected divergences | New divergences |
---|---|---|---|---|---|
3 | \(R^3\) | k | 0 | \(1/\delta ^2\) | \(\log \delta \) |
4 | \(R^4\) | \(c_1\) | 0 | \(1/\delta ^3\), \(1/\delta \) | \(\log \delta \) |
5 | \(R^5\) | \(c_2\) | 0 | \(1/\delta ^4 , 1/\delta ^2 , \log \delta \) | \(\log ^2 \delta \) |
6 | \(R^6\) | \(c_3\) | 0 | \(1/\delta ^5 , 1/\delta ^3 ,1/\delta \) | \(\log \delta \) |
7 | \(R^7\) | \(c_4\) | 0 | \(1/\delta ^6,1/\delta ^4,1/\delta ^2 , \log \delta \) | \(\log ^2 \delta \) |
\(>3\) | \(R^d\) | \(k\times R^{d-3}\) | \(d-3\) | \(1/\delta ^{d-1}, 1/\delta ^{d-3}\) | – |
4 | \(R^3\times S ^1\) | \(k\times S^1\) | 1 | \(1/\delta ^3\) | – |
5 | \(R^3\times S ^2\) | \(k\times S^2\) | 2 | \(1/ \delta ^4, 1/\delta ^2,\log \delta \) | – |
6 | \(R^3 \times S^3\) | \(k\times S^3\) | 3 | \(1/\delta ^5, 1/\delta ^3\) | – |
6 | \(R^4\times S^2\) | \(k\times ( R^1\times S^2)\) | 3 | \(1/\delta ^5, 1/\delta ^3,1/\delta \) | – |
5 | \(R^5\) | \(c_1\times R^1\) | 1 | \(1/\delta ^4 , 1/\delta ^2 ,\log \delta \) | \(1/\delta \) |
6 | \(R^6\) | \(c_1\times R^2\) | 2 | \(1/\delta ^5 , 1/\delta ^3 ,1/\delta \) | \(1/\delta ^2\) |
5 | \(R^4\times S^1\) | \(c_1\times S^1\) | 1 | \(1/\delta ^4, 1/\delta ^2,\log \delta \) | \(1/\delta \) |
6 | \(R^4\times S^2\) | \(c_1\times S^2\) | 2 | \(1/\delta ^5,1/\delta ^3,1/\delta \) | \(1/\delta ^2, \log \delta \) |
6 | \(R^6\) | \(c_2\times R^1\) | 1 | \(1/\delta ^5 , 1/\delta ^3 ,1/\delta \) | \(1/\delta \log \delta \) |
7 | \(R^7\) | \(c_2\times R^2\) | 2 | \(1/\delta ^6 , 1/\delta ^4 ,1/\delta ^2, \log \delta \) | \(1/\delta ^2\log \delta \) |
6 | \(R^5\times S^1\) | \(c_2\times S^1\) | 1 | \(1/\delta ^5 , 1/\delta ^3 ,1/\delta \) | \(1/\delta \log \delta \) |
For the case of a crease entangling region with a flat locus, which we denote by \(k\times R^m\) (see the right panel of Fig. 1), there is no universal term due to the singularity and even no actual new divergent term, although the subleading divergent term gets corrections from the singularity. This resembles the entanglement entropy in having no new universal term. Even for the case of \(k\times S^1\), for which again the locus of the singularity is flat, there is no new universal term and no new divergent contribution from the singularity.
In the case of creases with a curved locus we again find that there is no new divergent term. This is in contrast with what happens for entanglement entropy of these surfaces. We study the case of \(k\times S^2\) and \(k\times S^3\) and also \(k\times R\times S^2\) and in all of them, although there is a \(\log \delta \) term, it is suppressed with a positive power of \(\delta \), resulting in no new divergent term.
The most interesting behavior happens for conical subregions which we show by \(c_n\) (see the middle panel of Fig. 1). For these subregions we find that there is a new universal \(\log \delta \) term for odd n and \(\log ^2\delta \) for even n. We have worked out a few examples for \(n=1,2,3,4\). In comparison with the entanglement entropy of these surfaces we find a shift from odd to even n where \(\log ^2\delta \) and \(\log \delta \) appear, respectively. It would be very interesting to see whether these universal terms are related to some characteristic feature of the dual field theory.
The other family of singular surfaces which we have studied are conical creases of the form \(c_n\times R^m\) and \(c_n\times S^m\). Among these surfaces the only case where we find that a universal \(\log \delta \) term appears is \(c_1\times S^2\). In other cases new divergent terms appear due to the singularity which has the form of \(1/\delta \log \delta \) or \(1/\delta ^2\log \delta \). These are very similar to what has been recently found from the ‘complexity = action’ proposal [11]. This similarity may be due to the singularities within the Wheeler–DeWitt patch. We have summarized our results in the table.
3 Flat locus singular surfaces
3.1 Kink k
The simplest case is a kink in a 2 + 1 dimensional boundary theory. The bulk metric dual to the vacuum state is given by
and the subregion in defined in constant time slice as \( \rho \in [0,H] \) and \( \theta \in [-\Omega ,\Omega ]\), where H is an IR cut-off. The corresponding Ryu–Takayanagi surface can be described by \( z=z ( \rho ,\theta )\); hence the entanglement entropy is given by
where \( z'=\partial _ {\rho } z\) and \( {\dot{z}}=\partial _ {\theta } z\). Since there is no length scale except \(\rho \), the radial coordinate z depends on \(\rho \) linearly [26], i.e.
and \(h(\theta )\) should be found such that it minimizes the entropy (area) functional and is anchored to the kink in the asymptotic boundary. Applying this to Eq. (3.2) gives
where \( {\dot{h}}=\mathrm{d}h/\mathrm{d}\theta \), \( h(0)=h_0 \) and \(z=\delta \) is UV cut-off. However, since the integrand of Eq. (3.4) does not depend on \(\theta \) explicitly, we have the following conserved quantity along the \(\theta \) translation:
To find the holographic subregion complexity we should write the volume \( V(\gamma ) \) of the subregion of the bulk,
where \(\epsilon \) is a short distance cut-off in the boundary corresponding to \(\delta \) in the bulk. To clarify the singular terms of Eq. (3.6) we convert \(\theta \) integration to an integral over h as follows:
One can easily find the following expression from Eq. (3.5):
Using the coordinate transformation \( y=\sqrt{\dfrac{1}{h^2}-\dfrac{1}{h_0^2}}\), where \( y\rightarrow \infty \) as we approach the boundary via \(\theta \rightarrow \Omega \), we have
In the limit \( \delta \rightarrow 0 \) and hence \( y\rightarrow \infty \) the integrand is finite. So we can find it just for \( y\rightarrow \infty \). We have finally
where \( \alpha (h_0) \) is the cut-off independent term given by
which vanishes in the smooth region limit (i.e. \(\Omega \rightarrow \pi \)). Thus the divergent structure of the holographic complexity of the kink is given by
In Fig. 2 we have plotted \(\alpha \) as a function of the opening angle of the kink \(\Omega \). As expected our numerical result shows that in the smooth limit, that is, \(\Omega \rightarrow \pi \), the new universal term vanishes.
3.2 Cone \(c_n\)
As indicated in the previous section, to consider a conical subregion \(c_n\) with \(n=d-3\), we use the following form of the bulk metric:
where \(\mathrm{d}\Omega _n\) is the metric of a unit sphere \(S_n\). The subregion in the boundary is defined by \( \rho \in [0,H] \) and \( \theta \in [0,\Omega ]\). The extension of this region in the bulk is denoted by the function \( z(\rho ,\theta )\). One should find the profile of this extension via minimizing the following area functional:
where \( \Omega _n\) is the volume of the unit n-sphere and \( {\dot{z}}=\partial _ {\theta } z , z'=\partial _{\rho } z \).
As in the previous case, z can depend on \(\rho \) only linearly, i.e. \(z(\rho ,\theta ) =\rho \, h(\theta )\). Using this assumption and the change of variable \( y=\sin \theta =y(h) \), which gives
the equation of motion for the case \(d=4\) reads as follows:
where \( y'=\frac{\mathrm{d}y}{\mathrm{d}h} \) and \( y''=\frac{d^2 y}{\mathrm{d}h^2} \). Since we are interested in the singular behavior of the complexity near the boundary, where \( h\rightarrow 0 \), let us concentrate on this limit (still for \(d=4\)). For this reason we consider a power law expansion for y(h) in terms of h and put it in Eq. (3.15). Then using the boundary condition \(y(0)= \sin \Omega \) we find the following result:
The expansion for \({\dot{h}} \) follows consequently from \( {\dot{h}} =\dfrac{\sqrt{1-y^2}}{y'(h)}\) as
The corresponding volume is given by
Using asymptotic expansions (3.16) and (3.17) the integrand of (3.18) has the following behavior near the boundary:
Let us divide the singular parts of \(V(\gamma )\) into \(I_1\) and \(L_2\) where the latter contains the singularities due to the integrand while the former shows the contribution of the limits of the integrations, i.e.
So the singular part of the complexity is given by
In the limit \(h\rightarrow \delta /\rho \) there is no singular term from integration over h (neither from the integrand nor from the integration limits); we have just a logarithmic singularity from the lower limit of the integration over \(\rho \) as follows:
The singular terms in \(I_2\) can be calculated directly. Hence we have
where
In Fig. 3 we have plotted the turning point in terms of the opening angle for \(c_1\). As expected in the smooth limit, that is, \(\Omega \rightarrow \pi /2\), the coefficient of the new divergent term vanishes.
One can perform similar computations for cones in higher dimensions. We have done this for \(c_2\) and \(c_3\) in CFT\(_5\) and CFT\(_6\), respectively. The method is similar to what we have presented in \(d=4\), so we will skip the details and report the results in these cases.
In the case of \(c_2\) one finds two families of divergent terms proportional to \(\log \delta \) and \(\log ^2\delta \), which are given by
One should note that \(\mathcal {C}_{5,c_2}^{\log ^2}\) is not a universal term. In Fig. 4 we have plotted the turning point in terms of the opening angle for \(c_2\). As expected in the smooth limit, that is, \(\Omega \rightarrow \pi /2\), the coefficient of the new divergent term vanishes.
For the case \(c_3\) we find
3.3 Crease \( k\times R^{m} \)
Consider the following metric for a \(AdS_{d+1}\) space-time in the bulk:
where the Cartesian coordinates \(x^i\) denote a \(R^m\) flat space for \(m=d-3\). Consider a kink subregion defined as \(\theta \in [-\Omega ,\Omega ]\) and \(\rho \in [0,\infty ]\) for the full range of \(x^i\in [-\infty ,\infty ]\). However, to avoid IR singularities in the following calculations we restrict ourselves to the limited region \(\rho \in [0,H]\) and \(x^i \in [-\frac{{\tilde{H}}}{2},\frac{{\tilde{H}}}{2}]\). Assume that the extension of the entangling region in the bulk is given by the radial coordinate \(z=z(\rho ,\theta )\). Hence, the induced metric on the extended surface reads
The area functional to be minimized is given by
Again one can use the scaling property \(z=\rho h(\theta ),\) to find the equation of motion:
Equation (3.31) can be integrated to find the following constant along the \(\theta \) variation:
Noticing that h is a decreasing function near the boundary, we have from Eq. (3.32)
One can find the volume, thus:
In the limit \( h\rightarrow 0 \) the integrand in the last term behaves as
So we can write
We can separate the divergent term as follows:
Let us denote
it is clear from Eq. (3.33) that \(J(h) \sim (h^2) \) as \( h\rightarrow 0 \). We can find the integral \((I_1)\) by integration by parts
Now for finding the divergences of \( I_2 \), we make a change of variable from \( \rho \) to \( q=\frac{\delta }{\rho } \) and then Taylor expand the terms around \( \delta =0 \)
From Eq. (3.33) \( q^{d-3} J(q) \sim q^{d-1} \) for small q, hence in the above expression the integral over q is finite. We have also
So the singular terms of the volume are as follows:
The complexity is finally given by
3.4 Conical crease \( c_{n} \times R^{m}\)
In this section we consider the special cases of \( n=1,2 \) and \( m=1,2 \) in the metric (2.1) which we denote them by cone-crease \( c_{n} \times R^{m}\). As in the previous cases the subregion is restricted to the intervals \( \theta \in [0,\Omega ] \), \(\rho \in [0,H] \) and \(x_i \in [-{\tilde{H}}/2, {\tilde{H}}/2]\) where H and \({\tilde{H}}\) indicate IR cut-offs. The extended surface in the bulk is demonstrated by the function \( z=z(\rho ,\theta ) \) with the following induced metric:
where \( g _{ [a b] }(S^n) \) is the metric of the sphere \( (S^n) \). The surface function to be extremized is the following:
The equation of motion for \( z(\rho ,\theta )\) after imposing the scaling relation \(z=\rho h(\theta )\) reads
First consider \( n=1 \) and \(m=1\), i.e. \( d=5 \). Let us expand \( y= \sin (\theta ) \) and \( {\dot{h}} \) near the boundary in powers of h.
where \( \alpha _0 \) is fixed by the condition \( f( h_0 )=0 \) at \(\mathcal {O}\left( h^2\right) \) and vanishes at \(\mathcal {O}\left( h^3\right) \). Using Eqs. (3.46) and (3.47) the volume functional is as follows:
Near the boundary \(h \rightarrow 0\), we have
Now we can use it to make the h integral in holographic complexity finite, i.e.
where
Let us indicate the integrand in \( I_1 \) by \( J_5(h) \) and integrate it by parts,
Near the boundary \( J_5(h) \sim \mathcal {O}(h^0) \). We further make the coordinate transformation \( q=\delta / \rho \) and Taylor expand the second term of Eq. (3.52) in terms of \(\delta \) to find
So we have
For \( c_1 \times R^2 \) the result is as follows:
where
For \( c_2\times R ^1 \) similar steps lead to
where
4 Curved locus singular surfaces
In this section, we consider several singular embeddings which have a curved locus such as \( k\times \Sigma \) and \( c_n \times \Sigma \), where the locus \( \Sigma \) will take the form \( S^m \) or \( S ^{m-p} \times R^p \).
4.1 Crease \( k \times \Sigma \)
Consider the geometries \( k\times S^2 \), \( k\times S^3 \) and \( k\times R \times S^2 \). We will see that singularities with even dimensional locus will contribute through a logarithmic term. To begin with, let us consider a \( d=5 \) CFT on background \( R^3\times S^2 \). The action for the six-dimensional dual Einstein gravity reads
We consider the following ansatz for the solution:
where \( \mathrm{d} \Omega _2 ^2 =d \xi _0^2 +\sin ^2 (\xi _0) d \xi _1^2 \) represents a two-sphere metric and \( f_1 \) and \( f_2 \) are functions of the radial coordinate. The boundary of this solution is \( R^3 \times S^2 \) with \( R_1 \) the radius of \( S^2\); so we can recover the flat boundary results in the limit \( R_1 \rightarrow \infty \). Using the Fefferman–Graham expansion near the boundary to find \(f_1\) and \(f_2\) leads to
The subregion of interest here is \( \rho \in [ 0, H ] \) and \( \theta \in [-\Omega , \Omega ] \) where H is again a IR cut-off. The coordinates are \( (z , \theta ,\xi _0 , \xi _1 ) \) on the minimal surface and \( \rho =\rho (z, \theta ) \) on the sphere. In the limit \( R_1\rightarrow \infty \) one may expect from the case of the entanglement entropy that the leading order correction to the holographic subregion complexity would be \(\mathcal {O}(1/R_1^2) \), however, we show that in this case there is no new divergent term up to \(\mathcal {O}(1/R_1^4)\). We first work out the solution \(\rho (z,\theta )\) in this approximation with the following ansatz:
Using the ansatz (4.5) in the equation of motion of \( \rho (z,\theta ) \) leads to vanishing of even terms, \( g_{2n}\). In order to separate the logarithmic divergence, we impose \( \rho = \rho _0 (z,\theta )+\rho _1(z,\theta )/R_1^2+\rho _2(z,\theta )/R_1^4 \), where \( \rho _0=z/h(\theta ) \), and \( \rho _1=z^3 g_3 (\theta )\), \(\rho _2=z^5 g_5(\theta ) \) are higher corrections in the large \( R_1 \) regime. Now we come back to the metric (4.2) and find the volume holographic complexity to be
Now, we can insert the ansatz \( \rho = \rho _0+\rho _1/R_1 ^2 +\rho _2/R_1 ^4 \) with \( \rho _0=z/h(\theta ) \), \( \rho _1=z^3 g_3(\theta ) \) and \(\rho _2=z^5 g_5(\theta )\) and use (4.4) in the integrand to simplify the results,
where \( \delta \) is the UV cut-of. We have also changed the integration limits from \( (-\Omega ,\Omega ) \) to \( (0,\Omega ) \) and then changed the integration variable in \( V_1 \) to \( h(\theta ) \). It is instructive to use the following constant of motion:
which is related to h(0) at the turning point. To find the logarithmic divergent parts it is enough to find the asymptotic behavior of h and \( g_3 \). Solving \( g_3 \) in terms of h in the limit of small h leads to
where \( b_3 \) can be fixed by requiring \( g_3 \) to have an extremum at \(\theta =0\). We will need to find the series expansion of \( h_{1c} \) in terms of \( \delta \) as follows:
where \( h_{1c}=h(\Omega -\epsilon ) \). The result is obtained for the leading corrections in \( R_1 \) at any order of \( \delta \). Now we look at (4.7) to analyze the divergent terms in the asymptotic limit
and
We organize different terms of the integrand in the following form:
Now we differentiate each of them with respect to the UV cut-off and look for \( 1/\delta \) divergent terms. One can easily find
So from (4.17)–(4.27) we can find the logarithmic divergences in the holographic complexity for the \( k\times S^2 \) geometry as follows:
Note that in this case no new divergent term appears due to the singular surface. All new \(\log \delta \) terms are suppressed with a factor of \(\delta ^\alpha \) where \(\alpha \ge 1\).
4.1.1 Subregion \( k\times S^3 \)
Now we want to find the holographic subregion complexity for the \( k\times S^3 \) geometry in a CFT on \(R^3\times S^3 \). We will show that in this case the singularity gives no logarithmic contribution to the subregion complexity. Consider the following metric:
where \( \mathrm{d} \Omega _3 ^2 =d \xi _0^2 +\sin ^2 (\xi _0) \mathrm{d} \xi _1^2+ \sin ^2 (\xi _0)\sin ^2 (\xi _1) d \xi _2 ^2 \) is the unit \(S^3\) and we find \( f_1 \) and \( f_2 \) to be
Similar to the previous case the induced coordinates on the RT surface are \( (z, \theta ,\xi _0 ,\xi _1 , \xi _2) \) and \(\rho =\rho (z,\theta )\). Using the equation of motion for h we can find the following constant of motion:
which can be fixed in terms of the boundary data. Using the metric (4.35) we find the holographic complexity as
Inserting the ansatz \( \rho =\rho _0 +\rho _1/R_1^2 \), \( \rho _0=z/h(\theta ) \) and \( \rho _1=z^3 g_3(\theta ) \) and using the expansions (4.36) in the integrand simplify the result to
and
where \( \delta \) is the UV cut-of, such that \( \rho (z, \Omega -\epsilon ) = H \) and \( z_m \) is defined such that \( \rho (z_m,0)=H \). We have also changed the integration limits from \( (-\Omega ,\Omega ) \) to \( (0,\Omega ) \) and then changed the integration variable in \( V_1 \) to \( h(\theta ) \).
Similar to what we have done in the previous sections in detail, one can work out the logarithmic divergence in this case. Here we step the details and report to the final result
In this case no new divergent term appears due to the singular surface and all new \(\log \delta \) terms are suppressed with a factor of \(\delta ^\alpha \) where \(\alpha \ge 1\).
4.1.2 Subregion \( k\times R^1 \times S^2 \)
In the following we give another example showing that an odd dimensional locus does not contribute to logarithmic singularities, although it has non-zero curvature. We consider a CFT defined on \( R^4 \times S^2 \). The bulk metric is given by
where \( \mathrm{d}\Omega _2 \) is the line element over \( S^2 \), and \( f_1\) and \( f_2 \) have the following expansions:
The subregion \( k \times R ^1 \times S^2 \) is defined by \( \theta \in [-\Omega ,\Omega ], \ x \in [-\infty ,\infty ] \) and \( \rho \in [0,\infty ] \). we put IR cut-offs on the x and \( \rho \) directions such that \( x\in [-{\tilde{H}}/2 , {\tilde{H}}/2 ] \) and \( \rho \in [\rho _m , H] \), where \(\rho _m \) is given in terms of \(\delta \). Similar to the previous cases \( (z, \theta , x,\xi _0, \xi _1) \) are the coordinates on the RT surface with \( \rho =\rho (z,\theta )\). The equation of motion for h gives the following constant of motion:
Returning to the metric (4.42) we find the holographic complexity as
We then insert the ansatz \( \rho =\rho _0+\rho _1/R_1^2 \), \( \rho _0=z/h(\theta )\) and \( \rho _1=z^3 g_3(\theta ) \) and use (4.43) in the integrand to simplify the expressions as follows:
Again we step over the details of the rest of this calculation and find
As in the case of \(k\times S^2\) and \(k\times S^3\) new logarithmic divergent terms in this case are also suppressed by a factor of \(\delta ^\alpha \) with a positive power.
4.2 Conical crease \( c_n \times \Sigma \)
In this section, we will calculate the holographic complexity for subregions with conical singularities of the form \( c_n\times S^m\).
4.2.1 Subregion \(c_1\times S^1\)
To begin with, we consider the simplest case with \(m=1\). In this case, the background geometry for CFT is \( R^4\times S^1\). The dual bulk geometry is then given by
where \( f_1=1+O(1/R_1^6) \) and \( f_2=1+O(1/R_1^6) \). The singular subregion of our interest is defined as \(\theta \in [0,\Omega ], \ \xi _0 \in [0 ,2 \pi ] \), \( \phi \in [0 ,2 \pi ] \) and \( \rho \in [0, H] \).
One can find that \( g_3 =0 \) is the exact solution for this case and since the equation of motion for h is the same as \( c_1 \times R^1\) case, the holographic subregion complexity might become the same. Returning to the metric (4.49) gives the holographic complexity:
A similar analysis to the previous cases leads to the following divergence structure for the holographic subregion complexity for this case:
4.2.2 Subregion \( c_1 \times S^2 \)
Next we consider the singular subregion \( c_1 \times S^2 \) in a CFT defined on \( R^4 \times S^2 \). The bulk metric is given by
where \( \mathrm{d}\Omega _2 \) is the line element over \( S^2 \), and \( f_1\) and \(f_2 \) have the following expansions:
Using the metric (4.51) we find the holographic complexity as
A similar analysis to the previous sections leads to
5 Discussions
In this paper we studied the divergence structure of holographic subregion complexity for various singular surfaces. We showed that there are new divergences due to singularities in the subregion. More specifically we have shown that for a kink in a (2+1)-dimensional field theory and also cones \(c_n\) in even dimensional field theories a new universal \(\log \delta \) term appears. In odd dimensional field theories the singularity of a cone \(c_n\) gives rise to a \(\log ^2\delta \) divergent term. We also showed that surprisingly crease singularities of any type do not give rise to any universal term or even any new divergent term. For generalized conical singularities the situation is completely different. There are examples for which new power law divergences appear but there is no new universal term due to the singularity. We found also an example, i.e. \(c_1\times S^2\), with a curved locus that has a new universal term. Another type of conical singularity has \(\frac{1}{\delta }\log \delta \) and \(\frac{1}{\delta ^2}\log \delta \) divergent terms for even and odd dual field theories, respectively. The latter family is very similar to what has been recently found using the ‘complexity = action’ proposal on the Wheeler–DeWitt patch which also possesses corners. We have summarized all of these results in a table in Sect. 2.
There are several directions to follow in future work. Regarding the divergence structure of subregion complexity, the most important question is whether one can define any monotonic function from the universal terms which leads to a kind of ’c-function’ in higher odd-dimensional dual field theories.
Another interesting open question is how to generalize complexity proposals beyond Einstein gravity. Recently there have been some proposals trying to address this question (see e.g. [39]).
A natural question as regards this work is how to study the role of singularities of subregions in the ‘complexity = action’ proposal. Recently some progress have been made in [11] for spherical subregions. The authors have proposed the intersection between the “entanglement wedge” and the corresponding WDW patch for ‘complexity = action’ for mixed states constructed from subregions. It would be instructive to understand this proposal by considering more complicated examples.
Notes
Recently some progress has been made for complexity in higher derivative theories in [21].
Recently a covariant generalization of this proposal is given in [11].
A concrete example of a dual CFT calculation for Fischer information metric in the case of marginal deformations has been presented in [14].
See [23] for a related case study.
References
S. Ryu, T. Takayanagi, Holographic derivation of entanglement entropy from AdS/CFT. Phys. Rev. Lett. 96, 181602 (2006). doi:10.1103/PhysRevLett.96.181602. arXiv:hep-th/0603001
S. Ryu, T. Takayanagi, Aspects of holographic entanglement entropy. JHEP 0608, 045 (2006). doi:10.1088/1126-6708/2006/08/045. arXiv:hep-th/0605073
L. Susskind, Computational complexity and black hole horizons. Fortsch. Phys. 64, 24 (2016). doi:10.1002/prop.201500092. arXiv:1403.5695 [hep-th], arXiv:1402.5674 [hep-th]
D. Stanford, L. Susskind, Complexity and shock wave geometries. Phys. Rev. D 90(12), 126007 (2014). doi:10.1103/PhysRevD.90.126007. [arXiv:1406.2678 [hep-th]]
L. Susskind, Entanglement is not enough. Fortsch. Phys. 64, 49 (2016). doi:10.1002/prop.201500095. arXiv:1411.0690 [hep-th]
A.R. Brown, D.A. Roberts, L. Susskind, B. Swingle, Y. Zhao, Holographic complexity equals bulk action? Phys. Rev. Lett 116(19), 191301 (2016). doi:10.1103/PhysRevLett.116.191301. arXiv:1509.07876 [hep-th]
A.R. Brown, D.A. Roberts, L. Susskind, B. Swingle, Y. Zhao, Complexity, action, and black holes. Phys. Rev. D 93(8), 086006 (2016). doi:10.1103/PhysRevD.93.086006. arXiv:1512.04993 [hep-th]
O. Ben-Ami, D. Carmi, On volumes of subregions in holography and complexity. JHEP 1611, 129 (2016). doi:10.1007/JHEP11(2016)129. arXiv:1609.02514 [hep-th]
J. Couch, W. Fischler, P. H. Nguyen, Noether charge, black hole volume and complexity. arXiv:1610.02038 [hep-th]
S. Chapman, H. Marrochio, R. C. Myers, complexity of formation in holography. arXiv:1610.08063 [hep-th]
D. Carmi, R. C. Myers, P. Rath, Comments on holographic complexity. arXiv:1612.00433 [hep-th]
L.Y. Hung, R.C. Myers, M. Smolkin, A. Yale, Holographic calculations of renyi entropy. JHEP 1112, 047 (2011). doi:10.1007/JHEP12(2011)047. arXiv:1110.1084 [hep-th]
X. Dong, The gravity dual of renyi entropy. Nat. Commun. 7, 12472 (2016). doi:10.1038/ncomms12472. arXiv:1601.06788 [hep-th]
M. Miyaji, T. Numasawa, N. Shiba, T. Takayanagi, K. Watanabe, Distance between Quantum States and Gauge-Gravity Duality. Phys. Rev. Lett 115(26), 261602 (2015). doi:10.1103/PhysRevLett.115.261602. arXiv:1507.07555 [hep-th]
D. Bak, Information metric and Euclidean Janus correspondence. Phys. Lett. B 756, 200 (2016). doi:10.1016/j.physletb.2016.03.012. arXiv:1512.04735 [hep-th]
D. Momeni, S.A.H. Mansoori, R. Myrzakulov, Holographic complexity in gauge/string superconductors. Phys. Lett. B 756, 354 (2016). doi:10.1016/j.physletb.2016.03.031. arXiv:1601.03011 [hep-th]
N.S. Mazhari, D. Momeni, S. Bahamonde, M. Faizal, R. Myrzakulov, Holographic complexity and fidelity susceptibility as holographic information dual to different volumes in AdS. Phys. Lett. B 766, 94 (2017). doi:10.1016/j.physletb.2016.12.060. arXiv:1609.00250 [hep-th]
M. Alishahiha, Holographic complexity. Phys. Rev. D 92(12), 126009 (2015). doi:10.1103/PhysRevD.92.126009. arXiv:1509.06614 [hep-th]
S. Banerjee, J. Erdmenger, D. Sarkar, Connecting fisher information to bulk entanglement in holography. arXiv:1701.02319 [hep-th]
N. Lashkari, M. Van Raamsdonk, Canonical energy is quantum fisher information. JHEP 1604, 153 (2016). doi:10.1007/JHEP04(2016)153. arXiv:1508.00897 [hep-th]
M. Alishahiha, A. Faraji Astaneh, A. Naseh, M. H. Vahidinia, On complexity for higher derivative gravities. arXiv:1702.06796 [hep-th]
L. Lehner, R.C. Myers, E. Poisson, R.D. Sorkin, Gravitational action with null boundaries. Phys. Rev. D 94(8), 084046 (2016). doi:10.1103/PhysRevD.94.084046. arXiv:1609.00207 [hep-th]
M. Flory, A complexity/fidelity susceptibility g-theorem for AdS\(_3\)/BCFT\(_2\). JHEP 1706, 131 (2017). doi:10.1007/JHEP06(2017)131. arXiv:1702.06386 [hep-th]
H. Casini, M. Huerta, Universal terms for the entanglement entropy in 2+1 dimensions. Nucl. Phys. B 764, 183 (2007). doi:10.1016/j.nuclphysb.2006.12.012. arXiv:hep-th/0606256
H. Casini, M. Huerta, L. Leitao, Entanglement entropy for a Dirac fermion in three dimensions: Vertex contribution. Nucl. Phys. B 814, 594 (2009). doi:10.1016/j.nuclphysb.2009.02.003. arXiv:0811.1968 [hep-th]
T. Hirata, T. Takayanagi, AdS/CFT and strong subadditivity of entanglement entropy. JHEP 0702, 042 (2007). arXiv:hep-th/0608213
R.C. Myers, A. Singh, Entanglement entropy for singular surfaces. JHEP 1209, 013 (2012). doi:10.1007/JHEP09(2012)013. arXiv:1206.5225 [hep-th]
A. Singh, Holographic entanglement entropy: RG flows and singular surfaces. PhD thesis, University of Waterloo, 2012
P. Bueno, R.C. Myers, W. Witczak-Krempa, Universality of corner entanglement in conformal field theories. Phys. Rev. Lett. 115, 021602 (2015). doi:10.1103/PhysRevLett.115.021602. arXiv:1505.04804 [hep-th]
P. Bueno, R.C. Myers, Corner contributions to holographic entanglement entropy. JHEP 1508, 068 (2015). doi:10.1007/JHEP08(2015)068. arXiv:1505.07842 [hep-th]
D.W. Pang, Corner contributions to holographic entanglement entropy in non-conformal backgrounds. JHEP 1509, 133 (2015). doi:10.1007/JHEP09(2015)133. arXiv:1506.07979 [hep-th]
M. Alishahiha, A.F. Astaneh, P. Fonda, F. Omidi, Entanglement entropy for singular surfaces in hyperscaling violating theories. JHEP 1509, 172 (2015). doi:10.1007/JHEP09(2015)172. arXiv:1507.05897 [hep-th]
R.X. Miao, A holographic proof of the universality of corner entanglement for CFTs. JHEP 1510, 038 (2015). doi:10.1007/JHEP10(2015)038. arXiv:1507.06283 [hep-th]
P. Bueno, R.C. Myers, W. Witczak-Krempa, Universal corner entanglement from twist operators. JHEP 1509, 091 (2015). doi:10.1007/JHEP09(2015)091. arXiv:1507.06997 [hep-th]
P. Bueno, R.C. Myers, Universal entanglement for higher dimensional cones. JHEP 1512, 168 (2015). doi:10.1007/JHEP12(2015)168. arXiv:1508.00587 [hep-th]
R.C. Myers, A. Singh, Comments on holographic entanglement entropy and RG flows. JHEP 1204, 122 (2012). doi:10.1007/JHEP04(2012)122. arXiv:1202.2068 [hep-th]
M.R. Mohammadi Mozaffar, A. Mollabashi, F. Omidi, Holographic mutual information for singular surfaces. JHEP 1512, 082 (2015). doi:10.1007/JHEP12(2015)082. arXiv:1511.00244 [hep-th]
P. Bueno, W. Witczak-Krempa, Bounds on corner entanglement in quantum critical states. Phys. Rev. B 93, 045131 (2016). doi:10.1103/PhysRevB.93.045131. arXiv:1511.04077 [cond-mat.str-el]
P. Bueno, V. S. Min, A. J. Speranza, M. R. Visser, Entanglement equilibrium for higher order gravity. arXiv:1612.04374 [hep-th]
Acknowledgements
We would like to thank Mohsen Alishahiha, Amin Faraji-Astaneh and Mohammad H. Vahidinia for fruitful discussions and M. Reza Mohammadi-Mozaffar for careful reading of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3.
About this article
Cite this article
Bakhshaei, E., Mollabashi, A. & Shirzad, A. Holographic subregion complexity for singular surfaces. Eur. Phys. J. C 77, 665 (2017). https://doi.org/10.1140/epjc/s10052-017-5247-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-017-5247-1