Ab Initio Calculation of Impurity Effects in Copper Oxide Materials

We describe a method for calculating, within density functional theory, the electronic structure associated with typical defects which substitute for Cu in the CuO2 planes of high-Tc superconducting materials. The focus is primarily on Bi2Sr2CaCu2O8, the material on which most STM measurements of impurity resonances in the superconducting state have been performed. The magnitudes of the effective potentials found for Zn, Ni and vacancies on the in-plane Cu sites in this host material are remarkably consistent with phenomenological fits of potential scattering models to STM resonance energies. The effective potential ranges are quite short, of order 1 A with weak long range tails, in contrast to some current models of extended potentials which attempt to fit STM data. For the case of Zn and Cu vacancies, the effective potentials are strongly repulsive, and states on the impurity site near the Fermi level are simply removed. The local density of states (LDOS) just above the impurity is nevertheless found to be a maximum in the case of Zn and a local minimum in case of the vacancy, in agreement with experiment. The Zn and Cu vacancy patterns are explained as due to the long-range tails of the effective impurity potential at the sample surface. The case of Ni is richer due to the Ni atom's strong hybridization with states near the Fermi level; in particular, the short range part of the potential is attractive, and the LDOS is found to vary rapidly with distance from the surface and from the impurity site. We propose that the current controversy surrounding the observed STM patterns can be resolved by properly accounting for the effective impurity potentials and wave-functions near the cuprate surface. Other aspects of the impurity states for all three species are discussed.Comment: 37 pp. pdf including figures, submitted to Phys. Rev.

Deriving asteroid mineralogies from reflectance spectra: Implications for the MUSES-C target asteroid

In an effort to both bolster the spectral database on ordinary chondrites and constrain our ability to deconvolve modal, mineral chemistry and bulk chemical composition information from ordinary chondrites, we have initiated a spectral study of samples with known bulk compositions from the Smithsonian Institution\u27s Analyzed Meteorite Powder collection. In this paper, we focus on deriving a better formula for determining asteroid mineralogies from reflectance spectra. The MUSES-C mission to asteroid 25143 1998 SF36 will allow any derived mineralogies to be tested with a returned sample

Modest Declines in Proteome Quality Impair Hematopoietic Stem Cell Self-Renewal.

Low protein synthesis is a feature of somatic stem cells that promotes regeneration in multiple tissues. Modest increases in protein synthesis impair stem cell function, but the mechanisms by which this occurs are largely unknown. We determine that low protein synthesis within hematopoietic stem cells (HSCs) is associated with elevated proteome quality in vivo. HSCs contain less misfolded and unfolded proteins than myeloid progenitors. Increases in protein synthesis cause HSCs to accumulate misfolded and unfolded proteins. To test how proteome quality affects HSCs, we examine Aarssti/sti mice that harbor a tRNA editing defect that increases amino acid misincorporation. Aarssti/sti mice exhibit reduced HSC numbers, increased proliferation, and diminished serial reconstituting activity. Misfolded proteins overwhelm the proteasome within Aarssti/sti HSCs, which is associated with increased c-Myc abundance. Deletion of one Myc allele partially rescues serial reconstitution defects in Aarssti/sti HSCs. Thus, HSCs are dependent on low protein synthesis to maintain proteostasis, which promotes their self-renewal

Superconductivity in CoSr2(Y1-xCax)Cu2O7+d

The roles of aliovalent Ca(II)-for-Y(III) substitution and high-pressure-oxygen annealing in the process of "superconducterizing" the Co-based layered copper oxide, CoSr2(Y1-xCax)Cu2O7+d (Co-1212), were investigated. The as-air-synthesized samples up to x = 0.4 were found essentially oxygen stoichiometric (-0.03 <= d <= 0.00). These samples, however, were not superconductive, suggesting that the holes created by the divalent-for-trivalent cation substitution are trapped on Co in the charge reservoir. Ultra-high-pressure heat treatment carried out at 5 GPa and 500C for 30 min in the presence of Ag2O2 as an excess oxygen source induced bulk superconductivity in these samples. The highest Tc was obtained for the high-oxygen-pressure treated x = 0.3 sample at ~40 K.Comment: 16 pages, 6 figures, submitted to Solid State Communication

Poly(β-Amino Ester)-Nanoparticle Mediated Transfection of Retinal Pigment Epithelial Cells In Vitro and In Vivo

