Sam Westrick @shwestrick.bsky.social · 24/10/2025We call our algorithm OAC, for "optimize and compact". We prove that this algorithm only calls the oracle productively: the number of additional calls to the oracle (due to melding, etc) is bounded by the number of optimizations found. 100
Sam Westrick @shwestrick.bsky.social · 24/10/2025In our experiments, we confirm that OAC performs strictly better than the naive chunked strategy, sometimes significantly so, removing thousands more gates from large circuit instances. This confirms that "melding" is important for circuit quality. 100
Sam Westrick @shwestrick.bsky.social · 24/10/2025Additionally, OAC outperforms existing quantum circuit optimizers, often producing a better quality final circuit in orders of magnitude less time. 100
