1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
\documentclass[aps,prl,reprint,longbibliography,floatfix,fleqn]{revtex4-2}
\usepackage[utf8]{inputenc} % why not type "Bézout" with unicode?
\usepackage[T1]{fontenc} % vector fonts plz
\usepackage[
colorlinks=true,
urlcolor=purple,
citecolor=purple,
filecolor=purple,
linkcolor=purple
]{hyperref} % ref and cite links with pretty colors
\usepackage{amsmath, amssymb, graphicx, xcolor} % standard packages
\begin{document}
\title{Complex complex landscapes: saturating the Bézout bound} % change me
\author{Jaron Kent-Dobias}
\author{Jorge Kurchan}
\affiliation{Laboratoire de Physique de l'Ecole Normale Supérieure, Paris, France}
\date\today
\begin{abstract}
The complexity of the complex $p$-spin model saturates the Bézout bound \cite{Bezout_1779_Theorie}.
\end{abstract}
\maketitle
\begin{equation} \label{eq:bare.hamiltonian}
H_0 = \frac1{p!}\sum_{i_1\cdots i_p}^NJ_{i_1\cdots i_p}z_{i_1}\cdots z_{i_p},
\end{equation}
where the $z$ are constrained by $z\cdot z=N$ and $J$ is a symmetric tensor
whose elements are complex normal with $\langle|J|^2\rangle=p!/2N^{p-1}$ and
$\langle J^2\rangle=\kappa\langle|J|^2\rangle$ for complex parameter
$|\kappa|<1$. The constraint 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).
\end{equation}
At any critical point $\epsilon=H/N$, the average energy.
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
critical points of $H$ is therefore the number of critical points of
$\mathop{\mathrm{Re}}H$. Writing $z=x+iy$, $\mathop{\mathrm{Re}}H$ can be
interpreted as a real function of $2N$ real variables. The number of critical
points it has is given by the usual Kac--Rice formula:
\begin{equation} \label{eq:real.kac-rice}
\mathcal N(\epsilon)
= \int dx\,dy\,\delta(\partial_x\mathop{\mathrm{Re}}H)\delta(\partial_y\mathop{\mathrm{Re}}H)
\left|\det\begin{bmatrix}
\partial_x\partial_x\mathop{\mathrm{Re}}H & \partial_x\partial_y\mathop{\mathrm{Re}}H \\
\partial_y\partial_x\mathop{\mathrm{Re}}H & \partial_y\partial_y\mathop{\mathrm{Re}}H
\end{bmatrix}\right|.
\end{equation}
The Cauchy--Riemann relations can be used to simplify this. Using the Wirtinger
derivative $\partial=\partial_x-i\partial_y$, one can write
$\partial_x\mathop{\mathrm{Re}}H=\mathop{\mathrm{Re}}\partial H$ and
$\partial_y\mathop{\mathrm{Re}}H=-\mathop{\mathrm{Im}}\partial H$. With similar
transformations, the eigenvalue spectrum of the Hessian of
$\mathop{\mathrm{Re}}H$ can be shown to be equivalent to the singular value
spectrum of the Hessian $\partial\partial H$ of $H$, and as a result the
determinant that appears above is equivalent to $|\det\partial\partial H|^2$.
This allows us to write the \eqref{eq:real.kac-rice} in the manifestly complex
form
\begin{equation} \label{eq:complex.kac-rice}
\mathcal N(\epsilon)
= \int dx\,dy\,\delta(\mathop{\mathrm{Re}}\partial H)\delta(\mathop{\mathrm{Im}}\partial H)
|\det\partial\partial H|^2.
\end{equation}
\bibliographystyle{apsrev4-2}
\bibliography{bezout}
\end{document}
|
