Giant flagellins form thick flagellar filaments in two species of marine γ-proteobacteria

Flagella, the primary means of motility in bacteria, are helical filaments that function as microscopic propellers composed of thousands of copies of the protein flagellin. Here, we show that many bacteria encode “giant” flagellins, greater than a thousand amino acids in length, and that two species that encode giant flagellins, the marine γ-proteobacteria Bermanella marisrubri and Oleibacter marinus, produce monopolar flagellar filaments considerably thicker than filaments composed of shorter flagellin monomers. We confirm that the flagellum from B. marisrubri is built from its giant flagellin. Phylogenetic analysis reveals that the mechanism of evolution of giant flagellins has followed a stepwise process involving an internal domain duplication followed by insertion of an additional novel insert. This work illustrates how “the” bacterial flagellum should not be seen as a single, idealised structure, but as a continuum of evolved machines adapted to a range of niches

The Evidence for a Pentaquark Signal and Kinematic Reflections

Several recent experiments have reported evidence for a narrow baryon resonance with positive strangeness ($\Theta^+$) at a mass of 1.54 GeV/$c^2$. Baryons with $S=+1$ cannot be conventional $qqq$ states and the reports have thus generated much theoretical speculation about the nature of possible $S=+1$ baryons, including a 5-quark, or pentaquark, interpretation. We show that narrow enhancements in the $K^+n$ effective mass spectrum can be generated as kinematic reflections resulting from the decay of mesons, such as the $f_2(1275)$, the $a_2(1320)$ and the $\rho_3(1690)$.Comment: 4 pages, 4 figure

A search for J^{PC}=1^{-+} exotic mesons in the pi- pi- pi+ and pi- pi0 pi0 systems

A partial wave analysis (PWA) of the pi-pi-pi+ and pi-pi0pi0 systems produced in the reaction pi- p -> (3pi)-p at 18 GeV/c was carried out using an isobar model assumption. This analysis is based on 3.0M pi-pi0pi0 events and 2.6M pi-pi-pi+ events and shows production of the a2(1320), pi2(1670) and \pi(1800) mesons. An earlier analysis of 250K pi-pi-pi+ events from the same experiment showed possible evidence for a J^{PC}=1^{-+}$ exotic meson with a mass of 1.6 GeV/c^2 decaying into rho pi. In this analysis of a higher statistics sample of the (3pi)- system in two charged modes we find no evidence of an exotic meson.Comment: 4 pages, 5 figures, added comment about the negative reflectivity exotic wave

Incremental bounded model checking for embedded software

Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and test case generation are some of the most common applications of automated verification tools based on bounded model checking (BMC). Existing industrial tools for embedded software use an off-the-shelf bounded model checker and apply it iteratively to verify the program with an increasing number of unwindings. This approach unnecessarily wastes time repeating work that has already been done and fails to exploit the power of incremental SAT solving. This article reports on the extension of the software model checker CBMC to support incremental BMC and its successful integration with the industrial embedded software verification tool BTC EMBEDDED TESTER. We present an extensive evaluation over large industrial embedded programs, mainly from the automotive industry. We show that incremental BMC cuts runtimes by one order of magnitude in comparison to the standard non-incremental approach, enabling the application of formal verification to large and complex embedded software. We furthermore report promising results on analysing programs with arbitrary loop structure using incremental BMC, demonstrating its applicability and potential to verify general software beyond the embedded domain

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability

The stochastic Boolean satisfiability (SSAT) problem has been introduced by Papadimitriou in 1985 when adding a probabilistic model of uncertainty to propositional satisfiability through randomized quantification. SSAT has many applications, among them probabilistic bounded model checking (PBMC) of symbolically represented Markov decision processes. This article identifies a notion of Craig interpolant for the SSAT framework and develops an algorithm for computing such interpolants based on a resolution calculus for SSAT. As a potential application area of this novel concept of Craig interpolation, we address the symbolic analysis of probabilistic systems. We first investigate the use of interpolation in probabilistic state reachability analysis, turning the falsification procedure employing PBMC into a verification technique for probabilistic safety properties. We furthermore propose an interpolation-based approach to probabilistic region stability, being able to verify that the probability of stabilizing within some region is sufficiently large

A Study of the \eta \pi^{0} Spectrum and Search for a J^{PC} = 1^{-+} Exotic Meson

