74 citations · 151 across the 10 of their papers we have counts for
11 papers
Parallelizable Exact Synthesis of Quantum Circuits via Semi-Tensor Product
Chenjian Li, Dingchao Gao, Xiangzhen Zhou +3
Exact synthesis is a key infrastructure in quantum circuit synthesis and optimization, which provides optimal implementations of small circuit shards and is widely used as a circui…
SSR: A Swapping-Sweeping-and-Rewriting Optimizer for Quantum Circuit Transformation
Yunqi Huang, Xiangzhen Zhou, Fanxu Meng +3
Quantum circuit transformation (QCT), necessary for adapting any quantum circuit to the qubit connectivity constraints of the NISQ device, often introduces numerous additional SWAP…
Qubit Mapping: The Adaptive Divide-and-Conquer Approach
Yunqi Huang, Xiangzhen Zhou, Fanxu Meng +1
The qubit mapping problem (QMP) focuses on the mapping and routing of qubits in quantum circuits so that the strict connectivity constraints imposed by near-term quantum hardware a…
Conditional Diffusion-based Parameter Generation for Quantum Approximate Optimization Algorithm
Fanxu Meng, Xiangzhen Zhou, Pengcheng Zhu +1
The Quantum Approximate Optimization Algorithm (QAOA) is a hybrid quantum-classical algorithm that shows promise in efficiently solving the MaxCut problem, a representative example…
Benchmarking Quantum Circuit Transformation with QKNOB Circuits
Sanjiang Li, Xiangzhen Zhou, Yuan Feng
Current superconducting quantum devices impose strict connectivity constraints on quantum circuit execution, necessitating circuit transformation before executing quantum circuits…
Supervised Learning Enhanced Quantum Circuit Transformation
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
A quantum circuit transformation (QCT) is required when executing a quantum program in a real quantum processing unit (QPU). Through inserting auxiliary SWAP gates, a QCT algorithm…
Approximate Equivalence Checking of Noisy Quantum Circuits
Xin Hong, Mingsheng Ying, Yuan Feng +2
We study the fundamental design automation problem of equivalence checking in the NISQ (Noisy Intermediate-Scale Quantum) computing realm where quantum noise is present inevitably.…
A Tensor Network based Decision Diagram for Representation of Quantum Circuits
Xin Hong, Xiangzhen Zhou, Sanjiang Li +2
Tensor networks have been successfully applied in simulation of quantum physical systems for decades. Recently, they have also been employed in classical simulation of quantum comp…
Quantum Circuit Transformation: A Monte Carlo Tree Search Framework
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
In Noisy Intermediate-Scale Quantum (NISQ) era, quantum processing units (QPUs) suffer from, among others, highly limited connectivity between physical qubits. To make a quantum ci…
Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search
Sanjiang Li, Xiangzhen Zhou, Yuan Feng
Mapping logical quantum circuits to Noisy Intermediate-Scale Quantum (NISQ) devices is a challenging problem which has attracted rapidly increasing interests from both quantum and…
Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search
Xiangzhen Zhou, Sanjiang Li, Yuan Feng
Quantum algorithm design usually assumes access to a perfect quantum computer with ideal properties like full connectivity, noise-freedom and arbitrarily long coherence time. In No…