arXiv subjects

Run-Qiu Yang

Publications and source records attributed to Run-Qiu Yang.

At least 55 records · Page 3Linked to original sources

arXiv2020

Upper bound about cross-sections inside black holes and complexity growth rate

This paper studies cross-sections inside black holes and conjectures a universal inequality: in a static $(d+1)$-dimensional asymptotically planar/spherical Schwarzschild-AdS spacetime of given energy $E$ and AdS radius $\ell_{\text{AdS}}$, the ``size of cross-section'' inside black holes is bounded by $8πE\ell_{\text{AdS}}/(d-1)$. To support this conjecture, it gives the proofs for cases with spherical/planar symmetries and some special cases without planar/spherical symmetries. As one corollary, it shows that the complexity growth rate in complexity-volume conjecture satisfies the upper bound argued by quantum information theory. This makes a first step towards proving the conjecture that the vacuum black hole has fastest complexity growth in the systems of same energy. It also finds a similar bound for asymptotically flat black holes, which gives us an estimation on the largest interior volume of a large evaporating black hole.

hep-th↗

arXiv2020

Time evolution of the complexity in chaotic systems: concrete examples

We investigate the time evolution of the complexity of the operator by the Sachdev-Ye-Kitaev (SYK) model with $N$ Majorana fermions. We follow Nielsen's idea of complexity geometry and geodesics thereof. We show that it is possible that the bi-invariant complexity geometry can exhibit the conjectured time evolution of the complexity in chaotic systems: i) linear growth until $t\sim e^{N}$, ii) saturation and small fluctuations after then. We also show that the Lloyd's bound is realized in this model. Interestingly, these characteristic features appear only if the complexity geometry is the most natural "non-Riemannian" Finsler geometry. This serves as a concrete example showing that the bi-invariant complexity may be a competitive candidate for the complexity in quantum mechanics/field theory (QM/QFT). We provide another argument showing a naturalness of bi-invariant complexity in QM/QFT. That is that the bi-invariance naturally implies the equivalence of the right-invariant complexity and left-invariant complexity, either of which may correspond to the complexity of a given operator. Without bi-invariance, one needs to answer why only right (left) invariant complexity corresponds to the "complexity", instead of only left (right) invariant complexity.

hep-th↗

arXiv2020

Simulating quantum field theory in curved spacetime with quantum many-body systems

This paper proposes a new general framework to build a one-to-one correspondence between quantum field theories in static 1+1 dimensional curved spacetime and quantum many-body systems. We show that a massless scalar field in an arbitrary 2-dimensional static spacetime is always equivalent to a site-dependent bosonic hopping model, while a massless Dirac field is equivalent to a site-dependent free Hubbard model or a site-dependent isotropic XY model. A possible experimental realization for such a correspondence in trapped ions system is suggested. As applications of the analogue gravity model, we show that they can be used to simulate Hawking radiation of black hole and to study its entanglement. We also show in the analogue model that black holes are most chaotic systems and the fastest scramblers in nature. We also offer a concrete example about how to get some insights about quantum many-body systems from back hole physics.

gr-qc↗

arXiv2019

To be unitary-invariant or not?: a simple but non-trivial proposal for the complexity between states in quantum mechanics/field theory

We make comments on some shortcomings of the non-unitary-invariant and non-bi-invariant complexity in quantum mechanics/field theory and argue that the unitary-invariant and bi-invariant complexity is still a competitive candidate in quantum mechanics/field theory, contrary to quantum circuits in quantum computation. Based on the unitary-invariance of the complexity and intuitions from the holographic complexity, we propose a novel complexity formula between two states. Our proposal shows that i) the complexity between certain states in two dimensional CFTs is given by the Liouville action, which is compatible with the path-integral complexity; ii) it also gives natural interpretation for both the CV and CA holographic conjectures and identify what the reference states are in both cases. Our proposal explicitly produces the conjectured time dependence of the complexity: linear growth in chaotic systems. Last but not least, we present interesting relations between the complexity and the Lyapunov exponent: the Lyapunov exponent is proportional to the complexity growth rate in linear growth region.

