This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

\UseRawInputEncoding

Quantum fluctuation on the worldsheet of probe string in BTZ black hole

Yu-Ting Zhou [email protected] College of Physics, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China Key Laboratory of Aerospace Information Materials and Physics (NUAA), MIIT, Nanjing 211106, China    Xiao-Mei Kuang [email protected] Center for Gravitation and Cosmology, College of Physical Science and Technology, Yangzhou University, Yangzhou 225009, China.
Abstract

In this paper, we investigate the second-order normal quantum fluctuation on the worldsheet of a probe string in the Bañados-Teitelboim-Zanelli (BTZ) black hole. These fluctuations is treated as the projection of Hawking radiation on the worldsheet and indeed modify the action growth of the string. Then in the string field theory/boundary conformal field theory framework, via the boundary vertex operator we study the correlation function of the Schro¨\ddot{o}dinger functional of excited fields on the worldsheet and further extract the field’s formula. Our study could shed light on the potential connection between complexity growth and correlation function.

I Introduction

Black holes have become a natural platform for us to understand spacetime and gravity at a semi-classical level after Stephen Hawking proposed the exciting theory of black hole radiation. Then, drawing inspiration from black hole thermodynamics, physicists proposed the holographic nature of gravity Susskind:1994vu ; tHooft:1999rgb , which then gives rise to the gauge/gravity duality Maldacena:1997re ; Gubser:1998bc ; Witten:1998qj . The extensive applications of this duality provide novel perspectives for exploring gravity and strongly coupled system.

Recently, quantum information theory has begun to transcend its traditional framework, providing more and more insights in the field of quantum gravity such as computational complexity Osborne_2012 ; TCS-066 ; Dvali000 ; PhysRevA.94.040302 ; PhysRevD.96.126001 ; Watrous:2008 ; Bao:2018ira . The complexity essentially measures the difficulty of changing a quantum state into another state, however, it is still not clear to define the initial states and target states when one applies complexity into quantum field theory (QFT). Though considerable attempts have been made in this field Vanchurin:2016met ; Chapman:2017rqy ; Molina-Vilaplana:2018sfn ; Bhattacharyya:2018wym ; Nielsen:2005mkt ; doi:10.1126/science.1121541 ; Jefferson:2017sdb ; Yang:2018nda ; Bhattacharyya:2018bbv ; Bhattacharyya:2019kvj ; Camargo:2022wkd ; Adhikari:2022whf ; Adhikari:2021pvv ; Adhikari:2022oxr , a widely acceptable understanding of the complexity still poses an unresolved query. Thanks to holography, two elegant descriptions of complexity have been proposed from gravity side. One is the “complexity=volume (CV)” conjecture, where V represents the volume of the Einstein-Rosen (ER) bridge linking the two sides of the AdS black hole’s boundary. The other is the “complexity=action (CA)” conjecture, where A denotes the classical action of a space-time region enclosed by the bulk Cauchy slice anchored at the boundaries, also known as the “Wheeler-Dewitt (WdW)” patch Chapman:2016hwi ; Brown:2015bva ; Brown:2015lvg .

Based on the CA conjecture, there are many studies on the stationary systems, see for examples Pan:2016ecg ; Guo:2017rul ; Momeni:2016ekm ; Tao:2017fsy ; Alishahiha:2017hwg ; Reynolds:2017lwq ; Qaemmaqami:2017lzs ; Sebastiani:2017rxr ; Couch:2017yil ; Swingle:2017zcd ; Cano:2018aqi ; Chapman:2018dem ; Chapman:2018lsv ; Auzzi:2018pbc ; Yaraie:2018hwz ; Alishahiha:2018tep ; An:2018xhv ; Cai:2016xho ; Ghodsi:2020qqb ; Frassino:2019fgr and references therein. Similar efforts are evident in dynamic systems, such as the investigation of complexity growth with probe branes Abad:2017cgl ; Santos:2022lxj and the exploration of non-local operator effects in the BTZ black hole Ageev:2014nva ; Zhou:2021vsm ; Zhou:2023nza ; Nagasaki:2018csh ; Nagasaki:2019icm ; Bravo-Gaete:2020lzs ; Santos:2020xox ; Nagasaki:2021ldz ; Nagasaki:2022lll . Besides in Andi-de Sitter (AdS) spacetime, complexity in de Sitter (dS) spacetime was recently studied, and it was found that in this case the holographic complexity exhibits ‘hyperfast’ growth Susskind:2021esx ; Jorstad:2022mls . Later, the authors of Santos:2023eqp investigated the phase transition between the dS and AdS spacetime regimes based on the holographic entanglement entropy and the renormalization group flow, which could provide insight to understand more holographic properties, such as complexity, in different energy scales. Moreover, holographic complexity was found to have potential to describe the information emission from the rotating BTZ black hole encoded by quantum complexity Brown:2017jil , even at zero temperature Santos:2024zoh .Though considerable remarkable progress has been made in holographic complexity, a well-defined reference state in holography is also open. Therefore, the study of quantum fluctuation or perturbation of complexity could circumvent the state puzzle and help to step forward to investigate the complexity.

