Generic properties of dispersion relations for discrete periodic operators

Abstract

An old problem in mathematical physics deals with the structure of the dispersion relation of the Schrödinger operator −∆ + V (x) in R n with periodic potential near the edges of the spectrum, i.e. near extrema of the dispersion relation. A well known and widely believed conjecture says that generically (with respect to perturbations of the periodic potential) the extrema are attained by a single branch of the dispersion relation, are isolated, and have non-degenerate Hessian (i.e., dispersion relations are graphs of Morse functions). In particular, the important notion of effective masses hinges upon this property.The progress in proving this conjecture has been slow. It is natural to try to look at discrete problems, where the dispersion relation is (in appropriate coordinates) an algebraic, rather than analytic, variety. Moreover, such models are often used for computation in solid state physics (the tight binding model). Alas, counterexamples exist showing that the genericity fails in some discrete situations.We consider a general periodic discrete operator depending polynomially on some parameters. We prove the natural dichotomy: the non-degeneracy of extrema either fails or holds in the complement of a proper algebraic subset of the parameters. Thus, a random choice of a point in the parameter space gives the correct answer "with probability one."We then use methods from computational and combinatorial algebraic geometry to prove the genericity conjecture for a particular diatomic Z 2 -periodic structure with many free parameters. Here several new approaches to the genericity problem introduced and many examples of both alternatives are provided.

Irreducibility of the Fermi variety for discrete periodic Schrödinger operators and embedded eigenvalues

“…The structure of extrema of band functions is very important in many problems, such as homogenization theory, Green's function asymptotics and Liouville type theorems. We refer readers to [8,11,14,30,31] and references therein for more details.…”

“…A weaker version of (10) was established in [42] and [16], namely, there is no non-trivial solution of (−∆ + Ṽ )u = 0 such that (11) |u(x)| ≤ e −c|x| 4/3+ε for some ε > 0.…”

Degenerate band edges in periodic quantum graphs

“…However, in the example of [18] there are only 2 free parameters to perturb the operator with and therefore the degeneracy may be attributed to the paucity of available perturbations. To investigate this question futher, [15] considered a wider class of Z 2 -periodic discrete graphs and it was found that the set of parameters of vertex and edge weights for which the dispersion relation of the discrete Laplace-Beltrami operator has a degenerate extremum is a semi-algebraic subset of co-dimension 1 in the space of all parameters. These examples show that the non-degeneracy of gap edges is a delicate issue even in the discrete setting.…”