This is off-topic: But powerful techniques to show that gap exist, can be found in the following papers:

http://front.math.ucdavis.edu/0511.5392

http://front.math.ucdavis.edu/0903.2281

of course. The setting is somewhat different, since they consider discrete Schroedinger operators ...