English
Related papers

Related papers: DDMF: An Efficient Decision Diagram Structure for …

200 papers

Due to the significant progress made in the implementation of quantum hardware, efficient methods and tools to design corresponding algorithms become increasingly important. Many of these tools rely on functional representations of certain…

Quantum Physics · Physics 2023-01-11 Lukas Burgholzer , Rudy Raymond , Indranil Sengupta , Robert Wille

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

Quantum circuit mapping is a crucial process in the quantum circuit compilation pipeline, facilitating the transformation of a logical quantum circuit into a list of instructions directly executable on a target quantum system. Recent…

Quantum Physics · Physics 2024-12-10 Di Yu , Kun Fang

Dynamic quantum circuits with mid-circuit measurements (MCMs) and feed-forward operations play a crucial role in various applications, such as quantum error correction and quantum algorithms. With advancements in quantum hardware enabling…

Quantum Physics · Physics 2026-04-07 Sumeet Shirgure , Efekan Kökcü , Anupam Mitra , Wibe Albert de Jong , Costin Iancu , Siyuan Niu

In dynamic quantum circuits, classical information from mid-circuit measurements is fed forward during circuit execution. This emerging capability of quantum computers confers numerous advantages that can enable more efficient and powerful…

Quantum Physics · Physics 2024-03-28 Elisa Bäumer , Vinay Tripathi , Alireza Seif , Daniel Lidar , Derek S. Wang

The execution of quantum circuits on real systems has largely been limited to those which are simply time-ordered sequences of unitary operations followed by a projective measurement. As hardware platforms for quantum computing continue to…

This short note proposes a symbolic approach for representing and reasoning about quantum circuits using complex, vector or matrix-valued Boolean expressions. A major benefit of this approach is that it allows us to directly borrow the…

Quantum Physics · Physics 2020-10-08 Mingsheng Ying , Zhengfeng Ji

Quantum computing is a hotspot technology for its potential to accelerate specific applications by exploiting quantum parallelism. However, current physical quantum computers are limited to a relatively small scale, simulators based on…

Quantum Physics · Physics 2022-11-15 Jingcheng Shen , Linbo Long , Masao Okita , Fumihiko Ino

Diagrammatic representations of quantum algorithms and circuits offer novel approaches to their design and analysis. In this work, we describe extensions of the ZX-calculus especially suitable for parameterized quantum circuits, in…

Quantum Physics · Physics 2023-11-16 Tobias Stollenwerk , Stuart Hadfield

Recent advances in digital microfluidic (DMF) technologies offer a promising platform for a wide variety of biochemical applications, such as DNA analysis, automated drug discovery, and toxicity monitoring. For on-chip implementation of…

Emerging Technologies · Computer Science 2022-11-10 Sukanta Bhattacharjee , Ansuman Banerjee , Krishnendu Chakrabarty , Bhargab B. Bhattacharya

Quantum computing is a promising paradigm that may overcome the current computational power bottlenecks. The increasing maturity of quantum processors provides more possibilities for the development and implementation of quantum algorithms.…

Quantum Physics · Physics 2025-10-15 Ge Yan , Wenjie Wu , Yuheng Chen , Kaisen Pan , Xudong Lu , Zixiang Zhou , Yuhan Wang , Ruocheng Wang , Junchi Yan

While thousands of experimental physicists and chemists are currently trying to build scalable quantum computers, it appears that simulation of quantum computation will be at least as critical as circuit simulation in classical VLSI design.…

Quantum Physics · Physics 2007-05-23 George F. Viamontes , Manoj Rajagopalan , Igor L. Markov , John P. Hayes

Quantum computing has recently emerged as a transformative technology. Yet, its promised advantages rely on efficiently translating quantum operations into viable physical realizations. In this work, we use generative machine learning…

Quantum Physics · Physics 2024-05-22 Florian Fürrutter , Gorka Muñoz-Gil , Hans J. Briegel

This paper presents a highly efficient decomposition scheme and its associated Mathematica notebook for the analysis of complicated quantum circuits comprised of single/multiple qubit and qudit quantum gates. In particular, this scheme…

Quantum Physics · Physics 2015-06-03 T. Loke , J. B. Wang

Classical simulations of quantum circuits are essential for verifying and benchmarking quantum algorithms, particularly for large circuits, where computational demands increase exponentially with the number of qubits. Among available…

Quantum Physics · Physics 2024-12-20 Santana Y. Pradata , M 'Anin N. 'Azhiim , Hendry M. Lim , Ahmad R. T. Nugraha

Realizing a conceptual quantum algorithm on an actual physical device necessitates the algorithm's quantum circuit description to undergo certain transformations in order to adhere to all constraints imposed by the hardware. In this regard,…

Quantum Physics · Physics 2023-01-11 Lukas Burgholzer , Rudy Raymond , Robert Wille

Quantum computers promise to solve important problems faster than conventional computers. However, unleashing this power has been challenging. In particular, design automation runs into (1) the probabilistic nature of quantum computation…

Quantum Physics · Physics 2023-11-08 Stefan Hillmich , Richard Kueng , Igor L. Markov , Robert Wille

Existing quantum compilers optimize quantum circuits by applying circuit transformations designed by experts. This approach requires significant manual effort to design and implement circuit transformations for different quantum devices,…

Programming Languages · Computer Science 2022-05-03 Mingkuan Xu , Zikun Li , Oded Padon , Sina Lin , Jessica Pointing , Auguste Hirth , Henry Ma , Jens Palsberg , Alex Aiken , Umut A. Acar , Zhihao Jia

Quantum computing promises advantages over classical computing. The manufacturing of quantum hardware is in the infancy stage, called the Noisy Intermediate-Scale Quantum (NISQ) era. A major challenge is automated quantum circuit design…

Quantum computers are reaching a level where interactions between classical and quantum computations can happen in real-time. This marks the advent of a new, broader class of quantum circuits: dynamic quantum circuits. They offer a broader…

Quantum Physics · Physics 2023-01-11 Lukas Burgholzer , Robert Wille