Kürzlich haben Gil Kalai und Dick Lipton einen schönen Artikel über eine interessante Vermutung geschrieben, die von Peter Sarnak, einem Experten für Zahlentheorie und Riemannsche Hypothese, vorgeschlagen wurde.
Vermutung. Sei die Möbius-Funktion . Angenommen, ist eine Funktion mit Eingabe in Form einer binären Darstellung von, then
Note that if then we have an equivalent form of the Prime number theorem.
UPDATE: Ben Green on MathOverflow provide a short paper which claims to prove the conjecture. Take a look at the paper.
On the other hand, we know that by setting (with slightly modification so the range is in ), the resulting sum has the estimation
What is the lowest complexity class we currently know, such that a function in satisfies the estimation
In particular, since some of the theorists believed that computing is not in , can we provide other functions which implies a linear growth in the summation? Can even better bounds be obtained?