{"id":"arxiv/2609.19160","url":"https://arxiv.org/abs/2609.19160","tags":["quant-ph"],"score":0,"title":"AlchemQ: Proof-Carrying Quantum Circuit Optimization with Per-Result Equivalence Certificates","domain":"quant-ph","source":"arxiv","authors":["Adam Laabs"],"reviews":0,"subject":"quant-ph","summary":"We present AlchemQ v0.5, a proof-of-concept system that couples an untrusted beam-search optimizer with a machine-checkable per-result certification layer and a versioned certificate protocol (0.2.0), so that every optimized circuit ships with a verifiable artifact rather than a bare claim. The certifier proves equivalence up to global phase by ZX-calculus full reduction, with a numeric-tensor fallback based on the optimal Hilbert-Schmidt overlap. Certificates are self-contained and tamper-evident: canonical gate-canon-v1 hashes, measured residuals, tri-state verdicts…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-08-24","reactions":{}}