Gravitational Collapse in One Dimension

We simulate the evolution of one-dimensional gravitating collisionless systems from non- equilibrium initial conditions, similar to the conditions that lead to the formation of dark- matter halos in three dimensions. As in the case of 3D halo formation we find that initially cold, nearly homogeneous particle distributions collapse to approach a final equilibrium state with a universal density profile. At small radii, this attractor exhibits a power-law behavior in density, {\rho}(x) \propto |x|^(-{\gamma}_crit), {\gamma}_crit \simeq 0.47, slightly but significantly shallower than the value {\gamma} = 1/2 suggested previously. This state develops from the initial conditions through a process of phase mixing and violent relaxation. This process preserves the energy ranks of particles. By warming the initial conditions, we illustrate a cross-over from this power-law final state to a final state containing a homogeneous core. We further show that inhomogeneous but cold power-law initial conditions, with initial exponent {\gamma}_i > {\gamma}_crit, do not evolve toward the attractor but reach a final state that retains their original power-law behavior in the interior of the profile, indicating a bifurcation in the final state as a function of the initial exponent. Our results rely on a high-fidelity event-driven simulation technique.Comment: 14 Pages, 13 Figures. Submitted to MNRA

Image processing applied to gravity and topography data covering the continental United States

The applicability of fairly standard image processing techniques to processing and analyzing large geologic data sets in addressed. Image filtering techniques were used to interpolate between gravity station locations to produce a regularly spaced data array that preserves detail in areas with good coverage, and that produces a continuous tone image rather than a contour map. Standard image processing techniques were used to digitally register and overlay topographic and gravity data, and the data were displayed in ways that emphasize subtle but pervasive structural features. The potential of the methods is illustrated through a discussion of linear structures that appear in the processed data between the midcontinent gravity high and the Appalachians

Magnetoresistance, noise properties and the Koshino-Taylor effect in the quasi-1D oxide KRu_4O_8

The low temperature electronic and galvanomagnetic transport properties of the low dimensional oxide KRu_4O_8 are experimentally considered. A quadratic temperature variation of the resistivity is observed to be proportional to the residual resistivity. It shows the role of inelastic electron scattering against impurities, i.e. a large Koshino-Taylor effect, rather than a consequence of strong electronic correlations. In the same temperature range, the Kohler rule is not fulfilled. The resistance noise increases also sharply, possibly due to a strong coupling of carriers with lattice fluctuations in this low dimensional compound.Comment: accepted for publication in Europhysics Lette

Premise Selection and External Provers for HOL4

Learning-assisted automated reasoning has recently gained popularity among the users of Isabelle/HOL, HOL Light, and Mizar. In this paper, we present an add-on to the HOL4 proof assistant and an adaptation of the HOLyHammer system that provides machine learning-based premise selection and automated reasoning also for HOL4. We efficiently record the HOL4 dependencies and extract features from the theorem statements, which form a basis for premise selection. HOLyHammer transforms the HOL4 statements in the various TPTP-ATP proof formats, which are then processed by the ATPs. We discuss the different evaluation settings: ATPs, accessible lemmas, and premise numbers. We measure the performance of HOLyHammer on the HOL4 standard library. The results are combined accordingly and compared with the HOL Light experiments, showing a comparably high quality of predictions. The system directly benefits HOL4 users by automatically finding proofs dependencies that can be reconstructed by Metis

Effect of initial spin polarization on spin dephasing and electron g factor in a high-mobility two-dimensional electron system

We have investigated the spin dynamics of a high-mobility two-dimensional electron system (2DES) in a GaAs--Al$_{0.3}$Ga$_{0.7}$As single quantum well by time-resolved Faraday rotation (TRFR) in dependence on the initial degree of spin polarization, $P$, of the 2DES. From $P\sim 0$ to $P\sim 30$ %, we observe an increase of the spin dephasing time, $T_2^\ast$, by an order of magnitude, from about 20 ps to 200 ps, in good agreement with theoretical predictions by Weng and Wu [Phys. Rev. B {\bf 68}, 075312 (2003)]. Furthermore, by applying an external magnetic field in the Voigt configuration, also the electron $g$ factor is found to decrease for increasing $P$. Fully microscopic calculations, by numerically solving the kinetic spin Bloch equations considering the D'yakonov-Perel' and the Bir-Aronov-Pikus mechanisms, reproduce the most salient features of the experiments, {\em i.e}., a dramatic decrease of spin dephasing and a moderate decrease of the electron $g$ factor with increasing $P$. We show that both results are determined dominantly by the Hartree-Fock contribution of the Coulomb interaction.Comment: 4 pages, 4 figures, to be published in PR

Handling and analysis of ices in cryostats and glove boxes in view of cometary samples

Comet nucleus sample return mission and other return missions from planets and satellites need equipment for handling and analysis of icy samples at low temperatures under vacuum or protective gas. Two methods are reported which were developed for analysis of small icy samples and which are modified for larger samples in cometary matter simulation experiments (KOSI). A conventional optical cryostat system was modified to allow for transport of samples at 5 K, ion beam irradiation, and measurement in an off-line optical spectrophotometer. The new system consists of a removable window plug containing nozzles for condensation of water and volatiles onto a cold finger. This plug can be removed in a vacuum system, changed against another plug (e.g., with other windows (IR, VIS, VUV) or other nozzles). While open, the samples can be treated under vacuum with cooling by manipulators (cut, removal, sample taking, irradiation with light, photons, or ions). After bringing the plug back, the samples can be moved to another site of analysis. For handling the 30 cm diameter mineral-ice samples from the KOSI experiments an 80x80x80 cm glove box made out of plexiglass was used. The samples were kept in a liquid nitrogen bath, which was filled from the outside. A stream a dry N2 and evaporating gas from the bath purified the glove box from impurity gases and, in particular, H2O, which otherwise would condense onto the samples