Gry kwantowe na łańcuchach spinowych

Transkrypt

1 Gry kwantowe na łańcuchach spinowych Jarosław Miszczak we współpracy z Piotrem Gawronem i Zbigniewem Puchałą Instytut Informatyki Teoretycznej i Stosowanej PAN w Gliwicach J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 1 / 18

2 Plan wystąpienia 1 Krótki wstęp o grach kwantowych 2 Gra w orła i reszkę Kwantowe oszukiwanie 3 Kwantowa gra w orła i reszkę Implementacja na qubicie 4 Oszukiwanie w grze kwantowej Kontrolowanie ewolucji Optymalne wyniki dla Alicji Oszukiwanie ze strony Boba 5 Wnioski J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 2 / 18

3 Gry kwantowe służą do modelowania sytuacji w których dochodzi do konkurencji lub współdziałania osób posiadających możliwość operowania na danych zakodowanych w stanach kwantowych. Najprostszy przykład to kwantowy rzut monetą [Meyer, PRL 82(5), 1052 (1999)], który pokazuje, że warto uczyć się mechaniki kwantowej. Inne przykład to kwantowy dylemat więźnia [Eisert, Wilkens, Lewenstein, PRL, 83(15), 3077 (1999)]. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 3 / 18

4 Gra w orła i reszkę Gra w orła i reszkę (ang. penny flip game, bit flip game) to gra dwuosobowa. Gra składa się z trzech ruchów polegających na obróceniu monety (F flip) lub nie obróceniu monety (N not flip). Pierwszy ruch należy do Alicji, drugi do Boba i trzeci znowu do Alicji. Moneta jest na początku zwrócona reszką do góry. Bob wygrywa jeżeli reszka jest w tym samym stanie po zakończeniu gry. NN NF FN FF N F W powyższej tabelce 1 oznacza wygraną Alicji, a 1 wygraną Boba. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 4 / 18

5 Kwantowe oszukiwanie Załóżmy teraz, że moneta (bit) jest zakodowana jako qubit i że tylko jeden z graczy, a dokładnie tylko Alicja, o tym wie. Alicja może operować na monecie operacjami unitarnymi. Na przykład, stosując bramkę Hadamarda, przygotowuje ona w pierwszym ruchu stan 1 2 ( ). Bob niezależnie od wykonanego przez siebie ruchu nie ma możliwosci zmiany tego stanu. Zatem Alicja zawsze wygrywa. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 5 / 18

6 Kwantowa gra w orła i reszkę Załóżmy teraz, że obaj gracze mogą posługiwać się operacjami unitarnymi. Prawdopodobieństwo wygrania przez Alicję i Boba wynosi wówczas odpowiednio 1 U A2 U B U A1 0 2 oraz 0 U A2 U B U A1 0 2, przy czym 0 koduje reszkę, a 1 orła. Jaki jest wówczas optymalny wybór strategii? J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 6 / 18

7 Kwantowa gra w orła i reszkę Okazuje się, że gdy Bob stosuje strategię mieszaną X taką, że 1 U U = U U dµ(u), X U X to osiągana jest równowaga Nasha. U(d) Przykładem jest strategia Pauliego, zadana przez macierze {1l, iσ x, iσ y, iσ z } wykonywane z równym prawdopodobieństwem. W dalszej części będziemy przyjmować, że Bob stosuje strategię Pauliego. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 7 / 18

8 Implementacja na qubicie W jaki sposób Alicja i Bob kontrolują wykonanie swoich ruchów na qubicie? Muszą oni przygotować odpowiedni Hamiltonian, który będzie określał ewolucję układu w czasie każdego ich ruchu. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 8 / 18

9 Implementacja na qubicie Wykonanie operacji unitarnej jest równoważne zastosowaniu odpowiedniej sekwencji kontroli. Dowolna operacja z SU(2) to ( ) e iφ cos θ e iψ sin θ e iψ sin θ e iφ = e i φ+ψ 2 σz e iθσy e i φ ψ 2 σz. cos θ Aby uzyskać strategię Pauliego każdy z graczy musi zastosować poniższe wartości parametrów kontrolnych. ξ 1 ξ 2 ξ 3 1l iσ x π/4 π/2 π/4 iσ y 0 π/2 0 iσ z π/4 0 π/4 Stały jest czas T jaki Alicja i Bob mają na wykonanie ruchów. Każdy z parametrów ze skalą 3 T określa Hamiltonian stosowany przez czas T 3. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 9 / 18

