Modular, higher order cardinality analysis in theory and practice

Since the mid '80s, compiler writers for functional languages (especially lazy ones) have been writing papers about identifying and exploiting thunks and lambdas that are used only once. However, it has proved difficult to achieve both power and simplicity in practice. In this paper, we describe a new, modular analysis for a higher order language, which is both simple and effective. We prove the analysis sound with respect to a standard call-by-need semantics, and present measurements of its use in a full-scale, state-of-the-art optimising compiler. The analysis finds many single-entry thunks and one-shot lambdas and enables a number of program optimisations. This paper extends our preceding conference publication (Sergey et al. 2014 Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014). ACM, pp. 335–348) with proofs, expanded report on evaluation and a detailed examination of the factors causing the loss of precision in the analysis

Is telomere length socially patterned? Evidence from the West of Scotland Twenty-07 study

Lower socioeconomic status (SES) is strongly associated with an increased risk of morbidity and premature mortality, but it is not known if the same is true for telomere length, a marker often used to assess biological ageing. The West of Scotland Twenty-07 Study was used to investigate this and consists of three cohorts aged approximately 35 (N = 775), 55 (N = 866) and 75 years (N = 544) at the time of telomere length measurement. Four sets of measurements of SES were investigated: those collected contemporaneously with telomere length assessment, educational markers, SES in childhood and SES over the preceding twenty years. We found mixed evidence for an association between SES and telomere length. In 35-year-olds, many of the education and childhood SES measures were associated with telomere length, i.e. those in poorer circumstances had shorter telomeres, as was intergenerational social mobility, but not accumulated disadvantage. A crude estimate showed that, at the same chronological age, social renters, for example, were nine years (biologically) older than home owners. No consistent associations were apparent in those aged 55 or 75. There is evidence of an association between SES and telomere length, but only in younger adults and most strongly using education and childhood SES measures. These results may reflect that childhood is a sensitive period for telomere attrition. The cohort differences are possibly the result of survival bias suppressing the SES-telomere association; cohort effects with regard different experiences of SES; or telomere possibly being a less effective marker of biological ageing at older ages

Challenges in QCD matter physics --The scientific programme of the Compressed Baryonic Matter experiment at FAIR

Substantial experimental and theoretical efforts worldwide are devoted to explore the phase diagram of strongly interacting matter. At LHC and top RHIC energies, QCD matter is studied at very high temperatures and nearly vanishing net-baryon densities. There is evidence that a Quark-Gluon-Plasma (QGP) was created at experiments at RHIC and LHC. The transition from the QGP back to the hadron gas is found to be a smooth cross over. For larger net-baryon densities and lower temperatures, it is expected that the QCD phase diagram exhibits a rich structure, such as a first-order phase transition between hadronic and partonic matter which terminates in a critical point, or exotic phases like quarkyonic matter. The discovery of these landmarks would be a breakthrough in our understanding of the strong interaction and is therefore in the focus of various high-energy heavy-ion research programs. The Compressed Baryonic Matter (CBM) experiment at FAIR will play a unique role in the exploration of the QCD phase diagram in the region of high net-baryon densities, because it is designed to run at unprecedented interaction rates. High-rate operation is the key prerequisite for high-precision measurements of multi-differential observables and of rare diagnostic probes which are sensitive to the dense phase of the nuclear fireball. The goal of the CBM experiment at SIS100 (sNN= 2.7--4.9 GeV) is to discover fundamental properties of QCD matter: the phase structure at large baryon-chemical potentials (μB> 500 MeV), effects of chiral symmetry, and the equation of state at high density as it is expected to occur in the core of neutron stars. In this article, we review the motivation for and the physics programme of CBM, including activities before the start of data taking in 2024, in the context of the worldwide efforts to explore high-density QCD matter

Characterization of the metabolic profile associated with serum 25-hydroxyvitamin D : a cross-sectional analysis in population-based data

