Formation of small-scale structure in SUSY CDM

The lightest supersymmetric particle, most likely the lightest neutralino, is one of the most prominent particle candidates for cold dark matter (CDM). We show that the primordial spectrum of density fluctuations in neutralino CDM has a sharp cut-off, induced by two different damping mechanisms. During the kinetic decoupling of neutralinos, non-equilibrium processes constitute viscosity effects, which damp or even absorb density perturbations in CDM. After the last scattering of neutralinos, free streaming induces neutralino flows from overdense to underdense regions of space. Both damping mechanisms together define a minimal mass scale for perturbations in neutralino CDM, before the inhomogeneities enter the nonlinear epoch of structure formation. We find that the very first gravitationally bound neutralino clouds ought to have masses above 10^{-6} solar masses, which is six orders of magnitude above the mass of possible axion miniclusters.Comment: 7 pages, 3 figures, to appear in proceedings of "IDM 2002, 4th International Workshop on the Identification of Dark Matter

On the challenge to improve the density response with unusual gradient approximations

Certain excitations, especially ones of long-range charge transfer character, are poorly described by time-dependent density functional theory (TDDFT) when typical (semi-)local functionals are used. A proper description of these excitations would require an exchange-correlation response differing substantially from the usual (semi-)local one. It has recently been shown that functionals of the generalized gradient approximation (GGA) type can yield unusual potentials, mimicking features of the exact exchange derivative discontinuity and showing divergences on orbital nodal surfaces. We here investigate whether these unusual potential properties translate into beneficial response properties. Using the Sternheimer formalism we closely investigate the response obtained with the 2013 exchange approximation by Armiento and K\"ummel (AK13) and the 1988 exchange approximation by Becke (B88), both of which show divergences on orbital nodal planes. Numerical calculations for Na2 as well as analytical and numerical calculations for the hydrogen atom show that the response of AK13 behaves qualitatively different from usual semi local functionals. However, the AK13 functional leads to fundamental instabilities in the asymptotic region that prevent its practical application in TDDFT. Our findings may help the development of future improved functionals, and corroborate that the frequency-dependent Sternheimer formalism is excellently suited for running and analyzing TDDFT calculations

Finite resolution measurement of the non-classical polarization statistics of entangled photon pairs

By limiting the resolution of quantum measurements, the measurement induced changes of the quantum state can be reduced, permitting subsequent measurements of variables that do not commute with the initially measured property. It is then possible to experimentally determine correlations between non-commuting variables. The application of this method to the polarization statistics of entangled photon pairs reveals that negative conditional probabilities between non-orthogonal polarization components are responsible for the violation of Bell's inequalities. Such negative probabilities can also be observed in finite resolution measurements of the polarization of a single photon. The violation of Bell's inequalities therefore originates from local properties of the quantum statistics of single photon polarization.Comment: 15 pages, 5 figures and 1 table, new figure to illustrate results, improved explanation of statistical analysi

Quantitative Models and Implicit Complexity

We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Elementary Affine Logic, LFPL (a language for polytime computation close to realistic functional programming introduced by one of us), Light Affine Logic and Soft Affine Logic. The proofs are based on a common semantical framework which is merely instantiated in four different ways. The framework consists of an innovative modification of realizability which allows us to use resource-bounded computations as realisers as opposed to including all Turing computable functions as is usually the case in realizability constructions. For example, all realisers in the model for LFPL are polynomially bounded computations whence soundness holds by construction of the model. The work then lies in being able to interpret all the required constructs in the model. While being the first entirely semantical proof of polytime soundness for light logi cs, our proof also provides a notable simplification of the original already semantical proof of polytime soundness for LFPL. A new result made possible by the semantic framework is the addition of polymorphism and a modality to LFPL thus allowing for an internal definition of inductive datatypes.Comment: 29 page

Statistical fluctuations for the fission process on its decent from saddle to scission

