Which mathematics for the Information Society?

MathIS is a new project that aims to reinvigorate secondary- school mathematics by exploiting insights of the dynamics of algorithmic problem solving. This paper describes the main ideas that underpin the project. In summary, we propose a central role for formal logic, the development of a calculational style of reasoning, the emphasis on the algorithmic nature of mathematics, and the promotion of self-discovery by the students. These ideas are discussed and the case is made, through a number of examples that show the teaching style that we want to introduce, for their relevance in shaping mathematics training for the years to come. In our opinion, the education of software engineers that work effectively with formal methods and mathematical abstractions should start before university and would benefit from the ideas discussed here.Long-term collaboration with J. N. Oliveira on calculational approaches to mathematics is deeply acknowledged. We are also grateful to the anonymous referees for their valuable comments. This research was supported by FCT (the Portuguese Foundation for Science and Technology), in the context of the MATHIS Project under contract PTDC/EIA/73252/2006. The work of Joao F. Ferreira and AlexandraMendeswas further supported by FCT grants SFRH/BD/24269/2005 and SFRH/BD/29553/2006, respectively

Density-functional embedding using a plane-wave basis

The constrained electron density method of embedding a Kohn-Sham system in a substrate system (first described by P. Cortona, Phys. Rev. B {\bf 44}, 8454 (1991) and T.A. Wesolowski and A. Warshel, J. Phys. Chem {\bf 97}, 8050 (1993)) is applied with a plane-wave basis and both local and non-local pseudopotentials. This method divides the electron density of the system into substrate and embedded electron densities, the sum of which is the electron density of the system of interest. Coupling between the substrate and embedded systems is achieved via approximate kinetic energy functionals. Bulk aluminium is examined as a test case for which there is a strong interaction between the substrate and embedded systems. A number of approximations to the kinetic-energy functional, both semi-local and non-local, are investigated. It is found that Kohn-Sham results can be well reproduced using a non-local kinetic energy functional, with the total energy accurate to better than 0.1 eV per atom and good agreement between the electron densities.Comment: 11 pages, 4 figure

Flaxino dark matter and stau decay

If the spontaneous breaking of Peccei-Quinn symmetry comes from soft supersymmetry breaking, the fermionic partners of the symmetry-breaking fields have mass of order the gravitino mass, and are called flatinos. The lightest flatino, called here the flaxino, is a CDM candidate if it is the lightest supersymmetric particle. We here explore flaxino dark matter assuming that the lightest ordinary supersymmetric particle is the stau, with gravity-mediated supersymmetry breaking. The decay of the stau to the flaxino is fast enough not to spoil the standard predictions of Big Bang Nucleosynthesis, and its track and decay can be seen in future colliders.Comment: 9 pages, 4 figures, to appear in JHE

Monopolium: the key to monopoles

Dirac showed that the existence of one magnetic pole in the universe could offer an explanation for the discrete nature of the electric charge. Magnetic poles appear naturally in most Grand Unified Theories. Their discovery would be of greatest importance for particle physics and cosmology. The intense experimental search carried thus far has not met with success. Moreover, if the monopoles are very massive their production is outside the range of present day facilities. A way out of this impasse would be if the monopoles bind to form monopolium, a monopole- antimonopole bound state, which is so strongly bound, that it has a relatively small mass. Under these circumstances it could be produced with present day facilities and the existence of monopoles could be indirectly proven. We study the feasibility of detecting monopolium in present and future accelerators

Non-linear evolution of the cosmic neutrino background

