Methodological framework for projecting the potential loss of intraspecific genetic diversity due to global climate change

Background: While research on the impact of global climate change (GCC) on ecosystems and species is flourishing, a fundamental component of biodiversity -- molecular variation -- has not yet received its due attention in such studies. Here we present a methodological framework for projecting the loss of intraspecific genetic diversity due to GCC. Methods: The framework consists of multiple steps that and combines 1) hierarchical genetic clustering methods to define comparable units of inference, 2) species accumulation curves (SAC) to infer sampling completeness, and 3) species distribution modelling (SDM) to project the genetic diversity loss under GCC. We suggest procedures for existing data sets as well as specifically designed studies. We illustrate the approach with two worked examples from a land snail (Trochulus villosus) and a caddisfly (Smicridea (S.) mucronata). Results: Sampling completeness was diagnosed on the third most coarse haplotype clade level for T. villosus and the second most coarse for S. mucronata. For both species, a substantial species range loss was projected under the chosen climate scenario. However, despite substantial differences in data set quality concerning spatial sampling and sampling depth, no loss of haplotype clades due to GCC was predicted for either species. Conclusions: The suggested approach presents a feasible method to tap the rich resources of existing phylogeographic data sets and guide the design and analysis of studies explicitly designed to estimate the impact of GCC on a currently still neglected level of biodiversity

From the Western Alps across Central Europe: Postglacial recolonisation of the tufa stream specialist Rhyacophila pubescens (Insecta, Trichoptera)

Background: Dispersal rates, i.e. the effective number of dispersing individuals per unit time, are the product of dispersal capacity, i.e. a species physiological potential for dispersal, dispersal behaviour, i.e. the decision to leave a habitat patch in favour of another, and connectivity of occupied habitat. Dispersal of species that are highly specialised to a certain habitat is thus strongly limited by habitat availability. Additionally, species inhabiting very stable environments may adopt a sedentary life-style. Both factors should lead to strong genetic differentiation in highly specialised species inhabiting stable environments. These two factors apply to our model species Rhyacophila pubescens a highly specialised freshwater insect that occurs in tufa springs, a very stable habitat. Results: We examined the genetic population structure and phylogeography using range-wide mtCOI sequence and AFLP data from 333 individuals of R. pubescens. We inferred the location of Pleistocene refugia and postglacial colonisation routes of R. pubescens, and examined ongoing local differentiation. Our results indicate intraregional differentiation with a high number of locally endemic haplotypes, that we attributed to habitat specificity and low dispersal rates of R. pubescens. We observed high levels of genetic diversity south of the Alps and genetic impoverishment north of the Alps. Estimates of migrants placed the refugium and the source of the colonisation in the Dauphine Alps (SW Alps). Conclusions: This is the first example of an aquatic insect with a colonisation route along the western margin of the Alps to the Central European highlands. The study also shows that specialisation to a stable environment may have promoted a behavioural shift to decreased dispersal rates, leading to stronger local population differentiation than in less specialised aquatic insects. Alternatively, the occurrence of highly specialised tufa spring habitats may have been more widespread in the past, leading to range regression and fragmentation among present day R. pubescens populations

Lattice Theories with Nonlinearly Realized Chiral Symmetry

