1 files changed, 87 insertions, 11 deletions
diff --git a/marginal.tex b/marginal.tex
index 59c9bc8..96c2a99 100644
--- a/marginal.tex
+++ b/marginal.tex
@@ -40,10 +40,11 @@
 An arbitrary function $g$ of the minimum eigenvalue of a matrix $A$ can be expressed as
 \begin{equation}
   g(\lambda_\textrm{min}(A))
-  =g\left(
-    \frac{x_\textrm{min}(A)^TAx_\textrm{min}(A)}N
-  \right)
-  =\frac12\lim_{\beta\to\infty}\int\frac{dx\,\delta(N-x^Tx)e^{\beta x^TAx}}{\int dx'\,\delta(N-x'^Tx')e^{\beta x'^TAx'}}g\left(\frac{x^TAx}N\right)
+  =\lim_{\beta\to\infty}\int\frac{d\mathbf x\,\delta(N-\mathbf x^T\mathbf x)e^{\beta\mathbf x^TA\mathbf x}}{\int d\mathbf x'\,\delta(N-\mathbf x'^T\mathbf x')e^{\beta\mathbf x'^TA\mathbf x'}}g\left(\frac{\mathbf x^TA\mathbf x}N\right)
+\end{equation}
+\begin{equation}
+  \lim_{\beta\to\infty}\frac{d\mathbf x\,\delta(N-\mathbf x^T\mathbf x)e^{\beta\mathbf x^TA\mathbf x}}{\int d\mathbf x'\,\delta(N-\mathbf x'^T\mathbf x')e^{\beta\mathbf x'^TA\mathbf x'}}
+  =d\mathbf x\,\frac12\left[\delta(\mathbf x_\mathrm{min}(A)-\mathbf x)+\delta(\mathbf x_\mathrm{min}(A)+\mathbf x)\right]
 \end{equation}
 The first equality makes use of the normalized eigenvector $x_\mathrm{min}(A)$
 associated with the minimum eigenvalue. By definition,
@@ -56,24 +57,99 @@ the limit of zero temperature, the measure will concentrate on the ground
 states of the model, which correspond with the eigenvectors $\pm x_\mathrm{min}$
 associated with the minimal eigenvalue $\lambda_\mathrm{min}$.
 
+
 \begin{equation}
-  d\mu_H(\mathbf s)=d\mathbf s\,\delta\big(\nabla H(\mathbf s)\big)\,\big|\det\operatorname{Hess}H(\mathbf s)\big|
+  H(\mathbf s)+\sum_{i=1}^r\omega_ig_i(\mathbf s)
 \end{equation}
+\begin{align}
+  \nabla H(\mathbf s,\pmb\omega)=\partial H(\mathbf s)+\sum_{i=1}^r\omega_i\partial g_i(\mathbf s)
+  &&
+  \operatorname{Hess}H(\mathbf s,\pmb\omega)=\partial\partial H(\mathbf s)+\sum_{i=1}^r\omega_i\partial\partial g_i(\mathbf s)
+\end{align}
+
 \begin{equation}
-  d\mu_H(\mathbf s\mid E)=d\mu_H(\mathbf s)\,\delta\big(NE-H(\mathbf s)\big)
+  d\mu_H(\mathbf s,\pmb\omega)=d\mathbf s\,d\pmb\omega\,\delta\big(\nabla H(\mathbf s,\pmb\omega)\big)\,\delta\big(\mathbf g(\mathbf s)\big)\,\big|\det\operatorname{Hess}H(\mathbf s,\pmb\omega)\big|
+\end{equation}
+\begin{equation}
+  d\mu_H(\mathbf s,\pmb\omega\mid E)=d\mu_H(\mathbf s,\pmb\omega)\,\delta\big(NE-H(\mathbf s)\big)
 \end{equation}
 
 \begin{equation}
   \begin{aligned}
-    \mathcal N_\text{marginal}(E)
-    &=\int d\mu_H(\mathbf s\mid E)\,\delta\big(\lambda_\mathrm{min}(\operatorname{Hess}H(\mathbf s))\big) \\
-    &=\frac12\lim_{\beta\to\infty}\lim_{m\to0}\int d\mu_H(\mathbf s\mid E)\int_{T_\mathbf s\Omega}\left(\prod_a^m dx_a\,\delta(N-x_a^Tx_a)e^{\beta x_a^TAx_a}\right)\,\delta\big(x_1^T\operatorname{Hess}H(\mathbf s)x_1\big)
+    &\mathcal N_\text{marginal}(E)
+    =\int d\mu_H(\mathbf s,\pmb\omega\mid E)\,\delta\big(N\lambda_\mathrm{min}(\operatorname{Hess}H(\mathbf s,\pmb\omega))\big) \\
+    &=\lim_{\beta\to\infty}\int d\mu_H(\mathbf s,\pmb\omega\mid E)
+    \frac{d\mathbf x\,\delta(N-\mathbf x^T\mathbf x)\delta(\mathbf x^T\partial\mathbf g(\mathbf s))e^{\beta\mathbf x^T\operatorname{Hess}H(\mathbf s,\pmb\omega)\mathbf x}}
+    {\int d\mathbf x'\,\delta(N-\mathbf x'^T\mathbf x')\delta(\mathbf x'^T\partial\mathbf g(\mathbf s))e^{\beta\mathbf x'^T\operatorname{Hess}H(\mathbf s,\pmb\omega)\mathbf x'}}
+    \delta\big(\mathbf x^T\operatorname{Hess}H(\mathbf s,\pmb\omega)\mathbf x\big)
   \end{aligned}
 \end{equation}
+where the $\delta$-functions
+\begin{equation}
+  \delta(\mathbf x^T\partial\mathbf g(\mathbf s))
+  =\prod_{s=1}^r\delta(\mathbf x^T\partial g_i(\mathbf s))
+\end{equation}
+ensure that the integrals are constrained to the tangent space of the configuration manifold at the point $\mathbf s$.
 
 \begin{equation}
-  \beta^2f''(1)\sum A_{ab}^2+\hat x^2f''(1)A_{11}^2+\beta\hat xf''(1)\sum_a A_{1a}+\hat\beta^2f(C_{ab})+(2\hat\beta(R_{ab}-F_{ab})-D_{ab})f'(C_{a-b})+(R_{ab}^2-F_{ab}^2)f''(C_{ab})
-  +\log\det\begin{bmatrix}C&iR\\iR&D\end{bmatrix}-\log\det F
+  \begin{aligned}
+    &\Sigma_\text{marginal}(E)
+    =\frac1N\overline{\log\mathcal N_\text{marginal}(E)} \\
+    &=\lim_{\beta\to\infty}\lim_{n\to0}\frac\partial{\partial n}\int\prod_{a=1}^n\left[d\mu_H(\mathbf s_a,\pmb\omega_a\mid E)\lim_{m_a\to0}
+    \left(\prod_{b=1}^{m_a} d\mathbf x_a^b\,\delta(N-(\mathbf x_a^b)^T\mathbf x_a^b)\delta((\mathbf x_a^b)^T\partial\mathbf g(\mathbf s_a))e^{\beta(\mathbf x_a^b)^T\operatorname{Hess}H(\mathbf s_a,\pmb\omega_a)\mathbf x_a^b}\right)\,\delta\big((\mathbf x_a^1)^T\operatorname{Hess}H(\mathbf s_a,\pmb\omega_a)\mathbf x_a^1\big)\right]
+  \end{aligned}
+\end{equation}
+
+\section{Spherical model}
+
+\begin{align}
+  C_{ab}=\frac1N\mathbf s_a\cdot\mathbf s_b
+  &&
+  R_{ab}=-i\frac1N\mathbf s_a\cdot\hat{\mathbf s}_b
+  &&
+  D_{ab}=\frac1N\hat{\mathbf s}_a\cdot\hat{\mathbf s}_b
+  \\
+  A_{ab}^{cd}=\frac1N\mathbf x_a^c\cdot\mathbf x_b^d
+  &&
+  X^c_{ab}=\frac1N\mathbf s_a\cdot\mathbf x_b^c
+  &&
+  \hat X^c_{ab}=\frac1N\hat{\mathbf s}_a\cdot\mathbf x_b^c
+\end{align}
+
+\begin{equation}
+  \begin{aligned}
+    &\sum_{ab}^n\left[\beta\omega A_{aa}^{bb}+\hat x\omega A_{aa}^{11}+\beta^2f''(1)\sum_{cd}^m(A_{ab}^{cd})^2+\hat x^2f''(1)(A_{ab}^{11})^2+\beta\hat xf''(1)\sum_c^m A_{ab}^{1c}\right]\\
+    &+\hat\beta^2f(C_{ab})+(2\hat\beta(R_{ab}-F_{ab})-D_{ab})f'(C_{ab})+(R_{ab}^2-F_{ab}^2)f''(C_{ab})
+    +\log\det\begin{bmatrix}C&iR\\iR&D\end{bmatrix}-\log\det F
+  \end{aligned}
+\end{equation}
+
+$X^a$ is $n\times m_a$, and $A^{ab}$ is $m_a\times m_b$.
+\begin{equation}
+  \begin{bmatrix}
+    C&iR&X^1&\cdots&X^n \\
+    iR&D&i\hat X^1&\cdots&i\hat X^m\\
+    (X^1)^T&i(\hat X^1)^T&A^{11}&\cdots&A^{1n}\\
+    \vdots&\vdots&\vdots&\ddots&\vdots\\
+    (X^n)^T&i(\hat X^n)^T&A^{n1}&\cdots&A^{nn}
+  \end{bmatrix}
+\end{equation}
+$X_{ab}^c$ will be nonzero if the lowest eigenvector of the hessian at the
+point $\mathbf s_c$ are correlated with the direction of the point $\mathbf
+s_a$. Since the eigenvector problem is always expected to be replica symmetric,
+we expect no $b$-dependence of this matrix. $A^{aa}$ is the usual
+replica-symmetric overlap matrix of the spherical two-spin problem. $A^{ab}$
+describes overlaps between eigenvectors at different stationary points and should be a constant $m_a\times m_b$ matrix.
+
+We will discuss at the end of this paper when these order parameters can be expected to be nonzero, but in this problem all of the $X$s, $\hat X$s, and $A^{ab}$ for $a\neq b$ are zero.
+
+\begin{equation}
+  \begin{aligned}
+    &\sum_a^n m_a\beta\omega+m_1\hat x\omega+\sum_{a}^n\left[m_a\beta^2f''(1)(1+(m_a-1)a_0^2)+\hat x^2f''(1)m_a+\beta\hat xf''(1)(1+(m_a-1)a_0)\right]\\
+    &+\hat\beta^2f(C_{ab})+(2\hat\beta(R_{ab}-F_{ab})-D_{ab})f'(C_{ab})+(R_{ab}^2-F_{ab}^2)f''(C_{ab})
+    +\log\det\begin{bmatrix}C&iR\\iR&D\end{bmatrix}-\log\det F
+    +mn\log(1-a_0)+mn\frac{a_0}{1-a_0}
+  \end{aligned}
 \end{equation}
 
 \section{Superfield formalism}