Influence of orbital symmetry on diffraction imaging with rescattering electron wave packets

Citation: Pullen, M. G., Wolter, B., Le, A. T., Baudisch, M., Sclafani, M., Pires, H., . . . Biegert, J. (2016). Influence of orbital symmetry on diffraction imaging with rescattering electron wave packets. Nature Communications, 7, 6. doi:10.1038/ncomms11922The ability to directly follow and time-resolve the rearrangement of the nuclei within molecules is a frontier of science that requires atomic spatial and few-femtosecond temporal resolutions. While laser-induced electron diffraction can meet these requirements, it was recently concluded that molecules with particular orbital symmetries (such as pi(g)) cannot be imaged using purely backscattering electron wave packets without molecular alignment. Here, we demonstrate, in direct contradiction to these findings, that the orientation and shape of molecular orbitals presents no impediment for retrieving molecular structure with adequate sampling of the momentum transfer space. We overcome previous issues by showcasing retrieval of the structure of randomly oriented O-2 and C2H2 molecules, with pi(g) and pi(u) symmetries, respectively, and where their ionization probabilities do not maximize along their molecular axes. While this removes a serious bottleneck for laser-induced diffraction imaging, we find unexpectedly strong backscattering contributions from low-Z atoms

Towards a verified compiler prototype for the synchronous language SIGNAL

International audienceSIGNAL belongs to the synchronous languages family which are widely used in the design of safety-critical real-time systems such as avionics, space systems, and nuclear power plants. This paper reports a compiler prototype for SIGNAL. Compared with the existing SIGNAL compiler, we propose a new intermediate representation (named S-CGA, a variant of clocked guarded actions), to integrate more synchronous programs into our compiler prototype in the future. The front-end of the compiler, i.e., the translation from SIGNAL to S-CGA, is presented. As well, the proof of semantics preservation is mechanized in the theorem prover Coq. Moreover, we present the back-end of the compiler, including sequential code generation and multithreaded code generation with time-predictable properties. With the rising importance of multi-core processors in safety-critical embedded systems or cyber-physical systems (CPS), there is a growing need for model-driven generation of multithreaded code and thus mapping on multi-core. We propose a time-predictable multi-core architecture model in architecture analysis and design language (AADL), and map the multi-threaded code to this model

Ultrafast electron diffraction imaging of bond breaking in di-ionized acetylene

