Quirk symulator obwodów kwantowych: przewodnik dla deweloperów

Quirk: przeglądarkowy symulator obwodów kwantowych do nauki podstaw

Quirk to narzędzie internetowe do symulacji obwodów kwantowych w czasie rzeczywistym. Opracowany przez Craiga Gidney'a z Google do szybkiego prototypowania i wizualizacji operacji kwantowych. Symulator aktualizuje stan obwodu co 0,1 sekundy bez ręcznego uruchamiania, co przyspiesza eksperymenty 100-krotnie w porównaniu z czystym JavaScript.

Narzędzie jest odpowiednie dla programistów średniozaawansowanych i zaawansowanych, uczących się obliczeń kwantowych: weryfikacja hipotez, debugowanie małych obwodów do 16 kubitów, demonstracja algorytmów bez instalacji oprogramowania.

Interfejs i nawigacja

Główne menu zawiera dokumentację, filmy, kod źródłowy i przykłady obwodów. Obszar roboczy dzieli się na panele:

• Górny: podstawowe bramki, sondy, wyświetlacze.
• Dolny: zaawansowane bramki, arytmetyka.
• Centralne pole: przeciąganie i upuszczanie bramek.

Po lewej stronie kubitów znajdują się wskaźniki stanu (|0⟩, |1⟩, |+⟩, |-⟩, |i⟩, |-i⟩). Usuwanie bramki odbywa się przez przeciągnięcie poza obszar. URL koduje obwód do zapisania.

Oznaczenia kolorystyczne:

• Białe: statyczne bramki.
• Żółte: animowane (obrót w czasie rzeczywistym).
• Szare: wielokubitowe.
• Zielone/niebieskie: wyświetlacze (Amps pokazuje zespolone amplitudy).

Najazd kursorem na element ujawnia macierz i osie obrotu.

Grupy bramek i elementów

Sondy i wyświetlacze

Sondy (Probes) wydobywają informacje bez zmiany stanu, przydatne do debugowania. Wyświetlacze pokazują amplitudy, prawdopodobieństwa w dowolnym punkcie obwodu.

Obróty i operacje podstawowe

• Half turns: X/Y/Z o 180°, H (superpozycja), Swap.
• Quarter turns: √X/√Y/√Z (90°), S (√Z).
• Eighth turns: T (45°), pierwiastki ułamkowe.

Spinning: ciągły obrót, kąt przez przeciągnięcie.

Formulaic: formuły z t, x, y (np. sin(t)).

Parametrized: zmienna A dla kątów, zależna od wejść.

Zaawansowane grupy

• Sampling: pomiary probabilistyczne bez rozgałęziania, przeliczenie po kliknięciu.
• Parity: kontrola parzystości grupy kubitów.
• X/Y Probes: pomiary w bazach X/Y.
• Order: odwrócenie kolejności kubitów dla arytmetyki.
• Frequency: QFT, gradienty do strojenia fazy.

Pozostałe to arytmetyka na rejestrach kwantowych (dodawanie, mnożenie).

Przykłady wbudowanych obwodów

Quirk zawiera demonstracyjne obwody dla kluczowych algorytmów:

• Grover Search: wyszukiwanie w O(√N), iteracje zwiększają prawdopodobieństwo.
• Shor Period Finding: okres B^r ≡ 1 mod R, szczyty po QFT.
• Bell Inequality Test: naruszenie realizmu lokalnego przez splątanie.
• Quantum Teleportation: przenoszenie stanu przez splątanie.
• Superdense Coding: 2 klasyczne bity w 1 kubit + para.
• Delayed Choice Eraser: retrospektywne wymazywanie ścieżki, interferencja przez wybór.

| Obwód | Kluczowy efekt | Kubity |

|-------|-----------------|--------|

| Grover | Prawdopodobieństwo rośnie | 3-5 |

| Shor | Szczyty 1/r | 8+ |

| Bell | Korelacje > klasyka | 4 |

| Teleport | Przesyłanie bez kopii | 3 |

| Superdense | 100% dekodowanie | 2 |

| Eraser | Interferencja post factum | 4 |

Ograniczenia i zastosowanie

Maksimum 16 kubitów — dla prototypów, nie produkcji. Brak własnych bramek przez UI, statystyk detektorów, optymalizacji mobilnej. Ukryte bramki — przez URL.

Zalety dla programistów:

• Brak rejestracji, natychmiastowa odpowiedź.
• Wizualizacja stanów w czasie rzeczywistym.
• Otwarty kod (Apache 2.0).

Idealny do intuicyjnego zrozumienia: superpozycja, splątanie, QFT bez kodu.

Co jest ważne

• Symulacja w czasie rzeczywistym (0,1s/klatka) przyspiesza iteracje.
• Wyświetlacze pokazują stany wewnątrz obwodu, nie tylko wyjście.
• Obsługa formuł/parametrów dla dynamicznych bramek.
• Wbudowane przykłady kluczowych algorytmów (Grover, Shor).
• Limit 16 kubitów — skupienie na nauce, nie na skali.

— Editorial Team