Saya pikir yang berikut ini harus menjawab pertanyaan Anda, meskipun tidak dalam urutan yang sama.
Formulasi asli dari dugaan ekspansi set kecil menyatakan bahwa, analog dengan Konjektur Game Unik, untuk setiap terdapat sehingga sulit untuk menentukan apakah dalam grafik adalah "YA" kasus di mana ada set -sized dengan ekspansi kurang dari atau itu adalah "TIDAK" kasus di mana setiap set -sized memiliki ekspansi setidaknya . Makalah Raghavendra, Steuerer, dan Tulsiani https://www.cs.cornell.edu/~dsteurer/papers/ssereductions.pdf menunjukkan bahwa ini setara dengan kasus di manaδ > 0 G δ ϵ δ 1 - ϵ ϵ = O ( log ( 1 / δ ) ) δ ′ ≥ δ δ ′ ϵ ϵ = O ( log ( 1 / δ ) ) 1 / δ ϵϵ>0δ>0Gδϵδ1−ϵϵ=O(log(1/δ) )dan faktanya dalam kasus NO, untuk setiap , set ukuran memiliki setidaknya ekspansi yang sama seperti pada " -noisy Gaussian graph" (lihat kertas untuk pernyataan yang tepat). Alasan untuk hubungan adalah karena ini adalah hubungan antara parameter-parameter tersebut dalam grafik noise Gaussian. Hasil Raghavendra et al ini dapat dianggap sebagai analog ekspansi kecil untuk karya Khot, Kindler, Mossell dan O'Donnell yang menunjukkan hasil yang serupa untuk game unik, memberikan hubungan yang sangat tepat antara parameter (yang dalam pengaturan game unik dikenal sebagai ukuran alfabet) danδ′≥ δδ′ϵϵ = O ( log( 1 / δ) )1/δϵ.
Hasil yang Anda sebutkan dibahas dalam catatan kuliah saya adalah dari Bagian 8 di makalah saya dengan Brandao, Harrow, Kelner, Steurer dan Zhou ( https://www.cs.cornell.edu/~dsteurer/papers/hypercontract.pdf ). Apa yang kami tunjukkan di sana, secara kasar, adalah bahwa grafik adalah set expander kecil jika dan hanya jika rentang vektor eigen yang sesuai dengan nilai eigen rendah Laplaciannya tidak mengandung vektor "secara analitik jarang".
Intuisi adalah sebagai berikut: pertimbangkan dua ekstrem berikut:
1) Vektor acak . Dalam hal ini, distribusi entri adalah kira-kira distribusi Gaussian, dan karenanya ini memuaskan bahwa .w E i w 4 i = O ( E i w 2 i ) 2wwEiw4i=O(Eiw2i)2
2) Vektor yang merupakan vektor karakteristik dari himpunan (yaitu memiliki pada koordinat yang dimiliki himpunan, dan pada yang lain). Dalam hal ini, .δ 1 0 E i w 4 i = δ ≫ δ 2 = ( E i w 2 i ) 2wδ10Eiw4i=δ≫δ2=(Eiw2i)2
Sekarang, secara kasar, subruang sesuai dengan nilai eigen lebih kecil dari dari Laplacian berhubungan dengan set yang memiliki ekspansi paling banyak dalam grafik. Jadi, jika ada set -sized dengan ekspansi seperti itu maka akan ada vektor (yaitu proyeksi vektor karakteristik dari set ini ke ) dengan . Arah lain (yang lebih sulit untuk dibuktikan tetapi ternyata benar) adalah bahwa jika ada vektor dengan properti ini maka kita juga dapat menemukan himpunan dengan ukuran dengan ekspansi yang tidak terlalu baik.ϵ ϵ δ w W E i w 4 i ≫ ( E i w 2 i ) 2 w o ( 1 )WϵϵδwWEiw4i≫(Eiw2i)2wo(1)