Visualizing chemical reactions as they occur requires atomic spatial and femtosecond temporal resolution. Here, we report imaging of the molecular structure of acetylene (C2H2) 9 femtoseconds after ionization. Using mid-infrared laser–induced electron diffraction (LIED), we obtained snapshots as a proton departs the [C2H2]2+ ion. By introducing an additional laser field, we also demonstrate control over the ultrafast dissociation process and resolve different bond dynamics for molecules oriented parallel versus perpendicular to the LIED field. These measurements are in excellent agreement with a quantum chemical description of field-dressed molecular dynamicsPostprint (author's final draft

Mutation Accumulation May Be a Minor Force in Shaping Life History Traits

Is senescence the adaptive result of tradeoffs between younger and older ages or the nonadaptive burden of deleterious mutations that act at older ages? To shed new light on this unresolved question we combine adaptive and nonadaptive processes in a single model. Our model uses Penna's bit-strings to capture different age-specific mutational patterns. Each pattern represents a genotype and for each genotype we find the life history strategy that maximizes fitness. Genotypes compete with each other and are subject to selection and to new mutations over generations until equilibrium in gene-frequencies is reached. The mutation-selection equilibrium provides information about mutational load and the differential effects of mutations on a life history trait - the optimal age at maturity. We find that mutations accumulate only at ages with negligible impact on fitness and that mutation accumulation has very little effect on the optimal age at maturity. These results suggest that life histories are largely determined by adaptive processes. The non-adaptive process of mutation accumulation seems to be unimportant at evolutionarily relevant ages

Matrix models and sensitivity analysis of populations classified by age and stage : a vec-permutation matrix approach

© The Author(s), 2011. This article is distributed under the terms of the Creative Commons Attribution License. The definitive version was published in Theoretical Ecology 5 (2012): 403-417, doi:10.1007/s12080-011-0132-2.Matrix population models in which individuals are classified by both age and stage can be constructed using the vec-permutation matrix. The resulting age-stage models can be used to derive the age-specific consequences of a stage-specific life history or to describe populations in which the vital rates respond to both age and stage. I derive a general formula for the sensitivity of any output (scalar, vector, or matrix-valued) of the model, to any vector of parameters, using matrix calculus. The matrices describing age-stage dynamics are almost always reducible; I present results giving conditions under which population growth is ergodic from any initial condition. As an example, I analyze a published stage-specific model of Scotch broom (Cytisus scoparius), an invasive perennial shrub. Sensitivity analysis of the population growth rate finds that the selection gradients on adult survival do not always decrease with age but may increase over a range of ages. This may have implications for the evolution of senescence in stage-classified populations. I also derive and analyze the joint distribution of age and stage at death and present a sensitivity analysis of this distribution and of the marginal distribution of age at death.This research was supported by National Science Foundation Grant DEB-0816514 and by a Research Award from the Alexander von Humboldt Foundation

The maintenance gap: a new theoretical perspective on the evolution of aging

One of the prevailing theories of aging, the disposable soma theory, views aging as the result of the accumulation of damage through imperfect maintenance. Aging, then, is explained from an evolutionary perspective by asserting that this lack of maintenance exists because the required resources are better invested in reproduction. However, the amount of maintenance necessary to prevent aging, ‘maintenance requirement’ has so far been largely neglected and has certainly not been considered from an evolutionary perspective. To our knowledge we are the first to do so, and arrive at the conclusion that all maintenance requirement needs an evolutionary explanation. Increases in maintenance requirement can only be selected for if these are linked with either higher fecundity or better capabilities to cope with environmental challenges to the integrity of the organism. Several observations are suggestive of the latter kind of trade-off, the existence of which leads to the inevitable conclusion that the level of maintenance requirement is in principle unbound. Even the allocation of all available resources to maintenance could be unable to stop aging in some organisms. This has major implications for our understanding of the aging process on both the evolutionary and the mechanistic level. It means that the expected effect of measures to reallocate resources to maintenance from reproduction may be small in some species. We need to have an idea of how much maintenance is necessary in the first place. Our explorations of how natural selection is expected to act on the maintenance requirement provides the first step in understanding this

Model theory of finite and pseudofinite groups

This is a survey, intended both for group theorists and model theorists, concerning the structure of pseudofinite groups, that is, infinite models of the first-order theory of finite groups. The focus is on concepts from stability theory and generalisations in the context of pseudofinite groups, and on the information this might provide for finite group theory

Predation by Bears Drives Senescence in Natural Populations of Salmon

Classic evolutionary theory predicts that populations experiencing higher rates of environmentally caused (“extrinsic”) mortality should senesce more rapidly, but this theory usually neglects plausible relationships between an individual's senescent condition and its susceptibility to extrinsic mortality. We tested for the evolutionary importance of this condition dependence by comparing senescence rates among natural populations of sockeye salmon (Oncorhynchus nerka) subject to varying degrees of predation by brown bears (Ursus arctos). We related senescence rates in six populations to (1) the overall rate of extrinsic mortality, and (2) the degree of condition dependence in this mortality. Senescence rates were determined by modeling the mortality of individually-tagged breeding salmon at each site. The overall rate of extrinsic mortality was estimated as the long-term average of the annual percentage of salmon killed by bears. The degree of condition dependence was estimated as the extent to which bears killed salmon that exhibited varying degrees of senescence. We found that the degree of condition dependence in extrinsic mortality was very important in driving senescence: populations where bears selectively killed fish showing advanced senescence were those that senesced least rapidly. The overall rate of extrinsic mortality also contributed to among-population variation in senescence-but to a lesser extent. Condition-dependent susceptibility to extrinsic mortality should be incorporated more often into theoretical models and should be explicitly tested in natural populations