Bˉ→Xsγ\bar{B}\to X_s \gamma in the Two Higgs Doublet Model up to Next-to-Next-to-Leading Order in QCD

We compute three-loop matching corrections to the Wilson coefficients $C_7$ and $C_8$ in the Two Higgs Doublet Model by applying expansions for small, intermediate and large charged Higgs boson masses. The results are used to evaluate the branching ratio of $\bar{B}\to X_s \gamma$ to next-to-next-to leading order accuracy, and to determine an updated lower limit on the charged Higgs boson mass. We find \mhplus \ge 380 GeV at 95% confidence level when the recently completed BABAR data analysis is taken into account. Our results for the charged Higgs contribution to the branching ratio exhibit considerably weaker sensitivity to the matching scale $\mu_0$, as compared to previous calculations.Comment: 20 pages, 15 figures; v2: minor modifications, matches published version in JHE

A novel pathway producing dimethylsulphide in bacteria is widespread in soil environments

The volatile compound dimethylsulphide (DMS) is important in climate regulation, the sulphur cycle and signalling to higher organisms. Microbial catabolism of the marine osmolyte dimethylsulphoniopropionate (DMSP) is thought to be the major biological process generating DMS. Here we report the discovery and characterisation of the first gene for DMSP-independent DMS production in any bacterium. This gene, mddA, encodes a methyltransferase that methylates methanethiol (MeSH) and generates DMS. MddA functions in many taxonomically diverse bacteria including sediment-dwelling pseudomonads, nitrogen-fixing bradyrhizobia and cyanobacteria, and mycobacteria, including the pathogen Mycobacterium tuberculosis. The mddA gene is present in metagenomes from varied environments, being particularly abundant in soil environments, where it is predicted to occur in up to 76% of bacteria. This novel pathway may significantly contribute to global DMS emissions, especially in terrestrial environments, and could represent a shift from the notion that DMSP is the only significant precursor of DMS

Flavor Violating Higgs Decays

We study a class of nonstandard interactions of the newly discovered 125 GeV Higgs-like resonance that are especially interesting probes of new physics: flavor violating Higgs couplings to leptons and quarks. These interaction can arise in many frameworks of new physics at the electroweak scale such as two Higgs doublet models, extra dimensions, or models of compositeness. We rederive constraints on flavor violating Higgs couplings using data on rare decays, electric and magnetic dipole moments, and meson oscillations. We confirm that flavor violating Higgs boson decays to leptons can be sizeable with, e.g., h -> tau mu and h -> tau e branching ratios of order 10% perfectly allowed by low energy constraints. We estimate the current LHC limits on h -> tau mu and h -> tau e decays by recasting existing searches for the SM Higgs in the tau-tau channel and find that these bounds are already stronger than those from rare tau decays. We also show that these limits can be improved significantly with dedicated searches and we outline a possible search strategy. Flavor violating Higgs decays therefore present an opportunity for discovery of new physics which in some cases may be easier to access experimentally than flavor conserving deviations from the Standard Model Higgs framework.Comment: 39 pages, 12 figures, 3 tables; v2: Improved referencing, updated mu -> 3e bounds to include large loop contributions, corrected single top constraints; conclusions unchanged; matches version to be published in JHEP; v3: included 2-loop contributions in mu -> e conversion, improved discussion of tau -> 3 mu and of EDM constraints on FV top-Higgs couplings; conclusions unchange

Phenomenology of Light Sneutrino Dark Matter in cMSSM/mSUGRA with Inverse Seesaw

We study the possibility of a light Dark Matter (DM) within a constrained Minimal Supersymmetric Standard Model (cMSSM) framework augmented by a SM singlet-pair sector to account for the non-zero neutrino masses by inverse seesaw mechanism. Working within a 'hybrid' scenario with the MSSM sector fixed at high scale and the singlet neutrino sector at low scale, we find that, contrary to the case of the usual cMSSM where the neutralino DM cannot be very light, we can have a light sneutrino DM with mass below 100 GeV satisfying all the current experimental constraints from cosmology, collider as well as low-energy experiments. We also note that the supersymmetric inverse seesaw mechanism with sneutrino as the lightest supersymmetric partner can have enhanced same-sign dilepton final states with large missing transverse energy (mET) coming from the gluino- and squark-pair as well as the squark-gluino associated productions and their cascade decay through charginos. We present a collider study for the same-sign dilepton+jets+mET signal in this scenario and propose some distinctions with the usual cMSSM. We also comment on the implications of such a light DM scenario on the invisible decay width of an 125 GeV Higgs boson.Comment: 24 pages, 4 figures, 7 tables; matches published versio

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

B-physics from Nf=2 tmQCD: the Standard Model and beyond

We present a lattice QCD computation of the b-quark mass, the B and B_s decay constants, the B-mixing bag parameters for the full four-fermion operator basis as well as determinations for \xi and f_{Bq}\sqrt{B_i^{(q)}} extrapolated to the continuum limit and to the physical pion mass. We used N_f = 2 twisted mass Wilson fermions at four values of the lattice spacing with pion masses ranging from 280 to 500 MeV. Extrapolation in the heavy quark mass from the charm to the bottom quark region has been carried out on ratios of physical quantities computed at nearby quark masses, exploiting the fact that they have an exactly known infinite mass limit. Our results are m_b(m_b, \overline{\rm{MS}})=4.29(12) GeV, f_{Bs}=228(8) MeV, f_{B}=189(8) MeV and f_{Bs}/f_B=1.206(24). Moreover with our results for the bag-parameters we find \xi=1.225(31), B_1^{(s)}/B_1^{(d)}=1.01(2), f_{Bd}\sqrt{\hat{B}_{1}^{(d)}} = 216(10) MeV and f_{Bs}\sqrt{\hat{B}_{1}^{(s)}} = 262(10) MeV. We also computed the bag parameters for the complete basis of the four-fermion operators which are required in beyond the SM theories. By using these results for the bag parameters we are able to provide a refined Unitarity Triangle analysis in the presence of New Physics, improving the bounds coming from B_{(s)}-\bar B_{(s)} mixing

