1. Introduction
Spin Glasses models originated in statistical physics, as a typical example of highly complex disordered systems, are very interesting and have an extremely wide range of applications. Therefore, they have always been favored by people for a long time. In the 1970s, in order to study the spin glasses, two very important mathematical models were proposed successively, namely EA model and SK model. The spin glasses question is so interesting to a large extent because neither model is easy to navigate. The EA model is a stochastic version of the classical Ising model, which is a lattice spin system. The SK model was proposed as a mean field model for spin glasses by [
1] in 1975. Compared to the SK model, the EA model is more difficult to deal with, and we need to master the method based on numerical simulation for this model. Therefore, we consider the SK model simplification of the EA model in which all spins interact and, thus, the lattice is replaced by a complete graph on
N sites in this paper.
Over the past several decades, the SK model has attracted much attention from physics and mathematics, including [
2,
3,
4,
5,
6]. Many excellent results have also been achieved. For example, the Replica Symmetry Breaking method proposed by [
3] can give the exact solution of the SK model according to this theory, the SK model has been solved in a certain sense. In the process of solving the problem, some unconventional material concepts are proposed, moreover, the thermodynamic limit of the SK model also requires a very complex structure to describe.
In the late 1980s, mathematicians began to use strict mathematical methods to explore the SK model. In particular, many mathematical conclusions about the SK model have been proved continuously. The work of [
7] and the systematic programmes invented by Guerra and Talagrand all started at that time. In the following decades, scholars continued to pay attention to the SK model. [
8] used Brownian motion instead of Gaussian orbit for the first time to study the mean-field SK model of Spin Glasses by means of stochastic analysis, which simplified the complex calculation and obtained the relevant asymptotic results. [
4] gave variational upper bounds on the free energy. Under some conditions on the overlap function, [
9] contributed to the entirely rigorous account of the original formulae proposed by [
3], and in the special case of the inverse temperature parameter
, one can usually prove that the formula of the limiting free energy. [
10,
11] utilized the ideas and methods of [
9] to study the local behavior of the free energy. [
12] considered the results of the limiting free energy of the SK model, proved the existence and uniqueness of the free energy, and gave an upper bound of the free energy of the SK model. This is consistent with the conclusion of [
3], and it is the first time that this important result has been linked to a rigorous mathematical result. Later, [
13] extended this method and obtained some results on the free energy of the SK model. [
14,
15] discussed the exponential inequality and symmetry breaking theory of SK model. Less than a year later, [
9] announced that he could prove a corresponding lower bound on the free energy of the SK model. Up to this point, Parisi’s solution to the SK model has been mathematically proved perfectly and rigorously. [
16] considered central limit theorems for macroscopic observables of the model.
Recently, [
17] has studied the fluctuations of the free energy of the two-spin spherical SK model at critical temperature
. For more details on free energy in this field, see [
18,
19,
20]. However, in the existing literature, most of the above studies on the SK model are based on the results of free energy. In this note, instead of considering the free energy of the SK model, we focus on the dependence structure of Hamiltonians of the SK model. In other words, the algebraic properties of Hamiltonians function of the SK model are studied. We examine the covariance matrix of Hamiltonians of the SK model, the relationship between the rank of the corresponding covariance matrix and the dimension of the space spanned by Hamiltonians is also established.
The rest of this paper is organized as follows. In
Section 2, we describe the definition of the SK model and some notations.
Section 3 is our main results. We examine the covariance matrix of Hamiltonians of the SK model, and build a relationship between its rank and the dimension of the space spanned by the Hamiltonians. We also obtain an upper bound for the rank of the covariance matrix, which might be the best.
2. Definition of the SK Model and Notations
In this section, we describe some details about the SK model, including its Hamiltonian fuction and some basic conclusions of the SK model.
Throughout the paper, we assume that is a given probability space with being the expectation with respect to , is a sequence of independent standard Gaussian random variables on probability space , where N is a given positive integer.
Consider the space of configurations
. A configuration
is a vector
of spins
that values
. The SK model without an "external field" is defined on spin configurations, and its Hamiltonians are given by
where the normalization by
is introduced to keep the typical energy per spin of order 1, and can be viewed as a tuning of the interaction strength.
We denote by the set of Hamiltonians. Obviously, , where denotes the cardinaliy of . To simplify notation, we write in the following.
Accordingly, the partition function of the SK model is defined as
where
is inversion temperature parameter.
For any configuration
,
is a random variable, and indeed a centered Gaussian one. Thus, given two configurations
and
, their covariance is given by
where
and
.
3. Main Results
For convenience, we endow these configurations with the natural order. For instance, when
, the configurations can be listed in the natural order as:
Similarly, when
, the configurations can be listed in the natural order as:
When
, the configurations can be listed in the natural order as:
Therefore, under the natural order, the m configurations are listed uniquely and we write . Accordingly, the set of these Hamiltonians is denoted by , where is the kth Hamiltonian.
We can compute their covariances by using equations
2 and
3, and then we get a covariance matrix denoted by
where
.
3.1. Algebraic Properties of the Covariance Matrix
In the following, we write to denote the rank of C as a matrix. The next proposition shows that the rank has nothing to do with the choice of order for configurations .
Proposition 1 Let be the set of Hamiltonians and be the covariance matrix. Then the rank of C does not depend on the choice of order for configurations .
Proof. Give an order, accordingly, we obtain a covariance matrix. Thus, for two different orders, we can get two covariance matrices denoted by and , respectively. However, we can obtain by exchanging rows and columns of , which is an elementary transformation of matrix that doesn’t change its rank. Therefore, the rank of the covariance matrix does not depend on the order of configurations. So it proves that . □
In the following, we always use the natural order for configurations .
Definition 1 A collection of random variables
are called linearly dependent if there exist some real numbers
with
for some
such that
The next proposition gives a relationship between the rank of the covariance matrix C and the dimension of the space spanned by the Hamiltonians.
Proposition 2 Let be the space spanned by the set of the Hamiltonians of the SK model and be the covariance matrix. Then the rank .
Proof. For Hamiltonians
, we write
Here, as mentioned above, . We can show that are linearly dependent if and only if are linearly dependent in .
In fact, if are linearly dependent, then there exist real numbers with for some such that almost surely.
Thus
which means
are linearly dependent.
Conversely, if
are linearly dependent, then there exist a set of real numbers
with
for some
such that
, namely
which implies
. Thus
almost surely.
Without loss of generality, we may assume that form a maximally linearly independent set of , which implies that . By using the previous conclusion, we see that also form a maximally linearly independent set of , which means . Thus . This completes the proof. □
Our next result concerns an upper bound for the rank of the covariance matrix C of the Hamiltonians in the SK model.
Theorem 1 Let be the set of Hamiltonians and be the covariance matrix. Then .
Proof. Here, as denoted above,
denotes the space spanned by the set
. We denote by
the space spanned by
. It is easy to see that
On the other hand, the dimension of
as a subspace of
just equals to
, namely
Combining
5 with
6, we get
which, together with Proposition 2, gives
This completes the proof. □
3.2. Some Special Cases
In this subsection, we give some further discussions about the rank of the covariance matrix of Hamiltonians of the SK model. To do this, let us consider the following special cases.
Example 1 Let
. Then the corresponding covariance matrix is
It is easy to see that . Note that in this case.
So we have for .
Example 2 Let
. Then the corresponding covariance matrix reads
By computing, we can get . Note also that in this case.
So we again have for .
Example 3 Let
. Then we can work out the corresponding covariance matrix as follows.
By calculating, we can get .
Similarly we have in this case.
4. Conclusion Remark
In the present paper, we have investigated the dependence structure of Hamiltonians in the SK model, and establish the relationship between the rank of the covariance matrix and the dimension of the space spanned by the Hamiltonians. As is seen in the above, for special cases when , 3 and 4, it holds that . In view of this, our result that may give the best upper bound for the rank of the covariance matrix of the Hamiltonians of the SK model.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Sherrington, D.; Kirkpatrick, S. Solvable model of a spin-glass. Physical review letters 1975, 35, 1792. [Google Scholar] [CrossRef]
- Aizenman, M.; Lebowitz, J.L.; Ruelle, D. Some rigorous results on the Sherrington-Kirkpatrick spin glass model. Communications in mathematical physics 1987, 112, 3–20. [Google Scholar] [CrossRef]
- Parisi, G. Order parameter for spin-glasses. Physical Review Letters 1983, 50, 1946. [Google Scholar] [CrossRef]
- Aizenman, M.; Sims, R.; Starr, S.L. Extended variational principle for the Sherrington-Kirkpatrick spin-glass model. Physical Review B 2003, 68, 214403. [Google Scholar] [CrossRef]
- Talagrand, M. On the high temperature phase of the Sherrington-Kirkpatrick model. Annals of probability 2002, pp. 364–381. [CrossRef]
- Baik, J.; Lee, J.O. Fluctuations of the free energy of the spherical Sherrington–Kirkpatrick model. Journal of Statistical Physics 2016, 165, 185–224. [Google Scholar] [CrossRef]
- Pastur, L.; Shcherbina, M. Absence of self-averaging of the order parameter in the Sherrington-Kirkpatrick model. Journal of Statistical Physics 1991, 62, 1–19. [Google Scholar] [CrossRef]
- Comets, F.; Neveu, J. The Sherrington-Kirkpatrick model of spin glasses and stochastic calculus: The high temperature case. Communications in Mathematical Physics 1995, 166, 549–564. [Google Scholar] [CrossRef]
- Talagrand, M. The parisi formula. Annals of mathematics, 2006; 221–263. [Google Scholar] [CrossRef]
- Panchenko, D. Free energy in the Sherrington-Kirkpatrick model with constrained magnetization. arXiv preprint math/0405361 2008. [CrossRef]
- Panchenko, D. The Sherrington-Kirkpatrick model: An overview. Journal of Statistical Physics 2012, 149, 362–383. [Google Scholar] [CrossRef]
- Guerra, F.; Toninelli, F.L. The thermodynamic limit in mean field spin glass models. Communications in Mathematical Physics 2002, 230, 71–79. [Google Scholar] [CrossRef]
- Tindel, S. On the stochastic calculus method for spins systems. The Annals of Probability 2005, 33, 561–581. [Google Scholar] [CrossRef]
- Talagrand, M. Exponential inequalities and replica symmetry breaking for the Sherrington-Kirkpatrick model. Ann. Probab 2000, 28, 1018–1068. [Google Scholar] [CrossRef]
- Guerra, F. Broken replica symmetry bounds in the mean field spin glass model. Communications in mathematical physics 2003, 233, 1–12. [Google Scholar] [CrossRef]
- Chatterjee, S.; Crawford, N. Central limit theorems for the energy density in the Sherrington-Kirkpatrick model. Journal of Statistical Physics 2009, 137, 639–666. [Google Scholar] [CrossRef]
- Landon, B. Free energy fluctuations of the two-spin spherical SK model at critical temperature. Journal of Mathematical Physics 2022, 63, 033301. [Google Scholar] [CrossRef]
- Baik, J.; Collins-Woodfin, E.; Le Doussal, P.; Wu, H. Spherical spin glass model with external field. Journal of Statistical Physics 2021, 183, 1–79. [Google Scholar] [CrossRef]
- Chen, W.K.; Lam, W.K. Order of fluctuations of the free energy in the SK model at critical temperature. arXiv preprint arXiv:1901.10070 2019. arXiv:1901.10070 2019. [CrossRef]
- Johnstone, I.M.; Klochkov, Y.; Onatski, A.; Pavlyshyn, D. Spin glass to paramagnetic transition in spherical Sherrington-Kirkpatrick model with ferromagnetic interaction. arXiv preprint arXiv:2104.07629 2021. arXiv:2104.07629 2021. [CrossRef]
|
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).