Testing neutrino properties at the Neutrino Factory Astroparticle seminar INFN Torino December 3, 2009 Walter Winter Universität Würzburg TexPoint fonts.

Slides:



Advertisements
Similar presentations
Precision Neutrino Oscillation Measurements & the Neutrino Factory Scoping Study for a Future Accelerator Neutrino Complex – Discussion Meeting Steve Geer,
Advertisements

TeV scale see-saws from higher than d=5 effective operators Neutrino masses and Lepton flavor violation at the LHC Würzburg, Germany November 25, 2009.
Recent Discoveries in Neutrino Physics: Understanding Neutrino Oscillations 2-3 neutrino detectors with variable baseline 1500 ft nuclear reactor Determining.
Near detectors and systematics IDS-NF plenary meeting at TIFR, Mumbai October 13, 2009 Walter Winter Universität Würzburg TexPoint fonts used in EMF: AAAAA.
Non-Standard Neutrino Interactions Enrique Fernández-Martínez MPI für Physik Munich.
CP violation searches with Neutrino Factories and Beta Beams Neutrinos in Particle, in Nuclear and in Astrophysics Trento, Italy November 20, 2008 Walter.
Bounds on Neutrino Non-Standard Interactions Enrique Fernández-Martínez MPI für Physik Munich Based on collaborations with: S. Antusch, J. Baumann, C.
3+1 sterile Jacobo López–Pavón IFT UAM/CSIC NuFact IIT, Chicago, July
Phenomenology of  13  13 half-day meeting Oxford, UK September 24, 2007 Walter Winter Universität Würzburg.
How Will We See Leptonic CP Violation? D. Casper University of California, Irvine.
Beyond T2K and NOvA (… and reactor experiments) NuFact 06 UC Irvine, USA August 24, 2006 Walter Winter Universität Würzburg, Germany.
CP violation and mass hierarchy searches Neutrinos in particle physics and astrophysics (lecture) June 2009 Walter Winter Universität Würzburg TexPoint.
Phenomenology of future LBL experiments … and the context with Euro WP6 IDS-NF + Euro plenary meeting at CERN March 25, 2009 Walter Winter Universität.
Neutrino phenomenology Lecture 2: Precision physics with neutrinos Winter school Schladming 2010 “Masses and constants” Walter Winter Universität.
Neutrino oscillation physics with superbeams and neutrino factories Nu HoRIzons workshop HRI, India February 13-15, 2008 Walter Winter Universität Würzburg.
Toyota National College of Technology A.Takamura Collaboration with K.Kimura and T.Yoshikawa GLoBES 2007 Measuring the Leptonic CP Phase in Oscillations.
Neutrino oscillations: Perspective of long-baseline experiments 522. Wilhelm and Else Heraeus-Seminar: Exploring the neutrino sky and fundamental particle.
TeVPA 2012 TIFR Mumbai, India Dec 10-14, 2012 Walter Winter Universität Würzburg Neutrino physics with IceCube DeepCore-PINGU … and comparison with alternatives.
Summary of WG1 – Phenomenological issues Osamu Yasuda (TMU)
Neutrino physics Lecture 2: Theory of neutrino mass, and physics BSM? Herbstschule für Hochenergiephysik Maria Laach Walter Winter Universität.
Resolving neutrino parameter degeneracy 3rd International Workshop on a Far Detector in Korea for the J-PARC Neutrino Beam Sep. 30 and Oct , Univ.
Osamu Yasuda Tokyo Metropolitan University Model independent analysis of New Physics interactions and implications for long baseline experiments INTERNATIONAL.
Physics with a very long neutrino factory baseline IDS Meeting CERN March 30, 2007 Walter Winter Universität Würzburg.
New physics searches with near detectors at the Neutrino Factory MINSIS workshop UAM Madrid December 10-11, 2009 Walter Winter Universität Würzburg TexPoint.
A neutrino beam to IceCube/PINGU? (PINGU = “Precision IceCube Next-Generation Upgrade“) NPAC (Nuclear/Particle/Astro/Cosmo) Forum UW-Madison, USA May 15,
Sterile Neutrino Oscillations and CP-Violation Implications for MiniBooNE NuFact’07 Okayama, Japan Georgia Karagiorgi, Columbia University August 10, 2007.
Dec. 13, 2001Yoshihisa OBAYASHI, Neutrino and Anti-Neutrino Cross Sections and CP Phase Measurement Yoshihisa OBAYASHI (KEK-IPNS) NuInt01,
CP violation and mass hierarchy searches with Neutrino Factories and Beta Beams NuGoa – Aspects of Neutrinos Goa, India April 10, 2009 Walter Winter Universität.
Physics at the VLENF (very low energy neutrino factory) IDS-NF plenary meeting October 19-21, 2011 Arlington, VA, USA Walter Winter Universität Würzburg.
Beta beam scenarios … for neutrino oscillation physics Beta beam meeting Aachen, Germany October 31-November 1, 2007 Walter Winter Universität Würzburg.
Geographical issues and physics applications of “very long” neutrino factory baselines NuFact 05 June 23, 2005 Walter Winter Institute for Advanced Study,
Neutrino Factory and Beta Beam Experiment NO-VE 2006 Venice, Italy February 8, 2006 Walter Winter Institute for Advanced Study, Princeton.
Impact of large  13 on long- baseline measurements at PINGU PINGU Workshop Erlangen university May 5, 2012 Walter Winter Universität Würzburg TexPoint.
CP violation in the neutrino sector Lecture 3: Matter effects in neutrino oscillations, extrinsic CP violation Walter Winter Nikhef, Amsterdam,
If  13 is large, then what ? Hisakazu Minakata Tokyo Metropolitan University.
Neutrino Factories Andrea Donini Instituto de Física Teórica/Instituto de Física Corpuscular CSIC European Strategy for Neutrino Oscillation Physics -
Neutrino factory physics reach … and impact of detector performance 2 nd ISS Meeting KEK, Tsukuba, Japan January 24, 2006 Walter Winter Institute for Advanced.
Optimization of a neutrino factory oscillation experiment 3 rd ISS Meeting Rutherford Appleton Laboratory, UK April 25-27, 2006 Walter Winter Institute.
Physics and Performance Evaluation Group NuFact 07 Okayama University, Japan August 6, 2007 Walter Winter Universität Würzburg for the executive committee:
Future precision neutrino experiments and their theoretical implications Matter to the deepest Ustron, Poland September 6, 2007 Walter Winter Universität.
Neutrino mass and DM direct detection Daijiro Suematsu (Kanazawa Univ.) Erice Sept., 2013 Based on the collaboration with S.Kashiwase PRD86 (2012)
Contents of IDR: PPEG IDS-NF plenary meeting RAL, UK September 22-25, 2010 Walter Winter Universität Würzburg TexPoint fonts used in EMF: AAAAA A A A.
Measuring Earth Matter Density and Testing MSW Hisakazu Minakata Tokyo Metropolitan University.
Neutrino mass models at the TeV scale, naturally BENE 2012 ICTP Trieste Sept , 2012 Walter Winter Universität Würzburg TexPoint fonts used in EMF:
Long baseline neutrino oscillations: Theoretical aspects NOW 2008 Conca Specchiulla, Italy September 9, 2008 Walter Winter Universität Würzburg TexPoint.
Future precision neutrino experiments and their theoretical Madrid, Spain November 22, 2007 Walter Winter Universität Würzburg.
NSI versus NU at the Neutrino Factory Euronu meeting Strasbourg June 2-4, 2010 Walter Winter Universität Würzburg TexPoint fonts used in EMF: AAAAA A A.
Optimizing the green-field beta beam NuFact 08 Valencia, Spain June 30-July 5, 2008 Walter Winter Universität Würzburg.
Optimization of a neutrino factory for non-standard neutrino interactions IDS plenary meeting RAL, United Kingdom January 16-17, 2008 Walter Winter Universität.
The quest for  13 : Parameter space and performance indicators Proton Driver General Meeting At Fermilab April 27, 2005 Walter Winter Institute for Advanced.
Thoughts on the optimization of the VLENF VLENF meeting at Fermilab, USA September 1, 2011 Walter Winter Universität Würzburg TexPoint fonts used in EMF:
Near detectors for new physics searches IDS-NF plenary meeting at TIFR, Mumbai October 12, 2009 Walter Winter Universität Würzburg TexPoint fonts used.
PPEG plan for development of physics case for RDR IDS-NF plenary meeting October 19-21, 2011 Arlington, VA, USA Walter Winter Universität Würzburg TexPoint.
Optimization of a neutrino factory Discovery machine versus precision instrument NuFact 07 Okayama University, Japan August 6, 2007 Walter Winter Universität.
Sterile neutrinos at the Neutrino Factory IDS-NF plenary meeting October 19-21, 2011 Arlington, VA, USA Walter Winter Universität Würzburg TexPoint fonts.
Future neutrino oscillation experiments J.J. Gómez-Cadenas U. Valencia/KEK Original results presented in this talk based on work done in collaboration.
Osamu Yasuda Tokyo Metropolitan University Summary of Phenomenology Subgroup International scoping study of a future Neutrino Factory and super-beam facility.
Systematic model building... based on QLC assumptions NuFact 07 Okayama University, Japan August 8, 2007 Walter Winter Universität Würzburg.
1 Summary of the session: Interplay between neutrino masses and other phenomenological signatures Tommy Ohlsson Department of Theoretical Physics, Royal.
Optimization of a neutrino factory for large  13 Golden 07 IFIC, Valencia June 28, 2007 Walter Winter Universität Würzburg.
Systematics at the Neutrino Factory … and the global context NuInt 2012 Rio de Janeiro, Brazil Oct , 2012 Walter Winter Universität Würzburg TexPoint.
Near Detector Tasks EuroNu Meeting, CERN 26 March 2009 Paul Soler.
Double beta decay and Leptogenesis International workshop on double beta decay searches Oct SNU Sin Kyu Kang (Seoul National University of.
1-2 Mass Degeneration in the Leptonic Sector Hiroyuki ISHIDA (Tohoku University) Collaboration with : Takeshi ARAKI (MISC) Ref ; T. Araki and H.I. arXiv.
A model for large non-standard interactions of neutrinos leading to the LMA-dark solution Yasaman Farzan IPM, Tehran.
NuGoa – Aspects of Neutrinos Goa, India April 10, Walter Winter
September 24, 2007 Walter Winter
Parameter Degeneracy in Neutrino Oscillations (and how to solve it?)
T2KK Sensitivity of Resolving q23 Octant Degeneracy
Double beta decay and Leptogenesis
Presentation transcript:

Testing neutrino properties at the Neutrino Factory Astroparticle seminar INFN Torino December 3, 2009 Walter Winter Universität Würzburg TexPoint fonts used in EMF: AAAAA A A A

2 Contents  The most prominent “neutrino” property: leptonic CP violation (CPV)  CPV Phenomenology  Neutrino factory experiment  Near detectors at the Neutrino Factory  New physics searches with near detectors  Summary

CPV: Motivation from theory

4 Where does CPV enter?  Example: Type I seesaw (heavy SM singlets N c ) Charged lepton mass terms Eff. neutrino mass terms Block-diag. CC Primary source of CPV (depends BSM theory) Effective source of CPV (only sectorial origin relevant) Observable CPV (completely model-indep.) Could also be type-II, III seesaw, radiative generation of neutrino mass, etc.

5  From the measurement point of view: It makes sense to discuss only observable CPV (because anything else is model-dependent!)  At high E (type I-seesaw): 9 (M R )+18 (M D )+18 (M l ) = 45 parameters  At low E: 6 (masses) + 3 (mixing angles) + 3 (phases) = 12 parameters Connection to measurement There is no specific connection between low- and high-E CPV! But: that‘s not true for special (restrictive) assumptions! CPV in 0  decay LBL accessible CPV:  If  U PMNS real  CP conserved Extremely difficult! (Pascoli, Petcov, Rodejohann, hep-ph/ ) Requires  13 > 0

6 Why is CPV interesting?  Leptogenesis: CPV from N c decays  If special assumptions (such as hier. M R, NH light neutrinos, …) it is possible that  CP is the only source of CPV for leptogensis!  If CPV discovery: It is possible to write down a model, in which the baryon asymmetry comes from  CP only (N c ) i ~ M D (in basis where M l and M R diagonal) (Pascoli, Petcov, Riotto, hep-ph/ ) Different curves: different assumptions for  13, …

7 How well do we need to measure?  We need generic arguments Example: Parameter space scan for eff. 3x3 case (QLC-type assumptions, arbitrary phases, arbitrary M l ) The QLC-type assumptions lead to deviations O(  C ) ~ 13   Can also be seen in sum rules for certain assumptions, such as (  : model parameter)  This talk: Want Cabibbo-angle order precision for  CP ! (Niehage, Winter, arXiv: ) (arXiv: )

CPV phenomenology

9 Terminology  Any value of  CP (except for 0 and  ) violates CP  Sensitivity to CPV: Exclude CP-conserving solutions 0 and  for any choice of the other oscillation parameters in their allowed ranges

10 Measurement of CPV (Cervera et al. 2000; Freund, Huber, Lindner, 2000; Huber, Winter, 2003; Akhmedov et al, 2004)  Antineutrinos:  Magic baseline:  Silver:  Platinum, Superb.:

11 Degeneracies  CP asymmetry (vacuum) suggests the use of neutrinos and antineutrinos Burguet-Castell et al, 2001)  One discrete deg. remains in (  13,  )-plane (Burguet-Castell et al, 2001)  Additional degeneracies: (Barger, Marfatia, Whisnant, 2001)  Sign-degeneracy (Minakata, Nunokawa, 2001)  Octant degeneracy (Fogli, Lisi, 1996) Best-fit Antineutrinos Iso-probability curves Neutrinos