We present the lattice formulation of effective Lagrangians in which chiral symmetry is realized nonlinearly on the fermion fields. In this framework both the Wilson term removing unphysical doubler fermions and the fermion mass term do not break chiral symmetry. Our lattice formulation allows us to address non-perturbative questions in effective theories of baryons interacting with pions and in models involving constitutent quarks interacting with pions and gluons. With the presented methods, a system containing a non-zero density of static baryons interacting with pions can be studied on the lattice without encountering a complex action problem. This might lead to new insights into the phase diagram of strongly interacting matter at non-zero chemical potential.Comment: 3 pages, Lattice2003(chiral

Fault Models for Quantum Mechanical Switching Networks

The difference between faults and errors is that, unlike faults, errors can be corrected using control codes. In classical test and verification one develops a test set separating a correct circuit from a circuit containing any considered fault. Classical faults are modelled at the logical level by fault models that act on classical states. The stuck fault model, thought of as a lead connected to a power rail or to a ground, is most typically considered. A classical test set complete for the stuck fault model propagates both binary basis states, 0 and 1, through all nodes in a network and is known to detect many physical faults. A classical test set complete for the stuck fault model allows all circuit nodes to be completely tested and verifies the function of many gates. It is natural to ask if one may adapt any of the known classical methods to test quantum circuits. Of course, classical fault models do not capture all the logical failures found in quantum circuits. The first obstacle faced when using methods from classical test is developing a set of realistic quantum-logical fault models. Developing fault models to abstract the test problem away from the device level motivated our study. Several results are established. First, we describe typical modes of failure present in the physical design of quantum circuits. From this we develop fault models for quantum binary circuits that enable testing at the logical level. The application of these fault models is shown by adapting the classical test set generation technique known as constructing a fault table to generate quantum test sets. A test set developed using this method is shown to detect each of the considered faults.Comment: (almost) Forgotten rewrite from 200

Program transformations using temporal logic side conditions

This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of abstraction. We demonstrate the power of this approach by developing a set of optimisations using our transformation language and showing how the transformations can be converted into a form which makes it easier to apply them, while maintaining trust in the resulting optimising steps. The approach is illustrated through a transformational case study where we apply several optimisations to a small program

Effects of Boundary Conditions on Single-File Pedestrian Flow

In this paper we investigate effects of boundary conditions on one dimensional pedestrian flow which involves purely longitudinal interactions. Qualitatively, stop-and-go waves are observed under closed boundary condition and dissolve when the boundary is open. To get more detailed information the fundamental diagrams of the open and closed systems are compared using Voronoi-based measurement method. Higher maximal specific flow is observed from the pedestrian movement at open boundary condition

LRP1 Has a Predominant Role in Production over Clearance of Aβ in a Mouse Model of Alzheimer's Disease.

The low-density lipoprotein receptor-related protein-1 (LRP1) has a dual role in the metabolism of the amyloid precursor protein (APP). In cellular models, LRP1 enhances amyloid-β (Aβ) generation via APP internalization and thus its amyloidogenic processing. However, conditional knock-out studies in mice define LRP1 as an important mediator for the clearance of extracellular Aβ from brain via cellular degradation or transcytosis across the blood-brain barrier (BBB). In order to analyze the net effect of LRP1 on production and clearance of Aβ in vivo, we crossed mice with impaired LRP1 function with a mouse model of Alzheimer's disease (AD). Analysis of Aβ metabolism showed that, despite reduced Aβ clearance due to LRP1 inactivation in vivo, less Aβ was found in cerebrospinal fluid (CSF) and brain interstitial fluid (ISF). Further analysis of APP metabolism revealed that impairment of LRP1 in vivo shifted APP processing from the Aβ-generating amyloidogenic cleavage by beta-secretase to the non-amyloidogenic processing by alpha-secretase as shown by a decrease in extracellular Aβ and an increase of soluble APP-α (sAPP-α). This shift in APP processing resulted in overall lower Aβ levels and a reduction in plaque burden. Here, we present for the first time clear in vivo evidence that global impairment of LRP1's endocytosis function favors non-amyloidogenic processing of APP due to its reduced internalization and subsequently, reduced amyloidogenic processing. By inactivation of LRP1, the inhibitory effect on Aβ generation overrules the simultaneous impaired Aβ clearance, resulting in less extracellular Aβ and reduced plaque deposition in a mouse model of AD

Berry curvature unravelled by the Nernst effect in Mn3_3Ge

The discovery of topological quantum materials represents a striking innovation in modern condensed matter physics with remarkable fundamental and technological implications. Their classification has been recently extended to topological Weyl semimetals, i.e., solid state systems which exhibit the elusive Weyl fermions as low-energy excitations. Here we show that the Nernst effect can be exploited as a sensitive probe for determining key parameters of the Weyl physics, applying it to the non-collinear antiferromagnet Mn$_3$Ge. This compound exhibits anomalous thermoelectric transport due to enhanced Berry curvature from Weyl points located extremely close to the Fermi level. We establish from our data a direct measure of the Berry curvature at the Fermi level and, using a minimal model of a Weyl semimetal, extract for the first time the Weyl point energy and their distance in momentum-space