Green's Open Problem 9
Problem 9 (ii): is ?
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
Problem 9 (ii): is ?
Can infinitely many reach the same prime under the iteration ?
Problem 9 (iii): is , where ?
What is the density of which reach any fixed prime under the iteration ?
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 .
How many iterations of are needed before a prime is reached?
Special case in dimension : determine the maximal number of mutually unbiased orthonormal bases in .
If then the iteration necessarily reaches a prime. Note: this is open , it is not clear that the σ iteration always terminates, since it is non-decreasing (unlike the φ iteration which is strictly decreasing).
Special case in dimension (not a prime power): determine the maximal number of mutually unbiased orthonormal bases in .
Let be the minimum number of iterations of before a prime is reached. What is ?
Special case in dimension (not a prime power): determine the maximal number of mutually unbiased orthonormal bases in .
Let be the minimum number of iterations of before a prime is reached. Find the simplest function such that ?
Special case in dimension (not a prime power): determine the maximal number of mutually unbiased orthonormal bases in .
Let be the minimum number of iterations of before a prime is reached. Find the simplest function such that ?
Special case in dimension (not a prime power): determine the maximal number of mutually unbiased orthonormal bases in .
Is it true that iterates of always reach a prime?
Open Quantum Problem 13: determine the maximal number of mutually unbiased orthonormal bases in for .
Let A ⊆ ℕ be an infinite set such that the triple sums a + b + c are all distinct for
a, b, c in A (aside from the trivial coincidences). Is it true that
liminf n → ∞ |A ∩ {1, …, N}| / N^(1/3) = 0?
Open benchmark statement: does an state exist?
Let , the sum of divisors function, and .
Is it true that ?
This is problem (iii) from Erdos, Granville, Pomerance, Spiro "On the normal behavior of the iterates of some arithmetical functions" (page 169 of the book "Analytic Number Theory", 1990).