English
Related papers

Related papers: Quartz: Superoptimization of Quantum Circuits (Ext…

200 papers

In order to demonstrate non-trivial quantum computations experimentally, such as the synthesis of arbitrary entangled states, it will be useful to understand how to decompose a desired quantum computation into the shortest possible sequence…

Quantum Physics · Physics 2009-11-10 Farrokh Vatan , Colin Williams

Contemporary quantum computers encode and process quantum information in binary qubits (d = 2). However, many architectures include higher energy levels that are left as unused computational resources. We demonstrate a superconducting…

Given a quantum algorithm, it is highly nontrivial to devise an efficient sequence of physical gates implementing the algorithm on real hardware and incorporating topological quantum error correction. In this paper, we present a first step…

Quantum Physics · Physics 2016-08-10 Alexandru Paler , Simon J. Devitt , Austin G. Fowler

We use a random search technique to find quantum gate sequences that implement perfect quantum state preparation or unitary operator synthesis with arbitrary targets. This approach is based on the recent discovery that there is a large…

Quantum Physics · Physics 2024-10-25 Sahel Ashhab , Fumiki Yoshihara , Miwako Tsuji , Mitsuhisa Sato , Kouichi Semba

Since simulating quantum computers requires exponentially more classical resources, efficient algorithms are extremely helpful. We analyze algorithms that create single qubit and specific controlled qubit matrix representations of gates.…

Quantum Physics · Physics 2007-05-23 Eric Hsu

Optimizing quantum circuits is challenging due to the very large search space of functionally equivalent circuits and the necessity of applying transformations that temporarily decrease performance to achieve a final performance…

Quantum Physics · Physics 2023-07-20 Zikun Li , Jinjun Peng , Yixuan Mei , Sina Lin , Yi Wu , Oded Padon , Zhihao Jia

Quantum computations are expressed in general as quantum circuits, which are specified by ordered lists of quantum gates. The resulting specifications are used during the optimisation and execution of the expressed computations. However,…

Quantum Physics · Physics 2018-08-08 Alexandru Paler , Simon J. Devitt

Unlike most classical algorithms that take an input and give the solution directly as an output, quantum algorithms produce a quantum circuit that works as an indirect solution to computationally hard problems. In the full quantum computing…

Quantum Physics · Physics 2025-05-22 Yikai Mao , Shaswot Shresthamali , Masaaki Kondo

Parametrised quantum circuits contain phase gates whose phase is determined by a classical algorithm prior to running the circuit on a quantum device. Such circuits are used in variational algorithms like QAOA and VQE. In order for these…

Quantum Physics · Physics 2025-08-27 John van de Wetering , Richie Yeung , Tuomas Laakkonen , Aleks Kissinger

Quantum computing has the potential to improve our ability to solve certain optimization problems that are computationally difficult for classical computers, by offering new algorithmic approaches that may provide speedups under specific…

Quantum Physics · Physics 2025-04-24 Ilya Tyagin , Marwa H. Farag , Kyle Sherbert , Karunya Shirali , Yuri Alexeev , Ilya Safro

Quantum computing has shown tremendous promise in addressing complex computational problems, yet its practical realization is hindered by the limited availability of qubits for computation. Recent advancements in quantum hardware have…

Quantum Physics · Physics 2023-11-22 Kun Fang , Munan Zhang , Ruqi Shi , Yinan Li

Current structure optimization algorithms optimize the structure of quantum circuit from scratch for each new task of variational quantum algorithms (VQAs) without using any prior experience, which is inefficient and time-consuming.…

Quantum Physics · Physics 2022-04-12 Chuangtao Chen , Zhimin He , Shenggen Zheng , Yan Zhou , Haozhen Situ

As quantum technology advances, the efficient design of quantum circuits has become an important area of research. This paper provides an introduction to the MCT quantum circuit design problem for reversible Boolean functions with the…

Optimization and Control · Mathematics 2025-07-10 Jihye Jung , Kevin Dalmeijer , Pascal Van Hentenryck

As a new research area, quantum software testing lacks systematic testing benchmarks to assess testing techniques' effectiveness. Recently, some open-source benchmarks and mutation analysis tools have emerged. However, there is insufficient…

Software Engineering · Computer Science 2025-05-05 Eñaut Mendiluze Usandizaga , Tao Yue , Paolo Arcaini , Shaukat Ali

Optimizing quantum circuits by reducing circuit depth is essential for improving the efficiency and scalability of quantum algorithms, particularly as quantum hardware continues to evolve. This can be achieved by restructuring quantum…

Quantum Physics · Physics 2026-05-07 Folkert de Ronde , Stephan Wong , Sebastian Feld

Rapid development in quantum computing leads to the appearance of several quantum applications. Quantum Fourier Transformation (QFT) sits at the heart of many of these applications. Existing work leverages SAT solver or heuristics to…

Quantum Physics · Physics 2024-08-22 Yuwei Jin , Xiangyu Gao , Minghao Guo , Henry Chen , Fei Hua , Chi Zhang , Eddy Z. Zhang

The building blocks of quantum algorithms and software are quantum gates, with the appropriate combination of quantum gates leading to a desired quantum circuit. Deep expert knowledge is necessary to discover effective combinations of…

Quantum Physics · Physics 2023-07-17 Bodo Rosenhahn , Tobias J. Osborne

Quantum computing has the potential to solve many complex algorithms in the domains of optimization, arithmetics, structural search, financial risk analysis, machine learning, image processing, and others. Quantum circuits built to…

Quantum Physics · Physics 2024-07-26 Vladimir V. Arsoski

Quantum computing holds the potential to revolutionize various fields by efficiently tackling complex problems. At its core are quantum circuits, sequences of quantum gates manipulating quantum states. The selection of the right quantum…

Software Engineering · Computer Science 2024-06-13 Xiaoyu Guo , Takahiro Muta , Jianjun Zhao

Traditional quantum circuit optimization is performed directly at the circuit level. Alternatively, a quantum circuit can be translated to a ZX-diagram which can be simplified using the rules of the ZX-calculus, after which a simplified…

Quantum Physics · Physics 2022-09-16 Ryan Krueger