Der Stand der Technik für Sonnenblumen

Ich interessiere mich für das Sonnenblumensystem und seine Anwendungen in der Informatik.

Wenn ein Universum und eine Sammlung von Mengen wird es als k-Sonnenblumen-System bezeichnet, wenn für alle . Und heißt als Kern und heißt Blütenblätter. $U$ $k$ $A_i$ $A_i \cap A_j = Y$ $i \neq j$ $Y$ $A_i - Y$

Eine Familie von Mengen heißt uniform. Alle darin enthaltenen Mengen besitzen Elemente. $F$ $s$ $s$

Erdos und Rado bewiesen , dass für eine einheitliche Familie von Mengen , ein enthalten -sonnenblumenöl System Blütenblätter , wenn . $s$ $F$ $F$ $k$ $|F| > s!(k-1)^s$

Dieses Ergebnis wird als Sonnenblumen-Lemma bezeichnet und hat viele wichtige Anwendungen.

Erdos vermutete, dass es für jedes eine Konstante so dass die Obergrenze jede einheitliche Familie . (Die Sonnenblumen-Vermutung) $k$ $c_k$ $c_k^s$ $s$ $F$

Leider ist diese Vermutung für noch offen . $k=3$

Folgendes möchte ich wissen.

Wenn wir die Anzahl der Elemente im Universum begrenzen .Suppose = . Dann stellt sich das Problem heraus: $U$ $|U|$ $u$

Bei einem gegebenen Universum mit Elementen und einer einheitlichen Familie von Mengen, die die Elemente in , können wir eine Folge von Konstanten $u$ $s$ $F$ $U$ $c_1$ , , , ... finden, so dass jede einheitliche Familie enthält Sonnenblumensystem wenn $c_2$ $c_3$ $s$ $F$ $3$ $|F|>$ $c_i^s$ und . $|U|=i$

Wenn wir außerdem beweisen könnten, dass die Sequenz gegen eine Konstante konvergiert , dann können wir anscheinend die Sonnenblumen-Vermutung beweisen. $c_i$ $c$

Aber ich kann ein solches Ergebnis nicht finden. Es könnte sein, dass dieser Ansatz zu dumm oder zu hart ist.

Könnte jemand den Stand der Technik der Sonnenblumen-Deckspelze und die Vermutung liefern (endliche Version ist auch in Ordnung).

Hier sind einige, die ich zur Verfügung stellen kann. Es gibt ein Kapitel in Junkas Buch The Extremal Combinatorics.

Das obige Papier ist eine seiner Anwendungen (endliche Version)

Über Sonnenblumen und Matrixmultiplikation N Alon et al

co.combinatorics set-theory

— Yao Wang
quelle

Es scheint nicht viel direkte Arbeit daran zu geben, außer neuen Anwendungen und dem kürzlich von Ihnen zitierten Papier, das das Interesse erhöhen könnte und wahrscheinlich der beste Ausgangspunkt für Refs ist (& juknas Buch ist auch unschlagbar). Hier ist eine schöne Zusammenfassung der Zusammenhänge von Kalai auf seinem Blog

— vzn

Ich denke, ein

c_{i}

$c_i$

i = | U |

$i = |U|$

c_{i} = 2^{i}

$c_i = 2^i$

| U |

$|U|$

@SashoNikolov. Danke für die Antwort Ja, wir wollen keine Abhängigkeit von

| U |

$|U|$

| U |

$|U|$

F

$F$

2^{i - ϵ}

$2^{i-\epsilon}$

Kurz frage ich, ob wir die Untergrenze verbessern können.

— Yao Wang

Die Erdos-Sonnenblumen-Vermutung scheint nach über einem halben Jahrhundert (!) der Offenheit sehr schwierig zu sein. Sie haben bereits einige der besten und neuesten Refs auf dem Thema aufgelistet, die sehr schwer zu schlagen wären (Alons jüngstes Papier, Juknas Buch über Kombinatorik). Das Alon-Papier ist sehr bemerkenswert, da es die Vermutung neu mit unteren Grenzen der Matrixmultiplikation verknüpft, einem Bereich, in dem die Williams-Ergebnisse kürzlich bahnbrechende Fortschritte gemacht haben. [4]

In Juknas herausragendem Buch [1] finden Sie eine weitere Behandlung, hauptsächlich Anwendungen für die Theorie extremer Schaltkreise (Schaltkreisuntergrenzen 1. von Razborov entdeckt und von anderen erweitert).

Ein bemerkenswerter / verwandter neuerer Hinweis in dieser Richtung, der anscheinend bisher nicht so bekannt oder zitiert war, ist [2] von Rossman mit einer neuen Anwendungsrichtung (Erdos-Renyi-Zufallsgraphen über monotone Schaltkreise) und wer beweist verlängerte und / oder stärkere Ergebnisse bei "quasi" Sonnenblumen. Die Arbeit ist ein Ergebnis seiner Doktorarbeit [3]. aus dem Papier Abstract

Wir stellen eine neue Variante von Sonnenblumen vor und beweisen ein Analogon zum Sonnenblumen-Lemma, das von unabhängigem Interesse sein kann.

[1] Komplexität, Fortschritte und Grenzen der Booleschen Funktion

[2] Die monotone Komplexität von k-Clique auf Zufallsgraphen (2009) Rossman

[3] Durchschnittliche Komplexität der Erkennung von Cliquen durch Rossman

[4] Kommentar zum Williams-Durchbruch bei der Untergrenze des Matrixprodukts RJ Liptons Godels Lost Letter-Blog

[5] Detaillierte Materialien zu Sonnenblumen

— vzn
quelle