Abstract
We determine explicitly and discuss in detail the effects of the joint presence of a longitudinal and a transversal (random) magnetic field on the phases of the Random Energy Model and its hierarchical generalization, the GREM. Our results extent known results both in the classical case of vanishing transversal field and in the quantum case for vanishing longitudinal field. Following Derrida and Gardner, we argue that the longitudinal field has to be implemented hierarchically also in the Quantum GREM. We show that this ensures the shrinking of the spin glass phase in the presence of the magnetic fields as is also expected for the Quantum Sherrington–Kirkpatrick model.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Results
Mean-field spin glasses such as the Sherrington–Kirkpatrick (SK) model have long served as an inspiration to both physicists and mathematicians [23, 25, 30]. For these classical glasses, Parisi’s replica ansatz for the free energy presents one of the rare gems of an exactly solvable case, whose solution covers extremely complex behavior—notably the occurrence of a frozen glass phase below a certain critical temperature \(T_c \). Since spins are intrinsically quantum-mechanical objects, physicists have started early on to investigate the quantum effects caused by the inclusion of a transversal magnetic field. Unfortunately, unlike the inclusion of a longitudinal magnetic field in the SK-model, the transversal field seems to crash all attempts of an explicit Parisi solution. One either has to resort to approximations or numerical calculations for the full phase diagram [17, 24, 28, 32,33,34] or bounds [18, 19] or more qualitative results [1, 9] for the Quantum SK-model. It is therefore rather remarkable that the associated hierarchical caricature, the generalized random energy model (GREM), still admits an explicit solution of Parisi type even in the presence of a transversal field [15, 20, 22]. The GREM was initially invented by Derrida [12, 13] to qualitatively capture the behavior of the free energy of more complicated glasses. It was mathematically reformulated in [27] and its significance for Parisi’s ansatz was later clarified in [3, 16, 29].
One central question for spin glasses in external magnetic fields is whether the fields destabilize the low-temperature glass phase or not. For the SK-model in a constant longitudinal field, de Almeida and Thouless [10] determined an equation for the critical temperature \(T_c(h) \), which turns out to be decreasing in the field strength h and is known under the name de Almeida–Thouless (AT) line. Below \(T_c(h) \) the replica symmetry has been proven to be broken [31]. Rigorous results above \( T_c(h) \) are still incomplete (see e.g. [2] and refs. therein). Unlike for the SK-model, implementing the longitudinal field naively in GREM models causes the frozen phase to expand [4, 5, 7]. Derrida and Gardner [14] therefore suggested a hierarchical implementation of the longitudinal magnetic field, which then leads again to a destabilization of the frozen phase.
The present paper now investigates the question of the stability of the low-temperature phase in general GREM models under the joint presence of a longitudinal and transversal field. We will present explicit formulas for the free energy of such Q(uantum)GREMs for both cases: a naive implementation of the longitudinal magnetic field and a hierarchical implementation. We will discuss the stability of the glass phase and calculate associated critical exponents.
1.1 The Quantum GREM with a Random Longitudinal Field
The QGREM with a (random) external transversal and longitudinal magnetic field is a Hamiltonian on \(\psi \in \ell ^2(\mathcal {Q}_N)\) of the form
The first term represents the GREM energy landscape on the Hamming cube \(\mathcal {Q}_N {:}{=}\{-1,1\}^N\) and is given by a centered Gaussian process \(U(\pmb {\sigma })\) with covariance function
where \(A\) \(:\) \([0,1] \rightarrow [0,1]\) is a fixed non-decreasing, right-continuous, and normalized function, \(A(1) =1\), which does not depend on N. Moreover, \(q_N\) denotes the normalized lexicographic overlap of spin configurations \( \pmb {\sigma }, \pmb {\sigma }' \in \mathcal {Q}_N \):
GREM processes distinguish themselves through their choice of A, which may be a continuous distribution function. In the latter case, these processes are also called CREM, which is short for continuous REM. Other examples correspond to distribution functions A with a finite number n of atoms, which is referred to as an n-level GREM. The simplest case is one atom at \( x = 1 \), i.e. \( A(x) = 0 \) for \( x < 1 \) and \( A(1) = 1 \), which corresponds to the REM, i.e. the case of independent and identically distributed centered Gaussian variables \(U(\pmb {\sigma })\), \( \pmb {\sigma } \in \mathcal {Q}_N \), with variance N.
A straightforward implementation of a (random) longitudinal magnetic field is achieved through setting
Interpreting the configuration basis \( \pmb {\sigma } \) as the z-components of N quantum spin-1/2, a (random) transversal field B in x-direction is given by the sum of the Pauli x-matrices \( \pmb {s}_j \) with weights \(b_j\in \mathbb {R} \):
We will assume throughout that the variables \((U({\pmb {\sigma }})) \), \( (h_j)\) and \((b_j)\) are mutually independent and that the field variables \(h_j\) and \(b_j\) are independent copies of absolutely integrable random variables \(\mathfrak {h}\) and \(\mathfrak {b}\), respectively.
Occurring phase transitions, in particular the AT line, are encoded in the limit of the pressure (or the negative free energy times the inverse temperature \( \beta \))
as the number of spins N goes to infinity. Our first main theorem is an explicit formula for this limit in terms of the concave hull \(\bar{A}\) of A and the right derivative \(\bar{a}\) of \(\bar{A}\).
Theorem 1
Let \(U(\pmb {\sigma })\) be a GREM with distribution function A and suppose that the longitudinal random field is implemented as in (4). For any \(\beta \ge 0\) and any absolutely integrable random variables \( \mathfrak {h},\mathfrak {b} \), the pressure converges almost surely,
The density \(\varphi (\beta ,\mathfrak {h},x)\) is given by
where \(\beta _c(x) = \beta _c(x,\mathfrak {h})\) is the unique positive solution of the self-consistency equation
Moreover, \(\varphi (\beta ,\mathfrak {h},x)\) is a decreasing function of x and strictly increasing and convex in \(\beta \), while \(\beta _c(x)\) is increasing in x.
Theorem 1, whose proof will be spelled out in Sect. 3, is a generalization of Theorem 1.4 in [22], which addresses the case without a longitudinal field, \( \mathfrak {h} = 0 \). In the classical case without transversal magnetic field, \( \mathfrak {b}= 0 \), it generalizes the results of [7], which covers the case that \( \mathfrak {h} \) is constant, and of [4, 5], which treats the special case of a REM or two-level GREM in a random magnetic field.
1.2 Stability of the Glass Phase in the QGREM with Longitudinal Field
Glass behavior occurs if the inverse temperature \(\beta \ge \beta _c(x)\) for at least one \(x \in [0,1]\). From (8) and the monotonicity of \(\varphi (\beta ,\mathfrak {h},x) \) and \(\beta _c(x)\), it is evident that the location of the glass transition predicted by (7) coincides with \(\beta _c(x = 0)\) and, thus, is completely determined by \(\varphi (\beta ,\mathfrak {h},0) \) which agrees with a rescaled REM pressure [4]. In order to understand the qualitative behavior of the phase diagram and in particular the question of the stability of the glass phase in the QGREM with longitudinal field (4), it is thus convenient to restrict the discussion to the REM with constant fields, i.e., \(\mathfrak {h} = h\) and \(\mathfrak {b} = \varGamma \) for some positive constants \(h,\varGamma \ge 0\). In fact, even quantitative properties such as the dependence of the critical temperature \(T_c(h) = \beta _c(0,h)^{-1} \) on the longitudinal field h coincide for the general GREM with the REM except for some numerical factors which depend on \(\bar{a}(0)\). We therefore state the application of Theorem 1 to the QREM as our next corollary.
Corollary 1
Consider a REM process \(U(\pmb {\sigma })\) and constant longitudinal and transversal fields of strength \(h,\varGamma \ge 0\). Then, almost surely
where, \( \varPhi ^\mathrm {REM}(\beta ,h)\) denotes the function
and \(\beta _c(h)\) is the unique positive solution of
with the modified binary entropy \(r :[-1,1] \rightarrow {\mathbb {R}}\),
The short proof of Corollary 1 can be found in Appendix A.
The left figures illustrates the freezing temperature \(T_c(h) = \beta _c^{-1}(h)\) as a function of the longitudinal field h. On the right is the \(T-\varGamma \) phase diagram with the critical magnetic field \(\varGamma _c(\beta ,\varGamma )\) as well as the critical temperature evaluated at \(h = 0,3,7\)
For fixed \( h > 0 \) the phase diagram, which is plotted in Fig. 1, resembles that of the QREM without longitudinal field [15, 20]. The model undergoes a magnetic transition at
where the magnetization in x-direction jumps. At fixed \( h > 0 \), this line separates the quantum paramagnet characterized by a positive magnetization in x-direction, from the classical spin glass.
The unique positive solution \( \beta _c(h) \in (0,\sqrt{2\ln 2 } ) \) of the self-consistency equation (12) marks the inverse freezing temperature at longitudinal field \( h > 0 \). For fixed \( h > 0 \) this line separates the high-temperature regime of the classical paramagnet at \(\varGamma < \varGamma _c(\beta ,h)\) from the spin glass phase. In comparison to the case \( h = 0 \), the longitudinal field causes an extensive magnetization \( M(\pmb {\sigma }) := \sum _{i=1}^N \sigma _i \) in z-direction under the Gibbs average. The specific magnetization in z-direction is a self-averaging quantity which converges as \( N \rightarrow \infty \) to
The kink in its dependence on \( \beta \) for \( \varGamma < \varGamma _c(\beta ,h) \) reflects the second-order freezing transition at \( \beta _c(h) \).
The following proposition summarizes some basic properties of the critical inverse temperature \( \beta _c(h)\) and the critical transversal field \( \varGamma _c(\beta ,h)\) as functions of h.
Proposition 1
The critical inverse temperature \(\beta _c(h)\) and the critical magnetic field strength \(\varGamma _c(\beta ,h)\) have the following properties:
-
1.
\(\beta _c(h)\) is a strictly decreasing function. Moreover, \( \beta _c(h) = \sqrt{2 \ln 2} \ (1 - h^2/2) +\mathcal {O}(h^4) \) for small h and asymptotically \(\lim _{h \rightarrow \infty } \frac{h \beta _c(h)}{\ln h} = 1 \).
-
2.
The high temperature limit \( \varGamma _c(0,h) {:}{=}\lim _{\beta \rightarrow 0} \varGamma _c(\beta ,h) = 1 \) does not depend on h, and the low temperature limit
$$\begin{aligned} \lim _{\beta \rightarrow \infty } \varGamma _c(\beta ,h) = \sqrt{ (\beta _c(h) + \tanh (\beta _c(h)h)h)^2 - h^2} \end{aligned}$$resembles the ground-state phase transition.
-
3.
For any \(\beta > 0\) the critical field strength \(\varGamma _c(\beta ,\cdot )\) is a strictly increasing function. In addition, we asymptotically have \( \lim _{h \rightarrow \infty } \frac{\varGamma (\beta ,h)}{\sqrt{h \beta _c(h)}} = 1 \).
The proof of Proposition 1 is based on multiple elementary, but quite lengthy, computations, which we spelled out in Appendix A for the convenience of the reader.
Let us put these findings in a general context. In classical SK-type models, the freezing temperature \(T_c(h) = \beta _c(h)^{-1} \) decreases as h becomes larger, i.e. the glass phase shrinks [10, 31]. Numerical calculations support the conjecture that in the Quantum SK-model, the longitudinal and transversal field destabilize the glass phase as well (cf. [24, 34] and [28]). In contrast, the REM and the QREM exhibit an expanding frozen phase for \(h > 0\). This concerns not only the critical temperature \( T_c(h) \) but also the critical transversal magnetic field strength \(\varGamma _c(\beta ,h)\), which also increases with h; see Fig. 1. In this sense the QREM, although the limit \( p \rightarrow \infty \) of p-spin models (cf. [21]), features nonphysical characteristics in presence of a longitudinal field. As we will argue next, this is a consequence of the unrealistic lack of correlations.
1.3 The QGREM with a Hierarchical Longitudinal Field
That a longitudinal field stabilizes the frozen phase in the QREM and QGREM, can be regarded as a quite nonphysical behavior. We will bypass this problem by following Derrida and Gardner’s approach to incorporate the magnetic field in z-direction as a hierarchical operator [14]. This choice can be physically justified: one should recall that the GREM was designed as a hierarchical approximation of the more involved SK-model, whose energy correlations are given by \( \mathbb {E}\left[ U(\pmb {\sigma }) U(\pmb {\sigma }^\prime ) \right] = N r_N(\pmb {\sigma },\pmb {\sigma }^\prime )^2 \) in terms of the spin overlap \(r_N(\pmb {\sigma },\pmb {\sigma }^\prime ) = N^{-1} \sum _{j=1}^N\). In fact, requiring that the entropy of likewise pair-correlated energies asymptotically coincides in the SK-model and the GREM, i.e.
for all \( a \in (0,1) \) and a fixed, but arbitrary, reference state \(\pmb {\sigma }^0\), determines the choice \( A(x) = \gamma (x)^2 \), where \(\gamma \) is the inverse function of
with the binary entropy r from (13). This follows from the known asymptotics
and \( \left| \{\pmb {\sigma }: q_N(\pmb {\sigma },\pmb {\sigma }^0) > a \} \right| \simeq 2^N 2^{-aN} \).
If we want to understand the SK-model with a longitudinal field, it is reasonable to consider the hierarchical reorganization of the magnetic field as well. We start by introducing the notion of a general hierarchical field on the Hamming cube \(\mathcal {Q}_N\).
Definition 1
We call a function \(h :\mathcal {Q}_N \rightarrow {\mathbb {R}}\) a hierarchical field with reference state \(\pmb {\sigma }^0 \in \mathcal {Q}_N\) if there exists a function \(\eta :[0,1] \rightarrow {\mathbb {R}}\) such that
where q is the lexicographic overlap (3). Furthermore, h is said to be a regular hierarchical field, if \(\eta \) is a regular function on [0, 1], i.e. \(\eta \) is a uniform limit of step functions.
Our second main result in this paper deals with general regular hierarchical fields. Nevertheless, let us in particular discuss the choice of \(\pmb {\sigma }^0\) and \(\eta \) that corresponds to a constant external magnetic field. To do so, we rewrite the original constant longitudinal magnetic field as follows
where \(\pmb {\sigma }^0 = (+1,\ldots ,+1)\) is the ferromagnetic state. In the hierarchical case one may also think of \(\pmb {\sigma }^0\) being the ferromagnetic state, but the free energy in fact does not depend on this reference state.
Determining the ”correct” overlap function is a little more subtle. One might be tempted to pick \(\eta (q) = hq\) which yields the analogous relation between the field and the respective overlap as in (17). Similarly as discussed above, it is more reasonable though to demand that the entropy agrees, i.e. the number of (positive) energy states agree on an exponential scales
for any \(0< a < h\). Comparing asymptotics leads to the choice
where again \(\gamma \) is the inverse function of (15). Let us record this as a definition:
Definition 2
We call \(h(\pmb {\sigma }) = N \eta (q_N(\pmb {\sigma },\pmb {\sigma }^0))\) with reference state \(\pmb {\sigma }^0 = (+1,\ldots ,\) \( +1)\) and overlap function \(\eta \) given by (18) the hierarchical magnetic field of strength h.
Our aim in the following is to determine the limit of the pressure \( \varPhi _N(\beta ,\mathfrak {b},h) \) of a Quantum GREM (1) where U is a GREM-type random process characterized by A in (2), h is a regular hierarchical field in the sense of Definition 1, and B is a random transversal field whose weights \(b_j\) are independent copies of an absolutely integrable variable \(\mathfrak {b}\) (see (5)).
To formulate our main result, we need to introduce doubly-cut GREM processes \(U^{(y,z)}\) for \(0 \le y \le z \le 1\) on the reduced Hamming cube \(\mathcal {Q}_{\lceil (z-y)N \rceil }\) with the (not normalized) distribution function \(A^{(y,z)} :[0,z-y] \rightarrow [0,1]\), \( A^{(y,z)}(x) {:}{=}A(x+y) - A(y) \). The corresponding concave hull and its right derivative are denoted by \(\bar{A}^{(y,z)}\) and \(\bar{a}^{(y,z)}\).
We further set \(\varphi ^{(y,z)} :{\mathbb {R}}\times [0,z-y] \rightarrow {\mathbb {R}}\),
with
With these preparations we recall from Theorem 1.4 and Theorem 2.8 in [22] that almost surely
In the presence of any regular hierarchical field h (not necessarily with \( \eta \) given by (18)), this result generalizes as follows.
Theorem 2
Let \(U(\pmb {\sigma })\) be of GREM and B a random transversal field with independent weights \((b_j)\) sharing the same distribution as \(\mathfrak {b}\). Further, let \(h(\pmb {\sigma }) = N \eta (q(\pmb {\sigma },\pmb {\sigma }^0))\) be a regular hierarchical field. Then, almost surely:
That the two last equations in (22) agree, is a priori not clear, as the additional cut at \( z < 1\) might change the concave hull \(\bar{A}^{(y,z)}\) in the interval of interest. In other words, Theorem 2 in particular says that the maximizing z in (22) can only be a point, where \(\bar{A}^{(y,1)} = {A}^{(y,1)}\) and consequently the z-cut has no effect on the concave hull.
Remarkably, the transversal field B and the hierarchical field h affect the glass phase quite differently. While the hierarchical field tends to shrink the glass region in its most correlated sector first (it acts through the choice of y from the ’left’), the transversal field begins by changing the unfrozen region and the less correlated sector (it acts through the choice of z from the ’right’). We will further discuss the consequences of our second main result, Theorem 2, in the next subsection and spell out its proof only in Sect. 2.
1.4 Instability of the Glass Phase in the QGREM with Longitudinal Hierarchical Field
If \(A = \bar{A}\), i.e. A is a concave function, \(\varphi ^{(y,1)}\) is a just a translation of \(\varphi ^{(0,1)}=: \varphi \) such that
with
On the other hand, if A is not concave (which is always the case if A is a step function) the behavior of \(\varphi ^{(y,1)}\) is more subtle as one has to take into account that the slope of the concave hull’s linear segments will change as y increases. In particular, (23) does not necessarily hold true. In contrast to a transversal field, a hierarchical field might lead to a change of the determining concave hull. As discussed in [14] this would happen for a hierarchical caricature of a p-spin glass with \( p > 2 \).
For an explicit prediction on the AT line we will now focus on the case that \(A = \bar{A}\) is continuously differentiable with derivative \( \bar{a} \). Then for any hierarchical field with an overlap function \(\eta (\cdot ) = h v(\cdot )\) with \(h \ge 0\) and \(v \ge 0\) an increasing function, the supremum in (23) is attained for fixed \(\beta \ge 0\) at some \(y(\beta ,h)\) which is an increasing function of h. Since the critical temperature \(T_c = \beta _c^{-1}\) only depends on \(\bar{a}(y(\beta ,h))\), it is thus a decreasing function of h and not increasing as in the QREM.
To be more specific, let us focus on the case of the hierarchical magnetic field \( \eta = h \gamma \) of strength \(h > 0 \). We will proceed step by step, first discussing the limiting cases.
1.4.1 Vanishing Transversal Field \(\mathfrak {b} = 0\)
In this case, a straightforward differentiation shows that the supremum in (23) is attained at \( z = 1 \) and \( y= y(\beta , h) \in (0,1) \), which for fixed \( \beta > 0 \) and \( h > 0 \) is the unique solution of the equation
where \( k: [0,\infty ) \rightarrow (0,1] \) is the inverse function of the derivative \( \gamma ' :(0,1]\rightarrow [0,\infty ) \) of \( \gamma \). The uniqueness of the solution is most easily seen using the explicit form
from which we conclude the fact that k is continuous and monotone decreasing. More precisely, since \(y \mapsto \varphi ( \beta , y) \) is continuous and monotone decreasing as well with limiting values \(\varphi (\beta , 0) \ge \varphi (\beta , 1) = \beta ^2 \bar{a}(1)/ 2 + \ln 2 > 0 \), the solution to (24) exists and is unique.
A low-temperature glass phase occurs in this case if and only if \( y(\beta ,h) < ~x(\beta ) \). Clearly, this is only possible in case \( x(\beta ) > 0 \), i.e. for temperatures below the critical temperature at \( h= 0 \), whose inverse is given by
Since \([\beta _c,\infty ) \ni \beta \mapsto x(\beta ) \) is monotone increasing and right-continuous and \( \varphi (\beta ,x(\beta )) = 2 \ln 2 \), the inverse critical temperature at \(h > 0 \) is then well defined through the requirement
The function \( h \mapsto \beta _c(h) \) is referred to as the AT line. We record some elementary properties of the AT line and also of the solution of (24) for future purposes in the following proposition. Of particular interest is the critical exponent of the AT line \(T_c(h) = \beta _c(h)^{-1} \) near \( h = 0 \). It is determined by the asymptotic behavior of \( \bar{a}(x) \) near \( x = 0 \). To facilitate notation, we write \( x(t) \propto y(t) \; ( t \rightarrow t_0) \) if and only if \( \lim _{t\rightarrow t_0 } \frac{x(t)}{y(t) } \in (0,\infty ) \) exists. For the determination of the critical exponent, we add the following assumption, which may be satisfied or not.
Assumption 1
For \( \alpha > 0 \): \( \bar{a}(0) - \bar{a}(x) \propto x^\alpha \quad ( x \downarrow 0) \).
E.g. in the SK-caricature case \( A = \gamma ^2 \), we have \( \bar{a}(0) = 2 \ln 2 \), which yields the correct critical temperature \( \beta _c = 1 \) of the SK-model, and \( \alpha = 1 \). As is spelled out in (26), this leads to the critical exponent 2 of the AT-line for small transversal fields. This differs from the known asymptotics \( T_c - T_c(h) \propto h^{2/3} \quad ( h \downarrow 0 ) \) of the AT-line in the original SK-model as already noted in [14].
Proposition 2
Suppose that \(A = \bar{A}\) is continuously differentiable with derivative \( \bar{a} \).
-
1.
The inverse critical temperature \(\beta _c(h) \) is monotone increasing in h. Its limiting values are \( \lim _{h\downarrow 0} \beta _c(h) = \beta _c\) and
$$\begin{aligned} \lim _{h\rightarrow \infty } \beta _c(h) = {\left\{ \begin{array}{ll} \infty &{} \text{ if }\; \bar{a}(1) = 0, \\ \frac{2 \ln 2}{ \bar{a}(1)} &{} \text{ if }\; \bar{a}(1) > 0. \end{array}\right. } \end{aligned}$$In the situation of Assumption 1 the critical temperature satisfies:
$$\begin{aligned} T_c - T_c(h) \propto h^{2\alpha } \quad ( h \downarrow 0 ). \end{aligned}$$(26) -
2.
For any \( \beta \in (0,\infty ) \) and \( h> 0 \) the unique solution \( y(\beta ,h) \) of (24) enjoys the following properties:
-
(a)
For fixed \( \beta \in (0,\infty ) \) the function \( (0,\infty ) \ni h \mapsto y(\beta , h) \) is continuous and increasing in h for any \( \beta > 0 \) with limiting values \( \lim _{h\downarrow 0} y(\beta ,h) = 0 \) and \(\lim _{h\rightarrow \infty } y(\beta ,h) = 1\). Moreover,
$$\begin{aligned} y(\beta ,h) = \mathcal {O}(h^3 ) + h^2 \times {\left\{ \begin{array}{ll} \frac{ \beta ^2}{ 2\ln 2} (1+ \beta ^2/\beta _c^2)^{-2}, &{}\quad \beta < \beta _c \\ \frac{\beta _c^2}{8 \ln 2 }, &{} \quad \beta > \beta _c \end{array}\right. } \end{aligned}$$(27)for small h.
-
(b)
The function \( (0,\infty ) \ni h \mapsto \varphi \left( \beta , y(\beta ,h) \right) \) is continuous and decreasing. Moreover, at any \( \beta > 0 \) its limiting values is \( \lim _{h\downarrow 0} \varphi \left( \beta , y(\beta ,h) \right) = \varphi \left( \beta , 0\right) \).
-
(a)
The proof of this proposition consists again of multiple lengthy, but elementary computations, which are sketched in Appendix B.
1.4.2 Vanishing Hierarchical Longitudinal Field \(h = 0\)
It was shown in Corollary 1.5 of [22] that in case \( h = 0 \) and a constant transversal field \(\mathfrak {b} = \varGamma \) of strength \(\varGamma > 0\) the supremum in (23) is attained at \( y = 0 \) and \( z = z(\beta , \varGamma ) \in [0,1] \) given by
Here \(g(\beta ,\cdot ): [s(\beta ),t(\beta )] \rightarrow [0,1] \) is the generalized inverse of \(\varphi (\beta ,\cdot ) \), which maximizes \( z(\beta ,\varGamma ) \) and
is the pressure of a pure quantum paramagnet. As a consequence, the pressure \( \varPhi (\beta ,\varGamma ,0) \) has a magnetic transition at
and possibly a second magnetic transition at \( \varGamma _c^{(1)}(\beta ) := \frac{1}{\beta } {\text {arcosh}}\left( \tfrac{1}{2} e^{s(\beta )} \right) \) depending on whether \( \bar{a}(1) > 0 \) or equivalently \( s(\beta ) > \ln 2 \) or not. In the regime \( \varGamma < \varGamma _c(\beta ,0) \) a glass transition occurs at fixed inverse temperature \( \beta _c \).
In case of the SK-caricature for which \( \bar{a}(1) = 0 \), neither the value of the location of the quantum phase transition at zero temperature, \( \lim _{\beta \rightarrow \infty } \varGamma _c(\beta ,0) = \sqrt{(2\ln 2) \bar{a}(0) } = 2 \ln 2 \approx 1.38\ldots \) agrees with the perturbative or numerical prediction of approximately 1.51 in [33, 34], nor does the behavior of \( \varGamma _c(T^{-1},0) \) near \( T= 0 \) agree with the \( T^2 \)-scaling predicted in [17]. Presumably, this is a defect of the hierarchical implementation of the glass’ correlations.
1.4.3 Constant Longitudinal and Transversal Field
To determine the pressure \( \varPhi (\beta ,\varGamma ,h) \) in the general case of a constant transversal and longitudinal field \( \varGamma , h > 0 \), we also need to discuss the behavior of the variational expression (23) at the diagonal \( y = z \), which corresponds to the situation without a GREM. In this case, the supremum is attained at
Note that the condition \( p(\beta \varGamma ) < \varphi (\beta ,y(\beta ,h)) \) ensures \( y(\beta ,h) < z(\beta ,h) \) by the strict monotonicity of \( g_\beta \). These findings then yield to the following explicit expression for the pressure in the general case.
Corollary 2
Suppose that \(A = \bar{A}\) is continuously differentiable. For the constant transversal field of strength \( \varGamma > 0 \) and the hierarchical magnetic field \(h(\pmb {\sigma }) = N h \gamma (q(\pmb {\sigma },\pmb {\sigma }^0) )\) of strength \( h > 0 \) the pressure is almost surely
where \(y(\beta ,h ) \), \( z(\beta ,\varGamma ) \) and \( \sigma (\beta ,\varGamma ,h) \) are specified in (24), (28) and (29) respectively.
Let us now discuss the physical significance of this formula. In case \( h > 0 \) the pressure in Corollary 2 changes its nature at \( \varphi (\beta ,z(\beta ,\varGamma )) = p(\beta \varGamma ) = \varphi (\beta ,y(\beta ,h)) \), i.e. at
By strict monotonicity of p, the condition \( \varGamma < \varGamma _c(\beta ,h) \) is equivalent to \( p(\beta \varGamma ) < \varphi (\beta , y(\beta ,h) )\) and hence \(y(\beta ,h) \le z(\beta ,\varGamma ) \).
The magnetization in the transversal direction
changes continuously through the transition line \( \varGamma = \varGamma _c(\beta ,h) \). Only its second derivative is generally discontinuous. Note that the magnetization in x-direction neither attains its maximum value \( \tanh (\beta \varGamma )\) of the pure quantum paramagnetic phase in the regime \( \varGamma > \varGamma _c(\beta ,h) \) nor does it vanish for \( \varGamma < \varGamma _c(\beta ,h) \). Similarly as in the case \( h = 0 \) covered in [22], the transversal magnetization vanishes only at \( \varGamma _c^{(1)}(\beta ) \), which is equal to zero in case \( \bar{a}(1) = 0 \). The critical magnetic field is continuous in h, and one recovers the limiting value \(\lim _{h\downarrow 0} \varGamma _c(\beta ,h) = \varGamma _c(\beta ,0)\) for any \( \beta \in (0,\infty ) \). A straightforward Taylor expansion and (27) imply that in the situation of Assumption 1:
In fact, this even holds in the zero temperature limit \( \beta \rightarrow \infty \), i.e for the so called Quantum AT line which is plotted in Fig. 2.
A low-temperature glass phase occurs if and only if
Clearly, this is only possible if two conditions are satisfied simultaneously:
-
1.
\( z(\beta ,\varGamma ) > y(\beta ,h) \), i.e. for transversal fields \( \varGamma < \varGamma _c(\beta ,h) \). From the monotonicity of \( h \mapsto \varphi (\beta ,y(\beta ,h)) \), we conclude, \( \varGamma _c(\beta ,h) \le \varGamma _c(\beta , 0) \) for any \( \beta , h > 0 \).
-
2.
\( x(\beta ) > y(\beta ,h) \), i.e. for \( \beta > \beta _c(h) \) given by (25), which we already identified as a monotone increasing function of h.
We thus conclude, that the presence of the transversal field \( h > 0 \) shrinks the spin glass’ low-temperature phase. Qualitatively this behavior is in accordance with the numerical findings in case of the Quantum SK-model [34]. However, as already noted in [14] in the classical case \( \varGamma = 0 \), the critical exponents do not agree. Figure 3 plots the temperature-transversal field phase diagram for different values of h in case \( A = \bar{A} \) and \( \bar{a}(1) = 0 \).
On the left is a plot of the critical temperature \( \beta _c(h) \) as a function of the longitudinal field. On the right figure is the \(T-\varGamma \) phase diagram with the critical magnetic field \(\varGamma _c(\beta ,\varGamma )\) as well as the critical temperature \(\beta _c(h)^{-1} \) evaluated at \(h = 0,3,7\)
We finally close this section by pointing out that the expression for the pressure in case \( p(\beta \varGamma ) \ge \varphi (\beta ,y(\beta ,h)) \) agrees with that of the hierarchical field h plus a constant transversal field \( \varGamma \). It should be compared to the exact solution \( p(\beta \sqrt{h^2 +\varGamma ^2}) \) without the hierarchical implementation of the longitudinal field and agrees qualitatively.
The magnetization in the longitudinal direction is given by
and varies continuously through both the glass and the magnetic transitions.
2 Proof of Theorem 2
Let us first remark that the last equality in (22) already follows from results in [22]. Indeed, fix any \(y \in [0,1)\) and consider the Hamiltonian
on the reduced Hilbert space \(\ell ^2(\mathcal {Q}_{\lceil (1-y)N \rceil })\), where \( U^{(y,1)} \) is the cut GREM corresponding to \( A^{(y,1)} \) and \(B^{(2,y)}\) denotes the cut transversal field acting only on spins in \( \mathcal {Q}_{\lceil (1-y)N \rceil } \)
and we set \(B^{(1,y)} {:}{=}B-B^{(2,y)}\). Then, Theorem 2.8 in [22] implies
whereas an application of Theorem 1.4 in [22] yields
In both cases, the supremum is taken over \( z \in [y,1] \) at fixed y, which proves the second equality in (22). We now spell out the proof of the first equality in (22).
Proof of Theorem 2:
We will proceed in three steps.
Step 1: Reduction to step functions
We claim that it is enough to show Theorem 2 for step functions \(\eta \). This follows if we can prove that the left and right side of (22) are continuous with respect to \(\eta \) in the uniform norm. This is, however, trivial for the right side, and a simple operator norm bound implies for two hierarchical fields \(h,h'\) with overlap functions \(\eta ,\eta '\),
From now on, we will therefore only consider step functions \(\eta \), i.e. we assume that there exist points \(0 = q_0< q_1 < \cdots q_m = 1\) and real numbers \(\eta _1,\ldots ,\eta _m\) such that \(\eta (x) = \eta _k\) for \(q_{k-1} \le x < q_k\) and \(\eta (1) = \eta _m\). The points \(q_k\) define blocks of spin vectors \(\pmb {\sigma }_k \in \mathcal {Q}_{\lceil q_k N \rceil - \lceil q_{k-1} N \rceil }\), and we will write \(\pmb {\sigma } = \pmb {\sigma }_1 \pmb {\sigma }_2 \cdots \pmb {\sigma }_m\). Moreover, it is convenient to introduce for \(k = 1,\ldots m\) the projections \(P_k\) and \(p_k\):
Moreover, we set \(P_0 \pmb {\sigma } = p_0 \pmb {\sigma } {:}{=}1\). Finally, we note that due to the fact that \( \eta \) only takes finitely many values, we may restrict the variational expression (22) to the maximum over points \(y= q_k\):
Step 2: Lower bound
Our lower bound on the pressure is based on Gibbs’ variational principle [26]. We pick some \(k \in \{1,\ldots ,m \}\) and consider on the subspace \(\ell ^2(\mathcal {Q}_{N- \lceil q_k N \rceil })\) the Hamiltonian:
We denote by \(\tilde{\rho }_{k,\beta }\) the corresponding Gibbs state at inverse temperature \( \beta \). The density matrix \(\tilde{\rho }_{k,\beta }\) has the extension \(\rho _{k,\beta } := | P_k \pmb {\sigma }^0 \rangle \langle P_k \pmb {\sigma }^0 | \otimes \tilde{\rho }_{k,\beta } \) to the full space \(\ell ^2(\mathcal {Q}_{N}) = \ell ^2(\mathcal {Q}_{\lceil q_k N \rceil }) \otimes \ell ^2(\mathcal {Q}_{N- \lceil q_k N \rceil }) \) and its matrix elements are given by
By Gibbs’ variational principle, we have
with the canonical extension \(\hat{U}^{(k)}\) of \(U^{(k)}\) to the Hilbert space \(\ell ^2(\mathcal {Q}_{N})\), i.e.,
Since the trial density matrix \(\rho _{k,\beta }\) is diagonal with respect to \(\pmb {\sigma }_1 \cdots \pmb {\sigma }_k\) and fixes the first variables to \( P_k \pmb {\sigma }^0 \), we have
Thus, it remains to show the almost sure identities
and
Step 2.1: Proof of (33): Using \( h(\pmb {\sigma }) = N \eta (q_N(\pmb {\sigma },\pmb {\sigma }^0)) \) we compute the trace in the z-basis:
where the second equality is due to the construction of \(\rho _{k,\beta }\). Since \(\rho _{k,\beta }\) has unit trace,
and is non-negative, we may estimate both from above and below:
We further deduce from the spin-flip covariance of \( H^{(k)} \) that for any \(\pmb {\sigma },\pmb {\sigma }'\) with \(P_k \pmb {\sigma } = P_k \pmb {\sigma }' = P_k \pmb {\sigma }^0\):
Consequently, using the normalization (35) and counting the number of configurations, we have
By a Borel-Cantelli argument, we thus arrive at the almost sure convergence
Step 2.2: Proof of (34): We may rewrite the restricted process (in distributional sense)
where \(U^\prime (\pmb {\sigma }_{k+1}\cdots \pmb {\sigma }_m)\) is a GREM process on \( \mathcal {Q}_{N- \lceil q_k N \rceil } \) with (non-normalized) distribution function \(A^{(q_k,1)}\) and Y is a standard Gaussian variable which is independent of \(U^\prime \). This distributional equality relies on the fact that centered Gaussian processes are uniquely determined by their covariance function. Of course, Y does not contribute to the limit of the pressure,
provided that the limit on the right side exists. This is warranted by Theorem 1.4 in [22], which almost surely yields
Step 3: Upper bound
The method is similar in spirit to the application of the peeling principle presented in [22]. However, we need to cut the transversal field B in a different manner which suits the hierarchical field h.
Step 3.1: Truncating the transversal field B
We define the partial fields
where we set \(B^{(1,q_0)} = 0\). Hence \(B_k\) only acts on \(\pmb {\sigma }_k\). We also define the restriction \(B^\prime _k\) of \(B_k\) to the complement of \((p_k \pmb {\sigma }^0)\):
Here, the first identity acts on \(\pmb {\sigma }_{1}\cdots \pmb {\sigma }_{k-1}\),the last identity on \(\pmb {\sigma }_{k+1}\cdots \pmb {\sigma }_m\) and \(F_j\) denotes the jth flip operator (see (5)). We denote by \(B^\prime \) the total truncated transversal field,
By the triangle inequality and a Frobenius norm estimate we have
Note that the \(L^1\)-property of the random variable \(\mathfrak {b}\) and Lemma A.2 in [22] ensure that the right side is indeed of order o(N).
Step 3.2: Finishing the proof: Using a trivial norm bound, we estimate
The first identity follows by an inclusion-exclusion type of summation over all spin configurations \(\pmb {\sigma } \in \mathcal {Q}_N \) together with the fact that the hierarchical field h commutes with \(B^\prime \) (and clearly with U) and is constant on the respective spin configurations in the sum. The third line is a consequence of the fact that on the subspace generated by the elements \(P_{k}\pmb {\sigma }^0 = P_{k} \pmb {\sigma }\), the magnetic field \( B^\prime \) operates only on the remaining spins \(\pmb {\sigma }_{k+1} \cdots \pmb {\sigma }_m\) and evaluates the potential at \( U^{(k)} \), see (32). We now recall from Lemma 1 in [22] that the diagonal matrix elements \( \langle \pmb {\sigma } | e^{-\beta (U - B)} | \pmb {\sigma } \rangle \) only depend on the square of the variables \( b_i \), so that in the estimation of the trace we may always assume without loss of generality that \( b_i \ge 0 \) and hence B as well as \( B^\prime \) have positive matrix elements in the spin configuration basis, which for \( b_i \ge 0 \) dominate each other and in particular
This allows us to expand the summation over all matrix elements with \(P_k \pmb {\sigma }^0 = P_k \pmb {\sigma }\), which leads to the upper bound
Together with (36) this finishes the proof of Theorem 2. \(\square \)
3 Proof of Theorem 1
Based on the already established results and methods in [4, 5, 20, 22], the proof of Theorem 1 is straightforward but quite lengthy. Before we move on to the details, we outline our proof strategy which consists of three main steps:
-
1.
First, we need to generalize the results in [4, 5] on the REM and two-level GREM with a random magnetic field to the general n-level GREM (see Theorem 3). Following [4, 5] closely, the argument is based on a large-deviation principle for the entropy which transforms the computation of the limit to a linear optimization problem with non-linear constraints.
-
2.
Secondly, we extend the limit theorem for the classical GREM to the QGREM with a random longitudinal field (see Proposition 4). Using the peeling principle from [22], the proof is quite easy. The only subtle point is to ensure that the structure of the concave hull in the variational principle is preserved. Here we use an argument which is very similar to the proof of [22, Lemma 3.1].
-
3.
Finally, we use an interpolation and continuity argument to the lift the n-level QGREM result to the more general QGREM setting. We refer to the interpolation and concentration estimates in [22] which are applicable here.
3.1 The GREM with a Random Magnetic Field
The main aim of this subsection to prove the following Theorem 3, which extends the discussion of the two-level GREM in [5] to the general n-level GREM. To this end, we will need to introduce some notation. Let \(0 = x_0< x_1< x_2< \cdots < x_n = 1\) be some points \(a_1,\ldots ,a_n\) some nonnegative weights (we do not assume here that these weights add up to one). As in the proof of Theorem 2, we decompose the spin vector into blocks \(\pmb {\sigma } = \pmb {\sigma }_1 \cdots \pmb {\sigma }_n\) according to the partition formed by the points \((x_k)\). The GREM process can be written as
where the appearing random variables \(X_{\pmb {\sigma }_1}, X_{\pmb {\sigma }_1\pmb {\sigma }_2}, \ldots , X_{\pmb {\sigma }_1\pmb {\sigma }_2\cdots \pmb {\sigma }_n}\) are independent standard Gaussian variables. Note that \(U(\pmb {\sigma }) \) coincides with the GREM process with (non-normalized) distribution function A,
The limit depends on the concave hull \(\bar{A}\) of A consisting of linear segments which are supported on a subset of points \(0 = y_0< y_1< \cdots <y_m = 1\) where A and \(\bar{A}\) agree. It is convenient to further introduce the following quantities: the increments of the concave hull \(\bar{a}_l {:}{=}A(y_l) - A(y_{l-1})\), the interval lengths \(L_l {:}{=}y_l - y_{l-1}\) and the slopes \(\gamma _l {:}{=}\bar{a}_l/L_l\).
As our main result in this section, we show that the limit of the classical pressure \(\varPhi _N(\beta ,\mathfrak {h}) = \varPhi _N(\beta ,\mathfrak {h},0)\) can then be expressed in terms of the partial pressures
where the critical temperatures \(\beta _c^{(l)} = \beta _c^{(l)}(\mathfrak {h})\) are each the unique positive solution of the self-consistency equation
The following generalizes results in [4, 5], which in turn is build on [7, 8].
Theorem 3
Let \(U(\pmb {\sigma }) \) be a GREM process as in (37), \(\beta \ge 0\) and \(\mathfrak {h}\) an absolutely integrable random variable. Then, almost surely
We stress that a random field does only change the partial pressures \( \varphi ^{(l)}\) but not the number of terms in the right side. In particular, the limit remains to be a function of the concave hull \(\bar{A}\) and not A itself.
Our proof of Theorem 3 follows the large-deviation approach in [4, 5]. We first need to understand the energy statistics of the random field. To this end, it is convenient to decompose the field \(h(\pmb {\sigma })\) into blocks
We first study the occupation numbers
With respect to the uniform distribution on spin configurations \( \pmb {\sigma }_k \), the random variables \( h_k(\pmb {\sigma }_k) /N_k \) with \( N_k := (x_k-x_{k-1}) N \) have a finite logarithmic-moment generating function given by
where \( S_N(t) \) is a random variable. For any fixed \( t \in \mathbb {R} \) by the strong law of large numbers the latter converges to zero as \( N\rightarrow \infty \). In fact, we can find a set of full probability (with respect to the distribution of the iid variables \( (h_i) \)) such that the almost-sure convergence
holds true for all \(t\in \mathbb {R} \) simultaneously. This follows from an \( 3 \varepsilon \)-argument by considering a countable dense set first and extending this assertion by noticing that both sides are continuously differentiable in t (see the proof of Lemma 5 in [4]). The Gärtner Ellis theorem (cf. [11]) then ensures that
is a rate function for \( N_k^{-1} h_k(\pmb {\sigma }_k) \) for any k. As a Legendre transform \( I : \mathbb {R} \rightarrow \mathbb {R} \cup \{ \infty \} \) is lower semicontinuous. It is straightforward to check that I is symmetric, \( I(-z) = I(z) \), equal to \(+\infty \) for \( |z|> {\mathbb {E}\,}[|\mathfrak {h}|] \), continuously differentiable on \( (-{\mathbb {E}\,}[|\mathfrak {h}|], {\mathbb {E}\,}[|\mathfrak {h}|]) \), where it is bounded by \( \ln 2 \), and continuous and monotone on \( [0, {\mathbb {E}\,}[|\mathfrak {h}|]) \).
The Gärtner Ellis theorem also allows to determine the asymptotic behavior of occupation numbers \( N(y_k) \), which we can rewrite as \( 2^{N_k} \) times the probability that
More precisely, we almost surely have
By the aforementioned continuity of I, we thus obtain for \( \xi _k \in (-{\mathbb {E}\,}[|\mathfrak {h}|], {\mathbb {E}\,}[|\mathfrak {h}|]) \) the almost-sure convergence
which describes the energy statistics of the magnetic field. As a next step, we analyze the energy statistics of the total Hamiltonian. We start by extending our definition of occupation numbers and introduce:
Our next goal is to obtain the asmptotics for \( N(\pmb {E},\pmb {y})\). To this end, we introduce the entropy
as well as the constraints
Note that \((\pmb {E},\pmb {y}) \in \mathcal {C}\) guarantees that \( I(\xi _k) < \infty \) for all k. By continuity of the involved functions on the domain, where they are finite, we conclude that \( \mathcal {C} \) is an open set and \( \xi _j(y_j) \in (-{\mathbb {E}\,}[|\mathfrak {h}|], {\mathbb {E}\,}[|\mathfrak {h}|]) \) for any j in case \((\pmb {E},\pmb {y}) \in \mathcal {C}\).
The following lemma on the asymptotics of \( N(\pmb {E},\pmb {y})\) is a natural generalization of Theorem 1.2 in [5]. We remark that \(\frac{1}{N} \ln N(\pmb {E},\pmb {y})\) is shown to converge almost surely, but not in expectation. As the event \(\{N(\pmb {E},\pmb {y}) = 0\}\) has a small, but nonvanishing, probability, we in fact have \({\mathbb {E}\,}[\ln N(\pmb {E},\pmb {y})] = - \infty \).
Lemma 1
Let X be an n-level GREM vector as in (37) and \((h_i)\) independent copies of an absolutely integrable random variable \(\mathfrak {h}\). Then, if \((\pmb {E},\pmb {y}) \in \mathcal {C}\), we almost surely have
On the other hand, if \((\pmb {E},\pmb {y}) \notin \bar{\mathcal {C}}\), the topological closure of \( \mathcal {C}\), almost surely and for all, but finitely many N:
Proof
Let us start with the case \( (\pmb {E},\pmb {y}) \notin \bar{\mathcal {C}}\). One then finds some \(k \in {\mathbb {N}}\) and \(\epsilon > 0\) such that
We condition on the weights \((h_i)\) and compute the probability that a reduced spin vector \(\pmb {\sigma }_1 \cdots \pmb {\sigma }_k\) meets the first k energy requirements
The first equality is due to the independence of the variables \( X_{\pmb {\sigma }_1 \cdots \pmb {\sigma }_j} \) for different j. The bound on the first probability follows from the standard Gaussian estimate. This may be inserted into the following union bound
where the last inequality is the previous estimate.
We now distinguish two cases. If
we may further estimate the right side using (49) and the upper bound in (42) to conclude that for all, but finitely many N and almost surely with respect to the variables \((h_i) \):
A Borel-Cantelli argument then shows that \(N(\pmb {E},\pmb {y})\) converges almost surely to zero.
In case \( \pmb {y} \not \in \mathcal {G}_k \) there exist an integer \(j \in \{1, \ldots k\} \) such that \(I( \xi _j(y_j)) = \infty \). Consequently, (42) implies the almost-sure convergence \( \limsup _{N \rightarrow \infty } \frac{1}{N_j} \ln N(y_j) = -\infty \). Since \( N(y_j) \in \mathbb {N}_0 \), this implies that almost surely \( N(y_j) = 0 \) for all, but finitely many N. We conclude \( {\mathbb {P}}(N(\pmb {E},\pmb {y}) \ge 1| (h_i)) = 0 \) for all, but finitely many N and hence the claim (48) in this case.
It thus remains to show (47) for \( (\pmb {E},\pmb {y}) \in \mathcal {C}\). This proof will be based on Proposition 3. For its application, we introduce the following sequences of numbers
The definition of these sets are motivated by inclusion-exclusion. If we suppose that \(G_k(N) \) converges as \( N \rightarrow \infty \), the almost-sure convergence (43), for which we recall that \( (\pmb {E},\pmb {y}) \in \mathcal {C}\) implies \(\max _{j} |\xi _j| < {\mathbb {E}\,}[|\mathfrak {h}|] \), yields
Moreover, Proposition 3 further implies
provided that the right side is positive. By definition of the constraint, this is always the case if \((\pmb {E},\pmb {y}) \in \mathcal {C}\) such that
almost surely. \(\square \)
The second part of the proof of Lemma 1 relied on the following claim, whose proof follows that of Proposition 6 in [4].
Proposition 3
Let \((D_N)_{N \in {\mathbb {N}}}\) be a family of finite sets, \((X_s)_{s \in D_N}\) independent standard Gaussian variables and \((Y_s)_{s\in D_N} \) a random vector, which is independent of X and whose entries only take the values 0 and 1. Further, suppose that almost surely
Then the number of large deviations
with \(a > 0\) almost sure obeys
provided that \(q >(2a)^{-1} E^2\).
Proof
We apply the second moment method to N(E) and the conditional expectation conditioned on the event \( Z {:}{=}\{s \in D_N | Y_s = 0 \} \). A standard calculation similar to (50) using elementary bounds on the Gaussian distribution function shows that
By explicit computation we determine the second moment of N(E) conditioned on Z:
Thus, the Chebyshev inequality implies for any \(\epsilon > 0\):
We note that \({\mathbb {E}\,}[N(E)|Z]\) is almost surely exponentially large; in fact, by assumption \(\ln Z = N( q +o(1) ) \) with \(q >(2a)^{-1} E^2\). Thus, a Borel-Cantelli argument yields almost surely
which completes proof using the expression for \({\mathbb {E}\,}[N(E)|Z]\). \(\square \)
Based on Lemma 1, we may now establish a variational expression for the limiting pressure of the n-level GREM in a random magnetic field.
Lemma 2
For any \(\beta \ge 0\) and any absolutely integrable random variable \(\mathfrak {h}\) the pressure \(\varPhi _N(\beta ,\mathfrak {h})\) converges almost surely and its limit is given by
Proof
By elementary estimates it follows that
for any \((\pmb {E},\pmb {y})\), which in view of Lemma 1 implies almost surely
To obtain an asymptotic upper bound we use a discretization argument. We set \(\alpha {:}{=}\max _{i=1,\ldots ,n} a_i\) and define the compact box
One easily sees that almost surely no configuration \((\pmb {E},\pmb {y})\) outside of F contributes to the limit (51) of the pressure. To simplify the notation, we assume in the following that this holds true for any N. Thus, it suffices to consider configurations in F on which we set the grid
with \(K \in {\mathbb {N}}\). We pick \(\epsilon > 0\) arbitrary and choose \(K=K_\epsilon \) such that \(\max \{{\mathbb {E}\,}[\mathfrak {h}]+1,\sqrt{2\alpha \ln 2}+1\} < \epsilon K_\epsilon \). Then, the \(\epsilon \)-neighborhoods of the grid points in \(F_K\) cover the box F and therefore
Let us now observe three points. First, if \(E_j\) or \(y_j\) is negative for some j we may replace this value by 0 without changing the number \(N(\pmb {E},\pmb {y})\) on an exponential scale. This is just a consequence of symmetry and the LDP satisfied by \(h_j\) and the Gaussian vectors X. Secondly, without loss of generality we may assume that there are no grid points on the boundary of \(\mathcal {C}\). Moreover, if \((\pmb {E},\pmb {y}) \notin \bar{\mathcal {C}}\), the corresponding term gives no contribution to the limit of \(\varPhi _N\) by (48). Thirdly, the entropy factor corresponding to the summation over the grid points does not depend on N and is thus irrelevant after taking the limit. Summarizing these points, we conclude almost surely
which completes the proof as \(\epsilon > 0\) was chosen arbitrarily. \(\square \)
It remains to solve the variational problem (51) which is the last part in the proof of Theorem 3. Note that one may replace the \(\sup \) on \(\mathcal {C}\) by a maximum on \(\bar{\mathcal {C}}\) as the involved expressions possess continuous extensions to \(\bar{\mathcal {C}}\).
Proof of Theorem 3
We proceed via induction on m, the number of linear segments of the concave hull \(\bar{A}\). If \(m = 1\), the variational problem consists of 2n independent optimization problems which can be easily solved. This leads to
To obtain the expression for \(y_j\), it is helpful to note that the rate function I is the Legendre transform of \({\mathbb {E}\,}[\ln \cosh (\beta \mathfrak {h})]\). The maximum is attained when \(\xi _j(y_j) = y_j/(x_j-x_{j-1}) \) equals the derivative of \({\mathbb {E}\,}[\ln \cosh (\beta \mathfrak {h})]\) with respect to \(\beta \). We see that if \(\beta \) is small enough, all constraints are fulfilled and the maximum is given by
Since in the unconstrained variational problem the optimal value \(E_j\) is unbounded as \(\beta \) increases, the above considerations will hold true up to some critical value \(\beta _c\), where the first constraining inequality is not satisfied, i.e., the maximum is located at the boundary of \(\mathcal {C}\). Due to the structure of the optimal \((\pmb {E},\pmb {y})\) in the unconstrained setting, this needs to be the inequality corresponding to the highest slope \((a_1+\cdots +a_k)/x_k\) which is attained at \(k = n\) since \(m = 1\). If we denote the optimal configuration of the unconstrained problem at \(\beta _c\) by \((\pmb {E}^c,\pmb {y}^c)\) we thus have
From there, one obtains after some algebra the self-consistency equation for \(\beta _c\):
Furthermore,
which is clearly still a valid identity for \(\beta > \beta _c\). We conclude that \(\varPhi \) becomes a linear function of \(\beta \) for \(\beta > \beta _c\) and the slope agrees with the derivative of \(\varPhi \) at \(\beta _c\), i.e.
This is exactly the statement of Theorem 3 in the case \(m =1\).
Now, suppose that the assertions are true for some m, and we want to show that it is still the case for \(m+1\). Let us write \(\pmb {E}_{<m},\pmb {E}_{>m}, \pmb {y}_{<m}\) and \(\pmb {y}_{>m}\), where the vectors denote the energy configurations corresponding to the first m segments and the last segment, respectively. Similarly, we set \(\mathcal {C}_m\) the set of the constraints related to the first m segments. If we only demand that the energy configuration \((\pmb {E}_{<m},\pmb {y}_{<m})\) satisfy the constraints \(\mathcal {C}_m\), then using the induction hypothesis and the analysis of the case \(m=1\), we end up with the expression
for the limit of the pressure, where \(I_{m+1}\) denotes the last segment. This is indeed a solution if \(\beta \le \beta ^{(m)}_c\), since the remaining constraints are also verified by the m-level solution \((\pmb {E}_{<m},\pmb {y}_{<m})\) and the unconstrained solution \((\pmb {E}_{>m},\pmb {y}_{>m})\) due to the concave-hull structure. We note that for \(\beta > \beta ^{(m)}_c\), we only need to consider the n-th inequality (for the same reason as in the case \(m =1\)) which then may be rewritten as
Thus, the situation is analogous to the case \(m=1\) and the same arguments lead to the expression for \(\beta _c^{(m+1)}\) and the pressure \(\varPhi \) if \(\beta > \beta _c^{(m+1)}\). \(\square \)
3.2 From GREM to QGREM: Application of the Peeling Principle
We now consider the QGREM with a random magnetic field in z-direction as in Theorem 1.
Theorem 4
Let \(U(\pmb {\sigma })\) be a GREM process as in (37), \(\beta \ge 0\) and \(\mathfrak {h},\mathfrak {b}\) absolutely integrable random variables. Then, almost surely
Here, the empty sum is interpreted to be zero.
Proof
We recall the definition of the cut GREM \( U^{(x_k)} := U^{(0,x_k)}\) which may be represented as
The peeling principle [22, Theorem 2.3] implies that for any \(0 \le k \le m\) either the Gaussians \(X_{\pmb {\sigma }_1\pmb {\sigma }_2\cdots \pmb {\sigma }_k}\) or the partial magnetic field \(B^{(1,x_k)}\) contribute to the specific pressure (for a detailed discussion see Sect. 2 in [22, Theorem 2.3]). An iterative application of the peeling principle yields
see also the proof of [22, Corollary 2.7] for a more precise execution of this method. The cut-magnetic field \(B^{(2,x_k)}\) was defined in (31). We naturally split the longitudinal field,
and apply Theorem 3 to the Hamiltonian \(H^{(x_k)} {:}{=}U^{(x_k)} - h^{(1,x_k)}\). Together with the strong law of large numbers for \( h^{(2,x_k)}(\pmb {\sigma }_{k+1} \cdots \pmb {\sigma }_n )+ B^{(2,x_k)}\). Thus we arrive at
where \(\varPhi ^{(x_k)}(\beta ,\mathfrak {h})\) denotes the limit of the pressure of the Hamiltonian \(H^{(x_k)}\) restricted to the Hilbert space of subgraph \(\mathcal {Q}_{\lceil x_k N \rceil }\) spanned by \(\pmb {\sigma }_1 \cdots \pmb {\sigma }_k\). (Note that for \(H^{(x_k)}\) on the total graph \(\mathcal {Q}_N\) the resulting pressure is \(\varPhi ^{(x_k)}(\beta ,\mathfrak {h}) + (1-x_k) \ln 2\).)
If the cut point coincides with and endpoint of the concave hull. i.e. \(x_k = y_j\) for some j, we have
Thus, it only remains to show that the maximum in (53) is attained at some \(y_l\). We follow the comparison argument presented in the proof of [22, Lemma 3.1]. If \(\{ x_0,\ldots , x_n \} = \{ y_0,\ldots , y_m \}\), the assertion is trivial. So, let \(y_l< x_k < y_{l+1}\). We recall that distribution function \(A^{(x_k)}\) associated with \(U^{(x_k)}\) is given by
We introduce the Gaussian processes Y and Z of GREM type with the distribution functions
which shall be independent of the weights \((h_i)\) After conditioning on the random weights \((h_i)\), Slepian’s lemma (cf. [6]) and the independence of \((h_i)\) and the GREM processes imply:
For the second inequality, we recall that A is majorized by its concave hull \(\bar{A}\) and agrees with \(\bar{A}\) at \(y_l\) and \(y_{l+1}\):
Since the pressure is an increasing function of the jump heights (cf. (38)), we hence arrive at the second bound in (54). The resulting pressure is computed easily in terms of the partial pressures (38) corresponding to A:
Using the abbreviation \(p(\beta ,\mathfrak {h},\mathfrak {b}) {:}{=}{\mathbb {E}\,}[\ln 2 \cosh (\beta \sqrt{ \mathfrak {b}^2+\mathfrak {h}^2})]\) we thus conclude
Depending on the sign of the term in the last bracket, we have
or the sum on the right side runs to \( l+1 \) and \( y_l \) is replaced by \( y_{l+1} \).
Consequently, the maximal pressure is indeed attained at some \(y_l\). \(\square \)
3.3 Finishing the Proof: The Interpolation Argument
Finally, we will lift Theorem 4 to the case of a general QGREM. The idea is to show that the left and right side of (7) are continuous with respect to the distribution function A and the uniform norm. We start with the continuity of the right side, i.e., spelling out explicitly the A-dependence of quantities for the moment, we need to show that
is continuous in A. We recall that the density is given by
where the critical temperature \(\beta _c(A,x)\) is the unique positive solution of the self-consistency equation
Lemma 3
Let \(\beta \ge 0\) and \(\mathfrak {b},\mathfrak {h}\) be absolutely integrable random variables. Moreover, let \((A_n)_{n \in {\mathbb {N}}}\), A be distribution functions on [0, 1] such that \(A_n\) converges uniformly to A. Then,
Proof
It suffices to show that
We first prove that the integrand converges almost everywhere (with respect to the Lebesgue measure and x) to zero. One easily sees that the concave hulls \(\bar{A}_n\) converge uniformly to \(\bar{A}\) and the right derivatives \(\bar{a}_n(x)\) converge to \(\bar{a}(x)\) at any x, where \(\bar{a}(x)\) is continuous (cf. the proof of Lemma 3.3 in [22]). Since \(\bar{A}\) is concave, this ensures that \(\bar{a}_n(x)\) converge almost everywhere to \(\bar{a}(x)\). Next, we observe that \(\beta _c(x,A)\) is a continuous function of \(\bar{a}(x)\) by the implicit function theorem and, thus, \(\beta _c(x,A_n)\) converges almost everywhere to \(\beta _c(x,A)\). This implies that \(\varphi (\beta ,\mathfrak {h},A_n,x)\) converges almost everywhere. Now we pick some \(\delta >0\) and note that the sequence \(\varphi (\beta ,\mathfrak {h},A_n,x)\) is uniformly bounded due to the general bound
and the monotonicity of the derivatives \(\bar{a}_n(x)\). We conclude that for any \(\delta > 0\),
Using the above bound on \([0,\delta ]\), we obtain
which vanishes if we take the limit \(n \rightarrow \infty \) and then \(\delta \rightarrow 0\). \(\square \)
We turn to the interpolation argument for the left side in (7). Let \(U,U^\prime \) be two GREM processes with distribution functions A, \(A^\prime \) and pressures \(\varPhi (\beta ,\mathfrak {h},\mathfrak {b},A)\), \(\varPhi (\beta ,\mathfrak {h},\mathfrak {b},A^\prime )\). From [22, Equation (2.16)] we conclude
The Gaussian concentration inequality (cf. [22, Proposition 2.9]) guarantees the almost-sure convergence
We are ready to finish the proof of Theorem 1:
Proof of Theorem 1
We fix \(\beta \ge 0\) and absolutely integrable random variables \(\mathfrak {b},\mathfrak {h}\) and use the shorthand notations \(\varPhi (A) {:}{=}\varPhi (\beta ,\mathfrak {h},\mathfrak {b},A)\). Let U be a GREM process with distribution function A. We pick some \(\epsilon > 0\) and an finite-level GREM \(U^\prime \) with distribution function \(A^\prime \) such that \(\Vert A - A^\prime \Vert _{\infty } \le \epsilon \) and \( |\varPhi (A) = \varPhi (A^\prime )| \le \epsilon \). This is possible thanks to Lemma 3. We then obtain
The final line follows from our preparatory estimate (56) and Theorem 4, which coincides with Theorem 1 for an n-level GREM. Since \(\epsilon > 0\) is arbitrary, this proves (7).
The remaining assertions now follow easily: \(\varphi (\beta ,\mathfrak {h},x)\) is clearly an increasing function of \(\bar{a}(X)\) which in turn is decreasing in x. Thus, \(\varphi (\beta ,\mathfrak {h},x)\) is a decreasing function of x. Similarly, the critical inverse temperature \(\beta _c(x)\) is increasing as it is a decreasing function of \(\bar{a}(x)\). Finally, the fact that \(\varphi (\beta ,\mathfrak {h},x)\) is increasing and convex in \(\beta \) directly follows from (8). \(\square \)
References
Adhikari, A., Brennecke, C.: Free energy of the quantum Sherrington–Kirkpatrick spin-glass model with transverse field. J. Math. Phys. 61, 083302 (2020)
Adhikari, A., Brennecke, C., von Soosten, P., Yau, H.-T.: Dynamical approach to the TAP equations for the Sherrington–Kirkpatrick model. J. Stat. Phys. 183, 35 (2021)
Aizenman, M., Sims, R., Starr, S.L.: Extended variational principle for the Sherrington–Kirkpatrick spin-glass model. Phys. Rev. B 68, 214403 (2003)
Arguin, L.P., Kistler, N.: Microcanonical analysis of the random energy model in a random magnetic field. J. Stat. Phys. 157, 1–16 (2014)
Arguin, L.P., Persechino, R.: The Free Energy of the GREM with random magnetic field. In: Gayrard, V., Arguin, L.P., Kistler, N., Kourkova, I. (eds.) Statistical Mechanics of Classical and Disordered Systems. StaMeClaDys 2018. Springer Proceedings in Mathematics & Statistics, vol. 293. pp. 37–61. Springer, Berlin (2019)
Bovier, A.: Statistical Mechanics of Disordered Systems. A Mathematical Perspective. Cambridge University Press, Cambridge (2012)
Bovier, A., Klimovsky, A.: Fluctuations of the partition function in the generalized random energy model with external field. J. Math. Phys. 49, 125202, 27 (2008)
Bovier, A., Kurkova, I.: Derrida’s generalised random energy models. I. Models with finitely many hierarchies. Ann. Inst. H. Poincaré Probab. Stat. 40, 439–480 (2004)
Crawford, N.: Thermodynamics and universality for mean field quantum spin glasses. Commun. Math. Phys. 274, 821–839 (2007)
de Almeida, J.R.L., Thouless, D.J.: Stability of the Sherrington–Kirkpatrick solution of a spin glass model. J. Phys. A Math. Gen. 11, 983–990 (1978)
Dembo, A., Zeitouni, O.: Large Deviations Techniques and Applications. Springer, New York (2010)
Derrida, B.: A generalization of the random energy model that includes correlations between the energies. J. Phys. Lett. 46, 401–407 (1985)
Derrida, B., Gardner, E.: Solution of the generalized random energy model. J. Phys. C 19, 2253–2274 (1986)
Derrida, B., Gardner, E.: Magnetic properties and function q(x) of the generalised random energy model. J. Phys. C 19, 5783–5798 (1986)
Goldschmidt, Y.Y.: Solvable model of the quantum spin glass in a transverse field. Phys. Rev. B 41, 4858 (1990)
Guerra, F.: Broken replica symmetry bounds in the mean field spin glass model. Commun. Math. Phys. 23, 1–12 (2003)
Huse, D.A., Miller, J.: Zero-temperature critical behavior of the infinite-range quantum Ising spin glass. Phys. Rev. Lett. 70, 3147–3150 (1993)
Leschke, H., Rothlauf, S., Ruder, R., Spitzer, W.: The free energy of a quantum Sherrington–Kirkpatrick spin-glass model for weak disorder. J. Stat. Phys. 182, 55 (2021)
Leschke, H., Manai, C., Ruder, R., Warzel, S.: Existence of replica-symmetry breaking in quantum glasses. Phys. Rev. Lett. 127, 207204 (2021)
Manai, C., Warzel, S.: Phase diagram of the quantum random energy model. J. Stat Phys. 80, 654–664 (2020)
Manai, C., Warzel, S.: The quantum random energy model as a limit of p-spin interactions. Rev. Math. Phys. 33, 2060013 (2021)
Manai, C., Warzel, S.: Generalized random energy models in a transversal magnetic field: free energy and phase diagrams. Preprint. arXiv: 2007.03290 To appear in Probability and Mathematical Physics
Mezard, M., Parisi, G., Virasoro, M.: Spin Glass Theory and Beyond. World Scientific, Singapore (1986)
Obuchi, T., Nishimori, H., Sherrington, D.: Phase diagram of the p-spin-interacting spin glass with ferromagnetic bias and a transverse field in the infinite-p limit. J. Phys. Soc. Jpn. 76, 054002 (2007)
Panchenko, D.: The Sherrington–Kirkpatrick model. Springer, New York (2013)
Robinson, D.W.: Statistical mechanics of quantum spin systems. Commun. Math. Phys. 6, 151–160 (1967)
Ruelle, D.: A mathematical formulation of Derrida’s REM and GREM. Commun. Math. Phys. 108, 225–237 (1987)
Suzuki, S., Inoue, J., Chakrabarti, B.K.: Quantum Ising Phases and Transitions in Transverse Ising Models, 2nd edn. Springer, Berlin (2013)
Talagrand, M.: The Parisi formula. Ann. Math. 163, 221–263 (2006)
Talagrand, M.: Mean Field Models for Spin Glasses, vols. I+II. Springer, Berlin (2011)
Toninelli, F.L.: About the Almeida-Thouless transition line in the Sherrington-Kirkpatrick mean-field spin glass model. Europhys. Lett. 60, 764–767 (2002)
Usadel, K.D., Schmitz, B.: Quantum fluctuations in an Ising spin glass with transverse field. Solid State Commun. 64, 975–977 (1987)
Yamamoto, T., Ishii, H.: A perturbation expansion for the Sherrington–Kirkpatrick model with a transverse field. J. Phys. C 20, 6053–6061 (1987)
Young, A.P.: Stability of the quantum Sherrington–Kirkpatrick spin glass model. Phys. Rev. E 96, 032112 (2017)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Bernard Derrida.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was supported by the DFG under EXC-2111 – 390814868.
Appendices
Appendix A: Proof of Corollary 1 and Proposition 1
We start with the straightforward proof of Corollary 1:
Proof of Corollary 1
To apply Theorem 1, we note that in the case of the QREM we have \(\varphi (\beta ,h,x) = \varPhi ^{\mathrm {REM}}(\beta ,h)\) for any x. So, we directly obtain (10). It remains to show that the self-consistency equation
which get from Theorem 1 is equivalent to (12), i.e. \( \beta _c(h)^2 = 2 r(\tanh (\beta _c(h)h)) \). This follows from the elementary computation
for any \(x \in {\mathbb {R}}\). \(\square \)
The proof of Proposition 1 is based on multiple elementary, but quite lengthy, computations.
Proof of Proposition 1
-
1.
The defining equation (12) immediately implies that \(\beta _c(h)\) is a strictly decreasing function. The Taylor expansions \(r(y) = \ln 2 - y^2/2 + \mathcal {O}(y^4))\) and \(\tanh (y) = y + \mathcal {O}(y^2)\) yield for small \(h > 0\)
$$\begin{aligned} \frac{1}{2} \beta _c(h)^2 = \ln 2 - \frac{(\beta _c(h)h)^2}{2} + \mathcal {O}(h^4), \end{aligned}$$which in turn leads to the Taylor expansion of \(\beta _c(h)\) in the small field limit. By inspection of (12) as \(h \rightarrow \infty \), the critical inverse temperature \(\beta _c(h)\) tends to zero, but we still have that \(h \beta _c(h) \rightarrow \infty \). Moreover, we recall that \( \tanh (y) = 1- 2 e^{-2y} + \mathcal {O}(e^{-4y}) \) for large y and \( r(1-x) = \frac{1}{2} x \ln (1/x) + \mathcal {O}(x) \) for small x. After some algebra, we arrive at the asymptotic equation \( 2 \beta _c(h) h e^{2 \beta _c(h) h} = 8 h^2+ \mathcal {O}(h) \). In particular,
$$\begin{aligned} \lim _{h \rightarrow \infty } \frac{2 \beta _c(h) h}{W(8h^2)} = \lim _{h \rightarrow \infty } \frac{ \beta _c(h) h}{\ln h} =1, \end{aligned}$$where W denotes Lambert W-function.
-
2.
We first consider the high temperature limit. For small \(\beta > 0\) a Taylor expansion yields
$$\begin{aligned} {\text {arcosh}}\left( \frac{1}{2} \exp (\varPhi ^{\mathrm {REM}}(\beta ,h))\right)= & {} {\text {arcosh}}\left( 1+ \frac{1}{2} \beta ^2(1+h^2) + \mathcal {O}(\beta ^4) \right) \\= & {} \sqrt{1+h^2}\beta + \mathcal {O}(\beta ^2), \end{aligned}$$from which we conclude \(\varGamma _c(0,h) = 1\). As the term \({\text {arcosh}}\left( \frac{1}{2} \exp (\varPhi ^{\mathrm {REM}}(\beta ,h))\right) /\beta \) converges to the absolute value of the ground state energy as \(\beta \rightarrow \infty \), we obtain the claim concerning the low temperature limit.
-
3.
Let us fix some \(\beta >0\). We show that
$$\begin{aligned} g(h) = {\text {arcosh}}\left( \frac{1}{2} \exp (\varPhi ^{\mathrm {REM}}(\beta ,h))\right) ^2 - \beta ^2 h^2 \end{aligned}$$is strictly increasing which is equivalent to the monotonicity of \(\varGamma _c(\beta ,h)\). We compute the derivative for \(h > 0\)
$$\begin{aligned} \begin{aligned} g^\prime (h)&= 2 {\text {arcosh}}\left( \frac{1}{2} \exp (\varPhi ^{\mathrm {REM}}(\beta ,h))\right) \frac{\frac{1}{2} e^{\varPhi ^{\mathrm {REM}}(\beta ,h)}}{\sqrt{\frac{1}{4} e^{2\varPhi ^{\mathrm {REM}}(\beta ,h)}-1}} \frac{\partial \varPhi ^{\mathrm {REM}}(\beta ,h)}{\partial h} - 2 \beta ^2 h \\&= 2 \beta \left( {\text {arcosh}}\left( \frac{1}{2} \exp (\varPhi ^{\mathrm {REM}}(\beta ,h))\right) \frac{\tanh (\min \{\beta ,\beta _c(h) \} h)}{\tanh ({\text {arcosh}}(1/2\exp (\varPhi ^{\mathrm {REM}}(\beta ,h))))} - \beta h \right) \end{aligned} \end{aligned}$$We first note that \(y/\tanh (y)\) is an increasing function. In the case \(\beta \le \beta _c(h)\) we further use that \(1/2\exp (\varPhi ^{\mathrm {REM}}(\beta ,h)) > \cosh (\beta h) \). Hence \(g'(h) > 0\) is an easy consequence of these observations for \(\beta \le \beta _c\). On the other hand, if \(\beta > \beta _c\) we use the convexity of
$$\begin{aligned} \eta (y) {:}{=}\frac{{\text {arcosh}}(e^y)}{\tanh ({\text {arcosh}}(e^y))}, \end{aligned}$$from which we obtain
$$\begin{aligned} \frac{{\text {arcosh}}(\frac{1}{2} \exp (\varPhi ^{\mathrm {REM}}(\beta ,h)) }{\tanh ({\text {arcosh}}(1/2\exp (\varPhi ^{\mathrm {REM}}(\beta ,h))))} > \frac{\beta h}{\tanh (\beta _c(h)h)} \end{aligned}$$as the left half side is a convex function of \(\beta \) and the inequality holds true for \(\beta = \beta _c(h)\).
Finally, we want to show the asymptotic formula for \(\varGamma _c(\beta ,h)\). Since \(\beta _c(h)\) tends to zero, we only need to consider the ”frozen” expression for \(\varPhi ^{\mathrm {REM}}(\beta ,h)\). Neglecting terms of subleading order, we may write after some manipulations
We recall that \( 1- \tanh (\beta _c(h)h) \simeq 2 e^{-2 \beta _c(h)h} = \frac{4 \beta _c h}{2 \beta _c he^{2 \beta _c(h)h} } \simeq \frac{\beta _c}{2h} \), where the last equality follows from the proof of part 1. Combining these asymptotic formulas, we arrive at \( \lim _{h \rightarrow \infty } \frac{\varGamma (\beta ,h)}{\sqrt{h \beta _c(h)}} = 1 \). \(\square \)
Appendix B: Proof of Proposition 2 and Corollary 2
In this section, we sketch the computations which lead to the results in Proposition 2 and Corollary 2.
Proof of Proposition 2
-
1.
Let us first recall that \(\bar{a}(x)\) is a continuous decreasing function from which it follows that \( x(\beta ) = \sup \{x|\,\bar{a}(x) > (2 \ln 2)/\beta ^2 \} \) is well defined for \(\beta > \beta _c(0) = \sqrt{2 \ln 2/ \bar{a}(0)}\) and increasing in \(\beta \). Since k is a decreasing function, we see that \(\beta _c(h)\) defined in (25) is an increasing function.
To discuss the limiting value \(h \rightarrow 0\), we observe that \( \lim _{h \rightarrow 0} k(2 \ln 2/(\beta _c(h)h)) = 0 \). Since \( \bar{a} \) is continuous, \(\lim _{\beta \rightarrow \beta _c} x(\beta ) = 0 \) from which we conclude \(\lim _{h \rightarrow 0} \beta _c(h) = \beta _c(0)\). Using Assumption 1 we see that
$$\begin{aligned} x(\beta ) \propto (\beta -\beta _c)^{1/\alpha }. \end{aligned}$$A direct calculation shows \( k(x) \propto x^{-2} \) for large x. We thus arrive at \( \beta _c(h) - \beta _c(0) \propto h^{2 \alpha } \), and \(T_c - T_c(h) \propto h^{2 \alpha }\).
For the limit \(h \rightarrow \infty \), we first consider the case \(\bar{a}(1) > 0\). Then, \(x(\beta )\) approaches 1 as \(\beta \rightarrow \beta _c(\infty ) {:}{=}\sqrt{2 \ln 2/ \bar{a}(1)}\) and
$$\begin{aligned} \lim _{h \rightarrow \infty } k(2 \ln 2/(\beta _c(h)h)) = 0. \end{aligned}$$Consequently, \(\lim _{h \rightarrow \infty } \beta _c(h) = \beta _c(\infty )\). Similarly, if \(\bar{a}(1) = 0\), \(x(\beta )\) approaches 1 as \(\beta \rightarrow \infty \) and we have \(\lim _{h \rightarrow \infty } \beta _c(h) = \infty \).
-
2.a
The continuity of \(y(\beta ,h)\) follows from the fact that it is a solution of a continuous implicit equation. Moreover, as \(\phi (\beta ,y)\) is decreasing in y and k is a decreasing function,too, it follows from (24) that \(y(\beta ,h)\) is increasing in h. As in part 1., one easily sees that
$$\begin{aligned} \lim _{h \rightarrow 0} k(\varphi (\beta ,y(\beta ,h))/(\beta h)) = 0 \quad \text {and} \quad \lim _{h \rightarrow \infty } k(\varphi (\beta ,y(\beta ,h))/(\beta h)) = 1, \end{aligned}$$which in turn implies \( \lim _{h \rightarrow 0} y(\beta ,h) = 0 \) and \( \lim _{h \rightarrow \infty } y(\beta ,h) =1 \).
For the Taylor expansion, we use the fact that
$$\begin{aligned} k(1/x) = \frac{\ln 2}{2} x^2 + \mathcal {O}(x^4). \end{aligned}$$Consequently, we have
$$\begin{aligned} y(\beta ,h) = \frac{\ln 2}{2} \left( \frac{\beta h}{\varphi (\beta ,y(\beta ,h))}\right) ^2 + \mathcal {O}(h^4) = \frac{\ln 2}{2} \left( \frac{\beta h}{\varphi (\beta ,0)}\right) ^2 + \mathcal {O}(h^4). \end{aligned}$$Recalling that
$$\begin{aligned} \varphi (\beta ,0) = {\left\{ \begin{array}{ll} \frac{\beta ^2}{\ln 2 \beta _c^2} + \ln 2 &{} \beta < \beta _c, \\ \frac{2 \ln 2 \beta }{\beta _c} &{} \beta \ge \beta _c, \end{array}\right. } \end{aligned}$$we arrive at (27).
-
2.b
Both assertions follow immediately from part 2a) and the fact that \(\varphi (\beta ,x)\) is continuous and decreasing in x. \(\square \)
Finally, we present the proof of Corollary 2:
Proof of Corollary 2
The limit of the pressure is given by
It follows that if \(y(\beta ,h) < z(\beta ,\varGamma )\), then \(y(\beta ,h)\) and \(z(\beta ,\varGamma )\) remain the maximizer for this more general problem. We see that this holds true if and only if \( p(\beta \varGamma ) < \varphi (\beta ,y(\beta ,h))\) and the pressure is then given by
Otherwise we have \(y(\beta ,h) \ge z(\beta ,\varGamma )\) and, consequently, the corresponding maximizer satisfy \(y^{\star }= z^{\star }\), i.e.
Differentiating with respect to y yields the maximizer
since k was defined to be the inverse of \(\gamma ^\prime \). This completes the proof. \(\square \)
Rights and permissions
Open Access 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/.
About this article
Cite this article
Manai, C., Warzel, S. The de Almeida–Thouless Line in Hierarchical Quantum Spin Glasses. J Stat Phys 186, 14 (2022). https://doi.org/10.1007/s10955-021-02860-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10955-021-02860-9