English
Related papers

Related papers: Bit-Vector Abstractions to Formally Verify Quantum…

200 papers

It was shown by Ahn, Wiseman, and Milburn [PRA {\bf 67}, 052310 (2003)] that feedback control could be used as a quantum error correction process for errors induced by weak continuous measurement, given one perfectly measured error channel…

Quantum Physics · Physics 2009-11-10 Charlene Ahn , H. M. Wiseman , Kurt Jacobs

We demonstrate a quantum error correction scheme that protects against accidental measurement, using an encoding where the logical state of a single qubit is encoded into two physical qubits using a non-deterministic photonic CNOT gate. For…

Quantum Physics · Physics 2008-11-26 J. L. O'Brien , G. J. Pryde , A. G. White , T. C. Ralph

We propose and validate on real quantum computing hardware a new method for extended two-qubit gate set design, replacing iterative, fine calibration with fast characterization of a small number of gate parameters which are then tracked and…

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

Variational quantum circuits (VQCs) are a central component of many quantum machine learning algorithms, offering a hybrid quantum-classical framework that, under certain aspects, can be considered similar to classical deep neural networks.…

Quantum Physics · Physics 2025-07-16 Nicola Assolini , Luca Marzari , Isabella Mastroeni , Alessandra di Pierro

In order to solve problems of practical importance, quantum computers will likely need to incorporate quantum error correction, where a logical qubit is redundantly encoded in many noisy physical qubits. The large physical-qubit overhead…

Quantum Physics · Physics 2025-03-25 Harald Putterman , Kyungjoo Noh , Connor T. Hann , Gregory S. MacCabe , Shahriar Aghaeimeibodi , Rishi N. Patel , Menyoung Lee , William M. Jones , Hesam Moradinejad , Roberto Rodriguez , Neha Mahuli , Jefferson Rose , John Clai Owens , Harry Levine , Emma Rosenfeld , Philip Reinhold , Lorenzo Moncelsi , Joshua Ari Alcid , Nasser Alidoust , Patricio Arrangoiz-Arriola , James Barnett , Przemyslaw Bienias , Hugh A. Carson , Cliff Chen , Li Chen , Harutiun Chinkezian , Eric M. Chisholm , Ming-Han Chou , Aashish Clerk , Andrew Clifford , R. Cosmic , Ana Valdes Curiel , Erik Davis , Laura DeLorenzo , J. Mitchell D'Ewart , Art Diky , Nathan D'Souza , Philipp T. Dumitrescu , Shmuel Eisenmann , Essam Elkhouly , Glen Evenbly , Michael T. Fang , Yawen Fang , Matthew J. Fling , Warren Fon , Gabriel Garcia , Alexey V. Gorshkov , Julia A. Grant , Mason J. Gray , Sebastian Grimberg , Arne L. Grimsmo , Arbel Haim , Justin Hand , Yuan He , Mike Hernandez , David Hover , Jimmy S. C. Hung , Matthew Hunt , Joe Iverson , Ignace Jarrige , Jean-Christophe Jaskula , Liang Jiang , Mahmoud Kalaee , Rassul Karabalin , Peter J. Karalekas , Andrew J. Keller , Amirhossein Khalajhedayati , Aleksander Kubica , Hanho Lee , Catherine Leroux , Simon Lieu , Victor Ly , Keven Villegas Madrigal , Guillaume Marcaud , Gavin McCabe , Cody Miles , Ashley Milsted , Joaquin Minguzzi , Anurag Mishra , Biswaroop Mukherjee , Mahdi Naghiloo , Eric Oblepias , Gerson Ortuno , Jason Pagdilao , Nicola Pancotti , Ashley Panduro , JP Paquette , Minje Park , Gregory A. Peairs , David Perello , Eric C. Peterson , Sophia Ponte , John Preskill , Johnson Qiao , Gil Refael , Rachel Resnick , Alex Retzker , Omar A. Reyna , Marc Runyan , Colm A. Ryan , Abdulrahman Sahmoud , Ernesto Sanchez , Rohan Sanil , Krishanu Sankar , Yuki Sato , Thomas Scaffidi , Salome Siavoshi , Prasahnt Sivarajah , Trenton Skogland , Chun-Ju Su , Loren J. Swenson , Stephanie M. Teo , Astrid Tomada , Giacomo Torlai , E. Alex Wollack , Yufeng Ye , Jessica A. Zerrudo , Kailing Zhang , Fernando G. S. L. Brandão , Matthew H. Matheny , Oskar Painter

