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

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

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

Freezing of soft spheres: A critical test for weighted-density-functional theories

This is the publisher's version, also available electronically from http://journals.aps.org/pra/abstract/10.1103/PhysRevA.42.4810We study the freezing properties of systems with inverse-power and Yukawa interactions (soft spheres), using recently developed weighted-density-functional theories. We find that the modified weighted-density-functional approximation (MWDA) of Denton and Ashcroft yields results for the liquid to face-centered-cubic (fcc) structure transition that represent a significant improvement over those of earlier ‘‘second-order’’ density-functional freezing theories; however, this theory, like the earlier ones, fails to predict any liquid to body-centered-cubic (bcc) transition, even under conditions where the computer simulations indicate that this should be the equilibrium solid structure. In addition, we show that both the modified effective-liquid approximation (MELA) of Baus [J. Phys. Condens. Matter 2, 2111 (1990)] and the generalized effective-liquid approximation of Lutsko and Baus [Phys. Rev. Lett. 64, 761 (1990)], while giving excellent results for the freezing of hard spheres, fail completely to predict freezing into either fcc or bcc solid phases for soft inverse-power potentials. We also give an alternate derivation of the MWDA that makes clearer its connection to earlier theories

Comparison of weighted-density-functional theories for inhomogeneous liquids

This is the publisher's version, also available electronically from http://journals.aps.org/pra/abstract/10.1103/PhysRevA.42.4806.Three recent weighted-density-functional (WDF) theories are critically examined in terms of their ability to describe correctly the structure of a hard-sphere fluid at a hard wall. A new derivation of the Curtin-Ashcroft WDF theory is given that clarifies the basic approximations behind this formulation and brings out the close relationship between their work and the WDF theories of Meister-Kroll and Groot–van der Eerden. The condition that the second functional derivative of the approximate Helmholtz free-energy functional yields the correct two-particle direct-correlation function in the homogeneous limit is found to be of crucial importance in determining good liquid structures

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

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

Mathematical and computer modeling of electro-optic systems using a generic modeling approach

The conventional approach to modelling electro-optic sensor systems is to develop separate models for individual systems or classes of system, depending on the detector technology employed in the sensor and the application. However, this ignores commonality in design and in components of these systems. A generic approach is presented for modelling a variety of sensor systems operating in the infrared waveband that also allows systems to be modelled with different levels of detail and at different stages of the product lifecycle. The provision of different model types (parametric and image-flow descriptions) within the generic framework can allow valuable insights to be gained