Perkiraan derajat


24

EDIT (v2): Menambahkan bagian di akhir tentang apa yang saya ketahui tentang masalah.

EDIT (v3): Menambahkan diskusi tentang ambang batas di akhir.

Pertanyaan

Pertanyaan ini terutama merupakan permintaan referensi. Saya tidak tahu banyak tentang masalahnya. Saya ingin tahu apakah ada pekerjaan sebelumnya tentang masalah ini, dan jika demikian, dapatkah seseorang mengarahkan saya ke makalah yang membicarakan masalah ini? Saya juga ingin tahu batas terbaik saat ini pada tingkat perkiraan . Informasi lain apa pun juga akan dihargai (misalnya, informasi historis, motivasi, hubungan dengan masalah lain, dll.).AC0

Definisi

Biarkan menjadi fungsi Boolean. Misalkan menjadi polinomial atas variabel hingga dengan koefisien nyata. Derajat polinomial adalah derajat maksimum di atas semua monomial. Derajat monomial adalah jumlah eksponen dari berbagai yang muncul dalam monomial itu. Misalnya .f:{0,1}n{0,1}px1xnxideg(x17x32)=9

Suatu polinomial dikatakan sebagai -approximate if untuk semua . The tingkat -approximate dari fungsi Boolean , dinotasikan sebagai , adalah tingkat minimum yang jumlahnya banyak yang -approximates . Untuk sekumpulan fungsi, , adalah derajat minimum sehingga setiap fungsi dalam dapat -ditaksir oleh polinomial derajat paling banyakpϵf|f(x)p(x)|<ϵxϵfdeg~ϵ(f)ϵfFdeg~ϵ(F)dFϵd.

Perhatikan bahwa setiap fungsi dapat direpresentasikan tanpa kesalahan dengan derajat jumlahnya banyak. Beberapa fungsi benar-benar membutuhkan derajat polinomial untuk memperkirakan kesalahan konstan apa pun. Paritas adalah contoh dari fungsi semacam itu.nn

Pernyataan masalah

Apa itu ? (Konstanta 1/3 adalah arbitrer.)deg~1/3(AC0)

Catatan

Saya mengalami masalah ini di koran The Quantum Query Complexity of AC0 oleh Paul Beame dan Widad Machmouchi. Mereka bilang

Juga, hasil kami tidak melakukan apa pun untuk menutup celah di batas bawah pada tingkat perkiraan fungsi AC0.

Mereka menyebutkan "masalah tingkat perkiraan AC0" dalam ucapan terima kasih mereka juga.

Jadi saya berasumsi telah ada beberapa pekerjaan pada masalah ini sebelumnya? Dapatkah seseorang mengarahkan saya ke sebuah makalah yang membicarakan masalah tersebut? Dan apa batas atas dan bawah yang paling dikenal?

Apa yang saya ketahui tentang masalah (Bagian ini ditambahkan dalam v2 pertanyaan)

Batas atas paling dikenal di yang diketahui adalah batas atas sepele . Batas bawah terbaik yang saya tahu berasal dari batas bawah Aaronson dan Shi untuk masalah perbedaan tabrakan dan elemen, yang memberikan batas bawah . (Untuk versi sangat terbatas dari , seperti formula dengan ukuran rumus, atau kedalaman-2 sirkuit dengan gerbang, kita bisa membuktikan atas terikat menggunakan kompleksitas kueri kuantum.)n ~ Ω (n2/3)AC0o(n2)o(n2)o(n)deg~1/3(AC0)nΩ~(n2/3)AC0o(n2)o(n2)o(n)

Terkait: derajat ambang (Ditambahkan dalam v3)

Seperti yang ditunjukkan oleh Tsuyoshi dalam komentar, masalah ini terkait dengan masalah menentukan tingkat ambang . Tingkat ambang fungsi adalah tingkat minimum polinomial sehingga dan . fpf(x)=1AC0fpf ( x ) = 0f(x)=1p(x)>0f(x)=0p(x)<0

