Spin and energy transfer in nanocrystals without transport of charge

We describe a mechanism of spin transfer between individual quantum dots that does not require tunneling. Incident circularly-polarized photons create inter-band excitons with non-zero electron spin in the first quantum dot. When the quantum-dot pair is properly designed, this excitation can be transferred to the neighboring dot via the Coulomb interaction with either {\it conservation} or {\it flipping} of the electron spin. The second dot can radiate circularly-polarized photons at lower energy. Selection rules for spin transfer are determined by the resonant conditions and by the strong spin-orbit interaction in the valence band of nanocrystals. Coulomb-induced energy and spin transfer in pairs and chains of dots can become very efficient under resonant conditions. The electron can preserve its spin orientation even in randomly-oriented nanocrystals.Comment: 13 pages, 3 figure

The Cytosolic Tail of the Golgi Apyrase Ynd1 Mediates E4orf4-Induced Toxicity in Saccharomyces cerevisiae

The adenovirus E4 open reading frame 4 (E4orf4) protein contributes to regulation of the progression of virus infection. When expressed individually, E4orf4 was shown to induce non-classical transformed cell-specific apoptosis in mammalian cells. At least some of the mechanisms underlying E4orf4-induced toxicity are conserved from yeast to mammals, including the requirement for an interaction of E4orf4 with protein phosphatase 2A (PP2A). A genetic screen in yeast revealed that the Golgi apyrase Ynd1 associates with E4orf4 and contributes to E4orf4-induced toxicity, independently of Ynd1 apyrase activity. Ynd1 and PP2A were shown to contribute additively to E4orf4-induced toxicity in yeast, and to interact genetically and physically. A mammalian orthologue of Ynd1 was shown to bind E4orf4 in mammalian cells, confirming the evolutionary conservation of this interaction. Here, we use mutation analysis to identify the cytosolic tail of Ynd1 as the protein domain required for mediation of the E4orf4 toxic signal and for the interaction with E4orf4. We also show that E4orf4 associates with cellular membranes in yeast and is localized at their cytoplasmic face. However, E4orf4 is membrane-associated even in the absence of Ynd1, suggesting that additional membrane proteins may mediate E4orf4 localization. Based on our results and on a previous report describing a collection of Ynd1 protein partners, we propose that the Ynd1 cytoplasmic tail acts as a scaffold, interacting with a multi-protein complex, whose targeting by E4orf4 leads to cell death

Long Wave Infrared Type II Superlattice Focal Plane Array Detector

The XBn/XBp family of barrier detectors enables diffusion limited dark currents comparable with HgxCd1-xTe Rule-07 and high quantum efficiencies. SCD’s XBp type II superlattice (T2SL) detector contains InAs/GaSb and InAs/AlSb T2SLs, and was designed for the long wave infrared (LWIR) atmospheric window using k · p based modeling of the energy bands and photo-response. Wafers are grown by molecular beam epitaxy and are fabricated into focal plane array (FPA) detectors using standard FPA processes, including wet and dry etching, indium bump hybridisation, under-fill, and back-side polishing. The 640 × 512 pixel, 15 μm pitch, detector goes by the name of ‘Pelican-D LW’ and exhibits a quantum efficiency of ~ 50 per cent with background limited performance at an operating temperature of 77 K. It has a cut-off wave length of ~ 9.5 μm, with a pixel operability of above 99 per cent. The detector gives a very stable image with a residual non uniformity of below 0.04 per cent over its useful dynamic range. A new digital read-out integrated circuit has been designed so that the complete detector closely follows the configuration of SCD’s MWIR Pelican-D detector

Program analysis is harder than verification: A computability perspective

We study from a computability perspective static program analysis, namely detecting sound program assertions, and verification, namely sound checking of program assertions. We first design a general computability model for domains of program assertions and correspond- ing program analysers and verifiers. Next, we formalize and prove an instantiation of Rice\u2019s theorem for static program analysis and verifica- tion. Then, within this general model, we provide and show a precise statement of the popular belief that program analysis is a harder prob- lem than program verification: we prove that for finite domains of pro- gram assertions, program analysis and verification are equivalent prob- lems, while for infinite domains, program analysis is strictly harder than verification

Guided self-assembly of lateral InAs/GaAs quantum-dot molecules for single molecule spectroscopy

We report on the growth and characterization of lateral InAs/GaAs (001) quantum-dot molecules (QDMs) suitable for single QDM optical spectroscopy. The QDMs, forming by depositing InAs on GaAs surfaces with self-assembled nanoholes, are aligned along the [] direction. The relative number of isolated single quantum dots (QDs) is substantially reduced by performing the growth on GaAs surfaces containing stepped mounds. Surface morphology and X-ray measurements suggest that the strain produced by InGaAs-filled nanoholes superimposed to the strain relaxation at the step edges are responsible for the improved QDM properties. QDMs are Ga-richer compared to single QDs, consistent with strain- enhanced intermixing. The high optical quality of single QDMs is probed by micro-photoluminescence spectroscopy in samples with QDM densities lower than 108 cm−2

Intraspecies Variation in the Emergence of Hyperinfectious Bacterial Strains in Nature

Salmonella is a principal health concern because of its endemic prevalence in food and water supplies, the rise in incidence of multi-drug resistant strains, and the emergence of new strains associated with increased disease severity. Insights into pathogen emergence have come from animal-passage studies wherein virulence is often increased during infection. However, these studies did not address the prospect that a select subset of strains undergo a pronounced increase in virulence during the infective process- a prospect that has significant implications for human and animal health. Our findings indicate that the capacity to become hypervirulent (100-fold decreased LD50) was much more evident in certain S. enterica strains than others. Hyperinfectious salmonellae were among the most virulent of this species; restricted to certain serotypes; and more capable of killing vaccinated animals. Such strains exhibited rapid (and rapidly reversible) switching to a less-virulent state accompanied by more competitive growth ex vivo that may contribute to maintenance in nature. The hypervirulent phenotype was associated with increased microbial pathogenicity (colonization; cytotoxin production; cytocidal activity), coupled with an altered innate immune cytokine response within infected cells (IFN-β; IL-1β; IL-6; IL-10). Gene expression analysis revealed that hyperinfectious strains display altered transcription of genes within the PhoP/PhoQ, PhoR/PhoB and ArgR regulons, conferring changes in the expression of classical virulence functions (e.g., SPI-1; SPI-2 effectors) and those involved in cellular physiology/metabolism (nutrient/acid stress). As hyperinfectious strains pose a potential risk to human and animal health, efforts toward mitigation of these potential food-borne contaminants may avert negative public health impacts and industry-associated losses