Natürliche Theoreme haben sich nur "mit hoher Wahrscheinlichkeit" bewährt?

15

Es gibt viele Situationen, in denen ein randomisierter "Beweis" viel einfacher ist als ein deterministischer Beweis, wobei das kanonische Beispiel das Testen der polynomischen Identität ist.

Frage : Gibt es natürliche mathematische "Theoreme", bei denen ein randomisierter Beweis bekannt ist, ein deterministischer Beweis jedoch nicht?

Mit einem "randomisierten Beweis" einer Aussage meine ich dasP

  1. Es gibt einen randomisierten Algorithmus, der eine Eingabe von annimmt. Wenn falsch ist, wird ein deterministischer Beweis für mit einer Wahrscheinlichkeit von mindestens .P ¬ P 1 - 2 - nn>0P¬P12n

  2. Jemand hat den Algorithmus beispielsweise für und den Satz nicht widerlegt.n=100

Es ist einfach, nicht-natürliche Aussagen zu generieren, die passen: Wählen Sie einfach eine große Instanz eines Problems aus, bei dem nur ein effizienter randomisierter Algorithmus bekannt ist. Obwohl es viele mathematische Theoreme mit "vielen numerischen Beweisen" gibt, wie die Riemannsche Hypothese, kenne ich keine mit strengen randomisierten Beweisen der obigen Form.

Geoffrey Irving
quelle
@Kaveh: Danke für die Kategoriekorrekturen. Ich war mir nicht sicher, unter was ich es stellen sollte.
Geoffrey Irving
1
eine andere Richtung, das Studium der "Derandomisierungs" -Literatur (auf der Suche nach einer guten Übersicht). War der relativ neue (preisgekrönte) Reingold-Satz nicht auch ein Fall davon (wieder vor dem Beweis)?
vzn
1
Nun, jedes Problem mit einem deterministischen Beweis, der auf der ERH beruht (wie es früher bei Primes der Fall war), hätte diese Eigenschaft
Suresh Venkat,
1
Es tut mir leid, das zu sagen, aber ich glaube nicht, dass Ihre Frage Sinn macht, da es keine solchen Aussagen geben kann, natürlich oder nicht. Sie schreiben, dass N eine Primzahl ist, die früher ein gutes Beispiel war, aber (natürlich) es gab immer einen deterministischen Beweis für die Ursprünglichkeit, nur ein bisschen länger. Ich kann mir auch nicht vorstellen, wie Sie die Erfolgswahrscheinlichkeit eines Algorithmus definieren würden, der eine feste Aussage widerlegen soll. Vielleicht möchten Sie nach einem effizienten Beweis für eine Klasse von Problemen fragen (dh die Eingabe wäre P und n und die Aussage P (n)), aber dann kommen wir zur Komplexitätstheorie und der Definition von BPP.
Domotorp
2
domotorp: Es ist wahr, dass (unter der Annahme, dass der Algorithmus eine begrenzte Anzahl von Zufallsbits verwendet) ein solcher randomisierter Beweis mit einigen Leistungskosten derandomisiert werden kann. Ich frage jedoch nach Beispielen, bei denen die Leistungskosten so hoch sind, dass der deterministische Beweis bisher nicht durchgeführt wurde, während der randomisierte Beweis dies getan hat. Ich halte die Definitionen in diesem Zusammenhang für sinnvoll.
Geoffrey Irving

Antworten:

6

Dies ist kein Beispiel dafür, wonach Sie fragen, aber es zeigt, wie ein solches Beispiel zustande kommen kann. Einige kombinatorische Identitäten können als Identitäten über Polynome mit begrenztem Grad codiert werden . Wenn die Polynome univariant sind, genügt es, sie mit d + 1 Punkten zu verifizieren, um die Identität zu beweisen . Wenn die Polynome jedoch multivariat sind und der Grad mindestens mäßig groß ist, ist das Scwartz-Zippel-Lemma möglicherweise die einzige praktische Möglichkeit, die Identität zu überprüfen.dd+1

Ein Beispiel für den univariaten Fall finden Sie in diesem Artikel von Zeilberger zur Lösung einer Frage von Knuth. Er beweist eine Aussage über die Statistik von Permutationen. Für eine Permutation sei inv ( π ) die Zahl | { ( i , j ) : i < j , π ( i ) > π ( j ) } | von Inversionen von π , und lassen Sie den Hauptindex maj ( π ) vonπSninv(π)|{(i,j):i<j,π(i)>π(j)}|πMaj(π) ist die Summe aller ganzen Zahlen in der Menge { i : π ( i + 1 ) < π ( i ) } . Zeilberger beweist, dass für alle n die Kovarianz der beiden Statistiken istπ{ich:π(ich+1)<π(ich)}n

dem alle Erwartungen über einen gleichmäßig zufälligenπinSn. Zeilbergers Beweis ist nur eine Computerüberprüfung fürn{1,2,3,4,5}und eine Beobachtung, dass die Aussage einer Identität zwischen Polynomen innvon höchstens4Graden entspricht.

E[(inv(π)-E[inv(π)])(Maj(π)-E[Maj(π)])]=14(n2),
πSnn{1,2,3,4,5}n4
Sasho Nikolov
quelle
Danke, das ist ein schöner Artikel. Ich mag die Moral.
Geoffrey Irving