Bose-Einstein correlations: a study of an invariance group

A group of transformations changing the phases of the single particle density matrix, but leaving unchanged the predictions for identical particles concerning the momentum distributions, momentum correlations etc., is identified. Its implications for the determinations of the interaction region from studies of Bose-Einstein correlations are discussed.Comment: 15 pages LateX + one figure ep

Spin-orbit and tensor mean-field effects on spin-orbit splitting including self-consistent core polarizations

A new strategy of fitting the coupling constants of the nuclear energy density functional is proposed, which shifts attention from ground-state bulk to single-particle properties. The latter are analyzed in terms of the bare single-particle energies and mass, shape, and spin core-polarization effects. Fit of the isoscalar spin-orbit and both isoscalar and isovector tensor coupling constants directly to the f5/2-f7/2 spin-orbit splittings in 40Ca, 56Ni, and 48Ca is proposed as a practical realization of this new programme. It is shown that this fit requires drastic changes in the isoscalar spin-orbit strength and the tensor coupling constants as compared to the commonly accepted values but it considerably and systematically improves basic single-particle properties including spin-orbit splittings and magic-gap energies. Impact of these changes on nuclear binding energies is also discussed.Comment: 15 pages, 7 figures, submitted to Physical Review

High-spin intruder states in the fp shell nuclei and isoscalar proton-neutron correlations

We perform a systematic shell-model and mean-field study of fully-aligned, high-spin f_{7/2}^{n} seniority isomers and d_{3/2}^{-1} f_{7/2}^{n+1} intruder states in the A~44 nuclei from the lower-fp shell. The shell-model calculations are performed in the full sdfp configuration space allowing 1p-1h cross-shell excitations. The self-consistent mean-field calculations are based on the Hartree-Fock approach with the Skyrme energy density functional that reproduces empirical Landau parameters. While there is a nice agreement between experimental and theoretical relative energies of fully-aligned states in N>Z nuclei, this is no longer the case for the N=Z systems. The remaining deviation from the data is attributed to the isoscalar proton-neutron correlations. It is also demonstrated that the Coulomb corrections at high spins noticeably depend on the choice of the energy density functional.Comment: 4 pages. submitted to Phys. Rev. Let

Mathematizing C++ concurrency

Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees to specify concurrent behaviour in the next versions of both languages. They aim to provide strong guarantees for race-free programs, together with new (but subtle) relaxed-memory atomic primitives for high-performance concurrent code. However, the current draft standards, while the result of careful deliberation, are not yet clear and rigorous definitions, and harbour substantial problems in their details. In this paper we establish a mathematical (yet readable) semantics for C++ concurrency. We aim to capture the intent of the current (`Final Committee') Draft as closely as possible, but discuss changes that fix many of its problems. We prove that a proposed x86 implementation of the concurrency primitives is correct with respect to the x86-TSO model, and describe our Cppmem tool for exploring the semantics of examples, using code generated from our Isabelle/HOL definitions. Having already motivated changes to the draft standard, this work will aid discussion of any further changes, provide a correctness condition for compilers, and give a much-needed basis for analysis and verification of concurrent C and C++ programs

Surface-peaked effective mass in the nuclear energy density functional and its influence on single-particle spectra

Calculations for infinite nuclear matter with realistic nucleon-nucleon interactions suggest that the isoscalar effective mass of a nucleon at the saturation density, m*/m, equals 0.8 +/- 0.1. This result is at variance with empirical data on the level density in finite nuclei, which are consistent with m*/m ~ 1. Ma and Wambach suggested that these two contradicting results may be reconciled within a single theoretical framework by assuming a radial-dependent effective mass, peaked at the nuclear surface. The aim of this exploratory work is to investigate this idea within the density functional theory by using a Skyrme-type local functional enriched with new terms, $\tau (\mathbf{\nabla}\rho)^2$ and $\tau\frac{d\rho}{dr}$, where $\tau$ and $\rho$ denote the kinetic and particle densities, respectively. We show that each of these terms can give rise to a surface peak in the effective mass, but of a limited height. We investigate the influence of the radial profile of the effective mass on the spin-orbit splittings and centroids. In particular, we demonstrate that the $\tau \frac{d\rho}{dr}$ term quenches the 1f5/2-1f7/2 splitting in 40Ca, which is strongly overestimated within conventional Skyrme parametrizations.Comment: 8 pages, 8 figures, submitted to Phys. Rev.