English
Related papers

Related papers: Logic Column 13: Reasoning Formally about Quantum …

200 papers

Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by being based on two…

Quantum Physics · Physics 2019-05-21 Alessio Benavoli , Alessandro Facchini , Marco Zaffalon

This volume contains the proceedings of the 11th International Workshop on Quantum Physics and Logic (QPL 2014), which was held from the 4th to the 6th of June, 2014, at Kyoto University, Japan. The goal of the QPL workshop series is to…

Logic in Computer Science · Computer Science 2014-12-30 Bob Coecke , Ichiro Hasuo , Prakash Panangaden

The subject of quantum computing brings together ideas from classical information theory, computer science, and quantum physics. This review aims to summarise not just quantum computing, but the whole subject of quantum information theory.…

Quantum Physics · Physics 2011-07-19 Andrew Steane

These lecture notes aim to provide a clear and comprehensive introduction to using open quantum system theory for quantum algorithms. The main arguments are Variational Quantum Algorithms, Quantum Error Correction, Dynamical Decoupling and…

Quantum Physics · Physics 2024-06-18 Matteo Carlesso

The nature of quantum computation is discussed. It is argued that, in terms of the amount of information manipulated in a given time, quantum and classical computation are equally efficient. Quantum superposition does not permit quantum…

Quantum Physics · Physics 2014-06-10 A. M. Steane

Scholars have wondered for a long time whether the language of quantum mechanics introduces a quantum notion of truth which is formalized by quantum logic (QL) and is incompatible with the classical (Tarskian) notion. We show that QL can be…

Quantum Physics · Physics 2021-12-14 Claudio Garola

The standard theory of quantum computation relies on the idea that the basic information quantity is represented by a superposition of elements of the canonical basis and the notion of probability naturally follows from the Born rule. In…

Quantum Physics · Physics 2016-02-16 Giuseppe Sergioli , Antonio Ledda

The quantum system of particles in a double well potential is a widely studied and extremely useful example for understanding quantum mechanics. This simple system has recently been used in theoretical proposals and related experiments as a…

Quantum Physics · Physics 2011-03-23 C. J. Foot , M. Shotter

These lecture notes are an informal introduction to the theory of computational complexity and its links to quantum computing and statistical mechanics.

Statistical Mechanics · Physics 2009-09-25 Stephan Mertens

We present the quantum programming language cQPL which is an extended version of QPL [P. Selinger, Math. Struct. in Comp. Sci. 14(4):527-586, 2004]. It is capable of quantum communication and it can be used to formulate all possible quantum…

Quantum Physics · Physics 2007-05-23 Wolfgang Mauerer

Short review article on quantum information processing accepted for Supplement III, Encyclopaedia of Mathematics (publication expected Summer 2001). See also http://www.wkap.nl/series.htm/ENM

Quantum Physics · Physics 2007-05-23 E. H. Knill , M. A. Nielsen

This article reviews the 2008 quantum algorithm for linear systems of equations due to Harrow, Hassidim and Lloyd, as well as some of the followup and related work. It was submitted to the Springer Encyclopedia of Algorithms.

Quantum Physics · Physics 2017-05-17 Aram W. Harrow

Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the…

Logic in Computer Science · Computer Science 2013-11-12 Michele Pagani , Peter Selinger , Benoît Valiron

The authors call attention to a previous work [Qing Lin and Bing He, Phys. Rev. A 80, 042310 (2009)] on the realization of multi-qubit logic gates with controlled-path and merging gate. We supplement the work by showing how to efficiently…

Quantum Physics · Physics 2011-01-04 Qing Lin , Bing He

Distributed quantum information processing is a promising platform for scaling up quantum information processing, where small- and intermediate-scale quantum devices are connected by a network of quantum channels for communicating quantum…

Quantum Physics · Physics 2019-03-26 Hayata Yamasaki

Language processing is at the heart of current developments in artificial intelligence, and quantum computers are becoming available at the same time. This has led to great interest in quantum natural language processing, and several early…

Quantum Physics · Physics 2025-01-14 Dominic Widdows , Willie Aboumrad , Dohun Kim , Sayonee Ray , Jonathan Mei

Integrated quantum photonics provides a promising route towards scalable solid-state implementations of quantum networks, quantum computers, and ultra-low power opto-electronic devices. A key component for many of these applications is the…

Quantum Physics · Physics 2013-04-04 Hyochul Kim , Ranojoy Bose , Thomas C. Shen , Glenn S. Solomon , Edo Waks

There is no doubt that quantum key distribution is an excellent result as a science. However, this paper presents a view on quantum key distribution (QKD) wherein QKD may have a difficulty to provide a sufficient security and good…

Quantum Physics · Physics 2014-09-23 Osamu Hirota

Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by having it follow from…

Quantum Physics · Physics 2019-02-12 Alessio Benavoli , Alessandro Facchini , Marco Zaffalon

Quantum technology is full of figurative and literal noise obscuring its promise. In this overview, we will attempt to provide a sober assessment of the promise of quantum technology with a focus on computing. We provide a tour of quantum…

Quantum Physics · Physics 2022-06-08 James D. Whitfield , Jun Yang , Weishi Wang , Joshuah T. Heath , Brent Harrison