Adiabatic optical entanglement between electron spins in separate quantum dots

We present an adiabatic approach to the design of entangling quantum operations with two electron spins localized in separate InAs/GaAs quantum dots via the Coulomb interaction between optically-excited localized states. Slowly-varying optical pulses minimize the pulse noise and the relaxation of the excited states. An analytic "dressed state" solution gives a clear physical picture of the entangling process, and a numerical solution is used to investigate the error dynamics. For two vertically-stacked quantum dots we show that, for a broad range of dot parameters, a two-spin state with concurrence $C>0.85$ can be obtained by four optical pulses with durations $\sim 0.1 - 1$ ns.Comment: 7 pages, 5 figure

Fast initialization of the spin state of an electron in a quantum dot in the Voigt configuration

We consider the initialization of the spin-state of a single electron trapped in a self-assembled quantum dot via optical pumping of a trion level. We show that with a magnetic field applied perpendicular to the growth direction of the dot, a near-unity fidelity can be obtained in a time equal to a few times the inverse of the spin-conserving trion relaxation rate. This method is several orders-of-magnitude faster than with the field aligned parallel, since this configuration must rely on a slow hole spin-flip mechanism. This increase in speed does result in a limit on the maximum obtainable fidelity, but we show that for InAs dots, the error is very small.Comment: 4 pages, 4 figure

Fast spin rotations by optically controlled geometric phases in a quantum dot

We demonstrate optical control of the geometric phase acquired by one of the spin states of an electron confined in a charge-tunable InAs quantum dot via cyclic 2pi excitations of an optical transition in the dot. In the presence of a constant in-plane magnetic field, these optically induced geometric phases result in the effective rotation of the spin about the magnetic field axis and manifest as phase shifts in the spin quantum beat signal generated by two time-delayed circularly polarized optical pulses. The geometric phases generated in this manner more generally perform the role of a spin phase gate, proving potentially useful for quantum information applications.Comment: 4 pages, 3 figures, resubmitted to Physical Review Letter

Stimulated Raman spin coherence and spin-flip induced hole burning in charged GaAs quantum dots

High-resolution spectral hole burning (SHB) in coherent nondegenerate differential transmission spectroscopy discloses spin-trion dynamics in an ensemble of negatively charged quantum dots. In the Voigt geometry, stimulated Raman spin coherence gives rise to Stokes and anti-Stokes sidebands on top of the trion spectral hole. The prominent feature of an extremely narrow spike at zero detuning arises from spin population pulsation dynamics. These SHB features confirm coherent electron spin dynamics in charged dots, and the linewidths reveal spin spectral diffusion processes.Comment: 5 pages, 5 figure

Optical RKKY Interaction between Charged Semiconductor Quantum Dots

We show how a spin interaction between electrons localized in neighboring quantum dots can be induced and controlled optically. The coupling is generated via virtual excitation of delocalized excitons and provides an efficient coherent control of the spins. This quantum manipulation can be realized in the adiabatic limit and is robust against decoherence by spontaneous emission. Applications to the realization of quantum gates, scalable quantum computers, and to the control of magnetization in an array of charged dots are proposed.Comment: 4 pages, 2 figure

Attacking Group Protocols by Refuting Incorrect Inductive Conjectures

Automated tools for finding attacks on flawed security protocols often fail to deal adequately with group protocols. This is because the abstractions made to improve performance on fixed 2 or 3 party protocols either preclude the modelling of group protocols all together, or permit modelling only in a fixed scenario, which can prevent attacks from being discovered. This paper describes Coral, a tool for finding counterexamples to incorrect inductive conjectures, which we have used to model protocols for both group key agreement and group key management, without any restrictions on the scenario. We will show how we used Coral to discover 6 previously unknown attacks on 3 group protocols