Tuning the program transformers from LCC to PDL

This work proposes an alternative definition of the so-called program transformers used to obtain reduction axioms in the Logic of Communication and Change (LCC). Our proposal uses an elegant matrix treatment of Brzozowski’s equational method instead of Kleene’s translation from finite automata to regular expressions. The two alternatives are shown to be equivalent, with Brzozowski’s method having the advantage of generating smaller expressions for models with average connectivity

The BLLAST field experiment: Boundary-Layer late afternoon and sunset turbulence

Due to the major role of the sun in heating the earth's surface, the atmospheric planetary boundary layer over land is inherently marked by a diurnal cycle. The afternoon transition, the period of the day that connects the daytime dry convective boundary layer to the night-time stable boundary layer, still has a number of unanswered scientific questions. This phase of the diurnal cycle is challenging from both modelling and observational perspectives: it is transitory, most of the forcings are small or null and the turbulence regime changes from fully convective, close to homogeneous and isotropic, toward a more heterogeneous and intermittent state. These issues motivated the BLLAST (Boundary-Layer Late Afternoon and Sunset Turbulence) field campaign that was conducted from 14 June to 8 July 2011 in southern France, in an area of complex and heterogeneous terrain. A wide range of instrumented platforms including full-size aircraft, remotely piloted aircraft systems, remote-sensing instruments, radiosoundings, tethered balloons, surface flux stations and various meteorological towers were deployed over different surface types. The boundary layer, from the earth's surface to the free troposphere, was probed during the entire day, with a focus and intense observation periods that were conducted from midday until sunset. The BLLAST field campaign also provided an opportunity to test innovative measurement systems, such as new miniaturized sensors, and a new technique for frequent radiosoundings of the low troposphere. Twelve fair weather days displaying various meteorological conditions were extensively documented during the field experiment. The boundary-layer growth varied from one day to another depending on many contributions including stability, advection, subsidence, the state of the previous day's residual layer, as well as local, meso- or synoptic scale conditions. Ground-based measurements combined with tethered-balloon and airborne observations captured the turbulence decay from the surface throughout the whole boundary layer and documented the evolution of the turbulence characteristic length scales during the transition period. Closely integrated with the field experiment, numerical studies are now underway with a complete hierarchy of models to support the data interpretation and improve the model representations.publishedVersio

Studies of η\eta and η′\eta' production in pppp and ppPb collisions

