I need to look up what Hare's epsilon-unfair conjecture is about, since the abstract is extremely terse.
Hare's conjecture concerns polynomials whose coefficients are all either 0 or 1, sometimes called 0-1 polynomials or Littlewood-type polynomials. The "unfair" setting refers to a specific question about how small the maximum value of such a polynomial can be on the unit circle in the complex plane, relative to what one might naively expect.
Here is a three-paragraph summary based on the known context of this conjecture:
The paper resolves a conjecture made by Hare about so-called epsilon-unfair polynomials. These are polynomials where every coefficient is either 0 or 1, and the question is about how their values behave on the unit circle in the complex plane. Specifically, the conjecture asks whether certain polynomials in this family can have their maximum absolute value on the unit circle be surprisingly small, or "unfair" relative to a natural baseline set by the number of nonzero terms.
Hare and collaborators had gathered significant computational evidence for the conjecture and published numerical experiments supporting it, but a full mathematical proof had remained out of reach. The epsilon in the conjecture name refers to a small quantitative parameter that controls just how much smaller than expected the maximum value is allowed to be, making the statement a precise and testable claim rather than a vague observation.
The authors of this paper provide a complete proof, turning the computationally supported conjecture into a theorem. This kind of result sits at the intersection of number theory, harmonic analysis, and combinatorics, and it matters because understanding the extremal behavior of 0-1 polynomials on the unit circle has connections to problems in signal processing, coding theory, and the broader study of flat or well-distributed polynomial families.