Comparison of PBO solvers in a dependency solving domain

Linux package managers have to deal with dependencies and conflicts of packages required to be installed by the user. As an NP-complete problem, this is a hard task to solve. In this context, several approaches have been pursued. Apt-pbo is a package manager based on the apt project that encodes the dependency solving problem as a pseudo-Boolean optimization (PBO) problem. This paper compares different PBO solvers and their effectiveness on solving the dependency solving problem.Comment: In Proceedings LoCoCo 2010, arXiv:1007.083

Observation of J/ψpJ/\psi p resonances consistent with pentaquark states in Λb0→J/ψK−p{\Lambda_b^0\to J/\psi K^-p} decays

Observations of exotic structures in the $J/\psi p$ channel, that we refer to as pentaquark-charmonium states, in $\Lambda_b^0\to J/\psi K^- p$ decays are presented. The data sample corresponds to an integrated luminosity of 3/fb acquired with the LHCb detector from 7 and 8 TeV pp collisions. An amplitude analysis is performed on the three-body final-state that reproduces the two-body mass and angular distributions. To obtain a satisfactory fit of the structures seen in the $J/\psi p$ mass spectrum, it is necessary to include two Breit-Wigner amplitudes that each describe a resonant state. The significance of each of these resonances is more than 9 standard deviations. One has a mass of $4380\pm 8\pm 29$ MeV and a width of $205\pm 18\pm 86$ MeV, while the second is narrower, with a mass of $4449.8\pm 1.7\pm 2.5$ MeV and a width of $39\pm 5\pm 19$ MeV. The preferred $J^P$ assignments are of opposite parity, with one state having spin 3/2 and the other 5/2.Comment: 48 pages, 18 figures including the supplementary material, v2 after referee's comments, now 19 figure

Differential branching fraction and angular analysis of Λb0→Λμ+μ−\Lambda^{0}_{b} \rightarrow \Lambda \mu^+\mu^- decays

The differential branching fraction of the rare decay $\Lambda^{0}_{b} \rightarrow \Lambda \mu^+\mu^-$ is measured as a function of $q^{2}$, the square of the dimuon invariant mass. The analysis is performed using proton-proton collision data, corresponding to an integrated luminosity of 3.0 \mbox{ fb}^{-1}, collected by the LHCb experiment. Evidence of signal is observed in the $q^2$ region below the square of the $J/\psi$ mass. Integrating over 15 < q^{2} < 20 \mbox{ GeV}^2/c^4 the branching fraction is measured as d\mathcal{B}(\Lambda^{0}_{b} \rightarrow \Lambda \mu^+\mu^-)/dq^2 = (1.18 ^{+ 0.09} _{-0.08} \pm 0.03 \pm 0.27) \times 10^{-7} ( \mbox{GeV}^{2}/c^{4})^{-1}, where the uncertainties are statistical, systematic and due to the normalisation mode, $\Lambda^{0}_{b} \rightarrow J/\psi \Lambda$, respectively. In the $q^2$ intervals where the signal is observed, angular distributions are studied and the forward-backward asymmetries in the dimuon ($A^{l}_{\rm FB}$) and hadron ($A^{h}_{\rm FB}$) systems are measured for the first time. In the range 15 < q^2 < 20 \mbox{ GeV}^2/c^4 they are found to be A^{l}_{\rm FB} = -0.05 \pm 0.09 \mbox{ (stat)} \pm 0.03 \mbox{ (syst)} and A^{h}_{\rm FB} = -0.29 \pm 0.07 \mbox{ (stat)} \pm 0.03 \mbox{ (syst)}.Comment: 27 pages, 10 figures, Erratum adde

Study of B−→DK−π+π−B^{-}\to DK^-\pi^+\pi^- and B−→Dπ−π+π−B^-\to D\pi^-\pi^+\pi^- decays and determination of the CKM angle γ\gamma

We report a study of the suppressed $B^-\to DK^-\pi^+\pi^-$ and favored $B^-\to D\pi^-\pi^+\pi^-$ decays, where the neutral $D$ meson is detected through its decays to the $K^{\mp}\pi^{\pm}$ and CP-even $K^+K^-$ and $\pi^+\pi^-$ final states. The measurement is carried out using a proton-proton collision data sample collected by the LHCb experiment, corresponding to an integrated luminosity of 3.0~fb$^{-1}$. We observe the first significant signals in the CP-even final states of the $D$ meson for both the suppressed $B^-\to DK^-\pi^+\pi^-$ and favored $B^-\to D\pi^-\pi^+\pi^-$ modes, as well as in the doubly Cabibbo-suppressed $D\to K^+\pi^-$ final state of the $B^-\to D\pi^-\pi^+\pi^-$ decay. Evidence for the ADS suppressed decay $B^{-}\to DK^-\pi^+\pi^-$, with $D\to K^+\pi^-$, is also presented. From the observed yields in the $B^-\to DK^-\pi^+\pi^-$, $B^-\to D\pi^-\pi^+\pi^-$ and their charge conjugate decay modes, we measure the value of the weak phase to be $\gamma=(74^{+20}_{-19})^{\rm o}$. This is one of the most precise single-measurement determinations of $\gamma$ to date.Comment: 22 pages, 9 figures; All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-020.htm

