Update v0.2v0.2

Addition: relation between the Wick rule and the Pfaffian formula

References: [GBK87], [WTI11], [Te74]

References: [AP84] and mention minor mistakes in [Ha66]

3 files changed, 28 insertions, 14 deletions

diff --git a/Giuliani_Jauslin_Lieb_2015.tex b/Giuliani_Jauslin_Lieb_2015.tex
index 6afdf9d..68b3fd1 100644
--- a/Giuliani_Jauslin_Lieb_2015.tex
+++ b/Giuliani_Jauslin_Lieb_2015.tex
@@ -50,9 +50,7 @@ Clearly, $\Xi(z)$ is a polynomial in $z$, and $z$ is called the {\it monomer fug
 \indent In the pure dimer case, where $z=0$, $\Xi$ has been shown by Temperley and Fisher (for the square lattice) [\cite{TF61}]  and by Kasteleyn (for general planar graphs) [\cite{Ka63}] to be expressible as a Pfaffian (which is convenient since Pfaffians can be computed as square roots of determinants). However, when monomers are allowed to appear, such a Pfaffian formula is thought to be impossible (at least a Pfaffian formula for the {\it full} MD problem on {\it any} planar graphs): indeed it has been shown [\cite{Je87}] that the enumeration of MD coverings of generic planar graphs is ``computationally intractable'', whereas Pfaffians can be computed in polynomial time. More precisely, [\cite{Je87}] proves that the enumeration of MD coverings of generic planar graphs is
 ``$\# P$ complete'', which implies that it is believed not to be computable in polynomial time.
 
-\indent However, by introducing restrictions on the location of monomers, such a result can be proven in some cases. Namely, in [\cite{TW03}, \cite{Wu06}], the authors use a Pfaffian formula to compute the partition function of a system with a {\it single} monomer located on the boundary of a finite square lattice. In [\cite{PR08}], the MD problem is studied on the square lattice on the half-plane with the restriction that the monomers are {\it fixed} on points of the boundary. They derive a Pfaffian formula for this case, and use it to compute the scaling limit of the multipoint boundary monomer correlations. Finally, in [\cite{AF14}], it is shown that if the monomers are {\it fixed} at any position in a square lattice, then the partition function can also be written as a Pfaffian. In addition, the authors use their formula for 
-computing the asymptotics of monomer correlations, thus generalizing the classical results by Fisher, Hartwig and Stephenson [\cite{FS63}, \cite{Ha66}, \cite{FH69}]
-for monomer correlations along a row, column  or main diagonal.
+\indent However, by introducing restrictions on the location of monomers, such a result can be proven in some cases. Namely, in [\cite{TW03}, \cite{Wu06}], the authors derive a Pfaffian formula, based on the ``Temperley bijection'' [\cite{Te74}], for the partition function of a system with a {\it single} monomer located on the boundary of a finite square lattice, and in [\cite{WTI11}], on a cylinder of odd width (which is a nonbipartite lattice). In [\cite{PR08}], the MD problem is studied on the square lattice on the half-plane with the restriction that the monomers are {\it fixed} on points of the boundary. They derive a Pfaffian formula for this case, and use it to compute the scaling limit of the multipoint boundary monomer correlations. Finally, in [\cite{AF14}], it is shown that if the monomers are {\it fixed} at any position in a square lattice, then the partition function can also be written as a Pfaffian. In addition, the authors use their formula for computing the asymptotics of monomer correlations, thus generalizing the classical results by Fisher, Hartwig and Stephenson [\cite{FS63}, \cite{FH69}] and [\cite{Ha66}] (which is claimed to have small mistakes in~[\cite{AP84}], which also contains the corrected formula) for monomer correlations along a row, column  or main diagonal.
 
 \indent In the present work, we prove that, on an {\it arbitrary} planar graph, the {\it boundary} MD partition function (in which the monomers are restricted to the boundary of the graph, but are not necessarily fixed at prescribed locations) with arbitrary dimer and monomer weights can be written as a Pfaffian. 
 By differentiation with respect to the monomer weights, we also obtain a fermionic Wick rule for boundary monomer correlations. 
@@ -85,11 +83,11 @@ planar graphs is via the random current representation developed by
 Aizenman [\cite{Ai82}]. It has been recently observed
 [\cite{AD}] that this representation, adapted to planar lattices, implies, for
 purely geometrical
-reasons, the validity of the fermionic Wick rule both for boundary spin
-correlations in the nearest neighbor Ising model, and might imply the
+reasons, the validity of the fermionic Wick rule for boundary spin
+correlations in the nearest neighbor Ising model (which has already been proved by J.~Groeneveld, R.J.~Boel and P.W.~Kasteleyn~[\cite{GBK78}]), and might imply the
 same for boundary monomer correlations in the dimer model.
 Their method also suggests a stochastic geometric perspective on the
-emergence of planarity at the critical points of non-planar 2D models, in the sense of the previous item.
+emergence of planarity at the critical points of non-planar 2D models, in the sense of the previous item. Note that our Pfaffian formula (see theorem~\ref{theomain}) goes beyond the Wick rule, see the \ref{rkWick} at the end of section~\ref{subsecpfaffian}.
 \item It may be worth noting that the MD partition function can be computed exactly in some cases, e.g. on the complete graph [\cite{ACM14}].
 \end{itemize}
 \unlistparpenalty
@@ -521,11 +519,18 @@ M_n(i_1,\cdots,i_{2n})=&
 (-1)^n\mathrm{pf}(\{a^{-1}(\mathbf d)\}_{\mathcal I})\\[0.3cm]
 =&\frac{1}{2^nn!}\sum_{\pi\in\mathcal S_{2n}}(-1)^\pi\prod_{j=1}^n(-a^{-1}(\mathbf d))_{i_{\pi(2j-1)},i_{\pi(2j)}},
 \end{array}\label{eqpfMconc}\end{equation}
-which concludes the proof, by noting that $(-a^{-1}(\mathbf d))_{i,j}=M_1(i,j)$.
+which concludes the proof, by noting that
+\begin{equation}
+(-a^{-1}(\mathbf d))_{i,j}=M_1(i,j).
+\label{eqM1a}\end{equation}
 \hfill$\square$
+\bigskip
 
-
-
+\makelink{rkWick}{remark}{\bf Remark}: We have shown that theorem~\ref{theomain} implies corollary~\ref{corrmain}. It turns out that the converse is also true assuming~(\ref{eqM1a}) holds (with the sign that appears in~(\ref{eqM1a})). More precisely, corollary~\ref{corrmain} and~(\ref{eqM1a}) imply theorem~\ref{theomain}. Indeed, (\ref{eqM1a}) and corollary~\ref{corrmain} imply
+$$
+\Xi_\partial(\bm\ell,\mathbf d)=\Xi_\partial(\mathbf0,\mathbf d)\sum_{\mathcal I\subset\{1,\cdots,|g|\}}\mathrm{pf}(\{-a^{-1}\}_{\mathcal I})\prod_{j\in\mathcal I}\ell_j
+$$
+which, by~(\ref{eqkasteleyntheo}), (\ref{eqpfminors}) and theorem~\ref{theolieb}, yields~(\ref{eqtheo}). As a consequence, if one were to prove the Wick rule for boundary monomers (possibly by extending the analysis of~[\cite{GBK78}] to the monomer-dimer problem) then the Pfaffian formula~(\ref{eqtheo}) could be recovered by directing and labeling the graph $g$ in such a way that~(\ref{eqM1a}) holds, which can be achieved by ensuring that $[g]_{\{v,v'\}}$ is positive and Kasteleyn for every $v,v'\in\mathcal V(\partial g)$ (in the present paper, we prove the Pfaffian formula~(\ref{eqtheo}) without first proving the Wick rule, and ensuring that $[g]_{\mathcal I}$ is Kasteleyn and positive for every $\mathcal I\subset\mathcal V(\partial g)$, which does not seem to be harder than proving it for sets of cardinality 2). In other words, the Pfaffian formula~(\ref{eqtheo}) that counts MD coverings with any number of monomers on the boundary can be seen as a consequence of a similar Pfaffian formula for the MD coverings with 2 monomers on the boundary and the Wick rule.
 
 
 \section{Simple graphs}\label{secsimple}
@@ -1450,10 +1455,9 @@ replace the edge according to figure~\ref{figreplodd}.
 
 \hfil{\Large\bf Acknowledgments}\par
 \bigskip
-We thank Michael Aizenman and Hugo Duminil-Copin for discussing their work in progress on the random current representation for planar lattice models with us. We gratefully acknowledge financial support from the A*MIDEX project ANR-11-IDEX-0001-02 (A.G.), 
-from the PRIN National Grant {\it Geometric and analytic theory of Hamiltonian systems in finite and infinite dimensions} (A.G. and I.J.), and 
-NSF grant PHY-1265118 (E.H.L.). 
-We also would like to thank Tom Spencer and Joel Lebowitz for their hospitality at the IAS in Princeton and their continued interest in this problem. 
+\indent Thanks go to Jan Philip Solovej and Lukas Schimmer for devoting their time to some preliminary calculations that helped put us on the right track. We also would like to thank Tom Spencer and Joel Lebowitz for their hospitality at the IAS in Princeton and their continued interest in this problem. In addition, we thank Michael Aizenman and Hugo Duminil-Copin for discussing their work in progress on the random current representation for planar lattice models with us. We thank Jacques Perk and Fa Yueh Wu for very useful historical comments.
+
+\indent We gratefully acknowledge financial support from the A*MIDEX project ANR-11-IDEX-0001-02 (A.G.), from the PRIN National Grant {\it Geometric and analytic theory of Hamiltonian systems in finite and infinite dimensions} (A.G. and I.J.), and NSF grant PHY-1265118 (E.H.L.).
 \vfill
 \eject
 
diff --git a/bibliography.BBlog.tex b/bibliography.BBlog.tex
index 214aa25..adb392e 100644
--- a/bibliography.BBlog.tex
+++ b/bibliography.BBlog.tex
@@ -2,6 +2,7 @@
 \BBlogentry{AD}{AD}{M. Aizenman, H. Duminil-Copin - private communication.}
 \BBlogentry{ACM14}{ACM14}{D. Alberici, P. Contucci, E. Mingione - {\it A mean-field monomer-dimer model with attractive interaction: Exact solution and rigorous results}, Journal of Mathematical Physics, Vol.~55, n.~063301, 2014, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1063/1.4881725}{10.1063/1.4881725}}.}
 \BBlogentry{AF14}{AF14}{N. Allegra, J. Fortin - {\it Grassmannian representation of the two-dimensional monomer-dimer model}, Physical Review E, Vol.~89, n.~062107, 2014, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1103/PhysRevE.89.062107}{10.1103/PhysRevE.89.062107}}.}
