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.

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.

Pulmonary lymphangioleiomyomatosis: analysis of disease manifestation by region-based quantification of lung parenchyma

PURPOSE Lymphangioleiomyomatosis (LAM) is characterized by proliferation of smooth muscle tissue that causes bronchial obstruction and secondary cystic destruction of lung parenchyma. The aim of this study was to evaluate the typical distribution of cystic defects in LAM with quantitative volumetric chest computed tomography (CT). MATERIALS AND METHODS CT examinations of 20 patients with confirmed LAM were evaluated with region-based quantification of lung parenchyma. Additionally, 10 consecutive patients were identified who had recently undergone CT imaging of the lung at our institution, in which no pathologies of the lung were found, to serve as a control group. Each lung was divided into three regions (upper, middle and lower thirds) with identical number of slices. In addition, we defined a "peel" and "core" of the lung comprising the 2 cm subpleural space and the remaining inner lung area. Computerized detection of lung volume and relative emphysema was performed with the PULMO 3D software (v3.42, Fraunhofer MEVIS, Bremen, Germany). This software package enables the quantification of emphysematous lung parenchyma by calculating the pixel index, which is defined as the ratio of lung voxels with a density <-950HU to the total number of voxels in the lung. RESULTS Cystic changes accounted for 0.1-39.1% of the total lung volume in patients with LAM. Disease manifestation in the central lung was significantly higher than in peripheral areas (peel median: 15.1%, core median: 20.5%; p=0.001). Lower thirds of lung parenchyma showed significantly less cystic changes than upper and middle lung areas combined (lower third: median 13.4, upper and middle thirds: median 19.0, p=0.001). CONCLUSION The distribution of cystic lesions in LAM is significantly more pronounced in the central lung compared to peripheral areas. There is a significant predominance of cystic changes in apical and intermediate lung zones compared to the lung bases.

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.

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.

The influence of different fever definitions on the rate of fever in neutropenia diagnosed in children with cancer

BACKGROUND The temperature limit defining fever (TLDF) is based on scarce evidence. This study aimed to determine the rate of fever in neutropenia (FN) episodes additionally diagnosed by lower versus standard TLDF. METHODS In a single center using a high TLDF (39.0°C tympanic temperature, LimitStandard), pediatric patients treated with chemotherapy for cancer were observed prospectively. Results of all temperature measurements and CBCs were recorded. The application of lower TLDFs (LimitLow; range, 37.5°C to 38.9°C) versus LimitStandard was simulated in silicon, resulting in three types of FN: simultaneous FN, diagnosed at both limits within 1 hour; earlier FN, diagnosed >1hour earlier at LimitLow; and additional FN, not diagnosed at LimitStandard. RESULTS In 39 patients, 8896 temperature measurements and 1873 CBCs were recorded during 289 months of chemotherapy. Virtually applying LimitStandard resulted in 34 FN diagnoses. The predefined relevantly (≥15%) increased FN rate was reached at LimitLow 38.4°C, with total 44 FN, 23 simultaneous, 11 earlier, and 10 additional (Poisson rate ratioAdditional/Standard, 0.29; 95% lower confidence bound, 0.16). Virtually applying 37.5°C as LimitLow led to earlier FN diagnosis (median, 4.5 hours; 95% CI, 1.0 to 20.8), and to 53 additional FN diagnosed. In 51 (96%) of them, spontaneous defervescence without specific therapy was observed in reality. CONCLUSION Lower TLDFs led to many additional FN diagnoses, implying overtreatment because spontaneous defervescence was observed in the vast majority. Lower TLDFs led as well to relevantly earlier diagnosis in a minority of FN episodes. The question if the high TLDF is not only efficacious but as well safe remains open.

Surgical treatment of upper, middle and lower cervical injuries and non-unions by anterior procedures

The goals of any treatment of cervical spine injuries are: return to maximum functional ability, minimum of residual pain, decrease of any neurological deficit, minimum of residual deformity and prevention of further disability. The advantages of surgical treatment are the ability to reach optimal reduction, immediate stability, direct decompression of the cord and the exiting roots, the need for only minimum external fixation, the possibility for early mobilisation and clearly decreased nursing problems. There are some reasons why those goals can be reached better by anterior surgery. Usually the bony compression of the cord and roots comes from the front therefore anterior decompression is usually the procedure of choice. Also, the anterior stabilisation with a plate is usually simpler than a posterior instrumentation. It needs to be stressed that closed reduction by traction can align the fractured spine and indirectly decompress the neural structures in about 70%. The necessary weight is 2.5 kg per level of injury. In the upper cervical spine, the odontoid fracture type 2 is an indication for anterior surgery by direct screw fixation. Joint C1/C2 dislocations or fractures or certain odontoid fractures can be treated with a fusion of the C1/C2 joint by anterior transarticular screw fixation. In the lower and middle cervical spine, anterior plating combined with iliac crest or fibular strut graft is the procedure of choice, however, a solid graft can also be replaced by filled solid or expandable vertebral cages. The complication of this surgery is low, when properly executed and anterior surgery may only be contra-indicated in case of a significant lesion or locked joints.

Imaging appearances of Buerger's disease complications in the upper and lower limbs

