A U(1) non-universal anomaly-free model with three Higgs doublets and one singlet scalar field

The flavor problem, neutrino physics and the fermion mass hierarchy are important motivations to extend the Standard Model into the TeV scale. A new family non-universal extension is presented with three Higgs doublets, one Higgs singlet and one scalar dark matter candidate. Exotic fermions are included in order to cancel chiral anomalies and to allow family non-universal $\mathrm{U(1)}_{X}$ charges. By implementing an additional $\mathbb{Z}_{2}$ symmetry the Yukawa coupling terms are suited in such a way that the fermion mass hierarchy is obtained without fine-tuning. The neutrino sector include Majorana fermions to implement inverse see-saw mechanism. The effective mass matrix for SM neutrinos is fitted to current neutrino oscillation data to check the consistency of the model with experimental evidence, obtaining that the normal-ordering scheme is preferred over the inverse ones and the values of the neutrino Yukawa coupling constants are shown. Finally, the $h\rightarrow \tau\mu$ lepton-flavor-violation process is addressed with the rotation matrices of the CP-even scalars, left- and right-handed charged leptons, yielding definite regions where the model is consistent with CMS reports of $\mathrm{BR}(h\rightarrow \tau\mu)$. Keywords: Flavor Problem, Neutrino Physics, Extended Scalar Sectors, Beyond Standard Model, Fermion masses, Inverse See-Saw Mechanism, LFV.Comment: 18 pages, 3 figures, 4 tables, added reference

CSL model checking of Deterministic and Stochastic Petri Nets

Deterministic and Stochastic Petri Nets (DSPNs) are a widely used high-level formalism for modeling discrete-event systems where events may occur either without consuming time, after a deterministic time, or after an exponentially distributed time. The underlying process dened by DSPNs, under certain restrictions, corresponds to a class of Markov Regenerative Stochastic Processes (MRGP). In this paper, we investigate the use of CSL (Continuous Stochastic Logic) to express probabilistic properties, such a time-bounded until and time-bounded next, at the DSPN level. The verication of such properties requires the solution of the steady-state and transient probabilities of the underlying MRGP. We also address a number of semantic issues regarding the application of CSL on MRGP and provide numerical model checking algorithms for this logic. A prototype model checker, based on SPNica, is also described

Calculation of nuclear matrix elements in neutrinoless double electron capture

We compute nuclear matrix elements for neutrinoless double electron capture on $^{152}$Gd, $^{164}$Er and $^{180}$W nuclei. Recent precise mass measurements for these nuclei have shown a large resonance enhancement factor that makes them the most promising candidates for observing this decay mode. We use an advanced energy density functional method which includes beyond mean-field effects such as symmetry restoration and shape mixing. Our calculations reproduce experimental charge radii and $B(E2)$ values predicting a large deformation for all these nuclei. This fact reduces significantly the values of the NMEs leading to half-lives larger than $10^{29}$ years for the three candidates

Spacetime structure and vacuum entanglement

We study the role that both vacuum fluctuations and vacuum entanglement of a scalar field play in identifying the spacetime topology, which is not prescribed from first principles---neither in general relativity or quantum gravity. We analyze how the entanglement and observable correlations acquired between two particle detectors are sensitive to the spatial topology of spacetime. We examine the detector's time evolution to all orders in perturbation theory and then study the phenomenon of vacuum entanglement harvesting in Minkowski spacetime and two flat topologically distinct spacetimes constructed from identifications of the Minkowski space. We show that, for instance, if the spatial topology induces a preferred direction, this direction may be inferred from the dependence of correlations between the two detectors on their orientation. We therefore show that vacuum fluctuations and vacuum entanglement harvesting makes it, in principle, possible to distinguish spacetimes with identical local geometry that differ only in their topology