A partial wave analysis (PWA) of the of the $\eta \pi ^0$ system (where $\eta \to \gamma \gamma$) produced in the charge exchange reaction $\pi ^-p\to \eta \pi ^0n$ at an incident momentum of 18 GeV$/c$ is presented as a function of ${\eta \pi ^0}$ invariant mass, $m_{\eta\pi^0}$, and momentum transfer squared, $t_{\pi^{-}\to\eta\pi}$, from the incident $\pi^-$ to the outgoing ${\eta\pi ^0}$ system. $S$, $P$ and $D$ waves were included in the PWA. The $a_0(980)$ and $a_2(1320)$ states are clearly observed in the overall ${\eta\pi ^0}$ effective mass distribution as well as in the amplitudes associated with $S$ wave and $D$ waves respectively after partial wave decomposition. The observed distributions in moments (averages of spherical harmonics) were compared to the results from the PWA and the two are consistent. The distribution in $t_{\pi^{-}\to\eta\pi}$ for individual $D$ waves associated with natural and unnatural parity exchange in the $t$-channel are consistent with Regge phenomenology. Of particular interest in this study is the $P$ wave since this leads to an exotic $J^{PC}=1^{-+}$ for the $\eta \pi$ system. A $P$ wave is present in the data, however attempts to describe the mass dependence of the amplitude and phase motion with respect to the $D$ wave as a Breit-Wigner resonance are problematic. This has implications regarding the existence of a reported exotic $J^{PC} = 1^{-+}$ meson decaying into $\eta \pi^0$ with a mass near 1.4 GeV$/c^2$.Comment: 19 pages, 29 figures, to appear in Phys. Rev.

Weak Hyperon Decays: Quark Sea and SU(3) Symmetry Breaking

An explanation of the difference in the values of the apparent $f/d$ ratios for the S- and P- wave amplitudes of nonleptonic hyperon decays is proposed. The argument is formulated in the framework of the standard pole model with $(56,0^{+})$ ground-state and $(70,1^{-})$ excited baryons as intermediate states for the P- and S- waves respectively. Under the assumption that the dominant part of the deviation of $(f/d)_{P-wave}$ from $-1$ is due to large quark sea effects, $SU(3)$ symmetry breaking in energy denominators is shown to lead to a prediction for $(f/d)_{S-wave}$ which is in excellent agreement with experiment. This corroborates our previous unitarity calculations which indicated that the matrix elements $$ of the parity conserving weak Hamiltonian between the ground-state baryons are characterized by $f_{0}/d_{0} \approx -1.6$ or more. A brief discussion of the problem of the relative size of S- and P- wave amplitudes is given. Finally, implications for weak radiative hyperon decays are also discussed.Comment: 26 pages, LATEX, 1647/PH IFJ Krako

A Revised Framework for the Investigation of Expectation Update Versus Maintenance in the Context of Expectation Violations: The ViolEx 2.0 Model

Expectations are probabilistic beliefs about the future that shape and influence our perception, affect, cognition, and behavior in many contexts. This makes expectations a highly relevant concept across basic and applied psychological disciplines. When expectations are confirmed or violated, individuals can respond by either updating or maintaining their prior expectations in light of the new evidence. Moreover, proactive and reactive behavior can change the probability with which individuals encounter expectation confirmations or violations. The investigation of predictors and mechanisms underlying expectation update and maintenance has been approached from many research perspectives. However, in many instances there has been little exchange between different research fields. To further advance research on expectations and expectation violations, collaborative efforts across different disciplines in psychology, cognitive (neuro)science, and other life sciences are warranted. For fostering and facilitating such efforts, we introduce the ViolEx 2.0 model, a revised framework for interdisciplinary research on cognitive and behavioral mechanisms of expectation update and maintenance in the context of expectation violations. To support different goals and stages in interdisciplinary exchange, the ViolEx 2.0 model features three model levels with varying degrees of specificity in order to address questions about the research synopsis, central concepts, or functional processes and relationships, respectively. The framework can be applied to different research fields and has high potential for guiding collaborative research efforts in expectation research

Search for Direct CP Violation in Non-Leptonic Decays of Charged Ξ\Xi and Λ\Lambda Hyperons

A search for direct CP violation in the non-leptonic decays of hyperons has been performed. In comparing the product of the decay parameters, $\alpha_{\Xi}\alpha_{\Lambda}$, in terms of an asymmetry parameter, $A_{\Xi\Lambda}$, between hyperons and anti-hyperons in the charged $\Xi \to \Lambda \pi$ and $\Lambda \to p \pi$ decay sequence, we found no evidence of direct CP violations. The parameter $A_{\Xi\Lambda}$ was measured to be $0.012 \pm 0.014$.Comment: Submitted for publication; RevTex, 13 pages, 4 figure