Focusing on the connection between the Landau theory of second-order phase transitions and the holographic approach to critical phenomena, we study diverse field theories in an anti de Sitter black hole background. Through simple analytical approximations, solutions to the equations of motion can be obtained in closed form which give rather good approximations of the results obtained using more involved numerical methods. The agreement we find stems from rather elementary considerations on perturbation of Schrödinger equations.

1. Introduction

Much activity has been centered in the last few years on the application of the gauge/gravity duality, originally emerged from string theory [1–3], to analyze strongly interacting field theories by mapping them to classical gravity. More recently such duality was successfully applied to describe, holographically, systems undergoing phase transitions like superconductors, superfluids, and other strongly interacting systems [4–17] (for a wider list of references see e.g., [18]).

In the holographic approach to the study of phase transitions one starts, on the gravity side, with a field theory in asymptotically anti de Sitter (AdS) space-time with temperature arising from a black hole metric, either introduced as a background or resulting from back reaction of matter on the geometry. Then, using the AdS/CFT correspondence, one can study the behavior of the dual field theory defined on the boundary, identify order parameters, and analyze the phase structure of the dual system.

Several models with scalar and gauge fields in a bulk which corresponds asymptotically to an AdS black hole metric have been studied [4–17]. The rather involved systems of nonlinear coupled differential equations that have to be solved require general application of numerical methods. In this way one often finds nontrivial hairy solutions that cease to exist for 𝑇>𝑇𝑐, where 𝑇 is the Hawking temperature associated with the black hole and 𝑇𝑐 a critical temperature depending on the space-time dimensions and the parameters of the model on the bulk.

The main point in this AdS/CFT based calculation is that the asymptotics of the solution in the bulk encodes the behavior of the QFT at finite temperature defined on the border. One finds in general a typical scenario of second-order phase transition. The critical exponents can be computed with a rather good precision and coincide with those obtained within the mean field approximation in a great variety of models.

It is the purpose of this paper to get an analytical insight complementing the numerical results, with a focus on the connection between the holographic approach and mean field theory for the calculation of critical exponents. To this end, it will be important to first stress some connections, already signaled in [6], between the Landau phenomenological theory of second-order phase transitions and the gauge/gravity approach. We will expose the importance of analyticity to explain the similitude in the results for relevant physical quantities (critical exponents, dependence of the critical temperature on the charge density, and magnetic field, etc.) in very diverse models. This will be done first by stressing the relationship between the equations of motion and a Schrödinger problem, so that usual perturbative techniques allow to prove the critical behavior. We then show that simple matching conditions lead to results that broadly agree with elaborate numerical calculations.

It should be noted that our calculations assume that the backreaction of dynamical fields is negligible (probe approximation) which is valid when the gauge coupling constant is large. This approximation is useful to study the behavior near the phase transition which is precisely the domain we will analyze, comparing our analytical results with those obtained numerically. In fact, the holographic results we have previously obtained solving numerically the Einstein-Yang-Mills-Higgs equations of motion both considering the probe approximation [7] and the case in which matter backreacts on the geometry [5] show that when parameters are such that condensation takes place the solutions are very similar and the nature of the phase transition is identical.

With this in mind and using an analytic approach proposed in [8], we study the equations of motion for different models, showing how one can determine in a very simple way the critical behavior of the systems defined on the border with a good agreement with numerical results.

2. Holography and Mean Field Results

In the Landau approach to second-order phase transitions one considers an order parameter 𝒪 and assumes analyticity of the free energy 𝐹=𝐹(𝑇,𝒪), which can be expanded in even powers of 𝒪𝐹(𝑇,𝒪)=𝐹=𝐹0+𝐹2[𝑇]𝒪2+𝐹4[𝑇]𝒪4+⋯.(2.1) The dependence of the order parameter on 𝑇 is obtained by minimizing 𝐹 as a function of 𝒪. The next step is to expand the coefficients 𝐹2 and 𝐹4, in powers of 𝑇−𝑇𝑐. To ensure stability and a change of behavior at 𝑇𝑐, one takes 𝐹2=ğ‘Ž(𝑇−𝑇𝑐) and 𝐹4=𝑏/4 with ğ‘Ž,𝑏 positive constants. In this way, one finds that the minimum of 𝐹 is at 𝒪=0 for 𝑇>𝑇𝑐 (disordered phase) while for 𝑇<𝑇𝑐 one has 𝑇𝒪∼𝑐−𝑇1/2.(2.2)

