Batas bawah untuk determinan dan permanen


22

Mengingat jurang baru-baru ini pada kedalaman-3 hasil (yang antara lain menghasilkan kedalaman-3 rangkaian aritmatika untuk penentu atas ), Saya memiliki pertanyaan-pertanyaan berikut: Grigoriev dan Karpinski membuktikan batas bawah untuk rangkaian aritmetika kedalaman-3 yang menghitung matriks atas matriks bidang terbatas (yang saya kira, juga berlaku untuk Permanen). Formula Ryser untuk menghitung Permanen memberikan rangkaian aritmatika kedalaman-3 dengan ukuran2nlognCn×nC n × n2Ω(n)n×nO(n22n)=2O(n). Ini menunjukkan bahwa hasilnya pada dasarnya ketat untuk sirkuit kedalaman-3 untuk bidang Permanen dan terbatas. Saya punya dua pertanyaan:

1) Apakah ada rumus kedalaman-3 untuk penentu analog dengan rumus Ryser untuk Permanen?

2) Apakah batas bawah pada ukuran sirkuit aritmatika yang menghitung polinomial determinan \ textit {selalu} menghasilkan batas bawah untuk polinom Permanen? (Lebih dari mereka adalah polinomial yang sama).F2

Meskipun pertanyaan saya saat ini adalah mengenai polinomial ini di atas bidang yang terbatas, saya juga ingin mengetahui status dari pertanyaan ini di atas bidang yang arbitrer.


3
Itu menarik .... baru-baru ini ( eccc.hpi-web.de/report/2013/026 ) a batas atas telah dibuktikan pada bilangan kompleks. Jadi ada perbedaan besar dalam karakteristik bidang nol dan terbatas ...2O(n1/2logn)
Ryan Williams

Saya seharusnya menyebutkan hasil baru. Saya sedang membaca koran dan saya ingin tahu apa yang bisa disimpulkan dari hasil yang diketahui untuk kasus lapangan yang terbatas. Akan memperbarui pertanyaan untuk memasukkan makalah.
Nikhil

Apakah ada yang serupa / batas bawah yang diketahui untuk determinan / permanen dalam hal rangkaian 3 kedalaman di atas bidang karakteristik nol?
Gorav Jindal

Atas karakteristik nol, AFAIK, batas bawah terbaik adalah untuk fungsi simetris elementer (dan juga polinomial penentu) karena Shpilka dan Wigderson. Periksa cs.technion.ac.il/~shpilka/publications/…Ω(n2)
Nikhil

Jawaban:


11

Permanen selesai untuk VNP di bawah proyeksi-p atas bidang apa pun yang bukan karakteristik 2. Ini memberikan jawaban positif untuk pertanyaan kedua Anda. Jika pengurangan ini linier, itu akan memberikan jawaban positif untuk pertanyaan pertama Anda, tapi saya yakin itu tetap terbuka.

Secara lebih rinci: ada beberapa polinomial sedemikian rupa sehingga adalah proyeksi , yaitu ada substitusi tertentu yang mengirimkan setiap variabel baik ke variabel atau konstanta sehingga setelah substitusi ini permanen menghitung komputasi penentu.d e t n ( X ) p e r m q ( n ) ( Y ) y i j x k q ( n ) × q ( n ) n × nq(n)detn(X)permq(n)(Y)yijxkq(n)×q(n)n×n

1) Dengan demikian rumus Ryser menghasilkan formula kedalaman 3 (kedalaman tidak meningkat di bawah proyeksi karena penggantian dapat dilakukan pada gerbang input) ukuran untuk determinan. UPDATE : Seperti yang ditunjukkan @Ramprasad dalam komentar, ini hanya memberikan sesuatu yang non-invasif jika , karena ada kedalaman 2 rumus ukuran sepele untuk det. Saya bersama Ramprasad dalam hal yang terbaik yang saya tahu adalah pengurangan melalui ABP, yang menghasilkan .2O(q(n))n n ! = 2 O ( n log n ) q ( n ) = O ( n 3 )q(n)=o(nlogn)nn!=2O(nlogn)q(n)=O(n3)

