5
$\begingroup$

Me and my advisor were looking for a specific proof of the disorder in $2d$ harmonic crystals. We could not find a paper or a textbook with it, so I thought trying my luck here.

Basically, it is a proof of the instability in an harmonic lattice crystal that uses the idea of random walk and the discrete lagrangian, and it is quite self contained. We were able to somewhat reconstruct it, but a firm reference would obviously help. If my terminology is somewhat vague, here is exactly the theorem we're trying to find its proof:

Consider the lattice $\Lambda = [-L\cdots L]^2 \in \mathbb{Z} ^2 $ and a scalar field $X$ on it, i.e. $ \varphi (x) \in \mathbb{R} $. The particles outside $\Lambda $ are tied down, meaning $ \varphi (x) = 0 $, $\forall x \notin \Lambda $.

Energy will be defined by $\nu (X) = \Sigma _{x \sim y} (\varphi (x) \ - \varphi(y))^2$, sum over all neighboring lattice points. The partition function in the regular way:

$$Z = \int\limits_{\mathbb{R} ^ {|\Lambda|} } dX \exp(-\nu (X)) $$

The theorem is as follows:

For $L \to \infty$, we have that $\langle\varphi (0)^2 \rangle = \int\limits_{\mathbb{R} ^ | \Lambda |} dX \exp(-\nu (X)) \varphi (0) ^2 $ diverges like $\log (| \Lambda | )$

$\endgroup$
  • $\begingroup$ Can you define $\langle\varphi(0)\rangle$? $\endgroup$ – Liviu Nicolaescu Nov 10 '14 at 13:57
  • $\begingroup$ Adding it to the original question $\endgroup$ – Amir Sagiv Nov 10 '14 at 14:46
  • $\begingroup$ I think you might want $x\sim y$ also for $x-y=(\pm1,\pm1)$. Otherwise $\langle\phi(0)^2\rangle$ will diverge for more boring reasons. $\endgroup$ – Yoav Kallus Nov 10 '14 at 18:48
  • $\begingroup$ I wrote that this is only for neighbouring $x,y$ $\endgroup$ – Amir Sagiv Nov 10 '14 at 21:10
10
$\begingroup$

The object you look at is called the Gaussian Free Field (on your graph, with zero boundary conditions) in dimension $2$. There is a lot known about it. For some pointers see the Wiki page http://en.wikipedia.org/wiki/Gaussian_free_field, my lecture notes http://www.wisdom.weizmann.ac.il/~zeitouni/notesGauss.pdf and Sznitman's lecture notes https://www.math.ethz.ch/u/sznitman/SpecialTopics.pdf. Your specific question really asks about the Green function for the Laplacian in the two dimensional box, for which detailed results are available in the probabilistic literature on random walks, see Spitzer's book or Lawler's book.

$\endgroup$
  • $\begingroup$ Which books, to be precise? $\endgroup$ – Amir Sagiv Nov 13 '14 at 21:46
  • 1
    $\begingroup$ Spitzer: principles of random walks (I believe this is the only book Spitzer wrote). Lawler: intersection of random walks $\endgroup$ – ofer zeitouni Nov 14 '14 at 7:23
  • $\begingroup$ Sections 1.5 and 1.6 of the book by Lawler have what you are looking for. $\endgroup$ – Abdelmalek Abdesselam Jan 12 '15 at 15:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.