“…Sinai on thermodynamic formalism]). The method of trace maps has led, for example, to fundamental results in spectral theory of discrete Schrödinger operators and Ising models on one-dimensional quasi-periodic lattices (for Schrödinger operators: [5,12,14,15,17,18,20,23,48,60,71], for Ising models: [6,7,13,24,33,74,76,84], and references therein).…”