Platzsparende „industrielle“ unsymmetrische Expander

24

Ich suche unsymmetrische Expander, die "gut" und "platzsparend" sind. Insbesondere ist ein zweigliedriger linksregelmäßiger Graph , | A | = n , | B | = m , mit dem linken Grad d ist ein ( k , ϵ ) -Expander, wenn für jedes S A der Größe höchstens k die Anzahl der verschiedenen Nachbarn von S in B mindestens ( 1 -G=(A,B,E)|A|=n|B|=md(k,ϵ)SAkSB. Es ist bekannt, dass die probabilistische Methode einen solchen Graphen mit d = O ( log ( n / k ) / ϵ ) und m = O ( k log ( n / k ) / ϵ 2 ) liefert. Man braucht jedoch O ( n d )(1ϵ)d|S|d=O(log(n/k)/ϵ)m=O(klog(n/k)/ϵ2)O(nd)Platz zum Speichern eines solchen Graphen. Außerdem muss man auch auf diesen Speicher zugreifen, wenn man etwas mit dem Graphen macht, was ebenfalls Kosten verursachen kann. Idealerweise möchte man eine explizite Konstruktion. Bekannte Konstruktionen erreichen jedoch meines Wissens (zumindest nachweislich) noch etwas weiter entfernte Parameter.

Meine Frage: Gibt es andere, möglicherweise nicht explizite Konstruktionen, die Grenzen "näher" an den oben genannten erreichen und dennoch "deutlich weniger" als verwenden?O(nd)

Ich suche nach Antworten in einer dieser drei Kategorien: (a) Theoreme (b) Vermutungen (c) Beobachtungen und "Kriegsgeschichten" wie "Wir haben dies getan und es schien irgendwie zu funktionieren". Dh "industrielle" Expander sind in Ordnung. Ich bevorzuge (a) gegenüber (b) und (b) gegenüber (c), aber Bettler können keine Wahl sein :)

Hier ist ein Beispiel für eine Konstruktion vom Typ (c). Nehmen Sie zufällige lineare Hash-Funktionen h i : [ n ] [ m ] (mod m ) und verbinden Sie jeden Vertex i mit h 1 ( i ) h d ( i ) . Ich und mein Schüler machten einige Experimente und es schien "gut" zu funktionieren. Gibt es Theoreme oder Vermutungen über diese oder verwandte Konstruktionen?dhi:[n][m]mih1(i)hd(i)

Vielen Dank!

Piotr
quelle
2
Dies ist eine großartige Frage, aber es scheint keine Antworten zu geben! Verwendet niemand andere Expander als einen Zauberstab, um Beweise zum Laufen zu bringen? Ich dachte, einige Arten von Ramanujan-Diagrammen wären recht einfach zu konstruieren.
András Salamon
2
Ramanujan-Graphen sind zwar relativ einfach zu konstruieren, aber sie sind ausgeglichen , dh m = n.
Piotr
Haben Sie sich den Bau von Guruswami-Umans-Vadhan angesehen? Ich frage mich, warum es Ihre Anforderung nicht erfüllt.
Zeyu

Antworten:

10

dh1,,hdvh1(v),,hd(v)(k,ϵ)d=k(t1)/(2ϵ)tn=qtm=dqq>dh1,,hdt

Holger
quelle
5

Ich dachte, dass ein Blick auf Umfragen / Vorträge von Avi Wigderson bei Ihrer Frage hilfreich sein könnte. Hier sind Folien aus einem Vortrag: Expander Tutorial, Juni 2010 . Der Aufbau beginnt auf Seite 40.

In Bezug auf die Platzkomplexität halte ich es für hilfreich, wenn Sie die Operationen angeben, die Sie an der Grafik ausführen müssen. Wenn ich mich nicht irre, erlauben einige Konstruktionen Operationen wie das Berechnen der Nachbarschaft im Logspace.

Kaveh
quelle