Berfungsi secara efisien sebagai contoh tandingan terhadap dugaan Mobius Sarnak


35

Baru-baru ini Gil Kalai dan Dick Lipton keduanya menulis artikel yang bagus tentang dugaan menarik yang diusulkan oleh Peter Sarnak, seorang ahli dalam teori bilangan dan Hipotesis Riemann.

Dugaan. Biarkan menjadi fungsi Möbius . Misalkan adalah fungsi dengan input dalam bentuk representasi biner dari , kemudian μ(k)A C 0 k k k n μ ( k ) f ( k ) = o ( n ) .f:N{1,1}AC0kk

knμ(k)f(k)=o(n).

Perhatikan bahwa jika maka kita memiliki bentuk yang setara dengan teorema bilangan prima .f(k)=1

PEMBARUAN : Ben Green on MathOverflow menyediakan makalah singkat yang mengklaim dapat membuktikan dugaan tersebut. Lihatlah kertasnya .

Di sisi lain, kita tahu bahwa dengan menetapkan (dengan sedikit modifikasi sehingga kisarannya berada di ), jumlah yang dihasilkan memiliki estimasi Ada batas atas yang dapat dihitung dalam , jadi batasan yang diusulkan pada dalam dugaan tidak dapat dilonggarkan ke fungsi . Pertanyaanku adalah:f(k)=μ(k)1,1μ(k)UPcoUPNPcoNPf(k)NP

knμ(k)2=Ω(n).
μ(k)UPcoUPNPcoNPf(k)NP

Apa kelas kompleksitas terendah kita ketahui saat ini, sehingga fungsi di memenuhi estimasi Khususnya, karena beberapa ahli teori percaya bahwa komputasi tidak dalam , dapatkah kita menyediakan lainnya yang menyiratkan pertumbuhan linear dalam penjumlahan? Bisakah batas yang lebih baik diperoleh? f ( k ) C Σ k n μ ( k ) f ( k ) = Ω ( n ) ? μ ( k ) P P f ( k )Cf(k)C

knμ(k)f(k)=Ω(n)?
μ(k)PPf(k)

3
Beberapa kelas kuantum seperti P ^ {BQNC} juga harus berfungsi, karena anjak terletak di kelas itu.
Robin Kothari

5
Apakah ini diketahui jika untuk fixed ? if(k)=kii
Manu

2
@ Emanuele, pertanyaan bagus. Fungsi indikator bit ke-i dalam representasi biner k adalah "polinomial braket" linier, tetapi memiliki koefisien yang sangat tinggi, sehingga mungkin tidak mengikuti dari teorema Green-Tao pada korelasi fungsi Mobius dengan terikat. -Langkah ke depan. Langkah selanjutnya yang dibatasi telah membatasi polinomial braket derajat sebagai kasus khusus, tetapi hasilnya mungkin memiliki beberapa batasan pada besarnya koefisien
Luca Trevisan

1
fNC0

f{1,0,1}{1,1}

Jawaban:


Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.