English
Related papers

Related papers: Differentiable Logical Programming for Quantum Cir…

200 papers

We propose using variational quantum algorithms (VQAs) to simulate established quantum algorithms under realistic noise conditions, aiming to surpass the fidelity of theoretical circuits in noisy environments. Focusing on the Quantum…

Quantum error-correcting codes (QECCs) can eliminate the negative effects of quantum noise, the major obstacle to the execution of quantum algorithms. However, realizing practical quantum error correction (QEC) requires resolving many…

Deep learning is one of the most successful and far-reaching strategies used in machine learning today. However, the scale and utility of neural networks is still greatly limited by the current hardware used to train them. These concerns…

Machine Learning · Computer Science 2022-01-12 Davis Arthur , Prasanna Date

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

Quantum bits have technological imperfections. Additionally, the capacity of a component that can be implemented feasibly is limited. Therefore, distributed quantum computation is required to scale up quantum computers. This dissertation…

Quantum Physics · Physics 2017-04-11 Shota Nagayama

Gate model quantum computers with too many qubits to be simulated by available classical computers are about to arrive. We present a strategy for programming these devices without error correction or compilation. This means that the number…

Quantum Physics · Physics 2017-03-21 E. Farhi , J. Goldstone , S. Gutmann , H. Neven

Quantum computers have the potential to solve certain problems faster than classical computers by exploiting quantum mechanical effects such as superposition. However, building high-quality quantum software is challenging due to the…

Quantum Physics · Physics 2025-01-28 Julian Shen , Joshua Ammermann , Christoph König , Ina Schaefer

Fault-tolerant logical operations for qubits encoded by CSS codes are discussed, with emphasis on methods that apply to codes of high rate, encoding k qubits per block with k>1. It is shown that the logical qubits within a given block can…

Quantum Physics · Physics 2013-05-29 Andrew M. Steane , Ben Ibinson

Quantum computing not only holds the potential to solve long-standing problems in quantum physics, but also to offer speed-ups across a broad spectrum of other fields. However, due to the noise and the limited scale of current quantum…

Quantum Physics · Physics 2024-03-05 Julien Gacon

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…

Color code is a promising topological code for fault-tolerant quantum computing. Insufficient research on the color code has delayed its practical application. In this work, we address several key issues to facilitate practical…

Quantum Physics · Physics 2024-06-04 Jiaxuan Zhang , Yu-Chun Wu , Guo-Ping Guo

Exploring an efficient and scalable architecture of fault-tolerant quantum computing (FTQC) is vital for demonstrating useful quantum computing. Here, we propose and evaluate a scalable and practical architecture with a…

Quantum Physics · Physics 2025-04-29 Rui Asaoka , Yasunari Suzuki , Yuuki Tokunaga

In the quest for fault-tolerant quantum computation using superconducting processors, accurate performance assessment and continuous design optimization stands at the forefront. To facilitate both meticulous simulation and streamlined…

Quantum Physics · Physics 2024-03-21 Xiaotong Ni , Ziang Wang , Rui Chao , Jianxin Chen

Variational quantum algorithms (VQAs) have established themselves as a central computational paradigm in the Noisy Intermediate-Scale Quantum (NISQ) era. By coupling parameterized quantum circuits (PQCs) with classical optimization, they…

Current implementations of quantum logic gates can be highly faulty and introduce errors. In order to correct these errors, it is necessary to first identify the faulty gates. We demonstrate a procedure to diagnose where gate faults occur…

Quantum Physics · Physics 2021-01-20 Margarite L. LaBorde , Allee C. Rogers , Jonathan P. Dowling

The current noisy intermediate-scale quantum (NISQ) era is characterized by substantial errors and noise, which limit the practical feasibility of deep, many-qubit circuits. To address these constraints, quantum circuit cutting has emerged…

Quantum Physics · Physics 2026-04-28 Yuval Idan , Eitan Zahavi , Elad Mentovich , Eliahu Cohen , Shmuel Zaks

Quantum computing is one of the most promising technology advances of the latest years. Once only a conceptual idea to solve physics simulations, quantum computation is today a reality, with numerous machines able to execute quantum…

Emerging Technologies · Computer Science 2021-11-16 Daniel Oliveira , Edoardo Giusto , Betis Baheri , Qiang Guan , Bartolomeo Montrucchio , Paolo Rech

Due to the unreliability and limited capacity of existing quantum computer prototypes, quantum circuit simulation continues to be a vital tool for validating next generation quantum computers and for studying variational quantum algorithms,…

Quantum Physics · Physics 2021-04-01 Yipeng Huang , Steven Holtzen , Todd Millstein , Guy Van den Broeck , Margaret Martonosi

Whether parameterized quantum circuits (PQCs) can be systematically constructed to be both trainable and expressive remains an open question. Highly expressive PQCs often exhibit barren plateaus, while several trainable alternatives admit…

Quantum Physics · Physics 2026-03-17 Peter Röseler , Dennis Willsch , Kristel Michielsen

With the race to build large-scale quantum computers and efforts to exploit quantum algorithms for efficient problem solving in science and engineering disciplines, the requirement to have efficient and scalable verification methods are of…

Quantum Physics · Physics 2023-03-14 Arun Govindankutty , Sudarshan K. Srinivasan , Nimish Mathure