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

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

Dynamical instabilities of a resonator driven by a superconducting single-electron transistor

We investigate the dynamical instabilities of a resonator coupled to a superconducting single-electron transistor (SSET) tuned to the Josephson quasiparticle (JQP) resonance. Starting from the quantum master equation of the system, we use a standard semiclassical approximation to derive a closed set of mean field equations which describe the average dynamics of the resonator and SSET charge. Using amplitude and phase coordinates for the resonator and assuming that the amplitude changes much more slowly than the phase, we explore the instabilities which arise in the resonator dynamics as a function of coupling to the SSET, detuning from the JQP resonance and the resonator frequency. We find that the locations (in parameter space) and sizes of the limit cycle states predicted by the mean field equations agree well with numerical solutions of the full master equation for sufficiently weak SSET-resonator coupling. The mean field equations also give a good qualitative description of the set of dynamical transitions in the resonator state that occur as the coupling is progressively increased.Comment: 23 pages, 6 Figures, Accepted for NJ

Bitwise Bell inequality violations for an entangled state involving 2N ions

Following on from previous work [J. A. Larsson, Phys. Rev. A 67, 022108 (2003)], Bell inequalities based on correlations between binary digits are considered for a particular entangled state involving 2N trapped ions. These inequalities involve applying displacement operations to half of the ions and then measuring correlations between pairs of corresponding bits in the binary representations of the number of centre-of-mass phonons of N particular ions. It is shown that the state violates the inequalities and thus displays nonclassical correlations. It is also demonstrated that it violates a Bell inequality when the displacements are replaced by squeezing operations.Comment: 12 pages, 5 figures, accepted for publication in Phys. Rev.

Two-setting Bell Inequalities for Graph States

We present Bell inequalities for graph states with high violation of local realism. In particular, we show that there is a two-setting Bell inequality for every nontrivial graph state which is violated by the state at least by a factor of two. These inequalities are facets of the convex polytope containing the many-body correlations consistent with local hidden variable models. We first present a method which assigns a Bell inequality for each graph vertex. Then for some families of graph states composite Bell inequalities can be constructed with a violation of local realism increasing exponentially with the number of qubits. We also suggest a systematic way for obtaining Bell inequalities with a high violation of local realism for arbitrary graphs.Comment: 8 pages including 2 figures, revtex4; minor change

Cavity QED with optically transported atoms

Ultracold $^{87}$Rb atoms are delivered into a high-finesse optical micro-cavity using a translating optical lattice trap and detected via the cavity field. The atoms are loaded into an optical lattice from a magneto-optic trap (MOT) and transported 1.5 cm into the cavity. Our cavity satisfies the strong-coupling requirements for a single intracavity atom, thus permitting real-time observation of single atoms transported into the cavity. This transport scheme enables us to vary the number of intracavity atoms from 1 to $>$100 corresponding to a maximum atomic cooperativity parameter of 5400, the highest value ever achieved in an atom--cavity system. When many atoms are loaded into the cavity, optical bistability is directly measured in real-time cavity transmission.Comment: 4 figures, 4 page

Macroscopic Interference Effects in Resonant Cavities

We investigate the possibility of interference effects induced by macroscopic quantum-mechanical superpositions of almost othogonal coherent states - a Schroedinger cats state - in a resonant microcavity. Despite the fact that a single atom, used as a probe of the cat state, on the average only change the mean number of photons by one unit, we show that this single atom can change the system drastically. Interference between the initial and almost orthogonal macroscopic quantum states of the radiation field can now take place. Dissipation under current experimental conditions is taken into account and it is found that this does not necessarily change the intereference effects dramatically.Comment: 20 pages, 3 figure