Background: Numerous observational studies have observed associations between vitamin D deficiency and cardiometabolic diseases, but these findings might be confounded by obesity. A characterization of the metabolic profile associated with serum 25-hydroxyvitamin D [25(OH)D] levels, in general and stratified by abdominal obesity, may help to untangle the relationship between vitamin D, obesity and cardiometabolic health. Methods: Serum metabolomics measurements were obtained from a nuclear magnetic resonance spectroscopy (NMR)- and a mass spectrometry (MS)-based platform. The discovery was conducted in 1726 participants of the population-based KORA-F4 study, in which the associations of the concentrations of 415 metabolites with 25(OH)D levels were assessed in linear models. The results were replicated in 6759 participants (NMR) and 609 (MS) participants, respectively, of the population-based FINRISK 1997 study. Results: Mean [standard deviation (SD)] 25(OH)D levels were 15.2 (7.5) ng/ml in KORA F4 and 13.8 (5.9) ng/ml in FINRISK 1997; 37 metabolites were associated with 25(OH) D in KORA F4 at P <0.05/415. Of these, 30 associations were replicated in FINRISK 1997 at P <0.05/37. Among these were constituents of (very) large very-low-density lipoprotein and small low-density lipoprotein subclasses and related measures like serum triglycerides as well as fatty acids and measures reflecting the degree of fatty acid saturation. The observed associations were independent of waist circumference and generally similar in abdominally obese and non-obese participants. Conclusions: Independently of abdominal obesity, higher 25(OH)D levels were associated with a metabolite profile characterized by lower concentrations of atherogenic lipids and a higher degree of fatty acid polyunsaturation. These results indicate that the relationship between vitamin D deficiency and cardiometabolic diseases is unlikely to merely reflect obesity-related pathomechanisms.Peer reviewe

Multiplicity dependence of jet-like two-particle correlations in p-Pb collisions at sNN\sqrt{s_{NN}} = 5.02 TeV

Two-particle angular correlations between unidentified charged trigger and associated particles are measured by the ALICE detector in p-Pb collisions at a nucleon-nucleon centre-of-mass energy of 5.02 TeV. The transverse-momentum range 0.7 $< p_{\rm{T}, assoc} < p_{\rm{T}, trig} <$ 5.0 GeV/$c$ is examined, to include correlations induced by jets originating from low momen\-tum-transfer scatterings (minijets). The correlations expressed as associated yield per trigger particle are obtained in the pseudorapidity range $|\eta|<0.9$. The near-side long-range pseudorapidity correlations observed in high-multiplicity p-Pb collisions are subtracted from both near-side short-range and away-side correlations in order to remove the non-jet-like components. The yields in the jet-like peaks are found to be invariant with event multiplicity with the exception of events with low multiplicity. This invariance is consistent with the particles being produced via the incoherent fragmentation of multiple parton--parton scatterings, while the yield related to the previously observed ridge structures is not jet-related. The number of uncorrelated sources of particle production is found to increase linearly with multiplicity, suggesting no saturation of the number of multi-parton interactions even in the highest multiplicity p-Pb collisions. Further, the number scales in the intermediate multiplicity region with the number of binary nucleon-nucleon collisions estimated with a Glauber Monte-Carlo simulation.Comment: 23 pages, 6 captioned figures, 1 table, authors from page 17, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/161

Challenges in QCD matter physics - The Compressed Baryonic Matter experiment at FAIR

Substantial experimental and theoretical efforts worldwide are devoted to explore the phase diagram of strongly interacting matter. At LHC and top RHIC energies, QCD matter is studied at very high temperatures and nearly vanishing net-baryon densities. There is evidence that a Quark-Gluon-Plasma (QGP) was created at experiments at RHIC and LHC. The transition from the QGP back to the hadron gas is found to be a smooth cross over. For larger net-baryon densities and lower temperatures, it is expected that the QCD phase diagram exhibits a rich structure, such as a first-order phase transition between hadronic and partonic matter which terminates in a critical point, or exotic phases like quarkyonic matter. The discovery of these landmarks would be a breakthrough in our understanding of the strong interaction and is therefore in the focus of various high-energy heavy-ion research programs. The Compressed Baryonic Matter (CBM) experiment at FAIR will play a unique role in the exploration of the QCD phase diagram in the region of high net-baryon densities, because it is designed to run at unprecedented interaction rates. High-rate operation is the key prerequisite for high-precision measurements of multi-differential observables and of rare diagnostic probes which are sensitive to the dense phase of the nuclear fireball. The goal of the CBM experiment at SIS100 (sqrt(s_NN) = 2.7 - 4.9 GeV) is to discover fundamental properties of QCD matter: the phase structure at large baryon-chemical potentials (mu_B > 500 MeV), effects of chiral symmetry, and the equation-of-state at high density as it is expected to occur in the core of neutron stars. In this article, we review the motivation for and the physics programme of CBM, including activities before the start of data taking in 2022, in the context of the worldwide efforts to explore high-density QCD matter.Comment: 15 pages, 11 figures. Published in European Physical Journal

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

