A Categorical Semantics for Inductive-Inductive Definitions

Induction-induction is a principle for defining data types in Martin-Löf Type Theory. An inductive-inductive definition consists of a set A, together with an A-indexed family B : A → Set, where both A and B are inductively defined in such a way that the constructors for A can refer to B and vice versa. In addition, the constructors for B can refer to the constructors for A. We extend the usual initial algebra semantics for ordinary inductive data types to the inductive-inductive setting by considering dialgebras instead of ordinary algebras. This gives a new and compact formalisation of inductive-inductive definitions, which we prove is equivalent to the usual formulation with elimination rules

Potential genotypes of the 1995 RRIM Hevea germplasm collection for future rubber breeding and selection programme

Malaysia received a large share of the Hevea germplasm collection from the 1995 Rubber Research Institute of Malaysia (RRIM) expedition. About 50,000 wild genotypes of eight Hevea species originating from the state of Amazonas of Brazil are conserved ex-situ in Rantau Panjang Reserve Forest, Batu Arang, Selangor. As management of such massive numbers of individuals covering extensive areas is demanding, the wild genotypes planted in this germplasm are evaluated in a phased manner. A total of 5,789 wild genotypes of six Hevea species (Hevea brasiliensis, Hevea spruceana, Hevea guainensis, Hevea nitida, Hevea benthamiana and Hevea pauciflora) originating from different locations in the Amazonas, planted in Phase 1 area (58.88 ha) of this germplasm were assessed for their main characteristics specifically latex yield, clear bole volume, girth at opening, annual girth increment and virgin bark thickness. In general, the wild genotypes of the 1995 RRIM Hevea germplasm produced a considerably low amount of latex yield. Up to 80.84% of these materials were found to produce latex yield of less than 25.00 g/t/t. Nevertheless, Hevea brasiliensis demonstrated superiority compared with the other five Hevea species in this germplasm. Selection of potential genotypes in this germplasm was to gather good performance genotypes as well as to retain as much genetic variability possible. This process was performed using multiple characteristics selection index on latex yield, clear bole volume and girth at opening. The selection process resulted in a working collection consisting 616 potential genotypes of mainly Hevea brasiliensis. Assessment of major leaf diseases revealed that most of the selected genotypes were free from or only lightly affected by Oidium and Colletotrichum secondary leaf fall while all of them were completely free from Corynespora leaf disease and Fusicoccum leaf blight. These selected materials will be used for further evaluation, genetic improvement and incorporation in the Malaysian Rubber Board’s rubber breeding programme for the development of superior latex timber clones

SARS-CoV-2 vaccination modelling for safe surgery to save lives: data from an international prospective cohort study

Background Preoperative SARS-CoV-2 vaccination could support safer elective surgery. Vaccine numbers are limited so this study aimed to inform their prioritization by modelling. Methods The primary outcome was the number needed to vaccinate (NNV) to prevent one COVID-19-related death in 1 year. NNVs were based on postoperative SARS-CoV-2 rates and mortality in an international cohort study (surgical patients), and community SARS-CoV-2 incidence and case fatality data (general population). NNV estimates were stratified by age (18–49, 50–69, 70 or more years) and type of surgery. Best- and worst-case scenarios were used to describe uncertainty. Results NNVs were more favourable in surgical patients than the general population. The most favourable NNVs were in patients aged 70 years or more needing cancer surgery (351; best case 196, worst case 816) or non-cancer surgery (733; best case 407, worst case 1664). Both exceeded the NNV in the general population (1840; best case 1196, worst case 3066). NNVs for surgical patients remained favourable at a range of SARS-CoV-2 incidence rates in sensitivity analysis modelling. Globally, prioritizing preoperative vaccination of patients needing elective surgery ahead of the general population could prevent an additional 58 687 (best case 115 007, worst case 20 177) COVID-19-related deaths in 1 year. Conclusion As global roll out of SARS-CoV-2 vaccination proceeds, patients needing elective surgery should be prioritized ahead of the general population

Search for the Zγ decay mode of new high-mass resonances in pp collisions at √s = 13 TeV with the ATLAS detector

