Silicon-based spin and charge quantum computation

Silicon-based quantum-computer architectures have attracted attention because of their promise for scalability and their potential for synergetically utilizing the available resources associated with the existing Si technology infrastructure. Electronic and nuclear spins of shallow donors (e.g. phosphorus) in Si are ideal candidates for qubits in such proposals due to the relatively long spin coherence times. For these spin qubits, donor electron charge manipulation by external gates is a key ingredient for control and read-out of single-qubit operations, while shallow donor exchange gates are frequently invoked to perform two-qubit operations. More recently, charge qubits based on tunnel coupling in P$_2^+$ substitutional molecular ions in Si have also been proposed. We discuss the feasibility of the building blocks involved in shallow donor quantum computation in silicon, taking into account the peculiarities of silicon electronic structure, in particular the six degenerate states at the conduction band edge. We show that quantum interference among these states does not significantly affect operations involving a single donor, but leads to fast oscillations in electron exchange coupling and on tunnel-coupling strength when the donor pair relative position is changed on a lattice-parameter scale. These studies illustrate the considerable potential as well as the tremendous challenges posed by donor spin and charge as candidates for qubits in silicon.Comment: Review paper (invited) - to appear in Annals of the Brazilian Academy of Science

Cirsium species show disparity in patterns of genetic variation at their range-edge, despite similar patterns of reproduction and isolation

Genetic variation was assessed across the UK geographical range of Cirsium acaule and Cirsium heterophyllum. A decline in genetic diversity and increase in population divergence approaching the range edge of these species was predicted based on parallel declines in population density and seed production reported seperately. Patterns were compared with UK populations of the widespread Cirsium arvense.Populations were sampled along a latitudinal transect in the UK and genetic variation assessed using microsatellite markers. Cirsium acaule shows strong isolation by distance, a significant decline in diversity and an increase in divergence among range-edge populations. Geographical structure is also evident in C. arvense, whereas no such patterns are seen in C.heterophyllum. There is a major disparity between patterns of genetic variation in C. acaule and C. heterophyllum despite very similar patterns in seed production and population isolation in these species. This suggests it may be misleading to make assumptions about the geographical structure of genetic variation within species based solely on the present-day reproduction and distribution of populations

Bayesian estimates of linkage disequilibrium

[Background] The maximum likelihood estimator of D' – a standard measure of linkage disequilibrium – is biased toward disequilibrium, and the bias is particularly evident in small samples and rare haplotypes. [Results] This paper proposes a Bayesian estimation of D' to address this problem. The reduction of the bias is achieved by using a prior distribution on the pair-wise associations between single nucleotide polymorphisms (SNP)s that increases the likelihood of equilibrium with increasing physical distances between pairs of SNPs. We show how to compute the Bayesian estimate using a stochastic estimation based on MCMC methods, and also propose a numerical approximation to the Bayesian estimates that can be used to estimate patterns of LD in large datasets of SNPs. [Conclusion] Our Bayesian estimator of D' corrects the bias toward disequilibrium that affects the maximum likelihood estimator. A consequence of this feature is a more objective view about the extent of linkage disequilibrium in the human genome, and a more realistic number of tagging SNPs to fully exploit the power of genome wide association studies.Research supported by NIH/NHLBI grant R21 HL080463-01, NIH/NIDDK 1R01DK069646-01A1 and the Spanish research program [projects TIN2004-06204-C03-02 and TIN2005-02516]

Regional Genetic Structure in the Aquatic Macrophyte Ruppia cirrhosa Suggests Dispersal by Waterbirds

The evolutionary history of the genus Ruppia has been shaped by hybridization, polyploidisation and vicariance that have resulted in a problematic taxonomy. Recent studies provided insight into species circumscription, organelle takeover by hybridization, and revealed the importance of verifying species identification to avoid distorting effects of mixing different species, when estimating population connectivity. In the present study, we use microsatellite markers to determine population diversity and connectivity patterns in Ruppia cirrhosa including two spatial scales: (1) from the Atlantic Iberian coastline in Portugal to the Siculo-Tunisian Strait in Sicily and (2) within the Iberian Peninsula comprising the Atlantic-Mediterranean transition. The higher diversity in the Mediterranean Sea suggests that populations have had longer persistence there, suggesting a possible origin and/or refugial area for the species. The high genotypic diversities highlight the importance of sexual reproduction for survival and maintenance of populations. Results revealed a regional population structure matching a continent-island model, with strong genetic isolation and low gene flow between populations. This population structure could be maintained by waterbirds, acting as occasional dispersal vectors. This information elucidates ecological strategies of brackish plant species in coastal lagoons, suggesting mechanisms used by this species to colonize new isolated habitats and dominate brackish aquatic macrophyte systems, yet maintaining strong genetic structure suggestive of very low dispersal.Fundacao para a Cincia e Tecnologia (FCT, Portugal) [PTDC/MAR/119363/2010, BIODIVERSA/0004/2015, UID/Multi/04326/2013]Pew FoundationSENECA FoundationMurcia Government, Spain [11881/PI/09]FCT Investigator Programme-Career Development [IF/00998/2014]Spanish Ministry of Education [AP2008-01209]European Community [00399/2012]info:eu-repo/semantics/publishedVersio

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

