Upper bound on neutrino mass based on T2K neutrino timing measurements

The Tokai to Kamioka (T2K) long-baseline neutrino experiment consists of a muon neutrino beam, produced at the J-PARC accelerator, a near detector complex and a large 295 km distant far detector. The present work utilizes the T2K event timing measurements at the near and far detectors to study neutrino time of flight as function of derived neutrino energy. Under the assumption of a relativistic relation between energy and time of flight, constraints on the neutrino rest mass can be derived. The sub-GeV neutrino beam in conjunction with timing precision of order tens of ns provide sensitivity to neutrino mass in the few MeV/c^2 range. We study the distribution of relative arrival times of muon and electron neutrino candidate events at the T2K far detector as a function of neutrino energy. The 90% C.L. upper limit on the mixture of neutrino mass eigenstates represented in the data sample is found to be m^2 < 5.6 MeV^2/c^4.

Topological lattice actions for the 2d XY model

We consider the 2d XY Model with topological lattice actions, which are invariant against small deformations of the field configuration. These actions constrain the angle between neighbouring spins by an upper bound, or they explicitly suppress vortices (and anti-vortices). Although topological actions do not have a classical limit, they still lead to the universal behaviour of the Berezinskii-Kosterlitz-Thouless (BKT) phase transition — at least up to moderate vortex suppression. In the massive phase, the analytically known Step Scaling Function (SSF) is reproduced in numerical simulations. However, deviations from the expected universal behaviour of the lattice artifacts are observed. In the massless phase, the BKT value of the critical exponent ηc is confirmed. Hence, even though for some topological actions vortices cost zero energy, they still drive the standard BKT transition. In addition we identify a vortex-free transition point, which deviates from the BKT behaviour.

Matching Recall and Storage in Sequence Learning with Spiking Neural Networks

Storing and recalling spiking sequences is a general problem the brain needs to solve. It is, however, unclear what type of biologically plausible learning rule is suited to learn a wide class of spatiotemporal activity patterns in a robust way. Here we consider a recurrent network of stochastic spiking neurons composed of both visible and hidden neurons. We derive a generic learning rule that is matched to the neural dynamics by minimizing an upper bound on the Kullback–Leibler divergence from the target distribution to the model distribution. The derived learning rule is consistent with spike-timing dependent plasticity in that a presynaptic spike preceding a postsynaptic spike elicits potentiation while otherwise depression emerges. Furthermore, the learning rule for synapses that target visible neurons can be matched to the recently proposed voltage-triplet rule. The learning rule for synapses that target hidden neurons is modulated by a global factor, which shares properties with astrocytes and gives rise to testable predictions.

A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

Minor inheritance inhibits the calibration of the 10Be production rate from the AD 1717 Val Ferret rock avalanche, European Alps

To calibrate the in situ 10Be production rate, we collected surface samples from nine large granitic boulders within the deposits of a rock avalanche that occurred in AD 1717 in the upper Ferret Valley, Mont Blanc Massif, Italy. The 10Be concentrations were extremely low and successfully measured within 10% analytical uncertainty or less. The concentrations vary from 4829 ± 448 to 5917 ± 476 at g−1. Using the historical age exposure time, we calculated the local and sea level-high latitude (i.e. ≥60°) cosmogenic 10Be spallogenic production rates. Depending on the scaling schemes, these vary between 4.60 ± 0.38 and 5.26 ± 0.43 at g−1 a−1. Although they correlate well with global values, our production rates are clearly higher than those from more recent calibration sites. We conclude that our 10Be production rate is a mean and an upper bound for production rates in the Massif region over the past 300 years. This rate is probably influenced by inheritance and will yield inaccurate (e.g. too young) exposure ages when applied to surface-exposure studies in the area. Other independently dated rock-avalanche deposits in the region that are approximately 103 years old could be considered as possible calibration sites.

Topical curcumin can inhibit deleterious effects of upper respiratory tract bacteria on human oropharyngeal cells in vitro: potential role for patients with cancer therapy induced mucositis?

Curcumin exerts its anti-inflammatory activity via inhibition of nuclear factor κB. Oropharyngeal epithelia and residing bacteria closely interact in inflammation and infection. This in vitro model investigated the effects of curcumin on bacterial survival, adherence to, and invasion of upper respiratory tract epithelia, and studied its anti-inflammatory effect. We aimed to establish a model, which could offer insights into the host-pathogen interaction in cancer therapy induced mucositis.

