Abstract:Most quantum compiling efforts rely on standard two-qubit basis gates, such as CX and iSWAP, to implement general quantum operations. However, with the advancement of quantum architecture design, more nonstandard two-qubit gates can now be implemented and calibrated on devices. Using these nonstandard gates may improve the performance of quantum computation. Despite this potential, it remains unclear how to efficiently incorporate these nonstandard gates into the quantum instruction set to enhance quantum advantage. To address this, we propose an analytical framework that facilitates the design of quantum instruction sets based on nonstandard gates. Our approach is grounded in the KAK decomposition and an analysis of the Cartan coordinate of two-qubit operations, enabling analytical conversion between any two two-qubit operations. This framework also demonstrates the lower and upper bounds of the conversion cost, revealing the relationship between the entangling power of two-qubit instructions and their Cartan coordinates. We further develop a compiler based on the analytical framework, which reduces the unitary decomposition cost with nonstandard two-qubit instructions. Using the proposed compiler, we evaluate various options for designing a quantum instruction set based on nonstandard gates. Our experiments demonstrate the efficiency of the proposed framework in the quantum instruction set design. Compared to the state-of-the-art method that is based on the numerical search, our framework reduces the time/resource overhead of exploring the instruction set design space by thousands of times. Moreover, with the established framework, we propose feasible designs for the quantum instruction set by modeling real-world quantum processors, further promoting the quantum advantage.

Quantum Implementation of Powell's Conjugate Direction Method

Quantum Implementation of Image Registration

From barren plateaus through fertile valleys: Conic extensions of parameterised quantum circuits

Modularized and Scalable Compilation for Double Quantum Dot Quatum Computing

Quantum Semidefinite Programming with Thermal Pure Quantum States

From Ad-Hoc to Systematic: A Strategy for Imposing General Boundary Conditions in Discretized PDEs in variational quantum algorithm

Quantum conjugate gradient method using the positive-side quantum eigenvalue transformation

Design the Quantum Instruction Set with the Cartan Coordinate Analysis Framework

Initial-State Dependent Optimization of Controlled Gate Operations with Quantum Computer

Quantum Dynamic Programming

Quantum improvement in Spatial Discretization

A hybrid algorithm for quadratically constrained quadratic optimization problems

Concolic Testing of Quantum Programs

Programming Variational Quantum Circuits with Quantum-Train Agent

Quantum multi-programming for Grover's search

Implement Quantum Search and Quantum Counting Algorithms by Geometric Quantum Computation

Tensor-based quantum phase difference estimation for large-scale demonstration

Superposition States on Different Axes of the Bloch Sphere for Cost-Effective Circuits Realization on IBM Quantum Computers

Quantum approximate optimization algorithm for qudit systems