Einbettung klassischer Informationen in die Norm eines Quantenzustands

10

Nach einer Einführung in das quantenmaschinelle Lernen (Schuld, Sinayskiy & Petruccione, 2014) haben Seth Lloyd et al. sage in ihrem Papier: Quantenalgorithmen für wachen und unüberwachten maschinelles Lernen , dass die klassischen Informationen in die Norm eines Quantenzustandes codiert werden x|x=|x|1x . Ich bin nicht sicher, ob ich ihre Notation verstehe.

Nehmen wir ein einfaches Beispiel. Angenommen, ich möchte dieses Array speichern: V={3,2,1,2,3,3,5,4} der Größe 23 im Zustand eines 3 Qubit-Quantensystems.

Ich kann den Zustand eines 3 Qubit-Systems wie folgt darstellen:

|ψ=a1|000+a2|001+a3|010+a4|011+a5|100+a6|101+a7|110+a8|111 (unter VerwendungStandardbasis)wobeiaiC  1i8 .

Ich konnte darstellen V als Vektor V=3x^1+2x^2+...+4x^8 wobei {x^1,x^2,...,x^8} bildet eine Orthonormalbasis in R8 und die Standard - euklidische Norm schreiben , um es als .|V|=32+22+...+42

Danach bin ich verwirrt, wie ich die Koeffizienten . Soll ich zuweisen nur 3 zu einem 1 , 2 zu einem 2 und so weiter?a1,a2,..,a83a12a2

Aber andererseits :

Betrachten Sie den Vektor dimensionalen komplexen Vektor v mit Komponenten { v i = | v i | e i ϕ i } . Angenommen, { | v i | , ϕ i } werden als Gleitkommazahlen im Quanten-Direktzugriffsspeicher gespeichert. Konstruktion des log 2 N Qubit-Quantenzustands | v = | v | - 1N=2nv{vi=|vi|eiϕi}{|vi|,ϕi}log2N dannO(log2N)Schritte, solange die Subnormen auch im qRAM angegeben sind. In diesem Fall kann jeder Zustand inO(logN)Schrittenkonstruiertwerden.|v=|v|1/2vO(log2N)O(logN)

Erstens verstehe ich ihre Vorstellung eines dimensionalen komplexen Vektors nicht. Wenn jede der Komponenten ihres klassischen Datenarrays zwei Gleitkommazahlen hat, wäre die Codierung in einen n- Qubit-Quantenzustand nicht gleichbedeutend mit dem Speichern eines klassischen Arrays mit einer Größe von 2 × 2 n in einem n- Qubit-System? Ja, ich weiß, dass eine 1 , eine 2 , . . , A 2 n komplexe Zahlen sind sowohl die Größe und Richtung aufweist, und kann daher speichern 2 × 2 n2nn2×2nna1,a2,..,a2n2×2nMenge an klassischen Informationen. Sie erwähnen jedoch nirgendwo, wie sie klassische Daten (beispielsweise in Form eines Arrays) in diese Form konvertieren . Darüber hinaus scheint es eine Einschränkung zu geben, dass die Phase einer komplexen Zahl a i nur im Bereich von - π bis + π liegen kann .2×2naiπ+π

Zweitens nehmen wir an, dass das anfängliche Datenarray, das wir in unserem Quantensystem speichern wollten, tatsächlich .V={{3,ϕ1},{2,ϕ2},...,{4,ϕ8}}

