Time Resolved Control of Electron Tunnelling Times and Single-shot Spin Readout in a Quantum Dot

We are pursuing a capability to perform time resolved manipulations of single spins in quantum dot circuits involving more than two quantum dots. In this paper, we demonstrate full counting statistics as well as averaging techniques we use to calibrate the tunnel barriers. We make use of this to implement the Delft protocol for single shot single spin readout in a device designed to form a triple quantum dot potential. We are able to tune the tunnelling times over around three orders of magnitude. We obtain a spin relaxation time of 300 microseconds at 10T.Comment: Submitted to EP2DS 2009 Conference Proceeding

Mode oscillation and harmonic distortions associated with sinusoidal modulation of semiconductor lasers

This paper investigates mode dynamics, operation characteristics and signal distortions associated with sinusoidal modulation of semiconductor lasers. The study is based on intensive integrations of the multimode rate equation model of semiconductor lasers over wide ranges of the modulation frequency and depth. The rate equations take into account both spectral symmetric and asymmetric suppressions of modal gain. The higher harmonic distortions as well as the half harmonic distortion associated with the period doubling effect are investigated. The study is applied to both cases of single-mode and multimode oscillations of the non-modulated laser. The obtained results showed that the modulated signal has six distinct waveforms depending on the modulation conditions; three types have continuous periodic waveforms and the others have periodic pulsing waveforms. The modulated laser is found to oscillate in a single mode under weak modulation where the modulated signal is continuous, whereas the pulsing signals are associated with multimode oscillation. The higher harmonic distortions of single-mode laser are lower than those of two-mode lasers, and become serious at modulation frequencies around the relaxation oscillation frequency. These distortions are highest when the laser output is pulsating and the pulses are superposed by relaxation oscillations. © EDP Sciences, Società Italiana di Fisica, Springer-Verlag 2012

Dataflow Analysis for Datarace-Free Programs

Memory models for shared-memory concurrent programming languages typically guarantee sequential consistency (SC) semantics for datarace-free (DRF) programs, while providing very weak or no guarantees for non-DRF programs. In effect programmers are expected to write only DRF programs, which are then executed with SC semantics. With this in mind, we propose a novel scalable solution for dataflow analysis of concurrent programs, which is proved to be sound for DRF programs with SC semantics. We use the synchronization structure of the program to propagate dataflow information among threads without requiring to consider all interleavings explicitly. Given a dataflow analysis that is sound for sequential programs and meets certain criteria, our technique automatically converts it to an analysis for concurrent programs

Efficient flow-sensitive interprocedural data-flow analysis in the presence of pointers

Abstract. This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysis. Our algorithm works particularly well for interprocedural analyses. By contrast, traditional algorithms work well for individual procedures but do not scale well to interprocedural analysis because they spend too much time unnecessarily re-analyzing large parts of the program. Our algorithm solves this problem by exploiting the sparse nature of many analyses. The key to our approach is the use of interprocedural def-use chains, which allows our algorithm to re-analyze only those parts of the program that are affected by changes in the flow values. Unlike other techniques for sparse analysis, our algorithm does not rely on precomputed def-use chains, since this computation can itself require costly analysis, particularly in the presence of pointers. Instead, we compute def-use chains on the fly during the analysis, along with precise pointer information. When applied to large programs such as nn, our techniques improve analysis time by up to 90%—from 1974s to 190s—over a state of the art algorithm.

A high speed radio-frequency quantum point contact charge detector for time resolved readout applications of spin qubits

In this paper,we give details related to the implementation of a rf-QPC charge detector coupled to a GaAs/AlGaAs triple dot. Each component of the readout circuit is discussed with emphasis on the isolator. We use a10 K noise temperature HEMT amplifier in the readout and determine that the attenuation of amplifier noise that the isolator provides is not significant. A base electron temperature of 100mK is reached independent of the existence of the isolator in the readout circuit. We also discuss the use of normal metal and superconducting resonant circuits. Using the superconducting resonant circuit, we detect charge motion in the device and determine that the bandwidth of the readout is at least 1 MHz with a sensitivity of 1:46 x10-4e/ 1aHz .Peer reviewed: YesNRC publication: Ye

Interprocedural Analysis with Lazy Propagation

Abstract. We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions may not be distributive. The technique is described formally as a systematic modification of a variant of the monotone framework and its theoretical properties are shown. It is implemented in a type analysis tool for JavaScript where it results in a significant improvement in performance.