Natürliche Berechnung basierend auf fundamentalen Kräften

9

Bekannte Beispiele für Berechnungen, die von Naturphänomenen inspiriert sind, sind Quantencomputer und DNA-Computer.

Was ist über das Potenzial und / oder die Einschränkungen des Rechnens mit Maxwells Gesetzen oder der Schwerkraft bekannt?

Das heißt, die "schnellen" Lösungen der Natur für Maxwells Gleichungen oder das n-Körper-Problem direkt in einen Allzweckalgorithmus zu integrieren?

Kaveh
quelle
2
Ich denke, sie haben tatsächlich Computer gebaut, die die Schwerkraft nutzen: en.wikipedia.org/wiki/MONIAC_Computer :)
Jukka Suomela
Fluidische Logik ... interessant
1
Übrigens wäre ich etwas vorsichtig mit den Extremen. Zum Beispiel scheint die allgemeine Relativitätstheorie isoliert betrachtet Berechnungen zu ermöglichen, die über die mit klassischen Modellen möglichen hinausgehen. Für eine "natürliche" Lösung können wir jedoch den Rest unseres Wissens über Physik nicht ignorieren : Der unten skizzierte Schwarzlochcomputer widerspricht der Thermodynamik und der Quantenmechanik. Jede gute Lösung für das Rechnen mit fundamentalen Kräften sollte wahrscheinlich im Schnittpunkt unserer physikalischen Theorien liegen. (Ich würde sagen, dass Quantencomputer hier qualifiziert sind.)
Funkstar

Antworten:

11

n

In diesem Sinne hat Roger Brockett in den 80er Jahren einige interessante Arbeiten durchgeführt, um Sortierung und lineare Programmierung als Lösung für ein dynamisches System zu betrachten.

Suresh Venkat
quelle
Vielen Dank, Ihre Kommentare helfen mir, einige der konzeptionellen Probleme zu verstehen. Und das Brockett-Papier sieht sehr interessant aus.
Natürlich passt adiabatisches Quantencomputing auch nicht leicht in das Paradigma einer "Folge elementarer Operationen" ...
Niel de Beaudrap
13

Gegenwärtig ist die Quantenberechnung das leistungsfähigste Computermodell, das auf bekannter Physik basiert und experimentell realisiert wurde. Sie kann Maxwells Gleichungen und so ziemlich jedes andere physikalische Phänomen, dem Sie im täglichen Leben begegnen, effizient simulieren. Wie die anderen erwähnt haben, bilden eine Ausnahme allgemeine Raumzeiten, die als Lösungen für die allgemeine Relativitätstheorie zulässig sind.

Es gab ein großes Interesse an der Rechenleistung von Computern mit Zugriff auf geschlossene Zeit wie beispielsweise Kurven. Es gibt jedoch absolut keine Beweise dafür, dass diese in der Natur existieren oder dass sie künstlich erzeugt werden können. Während es also potenziell interessante Rechenmodelle gibt, die die allgemeine Relativitätstheorie in irgendeiner Form beinhalten, gibt es erhebliche Zweifel daran, ob solche Modelle realisiert werden können, und bevor wir das allgemeinste Modell der physikalischen Berechnung haben können, brauchen wir eine solide Theorie der Quantengravitation.

Ferner zeigen sich die interessanten Merkmale der allgemeinen Relativitätstheorie nur in Regionen mit hoher Krümmung, die sich stark von der fast flachen Region der Raumzeit unterscheiden, in der wir leben, und die Auswirkungen der Relativitätstheorie in einem solchen flachen (ish) Raum bieten keinen Rechenvorteil.

Joe Fitzsimons
quelle
2
aber natürlich werden wir unsere Supercomputer in ein Schwarzes Loch pflanzen;)
Suresh Venkat
10

Für die Schwerkraft bestand ein gewisses Interesse an "relativistischem Rechnen", bei dem die Struktur der Raumzeit verwendet wird, um Berechnungen auf irgendeine Weise zu beschleunigen. Einige Ideen umfassen die Malament-Hogarth-Raumzeit und das Rechnen über Schwarze Löcher: Starten Sie Ihren Computer mit einer Berechnung, um beispielsweise die Goldbach-Vermutung zu bestimmen (indem Sie nach einem Gegenbeispiel suchen) und sich dann in ein Schwarzes Loch zu werfen. Es kann eine unendliche Zeit vergehen, bis der Computer außerhalb des Lochs nach einem Gegenbeispiel sucht. Dies wird jedoch nur als endliche Zeit für Sie innerhalb des Lochs erlebt. Wenn Sie also innerhalb einer bestimmten Frist kein Signal mit einem Gegenbeispiel erhalten, "wissen" Sie, dass keines existiert .

Vielleicht interessieren Sie sich auch für den Physik- und Berechnungsworkshop .

Funkstar
quelle
Die gravologische topologische Quantenberechnung von Velez und Ospina ist ein weiterer Versuch, Gravitationscomputer-Ideen zu modellieren.
Aaron Sterling
2

Hier ist eine Interpretation Ihrer Frage, die Sie vielleicht beabsichtigt haben oder nicht, auf die ich eine Antwort habe.

