The flavor of neutrinos in muon decays at a neutrino factory and the LSND puzzle

The accurate prediction of the neutrino beam produced in muon decays and the absence of opposite helicity contamination for a particular neutrino flavor make a future neutrino factory the ideal place to look for the lepton flavor violating (LFV) decays of the kind \mu^+\ra e^+\nuebar\numu and lepton number violating (LNV) processes like \mu^-\ra e^-\nue\numu. Excellent sensitivities can be achieved using a detector capable of muon and/or electron identification with charge discrimination. This would allow to set experimental limits that improve current ones by more than two orders of magnitude and test the hypothesis that the LSND excess is due to such anomalous decays, rather than neutrino flavor oscillations in vacuum.Comment: 19 pages, 4 figure

Computational probabilistic quantification of pro-arrhythmic risk from scar and left-to-right heterogeneity in the human ventricles

Both scar and left-to-right ventricular (LV/RV) differences in repolarization properties have been implicated as risk factors for lethal arrhythmias. As a possible mechanism for the initiation of re-entry, a recent study has indicated that LV/RV heterogeneities in action potential duration (APD) adaptation can cause a transient increase in APD dispersion following rate acceleration, promoting unidirectional block of conduction at the LV/RV junction. In the presence of an ischemic region and ectopic stimulation, a pathological dispersion in repolarization has been suggested to increase the risk of electrical re-entry. However, the exact location and timing of the ectopic activation play a crucial role in initiation of re-entry, and certain combinations may lead to re-entry even under normal LV/RV dispersion in repolarization. This suggests that the phenomenon needs to be investigated in a quantitative way. In this study we employ a computationally efficient, phenomenological model in order to investigate the proarrhythmic properties of a range of combinations of position and timing of an ectopic activation. This allows us to probabilistically study how increasing interventricular dispersion of repolarization increases arrhythmic risk. Results indicate that a larger LV/RV dispersion in repolarization allows ectopic beats to initiate re-entry during a significantly larger time window and from a greater number of locations compared to the case of smaller LV/RV dispersion

On the energy and baseline optimization to study effects related to the δ-phase (CP-/T-violation) in neutrino oscillations at a neutrino factory

In this paper we discuss the detection of CP- and T-violation effects in the framework of a neutrino factory. We introduce three quantities, which are good discriminants for a non-vanishing complex phase (δ) in the 3 × 3 neutrino mixing matrix: Δδ, ΔCP and ΔT. We find that these three discriminants (in vacuum) all scale with L/Ev, where L is the baseline and Ev the neutrino energy. Matter effects modify the scaling, but these effects are large enough to spoil the sensitivity only for baselines larger than 5000 km. So, in the hypothesis of constant neutrino factory power (i.e., number of muons inversely proportional to muon energy), the sensitivity on the δ-phase is independent of the baseline chosen. Specially interesting is the direct measurement of T-violation from the "wrong-sign" electron channel (i.e., the ΔT discriminant), which involves a comparison of the ve → vμ and vμ → ve oscillation rates. However, the vμ → ve measurement requires magnetic discrimination of the electron charge, experimentally very challenging in a neutrino detector. Since the direction of the electron curvature has to be estimated before the start of the electromagnetic shower, low-energy neutrino beams and hence short baselines, are preferred. In this paper we show, as an example, the exclusion regions in the Δm212-δ plane using the ΔCP and ΔT discriminants for two concrete cases keeping the same L/Ev ratio (730 km/7.5 GeV and 2900 km/30 GeV). We obtain a similar excluded region provided that the electron detection efficiency is ∼20% and the charge confusion 0.1%. The Δm212 compatible with the LMA solar data can be tested with a flux of 5 × 1021 muons. We compare these results with the fit of the visible energy distributions. © 2002 Elsevier Science B.V. All rights reserved

On the energy and baseline optimization to study effects related to the δ\delta-phase (CP-/T-violation) in neutrino oscillations at a Neutrino Factory

In this paper we discuss the detection of CP and T-violation effects in the framework of a neutrino factory. We introduce three quantities, which are good discriminants for a non vanishing complex phase ($\delta$) in the $3\times 3$ neutrino mixing matrix. We find that these three discriminants (in vacuum) all scale with $L/E_{\nu}$. Matter effects modify the scaling, but these effects are large enough to spoil the sensitivity only for baselines larger than 5000 km. So, in the hypothesis of constant neutrino factory power, the sensitivity on the $\delta$-phase is independent of the baseline chosen. Specially interesting is the direct measurement of T-violation from the ``wrong-sign'' electron channel, which involves a comparison of the \nue\ra\numu and \numu\ra\nue oscillation rates. However, the \numu\ra\nue measurement requires magnetic discrimination of the electron charge, experimentally very challenging in a neutrino detector: low-energy neutrino beams and hence short baselines, are preferred. In this paper we show the exclusion regions in the $\Delta m^2_{12} - \delta$ plane for two concrete cases. We obtain a similar excluded region provided that the electron detection efficiency is $\sim$20% and the charge confusion 0.1%. The $\Delta m^2_{12}$ compatible with the LMA solar data can be tested with a flux of 5$\times 10^{21}$ muons. We compare these results with the fit of the visible energy distributions.Comment: 58 pages, 24 figure

A generic framework for context-sensitive analysis of modular programs

Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in order to validate/debug the program and/or to specialize the program obtaining important improvements. Unfortunately, context-sensitive analysis of modular programs poses important theoretical and practical problems. One solution, used in several proposals, is to resort to context-free analysis. Other proposals do address context-sensitive analysis, but are only applicable when the description domain used satisfies rather restrictive properties. In this paper, we argüe that a general framework for context-sensitive analysis of modular programs, Le., one that allows using all the domains which have proved useful in practice in the non-modular setting, is indeed feasible and very useful. Driven by our experience in the design and implementation of analysis and specialization techniques in the context of CiaoPP, the Ciao system preprocessor, in this paper we discuss a number of design goals for context-sensitive analysis of modular programs as well as the problems which arise in trying to meet these goals. We also provide a high-level description of a framework for analysis of modular programs which does substantially meet these objectives. This framework is generic in that it can be instantiated in different ways in order to adapt to different contexts. Finally, the behavior of the different instantiations w.r.t. the design goals that motivate our work is also discussed