Thus, the aim of this paper is to study the second-order normal fluctuation on a probe string whose two points end in the dual boundary of the BTZ black hole. As a first attempt, our goal is to build a possible connection between the complexity growth and correlation function. The purpose we consider the normal fluctuations on the probe string mainly consists of two aspects. On one hand, the probe string in BTZ black hole can be treated as a 2-dimensional quantum field theory in the curved space-time background, similar as the handling with holographic Brownian motion proposed in deBoer:2008gu ; Atmaja:2010uu . Then in this scenario, various fluctuation modes could be excited on the string’s worldsheet due to Hawking radiation in the black hole environment Lawrence:1993sg . Here for convenience, we shall fix the end points of the string onto the boundary and focus on the normal direction fluctuation of the string. This operation allows us to obtain the normal operator of those excited normal modes along the string, as we will show soon. On the other hand, this consideration allows us to work with the string field theory/boundary conformal field theory (SFT/BCFT) correspondence, stating that every classical field in worldsheet of the probe string can be described by a BCFT of an open string attached to the boundary Fuchs:2008cc ; Taylor:2003gn ; Rastelli:2005mz ; Taylor:2006ye ; Kiermaier:2008qu ; Kudrna:2012re . In particular, using the AdS/BCFT scenario in Horndeski gravity Santos:2021orr , the authors of Santos:2024zoh found that the corrections provided in the probe string worldsheet in a rotating BTZ black hole indeed contribute to the action growth. In this framework, we can treat the excited fields as a single object and construct the corresponding vertex operator on the boundary. This then further helps us to calculate the correlation function of the bulk fields in the Schro¨\ddot{o}dinger functional representation and extract the curved-dependent worldsheet excited field.

The remaining of this paper is organized as follows. In Sec. II, we briefly review the BTZ black hole and the action growth of probe string model. In Sec. III, we consider second order normal fluctuation on the Nambu-Goto action of the probe string in the black hole and then we get the normal fluctuation operator. In Sec.IV, we explore the two-point correlation function of these excited modes and extract the field function on the worldsheet. We summarize our work in the last section.

II Action growth of probe string in BTZ black hole

We start with the 3-dimentional BTZ black hole with a negative cosmological constant of which the metric is PhysRevLett.69.1849 ; PhysRevD.48.1506

ds2=(M+r2l2)dt2+1M+r2l2dr2+r2dϕ2,ds^{2}=-(-M+\frac{r^{2}}{l^{2}})dt^{2}+\frac{1}{-M+\frac{r^{2}}{l^{2}}}dr^{2}+r^{2}d\phi^{2}, (1)

where t-\infty\leq t\leq\infty and 0ϕ2π0\leq\phi\leq 2\pi, MM is the black hole mass and ll is AdS radius. Then for convenience, we shall set l=1l=1 and rewrite metric (1) under Poincare coordinate as,

ds2=1z2[f(z)dt2+1f(z)dz2+dϕ2],f(z)=1Mz2,ds^{2}=\frac{1}{z^{2}}\left[-f(z)dt^{2}+\frac{1}{f(z)}dz^{2}+d\phi^{2}\right],\;f(z)=1-Mz^{2}, (2)

where we have z=1rz=\frac{1}{r}, the horizon location zh=1Mz_{h}=\frac{1}{\sqrt{M}} and the Hawking temperature T=12πMT=\frac{1}{2\pi\sqrt{M}}.

We proceed to consider a probe string in this background spacetime and its two endpoints are attached in the boundary subspace. The configuration is shown in FIG. 1 where we have omitted the time direction.

Refer to caption
Figure 1: The geometric description of a probe string ending on the boundary of BTZ black hole background.

Subsequently, we can work in the worldsheet coordinates τ=t\tau=t and σ=ϕ\sigma=\phi, and further perform Xμ(t,ϕ)X^{\mu}(t,\phi) as

Xμ(t,ϕ)=(tz(ϕ)ϕ).\displaystyle X^{\mu}(t,\phi)=\left(\begin{matrix}&t\\ &z(\phi)\\ &\phi\end{matrix}\right). (3)

Then the Nambu-Goto action of this string is

SNG=Ts𝑑t𝑑ϕdet[hab],S_{NG}=T_{s}\int dtd\phi\sqrt{-\det\;[h_{ab}]}\;, (4)

where TsT_{s} is the tension of string. habh_{ab} is the induced metric of worldsheet, which can be written in the form

hab=gμνaXμbXν,h_{ab}=g_{\mu\nu}\partial_{a}X^{\mu}\partial_{b}X^{\nu}, (5)

with gμνg_{\mu\nu} the metric defined in (2). Then directly from (4), we can define the action growth of the probe string as

