Holographic quantum information and (de)confinement
Full text
Holographic quantum information and (de)confinement Andrei T. Patrascu1 1ELI-NP, Horia Hulubei National Institute for R&D in Physics and Nuclear Engineering, 30 Reactorului St, Bucharest-Magurele, 077125, Romania email: andrei.patr[email protected] Analysing the phenomenon of deconfinement from a holographic point of view, it appears that the brane configuration in the bulk, corresponding to the confinement phase imposes a restriction on the strength of the holographic quantum error correction procedure. This restriction is partially removed when the transition to a deconfined phase occurs. The brane configurations corresponding to the bulk instantons are analysed and it is shown that they cannot reach the region of the bulk that would ensure maximal error protection in the confinement phase, while keeping non-zero instanton size. In the deconfinement phase on the other side, we have a configuration that allows a higher degree of quantum error protection, still preventing the maximal protection allowed by the holographic principle. This suggests that the strength of quantum error correction codes in QCD systems is fundamentally limited both in confinement and deconfinement phases. INTRODUCTION AND REVIEW OF USEFUL CONCEPTS Following the holographic revolution and the introduction of the AdS/CFT duality, condensed matter physics changed dramatically up to the point where its foundations have been re-written using the language of quantum gravity, and in certain limits, that of general relativity [1]. This duality has allowed us to explore regimes of quantum many body systems that are completely inaccessible by other more conventional means. The holographic principle became particularly pertinent in the physics of non-Fermi liquid states of matter in finite density systems of strongly interacting fermions [2]. There it suggested that a new principle is at work, one that is connected to the physics of compressible quantum matter: the nature of the state of matter is governed, as it seems, by a macroscopic quantum entanglement involving all of its constituents. Large scale entanglement seemed to be particularly expressive in determining what type of quantum states we detect [3]. However, it remained unclear how holography would link to quantum information. The AdS/CFT duality can be derived from string theory in certain limits and this suggested that indeed, maybe general relativity is part of the quantum theory of strings. In a sense this led L. Susskind to claim that general relativity is a description of quantum mechanics. Quantum field theory, as a theoretical construction of its own, is as far removed from general relativity as one can think. While it was clear how to resolve certain quantum field theories in curved background, the actual calculations in the cases when the gravitational field was sufficiently strong that second order effects would become relevant became soon intractable. The old problem of non-renormalisability of gravity comes into mind here. However, Maldacena’s discovery connected quantum field theory and general relativity in a beautiful way. He showed that in certain limits, these two theories can be two aspects of the same theory. General relativity and quantum field theory seem to be dual to each other in a deep and absolute way [4]. After the discovery of the duality, Gubster, Klebanov, Polyakov, and Witten (GKPW) discovered a set of mathematical rules showing how one can relate results in the gravitational side of the duality with results in the conformal field theory side of it [5]. But at the fundamental level, one has to remember that AdS/CFT is actually relating stringy quantum gravity to certain quantum field theories. The string theory side of the duality remains notoriously hard to understand as string theory is extremely difficult to work with. However it seems very likely that many aspects of physics at various scales are controlled by the physics of quantum strings. If we consider certain limits, stringy quantum gravity becomes basically a solution of general relativity and that can directly be linked to field theory. These limits are by themselves interesting. They specifically require that the field theory would have matrix valued fields of rank Nand that one considers the regime of large Nand strong coupling. The standard example would be a very strongly coupled SU(N) Yang-Mills theory with a very large number of colours. Within this limit one may look for solutions using general relativity and re-trace them in quantum field theory by means of our holographic dictionary. We would certainly like to consider a method to free ourselves from the large N limit but when this is being tried, the difficulties of quantum gravity become manifest and the results are hard to control. However, there are various situations where this large Nlimit is not that much of a problem. We have two related concepts, the one called UV-independence in string theory which is equivalent with ”strong emergence” as used by condensed matter physicists. Both underline the independence of macroscopic phenomena from the underlying microscopic degrees of freedom. The origin of this observation can be related to the construction of statistical physics by Boltzmann at the end of the nineteenth century. This led to the description of the basic phases of thermal matter and the generalisation to the arXiv:1811.02889v4 [hep-th] 1 Aug 2023
2 zero temperature quantum matter in the form of Landau style order parameter theories describing superfluids or superconductors. The culmination of this reasoning was the description of Fermi liquids. However the next step to be taken was that of the Wilsonian renormalisation group. Holography is capable of expressing the resulting strongly emergent theories of matter by means of the language of general relativity. This leads to the possibility of predicting the states of matter that are ruled by macroscopic quantum entanglement. The renormalisation group refers to the property of a field theory that, by tracing out the short distance degrees of freedom one induces a flow in the parameters of the theory that describes how the theory changes as one lowers the scale. This scaling direction turns out to be related to the extra geometrical dimension of the gravity dual. The scaling flow of the field theory becomes fully encoded in the geometrical properties of the higher dimensional spacetime which is governed by Einstein’s field equations. Counting the degrees of freedom in a gravitational theory is equivalent to counting the degrees of freedom of a quantum field theory in a dimension fewer. In the AdS/CFT theory, the first part is represented by the well known Anti-de-Sitter space which represents the general relativity side of the duality. It is a solution of Einstein’s equations with negative cosmological constant and it is the Lorentzian higher-dimensional generalisation of a hyperboloid. Light-like propagation will reach the edge of this spacetime in a finite time. Hence the gravity theory will have to be supplemented with a boundary and the information therein. This boundary is where the field theory lives and the RG flow is associated to the extra radial dimension moving towards the centre of the AdS space. The second part is the conformal field theory. Conformal field theories describe the universal behaviour at second order phase transitions. Here however they do appear naturally as zero-temperature relativistic field theories. They are quantum critical theories describing the near zero temperature quantum phase transitions controlled by another external parameter. Basically the holographic principle tells us that the quantum theory of gravity can be written in one fewer spatial dimensions. However we know that low energy physics has a simple description in 3+1 dimensions. If these processes should have an equivalent description in a lower dimensional theory we may ask how come that a local quantum field theory in 3+1 dimensions is usually described by a larger dimensional Hilbert space than the 2+1 dimensional one. One may think of a special sector of the quantum field theory which is mapped into a lower dimensional theory. But which one? And how is the mapping working? This is a special question to be asked in quantum information theory where mapping one Hilbert space into another is a fundamental problem about safely encoding information and storing it in a way that is safe against errors [6], [7]. For this to work we may start with a logical Hilbert space Hlogical and a physical Hilbert space Hphys. The error correcting code is given by an encoding map E:Hlogical → Hphys and a decoding map D:Hphys → Hlogical. Clearly the dimension of Hphys will be larger than the dimension of Hlogical as the logical information to be encoded will use more physical degrees of freedom to safely encode it. The image of the encoding map will define a subspace Hcode which is known as the error correcting code. An error correcting code protects agains an error Aif for ρ∈ Hlogical we have that (D◦A◦E)(ρ) = ρ. A class of error correcting codes is known as the stabiliser codes. They are being defined by a stabiliser group which is a subgroup of the Pauli group on nqubits. The Pauli group Gnis formed from all the n-fold tensor products of Pauli operators. A stabiliser group is given by a set of generators drawn from the Pauli group. A stabiliser code is defined as the joint +1 eigenspace of the generators of the stabiliser group. Consider the physical Hilbert space made up of three qutrits: Hphys =H1⊗H2⊗H3with the stabiliser group generated by the elements S1=X·X·Xand S2=Z·Z·Zwhere Xand Zare the generalised Pauli operators acting on qutrits. The positive eigenstates will be defined by Si|ψ⟩=|ψ⟩for all i. The states satisfying this property are |0L⟩=1 √3|000⟩+|111⟩+|222⟩ |1L⟩=1 √3|012⟩+|201⟩+|120⟩ |2L⟩=1 √3|021⟩+|102⟩+|210⟩ (1) The subspace defined by the three states |0L⟩,|1L⟩,|2L⟩ generates an error correcting code capable of correcting against the erasure of any one of the qutrits. That means there is an unitary operator U12 such that U12 ⊗I|i⟩123 =|i⟩1⊗|χ⟩23 (2) where |χ⟩=1 √3(|00⟩+|11⟩+|22⟩). Therefore one Hilbert space can be encoded into another larger one with some redundancy. This means that some loss of parts of the larger Hilbert space can still allow the recovery of the encoded state without breaking the no-cloning theorem. The AdS/CFT duality states that ZCF T [J] = ZAdS[Φ →J] (3) where the CFT involves some external sources Jand the AdS partition function contains fields that have boundary conditions defined by those sources. The quantum error correction code can naturally be transferred into the AdS/CFT context. The Ryu Takaianagi theorem gives us the area of a bulk region γAusing the data of the boundary interval A. If we focus on subintervals of A we can calculate the area of an infinite family of regions that sweep the entire region enclosed by γA. Thus the region enclosed by the minimal surface γAlabeled D(A) is the region that can be reconstructed from A. We also
3 have to consider the causal bulk domain of dependence of D(A) which we denote W(A) and call the entanglement wedge of A. Considering an operator OW(A)at the point xinside the entanglement wedge of A, we may use it to probe the bulk region and by the reconstruction theorem there should be a dual operator OAliving in the boundary theory with the property that Tr(ρW(A)OW(A)) = Tr(ρAOA) (4) However a single bulk point lies in the entanglement wedge of many different boundary regions the bulk to boundary encoding in AdS/CFT has the structure of an error correcting code. It can also be seen that the deeper the operator lies in the bulk the more it is protected against accidental erasures. One can understand this with a simplified 2+1 dimensional AdS space. Therefore let us define this metric as ds2=l2 AdS(−cosh2(ρ)dt2+dρ2+sinh2(ρ)dθ2) (5) with ρ∈R+,t∈R+,θ∈[0,2π], and lAdS being the AdS radius. If we want to look at a constant time slice then it will have the metric ds2= (dρ2+sinh2(ρ)dθ2). The AdS2+1 space can be seen as a cylinder. A convenient coordinate system for the AdS space is the Poincare system. It does not cover the entire space but only a restricted region called the Poincare patch. Its metric is ds2=l2 AdS z2(−dt2+dz2+dxµdxµ) (6) where 0 ≤z < ∞, and t, x ∈R.The boundary of the AdS space can be seen as the surface of the cylinder. Using global coordinates this will appear at ρ→ ∞ while in Poincare coordinates it appears at z= 0. In this example the conformal field theory is 1 + 1 dimensional. In this scenario the surfaces in the bulk we will be interested in will be spacelike geodesics anchored at two boundary points. These geodesics form semicircles. The length of such a geodesic is A=lAdS 2GN ln(L ϵ) (7) where L is the size of the boundary interval on which the geodesic is anchored and z=ϵdefines the cutoff surface as we approach the boundary. The entanglement entropy of a single interval in a 1 + 1 dimensional CFT is given by S(A) = c 3log(L ϵ) (8) with cthe central charge determined by the type of CFT we work with and ϵis a cutoff eliminating the modes of wavelength shorter than itself. The length of the boundary anchored geodesics in AdS space and the entanglement entropy of the same boundary interval correspond if c=3lAdS 2GN (9) and if the UV cutoff in the CFT is identified with the long distance zcutoff in AdS. The Ryu Takayanagi formula the is conjectured to be S(A) = min γA L(γA) 4G(10) where {γA}are all the spacelike curves anchored in region A. When additional fields aside of the metric are present in the gravitational bulk the Ryu-Takayanagi formula is modified to take them into account as S(A) = min γA L(γA) 4G+S(ρW(A)) (11) where S(ρW(A)) is the entropy of the fields in the region enclosed by γA. However the RT formula depends on the existence of a preferred time slicing of the AdS spacetime. This may not be the same in generalisations to other spacetimes. The minimal surfaces γAshould retain their meaning and hence they must lie in a well chosen time slice. If that were not so, i.e. if they could be chosen in any Cauchy slice of AdS with the region Aon its boundary one could always take the minimal length as close to zero as one wishes by approaching the slice to being lightlike. For a spacetime with a timelike Killing vector (a static spacetime) and boundary conditions which are at a constant time t=t0the bulk Cauchy slice defined by t=t0contains the appropriate minimal curve. In other situations however the Ryu Takayanagi formula is replaced by the Hubeny-Ranganmani-Takayanagi formula S(A) = extremalγA L(γA) 4G(12) The procedure of minimisation is therefore replaced with an extremisation. Assuming the null energy condition this formula is equivalent with the so called maximin prescription leading to S(A) = max Σ(min γA L(γA) 4G) (13) meaning that for each bulk Cauchy slice Σ we search all possible curves γA, take out the shortest, and define it to be γΣ. The length of the longest of the γΣgives the entanglement entropy of A. It is therefore suggested by the maximin description of the entanglement entropy that the AdS/CFT duality is an encoding of one Hilbert space into another. Using the equality of partition functions we see how the encoding of the boundary Hilbert space into the bulk Hilbert space occurs. Once we specify the boundary state and solve the bulk equations of motion to
4 determine the bulk fields we can reverse the mapping and take the limits of the bulk fields towards the boundary to recover boundary data. If however there is no timelike killing vector then it has been shown that certain tensor networks can represent the features of the geometry of arbitrary Cauchy slices in any asymptotically AdS spacetime [31], [32], [33]. The toy model that could be used is representing this spacetime in a discrete manner being based on tensor networks in which the length on the network is defined by the mutual information. Random tensor networks can further represent the situation in which there is no isometry in the time direction. Indeed the RT formula holds without restrictions on a graph geometry and one is capable of proving the RT formula even when there are no bulk legs available. A network constructed on any graph will display the RT formula and in particular there are no conditions for isometry in the case when no bulk legs are present. To understand this better it is necessary to look at the formulation of tensor networks in holographic contexts. The tensor network itself defines the pattern of index contractions of a set of objects that together form a quantum state. Each vertex of the network corresponds to a quantum state and each line corresponds to a ket or bra index. The directionality of the line indicates kets (inward arrows) and bra (outward arrows). A maximally entangled state therefore would correspond to a vertex with two inward oriented arrows (or outwards oriented arrows for the dual representation). Often one writes the quantum states without including their basis vectors in a tensor network hence for a maximally entangled state we may write |Ψ+⟩=δab leaving the basis choice implicit. Ket indices are lowered and bra indices are raised and hence ⟨Ψ+|=δab. In general if we have a quantum state |ϕ⟩=Pa,b Tab |a⟩|b⟩ then we can assume it is fully specified by the tensor Tab. The fundamental operation of a tensor network is the composition of two quantum states for example Tabcd and Sefgh as defined by the use of maximally entangled bra states Tabcd ◦Sefgh →Tabcdδceδdf Sefgh. This is of course not unique as different pairs of indices could be contracted. The contraction pattern of two or more quantum states is described by means of a graph. States are associated with vertices and each line is associated to an index. Contraction means placing maximally entangled pairs on the edges and connecting inward and outward going lines. Operators and observables acting on quantum states are represented as vertices having both inward and outward lines attached hence will be written as tensors with both upper and lower indices. Indices can be raised and lowered by contracting with maximally entangled pairs. Therefore an operator can be mapped to a state Mb a→Mab =Mc aδcb and states to operators. The density matrix corresponding to the state |ϕ⟩=Pa,b Tab |a⟩|b⟩is ρAB =X ab Tab(T∗)cd |a⟩⟨c|A⊗|b⟩⟨d|B(14) Partial trace is represented by contraction of the corresponding inward or outward indices. It has been noticed early on by Van Raamsdonk and others that given a thermofield double state |Ψ⟩=X i e−βEi/2|Ei⟩A⊗|Ei⟩B(15) with Aand Bthe Hilbert spaces of the two CFTs this would correspond to a wormhole geometry in the bulk. The entanglement between the two subsystems Aand B being responsible for for the bulk wormhole connection between the different spacetimes. One may use the parameter βto decrease the entanglement entropy between Aand Band observe that the area of the wormhole neck will decrease pinching off the wormhole as the entanglement vanishes. This shows that entanglement builds geometry in the bulk. An isometry group of a manifold is the group of bijective maps that can preserve distance as defined by the respective metric. The infinitesimal generators are the Killing fields and the Lie derivative of the metric along the Killing fields vanishes. For a tensor network we have a cut γthat divides the network into two regions say Cand ¯ C. On this cut we can define a state |Ψ⟩B¯ B. The regions Cand ¯ Chave bulk legs associated to the corresponding indices. We can project on those indices and obtain the bulk state |Φ⟩W(A)W(¯ A). A subregion isometry exists if given a cut of minimal length γA anchored on a boundary region A, the tensor network defines the maps C:HW(A)B→Aand ¯ C:HW(¯ A)¯ B→H¯ A both being isometries meaning they preserve the distance between the two regions. A network with subregion isometry leads to both the RT formula and to the quantum error correction property. Given such a network we can construct a state |Ψ⟩=C⊗¯ C(|Ψ⟩B¯ B⊗|Φ⟩W(A)W(¯ A)) (16) The reduced density matrix of a subregion Awill be ρA=Tr ¯ A(C⊗¯ C(|Ψ⟩⟨Ψ|B¯ B⊗|Φ⟩⟨Φ|W(A)W(¯ A))C†⊗¯ C†) (17) by the cyclic property of the trace and using ¯ C†C=I one derives ρA=C[Tr ¯ B(|Ψ⟩⟨Ψ|B¯ B)⊗TrW(¯ A)(|Φ⟩⟨Φ|W(A)W(¯ A))]C† (18) The von Neumann entropy is not changed under conjugation by an isometry hence S(ρA) = S(Tr ¯ B(|Ψ⟩⟨Ψ|B¯ B)) + S(ρW(A)) =|γA|log(D) + S(ρW(A))(19)
5 here |γA|is the number of legs cut by γand Dis the dimension of a single leg. |γA|log(D) is the length of the cut and hence S(ρA) = min γA L(γA) + S(ρW(A)) (20) which is the RT formula including the bulk entropy term. The subregion isometry also leads to the error correction property. This property requires that there exists a boundary operator OAon the region Afor every bulk operator OW(A)living in the entanglement wedge such that Tr(ρAOA) = tr(ρW(A)OW(A)) (21) In a tensor network these operators can be constructed by defining OA=C(OW(A)⊗IB)C†(22) Then Tr(ρAOA) = Tr(ρAC(OW(A)⊗IB)C†) = Tr(C†ρAC(OW(A)⊗IB)) (23) and C†ρAC=ρW(A)⊗ρBleading precisely to the error correction Tr(ρAOA) = Tr((ρW(A)⊗ρB)(OW(A)⊗IB)) = tr(ρW(A)OW(A)) (24) where use has been made of the fact that both Cand ¯ Care isometries. Various types of networks featuring these properties have been constructed. Such networks are in general toy models displaying features similar to AdS/CFT. The boundary legs associated to the corresponding indices are the CFT degrees of freedom while the tensor networks graph geometry is represented as the geometry of a bulk Cauchy slice. It is known that the basic formulation of the RT formula must be extended when one deals with dynamic spacetimes to the HRT formula or the maximin formula. To incorporate this in a tensor network the definition of length must be modified as compared to the one used for static spacetimes. Dynamical spacetimes can be used as a benchmark to infer the connection between bulk and boundary in the case in which no direct isometry exist between the two regions. Even if the spacetime is static, the tools associated to this development help in linking with a highly non-trivial bulk as the one encoding the phase transition between confinement and deconfinement. In particular, a modification of the error correction capabilities of the bulk can be linked to the existence of a phase transition. Therefore I suspect the possibility of connecting various phases of gauge theories not only with the simple existence of large scale entanglement or other intrinsically material quantities, but also with various measures originating in quantum computing and quantum information, as is the capacity of implementing quantum error correction, discussed in this article. The definition of length used customary in tensor networks, namely LG(γ) = log(dim(γ)) (25) will not be sufficient anymore. The new definition of length will include the notion of a quantum state residing on a cut. From the maximin formula S(A) = max Σ(min γA L(γA)) (26) on each spacelike slice of the boundary Σ with the chosen boundary and the subset Aof the slice we calculate the length of the minimal surface homologous to Aand from the set of all those lengths we choose the largest one. This will generate the entropy S(A). The maximisation step provides us with a bound on the minimal length by the entropy min γA L(γA)≤S(A) (27) This restricts the possible definitions of the length L(γA). The rank bound on the entanglement entropy would ask that S(A)≤min γA (log(dim(γA))) = min γA LG(γ) (28) This is the exact opposite inequality leaving the sole possibility S(A) = minγALG(γ) for all the networks in the
6 set we optimise over. Every network in that set must therefore contain the extremal curve anchored in A. If we repeat for each of the boundary regions we arrive at the conclusion that every network must contain the extremal curves for each boundary network, which is impossible in a dynamical spacetime where exactly no one slice should contain all of the extremal curves. We therefore need a new definition of the graph length. There indeed exists a definition of L(γ) in which S(A) = L(γA iso) if an isometric cut exists in the set of networks associated with the boundary state. We first calculate the boundary state on Ain terms of the operators defined by an isometric cut γA iso. We obtain ρA=CT r ¯ B(|Ψ⟩⟨Ψ|)C†(29) But Cis an isometry and hence we have S(ρA) = S(Tr ¯ B(|Ψ⟩⟨Ψ|)). Any cut has a state associated with it. In particular for an isometric cut we have |γiso⟩=|Ψ⟩B¯ B(30) Therefore defining the length as the entropy of one side of |Ψ⟩would provide us with S(A) and in a more symmetric form we can define the length by means of mutual information L(γA iso) = 1 2I|γ⟩(B:¯ B) (31) We allow extra index legs in forming our network because we need them for bulk construction. At this point it is clear how this allows us to deal with time evolutions in the bulk and boundary in a simple way. Let us have a tensor network with the isometric subregion property. We can evolve the bulk state forward in time by applying an operator to a portion of its Hilbert space. We can then project this bulk state to the boundary by projecting it into the tensor network and we can then push through this time evolution operator to the interior legs of the tensor network. The time evolution operator can then be treated as the same type of deformations to the network as the ones considered for dynamical spacetimes and hence local time evolution on the network leads to deformations of the Cauchy slice. This works best for random tensor networks. CONFINEMENT-DECONFINEMENT TRANSITION AND QUANTUM ERROR CORRECTION The previous section was an important review of some concepts that will clarify the procedures we will perform in what follows and make them well defined. The use of tensor networks as toy models for holography in connection with quantum error correction measures can improve our thinking about the phase structure of a four dimensional SU(N) pure Yang Mills theory at finite temperature and large N. The ZNsymmetry of this theory along the temporal cycle, which is also the centre of the SU(N) symmetry has as order parameter the temporal Polyakov loop W0=1 NTr(PeiRβ 0A0dx0) (32) The vanishing of this operator indicates the preservation of the ZNsymmetry and hence physical quantities do not depend on the temporal radius β/2πat O(N2). Also, the preservation of the ZNsymmetry implies that the confinement phase is dominant, which happens at low temperatures. At high temperatures we have a broken ZNsymmetry, a deconfinement phase and W)= 0. At intermediate temperatures we have therefore to find a phase transition. In the confinement phase the free energy does not depend on temperature and hence the entropy becomes zero at O(N2) while in the deconfinement phase the entropy will be O(N2). That means that in the confinement phase we have no gluons in the spectrum, which would have O(N2) degrees of freedom, but instead we only have gauge singlet states like glueballs leading to O(1) order entropy. Looking at SU(N) pure Yang Mills theory from a holographic point of view, in the bulk we may start from a 10 dimensional Euclidean spacetime with an S1cycle and consider D4 branes wrapping this S1cycle. The coordinate around this cycle is x4and the periodicity is L4. The effective theory on this brane will be a 5-dimensional supersymmetric Yang-Mills theory on S1 L4. If we consider fermions on the brane the boundary conditions can be antiperiodic or periodic. The choice of antiperiodic boundary conditions will produce fermion masses according to the Kaluza Klein mechanism proportional to the scale 1/L4and that will produce supersymmetry breaking according to the Scherk-Schwarz mechanism inducing masses for the adjoint scalars and for A4proportional to λ4/L4up to one loop. Given the dynamical scale ΛY M = Λexp[−1/(bλ4)] and λ4defined as the value of the coupling at the cut-off scale Λ while bis the first coefficient of the βfunction, then if λ4is small and the dynamical scale is much smaller than the mass scales the fermions and adjoint scalars decouple and we reduce the 5-dimensional supersymmetric Yang-Mills theory to a 4-dimensional Yang Mills theory. In the large Nlimit at low temperatures the gravity dual of the compactified SYM theory consists of a solitonic D4 brane solution wrapping around the S1 L4. The metric is
7 ds2=α′[u3/2 √d4λ5(dt2+P3 i=1 dx2 i+f4(u)dx2 4) + √d4λ5 u3/2(du2 f4(u)+u2dΩ2 4)] f4(u)=1−(u0 u)3 eϕ=λ5 (2π)2N(u3/2 √d5λ5)1/2 (33) where λ5=λ4·L4is the Yang Mills coupling on the D4 world-volume and d4is found as the particular case p= 4 in dp= 27−2pπ9−3p)/2Γ(7−p 2) (34) and in order to avoid conical singularities as our x4cycles can be reduced to zero for u=u0the asymptotic radius must be chosen such that L4 2π=√d4λ5 3u−1/2 0(35) We compactify Euclidean time in the boundary theory on a circle with periodicty β= 1/T while keeping the temperature way below the Kaluza-Klein scale T << λ4/L4. Fixing the periodicity of the fermions in the gauge theory along the time cycle determines the gravitational theory. Along the (t, x4) directions we can fix periodic or anti-periodic fermionic boundary conditions. Considering gravity theory compactified on S1 β×S1 L4and choosing (P, AP ) boundary conditions for the fermions we obtain a non-trivial phase boundary clarifying the transition between confinement and deconfinement. It has been promoted in [8] that the phase structure of the 5-dimensional SYM on S1 β×S1 L4with (P, AP ) boundary conditions has a strong coupling region described by type II supergravity and characterised by a Gregory-Laflamme phase transition occurring at a temperature βGL =C3 C4 L4 λ4∼ =8.54L4 λ4 (36) In the weak coupling region the 4-dimensional Yang Mills is realised at low temperatures (β >> L4 λ4). Although this region is common to the (P, AP) region and to the (AP, AP ) region the mirror under Z2(β↔L4) does not exist since the (P, AP ) boundary condition is not Z2symmetric. The resulting localised solitonic D3 phase has the same order parameters as the deconfinement phase and hence these two phases may be smoothly connected. In the proposal of [8] the Gregory-Laflamme transition in the IIB frame has been identified with the confinement deconfinement transition in gauge theory. In the Gregory-Laflamme transition, the distribution of the D3 branes on the dual circle changes from a uniform distribution at low temperatures to a localized one at high temperatures. Since the 5D gauge theory of the D4 branes is a IIA theory, to transition to D3 branes we consider a T-duality along the temporal direction. Considering this, X0being transverse to the D3 brane is mapped to the gauge potential A0on the D4 brane. The D3 brane distribution on the dual circle is related to the eigenvalues of the Polyakov loop operator exp(iθk)δkl = [Pexp(iRβ 0A0dt)]kl, k, l = 1, ..., N (37) If the D3 branes are uniformly distributed, then we can consider θk= 2πk/N and the temporal Polyakov loop operator becomes W0=1 NTrPeiRβ 0A0dx0=1 N N X k=1 e2πik/N = 0 (38) Hence this distribution corresponds to the confinement phase. If the D3 branes are localised then θkare also localised and the Polyakov loop becomes non-zero characterising the deconfinement phase. This shows a connection between the D3 distribution and the eigenvalue distribution of the Polyakov loop operator. From the connectivity point of view delocalisation vs. localisation of the D3 branes will be related to an entanglement structure reaching or not reaching deeper into the bulk and hence to a different level of quantum error correction. That this is the case will be shown in what follows. QUANTUM ERROR CORRECTION AND PHASE TRANSITION IN QCD Quantum chromodynamics (QCD) while the best theory of quarks and gluons in existence, shows us still many mysteries. At a first glance, it is not a conformal theory, and hence, the application of the best known practical realisation of the holographic principle, the AdS/CFT duality [1] seems difficult if not impossible. However, the ability of extracting information about a strongly coupled four-dimensional gauge theory by looking at a gravitational theory in five dimensional spacetime is particularly enticing [2]. This becomes even more important when one notices that the low energy regime of QCD is the strongly coupled one, and at the same time, the closest to our empirical scrutiny. Its probing through a gauge-gravity duality would lead to its mapping into a well understood gravitational problem. The AdS/QCD
8 duality is currently an incomplete correspondence that tries to apply a five-dimensional theory on an anti-deSitter gravity background in order to produce new results regarding QCD [3]. The exact gravity dual for QCD however is currently unknown. Thanks to ’t Hooft’s idea, the large-N QCD can be reformulated as a string theory [4] giving us enough room to analyse various QCD phenomena both from a gauge and from a (quantum) gravitational perspective. At low energy, both gauge theory and string theory provides us with a natural form of confinement. In ref. [5] it has been shown that the stringy behaviour and the theories used in the holographic approach provide us with a low-energy behaviour compatible with QCD. Given a truly conformal field theory, the dual string spacetime would be ds2=r2 R2ηµνdxµdxν+R2 r2dr2+R2ds2 X(39) where we have considered as in [5] the product of an AdS5 space with a five dimensional transverse space X. The AdS space has a radius given by Rand the transverse, bulk coordinate (with its zero starting on the boundary) is denoted by r. If the boundary gauge theory is nonconformal, as is the case for QCD, the same spacetime still corresponds to the gauge theory in the large rlimit, but for small r, if there is a mass gap, there is a nonzero lower bound rmin in the bulk. If the lightest glueball state defines a scale Λ then the cutoff rmin will have the form rmin ∼ΛR2(40) From the perspective of QCD the fifth coordinate corresponds to the energy scale too, but higher energy QCD physics is reflected by the behaviour of fields closer to the AdS boundary, where we can still analyse the theory from a gauge theoretical perspective [6]. To make the theory confining, one has to introduce an IR cutoff in the metric, where spacetime ends, in analogy with the cascading gauge theory of ref. [7]. This way of introducing confinement by placing a cut-off in the bulk space, has profound implications in the quantum error correction interpretation of holography. In order to understand how quantum error correction emerges in a holographic context one may consider looking at the AdS/CFT duality and use a tensor network structure to cover the bulk as shown in ref. [29]. The tensor used for the construction of the network is one with maximal entanglement along any bipartition, giving rise to an isometry from the bulk Hilbert space to the boundary Hilbert space. Such a construction makes the entire tensor network in the bulk an encoder for a quantum error correction code. The bulk degrees of freedom are identified as the logical degrees of freedom capable of robustly encoding the physical degrees of freedom on the boundary. The bulk therefore contains additional layers all contributing towards the error-safety of the boundary encoded information. The additional bulk degrees of freedom represented in this context the respective information required to robustly encode the physical information. The non-uniqueness of the boundary CFT operators corresponding to a single bulk operator is interpreted as showing the fact that the bulk operator is a logical operator that is capable of preserving a code subspace of the Hilbert space of the boundary CFT. Such a code subspace is protected against errors that would erase information from the boundary. The larger the metric distance between the bulk operator and the boundary becomes, the more it is protected against erasures on the boundary. On the opposite side, the closer an operator is to the boundary, the smaller the area vital to its reconstruction on the boundary will be, and the more sensitive it will be to accidental erasures on the boundary. Therefore the ability of the bulk to implement error corrections is given by the bulk depth of the network. For the Anti-de-Sitter spacetime this would amount to the radius of the bulk space. However, in physical situations we do not expect to continue having an Anti-de-Sitter space everywhere in the bulk. More natural situations would involve various String-Brane structures for which a practical dual is not necessarily known. The case of QCD is however partially (and certainly incompletely) described by a system of D1D3 branes which are going to be regarded here. While the complications related to such a system are of course great, what matters from the perspective of the error correction is that the D-branes involved will induce certain limitations in the ability to reach an arbitrary inner bulk region with an unmodified tensor network. It therefore appears that the description of a confined QCD phase differs from the description of a deconfined QCD phase and both differ from a normal AdS bulk spacetime by the fact that certain inner regions won’t be accessible to the tensor network bulk expansion and hence will limit the ability of performing the full quantum error correction of which the AdS space would be otherwise capable. This is particularly important as for the first time it is possible to link the quantum error correction capability to QCD phases and phase transitions. The holographic principle seems to be the common denominator linking both QCD and quantum error correction codes to gravity theories. There are however several possible classes of tensor networks more or less suitable for the geometry one wishes to use. It is well known that the so called HaPPY networks [30] have the property that cuts crossing a minimal number of network edges saturate an entropy bound. This allows HaPPY networks to precisely connect graph geometry and entanglement and to automatically satisfy the Ryu-Takayanagi formula. The essential part of this type of network is the perfect tensor. This tensor defines a unitary transformation from any set of nnetwork edges to their complement. Therefore perfect tensors define isometries from any subset of edges of
9 size k < n to their complement. Clearly the geometry associated to QCD is different, particularly because the D-branes involved in the bulk are pinching off at a coordinate distance in the bulk, say u=u0. In order for this to happen, we have a sharper pinch-off of the surfaces and hence the tensor network required to follow this will cut through a smaller number of network edges. Analysing the emergence of confinement from this point of view brings new insights both for the understanding of confinement to deconfinement phase transition, and to the understanding of the power of holographic quantum error correction codes. While this description is certainly illuminating, its applicability is only formal, as the actual bulk space has a more complex Dbrane structure. This structure can, in certain cases, make regions of the bulk inaccessible to a tensor network expansion, therefore limiting the power of quantum error correction. It is important to underline that there is a deep connection between the measures provided by quantum computing and quantum information to determine what operations can be performed robustly on a quantum computer and how such operations can be constructed in an error protected way, and various phase transitions in gauge systems like Yang Mills of QCD. This article wishes to be only the first making probably the simplest connection evident. Many more such connections between quantum information properties and phases of matter should become manifest in the future. Let us consider an euclidean 10-dimensional spacetime with the x4direction compactified on a circle with period L4. The confinement phase in holographic QCD can be described in bulk theory by means of a D-brane construction involving instantons [9-12]. Following reference [9] consider a compactified 5D SYM theory on D4-branes having at low temperature a solitonic D4-brane solution. The explicit metric and the dilaton is ds2=α′[u3/2 √λ5/4π(dt2+P3 i=1 dx2 i+f4(u)dx2 4) + √λ5/4π u3/2(du2 f4(u)+u2dΩ2 4)] f4(u)=1−(u0 u)3 eϕ=λ (2π)2N(u3/2 √λ5/4π)1/2 (41) The system will consist of N D4 branes and D0 branes corresponding to instantons winding on the x4circle. The DBI action for a single instanton in the D4-brane geometry is given by [13,14] SD0=8π2N λY M r1−u3 0 u3(42) Here uis the position of the instantonic D0-brane along the radial bulk coordinate. The first theoretical model linking a gravitational theory to low energy QCD (or Yang Mills) in a phenomenologically meaningful way was the so called Sakai-Sugimoto model. The development of holographic QCD models has been a continuous effort over several decades. Among the first attempts was the Kruczenski-Mateos-Myers-Winters (KMMW) model [38] that introduced probe D6 branes in a D4 background compactified on a circle with supersymmetry breaking boundary conditions and explored various aspects of low energy QCD phenomena. However, they did not obtain the massless pions as Nambu-Goldstone bosons associated to the spontaneous breaking of the U(Nf)L×U(Nf)Rchiral symmetry. The Sakai-Sugimoto model introduces instead D8 branes in the same D4 background [39]. The brane configuration in this case in the weakly coupling regime is then given by NcD4 branes compactified on a supersymmetry breaking S1and Nf D8−¯ D8 pairs transverse to this S1. This system is Tdual with the D3/(D9−¯ D9) system considered in ref. [40] with the difference that on the cycle S1on which the T-duality is taken the imposed boundary conditions are anti-periodic for the fermions on the D4 branes so that supersymmetry is broken and zero mass fields become massive. The U(Nf)L×U(Nf)Rchiral symmetry in QCD is realised as a gauge symmetry of the NfD8−¯ D8 pairs. The radial coordinate Uin this model, transverse to the D4 branes is bounded from below due to the existence of a horizon in the supergravity background for U≥UKK . As the coordinate Ugets closer to UKK the radius of the circle S1goes to zero and the D8−¯ D8 branes merge at a point U=U0and form a single component of the D8 branes. This leads to a single D8 brane with only one U(Nf) factor which is interpreted as a holographic dual for the spontaneous chiral symmetry breaking. The Nambu-Goldstone bosons of this spontaneous symmetry breaking are associated to the massless pions and this theory did contain massless pseudo-scalar mesons in the meson spectrum. The low energy effective action of the massless pion was shown to be identical with that of the Skyrme model. The Skyrme term was introduced to stabilise the soliton solution of a non-linear sigma model,
16 correspondence is particularly useful [19]. In this general context one can initiate the construction of a tensor network without the need of an explicit boundary. While certainly the AdS/QCD correspondence implies the existence of a boundary that would be associated to the QCD theory, the particularities of the bulk may require some general techniques corresponding to the surface/state duality principle [19]. It has been shown in [10] that the high temperature region in gravity corresponds to a localised solitonic D3 brane. Its centre symmetry matches with the deconfinement phase of four dimensional Yang Mills theory. This brane structure replaces our bulk space which corresponds now to QCD and hence the transition occurs between a confined and deconfined phase for the D3-D1 system. We will be interested in determining the quantum information properties of the brane structure inside the bulk and derive from it a connection between phase transition and quantum error correction capabilities in the bulk space. It is assumed that a tensor network structure can be constructed on the D3-D1 system. While the structure of such a network will be different, the meaning will be the same as the one employed in AdS/CFT i.e. it will result in a quantum field theory with manifest entanglement on the boundary and will implement quantum error correction protocols against erasures in the bulk. Indeed, in this context we define the infinite dimensional Hilbert space associated to the bulk spacetime as Htot and we focus on a subset of this space given by a convex surface Σ. If the surface Σ is topologically trivial and hence homological to a point, the associated quantum state is a pure state |Φ(Σ)⟩ ∈ Htot. When the surface Σ is topologically nontrivial, the corresponding state becomes mixed and the associated Hilbert space becomes a subspace of Htot so that ρ(Σ) ∈End(HΣ)↔Σ∈M(79) The subspace HΣonly depends on the topological class of Σ. This plays an important role in the context of confinement-deconfinement phase transition when there is a relevant variation of the topological charge. If the surface Σ is not closed, but instead has a boundary ∂Σ the dual quantum state becomes mixed again, and if Σ can be associated to a submanifold of another convex surface ˜ Σ that is closed then the mixed state is given by tracing over the Hilbert space corresponding to the complement of Σ in ˜ Σ. When we have two surfaces Σ1 and Σ2that are connected by a smooth deformation preserving convexity, then this deformation in the quantum dual state can be described by means of an integral of infinitesimal unitary transformations |Φ(Σ1)⟩=U(s1, s2)|Φ(Σ2)⟩ U(s1, s2) = P·exp[−i s1 R s2 ˆ M(s)ds](80) with Pbeing the path ordering operator and ˆ M(s) is a hermitian operator where the parameter sdescribes the continuous deformation such that its extremes s1and s2 correspond to the two surfaces. To apply MERA on the brane structure describing the confinement and the deconfinement phases we need to keep under control the evolution of the number of links in the tensor representation that intersect the surface we want to consider towards the rest of the brane, such that it covers the whole accessible regions on the brane structure. Even though in the surface/state duality the area Σ is not an extremal surface in the most general case, it is always possible to divide it in small enough subregions that can be considered as extremal [19]. The geometry of such a subregion is almost flat and hence the extremal surfaces become themselves flat planes. Summing up such flat surfaces and accepting the Ryu-Takayanaga prescription [20], [21] we obtain X i SΣ Ai=A(Σ) 4GN (81) where Aicorresponds to the small portion of Σ defined as Σ = ∪iAiwith the intersection of the small pieces being the void set. The left side of the equation above is the effective entropy Seff (Σ) [19] and is being interpreted as the logarithm of the effective dimension of the Hilbert space HΣnamely Seff (Σ) = log[dim(Heff Σ)] (82) The effective dimension counts the dimension of the effective degrees of freedom corresponding to the entanglement between Aiand its complement and therefore Seff (Σ) is of the order of magnitude of the number of links in the tensor network intersecting our surface Σ as required. The MERA scheme implies a real-space renormalisation based on the coarse-graining of the original system by combining step by step two subsystems into a single subsystem according to a linear map (also known as isometry). The short range entanglement however must be taken into account and cut-off after each coarse graining process by means of a unitary transformation called disentangler. The final state hence becomes a network of substates which, in its tensorial form spans the branes in each of the phases. In the AdS/CFT duality, such a MERA network can be identified with the bulk AdS spacetime. In our context however, we may start a similar procedure close to the boundary, following the soliton D3 brane towards the bulk. In the confinement phase, we can consider a set of quantum states |Ψ(u)⟩ where urefers to a bulk coordinate. The vacuum state |Ψ(0)⟩can be considered as being highly entangled and hence it can be constructed from the trivial state Ω associated to the state Σ degenerating to a point, by adding to it entanglement by means of |Ψ(u)⟩=P·e−i u R uIR (K(s)+L)ds |Ω⟩(83)
17 FIG. 1: The tensor network construction on the D3 brane with additional links in the direction covered by the D1 instanton. The links in the D1 direction will stop at the tip of the D3 brane. Each link in the figure may have additional components according to the dimensionality of the subspace it points to The Hermitian operators K(s) and Ldescribe the disentangler and coarse graining procedure. In terms of general states, one can write |Φ(u)⟩=eiuL |Ψ(u)⟩=P·e−i u R uIR ˆ K(s)ds |Ω⟩(84) where ˆ K(s) is the disentangler in the interaction picture ˆ K(u) = eiuLK(u)e−iuL (85) After disentangling for the states |Ψ(u)⟩we also perform a rescaling, while this procedure is absent for |Φ(u)⟩. The particularity here is that the procedure must also consider the additional links in the direction of the D1-brane associated to the instanton. Indeed, this will contribute to the effective dimension of our Hilbert space and hence to the effective entropy Seff (Σ) = log[dim(Heff Σ⊗D1)] (86) The additional links can be seen in figure 1. The quantum information description involves both the theory on the boundary and the bulk geometry. While in the bulk the D3-D1 configuration limits the amount of entanglement, when we measure via Ryu Takayanagi (the area of the geometry to be analysed within the bulk depends on the D3-D1 geometry) in order to obtain the equivalent for the boundary theory, similar limitations will occur. It is therefore expected to have quantum information effects occurring both in the bulk and on the boundary and to be linked via dual relations. For example the stability to quantum errors on the boundary should be recoverable by the depth of the tensor network inside the bulk. When a limitation on the spreading of the tensor network inside the bulk is imposed, a limitation on the resistance to quantum errors in the boundary is to be expected. As we continue the procedure towards u= 0 we notice that due to the configuration of the branes in the confinement phase, it is impossible to reach certain regions of the FIG. 2: The throat forming in the deconfinement phase allows the links in the tensor network to penetrate. The situation is similar to that of a spacetime with a wormhole geometry. bulk, those regions acting like barriers that do not allow links of our networks to cross them. This is equivalent to saying that error correction algorithms based on the bulk encoding of information cannot reach the highest quantum error correction capability of which the holographic encoding is usually capable. This is easy to see if one considers the tip of the D3 soliton at u0and follows the MERA prescription outwards towards the boundary. If one remains on the D3 brane as required within the bulk, then one notices that the region of the boundary that must be deleted in order to negatively affect the information encoded near the tip of the D3 brane is encoded on a smaller region of the boundary compared to the normal holographic tensor network case. Now let us consider the deconfinement case. From a quantum information point of view, we notice that in this case, the topology has become that of S2×R3×S4and the instanton D1-brane wraps around S2while in the asymptotic region, the D1-brane wraps around the t′and x4cycles forming the topology of T2. Therefore, as the D1 brane moves from the asymptotic to the near region we have a change in the topology. This is revealed in the fact that the associated surface will have a non-trivial topology to be associated with a mixed state. In this situation, the available quantum error correction becomes more powerful and the limitation due to the finite tip of the D3-brane is partially eliminated. However, one has to consider the limitations due to the fact that the state described by this structure is at this point a mixed state. A detailed study of quantum error correction codes for mixed states has been given in [22], [23], [37]. The actual situation is presented in figure 2. In this situation, the links can pass through the throat forming at u= 0 and hence the quantum error correction code allows for a boundary encoding with more effective area. The explicit calculation of the entanglement entropy in this context is somehow more involved as it includes certain topological particularities specific to this problem. One relatively well known method of obtaining the entanglement entropy is by means of the so called replica trick. It has indeed been used both in perturbative as well as non-perturbative situations with
18 remarkable success and hence could be in principle applied to the system made up of a D1 and a D3 brane. The D1 configuration can be seen as a one dimensional string evolving in time, linked to the D3 brane. The most important phenomenon arising here is a nonperturbative effect encoded by the appearance of a wormhole type geometry deep inside the bulk. That geometry adds a torus like topology to our problem. To properly apply the replica trick we have to consider a path integral over a qsheeted surface obtained by gluing together qreplicas of our original surface along specially chosen cuts called generally entangling surfaces. Work with the replica trick has been done on related subjects in ref. [34], [35], [36]. The situation here is being complicated by the presence of the non-trivial topology which makes the problem intrinsically non-perturbative. The method works from a practical point of view in the following way: one considers our surface Cand defines a region Aon it at some fixed time. The reduced density matrix associated to the region Acan be computed by means of the usual trace formula ρA=TrBρ(87) where ρis the full quantum state defined at a given time on Cand Brepresents the complement of Awith the trace being carried over the degrees of freedom from the complement of A. Explicitly the trace over the replica density matrix will be given by Tr(ρq A) = Zq(A) (Z1(A))q(88) where Zq(A) is the path integral over the q-sheeted surface gluing together the qreplicas. Obviously the Z1path integral is the path integral over the single non-replicated surface. Arepresents the cut across which the gluing occurs. Now the von Neumann entropy can be calculated by a set of interesting prescriptions. First one continues qanalytically into the continuous real numbers, then one differentiates with respect to it, and then one takes the limit q→1. This prescription is clearly mathematically controversial. First of all, qis defined as a counting index for the number of replicated surfaces. What is the meaning of an analytic continuation for such a number? Are there any singularities to be considered in the process? Is the limit well defined? The replica trick in itself originates from the theory of disordered statistical systems where it has been extensively used and it has been checked to work in most practical cases given sufficient care in handling the commutation of various limits arising in these theories. Not insisting upon the unclear mathematical details at this point (despite them being intrinsically important) I can use the constructions of the replica trick to design a solution for the topologically non-trivial part of our D1-D3 brane system. The topologically disconnected one has been calculated before and I will cite authors like [24] for that. That contribution will here be simply denoted by Sdis. In the deconfinement phase we obtain a throat that in the neighbourhood of the contact to the brane behaves like an AdS space. The rest of it looks like a tube, which for all practical purposes here can be described as a cylinder. The question we have to ask therefore is what will be the entanglement entropy of a string when it gets into contact with such a cylinder. To apply the replica trick in this case amounts to gluing not only the D3 sheets but also the cylinders in order to obtain a consistent q-sheeted surface. Indeed, there will be q such cylinders glued to each other by means of cuts which can be performed along the cylinder. The surfaces themselves will be trivially glued across the qsheets. Tracing over Bin this case plays the role of tracing over the external configuration outside the cylinder. Our D1 brane (the string) is described by means of both localised oscillatory modes across itself, carrying momentum and extended topologically inequivalent winding numbers. The perturbative modes are easily calculated and not relevant now. The topological winding numbers need to be properly characterised in this context. Take therefore the case in which our surface Cis a cylinder and Ais a cut going longitudinally along its length. In this case Z1is the usual cylinder amplitude and I will note it Z. The worldsheet has the topology of a cylinder and the entanglement surface is the cut covering the whole longitudinal length. We can consider here the target space to be a 2dimensional torus times some non-compact spectator dimensions. The torus has two cycles parametrised by the vectors R1and R2eiα, with R1, R2, α ∈R. The complex structure will be given by σ=R2 R1eiα. Using the target space coordinates xα= (x1, x2) we can write the complex coordinates (z, ¯z) making use of z=R1x1+R2eiαx2. The replica trick for the entanglement entropy can be written as SA=−Tr(ρAlog(ρA)) = limn→1 log(Trρn A) 1−n=−limn→1 ∂ ∂nTrρn A(89) the argument of the first limit being the Renyi entropy. One can think in terms of a density matrix ρof a thermal
19 state at temperature T= 1/β with the expression ρ({ϕx},{ϕ′ x′}) = 1 ZZdϕ(y, τ)Y x′ δ(ϕ(y, 0) −ϕ′ x′)Y x δ(ϕ(y, β)−ϕx)e−SE(90) with Z=Tr(e−βH ) (91) The role of the trace is to bind together the edges at τ= 0 and τ=βproducing a cylinder with circumference of length β. If we perform a partial trace ρA=TrBρ A= (u1, v1)∪... ∪(uN, vN)(92) Here the union goes over all open cuts used to glue different sheets. Nwill count these open cuts independently. The intervals (ui, vi) represent intervals forming the gluing sheets for the replica copies. In this case the trace only binds together the points not belonging to A. Open cuts are being left along the intervals (uj, vj). These can in general be used to produce qcopies of cylinders bound together along the cuts. This leads us to Trρq A=ZN,q Zq(93) The partition function on the qsheeted surface RN,q will be given as ZN,q =RCAdϕ1...dϕqexp[−Rdzd¯z(L[ϕ1](z, ¯z) + ... +L[ϕq](z, ¯z))] CA:ϕi(x, 0+) = ϕi+1(x, 0−), x ∈A=∪N j=1, i = 1, ..., q (94) Our case is actually much simpler because the connection with the parallel branes will be done across the entire circumference of the cylinder at each of the two ends. This actually makes the calculation very similar to one that has already been performed in [24-26]. As said before we are mostly interested in the topological problem, with the observation that we need to pay attention to area changes in order to properly take into account the entanglement entropy, as it depends on the bulk area. Therefore our model theory will follow ref. [27] and will focus on a set of theories called QuasiTopological Quantum Field Theories, or QTFT. Such theories are fundamentally topological quantum field theories with the observation that in a normal topological quantum field theory surfaces with different areas can belong to the same topological class. This is highly undesirable if our goal is to understand realistic entanglement entropies, as it is known that such entropies are linked to surface areas. Therefore, we will need to extend our theory towards a construction where different areas are considered independently. Quasi-topological quantum field theories do exactly this as their correlation functions depend on the topology and, additionally, on the total area of the underlying spacetime while being blind to other aspects of the geometry. The replica trick, involving the evaluation of path integral on replicated Riemann surfaces can therefore be used and meaningful results can emerge. Take therefore our surface as depicted in figure 2 and let us trace it along the imaginary time direction. This will effectively compactify our surface into a torus and will allow us to work with closed surfaces. Of course the compactification radius can always be set to infinity leading to our example from figure 2. By doing this we obtain the representation of figure 3. As there exist several generalisations to the Dp-D(p+2) branes coupled states [28] I will focus on a theory living on the D-brane that exists in two dimensions for pragmatic reasons. The Migdal formalism allows us to construct a theory in two dimensions invariant under area-preserving diffeomorphisms. In two dimensions it is easier to see how the cuts are being performed. Therefore, looking at figure 3, partial trace over the Bdegrees of freedom allows us to construct our torus with a set of cuts which then can be used to glue the surface to our replicas. If we consider the two dimensional Yang Mills theory of the form
20 S[A] = −1 2e2ZΣ Tr(F∧⋆F) = −1 4e2ZΣ √gd2xgµσgνρTr(Fµν Fσρ) (95) FIG. 3: The throat forming in the deconfinement phase after suitable tracing in the imaginary time dimension becomes a closed Riemann surface [27] allowing us to use the Migdal procedure where g(x) is the background metric of the Riemann surface Σ and the curvature 2-form is constructed from the gauge field as F=dA +A∧A. To define a gauge theory one has to identify a gauge group Gand to construct a principal bundle PΣ,G with fibres in this group. The Y M2theory is quasi-topological. To see this note that the curvature is proportional to the volume form ϵand is a gauge covariant 2-form. Hence one can write F=f·ϵ and ftransforms to the adjoint representation of G. This leads us to S=−1 2e2ZΣ ϵTr(f2) (96) The explicit metric dependence has been replaced by the volume form as should be the case in a quasi-topological quantum field theory that keeps sensitive only to the area. This makes the Y M2theory see areas but not distances. A continuum 2-dimensional Yang Mills theory can be reduced to an exactly solvable theory on a lattice. This two-dimensional theory is defined on our D-brane and corresponds to the boson sector of our description. This is indeed a mathematical simplification that allows us to easily (or at least less difficultly) calculate the entanglement entropy in a geometric setting. The formalism used for that is called the Migdal formalism, discussed in ref. [27] and it leads us to the expression for the partition function Z(ρ, g) = X R∈irrep(G) d2−2g Re−e2ρc2(R) 2(97) The sum is over all irreducible representations of the gauge group G,dRrepresents the dimension of the representation Rwhile c2(R) the quadratic Casimir of the representation R. FIG. 4: After compactification we obtain a surface of a higher genus which then can be particularised for the desired case. In our case, the genus two would correspond to the situation in which deconfinement exists and there is a non-trivial connection to the region deep inside the bulk, while the genus one will correspond to a confinement phase [27]. When the surface is being replicated, several tori, with cylindrical throats will be linked together forming a higher genus surface. Our central cylinders forming the connection to the inner regions of the bulk will also be replicated. The formula for the gauge theory partition function depending on the genus of the Riemann surface would therefore be Z=|G|g−1X R eρBRd2−2g R(98) where |G|represents the order of the group while BR=−e2c2(R) 2(99) parametrises a family of quasi-topological quantum field theories. With this we can calculate directly via the replica trick the entanglement entropy, considering that in our case the replication also involves additional genera SE=−limn→1d dq |G|[(g−1)q+1]−1PRd2−2[(g−1)q+1] ReqρBR (|G|g−1PR′dR′d2−2g R′eρBR′)q= −PR d2−2g ReρBR PR′(d′)2−2g R′eρBR′log[d2−2g ReρBR PR′d2−2g R′eρBR′] (100)
21 This formula represents the entanglement entropy obtained in the case of a replica trick calculation following ref. [27] for a two dimensional Yang Mills model. We must be aware that this represents more of a toy model that allows us to compute entanglement entropy in a direct way and probe the effects of higher genus modifications. In our case the higher genus is a result of the replication of our baseline configuration which is in the case of the deconfinement phase, after compactifying via the partial trace, a genus two torus. This demands a further limit in our case setting g→2. This limit is trivial and using the notation above we obtain SE=−PR d−2 ReρBR PR′(d′)−2 R′eρBR′log[d−2 ReρBR PR′d−2 R′eρBR′](101) Keeping this in mind, it is interesting to notice that, for the confinement phase description in which the genustwo connectivity is not existent and the D-brane does not connect to the inner regions via the cylinder, we have the g= 1 case in which the term designated to be the dimension of the representation of the group disappears altogether. This is precisely the case for the confinement phase when using a similar compactification as in the previous case. This will turn the cylinder into a compactified genus-one torus. This would obviously restrict the available area and hence would count a smaller entanglement entropy. We have therefore computed, following mainly ref. [27], an expression for the entanglement entropy when the connectivity inside the bulk changes and the links of the tensor network can reach deeper inside the bulk. While this calculation involves indeed certain approximations, it does in fact show that a cut in the inner bulk region, limiting the domain where the D-brane can reach, does produce a modification of the available entanglement entropy. There are therefore a series of aspects related to quantum information that are modified when the phase of the system is changed, that are only easily visible when one regards the gravitational dual as well as the associated holographic tensor network. In fact the above formulas link the topology of the regions accessible to the tensor network with accessible entanglement entropy and the possibility of quantum error correction codes of various strengths. The two dimensional Yang Mills model used in the above calculation is of course a simplification that doesn’t relate to physical QCD. I do not consider this to be an important issue as the desire of this article is not to create a perfect holographic model of QCD, but instead, to show that in various classes of theories, including, in some limits, also QCD, the access to deeper regions of the bulk depends on the phase of the system, and therefore the quantum error correction capability of a quantum computer will depend on properties that can only be identified from a holographic, gravitationally dual perspective. This toy model shows however, by a different method of analysis, that the same effect of reducing the quantum error correction capability will be obtained if the branes pinch off inside the bulk earlier. As a task for future research, it is important to evaluate other D-brane systems and their gauge duals for quantum error correction capability, especially in the case in which they can be expanded further inside the bulk and hence have access to more quantum error correction. CONCLUSION I gave a quantum information interpretation of the confinement and deconfinement phases in holographic QCD showing that the ability of performing quantum error correction operations in a holographic context is affected by the respective phases. The ability of correcting for boundary erasures is limited in the confinement phase of QCD leading to a new connection between bulk information, its encoding on the boundary, the corresponding erasure errors and various phases of QCD. This study is of course limited by the fact that we do not as for now understand QCD from a holographic perspective, the duality employed being insufficiently studied. However, the new link between quantum information in a holographic context and phase transitions appears to shed new light on an otherwise difficult subject. DATA AVAILABILITY STATEMENT Data sharing not applicable to this article as no datasets were generated or analysed during the current study. [1] J. Zaanen, Y. W. Sun, Y. Liu, K. Schalm, Holographic duality in condensed matter physics, Cambridge University Press, ISBN : 978-1-107-08008-9 [2] S. A. Hartnoll, A. Lucas, S. Sachdev, Holographic Quantum Matter, ISBN-13 : 978-0262038430 [3] B. Swingle, L. Huijse, S. Sachdev, Phys. Rev. B 90, 045107 (2014)
22 [4] L. Susskind, arxiv hep-th: 1708.03040 [5] S. S. Gubser, I. R. Klebanov and A. M. Polyakov, “A semi-classical limit of the gauge/string correspondence,” Nucl. Phys. B636(2002) 99 [6] A. May, Tensor networks for dynamic spacetimes, JHEP 2017, 6, pag. 1-27 [7] X. Dong, D. Harlow, A. C. Wall, Phys. Rev. Lett. 117(2):021601 (2016) [8] D. J. Gross, R. D. Pisarski, L. G. Yaffe, Rev. Mod. Phys. Vol. 53, 1 (1981) [9] M. Hanada, Y. Matsuo, T. Morita, Nucl. Phys. B 899, pag. 631 (2015) [10] G. Mandal, T. Morita, JHEP 073, 1109 (2011) [11] E. Witten, Adv. Theor. Math. Phys. 2, 505 (1998) [12] M. Kruczenski, D. Mateos, R. C. Myers, D. J. Winters, JHEP, 041, 0405 (2004) [13] R. G. Leigh, Mod. Phys. Lett. A 4, 2767 (1989) [14] J. L. F. Barbon, A. Pasquinucci, Phys. Lett. B 458, 288 (1999) [15] A. Tseytlin, Nucl. Phys. B 501, pag. 41 (1997) [16] D. Gaiotto, N. Itzhaki, L. Rastelli, Nucl. Phys. B Vol. 688, 1, pag, 70 (2004) [17] M. Gutperle, A. Strominger, JHEP 018, 0204 (2002) [18] B. Swingle, Phys. Rev. D 86, 065007 (2012) [19] M. Miyaji, T. Takayanagi, Progr. Theor. Phys. 073B03 (2015) [20] S. Ryu, T. Takayanagi, Phys. Rev. Lett. 96, 181602 (2006) [21] V. E. Hubeny, M. Rangamani, T. Takayanagi, JHEP 062, 2007 (2007) [22] C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, W. K. Wootters, Phys. Rev. A 54 pag. 3824 (1996) [23] C. H. Bennett, G. Brassard, N. D. Mermin, Phys. Rev. Lett. 68, 557 (1992) [24] A. Prudenziati, D. Trancanelli, Phys. Rev. D 96, 026009 (2017) [25] S. Banerjee, Y. Nakaguchi, T. Nishioka, J. High Energ. Phys. 2016, 48 (2016) [26] Zhu-Xi Luo, B. G. Pankovich, Y. Hu, Yong-Shi Wu, Phys. Rev. B 99, 205137 (2019) [27] A. B. Weiss, Studies in: entanglement entropy of two dimensional quasi-topological quantum field theory and geometry of the exact renormalization group and higher spin holography, U. Illinois Rep. 2142/89044 (2015) [28] D. Youm, Mod. Phys. Lett. A 15, pag. 1949-1960 (2000) [29] N. Bao, G. Penington, J. Sorce, A. C. Wall, JHEP vol. 2019, Article number: 69 (2019) [30] Pastawski, F., Yoshida, B., Harlow, D. et al. Holographic quantum error-correcting codes: toy models for the bulk/boundary correspondence. J. High Energ. Phys. 2015, 149 (2015) [31] G. Araujo-Regado, R. Khan, A. C. Wall, ”Cauchy Slice Holography: a new AdS/CFT dictionary”, JHEP 2023, 26 (2023) [32] N. Bao, C. Cao, S. M. Carroll, A. Chatwin-Davies, ”de Sitter Space as a tensor Network, Cosmic no hair, complementarity and complexity”, Phys. Rev. D 96, 123536 (2017) [33] P. Hayden, X-L. Qi, M. Walter, N. Thomas, Z. Yang, S. Nezami, ”Holographic duality from random tensor netowkrs”, JHEP, 1611, 009 (2016) [34] L. Lepori, L. Dell’Anna, ”Long-range topological insulators and weakened bulk-boundary correspondence”, New Journal of Physics, Vol. 19, 103030 (2017) [35] M. Alishahiha, S. Banerjee, J. Kames-King, ”Complexity via replica trick”, JHEP 2022, 181 (2022) [36] R. Vasseur, A. C. Potter, Y-Z. You, A. W. W. Ludwig, ”Entanglement transitions from holographic random tensor networks”, Phys. Rev. B 100, 134203 (2019) [37] M. Ghodrati, arXiv: 2209.04548v3 ”Encoded information of mixed correlations: the views from one dimension higher”, (2023) [38] M. Kruczenski, D. Mateos, R. C. Myers, D. J. Winters, ”Towards a holographic dual of large NcQCD”, JHEP 05 (2004) 041 [39] T. Sakai, S. Sugimoto, ”Low Energy Hadron Physics in Holographic QCD”, Progr. Theor. Phys. Vol 113, Issue 4, pag 843 (2005) [40] S. Sugimoto, K. Takahashi, ”QED and string theory”, JHEP Vol 2004 JHEP04 (2004) [41] C. Wu, Z. Xiao, D. Zhou, Phys. Rev. D 88, 026016 (2013)