Strong Completeness for Markovian Logics

In this paper we present Hilbert-style axiomatizations for three logics for reasoning about continuous-space Markov processes (MPs): (i) a logic for MPs defined for probability distributions on measurable state spaces, (ii) a logic for MPs defined for sub-probability distributions and (iii) a logic defined for arbitrary distributions.These logics are not compact so one needs infinitary rules in order to obtain strong completeness results. We propose a new infinitary rule that replaces the so-called Countable Additivity Rule (CAR) currently used in the literature to address the problem of proving strong completeness for these and similar logics. Unlike the CAR, our rule has a countable set of instances; consequently it allows us to apply the Rasiowa-Sikorski lemma for establishing strong completeness. Our proof method is novel and it can be used for other logics as well

Microscopic description of Coulomb and nuclear excitation of multiphonon states in 40^{40}Ca + 40^{40}Ca collisions

We calculate the inelastic scattering cross sections to populate one- and two-phonon states in heavy ion collisions with both Coulomb and nuclear excitations. Starting from a microscopic approach based on RPA, we go beyond it in order to treat anharmonicities and non-linear terms in the exciting field. These anharmonicities and non-linearities are shown to have important effects on the cross sections both in the low energy part of the spectrum and in the energy region of the Double Giant Quadrupole Resonance. By properly introducing an optical potential the inelastic cross section is calculated semiclassically by integrating the excitation probability over all impact parameters. A satisfactory agreement with the experimental results is obtained.Comment: 20 pages, 2 figures, revtex, to be published in Phys. Rev.

Soft Dipole Modes in Neutron-rich Ni-isotopes in QRRPA

The soft dipole modes in neutron rich even-even Ni-isotopes are investigated in the quasiparticle relativistic random phase approximation. We study the evolution of strengths distribution, centroid energies of dipole excitation in low-lying and normal GDR regions with the increase of the neutron excess. It is found in the present study that the centroid energies of the soft dipole strengths strongly depend on the thickness of neutron skin along with the neutron rich even-even Ni-isotopes.Comment: 14 pages, 7 figure

Coincidence measurement of residues and light particles in the reaction 56Fe+p at 1 GeV per nucleon with SPALADIN

The spallation of $^{56}$Fe in collisions with hydrogen at 1 A GeV has been studied in inverse kinematics with the large-aperture setup SPALADIN at GSI. Coincidences of residues with low-center-of-mass kinetic energy light particles and fragments have been measured allowing the decomposition of the total reaction cross-section into the different possible de-excitation channels. Detailed information on the evolution of these de-excitation channels with excitation energy has also been obtained. The comparison of the data with predictions of several de-excitation models coupled to the INCL4 intra-nuclear cascade model shows that only GEMINI can reasonably account for the bulk of collected results, indicating that in a light system with no compression and little angular momentum, multifragmentation might not be necessary to explain the data.Comment: 4 pages, 5 figures, revised version accepted in Phys. Rev. Let

Efficiency determination of resistive plate chambers for fast quasi-monoenergetic neutrons

Composite detectors made of stainless steel converters and multigap resistive plate chambers have been irradiated with quasi-monoenergetic neutrons with a peak energy of 175MeV. The neutron detection efficiency has been determined using two different methods. The data are in agreement with the output of Monte Carlo simulations. The simulations are then extended to study the response of a hypothetical array made of these detectors to energetic neutrons from a radioactive ion beam experiment.Comment: Submitted to Eur.Phys.J. A; upgraded version correcting some typos and updating ref.

Non-Linear Vibrations in Nuclei

We have perfomed Time Dependant Hartree-Fock (TDHF) calculations on the non linear response of nuclei. We have shown that quadrupole (and dipole) motion produces monopole (and quadrupole) oscillations in all atomic nuclei. We have shown that these findings can be interpreted as a large coupling between one and two phonon states leading to large anharmonicities.Comment: 4 pages, 3 figure

Isospin structure of one- and two-phonon GDR excitations

Isospin is included in the description of Coulomb excitation of multiple giant isovector dipole resonances. In the excitation of even-even nuclei, a relevant portion of the excitation strength is shown to be associated with 1+ two-phonon states, which tends to be hindered or completely supressed in calculations in which the isospin degree of freedom is not considered. We find that the excitation cross sections is strongly dependent on the ground state isospin.Comment: 8 pages, 2 figure

Particle emission following Coulomb excitation in ultrarelativistic heavy-ion collisions

We study nuclear reactions induced by virtual photons associated with Lorentz-boosted Coulomb fields of ultrarelativistic heavy ions. Evaporation, fission and multifragmentation mechanisms are included in a new RELDIS code, which describes the deexcitation of residual nuclei formed after single and double photon absorption in peripheral heavy-ion collisions. Partial cross sections for different dissociation channels, including the multiple neutron emission ones, are calculated and compared with data when available. Rapidity and transverse momentum distributions of nucleons, nuclear fragments and pions, produced electromagnetically, are also calculated. These results provide important information for designing large-rapidity detectors and zero-degree calorimeters at RHIC and LHC. The electromagnetic dissociation of nuclei imposes some constrains on the investigation of exotic particle production in gamma-gamma fusion reactions.Comment: 26 LaTeX pages including 8 figures, uses epsf.st

Atomic steps on Si(100) surfaces

It is demonstrated that surface-sensitive electron diffraction measurements of steps on singular, but rough Si(100) surfaces are subject to a multiple-scattering effect that can be misinterpreted as double-atomic-height steps. It is shown that only single-height steps are present. This phenomenon can occur in any surface in which adjacent terraces have different terrace structure factors. Determination of terrace sizes can be influenced; however, they can be accurately made if the diffraction geometry is chosen appropriately. Possible terrace shape effects may also be inherent in the diffraction data

Neutron Halo Isomers in Stable Nuclei and their Possible Application for the Production of Low Energy, Pulsed, Polarized Neutron Beams of High Intensity and High Brilliance

We propose to search for neutron halo isomers populated via $\gamma$-capture in stable nuclei with mass numbers of about A=140-180 or A=40-60, where the $4s_{1/2}$ or $3s_{1/2}$ neutron shell model state reaches zero binding energy. These halo nuclei can be produced for the first time with new $\gamma$-beams of high intensity and small band width ($\le$ 0.1%) achievable via Compton back-scattering off brilliant electron beams thus offering a promising perspective to selectively populate these isomers with small separation energies of 1 eV to a few keV. Similar to single-neutron halo states for very light, extremely neutron-rich, radioactive nuclei \cite{hansen95,tanihata96,aumann00}, the low neutron separation energy and short-range nuclear force allows the neutron to tunnel far out into free space much beyond the nuclear core radius. This results in prolonged half lives of the isomers for the $\gamma$-decay back to the ground state in the 100 ps-$\mu$s range. Similar to the treatment of photodisintegration of the deuteron, the neutron release from the neutron halo isomer via a second, low-energy, intense photon beam has a known much larger cross section with a typical energy threshold behavior. In the second step, the neutrons can be released as a low-energy, pulsed, polarized neutron beam of high intensity and high brilliance, possibly being much superior to presently existing beams from reactors or spallation neutron sources.Comment: accepted for publication in Applied Physics