hep-th↗

arXiv2019

Complexity of Holographic Superconductors

We study the complexity of holographic superconductors (Einstein-Maxwell-complex scalar actions in $d+1$ dimension) by the `complexity = volume' (CV) conjecture. First, it seems that there is a universal property: the superconducting phase always has a smaller complexity than the unstable normal phase below the critical temperature, which is similar to a free energy. We investigate the temperature dependence of the complexity. In the low temperature limit, the complexity (of formation) scales as $T^α$, where $α$ is a function of the complex scalar mass $m^2$, the $U(1)$ charge $q$, and dimension $d$. In particular, for $m^2=0$, we find $α=d-1$, independent of $q$, which can be explained by the near horizon geometry of the low temperature holographic superconductor. Next, we develop a general numerical method to compute the time-dependent complexity by the CV conjecture. By this method, we compute the time-dependent complexity of holographic superconductors. In both normal and superconducting phase, the complexity increases as time goes on and the growth rate saturates to a temperature dependent constant. The higher the temperature is, the bigger the growth rate is. However, the growth rates do not violate the Lloyd's bound in all cases and saturate the Lloyd's bound in the high temperature limit at a late time.

hep-th↗

arXiv2019

More on complexity of operators in quantum field theory

Recently it has been shown that the complexity of SU($n$) operator is determined by the geodesic length in a bi-invariant Finsler geometry, which is constrained by some symmetries of quantum field theory. It is based on three axioms and one assumption regarding the complexity in continuous systems. By relaxing one axiom and an assumption, we find that the complexity formula is naturally generalized to the Schatten $p$-norm type. We also clarify the relation between our complexity and other works. First, we show that our results in a bi-invariant geometry are consistent with the ones in a right-invariant geometry such as $k$-local geometry. Here, a careful analysis of the sectional curvature is crucial. Second, we show that our complexity can concretely realize the conjectured pattern of the time-evolution of the complexity: the linear growth up to saturation time. The saturation time can be estimated by the relation between the topology and curvature of SU($n$) groups.

hep-th↗

arXiv2019

Complexity of operators generated by quantum mechanical Hamiltonians

We propose how to compute the complexity of operators generated by Hamiltonians in quantum field theory (QFT) and quantum mechanics (QM). The Hamiltonians in QFT/QM and quantum circuit have a few essential differences, for which we introduce new principles and methods for complexity. We show that the complexity geometry corresponding to one-dimensional quadratic Hamiltonians is equivalent to AdS$_3$ spacetime. Here, the requirement that the complexity is nonnegative corresponds to the fact that the Hamiltonian is lower bounded and the speed of a particle is not superluminal. Our proposal proves the complexity of the operator generated by a free Hamiltonian is zero, as expected. By studying a non-relativistic particle in compact Riemannian manifolds we find the complexity is given by the global geometric property of the space. In particular, we show that in low energy limit the critical spacetime dimension to ensure the "nonnegative" complexity is the 3+1 dimension.

hep-th↗

arXiv2019

Principles and symmetries of complexity in quantum field theory

Based on general and minimal properties of the {\it discrete} circuit complexity, we define the complexity in {\it continuous} systems in a geometrical way. We first show that the Finsler metric naturally emerges in the geometry of the complexity in continuous systems. Due to fundamental symmetries of quantum field theories, the Finsler metric is more constrained and consequently, the complexity of SU($n$) operators is uniquely determined as a length of a geodesic in the Finsler geometry. Our Finsler metric is bi-invariant contrary to the right-invariance of discrete qubit systems. We clarify why the bi-invariance is relevant in quantum field theoretic systems. After comparing our results with discrete qubit systems we show most results in $k$-local right-invariant metric can also appear in our framework. Based on the bi-invariance of our formalism, we propose a new interpretation for the Schrödinger's equation in isolated systems - the quantum state evolves by the process of minimizing "computational cost."

hep-th↗

arXiv2018

Holographic entanglement of purification for thermofield double states and thermal quench

We explore the properties of holographic entanglement of purification (EoP) for two disjoint strips in the Schwarzschild-AdS black brane and the Vaidya-AdS black brane spacetimes. For two given strips on the same boundary of Schwarzschild-AdS spacetime, there is an upper bound of the separation beyond which the holographic EoP will always vanish no matter how wide the strips are. In the case that two strips are in the two boundaries of the spacetime respectively, we find that the holographic EoP exists only when the strips are wide enough. If the width is finite, the EoP can be nonzero in a finite time region. For thermal quench case, we find that the equilibrium time of holographic EoP is only sensitive to the width of strips, while that of the holographic mutual information is sensitive not only to the width of strips but also to their separation.

hep-th↗

arXiv2018

Holographic subregion complexity under a thermal quench

We study the evolution of holographic subregion complexity under a thermal quench in this paper. From the subregion CV proposal in the AdS/CFT correspondence, the subregion complexity in the CFT is holographically captured by the volume of the codimension-one surface enclosed by the codimension-two extremal entanglement surface and the boundary subregion. Under a thermal quench, the dual gravitational configuration is described by a Vaidya-AdS spacetime. In this case we find that the holographic subregion complexity always increases at early time, and after reaching a maximum it decreases and gets to saturation. Moreover we notice that when the size of the strip is large enough and the quench is fast enough, in $AdS_{d+1}(d\geq3)$ spacetime the evolution of the complexity is discontinuous and there is a sudden drop due to the transition of the extremal entanglement surface. We discuss the effects of the quench speed, the strip size, the black hole mass and the spacetime dimension on the evolution of the subregion complexity in detail numerically.

hep-th↗

arXiv2017

Comparison of holographic and field theoretic complexities by time dependent thermofield double states

We compute the time-dependent complexity of the thermofield double states by four different proposals: two holographic proposals based on the "complexity-action" (CA) conjecture and "complexity-volume" (CV) conjecture, and two quantum field theoretic proposals based on the Fubini-Study metric (FS) and Finsler geometry (FG). We find that four different proposals yield both similarities and differences, which will be useful to deepen our understanding on the complexity and sharpen its definition. In particular, at early time the complexity linearly increase in the CV and FG proposals, linearly decreases in the FS proposal, and does not change in the CA proposal. In the late time limit, the CA, CV and FG proposals all show that the growth rate is $2E/(π\hbar)$ saturating the Lloyd's bound, while the FS proposal shows the growth rate is zero. It seems that the holographic CV conjecture and the field theoretic FG method are more correlated.

hep-th↗

arXiv2017

A Complexity for Quantum Field Theory States and Application in Thermofield Double States

This paper defines a complexity between states in quantum field theory by introducing a Finsler structure based on ladder operators (the generalization of creation and annihilation operators). Two simple models are shown as examples to clarify the differences between complexity and other conceptions such as complexity of formation and entanglement entropy. When it is applied into thermofield double (TFD) states in $d$-dimensional conformal field theory, results show that the complexity density between them and corresponding vacuum states are finite and proportional to $T^{d-1}$, where $T$ is the temperature of TFD state. Especially, a proof is given to show that fidelity susceptibility of a TFD state is equivalent to the complexity between it and corresponding vacuum state, which gives an explanation why they may share the same object in holographic duality. Some enlightenments to holographic conjectures of complexity are also discussed.

hep-th↗

arXiv2017

The String Worldsheet as the Holographic Dual of SYK State

Recent studies of the fluctuations of an open string in AdS space show some pieces of evidence that the string with a worldsheet horizon could be a dual description of SYK model, as they saturate universal chaos bound and share the same symmetry. An open string hangs from the AdS boundary to the horizon of black brane could be dual to a 0+1 dimensional boundary state. To be specific, we find that the fluctuation of the string in charged BTZ black hole has an asymptotic scaling symmetry, and its Euclidean IR fixed point is governed by the quadratic order of Schwarzian action, which is just the low energy effective theory of the SYK model. Considering the open string worldsheet also has natural reparametrization symmetry, we conjecture that the action of the string worldsheet is a dual description of SYK state.

hep-th↗

arXiv2017

Surface Counterterms and Regularized Holographic Complexity

The holographic complexity is UV divergent. As a finite complexity, we propose a "regularized complexity" by employing a similar method to the holographic renormalization. We add codimension-two boundary counterterms which do not contain any boundary stress tensor information. It means that we subtract only non-dynamic background and all the dynamic information of holographic complexity is contained in the regularized part. After showing the general counterterms for both CA and CV conjectures in holographic spacetime dimension 5 and less, we give concrete examples: the BTZ black holes and the four and five dimensional Schwarzschild AdS black holes. We propose how to obtain the counterterms in higher spacetime dimensions and show explicit formulas only for some special cases with enough symmetries. We also compute the complexity of formation by using the regularized complexity.

hep-th↗

arXiv2017

Comments on Joint Terms in Gravitational Action

This paper compares three different methods about computing joint terms in on-shell action of gravity, which are identifying the joint term by the variational principle in Dirichlet boundary condition, treating the joint term as the limit contribution of smooth boundary and finding the joint term by local SO(1,$d-1$) transformation. In general metric gravitational theory, we show that the differences between these joint terms are some variational invariants under fixed boundary condition. We also give an explicit condition to judge the existence of joint term determined by variational principle and apply it into general relativity as an example.

gr-qc↗

arXiv2017

Strong energy condition and complexity growth bound in holography

This paper proves that if eternal neutral black holes satisfy some general conditions and matter fields only appear in the outside of the Killing horizon, the strong energy condition is a sufficient condition to insure that the vacuum Schwarzschild black hole has the fastest action growth of the same total energy. This result is consistent with the bound of computational complexity growth rate and gives a strong evidence for the holographic complexity-action conjecture.

gr-qc↗

arXiv2016

Complexity Growth for AdS Black Holes

Recently a Complexity-Action (CA) duality conjecture has been proposed, which relates the quantum complexity of a holographic boundary state to the action of a Wheeler-DeWitt (WDW) patch in the anti-de Sitter (AdS) bulk. In this paper we further investigate the duality conjecture for stationary AdS black holes and derive some exact results for the growth rate of action within the Wheeler-DeWitt (WDW) patch at late time approximation, which is supposed to be dual to the growth rate of quantum complexity of holographic state. Based on the results from the general $D$-dimensional Reissner-Nordström (RN)-AdS black hole, rotating/charged Bañados-Teitelboim-Zanelli (BTZ) black hole, Kerr-AdS black hole and charged Gauss-Bonnet-AdS black hole, we present a universal formula for the action growth expressed in terms of some thermodynamical quantities associated with the outer and inner horizons of the AdS black holes. And we leave the conjecture unchanged that the stationary AdS black hole in Einstein gravity is the fastest computer in nature.

gr-qc↗

arXiv2016

On the critical behaviour of gapped gravitational collapse in confined spacetime

The gravitational collapse of a massless scalar field enclosed with a perfectly reflecting wall in a spacetime with a cosmological constant $Λ$ is investigated. The mass scaling for the gapped collapse $ M_{AH}-M_g \propto (ε_c-ε)^ξ$ is confirmed and a new time scaling for the gapped collapse $T_{AH}-T_g\propto(ε_c-ε)^ζ$ is found. We find that both of these two critical exponents depend on the combination $ΛR^2$, where $R$ is the radial position of the reflecting wall. Especially, we find an evolution of the critical exponent $ξ$ from $0.37$ in the confined asymptotic dS case with $ΛR^2=1.5$ to $0.7$ in asymptotic AdS case ($ΛR^2\rightarrow-\infty$), while the critical exponent $ζ$ varies from $0.10$ to $0.26$, which shows the new critical behavior for the gapped collapse is essentially different from the one in the Choptuik's case.

gr-qc↗