A Microscopic Calculation of Photoabsorption Cross Sections on Protons and Nuclei

A recently developed model for $\rho$-meson propagation in dense hadronic matter is applied to total photoabsorption cross sections in $\gamma$-proton and $\gamma$-nucleus reactions. Within the vector dominance model the photon coupling to the virtual pion cloud of the nucleon, two-body meson-exchange currents, as well as $\gamma$-nucleon resonances are included. Whereas the $\gamma p$ reaction is determined by the low-density limit of the model, higher orders in the nuclear density are important to correctly account for the experimental spectra observed on both light and heavy nuclei over a wide range of photon energies, including the region below the pion threshold. In connection with soft dilepton spectra in high-energy heavy-ion collisions we emphasize the importance of photoabsorption to further constrain the parameters of the model.Comment: 10 pages RevTeX, 2 eps-figure

Momentum Dependence of the Pion Cloud for Rho Mesons in Nuclear Matter

We extend hadronic models for rho-meson propagation in cold nuclear matter via coupling to in-medium pions to include finite three-momentum. Special care is taken to preserve gauge invariance. Consequences for photoabsorption on the proton and on nuclei as well as for the dilepton production in relativistic heavy-ion collisions are discussed.Comment: 32 pages, 18 figures. Corrected version, accepted for publication in Nucl. Phys.

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics. The combination forms an online service called MizAR, similar to the SystemOnTPTP service for first-order automated reasoning. The main differences to SystemOnTPTP are the use of the Mizar language that is oriented towards human mathematicians (rather than the pure first-order logic used in SystemOnTPTP), and setting the service in the context of the large Mizar Mathematical Library of previous theorems,definitions, and proofs (rather than the isolated problems that are solved in SystemOnTPTP). These differences poses new challenges and new opportunities for automated reasoning and for proof presentation tools. This paper describes the overall structure of MizAR, and presents the automated reasoning systems and proof presentation tools that are combined to make MizAR a useful mathematical service.Comment: To appear in 10th International Conference on. Artificial Intelligence and Symbolic Computation AISC 201

Pairing correlations of cold fermionic gases at overflow from a narrow to a wide harmonic trap

Within the context of Hartree-Fock-Bogoliubov theory, we study the behavior of superfluid Fermi systems when they pass from a small to a large container. Such systems can be now realized thanks to recent progress in experimental techniques. It will allow to better understand pairing properties at overflow and in general in rapidly varying external potentials

The Shears Mechanism in 142Gd in the Skyrme-Hartree-Fock Method with the Tilted-Axis Cranking

We report on the first Skyrme-Hartree-Fock calculations with the tilted-axis cranking in the context of magnetic rotation. The mean field symmetries, differences between phenomenological and self-consistent methods and the generation of shears-like structures in the mean field are discussed. Significant role of the time-odd spin-spin effective interaction is pointed out. We reproduce the shears mechanism, but quantitative agreement with experiment is rather poor. It may have to do with too large core polarization, lack of pairing correlations or properties of the Skyrme force.Comment: Presented at the XXVII Mazurian Lakes School of Physics, September 2-9 2001, Krzyze, Poland, Submitted to Acta Physica Polonic

Pionic susceptibility for charged pions in asymmetric nuclei

At low energies the particle-hole (ph) part of the pionic susceptibility in isospin-symmetric nuclear matter is known to behave very differently from the susceptibility in finite nuclei due to the presence of an energy gap in the ph excitation spectrum. In this note we show that for charged pions in N > Z nuclei the changes due to the gap are very similar to those in the symmetric case, except at very low momenta, where a qualitatively different behavior is found

Electronic and atomic shell structure in aluminum nanowires

We report experiments on aluminum nanowires in ultra-high vacuum at room temperature that reveal a periodic spectrum of exceptionally stable structures. Two "magic" series of stable structures are observed: At low conductance, the formation of stable nanowires is governed by electronic shell effects whereas for larger contacts atomic packing dominates. The crossover between the two regimes is found to be smooth. A detailed comparison of the experimental results to a theoretical stability analysis indicates that while the main features of the observed electron-shell structure are similar to those of alkali and noble metals, a sequence of extremely stable wires plays a unique role in Aluminum. This series appears isolated in conductance histograms and can be attributed to "superdeformed" non-axisymmetric nanowires.Comment: 15 pages, 9 figure