Alapfogalmak
Quantenprogrammiersprache mit Einheitlichkeit und Machbarkeit.
Kivonat
Die vorgestellte Quantenprogrammiersprache kombiniert höherstufige Programme und Quantenkontrollfluss, um sicherzustellen, dass alle Qubit-Transformationen unitär sind. Die Typisierung garantiert Einheitlichkeit und Normalisierung in polynomialer Zeit. Die Sprache vereint zwei Modalitäten: Quantenschaltkreisprogramme bewahren Einheitlichkeit, während alle Programme in polynomialer Zeit ausgewertet werden, um ihre Machbarkeit sicherzustellen.
Einleitung
Klassische Kontrolle vs. Quantenkontrolle.
Einheitlichkeit und Machbarkeit sind entscheidend.
Vorstellung der PUNQ-Programmiersprache.
Einheitlichkeit
Problem der Einheitlichkeit in der Quantenkontrolle.
Darstellung von Quantendaten als lineare Kombinationen.
Typdisziplin zur Gewährleistung der Einheitlichkeit.
Machbarkeit
Bedeutung der Machbarkeit von Quantenprogrammen.
Kompilierung in Niedrigpegelmodelle wie Quantenschaltkreise.
Beziehung zur Komplexitätstheorie und BQP.
Verwandte Arbeiten
Vergleich verschiedener Ansätze zur Quantenkontrolle und Einheitlichkeit.
Untersuchung von Komplexitätsklassen in der Quanteninformatik.
Statisztikák
Unsere Sprache kombiniert zwei Modalitäten: Quantenschaltkreisprogramme bewahren Einheitlichkeit, und alle Programme werden in polynomialer Zeit ausgewertet.
Idézetek
"Einheitlichkeit ist ein grundlegendes Problem in der Quantenkontrolle."
"Feasibility ist entscheidend für die Implementierbarkeit von Quantenprogrammen."