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

Experimental Demonstration of a Quantum Circuit using Linear Optics Gates

One of the main advantages of an optical approach to quantum computing is the fact that optical fibers can be used to connect the logic and memory devices to form useful circuits, in analogy with the wires of a conventional computer. Here we describe an experimental demonstration of a simple quantum circuit of that kind in which two probabilistic exclusive-OR (XOR) logic gates were combined to calculate the parity of three input qubits.Comment: v2 is final PRA versio

Combinatorial models of rigidity and renormalization

We first introduce the percolation problems associated with the graph theoretical concepts of $(k,l)$-sparsity, and make contact with the physical concepts of ordinary and rigidity percolation. We then devise a renormalization transformation for $(k,l)$-percolation problems, and investigate its domain of validity. In particular, we show that it allows an exact solution of $(k,l)$-percolation problems on hierarchical graphs, for $k\leq l<2k$. We introduce and solve by renormalization such a model, which has the interesting feature of showing both ordinary percolation and rigidity percolation phase transitions, depending on the values of the parameters.Comment: 22 pages, 6 figure

Locally Optimal Control of Quantum Systems with Strong Feedback

For quantum systems with high purity, we find all observables that, when continuously monitored, maximize the instantaneous reduction in the von Neumann entropy. This allows us to obtain all locally optimal feedback protocols with strong feedback, and explicit expressions for the best such protocols for systems of size N <= 4. We also show that for a qutrit the locally optimal protocol is the optimal protocol for a given range of control times, and derive an upper bound on all optimal protocols with strong feedback.Comment: 4 pages, Revtex4. v2: published version (some errors corrected

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