+\BBlogentry{AP84}{AP84}{H. Au-Yang, J.H.H. Perk - {\it Ising correlations at the critical temperature}, Physics Letters A, Vol.~104, n.~3, p.~131-134, 1984, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1016/0375-9601(84)90359-1}{10.1016/0375-9601(84)90359-1}}.}
 \BBlogentry{CHI15}{CHI15}{D. Chelkak, C. Hongler, K. Izyurov - {\it Conformal invariance of spin correlations in the planar Ising model}, Annals of Mathematics, Vol.~181, n.~3, p.~1087-1138, 2015, doi:{\tt\color{blue}\href{http://dx.doi.org/10.4007/annals.2015.181.3.5}{10.4007/annals.2015.181.3.5}}.}
 \BBlogentry{Du11}{Du11}{J. Dub\'edat - {\it Exact bosonization of the Ising model}, arXiv:1112.4399, 2011.}
 \BBlogentry{Du15}{Du15}{J. Dub\'edat - {\it Dimers and families of Cauchy-Riemann operators I}, Journal of the American Mathematical Society, Vol.~28, n.~4, p.~1063-1167, 2015, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1090/jams/824}{10.1090/jams/824}}.}
@@ -10,6 +11,7 @@
 \BBlogentry{GGM12}{GGM12}{A. Giuliani, R.L. Greenblatt, V. Mastropietro - {\it The scaling limit of the energy correlations in non-integrable Ising models}, Journal of Mathematical Physics, Vol.~53, n.~095214, 2012, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1063/1.4745910}{10.1063/1.4745910}}.}
 \BBlogentry{GMT15b}{GMT15}{A. Giuliani, V. Mastropietro, F. Toninelli - {\it Height fluctuations in non-integrable classical dimers}, EPL (Europhysics Letters), Vol.~109, n.~6, p.~60004, 2015, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1209/0295-5075/109/60004}{10.1209/0295-5075/109/60004}}.}
 \BBlogentry{GMT15}{GMT15b}{A. Giuliani, V. Mastropietro, F.L. Toninelli - {\it Height fluctuations in interacting dimers}, Annales de l'Institut Henri Poincar\'e, Probability and Statistics, in press, arXiv:1406.7710, 2015.}
+\BBlogentry{GBK78}{GBK78}{J. Groeneveld, R. Boel, P. Kasteleyn - {\it Correlation-function identities for general planar Ising systems}, Physica A, Vol.~93, n.~1-2, p.~138-154, 1978, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1016/0378-4371(78)90214-5}{10.1016/0378-4371(78)90214-5}}.}
 \BBlogentry{Ha66}{Ha66}{R.E. Hartwig - {\it Monomer Pair Correlations}, Journal of Mathematical Physics, Vol.~7, n.~2, p.~286-299, 1966, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1063/1.1704931}{10.1063/1.1704931}}.}
 \BBlogentry{HL70}{HL70}{O.J. Heilmann, E.H. Lieb - {\it Monomers and dimers}, Physical Review Letters, Vol.~24, n.~25, p.~1412-1414, 1970, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1103/PhysRevLett.24.1412}{10.1103/PhysRevLett.24.1412}}.}
 \BBlogentry{HL72}{HL72}{O.J. Heilmann, E.H. Lieb - {\it Theory of monomer-dimer systems}, Communications in Mathematical Physics, Vol.~25, n.~3, p.~190-232, 1972, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1007/BF01877590}{10.1007/BF01877590}}.}
