Quantum Logic and Non-Separability

Thomas A. Brody

Giulia Battilotti, Paola Zizzi

We investigate the internal logic of a quantum computer with two qubits, in the two particular cases of non-entanglement (separable states) and maximal entanglement (Bell's states). To this aim, we consider an internal (reversible) measurement which preserves the probabilities by mirroring the states. We then obtain logical judgements for both cases of separable and Bell's states.

Asher Peres

Alexandru Baltag, Sonja Smets

This paper provides an overview of quantum dynamic logics, showing how they have been designed and illustrating how these logics can be applied to verify the correctness of quantum protocols. Similar to the advantages of using dynamic logics to reason about the flow of classical information, the quantum analogues of these logics are tailored to the task of reasoning about the flow of quantum information. We present our logical systems in a modular way, starting with the qualitative logic of quantum measurements and unitary evolutions in single quantum systems, which can already express non-classical effects, e.g., the state-changing interference induced by quantum tests, their non-commutativity, etc. We then move on to logics for compound quantum systems that can capture the non-local features of quantum information: separability, entanglement, correlated measurements, Bell states, etc. We then briefly summarize the logic of quantum probabilities and sketch some applications to quantum protocols.

Peter Mittelstaedt

John Rarity, Harald Weinfurter

Optical quantum computation was limited to a few photon applications such as quantum cryptography and partial teleportation until 2001. Then the possibility of performing arbitrary logic conditional on certain detection outcomes was introduced by Knill, Laflamme and Milburn ( Nature 2001 409 46). Simple circuits consisting of single photon sources, entangled pair sources, linear optical elements and high efficiency photon counting detectors can be used to develop probabilistic two-photon logic gates. Initially such gates show a low probability of success but can approach the success rate of deterministic (non-linear) logic at the cost of added complexity. These developments have led to the emergence of a novel field of research aimed at improving the efficiency of linear logic and developing the efficient sources and detectors for its implementation. This topical issue of Journal of Optics B: Quantum and Semiclassical Optics is devoted to recent advances in this field. Key to all linear optics gates is the interference effect between separate photons that have no previous history. In this issue we include the first experiment to show such an effect (Rarity et al ), on which many later experiments are based. These interference effects can then be used to entangle separate pairs of particles into higher order entangled states (Zou et al 2005 J. Opt. B: Quantum Semiclass. Opt. 7 119–121) and also to establish entanglement between matter qubits (Kok et al ). Quantum dot single photon sources suitable for linear optics quantum logic are discussed in the paper by Unitt et al while a waveguide source of pair photons is presented by Ducci et al . The difficulties in scaling linear optics quantum computing arise from the low success probabilities of the gates. Introducing a small amount of non-linearity could allow unit efficiency gates to be designed (Munro et al ) while large non-linearities generated by the collective effects in EIT could be used to implement a wide variety of quantum logic functions (Petrosyan). The development of algorithms suitable for optical implementation is addressed by Ellinas et al . Key contributors to this issue are collaborating in the project IST:38864 RAMBOQ which has a primary goal of developing linear optics computation tools and techniques.