Combining computational effects: commutativity and sum

We begin to develop a unified account of modularity for computational effects. We use the notion of enriched Lawvere theory, together with its relationship with strong monads, to reformulate Moggi’s paradigm for modelling computational effects; we emphasise the importance here of the operations that induce computational effects. Effects qua theories are then combined by appropriate bifunctors (on the category of theories). We give a theory of the commutative combination of effects, which in particular yields Moggi’s side-effects monad transformer (an application is the combination of side-effects with nondeterminism). And we give a theory for the sum of computational effects, which in particular yields Moggi’s exceptions monad transformer (an application is the combination of exceptions with other effects)

Aidnogenesis via Leptogenesis and Dark Sphalerons

We discuss aidnogenesis, the generation of a dark matter asymmetry via new sphaleron processes associated to an extra non-abelian gauge symmetry common to both the visible and the dark sectors. Such a theory can naturally produce an abundance of asymmetric dark matter which is of the same size as the lepton and baryon asymmetries, as suggested by the similar sizes of the observed baryonic and dark matter energy content, and provide a definite prediction for the mass of the dark matter particle. We discuss in detail a minimal realization in which the Standard Model is only extended by dark matter fermions which form "dark baryons" through an SU(3) interaction, and a (broken) horizontal symmetry that induces the new sphalerons. The dark matter mass is predicted to be approximately 6 GeV, close to the region favored by DAMA and CoGeNT. Furthermore, a remnant of the horizontal symmetry should be broken at a lower scale and can also explain the Tevatron dimuon anomaly.Comment: Minor changes, discussion of present constraints expanded. 16 pages, 2 eps figures, REVTeX

Low Scale Flavor Gauge Symmetries

We study the possibility of gauging the Standard Model flavor group. Anomaly cancellation leads to the addition of fermions whose mass is inversely proportional to the known fermion masses. In this case all flavor violating effects turn out to be controlled roughly by the Standard Model Yukawa, suppressing transitions for the light generations. Due to the inverted hierarchy the scale of new gauge flavor bosons could be as low as the electroweak scale without violating any existing bound but accessible at the Tevatron and the LHC. The mechanism of flavor protection potentially provides an alternative to Minimal Flavor Violation, with flavor violating effects suppressed by hierarchy of scales rather than couplings.Comment: 24 pages + appendices; v2) Refs. added and numerical examples improved. Results unchanged; v3) small typos in appendix B correcte

Electroweak Baryogenesis and Dark Matter with an approximate R-symmetry

It is well known that R-symmetric models dramatically alleviate the SUSY flavor and CP problems. We study particular modifications of existing R-symmetric models which share the solution to the above problems, and have interesting consequences for electroweak baryogenesis and the Dark Matter (DM) content of the universe. In particular, we find that it is naturally possible to have a strongly first-order electroweak phase transition while simultaneously relaxing the tension with EDM experiments. The R-symmetry (and its small breaking) implies that the gauginos (and the neutralino LSP) are pseudo-Dirac fermions, which is relevant for both baryogenesis and DM. The singlet superpartner of the U(1)_Y pseudo-Dirac gaugino plays a prominent role in making the electroweak phase transition strongly first-order. The pseudo-Dirac nature of the LSP allows it to behave similarly to a Dirac particle during freeze-out, but like a Majorana particle for annihilation today and in scattering against nuclei, thus being consistent with current constraints. Assuming a standard cosmology, it is possible to simultaneously have a strongly first-order phase transition conducive to baryogenesis and have the LSP provide the full DM relic abundance, in part of the allowed parameter space. However, other possibilities for DM also exist, which are discussed. It is expected that upcoming direct DM searches as well as neutrino signals from DM annihilation in the Sun will be sensitive to this class of models. Interesting collider and Gravity-wave signals are also briefly discussed.Comment: 50 pages, 10 figure

Asymmetric Origin for Gravitino Relic Density in the Hybrid Gravity-Gauge Mediated Supersymmetry Breaking

