Apakah semua fungsi yang bobot fouriernya terkonsentrasi pada set berukuran kecil yang dihitung oleh sirkuit AC0?

18

Apakah semua fungsi yang Fourier berat terkonsentrasi pada set berukuran kecil (atau istilah dengan tingkat rendah) dihitung dengan sirkuit?AC0

Stattrav
sumber
Pertanyaan ini kedengarannya menarik, meskipun saya tidak memiliki latar belakang dalam analisis fourier. Saya akan sangat menghargai referensi ke literatur terkait.
Markus
5
@Markus: buku ini 2.0 oleh Ryan O'Donnell adalah referensi yang bagus: contrib.andrew.cmu.edu/ ~ryanod
Alessandro Cosentino
hampir kebalikan dari Linial, Mansour, Nissan 1993 ? Hasil aaronsons, kontra-sampel untuk generalisasi Linial-Nissan tampaknya dekat? tetapi saya harus ada cara untuk menggeneralisasi hasil tahun 1993 entah bagaimana ... mungkin dalam cara yang besar ....
vzn
ide lain yang mirip bukannya AC ^ 0, lebih sulit untuk dibantah, akan menjadi kedalaman tidak terbatas tetapi total gerbang gerbang terbatas dibatasi oleh beberapa "kecil" fungsi katakanlah polinomial dll ...? juga afaik hubungan antara sirkuit monoton dan koefisien fourier tidak begitu terkenal ...?
vzn
1
lihat juga kemerdekaan polylogaritmik membodohi sirkuit AC ^ 0 oleh braverman
vzn

Jawaban:

19

Tidak. Pertimbangkan fungsi berikut pada : f ( x ) = x 0x n - {0,1}n Jelas fungsi ini sulit untuk AC0. Di sisi lain, fungsinya hampir konstan, sehingga hampir semua spektrum Fouriernya ada di level pertama.

f(x)=x0xnn1(xnnxn1).

Jika Anda ingin sampel tandingan seimbang, pertimbangkan

g(x)=x0[x1xnn1(xnnxn1)].
x0
Yuval Filmus
sumber
3
Apakah Anda memiliki contoh kuat di mana fungsi tidak dapat diperkirakan dalam AC0?
KIA
2
O(1)O(1)O(1)
AC0
@Arul A Tingkat Fourier terdiri dari semua koefisien Fourier yang terkait dengan set ukuran tertentu. Kami menganggap mereka sebagai yang dipesan dalam urutan ukuran yang meningkat. Adapun mengapa fungsi ini sulit untuk AC0, ini adalah latihan. Petunjuk: paritas sulit untuk AC0.
Yuval Filmus
7

Ada beberapa cara untuk memahami pertanyaan sesuai dengan makna tepat "ukuran kecil" dan "berkonsentrasi."

1o(1)S1o(1)AC0

2) Ada teorema Bourgain bahwa jika konsentrasinya jauh di atas fungsi mayoritas maka fungsinya kira-kira adalah Junta, dan karenanya tergantung pada variabel O (1).

f^2(S)AC0polylog(n)

O(logn)AC0

O(polylog(n))npolylog(n)

Gil Kalai
sumber