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

Ben Green's Open Problem 50

Let AF2nA \subset \mathbb{F}_2^n be a set of density α>0\alpha > 0. Does 10A10A contain a coset of some subspace of dimension at least nO(log(1/α))n - O(\log(1/\alpha))?

More precisely: does there exist an absolute constant C>0C > 0 such that for all n1n \geq 1 and all nonempty AF2nA \subseteq \mathbb{F}_2^n with density α>0\alpha > 0, the sumset 10A10A contains a coset of some subspace of dimension at least nClog2(1/α)n - C \log_2(1/\alpha)?

The sumset 10A10A is defined as {a1+a2++a10:aiA}\{a_1 + a_2 + \cdots + a_{10} : a_i \in A\}, using the pointwise scalar multiplication notation 10 • A where denotes the iterated addition of a set.

Note: We model F2n\mathbb{F}_2^n as Fin n → ZMod 2, which is an nn-dimensional vector space over F2\mathbb{F}_2.

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

Erdős Problem 398

Brocard's Problem* Does n!+1=m2n! + 1 = m^2 have integer solutions other than n=4,5,7n = 4, 5, 7?

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

Green's Open Problem 51

Suppose that AF2nA \subset \mathbb{F}_2^n is a set of density α\alpha. What is the largest size of coset guaranteed to be contained in 2A2A?

We phrase this by asking for the exact function F(α,n)F(\alpha, n) giving the maximum dimension of a guaranteed coset.

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

Erdős Problem 40

For what functions g(N)g(N) → \infty is it true that A{1,,N}N1/2g(N)\lvert A\cap \{1,\ldots,N\}\rvert \gg \frac{N^{1/2}}{g(N)} implies lim sup1A1A(n)=\limsup 1_A\ast 1_A(n)=\infty?

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

Green's Open Problem 51: One Half

Suppose that AF2nA \subset \mathbb{F}_2^n has density α>1/2C/n\alpha > 1/2 - C/\sqrt{n}. Does A+AA + A contain a subspace of co-dimension OC(1)O_C(1)? [Sa11, Question 5.1]

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

Erdős Problem 400: I

Can one show that nxgk(n)ckxlogx\sum_{n\leq x}g_k(n) \sim c_k x\log x for some constant ckc_k?

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

Green's Open Problem 52

Suppose that AF2nA \subset \mathbb{F}_2^n is a set with an additive complement of size KK. Does 2A2A contain a coset of codimension OK(1)O_K(1)?

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

Erdős Problem 400: Ii

Is it true that there is a constant ckc_k such that for almost all n<xn < x we have gk(n)=cklogx+o(logx)g_k(n)=c_k\log x+o(\log x)?

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

Green's Open Problem 52

Could 2A2A even contain a coset of codimension O(logK)O(\log K)?

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

Erdős Problem 406

Is it true that there are only finitely many powers of 22 which have only the digits 00 and 11 when written in base 33?

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

Ben Green's Open Problem 58

Suppose A,B{1,,N}A, B ⊆ \{1, \dots, N\} both have size at least N0.49N^{0.49}. Must the sumset A+BA + B contain a composite number?

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

Erdős Problem 406: One Two

If we only allow the digits 11 and 22 then 2152^{15} seems to be the largest such power of 22.

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

Ben Green's Open Problem 72

The no-k-in-line problem: For NkN \geq k and k>2k > 2, the AllowedSetSize is (k1)N(k - 1) N, i. e. on an N×NN \times N subset, there is a set of (k1)N(k - 1) N points for which no kk lie on a line (and not such a set of bigger size).

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

Erdős Problem 409: I

How many iterations of nϕ(n)+1n\mapsto\phi(n) + 1 are needed before a prime is reached?

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

Ben Green's Open Problem 72

Green's Open Problem 72 / No-three-in-line problem*: The no-k-in-line conjecture holds for k=3k = 3.

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

Erdős Problem 409: Is Theta

Let c(n)c(n) be the minimum number of iterations of nϕ(n)+1n\mapsto\phi(n) + 1 before a prime is reached. What is Θ(c(n))\Theta(c(n))?

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

Ben Green's Open Problem 72: Eventually

Does the no-three-in-line problem hold when NN is big enough?

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

Erdős Problem 409: Is Big O

Let c(n)c(n) be the minimum number of iterations of nϕ(n)+1n\mapsto\phi(n) + 1 before a prime is reached. Find the simplest function g(n)g(n) such that c(n)=O(g(n))c(n) = O(g(n))?

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

Ben Green's Open Problem 77

Given nn points in the unit disc, must there be a triangle of area at most n2+o(1)n^{-2+o(1)} determined by them?

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

Erdős Problem 409: Is Little O

Let c(n)c(n) be the minimum number of iterations of nϕ(n)+1n\mapsto\phi(n) + 1 before a prime is reached. Find the simplest function g(n)g(n) such that c(n)=o(g(n))c(n) = o(g(n))?

Source checked Jul 26, 20261 pinned Lean statementInspect problem