Distinguishing sequences for partially specified FSMs

Distinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing

Search for Θ+(1540)\Theta^+(1540) pentaquark in high statistics measurement of γp→Kˉ0K+n\gamma p \to \bar K^0 K^+ n at CLAS

The exclusive reaction $\gamma p \to \bar K^0 K^+ n$ was studied in the photon energy range between 1.6-3.8 GeV searching for evidence of the exotic baryon $\Theta^+(1540)\to nK^+$. The decay to $nK^+$ requires the assignment of strangeness $S=+1$ to any observed resonance. Data were collected with the CLAS detector at the Thomas Jefferson National Accelerator Facility corresponding to an integrated luminosity of 70 $pb^{-1}$. No evidence for the $\Theta^+$ pentaquark was found. Upper limits were set on the production cross section as function of center-of-mass angle and $nK^+$ mass. The 95% CL upper limit on the total cross section for a narrow resonance at 1540 MeV was found to be 0.8 nb.Comment: Submitted to Physical Review Letter

Measurement of Deeply Virtual Compton Scattering with a Polarized Proton Target

The longitudinal target-spin asymmetry A_UL for the exclusive electroproduction of high energy photons was measured for the first time in p(e,e'p\gamma). The data have been accumulated at Jefferson Lab with the CLAS spectrometer using 5.7 GeV electrons and a longitudinally polarized NH_3 target. A significant azimuthal angular dependence was observed, resulting from the interference of the Deeply Virtual Compton Scattering and Bethe-Heitler processes. The amplitude of the sin(phi) moment is 0.252 +/- 0.042(stat) +/- 0.020(sys). Theoretical calculations are in good agreement with the magnitude and the kinematic dependence of the target-spin asymmetry, which is sensitive to the generalized parton distributions H and H-tilde.Comment: Modified text slightly, added reference

First measurement of coherent ϕ\phi-meson photoproduction on deuteron at low energies

The cross section and decay angular distributions for the coherent \phi meson photoproduction on the deuteron have been measured for the first time up to a squared four-momentum transfer t =(p_{\gamma}-p_{\phi})^2 =-2 GeV^2/c^2, using the CLAS detector at the Thomas Jefferson National Accelerator Facility. The cross sections are compared with predictions from a re-scattering model. In a framework of vector meson dominance, the data are consistent with the total \phi-N cross section \sigma_{\phi N} at about 10 mb. If vector meson dominance is violated, a larger \sigma_{\phi N} is possible by introducing larger t-slope for the \phi N \to \phi N process than that for the \gamma N \to \phi N process. The decay angular distributions of the \phi are consistent with helicity conservation.Comment: 6 page

Q^2 Dependence of the S_{11}(1535) Photocoupling and Evidence for a P-wave resonance in eta electroproduction

New cross sections for the reaction $ep \to e'\eta p$ are reported for total center of mass energy $W$=1.5--2.3 GeV and invariant squared momentum transfer $Q^2$=0.13--3.3 GeV$^2$. This large kinematic range allows extraction of new information about response functions, photocouplings, and $\eta N$ coupling strengths of baryon resonances. A sharp structure is seen at $W\sim$ 1.7 GeV. The shape of the differential cross section is indicative of the presence of a $P$-wave resonance that persists to high $Q^2$. Improved values are derived for the photon coupling amplitude for the $S_{11}$(1535) resonance. The new data greatly expands the $Q^2$ range covered and an interpretation of all data with a consistent parameterization is provided.Comment: 31 pages, 9 figure

Search for the Θ+\Theta^+ pentaquark in the reaction γd→pK−K+n\gamma d \to p K^- K^+ n

A search for the \thp in the reaction $\gamma d \to pK^-K^+n$ was completed using the CLAS detector at Jefferson Lab. A study of the same reaction, published earlier, reported the observation of a narrow \thp resonance. The present experiment, with more than 30 times the integrated luminosity of our earlier measurement, does not show any evidence for a narrow pentaquark resonance. The angle-integrated upper limit on \thp production in the mass range of 1.52 to 1.56 GeV/c$^2$ for the $\gamma d \to pK^-\Theta^+$ reaction is 0.3 nb (95% CL). This upper limit depends on assumptions made for the mass and angular distribution of \thp production. Using \lamstar production as an empirical measure of rescattering in the deuteron, the cross section upper limit for the elementary $\gamma n \to K^-\Theta^+$ reaction is estimated to be a factor of 10 higher, {\it i.e.}, $\sim 3$ nb (95% CL).Comment: 5 figures, submitted to PRL, revised for referee comment

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

First Measurement of Beam-Recoil Observables Cx and Cz in Hyperon Photoproduction

Spin transfer from circularly polarized real photons to recoiling hyperons has been measured for the reactions $\vec\gamma + p \to K^+ + \vec\Lambda$ and $\vec\gamma + p \to K^+ + \vec\Sigma^0$. The data were obtained using the CLAS detector at Jefferson Lab for center-of-mass energies $W$ between 1.6 and 2.53 GeV, and for $-0.85<\cos\theta_{K^+}^{c.m.}< +0.95$. For the $\Lambda$, the polarization transfer coefficient along the photon momentum axis, $C_z$, was found to be near unity for a wide range of energy and kaon production angles. The associated transverse polarization coefficient, $C_x$, is smaller than $C_z$ by a roughly constant difference of unity. Most significantly, the {\it total} $\Lambda$ polarization vector, including the induced polarization $P$, has magnitude consistent with unity at all measured energies and production angles when the beam is fully polarized. For the $\Sigma^0$ this simple phenomenology does not hold. All existing hadrodynamic models are in poor agreement with these results.Comment: 28 pages, 18 figures, Submitted to Physical Review