Let us give a brief description of gauge/gravity approach to phase transitions to connect it to the Landau theory. On the gravity side one considers a classical field theory in a Schwarzschild-AdS black hole background (or one in which backreaction of fields on an asymptotically AdS space leads to a black hole solution). The choice of such a geometry is dictated by the fact that the warped AdS geometry prevents massive charged particles to be repelled to the boundary by a charged horizon and as a result a condensate floating over the horizon can be formed. To find such condensate one should look for nontrivial static solutions for the fields outside the black hole by imposing appropriate boundary conditions. The behavior of fields at infinity then allows to determine the dependence of the order parameter on temperature, identified with the Hawking temperature of the black hole.

Basically, the free energy 𝐹 is identified with the minimum of the action in the gravitational theory with prescribed boundary condition for the fields. Regularity of the fields at the horizon and smoothness of the background geometry, basic assumptions within the gauge/gravity duality, imply analyticity of this action. This is a first point of contact with Landau theory of second-order phase transitions leading to a mean field behavior. We will now see that if continuity and smoothness of fields are imposed in the region between the horizon and infinity, the mean field behavior found using a numerical approach is reproduced with a good precision, as can be seen following a very simple analytic approach proposed in [8] which we apply below for different models.

3. The Abelian Higgs Model in 𝑑 Space Dimensions

Dynamics of the system is governed by the action 𝑑𝑆=𝑑+1𝑥||𝑔||−14𝐹𝜇𝜈𝐹𝜇𝑣−||∇𝜇−𝑖𝐴𝜇Ψ||2−𝑚2||Ψ||2.(3.1) The background metric is the standard AdS𝑑+1-Schwarschild black hole 𝑑𝑠2=−𝑓(𝑟)𝑑𝑡2+1𝑓(𝑟)𝑑𝑟2+𝑟2𝑑𝑥𝑖𝑑𝑥𝑖,𝑖=1,2,...,𝑑−1,𝑓(𝑟)=𝑟2𝑟1âˆ’ğ‘‘â„Žğ‘Ÿğ‘‘îƒª,(3.2) with 𝑖=1,2,…,𝑑−1 and we have chosen the AdS radius to be unity. Different values for the mass term can be considered [9, 10]: 𝑚2=0,−2 and 𝑚2=𝑚2BF=−9/4 in 𝑑=3 and 𝑚2=0,−3,−4 in 𝑑=4, the last value corresponding to the Breitenlohner-Freedman bound 𝑚2BF<0 marking the boundary of stability for a scalar field in AdS [19]. The black hole temperature is given by𝑑𝑇=𝑟4ğœ‹â„Ž.(3.3)

In order to look for simple classical solutions for this model one can propose the following ansatz: ||Ψ||Ψ==𝜓(𝑟),𝐴𝜇=𝜙(𝑟)𝛿𝜇0.(3.4) Imposing regularity of the solution at the horizon (𝑟=ğ‘Ÿâ„Ž) one gets ğœ“î€·ğ‘Ÿâ„Žî€¸=ğ‘‘ğ‘Ÿâ„Žğ‘š2ğœ“î…žî€·ğ‘Ÿâ„Žî€¸,ğœ™î€·ğ‘Ÿâ„Žî€¸=0.(3.5) Concerning the asymptotic behavior of the scalar potential 𝜙 and the scalar field 𝜓 one has 𝜓𝜓=−𝑟𝜆−+𝜓+𝑟𝜆+,𝜌𝜙=𝜇−𝑟𝑑−2+⋯,(3.6) with 𝜆±=12√𝑑±𝑑2+4𝑚2.(3.7) According to the gauge/gravity correspondence, 𝜇 corresponds to the chemical potential in the dual theory defined on the boundary and 𝜌 to the charge density. Concerning the scalar field 𝜓, both falloffs are acceptable provided the following condition holds [20]: −𝑑24<𝑚2𝑑<−24+1,(3.8) One can then pick either 𝜓+=0 or 𝜓−=0 leaving a one parameter family of solutions so that the condensate of the dual operator ğ’ªğœŽ will be given by âŸ¨ğ’ªğœŽâŸ©=ğœ“ğœŽ,(3.9) with the boundary condition written as ğœ€ğœŽğœŒğœ“ğœŒ=0,(3.10) where ğœŽ,𝜌=+,− and 𝜀+−=1. For definiteness we will impose the condition 𝜓−=0.

It will be convenient for the analysis that follows to change variables according to 𝑟𝑧=â„Žğ‘Ÿ,(3.11) so that the horizon is fixed at 𝑧=1 and the boundary at 𝑧=0. In terms of this new variable 𝑧, the equations for the functions in ansatz (3.4) become ğœ“î…žî…žâˆ’ğ‘‘âˆ’1+𝑧𝑑𝑧1âˆ’ğ‘§ğ‘‘î€¸ğœ“î…ž+𝜙2𝑟2ℎ1−𝑧𝑑2−𝑚2𝑧21−𝑧𝑑𝜙𝜓=0,(3.12)î…žî…žâˆ’ğ‘‘âˆ’3ğ‘§ğœ™î…žâˆ’2𝜓2𝑧21−𝑧𝑑𝜙=0,(3.13) where the prime denotes 𝑑/𝑑𝑧.

