Adiabatic connection at negative coupling strengths

The adiabatic connection of density functional theory (DFT) for electronic systems is generalized here to negative values of the coupling strength $\alpha$ (with {\em attractive} electrons). In the extreme limit $\alpha\to-\infty$ a simple physical solution is presented and its implications for DFT (as well as its limitations) are discussed. For two-electron systems (a case in which the present solution can be calculated exactly), we find that an interpolation between the limit $\alpha\to-\infty$ and the opposite limit of infinitely strong repulsion ($\alpha\to+\infty$) yields a rather accurate estimate of the second-order correlation energy E\cor\glt[\rho] for several different densities $\rho$, without using virtual orbitals. The same procedure is also applied to the Be isoelectronic series, analyzing the effects of near-degeneracy.Comment: 9 pages, submitted to PR

Using ultra-thin parylene films as an organic gate insulator in nanowire field-effect transistors

We report the development of nanowire field-effect transistors featuring an ultra-thin parylene film as a polymer gate insulator. The room temperature, gas-phase deposition of parylene is an attractive alternative to oxide insulators prepared at high temperatures using atomic layer deposition. We discuss our custom-built parylene deposition system, which is designed for reliable and controlled deposition of <100 nm thick parylene films on III-V nanowires standing vertically on a growth substrate or horizontally on a device substrate. The former case gives conformally-coated nanowires, which we used to produce functional $\Omega$-gate and gate-all-around structures. These give sub-threshold swings as low as 140 mV/dec and on/off ratios exceeding $10^3$ at room temperature. For the gate-all-around structure, we developed a novel fabrication strategy that overcomes some of the limitations with previous lateral wrap-gate nanowire transistors. Finally, we show that parylene can be deposited over chemically-treated nanowire surfaces; a feature generally not possible with oxides produced by atomic layer deposition due to the surface `self-cleaning' effect. Our results highlight the potential for parylene as an alternative ultra-thin insulator in nanoscale electronic devices more broadly, with potential applications extending into nanobioelectronics due to parylene's well-established biocompatible properties

On Functionality of Visibly Pushdown Transducers

Visibly pushdown transducers form a subclass of pushdown transducers that (strictly) extends finite state transducers with a stack. Like visibly pushdown automata, the input symbols determine the stack operations. In this paper, we prove that functionality is decidable in PSpace for visibly pushdown transducers. The proof is done via a pumping argument: if a word with two outputs has a sufficiently large nesting depth, there exists a nested word with two outputs whose nesting depth is strictly smaller. The proof uses technics of word combinatorics. As a consequence of decidability of functionality, we also show that equivalence of functional visibly pushdown transducers is Exptime-Complete.Comment: 20 page

Voltage-controlled electron-hole interaction in a single quantum dot

The ground state of neutral and negatively charged excitons confined to a single self-assembled InGaAs quantum dot is probed in a direct absorption experiment by high resolution laser spectroscopy. We show how the anisotropic electron-hole exchange interaction depends on the exciton charge and demonstrate how the interaction can be switched on and off with a small dc voltage. Furthermore, we report polarization sensitive analysis of the excitonic interband transition in a single quantum dot as a function of charge with and without magnetic field.Comment: Conference Proceedings, Physics and Applications of Spin-Related Phenomena in Semiconductors, Santa Barbara (CA), 2004. 4 pages, 4 figures; content as publishe

Enforcing Termination of Interprocedural Analysis

Interprocedural analysis by means of partial tabulation of summary functions may not terminate when the same procedure is analyzed for infinitely many abstract calling contexts or when the abstract domain has infinite strictly ascending chains. As a remedy, we present a novel local solver for general abstract equation systems, be they monotonic or not, and prove that this solver fails to terminate only when infinitely many variables are encountered. We clarify in which sense the computed results are sound. Moreover, we show that interprocedural analysis performed by this novel local solver, is guaranteed to terminate for all non-recursive programs --- irrespective of whether the complete lattice is infinite or has infinite strictly ascending or descending chains

Efficient total energy calculations from self-energy models

We propose a new method for calculating total energies of systems of interacting electrons, which requires little more computational resources than standard density-functional theories. The total energy is calculated within the framework of many-body perturbation theory by using an efficient model of the self-energy, that nevertheless retains the main features of the exact operator. The method shows promising performance when tested against quantum Monte Carlo results for the linear response of the homogeneous electron gas and structural properties of bulk silicon

Absorption and photoluminescence spectroscopy on a single self-assembled charge-tunable quantum dot

We have performed detailed photoluminescence (PL) and absorption spectroscopy on the same single self-assembled quantum dot in a charge-tunable device. The transition from neutral to charged exciton in the PL occurs at a more negative voltage than the corresponding transition in absorption. We have developed a model of the Coulomb blockade to account for this observation. At large negative bias, the absorption broadens as a result of electron and hole tunneling. We observe resonant features in this regime whenever the quantum dot hole level is resonant with two-dimensional hole states located at the capping layer-blocking barrier interface in our structure.Comment: 6 pages, 6 figure

Heavy-ion fusion driver research at Berkeley and Livermore

The Department of Energy is restructuring the U.S. fusion program to place a greater emphasis on science. As a result, we will not build the ILSE or Elise heavy ion fusion (HIF) facilities described in 1992 and 1994 conferences. Instead we are performing smaller experiments to address important scientific questions. Accelerator technology for HIF is similar to that for other applications such as high energy physics and nuclear physics. The beam physics, however, differs from the physics encountered in most accelerators, where the pressure arising from the beam temperature (emittance) is the dominant factor determining beam size and focusing system design. In HIF, space charge is the dominant feature, leading us into a parameter regime where.the beam plasma frequency becomes comparable to the betatron frequency. Our experiments address the physics of non-neutral plasmas in this novel regime. Because the beam plasma frequency is low, Particle-in-cell (PIC) simulations provide a good description of most of our experiments. Accelerators for HIF consist of several subsystems: ion sources, injectors, matching sections, combiners, acceleration sections with electric and magnetic focusing, beam compression and bending sections, and a system to focus the beams onto the target. We are currently assembling or performing experiments to address the physics of all these subsystems. This paper will discuss experiments in injection, combining, and bending

Electro-elastic tuning of single particles in individual self-assembled quantum dots

We investigate the effect of uniaxial stress on InGaAs quantum dots in a charge tunable device. Using Coulomb blockade and photoluminescence, we observe that significant tuning of single particle energies (~ -0.5 meV/MPa) leads to variable tuning of exciton energies (+18 to -0.9 micro-eV/MPa) under tensile stress. Modest tuning of the permanent dipole, Coulomb interaction and fine-structure splitting energies is also measured. We exploit the variable exciton response to tune multiple quantum dots on the same chip into resonance.Comment: 16 pages, 4 figures, 1 table. Final versio