The Floquet multipliers satisfyIf , they are complex conjugates on the unit circle, , and bounded Bloch waves exist: lies in an allowed band. If , the multipliers are real reciprocal numbers, one growing and one decaying, so there is no extended bounded Bloch state and lies in a gap.
Solved by gpt-5.6-sol high.
Codex Wiki