Strong interface-induced spin-orbit coupling in graphene on WS2

Interfacial interactions allow the electronic properties of graphene to be modified, as recently demonstrated by the appearance of satellite Dirac cones in the band structure of graphene on hexagonal boron nitride (hBN) substrates. Ongoing research strives to explore interfacial interactions in a broader class of materials in order to engineer targeted electronic properties. Here we show that at an interface with a tungsten disulfide (WS2) substrate, the strength of the spin-orbit interaction (SOI) in graphene is very strongly enhanced. The induced SOI leads to a pronounced low-temperature weak anti-localization (WAL) effect, from which we determine the spin-relaxation time. We find that spin-relaxation time in graphene is two-to-three orders of magnitude smaller on WS2 than on SiO2 or hBN, and that it is comparable to the intervalley scattering time. To interpret our findings we have performed first-principle electronic structure calculations, which both confirm that carriers in graphene-on-WS2 experience a strong SOI and allow us to extract a spin-dependent low-energy effective Hamiltonian. Our analysis further shows that the use of WS2 substrates opens a possible new route to access topological states of matter in graphene-based systems.Comment: Originally submitted version in compliance with editorial guidelines. Final version with expanded discussion of the relation between theory and experiments to be published in Nature Communication

Physical constraints on a class of two-Higgs doublet models with FCNC at tree level

We analyse the constraints and some of the phenomenological implications of a class of two Higgs doublet models where there are flavour-changing neutral currents (FCNC) at tree level but the potentially dangerous FCNC couplings are suppressed by small entries of the CKM matrix V. This class of models have the remarkable feature that, as a result of a discrete symmetry of the Lagrangian, the FCNC couplings are entirely fixed in the quark sector by V and the ratio v(2)/v(1) of the vevs of the neutral Higgs. The discrete symmetry is extended to the leptonic sector, so that there are FCNC in the leptonic sector with their flavour structure fixed by the leptonic mixing matrix. We analyse a large number of processes, including decays mediated by charged Higgs at tree level, processes involving FCNC at tree level, as well as loop induced processes. We show that in this class of models one has new physical scalars beyond the standard Higgs boson, with masses reachable at the next round of experiments

Methanethiol-dependent dimethylsulfide production in soil environments

Dimethylsulfide (DMS) is an environmentally important trace gas with roles in sulfur cycling, signalling to higher organisms and in atmospheric chemistry. DMS is believed to be predominantly produced in marine environments via microbial degradation of the osmolyte dimethylsulfoniopropionate (DMSP). However, significant amounts of DMS are also generated from terrestrial environments, for example, peat bogs can emit ~6 μmol DMS m−2 per day, likely via the methylation of methanethiol (MeSH). A methyltransferase enzyme termed ‘MddA’, which catalyses the methylation of MeSH, generating DMS, in a wide range of bacteria and some cyanobacteria, may mediate this process, as the mddA gene is abundant in terrestrial metagenomes. This is the first study investigating the functionality of MeSH-dependent DMS production (Mdd) in a wide range of aerobic environments. All soils and marine sediment samples tested produced DMS when incubated with MeSH. Cultivation-dependent and cultivation-independent methods were used to assess microbial community changes in response to MeSH addition in a grassland soil where 35.9% of the bacteria were predicted to contain mddA. Bacteria of the genus Methylotenera were enriched in the presence of MeSH. Furthermore, many novel Mdd+ bacterial strains were isolated. Despite the abundance of mddA in the grassland soil, the Mdd pathway may not be a significant source of DMS in this environment as MeSH addition was required to detect DMS at only very low conversion rates

Measurement of the branching fraction and CP content for the decay B(0) -> D(*+)D(*-)

This is the pre-print version of the Article. The official published version can be accessed from the links below. Copyright @ 2002 APS.We report a measurement of the branching fraction of the decay B0→D*+D*- and of the CP-odd component of its final state using the BABAR detector. With data corresponding to an integrated luminosity of 20.4  fb-1 collected at the Υ(4S) resonance during 1999–2000, we have reconstructed 38 candidate signal events in the mode B0→D*+D*- with an estimated background of 6.2±0.5 events. From these events, we determine the branching fraction to be B(B0→D*+D*-)=[8.3±1.6(stat)±1.2(syst)]×10-4. The measured CP-odd fraction of the final state is 0.22±0.18(stat)±0.03(syst).This work is supported by DOE and NSF (USA), NSERC (Canada), IHEP (China), CEA and CNRS-IN2P3 (France), BMBF (Germany), INFN (Italy), NFR (Norway), MIST (Russia), and PPARC (United Kingdom). Individuals have received support from the A.P. Sloan Foundation, Research Corporation, and Alexander von Humboldt Foundation