Green's Open Problem 39
If is random, , can we almost surely cover with translates of ? [Gr24]
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.1194 of 1194 statement records
17 source collections · 43 mathematical fields
If is random, , can we almost surely cover with translates of ? [Gr24]
Can be the product of consecutive primes infinitely often?
"I do not know how to answer this even with 100 replaced by 1.01." [Gr24]"
The following is Schinzel's conjecture, which appears in [Gu04].
Similar questions are interesting with replaced by for any . [Gr24]
NOTE: using translates as stated makes the conjecture trivially false by the pigeonhole principle. Indeed for a set of size , we cover at most elements, which is strictly less than for . We interpret the question as asking whether translates suffice. This generalizes the main conjecture where .
Is it true that for every there is a such that
Does ? [Gr24]
Is there an infinite Sidon set such that for all ?
The possibility that f(r) = 1 for all r has not been ruled out [Gr24]
Does there exists a constant c such that f n - 2 * n ~ c * (n / log n)?
It is not known whether f(2) = 1 [Gr24]
Is it true that for some ?
Does ? [Gr24]
Is it true that, for ,
Does ? [Gr24]
Erdős and Hall conjecture that the sum is for any .
Which finite groups have the smallest biggest product-free sets?
We formalise this as: determine the supremum of exponents such that every nontrivial finite group of order contains a product-free set of size for some absolute constant . (The trivial group is excluded since its only product-free subset is empty.) Kedlaya [Ke97] showed that is admissible, and Green suggests this exponent may well be sharp; the candidate extremal family is the Ree groups , .
They ask about the behaviour of and also ask whether, for infinitely many , for all .
A good model problem would be to determine the largest product-free subsets of .
Is it true that for every there exists such that