10 Implementacja na łańcuchu spinów Skoro można grać uczciwie na jednym qubicie, to pojawia się pytanie czy gracz który ma możliwość operowania na łańcuchu qubitów, ma szansę na poprawę swojego wyniku. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 10 / 18

11 Implementacja na łańcuchu spinów Interesują nas układy, które są opisane Hamiltonianem gdzie H 0 opisuje dryft, a H c to Hamiltonian kontroli. Dla układu dwóch qubitów (spinów 1 2 ) mają one postać H(t) = H 0 + H c (t) (1) H 0 = J(σ x σ x + σ y σ y + σ z σ z ) oraz H c (t) = h y (t)σ y 1l + h z (t)σ z 1l. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 11 / 18

12 Implementacja na łańcuchu spinów Alicja zdaje sobie sprawę z pełnej struktury układu, natomiast Bob wykonuje tą samą strategię co w przypadku gry na jednym qubicie. Jeżeli Alicja chce w ten sposób oszukać Boba, to musi go najpierw przekonać, że układ wykorzystywany do gry jest uczciwy. Alicja może tego dokonać odpowiednio dobierając stałą J, odpowiedzialną za dryft. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 12 / 18

13 Implementacja na łańcuchu spinów średnia wypłata dla Boba J J Rysunek: Wartość oczekiwana wypłaty dla Boba jako funkcja stałej J. Zakładamy, że Alicja i Bob grają przy pomocy strategii Pauliego. Przy J 0.41 Bob wykonując serię testowych gier nie stwierdzi, że układ jest dwuqubitowy. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 13 / 18

14 Implementacja na łańcuchu spinów Zadaniem Alicji jest maksymalizacja wartości gdzie P A (h 1, h 2 ) = tr 2 ( ψ f i ψf i ) 1 (2) i=1 a macierze U(h 1 ) and U(h 2 ) są określone jako U = N 1 n=0 ψ f i = U(h 2)V i U(h 1 ) 00, (3) e i t(h0+hc(n t)) = U((N 1) t)... U( t)u(0), (4) gdzie h 1 i h 2 to wektory parametrów kontrolnych definujących H c w poszczególnych przedziałach czasu. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 14 / 18

15 Optymalne wyniki dla Alicji h1 h1 15 σ y σ z σ y a) σ y σ z σ y σ z σ y σ z σ y σ z σ y c) T h2 h2 15 σ y σ z σ y b) σ y σ z σ y σ z σ y σ z σ y σ z σ y d) Rysunek: Najlepsze znalezione kontrole dla Alicji przy łąńcuchu długości 2. Panele a) oraz b) pokazują wektory kontroli dające średni payoff Alicji równy Panele c) oraz d) pokazują strategię, która wymaga wykonania 9 kontroli na ruch i daje średni payoff T J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 15 / 18

16 Oszukiwanie ze strony Boba Przyjmijmy teraz, że to Bob oszukuje Alicję. Jeżeli będzie on wykorzystywał tylko jeden dodatkowy qubit, to jego szanse (przy stosowaniu krótkich sekwencji kontroli) wynoszą Długość łańcucha Maksymalny payoff Bob może natomiast poprawić znacznie swoje szanse, jeżeli będzie mógł dołączyć dłuższy łańcuch spinów. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 16 / 18

17 Wnioski Nawet dodanie jednego qubitu pozwala Alicji uzyskać niemal pewność wygranej. Nieznajomość dokładnej struktury systemu wykorzystwanego do kwantowego przetwarzania informacji może być łatwo wykorzystana na naszą niekorzyść. W grach kwantowych każdy znajdzie coś dla siebie: Z. Puchała, J.A.M, Symbolic integration with respect to the Haar measure on the unitary group in Mathematica, arxiv: P. Gawron, Ł. Pawela, Quantum buffer on a spin chain, w przygotowaniu. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 17 / 18

18 Dziękuję za uwagę. J.A.M., Z. Puchała, P. Gawron (IITiS PAN) Gry kwantowe na łańcuchach spinowych 18 / 18