English
Related papers

Related papers: Verifying the Steane code with Quantomatic

200 papers

Quantum error correction is a critical technique for transitioning from noisy intermediate-scale quantum (NISQ) devices to fully fledged quantum computers. The surface code, which has a high threshold error rate, is the leading quantum…

Noise and errors are inevitable parts of any practical implementation of a quantum computer. As a result, large-scale quantum computation will require ways to detect and correct errors on quantum information. Here, we present such a quantum…

A critical milestone for quantum computers is to demonstrate fault-tolerant computation that outperforms computation on physical qubits. The tesseract subsystem color code protects four logical qubits in 16 physical qubits, to distance…

It is important to protect quantum information against decoherence and operational errors, and quantum error-correcting (QEC) codes are the keys to solving this problem. Of course, just the existence of codes is not efficient. It is…

Quantum Physics · Physics 2007-05-23 Jumpei Niwa , Keiji Matsumoto , Hiroshi Imai

Quantum computing hardware has grown sufficiently complex that it often can no longer be simulated by classical computers, but its computational power remains limited by errors. These errors corrupt the results of quantum algorithms, and it…

Quantum error-correcting code for higher dimensional systems can, in general, be directly constructed from the codes for qubit systems. What remains unknown is whether there exist efficient code design techniques for higher dimensional…

Quantum Physics · Physics 2020-08-04 Ritajit Majumdar , Susmita Sur-Kolay

Quantum computers have the possibility of a much reduced calculation load compared with classical computers in specific problems. Quantum error correction (QEC) is vital for handling qubits, which are vulnerable to external noise. In QEC,…

Machine Learning · Computer Science 2025-12-15 Hideo Mukai , Hoshitaro Ohnishi

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 phase estimation (QPE) serves as a building block of many different quantum algorithms and finds important applications in computational chemistry problems. Despite the rapid development of quantum hardware, experimental…

Quantum Physics · Physics 2024-03-01 Kentaro Yamamoto , Samuel Duffield , Yuta Kikuchi , David Muñoz Ramo

We explore the effect of Shor state construction methods on logical state encoding and quantum error correction for the [[7,1,3]] Calderbank-Shor-Steane quantum error correction code in a nonequiprobable error environment. We determine the…

Quantum Physics · Physics 2015-06-03 Yaakov S. Weinstein , Sidney D. Buchbinder

We propose a method to verify quantum steering for two qubit states with an arbitrary amount of null results when both the steering and steered parties cannot be trusted. We converted the steering inequality proposed in a recent article…

Quantum Physics · Physics 2019-01-16 InU Jeon , Hyunseok Jeong

Quantum block encoding (QBE) is a crucial step in the development of most quantum algorithms, as it provides an embedding of a given matrix into a suitable larger unitary matrix. Historically, the development of efficient techniques for QBE…

Quantum Physics · Physics 2026-03-20 Giacomo Antonioli , Paola Boito , Gianna M. Del Corso , Margherita Porcelli

Quantum computing is seeking to realize hardware-optimized algorithms for application-related computational tasks. NP (nondeterministic-polynomial-time) is a complexity class containing many important but intractable problems like the…

Quantum Physics · Physics 2021-08-27 Aonan Zhang , Hao Zhan , Junjie Liao , Kaimin Zheng , Tao Jiang , Minghao Mi , Penghui Yao , Lijian Zhang

We introduce a purely graph-theoretical object, namely the coding clique, to construct quantum errorcorrecting codes. Almost all quantum codes constructed so far are stabilizer (additive) codes and the construction of nonadditive codes,…

Quantum Physics · Physics 2007-09-13 Sixia Yu , Qing Chen , C. H. Oh

Verification is a task to check whether a given quantum state is close to an ideal state or not. In this paper, we show that a variety of many-qubit quantum states can be verified with only sequential single-qubit measurements of Pauli…

Quantum Physics · Physics 2018-06-13 Yuki Takeuchi , Tomoyuki Morimae

The loss of qubits - the elementary carriers of quantum information - poses one of the fundamental obstacles towards large-scale and fault-tolerant quantum information processors. In this work, we experimentally demonstrate a complete…

While it has been widely recognized that genuine quantum advantage for practical problems might only be achieved with fault-tolerant quantum computers, it is still not entirely clear whether the required quantum error correction will be…

Quantum Physics · Physics 2026-05-07 Josey Stevens , Sebastian Deffner

The demonstration of quantum error correction (QEC) is one of the most important milestones in the realization of fully-fledged quantum computers. Toward this, QEC experiments using the surface codes have recently been actively conducted.…

Quantum Physics · Physics 2024-01-12 Mitsuki Katsuda , Kosuke Mitarai , Keisuke Fujii

Various techniques have been used in recent years for verifying quantum computers, that is, for determining whether a quantum computer/system satisfies a given formal specification of correctness. Barrier certificates are a recent novel…

Quantum Physics · Physics 2023-10-02 Marco Lewis , Paolo Zuliani , Sadegh Soudjani

Quantum computing promises to solve problems previously deemed infeasible. However, high error rates necessitate quantum error correction for practical applications. Seminal experiments with zoned neutral atom architectures have shown…

Quantum Physics · Physics 2025-06-03 Yannick Stade , Ludwig Schmid , Lukas Burgholzer , Robert Wille