Borrelia valaisiana resist complement-mediated killing independently of the recruitment of immune regulators and inactivation of complement components

Spirochetes belonging to the Borrelia (B.) burgdorferi sensu lato complex differ in their resistance to complement-mediated killing, particularly in regard to human serum. In the present study, we elucidate the serum and complement susceptibility of B. valaisiana, a genospecies with the potential to cause Lyme disease in Europe as well as in Asia. Among the investigated isolates, growth of ZWU3 Ny3 was not affected while growth of VS116 and Bv9 was strongly inhibited in the presence of 50% human serum. Analyzing complement activation, complement components C3, C4 and C6 were deposited on the surface of isolates VS116 and Bv9, and similarly the membrane attack complex was formed on their surface. In contrast, no surface-deposited components and no aberrations in cell morphology were detected for serum-resistant ZWU3 Ny3. While further investigating the protective role of bound complement regulators in mediating complement resistance, we discovered that none of the B. valaisiana isolates analyzed bound complement regulators Factor H, Factor H-like protein 1, C4b binding protein or C1 esterase inhibitor. In addition, B. valaisiana also lacked intrinsic proteolytic activity to degrade complement components C3, C3b, C4, C4b, and C5. Taken together, these findings suggest that certain B. valaisiana isolates differ in their capability to resist complement-mediating killing by human serum. The molecular mechanism utilized by B. valaisiana to inhibit bacteriolysis appears not to involve binding of the key host complement regulators of the alternative, classical, and lectin pathways as already known for serum-resistant Lyme disease or relapsing fever borreliae

Charge separation relative to the reaction plane in Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm NN}}= 2.76 TeV

Measurements of charge dependent azimuthal correlations with the ALICE detector at the LHC are reported for Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV. Two- and three-particle charge-dependent azimuthal correlations in the pseudo-rapidity range $|\eta| < 0.8$ are presented as a function of the collision centrality, particle separation in pseudo-rapidity, and transverse momentum. A clear signal compatible with a charge-dependent separation relative to the reaction plane is observed, which shows little or no collision energy dependence when compared to measurements at RHIC energies. This provides a new insight for understanding the nature of the charge dependent azimuthal correlations observed at RHIC and LHC energies.Comment: 12 pages, 3 captioned figures, authors from page 2 to 6, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/286

Multi-particle azimuthal correlations in p-Pb and Pb-Pb collisions at the CERN Large Hadron Collider

Measurements of multi-particle azimuthal correlations (cumulants) for charged particles in p-Pb and Pb-Pb collisions are presented. They help address the question of whether there is evidence for global, flow-like, azimuthal correlations in the p-Pb system. Comparisons are made to measurements from the larger Pb-Pb system, where such evidence is established. In particular, the second harmonic two-particle cumulants are found to decrease with multiplicity, characteristic of a dominance of few-particle correlations in p-Pb collisions. However, when a $|\Delta \eta|$ gap is placed to suppress such correlations, the two-particle cumulants begin to rise at high-multiplicity, indicating the presence of global azimuthal correlations. The Pb-Pb values are higher than the p-Pb values at similar multiplicities. In both systems, the second harmonic four-particle cumulants exhibit a transition from positive to negative values when the multiplicity increases. The negative values allow for a measurement of $v_{2}\{4\}$ to be made, which is found to be higher in Pb-Pb collisions at similar multiplicities. The second harmonic six-particle cumulants are also found to be higher in Pb-Pb collisions. In Pb-Pb collisions, we generally find $v_{2}\{4\} \simeq v_{2}\{6\}\neq 0$ which is indicative of a Bessel-Gaussian function for the $v_{2}$ distribution. For very high-multiplicity Pb-Pb collisions, we observe that the four- and six-particle cumulants become consistent with 0. Finally, third harmonic two-particle cumulants in p-Pb and Pb-Pb are measured. These are found to be similar for overlapping multiplicities, when a $|\Delta\eta| > 1.4$ gap is placed.Comment: 25 pages, 11 captioned figures, 3 tables, authors from page 20, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/87