Thromboangiitis obliterans (Buerger's disease) is a rare, non-atherosclerotic, segmental, inflammatory vasculitis that most commonly involves small and medium-sized arteries, veins and nerves of the extremities and affects tobacco smokers between the ages of 25 and 45 years. The manifestations of Buerger's disease can be extremely variable and, therefore, awareness of the condition is important for both general and musculoskeletal radiologists. This paper presents the radiological appearance of the sequelae of Buerger's disease involving the upper and lower limbs.

Effect of acute hypoxia on maximal oxygen uptake and maximal performance during leg and upper-body exercise in Nordic combined skiers

We examined the effect of normobaric hypoxia (3200 m) on maximal oxygen uptake (VO2max) and maximal power output (Pmax) during leg and upper-body exercise to identify functional and structural correlates of the variability in the decrement of VO2max (DeltaVO2max) and of maximal power output (DeltaPmax). Seven well trained male Nordic combined skiers performed incremental exercise tests to exhaustion on a cycle ergometer (leg exercise) and on a custom built doublepoling ergometer for cross-country skiing (upper-body exercise). Tests were carried out in normoxia (560 m) and normobaric hypoxia (3200 m); biopsies were taken from m. deltoideus. DeltaVO2max was not significantly different between leg (-9.1+/-4.9%) and upper-body exercise (-7.9+/-5.8%). By contrast, Pmax was significantly more reduced during leg exercise (-17.3+/-3.3%) than during upper-body exercise (-9.6+/-6.4%, p<0.05). Correlation analysis did not reveal any significant relationship between leg and upper-body exercise neither for DeltaVO2max nor for DeltaPmax. Furthermore, no relationship was observed between individual DeltaVO2max and DeltaPmax. Analysis of structural data of m. deltoideus revealed a significant correlation between capillary density and DeltaPmax (R=-0.80, p=0.03), as well as between volume density of mitochondria and DeltaPmax (R=-0.75, p=0.05). In conclusion, it seems that VO2max and Pmax are differently affected by hypoxia. The ability to tolerate hypoxia is a characteristic of the individual depending in part on the exercise mode. We present evidence that athletes with a high capillarity and a high muscular oxidative capacity are more sensitive to hypoxia.

Uncrossed cortico-muscular projections in humans are abundant to facial muscles of the upper and lower face, but may differ between sexes

It is a popular concept in clinical neurology that muscles of the lower face receive predominantly crossed cortico-bulbar motor input, whereas muscles of the upper face receive additional ipsilateral, uncrossed input. To test this notion, we used focal transcranial magnetic brain stimulation to quantify crossed and uncrossed cortico-muscular projections to 6 different facial muscles (right and left Mm. frontalis, nasalis, and orbicularis oris) in 36 healthy right-handed volunteers (15 men, 21 women, mean age 25 years). Uncrossed input was present in 78% to 92% of the 6 examined muscles. The mean uncrossed: crossed response amplitude ratios were 0.74/0.65 in right/left frontalis, 0.73/0.59 in nasalis, and 0.54/0.71 in orbicularis oris; ANOVA p>0.05). Judged by the sizes of motor evoked potentials, the cortical representation of the 3 muscles was similar. The amount of uncrossed projections was different between men and women, since men had stronger left-to-left projections and women stronger right-to-right projections. We conclude that the amount of uncrossed pyramidal projections is not different for muscles of the upper from those of the lower face. The clinical observation that frontal muscles are often spared in central facial palsies must, therefore, be explained differently. Moreover, gender specific lateralization phenomena may not only be present for higher level behavioural functions, but may also affect simple systems on a lower level of motor hierarchy.

Overweight children have a greater proportion of fat mass relative to muscle mass in the upper limbs than in the lower limbs: implications for bone strength at the distal forearm

BACKGROUND: The influence of adiposity on upper-limb bone strength has rarely been studied in children, despite the high incidence of forearm fractures in this population. OBJECTIVE: The objective was to compare the influence of muscle and fat tissues on bone strength between the upper and lower limbs in prepubertal children. DESIGN: Bone mineral content, total bone cross-sectional area, cortical bone area (CoA), cortical thickness (CoTh) at the radius and tibia (4% and 66%, respectively), trabecular density (TrD), bone strength index (4% sites), cortical density (CoD), stress-strain index, and muscle and fat areas (66% sites) were measured by using peripheral quantitative computed tomography in 427 children (206 boys) aged 7-10 y. RESULTS: Overweight children (n = 93) had greater values for bone variables (0.3-1.3 SD; P < 0.0001) than did their normal-weight peers, except for CoD 66% and CoTh 4%. The between-group differences were 21-87% greater at the tibia than at the radius. After adjustment for muscle cross-sectional area, TrD 4%, bone mineral content, CoA, and CoTh 66% at the tibia remained greater in overweight children, whereas at the distal radius total bone cross-sectional area and CoTh were smaller in overweight children (P < 0.05). Overweight children had a greater fat-muscle ratio than did normal-weight children, particularly in the forearm (92 +/- 28% compared with 57 +/- 17%). Fat-muscle ratio correlated negatively with all bone variables, except for TrD and CoD, after adjustment for body weight (r = -0.17 to -0.54; P < 0.0001). CONCLUSIONS: Overweight children had stronger bones than did their normal-weight peers, largely because of greater muscle size. However, the overweight children had a high proportion of fat relative to muscle in the forearm, which is associated with reduced bone strength.

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.