Asynchronous timed session types: from duality to time-sensitive processes

We present a behavioural typing system for a higher-order timed calculus, using session types to model timed protocols, and the calculus to abstract implementations. Behavioural typing ensures that processes in the calculus will perform actions in the time-windows prescribed by their protocols. We introduce duality and subtyping for timed asynchronous session types. Duality includes a class of protocols that previous work on asynchronous timed session types could not type-check. Subtyping is critical for precision of our typing system, especially for session delegation. The composition of dual (timed asynchronous) types enjoys progress when using an urgent receive semantics, in which receive actions are executed as soon as the expected message is available. Our calculus increases the modelling power of calculi used in the previous work on timed sessions, adding a blocking receive primitive with timeout, and a primitive that consumes an arbitrary amount of time in a given range

Measurement of the non-prompt D-meson fraction as a function of multiplicity in proton-proton collisions at s \sqrt{s} = 13 TeV

The fractions of non-prompt (i.e. originating from beauty-hadron decays) D0 and D+ mesons with respect to the inclusive yield are measured as a function of the charged-particle multiplicity in proton-proton collisions at a centre-of-mass energy of √s = 13 TeV with the ALICE detector at the LHC. The results are reported in intervals of transverse momentum (pT) and integrated in the range 1 < pT < 24 GeV/c. The fraction of non-prompt D0 and D+ mesons is found to increase slightly as a function of pT in all the measured multiplicity intervals, while no significant dependence on the charged- particle multiplicity is observed. In order to investigate the production and hadronisation mechanisms of charm and beauty quarks, the results are compared to PYTHIA 8 as well as EPOS 3 and EPOS 4 Monte Carlo simulations, and to calculations based on the colour glass condensate including three-pomeron fusion

Inclusive and multiplicity dependent production of electrons from heavy-flavour hadron decays in pp and p-Pb collisions

Measurements of the production of electrons from heavy-flavour hadron decays in pp collisions at root s = 13 TeV at midrapidity with the ALICE detector are presented down to a transverse momentum (p(T)) of 0.2 GeV/c and up to p(T) = 35 GeV/c, which is the largest momentum range probed for inclusive electron measurements in ALICE. In p-Pb collisions, the production cross section and the nuclear modification factor of electrons from heavy-flavour hadron decays are measured in the p(T) range 0.5 < p(T) < 26 GeV/c at root s(NN) = 8.16 TeV. The nuclear modification factor is found to be consistent with unity within the statistical and systematic uncertainties. In both collision systems, first measurements of the yields of electrons from heavy-flavour hadron decays in different multiplicity intervals normalised to the multiplicity-integrated yield (self-normalised yield) at midrapidity are reported as a function of the self-normalised charged-particle multiplicity estimated at midrapidity. The self-normalised yields in pp and p-Pb collisions grow faster than linear with the self-normalised multiplicity. A strong p(T) dependence is observed in pp collisions, where the yield of high-p(T) electrons increases faster as a function of multiplicity than the one of low-p(T) electrons. The measurement in p-Pb collisions shows no p(T) dependence within uncertainties. The self-normalised yields in pp and p-Pb collisions are compared with measurements of other heavy-flavour, light-flavour, and strange particles, and with Monte Carlo simulations

Accessing the strong interaction between Λ baryons and charged kaons with the femtoscopy technique at the LHC

The interaction between Λ baryons and kaons/antikaons is a crucial ingredient for the strangeness S=0 and S=-2 sector of the meson–baryon interaction at low energies. In particular, the Lambda-Kbar might help in understanding the origin of states such as the Csi(1620), whose nature and properties are still under debate. Experimental data on Lambda-K and Lambda-Kbar systems are scarce, leading to large uncertainties and tension between the available theoretical predictions constrained by such data. In this Letter we present the measurements of Λ–KK− and Λ–KK+ correlations obtained in the high-multiplicity triggered data sample in pp collisions at sqrt(s) = 13 TeV recorded by ALICE at the LHC. The correlation function for both pairs is modeled using the Lednický–Lyuboshits analytical formula and the corresponding scattering parameters are extracted. The Λ–KK+ correlations show the presence of several structures at relative momenta k* above 200 MeV/c, compatible with the Ω baryon, the , and resonances decaying into Λ–K− pairs. The low k* region in the Λ–KK+ also exhibits the presence of the state, expected to strongly couple to the measured pair. The presented data allow to access the ΛK+ and ΛK− strong interaction with an unprecedented precision and deliver the first experimental observation of the decaying into ΛK−

