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

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

The Contribution of Christian Missionaries to Education in Bengal, 1793-1837.

This thesis is concerned with the educational activities of Christian missionaries in Bengal between 1793 and 1837. An attempt has also been made to relate them to the educational and religious situation in the home countries of the missionaries, principally England and Scotland, which is explored in parts of Chapters I and V. The greater part of the thesis consists of an account of the development of the missionaries' schools for boys. This is traced from the early experiments made by William Carey shortly after his arrival in Bengal in 1793, through the great extension of the schools which took place during the administration of the Marquess of Hastings under the auspices of several different societies; but which was followed by a decline in the late 1820s and finally by a revival and further progress, with a new emphasis on English, consequent on the arrival in 1830 of Alexander Duff. Some analysis is made of the educational methods used by the missionaries, the subjects taught, the type of religious teaching given, the languages used, the compilation of textbooks, the caste of pupils and teachers, and the missionaries' relationship with Indians, lay British sympathisers, and with each other. Some account is also given of the schools for girls, and of the two institutions for higher education - Serampore and Bishop's Colleges - which the missionaries founded. The thesis is based mainly on manuscript letters from the missionaries in Bengal, found in the archives of the main English missionary societies and in the National Library of Scotland; and complemented by Indian Government records and by contemporary printed reports, newspapers, and periodicals of missionary, official and general provenance

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

Hyperfine-mediated gate-driven electron spin resonance

An all-electrical spin resonance effect in a GaAs few-electron double quantum dot is investigated experimentally and theoretically. The magnetic field dependence and absence of associated Rabi oscillations are consistent with a novel hyperfine mechanism. The resonant frequency is sensitive to the instantaneous hyperfine effective field, and the effect can be used to detect and create sizable nuclear polarizations. A device incorporating a micromagnet exhibits a magnetic field difference between dots, allowing electrons in either dot to be addressed selectively.Comment: related papers available at http://marcuslab.harvard.ed

PG 1700+518 Revisited: Adaptive Optics Imaging and a Revised Starburst Age for the Companion

We present the results of adaptive-optics imaging of the z=0.2923 QSO PG 1700+518 in the J and H bands. The extension to the north of the QSO is clearly seen to be a discrete companion with a well-defined tidal tail, rather than a feature associated with the host galaxy of PG 1700+518 itself. On the other hand, an extension to the southwest of the QSO (seen best in deeper, but lower-resolution, optical images) does likely comprise tidal material from the host galaxy. The SED derived from images in J, H, and two non-standard optical bands indicates the presence of dust intermixed with the stellar component. We use our previously reported Keck spectrum of the companion, the SED found from the imaging data, and updated spectral-synthesis models to constrain the stellar populations in the companion and to redetermine the age of the starburst. While our best-fit age of 0.085 Gyr is nearly the same as our earlier determination, the fit of the new models is considerably better. This age is found to be remarkably robust with respect to different assumptions about the nature of the older stellar component and the effects of dust.Comment: 11 pages; includes two eps figures. Latex (AASTEX). Two additional figures in gif format. Postscript version including all figs. (424 kb) can be obtained from http://www.ifa.hawaii.edu/~canaguby/preprints.html To appear in ApJ. Letter

High-contrast imaging in the Hyades with snapshot LOCI

To image faint substellar companions obscured by the stellar halo and speckles, scattered light from the bright primary star must be removed in hardware or software. We apply the "locally-optimized combination of images" (LOCI) algorithm to 1-minute Keck Observatory snapshots of GKM dwarfs in the Hyades using source diversity to determine the most likely PSF. We obtain a mean contrast of 10^{-2} at 0.01", 10^{-4} at <1", and 10^{-5} at 5". New brown dwarf and low-mass stellar companions to Hyades primaries are found in a third of the 84 targeted systems. This campaign shows the efficacy of LOCI on snapshot imaging as well as on bright wide binaries with off-axis LOCI, reaching contrasts sufficient for imaging 625-Myr late-L/early-T dwarfs purely in post-processing.Comment: 12 pages, 12 figures, to appear in SPIE Astronomy 2012, paper 8447-16

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