3D simulations of self-propelled, reconstructed jellyfish using vortex methods

We present simulations of the vortex dynamics associated with the self-propelled motion of jellyfish. The geometry is obtained from image segmentation of video recordings from live jellyfish. The numerical simulations are performed using three-dimensional viscous, vortex particle methods with Brinkman penalization to impose the kinematics of the jellyfish motion. We study two types of strokes recorded in the experiment1. The first type (stroke A) produces two vortex rings during the stroke: one outside the bell during the power stroke and one inside the bell during the recovery stroke. The second type (stroke B) produces three vortex rings: one ring during the power stroke and two vortex rings during the recovery stroke. Both strokes propel the jellyfish, with stroke B producing the highest velocity. The speed of the jellyfish scales with the square root of the Reynolds number. The simulations are visualized in a fluid dynamics video.Comment: 1 page, 1 figur

Full characterization of a three-photon GHZ state using quantum state tomography

We have performed the first experimental tomographic reconstruction of a three-photon polarization state. Quantum state tomography is a powerful tool for fully describing the density matrix of a quantum system. We measured 64 three-photon polarization correlations and used a "maximum-likelihood" reconstruction method to reconstruct the GHZ state. The entanglement class has been characterized using an entanglement witness operator and the maximum predicted values for the Mermin inequality was extracted.Comment: 3 pages, 3 figure

Experimental violation of a cluster state Bell inequality

Cluster states are a new type of multiqubit entangled states with entanglement properties exceptionally well suited for quantum computation. In the present work, we experimentally demonstrate that correlations in a four-qubit linear cluster state cannot be described by local realism. This exploration is based on a recently derived Bell-type inequality [V. Scarani et al., Phys. Rev A 71, 042325 (2005)] which is tailored, by using a combination of three- and four-particle correlations, to be maximally violated by cluster states but not violated at all by GHZ states. We observe a cluster state Bell parameter of $2.59\pm 0.08$, which is more than 7 standard deviations larger than the threshold of 2 imposed by local realism.Comment: 4 pages, 2 figure

High fidelity transport of trapped-ion qubits through an X-junction trap array

We report reliable transport of 9Be+ ions through a 2-D trap array that includes a separate loading/reservoir zone and an "X-junction". During transport the ion's kinetic energy in its local well increases by only a few motional quanta and internal-state coherences are preserved. We also examine two sources of energy gain during transport: a particular radio-frequency (RF) noise heating mechanism and digital sampling noise. Such studies are important to achieve scaling in a trapped-ion quantum information processor.Comment: 4 pages, 3 figures Updated to reduce manuscript to four pages. Some non-essential information was removed, including some waveform information and more detailed information on the tra

Single microwave photon detection in the micromaser

High efficiency single photon detection is an interesting problem for many areas of physics, including low temperature measurement, quantum information science and particle physics. For optical photons, there are many examples of devices capable of detecting single photons with high efficiency. However reliable single photon detection of microwaves is very difficult, principally due to their low energy. In this paper we present the theory of a cascade amplifier operating in the microwave regime that has an optimal quantum efficiency of 93%. The device uses a microwave photon to trigger the stimulated emission of a sequence of atoms where the energy transition is readily detectable. A detailed description of the detector's operation and some discussion of the potential limitations of the detector are presented.Comment: 8 pages, 5 figure

Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+

We develop a sound, complete and practically implementable tableaux-based decision method for constructive satisfiability testing and model synthesis in the fragment ATL+ of the full Alternating time temporal logic ATL*. The method extends in an essential way a previously developed tableaux-based decision method for ATL and works in 2EXPTIME, which is the optimal worst case complexity of the satisfiability problem for ATL+ . We also discuss how suitable parametrizations and syntactic restrictions on the class of input ATL+ formulae can reduce the complexity of the satisfiability problem.Comment: 45 page

High fidelity readout scheme for rare-earth solid state quantum computing

We propose and analyze a high fidelity readout scheme for a single instance approach to quantum computing in rare-earth-ion-doped crystals. The scheme is based on using different species of qubit and readout ions, and it is shown that by allowing the closest qubit ion to act as a readout buffer, the readout error can be reduced by more than an order of magnitude. The scheme is shown to be robust against certain experimental variations, such as varying detection efficiencies, and we use the scheme to predict the expected quantum fidelity of a CNOT gate in these solid state systems. In addition, we discuss the potential scalability of the protocol to larger qubit systems. The results are based on parameters which we believed are experimentally feasible with current technology, and which can be simultaneously realized.Comment: 7 pages, 5 figure