Fresh-Register Automata

What is a basic automata-theoretic model of computation with names and fresh-name generation? We introduce Fresh-Register Automata (FRA), a new class of automata which operate on an infinite alphabet of names and use a finite number of registers to store fresh names, and to compare incoming names with previously stored ones. These finite machines extend Kaminski and Francez’s Finite-Memory Automata by being able to recognise globally fresh inputs, that is, names fresh in the whole current run. We exam-ine the expressivity of FRA’s both from the aspect of accepted languages and of bisimulation equivalence. We establish primary properties and connections between automata of this kind, and an-swer key decidability questions. As a demonstrating example, we express the theory of the pi-calculus in FRA’s and characterise bisimulation equivalence by an appropriate, and decidable in the finitary case, notion in these automata

Measurement of Temporal Correlations of the Overhauser Field in a Double Quantum Dot

In quantum dots made from materials with nonzero nuclear spins, hyperfine coupling creates a fluctuating effective Zeeman field (Overhauser field) felt by electrons, which can be a dominant source of spin qubit decoherence. We characterize the spectral properties of the fluctuating Overhauser field in a GaAs double quantum dot by measuring correlation functions and power spectra of the rate of singlet-triplet mixing of two separated electrons. Away from zero field, spectral weight is concentrated below 10 Hz, with 1/f^2 dependence on frequency, f. This is consistent with a model of nuclear spin diffusion, and indicates that decoherence can be largely suppressed by echo techniques.Comment: related papers available at http://marcuslab.harvard.ed

Coherent spin manipulation in an exchange-only qubit

Initialization, manipulation, and measurement of a three-spin qubit are demonstrated using a few-electron triple quantum dot, where all operations can be driven by tuning the nearest-neighbor exchange interaction. Multiplexed reflectometry, applied to two nearby charge sensors, allows for qubit readout. Decoherence is found to be consistent with predictions based on gate voltage noise with a uniform power spectrum. The theory of the exchange-only qubit is developed and it is shown that initialization of only two spins suffices for operation. Requirements for full multi-qubit control using only exchange and electrostatic interactions are outlined.Comment: related work at http://marcuslab.harvard.ed

Effect of Exchange Interaction on Spin Dephasing in a Double Quantum Dot

We measure singlet-triplet dephasing in a two-electron double quantum dot in the presence of an exchange interaction which can be electrically tuned from much smaller to much larger than the hyperfine energy. Saturation of dephasing and damped oscillations of the spin correlator as a function of time are observed when the two interaction strengths are comparable. Both features of the data are compared with predictions from a quasistatic model of the hyperfine field.Comment: see related papers at http://marcuslab.harvard.ed

Providing Self-Aware Systems with Reflexivity

We propose a new type of self-aware systems inspired by ideas from higher-order theories of consciousness. First, we discussed the crucial distinction between introspection and reflexion. Then, we focus on computational reflexion as a mechanism by which a computer program can inspect its own code at every stage of the computation. Finally, we provide a formal definition and a proof-of-concept implementation of computational reflexion, viewed as an enriched form of program interpretation and a way to dynamically "augment" a computational process.Comment: 12 pages plus bibliography, appendices with code description, code of the proof-of-concept implementation, and examples of executio

Conditional operation of a spin qubit

We report coherent operation of a singlet-triplet qubit controlled by the arrangement of two electrons in an adjacent double quantum dot. The system we investigate consists of two pairs of capacitively coupled double quantum dots fabricated by electrostatic gates on the surface of a GaAs heterostructure. We extract the strength of the capacitive coupling between qubit and double quantum dot and show that the present geometry allows fast conditional gate operation, opening pathways to multi-qubit control and implementation of quantum algorithms with spin qubits.Comment: related papers here: http://marcuslab.harvard.ed

The X-ray luminosity function of AGN at z~3

We combine Lyman-break colour selection with ultradeep (> 200 ks) Chandra X-ray imaging over a survey area of ~0.35 deg^2 to select high redshift AGN. Applying careful corrections for both the optical and X-ray selection functions, the data allow us to make the most accurate determination to date of the faint end of the X-ray luminosity function (XLF) at z~3. Our methodology recovers a number density of X-ray sources at this redshift which is at least as high as previous surveys, demonstrating that it is an effective way of selecting high z AGN. Comparing to results at z=1, we find no evidence that the faint slope of the XLF flattens at high z, but we do find significant (factor ~3.6) negative evolution of the space density of low luminosity AGN. Combining with bright end data from very wide surveys we also see marginal evidence for continued positive evolution of the characteristic break luminosity L*. Our data therefore support models of luminosity-dependent density evolution between z=1 and z=3. A sharp upturn in the the XLF is seen at the very lowest luminosities (Lx < 10^42.5 erg s^-1), most likely due to the contribution of pure X-ray starburst galaxies at very faint fluxes.Comment: 16 pages, 9 figures, accepted for publication in MNRA

AEGIS: The color-magnitude relation for X-ray selected AGN

We discuss the relationship between rest-frame color and optical luminosity for X-ray sources in the range 0.6<z<1.4 selected from the Chandra survey of the Extended Groth Strip (EGS). These objects are almost exclusively active galactic nuclei (AGN). While there are a few luminous QSOs, most are relatively weak or obscured AGN whose optical colors should be dominated by host galaxy light. The vast majority of AGN hosts at z~1 are luminous and red, with very few objects fainter than M_{B}=-20.5 or bluer than U-B=0.6. This places the AGN in a distinct region of color-magnitude space, on the ``red sequence'' or at the top of the ``blue cloud'', with many in between these two modes in galaxy color. A key stage in the evolution of massive galaxies is when star formation is quenched, resulting in a migration from the blue cloud to the red sequence. Our results are consistent with scenarios in which AGN either cause or maintain this quenching. The large numbers of red sequence AGN imply that strong, ongoing star formation is not a necessary ingredient for AGN activity, as black hole accretion appears often to persist after star formation has been terminated.Comment: 5 pages, 2 figures, accepted for publication in AEGIS ApJ Letters special editio

Weighted-density approximation for general nonuniform fluid mixtures

In order to construct a general density-functional theory for nonuniform fluid mixtures, we propose an extension to multicomponent systems of the weighted-density approximation (WDA) of Curtin and Ashcroft [Phys. Rev. A 32, 2909 (1985)]. This extension corrects a deficiency in a similar extension proposed earlier by Denton and Ashcroft [Phys. Rev. A 42, 7312 (1990)], in that that functional cannot be applied to the multi-component nonuniform fluid systems with spatially varying composition, such as solid-fluid interfaces. As a test of the accuracy of our new functional, we apply it to the calculation of the freezing phase diagram of a binary hard-sphere fluid, and compare the results to simulation and the Denton-Ashcroft extension.Comment: 4 pages, 4 figures, to appear in Phys. Rev. E as Brief Repor