Gene identification for the cblD defect of vitamin B12 metabolism

Background Vitamin B12 (cobalamin) is an essential cofactor in several metabolic pathways. Intracellular conversion of cobalamin to its two coenzymes, adenosylcobalamin in mitochondria and methylcobalamin in the cytoplasm, is necessary for the homeostasis of methylmalonic acid and homocysteine. Nine defects of intracellular cobalamin metabolism have been defined by means of somatic complementation analysis. One of these defects, the cblD defect, can cause isolated methylmalonic aciduria, isolated homocystinuria, or both. Affected persons present with multisystem clinical abnormalities, including developmental, hematologic, neurologic, and metabolic findings. The gene responsible for the cblD defect has not been identified. Methods We studied seven patients with the cblD defect, and skin fibroblasts from each were investigated in cell culture. Microcell-mediated chromosome transfer and refined genetic mapping were used to localize the responsible gene. This gene was transfected into cblD fibroblasts to test for the rescue of adenosylcobalamin and methylcobalamin synthesis. Results The cblD gene was localized to human chromosome 2q23.2, and a candidate gene, designated MMADHC (methylmalonic aciduria, cblD type, and homocystinuria), was identified in this region. Transfection of wild-type MMADHC rescued the cellular phenotype, and the functional importance of mutant alleles was shown by means of transfection with mutant constructs. The predicted MMADHC protein has sequence homology with a bacterial ATP-binding cassette transporter and contains a putative cobalamin binding motif and a putative mitochondrial targeting sequence. Conclusions Mutations in a gene we designated MMADHC are responsible for the cblD defect in vitamin B12 metabolism. Various mutations are associated with each of the three biochemical phenotypes of the disorder

Vacuum Stability, Perturbativity, and Scalar Singlet Dark Matter

We analyze the one-loop vacuum stability and perturbativity bounds on a singlet extension of the Standard Model (SM) scalar sector containing a scalar dark matter candidate. We show that the presence of the singlet-doublet quartic interaction relaxes the vacuum stability lower bound on the SM Higgs mass as a function of the cutoff and lowers the corresponding upper bound based on perturbativity considerations. We also find that vacuum stability requirements may place a lower bound on the singlet dark matter mass for given singlet quartic self coupling, leading to restrictions on the parameter space consistent with the observed relic density. We argue that discovery of a light singlet scalar dark matter particle could provide indirect information on the singlet quartic self-coupling.Comment: 25 pages, 10 figures; v2 - fixed minor typos; v3 - added to text discussions of other references, changed coloring of figures for easier black and white viewin

Reconstruction of a Nonminimal Coupling Theory with Scale-invariant Power Spectrum

A nonminimal coupling single scalar field theory, when transformed from Jordan frame to Einstein frame, can act like a minimal coupling one. Making use of this property, we investigate how a nonminimal coupling theory with scale-invariant power spectrum could be reconstructed from its minimal coupling counterpart, which can be applied in the early universe. Thanks to the coupling to gravity, the equation of state of our universe for a scale-invariant power spectrum can be relaxed, and the relation between the parameters in the action can be obtained. This approach also provides a means to address the Big-Bang puzzles and anisotropy problem in the nonminimal coupling model within Jordan frame. Due to the equivalence between the two frames, one may be able to find models that are free of the horizon, flatness, singularity as well as anisotropy problems.Comment: 31 pages, 4 figure

Arcobacter Species in Humans1

During an 8-year study period, Arcobacter butzleri was the fourth most common Campylobacter-like organism isolated from 67,599 stool specimens. Our observations suggest that A. butzleri displays microbiologic and clinical features similar to those of Campylobacter jejuni; however, A. butzleri is more frequently associated with a persistent, watery diarrhea

The Secret to Successful User Communities: An Analysis of Computer Associates’ User Groups

This paper provides the first large scale study that examines the impact of both individual- and group-specific factors on the benefits users obtain from their user communities. By empirically analysing 924 survey responses from individuals in 161 Computer Associates' user groups, this paper aims to identify the determinants of successful user communities. To measure success, the amount of time individual members save through having access to their user networks is used. As firms can significantly profit from successful user communities, this study proposes four key implications of the empirical results for the management of user communities

Higgs mass and vacuum stability in the Standard Model at NNLO

We present the first complete next-to-next-to-leading order analysis of the Standard Model Higgs potential. We computed the two-loop QCD and Yukawa corrections to the relation between the Higgs quartic coupling (lambda) and the Higgs mass (Mh), reducing the theoretical uncertainty in the determination of the critical value of Mh for vacuum stability to 1 GeV. While lambda at the Planck scale is remarkably close to zero, absolute stability of the Higgs potential is excluded at 98% C.L. for Mh < 126 GeV. Possible consequences of the near vanishing of lambda at the Planck scale, including speculations about the role of the Higgs field during inflation, are discussed.Comment: 35 pages, 8 figures. Final published version, misprints fixed, figures update

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

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Search for chargino-neutralino production with mass splittings near the electroweak scale in three-lepton final states in √s=13 TeV pp collisions with the ATLAS detector

A search for supersymmetry through the pair production of electroweakinos with mass splittings near the electroweak scale and decaying via on-shell W and Z bosons is presented for a three-lepton final state. The analyzed proton-proton collision data taken at a center-of-mass energy of √s=13  TeV were collected between 2015 and 2018 by the ATLAS experiment at the Large Hadron Collider, corresponding to an integrated luminosity of 139  fb−1. A search, emulating the recursive jigsaw reconstruction technique with easily reproducible laboratory-frame variables, is performed. The two excesses observed in the 2015–2016 data recursive jigsaw analysis in the low-mass three-lepton phase space are reproduced. Results with the full data set are in agreement with the Standard Model expectations. They are interpreted to set exclusion limits at the 95% confidence level on simplified models of chargino-neutralino pair production for masses up to 345 GeV