Results 1  10
of
42
Experimental quantum teleportation
 Nature
, 1997
"... Quantum entanglement lies at the heart of new proposals for quantum communication and computation. Here we describe the recent experimental realization of quantum teleportation. ..."
Abstract

Cited by 35 (1 self)
 Add to MetaCart
Quantum entanglement lies at the heart of new proposals for quantum communication and computation. Here we describe the recent experimental realization of quantum teleportation.
TemperleyLieb Algebra: From Knot Theory to . . .
"... Our aim in this paper is to trace some of the surprising and beautiful connections which are beginning to emerge between a number of apparently disparate topics. ..."
Abstract

Cited by 11 (2 self)
 Add to MetaCart
Our aim in this paper is to trace some of the surprising and beautiful connections which are beginning to emerge between a number of apparently disparate topics.
Quantum informationflow, concretely, abstractly
 PROC. QPL 2004
, 2004
"... These ‘lecture notes ’ are based on joint work with Samson Abramsky. I will survey and informally discuss the results of [3, 4, 5, 12, 13] in a pedestrian not too technical way. These include: • ‘The logic of entanglement’, that is, the identification and abstract axiomatization of the ‘quantum info ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
These ‘lecture notes ’ are based on joint work with Samson Abramsky. I will survey and informally discuss the results of [3, 4, 5, 12, 13] in a pedestrian not too technical way. These include: • ‘The logic of entanglement’, that is, the identification and abstract axiomatization of the ‘quantum informationflow ’ which enables protocols such as quantum teleportation. 1 To this means we defined strongly compact closed categories which abstractly capture the behavioral properties of quantum entanglement. • ‘Postulates for an abstract quantum formalism ’ in which classical informationflow (e.g. token exchange) is part of the formalism. As an example, we provided a purely formal description of quantum teleportation and proved correctness in abstract generality. 2 In this formalism types reflect kinds, contra the essentially typeless von Neumann formalism [25]. Hence even concretely this formalism manifestly improves on the usual one. • ‘A highlevel approach to quantum informatics’. 3 Indeed, the above discussed work can be conceived as aiming to solve: von Neumann quantum formalism � highlevel language lowlevel language. I also provide a brief discussion on how classical and quantum uncertainty can be mixed in the above formalism (cf. density matrices). 4
The power of unentanglement
, 2009
"... The class QMA(k), introduced by Kobayashi et al., consists of all languages that can be verified using k unentangled quantum proofs. Many of the simplest questions about this class have remained embarrassingly open: for example, can we give any evidence that k quantum proofs are more powerful than ..."
Abstract

Cited by 11 (1 self)
 Add to MetaCart
The class QMA(k), introduced by Kobayashi et al., consists of all languages that can be verified using k unentangled quantum proofs. Many of the simplest questions about this class have remained embarrassingly open: for example, can we give any evidence that k quantum proofs are more powerful than one? Does QMA(k) = QMA(2) for k ≥ 2? Can QMA(k) protocols be amplified to exponentially small error? In this paper, we make progress on all of the above questions. • We give a protocol by which a verifier can be convinced that a 3SAT formula of size m is satisfiable, with constant soundness, given Õ (√m) unentangled quantum witnesses with O(logm) qubits each. Our protocol relies on the existence of very short PCPs. • We show that assuming a weak version of the Additivity Conjecture from quantum information theory, any QMA(2) protocol can be amplified to exponentially small error, and QMA(k) = QMA(2) for all k ≥ 2. • We prove the nonexistence of “perfect disentanglers” for simulating multiple Merlins with one.
LongDistance Quantum Communication With Entangled Photons Using Satellites
 IEEE J. Sel. Top. Quant. Elec. 9
, 2003
"... Abstract—The use of satellites to distribute entangled photon pairs (and single photons) provides a unique solution for longdistance quantum communication networks. This overcomes the principle limitations of Earthbound technology, i.e., the range of the order of 100 km afforded by both optical fi ..."
Abstract

Cited by 10 (4 self)
 Add to MetaCart
Abstract—The use of satellites to distribute entangled photon pairs (and single photons) provides a unique solution for longdistance quantum communication networks. This overcomes the principle limitations of Earthbound technology, i.e., the range of the order of 100 km afforded by both optical fiber and by terrestrial freespace links. Index Terms—Quantum communication, quantum entanglement, satellite applications, space technology. I.
Kindergarten quantum mechanics — lecture notes
 In: Quantum Theory: Reconsiderations of the Foundations III
