Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
1 topic

14 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Field theory and polynomials

Erdős Problem 1150

Is there some constant c>0c > 0 such that, for all large enough nn and all polynomials PP of degree nn with coefficients in {1,1}\{-1, 1\}, maxz=1P(z)>(1+c)n?\max_{|z|=1} |P(z)| > (1 + c) \sqrt{n}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Field theory and polynomials

Erdős Problem 477

Is there a polynomial f:ZZf:\mathbb{Z}\to \mathbb{Z} of degree at least 22 and a set AZA\subset \mathbb{Z} such that for any zZz\in \mathbb{Z} there is exactly one aAa\in A and b{f(n):nZ}b\in \{ f(n) : n\in\mathbb{Z}\} such that z=a+bz=a+b?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Field theory and polynomials

Erdős Problem 477: X Pow Three

Probably there is no such AA for the polynomial X3X^3.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Field theory and polynomials

Erdős Problem 477: Monomial

Probably there is no such AA for the polynomial XkX^k for any k2k \ge 2. This is asked in [Sek59].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Field theory and polynomials

Erdős Problem 522

Let f(z)=0knϵkzkf(z)=\sum_{0\leq k\leq n} \epsilon_k z^k be a random polynomial, where ϵk{1,1}\epsilon_k\in \{-1,1\} independently uniformly at random for 0kn0\leq k\leq n.

Is it true that, if RnR_n is the number of roots of f(z)f(z) in {zC:z1}\{ z\in \mathbb{C} : \lvert z\rvert \leq 1\}, then

Rnn/21 \frac{R_n}{n/2}\to 1

almost surely?

There is some ambiguity as to whether the intended coefficient set is {1,1}\{-1, 1\} or {0,1}\{0, 1\}, see erdos_522.variants.zero_one for the alternate version.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Field theory and polynomials

Erdős Problem 522: Zero One

Let f(z)=0knϵkzkf(z)=\sum_{0\leq k\leq n} \epsilon_k z^k be a random polynomial, where ϵk{0,1}\epsilon_k\in \{0,1\} independently uniformly at random for 0kn0\leq k\leq n.

Is it true that, if RnR_n is the number of roots of f(z)f(z) in {zC:z1}\{ z\in \mathbb{C} : \lvert z\rvert \leq 1\}, then

Rnn/21 \frac{R_n}{n/2}\to 1

almost surely?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openMathOverflow · Field theory and polynomials

Mathoverflow 21003

Is there any polynomial f(x,y)Q[x,y]f(x, y) \in \mathbb{Q}[x, y] such that f:Q×QQf : \mathbb{Q} \times \mathbb{Q} \rightarrow \mathbb{Q} is a bijection?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openMathOverflow · Field theory and polynomials

Mathoverflow 339137

Let P(x),Q(x)R[x]P(x), Q(x) ∈ ℝ[x] be two monic polynomials with non-negative coefficients. If R(x)=P(x)Q(x)R(x) = P(x)Q(x) is a 0,10,1 polynomial (coefficients only from {0,1}\{0,1\}), then P(x)P(x) and Q(x)Q(x) are also 0,10, 1 polynomials.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Field theory and polynomials

Casas-Alvero Conjecture

The Casas-Alvero conjecture states that in characteristic zero, if a monic polynomial P has the Casas-Alvero property, then P = (X - α)ᵈ for some α.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Field theory and polynomials

Inverse Galois problem

The Inverse Galois Problem: every finite group is isomorphic to the Galois group of a Galois extension of the rationals.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Field theory and polynomials

Mean value problem

Given a complex polynomial pp of degree d2d ≥ 2 and a complex number zz there is a critical point cc of pp, such that p(z)p(c)/zcp(z)|p(z)-p(c)|/|z-c| ≤ |p'(z)|.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Field theory and polynomials

Sendov's conjecture

Sendov's conjecture* states that for a polynomial f(z)=(zr1)(zrn),(n2)f(z)=(z-r_{1})\cdots (z-r_{n}),\qquad (n\geq 2) with all roots r1,...,rnr_1, ..., r_n inside the closed unit disk z1|z| ≤ 1, each of the nn roots is at a distance no more than 11 from at least one critical point.

Source checked Jul 26, 20261 pinned Lean statementInspect problem