English
Related papers

Related papers: Topological Quantum Compilation Using Mixed-Intege…

200 papers

One of the principal obstacles on the way to quantum computers is the lack of distinguished basis in the space of unitary evolutions and thus the lack of the commonly accepted set of basic operations (universal gates). A natural choice,…

High Energy Physics - Theory · Physics 2018-02-13 D. Melnikov , A. Mironov , S. Mironov , A. Morozov , An. Morozov

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

Current quantum programming is dominated by low-level, circuit-centric approaches that limit the potential for compiler optimization. This work presents how a high-level programming construct provides compilers with the semantic information…

Quantum Physics · Physics 2025-10-29 Evandro C. R. Rosa , Jerusa Marchi , Eduardo I. Duzzioni , Rafael de Santiago

Schemes for topological quantum computation are usually based on the assumption that the system is initially prepared in a specific state. In practice, this state preparation is expected to be challenging as it involves non-topological…

Quantum Physics · Physics 2010-05-14 Robert Koenig

Topological quantum computation has recently emerged as one of the most exciting approaches to constructing a fault-tolerant quantum computer. The proposal relies on the existence of topological states of matter whose quasiparticle…

Strongly Correlated Electrons · Physics 2009-11-13 Chetan Nayak , Steven H. Simon , Ady Stern , Michael Freedman , Sankar Das Sarma

Recent computations involving quantum processing units (QPUs) have demonstrated a series of challenges inherent to hybrid classical-quantum programming, compilation, execution, and verification and validation. Despite considerable progress,…

Quantum Physics · Physics 2018-05-24 Alexander McCaskey , Eugene Dumitrescu , Dmitry Liakh , Travis Humble

The hybrid approach to quantum computation simultaneously utilizes both discrete and continuous variables which offers the advantage of higher density encoding and processing powers for the same physical resources. Trapped ions, with…

Quantum Physics · Physics 2020-05-06 H. C. J. Gan , Gleb Maslennikov , Ko-Wei Tseng , Chihuan Nguyen , Dzmitry Matsukevich

To run quantum algorithms on emerging gate-model quantum hardware, quantum circuits must be compiled to take into account constraints on the hardware. For near-term hardware, with only limited means to mitigate decoherence, it is critical…

Quantum Physics · Physics 2017-12-22 Davide Venturelli , Minh Do , Eleanor Rieffel , Jeremy Frank

Quantum computing has shown promise in solving complex problems by leveraging the principles of superposition and entanglement. Variational quantum algorithms (VQA) are a class of algorithms suited for near term quantum computers due to…

Quantum Physics · Physics 2024-05-07 Yuwei Jin , Zirui Li , Fei Hua , Tianyi Hao , Huiyang Zhou , Yipeng Huang , Eddy Z. Zhang

Given a quantum algorithm, it is highly nontrivial to devise an efficient sequence of physical gates implementing the algorithm on real hardware and incorporating topological quantum error correction. In this paper, we present a first step…

Quantum Physics · Physics 2016-08-10 Alexandru Paler , Simon J. Devitt , Austin G. Fowler

Compiling quantum algorithms for near-term quantum computers (accounting for connectivity and native gate alphabets) is a major challenge that has received significant attention both by industry and academia. Avoiding the exponential…

Efficiently mapping quantum programs onto Distributed quantum computing (DQC) are challenging, particularly when considering the heterogeneous quantum processing units (QPUs) with different structures. In this paper, we present a…

Quantum Physics · Physics 2026-01-06 Ruilin Zhou , Jinglei Cheng , Yuhang Gan , Junyu Liu , Chen Qian

In this paper, the degenerate ground states of Z2 topological order on a plane with holes (the so-called surface codes) are used as the protected code subspace to build a topological quantum computer by tuning their quantum tunneling…

Quantum Physics · Physics 2013-05-29 Su-Peng Kou

Quantum error correction (QEC) is crucial for realizing scalable quantum technologies, and topological quantum error correction (TQEC) has emerged as the most experimentally advanced paradigm of QEC. Existing homological and topological…

Quantum Physics · Physics 2026-01-21 Xiang Zou , Hoi-Kwong Lo

Topological quantum computing has recently proven itself to be a powerful computational model when constructing viable architectures for large scale computation. The topological model is constructed from the foundation of a error correction…

Quantum Physics · Physics 2013-06-24 Simon J. Devitt , Kae Nemoto

The key obstacle to the realization of a scalable quantum computer is overcoming environmental and control errors. Topological quantum computation has attracted great attention because it has emerged as one of the most promising approaches…

Mesoscale and Nanoscale Physics · Physics 2023-09-12 Deyuan Zou , Naiqiao Pan , Tian Chen , Houjun Sun , Xiangdong Zhang

The increasing capabilities of quantum computing hardware and the challenge of realizing deep quantum circuits require fully automated and efficient tools for compiling quantum circuits. To express arbitrary circuits in a sequence of native…

Parallel processing of information plays a critical role in accelerating computation. This includes quantum computers, where parallel processing of quantum information will play a critical role in practical quantum advantage. Here, we…

A quantum computer consists of a set of quantum bits upon which operations called gates are applied to perform computations. In order to perform quantum algorithms, physicists would like to design arbitrary gates to apply to quantum bits.…

Quantum Physics · Physics 2012-06-18 Jeffrey Booth

Mixed-integer quadratic programming is the problem of optimizing a quadratic function over points in a polyhedral set where some of the components are restricted to be integral. In this paper, we prove that the decision version of…

Discrete Mathematics · Computer Science 2014-07-21 Alberto Del Pia , Santanu S. Dey , Marco Molinaro