[Paper Review] A note on the free energy of the coupled system in the Sherrington-Kirkpatrick model

Dmitry Panchenko|arXiv (Cornell University)|May 18, 2004

Geometric Analysis and Curvature Flows12 references3 citations

TL;DR

This paper establishes the existence of the thermodynamic limit of the free energy for a coupled system of two Sherrington-Kirkpatrick spin glass models with fixed overlap $ u_N \to u \in [-1,1] $, and derives an analogue of the Aizenman-Sims-Starr variational principle using random overlap structures. The result extends the variational characterization of free energy to coupled systems under exact overlap constraints via interpolation and approximation techniques.

ABSTRACT

In this paper we consider a system of spins that consists of two configurations $\vsi^1,\vsi^2\inΣ_N=\{-1,+1\}^N$ with Gaussian Hamiltonians $H_N^1(\vsi^1)$ and $H_N^2(\vsi^2)$ correspondingly, and these configurations are coupled on the set where their overlap is fixed $\{R_{1,2}=N^{-1}\sum_{i=1}^N σ_i^1σ_i^2 = u_N\}.$ We prove the existence of the thermodynamic limit of the free energy of this system given that $\lim_{N o\infty}u_N = u\in[-1,1]$ and give the analogue of the Aizenman-Sims-Starr variational principle that describes this limit via random overlap structures.

Motivation & Objective

• To establish the existence of the thermodynamic limit of the free energy for a system of two coupled Sherrington-Kirkpatrick spin glasses with fixed overlap $ R_{1,2} = u_N $.
• To extend the Aizenman-Sims-Starr variational principle to the coupled system by characterizing the limiting free energy via random overlap structures.
• To address the technical challenge of working with exact overlap constraints $ R_{1,2} = u_N $, rather than neighborhoods, by developing a novel approximation argument.
• To generalize the Guerra-Toninelli interpolation method to coupled systems with fixed overlap, ensuring convergence of the free energy sequence $ F_N(u_N) $.
• To provide a foundation for understanding the Parisi ansatz for the coupled system by analyzing the structure of the limiting random overlap distributions.

Proposed method

• Uses the Guerra-Toninelli interpolation method adapted to coupled systems with fixed overlap, constructing a continuous interpolation between the coupled system and a decoupled reference system.
• Applies an approximation argument (Lemma 1) to replace the exact overlap constraint $ R_{1,2} = u_N $ with a soft constraint via a delta function approximation, enabling the use of standard interpolation techniques.
• Defines the free energy $ F_N(u_N) $ as the normalized logarithmic partition function over configurations with fixed overlap $ u_N $, and proves its convergence via superadditivity and uniform bounds.
• Introduces a random overlap structure $ \Omega_\delta $ composed of overlap arrays $ q_{\alpha,\beta}^{\ell,\ell'} $, weights $ w_\alpha $, and auxiliary variables $ z_i^\ell, y^\ell $, satisfying the axioms of a ROSt (random overlap structure) for large $ M $.
• Establishes a variational lower bound on the limiting free energy $ \mathcal{P}(u) $ by relating $ F_N(u_N) $ to a functional $ G_N(u_N', \Omega_\delta) $ defined on the random overlap structure $ \Omega_\delta $, with $ \delta = |u_M - u| \to 0 $ as $ M \to \infty $.
• Uses the convexity of the functions $ \xi_{\ell,\ell'} $ and the associated $ \theta_{\ell,\ell'} $ to derive the necessary inequalities (e.g., (1.6)) that ensure the stability and convergence of the interpolation.

Experimental results

Research questions

• RQ1 Does the free energy of a coupled system of two Sherrington-Kirkpatrick spin glasses with fixed overlap $ R_{1,2} = u_N $ converge in the thermodynamic limit as $ N \to \infty $?
• RQ2 Can the Aizenman-Sims-Starr variational principle be extended to describe the limiting free energy of a coupled system under exact overlap constraints?
• RQ3 How can the interpolation method be adapted to handle exact overlap constraints rather than neighborhood constraints in mean-field spin glass models?
• RQ4 What is the structure of the limiting random overlap structure that characterizes the free energy in the coupled system?
• RQ5 Does the limiting free energy $ \mathcal{P}(u) $ depend only on the asymptotic value $ u \in [-1,1] $, or is it sensitive to the sequence $ u_N $?

Key findings

• The thermodynamic limit $ \lim_{N \to \infty} F_N(u_N) = \mathcal{P}(u) $ exists and depends only on the limit $ u \in [-1,1] $, not on the specific sequence $ u_N $, as stated in Theorem 1.
• The limiting free energy $ \mathcal{P}(u) $ satisfies a variational principle analogous to Aizenman-Sims-Starr, expressed as $ \mathcal{P}(u) \geq \lim_{\delta \to 0} \inf_{\Omega_\delta} G_N(u_N', \Omega_\delta) $, where $ \Omega_\delta $ is a random overlap structure with $ \delta = |u_M - u| \to 0 $.
• The proof relies on a novel approximation of the exact overlap constraint $ R_{1,2} = u_N $ by a soft constraint, enabling the use of interpolation techniques from Guerra-Toninelli and [5], with Lemma 1 providing the necessary convergence control.
• The random overlap structure $ \Omega_\delta $ is constructed from configurations $ \rho^1, \rho^2 $ with $ R_{1,2}^1 = u_M $, and the weights $ w_\alpha $ are normalized partition functions, satisfying the axioms of a ROSt in the limit.
• The limiting free energy $ \mathcal{P}(u) $ is characterized via the infimum over all such $ \Omega_\delta $, showing that the variational principle holds in the coupled case with exact overlap.
• The result suggests that the Parisi ansatz for the coupled system may be derived from analyzing the structure of the limiting random overlap distributions, particularly those with fixed overlap $ u $.