Registry · Theorem
V.T51
tau-effective
formalized
V.T51 — Spectral Distance --- IV.T11
The spectral distance between adjacent lemniscate sectors on L = S^1 v S^1 is sqrt(3) = |1 - omega| where omega = e^{2 pi i/3} is the primitive cube root of unity. The three sectors are the chi_+ lobe, chi_- lobe, and the crossing point.
Book V
Part 2
Ch. 20