Abstract
We present the new method to calculate the critical temperature as a function of \(\Delta \), conformal dimension of the cooper operator. We find that, in the regime \(1/2\le \Delta <1\) where the AC conductivity does not show a gap, the critical temperature is not well defined. We also got expression of AC conductivity for \(\Delta =2\), which agrees with numerical result in the probe approximation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recent progress in the holographic superconductivity [1,2,3], based on the gauge gravity duality [4,5,6], made an essential contribution in understanding the symmetry broken phase of AdS/CFT by constructing a dynamical symmetry breaking mechanism. While the symmetry breaking in the Abelian Higgs model in flat space is adhoc by assuming the presence of the potential having a Maxican hat shape, the symmetry breaking of the abelian Higgs model in AdS can be done by the gravitational instability of near horizon geometry to create a haired black hole, thereby the model is equipped with a fully dynamical mechanism of the symmetry breaking. The observables’ dependence on \(\Delta \) is interesting because \(\Delta \) depends on the strength of the interaction.
After initial stage of the model building [1, 2] where probe limit of the gravity background was used, full back reacted version [3] worked out. It turns out that although there are significant differences in the zero temperature limit between the probe limit and the full back reacted version, the former captures the physics [7] correctly near the critical temperature \(T_{c}\), which is expected because the back reaction cannot be large when the condensation just begin to appear.
The analytic expressions of observables within the probe approximation were also obtained in [8, 9]. One problem is that [8,9,10] the critical temperature is divergent at the \(\Delta =1/2\), which does not seems to make physical sense and it has not been understood as far as we know. This was also noticed as a problem [7] but the reason for it has not been cleared yet.
In this paper, we consider the problem by recomputing \(T_{c}\) and physical observables analytically near the \(T_{c}\), where the probe approximation is a good one. We apply Pincherle’s theorem [11] to handle the Heun’s equation which appears in the computation of the critical temperature in the blackhole background. We find that the region of \(1/2\le \Delta <1\) for AdS\(_{4}\) does not have a well defined eigenvalue and therefore does not have well defined critical temperature either. See Fig. 1. We will also see that, in this same regime, the AC conductivity gap \(\omega _{g}\) does not exist either, giving us another confidence in concluding the absence of the superconductivity in this regime. The situation remind us the physics of the pseudo gap regime where one can find Cooper pairs but not superconductivity due to the absence of the phase alignment of the pairs. Similar phenomena exists for \(1<\Delta <3/2\) for AdS\(_{5}\), which is described in the Appendix B.
2 Set up
We start with the action [1],
where \(|g|=\det g_{ij}\), \(D_{\mu }\Phi =\partial _{\mu }-igA_{\mu }\) and \(F=dA\). Following the Ref. [1], we use the fixed metric of AdS\(_{d+1}\) blackhole,
The AdS radius is set to be 1 and \(r_h\) is the radius of the horizon. The Hawking temperature is \(T=\frac{d}{4\pi } r_h. \) In the coordinate \(z= r_h/r\), the field equations are
Here, \(\Psi (z)\) is the scalar field and \(\Phi (z)\) is an electrostatic scalar potential \(A_{t}\).
Near the boundary \(z=0\), we have
where \(\Delta _{\pm } = {d/2\pm \sqrt{(d/2)^2+m^2}} \), \(\mu \) is the chemical potential and \(\rho \) is the charge density. By \(\Delta \) we mean \(\Delta _{+}\).
We examine the range \(\frac{d-1}{2} \le \Delta < d\) only, because the regime \(0< \Delta <\frac{d-1}{2} \) is not physical. Notice also that \(\Delta =d/2\) is the value for which \(\Delta _{+}=\Delta _{-}\) and \(\Delta =d\) is the value where \(m^{2}=0\). We request the boundary conditions at the horizon \(z=1\): \(\Phi (1)=0\) and the finiteness of \(\Psi (1)\). Then the condensate of the Cooper pair operator \({\mathcal {O}}_{\Delta }\) dual to the field \(\Psi \) is given by \( \langle {\mathcal {O}}_{\Delta }\rangle =\lim _{{r\rightarrow \infty }}\sqrt{2}r^{\Delta }\Psi (r) \) under the assumption that the source is zero.
3 Critical temperature \(T_{c}\) in AdS4
At \(T= T_c\), \(\Psi =0\), and Eq. (2.3) is integrated [8] to give
where \(r_c\) is the horizon radius at \( T_c\). As \(T\rightarrow T_c\), the field equation of \(\Psi \) becomes
where \(\lambda _{g,d}= g\lambda _d\). Our result for the critical temperature is given by
which is a part of the first line of Table 1. Details of deriving this result is in Sects. 3.1 and 3.2.
For \(\Delta =1\) and 2 in AdS\(_{4}\), we have \(T_c/(g^{1/2}\sqrt{\rho } )=0.2256 \) and 0.1184 respectively. If we set our coupling \(g=1\), these are in good agreement with the numerical data of [1] confirming the validity of our method.
To find the \(\Delta \)-dependence of the \(T_{c}\), we first calculate \(\lambda _{g,d}\). The procedures are rather involved both analytically and numerically. Here, we display the analytic structure of the calculated data of \(\lambda _{g,d}\) leaving the details to the Sect. 3.1 and Appendix B.1.1:
Here, we used the Pincherle’s Theorem with matrix-eigenvalue algorithm [11]. Notice that the variational method used in [8] is not applicable near the singularity \(\Delta =(d-2)/2\).
3.1 Matrix algorithm and Pincherle’s Theorem
At the critical temperature \(T_c\), \(\Psi =0\), so Eq. (2.3) tells us \(\Phi ^{\prime \prime }=0\). Then, we can set
here, \(r_c\) is the radius of the horizon at \(T=T_c\). As \(T\rightarrow T_c\), the field equation \(\Psi \) approaches to
where \(\lambda _{g,3}= g\lambda _3\). Factoring out the behavior near the boundary \(z=0\) and the horizon, we define
Then, F is normalized as \(F(0)=1\) and we obtain
Notice that this is the generalized Heun’s equation [12] that has five regular singular points at \(z=0,1,\frac{-1\pm \sqrt{3}i}{2},\infty \). Substituting \(y(z)= \sum _{n=0}^{\infty } d_n z^{n}\) into (3.8), we obtain the following four term recurrence relation:
with
The first four \(d_{n}\)’s are given by \(\alpha _0 d_1+ \beta _0 d_0=0\), \(\alpha _1 d_2+ \beta _1 d_1+ \gamma _1 d_0=0 \), \(d_{-1}=0\) and \(d_{-2}=0\). Equations (3.7), (3.9) and (3.10) give us the following boundary condition
Since the 4 term relation can be reduced to the 3 term relation, we first review for a minimal solution of the three term recurrence relation
with \(\alpha _0 d_1+ \beta _0 d_0=0\) and \(d_{-1}=0\). Equation (3.12) has two linearly independent solutions X(n), Y(n). We recall that \(\{X(n)\}\) is a minimal solution of Eq. (3.12) if not all \(X(n)=0\) and if there exists another solution Y(n) such that \(\lim _{n\rightarrow \infty }X(n)/Y(n)=0\). Now \((d_n)_{n\in {\mathbb {N}}}\) is the minimal solution if \(\alpha _0 \ne 0\) and
One should remember that \(\alpha _{n},\beta _{n},\gamma _{n}\)’s are functions of \(\lambda \) so that above equation should be read as equation for \(\lambda \).
As we mentioned above, we can transform the four term recurrence relations into three-term recurrence relations by the Gaussian elimination steps. More explicitly, the transformed recurrence relation is
where
and
and \(\alpha _0^{\prime } d_1+ \beta _0^{\prime } d_0=0\) and \(d_{-1}=0\). Now the minimal solution is determined by
which, in terms of the unprimed parameters, is equivalent to
or
in the limit \(N\rightarrow \infty \).
We now show why y(z) is convergent at \(z=1\) if \(d_n\) in Eq. (3.9) is a minimal solution. We rewrite Eq. (3.9) as
where \(A_n\), \(B_n\) and \(C_n\) have asymptotic expansions of the form
with
The radius of convergence, \(\rho \), satisfies characteristic equation associated with Eq. (3.19) [13,14,15]:
whose roots are given by
So for a four-term recurrence relation in Eq. (3.9), the radius of convergence is 1 for all three cases. Since the solutions should converge at the horizon, y(z) should be convergent at \(|z|\le 1\). According to Pincherle’s Theorem [16], we have a convergent solution of y(z) at \(|z|=1\) if only if the four term recurrence relation Eq. (3.9) has a minimal solution. Since we have three different roots \(\rho _i\)’s, so Eq. (3.19) has three linearly independent solutions \(d_1(n)\), \(d_2(n)\), \(d_3(n)\). One can show that [16] for the large n,
with
and \(\tau _i(0)=1\). In particular, we obtain
Substituting Eqs. (3.23) and (3.21) into Eqs. (3.24)–(3.26), we obtain
with
Since \(\lambda _{g,3}>0\),
Therefore \(d_2(n)\) and \(d_3(n)\) are minimal solutions. Also,
Therefore, \(y(z)=\sum _{n=0}^{\infty }d_n z^n\) is convergent at \(z=1\) if only if we take \(d_2\) and \(d_{3}\) which are minimal solutions.
Equation (3.17) becomes a polynomial of degree N with respect to \(\lambda _{g,3}\). The algorithm to find \(\lambda _{g,3}\) for a given \(\Delta \) is as follows:
-
1.
Choose an N.
-
2.
Define a function returning the determinant of system Eq. (3.17).
-
3.
Find the roots of interest of this function.
-
4.
Increase N until those roots become constant to within the desired precision [11].
3.2 Presence of unphysical regime: \(\frac{1}{2}<\Delta <1\)
We numerically compute the determinant to locate its roots. We are only interested in smallest positive real roots of \(\lambda _{g,3}\). Taking \(N=32\), we first compute the roots and then find an approximate fitting function, which turns out to be given by
However, for \(1/2< \Delta <1\), we will see that there is no convergent solution, because there are three branches so that it is impossible to get an unique value \(\lambda _{g,3}\) no matter how large N is. See the Fig. 1b. Notice, however, that these three branches merge to the single value \(\lambda _{g,3} \approx 1\) as N increases as Fig. 1b shows.
We now want to understand analytically why three branches occur near \(\Delta =1/2\) regardless of the size of N. Equation (3.17) can be simplified using the formula for the determinant of a block matrix,
By explicit computation, we can see the factor \(\det (A)=9 \lambda ^2\) at \(\Delta =1/2\) so that the minimal real root is \(\lambda _{g,3}=0\).
Near \(\Delta =1/2\), we can expand the determinant as a series in \( \varepsilon =\Delta - 1/2 \ll 1\) and \(0< \lambda _{g,3}\ll 1\). After some calculations, we found that \(d_N =0\) gives following results:
-
1.
For \(N=3m\) with positive integer m,
$$\begin{aligned}&\lambda _{g,3}^3 \sum _{n=0}^{N-2} \alpha _{1,n} \lambda _{g,3}^n +\varepsilon \lambda _{g,3} \sum _{n=0}^{N} \beta _{1,n} \lambda _{g,3}^n \nonumber \\&\quad + {\mathcal {O}}(\varepsilon ^2) =0. \end{aligned}$$(3.33)This leads us \(\lambda _{g,3} \sim \varepsilon ^{1/2} \sim (\Delta -1/2)^{1/2}\) as far as \(\alpha _{1,0}\beta _{1,0}\ne 0\), which can be confirmed by explicit computation. This result does not depends on the size of N. Similarly,
-
2.
For \(N=3m+1\),
$$\begin{aligned}&\lambda _{g,3}^2 \sum _{n=0}^{N-1} \alpha _{2,n} \lambda _{g,3}^n +\varepsilon \lambda _{g,3} \sum _{n=0}^{N} \beta _{2,n} \lambda _{g,3}^n \nonumber \\&\quad + {\mathcal {O}}(\varepsilon ^2) =0, \end{aligned}$$(3.34)giving us \(\lambda _{g,3} \sim (\Delta -1/2)\).
-
3.
For \(N=3m+2\),
$$\begin{aligned} \lambda _{g,3}^3 \sum _{n=0}^{N-2} \alpha _{3,n} \lambda _{g,3}^n +\varepsilon \sum _{n=0}^{N+1} \beta _{3,n} \lambda _{g,3}^n + {\mathcal {O}}(\varepsilon ^2) =0,\nonumber \\ \end{aligned}$$(3.35)leading to \(\lambda _{g,3} \sim (\Delta -1/2)^{1/3}\).
These results prove the presence of three branches near \(\Delta =1/2\) (Fig. 2).
We numerically calculated 101 different values of \(\lambda _{g,3}\)’s at various \(\Delta \) and the result is the red colored curve in Fig. 3. These data fits well by above formula.
The authors of Ref. [8] got \(\lambda _{g,3}\)’s by using variational method using the fact that the eigenvalue \(\lambda _{g,3}\) minimizes the expression
for \(\Delta >1/2\). The integral does not converge at \(\Delta =1/2\) because of \(\ln (z)\). The trial function used is \(F(z)=1-\alpha z^2\) where \(\alpha \) is the variational parameter. Their result is given by the red dotted line in Fig. 3. While the variational method tells us that there are numerical values of \(\lambda _{g,3}\) for \(1/2<\Delta <1\), our method tells us that this region does not allow well defined value of \(\lambda _{g,3}\), hence \(T_{c}\) is not defined there.
The critical temperature is given by \( T_c =\frac{3}{4\pi }\sqrt{\frac{\rho }{\lambda _3}} \), so that it can be calculated by once \(\lambda \) is given. Notice that \(T_c\) is a monotonically decreasing function of \(\Delta \). See Fig. 2a. Similary see Fig. 2b for AdS5 case.
Similar statements are true for AdS5: Depending on even-ness or odd-ness of n, there are two branches if \(1<\Delta <1.5\). Two branches merge in \(\Delta \ge 1.5\) for AdS5. For more detail, see Appendix B.1.2.
4 The condensation near critical temperature
Substituting Eq. (3.7) into Eq. (2.3), the field equation \(\Phi \) becomes
where \( {g\langle {\mathcal {O}}_{\Delta }\rangle ^2}/{ r_h^{2\Delta }}\) is small because \(T\approx T_c\). The above equation have the expansion around Eq. (3.5) with small correction [8]:
We have \(\chi _1(1)=\chi _1^{\prime }(1)=0\) due to the boundary condition \(\Phi (1)=0 \). Taking the derivative of Eq. (4.2) twice with respect to z and using the result in Eq. (4.1),
Integrating Eq. (4.3) gives us
Equation (3.7) with Eq. (3.10) shows
Here, we ignore \(d_n z^n\) terms if \(n\ge 16\) because \(0<|d_n|\ll 1\) numerically and y(z) converges for \(0\le z\le 1\).
We can calculate the numerical value of \(\sqrt{1/{\mathcal {C}}_3}\) by putting Eqs. (3.31) and (3.10) into Eqs. (4.4) and (4.5). We calculated 102 different values of \(\sqrt{1/{\mathcal {C}}_3}\)’s at various \(\Delta \), which is drawn as dots in Fig. 4. Then we tried to find an approximate fitting function. The result is given as follows,
Figure 4 shows how the data fits by above formula.
From the Eqs. (4.2) and (2.4), we have
Putting \(T=\frac{3}{4\pi } r_h \) with \(\lambda _3=\frac{\rho }{r_c^2}\) into Eq. (4.7), we obtain the condensate near \(T_c\):
In Ref. [8] it was argued that \(\lim _{\Delta \rightarrow d}{\mathcal {C}}_d=0\), which would lead to the divergence of the condensation in Eq. (4.4). However, our result shows that \(\lim _{\Delta \rightarrow d}{\mathcal {C}}_d =finite \) so that Eq. (4.4) is finite, which can be confirmed in the Fig. 5. The condensate is an increasing function of the \(\Delta \) but it decreases with increasing T.
As we substitute Eq. (3.3) into Eq. (4.8), we obtain
The square root temperature dependence is typical of a mean field theory [1, 8, 17]. Our main interest here is the \(\Delta \) dependence of the \(\mathcal{M}_{3}\), especially the singular dependence through \(\mathcal{C}_{3}\) whose values for some particular value of \(\Delta \) was obtained before: for \(\Delta =1\), we have \({\mathcal {M}}_3 =8.53\) which is in good agreement with the \({{\mathcal {M}}}_3 =9.3\) [1]. For \(\Delta =2\), we have \({{\mathcal {M}}}_3 =119.17\) which roughly agrees with the results \({{\mathcal {M}}}_3 =119\) of Ref. [18] and \({{\mathcal {M}}}_3 =144\) of Ref. [1]. We obtained the approximate results for general \({\mathcal {C}}_d\). See Eqs. (4.6) and (B.27) in the Appendix. For large \(\Delta \), \({\mathcal {C}}_d \sim \Delta ^{-(d+9)}\). We conclude that we do not have a singular dependence of the condensation anywhere for the s-wave holographic superconductivity, which is different from the result of Ref. [8]. See the Fig. 5.
5 The AC conductivity for \(\Delta =1,2\) in \(2+1\)
The Maxwell equation for the planar wave solution with zero spatial momentum and frequency \( \omega \) is
where \(A_x\) is the perturbing electromagnetic potential and
with F defined as before. To request the ingoing boundary conditions at the horizon, \(z=1\), we introduce G(z) by \(A_x(z)=(1-z)^{-\frac{i}{3} {\hat{\omega }}} G(z)\) where \({\hat{\omega }}=\omega /r_{+}\). Then the wave equation (5.1) reads
If the asymptotic behaviour of the Maxwell field at large r is given by
then the conductivity is given by
Near the \(T=0\), the Eq. (5.2) is simplified to
For \(\Delta =1\), \(F(z)\approx 1\) so that the solution of Eq. (5.5) is
Here, R is a constant called reflection coefficient. Taking the zero temperature limit \(T \rightarrow 0\) is equivalent to sending the horizon to infinity. Then the in-falling boundary condition corresponds to \(R=0\). Then it gives the conductivities,
Compare Fig. 6a with Fig. 6c. Similarly, for \(\Delta =2\), we can obtain the conductivity given as follow,
where
This result fits the numerical data almost exactly as one can see in Fig. 6b. And it is consistent with the result of Ref. [7]; compare Fig. 6b with Fig. 6d. For derivation of these results, the Appendix A.2.1.
To request the ingoing boundary conditions at the horizon, \(z=1\), we introduce H(z) by \(A_x(z)=(1-z^3)^{-\frac{i}{3} {\hat{\omega }}} H(z)\) where \({\hat{\omega }}=\omega /r_{+}\). Then the wave equation (5.1) reads
The boundary conditions at the horizon are [19]
To evaluate the conductivities at low frequency, it is enough to obtain H(z) up to first order in \(\omega \),
Inserting this into Eq. (5.8), \(H_0(z)\) and \(H_1(z)\) satisfy
where \(b^{\Delta } = \frac{g\langle {\mathcal {O}}_{\Delta }\rangle }{\Delta r_{+}^{ \Delta }}\). Near the \(T=0\) we can simplify two coupled equations (5.10) and (5.11) as
The conductivity is given by
The solution of Eq. (5.14) is given in Eq. (A.1). Here, \(n_s\) is the coefficient of the pole in the imaginary part \(\Im {\sigma (\omega )}\sim n_s/\omega \) as \(\omega \rightarrow 0\). For derivation of these results, see the Appendix A.2.1. For the \(\Delta \) values other than 1 or 2, there is no analytic result available at this moment.
6 Discussion
One problem is that [8,9,10] the critical temperature is divergent at the \(\Delta =1/2\), which does not seems to make physical sense and it has not been understood as far as we know. This was also noticed as a problem [7] but the reason for it has not been cleared yet.
In this paper, we consider the problem of divergence of the critical temperature at \(\Delta =1/2\) by recalculating \(T_{c}\) using Pincherle’s theorem [11] to handle the Heun’s equation. We find that the region of \(1/2\le \Delta <1\) for AdS\(_{4}\) does not have well defined critical temperature. Similar phenomena also occur in AdS5. We also computed the AC conductivity gap \(\omega _{g}\) and in this same regime, it does not exist either. The situation is similar to the physics of the pseudo gap where Cooper pairs are formed but the phase alignment of the pairs are absent. In the future work, we will work out the same phenomena in other background and also for non s-wave situation, to confirmed the universality of the phenomena.
Data Availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical work so there is no experimental data.]
References
S.A. Hartnoll, C.P. Herzog, G.T. Horowitz, Building a holographic superconductor. Phys. Rev. Lett. 101, 031601 (2008). arXiv:0803.3295
S.S. Gubser, Breaking an Abelian gauge symmetry near a black hole horizon. Phys. Rev. D 78, 065034 (2008). arXiv:0801.2977
S.A. Hartnoll, A. Lucas, S. Sachdev, Holographic quantum matter. (MIT press, 2018)
J.M. Maldacena, The large N limit of superconformal field theories and supergravity. Int. J. Theor. Phys. 38, 1113–1133 (1999). arXiv:hep-th/9711200
E. Witten, Anti-de Sitter space and holography. Adv. Theor. Math. Phys. 2, 253–291 (1998). arXiv:hep-th/9802150
S.S. Gubser, I.R. Klebanov, A.M. Polyakov, Gauge theory correlators from noncritical string theory. Phys. Lett. B 428, 105–114 (1998). arXiv:hep-th/9802109
G.T. Horowitz, M.M. Roberts, Holographic superconductors with various condensates. Phys. Rev. D 78, 126008 (2008)
G. Siopsis, J. Therrien, Analytic calculation of properties of holographic superconductors. J. High Energy Phys. 2010, 1–18 (2010)
G. Siopsis, Holographic superconductors at low temperatures. Bull. Am. Phys. Soc. 56 (2011)
F. Denef, S.A. Hartnoll, Landscape of superconducting membranes. Phys. Rev. D 79, 126008 (2009)
E.W. Leaver, Quasinormal modes of Reissner–Nordström black holes. Phys. Rev. D 41, 2986 (1990)
M.N. Hounkonnou, A. Ronveaux, Generalized Heun and Lame’s equations: factorization (2009). arXiv preprint. arXiv:0902.2991
L.M. Milne-Thomson, The Calculus of Finite Differences (American Mathematical Society, Providence, 2000)
O. Perron, Über summengleichungen und poincarésche differenzengleichungen. Mathematische Annalen 84, 1–15 (1921)
H. Poincare, Sur les équations linéaires aux différentielles ordinaires et aux différences finies. Am. J. Math. 7, 203–258 (1885)
W.B. Jones, W.J. Thron, Continued Fractions: Analytic Theory and Applications, vol. 11 (Addison-Wesley Publishing Company, Boston, 1980)
C.P. Herzog, Analytic holographic superconductor. Phys. Rev. D 81, 126009 (2010)
X. Qiao, D. Wang, L. OuYang, M. Wang, Q. Pan, J. Jing, An analytic study on the excited states of holographic superconductors. Phys. Lett. B 811, 135864 (2020)
E. Mefford, G.T. Horowitz, Simple holographic insulator. Phys. Rev. D 90, 084042 (2014)
R. Cai, L. Li, L. Li, R. Yang, Introduction to holographic superconductor models. Sci. China Phys. Mech. Astron. 58, 1–46 (2015)
X.-H. Ge, B. Wang, S.-F. Wu, G.-H. Yang, Analytical study on holographic superconductors in external magnetic field. J. High Energy Phys. 2010, 1–19 (2010)
S. Gangopadhyay, D. Roychowdhury, Analytic study of properties of holographic p-wave superconductors. J. High Energy Phys. 2012, 1–12 (2012)
Q. Pan, B. Wang, General holographic superconductor models with Gauss–Bonnet corrections. Phys. Lett. B 693, 159–165 (2010)
R.-G. Cai, H.-F. Li, H.-Q. Zhang, Analytical studies on holographic insulator/superconductor phase transitions. Phys. Rev. D 83, 126007 (2011)
J. Jing, Q. Pan, S. Chen, Holographic superconductors with Power–Maxwell field. J. High Energy Phys. 2011, 1–12 (2011)
D. Roychowdhury, Effect of external magnetic field on holographic superconductors in presence of nonlinear corrections. Phys. Rev. D 86, 106009 (2012)
S. Gangopadhyay, D. Roychowdhury, Analytic study of Gauss–Bonnet holographic superconductors in Born–Infeld electrodynamics. J. High Energy Phys. 2012, 1–10 (2012)
H.-F. Li, R.-G. Cai, H.-Q. Zhang, Analytical studies on holographic superconductors in Gauss–Bonnet gravity. J. High Energy Phys. 2011, 1–14 (2011)
Q. Pan, J. Jing, B. Wang, Analytical investigation of the phase transition between holographic insulator and superconductor in Gauss–Bonnet gravity. J. High Energy Phys. 2011, 1–17 (2011)
H.-B. Zeng, X. Gao, Y. Jiang, H.-S. Zong, Analytical computation of critical exponents in several holographic superconductors. J. High Energy Phys. 2011, 1–17 (2011)
R. Flauger, E. Pajer, S. Papanikolaou, Striped holographic superconductor. Phys. Rev. D 83, 064009 (2011)
Z. Zhao, Q. Pan, S. Chen, J. Jing, Notes on holographic superconductor models with the nonlinear electrodynamics. Nucl. Phys. B 871, 98–110 (2013)
Y. Liu, Q. Pan, B. Wang, Holographic superconductor developed in BTZ black hole background with backreactions. Phys. Lett. B 702, 94–99 (2011)
Z. Zhao, Q. Pan, J. Jing, Holographic insulator/superconductor phase transition with Weyl corrections. Phys. Lett. B 719, 440–447 (2013)
D. Roychowdhury, AdS/CFT superconductors with Power Maxwell electrodynamics: reminiscent of the Meissner effect. Phys. Lett. B 718, 1089–1094 (2013)
S. Kanno, A note on Gauss–Bonnet holographic superconductors. Class. Quantum Gravity 28, 127001 (2011)
Y. Peng, Q. Pan, B. Wang, Various types of phase transitions in the AdS soliton background. Phys. Lett. B 699, 383–387 (2011)
Q. Pan, J. Jing, B. Wang, S. Chen, Analytical study on holographic superconductors with backreactions. J. High Energy Phys. 2012, 1–12 (2012)
R. Banerjee, S. Gangopadhyay, D. Roychowdhury, A. Lala, Holographic s-wave condensate with nonlinear electrodynamics: a nontrivial boundary value problem. Phys. Rev. D 87, 104001 (2013)
W. Yao, J. Jing, Analytical study on holographic superconductors for Born–Infeld electrodynamics in Gauss–Bonnet gravity with backreactions. J. High Energy Phys. 2013, 1–16 (2013)
J.-W. Lu, Y.-B. Wu, P. Qian, Y.-Y. Zhao, X. Zhang, N. Zhang, Lifshitz scaling effects on holographic superconductors. Nucl. Phys. B 887, 112–135 (2014)
A. Sheykhi, H.R. Salahi, A. Montakhab, Analytical and numerical study of Gauss–Bonnet holographic superconductors with Power–Maxwell field. J. High Energy Phys. 2016, 1–17 (2016)
D. Ghorai, S. Gangopadhyay, Higher dimensional holographic superconductors in Born–Infeld electrodynamics with back-reaction. Eur. Phys. J. C 76, 1–12 (2016)
A. Sheykhi, F. Shaker, Analytical study of holographic superconductor in Born–Infeld electrodynamics with backreaction. Phys. Lett. B 754, 281–287 (2016)
C. Lai, Q. Pan, J. Jing, Y. Wang, On analytical study of holographic superconductors with Born–Infeld electrodynamics. Phys. Lett. B 749, 437–442 (2015)
Y. Liu, Q. Pan, B. Wang, R.-G. Cai, Dynamical perturbations and critical phenomena in Gauss–Bonnet ads black holes. Phys. Lett. B 693, 343–350 (2010)
J. Erdmenger, X.-H. Ge, D.-W. Pang, Striped phases in the holographic insulator/superconductor transition. J. High Energy Phys. 2013, 1–29 (2013)
X.-M. Kuang, E. Papantonopoulos, G. Siopsis, B. Wang, Building a holographic superconductor with higher-derivative couplings. Phys. Rev. D 88, 086008 (2013)
S. Gangopadhyay, Holographic superconductors in Born–Infeld electrodynamics and external magnetic field. Mod. Phys. Lett. A 29, 1450088 (2014)
L. Zhang, Q. Pan, J. Jing, Holographic p-wave superconductor models with Weyl corrections. Phys. Lett. B 743, 104–111 (2015)
R.-G. Cai, L. Li, H.-Q. Zhang, Y.-L. Zhang, Magnetic field effect on the phase transition in AdS soliton spacetime. Phys. Rev. D 84, 126008 (2011)
K.-Y. Kim, M. Taylor, Holographic d-wave superconductors. J. High Energy Phys. 2013, 112 (2013)
W. Yao, J. Jing, Holographic entanglement entropy in metal/superconductor phase transition with Born–Infeld electrodynamics. Nucl. Phys. B 889, 109–119 (2014)
G.T. Horowitz, Introduction to holographic superconductors, in From Gravity to Thermal Gauge Theories: The AdS/CFT Correspondence, ed. by E. Papantonopoulos (Springer, Berlin, 2011), pp. 313–347
I.S. Gradshteyn, I.M. Ryzhik, Table of Integrals, Series, and Products (Academic Press, Cambridge, 2014)
I. Thompson, in NIST Handbook of Mathematical Functions, ed. by F.W.J. Olver, D.w. Lozier, R.F. Boisvert, C.W. Clark (2011)
F.M. Arscott, S.Y. Slavyanov, D. Schmidt, G. Wolf, P. Maroni, A. Duval, Heun’s Differential Equations (Clarendon Press, Oxford, 1995)
G. Siopsis, J. Therrien, S. Musiri, Holographic superconductors near the Breitenlohner–Freedman bound. Class. Quantum Gravity 29, 085007 (2012)
Acknowledgements
We thank Ki-Seok Kim for the useful discussion. This work is supported by Mid-career Researcher Program through the National Research Foundation of Korea Grant no. NRF-2021R1A2B5B0200260. We also thank the APCTP for the hospitality during the focus program, “Quantum Matter and Entanglement with Holography”, where part of this work was discussed.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendices
A Holographic superconductors with AdS\(_{4}\)
The theory of holographic superconductors are much studied. Some of the relevant papers for the analytical techniques can be found, for example, in Refs. [20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53]. After initial stage of the model building [1, 2] where probe limit of the gravity background was used, full back reacted version [3]. Although there are a few differences in the zero temperature limit, the probe limit captures most of the physics [7]. Later on, physical observables of the superconductivity are numerically calculated [7] as functions of the conformal weight (\(\Delta \)) of the Cooper pair operator. These include \({{\mathcal {O}}_{\Delta }}\). \(T_{c}, \langle {{\mathcal {O}}}_{\Delta } \rangle , \sigma ({\omega }), \omega _{g}, \omega _{i}, n_{s}, \) which are the critical temperature, the condensation of the Cooper pair operator, the AC conductivity, the gap in the AC conductivity, the resonance frequencies, and the density of the cooper pairs respectively.
Since the parametric dependences of observables are crucial in understanding the underlying physics, it would be nice to have an analytic expressions within the probe approximation, while it would be senseless to try to replace the fully back reacted numerical solution. Works in this direction had been initiated in [8, 9]. In this paper, we reconsider the problem since many of the result could not be reproduced. We got the analytic results which also agree with the numerical results of the original paper [7]. Since the details are rather long, we summarize our results here.
We also calculated the Cooper pair condensation \(\langle {\mathcal {O}}_{\Delta }\rangle \) as an analytic function of \(\Delta \), which is plotted in Fig. 7 where we compared our results (real colored lines) with those of Ref. [7] (a few red dotted data ) and [8] (black broken line). Noticed that the condensation does not change much for a region around \(\Delta =2\) and slowly increasing as \(\Delta \rightarrow 3\). Our analytic formula reproduces the values of Ref. [7] near \(\Delta =2\) and gives a finite value of the condensation near \(\Delta =3\) unlike Ref. [8]. Notice also that the condensation is almost independent of T and \(\Delta \) over \(3/2< \Delta <3\) region. Interestingly, we will see that the flatness of the graph over the region \(3/2< \Delta <3\) comes as a consequence of the remarkable cancellation of singularities of two functions at \(\Delta =3/2\). Similar result holds in three spatial dimension as well as in two dimension.
Our results for \(T_{c}\) , \(\langle {\mathcal {O}}_{\Delta }\rangle /T_c^{\Delta }\) and \(\langle {\mathcal {O}}_{\Delta }\rangle \) for both near \(T=T_{c}\) and \(T=0\) are summarized in the Tables 1 and 2.
The second quantity calculated is \(\omega _g\), the gap in the optical (AC) conductivity. Notice that there is no solution for \(\omega _g\) at \(1/2<\Delta <1\); see Appendix A.3.1. The co-incidence of this regime with that of non-existence of the critical temperature gives us a confidence in concluding the absence of the superconductivity in this regime. Our results for the \(\omega _g\) is summarized in the Table 3, which are plotted in Fig. 8. The size of the gap is defined by \(\omega _g = \sqrt{V_{\text{ max }}}\) [7]; one should notice that Refs. [7, 54] use slightly different definition of \(\omega _g\).
Notice that \(\omega _g/T_c\) has the slightly decreasing tendency as a function of \(\Delta \) instead of the slowly increasing behavior of Ref. [7]. So there is a small mismatch between the two.
The third quantity we calculated is the superfluid density \(n_s\), which appears as the residue of the pole in the imaginary part of the optical conductivity at \(\omega = 0\). We obtained it as an analytic function of \(\Delta \) given below,
which is plotted in Fig. 9. By plotting our result, we find that it agrees with the numerical result of Ref. [7] for all the data points given there: see Fig. 9.
It has been believed that \(\langle {\mathcal {O}}_{\Delta }\rangle ^{1/\Delta }\), \(T_c\) and \(\omega _g\) are the same quantity up to a numerical factor. This may the case if we look at them for a given \(\Delta \). However, as functions of \(\Delta \), they are all different ones, as we can see in Fig. 10. The identification of these observables partially make sense in the relatively large \(\Delta >2\) regime. It is also interesting to notice that \(\frac{\omega _g}{\langle {\mathcal {O}}_{\Delta }\rangle ^{1/\Delta }}\) is the maximum at \(\Delta =3/2\) as one can see in Fig. 10f.
1.1 A.1 Condensate near the zero temperature
In general, Eq. (2.3) shows us that F(z) in Eq. (3.7) does not converge at \(z=1\). But the previous Sect. 3.1 says that it is converged at the horizon with specific value of \(\langle {\mathcal {O}}_{\Delta }\rangle \). Its means whether we can find eigenvalue of it at \(z=1\) or not simply, satisfied for \(F(1)<\infty \). Unlike \(T\approx T_c\) case, it is really hard to find the eigenvalue \(\langle {\mathcal {O}}_{\Delta }\rangle \) at \(T\approx 0\). Because Eq. (2.3) are nonlinear coupled equations: \(\Phi (z)\) cannot be described in a linear equation any longer unlike \(T\approx T_c\) case. Instead, we use the perturbation theory for the eigenvalue at \(T\approx 0\).
We can simplify Eq. (2.3) in \(T\rightarrow 0\) limit by defining
The equations of motion for F near the zero temperature becomes
The boundary conditions (BC) we should use are
and
The latter is the horizon regularity conditions at \(z=1\), and from (A.39) one can derive \(F'(0)=0\).
We use X to denote \(g^{\frac{1}{\Delta }}\frac{\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}}{T_c}\) which appears often. Then, X satisfies
with \(\nu =\frac{d-2}{2\Delta }\) and \(\tau _{d}=\frac{d}{4\pi \Delta ^{1/\Delta }}\frac{T_c}{T} \). For derivation of this result, see the Appendix A.1. We can get the solution of Eq. (A.6) according to the regimes of \(\Delta \):
\( X = G_d^{\frac{2(d-1)}{d-2+2\Delta }} \beta _d^{\frac{1}{d-2+2\Delta }}\tau _{d}^{\frac{d-2\Delta }{d-2+2\Delta }} \) for \((d-2)/2< \Delta \ll d/2\):
\(X = G_d \;\alpha _d^{\frac{1}{2(d-1)}} \) for \(d/2 \ll \Delta < d\). Especially, for \( \Delta =\frac{d}{2}\)
where \( \rho _d =\frac{\sigma _d}{d}\left( 5-\frac{2}{d-2}-\pi \cot \left( \frac{2 \pi }{d}\right) -2 \psi \left( \frac{2}{d}\right) -\log (4)\right) \) and \(\sigma _d =\frac{\pi (d-2) \csc \left( \frac{2 \pi }{d}\right) }{d^2} \). Here, \(\psi \left( z\right) \) is the digamma function. Details are available in Appendices A.1.2 and B.2.2. Numerical results tell us that \(\rho _3 \approx 0.8\), \(\rho _4 \approx 0.64 \) and \(\sigma _3\approx 0.4 \approx \sigma _4\). Therefore, Eq. (A.10) becomes
We can first test our result with known results: For \(\Delta =1\) and \(T=0.1 T_c\), our analytic expression with \(g=1\) gives \( {\langle {\mathcal {O}}_{1}\rangle }/{T_c}\approx 12.65 \), which is comparable to the numerical result 10.8 of Ref. [1]. Our result, however, is different from that of Ref. [8] except at \(\Delta =1\).
It is important to notice that the temperature dependence of the condensation \(X=g^{\frac{1}{\Delta }}\frac{\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}}{T_c}\) is very different depending on the regime of \(\Delta \). It diverges as \(T\rightarrow 0\) for \( \Delta < \frac{d}{2}\), but it has little dependence on T in \(d/2< \Delta <d\). These results explains the numerical features of Ref. [1].
Notice that there are presence of singularities at \(\Delta =d/2\) in both \(\alpha _d\) and \(\beta _d\). Surprisingly, however, it turns out that there is no singularity in X. To understand this, notice that the behaviors of \(\alpha _d\) near \(\Delta = d/2\) is
which is exactly the same as the behavior of \(-\beta _{d}\) near \(\Delta =d/2\). Therefore, the singularity of X of Eq. (A.39) disappears because at \(\Delta =d/2\), \(X^{d-2\Delta }=1\) and \(\alpha _d+\beta _d\) is finite. Such cancellation of two singularities was rather unexpected.
In Ref. [7], it was numerically noticed that X is almost constant over the region \(d/2< \Delta < d\). To understand this phenomena, we plot \(\alpha _3\), \(\beta _3 \) and \(G_{3}\) as function of \(\Delta \) in the Fig. 11.
In fact, one can show that for \(\Delta \gg \frac{3}{2}\),
so that for \(d=3\), \(\alpha _{3}=\frac{\Delta }{24}+0.077\). Notice that \(\alpha _{d}\) is flat over the relevant regime because the linear term grows with tiny slope. \(\beta _{3}\), after vanishing at \(\Delta =3\), saturate to 0 rapidly like \( \sim -1/(4\Delta ^{2})\). In addition, \(G_{3}\) moves slowly in the Fig. 11. All these collaborate with the cancellation of the singularity at \(\Delta =3/2\), to make the flatness of X in \(\Delta \) in the regime. Completely parallel reasoning works for \(d=4\). It would be very interesting to see if this is only for s-wave case or it continue to be so for p- and d-wave case as well. We will leave this as a future work.
Figure 12 is the plot of the results given in Eq. (A.6) for \(d=3,4\). The solid lines are for \(d=3\), and the dashed lines are for \(d=4\). \(g^{\frac{1}{ \Delta }}\frac{\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}}{T_c}\) is \(\sim 7\) at \(3/2< \Delta <3\) for Ads\(_4\), and \(\sim 5\) at \(2< \Delta <4\) for AdS\(_5\). These are in good agreement with numerical results of Ref. [7].
A remark is in order to explain why analytic formulae in \(G_d\), \(\alpha _{d}\) and \(\beta _d\) were possible in spite of the fact that the differential equations in the black hole background are not of hypergeometric type, as we can see from Eq. (2.3). The simplification happens near \(T=0\), where the higher order singularity at the horizon disappears as we can see from Eq. (A.3): there is only one regular singularity at \(z=0\) and the order of the singularity is independent of d so that the differential equations reduces to hypergeometric type. Details are available in Appendices A.1.1, A.1.2, B.2.1 and B.2.2.
We use Y to denote \(g^{\frac{1}{\Delta }}\frac{\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}}{T_0}\) which appears often. Here, \(T_{0}=(g \rho )^\frac{1}{d-1}\). Then, Y satisfies
For derivation of this result, see the Appendices A.1.3 and B.2.3. Figure 13 is the plot of the results given in Eq. (A.14) for \(d=3,4\). We emphasize that although there is no \(T_{c}\) in \(\frac{d-2}{2}< \Delta < \frac{d-1}{2} \), there is well defined condensation in this regime.
1.2 A.1.1 Analytic calculation of \(g^{\frac{1}{\Delta }}\frac{\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}}{T_c}\) at \(1\le \Delta <3\)
The Hawking temperature shows \(r_h\rightarrow 0\) as \(T\rightarrow 0\). We can say \(z=r_h/r\rightarrow 0\) at \(r \gg r_h\) and the dominant contribution comes from the neighborhood of the boundary \(z=0\). So near the \(T=0\) we can simplify two coupled equations (2.3) and (2.3) with Eq. (3.7) by letting \(z\rightarrow 0\):
We use a boundary condition at the horizon, and Eq. (2.3) with Eq. (3.7) is rewritten as
and it provides us the following boundary condition at the horizon with Eq. (2.3), \(\Phi (1)=0 \) and \(\Psi (1)<\infty \):
By multiplying z to the Eq. (A.18) and then taking the limit of \(z\rightarrow 0\), we get \( F^ {'}(0)=0\). Note that \(F(0)=1\) should be considered as the normalization condition of \(\langle \mathcal{O}_{\Delta } \rangle \) rather than as a boundary condition. Also for canonical system, we regard the \(\Phi '(0) =-\frac{\rho }{r_h} \) as BC and \(\Phi (0)=\mu \) is not a BC but a value that should be determined by \(\rho \) from the horizon regularity condition \(\Phi (1)=0\). In Grand canonical system \(\Phi (0)=\mu \) is the boundary condition and \(\rho \) should be determined from it by the \(\Phi (1)=0\). Here we consider \(\rho \) as the given parameter.
If we introduce b by \(\hbox { for } b^{\Delta }= \frac{ g\langle {\mathcal {O}}_{\Delta }\rangle }{\Delta r_h^{\Delta }} \), the solution to Eq. (A.17b) for \(\Phi \) with \(F\approx 1\) is
At the horizon \(\Phi (1)\varpropto \exp (-b^{\Delta })\rightarrow 0\) because \(b\rightarrow \infty \) as \(r_h \rightarrow 0\) (\(T \rightarrow 0\)), which takes care the boundary condition \(\Phi (1)=0 \). Substituting Eq. (A.20) into Eq. (A.17a), F becomes
F(z) can be obtained iteratively starting from \(F=1\). The result is
with the boundary condition \( F^{\prime }(0)=0\) and normalized \(F(0)=1\). Applying the boundary condition Eq. (A.19) into Eqs. (A.22a) and (A.22b), we obtain
where
With \(x=z^{\Delta }\), Eq. (A.24b) is simplified as
There is the integral formula [55]:
where \(Re \;\lambda < 1-|Re \;\mu |-|Re \;\nu |\). Using Eq. (A.26), Eq. (A.25) becomes
Letting \(x={\tilde{z}}^{\Delta }\), Eq. (A.24a) is simplified as
We have the following integral formula:
And
As we apply Eqs. (A.26), (A.29) and (A.30) into Eq. (A.28), we obtain
here, we introduce small \(\epsilon \), and take zero at the end of calculations.
There are two different formulas:
And the asymptotic formula for the \(_2F_3\) hypergeometric function as \(|z|\rightarrow \infty \) is written by [56]:
at \(\chi =\frac{1}{2}\left( a_1+a_2-b_1-b_2-b_3+\frac{1}{2}\right) \) and wherein the case of simple poles (i.e. \(a_1- a_2 \not \in {\mathbb {Z}} \)).
After some long but simple calculations using the properties Eqs. (A.32), (A.33) and (A.34), an integral in Eq. (A.31) is shows
with \(b\rightarrow \infty \). Substitute Eq. (A.35) into Eq. (A.31), and we have
Putting Eqs. (A.27) and (A.36) into Eq. (A.23), we have
Apply Eq. (A.30) into Eq. (A.20) using Eq. (2.4), we deduce
As we combine \( T_c =\frac{3}{4\pi }r_c=\frac{3}{4\pi }\sqrt{\frac{\rho }{\lambda _3}} \), Eqs. (3.31), (A.37) and (A.38) with \( b= \left( \frac{ g\langle {\mathcal {O}}_{\Delta }\rangle }{\Delta r_h^{\Delta }}\right) ^{\frac{1}{\Delta }}\) in the form of X; here, \(X:=\) \(\frac{g^{1/\Delta }\langle {\mathcal {O}}_{\Delta }\rangle ^{1/\Delta }}{T_c}\) for simple notation, we obtain the condensate at \(T\approx 0\):
with \(\nu =\frac{1}{2\Delta }\) and \(\tau _{3}=\frac{3}{4\pi \Delta ^{1/\Delta }}\frac{T_c}{T} \).
The authors of Ref. [8] argued that X approaches to zero as \(\Delta \rightarrow 3\), while Horowitz et al. [7]’s numerical calculation got a finite value \(X= 8.8\) at \(\Delta =3\) (see Fig. 14). On the other hand, our calculation show \(X= 7.2\) at \(\Delta =3\). Our result is good agreement with the one of Ref. [7].
1.3 A.1.2 Analytic calculation of \(g^{\frac{1}{\Delta }}\frac{\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}}{T_c}\) at \(\Delta =3/2\)
\(\alpha _{3}\) and \(\beta _3 \) in Eq. (A.40) have series expansions at \(\Delta =3/2\):
As Eqs. (A.41) and (A.42) are substituted into Eq. (A.39) with taking the limit \(\Delta \rightarrow 3/2\), we obtain
where
here, \(\psi (z)\) is the digamma function. By using L’Hopital’s rule, Eq. (A.43) becomes
Figure 15b tells us that \(X\sim \ln (T_c/T)^{1/4}\) for low temperature; Numerical result tells us that \(X^{4}\)-\(\log (T/T_c)\) plot demonstrates our arguments with high precision.
And X is numerically
1.4 A.1.3 Analytic calculation of \(g^{\frac{1}{\Delta }}\frac{\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}}{\sqrt{g \rho }}\) at \(1/2<\Delta <3\)
Apply Eq. (A.37) into Eq. (A.38) with \(T =\frac{3}{4\pi }r_h\) with \( b= \left( \frac{ g\langle {\mathcal {O}}_{\Delta }\rangle }{\Delta r_h^{\Delta }}\right) ^{\frac{1}{\Delta }}\) in the form of Y; here, \(Y:=\) \(\frac{g^{1/\Delta }\langle {\mathcal {O}}_{\Delta }\rangle ^{1/\Delta }}{\sqrt{g \rho }}\) for simple notation, we obtain the condensate at \(T\approx 0\):
with \(\nu =\frac{1}{2\Delta }\). Here, \(\alpha _{3}\) and \(\beta _3\) are in Eq. (A.8).
1.5 A.1.4 Analytic calculation of \(g^{\frac{1}{\Delta }}\frac{\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}}{\sqrt{g \rho }}\) at \(\Delta =3/2\)
As Eqs. (A.41) and (A.42) are substituted into Eq. (A.46) with taking the limit \(\Delta \rightarrow 3/2\), we obtain
By using L’Hopital’s rule, Eq. (A.48) becomes
Figure 16b tells us that \(Y\sim \ln (\sqrt{g \rho }/T)^{1/4}\) for low temperature; Numerical result tells us that \(Y^{4}\)-\(\log (T/\sqrt{g \rho })\) plot demonstrates our arguments with high precision.
And Y is numerically
1.6 A.2 The conductivity gap
Now we begin to discuss the resonant frequencies. The Eq. (5.1) takes the form of a Schrödinger equation with energy \(\omega \):
where, \( V(r_{\star })\) is re-expression of \(V(z)= \frac{g^2 \langle {\mathcal {O}}_{\Delta }\rangle ^2}{r_{+}^{2\Delta -2}}(1-z^3) z^{2\Delta -2} F(z)^2\) in terms of the tortoise coordinate \(r_{\star }\),
where the integration constant is chosen such that boundary is at \(r_{\star } =0\). We follow [7] to define the size of the gap in AC conductivity \(\omega _{g}\) by
Here, there is no solution for \(\omega _g\) at \(1/2<\Delta <1\). Because \(\lim _{z\rightarrow 0}V(z)\rightarrow \infty \).jh Then, we can construct an analytic expression of \(\omega _{g} \). First introduce \(z_0\) at which V is maximum:
Then it can be numerically calculated as a function of \(\Delta \) and b, and the result can be fit by following expressions.
Notice that from the first expression, we can see that there is no b dependence. This result is plotted in the Fig. 17a. Notice that the numerical data is fit very well by our formula.
Using these data, \(\omega _{g}\) is given by
The expression for \(F(z_0)\) is cumbersome and it is given in the Appendix A.3.1. The solution of Eq. (A.58) according to the regimes of \(\Delta \) is given in Table 3 earlier in the introduction and summary section. For derivation of these results, see the Appendix A.3.1.
Using the result of the Cooper pair density \(n_{s}\) given in Eq. (A.1) and the expression of \(\omega _{g}\), we can calculate the ratio \(n_{s}/\omega _{g}\). Figure 18 is the plot of this result.
Interestingly, in the regime \(2\le \Delta \le 3\), we have linearity between \({n_s}\) and \({\omega _g} \).
Notice that in this regime of \(\Delta \), there is no b dependence in the ratio due to the cancellation of b-dependent pieces of \(n_{s}\) and \(\omega _{g}\).
1.7 A.2.1 Maxwell perturbations and the conductivity at near the zero temperature
The Maxwell equation at zero spatial momentum and with a time dependence of the form \(e^{-i\omega t}\) gives
where \(A_x\) is any component of the perturbing electromagnetic potential along the boundary and
with F defined before. We introduce \(A_x(z)=(1-z^3)^{-\frac{i}{3} {\hat{\omega }}} G(z)\) where \({\hat{\omega }}=\omega /r_{+}\). Because we require \(A_x\propto (1-z^3)^{-\frac{i}{3} {\hat{\omega }}}\) near \(z=1\) corresponding to ingoing wave boundary conditions at the horizon. Then, the wave equation reads
We have the following limiting form:
at \(\nu \ne {\mathbb {Z}} \).
We obtain the analytic expressions of F(z) in the following way:
where
As we apply Eqs. (A.59) and (A.37) into Eq. (A.22a), we obtain Eq. (A.60).
Replacing b by bz in Eqs. (A.24a) and (A.36), we have
Substitute Eqs. (A.63) and (A.37) into Eq. (A.22a). We obtain Eq. (A.61).
Figure 19 shows how the data fits by above formulas Eqs. (A.60) and (A.61).
\(F(z)\approx 1\) at \(\Delta =1\) in Eqs. (A.60) and (A.61). And the solution of Eq. (5.5) is
Here, R is a reflection coefficient. \(T \rightarrow 0\) is equivalent to sending the horizon to infinity. Then infalling boundary condition corresponds to \(R=0\). Then it gives the conductivities to be
via Eq. (5.4).
For \(\Delta =2\) in Eq. (5.5), We may substitute the trial function
which is satisfied with Eqs. (A.60) and (A.61) numerically. Also, this trial function obey the correct boundary conditions (\(F(0)=1\), \(F^{\prime }(0)=1\) and \(\lim _{z\rightarrow \infty }F(z) \propto (b z)^{3-2\Delta }\)). Here, \(b= \frac{\sqrt{g\langle {\mathcal {O}}_{2}\rangle }}{\sqrt{2}r_{+}}\). Then at low temperature Eq. (5.5) reads
whose general solution is given in terms of Legendre functions,
where \(\nu =\frac{-9+\sqrt{337}}{18}\) and \(\mu =\frac{2i\sqrt{{\hat{\omega }}^2+\frac{i{\hat{\omega }}}{3}-\left( \frac{4}{3}b\right) ^2}}{3b}\). Similar to \(\Delta =1\), we choose infalling boundary condition corresponds to \(R=0\). This exact result then produces the nonzero conductivities
via Eq. (5.4) where
Here we apply the following limiting form:
The solution of Eq. (5.12) is
Here, we take \(R=0\): The other solution \(\sqrt{bz} I_{\frac{1}{2\Delta }}\left( b^{\Delta }z^{\Delta }\right) \) is rejected because it is monotonically increasing as z increases for large b. By substituting Eq. (A.71), the solution to the field equation (5.13) for \(H_1\) is
Equations (A.71) and (A.72) give us the nonzero conductivities
And we obtain
here, \(n_s\) is also the coefficient of the pole in the imaginary part \(\Im {\sigma (\omega )}\sim n_s/\omega \) as \(\omega \rightarrow 0\).
1.8 A.3 The resonant frequencies
There is a maximum of \(z_0\) at \(\Delta =3/2\) and the resonance, by which \(\sigma (\omega )\) diverges, occurs only in the vicinity of \(\Delta =3/2\). This can be understood using standard WKB matching formula. The resonance occurs when there exists \(\omega \) satisfying [54]
for an integer n and \(r_{*0}<0\) is the position at which V has the maximum: \( \frac{d V}{d r_{\star }}( r_{*0}) =0\). The above equation can be converted to z coordinate to give the following expression:
At \(\Delta =3/2\), we have
where \(z_0 = 0.362\) from Eq. (A.56), and
Resonant \(\omega _i\)’s exist only when \(z_0\) is large enough. We can see that \(z_0\) is maximum at \(\Delta =3/2\) from the Fig. 17b. It turns out that only near the \(\Delta =3/2\) because for other values which is much bigger or smaller than \(z_{0}\), the barrier is too thick for the resonance to happen. For \(\frac{T_c}{T}=0.1\), we have \(\frac{\omega _1}{T_c}=10.44\) which is in good agreement with the \( {\omega _1}/{T_c}=10.4\) [7] if we set \(g=1\). In general, as \( {T}/{T_c} \) decreases, the number of poles increases. These results are summarized in the Table 4. For derivation of these results, see the Appendix A.3.1.
1.9 A.3.1 Expression for the Schrödinger wave equation of the conductivity at near the zero temperature
Equation (5.1) takes the form of a Schrödinger equation with energy \(\omega \):
Here, \( V(r_{\star })\) is re-expression of \(V(z)= \frac{g^2 \langle {\mathcal {O}}_{\Delta }\rangle ^2}{r_{+}^{2\Delta -2}}(1-z^3) z^{2\Delta -2} F(z)^2\) in terms of the tortoise coordinate \(r_{\star }\),
where the integration constant is chosen such that boundary is at \(r_{\star } =0\).
Figure 20 shows that the horizon corresponds to \(r_{\star }=-\infty \). We can easily show that \(V(r_{\star }= 0) = 0 \) if \(\Delta >1\), \(V(r_{\star } = 0) \) is a nonzero constant if \(\Delta =1\), and \(V(r_{\star })\) diverges as \(r_{\star } \rightarrow 0\) if \(1/2< \Delta < 1\). Figure 21 can show that V(z) always vanishes at the horizon (or \(V(r_{\star })\) vanishes at \(r_{\star } \rightarrow -\infty \)).
The maximum value of \(V(r_{\star })\) (or V(z) ) always exists at \(r_{\star }=r_{*0}\) (or \(z=z_0\)) if \( \Delta \ge 1\). As we substitute Eq. (A.61) into Eq. (A.55), we obtain a polynomial equation such as
And its numerical solution is
where \(1\le \Delta <2\). A dashed curve at \(1\le \Delta <2\) in Fig. 17a indicates Eq. (A.77), and we see that there are no b (or T) dependence.
As we substitute Eq. (A.60) into Eq. (A.55), we obtain a polynomial equation, and we see \(z_0 \propto 1/b\). Its numerical solution is
where \(2\le \Delta \le 3\). A dashed curve at \(2\le \Delta \le 3\) in Fig. 17 indicates Eq. (A.78), and we see that there are b dependence.
And \(\omega _g\) is given by
We obtain the analytic expressions of \( \frac{\omega _g}{T_c}\) in the following way:
where
with
Substitute Eq. (A.61) with Eq. (A.77) into Eq. (A.79) and we obtain Eq. (A.80). Also, substitute Eq. (A.60) with Eq. (A.78) into Eq. (A.79) and we obtain Eq. (A.81). A numerical result tells us that Eq. (A.81) approximately is
here, \(\text{ li } (x)\) is an logarithmic integral function. See Fig. 22.
And we can classify Eq. (A.80) into the following way:
-
1.
As \(1\le \Delta \ll 3/2\),
$$\begin{aligned}&\frac{\omega _g}{T_c} = \left( \frac{3z_0}{4\pi }\frac{T_c}{T}\right) ^{\Delta -1} \nonumber \\&\quad \times \left( 1-\left( \frac{\Delta }{3-\Delta } z_0^{3/2-\Delta }\right) ^2\right) X^{\Delta } \end{aligned}$$(A.86) -
2.
As \( \Delta = 3/2\),
$$\begin{aligned} \frac{\omega _g}{T_c} = \frac{7}{10} \frac{ {X^{3/2} \left( \frac{T_c}{T}\right) ^{1/2}}}{\ln \left( X \frac{T_c}{T}\right) } \end{aligned}$$(A.87) -
3.
As \(3/2\ll \Delta <2\),
$$\begin{aligned}&\frac{\omega _g}{T_c} = \left( \frac{3z_0}{4\pi }\frac{T_c}{T}\right) ^{2-\Delta } \frac{\sqrt{\pi } \Gamma \left( \frac{3+\Delta }{2+\Delta }\right) \csc \left( \frac{\pi }{2\Delta }\right) }{\Delta ^{3/\Delta }\Gamma \left( \frac{2}{\Delta }\right) \Gamma \left( \frac{3}{2\Delta }\right) \Gamma \left( 1+\frac{1}{\Delta }\right) }\nonumber \\&\quad \times \left( 1-\left( \frac{\Delta }{3-\Delta } z_0^{\Delta -3/2}\right) ^2\right) X^{3-\Delta }. \end{aligned}$$(A.88)
Here, \(X=\frac{g^{1/\Delta } \langle {\mathcal {O}}_{\Delta }\rangle ^{1/\Delta } }{T_c}\).
From Eqs. (A.74), (A.86), (A.87) and (A.88), we find a relation between \(n_s\) and the gap frequency \(\omega _g\):
-
1.
As \(1\le \Delta \ll 3/2\),
$$\begin{aligned}&\frac{n_s}{\omega _g} = \frac{2\pi \Delta \csc \left( \frac{\pi }{2\Delta }\right) }{(2\Delta )^{1/\Delta }\left( \Gamma \left( \frac{1}{2\Delta }\right) \right) ^2}\frac{1}{ 1-\left( \frac{\Delta }{3-\Delta } z_0^{3/2-\Delta }\right) ^2} \nonumber \\&\quad \times \left( \frac{3z_0}{4\pi } X\right) ^{1-\Delta } \end{aligned}$$(A.89) -
2.
As \( \Delta = 3/2\),
$$\begin{aligned} \frac{n_s}{\omega _g}= \frac{\ln \left( X \frac{T_c}{T}\right) }{\sqrt{X \frac{T_c}{T}}} \end{aligned}$$(A.90) -
3.
As \(3/2\ll \Delta <2\),
$$\begin{aligned}&\frac{n_s}{\omega _g} = \frac{2\sqrt{\pi } \Delta ^{1+3/\Delta } }{(2\Delta )^{1/\Delta }\left( \Gamma \left( \frac{1}{2\Delta }\right) \right) ^2}\frac{\Gamma \left( \frac{2}{\Delta }\right) \Gamma \left( \frac{3}{2\Delta }\right) \Gamma \left( 1+\frac{1}{\Delta }\right) }{\Gamma \left( \frac{3+\Delta }{2\Delta }\right) }\nonumber \\&\quad \times \frac{1}{ 1-\left( \frac{\Delta }{3-\Delta } z_0^{\Delta -3/2}\right) ^2} \left( \frac{3z_0}{4\pi } X\right) ^{ \Delta -2} \end{aligned}$$(A.91) -
4.
As \(2\le \Delta \le 3\),
$$\begin{aligned} \frac{n_s}{\omega _g} = \frac{2\pi \Delta \csc \left( \frac{\pi }{2\Delta } \right) }{1.1 (2\Delta )^{1/\Delta }\left( \Gamma \left( \frac{1}{2\Delta }\right) \right) ^2} \text{ li }(\Delta ^{1.2}). \end{aligned}$$(A.92)
A numerical result tells us that Eq. (A.92) is approximately
here, \(z_0\) is Eq. (A.77). See Fig. 23.
As we see Fig. 2 [7], \(\sigma (\omega )\) has a spike at \(\frac{\omega }{T_c}\approx 10.4\) and \(\Delta = 3/2\) for \(A{d}S_{4}\). In Fig. 21b, resonance occurs well when the distance between \(z=0\) and \(z=z_0\) is the maximum. Figure 17a shows that there is a maximum of \(z_0\) at \(\Delta =3/2\). So, the resonance, by which \(\sigma (\omega )\) diverges, occurs only in the vicinity of \(\Delta =3/2\). This can be understood using standard WKB matching formula: The resonance occurs when there exists \(\omega \) satisfying [54]
for an integer n and \(r_{*0}<0\) is the position at which V has the maximum: \( \frac{d V}{d r_{\star }}( r_{*0}) =0\). The above equation can be converted to z coordinate to give the following expression:
By applying Eq. (A.61) into Eq. (A.95), we obtain
where
At \(\Delta =3/2\), Eq. (A.96) becomes
where \(z_0 = 0.362\) from Eq. (A.56), and
Here, Eq. (A.99) is derived from Eq. (A.45) (Table 5).
B Holographic superconductors with AdS\(_{5}\)
1.1 B.1 Near the critical temperature
1.2 B.1.1 Computation of \(T_c\) by applying matrix algorithm and Pincherle’s Theorem
At the critical temperature \(T_c\), \(\Psi =0\), so Eq. (2.3) tells us \(\Phi ^{\prime \prime }=0\). Then, we can set
where \(x=z^2\). As \(T\rightarrow T_c\), the field equation \(\Psi \) approaches to
where \(\lambda _{g,4}= g\lambda _4\). Factoring out the behavior near the boundary \(z=0\) and the horizon, we define
Then, F is normalized as \(F(0)=1\) and we obtain
Equation (B.4) is the Heun differential equation that has four regular singular points at \(z=0,1,-1,\infty \) [57]. Substituting \(y(x)= \sum _{n=0}^{\infty } d_n x^{n}\) into (B.4), we obtain the following three term recurrence relation:
with
The first three \(d_{n}\)’s are given by \(\alpha _0 d_1+ \beta _0 d_0=0\) and \(d_{-1}=0\). Equations (B.3), (B.5) and (B.6) tells us the following boundary condition
We rewrite Eq. (B.5) as
where \(A_n\) and \(B_n\) have asymptotic expansions of the form
with
The radius of convergence, \(\rho \), satisfies characteristic equation associated with Eq. (B.8) [13,14,15]:
whose roots are given by
So for a three–term recurrence relation in Eq. (B.5), the radius of convergence is 1 for all two cases. Since the solutions should converge at the horizon, y(z) should be convergent at \(|z|\le 1\). According to Pincherle’s Theorem [16], we have a convergent solution of y(z) at \(|z|=1\) if only if the three term recurrence relation Eq. (B.5) has a minimal solution. Since we have two different roots \(\rho _i\)’s, so Eq. (B.8) has two linearly independent solutions \(d_1(n)\), \(d_2(n)\). One can show that [16] for large n,
with
and \(\tau _i(0)=1\). In particular, we obtain
Substituting Eqs. (B.12) and (B.10) into Eqs. (B.13)–(B.15), we obtain
Since \(\lambda _{g,4}>0\),
So \(d_2(n)\) is a minimal solution. Also,
Therefore, \(y(z)=\sum _{n=0}^{\infty }d_n x^n\) is convergent at \(x=1\) if only if \(d_n\) is a minimal solution. Equation (3.17) with \(\delta _2=\delta _3=\cdots =\delta _N=0\) becomes a polynomial of degree N with respect to \(\lambda _{g,4}\). Put Eq. (B.6) into Eq. (3.17) where \(\delta _i =0\) at \(i\in \{2,3,\ldots ,N\}\) and we choose \(N=15\)
For algorithm to find \(\lambda _{g,4}\) for a given \(\Delta \),
-
1.
Choose an N.
- 2.
-
3.
Define a function returning the determinant of system Eq. (3.17).
-
4.
Find the roots of interest of this function.
-
5.
Increase N until those roots become constant to within the desired precision [11].
1.3 B.1.2 Unphysical region of \(\Delta \)
We use Mathematica to compute the determinants to locate their roots. We are only interested in smallest positive real roots of \(\lambda _{g,4}\). For computation of roots, we choose \(N=30\). For the smallest value of \(\lambda _{g,4}\), we can find an approximate fitting function that is given by
Figure 24 shows us that there is no convergent solution for \(1< \Delta <3/2\). Because there are two branches, and these branches does not converge to single value \(\lambda _{g,4}\) no matter how we increase N.
Figure 24 shows that these two branches merge to the single value \(\lambda _{g,4} \approx 1\) as N increases. We are interested why two branches occur near \(\Delta =1\) regardless of the size of N.
Equation (3.17) can be simplified using the formula for the determinant of a block matrix,
By explicit computation, we can see the factor \(\det (A)=\frac{\lambda ^3}{16}(\lambda -4)\) at \(\Delta =1\) so that the minimal real root is \(\lambda _{g,4}=0\). Near \(\Delta =1\), we can expand the determinant as a series in \( \varepsilon =\Delta - 1 \ll 1\) and \(0< \lambda _{g,4}\ll 1\). After some calculations, we found that \(d_N =0\) gives following results:
-
1.
For \(N=2m\) where \(m=1,2,3,\ldots \),
$$\begin{aligned} \lambda _{g,4}^2 \sum _{n=0}^{2N} \alpha _{0,n} \lambda _{g,4}^n +\varepsilon \lambda _{g,4} \sum _{n=0}^{2N} \beta _{0,n} \lambda _{g,4}^n + {\mathcal {O}}(\varepsilon ^2) =0. \end{aligned}$$This leads us \(\lambda _{g,4} \sim \varepsilon \sim (\Delta -1)\) as far as \(\alpha _{0,0}\beta _{0,0}\ne 0\), which can be confirmed by explicit computation.
-
2.
For \(N=2m+1\),
$$\begin{aligned} \lambda _{g,4}^3 \sum _{n=0}^{2N-1} \alpha _{1,n} \lambda _{g,4}^n +\varepsilon \sum _{n=0}^{2N+1} \beta _{1,n} \lambda _{g,4}^n + {\mathcal {O}}(\varepsilon ^2) =0 \end{aligned}$$leading to \(\lambda _{g,4} \sim (\Delta -1)^{1/3}\).
This proof tells us that two branches should be occurred near \(\Delta =1\).
We calculated 121 different values of \(\lambda _{g,4}\)’s at various \(\Delta \) and the result is the blue colored curves in Fig. 3. These data fits well by above formula.
The authors of Ref. [58] got \(\lambda _{g,4}\)’s by using variational method using the fact that the eigenvalue \(\lambda _{g,4}\) minimizes the expression
for \(\Delta >1\). This integral does not converge at \(\Delta =1\) because of \(\ln (z)\). The trial function used is \(F(z)=1-\alpha z^3\) where \(\alpha \) is the variational parameter. Their result is given by the green colored dots in Fig. 3 and ours by the blue curves. The differences are appreciable at \(\Delta >1.8\). Our results are consistently lower. The variational method show us that there are numerical values of \(\lambda _{g,4}\) for \(1<\Delta <3/2\). But our method tells us that the region \(1<\Delta <3/2\) is not valid for analytic solutions because of non-convergence \(\lambda _{g,4}\).
The critical temperature which is given by \( T_c =\frac{1}{\pi }r_c=\frac{1}{\pi }\left( \frac{\rho }{\lambda _4}\right) ^{\frac{1}{3}} \) which can be calculated by Eq. (B.19) and the Fig. 3b demonstrate the result. Notice that figure 1 in Ref. [9] show us that \(T_c\) is divergent at \(\Delta =1\) and it is a monotonically decreasing function of \(\Delta \).
1.4 B.1.3 The analytic solution of \(g\frac{\langle {\mathcal {O}}_{\Delta }\rangle }{T_c^{\Delta }}\)
Substituting Eq. (B.3) into Eq. (2.3), the field equation \(\Phi \) becomes
where \(\frac{g^2\langle {\mathcal {O}}_{\Delta }\rangle ^2}{ 4 r_h^{2\Delta }}\) is small because of \(T\approx T_c\). The above equation has the expansion around Eq. (B.1) with small correction:
We have \(\chi _1(1)=\chi _1^{\prime }(1)=0\) due to the boundary conditions \(\Phi (1)=0 \) . Taking derivative of Eq. (B.23) twice with respect to x and using the result in Eq. (B.22),
Integrating Eq. (B.24) gives us
Equation (B.3) with Eq. (B.6) shows
Here, we ignore \(d_n x^n\) terms if \(n\ge 11\) because \(0<|d_n|\ll 1\) numerically and y(x) converges at \(0\le x\le 1\). We can calculate the numerical value of \({\mathcal {C}}_4\) by putting Eqs. (B.19) and (B.6) into Eq. (B.25). We calculated 121 different values of \(\sqrt{1/{\mathcal {C}}_4}\)’s at various \(\Delta \), which is drawn as dots in Fig. 4. Then we tried to find an approximate fitting function. The result is given as follows,
The Fig. 4 shows how the data fits by above formula. From Eqs. (B.23) and (2.4), we have
Putting \(T=\frac{1}{\pi } r_h \) with \(\lambda _4=\frac{\rho }{r_c^3}\) into Eq. (B.28), we obtain the condensate near \(T_c\):
and the plot is in the Fig. 5.
As we substitute Eq. (3.3) into Eq. (B.29), we obtain
Figure 5 is the plot of Eq. (B.30).
1.5 B.2 Condensate at near the zero temperature
1.6 B.2.1 Analytic calculation of \(g^{\frac{1}{ \Delta }}\frac{\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}}{T_c}\) at \(1.5\le \Delta <4\)
The dominant contribution comes from the neighborhood of the boundary \(z=0\). So near the \(T=0\) we can simplify two coupled equations (2.3) and (2.3) with Eq. (B.3) by letting \(z\rightarrow 0\):
where \(x=z^2\). Also, we use a boundary condition at the horizon, and Eq. (2.3) with Eq. (B.3) is rewritten as
It provides us the following boundary condition at the horizon with Eq. (2.3), \(\Phi (1)=0 \) and \(\Psi (1)<\infty \):
By multiplying z to the Eq. (B.32) and then taking the limit of \(z\rightarrow 0\), we get \( F^ {'}(0)=0\). Note that \(F(0)=1\) should be considered as the normalization condition of \(\langle \mathcal{O}_{\Delta } \rangle \) rather than as a boundary condition. Also for canonical system, we regard the \(\frac{d\Phi (0)}{d x} =-\frac{\rho }{r_h^2} \) as BC and \(\Phi (0)=\mu \) is not a BC but a value that should be determined by \(\rho \) from the horizon regularity condition \(\Phi (1)=0\). In Grand canonical system \(\Phi (0)=\mu \) is the boundary condition and \(\rho \) should be determined from it by the \(\Phi (1)=0\). Here we consider \(\rho \) as the given parameter.
If we introduce b by for \(b^{\Delta }= \frac{ g\langle {\mathcal {O}}_{\Delta }\rangle }{\Delta r_h^{\Delta }}\), the solution to Eq. (B.31b) for \(\Phi \) with \(F\approx 1\) is
At the horizon \(\Phi (1)\varpropto \exp (-b^{\Delta })\rightarrow 0\) because \(b\rightarrow \infty \) as \(r_h \rightarrow 0\), which takes care the boundary condition \(\Phi (1)=0 \). Substituting Eq. (B.34) into Eq. (B.31a), F becomes
F(z) can be obtained iteratively starting from \(F=1\). The result is
with the boundary condition \( F^{\prime }(0)=0\) and normalized \(F(0)=1\). Applying Eq. (B.33), we have
where
Letting \(x=z^{\Delta }\), Eq. (B.38b) is simplified as
Using Eq. (A.26), Eq. (B.39) becomes
Letting \(x={\tilde{z}}^{\Delta }\), Eq. (B.38a) is also simplified as
As we apply Eqs. (A.26), (A.29) and (A.30) into Eq. (B.41), we obtain
here, we introduce small \(\epsilon \), and take zero at the end of calculations. After some long but simple calculations using the properties Eqs. (A.32), (A.33) and (A.34), an integral in Eq. (B.42) is shows
with \(b\rightarrow \infty \). Substitute Eq. (B.43) into Eq. (B.42), and we have
Putting Eqs. (B.40) and (B.44) into Eq. (B.37), we have
Apply Eq. (A.30) into Eq. (B.34) using Eq. (2.4), we deduce
As we combine \( T_c =\frac{1}{\pi }r_c=\frac{1}{\pi }\left( \frac{\rho }{\lambda _4}\right) ^{\frac{1}{3}} \), Eqs. (B.19), (B.45) and (B.46) with \( b= \left( \frac{ g\langle {\mathcal {O}}_{\Delta }\rangle }{\Delta r_h^{\Delta }}\right) ^{\frac{1}{\Delta }}\) in Eq. (B.34) in the form of X; here, \(X:=\) \(\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}/{T_c}\) for simple notation, we described the condensate at \(T\approx 0\):
with \(\nu =\frac{1}{\Delta }\) and \(\tau _{4}=\frac{1}{\pi \Delta ^{1/\Delta }}\frac{T_c}{T} \).
1.7 B.2.2 Analytic calculation of \(g^{\frac{1}{\Delta }}\frac{\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}}{T_c}\) at \(\Delta =2\)
\(\alpha _{4}\) and \(\beta _4 \) in Eq. (B.48) have series expansions at \(\Delta =2\):
As Eqs. (B.49) and (B.50) are substituted into Eq. (B.47) with taking the limit \(\Delta \rightarrow 2\), we obtain
where
By using L’Hopital’s rule, Eq. (B.51) becomes
Figure 25b tells us that \(X\sim \ln (T_c/T)^{1/6}\) for low temperature; Numerical result tells us that \(X^{6}\)-\(\log (T/T_c)\) plot demonstrates the validity of our result with high precision: X is numerically
1.8 B.2.3 Analytic calculation of \(g^{\frac{1}{\Delta }}\frac{\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}}{(g \rho )^{1/3}}\) at \(1<\Delta <4\)
Apply Eq. (B.45) into Eq. (B.46) with \(T =\frac{1}{\pi }r_h\) with \( b= \left( \frac{ g\langle {\mathcal {O}}_{\Delta }\rangle }{\Delta r_h^{\Delta }}\right) ^{\frac{1}{\Delta }}\) in the form of Y; here, \(Y:=\) \(\frac{g^{1/\Delta }\langle {\mathcal {O}}_{\Delta }\rangle ^{1/\Delta }}{(g \rho )^{1/3}}\) for simple notation, we obtain the condensate at \(T\approx 0\):
with \(\nu =\frac{1}{\Delta }\). Here, \(\alpha _{4}\) and \(\beta _4\) are in Eq. (B.48).
1.9 B.2.4 Analytic calculation of \(g^{\frac{1}{\Delta }}\frac{\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}}{(g \rho )^{1/3}}\) at \(\Delta =2\)
As Eqs. (B.49) and (B.50) are substituted into Eq. (B.54) with taking the limit \(\Delta \rightarrow 2\), we obtain
By using L’Hopital’s rule, Eq. (B.56) becomes
Figure 26a and b tells us that \(Y\sim \ln ((g \rho )^{1/3}/T)^{1/6}\) for low temperature; Numerical result tells us that \(Y^{6}\)-\(\log (T/(g \rho )^{1/3})\) plot demonstrates our arguments with high precision.
And Y is numerically
C Discussion
In this paper, we calculated the physical observables \(T_{c}, \langle \mathcal{O}_{\Delta } \rangle , \sigma ({\omega }), \omega _{g}, \omega _{i}, n_{s}, \) as functions of \({{\mathcal {O}}_{\Delta }}, T, \rho \). Here we describe the main differences so that the readers understand the source of the differences in the results.
-
1.
We use matrix algorithm by applying Pincherle’s Theorem to obtain the smallest value \(\lambda _{g,3}\). On the other hand, The authors of Ref. [8] obtained the minimum value of \(\lambda _{g,3}\)’s by using variational method (see Eq. (3.36)) and they used the trial function \(F(z)=1-\alpha z^2\). F(z) does not converge on the boundary of the disc of convergence at \(z=1\) in general. However, Pincherle’s Theorem tells us that F(z) converges at \(z=1\) for some quantized value of \(\lambda _{g,3}\). As a consequence, our methodology works straightforwardly without ambiguity caused by the divergences and effective to get an eigenvalue when a power series is made up of three or more term recurrence relation. Notice also that our method shows that there is no well defined solution for \(1/2<\Delta < 1\) because of three branches of \(\lambda _{g,3}\). But variational method do not show this phenomenon: Moreover, it tell us that there is \(\lambda _{g,3} =0\) at \(\Delta =1/2\) which is unphysical, since \(\lambda _{g,3} =0\) means that \(T_c\) is infinite.
-
2.
The authors of Ref. [8] applied perturbation theory to obtain the condensate near \(T_c\). It leads to the integral such as \(\mathcal{C}_{3}=\int _{0}^{1}dz\;\frac{ z^{2(\Delta -1)}F^2(z)}{z^2+z+1}\). Instead, we first obtain the analytic solution given by \(F(z)=\left( z^2+z+1\right) ^{-\frac{\lambda _{g,3}}{\sqrt{3}}} \sum _{n=0}^{15}d_n z^n\) (see Eq. (4.5)). Then we used it to evaluate Eq. (4.4). The result gives dramatic differences: For \(\Delta =3\) in \(d=3\), we have a finite result for \(\mathcal{C}_{3}\), while they claimed they got \(\mathcal{C}_{3}=0\). As a consequence, \(g^{\frac{1}{\Delta }}\frac{\langle {\mathcal {O}}_{\Delta }\rangle ^{\frac{1}{\Delta }}}{T_c} \) is finite at \(\Delta =3\) in our result, while they have divergent result.
-
3.
Our the boundary condition of F(z) and \(\Phi (z)\) in AdS\(_{4}\) is given in the following table. On the other hand, the authors of Ref. [8] used different boundary condition and different trial wave function according the regimes: \(\frac{1}{2}< \Delta <\frac{3}{2}\) and \(\frac{3}{2}< \Delta <{3}\). To compute Eqs. (A.24a) and (A.24b), they applied \(K_{\nu }(z)\sim \frac{\Gamma (\nu )}{2}\left( \frac{2}{z}\right) ^{\nu }\) as \(z\rightarrow 0\) into them. Because modified Bessel function K is exponentially suppressed in large z. So they thought the dominant contribution comes from near \(z=0\) region. Unfortunately, we cannot use near zero expression of \(K_{\nu }\) inside the non-local double integral. In fact, using \(K_{\nu }(z)\sim \frac{1}{z^{\nu }} \) in Eq. (A.24a) gives completely different result from using the full expression of \(K_{\nu }(z) \sim \frac{e^{-z}}{\sqrt{z}}\), which we did here. Unlike in the case of \(\frac{1}{2}< \Delta <\frac{3}{2}\), they used variational method without condition \(3F^{\prime }(1)+\Delta ^2 F(1)=0 \) to compute \({\mathcal {A}}^2\) in Eq. (A.23) in the regime \(\frac{3}{2}< \Delta <3 \). They used different boundary condition at different region of \(\Delta \). We believe that this is not necessary . Our boundary condition is summarized at Table 6.
Rights and permissions
This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Choun, YS., Cai, W. & Sin, SJ. Heun’s equation and analytic structure of the gap in holographic superconductivity. Eur. Phys. J. C 82, 402 (2022). https://doi.org/10.1140/epjc/s10052-022-10294-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10294-0