\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{neutrino}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{physics}{}\paragraph*{{Physics}}\label{physics}

[[!include physicscontents]]

\hypertarget{fields_and_quanta}{}\paragraph*{{Fields and quanta}}\label{fields_and_quanta}

[[!include fields and quanta - table]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{neutrino_masses}{Neutrino masses}\dotfill \pageref*{neutrino_masses} \linebreak
\noindent\hyperlink{history_and_prediction}{History and prediction}\dotfill \pageref*{history_and_prediction} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

The \emph{neutrino} is one of the fundamental [[particles]]/[[matter]] [[field (physics)|fields]] in the [[standard model of particle physics]].

\hypertarget{neutrino_masses}{}\subsection*{{Neutrino masses}}\label{neutrino_masses}

On neutrino [[masses]] and the [[standard model of particle physics]] as an [[effective field theory]]:

\begin{quote}%
I also noted at the same time that interactions between a pair of lepton doublets and a pair of scalar doublets can generate a neutrino mass, which is suppressed only by a factor $M^{-1}$, and that therefore with a reasonable estimate of $M$ could produce observable neutrino oscillations. The subsequent confirmation of neutrino oscillations lends support to the view of the Standard Model as an effective field theory, with M somewhere in the neighborhood of $10^{16} GeV$. (\hyperlink{Weinberg09}{Weinberg 09, p. 15})


\end{quote}
In fact this scale is about the [[GUT scale]] for [[grand unified theories]], see for instance (\hyperlink{Mohapatra06}{Mohapatra 06}) for more on this relation, and see at \emph{[[seesaw mechanism]]}.

Detailed matching of parameters of non-supersymmetric $Spin(10)$-GUT to [[neutrino]] [[masses]] is discussed in \hyperlink{OhlssonPernow19}{Ohlsson-Pernow 19}

\hypertarget{history_and_prediction}{}\subsection*{{History and prediction}}\label{history_and_prediction}

The history of the prediction of the neutrino is interesting and may (or may not) contain some general lessons for theoretical physics/[[mathematical physics]].

Before 1930 [[experiments]] detected an apparent violation of the [[conservation law]] for [[energy]] in processes of [[beta decay]].

Back then [[Niels Bohr]] proposed that, therefore, apparently the fundamental [[conservation laws]] in [[physics]] may be violated and possibly only hold [[probability theory|statistically]] over many quantum mechanical processes, but possibly not microscopically.

Opposed to this was the suggestion by [[Wolfgang Pauli]], who insisted that the [[conservation laws]] ought to hold true, and that therefore there must be an undetected new [[fundamental particle]] created in [[beta decay]], which carries the apparently missing [[energy]].

Pauli with his argument and suggestion turned out to be right. The missing particle -- called the \emph{neutrino} by [[Enrico Fermi]] in 1933 -- was finally directly detected in 1956, hence 26 years after its proposal. (Compare maybe to the [[Higgs boson]] for which detection came 50 years after prediction.)

Notice that back then, predicting unobserved and possibly practically unobservable [[fundamental particles]] was not taken as lightly as in some circles it is these days (e.g. in [[supersymmetry]] and/or [[string theory]]). In (\hyperlink{AP06}{AP 06, p. 7}) Pauli is quoted on this as having said:

\begin{quote}%
I've done a terrible thing today, something which no theoretical physicist should ever do. I have suggested something that can never be verified experimentally.


\end{quote}
But concerning the motivation for this predictions, notice that back around 1915 [[Emmy Noether]] had proven the theorem now named after her -- [[Noether's theorem|Noether's first theorem]] -- which asserts that [[symmetries]] of [[equations of motion]] in [[physics]] correspond to [[conservation laws]]. In particular if a system (notably the [[forces]] and [[interactions]] of [[fundamental particles]]) does not change over [[time]], then [[Noether's theorem|Noether's first theorem]] asserts that the [[energy]] of the system must be conserved. The theorem applies as soon as the [[physics]] is described by a [[local Lagrangian]]/[[local action functional]] and the [[principle of extremal action]]. This was in principle well established in 1930, even though maybe not as widely appreciated as it could have been. The generalization of this to [[quantum mechanics]] and [[quantum field theory]] was maybe fully understood only later.

But in view of this theorem, Bohr's suggestion that energy conservation fails would have implied that fundamental physics is not governed by an [[action principle]], something arguably more dramatic than some violation of some energy conservation might seem.

Today Pauli is widely acknowledged for holding up the conservation laws against Bohr's proposal, see for instance (\hyperlink{AP06}{AP 06, p. 6}), where it says:

\begin{quote}%
Pauli's belief in the absolute credibility of symmetry principles led him to defend conservation laws even when at that time the empirical evidence was doubtful. His prediction of the neutrino is a great example.


\end{quote}
But on the other hand, it seems that Pauli's respect for the conservation laws was not informed by Noether's theorem, but rested rather on an intuitive feeling, for in (\hyperlink{AP06}{AP 06, p.5}) Pauli is quoted as late as 1953 thus:

\begin{quote}%
I am very much in favour of the general principle to bring empirical conservation laws and invariance properties in connection with mathematical groups of transformations of the laws of nature.


\end{quote}
While this does support the correct answer, it seems to be a rather weak way of stating it, given that Noether's theorem establishes this ``connection'' as a theorem, already back in 1915.

Similarly, in (\hyperlink{AP06}{AP 06, p. 6}) Pauli is quoted as reacting to Bohr's proposal by saying:

\begin{quote}%
I am myself fairly convinced $[...]$ that Bohr with his corresponding deliberations concerning a violation of energy conservation is entirely on the wrong track! $[...]$ The idea of a violation of the conservation of energy in $\beta$-decay is and remains, in my opinion, cheap and very clumsy philosophy.


\end{quote}
If Pauli had really been relying on symmetry and the Noether theorem, he could have said ``provably wrong'' instead of just ``cheap and clumsy''. Especially since ``clumsy'' suggests ``possible, even if not enjoyable'', where in fact it is impossible unless the whole foundations of physics are changed.

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[sterile neutrino]]


