For λ ≠ 1 {\displaystyle \lambda \neq 1} , the formula was discovered numerically by Aubry and André and proved by Jitomirskaya and Krasovsky.
λ ≠ 1 {\displaystyle \lambda \neq 1} に対する式は、Aubry および André によって数値的に発見され、Jitomirskaya と Krasovsky によって解かれた。