We investigate the non-linear evolution of the relic cosmic neutrino background by running large box-size, high resolution N-body simulations which incorporate cold dark matter (CDM) and neutrinos as independent particle species. Our set of simulations explore the properties of neutrinos in a reference Lambda CDM model with total neutrino masses between 0.05-0.60 eV in cold dark matter haloes of mass 10(11) ¿ 10(15) h(-1) M-circle dot, over a redshift range z = 0 ¿ 2. We compute the halo mass function and show that it is reasonably well fitted by the Sheth-Tormen formula, once the neutrino contribution to the total matter is removed. More importantly, we focus on the CDM and neutrino properties of the density and peculiar velocity fields in the cosmological volume, inside and in the outskirts of virialized haloes. The dynamical state of the neutrino particles depends strongly on their momentum: whereas neutrinos in the low velocity tail behave similarly to CDM particles, neutrinos in the high velocity tail are not affected by the clustering of the underlying CDM component. We find that the neutrino (linear) unperturbed momentum distribution is modified and mass and redshift dependent deviations from the expected Fermi-Dirac distribution are in place both in the cosmological volume and inside haloes. The neutrino density profiles around virialized haloes have been carefully investigated and a simple fitting formula is provided. The neutrino profile, unlike the cold dark matter one, is found to be cored with core size and central density that depend on the neutrino mass, redshift and mass of the halo, for halos of masses larger than similar to 10(13.5) h(-1) M-circle dot. For lower masses the neutrino profile is best fitted by a simple power-law relation in the range probed by the simulations. The results we obtain are numerically converged in terms of neutrino profiles at the 10% level for scales above similar to 200 h(-1) kpc at z = 0, and are stable with respect to box-size and starting redshift of the simulation. Our findings are particularly important in view of upcoming large-scale structure surveys, like Euclid, that are expected to probe the non-linear regime at the percent level with lensing and clustering observations

Evaluating the Effects of SARS-CoV-2 Spike Mutation D614G on Transmissibility and Pathogenicity

Global dispersal and increasing frequency of the SARS-CoV-2 spike protein variant D614G are suggestive of a selective advantage but may also be due to a random founder effect. We investigate the hypothesis for positive selection of spike D614G in the United Kingdom using more than 25,000 whole genome SARS-CoV-2 sequences. Despite the availability of a large dataset, well represented by both spike 614 variants, not all approaches showed a conclusive signal of positive selection. Population genetic analysis indicates that 614G increases in frequency relative to 614D in a manner consistent with a selective advantage. We do not find any indication that patients infected with the spike 614G variant have higher COVID-19 mortality or clinical severity, but 614G is associated with higher viral load and younger age of patients. Significant differences in growth and size of 614G phylogenetic clusters indicate a need for continued study of this variant

Search for single vector-like B quark production and decay via B → bH(b¯b) in pp collisions at √s = 13 TeV with the ATLAS detector

A search is presented for single production of a vector-like B quark decaying into a Standard Model b-quark and a Standard Model Higgs boson, which decays into a b¯b pair. The search is carried out in 139 fb−1 of √s = 13 TeV proton-proton collision data collected by the ATLAS detector at the LHC between 2015 and 2018. No significant deviation from the Standard Model background prediction is observed, and mass-dependent exclusion limits at the 95% confidence level are set on the resonance production cross-section in several theoretical scenarios determined by the couplings cW, cZ and cH between the B quark and the Standard Model W, Z and Higgs bosons, respectively. For a vector-like B occurring as an isospin singlet, the search excludes values of cW greater than 0.45 for a B resonance mass (mB) between 1.0 and 1.2 TeV. For 1.2 TeV < mB < 2.0 TeV, cW values larger than 0.50–0.65 are excluded. If the B occurs as part of a (B, Y) doublet, the smallest excluded cZ coupling values range between 0.3 and 0.5 across the investigated resonance mass range 1.0 TeV < mB < 2.0 TeV

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

Search for heavy resonances decaying into a Z or W boson and a Higgs boson in final states with leptons and b-jets in 139 fb−1 of pp collisions at s√ = 13 TeV with the ATLAS detector

This article presents a search for new resonances decaying into a Z or W boson and a 125 GeV Higgs boson h, and it targets the νν¯¯¯bb¯¯, ℓ+ℓ−bb¯¯, or ℓ±νbb¯¯ final states, where ℓ = e or μ, in proton-proton collisions at s√ = 13 TeV. The data used correspond to a total integrated luminosity of 139 fb−1 collected by the ATLAS detector during Run 2 of the LHC at CERN. The search is conducted by examining the reconstructed invariant or transverse mass distributions of Zh or Wh candidates for evidence of a localised excess in the mass range from 220 GeV to 5 TeV. No significant excess is observed and 95% confidence-level upper limits between 1.3 pb and 0.3 fb are placed on the production cross section times branching fraction of neutral and charged spin-1 resonances and CP-odd scalar bosons. These limits are converted into constraints on the parameter space of the Heavy Vector Triplet model and the two-Higgs-doublet model

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)