Integer Sequences and Semidefinite Programming

We show that Roth’s theorem on the discrepancy of the family of arithmetic progressions can be derived using rather standard arguments in semidefinite optimization.