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.
All topics

601 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 · Group theory

Erdős Problem 274

If GG is a group, can there exist an exact covering of GG by more than one coset of different sizes? (i.e. each element is contained in exactly one of the cosets.)

The conjectured answer is no: in every such exact covering, two of the subgroups have the same cardinality.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Real functions

Erdős Problem 1133

Let C>0C>0. There exists ϵ>0\epsilon>0 such that if nn is sufficiently large the following holds.

For any x1,,xn[1,1]x_1,\ldots,x_n\in [-1,1] there exist y1,,yn[1,1]y_1,\ldots,y_n\in [-1,1] such that, if PP is a polynomial of degree m<(1+ϵ)nm<(1+\epsilon)n with P(xi)=yiP(x_i)=y_i for at least (1ϵ)n(1-\epsilon)n many 1in1\leq i\leq n, then maxx[1,1]P(x)>C.\max_{x\in [-1,1]}\lvert P(x)\rvert >C.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Measure and integration

Erdős Problem 1038: I

What is the infimum of |{x ∈ ℝ : |f x| < 1}| over all nonconstant monic polynomials f such that all of its roots are real and contained in [-1,1]?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Mathematical logic

Erdős Problem 1176

Let GG be a graph with chromatic number 1\aleph_1. Is it true that there is a colouring of the edges with 1\aleph_1 many colours such that, in any countable colouring of the vertices, there exists a vertex colour containing all edge colours?

A problem of Erdős, Galvin, and Hajnal. The consistency of this was proved by Hajnal and Komjáth.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Complex analysis

Erdős Problem 509

Let f(z)C[z]f(z) ∈ ℂ[z] be a monic non-constant polynomial. Can the set {zC:f(z)1}\{z ∈ ℂ : |f(z)| ≤ 1\} be covered by a set of closed discs the sum of whose radii is 2≤ 2?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Several complex variables

Erdős Problem 1041

Let f(z)=i=1n(zzi)C[x]f(z) = \prod_{i=1}^{n} (z - z_i) \in \mathbb{C}[x] with zi<1|z_i| < 1 for all ii.

Conjecture: Must there always exist a path of length less than 2 in {zCf(z)<1}\{ z \in \mathbb{C} \mid |f(z)| < 1 \} which connects two of the roots of ff?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Sequences and series

Erdős Problem 243

Let a1<a2<a_1 < a_2 < \dots be a sequence of integers such that limnanan12=1\lim_{n\to\infty} \frac{a_n}{a_{n-1}^2} = 1 and 1anQ\sum \frac{1}{a_n} \in \mathbb{Q}.

Then, for all sufficiently large n1n \ge 1, an=an12an1+1a_n = a_{n-1}^2 - a_{n-1} + 1.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Harmonic analysis

Erdős Problem 996

Does there exists a positive constant C such that for all f ∈ L²[0,1] and all lacunary sequences n, if ‖f - fₖ‖₂ = O(1 / log log log k ^ C), then for almost every x, lim ∑ k ∈ Finset.range N, f (n k • x)) / N = ∫ t, f t ∂t?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Geometry

Erdős Problem 1082: I

Let AR2A\subset \mathbb{R}^2 be a set of nn points with no three on a line. Does AA determine at least n/2\lfloor n/2\rfloor distinct distances?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 100

Is the diameter of AA at least CnCn for some constant C>0C > 0?

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 · Group theory

Erdős Problem 274

Let GG be a group, and let A={a1G1,,akGk}A = \{a_1G_1, \dots, a_kG_k\} be a finite system of left cosets of subgroups G1,,GkG_1, \dots, G_k of GG.

Herzog and Schönheim conjectured that if AA forms a partition of GG with k>1k > 1, then the indices [G:G1],,[G:Gk][G:G_1], \dots, [G:G_k] cannot be distinct.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Mathematical logic

Erdős Problem 592

Determine which countable ordinals ββ have the property that, if α=ωβα = \omega^β, then in any red/blue colouring of the edges of KαK_α there is either a red KαK_α or a blue K3K_3.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Complex analysis

Erdős Problem 513

Let f be a transcendental entire function. What is the greatest possible value of liminf (fun r : ℝ => ratio r f) atTop?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Geometry

Erdős Problem 352

Is there some c>0c > 0 such that every measurable AR2A \subseteq \mathbb{R}^2 of measure c\geq c contains the vertices of a triangle of area 1?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Convex geometry

Erdős Problem 100: Strong

Stronger conjecture: diameter n1\geq n - 1 for sufficiently large nn.

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 · Mathematical logic

Erdős Problem 598

Erdős Problem 598:* Let mm be an infinite cardinal and κ\kappa be the successor cardinal of 202^{\aleph_0}. Can one colour the countable subsets of mm using κ\kappa many colours so that every XmX \subseteq m with X=κ|X| = \kappa contains subsets of all possible colours?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Complex analysis

Erdős Problem 516: Limsup Ratio Eq One Of Has Fejer Gaps

Is it true that for all entire functions f = ∑ aₖzⁿₖ such that ∑' 1 / nₖ < ∞, limsup (fun r => ratio r f) atTop = 1?

Source checked Jul 26, 20261 pinned Lean statementInspect problem