Game Refinement Relations and Metrics

We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a successor state. It is often advantageous for players to choose probability distributions over moves, rather than single moves. Given a goal, for example, reach a target state, the question of winning is thus a probabilistic one: what is the maximal probability of winning from a given state? On these game structures, two fundamental notions are those of equivalences and metrics. Given a set of winning conditions, two states are equivalent if the players can win the same games with the same probability from both states. Metrics provide a bound on the difference in the probabilities of winning across states, capturing a quantitative notion of state similarity. We introduce equivalences and metrics for two-player game structures, and we show that they characterize the difference in probability of winning games whose goals are expressed in the quantitative mu-calculus. The quantitative mu-calculus can express a large set of goals, including reachability, safety, and omega-regular properties. Thus, we claim that our relations and metrics provide the canonical extensions to games, of the classical notion of bisimulation for transition systems. We develop our results both for equivalences and metrics, which generalize bisimulation, and for asymmetrical versions, which generalize simulation

Colliders and Cosmology

Dark matter in variations of constrained minimal supersymmetric standard models will be discussed. Particular attention will be given to the comparison between accelerator and direct detection constraints.Comment: Submitted for the SUSY07 proceedings, 15 pages, LaTex, 26 eps figure

A Bayesian analysis of pentaquark signals from CLAS data

We examine the results of two measurements by the CLAS collaboration, one of which claimed evidence for a $\Theta^{+}$ pentaquark, whilst the other found no such evidence. The unique feature of these two experiments was that they were performed with the same experimental setup. Using a Bayesian analysis we find that the results of the two experiments are in fact compatible with each other, but that the first measurement did not contain sufficient information to determine unambiguously the existence of a $\Theta^{+}$. Further, we suggest a means by which the existence of a new candidate particle can be tested in a rigorous manner.Comment: 5 pages, 3 figure

Electron Scattering From High-Momentum Neutrons in Deuterium

We report results from an experiment measuring the semi-inclusive reaction $d(e,e'p_s)$ where the proton $p_s$ is moving at a large angle relative to the momentum transfer. If we assume that the proton was a spectator to the reaction taking place on the neutron in deuterium, the initial state of that neutron can be inferred. This method, known as spectator tagging, can be used to study electron scattering from high-momentum (off-shell) neutrons in deuterium. The data were taken with a 5.765 GeV electron beam on a deuterium target in Jefferson Laboratory's Hall B, using the CLAS detector. A reduced cross section was extracted for different values of final-state missing mass $W^{*}$, backward proton momentum $\vec{p}_{s}$ and momentum transfer $Q^{2}$. The data are compared to a simple PWIA spectator model. A strong enhancement in the data observed at transverse kinematics is not reproduced by the PWIA model. This enhancement can likely be associated with the contribution of final state interactions (FSI) that were not incorporated into the model. A ``bound neutron structure function'' $F_{2n}^{eff}$ was extracted as a function of $W^{*}$ and the scaling variable $x^{*}$ at extreme backward kinematics, where effects of FSI appear to be smaller. For $p_{s}>400$ MeV/c, where the neutron is far off-shell, the model overestimates the value of $F_{2n}^{eff}$ in the region of $x^{*}$ between 0.25 and 0.6. A modification of the bound neutron structure function is one of possible effects that can cause the observed deviation.Comment: 33 pages RevTeX, 9 figures, to be submitted to Phys. Rev. C. Fixed 1 Referenc

eta-prime photoproduction on the proton for photon energies from 1.527 to 2.227 GeV

Differential cross sections for the reaction gamma p -> eta-prime p have been measured with the CLAS spectrometer and a tagged photon beam with energies from 1.527 to 2.227 GeV. The results reported here possess much greater accuracy than previous measurements. Analyses of these data indicate for the first time the coupling of the etaprime N channel to both the S_11(1535) and P_11(1710) resonances, known to couple strongly to the eta N channel in photoproduction on the proton, and the importance of j=3/2 resonances in the process.Comment: 6 pages, 3 figure

Measurement of the Deuteron Structure Function F2 in the Resonance Region and Evaluation of Its Moments

Inclusive electron scattering off the deuteron has been measured to extract the deuteron structure function F2 with the CEBAF Large Acceptance Spectrometer (CLAS) at the Thomas Jefferson National Accelerator Facility. The measurement covers the entire resonance region from the quasi-elastic peak up to the invariant mass of the final-state hadronic system W~2.7 GeV with four-momentum transfers Q2 from 0.4 to 6 (GeV/c)^2. These data are complementary to previous measurements of the proton structure function F2 and cover a similar two-dimensional region of Q2 and Bjorken variable x. Determination of the deuteron F2 over a large x interval including the quasi-elastic peak as a function of Q2, together with the other world data, permit a direct evaluation of the structure function moments for the first time. By fitting the Q2 evolution of these moments with an OPE-based twist expansion we have obtained a separation of the leading twist and higher twist terms. The observed Q2 behaviour of the higher twist contribution suggests a partial cancellation of different higher twists entering into the expansion with opposite signs. This cancellation, found also in the proton moments, is a manifestation of the "duality" phenomenon in the F2 structure function

Nickel on Lead, Magnetically Dead or Alive?

Two atomic layers of Ni condensed onto Pb films behave, according to anomalous Hall effect measurements, as magnetic dead layers. However, the Ni lowers the superconducting T_{c} of the Pb film. This has lead to the conclusion that the Ni layers are still very weakly magnetic. In the present paper the electron dephasing due to the Ni has been measured by weak localization. The dephasing is smaller by a factor 100 than the pair-breaking. This proves that the T_{c}-reduction in the PbNi films is not due magnetic Ni moments

First measurement of direct f0(980)f_0(980) photoproduction on the proton

We report on the results of the first measurement of exclusive $f_0(980)$ meson photoproduction on protons for $E_\gamma=3.0 - 3.8$ GeV and $-t = 0.4-1.0$ GeV$^2$. Data were collected with the CLAS detector at the Thomas Jefferson National Accelerator Facility. The resonance was detected via its decay in the $\pi^+ \pi^-$ channel by performing a partial wave analysis of the reaction $\gamma p \to p \pi^+ \pi^-$. Clear evidence of the $f_0(980)$ meson was found in the interference between $P$ and $S$ waves at $M_{\pi^+ \pi^-}\sim 1$ GeV. The $S$-wave differential cross section integrated in the mass range of the $f_0(980)$ was found to be a factor of 50 smaller than the cross section for the $\rho$ meson. This is the first time the $f_0(980)$ meson has been measured in a photoproduction experiment