Search

Dull, weak and nested solitaire games are important classes of parity games, capturing, among others, alternation-free mu-calculus and ECTL* model checking problems. These classes can be solved in polynomial time using dedicated algorithms. We investigate the complexity of Zielonka's Recursive algorithm for solving these special games, showing that the algorithm runs in O(d (n + m)) on weak games, and, somewhat surprisingly, that it requires exponential time to solve dull games and (nested) solitaire games. For the latter classes, we provide a family of games G, allowing us to establish a lower bound of 2^(n/3). We show that an optimisation of Zielonka's algorithm permits solving games from all three classes in polynomial time. Moreover, we show that there is a family of (non-special) games M that permits us to establish a lower bound of 2^(n/3), improving on the previous lower bound for the algorithm., Comment: In Proceedings GandALF 2013, arXiv:1307.4162

We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according to the most widely used notion, the class of Kripke Modal Transition Systems is strictly less expressive than the class of Generalised Kripke Modal Transition Systems (a generalised variant of Kripke Modal Transition Systems equipped with hypertransitions). Furthermore, we investigate the ability of an abstraction framework to prove a formula with a finite abstract model, a property known as completeness. We address the issue of completeness from a general perspective: the way it depends on certain abstraction parameters, as well as its relationship with expressiveness., Comment: In Proceedings EXPRESS/SOS 2012, arXiv:1208.2440

In-medium ${\bar K}N$ scattering amplitudes developed within a new chirally motivated coupled-channel model due to Cieply and Smejkal that fits the recent SIDDHARTA kaonic hydrogen 1s level shift and width are used to construct $K^-$ nuclear potentials for calculations of $K^-$ nuclear quasi-bound states. The strong energy and density dependence of scattering amplitudes at and near threshold leads to $K^-$ potential depths $-Re V_K \approx 80 -120$ MeV. Self-consistent calculations of all $K^-$ nuclear quasi-bound states, including excited states, are reported. Model dependence, polarization effects, the role of p-wave interactions, and two-nucleon $K^-NN\rightarrow YN$ absorption modes are discussed. The $K^-$ absorption widths $\Gamma_K$ are comparable or even larger than the corresponding binding energies $B_K$ for all $K^-$ nuclear quasi-bound states, exceeding considerably the level spacing. This discourages search for $K^-$ nuclear quasi-bound states in any but lightest nuclear systems., Comment: 12 pages, 11 figures

First measurements of azimuthal asymmetries in hadron-pair production in deep-inelastic scattering of muons on transversely polarised ^6LiD (deuteron) and NH_3 (proton) targets are presented. The data were taken in the years 2002-2004 and 2007 with the COMPASS spectrometer using a muon beam of 160 GeV/c at the CERN SPS. The asymmetries provide access to the transversity distribution functions, without involving the Collins effect as in single hadron production. The sizeable asymmetries measured on the NH_ target indicate non-vanishing u-quark transversity and two-hadron interference fragmentation functions. The small asymmetries measured on the ^6LiD target can be interpreted as indication for a cancellation of u- and d-quark transversities., Comment: 13 pages, 4 figures, updated to the published version

We present a determination of the gluon polarisation Delta g/g in the nucleon, based on the longitudinal double-spin asymmetry of DIS events with a pair of large transverse-momentum hadrons in the final state. The data were obtained by the COMPASS experiment at CERN using a 160 GeV/c polarised muon beam scattering off a polarised ^6LiD target. The gluon polarisation is evaluated by a Neural Network approach for three intervals of the gluon momentum fraction x_g covering the range 0.04 < x_g < 0.27. The values obtained at leading order in QCD do not show any significant dependence on x_g. Their average is Delta g/g = 0.125 +/- 0.060 (stat.) +/- 0.063 (syst.) at x_g=0.09 and a scale of mu^2 = 3 (GeV/c)^2., Comment: 13 pages, 6 figures and 3 tables

The COMPASS collaboration at CERN has investigated the \pi^- \gamma -> \pi^- \pi^- \pi^+ reaction at center-of-momentum energy below five pion masses, sqrt(s) < 5 m(\pi), embedded in the Primakoff reaction of 190 GeV pions impinging on a lead target. Exchange of quasi-real photons is selected by isolating the sharp Coulomb peak observed at smallest momentum transfers, t' < 0.001 (GeV/c)^2. Using partial-wave analysis techniques, the scattering intensity of Coulomb production described in terms of chiral dynamics and its dependence on the 3\pi-invariant mass m(3\pi) = sqrt(s) were extracted. The absolute cross section was determined in seven bins of $\sqrt{s}$ with an overall precision of 20%. At leading order, the result is found to be in good agreement with the prediction of chiral perturbation theory over the whole energy range investigated., Comment: 10 pages, 5 figures