Conditions (3.5) and (3.6) now read ğœ“î…žî‚µğ‘š(1)=−2𝑑𝜙𝜓𝜓(1)=0,(1)=0,(3.14)𝐵(𝑧)≃𝑧→0𝐷+𝑧𝜆++𝐷−𝑧𝜆−,𝜙𝐵(𝑧)≃𝑧→0ğœ‡âˆ’ğ‘žğ‘§ğ‘‘âˆ’2,(3.15) with 𝐷±=ğ‘Ÿâˆ’ğœ†Â±â„Žğœ“Â± and ğ‘ž=𝜌/ğ‘Ÿâ„Žğ‘‘âˆ’2.

In view of (3.3), the system (3.12)-(3.13) only depends on the black-hole temperature 𝑇 through the nonlinear 𝜙2𝜓 term in the scalar field equation (3.12): this describes the coupling of the scalar to the electric potential and gives an effective negative mass.

In the limit ğ‘‡â†’âˆž the nonlinear term in (3.12) vanishes so that the equation becomes linear with no nontrivial soliton solutions. Now, as already pointed out in [11] the coupling of the scalar to the Maxwell field is responsible for producing a negative effective mass for 𝜓, and this effect becomes more important at low temperatures. This indicates that one should expect an instability taking place at some point towards forming scalar hair. At such point, the stabilizing effect of the 𝑚-term is overcome. If a nontrivial solution exists at low temperatures, with an asymptotic behavior associated with a nonzero v.e.v. of an order parameter ⟨𝑂𝜓⟩ in the dual theory, it is natural to expect that a critical temperature 𝑇𝑐 should exist such that ⟨𝑂𝜓⟩𝑇>𝑇𝑐=0. This was indeed verified numerically for different values of the mass 𝑚 (including the Breitenlohner-Freedman bound value) and various space-time dimensions [9, 10].

Now, (3.12) for fixed potential 𝜙 can be viewed as a Schrödinger equation with zero energy: in order to have nontrivial solutions, the resulting potential has to adjust itself for the existence of a unique zero eigenvalue for every temperature below the critical one. In the vicinity of the critical point, the variation of the potential is linear in the temperature variation, but quadratic in the normalization of the field through the effect of the nonlinear term in (3.13). The eigenvalue of the Schrödinger equation is, to first order, simply proportional to some integral of the potential as can be seen from its variational evaluation: with a suitable weight function ğ‘Ž(𝑧), the integral of ğ‘Ž(𝑧)𝜓(𝑧) times the left hand side of (3.12) gives the eigenvalue for a normalized 𝜓 and its variations are of second order with respect to the variations of 𝜓. Fixing 𝜓 to the eigenfunction for 𝑇=𝑇𝑐, the two sources of the variation of this integral through the potential must compensate themselves, and one obtains a Δ𝑇∝𝜙2 relation. It is precisely this type of behavior that has been found from the numerical solution to the differential equations on the gravity side.

To go further in the analysis without resorting to a numerical analysis, we will consider expansions of the fields in the bulk near 𝑧=1 and 𝑧=0. Imposing the conditions of continuity and smoothness of the solutions at a point 𝑧𝑚 intermediate between the boundary (𝑧=0) and the horizon (𝑧=1) will give algebraic equations between the parameters of the solution.

For the solution near the horizon (𝑧=1) we have, up to order (𝑧−1)2, 𝜓𝐻(𝑧)=𝜓0+𝜓11(𝑧−1)+2𝜓2(𝑧−1)2,𝜙𝐻(𝑧)=𝜙0+𝜙11(𝑧−1)+2𝜙2(𝑧−1)2,(3.16) with 𝜓0,𝜓1,𝜓2,𝜙0,𝜙1,𝜙2 constants. The boundary conditions (3.14) at 𝑧=1 imply 𝜓1𝑚=−2𝑑𝜓0,𝜙0=0.(3.17) Substituting these values in (3.16) and using the differential (3.12)-(3.13) we can obtain 𝜙2 and 𝜓2 as a function of 𝜙1 and 𝜓0. We get 𝜓𝐻(𝑧)=𝜓0+𝑚2𝑑𝜓0(1−𝑧)+2𝑑𝑚2𝑟2ℎ+𝑚4𝑟2â„Žâˆ’ğœ™214𝑑2𝑟2â„Žğœ“0(1−𝑧)2,𝜙𝐻(𝑧)=−𝜙11(1−𝑧)+2𝑑−3−2𝜓20𝑑𝜙1(1−𝑧)2.(3.18)

