Viewpoint consistency in Z and LOTOS: A case study

Specification by viewpoints is advocated as a suitable method of specifying complex systems. Each viewpoint describes the envisaged system from a particular perspective, using concepts and specification languages best suited for that perspective. Inherent in any viewpoint approach is the need to check or manage the consistency of viewpoints and to show that the different viewpoints do not impose contradictory requirements. In previous work we have described a range of techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for the languages LOTOS and Z. These two languages are advocated in a particular viewpoint model, viz. that of the Open Distributed Processing (ODP) reference model. In this paper we present a case study which demonstrates how all these techniques can be combined in order to show consistency between a viewpoint specified in LOTOS and one specified in Z. Keywords: Viewpoints; Consistency; Z; LOTOS; ODP

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

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 mass and lifetime of the Ωb−\Omega_b^- baryon

A proton-proton collision data sample, corresponding to an integrated luminosity of 3 fb$^{-1}$ collected by LHCb at $\sqrt{s}=7$ and 8 TeV, is used to reconstruct $63\pm9$ $\Omega_b^-\to\Omega_c^0\pi^-$, $\Omega_c^0\to pK^-K^-\pi^+$ decays. Using the $\Xi_b^-\to\Xi_c^0\pi^-$, $\Xi_c^0\to pK^-K^-\pi^+$ decay mode for calibration, the lifetime ratio and absolute lifetime of the $\Omega_b^-$ baryon are measured to be \begin{align*} \frac{\tau_{\Omega_b^-}}{\tau_{\Xi_b^-}} &= 1.11\pm0.16\pm0.03, \\ \tau_{\Omega_b^-} &= 1.78\pm0.26\pm0.05\pm0.06~{\rm ps}, \end{align*} where the uncertainties are statistical, systematic and from the calibration mode (for $\tau_{\Omega_b^-}$ only). A measurement is also made of the mass difference, $m_{\Omega_b^-}-m_{\Xi_b^-}$, and the corresponding $\Omega_b^-$ mass, which yields \begin{align*} m_{\Omega_b^-}-m_{\Xi_b^-} &= 247.4\pm3.2\pm0.5~{\rm MeV}/c^2, \\ m_{\Omega_b^-} &= 6045.1\pm3.2\pm 0.5\pm0.6~{\rm MeV}/c^2. \end{align*} These results are consistent with previous measurements.Comment: 11 pages, 5 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-2016-008.htm

Search for the rare decays B0→J/ψγB^{0}\to J/\psi \gamma and Bs0→J/ψγB^{0}_{s} \to J/\psi \gamma

A search for the rare decay of a $B^{0}$ or $B^{0}_{s}$ meson into the final state $J/\psi\gamma$ is performed, using data collected by the LHCb experiment in $pp$ collisions at $\sqrt{s}=7$ and $8$ TeV, corresponding to an integrated luminosity of 3 fb$^{-1}$. The observed number of signal candidates is consistent with a background-only hypothesis. Branching fraction values larger than $1.7\times 10^{-6}$ for the $B^{0}\to J/\psi\gamma$ decay mode are excluded at 90% confidence level. For the $B^{0}_{s}\to J/\psi\gamma$ decay mode, branching fraction values larger than $7.4\times 10^{-6}$ are excluded at 90% confidence level, this is the first branching fraction limit for this 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-044.htm

A model-independent confirmation of the Z(4430)−Z(4430)^- state

The decay $B^0\to \psi(2S) K^+\pi^-$ is analyzed using $\rm 3~fb^{-1}$ of $pp$ collision data collected with the LHCb detector. A model-independent description of the $\psi(2S) \pi$ mass spectrum is obtained, using as input the $K\pi$ mass spectrum and angular distribution derived directly from data, without requiring a theoretical description of resonance shapes or their interference. The hypothesis that the $\psi(2S)\pi$ mass spectrum can be described in terms of $K\pi$ reflections alone is rejected with more than 8$\sigma$ significance. This provides confirmation, in a model-independent way, of the need for an additional resonant component in the mass region of the $Z(4430)^-$ exotic state.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-038.htm

Amplitude analysis of B+→J/ψϕK+B^+\to J/\psi \phi K^+ decays

The first full amplitude analysis of $B^+\to J/\psi \phi K^+$ with $J/\psi\to\mu^+\mu^-$, $\phi\to K^+K^-$ decays is performed with a data sample of 3 fb$^{-1}$ of $pp$ collision data collected at $\sqrt{s}=7$ and $8$ TeV with the LHCb detector. The data cannot be described by a model that contains only excited kaon states decaying into $\phi K^+$, and four $J/\psi\phi$ structures are observed, each with significance over $5$ standard deviations. The quantum numbers of these structures are determined with significance of at least $4$ standard deviations. The lightest has mass consistent with, but width much larger than, previous measurements of the claimed $X(4140)$ state. The model includes significant contributions from a number of expected kaon excitations, including the first observation of the $K^{*}(1680)^+\to\phi K^+$ transition.Comment: 62 pages 26 figure

Observation of J/ψϕJ/\psi\phi structures consistent with exotic states from amplitude analysis of B+→J/ψϕK+B^+\to J/\psi \phi K^+ decays

The first full amplitude analysis of $B^+\to J/\psi \phi K^+$ with $J/\psi\to\mu^+\mu^-$, $\phi\to K^+K^-$ decays is performed with a data sample of 3 fb$^{-1}$ of $pp$ collision data collected at $\sqrt{s}=7$ and $8$ TeV with the LHCb detector. The data cannot be described by a model that contains only excited kaon states decaying into $\phi K^+$, and four $J/\psi\phi$ structures are observed, each with significance over $5$ standard deviations. The quantum numbers of these structures are determined with significance of at least $4$ standard deviations. The lightest has mass consistent with, but width much larger than, previous measurements of the claimed $X(4140)$ state.Comment: 17 pages, 3 figure

Model-independent evidence for J/ψpJ/\psi p contributions to Λb0→J/ψpK−\Lambda_b^0\to J/\psi p K^- decays

The data sample of $\Lambda_b^0\to J/\psi p K^-$ decays acquired with the LHCb detector from 7 and 8~TeV $pp$ collisions, corresponding to an integrated luminosity of 3 fb$^{-1}$, is inspected for the presence of $J/\psi p$ or $J/\psi K^-$ contributions with minimal assumptions about $K^- p$ contributions. It is demonstrated at more than 9 standard deviations that $\Lambda_b^0\to J/\psi p K^-$ decays cannot be described with $K^- p$ contributions alone, and that $J/\psi p$ contributions play a dominant role in this incompatibility. These model-independent results support the previously obtained model-dependent evidence for $P_c^+\to J/\psi p$ charmonium-pentaquark states in the same data sample.Comment: 21 pages, 12 figures (including the supplemental section added at the end