COBRA - Double beta decay searches using CdTe detectors

A new approach (called COBRA) for investigating double beta decay using CdTe (CdZnTe) semiconductor detectors is proposed. It follows the idea that source and detector are identical. This will allow simultaneous measurements of 5 $\beta^-\beta^-$ - and 4 $\beta^+\beta^+$ - emitters at once. Half-life limits for neutrinoless double beta decay of Cd-116 and Te-130 can be improved by more than one order of magnitude with respect to current limits and sensitivities on the effective Majorana neutrino mass of less than 1 eV can be obtained. Furthermore, for the first time a realistic chance of observing double electron capture processes exists. Additional searches for rare processes like the 4-fold forbidden Cd-113 $\beta$-decay, the electron capture of Te-123 and dark matter detection can be performed. The achievable limits are evaluated for 10 kg of such detectors and can be scaled accordingly towards higher detector masses because of the modular design of the proposed experiment.Comment: 13 pages, 3 eps-figures, submitte

Semantics for Noninterference with Interaction Trees

Noninterference is the strong information-security property that a program does not leak secrets through publicly-visible behavior. In the presence of effects such as nontermination, state, and exceptions, reasoning about noninterference quickly becomes subtle. We advocate using interaction trees (ITrees) to provide compositional mechanized proofs of noninterference for multi-language, effectful, nonterminating programs, while retaining executability of the semantics. We develop important foundations for security analysis with ITrees: two indistinguishability relations, leading to two standard notions of noninterference with adversaries of different strength, along with metatheory libraries for reasoning about each. We demonstrate the utility of our results using a simple imperative language with embedded assembly, along with a compiler into that assembly language

Semantics for Noninterference with Interaction Trees (Artifact)

Noninterference is the strong information-security property that a program does not leak secrets through publicly-visible behavior. In the presence of effects such as nontermination, state, and exceptions, reasoning about noninterference quickly becomes subtle. We advocate using interaction trees (ITrees) to provide compositional mechanized proofs of noninterference for multi-language, effectful, nonterminating programs, while retaining executability of the semantics. We develop important foundations for security analysis with ITrees: two indistinguishability relations, leading to two standard notions of noninterference with adversaries of different strength, along with metatheory libraries for reasoning about each. We demonstrate the utility of our results using a simple imperative language with embedded assembly, along with a compiler into that assembly language

Z(3) Flavor Symmetry and Possible Implications

We show in this paper that the Z(3) flavor symmetry, which can successfully produce the tri-bimaximal mixing and flavor pattern of neutrino sector, has a possible explanation in the framework of gauge symmetry by constructing a wavefunction of flavor state particles with the help of the Wilson loop. In this implementation of Z(3) flavor symmetry, we suggest that the flavor charge in weak interaction can be interpreted as a topological charge. Its possible implications and generalizations to the quark sector are also discussed.Comment: 9 pages, no figures, final version for Phys. Lett.

CP Violation in Two Zero Texture Neutrino Mass Matrices

It has been shown that the neutrino mass matrices with two texture zeros in the charged lepton basis predict non-zero 1-3 mixing and are necessarily CP violating with one possible exception in class C for maximal mixing.Comment: 6 pages, no figures, final version with minor changes, to appear in Phys. Lett.

Tri-bimaximal Neutrino Mixing from A(4) and \theta_{13} \sim \theta_C

It is a common believe that, if the Tri-bimaximal mixing (TBM) pattern is explained by vacuum alignment in an A(4) model, only a very small reactor angle, say \theta_{13} \sim \lambda^2_C being \lambda_C \equiv \theta_C the Cabibbo angle, can be accommodated. This statement is based on the assumption that all the flavon fields acquire VEVs at a very similar scale and the departures from exact TBM arise at the same perturbation level. From the experimental point of view, however, a relatively large value \theta_{13} \sim \lambda_C is not yet excluded by present data. In this paper, we propose a Seesaw A(4) model in which the previous assumption can naturally be evaded. The aim is to describe a \theta_{13} \sim \lambda_C without conflicting with the TBM prediction for \theta_{12} which is rather close to the observed value (at \lambda^2_C level). In our model the deviation of the atmospherical angle from maximal is subject to the sum-rule: \sin ^2 \theta_{23} \approx 1/2 + \sqrt{2}/2 \sin \delta \cos \theta_{13} which is a next-to-leading order prediction of our model.Comment: 16 pages, revised, typos corrected, references adde

Tri-Bimaximal Lepton Mixing and Leptogenesis

In models with flavour symmetries added to the gauge group of the Standard Model the CP-violating asymmetry necessary for leptogenesis may be related with low-energy parameters. A particular case of interest is when the flavour symmetry produces exact Tri-Bimaximal lepton mixing leading to a vanishing CP-violating asymmetry. In this paper we present a model-independent discussion that confirms this always occurs for unflavoured leptogenesis in type I see-saw scenarios, noting however that Tri-Bimaximal mixing does not imply a vanishing asymmetry in general scenarios where there is interplay between type I and other see-saws. We also consider a specific model where the exact Tri-Bimaximal mixing is lifted by corrections that can be parametrised by a small number of degrees of freedom and analyse in detail the existing link between low and high-energy parameters - focusing on how the deviations from Tri-Bimaximal are connected to the parameters governing leptogenesis.Comment: 29 pages, 6 figures; version 2: references added, minor correction

Running Effects on Lepton Mixing Angles in Flavour Models with Type I Seesaw

We study renormalization group running effects on neutrino mixing patterns when a (type I) seesaw model is implemented by suitable flavour symmetries. We are particularly interested in mass-independent mixing patterns to which the widely studied tribimaximal mixing pattern belongs. In this class of flavour models, the running contribution from neutrino Yukawa coupling, which is generally dominant at energies above the seesaw threshold, can be absorbed by a small shift on neutrino mass eigenvalues leaving mixing angles unchanged. Consequently, in the whole running energy range, the change in mixing angles is due to the contribution coming from charged lepton sector. Subsequently, we analyze in detail these effects in an explicit flavour model for tribimaximal neutrino mixing based on an A4 discrete symmetry group. We find that for normally ordered light neutrinos, the tribimaximal prediction is essentially stable under renormalization group evolution. On the other hand, in the case of inverted hierarchy, the deviation of the solar angle from its TB value can be large depending on mass degeneracy.Comment: 36 pages, 4 figures; few references added and minor correction

Obtaining the Neutrino Mixing Matrix with the Tetrahedral Group

We discuss various "minimalist'' schemes to derive the neutrino mixing matrix using the tetrahedral group $A_{4}.

Tri-bimaximal Neutrino Mixing and Quark Masses from a Discrete Flavour Symmetry

We build a supersymmetric model of quark and lepton masses based on the discrete flavour symmetry group T', the double covering of A_4. In the lepton sector our model is practically indistinguishable from recent models based on A_4 and, in particular, it predicts a nearly tri-bimaximal mixing, in good agreement with present data. In the quark sector a realistic pattern of masses and mixing angles is obtained by exploiting the doublet representations of T', not available in A_4. To this purpose, the flavour symmetry T' should be broken spontaneously along appropriate directions in flavour space. In this paper we fully discuss the related vacuum alignment problem, both at the leading order and by accounting for small effects coming from higher-order corrections. As a result we get the relations: \sqrt{m_d/m_s}\approx |V_{us}| and \sqrt{m_d/m_s}\approx |V_{td}/V_{ts}|.Comment: 27 pages, 1 figure; minor correction