As announced, imposing the conditions of continuity and smoothness at an intermediate point 𝑧𝑚 allows to obtain a solution. Interestingly enough, as first observed in [8] the result of this crude approximation is quite stable with respect to the intermediate point, so we will consider the case 𝑧𝑚=1/2. This can be understood from the fact that 𝜓 is the ground state of a Schrödinger equation, so that it cannot have nodes: additional terms in the expansion of 𝜓 should rapidly fade away.

We will first analyze the boundary condition 𝐷−=0, so we have the set of equations 𝜓𝐻12=𝜓𝐵12,ğœ“î…žğ»î‚€12=ğœ“î…žğµî‚€12,𝜙𝐻12=𝜙𝐵12,ğœ™î…žğ»î‚€12=ğœ™î…žğµî‚€12,(3.19) to be solved for 𝜓0, 𝜙1, 𝐷+, and 𝜇. We obtain 𝜓20=𝑑2𝑑+116(𝑑−2)ğµğ‘ž+2𝑑(𝑑−5)ğ‘Ÿâ„Žğ´ğ‘Ÿâ„Žğ´,𝐷+=2𝜆+−14𝑑+𝑚2𝑑𝐵2𝜓0,𝜙1𝑟=âˆ’â„Žğ´ğµ,1𝜇=2𝑑+28ğ‘‘ğ‘žğµ+2ğ‘‘ğ‘Ÿâ„Žğ´ğµ(3.20) (for simplicity 𝐷+ is written in terms of 𝜓0). Here 𝐴=16𝑑2𝜆++𝑚4𝜆++2+2𝑑𝑚26+5𝜆+,√𝐵=𝜆++2.(3.21) Using the AdS/CFT dictionary (3.9), we can identify the v.e.v. ⟨𝒪⟩ of the operator 𝒪 dual to the scalar field with the asymptotic coefficient 𝜓+, ⟨𝒪⟩≡𝜓+=𝑟𝜆+â„Žğ·+. Now, one can write 𝐷+ (or 𝜓0 since they are proportional) as a function of 𝑇=(𝑑/4𝜋)ğ‘Ÿâ„Ž. Remembering that ğ‘ž=𝜌/ğ‘Ÿâ„Žğ‘‘âˆ’2 one has 𝜓20=𝑑(5−𝑑)2𝑇𝑐𝑇𝑑−1𝑇1−𝑇𝑐𝑑−1,(3.22) where we have defined 𝑇𝑐𝑑−1=24−𝑑(𝑑−2)(5−𝑑)(4𝜋/𝑑)𝑑−1𝐵𝐴𝜌.(3.23) We then have, for the order parameter ⟨𝒪⟩=𝐶𝑑𝑇𝑇𝑐(√𝑑2+4𝑚2+1)/2îƒŽî‚µğ‘‡1−𝑇𝑐𝑑−1,(3.24) with 𝐶𝑑=4𝑑+𝑚2𝜆+𝑑+22𝜋𝜆+(5−𝑑)8𝑑1/2.(3.25)

One can see from (27) that for 𝑇 close to 𝑇𝑐 one has the typical second-order phase transition behavior √⟨𝒪⟩∝(1−𝑇)/𝑇𝑐. Note that 𝑇𝑐∝𝜌1/(𝑑−1) in agreement with the change of dimensions of the charge density for different 𝑑’s.

Our results for the critical temperature, as inferred from (3.23)–(3.25) in the cases 𝑑=3,4, 𝑚2=−2 (with 𝑧𝑚=1/2) are 𝑇𝑐=0.15𝜌1/2 and 𝑇c=0.2𝜌1/3, respectively. They can be compared with those obtained using a different analytical approximation based on perturbation theory near the critical temperature. For the case 𝑚=𝑚BF, we obtain 𝑇𝑐=0.12𝜌1/2 and 𝑇𝑐=0.25𝜌1/3 [21, 22] in very good agreement with the exact numerical results, 𝑇𝑐=0.15𝜌1/2 and 𝑇𝑐=0.25𝜌1/3. One can conclude that there is a good quantitative agreement between the three sets, which is not much affected by the choice of the point 𝑧𝑚 in the method. This last fact was already observed in [8] for the particular case 𝑑=3 compared with the numerical results given in [9].

4. Non-Abelian Gauge Field in 𝑑=3 Space Dimensions

