Randomized benchmarking of single and multi-qubit control in liquid-state NMR quantum information processing

Being able to quantify the level of coherent control in a proposed device implementing a quantum information processor (QIP) is an important task for both comparing different devices and assessing a device's prospects with regards to achieving fault-tolerant quantum control. We implement in a liquid-state nuclear magnetic resonance QIP the randomized benchmarking protocol presented by Knill et al (PRA 77: 012307 (2008)). We report an error per randomized $\frac{\pi}{2}$ pulse of $1.3 \pm 0.1 \times 10^{-4}$ with a single qubit QIP and show an experimentally relevant error model where the randomized benchmarking gives a signature fidelity decay which is not possible to interpret as a single error per gate. We explore and experimentally investigate multi-qubit extensions of this protocol and report an average error rate for one and two qubit gates of $4.7 \pm 0.3 \times 10^{-3}$ for a three qubit QIP. We estimate that these error rates are still not decoherence limited and thus can be improved with modifications to the control hardware and software.Comment: 10 pages, 6 figures, submitted versio

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

Ultraviolet-reflective film applied to windows reduces the likelihood of collisions for two species of songbird

Perhaps a billion birds die annually from colliding with residential and commercial windows. Therefore, there is a societal need to develop technologies that reduce window collisions by birds. Many current window films that are applied to the external surface of windows have human-visible patterns that are not esthetically preferable. BirdShades have developed a short wavelength (ultraviolet) reflective film that appears as a slight tint to the human eye but should be highly visible to many bird species that see in this spectral range. We performed flight tunnel tests of whether the BirdShades external window film reduced the likelihood that two species of song bird (zebra finch, Taeniopygia guttata and brown-headed cowbird, Molothrus ater) collide with windows during daylight. We paid particular attention to simulate the lighting conditions that birds will experience while flying during the day. Our results indicate a 75–90% reduction in the likelihood of collision with BirdShades-treated compared with control windows, in forced choice trials. In more ecologically relevant comparison between trials where all windows were either treated or control windows, the estimated reduction in probability of collision was 30–50%. Further, both bird species slow their flight by approximately 25% when approaching windows treated with the BirdShades film, thereby reducing the force of collisions if they were to happen. Therefore, we conclude that the BirdShades external window film will be effective in reducing the risk of and damage caused to populations and property by birds’ collision with windows. As this ultraviolet-reflective film has no human-visible patterning to it, the product might be an esthetically more acceptable low cost solution to reducing bird-window collisions. Further, we call for testing of other mitigation technologies in lighting and ecological conditions that are more similar to what birds experience in real human-built environments and make suggestions for testing standards to assess collision-reducing technologies

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+