Quantum Computing Hartmut Klauck Universität Frankfurt WS 05/

Andere Krypto-Probleme Bit-Commitment [BC]: Alice möchte ein Bit verschliessen, an Bob geben, so dass Bob keine Information über das Bit erhält Alice trotzdem festgelegt ist Packe Zettel mit Bit in einem Safe, behalte Schlüssel Coin-Flipping [CF]: Alice und Bob möchten über einen Kommunikationskanal ein faires Zufallsbit ziehen 1,2-Oblivious-Transfer [OT]: Alice hat 2 Bits, Bob soll genau ein Bit lernen, Alice nicht erfahren, welches

Anwendungen BC: Z.B. Auktionen OT: Private Berechnung von Funktionen CF: On-line Spiele

BC und CF Wenn BC möglich, dann auch CF: Alice wirft eine Münze, Wert x, Commitment an Bob Bob wirft eine Münze, Wert y, sendet zu Alice Alice öffnet Commitment Zufallsbit x©y

Klassische Unmöglichkeit OT: Bob kann immer Information über beide Eingaben erhalten BC: Wenn Alice Bob Nachricht ohne Information sendet, kann Alice immer ihr Bit wechseln CF: Entweder: Für alle Nachrichten von Alice gibt es jeweils eine Nachricht von Bob,...., so dass Bob gewinnt, dann kann Bob perfekt betrügen Oder: umgekehrt, Alice kann perfekt betrügen

BB84 Bit Commitment Commit: Alice wählt Basis |0i, |1i ODER (|0i+|1i)/2 1/2, (|0i-|1i)/2 1/2 Alice sendet 100 zufällige Elemente der Basis, entspr. Bits x 1,...,x 100 Bob misst die erhaltenen Zustände, jeweils zufällig in einer der Basen Reveal: Alice sagt Basis, sendet x 1,...,x 100 Bob testet, ob seine Messergebnisse korrekt auf den Qubits, wo er in der richtigen Basis gemessen hat, und Messergebnisse sonst unkorrelliert

Ist das Protokoll korrekt? Bekommt Bob Information? Kann Alice mogeln? Bob erhält 100 Qubits, jedes ist zufällig aus |0i, |1i ODER selbe Situation mit (|0i+|1i)/2 1/2, (|0i-|1i)/2 1/2 Behauptung: Beide Fälle ununterscheidbar!

Dichtematrizen Sei ein Zustand | i= i=1...n i |ii gegeben purer Zustand h | transponierter und komplex konjugierter Vektor Dichtematrix: | i h | Matrix hat Rang 1 Eigenwert 1 mit Eigenvektor | i Spur 1 Hermitesch und positiv semidefinit

Gemischte Zustände Ensemble: Menge von Zuständen mit Wahrscheinlichkeiten, {| i i,p i }; p i =1 Dichtematrix dazu: p i | i i h i | Klar: Matrix ist Hermitesch Spur ist 1 (Spur ist linear) Ist positiv semidefinit

Dichtematrizen Dichtematrix: Matrix ist Hermitesch Spur ist 1 (ist linear) Ist positiv semidefinit Definiere Quantenzustände als Dichtematrizen Anwendung einer unitären Operation: U U* Messung: per Linearität definiert

Dichtematrizen Für jedes : es gibt eine Basis, in der diagonal ist, EW auf Diagonale, EW reell, zwischen 0 und 1 In dieser Basis ist eine Wahrscheinlichkeitsverteilung Wenn purer Zustand ist, dann ist Diagonale ( )

Dichtematrizen und Ensembles Zu jedem Ensemble gibt es genau eine Dichtematrix Umgekehrt? Bob erhält 100 Qubits, jedes ist zufällig aus |0i, |1i ODER selbe Situation mit (|0i+|1i)/2 1/2, (|0i-|1i)/2 1/2 Behauptung: Beide Fälle ununterscheidbar! Dichtematrizen:

Ist BB84 BC sicher? Bob erhält keine Information in der Commit Phase Aber kann Alice mogeln? Alice präpariert 100 EPR-Paare, schickt je eines der Qubits zu Bob Für Bob kein Unterschied erkennbar Bob misst EPR-Paare (in zuf. Basis) Alice behauptet gewünschte Basis, misst ihre Qubits in dieser Basis, und nennt Bob Messergebnisse Behauptung: Übereinstimmung auf gewählter Basis, keine Korrelation auf anderer:

Beschreibung von Teilsytemen Sei also | AB i gegeben Im normalen Formalismus Teilsysteme nicht beschreibbar, z.B. EPR-Paare Dichtematrix AB auf Zuständen im Hilbertraum H­ G ist Matrix mit |H| |G| Zeilen und Spalten Operation partielle Spur: trace B (|ai hb|­|cihd| = |ai hb| ¢ trace |ci hd|

Beschreibung von Teilsytemen Eigenschaften: A ist Dichtematrix A ­ B AB im allgemeinen A ist der Zustand des A-Teilsystems trace B ( A ­ B )= A Beispiel: EPR-Paar