First Double-Chooz Results and the Reactor Antineutrino Anomaly

We investigate the possible effects of short-baseline antinu_e disappearance implied by the reactor antineutrino anomaly on the Double-Chooz determination of theta_{13} through the normalization of the initial antineutrino flux with the Bugey-4 measurement. We show that the effects are negligible and the value of theta_{13} obtained by the Double-Chooz collaboration is accurate only if Delta m^2_{41} is larger than about 3 eV^2. For smaller values of Delta m^2_{41} the short-baseline oscillations are not fully averaged at Bugey-4 and the uncertainties due to the reactor antineutrino anomaly can be of the same order of magnitude of the intrinsic Double-Chooz uncertainties.Comment: 4 page

Short-BaseLine Electron Neutrino Disappearance

We analyzed the electron neutrino data of the Gallium radioactive source experiments and the electron antineutrino data of the reactor Bugey and Chooz experiments in terms of neutrino oscillations. We found a hint of a CPT-violating asymmetry of the effective neutrino and antineutrino mixing angles.Comment: 3 pages, proceedings of NOW 2010, 4-11 September 2010, Conca Specchiulla (Otranto, Lecce, Italy

Phenomenology of Light Sterile Neutrinos

After a short review of the current status of standard three-neutrino mixing, we consider its extension with the addition of one or two light sterile neutrinos which can explain the anomalies found in short-baseline neutrino oscillation experiments. We review the results of the global analyses of short-baseline neutrino oscillation data in 3+1, 3+2 and 3+1+1 neutrino mixing schemes

Status of 3+1 Neutrino Mixing

We present an update of our analysis of short-baseline neutrino oscillation data in the framework of 3+1 neutrino mixing taking into account the recent update of MiniBooNE antineutrino data and the recent results of the MINOS search for nu_mu disappearance into sterile neutrinos (the more complicated 3+2 neutrino mixing is not needed since the CP-violating difference between MiniBooNE neutrino and antineutrino data has diminished). The results of our fits of short-baseline neutrino oscillation data including the MiniBooNE low-energy anomaly (now present both in the neutrino and antineutrino data) leads to a strong tension between appearance and disappearance data. Hence, it seems likely that the low-energy anomaly is not due to nu_mu -> nu_e transitions. Excluding the MiniBooNE low-energy anomaly, appearance and disappearance data are marginally compatible. The global analysis has the best-fit point at Delta m^2_{41} about 5.6 eV^2, which is rather large in comparison with cosmological bounds, but there are three regions within 1 sigma at Delta m^2_{41} about 1.6, 1.2, 0.91 eV^2. We also show that the data on the Gallium neutrino anomaly favor values of Delta m^2_{41} larger than about 1 eV^2.Comment: 10 pages. Changed title. Final version to be published in PR

Hint of CPT Violation in Short-Baseline Electron Neutrino Disappearance

We analyzed the electron neutrino data of the Gallium radioactive source experiments and the electron antineutrino data of the reactor Bugey and Chooz experiments in terms of neutrino oscillations allowing for a CPT-violating difference of the squared-masses and mixings of neutrinos and antineutrinos. We found that the discrepancy between the disappearance of electron neutrinos indicated by the data of the Gallium radioactive source experiments and the limits on the disappearance of electron antineutrinos given by the data of reactor experiments reveal a positive CPT-violating asymmetry of the effective neutrino and antineutrino mixing angles (with a statistical significance of about 3.5 sigma), whereas the squared-mass asymmetry is practically not bounded.Comment: 4 page

Unlocking Blocked Communicating Processes

We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithm that statically detects potential locks and propose refactoring procedures that disentangle detected locks. Our development is cast within a simple setting of a finite linear CCS variant \^a although it suffices to illustrate the main concepts, we also discuss how our work extends to other language extensions.Comment: In Proceedings WWV 2015, arXiv:1508.0338

Short-Baseline Electron Neutrino Disappearance, Tritium Beta Decay and Neutrinoless Double-Beta Decay

We consider the interpretation of the MiniBooNE low-energy anomaly and the Gallium radioactive source experiments anomaly in terms of short-baseline electron neutrino disappearance in the framework of 3+1 four-neutrino mixing schemes. The separate fits of MiniBooNE and Gallium data are highly compatible, with close best-fit values of the effective oscillation parameters Delta m^2 and sin^2 2 theta. The combined fit gives Delta m^2 >~ 0.1 eV^2 and 0.11 < sin^2 2 theta < 0.48 at 2 sigma. We consider also the data of the Bugey and Chooz reactor antineutrino oscillation experiments and the limits on the effective electron antineutrino mass in beta-decay obtained in the Mainz and Troitsk Tritium experiments. The fit of the data of these experiments limits the value of sin^2 2 theta below 0.10 at 2 sigma. Considering the tension between the neutrino MiniBooNE and Gallium data and the antineutrino reactor and Tritium data as a statistical fluctuation, we perform a combined fit which gives Delta m^2 \simeq 2 eV and 0.01 < sin^2 2 theta < 0.13 at 2 sigma. Assuming a hierarchy of masses m_1, m_2, m_3 << m_4, the predicted contributions of m_4 to the effective neutrino masses in beta-decay and neutrinoless double-beta-decay are, respectively, between about 0.06 and 0.49 and between about 0.003 and 0.07 eV at 2 sigma. We also consider the possibility of reconciling the tension between the neutrino MiniBooNE and Gallium data and the antineutrino reactor and Tritium data with different mixings in the neutrino and antineutrino sectors. We find a 2.6 sigma indication of a mixing angle asymmetry.Comment: 14 pages; final version published in Phys.Rev.D82:053005,201

Limits on nu_e and anti-nu_e disappearance from Gallium and reactor experiments

The deficit observed in the Gallium radioactive source experiments is interpreted as a possible indication of the disappearance of electron neutrinos. In the effective framework of two-neutrino mixing we obtain $\sin^{2}2\vartheta \gtrsim 0.03$ and $\Delta{m}^{2} \gtrsim 0.1 \text{eV}^{2}$. The compatibility of this result with the data of the Bugey and Chooz reactor short-baseline antineutrino disappearance experiments is studied. It is found that the Bugey data present a hint of neutrino oscillations with $0.02 \lesssim \sin^{2}2\vartheta \lesssim 0.08$ and $\Delta{m}^{2} \approx 1.8 \text{eV}^{2}$, which is compatible with the Gallium allowed region of the mixing parameters. This hint persists in the combined analyses of Bugey and Chooz data, of Gallium and Bugey data, and of Gallium, Bugey, and Chooz data.Comment: 21 pages. Final version to be published in Phys. Rev.

A type checking algorithm for qualified session types

We present a type checking algorithm for establishing a session-based discipline in the pi calculus of Milner, Parrow and Walker. Our session types are qualified as linear or unrestricted. Linearly typed communication channels are guaranteed to occur in exactly one thread, possibly multiple times; afterwards they evolve as unrestricted channels. Session protocols are described by a type constructor that denotes the two ends of one and the same communication channel. We ensure the soundness of the algorithm by showing that processes consuming all linear resources are accepted by a type system preserving typings during the computation and that type checking is consistent w.r.t. structural congruence.Comment: In Proceedings WWV 2011, arXiv:1108.208