{"id":"arxiv/2608.27430","url":"https://arxiv.org/abs/2608.27430","tags":["quant-ph","cs.LO"],"score":0,"title":"Factorized Boolean representations for efficient quantum synthesis","domain":"quant-ph","source":"arxiv","authors":["Mehul Shah","Robert Fiszer","Marek Perkowski"],"reviews":0,"subject":"quant-ph","summary":"Quantum algorithms promise advantages beyond classical reach, but running them on error-corrected hardware requires translating Boolean specifications into reversible circuits, and the resources that translation demands determine what is executable. Established methods minimize a Boolean expression and map it to a circuit, assuming the minimized form is best. Here we show that minimized expressions retain algebraic structure minimization cannot reach, arising from containment and complementary-polarity relationships among their terms, and that extracting it yields circuits cheaper to execute…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-08-27","reactions":{}}