2) Jika permanen dapat dihitung - lagi, pada beberapa bidang karakteristik bukan 2 - oleh sirkuit ukuran , maka determinan dapat dihitung oleh sirkuit ukuran . Jadi batas bawah pada ukuran sirkuit untuk menghasilkan batas bawah pada ukuran sirkuit untuk permanen (itu terbalik , bukan ). disebutkan di atas menghasilkan a perm batas bawah dari a det batas bawah.s ( m ) n × n s ( q ( n ) ) b ( n ) d e t n b ( q - 1 ( n )m×ms(m)n×ns(q(n))b(n)detnq 1 / q ( n ) q ( n ) = O ( n 3 ) b ( n 1 / 3 ) b ( nb(q1(n))q 1/q(n)q(n)=O(n3)b(n1/3)b(n)


6
Hanya ingin menunjukkan bahwa determinan yang menjadi proyeksi permanen polinomially lebih besar tidak cukup banyak menghasilkan. Penentu tentu saja memiliki sepelesirkuit berukuran. Jadi, bahkan menunjukkan bahwa determinan adalah proyeksi permanen tidak menghasilkan apa pun yang non-sepele melalui rumus Ryser. Saya kira, untuk strategi pembuktian Anda, orang perlu menunjukkan bahwa , tapi saya tidak melihat cara mendapatkan ini dari pengurangan yang biasa. AFAIK, tidak ada sirkuit kedalaman-3 asimptotically lebih kecil daridikenal untuk penentu bidang terbatas. nn!n 2 × n 2 q ( n ) = O ( n ) n !n×nn2×n2q(n)=O(n)n!
Ramprasad

@Amprasad: Ada proyeksi ke dalam kasus umum di bidang arbitrer kan? Jadi mengimplementasikan pengurangan ini di kedalaman-3 adalah rintangan - apakah itu yang Anda maksud? P E R M O ( n )DETnPERMO(n)
Nikhil

1
@Nikhil: Apakah ada proyeksi seperti itu ?! Jika itu benar, maka tentu saja kita akan segera memiliki sirkuit kedalaman -3 untuk penentu dengan hanya menggunakan rumus Ryser (yang tidak diketahui sebelum hasil jurang-di-kedalaman-3 ). Satu-satunya pengurangan yang saya tahu adalah menggunakan ABP untuk determinan (yang berukuran ) dan menuliskannya sebagai proyeksi permanen berukuran . Saya akan sangat terkejut dengan pengurangan ke holding permanen berukuran . 2O(n)O ( n 3 ) O ( n )O(n3)O(n3)O(n)
Ramprasad

1
Saya cukup yakin itu adalah salah ketik / kesalahan dalam artikel (tapi saya akan memeriksa dengan Manindra sekalipun). Avi Wigderson ini bicara (PPT) saat perayaan ulang tahun ke-60 Valiant adalah salah satu tempat di mana ia menyatakan bahwa meningkatkanuntuk kedalaman-3 kompleksitas determinan tidak diketahui. Sirkuit kedalaman-3 di atas bidang berhingga adalah contoh yang aneh di mana batas atas terbaik untuk permanen lebih kecil daripada determinan! n!
Ramprasad


11

Sangat mungkin bahwa determinan lebih sulit daripada permanen. Keduanya polinomial, Peringkat Waring (jumlah n kekuatan bentuk linear) dari permanen adalah sekitar 4 ^ n, Chow Rank (jumlah produk bentuk linear) kira-kira 2 ^ n. Jelas, Waring Rank \ leq 2 ^ {n-1} Chow Rank. Untuk penentu, angka-angka itu hanya batas bawah. Di sisi lain, saya membuktikan beberapa waktu yang lalu bahwa peringkat War dari penentu dibatasi oleh (n +1)! dan ini mungkin mendekati kebenaran.


7
Saya menghapus iklan.
Jeffε

3
Bisakah Anda memberikan referensi untuk buktinya?
Kaveh
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.