A self consistent scheme for constructing K^- nuclear optical potentials from subthreshold in-medium Kbar-N s-wave scattering amplitudes is presented and applied to analysis of kaonic atoms data and to calculations of K^- quasibound nuclear states. The amplitudes are taken from a chirally motivated meson-baryon coupled-channel model, both at the Tomozawa-Weinberg leading order and at the next to leading order. Typical kaonic atoms potentials are characterized by a real part -Re V(K^-;chiral)=(85+/-5) MeV at nuclear matter density, in contrast to half this depth obtained in some derivations based on in-medium Kbar-N threshold amplitudes. The moderate agreement with data is much improved by adding complex rho- and rho^2-dependent phenomenological terms, found to be dominated by rho^2 contributions that could represent Kbar-NN -> YN absorption and dispersion, outside the scope of meson-baryon chiral models. Depths of the real potentials are then near 180 MeV. The effects of p-wave interactions are studied and found secondary to those of the dominant s-wave contributions. The in-medium dynamics of the coupled-channel model is discussed and systematic studies of K^- quasibound nuclear states are presented., Comment: extension of Phys. Lett. B 702, 402 (2011) by the same authors; v2: minor corrections, matching PRC version

In-medium subthreshold KbarN scattering amplitudes calculated within a chirally motivated meson-baryon coupled-channel model are used self consistently to confront K^- atom data across the periodic table. Substantially deeper K^- nuclear potentials are obtained compared to the shallow potentials derived in some approaches from threshold amplitudes, with Re V_{chiral} = -(85+/-5) MeV at nuclear matter density. When KbarNN contributions are incorporated phenomenologically, a very deep K^- nuclear potential results, Re V_{chiral+phen.} = -(180+/-5) MeV, in agreement with density dependent potentials obtained in purely phenomenological fits to the data. Self consistent dynamical calculations of K^- nuclear quasibound states are reported and discussed., Comment: extended discussion, unchanged results and conclusions, accepted by PLB

Students taking hybrid or online classes are often unprepared for the kinds of skills that are needed to be successful in this environment. This report provides an overview of one approach, an interactive CD-ROM (SPARK), that faculty can use to assist students in narrowing the gap between needed online learning skills and their current technical knowledge.

One of the basic sanity properties of a behavioural semantics is that it constitutes a congruence with respect to standard process operators. This issue has been traditionally addressed by the development of rule formats for transition system specifications that define process algebras. In this paper we suggest a novel, orthogonal approach. Namely, we focus on a number of process operators, and for each of them attempt to find the widest possible class of congruences. To this end, we impose restrictions on sublanguages of Hennessy-Milner logic, so that a semantics whose modal characterization satisfies a given criterion is guaranteed to be a congruence with respect to the operator in question. We investigate action prefix, alternative composition, two restriction operators, and parallel composition., Comment: In Proceedings SOS 2010, arXiv:1008.1906

We prove a compactness theorem in the context of Hennessy-Milner logic. It is used to derive a sufficient condition on modal characterizations for the Approximation Induction Principle to be sound modulo the corresponding process equivalence. We show that this condition is necessary when the equivalence in question is compositional with respect to the projection operators.

Relativistic mean field calculations of multi-$\bar{K}$ hypernuclei are performed by adding $K^-$ mesons to particle-stable configurations of nucleons, $\Lambda$ and $\Xi$ hyperons. For a given hypernuclear core, the calculated $\bar{K}$ separation energy $B_{\bar{K}}$ saturates with the number of $\bar{K}$ mesons for more than roughly 10 mesons, with $B_{\bar{K}}$ bounded from above by 200 MeV. The associated baryonic densities saturate at values 2-3 times nuclear-matter density within a small region where the $\bar{K}$-meson densities peak, similarly to what was found for multi-$\bar{K}$ nuclei. The calculations demonstrate that particle-stable multistrange $\{N,\Lambda,\Xi \}$ configurations are stable against strong-interaction conversions $\Lambda \to N \bar{K}$ and $\Xi \to N \bar{K} \bar{K}$, confirming and strengthening the conclusion that kaon condensation is unlikely to occur in strong-interaction self-bound strange hadronic matter., Comment: 21 pages, 7 figures, revised figures and text