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

1194 of 1194 statement records

17 source collections · 43 mathematical fields

Source labels openErdős Problems · Combinatorics

Erdős Problem 893

Does the limit limnf(2n)f(n)\lim_{n\to\infty} \frac{f(2n)}{f(n)} tend to infinity?

(Other finite limits have been ruled out by [KoLu25], see below)

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

Erdős Problem 306

Let abQ>0\frac a b\in \mathbb{Q}_{>0} with bb squarefree. Are there integers 1<n1<<nk1 < n_1 < \dots < n_k, each the product of two distinct primes, such that ab=1n1++1nk\frac{a}{b}=\frac{1}{n_1}+\cdots+\frac{1}{n_k}?

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

Erdős Problem 9

Is the upper density of the set of odd numbers that cannot be expressed as a prime plus two powers of 2 positive?

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

Erdős Problem 307

Are there two finite set of primes PP and QQ such that

1=(pP1p)(qQ1q)1 = \left( \sum_{p \in P} \frac{1}{p} \right) \left( \sum_{q \in Q} \frac{1}{q} \right)

?

Asked by Barbeau [Ba76].

[Ba76] Barbeau, E. J., Computer challenge corner: Problem 477: A brute force program.

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 313

Are there infinitely many pairs (m, P) where m ≥ 2 is an integer and P is a set of distinct primes such that the following equation holds: pP1p=11m\sum_{p \in P} \frac{1}{p} = 1 - \frac{1}{m}?

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 · 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 openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 1

Let AA be a set of nn positive integers. Does AA contain a sum-free set of size at least n3+(n)\frac n 3 + Ω(n), where (n)Ω(n) → ∞ as nn → ∞?

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 openGreen's Open Problems · Combinatorics

Green's Open Problem 12

Let GG be an abelian group of size NN, and suppose that AGA \subset G has density α\alpha. Are there at least α15N10\alpha^{15} N^{10} tuples (x1,,x5,y1,,y5)G10(x_1, \dots, x_5, y_1, \dots, y_5) \in G^{10} such that xi+yjAx_i + y_j \in A whenever j{i,i+1,i+2}j \in \{i, i+1, i+2\}?

Note: We interpret indices modulo 5.

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