Keberadaan jalur panjang yang diinduksi dalam grafik expander

12

Katakanlah keluarga grafik memiliki jalur yang diinduksi panjang jika ada konstanta ϵ > 0 sehingga setiap grafik G dalam F berisi jalur yang diinduksi pada | V ( G ) | ϵ simpul. Saya tertarik pada properti keluarga grafik yang memastikan keberadaan jalur yang panjang. Secara khusus, saya saat ini bertanya-tanya apakah ekspander derajat konstan telah lama diinduksi jalur. Inilah yang saya tahu.Fϵ>0GF|V(G)|ϵ

  • Grafik acak dengan derajat rata-rata konstan (dalam model Erd-Rényi) memiliki jalur panjang yang diinduksi (bahkan linier) dengan probabilitas tinggi; lihat misalnya artikel Suen .
  • Grafik expander unik-tetangga (seperti yang didefinisikan oleh Alon dan Copalbo ) memiliki pohon besar yang diinduksi . Faktanya, setiap pohon maksimal yang diinduksi besar dalam grafik tersebut.

Dengan adanya dua fakta ini, saya berharap bahwa ekspander tingkat kontestan telah menempuh jalan yang panjang. Namun, saya tidak dapat menemukan hasil yang konkret. Wawasan apa pun sangat dihargai.

Bart Jansen
sumber

Jawaban:

10

Jawabannya harus positif jika grafik derajat terbatas Anda memiliki sifat memiliki ekspansi konstan dan ketebalan. Argumennya adalah: mulai dari titik, kemudian untuk n ϵ langkah berjalan di mana setiap langkah dipilih secara acak di antara mereka yang tidak membawa kita kembali ke tempat kita sebelumnya. (Jadi jika grafiknya d- reguler, kita memiliki d - 1 pilihan acak pada setiap langkah.)Ω(logn)nϵdd1

ijijijnΩ(1)ϵ1o(1)

|ij|ijj>i+Ω(logn)(i,j)nΩ(1)vnΩ(1)nΩ(1)nΩ(1)O(1)vnΩ(1)

Luca Trevisan
sumber
1
Ω(logn)