Characterization of complex quantum dynamics with a scalable NMR information processor

We present experimental results on the measurement of fidelity decay under contrasting system dynamics using a nuclear magnetic resonance quantum information processor. The measurements were performed by implementing a scalable circuit in the model of deterministic quantum computation with only one quantum bit. The results show measurable differences between regular and complex behaviour and for complex dynamics are faithful to the expected theoretical decay rate. Moreover, we illustrate how the experimental method can be seen as an efficient way for either extracting coarse-grained information about the dynamics of a large system, or measuring the decoherence rate from engineered environments.Comment: 4pages, 3 figures, revtex4, updated with version closer to that publishe

Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking

One technique to reduce the state-space explosion problem in temporal logic model checking is symmetry reduction. The combination of symmetry reduction and symbolic model checking by using BDDs suffered a long time from the prohibitively large BDD for the orbit relation. Dynamic symmetry reduction calculates representatives of equivalence classes of states dynamically and thus avoids the construction of the orbit relation. In this paper, we present a new efficient model checking algorithm based on dynamic symmetry reduction. Our experiments show that the algorithm is very fast and allows the verification of larger systems. We additionally implemented the use of state symmetries for symbolic symmetry reduction. To our knowledge we are the first who investigated state symmetries in combination with BDD based symbolic model checking

Bulk de novo mitogenome assembly from pooled total DNA elucidates the phylogeny of weevils (Coleoptera: Curculionoidea)

Complete mitochondrial genomes have been shown to be reliable markers for phylogeny reconstruction among diverse animal groups. However, the relative difficulty and high cost associated with obtaining de novo full mitogenomes have frequently led to conspicuously low taxon sampling in ensuing studies. Here, we report the successful use of an economical and accessible method for assembling complete or near-complete mitogenomes through shot-gun next-generation sequencing of a single library made from pooled total DNA extracts of numerous target species. To avoid the use of separate indexed libraries for each specimen, and an associated increase in cost, we incorporate standard polymerase chain reaction-based “bait” sequences to identify the assembled mitogenomes. The method was applied to study the higher level phylogenetic relationships in the weevils (Coleoptera: Curculionoidea), producing 92 newly assembled mitogenomes obtained in a single Illumina MiSeq run. The analysis supported a separate origin of wood-boring behavior by the subfamilies Scolytinae, Platypodinae, and Cossoninae. This finding contradicts morphological hypotheses proposing a close relationship between the first two of these but is congruent with previous molecular studies, reinforcing the utility of mitogenomes in phylogeny reconstruction. Our methodology provides a technically simple procedure for generating densely sampled trees from whole mitogenomes and is widely applicable to groups of animals for which bait sequences are the only required prior genome knowledge

Evaluating acoustic signals to reduce avian collision risk

Collisions with human-made structures are responsible for billions of bird deaths each year, resulting in ecological damage as well as regulatory and financial burdens to many industries. Acoustic signals can alert birds to obstacles in their flight paths in order to mitigate collisions, but these signals should be tailored to the sensory ecology of birds in flight as the effectiveness of various acoustic signals potentially depends on the influence of background noise and the relative ability of various sound types to propagate within a landscape. We measured changes in flight behaviors from zebra finches released into a flight corridor containing a physical obstacle, either in no-additional-sound control conditions or when exposed to one of four acoustic signals. We selected signals to test two frequency ranges (4 6 kHz or 6 8 kHz) and two temporal modulation patterns (broadband or frequency-modulated oscillating) to determine whether any particular combination of sound attributes elicited the strongest collision avoidance behaviors. We found that, relative to control flights, all sound treatments caused birds to maintain a greater distance from hazards and to adjust their flight trajectories before coming close to obstacles. There were no statistical differences among different sound treatments, but consistent trends within the data suggest that the 4 6 kHz frequency- modulated oscillating signal elicited the strongest avoidance behaviors. We conclude that a variety of acoustic signals can be effective as avian collision deterrents, at least in the context in which we tested these birds. These results may be most directly applicable in scenarios when birds are at risk of collisions with solid structures, such as wind turbines and communication towers, as opposed to window collisions or collisions involving artificial lighting. We recommend the incorporation of acoustic signals into multimodal collision deterrents and demonstrate the value of using behavioral data to assess collision risk