We propose the hybrid gravity-gauge mediated supersymmetry breaking where the gravitino mass is about several GeV. The strong constraints on supersymmetry viable parameter space from the CMS and ATLAS experiments at the LHC can be relaxed due to the heavy colored supersymmetric particles, and it is consistent with null results in the dark matter (DM) direct search experiments such as XENON100. In particular, the possible maximal flavor and CP violations from the relatively small gravity mediation may naturally account for the recent LHCb anomaly. In addition, because the gravitino mass is around the asymmetric DM mass, we propose the asymmetric origin of the gravitino relic density and solve the cosmological coincident problem on the DM and baryon densities \Omega_{\rm DM}:\Omega_{B}\approx 5:1. The gravitino relic density arises from asymmetric metastable particle (AMP) late decay. However, we show that there is no AMP candidate in the minimal supersymmetric Standard Model (SM) due to the robust gaugino/Higgsino mediated wash-out effects. Interestingly, AMP can be realized in the well motivated supersymmetric SMs with vector-like particles or continuous U(1)_R symmetry. Especially, the lightest CP-even Higgs boson mass can be lifted in the supersymmetric SMs with vector-like particles.Comment: RevTex4, 21 pages, 1 figure, minor corrections, JHEP versio

Sphalerons and the Electroweak Phase Transition in Models with Higher Scalar Representations

In this work we investigate the sphaleron solution in a $SU(2)\times U(1)_X$ gauge theory, which also encompasses the Standard Model, with higher scalar representation(s) ($J^{(i)},X^{(i)}$). We show that the field profiles describing the sphaleron in higher scalar multiplet, have similar trends like the doublet case with respect to the radial distance. We compute the sphaleron energy and find that it scales linearly with the vacuum expectation value of the scalar field and its slope depends on the representation. We also investigate the effect of $U(1)$ gauge field and find that it is small for the physical value of the mixing angle, $\theta_{W}$ and resembles the case for the doublet. For higher representations, we show that the criterion for strong first order phase transition, $v_{c}/T_{c}>\eta$, is relaxed with respect to the doublet case, i.e. $\eta<1$.Comment: 20 pages, 5 figures & 1 table, published versio

Prompt Decays of General Neutralino NLSPs at the Tevatron

Recent theoretical developments have shown that gauge mediation has a much larger parameter space of possible spectra and mixings than previously considered. Motivated by this, we explore the collider phenomenology of gauge mediation models where a general neutralino is the lightest MSSM superpartner (the NLSP), focusing on the potential reach from existing and future Tevatron searches. Promptly decaying general neutralino NLSPs can give rise to final states involving missing energy plus photons, Zs, Ws and/or Higgses. We survey the final states and determine those where the Tevatron should have the most sensitivity. We then estimate the reach of existing Tevatron searches in these final states and discuss new searches (or optimizations of existing ones) that should improve the reach. Finally we comment on the potential for discovery at the LHC.Comment: 41 pages, minor changes, added refs and discussion of previous literatur

The Cosmology of Composite Inelastic Dark Matter

Composite dark matter is a natural setting for implementing inelastic dark matter - the O(100 keV) mass splitting arises from spin-spin interactions of constituent fermions. In models where the constituents are charged under an axial U(1) gauge symmetry that also couples to the Standard Model quarks, dark matter scatters inelastically off Standard Model nuclei and can explain the DAMA/LIBRA annual modulation signal. This article describes the early Universe cosmology of a minimal implementation of a composite inelastic dark matter model where the dark matter is a meson composed of a light and a heavy quark. The synthesis of the constituent quarks into dark mesons and baryons results in several qualitatively different configurations of the resulting dark matter hadrons depending on the relative mass scales in the system.Comment: 31 pages, 4 figures; references added, typos correcte

The Status of GMSB After 1/fb at the LHC

We thoroughly investigate the current status of supersymmetry in light of the latest searches at the LHC, using General Gauge Mediation (GGM) as a well-motivated signature generator that leads to many different simplified models. We consider all possible promptly-decaying NLSPs in GGM, and by carefully reinterpreting the existing LHC searches, we derive limits on both colored and electroweak SUSY production. Overall, the coverage of GGM parameter space is quite good, but much discovery potential still remains even at 7 TeV. We identify several regions of parameter space where the current searches are the weakest, typically in models with electroweak production, third generation sfermions or squeezed spectra, and we suggest how ATLAS and CMS might modify their search strategies given the understanding of GMSB at 1/fb. In particular, we propose the use of leptonic $M_{T2}$ to suppress $t{\bar t}$ backgrounds. Because we express our results in terms of simplified models, they have broader applicability beyond the GGM framework, and give a global view of the current LHC reach. Our results on 3rd generation squark NLSPs in particular can be viewed as setting direct limits on naturalness.Comment: 44 pages, refs added, typos fixed, improved MC statistics in fig 1