, 2005
"... Abstract. These lecture notes survey some joint work with Samson Abramsky as it was presented by me at several conferences in the summer of 2005. It concerns ‘doing quantum mechanics using only pictures of lines, squares, triangles and diamonds’. This picture calculus can be seen as a very substanti ..."
Abstract

Cited by 10 (8 self)
 Add to MetaCart
Abstract. These lecture notes survey some joint work with Samson Abramsky as it was presented by me at several conferences in the summer of 2005. It concerns ‘doing quantum mechanics using only pictures of lines, squares, triangles and diamonds’. This picture calculus can be seen as a very substantial extension of Dirac’s notation, and has a purely algebraic counterpart in terms of socalled Strongly Compact Closed Categories (introduced by Abramsky and I in [3, 4]) which subsumes my Logic of Entanglement [11]. For a survey on the ‘what’, the ‘why ’ and the ‘hows ’ I refer to a previous set of lecture notes [12, 13]. In a last section we provide some pointers to the body of technical literature on the subject.
Abstract physical traces
 THEORY AND APPLICATIONS OF CATEGORIES
, 2005
"... ... in the light of the results in [Abramsky and Coecke LiCS‘04]. The key fact is that the notion of a strongly compact closed category allows abstract notions of adjoint, bipartite projector and inner product to be defined, and their key properties to be proved. In this paper we improve on the defi ..."
Abstract

Cited by 8 (6 self)
 Add to MetaCart
... in the light of the results in [Abramsky and Coecke LiCS‘04]. The key fact is that the notion of a strongly compact closed category allows abstract notions of adjoint, bipartite projector and inner product to be defined, and their key properties to be proved. In this paper we improve on the definition of strong compact closure as compared to the one presented in [Abramsky and Coecke LiCS‘04]. This modification enables an elegant characterization of strong compact closure in terms of adjoints and a Yanking axiom, and a better treatment of bipartite projectors.
Braid Group and Temperley–Lieb Algebra, and Quantum . . .
, 2008
"... In this paper, we explore algebraic structures and low dimensional topology underlying quantum information and computation. We revisit quantum teleportation from the perspective of the braid group, the symmetric group and the virtual braid group, and propose the braid teleportation, the teleportatio ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
In this paper, we explore algebraic structures and low dimensional topology underlying quantum information and computation. We revisit quantum teleportation from the perspective of the braid group, the symmetric group and the virtual braid group, and propose the braid teleportation, the teleportation swapping and the virtual braid teleportation, respectively. Besides, we present a physical interpretation for the braid teleportation and explain it as a sort of crossed measurement. On the other hand, we propose the extended Temperley–Lieb diagrammatical approach to various topics including quantum teleportation, entanglement swapping, universal quantum computation, quantum information flow, and etc. The extended Temperley–Lieb diagrammatical rules are devised to present a diagrammatical representation for the extended Temperley–Lieb category which is the collection of all the Temperley–Lieb algebras with local unitary transformations. In this approach, various descriptions of quantum teleportation are unified in a diagrammatical sense, universal quantum computation is performed with the help of topologicallike features, and quantum information flow is
The quantum world is not built up from correlations
 Foundations of Physics
, 2006
"... It is known that the global state of a composite quantum system can be completely determined by specifying correlations between measurements performed on subsystems only. Despite the fact that the quantum correlations thus suffice to reconstruct the quantum state, we show, using a Bell inequality ar ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
It is known that the global state of a composite quantum system can be completely determined by specifying correlations between measurements performed on subsystems only. Despite the fact that the quantum correlations thus suffice to reconstruct the quantum state, we show, using a Bell inequality argument, that they cannot be regarded as objective local properties of the composite system in question. It is well known since the work of J.S. Bell, that one cannot have locally preexistent values for all physical quantities, whether they are deterministic or stochastic. The Bell inequality argument we present here shows this is also impossible for correlations among subsystems of an individual isolated composite system. Neither of them can be used to build up a world consisting of some local realistic structure. As a corrolary to the result we argue that entanglement cannot be considered ontologically robust. The argument has an important advantage over others because it does not need perfect correlations but only statistical correlations. It can therefore easily be tested in currently feasible experiments using four particle entanglement.