We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Quantum Physics

Title: Basic Logic and Quantum Entanglement

Authors: Paola Zizzi
Abstract: As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up. In a sense, quantum entanglement is considered as an implicit property of quantum computation itself. But...can it be made explicit? In other words, is it possible to find the connective "entanglement" in a logical sequent calculus for the machine language? And also, is it possible to "teach" the quantum computer to "mimic" the EPR "paradox"? The answer is in the affirmative, if the logical sequent calculus is that of the weakest possible logic, namely Basic logic. A weak logic has few structural rules. But in logic, a weak structure leaves more room for connectives (for example the connective "entanglement"). Furthermore, the absence in Basic logic of the two structural rules of contraction and weakening corresponds to the validity of the no-cloning and no-erase theorems, respectively, in quantum computing.
Comments: 10 pages, 1 figure,LaTeX. Shorter version for proceedings requirements. Contributed paper at DICE2006, Piombino, Italy
Subjects: Quantum Physics (quant-ph); High Energy Physics - Theory (hep-th); Logic (math.LO)
Journal reference: J.Phys.Conf.Ser.67:012045,2007
DOI: 10.1088/1742-6596/67/1/012045
Cite as: arXiv:quant-ph/0611119
  (or arXiv:quant-ph/0611119v2 for this version)

Submission history

From: Paola Zizzi [view email]
[v1] Fri, 10 Nov 2006 16:17:18 GMT (155kb)
[v2] Mon, 5 Feb 2007 14:06:15 GMT (15kb)

Link back to: arXiv, form interface, contact.