The production of $\eta$ and $\eta'$ mesons is studied in proton-proton and proton-lead collisions collected with the LHCb detector. Proton-proton collisions are studied at center-of-mass energies of $5.02$ and $13~{\rm TeV}$, and proton-lead collisions are studied at a center-of-mass energy per nucleon of $8.16~{\rm TeV}$. The studies are performed in center-of-mass rapidity regions $2.5<y_{\rm c.m.}<3.5$ (forward rapidity) and $-4.0<y_{\rm c.m.}<-3.0$ (backward rapidity) defined relative to the proton beam direction. The $\eta$ and $\eta'$ production cross sections are measured differentially as a function of transverse momentum for $1.5<p_{\rm T}<10~{\rm GeV}$ and $3<p_{\rm T}<10~{\rm GeV}$, respectively. The differential cross sections are used to calculate nuclear modification factors. The nuclear modification factors for $\eta$ and $\eta'$ mesons agree at both forward and backward rapidity, showing no significant evidence of mass dependence. The differential cross sections of $\eta$ mesons are also used to calculate $\eta/\pi^0$ cross section ratios, which show evidence of a deviation from the world average. These studies offer new constraints on mass-dependent nuclear effects in heavy-ion collisions, as well as $\eta$ and $\eta'$ meson fragmentation.Comment: All figures and tables, along with machine-readable versions and any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/Publications/p/LHCb-PAPER-2023-030.html (LHCb public pages

Fraction of χc\chi_c decays in prompt J/ψJ/\psi production measured in pPb collisions at sNN=8.16\sqrt{s_{NN}}=8.16 TeV

The fraction of $\chi_{c1}$ and $\chi_{c2}$ decays in the prompt $J/\psi$ yield, $F_{\chi c}=\sigma_{\chi_c \to J/\psi}/\sigma_{J/\psi}$, is measured by the LHCb detector in pPb collisions at $\sqrt{s_{NN}}=8.16$ TeV. The study covers the forward ($1.5<y^*<4.0$) and backward ($-5.0<y^*<-2.5$) rapidity regions, where $y^*$ is the $J/\psi$ rapidity in the nucleon-nucleon center-of-mass system. Forward and backward rapidity samples correspond to integrated luminosities of 13.6 $\pm$ 0.3 nb$^{-1}$ and 20.8 $\pm$ 0.5 nb$^{-1}$, respectively. The result is presented as a function of the $J/\psi$ transverse momentum $p_{T,J/\psi}$ in the range 1$<p_{T, J/\psi}<20$ GeV/$c$. The $F_{\chi c}$ fraction at forward rapidity is compatible with the LHCb measurement performed in $pp$ collisions at $\sqrt{s}=7$ TeV, whereas the result at backward rapidity is 2.4 $\sigma$ larger than in the forward region for $1<p_{T, J/\psi}<3$ GeV/$c$. The increase of $F_{\chi c}$ at low $p_{T, J/\psi}$ at backward rapidity is compatible with the suppression of the $\psi$(2S) contribution to the prompt $J/\psi$ yield. The lack of in-medium dissociation of $\chi_c$ states observed in this study sets an upper limit of 180 MeV on the free energy available in these pPb collisions to dissociate or inhibit charmonium state formation.Comment: All figures and tables, along with machine-readable versions and any supplementary material and additional information, are available at https://cern.ch/lhcbproject/Publications/p/LHCb-PAPER-2023-028.html (LHCb public pages

Density of GeV muons in air showers measured with IceTop

We present a measurement of the density of GeV muons in near-vertical air showers using three years of data recorded by the IceTop array at the South Pole. Depending on the shower size, the muon densities have been measured at lateral distances between 200 and 1000 m. From these lateral distributions, we derive the muon densities as functions of energy at reference distances of 600 and 800 m for primary energies between 2.5 and 40 PeV and between 9 and 120 PeV, respectively. The muon densities are determined using, as a baseline, the hadronic interaction model Sibyll 2.1 together with various composition models. The measurements are consistent with the predicted muon densities within these baseline interaction and composition models. The measured muon densities have also been compared to simulations using the post-LHC models EPOS-LHC and QGSJet-II.04. The result of this comparison is that the post-LHC models together with any given composition model yield higher muon densities than observed. This is in contrast to the observations above 1 EeV where all model simulations yield for any mass composition lower muon densities than the measured ones. The post-LHC models in general feature higher muon densities so that the agreement with experimental data at the highest energies is improved but the muon densities are not correct in the energy range between 2.5 and about 100 PeV

First Search for Unstable Sterile Neutrinos with the IceCube Neutrino Observatory

We present a search for an unstable sterile neutrino by looking for a matter-induced signal in eight years of atmospheric $\nu_\mu$ data collected from 2011 to 2019 at the IceCube Neutrino Observatory. Both the (stable) three-neutrino and the 3+1 sterile neutrino models are disfavored relative to the unstable sterile neutrino model, though with $p$-values of 2.5\% and 0.81\%, respectively, we do not observe evidence for 3+1 neutrinos with neutrino decay. The best-fit parameters for the sterile neutrino with decay model from this study are $\Delta m_{41}^2=6.7^{+3.9}_{-2.5}\,\rm{eV}^2$, $\sin^2 2\theta_{24}=0.33^{+0.20}_{-0.17}$, and $g^2=2.5\pi\pm1.5\pi$, where $g$ is the decay-mediating coupling. The preferred regions from short-baseline oscillation searches are excluded at 90\% C.L

Observation of high-energy neutrinos from the Galactic plane

The origin of high-energy cosmic rays, atomic nuclei that continuously impact Earth's atmosphere, has been a mystery for over a century. Due to deflection in interstellar magnetic fields, cosmic rays from the Milky Way arrive at Earth from random directions. However, near their sources and during propagation, cosmic rays interact with matter and produce high-energy neutrinos. We search for neutrino emission using machine learning techniques applied to ten years of data from the IceCube Neutrino Observatory. We identify neutrino emission from the Galactic plane at the 4.5$\sigma$ level of significance, by comparing diffuse emission models to a background-only hypothesis. The signal is consistent with modeled diffuse emission from the Galactic plane, but could also arise from a population of unresolved point sources.Comment: Submitted on May 12th, 2022; Accepted on May 4th, 202

Observation of strangeness enhancement with charmed mesons in high-multiplicity pPbp\mathrm{Pb} collisions at sNN=8.16 \sqrt {s_{\mathrm{NN}}}=8.16\,TeV

The production of prompt $D^+_{s}$ and $D^+$ mesons is measured by the LHCb experiment in proton-lead ($p\mathrm{Pb}$) collisions in both the forward ($1.5<y^*<4.0$) and backward ($-5.0<y^*<-2.5$) rapidity regions at a nucleon-nucleon center-of-mass energy of $\sqrt {s_{\mathrm{NN}}}=8.16\,$TeV. The nuclear modification factors of both $D^+_{s}$ and $D^+$ mesons are determined as a function of transverse momentum, $p_{\mathrm{T}}$, and rapidity. In addition, the $D^+_{s}$ to $D^+$ cross-section ratio is measured as a function of the charged particle multiplicity in the event. An enhanced $D^+_{s}$ to $D^+$ production in high-multiplicity events is observed for the whole measured $p_{\mathrm{T}}$ range, in particular at low $p_{\mathrm{T}}$ and backward rapidity, where the significance exceeds six standard deviations. This constitutes the first observation of strangeness enhancement in charm quark hadronization in high-multiplicity $p\mathrm{Pb}$ collisions. The results are also qualitatively consistent with the presence of quark coalescence as an additional charm quark hadronization mechanism in high-multiplicity proton-lead collisions.Comment: All figures and tables, along with machine-readable versions and any supplementary material and additional information, are available at https://cern.ch/lhcbproject/Publications/p/LHCb-PAPER-2023-021.html (LHCb public pages

Search for CP\textit{CP} violation in the phase space of D0→KS0K±π∓D^{0} \rightarrow K_{S}^{0} K^{\pm} \pi^{\mp} decays with the energy test

A search for $\textit{CP}$ violation in $D^{0} \rightarrow K_{S}^{0} K^{+} \pi^{-}$ and $D^{0} \rightarrow K_{S}^{0} K^{-} \pi^{+}$ decays is reported. The search is performed using an unbinned model-independent method known as the energy test that probes local $\textit{CP}$ violation in the phase space of the decays. The data analysed correspond to an integrated luminosity of $5.4~$fb$^{-1}$ collected in proton-proton collisions by the LHCb experiment at a centre-of-mass energy of $\sqrt{s}=13$~TeV, amounting to approximately 950000 and 620000 signal candidates for the $D^{0} \rightarrow K_{S}^{0} K^{-} \pi^{+}$ and $D^{0} \rightarrow K_{S}^{0} K^{+} \pi^{-}$ modes, respectively. The method is validated using $D^{0} \rightarrow K^{-} \pi^{+} \pi^{-} \pi^{+}$ and $D^{0} \rightarrow K_{S}^{0} \pi^{+} \pi^{-}$ decays, where $\textit{CP}$-violating effects are expected to be negligible, and using background-enhanced regions of the signal decays. The results are consistent with $\textit{CP}$ symmetry in both the $D^{0} \rightarrow K_{S}^{0} K^{-} \pi^{+}$ and the $D^{0} \rightarrow K_{S}^{0} K^{+} \pi^{-}$ decays, with $p$-values for the hypothesis of no $\textit{CP}$ violation of 70% and 66%, respectively.Comment: All figures and tables, along with any supplementary material and additional information, are available at https://cern.ch/lhcbproject/Publications/p/LHCb-PAPER-2023-019.html (LHCb public pages