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 · Combinatorics

Erdős Problem 918: Ii

Is there a graph with ω+1\aleph_{\omega+1} vertices and chromatic number 1\aleph_1 such that every subgraph on ω\aleph_\omega vertices has chromatic number 0\leq\aleph_0?

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

Erdős Problem 918: I

Is there a graph with 2\aleph_2 vertices and chromatic number 2\aleph_2 such that every subgraph on 1\aleph_1 vertices has chromatic number 0\leq\aleph_0?

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

Erdős Problem 317

Is there some constant c>0c>0 such that for every n1n\geq 1 there exists some δk{1,0,1}\delta_k\in \{-1,0,1\} for 1kn1\leq k\leq n with 0<1knδkk<c2n?0< \left\lvert \sum_{1\leq k\leq n}\frac{\delta_k}{k}\right\rvert < \frac{c}{2^n}?

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

Erdős Problem 918: Ii

Is there a graph with ω+1\aleph_{\omega+1} vertices and chromatic number 1\aleph_1 such that every subgraph on ω\aleph_\omega vertices has chromatic number 0\leq\aleph_0?

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

Erdős Problem 317: Claim2

Is it true that for sufficiently large nn, for any δk{1,0,1}\delta_k\in \{-1,0,1\}, 1knδkk>1[1,,n]\left\lvert \sum_{1\leq k\leq n}\frac{\delta_k}{k}\right\rvert > \frac{1}{[1,\ldots,n]} whenever the left-hand side is not zero?

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

Erdős Problem 920

Is it true that, for k4k\geq 4, fk(n)n11k1(logn)ckf_k(n) \gg \frac{n^{1-\frac{1}{k-1}}}{(\log n)^{c_k}} for some constant ck>0c_k>0?

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

Erdős Problem 32

Does there exist a set ANA \subseteq \mathbb{N} such that A{1,,N}=o((logN)2)|A \cap \{1, \ldots, N\}| = o((\log N)^2) and every sufficiently large integer can be written as p+ap + a for some prime pp and aAa \in A?

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

Erdős Problem 949

Let SRS \subseteq \mathbb{R} be a set containing no solutions to a+b=ca + b = c. Must there be a set ARSA \subseteq \mathbb{R} \setminus S of cardinality continuum such that A+ARSA + A \subseteq \mathbb{R}\setminus S?

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

Erdős Problem 32: Log Bound

Can the bound O(logN)O(\log N) be achieved for an additive complement to the primes? [Guy04] writes that Erdős offered $50 for the solution.

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

Erdős Problem 321

Let R(N)R(N) be the size of the largest A{1,...,N}A\subseteq\{1, ..., N\} such that all sums nS1n\sum_{n\in S} \frac{1}{n} are distinct for SAS\subseteq A. What is R(N)R(N)?

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

Erdős Problem 321: Is Theta

Let R(N)R(N) be the size of the largest A{1,...,N}A\subseteq\{1, ..., N\} such that all sums nS1n\sum_{n\in S} \frac{1}{n} are distinct for SAS\subseteq A. What is Θ(R(N))\Theta(R(N))?

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

Erdős Problem 321: Is Big O

Let R(N)R(N) be the size of the largest A{1,...,N}A\subseteq\{1, ..., N\} such that all sums nS1n\sum_{n\in S} \frac{1}{n} are distinct for SAS\subseteq A. Find the simplest g(N)g(N) such that R(N)=O(g(N))R(N) = O(g(N)).

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

Erdős Problem 321: Is Little O

Let R(N)R(N) be the size of the largest A{1,...,N}A\subseteq\{1, ..., N\} such that all sums nS1n\sum_{n\in S} \frac{1}{n} are distinct for SAS\subseteq A. Find the simplest g(N)g(N) such that R(N)=o(g(N))R(N) = o(g(N)).

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

Erdős Problem 323: I

Is it true that fk,k(x)ϵx1ϵf_{k,k}(x) \gg_\epsilon x^{1-\epsilon} for all ϵ>0\epsilon>0?

This would have significant applications to Waring's problem. Erdős and Graham describe this as 'unattackable by the methods at our disposal'.

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

Erdős Problem 323: Ii

Is it true that if m<km < k then fk,m(x)xm/kf_{k,m}(x) \gg x^{m/k} for sufficiently large xx?

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

Erdős Problem 323: K Gt 2

For k>2k>2 it is not known if fk,k(x)=o(x)f_{k,k}(x)=o(x).

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

Erdős Problem 324

Does there exist a polynomial f(x)Z[x]f(x)\in\mathbb{Z}[x] such that all the sums f(a)+f(b)f(a)+f(b) with a<ba < b nonnegative integers are distinct?

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

Erdős Problem 324: Quintic

Probably f(x)=x5f(x) = x^5 has the property that the sums f(a)+f(b)f(a)+f(b) with a<ba < b nonnegative integers are distinct.

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

Erdős Problem 325

Writing fk,3(x)f_{k, 3}(x) for the number of integers x\leq x which are the sum of three kkth powers, is it true that fk,3(x)x(3/k)f_{k, 3}(x) \gg x ^ (3 / k)?

Source checked Jul 26, 20261 pinned Lean statementInspect problem