The Minimal Phantom Sector of the Standard Model: Higgs Phenomenology and Dirac Leptogenesis

We propose the minimal, lepton-number conserving, SU(3)xSU(2)xU(1) gauge-singlet, or phantom, extension of the Standard Model. The extension is natural in the sense that all couplings are of O(1) or forbidden due to a phantom sector global U(1)_D symmetry, and basically imitates the standard Majorana see-saw mechanism. Spontaneous breaking of the U(1)_D symmetry triggers consistent electroweak gauge symmetry breaking only if it occurs at a scale compatible with small Dirac neutrino masses and baryogenesis through Dirac leptogenesis. Dirac leptogenesis proceeds through the usual out-of-equilibrium decay scenario, leading to left and right-handed neutrino asymmetries that do not fully equilibrate after they are produced. The model contains two physical Higgs bosons and a massless Goldstone boson. The existence of the Goldstone boson suppresses the Higgs to bb branching ratio and instead the Higgs bosons will mainly decay to invisible Goldstone and/or to visible vector boson pairs. In a representative scenario, we estimate that with 30 fb^-1 integrated luminosity, the LHC could discover this invisibly decaying Higgs, with mass ~120 GeV. At the same time a significantly heavier, partner Higgs boson with mass ~210 GeV could be found through its vector boson decays. Electroweak constraints as well as astrophysical and cosmological implications are analysed and discussed.Comment: 21 pages, 4 figures. Corrected typos and added references. To appear in JHE

Dramatically increased rate of observed hot record breaking in recent Australian temperatures

Persistent extreme temperatures were observed in Australia during 2012–2014. We examine changes in the rate of hot and cold record breaking over the observational record for Australia- and State-wide temperatures. The number of new hot (high-maximum and high-minimum temperatures) temperature records increases dramatically in recent decades, while the number of cold records decreases. In a stationary climate, cold and hot records are expected to occur in equal frequency on longer than interannual time scales; however, during 2000–2014, new hot records outnumber new cold records by 12 to one on average. Coupled Model Intercomparison Project phase 5 experiments reveal increased hot temperature record breaking occurs in simulations that impose anthropogenic forcings but not in natural forcings-only experiments. This disproportionate hot to cold record breaking rates provides a useful indicator of nonstationarity in temperatures, which is related to the underlying mean observed Australian warming trend of 0.9°C since high-quality records began in 1910

Anthropogenic contributions to Australia's record summer temperatures of 2013

Anthropogenic contributions to the record hot 2013 Australian summer are investigated using a suite of climate model experiments. This was the hottest Australian summer in the observational record. Australian area-average summer temperatures for simulations with natural forcings only were compared to simulations with anthropogenic and natural forcings for the period 1976-2005 and the RCP8.5 high emission simulation (2006-2020) from nine Coupled Model Intercomparison Project phase 5 models. Using fraction of attributable risk to compare the likelihood of extreme Australian summer temperatures between the experiments, it was very likely (>90% confidence) there was at least a 2.5 times increase in the odds of extreme heat due to human influences using simulations to 2005, and a fivefold increase in this risk using simulations for 2006-2020. The human contribution to the increased odds of Australian summer extremes like 2013 was substantial, while natural climate variations alone, including El Niño Southern Oscillation, are unlikely to explain the record temperature. © 2013. American Geophysical Union. All Rights Reserved

Internet-based interventions to promote mental health help seeking in elite athletes: an exploratory randomised controlled trial

Background: Mental disorders are more common in young adults than at any other life stage. Despite this, young people have low rates of seeking professional help for mental health problems. Young elite athletes have less positive attitudes toward seekin

On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics

We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents. Our first style of calculi is what we call "shallow calculi", where inference rules are only applied at the root node in a nested sequent. Our shallow calculi are extensions of Kashima's calculus for tense logic and share an essential characteristic with display calculi, namely, the presence of structural rules called "display postulates". Shallow calculi enjoy a simple cut elimination procedure, but are unsuitable for proof search due to the presence of display postulates and other structural rules. The second style of calculi uses deep-inference, whereby inference rules can be applied at any node in a nested sequent. We show that, for a range of extensions of tense logic, the two styles of calculi are equivalent, and there is a natural proof theoretic correspondence between display postulates and deep inference. The deep inference calculi enjoy the subformula property and have no display postulates or other structural rules, making them a better framework for proof search