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.
1 topic

741 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 14

Is W(k,r)W(k, r) a polynomial in rr, for fixed kk?

We formulate this as asking if W(k,r)W(k, r) has polynomial growth in rr. We know it is not the case for k=3k = 3 [Gr21, p.3].

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

Ben Green's Open Problem 14

It remains an interesting open problem to actually write down a colouring showing (say) W(3,r)2r2W(3, r) \ge 2r^2 for some rr. [Gr24]

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

Ben Green's Open Problem 14

W(3,20)389W(3, 20) \ge 389 from [AKS14, Table 2].

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

Ben Green's Open Problem 14

W(3,21)416W(3, 21) \ge 416 from [AKS14, Table 2].

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

Ben Green's Open Problem 14

W(3,22)464W(3, 22) \ge 464 from [AKS14, Table 2].

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

Ben Green's Open Problem 14

W(3,23)516W(3, 23) \ge 516 from [AKS14, Table 2].

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

Ben Green's Open Problem 14

W(3,24)593W(3, 24) \ge 593 from [AKS14, Table 2].

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

Ben Green's Open Problem 14

W(3,25)656W(3, 25) \ge 656 from [AKS14, Table 2].

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

Ben Green's Open Problem 14

W(3,26)727W(3, 26) \ge 727 from [AKS14, Table 2].

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

Erdős Problem 325: Weaker

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 even true that fk,3(x)ϵx(3/kϵ)f_{k, 3}(x) \gg_{\epsilon} x ^ (3 / k - \epsilon)?

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

Ben Green's Open Problem 14

W(3,27)770W(3, 27) \ge 770 from [AKS14, Table 2].

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

Erdős Problem 33

Let A ⊆ ℕ be a set such that every integer can be written as n^2 + a for some a in A and n ≥ 0. What is the smallest possible value of lim sup n → ∞ |A ∩ {1, …, N}| / N^(1/2)?

Source checked Jul 26, 20261 pinned Lean statementInspect problem