Healthiness from Duality

Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers which arise as the (backward) interpretation of a certain class of programs. There are several results known for healthiness conditions: for deterministic programs, nondeterministic ones, probabilistic ones, etc. Building upon our previous works on so-called state-and-effect triangles, we contribute a unified categorical framework for investigating healthiness conditions. We find the framework to be centered around a dual adjunction induced by a dualizing object, together with our notion of relative Eilenberg-Moore algebra playing fundamental roles too. The latter notion seems interesting in its own right in the context of monads, Lawvere theories and enriched categories.Comment: 13 pages, Extended version with appendices of a paper accepted to LICS 201

Heralded Two-Photon Entanglement from Probabilistic Quantum Logic Operations on Multiple Parametric Down-Conversion Sources

An ideal controlled-NOT gate followed by projective measurements can be used to identify specific Bell states of its two input qubits. When the input qubits are each members of independent Bell states, these projective measurements can be used to swap the post-selected entanglement onto the remaining two qubits. Here we apply this strategy to produce heralded two-photon polarization entanglement using Bell states that originate from independent parametric down-conversion sources, and a particular probabilistic controlled-NOT gate that is constructed from linear optical elements. The resulting implementation is closely related to an earlier proposal by Sliwa and Banaszek [quant-ph/0207117], and can be intuitively understood in terms of familiar quantum information protocols. The possibility of producing a ``pseudo-demand'' source of two-photon entanglement by storing and releasing these heralded pairs from independent cyclical quantum memory devices is also discussed.Comment: 5 pages, 4 figures; submitted to IEEE Journal of Selected Topics in Quantum Electronics, special issue on "Quantum Internet Technologies

Probabilistic Quantum Encoder for Single-Photon Qubits

We describe an experiment in which a physical qubit represented by the polarization state of a single-photon was probabilistically encoded in the logical state of two photons. The experiment relied on linear optics, post-selection, and three-photon interference effects produced by a parametric down-conversion photon pair and a weak coherent state. An interesting consequence of the encoding operation was the ability to observe entangled three-photon Greenberger-Horne-Zeilinger states.Comment: 4 pages, 4 figures; submitted to Phys. Rev.

Investigation of a single-photon source based on quantum interference

We report on an experimental investigation of a single-photon source based on a quantum interference effect first demonstrated by Koashi, Matsuoka, and Hirano [Phys. Rev. A 53, 3621 (1996)]. For certain types of measurement-based quantum information processing applications this technique may be useful as a high rate, but random, source of single photons.Comment: Submitted to the New J. Phys. Focus Issue on "Measurement-based quantum information processing

Readout of solid-state charge qubits using a single-electron pump

A major difficulty in realizing a solid-state quantum computer is the reliable measurement of the states of the quantum registers. In this paper, we propose an efficient readout scheme making use of the resonant tunneling of a ballistic electron produced by a single electron pump. We treat the measurement interaction in detail by modeling the full spatial configuration, and show that for pumped electrons with suitably chosen energy the transmission coefficient is very sensitive to the qubit state. We further show that by using a short sequence of pumping events, coupled with a simple feedback control procedure, the qubit can be measured with high accuracy.Comment: 5 pages, revtex4, 4 eps figures. v2: published versio