We now consider the case of an SU(2) Yang-Mills theory in 3+1 dimensional Antide Sitter-Schwarzschild background, as a prototype for the gauge/gravity duality in the case of pure gauge theories [12, 13]. The action is 1𝑆=−4𝑑4𝑥||𝑔||ğ¹ğ‘Žğœ‡ğœˆğ¹ğ‘Žğœ‡ğœˆ,(4.1) with the field strength defined as ğ¹ğ‘Žğœ‡ğœˆ=ğœ•ğœ‡ğ´ğ‘Žğœˆâˆ’ğœ•ğœˆğ´ğ‘Žğœ‡+ğ‘”ğœ–ğ‘Žğ‘ğ‘ğ´ğ‘ğœ‡ğ´ğ‘ğœˆ,ğ‘Ž=1,2,3.(4.2) Writing the gauge field as an isospin vector ⃗𝐴𝐴=1,𝐴2,𝐴3=î€·ğ´ğ‘Žğœ‡ğ‘‘ğ‘¥ğœ‡î€¸,(4.3) we consider the following ansatz for solving the equations of motion: ⃗𝐴=𝐽(𝑟)𝑑𝑡𝑒3−𝐾(𝑟)𝜌𝑑𝜑𝑒𝜌+𝐾(𝑟)𝑑𝜌𝑒𝜑,(4.4) where 𝑟 is the radial variable in spherical coordinates and 𝑥=𝜌cos𝜑,𝑦=𝜌sin𝜑.(4.5) The background metric is 𝑑𝑠2=−𝑓(𝑟)𝑑21𝑡+𝑓𝑑(𝑟)2𝑟+𝑟2𝑑𝑥2+𝑑𝑦2,(4.6) with 𝑓(𝑟)=𝑟2𝑟1−3â„Žğ‘Ÿ3.(4.7) In terms of the 𝑧 variable defined in (3.11) the equations of motion read 1−𝑧3î€¸ğ¾î…žî€¸î…ž=1𝑟2â„Žî‚µğ¾2−𝐽2𝑧21−𝑧3𝐽𝐾,2(𝑧)=𝑟2â„Žğ½(𝑧)𝐾2(𝑧)1−𝑧3.(4.8)

At the horizon (𝑧=1), 𝐽 must vanish, so we have the following expansions for the fields, up to order (𝑧−1)2, 𝐾𝐻(𝑧)=𝐾0+𝐾11(𝑧−1)+2𝐾2(𝑧−1)2,𝐽𝐻(𝑧)=𝐽11(𝑧−1)+2𝐽2(𝑧−1)2.(4.9) Using the equations of motion (4.8), the coefficients 𝐾1, 𝐾2, and 𝐽2 can be written in terms of 𝐾0 and 𝐽1 as 𝐾𝐻(𝑧)=𝐾0−𝐾303𝑟2ℎ(𝑧−1)+−𝐽21𝐾0𝑟2ℎ+6𝐾30𝑟2ℎ+3𝐾5036𝑟4ℎ(𝑧−1)2,𝐽𝐻(𝑧)=𝐽1𝐽(𝑧−1)−1𝐾203𝑟2ℎ(𝑧−1)2.(4.10)

At the 𝑧=0 boundary one has the asymptotic expansions 𝐾𝐵𝐶(𝑧)=1ğ‘Ÿâ„Žğ‘§,𝐽𝐵(𝑧)=𝐷0−𝐷1ğ‘Ÿâ„Žğ‘§,(4.11) where 𝐷1 can be associated with the charge density. Coefficient 𝐶1 in (4.11) should be identified with the order parameter ⟨𝒪𝐾⟩ for the theory on the border. Since the order parameter is related to a vector field (𝐴𝑖), the associated theory on the border is a p-wave superconductor [13].

As in the scalar field case, we will match both solutions at an intermediate point which we again choose as 𝑧𝑚=1/2, 𝐾𝐻12=𝐾𝐵12,ğ¾î…žğ»î‚€12=ğ¾î…žğµî‚€12,𝐽𝐻12=𝐽𝐵12,ğ½î…žğ»î‚€12=ğ½î…žğµî‚€12,(4.12) and solve these equations for 𝐾0, 𝐽1, 𝐶1, and 𝐷0. From the first two identities (4.12), we obtain 𝐶1=43ğ‘Ÿâ„Žğ¾0+𝐾309ğ‘Ÿâ„Ž,𝐽1=−48𝑟2ℎ+22𝐾20𝐾+340/𝑟2ℎ(4.13) (we chose 𝐽1<0 so 𝐽(𝑧)>0).

Substituting these values in (4.12), we can obtain 𝐾0 as the root of the following polynomial in 𝐾20: 3𝑟2â„Žğ¾80+40𝐾60+207𝑟2â„Žğ¾40+486𝑟4â„Žğ¾20−9𝑟2â„Žî€·ğ·21−48𝑟4ℎ=0.(4.14)