Batas bawah untuk tingkat ambang sekarang telah ditingkatkan oleh Sherstov. Dia menunjukkan keluarga formula baca-sekali kedalaman konstan pada variabel yang derajat ambangnya mendekati ketika kedalamannya hingga tak terhingga, yang hampir ketat karena rumus baca-sekali memiliki ambang (dan bahkan perkiraan ) derajat . Lihat http://eccc.hpi-web.de/report/2014/009/ . (Jan, 2014) nΩ(AC0nO(Ω(n)O(n)


7
Batas bawah Ω (n ^ (1/3)) dikenal bahkan untuk derajat ambang (derajat minimum p polinomial sehingga f (x) = 1 ⇒ p (x)> 0 dan f (x) = 0 ⇒ p (x) <0). Lihat akhir Bagian 3.1 dari "Komunikasi batas bawah menggunakan polinomial ganda" oleh Sherstov .
Tsuyoshi Ito

4
@ Tsuyoshi: Terima kasih. Derajat ambang batas (yang menurunkan batas perkiraan derajat) AC0 juga merupakan pertanyaan yang menarik. Batas bawah terbaik yang saya tahu untuk tingkat ambang AC0 adalah batas tingkat Baru untuk fungsi ambang batas jumlahnya banyak oleh O'Donnell dan Servedio. Batas bawah lebih baik daripada Ω (n ^ (1/3)) oleh faktor log yang tumbuh dengan kedalaman rangkaian.
Robin Kothari

4
Ups, Anda benar, batas bawah pada tingkat perkiraan untuk AC0 jelas dari Aaronson dan Shi. Saya konyol. Terima kasih atas petunjuknya ke O'Donnell dan Servedio juga. Ω~(n2/3)
Tsuyoshi Ito

Sebuah makalah baru-baru ini oleh Mark Bun dan Justin Thaler berjudul "Amplifikasi Kekerasan dan Tingkat Perkiraan Sirkuit Kedalaman Konstan" juga membahas masalah ini secara singkat. Mereka mengatakan bahwa batas bawah Aaronson dan Shi adalah batas bawah yang paling dikenal untuk fungsi di AC <sup> 0 </sup> dan batas bawah itu bahkan berlaku pada model yang sedikit lebih umum.
Robin Kothari

Jawaban:


4

Sebuah makalah oleh Mark Bun dan Justin Thaler telah diposting di ECCC baru-baru ini (pertengahan Maret 2017) yang secara tepat menjawab pertanyaan ini: "Batas Bawah yang Hampir Optimal pada Perkiraan Tingkat AC0"

Mereka mengklaim bahwa untuk setiap , ada fungsi di sedemikian rupa sehingga , hampir menutup celah dengan batas atas sepele . Mereka mencapainya dengan metode umum untuk meningkatkan derajat perkiraan suatu fungsi dengan tingkat perkiraan sublinear, menjaga jumlah variabel kuasi-linier. Dari abstrak:f A C 0 ~ d e g 1 / 3 ( f ) = Ω (δ>0fAC0O ( n )deg~1/3(f)=Ω(n1δ)O(n)

Secara khusus, kami menunjukkan bagaimana mengubah fungsi Boolean dengan perkiraan derajat menjadi fungsi pada variabel dengan derajat perkiraan setidaknya . Khususnya, jika , maka secara polinomi lebih besar dari . Selain itu, jika dihitung oleh sirkuit Boolean ukuran polinomial dengan kedalaman konstan, maka .d F O ( n p o l y l o g ( n ) ) D = Ω ( n 1 / 3 · d 2 / 3 ) d = n 1 - Ω ( 1 ) D d f FfdFO(npolylog(n))D=Ω(n1/3·d2/3)d=n1Ω(1)DdfF

Itu adalah pembaruan terbaru pada batas bawah masalah ini, dan ini merupakan langkah maju yang cukup signifikan. Bagian Pendahuluan dan Aplikasi dari makalah ini juga merupakan sumber referensi yang baik untuk pekerjaan sebelumnya dan masalah terkait.

Penafian: Saya belum membaca koran dengan cermat.


Memang, ini hampir menutup masalah. Mereka juga menunjukkan DNF ukuran kuasipolinomial dengan perkiraan derajat . Ω(n1δ)
Robin Kothari
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.