Erdős problem 228 · problems.science

Does there exist, for all large $n$ , a polynomial $P$ of degree $n$ , with coefficients $\pm1$ , such that $\sqrt n \ll |P(z)| \ll \sqrt n$ for all $|z|=1$ , with the implied constants independent of $z$ and $n$ ?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/228.lean

Formal Conjectures

FormalConjectures/ErdosProblems/228.leanErdos228.erdos_2287 linesExact file

1True ↔2  ∃ c₁ c₂,3    ∀ᶠ (n : ℕ) in Filter.atTop,4      ∃ p,5        p.degree = ↑n ∧6          (∀ i ≤ n, p.coeff i = 1 ∨ p.coeff i = -1) ∧7            ∀ (z : ℂ), ‖z‖ = 1 → √↑n < c₁ * ‖Polynomial.eval z p‖ ∧ ‖Polynomial.eval z p‖ < c₂ * √↑n

SolvedStatement only, no proof

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Continue

Search problems.science