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

Green's Open Problem 39

If AZ/pZA \subset \mathbb{Z}/p\mathbb{Z} is random, A=p|A| = \sqrt{p}, can we almost surely cover Z/pZ\mathbb{Z}/p\mathbb{Z} with 100p100\sqrt{p} translates of AA? [Gr24]

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

Erdős Problem 386: Two

Can (n2)\binom{n}{2} be the product of consecutive primes infinitely often?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Green's Open Problem 39: Variant 101

"I do not know how to answer this even with 100 replaced by 1.01." [Gr24]"

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

Erdős Problem 387: Schinzel

The following is Schinzel's conjecture, which appears in [Gu04].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Green's Open Problem 39: Variant Theta

Similar questions are interesting with p\sqrt{p} replaced by pθp^\theta for any θ1/2\theta \le 1/2. [Gr24]

NOTE: using CpθC p^\theta translates as stated makes the conjecture trivially false by the pigeonhole principle. Indeed for a set of size pθp^\theta, we cover at most Cp2θC p^{2\theta} elements, which is strictly less than pp for θ<1/2\theta < 1/2. We interpret the question as asking whether O(p1θ)O(p^{1-\theta}) translates suffice. This generalizes the main conjecture where p=p11/2\sqrt{p} = p^{1-1/2}.

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

Erdős Problem 389

Is it true that for every n1n \geq 1 there is a kk such that

n(n+1)(n+k1)(n+k)(n+2k1)? n(n + 1) \cdots (n + k - 1) \mid (n + k) \cdots (n + 2k - 1)?
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 40

Does f(r)f(r) \to \infty? [Gr24]

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

Erdős Problem 39

Is there an infinite Sidon set ANA\subset \mathbb{N} such that A{1,N}ϵN1/2ϵ\lvert A\cap \{1\ldots,N\}\rvert \gg_\epsilon N^{1/2-\epsilon} for all ε>0\varepsilon > 0?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 40: F Eq One For All

The possibility that f(r) = 1 for all r has not been ruled out [Gr24]

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

Erdős Problem 390

Does there exists a constant c such that f n - 2 * n ~ c * (n / log n)?

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

Erdős Problem 394: I

Is it true that nxt2(n)x2(logx)c\sum_{n\leq x}t_2(n)\ll \frac{x^2}{(\log x)^c} for some c>0c>0?

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

Erdős Problem 394: Ii

Is it true that, for k2k\geq 2, nxtk+1(n)=o(nxtk(n))?\sum_{n\leq x}t_{k+1}(n) =o\left(\sum_{n\leq x}t_k(n)\right)?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 40: All N

Does fall(r)f_{\text{all}}(r) \to \infty? [Gr24]

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

Erdős Problem 394: Hall Conjecture

Erdős and Hall conjecture that the sum is o(x2/(logx)c)o(x^2/(\log x)^c) for any c<log2c<\log 2.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 5

Which finite groups have the smallest biggest product-free sets?

We formalise this as: determine the supremum of exponents α\alpha such that every nontrivial finite group of order nn contains a product-free set of size cnα\geq c n^{\alpha} for some absolute constant c>0c > 0. (The trivial group is excluded since its only product-free subset is empty.) Kedlaya [Ke97] showed that α=11/14\alpha = 11/14 is admissible, and Green suggests this exponent may well be sharp; the candidate extremal family is the Ree groups 2G2(q){}^2G_2(q), q=32m+1q = 3^{2m+1}.

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

Erdős Problem 394: Factorial Gap Conjecture

They ask about the behaviour of tn3(n!)t_{n-3}(n!) and also ask whether, for infinitely many nn, tk(n!)<tk1(n!)1t_k(n!)< t_{k-1}(n!)-1 for all 1k<n1\leq k < n.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 5: Sl Two

A good model problem would be to determine the largest product-free subsets of SL2(Fp)\mathrm{SL}_2(\mathbb{F}_p).

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

Erdős Problem 396

Is it true that for every kk there exists nn such that 0ik(ni)(2nn)?\prod_{0\leq i\leq k}(n-i) \mid \binom{2n}{n}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem