summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--bezout.bib53
-rw-r--r--bezout.tex50
2 files changed, 85 insertions, 18 deletions
diff --git a/bezout.bib b/bezout.bib
index f551ece..f791842 100644
--- a/bezout.bib
+++ b/bezout.bib
@@ -283,3 +283,56 @@
}
+@article{cristoforetti2012new,
+ title={New approach to the sign problem in quantum field theories: High density QCD on a Lefschetz thimble},
+ author={Cristoforetti, Marco and Di Renzo, Francesco and Scorzato, Luigi and AuroraScience Collaboration and others},
+ journal={Physical Review D},
+ volume={86},
+ number={7},
+ pages={074506},
+ year={2012},
+ publisher={APS}
+}
+@article{tanizaki2017gradient,
+ title={Gradient flows without blow-up for Lefschetz thimbles},
+ author={Tanizaki, Yuya and Nishimura, Hiromichi and Verbaarschot, Jacobus JM},
+ journal={Journal of High Energy Physics},
+ volume={2017},
+ number={10},
+ pages={100},
+ year={2017},
+ publisher={Springer}
+}
+
+
+@article{scorzato2015lefschetz,
+ title={The Lefschetz thimble and the sign problem},
+ author={Scorzato, Luigi},
+ journal={arXiv preprint arXiv:1512.08039},
+ year={2015}
+}
+
+@article{witten2010new,
+ title={A new look at the path integral of quantum mechanics},
+ author={Witten, Edward},
+ journal={arXiv preprint arXiv:1009.6032},
+ year={2010}
+}
+
+@article{witten2011analytic,
+ title={Analytic continuation of Chern-Simons theory},
+ author={Witten, Edward},
+ journal={AMS/IP Stud. Adv. Math},
+ volume={50},
+ pages={347},
+ year={2011}
+}
+
+@article{behtash2015toward,
+ title={Toward Picard-Lefschetz theory of path integrals, complex saddles and resurgence},
+ author={Behtash, Alireza and Dunne, Gerald V and Sch{\"a}fer, Thomas and Sulejmanpasic, Tin and Unsal, Mithat},
+ journal={arXiv preprint arXiv:1510.03435},
+ year={2015}
+}
+
+
diff --git a/bezout.tex b/bezout.tex
index 9e701f5..8711dd6 100644
--- a/bezout.tex
+++ b/bezout.tex
@@ -72,26 +72,40 @@ constraint remains $z^2=N$.
The motivations for this paper are of two types. On the practical side, there
are indeed situations in which complex variables appear naturally in disordered
-problems: such is the case in which they are \emph{phases}, as in random laser
+problems: such is the case in which the variables are \emph{phases}, as in random laser
problems \cite{Antenucci_2015_Complex}. Quiver Hamiltonians---used to model
black hole horizons in the zero-temperature limit---also have a Hamiltonian
very close to ours \cite{Anninos_2016_Disordered}.
-
-There is however a more fundamental reason for this study: we know from
+A second reason is that we know from
experience that extending a real problem to the complex plane often uncovers
-underlying simplicity that is otherwise hidden. 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 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 dynamics \cite{Dyson_1962_A}.
-
-The spherical constraint is enforced using the method of Lagrange multipliers:
+underlying simplicity that is otherwise hidden, and thus sheds light on the original real problem
+(think, for example, in the radius of convergence of a series).
+
+Deforming a real integration in $N$ variables to a surface of dimension $N$ in
+the $2N$ dimensional complex space has turned out to be necessary for correctly defining and analyzing path integrals with complex action (see \cite{witten2010new,witten2011analytic}), and as a useful palliative for the sign-problem \cite{cristoforetti2012new,tanizaki2017gradient,scorzato2015lefschetz}.
+In order to do this correctly, the features of landscape of the action in complex space must be understood. Such landscapes are in general not random: here we propose to follow the strategy of Computer Science of understanding the generic features of random instances, expecting that this sheds light on the practical, nonrandom problems.
+
+%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$
+%There is however a more fundamental reason for this study:
+%we know from experience that extending a real problem to
+%the complex plane often uncovers underlying simplicity that
+%is otherwise hidden. Consider, for example, the procedure of
+%
+%$\lambda H_{00} + (1-\lambda) H_0$ evolving adiabatically from $\lambda=1$ to $\lambda=0$, as
+%is familiar from quantum annealing. The $H_{00}$ is a polynomial
+%of degree N 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 dynamics \cite{Dyson_1962_A}.
+
+Returning to our problem,
+the spherical constraint is enforced using the method of Lagrange multipliers:
introducing $\epsilon\in\mathbb C$, our energy is
\begin{equation} \label{eq:constrained.hamiltonian}
H = H_0+\frac p2\epsilon\left(N-\sum_i^Nz_i^2\right).
@@ -444,9 +458,9 @@ the complex case. The relationship between the threshold, i.e., where the gap
appears, and the dynamics of, e.g., a minimization algorithm or physical
dynamics, are a problem we hope to address in future work.
-This paper provides a first step for the study of a complex landscape with
+ This paper provides a first step towards the study of a complex landscape with
complex variables. The next obvious one is to study the topology of the
-critical points and gradient lines of constant phase. We anticipate that the
+critical points, their basins of attraction following gradient ascent (the Lefschetz thimbles), and descent (the anti-thimbles) \cite{witten2010new,witten2011analytic,cristoforetti2012new,behtash2015toward,scorzato2015lefschetz}, that act as constant-phase integrating `contours'. Locating and counting the saddles that are joined by gradient lines -- the Stokes points, that play an important role in the theory -- is also well within reach of the present-day spin-glass literature techniques. We anticipate that the
threshold level, where the system develops a mid-spectrum gap, will play a
crucial role as it does in the real case.