Skip to content

Erdős problem 990

Let f=a0++adxdC[x]f=a_0+\cdots+a_dx^d\in \mathbb{C}[x] be a polynomial. Is it true that, if ff has roots z1,,zdz_1,\ldots,z_d with corresponding arguments θ1,,θd[0,2π]\theta_1,\ldots,\theta_d\in [0,2\pi], then for all intervals I[0,2π]I\subseteq [0,2\pi] (#θiI)I2πd(nlogM)1/2, \left\lvert (\# \theta_i \in I) - \frac{\lvert I\rvert}{2\pi}d\right\rvert \ll \left(n\log M\right)^{1/2}, where nn is the number of non-zero coefficients of ff and M=a0++ad(a0ad)1/2. M=\frac{\lvert a_0\rvert+\cdots +\lvert a_d\rvert}{(\lvert a_0\rvert\lvert a_d\rvert)^{1/2}}.

Workspace

Open this exact Problem, source revision, and authority Repository in Workbench. This handoff does not clone, switch, upload, or execute anything.

Canvas

public preview
  1. Source#990
  2. ResultNone
  3. Checks0

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

  • Formalization

    Erdős AI contributions wiki · 10 Apr, 2026

    Machine
    GPT-5.4 Pro
    Open the source record
  • AI standalone

    Erdős AI contributions wiki · 9 Apr, 2026

    Machine
    OpenAI internal model
    Open the source record
  • construction

    VibeMathed

    Machine
    OpenAI internal model
    People
    Boris Alexeev, Moe Putterman, Mehtaab Sawhney, Mark Sellke, Gregory Valiant
    Reported outcome
    resolved
    Open the source record

Search problems.science

Find a Problem, Result, source, or page