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

15 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
Source labels openWikipedia · Number theory

Bateman-Horn Conjecture

The Bateman-Horn Conjecture* Given a finite collection of distinct irreducible polynomials non-constant f1,f2,,fkZ[x]f_1, f_2, \dots, f_k \in \mathbb{Z}[x] with positive leading coefficients that satisfy the Schinzel condition, the number of positive integers n ≤ x for which all polynomials fif_i are simultaneously prime is asymptotic to: C(f1,f2,,fk)x/(logx)kC(f_1, f_2, \dots, f_k) x / (log x)^k where CC is the Bateman-Horn constant given by the convergent infinite product: C=1DpP(11/p)(k)(1ωp/p)C = \frac{1}{D}\prod_{p\in\mathbb{P}} (1 - 1/p)^(-k) · (1 - \omega_p/p) Here ωp/p\omega_p/p is the number of residue classes modulo pp for which at least one polynomial vanishes.

The Schinzel condition ensures that for each prime pp, there exists some integer nn such that pp does not divide the product f(n)f2(n)f(n)f_(n) f_2(n) \dotsb f_(n), which guarantees the infinite product converges to a positive value.

Source checked Jul 26, 20261 pinned Lean statementInspect problem