From a19e159544b27f087e319f228f45c68546d6bde6 Mon Sep 17 00:00:00 2001
From: "kurchan.jorge" <kurchan.jorge@gmail.com>
Date: Thu, 10 Dec 2020 12:49:12 +0000
Subject: Update on Overleaf.

---
 bezout.tex | 27 +++++++++++++++------------
 1 file changed, 15 insertions(+), 12 deletions(-)

(limited to 'bezout.tex')

diff --git a/bezout.tex b/bezout.tex
index 6fc863c..debb93c 100644
--- a/bezout.tex
+++ b/bezout.tex
@@ -53,10 +53,9 @@ defined by the energy:
 where the $J_{i_1\cdots i_p}$ are real Gaussian variables and the $z_i$ are
 real and constrained to a sphere $\sum_i z_i^2=N$. If there is a single  term
 of a given $p$, this is known as the `pure $p$-spin' model, the case we shall
-study here.  Also in the Algebra \cite{Cartwright_2013_The} and Probability
+study here.  This problem has been studied also  in the Algebra \cite{Cartwright_2013_The} and Probability
 literature \cite{Auffinger_2012_Random, Auffinger_2013_Complexity}.
-
-This problem has been attacked from several angles: the replica trick to
+It  has been attacked from several angles: the replica trick to
 compute the Boltzmann--Gibbs distribution \cite{Crisanti_1992_The}, a Kac--Rice
 \cite{Kac_1943_On, Rice_1939_The, Fyodorov_2004_Complexity} procedure (similar
 to the Fadeev--Popov integral)  to compute the number of saddle-points of the
@@ -66,13 +65,13 @@ high-energy configuration \cite{Cugliandolo_1993_Analytical}.  Thanks to the
 relative simplicity of the energy, all these approaches are possible
 analytically in the large $N$ limit.
 
-In this paper we shall extend the study to the case  where $z\in\mathbb C^N$
-are  and $J$ is a symmetric tensor whose elements are complex normal with
+In this paper we shall extend the study to the case  where the variables are complex
+$z\in\mathbb C^N$ and $J$ is a symmetric tensor whose elements are complex normal with
 $\overline{|J|^2}=p!/2N^{p-1}$ and $\overline{J^2}=\kappa\overline{|J|^2}$ for
 complex parameter $|\kappa|<1$. The constraint becomes $z^2=N$.
 
 The motivations for this paper are of two types. On the practical side, there
-are situations in which  complex variables have in a disorder problem appear
+are indeed situations in which  complex variables  in a disorder problem appear
 naturally: such is the case in which they are {\em phases}, as in random laser
 problems \cite{Antenucci_2015_Complex}. Another problem where a Hamiltonian
 very close to ours has been proposed is the Quiver Hamiltonians
@@ -85,9 +84,9 @@ underlying simplicity that is hidden in the purely real case. Consider, for
 example, the procedure of starting from a simple, known Hamiltonian $H_{00}$
 and studying $\lambda H_{00} + (1-\lambda H_{0} )$, evolving adiabatically from
 $\lambda=0$ to $\lambda=1$, as is familiar from quantum annealing. The $H_{00}$
-is a polynomial of degree $p$  chosen to have simple, known roots. Because we
-are working in complex variables, and the roots are simple all the way (we
-shall confirm this), we may follow a root from $\lambda=0$ to $\lambda=1$. With
+is a polynomial of degree $p$  chosen to have simple, known saddles. Because we
+are working in complex variables, and the saddles are simple all the way (we
+shall confirm this), we may follow a single one from $\lambda=0$ to $\lambda=1$, while  with
 real variables minima of functions appear and disappear, and this procedure is
 not possible. The same idea may be implemented by performing diffusion in the
 $J$'s, and following the roots, in complete analogy with Dyson's stochastic
@@ -97,12 +96,11 @@ This study also provides a complement to the work on the distribution of zeroes
 of random polynomials \cite{Bogomolny_1992_Distribution}.
 
 
-Let us go back to our model.  For the  constraint we  choose here $z^2=N$,
+  For our model the  constraint we  choose  $z^2=N$,
 rather than $|z|^2=N$, in order to preserve the holomorphic nature of the
 functions. In addition, the  nonholomorphic spherical constraint has a
 disturbing lack of critical points nearly everywhere, since $0=\partial^*
-H=-p\epsilon z$ is only satisfied for $\epsilon=0$, as $z=0$ is forbidden by
-the constraint.  It is enforced using the method of Lagrange multipliers:
+H=-p\epsilon z$ is only satisfied for $\epsilon=0$, as $z=0$ is forbidden by the constraint.  It is enforced using the method of Lagrange multipliers:
 introducing the $\epsilon\in\mathbb C$, this gives
 \begin{equation} \label{eq:constrained.hamiltonian}
   H = H_0+\frac p2\epsilon\left(N-\sum_i^Nz_i^2\right).
@@ -110,6 +108,11 @@ introducing the $\epsilon\in\mathbb C$, this gives
 It is easy to see that {\em for a pure $p$-spin}, at  any critical point
 $\epsilon=H/N$, the average energy.
 
+Critical points are given by the set of equations:
+
+\begin{equation}
+\frac{c_p}{(p-1)!}\sum_{ i, i_2\cdots i_p}^NJ_{i_1\cdots i_p}z_{i_1}\cdots z_{i_p},
+
 
 Since $H$ is holomorphic, a point is a critical point of its real part if and
 only if it is also a critical point of its imaginary part. The number of
-- 
cgit v1.2.3-54-g00ecf


From fcf0cd3367fc3c99627f62f4daa9ab04c4201582 Mon Sep 17 00:00:00 2001
From: "kurchan.jorge" <kurchan.jorge@gmail.com>
Date: Thu, 10 Dec 2020 12:50:15 +0000
Subject: Update on Overleaf.

---
 bezout.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bezout.tex')

diff --git a/bezout.tex b/bezout.tex
index debb93c..493dc90 100644
--- a/bezout.tex
+++ b/bezout.tex
@@ -111,7 +111,7 @@ $\epsilon=H/N$, the average energy.
 Critical points are given by the set of equations:
 
 \begin{equation}
-\frac{c_p}{(p-1)!}\sum_{ i, i_2\cdots i_p}^NJ_{i_1\cdots i_p}z_{i_1}\cdots z_{i_p},
+\frac{c_p}{(p-1)!}\sum_{ i, i_2\cdots i_p}^NJ_{i, _1\cdots i_p}z_{i_1}\cdots z_{i_p},
 
 
 Since $H$ is holomorphic, a point is a critical point of its real part if and
-- 
cgit v1.2.3-54-g00ecf


From adeade6cf221a534490b01e503fe80721639c8e8 Mon Sep 17 00:00:00 2001
From: "kurchan.jorge" <kurchan.jorge@gmail.com>
Date: Thu, 10 Dec 2020 12:50:21 +0000
Subject: Update on Overleaf.

---
 bezout.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bezout.tex')

diff --git a/bezout.tex b/bezout.tex
index 493dc90..cdf0b85 100644
--- a/bezout.tex
+++ b/bezout.tex
@@ -111,7 +111,7 @@ $\epsilon=H/N$, the average energy.
 Critical points are given by the set of equations:
 
 \begin{equation}
-\frac{c_p}{(p-1)!}\sum_{ i, i_2\cdots i_p}^NJ_{i, _1\cdots i_p}z_{i_1}\cdots z_{i_p},
+\frac{c_p}{(p-1)!}\sum_{ i, i_2\cdots i_p}^NJ_{i, i_1\cdots i_p}z_{i_1}\cdots z_{i_p},
 
 
 Since $H$ is holomorphic, a point is a critical point of its real part if and
-- 
cgit v1.2.3-54-g00ecf


From f0b6d4176a765bf4d4ccf78ecac6011b70986a28 Mon Sep 17 00:00:00 2001
From: "kurchan.jorge" <kurchan.jorge@gmail.com>
Date: Thu, 10 Dec 2020 12:50:35 +0000
Subject: Update on Overleaf.

---
 bezout.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bezout.tex')

diff --git a/bezout.tex b/bezout.tex
index cdf0b85..b73732d 100644
--- a/bezout.tex
+++ b/bezout.tex
@@ -111,7 +111,7 @@ $\epsilon=H/N$, the average energy.
 Critical points are given by the set of equations:
 
 \begin{equation}
-\frac{c_p}{(p-1)!}\sum_{ i, i_2\cdots i_p}^NJ_{i, i_1\cdots i_p}z_{i_1}\cdots z_{i_p},
+\frac{c_p}{(p-1)!}\sum_{ i, i_2\cdots i_p}^NJ_{i, i_2\cdots i_p}z_{i_2}\cdots z_{i_p} = \epsilon z_
 
 
 Since $H$ is holomorphic, a point is a critical point of its real part if and
-- 
cgit v1.2.3-54-g00ecf