This equation implies that 𝐾20 vanishes as 𝐾20=𝐷21−48𝑟4ℎ54𝑟2â„Žî€·ğ·+𝑂21−48𝑟4ℎ2.(4.15)

Finally, introducing the temperature 𝑇=3/(4𝜋)ğ‘Ÿâ„Ž, we can write 𝐾20=128𝜋2𝑇814𝑐𝑇2𝑇1−𝑐𝑇4for𝑇near𝑇𝑐,(4.16) where 𝑇2𝑐=3√364𝜋2𝐷1.(4.17) Then, for 𝑇 close to 𝑇𝑐, we have the typical second-order phase transition behavior for 𝐶1=⟨𝒪𝐾√⟩∝(1−𝑇)/𝑇𝑐, in good agreement with [12, 13]. Our numerical value for 𝑇𝑐 from (4.17), 𝑇𝑐/√𝐷1=0.091, can be compared with the numerical value obtained in [13], 𝑇𝑐/√𝐷1=0.125.

5. The 𝑑=3 Scalar Case in the Presence of an Applied Magnetic Field

We will consider here a system with dynamics governed by the action (3.1) in the 𝑑=3, 𝑚2=−2 case, when an external magnetic field 𝐻 is applied. This corresponds to the case where the background metric is an AdS3+1  magnetically charged black hole [14, 15]: 𝑑𝑠2=−𝑓(𝑟)𝑑𝑡2+1𝑓(𝑟)𝑑𝑟2+𝑟2𝑑𝑥𝑖𝑑𝑥𝑖𝑟,𝑖=1,2,𝑓(𝑟)=2𝐿2−𝑀𝑟+𝐻2𝑟2.(5.1) The 𝑓(𝑟)=0 condition for having event horizons gives a quartic algebraic equation with 4 roots which can be explicitly written in terms of surds. There are two complex conjugate roots which we will call 𝑟1 and 𝑟2 and two real roots 𝑟3<𝑟4. We will then call ğ‘Ÿâ„Žâ‰¡ğ‘Ÿ4 the external black hole horizon. Taking 𝐿=1 from here on, one has ğ‘Ÿâ„Ž=1261/3𝐵+12𝑀𝐵−B2,(5.2) where î„¶î„µî„µâŽ·ğµ=831/3𝐻2𝐷+9𝑀21/3+21/3𝐷+9𝑀21/3√,𝐷=81𝑀4−768𝐻6.(5.3) The actual form of the other roots ğ‘Ÿğ‘Ž (ğ‘Ž=1,2,3) is not necessary since one will only need the standard relationships between roots and coefficients 𝑟1+𝑟2+𝑟3=âˆ’ğ‘Ÿâ„Ž,𝑟1𝑟2+𝑟1𝑟3+𝑟2𝑟3=𝑟2ℎ,𝑟1𝑟2𝑟3=𝐻2ğ‘Ÿâ„Ž,(5.4) together with the relation 𝐻2𝑟4â„Žâˆ’ğ‘€ğ‘Ÿ3ℎ+1=0.(5.5) The Hawking temperature associated to the black hole is 𝑓𝑇=î…žî€·ğ‘Ÿâ„Žî€¸=14𝜋4𝜋3ğ‘Ÿâ„Žâˆ’â„Ž2𝑟3ℎ.(5.6)

In terms of the variable 𝑧=ğ‘Ÿâ„Ž/𝑟, the equations of motion read î‚ğœ“î…žî…žî€·ğ‘Ÿ(𝑧)+ğ‘‘ğ‘“â„Žî€¸/𝑧/ğ‘‘ğ‘§ğ‘“î€·ğ‘Ÿâ„Žî€¸/ğ‘§î‚ğœ“î…žğ‘Ÿ(𝑧)+2â„Žğ‘§4𝜙2(𝑧)ğ‘“î€·ğ‘Ÿâ„Žî€¸/𝑧2+2ğ‘“î€·ğ‘Ÿâ„Žî€¸îƒªî‚ğœ™/𝑧=0,(𝜓𝑧)−22(𝑧)ğ‘“î€·ğ‘Ÿâ„Žî€¸î‚îƒ©ğ‘Ÿ/𝑧𝜙(𝑧)2â„Žğ‘§4=0,(5.7) where 𝜓(𝑧)≡𝜓(ğ‘Ÿâ„Ž/𝑧) and 𝜙(𝑧)≡𝜙(ğ‘Ÿâ„Ž/𝑧) (but from now on, the tilde will be omitted). In terms of the new variables, we have ğ‘“î‚€ğ‘Ÿâ„Žğ‘§î‚=î‚€ğ‘Ÿâ„Žğ‘§î‚2(1−𝑧)1−̃𝑟1𝑧1−̃𝑟2𝑧1−̃𝑟3𝑧,î€·ğ‘Ÿğ‘‘ğ‘“â„Žî€¸/𝑧/ğ‘‘ğ‘§ğ‘“î€·ğ‘Ÿâ„Žî€¸=𝑧/𝑧−2−𝑀3/𝑟3ℎ+2𝐻2𝑧4/𝑟4â„Žî€¸î€·ğ‘§(1−𝑧)1−̃𝑟1𝑧1−̃𝑟2𝑧1−̃𝑟3𝑧,(5.8) where Ìƒğ‘Ÿğ‘Ž=ğ‘Ÿğ‘Ž/ğ‘Ÿâ„Ž,ğ‘Ž=1,2,3.

