Lin's theorem shows the existance of a localized basis for the low-energy space in models of non-interacting fermions on a finite lattice on a disk. This was observed by Matt Hastings. <p> See "Topology and phases in fermionic systems" in the Journal of Statistical Mechanics: Theory and Experiment, 2008, L01001, especially the next to last paragraph.