Wie definiere ich Quanten-Turing-Maschinen?

52

Was ist bei der Quantenberechnung das äquivalente Modell einer Turing-Maschine? Mir ist ziemlich klar, wie Quantenschaltungen aus Quantentoren aufgebaut werden können, aber wie können wir eine Quantenturingmaschine (QTM) definieren, die tatsächlich von Quanteneffekten profitieren kann, nämlich auf hochdimensionalen Systemen arbeiten?

Ran G.
quelle
9
Diese Vorlesungsnotiz von Berkeley gibt eine Antwort. www.eecs.berkeley.edu/~vazirani/f97qcom/lec19.ps
Mohammad Al-Turkistany
1
Tatsächlich sind das Quantenschaltungsmodell und die Quantenturnmaschine äquivalent, was von ACYao bewiesen wurde.
Strin

Antworten:

30

( Anmerkung : Die vollständige Beschreibung ist etwas komplex und enthält einige Feinheiten, die ich am liebsten ignoriert habe. Nachfolgend sind nur die allgemeinen Ideen für das QTM-Modell aufgeführt.)

Wenn man eine Quantum Turing-Maschine (QTM) definiert, möchte man ein einfaches Modell haben, das dem klassischen TM ähnelt (dh eine Finite-State-Maschine plus ein unendliches Band), aber dem neuen Modell den Vorteil der Quantenmechanik gewähren.

Ähnlich wie das klassische Modell hat QTM:

  1. Q={q0,q1,..}q0
  2. Σ={σ0,σ1,...}Γ={γ0,..}
  3. ein unendliches Band und ein einziger "Kopf".

C=(q,T,i)qQTΓi

HQ×Σ×ZC=(q,T,i)

|C=|q|T|i.
Γ

|ψ(0)=|q0|T0|1T0ΓxΣ

U

|ψ(i+1)=U|ψ(i)

n|ψ(n)=Un|ψ(0)Uq,T,i|U|q,T,ii=i±1TTi

qf

Das Interessante ist, dass jeder "Schritt" des QTM-Zustands eine Überlagerung möglicher Konfigurationen ist, was dem QTM den "Quanten" -Vorteil gibt.


Die Antwort basiert auf Masanao Ozawa, Über das Halteproblem von Quantenturniermaschinen . Siehe auch David Deutsch, Quantentheorie, das Church-Turing-Prinzip und den universellen Quantencomputer .

Ran G.
quelle
7
Ich bin mir nicht sicher, ob die ursprüngliche Definition von David Deutsch alles richtig macht. Es war das erste Mal, dass jemand versuchte, sie zu definieren, und es bedurfte einiger Verbesserungen, um die richtige mathematisch genaue Definition herauszufinden.
Peter Shor
7

Wie aus den Anmerkungen hervorgeht, besteht die Definition eines QTM darin, die Übergangsfunktion als eine einheitliche Transformation von Zustand und Buchstabe zu definieren. In jedem Schritt stellen Sie sich vor, Sie multiplizieren den Vektor (Zustand, Buchstabe) mit einer Transformation, um einen neuen (Zustand, Buchstabe) zu erhalten. Es ist nicht besonders praktisch, aber es kann definiert werden.

Suresh
quelle