The boundary conditions for system (5.7) at the horizon are 𝜓𝜙(1)=0,(5.9)(1)=2ğ‘Ÿâ„Ž3ğ‘Ÿâ„Žâˆ’î€·ğ»2/𝑟3â„Žî€¸ğœ“(1),(5.10) while asymptotically one has 𝜓(𝑧)=𝐷1𝑧+𝐷2𝑧2,𝜌𝜙(𝑧)=ğœ‡âˆ’ğ‘Ÿâ„Žî‚¶ğ‘§.(5.11)

For the solution of system (5.7) near the horizon, we have the expansions, up to order (𝑧−1)2, 𝜓𝐻(𝑧)=𝜓0+𝜓11(𝑧−1)+2𝜓2(𝑧−1)2,𝜙𝐻(𝑧)=𝜙0+𝜙11(𝑧−1)+2𝜙2(𝑧−1)2,(5.12) with 𝜓0, 𝜓1, 𝜓2, 𝜙0, 𝜙1, and 𝜙2 constants. Using (5.10) we get 𝜙0𝜓=0,1=2ğ‘Ÿâ„Ž3ğ‘Ÿâ„Žâˆ’î€·ğ»2/𝑟3â„Žî€¸ğœ“0.(5.13) Substituting these values in (5.12) and using the differential equations, we can obtain 𝜙2 and 𝜓2 as functions of 𝜙1 and 𝜓0. We get 𝜓(𝑧)=𝜓0+2𝑟4â„Žğ»2−3𝑟4â„Žğœ“0𝑟(1−𝑧)−4ℎ8𝑟4ℎ+𝑟2â„Žğœ™21−12𝐻24𝐻2−3𝑟4ℎ2𝜓0(1−𝑧)2,𝜙(𝑧)=−𝜙1𝑟(1−𝑧)+4â„Žğœ“20𝜙1𝐻2−3𝑟4ℎ(1−𝑧)2.(5.14)

As before, we impose matching conditions at 𝑧=1/2: 𝜓𝐻12=𝜓𝐵12,ğœ“î…žğ»î‚€12=ğœ“î…žğµî‚€12,𝜙𝐻12=𝜙𝐵12,ğœ™î…žğ»î‚€12=ğœ™î…žğµî‚€12,(5.15) and solve for 𝜓0, 𝜙1, 𝐷2, and 𝜇. We look for solutions with 𝐷1=0 and 𝐷2 corresponding to the order parameter of the 2+1 system defined on the boundary. We obtain 𝜙1𝑟=−2ğ‘…â„Žî€¸,𝐻,𝐻𝜇=2𝜌/ğ‘Ÿâ„Žî€¸î€·ğ‘Ÿ+2ğ‘…â„Ž,𝐻−𝑟4ℎ3𝜌/ğ‘Ÿâ„Žî€¸î€·ğ‘Ÿ+ğ‘…â„Žğœ“,𝐻20+62𝐻2−3𝑟4ℎ,𝜓20=3𝑟4â„Žâˆ’ğ»2𝜌/ğ‘Ÿâ„Žî€¸î€·ğ‘Ÿâˆ’2ğ‘…â„Ž,𝐻2𝑟4â„Žğ‘…î€·ğ‘Ÿâ„Žî€¸,𝐷,𝐻2=88𝑟8â„Žâˆ’ğœ™21𝑟6ℎ−68𝐻2𝑟4ℎ+16𝐻4𝜓04𝐻2−3𝑟4ℎ2,(5.16) where ğ‘…î€·ğ‘Ÿâ„Žî€¸=⎷,𝐻7𝑟8ℎ−6𝐻2𝑟4ℎ+2𝐻4𝑟6ℎ.(5.17)

The equation for 𝜓20 in terms of the dimensionless variable 𝑢=ğ‘Ÿâ„Ž/√𝐻 takes the form 𝜓20=3𝑢4−1(𝜌/𝐻)−22/𝑢4−6+7𝑢42𝑢42/𝑢4−6+7𝑢4,(5.18) with the temperature (5.6) given by 𝑇√𝐻=114𝜋3𝑢−𝑢3.(5.19)

