Reachability of Communicating Timed Processes

We study the reachability problem for communicating timed processes, both in discrete and dense time. Our model comprises automata with local timing constraints communicating over unbounded FIFO channels. Each automaton can only access its set of local clocks; all clocks evolve at the same rate. Our main contribution is a complete characterization of decidable and undecidable communication topologies, for both discrete and dense time. We also obtain complexity results, by showing that communicating timed processes are at least as hard as Petri nets; in the discrete time, we also show equivalence with Petri nets. Our results follow from mutual topology-preserving reductions between timed automata and (untimed) counter automata.Comment: Extended versio

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

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

Measurements of inclusive J/ψ production at midrapidity and forward rapidity in Pb-Pb collisions at √sNN=5.02 TeV

The measurements of the inclusive J/ψ yield at midrapidity (|y|&lt;0.9) and forward rapidity (2.5 &lt; 4) in Pb–Pb collisions at sNN=5.02 TeV with the ALICE detector at the LHC are reported. The inclusive J/ψ production yields and nuclear modification factors, RAA, are measured as a function of the collision centrality, J/ψ transverse momentum (pT), and rapidity. The J/ψ average transverse momentum and squared transverse momentum (〈pT〉 and 〈pT2〉) are evaluated as a function of the centrality at midrapidity. Compared to the previous ALICE publications, here the entire Pb–Pb collisions dataset collected during the LHC Run 2 is used, which improves the precision of the measurements and extends the pT coverage. The pT-integrated RAA shows a hint of an increasing trend towards unity from semicentral to central collisions at midrapidity, while it is flat at forward rapidity. The pT-differential RAA shows a strong suppression at high pT with less suppression at low pT where it reaches a larger value at midrapidity compared to forward rapidity. The ratio of the pT-integrated yields of J/ψ to those of D0 mesons is reported for the first time for the central and semicentral event classes at midrapidity. Model calculations implementing charmonium production via the coalescence of charm quarks and antiquarks during the fireball evolution (transport models) or in a statistical approach with thermal weights are in good agreement with the data at low pT. At higher pT, the data are well described by transport models and a model based on energy loss in the strongly-interacting medium produced in nuclear collisions at the LHC

First Measurement of the |t| Dependence of Incoherent J/ψ Photonuclear Production

The first measurement of the cross section for incoherent photonuclear production of J/ψ vector mesons as a function of the Mandelstam |t| variable is presented. The measurement was carried out with the ALICE detector at midrapidity, |y|&lt;0.8, using ultraperipheral collisions of Pb nuclei at a center-of-mass energy per nucleon pair of sNN=5.02 TeV. This rapidity interval corresponds to a Bjorken-x range (0.3-1.4)×10-3. Cross sections are given in five |t| intervals in the range 0.04&lt;|t|&lt;1 GeV2 and compared to the predictions by different models. Models that ignore quantum fluctuations of the gluon density in the colliding hadron predict a |t| dependence of the cross section much steeper than in data. The inclusion of such fluctuations in the same models provides a better description of the data

Pseudorapidity dependence of anisotropic flow and its decorrelations using long-range multiparticle correlations in Pb-Pb and Xe-Xe collisions

The pseudorapidity dependence of elliptic (v2), triangular (v3), and quadrangular (v4) flow coefficients of charged particles measured in Pb–Pb collisions at a centre-of-mass energy per nucleon pair of sNN=5.02TeV and in Xe–Xe collisions at sNN=5.44TeV with ALICE at the LHC are presented. The measurements are performed in the pseudorapidity range −3.5&lt;η&lt;5 for various centrality intervals using two- and multi-particle cumulants with the subevent method. The flow probability density function (p.d.f.) is studied with the ratio of flow coefficient v2 calculated with four- and two-particle cumulant, and suggests that the variance of flow p.d.f. is independent of pseudorapidity. The decorrelation of the flow vector in the longitudinal direction is probed using two-particle correlations. The results measured with respect to different reference regions in pseudorapidity exhibit differences, argued to be a result of saturating decorrelation effect above a certain pseudorapidity separation, in contrast to previous publications which assign this observation to non-flow effects. The results are compared to 3+1 dimensional hydrodynamic and the AMPT transport model calculations. Neither of the models is able to simultaneously describe the pseudorapidity dependence of measurements of anisotropic flow and its fluctuations. The results presented in this work highlight shortcomings in our current understanding of initial conditions and subsequent system expansion in the longitudinal direction. Therefore, they provide input for its improvement

Skewness and kurtosis of mean transverse momentum fluctuations at the LHC energies

