{"id":"arxiv/2601.02515","url":"https://arxiv.org/abs/2601.02515","tags":["quant-ph"],"score":0,"title":"Minimization of AND-XOR Expressions with Decoders for Quantum Circuits","domain":"quant-ph","source":"arxiv","authors":["Sonia Yang","Ali Al-Bayaty","Marek Perkowski"],"reviews":0,"subject":"quant-ph","summary":"This paper introduces a new logic structure for reversible quantum circuit synthesis. Our synthesis method aims to minimize the quantum cost of reversible quantum circuits with decoders. In this method, multi-valued input, binary output (MVI) functions are utilized as a mathematical concept only, but the circuits are binary. We introduce the new concept of ``Multi-Valued Input Fixed Polarity Reed-Muller (MVI-RM)\" forms. Our decoder-based circuit uses three logical levels in contrast to commonly-used methods based on Exclusive-or Sum of Products (ESOP) with two levels (AND-XOR expressions),…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-01-05","reactions":{}}