12 Intrinsic vs. extrinsic CPV  The dilemma: Strong matter effects (high E, long L), but Earth matter violates CP  Intrinsic CPV (  CP ) has to be disentangled from extrinsic CPV (from matter effects)  Example:  -transit Fake sign-solution crosses CP conserving solution  Typical ways out:  T-inverted channel? (e.g. beta beam+superbeam, platinum channel at NF, NF+SB)  Second (magic) baseline (Huber, Lindner, Winter, hep-ph/ ) NuFact, L=3000 km Fit True  CP (violates CP maximally) Degeneracy above 2  (excluded) True Critical range

13 The magic baseline

14 CPV discovery reach … in (true) sin 2 2  13 and  CP Sensitive region as a function of true  13 and  CP  CP values now stacked for each  13 Read: If sin 2 2  13 =10 -3, we expect a discovery for 80% of all values of  CP No CPV discovery if  CP too close to 0 or  No CPV discovery for all values of  CP 33 ~ Cabibbo-angle precision at 2  BENCHMARK! Best performance close to max. CPV (  CP =  /2 or 3  /2)

15 Next generation reach  Includes Double Chooz, Daya Bay, T2K, NOvA (Huber, Lindner, Schwetz, Winter, a rXiv: ) 90% CL

Beyond the next generation Example: Neutrino factory