Unconventional Monetary Policy and the Great Recession: Estimating the Macroeconomic Effects of a Spread Compression at the Zero Lower Bound

We explore the macroeconomic effects of a compression in the long-term bond yield spread within the context of the Great Recession of 2007–09 via a time-varying parameter structural VAR model. We identify a “pure” spread shock defined as a shock that leaves the policy rate unchanged, which allows us to characterize the macroeconomic consequences of a decline in the yield spread induced by central banks’ asset purchases within an environment in which the policy rate is constrained by the effective zero lower bound. Two key findings stand out. First, compressions in the long-term yield spread exert a powerful effect on both output growth and inflation. Second, conditional on available estimates of the impact of the Federal Reserve’s and the Bank of England’s asset purchase programs on long-term yield spreads, our counterfactual simulations suggest that U.S. and U.K. unconventional monetary policy actions have averted significant risks both of deflation and of output collapses comparable to those that took place during the Great Depression.

Interactive effects of mycorrhizae and a root hemiparasite on plant community productivity and diversity

Plant communities can be affected both by arbuscular mycorrhizal fungi (AMF) and hemiparasitic plants. However, little is known about the interactive effects of these two biotic factors on the productivity and diversity of plant communities. To address this question, we set up a greenhouse study in which different AMF inocula and a hemiparasitic plant (Rhinanthus minor) were added to experimental grassland communities in a fully factorial design. In addition, single plants of each species in the grassland community were grown with the same treatments to distinguish direct AMF effects from indirect effects via plant competition. We found that AMF changed plant community structure by influencing the plant species differently. At the community level, AMF decreased the productivity by 15-24%, depending on the particular AMF treatment, mainly because two dominant species, Holcus lanatus and Plantago lanceolata, showed a negative mycorrhizal dependency. Concomitantly, plant diversity increased due to AMF inoculation and was highest in the treatment with a combination of two commercial AM strains. AMF had a positive effect on growth of the hemiparasite, and thereby induced a negative impact of the hemiparasite on host plant biomass which was not found in non-inoculated communities. However, the hemiparasite did not increase plant diversity. Our results highlight the importance of interactions with soil microbes for plant community structure and that these indirect effects can vary among AMF treatments. We conclude that mutualistic interactions with AMF, but not antagonistic interactions with a root hemiparasite, promote plant diversity in this grassland community.

Plant diversity effects on grassland productivity are robust to both nutrient enrichment and drought

Global change drivers are rapidly altering resource availability and biodiversity. While there is consensus that greater biodiversity increases the functioning of ecosystems, the extent to which biodiversity buffers ecosystem productivity in response to changes in resource availability remains unclear. We use data from 16 grassland experiments across North America and Europe that manipulated plant species richness and one of two essential resources—soil nutrients or water—to assess the direction and strength of the interaction between plant diversity and resource alteration on above-ground productivity and net biodiversity, complementarity, and selection effects. Despite strong increases in productivity with nutrient addition and decreases in productivity with drought, we found that resource alterations did not alter biodiversity–ecosystem functioning relationships. Our results suggest that these relationships are largely determined by increases in complementarity effects along plant species richness gradients. Although nutrient addition reduced complementarity effects at high diversity, this appears to be due to high biomass in monocultures under nutrient enrichment. Our results indicate that diversity and the complementarity of species are important regulators of grassland ecosystem productivity, regardless of changes in other drivers of ecosystem function.

Effects of doxorubicin cancer therapy on autophagy and the ubiquitin-proteasome system in long-term cultured adult rat cardiomyocytes