Computer sind offensichtlich reale physikalische Geräte und können daher nach den Gesetzen der Physik modelliert werden. Wir verwenden jedoch nicht die Gesetze der Physik, die zur Beschreibung eines realen Computers als Berechnungsmodell erforderlich wären, da dieser zu komplex ist. Um ein Berechnungsmodell zu erstellen, definieren wir so etwas wie eine Turing-Maschine, die einfach genug ist, um mathematisch nachvollziehbar zu sein. Jetzt haben wir das Modell jedoch von der physischen Welt getrennt, da wir nicht sagen, wie die Turing-Maschine gebaut ist oder welche Kräfte sie zum Laufen bringen.

Können wir also einige einfache Modelle entwickeln, die "Berechnung" erfassen, deren Grundregeln jedoch physikalischer Natur sind? Meine Antwort darauf wäre, die Feynman Lectures on Computation zu lesen: http://www.amazon.com/Feynman-Lectures-Computation-Richard-P/dp/0738202967

Er spricht über viele verschiedene einfache physikalische Systeme, die eine Berechnung durchführen. Zum Beispiel gibt es das Billardkugelmodell von Fredkin und Toffoli (http://en.wikipedia.org/wiki/Billiard-ball_computer), bei dem es darum ging, den Energiebedarf explizit zu berücksichtigen und einen Computer zu entwerfen, für den läuft beliebig viele Schritte für beliebig wenig Energie. Insbesondere das Kapitel über reversibles Rechnen enthält viele Beispiele dieser Art.

Wir denken in meinem Labor viel über dieses Problem nach. Zum Beispiel haben wir einige Arbeiten durchgeführt, was es für chemische Reaktionsnetzwerke bedeutet, Berechnungen durchzuführen: http://www.dna.caltech.edu/DNAresearch_publications.html#DeterministicCRNs und http://www.dna.caltech.edu /DNAresearch_publications.html#ComputationalCRNs

Wir denken auch darüber nach, wie die Bildung von Impfkristallen Berechnungen durchführen kann: http://www.dna.caltech.edu/DNAresearch_publications.html#Simulationen und tatsächlich versuchen, dies experimentell zu erreichen: http: //www.dna.caltech .edu / DNAresearch_publications.html # OrigamiSeed und einige andere Arbeiten, die auf der Berechnung eines physikalischen Phänomens basieren, das als DNA-Strangverschiebung bezeichnet wird: http://www.dna.caltech.edu/DNAresearch_publications.html#DNALogicCircuits

Dave Doty
quelle
0

Die Quantentheorie erfasst das Konzept diskreter Objekte ziemlich gut. Andere physikalische Theorien tun dies nicht.

Tegiri Nenashi
quelle
3
Ich bin mir nicht sicher, wie genau das ist. Sicherlich erlaubt die Quantentheorie ein gewisses Maß an natürlicher Diskretisierung, aber dies kann auch in der klassischen Physik vorhanden sein (dh ein Stück Schnur ist entweder verbunden oder gebrochen, ein Potential kann eine endliche Anzahl von Minima haben usw.). Wenn überhaupt, macht die Quantenphysik die Dinge kontinuierlicher, indem sie eine kontinuierliche Entwicklung zwischen orthogonalen Zuständen ermöglicht.
Joe Fitzsimons
Die Evolution ist in Quanten- und klassischen Theorien identisch - Hamiltonsche Dynamik. Es ist der Zustand, der sich unterscheidet. Sicher gibt es [angewandte] Physikfelder, in denen man binäre Gatter modellieren könnte. Die Frage ist, ob irgendetwas im Rahmen grundlegender klassischer Theorien (wie Schwerkraft, Elektromagnetismus) zu diskreten Zuständen führen kann.
Tegiri Nenashi
Die Tatsache, dass die Quantenmechanik auch einen Hamilton-Operator hat, bedeutet nicht, dass die Dynamik identisch ist. Die Hamiltonianer sind einfach nicht die gleichen (Sie müssen den klassischen Hamiltonianer quantisieren). Dies führt zu einer unterschiedlichen Dynamik. Die klassische Physik kann gleichermaßen zu solchen diskreten Mengen führen: das Vorhandensein oder Fehlen eines Teilchens (z. B. eines Elektrons) in einem bestimmten räumlichen Modus. Double-Well-Potentiale sind ein wirklich einfaches Beispiel dafür. Bei Nulltemperatur befindet sich das Partikel im Bohrloch in einem von zwei Zuständen. Darüber hinaus leistet die Relativitätstheorie einen wunderbaren Beitrag zur Aufteilung der Raumzeit.
Joe Fitzsimons
Ich werde nicht gegen lokale Minima kontinuierlicher Funktion argumentieren, die als diskrete Zustände interpretiert werden. Alles, was zur Herstellung eines Transistors / einer Vakuumröhre (und daher eines Logikgatters) erforderlich ist, besteht darin, ein gewisses Steuerpotential über den Elektronenfluss zu legen. ganz im Bereich der klassischen Physik. Ich würde vorschlagen, wenn Sie einige CS-Artefakte modellieren möchten - das berüchtigtste ist eine unendliche Menge natürlicher Zahlen -, bietet Ihnen die Quantenmechanik solche.
Tegiri Nenashi
2
Die Anzahl der stehenden Moden einer Welle in einem Hohlraum ist ebenfalls eine zählbare Unendlichkeit. Dies ist wirklich nicht der Vorteil von Quantencomputern.
Joe Fitzsimons