Green's Open Problem 28
Suppose that are two finitely-supported independent random variables taking integer values, and such that is uniformly distributed on its range. Are and themselves uniformly distributed on their ranges?
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.Suppose that are two finitely-supported independent random variables taking integer values, and such that is uniformly distributed on its range. Are and themselves uniformly distributed on their ranges?
Let be a balanced compact set (that is, whenever ) and suppose that the normalised Gaussian measure . Does contain a compact convex set with ?
Let be a random polynomial, where independently uniformly at random for .
Is it true that, if is the number of roots of in , then
almost surely?
There is some ambiguity as to whether the intended coefficient set is or ,
see erdos_522.variants.zero_one for the alternate version.
Let be a random polynomial, where independently uniformly at random for .
Is it true that, if is the number of roots of in , then
almost surely?
If is random, , can we almost surely cover with translates of ? [Gr24]
"I do not know how to answer this even with 100 replaced by 1.01." [Gr24]"
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 .
Conjecture 7 from Kahn–Kalai 2006: the same statement as the original conjecture, but with the additional assumption that is the critical probability for , namely .
Let be a Rademacher multiplicative function. Does there exist some constant such that, almost surely,