A variety of genetic diseases in the retina, including retinitis pigmentosa and leber congenital amaurosis, might be excellent targets for gene delivery as treatment. A major challenge in non-viral gene delivery remains finding a safe and effective delivery system. Poly(beta-amino ester)s (PBAEs) have shown great potential as gene delivery reagents because they are easily synthesized and they transfect a wide variety of cell types with high efficacy in vitro. We synthesized a combinatorial library of PBAEs and evaluated them for transfection efficacy and toxicity in retinal pigment epithelial (ARPE-19) cells to identify lead polymer structures and transfection formulations. Our optimal polymer (B5-S5-E7 at 60 w/w polymer∶DNA ratio) transfected ARPE-19 cells with 44±5% transfection efficacy, significantly higher than with optimized formulations of leading commercially available reagents Lipofectamine 2000 (26±7%) and X-tremeGENE HP DNA (22±6%); (p<0.001 for both). Ten formulations exceeded 30% transfection efficacy. This high non-viral efficacy was achieved with comparable cytotoxicity (23±6%) to controls; optimized formulations of Lipofectamine 2000 and X-tremeGENE HP DNA showed 15±3% and 32±9% toxicity respectively (p>0.05 for both). Our optimal polymer was also significantly better than a gold standard polymeric transfection reagent, branched 25 kDa polyethyleneimine (PEI), which achieved only 8±1% transfection efficacy with 25±6% cytotoxicity. Subretinal injections using lyophilized GFP-PBAE nanoparticles resulted in 1.1±1×103-fold and 1.5±0.7×103-fold increased GFP expression in the retinal pigment epithelium (RPE)/choroid and neural retina respectively, compared to injection of DNA alone (p = 0.003 for RPE/choroid, p<0.001 for neural retina). The successful transfection of the RPE in vivo suggests that these nanoparticles could be used to study a number of genetic diseases in the laboratory with the potential to treat debilitating eye diseases

Orbital Configurations and Magnetic Properties of Double-Layered Antiferromagnet Cs3_3Cu2_2Cl4_4Br3_3

We report the single-crystal X-ray analysis and magnetic properties of a new double-layered perovskite antiferromagnet, Cs$_3$Cu$_2$Cl$_4$Br$_3$. This structure is composed of Cu$_2$Cl$_4$Br$_3$ double layers with elongated CuCl$_4$Br$_2$ octahedra and is closely related to the Sr$_3$Ti$_2$O$_7$ structure. An as-grown crystal has a singlet ground state with a large excitation gap of $\Delta/k_{\rm B}\simeq 2000$ K, due to the strong antiferromagnetic interaction between the two layers. Cs$_3$Cu$_2$Cl$_4$Br$_3$ undergoes a structural phase transition at $T_{\rm s}\simeq330$ K accompanied by changes in the orbital configurations of Cu$^{2+}$ ions. Once a Cs$_3$Cu$_2$Cl$_4$Br$_3$ crystal is heated above $T_{\rm s}$, its magnetic susceptibility obeys the Curie-Weiss law with decreasing temperature even below $T_{\rm s}$ and does not exhibit anomalies at $T_{\rm s}$. This implies that in the heated crystal, the orbital state of the high-temperature phase remains unchanged below $T_{\rm s}$, and thus, this orbital state is the metastable state. The structural phase transition at $T_{\rm s}$ is characterized as an order-disorder transition of Cu$^{2+}$ orbitals.Comment: 6pages. 6figures, to appear in J. Phys. Soc. Jpn. Vol.76 No.

Predicate Abstraction for Linked Data Structures

We present Alias Refinement Types (ART), a new approach to the verification of correctness properties of linked data structures. While there are many techniques for checking that a heap-manipulating program adheres to its specification, they often require that the programmer annotate the behavior of each procedure, for example, in the form of loop invariants and pre- and post-conditions. Predicate abstraction would be an attractive abstract domain for performing invariant inference, existing techniques are not able to reason about the heap with enough precision to verify functional properties of data structure manipulating programs. In this paper, we propose a technique that lifts predicate abstraction to the heap by factoring the analysis of data structures into two orthogonal components: (1) Alias Types, which reason about the physical shape of heap structures, and (2) Refinement Types, which use simple predicates from an SMT decidable theory to capture the logical or semantic properties of the structures. We prove ART sound by translating types into separation logic assertions, thus translating typing derivations in ART into separation logic proofs. We evaluate ART by implementing a tool that performs type inference for an imperative language, and empirically show, using a suite of data-structure benchmarks, that ART requires only 21% of the annotations needed by other state-of-the-art verification techniques