Results 1  10
of
29
A functional quantum programming language
 In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
, 2005
"... This thesis introduces the language QML, a functional language for quantum computations on finite types. QML exhibits quantum data and control structures, and integrates reversible and irreversible quantum computations. The design of QML is guided by the categorical semantics: QML programs are inte ..."
Abstract

Cited by 46 (12 self)
 Add to MetaCart
This thesis introduces the language QML, a functional language for quantum computations on finite types. QML exhibits quantum data and control structures, and integrates reversible and irreversible quantum computations. The design of QML is guided by the categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations, which provides a constructive operational semantics of irreversible quantum computations, realisable as quantum circuits. The quantum circuit model is also given a formal categorical definition via the category FQC. QML integrates reversible and irreversible quantum computations in one language, using first order strict linear logic to make weakenings, which may lead to the collapse of the quantum wavefunction, explicit. Strict programs are free from measurement, and hence preserve superpositions and entanglement. A denotational semantics of QML programs is presented, which maps QML terms
Experimental violation of a Bell’s inequality with efficient detection
 Nature
, 2001
"... Local realism is the idea that objects have definite properties whether or not they are measured, and that measurements of these properties are not affected by events taking place sufficiently far away. Einstein, Podolsky and Rosen (EPR) used these reasonable assumptions... ..."
Abstract

Cited by 29 (1 self)
 Add to MetaCart
Local realism is the idea that objects have definite properties whether or not they are measured, and that measurements of these properties are not affected by events taking place sufficiently far away. Einstein, Podolsky and Rosen (EPR) used these reasonable assumptions...
Multiparty pseudotelepathy
 Proceedings of the 8th International Workshop on Algorithms and Data Structures, Volume 2748 of Lecture Notes in Computer Science
, 2003
"... Quantum information processing is at the crossroads of physics, mathematics and computer science. It is concerned with that we can and cannot do with quantum information that goes beyond the abilities of classical information processing devices. Communication complexity is an area of classical compu ..."
Abstract

Cited by 18 (6 self)
 Add to MetaCart
Quantum information processing is at the crossroads of physics, mathematics and computer science. It is concerned with that we can and cannot do with quantum information that goes beyond the abilities of classical information processing devices. Communication complexity is an area of classical computer science that aims at quantifying the amount of communication necessary to solve distributed computational problems. Quantum communication complexity uses quantum mechanics to reduce the amount of communication that would be classically required. Pseudotelepathy is a surprising application of quantum information processing to communication complexity. Thanks to entanglement, perhaps the most nonclassical manifestation of quantum mechanics, two or more quantum players can accomplish a distributed task with no need for communication whatsoever, which would be an impossible feat for classical players. After a detailed overview of the principle and purpose of pseudotelepathy, we present a survey of recent and nosorecent work on the subject. In particular, we describe and analyse all the pseudotelepathy games currently known to the authors.
Accardi Contra Bell (cum Mundi): The Impossible Coupling
"... this paper allow the author to determine a protocol which will be acceptable for him ..."
Abstract

Cited by 6 (3 self)
 Add to MetaCart
this paper allow the author to determine a protocol which will be acceptable for him
Tensor norms and the classical communication complexity of nonlocal quantum measurement
 SIAM J. Comput