1TsdSNGdt=ϕc2ϕc2𝑑ϕdet[hab].\frac{1}{T_{s}}\frac{dS_{NG}}{dt}=\int_{\frac{-\phi_{c}}{2}}^{\frac{\phi_{c}}{2}}d\phi\sqrt{-\det\;[h_{ab}]}\;. (6)

Further calculations on the above action growth has been addressed in Nagasaki:2018csh ; Zhou:2023nza ; Zhou:2021vsm , in which the authors discussed the significant effects of the graviton mass and black hole mass, similar to that from CV approach Zhou:2019jlh . In the following studies, we shall concern the quadratic fluctuation on this action growth.

III Quantum fluctuation on the worldsheet of probe string

We shall then adopt the normal coordinate gauge, under which the fluctuation is normal to the probe string everywhere, to expand the action growth into the quadratic order. The reason exists in that the normal coordinate gauge could be the safest choice comparing to other coordinate gauges, as addressed in Kinar:1999xu . The explicit geometric description of this fluctuation is shown in FIG.2, in which the dashed curve describes a fluctuated string on the original probe string.

Refer to caption
Figure 2: The geometric description of the fluctuation on the string.

To proceed, we expand the action growth (6) up to the quadratic term as

1TsdSNGdt1TsdSNG(0)dt+1TsdSNG(2)dt+,\frac{1}{T_{s}}\frac{dS_{NG}}{dt}\simeq\frac{1}{T_{s}}\frac{dS_{NG}^{(0)}}{dt}+\frac{1}{T_{s}}\frac{dS_{NG}^{(2)}}{dt}+\cdots, (7)

where the first term in the right side denotes the initial classical action growth. It is noticed that in general we can have infinite higher order terms but in our following study we consider till quadratic term. Then we shall assume that the fluctuation field is a scalar field ξn\xi_{n} and account for the contributions from the quantum fluctuations. To this end, we first expand the string coordinates around (3) as

Xμ(t,ϕ)=X0μ(t,ϕ)+nμξn(t,ϕ).X^{\mu}(t,\phi)=X_{0}^{\mu}(t,\phi)+n_{\mu}\xi_{n}(t,\phi). (8)

Here we introduce the unit normal vector nμ=(nz,nϕ)n_{\mu}=(n_{z},n_{\phi}) and consider the normal fluctuation on the coordinate. Subsequently, (8) can be rewritten as

z=z+nzξn(t,ϕ),\displaystyle z=z+n_{z}\xi_{n}(t,\phi), (9)
ϕ=ϕ+nϕξn(t,ϕ).\displaystyle\phi=\phi+n_{\phi}\xi_{n}(t,\phi). (10)

Noted that there is no fluctuation on the time direction, which means that we keep the time coordinate fixed. The normal vector should satisfy the condition Kinar:1999xu

nϕλϕgϕϕ+nzλzgzz=0,\displaystyle n_{\phi}\lambda_{\phi}g_{\phi\phi}+n_{z}\lambda_{z}g_{zz}=0, (11)
nϕ2gϕϕ+nz2gzz=1,\displaystyle n_{\phi}^{2}g_{\phi\phi}+n_{z}^{2}g_{zz}=1, (12)

where λϕ\lambda_{\phi} and λz\lambda_{z} are the parameters satisfying the tangent vector equation of string

z=zϕ=λzλϕ.z^{{}^{\prime}}=\frac{\partial z}{\partial\phi}=\frac{\lambda_{z}}{\lambda_{\phi}}. (13)

Now we have to fix the normal vector. The Hamiltonian of the string can be extracted from (4) as

H=Mz21z21Mz2+z2,H=\frac{Mz^{2}-1}{z^{2}\sqrt{1-Mz^{2}+z^{{}^{\prime}2}}}, (14)

which does not explicitly depend on ϕ\phi, so it is conserved. Then zz^{{}^{\prime}} could be written as

z=z2Mz21Mz21+z4(1Mz2)z4z21Mz2,z^{{}^{\prime}}=\frac{z_{*}^{2}\sqrt{Mz^{2}-1}\sqrt{Mz^{2}-1+\frac{z^{4}(1-Mz_{*}^{2})}{z_{*}^{4}}}}{z^{2}\sqrt{1-Mz_{*}^{2}}}, (15)

where zz_{*} is the turning point at the ϕ0\phi_{0} (see FIG.1). Then combining (11)-(13) and (15), we can solve out nzn_{z} and nϕn_{\phi} as

nz=z31Mz2z2,\displaystyle n_{z}=\frac{z^{3}\sqrt{1-Mz_{*}^{2}}}{z_{*}^{2}},
nϕ=z6Mz6z2z2z4+Mz4z4Mz2z4z4.\displaystyle n_{\phi}=\frac{\sqrt{z^{6}-Mz^{6}z_{*}^{2}-z^{2}z_{*}^{4}+Mz^{4}z_{*}^{4}}}{\sqrt{Mz^{2}z_{*}^{4}-z_{*}^{4}}}. (16)

