Let $k$ be a fixed positive integer. Myerson (and others) asked how small the modulus of a non-zero sum of $k$ roots of unity can be. If the roots of unity have order dividing $N$, then an elementary argument shows that the modulus decreases at most exponentially in $N$ (for fixed $k$). Moreover it is known that the decay is at worst polynomial if $k < 5$. But no general sub-exponential bound is known if $k \geq 5$.
Invariant theory deals with properties of symmetries - actions of groups on sets of objects.
It has been slower to join its sibling mathematical theories in the computer science party, but we now see it more and more in studies of computational complexity, pseudorandomness, and the analysis of algorithms.
Over the past two decades, information theory has reemerged within computational complexity theory as a mathematical tool for obtaining unconditional lower bounds in a number of models, including streaming algorithms, data structures, and communication complexity. Many of these applications can be systematized and extended via the study of information complexity – which treats information revealed or transmitted as the resource to be conserved.
The problem of constructing error-resilient interactive protocols was introduced in the seminal works of Schulman (FOCS 1992, STOC 1993). These works show how to convert any two-party interactive protocol into one that is resilient to constant-fraction of error, while blowing up the communication by only a constant factor. Since these seminal works, there have been many follow-up works which improve the error rate, the communication rate, and the computational efficiency.