Correcting errors due to noise in quantum circuits run on current and near-term quantum hardware is essential for any convincing demonstration of quantum advantage. Indeed, in many cases it has been shown that noise renders quantum circuits…

Quantum Physics · Physics 2022-06-08 Rawad Mezher , James Mills , Elham Kashefi

Quantum error correction is vital for implementing universal quantum computing. A key component is the encoding circuit that maps a product state of physical qubits into the encoded multipartite entangled logical state. Known methods are…

Quantum Physics · Physics 2021-04-07 Xiaosi Xu , Simon C. Benjamin , Xiao Yuan

Numerical simulation is an important method for verifying the quantum circuits used to simulate low-energy nuclear states. However, real-world applications of quantum computing for nuclear theory often generate deep quantum circuits that…

Quantum Physics · Physics 2024-06-06 Ang Li , Alessandro Baroni , Ionel Stetcu , Travis S. Humble

As quantum devices continue to scale, distributed quantum computing emerges as a promising strategy for executing large-scale tasks across modular quantum processors. A central challenge in this paradigm is verifying the correctness of…

Creation and manipulation of entanglement with low error is essential in quantum information systems. In practice, two-qubit entangling gates constitute a dominant error source, limiting circuit depths and performance in fault-tolerant…

While all quantum algorithms can be expressed in terms of single-qubit and two-qubit gates, more expressive gate sets can help reduce the algorithmic depth. This is important in the presence of gate errors, especially those due to…

Known quantum error correction schemes are typically able to take advantage of only a limited class of classical error-correcting codes. Entanglement-assisted quantum error correction is a partial solution which made it possible to exploit…

Quantum Physics · Physics 2013-04-24 Yuichiro Fujiwara

Quantum error correction (QEC) will be essential to achieve the accuracy needed for quantum computers to realise their full potential. The field has seen promising progress with demonstrations of early QEC and real-time decoded experiments.…

This paper concerns the problem of checking if two shallow (i.e., constant-depth) quantum circuits perform equivalent computations. Equivalence checking is a fundamental correctness question -- needed, e.g., for ensuring that…

Quantum Physics · Physics 2025-04-03 Nengkun Yu , Xuan Du Trinh , Thomas Reps

We present a quantum error correction code which protects a qubit of information against general one qubit errors which maybe caused by the interaction with the environment. To accomplish this, we encode the original state by distributing…

Quantum Physics · Physics 2007-05-23 Raymond Laflamme , Cesar Miquel , Juan Pablo Paz , Wojciech Hubert Zurek

Quantum error correcting codes have been developed to protect a quantum computer from decoherence due to a noisy environment. In this paper, we present two methods for optimizing the physical implementation of such error correction schemes.…

Mesoscale and Nanoscale Physics · Physics 2009-10-31 Guido Burkard , Daniel Loss , David P. DiVincenzo , John A. Smolin

The behavior of real quantum hardware differs strongly from the simple error models typically used when simulating quantum error correction. Error processes are far more complex than simple depolarizing noise applied to single gates, and…

Quantum Physics · Physics 2024-08-06 Ian Hesner , Bence Hetényi , James R. Wootton

Quantum computing promises a new approach to solving difficult computational problems, and the quest of building a quantum computer has started. While the first attempts on construction were succesful, scalability has never been achieved,…

Quantum Physics · Physics 2014-08-01 Alexandru Paler , Simon J. Devitt , Kae Nemoto , Ilia Polian
‹ Prev 1 3 4 5 6 7 10 Next ›