MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  A Partial Order on Classical and Quantum States (2002) [11 citations — 5 self]

Download:
Download as a PDF | Download as a PS
by Bob Coecke, Keye Martin
http://web.comlab.ox.ac.uk/oucl/work/keye.martin/q.ps.gz
Add To MetaCart

Abstract:

We introduce a partial order on classical and quantum states which reveals that these sets are actually domains: Directed complete partially ordered sets with an intrinsic notion of approximation. The operational significance of the orders involved conclusively establishes that physical information has a natural domain theoretic structure. In the same way that the order on a domain provides a rigorous qualitative definition of information, a special type of mapping on a domain called a measurement provides a formal account of the intuitive notion `information content.' Not only is physical information domain theoretic, but so too is physical entropy: Shannon entropy is a measurement on the domain of classical states; von Neumann entropy is a measurement on the domain of quantum states. These results yield a foundation for problem solving in computer science, quantum information and physics.

Citations

115 Quantum mechanics helps in searching for a needle in a haystack, Phys – Grover - 1997
59 The logic of quantum mechanics – Birkhoff, Neumann - 1936
43 Measures on the closed subspaces of a Hilbert space – Gleason - 1957
40 The Mathematical Foundations of Quantum Mechanics – Mackey - 1963
29 A foundation for computation – Martin - 2000
21 Bell’s theorem without inequalities – Greenberger, Horne, et al. - 1990
21 The measurement process in domain theory – Martin - 2000
15 Eds., The Physics of Quantum Information – Bouwmeester, Ekert, et al. - 2000
8 Three qubits can be entangled in two inequivalent ways – Dür, Vidal, et al. - 2000
3 editors. Current research in operational quantum logic: Algebras, categories, languages – Coecke, Moore, et al. - 2000
3 The majorization arrow in quantum algorithm design – Latorre, Martn-Delgado