126 citations · 1.4k across the 81 of their papers we have counts for
82 papers
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping
Sanjiang Li, Ky Dan Nguyen, Zachary Clare +1
Quantum circuit transformation (QCT, a.k.a. qubit mapping) is a critical step in quantum circuit compilation. Typically, QCT is achieved by finding an appropriate initial mapping a…
Decision Diagrams for Symbolic Verification of Quantum Circuits
Xin Hong, Wei-Jia Huang, Wei-Chen Chien +5
With the rapid development of quantum computing, automatic verification of quantum circuits becomes more and more important. While several decision diagrams (DDs) have been introdu…
Verification of Nondeterministic Quantum Programs
Yuan Feng, Yingte Xu
Nondeterministic choice is a useful program construct that provides a way to describe the behaviour of a program without specifying the details of possible implementations. It supp…
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…
A Matrix Big Bang on a Quantum Computer
Viti Chandra, Yuan Feng, Michael McGuigan
M-theory is a mysterious theory that seeks to unite different string theories in one lower dimension. The most studied example is eleven dimensional but other dimensions have been…
Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows
Afrad Basheer, Yuan Feng, Christopher Ferrie +1
Variational quantum algorithms (VQAs) are the quantum analog of classical neural networks (NNs). A VQA consists of a parameterized quantum circuit (PQC) which is composed of multip…