KI und die schwierigen Probleme der Welt · Quantenphysik & Quantencomputing · arXiv · 2026-10-19
Verifizierbare Struktur in Quantenschaltkreisen nutzen, um mit agentischer KI effizientere Kompilierungen zu finden
Originaltitel: Leveraging verifiable structure in quantum circuits to find more efficient compilations with agentic AI
Die Arbeit schlägt vor, KI-Agenten einzusetzen, um Quantenschaltungen effizienter zu kompilieren, wenn Engpass-Subroutinen eine klassisch verifizierbare Struktur aufweisen, sodass sich eine näherungsweise Synthese durch Fuzz-Tests zertifizieren lässt. Sie behandelt drei Anwendungen: die Berechnung von 1/√x für die Simulation des Coulomb-Operators in der Modellierung von Fusionsreaktoren, die Dekodierung von Reed-Solomon-Codes in der dekodierten Quanteninterferometrie sowie Quanten-Lookup-Tabellen mit Givens-Rotationen in der Chemiesimulation. Referenzimplementierungen werden als Grundlage für einen geplanten Kaggle-Wettbewerb zur KI-gestützten Optimierung der Kompilierung vorgestellt.