Testing solar lepton mixing sum rules in neutrino oscillation experiments

Small discrete family symmetries such as S-4, A(4) or A(5) may lead to simple leading-order predictions for the neutrino mixing matrix such as the bimaximal, tribimaximal or golden ratio mixing patterns, which may be brought into agreement with experimental data with the help of corrections from the charged-lepton sector. Such scenarios generally lead to relations among the parameters of the physical leptonic mixing matrix known as solar lepton mixing sum rules. In this article, we present a simple derivation of such solar sum rules, valid for arbitrary neutrino and charged lepton mixing angles and phases, assuming only theta(nu)(13) = theta(e)(13) = 0. We discuss four leading-order neutrino mixing matrices with theta(nu)(13) = 0 which are well motivated from family symmetry considerations. We then perform a phenomenological analysis of the scope to test the resulting four solar sum rules, highlighting the complementarity between next-generation neutrino oscillation experiments such as the reactor experiment JUNO and a superbeam experiment.