Ben Green's Open Problem 14
Is a polynomial in , for fixed ?
We formulate this as asking if has polynomial growth in . We know it is not the case for [Gr21, p.3].
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.Is a polynomial in , for fixed ?
We formulate this as asking if has polynomial growth in . We know it is not the case for [Gr21, p.3].
Let be the size of the largest such that all sums are distinct for . Find the simplest such that .
It remains an interesting open problem to actually write down a colouring showing (say) for some . [Gr24]
Let be the size of the largest such that all sums are distinct for . Find the simplest such that .
from [AKS14, Table 2].
Is it true that for all ?
This would have significant applications to Waring's problem. Erdős and Graham describe this as 'unattackable by the methods at our disposal'.
from [AKS14, Table 2].
Is it true that if then for sufficiently large ?
from [AKS14, Table 2].
For it is not known if .
from [AKS14, Table 2].
Does there exist a polynomial such that all the sums with nonnegative integers are distinct?
from [AKS14, Table 2].
Probably has the property that the sums with nonnegative integers are distinct.
from [AKS14, Table 2].
Writing for the number of integers which are the sum of three th powers, is it true that ?
from [AKS14, Table 2].
Writing for the number of integers which are the sum of three th powers, is it even true that ?
from [AKS14, Table 2].
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)?