Monoidal computer III: A coalgebraic view of computability and complexity

Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of computation is that a categorical formalism should provide a much needed high level language for theory of computation, flexible enough to allow abstracting away the low level implementation details when they are irrelevant, or taking them into account when they are genuinely needed. A salient feature of the approach through monoidal categories is the formal graphical language of string diagrams, which supports visual reasoning about programs and computations. In the present paper, we provide a coalgebraic characterization of monoidal computer. It turns out that the availability of interpreters and specializers, that make a monoidal category into a monoidal computer, is equivalent with the existence of a *universal state space*, that carries a weakly final state machine for any pair of input and output types. Being able to program state machines in monoidal computers allows us to represent Turing machines, to capture their execution, count their steps, as well as, e.g., the memory cells that they use. The coalgebraic view of monoidal computer thus provides a convenient diagrammatic language for studying computability and complexity.Comment: 34 pages, 24 figures; in this version: added the Appendi

Neutral Gauge Boson Contributions to the Dimuon Charge Asymmetry in B Decays

Recently, the D0 Collaboration measured the CP-violating like-sign dimuon charge asymmetry in neutral B decays, finding a 3.2sigma difference from the standard-model (SM) prediction. A non-SM charge asymmetry a_sl^s suggests a new-physics (NP) contribution to Bs-Bsbar mixing. In this case, in order to explain the measured value of a_sl^s within its 1sigma range, NP must be present in Gamma_12^s, the absorptive part of the mixing. In this paper, we examine whether such an explanation is possible in models with flavor-changing Z (ZFCNC) or Z' (Z'FCNC) gauge bosons. The models must also reproduce the measured values of the indirect CP asymmetry S_psi-phi in Bs -> J/psi phi, and Delta Gamma_s, the Bs-Bsbar width difference. We find that the ZFCNC model cannot reproduce the present measured values of S_psi-phi and a_sl^s within their 1sigma ranges. On the other hand, in the Z'FCNC model, the values of all three observables can be simultaneously reproduced.Comment: 18 pages, 7 figures, JHEP format. Some ZFCNC equations corrected, ZFCNC analysis redone, references added, conclusions unchange

Scaling properties of protein family phylogenies

One of the classical questions in evolutionary biology is how evolutionary processes are coupled at the gene and species level. With this motivation, we compare the topological properties (mainly the depth scaling, as a characterization of balance) of a large set of protein phylogenies with a set of species phylogenies. The comparative analysis shows that both sets of phylogenies share remarkably similar scaling behavior, suggesting the universality of branching rules and of the evolutionary processes that drive biological diversification from gene to species level. In order to explain such generality, we propose a simple model which allows us to estimate the proportion of evolvability/robustness needed to approximate the scaling behavior observed in the phylogenies, highlighting the relevance of the robustness of a biological system (species or protein) in the scaling properties of the phylogenetic trees. Thus, the rules that govern the incapability of a biological system to diversify are equally relevant both at the gene and at the species level.Comment: Replaced with final published versio

Marsh macrophyte responses to inundation anticipate impacts of sea-level rise and indicate ongoing drowning of North Carolina marshes

In situ persistence of coastal marsh habitat as sea level rises depends on whether macrophytes induce compensatory accretion of the marsh surface. Experimental planters in two North Carolina marshes served to expose two dominant macrophyte species to six different elevations spanning 0.75 m (inundation durations 0.4–99 %). Spartina alterniflora and Juncus roemerianus exhibited similar responses—with production in planters suggesting initial increases and then demonstrating subsequent steep declines with increasing inundation, conforming to a segment of the ecophysiological parabola. Projecting inundation levels experienced by macrophytes in the planters onto adjacent marsh platforms revealed that neither species occupied elevations associated with increasing production. Declining macrophyte production with rising seas reduces both bioaccumulation of roots below-ground and baffle-induced sedimentation above-ground. By occupying only descending portions of the parabola, macrophytes in central North Carolina marshes are responding to rising water levels by progressive declines in production, ultimately leading to marsh drowning

Molecular and cellular mechanisms underlying the evolution of form and function in the amniote jaw.

The amniote jaw complex is a remarkable amalgamation of derivatives from distinct embryonic cell lineages. During development, the cells in these lineages experience concerted movements, migrations, and signaling interactions that take them from their initial origins to their final destinations and imbue their derivatives with aspects of form including their axial orientation, anatomical identity, size, and shape. Perturbations along the way can produce defects and disease, but also generate the variation necessary for jaw evolution and adaptation. We focus on molecular and cellular mechanisms that regulate form in the amniote jaw complex, and that enable structural and functional integration. Special emphasis is placed on the role of cranial neural crest mesenchyme (NCM) during the species-specific patterning of bone, cartilage, tendon, muscle, and other jaw tissues. We also address the effects of biomechanical forces during jaw development and discuss ways in which certain molecular and cellular responses add adaptive and evolutionary plasticity to jaw morphology. Overall, we highlight how variation in molecular and cellular programs can promote the phenomenal diversity and functional morphology achieved during amniote jaw evolution or lead to the range of jaw defects and disease that affect the human condition

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

Macro-financial linkages and bank behaviour: evidence from the second-round effects of the global financial crisis on East Asia

This paper studies the link between macro-financial variability and bank behaviour, which justifies the second-round effects of the global financial crisis on East Asia. Following Gallego et al. (The impact of the global economic and financial crisis on Central Eastern and South Eastern Europe (CESEE) and Latin America, 2010), the second round effects are defined as the adverse feedback loop from the slumps in economic activities and sharp financial market deterioration, which may influence the financial performance of bank, inter alia via deteriorating credit quality, declining profitability and increasing problems in retaining necessary capitalization. Differentiating itself from other research, this study stresses adjustments in four dimensions of bank performance and behaviour: asset quality, profitability, capital adequacy, and lending behaviour, assuming that any change in a bank-specific characteristic is induced by endogenous adjustments of the others. The empirical results based on partial adjustment models and two-step system GMM estimation show that bank’s adjustment behaviour is subject to the variation in the macro-financial environment and the stress condition in the global financial market. There is no convincing evidence to support the effectiveness of policy rate cut to boots bank lending and to avoid a financial accelerator effect

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at s√=8 TeV with the ATLAS detector

The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1fb−1 of proton–proton collision data at √s = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t˜→tχ˜01 or t˜→ bχ˜±1 →bW(∗)χ˜01 , where χ˜01 (χ˜±1 ) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t˜ → tχ˜01 . For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ˜01 masses below 30 GeV. For a branching fraction of 50% to either t˜ → tχ˜01 or t˜ → bχ˜±1 , and assuming the χ˜±1 mass to be twice the χ˜01 mass, top squark masses in the range 250–550 GeV are excluded for χ˜01 masses below 60 GeV

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns