![]() To optimize a circuit, you can write your circuit in the qasm language and write it to a qasm file.Ĭurrently, we only support a subset of qasm's grammar. We show the steps to super-optimize a quantum circuit in Quartz. See all supported gate types in and their implementations in gate/.Īnd then you can run. GateType::add is to enable using a sum of two input parameters as an input to a parameterized quantum gate. You can change the main function in src/test/gen_ecc_set.cpp to the following: To generate an (n,q)-complete ECC set with m input parameters for some gate set, To generate and verify pre-defined ECC sets, you can simply run. Second, Quartz's circuit optimizer takes a quantum circuit and an ECC set as inputs and use cost-based backtracking search to discover a super-optimized quantum circuit. First, for a given gate set, the Quartz circuit generator and circuit equivalence verifier can automatically generate and verify possible circuit transformations, represented as an equivalent circuit class (ECC) set. Quartz targets the logical optimization stage in quantum circuit compilation and can be used to optimize quantum circuits for arbitrary gate sets (e.g., IBM or Regetti quantum processors). See instructions to install Quartz from source code. Quartz uses a cost-based search algorithm to explore the space and discovers highly optimized quantum circuits. To optimize an input quantum circuit, Quartz uses these auto-generated circuit transformations to construct a search space of functionally equivalent quantum circuits. Quartz is a quantum circuit optimizer that automatically generates and verifies circuit transformations for an arbitrary quantum gate set.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |