Four Lessons in Versatility or How Query Languages Adapt to the Web

Exposing not only human-centered information, but machine-processable data on the Web is one of the commonalities of recent Web trends. It has enabled a new kind of applications and businesses where the data is used in ways not foreseen by the data providers. Yet this exposition has fractured the Web into islands of data, each in different Web formats: Some providers choose XML, others RDF, again others JSON or OWL, for their data, even in similar domains. This fracturing stifles innovation as application builders have to cope not only with one Web stack (e.g., XML technology) but with several ones, each of considerable complexity. With Xcerpt we have developed a rule- and pattern based query language that aims to give shield application builders from much of this complexity: In a single query language XML and RDF data can be accessed, processed, combined, and re-published. Though the need for combined access to XML and RDF data has been recognized in previous work (including the W3C’s GRDDL), our approach differs in four main aspects: (1) We provide a single language (rather than two separate or embedded languages), thus minimizing the conceptual overhead of dealing with disparate data formats. (2) Both the declarative (logic-based) and the operational semantics are unified in that they apply for querying XML and RDF in the same way. (3) We show that the resulting query language can be implemented reusing traditional database technology, if desirable. Nevertheless, we also give a unified evaluation approach based on interval labelings of graphs that is at least as fast as existing approaches for tree-shaped XML data, yet provides linear time and space querying also for many RDF graphs. We believe that Web query languages are the right tool for declarative data access in Web applications and that Xcerpt is a significant step towards a more convenient, yet highly efficient data access in a “Web of Data”

On the strength of the finite intersection principle

We study the logical content of several maximality principles related to the finite intersection principle (F\IP) in set theory. Classically, these are all equivalent to the axiom of choice, but in the context of reverse mathematics their strengths vary: some are equivalent to \ACA over \RCA, while others are strictly weaker, and incomparable with \WKL. We show that there is a computable instance of F\IP all of whose solutions have hyperimmune degree, and that every computable instance has a solution in every nonzero c.e.\ degree. In terms of other weak principles previously studied in the literature, the former result translates to F\IP implying the omitting partial types principle ($\mathsf{OPT}$). We also show that, modulo $\Sigma^0_2$ induction, F\IP lies strictly below the atomic model theorem ($\mathsf{AMT}$).Comment: This paper corresponds to section 3 of arXiv:1009.3242, "Reverse mathematics and equivalents of the axiom of choice", which has been abbreviated and divided into two pieces for publicatio

An order-theoretic characterization of the Howard-Bachmann-hierarchy

In this article we provide an intrinsic characterization of the famous Howard-Bachmann ordinal in terms of a natural well-partial-ordering by showing that this ordinal can be realized as a maximal order type of a class of generalized trees with respect to a homeomorphic embeddability relation. We use our calculations to draw some conclusions about some corresponding subsystems of second order arithmetic. All these subsystems deal with versions of light-face Π₁¹-comprehension

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

Observation of Cabibbo-suppressed two-body hadronic decays and precision mass measurement of the Ωc0\Omega_{c}^{0} baryon

The first observation of the singly Cabibbo-suppressed $\Omega_{c}^{0}\to\Omega^{-}K^{+}$ and $\Omega_{c}^{0}\to\Xi^{-}\pi^{+}$ decays is reported, using proton-proton collision data at a centre-of-mass energy of $13\,{\rm TeV}$, corresponding to an integrated luminosity of $5.4\,{\rm fb}^{-1}$, collected with the LHCb detector between 2016 and 2018. The branching fraction ratios are measured to be $\frac{\mathcal{B}(\Omega_{c}^{0}\to\Omega^{-}K^{+})}{\mathcal{B}(\Omega_{c}^{0}\to\Omega^{-}\pi^{+})}=0.0608\pm0.0051({\rm stat})\pm 0.0040({\rm syst})$, $\frac{\mathcal{B}(\Omega_{c}^{0}\to\Xi^{-}\pi^{+})}{\mathcal{B}(\Omega_{c}^{0}\to\Omega^{-}\pi^{+})}=0.1581\pm0.0087({\rm stat})\pm0.0043({\rm syst})\pm0.0016({\rm ext})$. In addition, using the $\Omega_{c}^{0}\to\Omega^{-}\pi^{+}$ decay channel, the $\Omega_{c}^{0}$ baryon mass is measured to be $M(\Omega_{c}^{0})=2695.28\pm0.07({\rm stat})\pm0.27({\rm syst})\pm0.30({\rm ext})\,{\rm MeV}/c^{2}$, improving the precision of the previous world average by a factor of four.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-011.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

Enhanced production of Λb0\Lambda_{b}^{0} baryons in high-multiplicity pppp collisions at s=13\sqrt{s} = 13 TeV

The production rate of $\Lambda_{b}^{0}$ baryons relative to $B^{0}$ mesons in $pp$ collisions at a center-of-mass energy $\sqrt{s} = 13$ TeV is measured by the LHCb experiment. The ratio of $\Lambda_{b}^{0}$ to $B^{0}$ production cross-sections shows a significant dependence on both the transverse momentum and the measured charged-particle multiplicity. At low multiplicity, the ratio measured at LHCb is consistent with the value measured in $e^{+}e^{-}$ collisions, and increases by a factor of $\sim2$ with increasing multiplicity. At relatively low transverse momentum, the ratio of $\Lambda_{b}^{0}$ to $B^{0}$ cross-sections is higher than what is measured in $e^{+}e^{-}$ collisions, but converges with the $e^{+}e^{-}$ ratio as the momentum increases. These results imply that the evolution of heavy $b$ quarks into final-state hadrons is influenced by the density of the hadronic environment produced in the collision. Comparisons with a statistical hadronization model and implications for the mechanisms enforcing quark confinement are discussed.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-027.html (LHCb public pages

Measurement of ZZ boson production cross-section in pppp collisions at s=5.02\sqrt{s} = 5.02 TeV

The first measurement of the $Z$ boson production cross-section at centre-of-mass energy $\sqrt{s} = 5.02\,$TeV in the forward region is reported, using $pp$ collision data collected by the LHCb experiment in year 2017, corresponding to an integrated luminosity of $100 \pm 2\,\rm{pb^{-1}}$. The production cross-section is measured for final-state muons in the pseudorapidity range $2.0 20\,\rm{GeV/}\it{c}$. The integrated cross-section is determined to be $$\sigma_{Z \rightarrow \mu^{+}\mu^{-}} = 39.6 \pm 0.7\,(\rm{stat}) \pm 0.6\,(\rm{syst}) \pm 0.8\,(\rm{lumi}) \ \rm{pb}$$ for the di-muon invariant mass in the range $60<M_{\mu\mu}<120\,\rm{GeV/}\it{c^{2}}$. This result and the differential cross-section results are in good agreement with theoretical predictions at next-to-next-to-leading order in the strong coupling. Based on a previous LHCb measurement of the $Z$ boson production cross-section in $p$Pb collisions at $\sqrt{s_{NN}}=5.02$ TeV, the nuclear modification factor $R_{p\rm{Pb}}$ is measured for the first time at this energy. The measured values are $1.2^{+0.5}_{-0.3}\,(\rm{stat}) \pm 0.1\,(\rm{syst})$ in the forward region ($1.53<y^*_{\mu}<4.03$) and $3.6^{+1.6}_{-0.9}\,(\rm{stat}) \pm 0.2\,(\rm{syst})$ in the backward region ($-4.97<y^*_{\mu}<-2.47$), where $y^*_{\mu}$ represents the muon rapidity in the centre-of-mass frame.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-010.html (LHCb public pages