Smyth's conjecture and a non-deterministic Hasse principle

Jordan S. Ellenberg, Will Hardt

In a 1986 paper, Smyth proposed a conjecture about which integer-linear relations were possible among Galois-conjugate algebraic numbers. We prove this conjecture. The main tools (…