The clinical use of anthracyclines in cancer therapy is limited by dose-dependent cardiotoxicity that involves cardiomyocyte injury and death. We have tested the hypothesis that anthracyclines affect protein degradation pathways in adult cardiomyocytes. To this aim, we assessed the effects of doxorubicin (Doxo) on apoptosis, autophagy and the proteasome/ubiquitin system in long-term cultured adult rat cardiomyocytes. Accumulation of poly-ubiquitinated proteins, increase of cathepsin-D-positive lysosomes and myofibrillar degradation were observed in Doxo-treated cardiomyocytes. Chymotrypsin-like activity of the proteasome was initially increased and then inhibited by Doxo over a time-course of 48 h. Proteasome 20S proteins were down-regulated by higher doses of Doxo. The expression of MURF-1, an ubiquitin-ligase specifically targeting myofibrillar proteins, was suppressed by Doxo at all concentrations measured. Microtubule-associated protein 1 light chain 3B (LC3)-positive punctae and both LC3-I and -II proteins were induced by Doxo in a dose-dependent manner, as confirmed by using lentiviral expression of green fluorescence protein bound to LC3 and live imaging. The lysosomotropic drug chloroquine led to autophagosome accumulation, which increased with concomitant Doxo treatment indicating enhanced autophagic flux. We conclude that Doxo causes a downregulation of the protein degradation machinery of cardiomyocytes with a resulting accumulation of poly-ubiquitinated proteins and autophagosomes. Although autophagy is initially stimulated as a compensatory response to cytotoxic stress, it is followed by apoptosis and necrosis at higher doses and longer exposure times. This mechanism might contribute to the late cardiotoxicity of anthracyclines by accelerated aging of the postmitotic adult cardiomyocytes and to the susceptibility of the aging heart to anthracycline cancer therapy.

Impact of Land-Use Intensity and Productivity on Bryophyte Diversity in Agricultural Grasslands

While bryophytes greatly contribute to plant diversity of semi-natural grasslands, little is known about the relationships between land-use intensity, productivity, and bryophyte diversity in these habitats. We recorded vascular plant and bryophyte vegetation in 85 agricultural used grasslands in two regions in northern and central Germany and gathered information on land-use intensity. To assess grassland productivity, we harvested aboveground vascular plant biomass and analyzed nutrient concentrations of N, P, K, Ca and Mg. Further we calculated mean Ellenberg indicator values of vascular plant vegetation. We tested for effects of land-use intensity and productivity on total bryophyte species richness and on the species richness of acrocarpous (small & erect) and pleurocarpous (creeping, including liverworts) growth forms separately. Bryophyte species were found in almost all studied grasslands, but species richness differed considerably between study regions in northern Germany (2.8 species per 16 m2) and central Germany (6.4 species per 16 m2) due environmental differences as well as land-use history. Increased fertilizer application, coinciding with high mowing frequency, reduced bryophyte species richness significantly. Accordingly, productivity estimates such as plant biomass and nitrogen concentration were strongly negatively related to bryophyte species richness, although productivity decreased only pleurocarpous species. Ellenberg indicator values for nutrients proved to be useful indicators of species richness and productivity. In conclusion, bryophyte composition was strongly dependent on productivity, with smaller bryophytes that were likely negatively affected by greater competition for light. Intensive land-use, however, can also indirectly decrease bryophyte species richness by promoting grassland productivity. Thus, increasing productivity is likely to cause a loss of bryophyte species and a decrease in species diversity.

Cascading climate effects and related ecological consequences during past centuries

The interface between climate and ecosystem structure and function is incompletely understood, partly because few ecological records start before the recent warming phase. Here, we analyse an exceptional 100-yr long record of the great tit (Parus major) population in Switzerland in relation to climate and habitat phenology. Using structural equation analysis, we demonstrate an uninterrupted cascade of significant influences of the large-scale atmospheric circulation (North-Atlantic Oscillation, NAO, and North-sea – Caspian Pattern, NCP) on habitat and breeding phenology, and further on fitness-relevant life history traits within great tit populations. We then apply the relationships of this analysis to reconstruct the circulation-driven component of fluctuations in great tit breeding phenology and productivity on the basis of new seasonal NAO and NCP indices back to 1500 AD. According to the structural equation model, the multi-decadal oscillation of the atmospheric circulation likely led to substantial variation in habitat phenology, productivity and consequently, tit population fluctuations with minima during the "Maunder Minimum" (∼ 1650–1720) and the Little Ice Age Type Event I (1810–1850). The warming since 1975 was not only related with a quick shift towards earlier breeding, but also with the highest productivity since 1500, and thus, the impact of the NAO and NCP has contributed to an unprecedented increase of the population. A verification of the structural equation model against two independent data series (1970–2000 and 1750–1900) corroborates that the retrospective model reliably depicts the major long-term NAO/NCP impact on ecosystem parameters. The results suggest a complex cascade of climate effects beginning at a global scale and ending at the level of individual life histories. This sheds light on how large-scale climate conditions substantially affect major life history parameters within a population, and thus influence key ecosystem parameters at the scale of centuries.