Under the fluctuated string coordinates

X~t=t,\displaystyle\tilde{X}^{t}=t,
X~z=z+nzξn(t,ϕ),\displaystyle\tilde{X}^{z}=z+n_{z}\xi_{n}(t,\phi),
X~ϕ=ϕ+nϕξn(t,ϕ),\displaystyle\tilde{X}^{\phi}=\phi+n_{\phi}\xi_{n}(t,\phi), (17)

the induced metric (5) can be expanded as

h~tt=tX~ttX~tgtt+tX~ztX~zgzz+tX~ϕtX~ϕgϕϕ,\displaystyle\tilde{h}_{tt}=\partial_{t}\tilde{X}^{t}\partial_{t}\tilde{X}^{t}g_{tt}+\partial_{t}\tilde{X}^{z}\partial_{t}\tilde{X}^{z}g_{zz}+\partial_{t}\tilde{X}^{\phi}\partial_{t}\tilde{X}^{\phi}g_{\phi\phi},
=gtt+(nztξn)2gzz+(nϕtξn)2gϕϕ\displaystyle\;\;\;\;\;\;=g_{tt}+(n_{z}\partial_{t}\xi_{n})^{2}g_{zz}+(n_{\phi}\partial_{t}\xi_{n})^{2}g_{\phi\phi}
h~ϕϕ=ϕX~zϕX~zgzz+ϕX~ϕϕX~ϕgϕϕ\displaystyle\tilde{h}_{\phi\phi}=\partial_{\phi}\tilde{X}^{z}\partial_{\phi}\tilde{X}^{z}g_{zz}+\partial_{\phi}\tilde{X}^{\phi}\partial_{\phi}\tilde{X}^{\phi}g_{\phi\phi}
=[z+ϕ(nzξn)]2gzz+[1+ϕ(nϕξn)]2gϕϕ\displaystyle\;\;\;\;\;\;=[z^{\prime}+\partial_{\phi}(n_{z}\xi_{n})]^{2}g_{zz}+[1+\partial_{\phi}(n_{\phi}\xi_{n})]^{2}g_{\phi\phi}
=(z)2gzz+2zξnϕnzgzz+2znzϕξngzz+ξn2(ϕnz)2gzz\displaystyle\;\;\;\;\;\;=(z^{\prime})^{2}g_{zz}+2z^{\prime}\xi_{n}\partial_{\phi}n_{z}\cdot g_{zz}+2z^{\prime}n_{z}\partial_{\phi}\xi_{n}\cdot g_{zz}+\xi_{n}^{2}(\partial_{\phi}n_{z})^{2}g_{zz}
+2ξnnzϕnzϕξngzz+nz2(ϕξn)2gzz+gϕϕ+2ξnϕnϕgϕϕ\displaystyle\;\;\;\;\;\;+2\xi_{n}n_{z}\partial_{\phi}n_{z}\cdot\partial_{\phi}\xi_{n}\cdot g_{zz}+n_{z}^{2}(\partial_{\phi}\xi_{n})^{2}g_{zz}+g_{\phi\phi}+2\xi_{n}\partial_{\phi}n_{\phi}\cdot g_{\phi\phi}
+2nϕϕξngϕϕ+ξn2(ϕnϕ)2gϕϕ+2ξnnϕϕnϕϕξngϕϕ+nϕ2(ϕξn)2gϕϕ.\displaystyle\;\;\;\;\;\;+2n_{\phi}\partial_{\phi}\xi_{n}\cdot g_{\phi\phi}+\xi_{n}^{2}(\partial_{\phi}n_{\phi})^{2}g_{\phi\phi}+2\xi_{n}n_{\phi}\partial_{\phi}n_{\phi}\cdot\partial_{\phi}\xi_{n}\cdot g_{\phi\phi}+n_{\phi}^{2}(\partial_{\phi}\xi_{n})^{2}g_{\phi\phi}. (18)

After straightforward calculation, we can expand the det[h~ab]\det[\tilde{h}_{ab}] up to the second order and obtain the quadratic term

1TsdSNG(2)dt=𝑑ϕξn[(z2gzz+gϕϕ)t2+ϕ(gttϕ)[(ϕnz)2gzzgtt+(ϕnϕ2)gϕϕgtt]]ξn,\displaystyle\frac{1}{T_{s}}\frac{dS_{NG}^{(2)}}{dt}=\int d\phi\;\;\xi_{n}^{\dagger}\left[(z^{\prime 2}g_{zz}+g_{\phi\phi})\partial_{t}^{2}+\partial_{\phi}(g_{tt}\partial_{\phi})-[(\partial_{\phi}n_{z})^{2}g_{zz}g_{tt}+(\partial_{\phi}n_{\phi}^{2})g_{\phi\phi}g_{tt}]\right]\xi_{n}, (19)

