English
Related papers

Related papers: Topological Quantum Gates in Homotopy Type Theory

200 papers

Geometric quantum computation offers a potential route to fault-tolerant quantum information processing by exploiting the global nature of geometric phases. However, achieving controlled high-order suppression of multiple error sources…

Quantum Physics · Physics 2026-04-06 Hai Xu , Tao Chen , Junkai Zeng , Xiu-Hao Deng , Fang Gao , Xin Wang , Zheng-Yuan Xue , Chengxian Zhang

Fault-tolerant quantum computation using lattice surgery can be abstracted as operations on graphs, wherein each logical qubit corresponds to a vertex of the graph, and multi-qubit measurements are accomplished by connecting the vertices…

Quantum Physics · Physics 2025-08-26 Ryo Wakizaka , Yasunari Suzuki , Atsushi Igarashi

Formalizations of quantum information theory in category theory and type theory, for the design of verifiable quantum programming languages, need to express its two fundamental characteristics: (1) parameterized linearity and (2) metricity.…

Quantum Physics · Physics 2026-04-07 Hisham Sati , Urs Schreiber

We take initial steps towards a general framework for constructing logical gates in general quantum CSS codes. Viewing CSS codes as cochain complexes, we observe that cohomology invariants naturally give rise to diagonal logical gates. We…

Making topological authentication from theory to practical application is an important and challenging task. More and more researchers pay attention on coming quantum computation, privacy data protection, lattices and cryptography. Research…

Cryptography and Security · Computer Science 2022-02-09 Bing Yao , Jing Su , Fei Ma , Hongyu Wang , Chao Yang

Distributed quantum systems and especially the Quantum Internet have the ever-increasing potential to fully demonstrate the power of quantum computation. This is particularly true given that developing a general-purpose quantum computer is…

Quantum Physics · Physics 2022-06-29 Yuan Feng , Sanjiang Li , Mingsheng Ying

A fully homomorphic encryption system hides data from unauthorized parties, while still allowing them to perform computations on the encrypted data. Aside from the straightforward benefit of allowing users to delegate computations to a more…

Geometric phase is a promising element to induce high-fidelity and robust quantum operations due to its built-in noise-resilience feature. Unfortunately, its practical applications are usually circumscribed by requiring complex interactions…

Quantum Physics · Physics 2020-12-08 Tao Chen , Zheng-Yuan Xue

The topological model for quantum computation is an inherently fault-tolerant model built on anyons in topological phases of matter. A key role is played by the braid group, and in this survey we focus on a selection of ways that the…

Quantum Physics · Physics 2022-08-26 Eric C. Rowell

Quantum error correction is an important building block for reliable quantum information processing. A challenging hurdle in the theory of quantum error correction is that it is significantly more difficult to design error-correcting codes…

Quantum Physics · Physics 2015-03-17 Yuichiro Fujiwara , Alexander Gruner , Peter Vandendriessche

We present a comprehensive architectural analysis for a proposed fault-tolerant quantum computer based on cat codes concatenated with outer quantum error-correcting codes. For the physical hardware, we propose a system of acoustic…

Transversal gates are the simplest form of fault-tolerant gates and are relatively easy to implement in practice. Yet designing codes that support useful transversal operations -- especially non-Clifford or addressable gates -- remains…

Quantum Physics · Physics 2026-03-05 ChunJun Cao , Brad Lackey

A universal set of quantum gates is constructed for the recently developed jump-error correcting quantum codes. These quantum codes are capable of correcting errors arising from the spontaneous decay of distinguishable qubits into…

Quantum Physics · Physics 2007-05-23 G. Alber , M. Mussinger , A. Delgado

We remove the need to physically transport computational anyons around each other from the implementation of computational gates in topological quantum computing. By using an anyonic analog of quantum state teleportation, we show how the…

Quantum Physics · Physics 2009-09-21 Parsa Bonderson , Michael Freedman , Chetan Nayak

The color code is both an interesting example of an exactly solved topologically ordered phase of matter and also among the most promising candidate models to realize fault-tolerant quantum computation with minimal resource overhead. The…

Quantum Physics · Physics 2018-10-25 Markus S. Kesselring , Fernando Pastawski , Jens Eisert , Benjamin J. Brown

Quantum computers face significant challenges from quantum deviations or coherent noise, particularly during gate operations, which pose a complex threat to the efficacy of quantum error correction (QEC) protocols. In this study, we…

Quantum Physics · Physics 2025-03-11 Yuanchen Zhao , Dong E. Liu

Quantum logic gates must perform properly when operating on their standard input basis states, as well as when operating on complex superpositions of these states. Experiments using superconducting qubits have validated the truth table for…

The practical implementation of high-fidelity quantum gates faces significant challenges in simultaneously mitigating multiple operational errors arising from distinct physical mechanisms. These errors often span orders of magnitude in…

Quantum Physics · Physics 2025-10-10 Min-Hua Zhang , Jing Qian

Deciding if a given family of quantum states is topologically ordered is an important but nontrivial problem in condensed matter physics and quantum information theory. We derive necessary and sufficient conditions for a family of graph…

Quantum Physics · Physics 2022-09-09 Pengcheng Liao , Barry C. Sanders , David L. Feder

Fault-tolerant quantum error correction provides a strategy to protect information processed by a quantum computer against noise which would otherwise corrupt the data. A fault-tolerant universal quantum computer must implement a universal…