ID PROJEKTU: QNT-2025 // KWANTOWE UCZENIE MASZYNOWE
QC1: Sprzętowo Wydajny VQC dla IQM Spark
QC1 to główny projekt badawczy Axion: odtwarzalny, sprzętowo świadomy program kwantowego uczenia maszynowego zbudowany wokół IQM Spark ODRA 5. Zespół wyszedł poza pojedynczą deklarację dokładności i przygotował pełną ramę ewaluacji uwierzytelniania banknotów, porównując ansatz CRX/CRY projektowany pod symulator z natywną dla ODRA konstrukcją RZ/CZ pod kątem kosztu kompilacji, proxy wierności, diagnostyk ekspresyjności, szumowej walidacji krzyżowej i bezpośredniego działania na fizycznym QPU.
Zobacz RepozytoriumProgram Badawczy
Od Klasyfikatora do Metodologii
Benchmark wykorzystuje zbiór UCI Banknote Authentication jako kompaktowe, mierzalne zadanie klasyfikacji binarnej dla sprzętu NISQ. Aktualny potok dodaje piątą cechę interakcyjną, skaluje wejścia do zakresu kodowania kątowego i ewaluuje pięciokubitowe konstrukcje VQC zarówno względem dokładnego odniesienia statevector, jak i na sprzęcie IQM Spark ODRA 5.
Główny Wniosek
Na fizycznym sprzęcie natywny dla ODRA ansatz RZ/CZ nie jest tylko czytelniejszy po transpile'owaniu; zmienia wynik końcowy. Dla głębokości L=4 dopasowany model osiąga 87,6% dokładności i F1=0,846 na IQM Spark, wobec 74,5% dokładności i F1=0,583 dla wariantu projektowanego pod symulator w tym samym protokole ewaluacji.
Wystąpienie Konferencyjne
2026 IEEE International Conference on Quantum Control, Computing, and Learning
Hardware-Efficient Ansatz Design and Noise-Aware Analysis of a Variational Quantum Classifier for IQM Spark
Abstrakt QC1 przeszedł recenzję i został przyjęty na wystąpienie ustne na IEEE qCCL 2026 w Aalborgu w Danii, w sesji Quantum Machine Learning. Wystąpienie przedstawiło sprzętowo wydajny projekt ansatzu, pięcioosiową ramę ewaluacji oraz wyniki z fizycznego QPU ODRA 5 opisane na tej stronie. Dostęp do procesora kwantowego zapewniło Wrocławskie Centrum Sieciowo-Superkomputerowe, a badania prowadzono w Katedrze Sztucznej Inteligencji Politechniki Wrocławskiej.
Mapa Eksperymentów i Branchy
QC1 rozwijał się przez wiele branchy i ścieżek eksperymentalnych. Publiczne repozytorium konsoliduje dziś tę pracę w instalowalny pakiet, notebooki, skrypty sprzętowe, checkpointy i artefakty wynikowe.
Dane i Pierwsze Prototypy VQC
Analiza eksploracyjna, wczesne kodowanie kątowe i pierwsze notebooki klasyfikatora hybrydowego ustaliły benchmark banknotów oraz pętlę modelowania.
Klasyczne Punkty Odniesienia
Branch DNN oraz notebook klasycznego ML na mainie dały kontekst dla zbioru danych i utrzymały część kwantową przy mierzalnych punktach odniesienia.
Rodziny Ansatzów i Checkpointy
Warianty ansatzów projektowane pod symulator i dostosowane do ODRA były trenowane, porównywane i zapisywane jako wagi do kolejnych badań.
Szumowa Walidacja Krzyżowa
Pięciofoldowy trening i przebiegi z fenomenologicznym szumem wartości oczekiwanej sprawdziły, czy ansatze są odporne, czy tylko dopasowane do idealnej symulacji.
Skalowanie Głębokości
Przebiegi dla głębokości 2, 4 i 6 skwantyfikowały zmiany parametrów, głębokości po kompilacji, liczby bramek i wrażliwości na szum wraz ze wzrostem obwodów.
Badania Wyłącznie na QPU
Izolowany branch zebrał fizyczne notebooki IQM Spark dla wierności, ewaluacji powtarzanych strzałów, testów modeli oraz porównań ansatzów i głębokości.
Czysty Pakiet i Artefakty Wynikowe
Aktualny mainline pakuje wspólną logikę w qbanknote, dodaje testy smoke, skrypty metryk IQM, workflow KL/Meyer-Wallach, notatki metodologiczne oraz udostępnione artefakty wynikowe.
Natywny ODRA vs Projektowany pod Symulator
Główne porównanie QC1 nie pyta tylko, który obwód najlepiej trenuje się w notebooku. Pyta, który ansatz przetrwa przejście od idealnego obwodu do natywnego zestawu bramek i realiów kalibracji IQM Spark.
Średnie z pięciu foldów przy tych samych foldach, próbkach i protokole strzałów. Ansatz dopasowany do sprzętu wygrywa w każdym foldzie, ale margines na fold waha się od 4,3 do 21,1 pp.
Redukcja głębokości po kompilacji o 51,7% dla obwodu natywnego ODRA.
Projekt natywny ODRA unika dużej części narzutu dekompozycji.
Wyższa estymowana niezawodność fizyczna jest spójna z różnicą w klasyfikacji sprzętowej.
Sama ekspresyjność nie przewiduje wydajności na fizycznym QPU.
Pięcioosiowa Rama Ewaluacji
Koszty Zasobów po Kompilacji
Fizyczna głębokość, całkowite liczby bramek i natywne bramki dwukubitowe po transpile'owaniu do IQM Spark.
Proxy Wierności
Złożone estymaty niezawodności fizycznej z użyciem kanałów błędu jedno- i dwukubitowego oraz pomiaru.
Diagnostyki Ekspresyjności
Dywergencja KL względem prawa wierności par Haar oraz workflow Meyer-Wallach dla zachowania rodzin obwodów.
Optymalizacja Świadoma Szumu
Pięciofoldowa walidacja krzyżowa w warunkach idealnych i z fenomenologicznym szumem wartości oczekiwanej oraz diagnostyki LED.
Pełne Przebiegi na QPU
Fizyczna ewaluacja IQM Spark z pilotowymi i finalnymi harmonogramami strzałów, powtórzeniami, odniesieniami statevector i porównaniami sparowanymi na poziomie foldów.
Współtwórcy
- Iwo Wojtakajtis
- Rafał Balicki
- Karina Leśkiewicz
- Maria Płatek
- Michał Szczęsny
Galeria