Constraints on the unitarity triangle angle γ\gamma from Dalitz plot analysis of B0→DK+π−B^0 \to D K^+ \pi^- decays

The first study is presented of CP violation with an amplitude analysis of the Dalitz plot of $B^0 \to D K^+ \pi^-$ decays, with $D \to K^+ \pi^-$, $K^+ K^-$ and $\pi^+ \pi^-$. The analysis is based on a data sample corresponding to $3.0\,{\rm fb}^{-1}$ of $pp$ collisions collected with the LHCb detector. No significant CP violation effect is seen, and constraints are placed on the angle $\gamma$ of the unitarity triangle formed from elements of the Cabibbo-Kobayashi-Maskawa quark mixing matrix. Hadronic parameters associated with the $B^0 \to D K^*(892)^0$ decay are determined for the first time. These measurements can be used to improve the sensitivity to $\gamma$ of existing and future studies of the $B^0 \to D K^*(892)^0$ decay.Comment: All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-059.html; updated to correct figure 9 (numerical results unchanged

Measurement of the branching fraction ratio B(Bc+→ψ(2S)π+)/B(Bc+→J/ψπ+)\mathcal{B}(B_c^+ \rightarrow \psi(2S)\pi^+)/\mathcal{B}(B_c^+ \rightarrow J/\psi \pi^+)

Using $pp$ collision data collected by LHCb at center-of-mass energies $\sqrt{s}$ = 7 TeV and 8 TeV, corresponding to an integrated luminosity of 3 fb$^{-1}$, the ratio of the branching fraction of the $B_c^+ \rightarrow \psi(2S)\pi^+$ decay relative to that of the $B_c^+ \rightarrow J/\psi\pi^+$ decay is measured to be 0.268 $\pm$ 0.032 (stat) $\pm$ 0.007 (syst) $\pm$ 0.006 (BF). The first uncertainty is statistical, the second is systematic, and the third is due to the uncertainties on the branching fractions of the $J/\psi \rightarrow \mu^+\mu^-$ and $\psi(2S) \rightarrow \mu^+\mu^-$ decays. This measurement is consistent with the previous LHCb result, and the statistical uncertainty is halved.Comment: 17 pages including author list, 2 figure

A study of CPCP violation in B∓→Dh∓B^\mp \rightarrow Dh^\mp (h=K,πh=K,\pi) with the modes D→K∓π±π0D \rightarrow K^\mp \pi^\pm \pi^0, D→π+π−π0D \rightarrow \pi^+\pi^-\pi^0 and D→K+K−π0D \rightarrow K^+K^-\pi^0

An analysis of the decays of $B^\mp \rightarrow D K^\mp$ and $B^\mp \rightarrow D \pi^\mp$ is presented in which the $D$ meson is reconstructed in the three-body final states $K^\mp \pi^\pm \pi^0$, $\pi^+ \pi^- \pi^0$ and $K^+ K^- \pi^0$. Using data from LHCb corresponding to an integrated luminosity of 3.0 fb$^{-1}$ of $pp$ collisions, measurements of several $CP$ observables are performed. First observations are obtained of the suppressed ADS decay $B^\mp \rightarrow [\pi^\mp K^\pm \pi^0]_D \pi^\mp$ and the quasi-GLW decay $B^\mp \rightarrow [K^+ K^- \pi^0]_D \pi^\mp$. The results are interpreted in the context of the unitarity triangle angle $\gamma$ and related parameters

Amplitude analysis of B0→Dˉ0K+π−B^0 \rightarrow \bar{D}^0 K^+ \pi^- decays

The Dalitz plot distribution of $B^0 \rightarrow \bar{D}^0 K^+ \pi^-$ decays is studied using a data sample corresponding to $3.0\rm{fb}^{-1}$ of $pp$ collision data recorded by the LHCb experiment during 2011 and 2012. The data are described by an amplitude model that contains contributions from intermediate $K^*(892)^0$, $K^*(1410)^0$, $K^*_2(1430)^0$ and $D^*_2(2460)^-$ resonances. The model also contains components to describe broad structures, including the $K^*_0(1430)^0$ and $D^*_0(2400)^-$ resonances, in the $K\pi$ S-wave and the $D\pi$ S- and P-waves. The masses and widths of the $D^*_0(2400)^-$ and $D^*_2(2460)^-$ resonances are measured, as are the complex amplitudes and fit fractions for all components included in the amplitude model. The model obtained will be an integral part of a future determination of the angle $\gamma$ of the CKM quark mixing matrix using $B^0 \rightarrow D K^+ \pi^-$ decays.Comment: 33 pages, 12 figures; updated for publicatio