Gauging U(1) symmetries and the number of right-handed neutrinos

In this letter we consider that assuming: a) that the only left-handed neutral fermions are the active neutrinos, b) that $B-L$ is a gauge symmetry, and c) that the $L$ assignment is restricted to the integer numbers, the anomaly cancellation imply that at least three right-handed neutrinos must be added to the minimal representation content of the electroweak standard model. However, two types of models arise: i) the usual one where each of the three identical right-handed neutrinos has total lepton number L=1; ii) and the other one in which two of them carry L=4 while the third one carries $L=-5$.Comment: Published version in PLB forma

Perceived organizational support and organizational identification : joint moderating effects of employee exchange ideology and employee investment

Organizational identification (OID) can be developed out of social exchange practices within an organizational setting. Drawing on social exchange theory, we propose that the effect of perceived organizational support (POS) on OID is stronger for employees with stronger exchange ideology. We further argue that employee investment in an organization may also create a social exchange process that positively influences OID. We expect that employee investment moderates not only the effect of POS on OID, but also the enhancing effect of exchange ideology on the effect of POS on OID. Specifically, POS has a stronger positive effect on OID when exchange ideology is high and when employee investment is low. When employee investment is high, POS has a weaker effect on OID regardless of employees’ exchange ideology. These effects were empirically supported by a survey. Theoretical and practical implications are also discussed

Interaction Trees: Representing Recursive and Impure Programs in Coq

"Interaction trees" (ITrees) are a general-purpose data structure for representing the behaviors of recursive programs that interact with their environments. A coinductive variant of "free monads," ITrees are built out of uninterpreted events and their continuations. They support compositional construction of interpreters from "event handlers", which give meaning to events by defining their semantics as monadic actions. ITrees are expressive enough to represent impure and potentially nonterminating, mutually recursive computations, while admitting a rich equational theory of equivalence up to weak bisimulation. In contrast to other approaches such as relationally specified operational semantics, ITrees are executable via code extraction, making them suitable for debugging, testing, and implementing software artifacts that are amenable to formal verification. We have implemented ITrees and their associated theory as a Coq library, mechanizing classic domain- and category-theoretic results about program semantics, iteration, monadic structures, and equational reasoning. Although the internals of the library rely heavily on coinductive proofs, the interface hides these details so that clients can use and reason about ITrees without explicit use of Coq's coinduction tactics. To showcase the utility of our theory, we prove the termination-sensitive correctness of a compiler from a simple imperative source language to an assembly-like target whose meanings are given in an ITree-based denotational semantics. Unlike previous results using operational techniques, our bisimulation proof follows straightforwardly by structural induction and elementary rewriting via an equational theory of combinators for control-flow graphs.Comment: 28 pages, 4 pages references, published at POPL 202

A 125 GeV SM-like Higgs in the MSSM and the γγ\gamma \gamma rate

We consider the possibility of a Standard Model (SM)-like Higgs in the context of the Minimal Supersymmetric Standard Model (MSSM), with a mass of about 125 GeV and with a production times decay rate into two photons which is similar or somewhat larger than the SM one. The relatively large value of the SM-like Higgs mass demands stops in the several hundred GeV mass range with somewhat large mixing, or a large hierarchy between the two stop masses in the case that one of the two stops is light. We find that, in general, if the heaviest stop mass is smaller than a few TeV, the rate of gluon fusion production of Higgs bosons decaying into two photons tends to be somewhat suppressed with respect to the SM one in this region of parameters. However, we show that an enhancement of the photon decay rate may be obtained for light third generation sleptons with large mixing, which can be naturally obtained for large values of $\tan\beta$ and sizable values of the Higgsino mass parameter.Comment: 14 pages, 4 figures. Corrected small typos and added reference

Supersymmetric radiative corrections at large tan beta

In the minimal supersymmetric extension of the Standard Model (MSSM), fermion masses and Yukawa couplings receive radiative corrections at one loop from diagrams involving the supersymmetric particles. The corrections to the relation between down-type fermion masses and Yukawa couplings are enhanced by tan beta, which makes them potentially very significant at large tan beta. These corrections affect a wide range of processes in the MSSM, including neutral and charged Higgs phenomenology, rare B meson decays, and renormalization of the CKM matrix. We give a pedagogical review of the sources and phenomenological effects of these corrections.Comment: 10 pages, 1 figure, to appear in the proceedings of 30 Years of Supersymmetry, Minneapolis, Minnesota, October 13-27, 2000; references adde

Phosphorylation of CLEC-2 is dependent on lipid rafts, actin polymerization,secondary mediators, and Rac

The C-type lectin-like receptor 2 (CLEC-2)activates platelets through Src and Syk tyrosine kinases via a single cytoplasmic YxxL motif known as a hem immunoreceptor tyrosine-based activation motif (hemITAM).Here, we demonstrate using sucrose gradient ultracentrifugation and methyl--cyclodextrin treatment that CLEC-2 translocates to lipid rafts upon ligand engagement and that translocation is essential for hemITAM phosphorylation and signal initiation. HemITAM phosphorylation, but not translocation, is also critically dependent on actin polymerization,Rac1 activation, and release of ADP and thromboxane A2 (TxA2). The role of ADP and TxA2 in mediating hosphorylation is dependent on ligand engagement and rac activation but is independent of platelet aggregation. In contrast,tyrosine phosphorylation of the GPVIFcR -chain ITAM, which has 2 YxxL motifs,is independent of actin polymerization and secondary mediators. These results reveal a unique series of proximal events in CLEC-2 phosphorylation involving actin polymerization, secondary mediators,and Rac activation

Single-molecule RNA detection at depth via hybridization chain reaction and tissue hydrogel embedding and clearing

Accurate and robust detection of mRNA molecules in thick tissue samples can reveal gene expression patterns in single cells within their native environment. Preserving spatial relationships while accessing the transcriptome of selected cells is a crucial feature for advancing many biological areas, from developmental biology to neuroscience. However, because of the high autofluorescence background of many tissue samples, it is difficult to detect single-molecule fluorescence in situ hybridization (smFISH) signals robustly in opaque thick samples. Here, we draw on principles from the emerging discipline of dynamic nucleic acid nanotechnology to develop a robust method for multi-color, multi-RNA, imaging in deep tissues using single-molecule hybridization chain reaction (smHCR). Using this approach, single transcripts can be imaged using epifluorescence, confocal or selective plane illumination microscopy (SPIM) depending on the imaging depth required. We show that smHCR has high sensitivity in detecting mRNAs in cell culture and whole-mount zebrafish embryos, and that combined with SPIM and PACT (PAssive CLARITY Technique) tissue hydrogel embedding and clearing, smHCR can detect single mRNAs deep within thick (0.5 mm) brain slices. By simultaneously achieving ∼20-fold signal amplification and diffraction-limited spatial resolution, smHCR offers a robust and versatile approach for detecting single mRNAs in situ, including in thick tissues where high background undermines the performance of unamplified smFISH