-jala sehubungan dengan norma pemotongan

10

Norma pemotongan ||A||C dari matriks nyata A=(ai,j)Rn×n adalah maksimum dari semua I[n],J[n] dari kuantitas |iI,jJai,j|.

Tentukan jarak antara dua matriks A dan B menjadi dC(A,B)=||AB||C

Berapakah kardinalitas ϵ -net terkecil dari ruang metrik ([0,1]n×n,dC) ?

yaitu ukuran subset terkecil S[0,1]n×n sedemikian rupa sehingga untuk semua A[0,1]n×n , terdapat AS sedemikian rupa sehingga dC(A,A)ϵ .

(EDIT: Saya lupa lagi, tapi saya juga tertarik pada "non-benar" ϵ -nets, dengan SR+n×n - yaitu jika unsur-unsur ϵ -net memiliki entri di luar [0,1 ], itu juga menarik.)

Saya tertarik pada batas atas dan batas bawah.

Perhatikan bahwa teknik cut sparsifier menyiratkan -net untuk cut metrics, tetapi berikan sesuatu yang lebih kuat dari yang saya butuhkan - mereka memberikan ϵ -net yang Anda dapat menemukan titik ϵ -cose ke matriks apa pun secara efisien hanya dengan mengambil sampel dari matriks tersebut. Orang mungkin membayangkan bahwa terdapat jauh lebih kecil ε -nets yang Anda tidak bisa hanya sampel do menemukan ε titik-dekat dengan matriks sewenang-wenang.ϵϵϵϵϵ

Saya awalnya mengajukan pertanyaan ini di sini di mathoverflow.

Aaron Roth
sumber
Karena norma pemotongan A lebih besar atau sama dengan nilai absolut dari setiap entri A, jelas bahwa ε-net harus memiliki ukuran setidaknya (1 / (2ε)) ^ (n ^ 2). Apa batas atas yang diperoleh dari teknik cut sparsifier? (Ini mungkin pertanyaan bodoh, tapi saya tidak tahu teknik itu.)
Tsuyoshi Ito
Hanya untuk memastikan, saya mengubah bagian pertama dari komentar saya sebelumnya menjadi jawaban (dan menambahkan batas atas). Saya masih tertarik pada batas atas yang berasal dari teknik sparsifier cut.
Tsuyoshi Ito
Teknik di atas menghasilkan matriks dengan entri dalam daripada di [ 0 , 1 ] . Saya lupa menyebutkannya di posting, tapi saya juga tertarik pada ϵ -cover semacam ini. {0,m||A||1}[0,1]ϵ
Aaron Roth
The -net Anda dapatkan dari cut sparsification tidak benar-benar terletak pada [ 0 , 1 ] n × n . Menginterpretasikan matriks sebagai distribusi probabilitas pada tepi grafik berarah, dan sampel m = ˜ O ( n / ϵ 2 ) tepi dari distribusi. Bobot masing-masing tepi dengan | | A | | 1 / m . Dengan argumen dimensi-VC (atau hanya ikatan yang terikat pada pemotongan), kesalahan aditif maksimum pada setiap pemotongan akan whp menjadi O ( ϵ n 2 )ϵ[0,1]n×nm=O~(n/ϵ2)||A||1/mO(ϵn2). Jadi ini berarti bahwa bahwa himpunan grafik (tepat tertimbang) pada tepi membentuk ε -net, yang merupakan non-sepele untuk ε > n 3 / 2 . n5/ϵ2ϵϵ>n3/2
Aaron Roth

Jawaban:

8

Berikut ini perkiraan yang mudah. Di sini kita sebut satu set SX merupakan ε -net dari ruang metrik X saat untuk setiap titik xX , terdapat titik sS sehingga jarak antara x dan s adalah paling ε . Jika Anda menginginkan ketimpangan yang ketat dalam definisi ε -net, Anda dapat mengubah sedikit nilai ε .

Ini menyatakan bahwa || A || ≤ || A || Cn 2 || A || , di mana || A || menunjukkan entrywise max-norma dari n × n matriks A .

Mudah untuk membangun ε -net dari ruang metrik ([0,1] N , d ) dengan ukuran ⌈1 / (2 ε ) ⌉ N , dan tidak sulit untuk menunjukkan bahwa ukuran ini adalah minimum. (Untuk menunjukkan minimal, pertimbangkan ⌈1 / (2 ε ) ⌉ N titik yang koordinatnya adalah kelipatan 1 / ⌈1 / (2 ε ) −1⌉ dan tunjukkan bahwa jarak antara dua titik ini lebih besar dari 2 ε .) Dengan menetapkan N = n 2 dan menggabungkan ini dengan perbandingan yang disebutkan sebelumnya antara norma potong dan norma-maks, kardinalitas minimum ε-net sehubungan dengan norma cut setidaknya ⌈1 / (2 ε ) ⌉ n 2 dan paling banyak ⌈ n 2 / (2 ε ) ⌉ n 2 .


Pembaruan : Jika perhitungan saya benar, batas bawah yang lebih baik Ω ( n / ε ) n 2 dapat diperoleh dengan argumen volume. Untuk melakukan ini, kita memerlukan batas atas pada volume bola- ε sehubungan dengan norma pemotongan.

Pertama kita mempertimbangkan "cut norm" dari satu vektor, yang merupakan maksimum antara jumlah elemen positif dan jumlah elemen negatif yang dinegasikan. Tidak sulit untuk menunjukkan bahwa volume bola- ε dalam ℝ n sehubungan dengan "norma pemotongan" ini sama dengan

εnI{1,,n}1|I|!1(n|I|)!=εnr=0n(nr)1r!(nr)!

=εnn!r=0n(nr)2=εnn!(2nn)=(2n)!εn(n!)3.

Selanjutnya, karena norma potong dari n × n matriks A lebih besar dari atau sama dengan norma potong setiap baris, volume bola- ε dalam ℝ n × n paling banyak adalah kekuatan ke- n dari volume volume suatu ε -bola di ℝ n . Oleh karena itu ukuran ε -net [0,1] n × n harus setidaknya

(n!)3n(2n)!nεn2=(Ω(nε))n2,

di mana persamaan terakhir adalah perhitungan yang membosankan di mana kami menggunakan rumus Stirling : ln n ! = n ln n - n + O (log n ).

Tsuyoshi Ito
sumber
Menanggapi hasil edit (revisi 4) dari pertanyaan, batas bawah yang dinyatakan dalam jawaban ini juga berlaku untuk jaring ε “tidak layak”.
Tsuyoshi Ito
Terlihat benar, bagus sekali!
Hsien-Chih Chang 張顯 之
@ Hsien-Chih: Terima kasih. Bagian yang paling saya sukai adalah penggunaan koefisien binomial dalam perhitungan volume bola ε dalam ℝ ^ n.
Tsuyoshi Ito
Saya menduga bahwa batas bawah pada ukuran jaring (ekuivalen, batas atas volume) dapat ditingkatkan. Saya mengajukan pertanyaan terkait pada MathOverflow.
Tsuyoshi Ito