2 citations · 5 across the 8 of their papers we have counts for
5 papers · 1 filter
Equivalence Checking of Parameterised Quantum Circuits
Xin Hong, Wei-Jia Huang, Wei-Chen Chien +4
Parameterised quantum circuits (PQCs) hold great promise for demonstrating quantum advantages in practical applications of quantum computation. Examples of successful applications…
Ansatz-Agnostic Exponential Resource Saving in Variational Quantum Algorithms Using Shallow Shadows
Afrad Basheer, Yuan Feng, Christopher Ferrie +1
Variational Quantum Algorithms (VQA) have been identified as a promising candidate for the demonstration of near-term quantum advantage in solving optimization tasks in chemical si…
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…
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…