17 Neutrino factory: International design study IDS-NF:  Initiative from ~ to present a design report, schedule, cost estimate, risk assessment for a neutrino factory  In Europe: Close connection to „Euro us“ proposal within the FP 07  In the US: „Muon collider task force“ ISS (Geer, 1997; de Rujula, Gavela, Hernandez, 1998; Cervera et al, 2000) Signal prop. sin 2 2  13 Contamination Muons decay in straight sections of a storage ring

18 IDS-NF baseline setup 1.0  Two decay rings  E  =25 GeV  5x10 20 useful muon decays per baseline (both polarities!)  Two baselines: ~ km  Two MIND, 50kt each  Currently: MECC at shorter baseline (

19 NF physics potential  Excellent  13, MH, CPV discovery reaches (IDS-NF, 2007)  Robust optimum for ~ km  Optimization even robust under non-standard physics (dashed curves) (Kopp, Ota, Winter, arXiv: ; see also: Gandhi, Winter, 2007)

20 Steve Geer‘s vision

21 Neutrino factory in stages?  Phase I: Five years low-E NuFact,  Phase II: 5 yr, energy upgrade 25 GeV,  Phase III: 5 yr, second baseline km (Tang, Winter, arXiv: )  Example:  13 not found

Near detectors at the Neutrino Factory

23 Near detectors for standard oscillation physics  Need two near detectors, because  + /  - circulate in different directions  For cross section measurements, no CID required, only excellent flavor-ID  Possible locations: (Tang, Winter, arXiv: )

24 Requirements for standard oscillation physics (summary)  Muon neutrino+antineutrino inclusive CC event rates measured (other flavors not needed in far detectors for IDS-NF baseline)  Charge identification to understand backgrounds (but no intrinsic beam contamination), no e,   At least same characteristics/quality (energy resolution etc.) as far detectors (a silicon vertex detector or ECC or liquid argon may do much better …)  Location and size not really relevant, because extremely large statistics (maybe size relevant for beam monitoring, background extrapolation)  The specifications of the near detectors may actually be driven by new physics searches!

25 Beam+straight geometry  Near detectors described in GLoBES by  (E)=A eff /A det x on-axis flux and  For  (E) ~ 1: Far detector limit  Example: OPERA- sized detector at d=1 km:  L > ~1 km: GLoBES std. description valid (with L eff ) (Tang, Winter, arXiv: )

New physics searches with near detectors

27  Effective operator picture if mediators integrated out: Describes additions to the SM in a gauge-inv. way!  Example: TeV-scale new physics d=6: ~ (100 GeV/1 TeV) 2 ~ compared to the SM d=8: ~ (100 GeV/1 TeV) 4 ~ compared to the SM  Interesting dimension six operators Fermion-mediated  Non-unitarity (NU) Scalar or vector mediated  Non-standard int. (NSI) New physics from heavy mediators mass d=6, 8, 10,...: NSI, NU

28 Example 1: Non-standard interactions  Typically described by effective four fermion interactions (here with leptons)  May lead to matter NSI (for  =  =e)  May also lead to source/detector NSI (e.g. NuFact:   s for  =  =e,  =  ) These source/det.NSI are process-dep.!

29 Lepton flavor violation … and the story of SU(2) gauge invariance  Strong bounds ee e  NSI (FCNC) ee e  CLFV e  4 -NSI (FCNC) Ex.: e e  Affects neutrino oscillations in matter (or neutrino production)  Affects environments with high densities (supernovae) BUT: These phenomena are connected by SU(2) gauge invariance  Difficult to construct large leptonic matter NSI with d=6 operators (Bergmann, Grossman, Pierce, hep-ph/ ; Antusch, Baumann, Fernandez-Martinez, arXiv: ; Gavela, Hernandez, Ota, Winter,arXiv: )  Need d=8 effective operators, …!  Finding a model with large NSI is not trivial!

30 Systematic analysis for d=8  Decompose all d=8 leptonic operators systematically (tree level)  The bounds on individual operators from non- unitarity, EWPD, lepton universality are very strong! (Antusch, Baumann, Fernandez-Martinez, arXiv: )  Need at least two mediator fields plus a number of cancellation conditions (Gavela, Hernandez, Ota, Winter, arXiv: ) Basis (Berezhiani, Rossi, 2001) Combine different basis elements C 1 LEH, C 3 LEH Cancel d=8 CLFV But these mediators cause d=6 effects  Additional cancellation condition (Buchmüller/Wyler – basis) Avoid CLFV at d=8: C 1 LEH =C 3 LEH Feynman diagrams

31 On current NSI bounds (Source NSI for NuFact)  The bounds for the d=6 (e.g. scalar-mediated) operators are strong (CLFV, Lept. univ., etc.) (Antusch, Baumann, Fernandez-Martinez, arXiv: )  The model-independent bounds are much weaker (Biggio, Blennow, Fernandez-Martinez, arXiv: )  However: note that here the NSI have to come from d=8 (or loop d=6?) operators   ~ (v/  ) 4 ~ natural?  „NSI hierarchy problem“?

32 Source NSI with  at a NuFact  Probably most interesting for near detectors:  e  s,   s (no intrinsic beam BG)  Near detectors measure zero-distance effect ~ |  s | 2  Helps to resolve correlations (Tang, Winter, arXiv: ) ND5: OPERA-like ND at d=1 km, 90% CL This correlation is always present if: - NSI from d=6 operators - No CLFV (Gavela et al, arXiv: ; see also Schwetz, Ohlsson, Zhang, arXiv: for a particular model)

33 Other types of source NSI  In particular models, also other source NSI (without  detection) are interesting  Example: (incoh.)  e  s from addl. Higgs triplet as seesaw (II) mediator 1 kt, 90% CL, perfect CID (Malinsky, Ohlsson, Zhang, arXiv: ) Requires CID! Geometric effects? Effects of std. oscillations Systematics (CID) limitation? CID important!

34 Example 2: Non-unitarity of mixing matrix  Integrating out heavy fermion fields, one obtains neutrino mass and the d=6 operator (here: fermion singlets)  Re-diagonalizing and re-normalizing the kinetic terms of the neutrinos, one has  This can be described by an effective (non-unitary) mixing matrix  with N=(1+  ) U  Similar effect to NSI, but source, detector, and matter NSI are correlated in a particular, fundamental way (i.e., process- independent) also: „MUV“

35 Impact of near detector  Example: (Antusch, Blennow, Fernandez-Martinez, Lopez-Pavon, arXiv: )   near detector important to detect zero-distance effect  Magnetization not mandatory, size matters Curves: 10kt, 1 kt, 100 t, no ND

36 NSI versus NU  For a neutrino factory, leptonic NSI and NU may have very similar correlations between source and matter effects, e.g. NU (generic, any exp.) NSI (d=6, no CLFV, NF)  Difficult to disentangle with NuFact alone  SB? (Meloni, Ohlsson, Winter, Zhang, to appear) NUNSI

37 Example 3: Search for sterile neutrinos  3+n schemes of neutrinos include (light) sterile states  The mixing with the active states must be small  The effects on different oscillation channels depend on the model  test all possible two-flavor short baseline (SBL) cases, which are standard oscillation-free  Example: e disappearance Some fits indicate an inconsistency between the neutrino and antineutrino data (see e.g. Giunti, Laveder, arXiv: )  NB: Averaging over decay straight not possible! The decays from different sections contribute differently!

38 SBL e disappearance  Averaging over straight important (dashed versus solid curves)  Location matters: Depends on  m 31 2  Magnetic field if interesting as well (Giunti, Laveder, Winter, arXiv: ) 90% CL, 2 d.o.f., No systematics, m=200 kg Two baseline setup? d=50 m d~2 km (as long as possible)

39 SBL systematics  Systematics similar to reactor experiments: Use two detectors to cancel X-Sec errors (Giunti, Laveder, Winter, arXiv: ) 10% shape error arXiv: Also possible with only two ND (if CPT-inv. assumed)

40 CPTV discovery reaches (3  ) (Giunti, Laveder, Winter, arXiv: ) Dashed curves: without averaging over straight Requires four NDs!

41 Summary of (new) physics requirements for near detectors  Number of sites At least two (neutrinos and antineutrinos), for some applications four (systematics cancellation)  Exact baselines Not relevant for source NSI, NU, important for oscillatory effects (sterile neutrinos etc.)  Flavors All flavors should be measured  Charge identification Is needed for some applications (such as particular source NSI); the sensitivity is limited by the CID capabilities  Energy resolution Probably of secondary importance (as long as as good as FD); one reason: extension of straight leads already to averaging  Detector size In principle, as large as possible. In practice, limitations by beam geometry or systematics.  Detector geometry As long (and cylindrical) as possible (active volume) A eff < A det A eff ~ A det

42 What we need to understand  How long can the baseline be for geometric reasons (maybe: use „alternative locations“)?  What is the impact of systematics (such as X-Sec errors) on new physics parameters  What other kind of potentially interesting physics with oscillatory SBL behavior is there?  How complementary or competitive is a  near detector to a superbeam version, see e.g. Workshop next week in Madrid!

43 Summary  The Dirac phase  CP is probably the only realistically observable CP phase in the lepton sector  Maybe the only observable CPV evidence for leptogenesis  This and  1,  2 : the only completely model-inpendent parameterization of CPV  A neutrino factory could measure that even for extremely small  13 with „Cabbibo-angle precision“  Near detectors at a neutrino factory are very important for new physics searches, such as  Non-unitarity (heavy neutral fermions)  Non-standard interactions (related to CLFV)  (Light) sterile neutrinos  Requirements most likely driven by new physics searches

BACKUP

45 ~ current bound CPV from non-standard interactions  Example: non-standard interactions (NSI) in matter from effective four-fermion interactions:  Discovery potential for NSI-CPV in neutrino propagation at the NF Even if there is no CPV in standard oscillations, we may find CPV! But what are the requirements for a model to predict such large NSI? (arXiv: ) 33 IDS-NF baseline 1.0

46 CPV discovery for large NSI  If both  13 and |  e  m | large, the change to discover any CPV will be even larger: For > 95% of arbitrary choices of the phases  NB: NSI-CPV can also affect the production/ detection of neutrinos, e.g. in MUV (Gonzalez-Garcia et al, hep-ph/ ; Fernandez-Martinez et al, hep-ph/ ; Altarelli, Meloni, ; Antusch et al, ) (arXiv: ) IDS-NF baseline 1.0