where we have used the relation of the normal vector in (13). By defining a normal fluctuation operator as

On=(z2gzz+gϕϕ)t2+ϕ(gttϕ)[(ϕnz)2gzzgtt+(ϕnϕ)2gϕϕgtt],\displaystyle O_{n}=(z^{\prime 2}g_{zz}+g_{\phi\phi})\partial_{t}^{2}+\partial_{\phi}(g_{tt}\partial_{\phi})-[(\partial_{\phi}n_{z})^{2}g_{zz}g_{tt}+(\partial_{\phi}n_{\phi})^{2}g_{\phi\phi}g_{tt}], (20)

we can rewrite the quadratic terms (19) as

1TsdSNG(2)dt=nN𝑑ϕξnOnξn,\frac{1}{T_{s}}\frac{dS_{NG}^{(2)}}{dt}=\sum^{N}_{n}\int d\phi\xi_{n}^{\dagger}O_{n}\xi_{n}, (21)

which was proposed in Kinar:1999xu .

In principle, we can solve out ξn\xi_{n} from (21) by the equation of motion

Onξn=0,\displaystyle O_{n}\xi_{n}=0, (22)

however, it is a very difficult mission for us to go ahead. The difficulties come from two aspects : the first is that ξn\xi_{n} here are not a single field but a collection of all possible fields, so we cannot solve it by the separation method proposed for single filed Kinar:1999xu of which the authors treated it as an eigenvalue problem and separated ϕ(v,t)\phi(v,t) into eiωtϕ(v)e^{i\omega t}\phi(v) to solve it. The second is that the equation OnξnO_{n}\xi_{n} is highly complex, so analytical solution is a big challenge and numerical method is called for. Therefore, we shall shift our strategy and adopt an alternative approach to find ξn\xi_{n}, which will be elaborated in the next section.

IV Further study from the perspective of String Field Theory

In this section, we shall endow the quantum fluctuation on the probe string with a potential physical process and discuss what we can construct. The probe string living in BTZ black hole environment should be inevitably affected by the Hawking radiation deBoer:2008gu ; Atmaja:2010uu ; Lawrence:1993sg , besides, combining (8) and (21) further inspires us to interpret ξn\xi_{n} as the fluctuation fields caused by the Hawking radiation. It is noted that random fluctuations on the worldsheet caused by Hawking radiation can also lead to a random motion of the endpoint of the string on the boundary, which is dubbed holographic Brownian motion deBoer:2008gu . But here our case is different because we fix the two endpoints of the string on the boundary and only consider the fluctuation on the worldsheet. Then one interesting question we shall ask is which kind of physical quantity in the fluctuations can correspond to complexity/action growth caused by this process. We shall do some analysis and expect to give insight in this issue.

As we aforementioned that the quantum fluctuations could be excited by any kind of field so that the sum in (21) should collect all possible fields. Fortunately, inspired by the strategy in string field theory (SFT) Taylor:2003gn ; Fuchs:2008cc ; Erler:2019vhl , we can treat this set of fluctuations as a single object, called excited string fields (ESF) Ξ[ϕi,Aμ,]\Xi[\phi_{i},A_{\mu},...], where ϕi\phi_{i} and AμA_{\mu} are the scalar fields and U(1)U(1) gauge field, while the ellipsis denote other possible excited fields. Moreover, in our setup the worldline of the string is swept out by the endpoints attached to the boundary, so all of these components collectively form boundary conformal field theory. Thus, we shall apply SFT/BCFT correspondence Fuchs:2008cc ; Taylor:2003gn ; Rastelli:2005mz ; Taylor:2006ye ; Kiermaier:2008qu ; Kudrna:2012re to proceed.

We define a worldsheet’s excited space , BCFT\mathscr{H}_{BCFT} , which can be viewed as a tensor productor of “matter ” and “ghost” sectors Polchinski

BCFT=BCFTmBCFTgh,\mathscr{H}_{BCFT}=\mathscr{H}^{m}_{BCFT}\otimes\mathscr{H}^{gh}_{BCFT}, (23)

where mm and ghgh denote matter and ghost sectors, respectively. The ghost sector is a bcbc system that is characterized by anticommuting, holomorphic, and anti-holomorphic worldsheet fields b,b¯,c,c¯b,\bar{b},c,\bar{c}. Since the ghost sector comes from the gauge fixing process and its physics is usually not well understood, so here we do not consider the ghost sector for the fluctuations. For a state |ξnBCFT\ket{\xi_{n}}\in\mathscr{H}_{BCFT} , there exits a corresponding boundary operator VξnV_{\xi_{n}}, called vertex operator, so that we have

|ξn=Vξn|0.\ket{\xi_{n}}=V_{\xi_{n}}\ket{0}. (24)

