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 789: Cube Root Linearithmic

Let h(n)h(n) be maximal such that if AZA\subseteq \mathbb{Z} with A=n\lvert A\rvert=n then there is BAB\subseteq A with Bh(n)\lvert B\rvert \geq h(n) such that if a1++ar=b1++bsa_1+\cdots+a_r=b_1+\cdots+b_s with ai,biBa_i,b_i\in B then r=sr=s.

Is h(n)=Θ((nlog(n)))1/3)h(n) = \Theta((n\log(n)))^{1/3})?

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

Erdős Problem 269: Irrational

Let PP be a finite set of primes with P2|P| \ge 2 and let {a1<a2<}\{a_1 < a_2 < \dots\} be the set of positive integers whose prime factors are all in PP. Is the sum n=11[a1,,an]\sum_{n=1}^\infty \frac{1}{[a_1,\ldots,a_n]} irrational?

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

Erdős Problem 789: Is Big O Cube Root Linearithmic

By the solved variant erdos_789.variants.cube_root_linearithmic_isBigO, in order to prove erdos_789.variants.cube_root_linarithmic it suffices to show h(n)=O((nlog(n))1/3)h(n) = O((n\log(n))^{1/3}).

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

Erdős Problem 276

Is there an infinite Lucas sequence a0,a1,a_0, a_1, \ldots where an+2=an+1+ana_{n+2} = a_{n+1} + a_n for n0n \ge 0 such that all aka_k are composite, and yet no integer has a common factor with every term of the sequence?

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

Erdős Problem 812: I

Is it true that R(n+1)R(n)1+c\frac{R(n+1)}{R(n)}\geq 1+c for some constant c>0c>0, for all large nn?

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

Erdős Problem 279

Let k3k\geq 3. Is there a choice of congruence classes ap(modp)a_p\pmod{p} for every prime pp such that all sufficiently large integers can be written as ap+tpa_p+tp for some prime pp and integer tkt\geq k?

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

Erdős Problem 812: Ii

Is it true that R(n+1)R(n)n2R(n+1)-R(n) \gg n^2?

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

Erdős Problem 28

If ANA ⊆ \mathbb{N} is such that A+AA + A contains all but finitely many integers then lim sup1A1A(n)=\limsup 1_A ∗ 1_A(n) = \infty.

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

Erdős Problem 817

Let k3k \geq 3. Define gk(n)g_k(n) to be the minimal NN such that {1,...,N}\{1, ..., N\} contains some AA of size A=n|A| = n such that

A={aAϵaa:ϵa{0,1}} \langle A\rangle = \left\{\sum_{a \in A} \epsilon_a a : \epsilon_a \in\{0, 1\}\right\}

contains no non-trivial kk-term arithmetic progression. Estimate gk(n)g_k(n). In particular, is it true that

g3(n)3n g_3(n) \gg 3^n
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 287

Let k2k\geq2. Is it true that, for any distinct integers 1<n1<<nk1 < n_1 < \cdots < n_k such that i=1k1ni=1\sum_{i=1}^k \frac{1}{n_i} = 1, we must have max(ni+1ni)3\max(n_{i+1} - n_i) \geq 3?

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

Erdős Problem 82

F(n)/lognasnF(n) / \log n \to \infty as n \to \infty

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

Erdős Problem 287: Prime Conjecture

For all large NN, there exists a prime p[N,2N]p \in [N, 2N] such that p+12\frac{p+1}{2} is also prime.

This is an open conjecture. If true, it would imply erdos_287 for all but at most finitely many exceptions (see erdos_287.variants.prime_conjecture_implies).

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

Erdős Problem 835

Does there exist a k>2k>2 such that the kk-sized subsets of {1,...,2k} can be coloured with k+1k+1 colours such that for every A{1,,2k}A\subset \{1,\ldots,2k\} with A=k+1\lvert A\rvert=k+1 all k+1k+1 colours appear among the kk-sized subsets of AA?

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

Erdős Problem 288

Is it true that there are only finitely many pairs of intervals I1I_1, I2I_2 such that

n1I11n1+n2I21n2N?\sum_{n_1 \in I_1} \frac{1}{n_1} + \sum_{n_2 \in I_2} \frac{1}{n_2} \in \mathbb{N}?
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Combinatorics

Erdős Problem 835: Johnson

Alternative statement of Erdős Problem 835 using the chromatic number of the Johnson graph. This is equivalent to asking whether there exists k>2k > 2 such that the chromatic number of the Johnson graph J(2k,k)J(2k, k) is k+1k+1.

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

Erdős Problem 288: I2 Card Eq 1

This is still open even if I2=1|I_2| = 1.

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

Erdős Problem 835

Is the chromatic number of J(2 * k, k) always at least k + 2?

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

Erdős Problem 288: K Intervals

It is perhaps true with two intervals replaced by any kk intervals.

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

Erdős Problem 85

Is it true that, for all large nn, f(n+1)f(n)f(n + 1) \ge f(n)?

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

Erdős Problem 288: Exists K Gt 2

Is it true for any k>2k > 2 that only finitely many kk intervals satisfy this condition?

Source checked Jul 26, 20261 pinned Lean statementInspect problem