Encoded Recoupling and Decoupling: An Alternative to Quantum Error Correcting Codes, Applied to Trapped Ion Quantum Computation

A recently developed theory for eliminating decoherence and design constraints in quantum computers, ``encoded recoupling and decoupling'', is shown to be fully compatible with a promising proposal for an architecture enabling scalable ion-trap quantum computation [D. Kielpinski et al., Nature 417, 709 (2002)]. Logical qubits are encoded into pairs of ions. Logic gates are implemented using the Sorensen-Molmer (SM) scheme applied to pairs of ions at a time. The encoding offers continuous protection against collective dephasing. Decoupling pulses, that are also implemented using the SM scheme directly to the encoded qubits, are capable of further reducing various other sources of qubit decoherence, such as due to differential dephasing and due to decohered vibrational modes. The feasibility of using the relatively slow SM pulses in a decoupling scheme quenching the latter source of decoherence follows from the observed 1/f spectrum of the vibrational bath.Comment: 12 pages, no figure

Near-IR Atlas of S0-Sa galaxies (NIRS0S)

An atlas of Ks-band images of 206 early-type galaxies is presented, including 160 S0-S0/a galaxies, 12 ellipticals, and 33 Sa galaxies. A majority of the Atlas galaxies belong to a magnitude-limited (mB<12.5 mag) sample of 185 NIRS0S (Near-IR S0 galaxy Survey) galaxies. To assure that mis-classified S0s are not omitted, 25 ellipticals from RC3 classified as S0s in the Carnegie Atlas were included in the sample. The images are 2-3 mag deeper than 2MASS images. Both visual and photometric classifications are made. Special attention is paid to the classification of lenses, coded in a systematic manner. A new lens-type, called a 'barlens', is introduced. Also, boxy/peanut/x-shaped structures are identified in many barred galaxies, even-though the galaxies are not seen in edge-on view, indicating that vertical thickening is not enough to explain them. Multiple lenses appear in 25% of the Atlas galaxies, which is a challenge to the hierarchical evolutionary picture of galaxies. Such models need to explain how the lenses were formed and survived in multiple merger events that galaxies may have suffered during their lifetimes. Following the early suggestion by van den Bergh, candidates of S0c galaxies are shown, which galaxies are expected to be former Sc-type spirals stripped out of gas.Comment: 67 pages (include 16 figures and 6 tables). Accepted to MNRAS 2011 June 1

Automating Cut-off for Multi-parameterized Systems

Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable in general, and as such a number of sound and incomplete techniques have been proposed to address it. Existing techniques typically focus on parameterized systems with a single parameter, (i.e., on systems where the number of processes of exactly one type is dependent on the parameter); however, many systems in practice are multi-parameterized, where multiple parameters are used to specify the number of different types of processes in the system. In this work, we present an automatic verification technique for multi-parameterized systems, prove its soundness and show that it can be applied to systems irrespective of their communication topology. We present a prototype realization of our technique in our tool Golok, and demonstrate its practical applicability using a number of multi-parameterized systems