Here |0\ket{0} is the SLSL(2, \mathbb{R}) vacuum in the boundary without vertex operator. Then we extend the vertex operator at the point ϕ0\phi_{0} as 𝒱(ϕ0)=:eiβnXμ(ϕ0):\mathscr{V}(\phi_{0})=:e^{i\beta_{n}X^{\mu}(\phi_{0})}: of which the integral form is

Vξn(ϕ0)=𝑑t𝑑ϕγ𝒱(ϕ0).V_{\xi_{n}}(\phi_{0})=\int dtd\phi\sqrt{\gamma}\mathscr{V}(\phi_{0}). (25)

Here, :::: means the normal ordering, and βn\beta_{n} is the charge of ξn\xi_{n} which plays the role of space-time momentum along the XμX^{\mu}. γ\gamma is the induced metric in the boundary. For a physical state |ξn\ket{\xi_{n}}, it must be a BRST invariant state in BCFT at ghost number 1, satisfying Erler:2019vhl ; Polchinski

Q|ξn=0,|ξn|ξn+Q|Λ,|ξn=ghostnumber 1,Q\ket{\xi_{n}}=0,\;\;\;\ket{\xi_{n}}\sim\ket{\xi_{n}}+Q\ket{\Lambda},\;\;\ket{\xi_{n}}=ghost\;number\;1, (26)

where QQ is the BRST operator and |Λ\ket{\Lambda} is ghost number 0 state. Recalling the equation of motion (22), we find that it is natural to treat the normal fluctuation operator OnO_{n} as the BRST operator QQ.

Next, we use the Schro¨dingerSchr\ddot{o}dinger representation for the excited worldsheet fields and consider Dirichlet boundary conditions of the probe string on both endpoints

Xμ(ϕ=0)=xμ,Xμ(ϕ=π)=xμ.X^{\mu}(\phi=0)=x^{\mu},\;\;X^{\mu}(\phi=\pi)=x^{\mu}. (27)

Subsequently, since the background metric is conformally flat near the boundary, so we can expand Xμ(t,ϕ)X^{\mu}(t,\phi) in (3) as Maccaferri:2023wrg

Xμ(ϕ)=xμ(ϕ)+(xϕc2μxϕc2μ)πϕ+2αn01nαnμsin(nϕ),X^{\mu}(\phi)=x^{\mu}(\phi)+\frac{(x^{\mu}_{\frac{\phi_{c}}{2}}-x^{\mu}_{\frac{-\phi_{c}}{2}})}{\pi}\phi+\sqrt{2\alpha^{{}^{\prime}}}\sum_{n\neq 0}\frac{1}{n}\alpha^{\mu}_{n}\sin(n\phi),\;\; (28)

or more explicitly in the form

z(ϕ)=z(ϕ)+2αn01nαnμsin[nϕ],\displaystyle z(\phi)=z(\phi)+\sqrt{2\alpha^{{}^{\prime}}}\sum_{n\neq 0}\frac{1}{n}\alpha^{\mu}_{n}\sin[n\phi],
ϕ=ϕc2+ϕcπϕ+2αn01nαnμsin[nϕ],\displaystyle\phi=-\frac{\phi_{c}}{2}+\frac{\phi_{c}}{\pi}\phi+\sqrt{2\alpha^{{}^{\prime}}}\sum_{n\neq 0}\frac{1}{n}\alpha^{\mu}_{n}\sin[n\phi], (29)

and the vertex operator (24) could be

Vξn(z)(ϕ0)=eiβnz×exp[i2αβnn0αnμnsin[nϕ0]],\displaystyle V_{\xi_{n}(z)}(\phi_{0})=e^{i\beta_{n}z_{*}}\times\exp[i\sqrt{2\alpha^{\prime}}\beta_{n}\sum_{n\neq 0}\frac{\alpha^{\mu}_{n}}{n}\sin[n\phi_{0}]],
Vξn(ϕ)(ϕ0)=eiβn(ϕ0π12)ϕc×exp[i2αβnn0αnμnsin[nϕ0]].\displaystyle V_{\xi_{n}(\phi)}(\phi_{0})=e^{i\beta_{n}(\frac{\phi_{0}}{\pi}-\frac{1}{2})\phi_{c}}\times\exp[i\sqrt{2\alpha^{\prime}}\beta_{n}\sum_{n\neq 0}\frac{\alpha^{\mu}_{n}}{n}\sin[n\phi_{0}]]. (30)

Then we define the overlap

Ξn[Xμ(ϕ)]=Xμ(ϕ)|Ξn,\Xi_{n}[X^{\mu}(\phi)]=\bra{X^{\mu}(\phi)}\Xi_{n}\rangle, (31)

where Ξn\Xi_{n} denotes the collection of excited fields on the worldsheet, depending on the curve XμX^{\mu} in the background. It is noticed that Ξn\Xi_{n} could also include the b(ϕ)b(\phi) and c(ϕ)c(\phi) fields, but here we do not consider this ghost sector. For the chosen point ϕ0\phi_{0} in the boundary, we calculate the correlation of the vertex operator in the worldsheet as