, 2008
"... Nonlocality is at the heart of quantum information processing. In this paper we investigate the minimum amount of classical communication required to simulate a nonlocal quantum measurement. We derive general upper bounds, which in turn translate to systematic classical simulations of quantum commun ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
Nonlocality is at the heart of quantum information processing. In this paper we investigate the minimum amount of classical communication required to simulate a nonlocal quantum measurement. We derive general upper bounds, which in turn translate to systematic classical simulations of quantum communication protocols. As a concrete application, we prove that any quantum communication protocol with shared entanglement for computing a Boolean function can be simulated by a classical protocol whose cost does not depend on the amount of the shared entanglement. This implies that if the cost of communication is a constant, quantum and classical protocols, with shared entanglement and shared coins, respectively, compute the same class of functions. Yet another application is in the context of simulating quantum correlations using local hidden variable models augmented with classical communications. We give a constant cost, approximate simulation of quantum correlations of random variables whose domain is of a constant size but the dimension of the entanglement and the number of possible measurements may be arbitrary. Our upper bounds are expressed in terms of some tensor norms on the measurement operator. Those norms capture the nonlocality of bipartite operators in their own way and may be of independent interest and further applications.
When champions meet: Rethinking the Bohr–Einstein debate
, 2006
"... Einstein’s philosophy of physics (as clarified by Fine and Howard) was predicated on his Trennungsprinzip, a combination of separability and locality, without which he believed “physical thought ” and “physical laws ” to be impossible. Bohr’s philosophy (as elucidated by Hooker, Scheibe, Folse, Howa ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
Einstein’s philosophy of physics (as clarified by Fine and Howard) was predicated on his Trennungsprinzip, a combination of separability and locality, without which he believed “physical thought ” and “physical laws ” to be impossible. Bohr’s philosophy (as elucidated by Hooker, Scheibe, Folse, Howard, and others), on the other hand, was grounded in a seemingly different doctrine about the possibility of objective knowledge, namely the necessity of classical concepts. In fact, it follows from Raggio’s Theorem in algebraic quantum theory that within a suitable class of physical theories Einstein’s doctrine is mathematically equivalent to Bohr’s, so that quantum mechanics accommodates Einstein’s Trennungsprinzip if and only if it is interpreted à la Bohr through classical physics. Unfortunately, the protagonists themselves failed to discuss their differences in a constructive way, since in its early phase their debate was blurred by an undue emphasis on the uncertainty relations, whereas in its second stage it was dominated by Einstein’s flawed attempts to establish the “incompleteness ” of quantum mechanics. These two aspects of their debate may still be understood and appreciated, however, as reflecting a much deeper and insurmountable disagreement between Bohr and Einstein on the knowability of Nature. Using the theological controversy on the knowability of God as a analogy, Einstein was a Spinozist, whereas Bohr could be said to be on the side of Maimonides. Thus Einstein’s offthecuff characterization of Bohr as a ‘Talmudic philosopher ’ was spoton.
Quantum Programming Languages: An Introductory Overview
, 2006
"... The present article gives an introductory overview of the novel field of quantum programming languages (QPLs) from a pragmatic perspective. First, after a short summary of basic notations of quantum mechanics, some of the goals and design issues are surveyed, which motivate the research in this area ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
The present article gives an introductory overview of the novel field of quantum programming languages (QPLs) from a pragmatic perspective. First, after a short summary of basic notations of quantum mechanics, some of the goals and design issues are surveyed, which motivate the research in this area. Then, several of the approaches are described in more detail. The article concludes with a brief survey of current research activities and a tabular summary of a selection of QPLs, which have been published so far.
Nonlocality and Communication Complexity
, 2009
"... Quantum information processing is the emerging field that defines and realizes computing devices that make use of quantum mechanical principles, like the superposition principle, entanglement, and interference. Until recently the common notion of computing was based on classical mechanics, and did n ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
Quantum information processing is the emerging field that defines and realizes computing devices that make use of quantum mechanical principles, like the superposition principle, entanglement, and interference. Until recently the common notion of computing was based on classical mechanics, and did not take into account all the possibilities that physicallyrealizable computing devices offer in principle. The field gained momentum after Peter Shor developed an efficient algorithm for factoring numbers, demonstrating the potential computing powers that quantum computing devices can unleash. In this review we study the information counterpart of computing. It was realized early on by Holevo, that quantum bits, the quantum mechanical counterpart of classical bits, cannot be used for efficient transformation of information, in the sense that arbitrary kbit messages can not be compressed into messages of k − 1 qubits. The abstract form of the distributed computing setting is called communication complexity. It studies the amount of information, in terms of bits or in our case qubits, that two spatially separated computing devices need to exchange in order to perform some computational task. Surprisingly
FreeSpace Optical Quantum Key Distribution Using Intersatellite
 Links”, Proceedings of the CNES  Intersatellite Link Workshop
, 2003
"... Communication schemes employing quantum entanglement open a wide field of possible applications with properties outperforming their classical counterparts. Promising examples are quantum key distribution, quantum dense coding, and quantum state teleportation. We investigate the potential of quantum ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Communication schemes employing quantum entanglement open a wide field of possible applications with properties outperforming their classical counterparts. Promising examples are quantum key distribution, quantum dense coding, and quantum state teleportation. We investigate the potential of quantum cryptography, i.e. quantum key distribution (QKD), with special emphasis on the demands and opportunities provided by intersatellite links. I.
Cosmic quantum measurement
, 1999
"... Hardy’s theorem states that the hidden variables of any realistic theory of quantum measurement, whose predictions agree with ordinary quantum theory, must have a preferred Lorentz frame. This presents the conflict between special relativity and any realistic dynamics of quantum measurement in a sev ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Hardy’s theorem states that the hidden variables of any realistic theory of quantum measurement, whose predictions agree with ordinary quantum theory, must have a preferred Lorentz frame. This presents the conflict between special relativity and any realistic dynamics of quantum measurement in a severe form. The conflict is resolved using a ‘measurement field’, which provides a timelike function of spacetime points and a definition of simultaneity in the context of a curved spacetime. Locally this theory is consistent with special relativity, but globally, special relativity is not enough; the time dilation of general relativity and the standard cosmic time of the RobertsonWalker cosmologies are both essential. A simple but crude example is a relativistic quantum measurement