Wenn sie definieren v als | v | - 1 / 2 v dann | V in unserem Beispiel würde in etwa so aussehen ( |v|v|1/2v|V. Aber dann verlieren wir alle Informationen über die Phasen(32+22+...+42)1/2(|3eiϕ1||000+|2eiϕ2||001+...+|4eiϕ8||111) , nicht wahr? Was hat es also gebracht, mit einemkomplexenVektor (der sowohl eine Phase als auch eine Größe hat) zu beginnen, wenn wir diese Informationen bei der Konvertierung in | verlieren ? V überhaupt? Oder sollen wir beim Schreiben | berücksichtigen ? V als ( ϕi|V|V? (32+22+...+42)1/2(3eiϕ1|000+2eiϕ2|001+...+4eiϕ8|111)

Es wäre sehr hilfreich, wenn jemand anhand konkreter Beispiele zur Speicherung klassischer Daten in einem Qubit-System erklären könnte, wo ich falsch liege.n

Sanchayan Dutta
quelle
1
Die Schuld et al. Papier wurde ziemlich früh im Zeitalter des "Quantenmaschinellen Lernens" geschrieben, und ich hatte (noch) nie genug Interesse am Quantenmaschinellen Lernen, um zu viel Zeit damit zu verbringen, es zu lernen. Ich werde also nicht versuchen, die Frage zu beantworten, aber eine Sache, die ich beitragen kann, ist die Beantwortung Ihrer Verwirrung über die Einschränkung, dass die komplexe Phase zwischen und π liegt . Dieser Bereich von - π bis π ist eigentlich keine "Einschränkung", da er alle möglichen mathematischen Phasen abdeckt, die jemals existieren können. - π bis π bedeutet -180 bis 180 Grad, was ein voller Kreis ist. ππππππ
user1271772
Alles, was außerhalb des Bereichs von bis π liegt, ist wie 370 Grad zu sagen, was ein vollständiger Kreis plus weitere 10 Grad ist. 370 Grad entsprechen also 10 Grad und ebenfalls für alles außerhalb des Bereichs von - π bis π . ππππ
user1271772

Antworten:

3

I don't understand their notion of a 2n dimensional complex vector. If each of the components of their classical data array has two floating point numbers, wouldn't encoding that into a n-qubit quantum state be equivalent to storing a 2×2n size classical array in a n-qubit system?

You are absolutely correct that a 2×2n classical array of nubers is stored in an n-qubit system.

But they are absolutely right that the vector's dimension is 2n. This is because the vector has 2n rows, where each entry has 2 classical numbers.

Sie können denselben Vektor auch in einem Array speichern : 2 n Zeilen werden mit den Realteilen und 2 n Zeilen durch die Imaginärteile ausgefüllt , aber dieser Vektor würde sich nicht gemäß der Schrödinger-Gleichung entwickeln . 2×2n2n2n

Ich hoffe, dies hilft, diesen Teil der Frage zu lösen.

Sie erwähnen jedoch nirgendwo, wie sie klassische Daten (beispielsweise in Form eines Arrays) in diese Form konvertieren .2×2n

Du hast recht. So wie Peter Shor nirgendwo erwähnt hat, wie seine Qubits für das Factoring vorbereitet werden.

Dies liegt bei den Experimentatoren und ist implementierungsabhängig . Dies bedeutet, dass Sie für NMR-Qubits die klassischen Daten in Qubits umwandeln würden, die sich von supraleitenden Qubits, Ionenfallen-Qubits oder Quantenpunkt-Qubits usw. unterscheiden. Daher beschuldige ich Shor oder einen der 6 Autoren der beiden Artikel nicht Sie haben erwähnt (die übrigens alle Theoretiker sind), weil Sie nicht erklärt haben, wie die Qubits vorbereitet werden.

let us assume that the initial data array we wanted to store in our quantum system was actually V={{3,ϕ1},{2,ϕ2},...,{4,ϕ8}}. If they define |v as |v|1/2v then |V in our example would look something like (32+22+...+42)1/2(|3eiϕ1||000+|2eiϕ2||001+...+|4eiϕ8||111). But then we're losing all the information about the phases ϕi, isn't it? So what was the use of starting with a complex vector (having both a phase and magnitude) in the first place, when we're losing that information when converting to |V anyway?

You had it earlier in your question! "Consider the vector N=2n dimensional complex vector v with components {vi=|vi|eiϕi}." Therefore the vector is:

|v|1/2(|v1|eiϕ1|v2|eiϕ2|v2n|eiϕ2n)

Notice:
1) There's 2n entries, not 2×2n
2) There is NO norm around the phases, so this is why you have lost all information about the phases, because you put extra norm symbols where they shouldn't be :)

Or are we writing supposed to consider |V as (32+22+...+42)1/2(3eiϕ1|000+2eiϕ2|001+...+4eiϕ8|111)?

Closer! The correct answer is the vector I wrote above, which can be written like this:

|v|1/2(eiϕ1|0000+eiϕ2|0001++eiϕN|11).

For your specific example:

3eiϕ1|000+2eiϕ8|001++4eiϕ8|11177

The purpose of all of this is so that the sum of the squares of the coefficients is 1, which in my equation is true because the numberator is:

32+22+12+22+32+32+52+42=77

I hope that clears it up!

user1271772
quelle
Umm, but |V=|V|1/2V isn't it? Where is the |V|1/2 in your expression?
Sanchayan Dutta
But |V|=32+22+12+22+32+32+52+42=77. So, |V|1/2=771/4, no? Or are they using a different definition of norm?
Sanchayan Dutta
All fixed now. There is a typo in the original Seth Lloyd paper. {vi=|vi|eiϕi} is not normalized. It should be divided by the norm of the vector. The |v|1/2| is called "normalization" by the way.
user1271772
I ask because for a vector like 2i^+3j^+5k^ the standard norm is 22+32+52
Sanchayan Dutta
You are right I fixed that, is there still any problem? I would appreciate if you accept the answer since this took way longer to type out than I originally thought.
user1271772