The first measurements of skewness and kurtosis of mean transverse momentum (〈pT〉) fluctuations are reported in Pb–Pb collisions at sNN = 5.02 TeV, Xe–Xe collisions at sNN = 5.44 TeV and pp collisions at s=5.02 TeV using the ALICE detector. The measurements are carried out as a function of system size 〈dNch/dη〉|η|&lt;0.51/3, using charged particles with transverse momentum (pT) and pseudorapidity (η), in the range 0.2&lt;3.0 GeV/c and |η|&lt;0.8, respectively. In Pb–Pb and Xe–Xe collisions, positive skewness is observed in the fluctuations of 〈pT〉 for all centralities, which is significantly larger than what would be expected in the scenario of independent particle emission. This positive skewness is considered a crucial consequence of the hydrodynamic evolution of the hot and dense nuclear matter created in heavy-ion collisions. Furthermore, similar observations of positive skewness for minimum bias pp collisions are also reported here. Kurtosis of 〈pT〉 fluctuations is found to be in good agreement with the kurtosis of Gaussian distribution, for most central Pb–Pb collisions. Hydrodynamic model calculations with MUSIC using Monte Carlo Glauber initial conditions are able to explain the measurements of both skewness and kurtosis qualitatively from semicentral to central collisions in Pb–Pb system. Color reconnection mechanism in PYTHIA8 model seems to play a pivotal role in capturing the qualitative behavior of the same measurements in pp collisions

Multiplicity and event-scale dependent flow and jet fragmentation in pp collisions at √s=13 TeV and in p-Pb collisions at √sNN=5.02 TeV

Long- and short-range correlations for pairs of charged particles are studied via two-particle angular correlations in pp collisions at s = 13 TeV and p–Pb collisions at sNN = 5.02 TeV. The correlation functions are measured as a function of relative azimuthal angle ∆φ and pseudorapidity separation ∆η for pairs of primary charged particles within the pseudorapidity interval |η| &lt; 0.9 and the transverse-momentum interval 1 &lt; pT&lt; 4 GeV/c. Flow coefficients are extracted for the long-range correlations (1.6 &lt; |∆η| &lt; 1.8) in various high-multiplicity event classes using the low-multiplicity template fit method. The method is used to subtract the enhanced yield of away-side jet fragments in high-multiplicity events. These results show decreasing flow signals toward lower multiplicity events. Furthermore, the flow coefficients for events with hard probes, such as jets or leading particles, do not exhibit any significant changes compared to those obtained from high-multiplicity events without any specific event selection criteria. The results are compared with hydrodynamic-model calculations, and it is found that a better understanding of the initial conditions is necessary to describe the results, particularly for low-multiplicity events

Search for jet quenching effects in high-multiplicity pp collisions at √s=13 TeV via di-jet acoplanarity

The ALICE Collaboration reports a search for jet quenching effects in high-multiplicity (HM) proton-proton collisions at s = 13 TeV, using the semi-inclusive azimuthal-difference distribution ∆φ of charged-particle jets recoiling from a high transverse momentum (high-pT,trig) trigger hadron. Jet quenching may broaden the ∆φ distribution measured in HM events compared to that in minimum bias (MB) events. The measurement employs a pT,trig-differential observable for data-driven suppression of the contribution of multiple partonic interactions, which is the dominant background. While azimuthal broadening is indeed observed in HM compared to MB events, similar broadening for HM events is observed for simulations based on the PYTHIA 8 Monte Carlo generator, which does not incorporate jet quenching. Detailed analysis of these data and simulations show that the azimuthal broadening is due to bias of the HM selection towards events with multiple jets in the final state. The identification of this bias has implications for all jet quenching searches where selection is made on the event activity

Measurement of the low-energy antitriton inelastic cross section

In this Letter, the first measurement of the inelastic cross section for antitriton–nucleus interactions is reported, covering the momentum range of 0.8≤p&lt;2.4 GeV/c. The measurement is carried out using data recorded with the ALICE detector in pp and Pb–Pb collisions at a centre-of-mass energy per nucleon of 13 TeV and 5.02 TeV, respectively. The detector material serves as an absorber for antitriton nuclei. The raw yield of (anti)triton nuclei measured with the ALICE apparatus is compared to the results from detailed ALICE simulations based on the [Formula presented] toolkit for the propagation of (anti)particles through matter, allowing one to quantify the inelastic interaction probability in the detector material. This analysis complements the measurement of the inelastic cross section of antinuclei up to A=3 carried out by the ALICE Collaboration, and demonstrates the feasibility of the study of the isospin dependence of inelastic interaction cross section with the analysis techniques presented in this Letter