• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Programming Telepathy: Implementing Quantum Non-locality Games (2008)

Cached

  • Download as a PDF

Download Links

  • [www.db.utoronto.ca]
  • [www.db.toronto.edu]
  • [www.cs.toronto.edu]
  • [www.cs.toronto.edu]
  • [www.cs.utoronto.ca]
  • [arxiv.org]
  • [arxiv.org]
  • [www.cs.toronto.edu]
  • [www.cs.utoronto.ca]
  • [www.db.toronto.edu]
  • [www.db.utoronto.ca]
  • [www.cs.toronto.edu]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Anya Tafliovich , Eric C. R. Hehner
Venue:SBMF 2008
Citations:2 - 2 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Tafliovich08programmingtelepathy:,
    author = {Anya Tafliovich and Eric C. R. Hehner},
    title = {Programming Telepathy: Implementing Quantum Non-locality Games},
    year = {2008}
}

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Quantum pseudo-telepathy is an intriguing phenomenon which results from the application of quantum information theory to communication complexity. To demonstrate this phenomenon researchers in the field of quantum communication complexity devised a number of quantum non-locality games. The setting of these games is as follows: the players are separated so that no communication between them is possible and are given a certain computational task. When the players have access to a quantum resource called entanglement, they can accomplish the task: something that is impossible in a classical setting. To an observer who is unfamiliar with the laws of quantum mechanics it seems that the players employ some sort of telepathy; that is, they somehow exchange information without sharing a communication channel. This paper provides a formal framework for specifying, implementing, and analysing quantum non-locality games.

Citations

1121 Quantum Computation and Quantum Information - Nielsen, Chuang - 2000
519 Quantum Cryptography: Public Key Distribution and - Bennett, Brassard
398 On the Einstein-Podolsky-Rosen paradox - Bell - 1964
317 Quantum Computation and Quantum Information (Cambridge - Nielsen, Chuang - 1999
312 Rapid solutions of problems by quantum computation - Deutsch, Jozsa - 1992
119 A Categorical Semantics of Quantum Protocols - Abramsky, Coecke
102 A Practical Theory of Programming - Hehner - 1993
91 Towards a quantum programming language - Selinger
56 Non-deterministic quantum programming, in - Zuliani
42 Quantum predicative programming, in - Tafliovich, Hehner
39 Cost of exactly simulating quantum entanglement with classical communication - Brassard, Cleve, et al. - 1999
38 A lambda calculus for quantum computation - Tonder
35 A functional quantum programming language - Altenkirch, Grattage - 2005
34 Quantum mysteries revisited - Mermin - 1990
33 Communicating quantum processes - Gay, Nagarajan - 2005
22 Quantum weakest preconditions - D’Hondt, Panangaden
19 A categorical quantum logic - Abramsky, Duncan
19 Quantum pseudo-telepathy - Brassard, Broadbent, et al.
19 A process algebraic approach to concurrent and distributed computation: operational semantics - Lalire, Jorrand
19 Quantum cryptography: Public key distribution and coin tossing - Bennet, Brassard - 1984
14 Quantum typing, in - Valiron
13 Operational semantics for formal tensorial calculus - Arrighi, Dowek
13 The impossibility of pseudo-telepathy without quantum entanglement - Galliard, Wolf, et al. - 2002
13 Toward a quantum process algebra - Jorrand, Lalire - 2004
12 Distributed quantum computing: A distributed Shor algorithm - Yimsiriwattana, Jr - 2004
10 Limit on nonlocality in any world in which communication complexity is not trivial - Brassard, Buhrman, et al.
10 The logic of entanglement - Coecke - 2003
9 Recasting Mermin’s multi-player game into the framework of pseudo-telepathy”, Quantum - Brassard, Broadbent, et al. - 2005
8 A process algebra for reasoning about quantum security - Adão, Mateus
7 High-level methods for quantum computation and information - Abramsky - 2004
5 Distributed measurement-based quantum computation - D’Hondt - 2005
4 Minimum entangled state dimension required for pseudotelepathy, arXiv:quant-ph/0412136 - Brassard, Méthot, et al. - 2004
4 Quantum Programming - Tafliovich - 2004
4 Pauli measurements are universal, in - Danos, Kashefi
3 Combinatorics and quantum nonlocality - Buhrman, Høyer, et al.
3 Linear-algebraic λ-calculus - Arrighi, Dowek - 501
3 Compiling quantum programs, Acta Informatica 41 - Zuliani - 2005
3 Multi-party pseudo-telepathy, in - Brassard, Broadbent, et al.
2 The logic of entanglement, quant-ph/0402014 - Coecke - 2004
2 Reasoning about quantum knowledge, in - D’Hondt, Panangaden
2 Quantum programming with mixed states, in - Zuliani
2 A probability perspective, Formal Aspects of Computing (2009 - Hehner
1 G.: Linear-algebraic lambda-calculus - Arrighi, Dowek - 2005
1 Available free atwww.cs.utoronto.ca/ ∼ hehner/ aPToP - edn - 2007
1 a Practical Theory of Programming. First edn - Hehner - 1993
1 Programming with quantum communication - Tafliovich, Hehner - 2009
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University