This letter presents a search for narrow, high-mass resonances in the Zγ final state with the Z boson decaying into a pair of electrons or muons. The √s = 13 TeV pp collision data were recorded by the ATLAS detector at the CERN Large Hadron Collider and have an integrated luminosity of 140 fb−1. The data are found to be in agreement with the Standard Model background expectation. Upper limits are set on the resonance production cross section times the decay branching ratio into Zγ. For spin-0 resonances produced via gluon–gluon fusion, the observed limits at 95% confidence level vary between 65.5 fb and 0.6 fb, while for spin-2 resonances produced via gluon–gluon fusion (or quark–antiquark initial states) limits vary between 77.4 (76.1) fb and 0.6 (0.5) fb, for the mass range from 220 GeV to 3400 GeV

The ATLAS trigger system for LHC Run 3 and trigger performance in 2022

The ATLAS trigger system is a crucial component of the ATLAS experiment at the LHC. It is responsible for selecting events in line with the ATLAS physics programme. This paper presents an overview of the changes to the trigger and data acquisition system during the second long shutdown of the LHC, and shows the performance of the trigger system and its components in the proton-proton collisions during the 2022 commissioning period as well as its expected performance in proton-proton and heavy-ion collisions for the remainder of the third LHC data-taking period (2022–2025)

Measurement of the cross-sections of the electroweak and total production of a Zγ pair in association with two jets in pp collisions at √s = 13 TeV with the ATLAS detector

This Letter presents the measurement of the fiducial and differential cross-sections of the electroweak production of a Zγ pair in association with two jets. The analysis uses 140 fb−1 of LHC proton–proton collision data taken at √s = 13 TeV recorded by the ATLAS detector during the years 2015–2018. Events with a Z boson candidate decaying into either an e+e− or μ+μ− pair, a photon and two jets are selected. The electroweak component is extracted by requiring a large dijet invariant mass and by using the information about the centrality of the system and is measured with an observed and expected significance well above five standard deviations. The fiducial pp → Zγ jj cross-section for the electroweak production is measured to be 3.6 ± 0.5 fb. The total fiducial cross-section that also includes contributions where the jets arise from strong interactions is measured to be 16.8+2.0 −1.8 fb. The results are consistent with the Standard Model predictions. Differential cross-sections are also measured using the same events and are compared with parton-shower Monte Carlo simulations. Good agreement is observed between data and predictions

Search for a new heavy scalar particle decaying into a Higgs boson and a new scalar singlet in final states with one or two light leptons and a pair of τ-leptons with the ATLAS detector

A search for a new heavy scalar particle X decaying into a Standard Model (SM) Higgs boson and a new singlet scalar particle S is presented. The search uses a proton-proton (pp) collision data sample with an integrated luminosity of 140 fb−1 recorded at a centre-of-mass energy of s√ = 13 TeV with the ATLAS detector at the Large Hadron Collider. The most sensitive mass parameter space is explored in X mass ranging from 500 to 1500 GeV, with the corresponding S mass in the range 200–500 GeV. The search selects events with two hadronically decaying τ-lepton candidates from H → τ+τ− decays and one or two light leptons (ℓ = e, μ) from S → VV (V = W, Z) decays while the remaining V boson decays hadronically or to neutrinos. A multivariate discriminant based on event kinematics is used to separate the signal from the background. No excess is observed beyond the expected SM background and 95% confidence level upper limits between 72 fb and 542 fb are derived on the cross-section σ(pp → X → SH) assuming the same SM-Higgs boson-like decay branching ratios for the S → VV decay. Upper limits on the visible cross-sections σ(pp → X → SH → WWττ) and σ(pp → X → SH → ZZττ) are also set in the ranges 3–26 fb and 6–33 fb, respectively

Searches for exclusive Higgs boson decays into D⁎γ and Z boson decays into D0γ and Ks0γ in pp collisions at √s = 13 TeV with the ATLAS detector

Searches for exclusive decays of the Higgs boson into D⁎γ and of the Z boson into D0γ and Ks0γ can probe flavour-violating Higgs boson and Z boson couplings to light quarks. Searches for these decays are performed with a pp collision data sample corresponding to an integrated luminosity of 136.3 fb−1 collected at s=13TeV between 2016–2018 with the ATLAS detector at the CERN Large Hadron Collider. In the D⁎γ and D0γ channels, the observed (expected) 95% confidence-level upper limits on the respective branching fractions are B(H→D⁎γ)<1.0(1.2)×10−3, B(Z→D0γ)<4.0(3.4)×10−6, while the corresponding results in the Ks0γ channel are B(Z→Ks0γ)<3.1(3.0)×10−6