Ben Green's Open Problem 14
from [AKS14, Table 2].
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.from [AKS14, Table 2].
Ruzsa suggests that a non-trivial variant of this problem arises if one imposes the stronger condition that for some constant , and similarly for .
from [AKS14, Table 2].
Let and be the set of those numbers which occur infinitely often as with . What conditions on are sufficient to ensure has bounded gaps?
This is formalised here using the answer(sorry) mechanism. In order to solve this problem one
has to provide what the sufficient conditions are, and proof that they imply the desired condition.
If the condition is a solution to the problem is up to human judgement.
from [AKS14, Table 2].
Let be a finite set of integers and extend it to an infinite sequence by defining for to be the least integer exceeding which is not of the form with . Is it true that the sequence of differences is eventually periodic?
This problem is discussed under Problem 7 on Green's open problems list.
from [AKS14, Table 3].
Is it true that for every lacunary, strongly complete sequence A that is not complete whenever
infinitely many terms are removed from it, lim A (n + 1) / A n = (1 + √5) / 2?
from [AKS14, Table 3].
For what values of is there a complete sequence of integers such that
from [AKS14, Table 3].
For what values of is the sequence complete (that is, all sufficiently large integers are the sum of distinct integers of the form )?
from [AKS14, Table 3].
It seems likely that the sequence is complete for all for all and all .
from [AKS14, Table 3].
Is it true that the terms of the sequence are odd infinitely often and even infinitely often?
from [AKS14, Table 3].
Is it true that the terms of the sequence are even infinitely often?
from [AKS14, Table 3].
Let such that is irrational. Is
\{ \lfloor \beta\rfloor,\lfloor \gamma\beta\rfloor,\lfloor \gamma^2\beta\rfloor,\ldots\}$$ complete?