Representing First-Order Logic Using Graphs

Abstract. We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds to the negation of a set of existentials. The model is a direct generalisation of the negative application conditions used in graph rewriting, which count a single level of nesting and are thereby shown to correspond to the fragment ∃¬∃ of first-order logic. Vice versa, this generalisation may be used to strengthen the notion of application conditions. We then proceed to show how these nested models may be flattened to (sets of) plain graphs, by allowing some structure on the labels. The resulting formulae-as-graphs may form the basis of a unification of the theories of graph transformation and predicate transformation

Onset of magnetism in B2 transition metals aluminides

Ab initio calculation results for the electronic structure of disordered bcc Fe(x)Al(1-x) (0.4<x<0.75), Co(x)Al(1-x) and Ni(x)Al(1-x) (x=0.4; 0.5; 0.6) alloys near the 1:1 stoichiometry, as well as of the ordered B2 (FeAl, CoAl, NiAl) phases with point defects are presented. The calculations were performed using the coherent potential approximation within the Korringa-Kohn-Rostoker method (KKR-CPA) for the disordered case and the tight-binding linear muffin-tin orbital (TB-LMTO) method for the intermetallic compounds. We studied in particular the onset of magnetism in Fe-Al and Co-Al systems as a function of the defect structure. We found the appearance of large local magnetic moments associated with the transition metal (TM) antisite defect in FeAl and CoAl compounds, in agreement with the experimental findings. Moreover, we found that any vacancies on both sublattices enhance the magnetic moments via reducing the charge transfer to a TM atom. Disordered Fe-Al alloys are ferromagnetically ordered for the whole range of composition studied, whereas Co-Al becomes magnetic only for Co concentration >0.5.Comment: 11 pages with 9 embedded postscript figures, to be published in Phys.Rev.

Charged-Particle Probing of X-Ray-Driven Inertial-Fusion Implosions

International audienc

Polariton propagation in weak confinement quantum wells

Exciton-polariton propagation in a quantum well, under centre-of-mass quantization, is computed by a variational self-consistent microscopic theory. The Wannier exciton envelope functions basis set is given by the simple analytical model of ref. [1], based on pure states of the centre-of-mass wave vector, free from fitting parameters and "ad hoc" (the so called additional boundary conditions-ABCs) assumptions. In the present paper, the former analytical model is implemented in order to reproduce the centre-of-mass quantization in a large range of quantum well thicknesses (5a_B < L < inf.). The role of the dynamical transition layer at the well/barrier interfaces is discussed at variance of the classical Pekar's dead-layer and ABCs. The Wannier exciton eigenstates are computed, and compared with various theoretical models with different degrees of accuracy. Exciton-polariton transmission spectra in large quantum wells (L>> a_B) are computed and compared with experimental results of Schneider et al.\cite{Schneider} in high quality GaAs samples. The sound agreement between theory and experiment allows to unambiguously assign the exciton-polariton dips of the transmission spectrum to the pure states of the Wannier exciton center-of-mass quantization.Comment: 15 pages, 15 figures; will appear in Phys.Rev.

Energy and system size dependence of \phi meson production in Cu+Cu and Au+Au collisions

We study the beam-energy and system-size dependence of \phi meson production (using the hadronic decay mode \phi -- K+K-) by comparing the new results from Cu+Cu collisions and previously reported Au+Au collisions at \sqrt{s_NN} = 62.4 and 200 GeV measured in the STAR experiment at RHIC. Data presented are from mid-rapidity (|y|<0.5) for 0.4 < pT < 5 GeV/c. At a given beam energy, the transverse momentum distributions for \phi mesons are observed to be similar in yield and shape for Cu+Cu and Au+Au colliding systems with similar average numbers of participating nucleons. The \phi meson yields in nucleus-nucleus collisions, normalised by the average number of participating nucleons, are found to be enhanced relative to those from p+p collisions with a different trend compared to strange baryons. The enhancement for \phi mesons is observed to be higher at \sqrt{s_NN} = 200 GeV compared to 62.4 GeV. These observations for the produced \phi(s\bar{s}) mesons clearly suggest that, at these collision energies, the source of enhancement of strange hadrons is related to the formation of a dense partonic medium in high energy nucleus-nucleus collisions and cannot be alone due to canonical suppression of their production in smaller systems.Comment: 20 pages and 5 figure

D* Production in Deep Inelastic Scattering at HERA

This paper presents measurements of D^{*\pm} production in deep inelastic scattering from collisions between 27.5 GeV positrons and 820 GeV protons. The data have been taken with the ZEUS detector at HERA. The decay channel $D^{*+}\to (D^0 \to K^- \pi^+) \pi^+$ (+ c.c.) has been used in the study. The $e^+p$ cross section for inclusive D^{*\pm} production with $5<Q^2<100 GeV^2$ and $y<0.7$ is 5.3 \pms 1.0 \pms 0.8 nb in the kinematic region {$1.3<p_T(D^{*\pm})<9.0$ GeV and $| \eta(D^{*\pm}) |<1.5$}. Differential cross sections as functions of p_T(D^{*\pm}), $\eta(D^{*\pm}), W$ and $Q^2$ are compared with next-to-leading order QCD calculations based on the photon-gluon fusion production mechanism. After an extrapolation of the cross section to the full kinematic region in p_T(D^{*\pm}) and $\eta$(D^{*\pm}), the charm contribution $F_2^{c\bar{c}}(x,Q^2)$ to the proton structure function is determined for Bjorken $x$ between 2 $\cdot$ 10$^{-4}$ and 5 $\cdot$ 10$^{-3}$.Comment: 17 pages including 4 figure

Observation of Scaling Violations in Scaled Momentum Distributions at HERA

Charged particle production has been measured in deep inelastic scattering (DIS) events over a large range of $x$ and $Q^2$ using the ZEUS detector. The evolution of the scaled momentum, $x_p$, with $Q^2,$ in the range 10 to 1280 $GeV^2$, has been investigated in the current fragmentation region of the Breit frame. The results show clear evidence, in a single experiment, for scaling violations in scaled momenta as a function of $Q^2$.Comment: 21 pages including 4 figures, to be published in Physics Letters B. Two references adde

Observation of hard scattering in photoproduction events with a large rapidity gap at HERA

Events with a large rapidity gap and total transverse energy greater than 5 GeV have been observed in quasi-real photoproduction at HERA with the ZEUS detector. The distribution of these events as a function of the $\gamma p$ centre of mass energy is consistent with diffractive scattering. For total transverse energies above 12 GeV, the hadronic final states show predominantly a two-jet structure with each jet having a transverse energy greater than 4 GeV. For the two-jet events, little energy flow is found outside the jets. This observation is consistent with the hard scattering of a quasi-real photon with a colourless object in the proton.Comment: 19 pages, latex, 4 figures appended as uuencoded fil