Ξn,Ξn=(IVξn(ϕ0))Vξn(ϕ0)worldsheet.\langle\Xi_{n},\Xi_{n}^{{}^{\prime}}\rangle=\langle(I\circ V_{\xi_{n}}(\phi_{0}))V_{\xi^{{}^{\prime}}_{n}}(\phi_{0})\rangle_{worldsheet}. (32)

where II denotes the Belavin-Polyakov-Zamolodchikov (BPZ) conjugation, I(a)=1aI(a)=-\frac{1}{a}. That is to say, the IVξn(ϕ0)I\circ V_{\xi_{n}}(\phi_{0}) corresponds to another point in the boundary. Thus, (32) contains two vertex operators, which are at ϕ0\phi_{0} and 1ϕ0-\frac{1}{\phi_{0}}, respectively, and the formula of the path integral over the worldsheet is

Ξn,Ξn=[dXμ](IVξn(ϕ0))Vξn(ϕ0)e(SNG(0)+SNG(2)).\langle\Xi_{n},\Xi_{n}^{{}^{\prime}}\rangle=\int[dX^{\mu}](I\circ V_{\xi_{n}}(\phi_{0}))V_{\xi^{{}^{\prime}}_{n}}(\phi_{0})e^{-(S^{(0)}_{NG}+S^{(2)}_{NG})}. (33)

Then we factorize this integration into three parts, saying outside (z>|z(ϕ)|)(z>\left|z(\phi)\right|), on (z=|z(ϕ)|)(z=\left|z(\phi)\right|), and below (z<|z(ϕ)|)(z<\left|z(\phi)\right|) the probe string,

Ξn,Ξn=\displaystyle\langle\Xi_{n},\Xi_{n}^{{}^{\prime}}\rangle= ϕc2ϕc2[dXμ]z=|z(ϕ)|ϕc2ϕc2[dXμ]z>|z(ϕ)|\displaystyle\int^{\frac{\phi_{c}}{2}}_{-\frac{\phi_{c}}{2}}[dX^{\mu}]_{z=\left|z(\phi)\right|}\int^{\frac{\phi_{c}}{2}}_{-\frac{\phi_{c}}{2}}[dX^{\mu}]_{z>\left|z(\phi)\right|} (34)
×ϕc2ϕc2[dXμ]z<|z(ϕ)|(IVξn(ϕ0))Vξn(ϕ0)e(SNG(0)+SNG(2)).\displaystyle\times\int^{\frac{\phi_{c}}{2}}_{-\frac{\phi_{c}}{2}}[dX^{\mu}]_{z<\left|z(\phi)\right|}(I\circ V_{\xi_{n}}(\phi_{0}))V_{\xi^{{}^{\prime}}_{n}}(\phi_{0})e^{-(S^{(0)}_{NG}+S^{(2)}_{NG})}.

by using the BPZ inverse, which takes the form

Ξn,Ξn\displaystyle\langle\Xi_{n},\Xi_{n}^{{}^{\prime}}\rangle =ϕc2ϕc2[dXμ]z=|z(ϕ)|(ϕc2ϕc2[dXμ]z<|z(ϕ)|Vξn(ϕ0)eSNG(0)SNG(2))\displaystyle=\int^{\frac{\phi_{c}}{2}}_{-\frac{\phi_{c}}{2}}[dX^{\mu}]_{z=\left|z(\phi)\right|}\left(\int^{\frac{\phi_{c}}{2}}_{-\frac{\phi_{c}}{2}}[dX^{\mu}]_{z<\left|z(\phi)\right|}V_{\xi_{n}}(\phi_{0})e^{-S^{(0)}_{NG}-S^{(2)}_{NG}}\right) (35)
×(ϕc2ϕc2[dXμ]z<|z(ϕ)|Vξn(ϕ0)eSNG(0)SNG(2)).\displaystyle\times\left(\int^{\frac{\phi_{c}}{2}}_{-\frac{\phi_{c}}{2}}[dX^{\mu}]_{z<\left|z(\phi)\right|}V_{\xi^{{}^{\prime}}_{n}}(\phi_{0})e^{-S^{(0)}_{NG}-S^{(2)}_{NG}}\right).

From (35), we can extract the induced string field on the worldsheet or the projection of excited fields of Hawking radiation on the worldsheet as