@@ -29,5 +31,7 @@
 \BBlogentry{Sm10}{Sm10}{S. Smirnov - {\it Conformal invariance in random cluster models. I. Holomorphic fermions in the Ising model}, Annals of Mathematics, Vol.~172, n.~2, p.~1435-1467, 2010, doi:{\tt\color{blue}\href{http://dx.doi.org/10.4007/annals.2010.172.1435}{10.4007/annals.2010.172.1435}}.}
 \BBlogentry{Sp00}{Sp00}{T. Spencer - {\it A mathematical approach to universality in two dimensions}, Physica A, Vol.~279, p.~250-259, 2000, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1016/S0378-4371(00)00011-X}{10.1016/S0378-4371(00)00011-X}}.}
 \BBlogentry{TF61}{TF61}{H.N.V. Temperley, M.E. Fisher - {\it Dimer problem in statistical mechanics - an exact result}, Philosophical Magazine, Vol.~6, n.~68, p.~1061-1063, 1961.}
+\BBlogentry{Te74}{Te74}{H.N.V. Temperley - {\it Enumeration of graphs on a large periodic Lattice}, Combinatorics: the proceedings of the British Combinatorical Conference, 1973, London Mathematical Society lecture note series Vol.~13, Cambridge University Press, 1974.}
 \BBlogentry{TW03}{TW03}{W. Tzeng, F.Y. Wu - {\it Dimers on a simple-quartic net with a vacancy}, Journal of Statistical Physics, Vol.~110, n.~3-6, p.~671-689, 2003, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1023/A:1022155701655}{10.1023/A:1022155701655}}.}