The minimum value that 𝑢 can take is the one for which 𝑇=0, 𝑢=3−1/4, and corresponds to the condition 33𝑀4=27𝐻6. From this, we see that in order to have a nontrivial solution the following inequality should hold: 𝜌𝐻≤22/𝑢4−6+7𝑢4.(5.20) The maximum of the r.h.s. is attained for 𝑢𝑚=(2/7)1/8>𝑢0 so that there is a critical value 𝐻𝑐 of the magnetic field beyond which no nontrivial solution exists, 𝐻𝑐=0.41𝜌.(5.21)

Using (5.18)-(5.19), one can determine the critical temperature 𝑇𝑐 as a function of 𝐻. We give in Figure 1 the resulting 𝑇𝑐=𝑇𝑐(H) curve. Interestingly, we find that in the range 𝐻𝑐𝜌>𝐻>22/𝑢40−6+7𝑢40=0.327𝜌,(5.22) the curve 𝑇𝑐(𝐻) becomes double valued so that a nontrivial solution only exists in the range 𝑇𝑐2>𝑇>𝑇𝑐1. According to the gauge/gravity duality 𝐷2 should be identified with the order parameter, ⟨𝒪𝜓⟩=𝐷2. We obtain the following expression: 𝐷2=5𝑢4−26𝑢4−2(𝜌/𝐻)−22/𝑢4−6+7𝑢4𝑢22/𝑢4−6+7𝑢41/4.(5.23)

Note that 𝐷2 becomes negative for 𝑢0<𝑢<(2/5)1/4 or, equivalently, for √0<𝑇<0.0316𝐻. However, when 𝐻→0 the numerator and denominator coefficients of 𝐷2 that multiply 𝜓0 cancel out. This is consistent with the result of the nomagnetic field model. (In fact, we have checked that the results of both models, 𝐻=0, 𝑑=3, and 𝑚2=−2, are identical. We present in Figure 2 curves for 𝐷2 as a function of temperature for different values of the external magnetic field.

The results are qualitatively in agreement with those described in [14, 15] where the reported curves obtained by numerically solving the equations of motion are similar to those in Figure 2.

6. Summary and Discussion

We have analyzed a number of models which have been proposed to study phase transition through the AdS/CFT correspondence. The common feature of all three models we discussed was that the space time bulk geometry was an Anti de Sitter black hole. Although the dynamical field content was very different—a charged scalar coupled to an electric potential, the same model in an external magnetic field, and a pure non-abelian gauge theory—the emerging scenarios are very similar and always include a second-order phase transition with mean-field critical exponents.

On general grounds, we were able to explain why the highly symmetric ansätze generally used produce the critical behaviors seen in mean field theory or the Landau approach. Founded on basic principles as the connection between the equations of motion and the Schrödinger equation, we clarify the similarity between several relevant quantities along a variety of models. In particular we showed that resorting to simple matching conditions, we obtain closed form solutions that significantly agree with the results obtained by numerically solving the exact set of equations of motion. This uncovers the important role played by analyticity to explain the universal behavior of certain physical constants.

The method seems to work very well near the critical temperature, though it deviates from the numerical results as we approach 𝑇→0. In this regime our approach should be refined.

Alternative analytic calculations have been recently presented in [23, 24] where the phase transition vicinity is studied solving the equations of motion in terms of a series expansion near the horizon. Although the approach in these works is close to the one proposed in [8] and applied here, the possibility in the latter of varying the intermediate point 𝑧𝑚 at which the matching is performed allows to obtain better solutions at fixed order 𝑁 in the expansion, as already pointed out in [24]. As we have seen that, in the matching approach, the problem reduces to find the solution of an algebraic equations system and this can be done, to the order we worked here, in a straightforward way. Increasing the order will of course complicate the algebraic system but in view of its main features, it can be handled by a simple computational software like Mathematica, at least for the next few orders. For a large-order expansion the method followed in references [23, 24] seems to be more appropriate.

Although the matching method works very well near the critical temperature, it deviates from the numerical results as 𝑇 approaches 0. In this regime the method should be refined. In particular it is to be expected that taking into account the quantum fluctuations of the gravity theory, one should be able to go beyond mean field approximation results. Also, one should consider generalized Lagrangians (like the Stückelberg one considered in [16]) leading to various types of phase transitions (first or second order with both mean and nonmean field behavior) as parameters are changed. There is also the possibility that including fermions in the bulk model could substantially change the critical behavior of the theory in the bulk (see [25] and references therein). The simplicity of the approach presented here, not requiring refined numerical calculations, should be an asset when trying to explore these more complex situations.


F. A. Schaposnik is associated with CICBA.