Ξn[Xμ(ϕ)]\displaystyle\Xi_{n}[X^{\mu}(\phi)] =[dXμ]Vξn(ϕ0)eSNG(0)SNG(2)\displaystyle=\int[dX^{\mu}]V_{\xi_{n}}(\phi_{0})e^{-S_{NG}^{(0)}-S_{NG}^{(2)}} (36)
=d(δXμ)Vξn(ϕ0)eSNG(0)SNG(2)\displaystyle=\int d(\delta X^{\mu})V_{\xi_{n}}(\phi_{0})e^{-S^{(0)}_{NG}-S^{(2)}_{NG}}
=nμ𝑑ξnVξn(ϕ0)eSNG(0)SNG(2).\displaystyle=\int n_{\mu}d\xi_{n}V_{\xi_{n}}(\phi_{0})e^{-S_{NG}^{(0)}-S_{NG}^{(2)}}.

In the second equality, we change the integration variable in term of the facts that dXμ=dX0+d(δX)dX^{\mu}=dX^{0}+d(\delta X) and dX0dX^{0} is fixed. In the third equality, we recall (8) and take nμn_{\mu} as a constant vector along the worldsheet. Then considering that 𝑑ξeSNG(2)\int d\xi e^{-S_{NG}^{(2)}} is a Gaussian integral, we shall further reduce the above formula into

Ξn[Xμ]=nμ𝑑t𝑑ϕπTsOnVξn(ϕ0)eSNG0,\Xi_{n}[X^{\mu}]=n_{\mu}\int dtd\phi\sqrt{\frac{\pi}{T_{s}O_{n}}}\cdot V_{\xi_{n}}(\phi_{0})e^{-S^{0}_{NG}}, (37)

which could be defined as the induced fields excited by Hawking radiation under the Schro¨\ddot{o}dinger functional representation. As expected, nμn_{\mu} appears here indicates that these fields are polarized and normal to the worldsheet. One interesting property we can read off from (37) is when the string tension TsT_{s} approaches to zero, the fields will blow up. This could be understood as that the structure of string worldhseet will be changed by the high Hawking temperature (Hagedorn temperature) when it goes near the horizon Giddings:1989xe ; Bowick:1989us ; Bagchi:2015nca .

Before closing this section, we shall present some discussions on our results. Firstly, we argue that Ξn[Xμ]\Xi_{n}[X^{\mu}] can be defined as the induced field excited by Hawking radiation based on the fact that the fluctuation of worldsheet can be caused by Hawking radiation as the probe string is in black hole environment, even though the physical quantities related to Hawking radiation are not reflected in (37). It is noticed that besides Hawking radiation, the fluctuations may also be triggered by other mechanisms, such as a scalar field on the worldsheet as a defect Garriga:1991tb , but here we take more care of the worldsheet fluctuation itself , which means that fields Ξn[Xμ]\Xi_{n}[X^{\mu}] are only curve-dependent. Secondly, in our analysis, we see that under the second-order fluctuation on the action/complexity growth, the two-point correlation emerge from the worldsheet’s perturbation. Moreover, (35) shows that the second order fluctuation of action growth of probe string indeed contributes to the correlation of vertex operators in the boundary conformal field theory in the form of functional path integrals. We argue that this may indicate a profound connection between complexity and the correlation function, which deserves further clarification.

V Conclusion

There are plenty of schemes to define complexity in quantum field theory and conformal field theory. Relating with gravity, one also has two holographic versions of complexity. So further studies on complexity in a suitable framework will help us to further understand complexity in physics. In this work, we handle with complexity in string field theory and expect to shed light on connecting complexity with correlation function in quantum field theory and holography.

We investigated the second-order quantum fluctuation of a probe string ending on the boundary of the BTZ black hole background. Since the string is in black hole environment, we assumed that the unique normal fluctuation on the string is introduced by the Hawking radiation. Considering that the fluctuation can also affect the complexity or action growth of the string and will bring in a high-order correction on the Nambu-Goto action. So we calculate the second-order correction on the Nambu-Goto action and obtain the normal fluctuation operator.

Moreover, in the SFT/BCFT framework, by treating the excited fields on the worldsheet as a single object, and further defining them as excited string field, we found that the normal fluctuation operator also can be viewed as a BRST operator. Then we calculated the correlation function of vertex operators which is given in the form of functional path integrals. This corresponds to the correlation function of the excited fields on the worldsheet. We then extracted the induced field excited by Hawking radiation under the Schro¨\ddot{o}dinger functional representation. Our study shows that under the second-order fluctuation on the action/complexity growth, the two-point correlation can emerge from the worldsheet’s perturbation. This indicates that somehow we may explain the complexity as scattering amplitude, which could be an interesting direct, for example, one should clarify the definition of the minimal path in the scattering amplitude, and so on. We hope to further study the related topics in the future.

Acknowledgements.
We appreciate Profs. Rui-Hong Yue, Ya-Peng Hu and Jian-Pin Wu for helpful and intriguing discussions. Moreover, We are grateful to Dr. Guo-Yang Fu and Dr. Kang Zhou for their constructive advice. This work is supported by National Natural Science Foundation of China (NSFC) under grant Nos. 12247170, 12175105, Top- notch Academic Programs Project of Jiangsu Higher Education Institutions (TAPP).

References