-\BBlogentry{Wu06}{Wu06}{F.Y. Wu - {\it Pfaffian solution of a dimer-monomer problem: single monomer on the boundary}, Physical Review E, Vol.~74, n.~020104, 2006, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1103/PhysRevE.74.020104}{10.1103/PhysRevE.74.020104}}.}
+\BBlogentry{Wu06}{Wu06}{F.Y. Wu - {\it Pfaffian solution of a dimer-monomer problem: single monomer on the boundary}, Physical Review E, Vol.~74, n.~020104, Erratum: n.~039907(E), 2006, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1103/PhysRevE.74.020104}{10.1103/PhysRevE.74.020104}}.}
+\BBlogentry{WTI11}{WTI11}{F.Y. Wu, W. Tzeng, N.S. Izmailian - {\it Exact solution of a monomer-dimer problem: A single boundary monomer on a nonbipartite lattice}, Physical Review E, Vol.~83, n.~011106, 2011, doi:{\tt\color{blue}\href{http://dx.doi.org/10.1103/PhysRevE.83.011106}{10.1103/PhysRevE.83.011106}}.}
diff --git a/iansecs.sty b/iansecs.sty
index 2720942..8d1cc9f 100644
--- a/iansecs.sty
+++ b/iansecs.sty
@@ -76,6 +76,12 @@
 \AtBeginDocument{
   \def\label#1{\expandafter\outdef{#1}{\safe\tag}}
 
+%% make a custom link at any given location in the document
+\def\makelink#1#2{
+  \hrefanchor
+  \outdef{#1}{#2}
+}
+
 \def\ref#1{%
 % check whether the label is defined (hyperlink runs into errors if this check is ommitted)
 \ifcsname #1@hl\endcsname%