Permissive Controller Synthesis for Probabilistic Systems

We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due to, for example, unreliable sensors or faulty system components. Our aim is to generate robust controllers that are resilient to unexpected system changes at runtime, and flexible enough to be adapted if additional constraints need to be imposed. We develop a permissive controller synthesis framework, which generates multi-strategies for the controller, offering a choice of control actions to take at each time step. We formalise the notion of permissivity using penalties, which are incurred each time a possible control action is disallowed by a multi-strategy. Permissive controller synthesis aims to generate a multi-strategy that minimises these penalties, whilst guaranteeing the satisfaction of a specified system property. We establish several key results about the optimality of multi-strategies and the complexity of synthesising them. Then, we develop methods to perform permissive controller synthesis using mixed integer linear programming and illustrate their effectiveness on a selection of case studies

Mass spectra of Zc and Zb exotic states as hadron molecules

We construct charmonium-like and bottomonium-like molecular interpolating currents with quantum numbers J(PC)=1(+-) in a systematic way, including both color singlet-singlet and color octet-octet structures. Using these interpolating currents, we calculate two-point correlation functions and perform QCD sum rule analyses to obtain mass spectra of the charmonium-like and bottomonium-like molecular states. Masses of the charmonium-like q_bar c c_bar q molecular states for these various currents are extracted in the range 3.85-4.22 GeV, which are in good agreement with observed masses of the Zc resonances. Our numerical results suggest a possible landscape of hadronic molecule interpretations of the newly-observed Zc states. Mass spectra of the bottomonium-like q_bar b b_bar q molecular states are similarly obtained in the range 9.92-10.48 GeV, which support the interpretation of the Zb(10610) meson as a molecular state within theoretical uncertainties. Possible decay channels of these molecular states are also discussed.Comment: 15 pages, 3 figures, 2 tables, accepted by PR

Exotic open-flavor bcqˉqˉbc\bar{q}\bar{q}, bcsˉsˉbc\bar{s}\bar{s} and qcqˉbˉqc\bar{q}\bar{b}, scsˉbˉsc\bar{s}\bar{b} tetraquark states

We study the exotic $bc\bar{q}\bar{q}$, $bc\bar{s}\bar{s}$ and $qc\bar{q}\bar{b}$, $sc\bar{s}\bar{b}$ systems by constructing the corresponding tetraquark currents with $J^P=0^+$ and $1^+$. After investigating the two-point correlation functions and the spectral densities, we perform QCD sum rule analysis and extract the masses of these open-flavor tetraquark states. Our results indicate that the masses of both the scalar and axial vector tetraquark states are about $7.1-7.2$ GeV for the $bc\bar{q}\bar{q}$ system and $7.2-7.3$ GeV for the $bc\bar{s}\bar{s}$ system. For the $qc\bar{q}\bar{b}$ tetraquark states with $J^P=0^+$ and $1^+$, their masses are extracted to be around $7.1$ GeV. The masses for the scalar and axial vector $sc\bar{s}\bar{b}$ states are $7.1$ GeV and $6.9-7.1$ GeV, respectively. The tetraquark states $qc\bar{q}\bar{b}$ and $sc\bar{s}\bar{b}$ lie below the thresholds of $D^{(\ast)}B^{(\ast)}$ and $D_s^{(\ast)}B_s^{(\ast)}$ respectively, but they can decay into $B_c$ plus a light meson. However, the tetraquark states $bc\bar{q}\bar{q}$ and $bc\bar{s}\bar{s}$ lie below the $D^{(\ast)}\bar B^{(\ast)}$ and $D_s^{(\ast)}\bar B_s^{(\ast)}$ thresholds, suggesting dominantly weak decay mechanisms.Comment: 18 pages, 7 figures, 4 table

Masses of the Bottom-Charm Hybrid bˉGc\bar bGc States

QCD sum rules are used to study the mass spectrum of bottom-charm hybrid $\bar bGc$ systems. The correlation functions and the spectral densities are calculated up to dimension six condensates at leading order of $\alpha_s$ for several $J^P$ quantum numbers. After performing the QCD sum rule analysis, we predict the masses of the $J^P=0^{-}, 0^{+}, 1^{-}, 1^{+}, 2^{-}, 2^{+}$ bottom-charm hybrids. These mass predictions show a similar supermultiplet structure as the bottomonium and charmonium hybrids. Using the QCD sum-rule mass predictions we analyze the possible hadronic decay patterns of the $\bar cGc$, $\bar bGc$ and $\bar bGb$ hybrids including the open-flavour and hidden-flavour mechanisms.Comment: 14 pages, 8 figures, 6 tables. Version to appear in Journal of Physics

Doubly hidden-charm/bottom QQQˉQˉQQ\bar Q\bar Q tetraquark states

We study the mass spectra for the $cc\bar c\bar c$ and $bb\bar b\bar b$ tetraquark states by developing a moment sum rule method. Our results show that the $bb\bar b\bar b$ tetraquarks lie below the threshold of $\eta_b(1S)\eta_b(1S)$. They are probably stable and very narrow. The masses for the doubly hidden-charm states $cc\bar c\bar c$ are higher than the spontaneous dissociation thresholds of two charmonium mesons. We suggest to search for such states in the $J/\psi J/\psi$ and $\eta_c(1S)\eta_c(1S)$ channels.Comment: 8 pages, 2 figures. More references added. Conference proceedings for 6th International Conference on New Frontiers in Physics (ICNFP 2017), Crete, Greece, 17-29 Aug, 201

Open-flavor charmed/bottom sqqˉQˉsq\bar q\bar Q and qqqˉQˉqq\bar q\bar Q tetraquark states

We provide comprehensive investigations for the mass spectrum of exotic open-flavor charmed/bottom $sq\bar q\bar c$, $qq\bar q\bar c$, $sq\bar q\bar b$, $qq\bar q\bar b$ tetraquark states with various spin-parity assignments $J^P=0^+, 1^+, 2^+$ and $0^-, 1^-$ in the framework of QCD sum rules. In the diquark configuration, we construct the diquark-antidiquark interpolating tetraquark currents using the color-antisymmetric scalar and axial-vector diquark fields. The stable mass sum rules are established in reasonable parameter working ranges, which are used to give reliable mass predictions for these tetraquark states. We obtain the mass spectra for the open-flavor charmed/bottom $sq\bar q\bar c$, $qq\bar q\bar c$, $sq\bar q\bar b$, $qq\bar q\bar b$ tetraquark states with various spin-parity quantum numbers. In addition, we suggest searching for exotic doubly-charged tetraquarks, such as $[sd][\bar u\bar c]\to D_s^{(\ast)-}\pi^-$ in future experiments at facilities such as BESIII, BelleII, PANDA, LHCb and CMS, etc.Comment: 19 pages, 4 figures, 5 tables, accepted by Phys. Rev. D (in press