arXiv subjects

Sonia Yang

Publications and source records attributed to Sonia Yang.

3 recordsLinked to original sources

arXiv2026

Minimization of AND-XOR Expressions with Decoders for Quantum Circuits

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), realized by Toffoli gates. In general, the high number of input qubits in the resulting Toffoli gates is a problem that greatly impacts the quantum cost. Using decoders decreases the number of input qubits in these Toffoli gates. We present two practical algorithms for three-level circuit synthesis by finding the MVI-FPRM: products-matching and the newly developed butterfly diagrams. The best MVI-FPRM forms are factorized and reduced to approximate Multi-Valued Input Generalized Reed-Muller (MVI-GRM) forms.

quant-ph↗

arXiv2025

Visualizing the state space and transformations of higher order quantum logics via toric geometry

We propose some new uses of toric variety structures in the study of quantum computation for small radices. In particular, we observe the concurrence of the equivalence classes of quantum states under quantum measurement and the orbits of the toric geometric structure of the state space. Visualizations of these state spaces and of certain fundamental unitary transformations in binary and ternary quantum logic and a method to develop new transformations based on these visualization techniques are presented. Transformations discussed included minimal universal sets for permutative ternary quantum circuits. In addition, general structures and synthesis methods based on quantum multiplexers are presented. A general framework for the design of optimal ternary quantum transformations and circuits is additionally presented. Finally, a number of open research areas that are extensions of the work presented herein are given.

quant-ph↗

arXiv2025

A Cost-Effective Layout-Aware Quantum Circuit Synthesis For Triangular, Square, and Heavy-Hex Layouts

The quantum layout and the mapping of logical to physical qubits are crucial in quantum circuit synthesis for a real quantum computer. Circuits that include large $n$-bit Toffoli gates ($n \geq 3$), such as those designed from cost-expensive gates and hard-to-decompose Exclusive-or Sum of Products (ESOP) expressions, have complications of effective mappings into contemporary quantum layouts, such as the square grid and heavy-hex layouts. These complications are primarily caused by the limited connectivity among the physical qubits in such layouts, leading to the insertion of many additional SWAP gates. This paper introduces a new quantum circuit synthesis methodology by exploring the advantage of a Positive Davio lattice (PDL) as an intermediate representation to create our proposed triangular layout and layout-aware circuits. From these circuits, we introduce and form the SWAT gate, composed of a SWAP gate followed by a 3-bit Toffoli gate. To illustrate the usefulness of our method for existing industrial quantum layouts, we also introduce cost-effective mappings of the resulting circuits onto square grid and heavy-hex layouts without additional SWAP gates. This is done with the help of the SWAT gate. Our research highlights PDLs as an efficient tool for layout-aware quantum circuit synthesis.

quant-ph↗