Bounding a spectral gap: what proof techniques exist? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T12:58:38Z http://mathoverflow.net/feeds/question/20726 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/20726/bounding-a-spectral-gap-what-proof-techniques-exist Bounding a spectral gap: what proof techniques exist? Steve Flammia 2010-04-08T13:51:13Z 2011-08-22T21:19:10Z <p>The following situation is ubiquitous in mathematical physics. Let $\Lambda_N$ be a finite-size lattice with linear size $N$. An typical example would be the subset of $\mathbb{Z}\times\mathbb{Z}$ given by those pairs of integers $(j,k)$ such that $j,k \in$ { $0,\ldots,N-1$}. On each vertex $j$ of the lattice place a copy of the vector space $\mathbb{C}^d$. The total space will be the tensor product of all of these spaces. Then define a Hamiltonian acting on this total space as follows: $$H = \sum_{k \in \Lambda_N} h_k$$ for some Hermitian matrices $h_k$ which act like the identity everywhere except on the vector spaces located on site $k$ and in the neighborhood surrounding $k$. Typically, one is interested in the case where there is a translational symmetry (except at the boundary) in the definition of the $h_k$. Denote the eigenvalues of $H$ in increasing order by $\lambda_1 \le \lambda_2 \le \ldots \le \lambda_M$. </p> <blockquote> <p>For an arbitrary fixed family of Hamiltonians $H$, what proof techniques exist for computing an upper and a lower bound on $\Delta = \lambda_2 - \lambda_1$ as a function of $N$? In particular, we want to know if $\Delta$ decays to zero as a function of $N$, or if it is lower-bounded by some constant independent of $N$.</p> </blockquote> <p>The gap $\Delta$ is the energy gap between the ground state and the first excited state of an interacting quantum system. Understanding this quantity tremendously impacts our understanding of the different phases of matter, but it is extremely difficult to compute or even bound for all but the simplest cases (like when all the $h_k$ commute). This difficulty persists even when there is significant additional (physically motivated) structure in the problem, such as considering only $h_k$ which are projectors, and where there is a unique zero-energy eigenstate (all others having positive energy for any finite $N$).</p> <p>More general formulations of this question also have applications to expansion properties of graphs, mixing times of Markov chains, and many other things. I’m happy to hear answers related to these as well, but I’m hoping to find answers that are useful for the structure of local Hamiltonians, as defined above.</p> http://mathoverflow.net/questions/20726/bounding-a-spectral-gap-what-proof-techniques-exist/20728#20728 Answer by Steve Flammia for Bounding a spectral gap: what proof techniques exist? Steve Flammia 2010-04-08T13:56:33Z 2010-08-01T17:04:34Z <p><em>Bounding angles in projector-valued Hamiltonians</em></p> <p>Suppose that each of the $h_k$ are projectors, and suppose that we shift the total energy so that $\lambda_1 = 0$. Further suppose that this eigenspace is known to be non-degenerate for every finite $N$. Then one proof technique that sometimes works (at least in one dimension, but it can be generalized) to prove an $N$-independent lower bound is the following, which to the best of my knowledge was first discussed in </p> <blockquote> <p>M. Fannes, B. Nachtergaele, R. F. Werner, <i>Finitely correlated states on quantum spin chains</i>, Comm. Math. Phys. Vol. 144, Num. 3 (1992), 443-490. <a href="http://www.ams.org/mathscinet-getitem?mr=1158756" rel="nofollow">MathSciNet:MR1158756</a></p> </blockquote> <p>The bound is as follows. Let $\theta_{j,k}$ be the smallest non-zero angle between the pair of projectors $h_j$ and $h_k$. That is, $\cos^2(\theta_{j,k})$ is the largest eigenvalue not equal to one of $h_j h_k h_j$. Define $\theta = \min_{j,k} \theta_{j,k}$. Then FNW show that $$\Delta \ge 1-2 \cos(\theta) .$$ As long as $\cos(\theta)$ is less than 1/2, there is an $N$-independent lower bound on $\Delta$, since this involves only local information. The proof proceeds by squaring $H$ and then bounding how negative the anti-commutators can be by using this angle $\theta$.</p> http://mathoverflow.net/questions/20726/bounding-a-spectral-gap-what-proof-techniques-exist/34147#34147 Answer by Helge for Bounding a spectral gap: what proof techniques exist? Helge 2010-08-01T20:10:59Z 2010-08-01T20:10:59Z <p>This is off-topic: But powerful techniques to show that gap exist, can be found in the following papers:</p> <p><a href="http://front.math.ucdavis.edu/0511.5392" rel="nofollow">http://front.math.ucdavis.edu/0511.5392</a></p> <p><a href="http://front.math.ucdavis.edu/0903.2281" rel="nofollow">http://front.math.ucdavis.edu/0903.2281</a></p> <p>of course. The setting is somewhat different, since they consider discrete Schroedinger operators ...</p> http://mathoverflow.net/questions/20726/bounding-a-spectral-gap-what-proof-techniques-exist/73440#73440 Answer by jjcale for Bounding a spectral gap: what proof techniques exist? jjcale 2011-08-22T21:19:10Z 2011-08-22T21:19:10Z <p>For VBS quantum antiferromagnets in one dimension see also :</p> <p>Ian Affleck, Tom Kennedy, Elliott H. Lieb and Hal Tasaki, Valence bond ground states in isotropic quantum antiferromagnets. Comm. Math. Phys., Volume 115, Number 3 (1988) </p> <p>and</p> <p>Stefan Knabe, Energy gaps and elementary excitations for certain VBS-quantum antiferromagnets, Journal of Statistical Physics Volume 52, Numbers 3-4, 1988</p>