On the Evolution of Hexose Transporters in Kinetoplastid Potozoans

Glucose, an almost universally used energy and carbon source, is processed through several well-known metabolic pathways, primarily glycolysis. Glucose uptake is considered to be the first step in glycolysis. In kinetoplastids, a protozoan group that includes relevant human pathogens, the importance of glucose uptake in different phases of the life cycles is well established, and hexose transporters have been proposed as targets for therapeutic drugs. However, little is known about the evolutionary history of these hexose transporters. Hexose transporters contain an intracellular N- and C- termini, and 12 transmembrane spans connected by alternate intracellular and extracellular loops. In the present work we tested the hypothesis that the evolutionary rate of the transmembrane span is different from that of the whole sequence and that it is possible to define evolutionary units inside the sequence. The phylogeny of whole molecules was compared to that of their transmembrane spans and the loops connecting the transmembrane spans. We show that the evolutionary units in these proteins primarily consist of clustered rather than individual transmembrane spans. These analyses demonstrate that there are evolutionary constraints on the organization of these proteins; more specifically, the order of the transmembrane spans along the protein is highly conserved. Finally, we defined a signature sequence for the identification of kinetoplastid hexose transporters

Quantum Communication

Quantum communication, and indeed quantum information in general, has changed the way we think about quantum physics. In 1984 and 1991, the first protocol for quantum cryptography and the first application of quantum non-locality, respectively, attracted a diverse field of researchers in theoretical and experimental physics, mathematics and computer science. Since then we have seen a fundamental shift in how we understand information when it is encoded in quantum systems. We review the current state of research and future directions in this new field of science with special emphasis on quantum key distribution and quantum networks.Comment: Submitted version, 8 pg (2 cols) 5 fig

Crystal Structure of Outer Membrane Protein NMB0315 from Neisseria meningitidis

NMB0315 is an outer membrane protein of Neisseria meningitidis serogroup B (NMB) and a potential candidate for a broad-spectrum vaccine against meningococcal disease. The crystal structure of NMB0315 was solved by single-wavelength anomalous dispersion (SAD) at a resolution of 2.4 Å and revealed to be a lysostaphin-type peptidase of the M23 metallopeptidase family. The overall structure consists of three well-separated domains and has no similarity to any previously published structure. However, only the topology of the carboxyl-terminal domain is highly conserved among members of this family, and this domain is a zinc-dependent catalytic unit. The amino-terminal domain of the structure blocks the substrate binding pocket in the carboxyl-terminal domain, indicating that the wild-type full-length protein is in an inactive conformational state. Our studies improve the understanding of the catalytic mechanism of M23 metallopeptidases

Hybridization in parasites: consequences for adaptive evolution, pathogenesis and public health in a changing world

[No abstract available

Desire and Dread from the Nucleus Accumbens: Cortical Glutamate and Subcortical GABA Differentially Generate Motivation and Hedonic Impact in the Rat

Background: GABAergic signals to the nucleus accumbens (NAc) shell arise from predominantly subcortical sources whereas glutamatergic signals arise mainly from cortical-related sources. Here we contrasted GABAergic and glutamatergic generation of hedonics versus motivation processes, as a proxy for comparing subcortical and cortical controls of emotion. Local disruptions of either signals in medial shell of NAc generate intense motivated behaviors corresponding to desire and/or dread, along a rostrocaudal gradient. GABA or glutamate disruptions in rostral shell generate appetitive motivation whereas disruptions in caudal shell elicit fearful motivation. However, GABA and glutamate signals in NAc differ in important ways, despite the similarity of their rostrocaudal motivation gradients. Methodology/Principal Findings: Microinjections of a GABAA agonist (muscimol), or of a glutamate AMPA antagonist (DNQX) in medial shell of rats were assessed for generation of hedonic ‘‘liking’ ’ or ‘‘disliking’ ’ by measuring orofacial affective reactions to sucrose-quinine taste. Motivation generation was independently assessed measuring effects on eating versus natural defensive behaviors. For GABAergic microinjections, we found that the desire-dread motivation gradient was mirrored by an equivalent hedonic gradient that amplified affective taste ‘‘liking’ ’ (at rostral sites) versus ‘‘disliking’ ’ (at caudal sites). However, manipulation of glutamatergic signals completely failed to alter pleasure-displeasure reactions to sensory hedonic impact, despite producing a strong rostrocaudal gradient of motivation