Population, sexual and reproductive health, rights and sustainable development: forging a common agenda.

This article suggests that sexual and reproductive health and rights activists seeking to influence the post-2015 international development paradigm must work with sustainable development advocates concerned with a range of issues, including climate change, environmental issues, and food and water security, and that a way of building bridges with these communities is to demonstrate how sexual and reproductive health and rights are relevant for these issues. An understanding of population dynamics, including urbanization and migration, as well as population growth, can help to clarify these links. This article therefore suggests that whether or not sexual and reproductive health and rights activists can overcome resistance to discussing "population", become more knowledgeable about other sustainable development issues, and work with others in those fields to advance the global sustainable development agenda are crucial questions for the coming months. The article also contends that it is possible to care about population dynamics (including ageing and problems faced by countries with a high proportion of young people) and care about human rights at the same time. It expresses concern that, if sexual and reproductive health and rights advocates do not participate in the population dynamics discourse, the field will be left free for those for whom respecting and protecting rights may be less of a priority

Model Checking CTL is Almost Always Inherently Sequential

The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the use of temporal modalities or the use of negations---restrictions already studied for LTL by Sistla and Clarke (1985) and Markey (2004). For all these fragments, except for the trivial case without any temporal operator, we systematically prove model checking to be either inherently sequential (P-complete) or very efficiently parallelizable (LOGCFL-complete). For most fragments, however, model checking for CTL is already P-complete. Hence our results indicate that, in cases where the combined complexity is of relevance, approaching CTL model checking by parallelism cannot be expected to result in any significant speedup. We also completely determine the complexity of the model checking problem for all fragments of the extensions ECTL, CTL+, and ECTL+

The limited spatial scale of dispersal in soil arthropods revealed with whole‐community haplotype‐level metabarcoding

Soil arthropod communities are highly diverse and critical for ecosystem functioning. However, our knowledge of spatial structure and the underlying processes of community assembly are scarce, hampered by limited empirical data on species diversity and turnover. We implement a high‐throughput sequencing approach to generate comparative data for thousands of arthropods at three hierarchical levels: genetic, species and supra‐specific lineages. A joint analysis of the spatial arrangement across these levels can reveal the predominant processes driving the variation in biological assemblages at the local scale. This multihierarchical approach was performed using haplotype‐level COI metabarcoding of entire communities of mites, springtails and beetles from three Iberian mountain regions. Tens of thousands of specimens were extracted from deep and superficial soil layers and produced comparative phylogeographic data for >1,000 codistributed species and nearly 3,000 haplotypes. Local assemblage composition differed greatly between grasslands and forests and, within each habitat, showed strong spatial structure and high endemicity. Distance decay was high at all levels, even at the scale of a few kilometres or less. The local distance decay patterns were self‐similar for the haplotypes and higher hierarchical entities, and this fractal structure was similar in all regions, suggesting that uniform processes of limited dispersal determine local‐scale community assembly. Our results from whole‐community metabarcoding provide insight into how dispersal limitations constrain mesofauna community structure within local spatial settings over evolutionary timescales. If generalized across wider areas, the high turnover and endemicity in the soil locally may indicate extremely high richness globally, challenging our current estimations of total arthropod diversity on Earth.This research was funded by Newton International Program, UK, to PA and the NHM Biodiversity Initiative to APV. PA was supported by postdoctoral grants from the Royal Society (Newton International Program, UK) and the Spanish Ministry of Economy and Competitiveness (MINECO, Spain) within the Juan de la Cierva Formación Program. CA was supported by the Spanish Ministry of Economy and Competitiveness (MINECO, Spain; CGL2015‐74178‐JIN MINECO/FEDER, UE).Peer reviewe