We reconsider the importance of statistical fluctuations for fission dynamics beyond the saddle in the light of recent evaluations of transport coefficients for average motion. The size of these fluctuations are estimated by means of the Kramers-Ingold solution for the inverted oscillator, which allows for an inclusion of quantum effects.Comment: 12 pages, Latex, 5 Postscript figures; submitted to PRC e-mail: [email protected] www home page: http://www.physik.tu-muenchen.de/tumphy/e/T36/hofmann.htm

Amortised resource analysis with separation logic

Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete resource bounds for functional programs, with good support for inference. In this work we translate the idea of amortised resource analysis to imperative languages by embedding a logic of resources, based on Bunched Implications, within Separation Logic. The Separation Logic component allows us to assert the presence and shape of mutable data structures on the heap, while the resource component allows us to state the resources associated with each member of the structure. We present the logic on a small imperative language with procedures and mutable heap, based on Java bytecode. We have formalised the logic within the Coq proof assistant and extracted a certified verification condition generator. We demonstrate the logic on some examples, including proving termination of in-place list reversal on lists with cyclic tails

The structure of superheavy elements newly discovered in the reaction of 86^{86}Kr with 208^{208}Pb

The structure of superheavy elements newly discovered in the $^{208}$Pb($^{86}$Kr,n) reaction at Berkeley is systematically studied in the Relativistic Mean Field (RMF) approach. It is shown that various usually employed RMF forces, which give fair description of normal stable nuclei, give quite different predictions for superheavy elements. Among the effective forces we tested, TM1 is found to be the good candidate to describe superheavy elements. The binding energies of the $^{293}$118 nucleus and its $\alpha-$decay daughter nuclei obtained using TM1 agree with those of FRDM within 2 MeV. Similar conclusion that TM1 is the good interaction is also drawn from the calculated binding energies for Pb isotopes with the Relativistic Continuum Hartree Bogoliubov (RCHB) theory. Using the pairing gaps obtained from RCHB, RMF calculations with pairing and deformation are carried out for the structure of superheavy elements. The binding energy, shape, single particle levels, and the Q values of the $\alpha-$decay $Q_{\alpha}$ are discussed, and it is shown that both pairing correlation and deformation are essential to properly understand the structure of superheavy elements. A good agreement is obtained with experimental data on $Q_{\alpha}$. %Especially, the atomic number %dependence of $Q_{\alpha}$ %seems to match with the experimental observationComment: 19 pages, 5 figure

Microscopic Enhancement of Heavy-Element Production

Realistic fusion barriers are calculated in a macroscopic-microscopic model for several soft-fusion heavy-ion reactions leading to heavy and superheavy elements. The results obtained in such a realistic picture are very different from those obtained in a purely macroscopic model. For reactions on 208:Pb targets, shell effects in the entrance channel result in fusion-barrier energies at the touching point that are only a few MeV higher than the ground state for compound systems near Z = 110. The entrance-channel fragment-shell effects remain far inside the touching point, almost to configurations only slightly more elongated than the ground-state configuration, where the fusion barrier has risen to about 10 MeV above the ground-state energy. Calculated single-particle level diagrams show that few level crossings occur until the peak in the fusion barrier very close to the ground-state shape is reached, which indicates that dissipation is negligible until very late in the fusion process. Whereas the fission valley in a macroscopic picture is several tens of MeV lower in energy than is the fusion valley, we find in the macroscopic-microscopic picture that the fission valley is only about 5 MeV lower than the fusion valley for soft-fusion reactions leading to compound systems near Z = 110. These results show that no significant ``extra-extra-push'' energy is needed to bring the system inside the fission saddle point and that the typical reaction energies for maximum cross section in heavy-element synthesis correspond to only a few MeV above the maximum in the fusion barrier.Comment: 7 pages. LaTeX. Submitted to Zeitschrift fur Physik A. 5 figures not included here. Complete preprint, including device-independent (dvi), PostScript, and LaTeX versions of the text, plus PostScript files of the figures, available at http://t2.lanl.gov/publications/publications.html or at ftp://t2.lanl.gov/pub/publications/mehe