Probing the chiral magnetic wave with charge-dependent flow measurements in Pb-Pb collisions at the LHC

The Chiral MagneticWave (CMW) phenomenon is essential to provide insights into the strong interaction in QCD, the properties of the quark-gluon plasma, and the topological characteristics of the early universe, offering a deeper understanding of fundamental physics in high-energy collisions. Measurements of the charge-dependent anisotropic flow coefficients are studied in Pb-Pb collisions at center-of-mass energy per nucleon-nucleon collision v sNN = 5.02TeV to probe the CMW. In particular, the slope of the normalized difference in elliptic (v2) and triangular (v3) flow coefficients of positively and negatively charged particles as a function of their event-wise normalized number difference, is reported for inclusive and identified particles. The slope rNorm 3 is found to be larger than zero and to have a magnitude similar to rNorm 2, thus pointing to a large background contribution for these measurements. Furthermore, rNorm 2 can be described by a blast wave model calculation that incorporates local charge conservation. In addition, using the event shape engineering technique yields a fraction of CMW (fCMW) contribution to this measurement which is compatible with zero. This measurement provides the very first upper limit for fCMW, and in the 10-60% centrality interval it is found to be 26% (38%) at 95% (99.7%) confidence level

Symmetry plane correlations in Pb–Pb collisions at {\varvec{\sqrt{s_\text {NN}}}} =2.76 TeV

A newly developed observable for correlations between symmetry planes, which characterize the direction of the anisotropic emission of produced particles, is mea- sured in Pb–Pb collisions at √sNN = 2.76 TeV with ALICE. This so-called Gaussian Estimator allows for the first time the study of these quantities without the influence of cor- relations between different flow amplitudes. The centrality dependence of various correlations between two, three and four symmetry planes is presented. The ordering of magni- tude between these symmetry plane correlations is discussed and the results of the Gaussian Estimator are compared with measurements of previously used estimators. The results uti- lizing the new estimator lead to significantly smaller cor- relations than reported by studies using the Scalar Product method. Furthermore, the obtained symmetry plane correla- tions are compared to state-of-the-art hydrodynamic model calculations for the evolution of heavy-ion collisions. While the model predictions provide a qualitative description of the data, quantitative agreement is not always observed, partic- ularly for correlators with significant non-linear response of the medium to initial state anisotropies of the collision sys- tem. As these results provide unique and independent infor- mation, their usage in future Bayesian analysis can further constrain our knowledge on the properties of the QCD matter produced in ultrarelativistic heavy-ion collisions

Measurement of the Λ hyperon lifetime

A new, more precise measurement of the Λ hyperon lifetime is performed using a large data sample of Pb-Pb collisions at sNN=5.02 TeV with ALICE. The Λ and Λ¯ hyperons are reconstructed at midrapidity using their two-body weak decay channel Λ→p+π- and Λ¯→p¯+π+. The measured value of the Λ lifetime is τΛ=[261.07±0.37(stat.)±0.72(syst.)] ps. The relative difference between the lifetime of Λ and Λ¯, which represents an important test of CPT invariance in the strangeness sector, is also measured. The obtained value (τΛ-τΛ¯)/τΛ=0.0013±0.0028(stat.)±0.0021(syst.) is consistent with zero within the uncertainties. Both measurements of the Λ hyperon lifetime and of the relative difference between τΛ and τΛ¯ are in agreement with the corresponding world averages of the Particle Data Group and about a factor of three more precise