\item [[ANITA experiment]]



\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item [[Goran Senjanovic]], \emph{LHC and the neutrino paradigm}, talk at CERN EP seminar 2011 (\href{https://indico.cern.ch/event/148714}{cern:148714}, \href{https://youtu.be/VVoMUHokn2U}{recording})

\end{itemize}
See also

\begin{itemize}%
\item Wikipedia, \emph{\href{http://en.wikipedia.org/wiki/Neutrino}{Neutrino}}

\end{itemize}
A discussion of Pauli's thoughts leading him to the prediction of the neutrino is in

\begin{itemize}%
\item Atmanspacher, Primas, \emph{Pauli's ideas\ldots{}}, 2006 (\href{http://www.igpp.de/english/tda/pdf/paulijcs8.pdf}{pdf})

\end{itemize}
Comments on neutrinos masses as a hint for the [[standard model of particle physics]] being an [[effective field theory]] are in

\begin{itemize}%
\item [[Steven Weinberg]], \emph{Effective Field Theory, Past and Future} (\href{http://arxiv.org/abs/0908.1964}{arXiv:0908.1964})

\end{itemize}
See also

\begin{itemize}%
\item [[Pierre Ramond]], \emph{Neutrinos and Particle Physics Models} (\href{https://arxiv.org/abs/1902.01741}{arXiv:1902.01741})


\item M.C. Gonzalez-Garcia, \emph{Neutrino Masses and Mixing} (\href{https://arxiv.org/abs/1902.04583}{arXiv:1902.04583})


\item Shao-Feng Ge, Jing-Yu Zhu, \emph{The Normal Neutrino Mass Hierarchy is Exactly What We Need!} (\href{https://arxiv.org/abs/1910.02666}{arXiv:1910.02666})



\end{itemize}
More on this in relation to [[GUT]] models:

\begin{itemize}%
\item R. N. Mohapatra, \emph{Models of Neutrino Masses: A Brief Overview}, 2006 (\href{http://lss.fnal.gov/conf/C0606131/2.2mohapat.pdf}{pdf})


\item [[Edward Witten]], p. 2 of \emph{Symmetry and Emergence} (\href{https://arxiv.org/abs/1710.01791}{arXiv:1710.01791})


\item Tommy Ohlsson, Marcus Pernow, \emph{Fits to Non-Supersymmetric SO(10) Models with Type I and II Seesaw Mechanisms Using Renormalization Group Evolution} (\href{https://arxiv.org/abs/1903.08241}{arXiv:1903.08241})



\end{itemize}
Discussion of neutrinos as [[dark matter]]-candidates:

\begin{itemize}%
\item \emph{A White Paper on keV Sterile Neutrino Dark Matter}, Journal of Cosmology and Astroparticle Physics, Volume 2017, January 2017 (\href{https://arxiv.org/abs/1602.04816}{arXiv:1602.04816})

\end{itemize}
Discussion of [[neutrino]] [[masses]] in [[leptoquark]]-[[model (in theoretical physics)|models]] for [[flavour anomalies]]:

\begin{itemize}%
\item Innes Bigaran, John Gargalionis, Raymond R. Volkas, \emph{A near-minimal leptoquark model for reconciling flavour anomalies and generating radiative neutrino masses} (\href{https://arxiv.org/abs/1906.01870}{arXiv:1906.01870})

\end{itemize}
[[!redirects neutrino]] [[!redirects neutrinos]] [[!redirects neutriono]]



\end{document}