DOWNLOADS of some papers by Bob Coecke and some of collaborators:

Newest:

S. Abramsky and B. Coecke (2004): 'A Categorical Semantics of Quantum Protocols' (quant-ph/0402130).  To be published in the proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS'04).  Quantum mechanics recasted in purely categorical terms, which also captures classical communication as in protocols such as teleportation, and which explicitly exposes the behavioral properties of quantum entanglement of 'The Logic of Entanglement' (quant-ph/0402014).  *Physicist friendly* lecture notes: Quantum Information Flow, Concretely, Abstractly.

 

A. Baltag, B. Coecke and M. Sadrzadeh (2004): `An Algebra and Sequent Calculus for Epistemic Actions' and `Epistemic Actions as Resources'.  Information update in Dynamic Epistemic Logic in terms of quantales, Q-modules and knowledge as lax morphisms thereof, hence, non-boolean.

 

B. Coecke (2003): 'The Logic of Entanglement. An Invitation', PRG-RR-03-12 (160 pages), Oxford University Computing Laboratory.  The study of the information flow capabilities of quantum entanglement.  Includes a design methodology of quantum communication and computation protocols. A 8 page short version (including some complementary discussion) is 'The Logic of Entanglement' (quant-ph/0402014).

 

B. Coecke (2002): 'Entropic Geometry from Logic' (quant-ph/0212065).  Electronic Notes in Theoretical Computer Science (MFPS'03 issue).  Reconstruction of the domains of classical and quantum states (see below) from Logic.

 

B. Coecke and K. Martin (2002): 'A partial Order on Classical and Quantum States', PRG-RR-02-07 (92 pages), Oxford University Computing Laboratory. 'Domain Theory and Quantum Mechanics', Extended abstract (8 pages).   Classical and quantum states as a domain, from which respectively the powerset and the quantum logic can be recovered in purely order-theoretic manner.  We study approximation and partiality in these domains.  B. Coecke and K. Martin: 'Partiality in Physics' (quant-ph/0312044). A survey of domain theory and connections to the work mentioned above.

 

S. Abramsky and B. Coecke (2002): 'Physical Traces: Quantum vs. Classical Information Processing' (cs.CG/0207057), Electronic Notes in Theoretical Computer Science (CTCS'02 issue) --- physical realization of the Hilbert space trace operation in terms of entangeling and de-entangeling within Geometry of Interaction. [see also: traced monoidal category references]  The paper is a bit outdated 'A Categorical Semantics of Quantum Protocols' (quant-ph/0402130).  We revised the results in Abstract Physical Traces (2004), to be put here soon.

The following sections are more or less structured:

General operational quantum logic survey:

• B. Coecke, D.J. Moore and Alex Wilce: 'Operational Quantum Logic: An Overview' (arXiv: quant-ph/0008019) In: Current Research in Operational Quantum Logic, B.Coecke, D.J. Moore and A. Wilce (Eds.), Kluwer Academic Publishers, 2000.

Quantum logic with modalities:

• B. Coecke: 'Quantum Logic in Intuitionistic Perspective' (arXiv: math.LO/0011208) & 'Disjunctive Quantum Logic in Dynamic Perspective' (arXiv: math.LO/0011209), appeared in Studia Logica.
• B. Coecke, and S. Smets: 'The Sasaki-Hook is not a Static Implicative Connective but Induces a Backward (in Time) Dynamic One that Assigns Causes' (quant-ph/0111076). A dynamic interpretation of orthomodularity.

Dynamic and Categorical (Operational) Quantum Structures, Including State Transitions:

• B. Coecke, D.J. Moore and S. Smets: 'Logic of Dynamics & Dynamics of Logic: Some Paradigm Examples' (math.LO/0106059), In: Logic, Epistemology and the Unity of Science, D.M. Gabbay et al, (Eds.), Oxford University Press, to appear.
• B. Coecke, D.J. Moore and I. Stubbe: 'Quantaloids describing Causation and Propagation for Physical Properties' (arXiv: quant-ph/0009100), Foundations of Physics Letters 14, 357-367 (2001). CAUSAL DUALITY
• B. Coecke and D.J. Moore: 'Operational Galois Adjunctions' (arXiv: quant-ph/0008021) In: Current Research in Operational Quantum Logic, B.Coecke, D.J. Moore and A. Wilce (Eds.), Kluwer Academic Publishers, 2000. SURVEY.
• I. Stubbe: 'What can we certainly say about what may possibly be? The operational resolution, quantales of induced state/property transitions, and causal duality as crux of the biscuit' Notes of talk at Comlab, Oxford.  SURVEY
• H. Amira, B. Coecke and I. Stubbe: 'How Quantales Emerge by Inroducing Induction within the Operational Approach', Helvetica Physica Acta 71, 554-572 (1998).
• B. Coecke and I. Stubbe: 'On a Duality of Quantales emerging from an Operational Resolution', International Journal for Theoretical Physics 38, 3269-3281 (1999).
• B. Coecke and I. Stubbe: 'Operational Resolutions and State Transitions in a Categorical Setting' (arXiv: quant-ph/0008020),  Foundations of Physics Letters 12, 29-49 (1999).
• B. Coecke and I. Stubbe: 'State Transitions as Morphisms for Complete Lattices' (arXiv: math.DS/0008039) International Journal of Theoretical physics 39, 605--614 (2000)
• B.Coecke and S. Smets: 'A Logical Description for Perfect Measurements' (arXiv: quant-ph/0008017) International Journal of theoretical Physics 39, 595-604, 2000)

On the Description of Compound Systems ---through Mutually Induced State Transitions:

• B. Coecke: 'Structural Characterization of Compoundness' (arXiv: quant-ph/0008054) International Journal for Theoretical Physics 39, 585--594 (2000).
• B. Coecke: 'A Representation for Compound Systems as Individual Entities: Hard Acts of Creation and Hidden Correlations' (arXiv: quant-ph/0105093), Foundations of Physics 28, 1109 (1998). Representation of a spin system as a compound system:
• B. Coecke: 'Representation of a Spin-1 Entity as a Joint System of Two Spin-1/2 Entities on which we Introduce Correlation's of the Second Kind', Helvetica Physica Acta 68, 396 (1995).
• B. Coecke: 'A Representation for a Spin-S Quantum Entity as a Compound System in R3 Consisting of 2S Individual Spin-1/2 Entities' (arXiv: quant-ph/0105094), Foundations of Physics 28, 1347 (1998).

On Classical Representations for Quantum-Like Systems:

a. Histories:

• B. Coecke: 'Forcing Discretization and Determination in Quantum History Theories', in Quantum Probability and White Noise Analysis XIII, p. 85-95, ed. A Khrennikov, World Scientific (2002).

b. Focussed on quantum-like probability structures:

• B. Coecke: 'Generalisation of the Proof on the Existence of Hidden Measurements to Experiments with an Infinite Set of Outcomes', Foundations of Physics Letters 8, 437 (1995).
• B. Coecke: 'New Examples of Hidden Measurement Systems and Outline of a General Scheme.', Tatra Mt. Mathematical Publications 10, 63 (1997).
• B. Coecke: 'Classical Representations for Quantum-like Systems through an Axiomatics for Context Dependence' (arXiv: quant-ph/0008061) Helvetica Physica Acta 70, 442 (1997).
• B. Coecke: 'A Classification of Classical Representations for Quantum-like Systems' (arXiv: quant-ph/0008062) Helvetica Physica Acta 70, 462 (1997).
• B. Coecke and F. Valckenborgh: 'Hidden Measurements, Automorphisms and Decompositions in Context Dependent Components', International Journal of Theoretical Physics 37, 311 (1998).
• Aerts, D., Aerts, S., Coecke, B., and Valckenborgh, F.: 'The Meaning of the Violation of Bell's Inequality: Non-Local Correlation or Quantum Behaviour?.' (unpublished, unfinished) - sorry, no pics, try to do that soon.

c. Focussed on the Hilbert space in-product:

• B. Coecke: 'Representation for Pure and Mixed States of Quantum Physics in Euclidean Space', International Journal for Theoretical Physics 34, 1165 (1995).
• B. Coecke: 'A Representation of Projection Lattices and their States in Euclidean Space', Journal of Mathematical Analysis and its Applications 220, 603 (1998).