Atomic clouds as distributed sources for the plasma torus

Implications of recent developments for the neutral particle environment of Jupiter are considered. The first detection is reported of very hot S+ ions with gyrospeeds comparable to the corotations speed, a phenomenon which results from a neutral sulfur cloud. Evidence supports the hypothesis that extensive neutral clouds of oxygen and sulfur exist and are important sources of ions and energy for the Io torus

Densities and abundances of hot cometary ions in the coma of P/Halley

On its flight by P/Halley, the Giotto spacecraft carried a High Energy Range Spectrometer (HERS) for measuring the properties of cometary ions picked up by the solar wind in the nearly collisionless regions of the coma. Preliminary estimates of the ion densities observed by HERS were reevaluated and extended; density profiles along the Giotto trajectory are presented for 13 values of ion mass/charge. Comparison with the physical-chemical model of the interaction of sunlight and the solar wind with the comet by other researchers reveals that, with the exception of protons and H2(+), all ion densities were at least an order of magnitude higher than predicted. The high ion densities cannot be explained on the basis of compression of the plasma, but require additional or stronger ionization mechanisms. Ratios of the densities of different ion species reveal an overabundance of carbonaceous material and an underabundance of H2(+) compared to the predictions of the Schmidt. While the densities of solar wind ions (H(+) and He(++)) changed sharply across a magnetic discontinuity located 1.35(10)(exp 5) km from the comet, this feature, which has been called both the 'cometopause' and the 'magnetic pileup boundary' was barely distinguishable in the density profiles of hot cometary ions. This result is consistent with the interpretation that the magnetic pileup boundary detected by Giotto was caused by a discontinuity in the solar wind and is not an intrinsic feature of the interaction of the solar wind with an active comet

Non-thermal Origin of the EUV and Soft X-rays from the Coma Cluster - Cosmic Rays in Equipartition with the Thermal Medium

The role of cosmic rays (CR) in the formation and evolution of clusters of galaxies has been much debated. It may well be related to other fundamental questions, such as the mechanism which heats and virializes the intracluster medium (ICM), and the frequency at which the ICM is shocked. There is now compelling evidence both from the cluster soft excess (CSE) and the `hard-tail' emissions at energies above 10 keV, that many clusters are luminous sources of inverse-Compton (IC) emission. This is the first direct measurement of cluster CR: the technique is free from our uncertainties in the ICM magnetic field, and is not limited to the small subset of clusters which exhibit radio halos. The CSE emitting electrons fall within a crucial decade of energy where they have the least spectral evolution, and where most of the CR pressure resides. However their survival times do not date them back to the relic CR population. By using the CSE data of the Coma cluster, we demonstrate that the CR are energetically as important as the thermal ICM: the two components are in pressure equiparition. Thus, contrary to previous expectations, CR are a dominant component of the ICM, and their origin and effects should be explored. The best-fit CR spectral index is in agreement with the Galactic value.Comment: ApJ accepted; 10 pages LaTeX; 2 figures and 1 table in PostScrip

Observations of solar wind ion charge exchange in the comet Halley coma

Giotto Ion Mass Spectrometer/High Energy Range Spectrometer (IMS/HERS) observations of solar wind ions show charge exchange effects and solar wind compositional changes in the coma of comet Halley. As the comet was approached, the He(++) to proton density ratio increased until about 1 hour before closest approach after which time it decreased. Abrupt increases in this ratio were also observed in the beginning and near the end of the so-called Mystery Region (8.6 - 5.5(10)(exp 5) km from the comet along the spacecraft trajectory). These abrupt increases in the density ratio were well correlated with enhanced fluxes of keV electrons as measured by the Giotto plasma electron spectrometer. The general increase and then decrease of the He(++) to proton density ratio is quantitatively consistent with a combination of the addition of protons of cometary origin to the plasma and loss of plasma through charge exchange of protons and He(++). In general agreement with the solar wind proton and He(++) observations, solar wind oxygen and carbon ions were observed to charge exchange from higher to lower charge states with decreasing distance to the comet. The more abrupt increases in the He(++) to proton and the He(++) to O(6+) density ratios in the mystery region require a change in the solar wind ion composition in this region while the correlation with energetic electrons indicates processes associated with the comet

Particle acceleration and the origin of gamma-ray emission from Fermi Bubbles

Fermi LAT has discovered two extended gamma-ray bubbles above and below the galactic plane. We propose that their origin is due to the energy release in the Galactic center (GC) as a result of quasi-periodic star accretion onto the central black hole. Shocks generated by these processes propagate into the Galactic halo and accelerate particles there. We show that electrons accelerated up to ~10 TeV may be responsible for the observed gamma-ray emission of the bubbles as a result of inverse Compton (IC) scattering on the relic photons. We also suggest that the Bubble could generate the flux of CR protons at energies > 10^15 eV because the shocks in the Bubble have much larger length scales and longer lifetimes in comparison with those in SNRs. This may explain the the CR spectrum above the knee.Comment: 5 pages, 4 figures. Expanded version of the contribution to the 32nd ICRC, Beijing, #0589. To appear in the proceeding

Interpretation of the ion mass spectra in the mass range 25-35 obtained in the inner coma of Halley's comet by the HIS-sensor of the Giotto IMS Experiment

The IMS-HIS double-focussing mass spectrometer that flew on the Giotto spacecraft covered the mass per charge range from 12 to 56 (AMU/e). By comparing flight data, calibration data, and results of model calculations of the ion population in the inner coma, the absolute mass scale is established, and ions in the mass range 25 to 35 are identified. Ions resulting from protonation of molecules with high proton affinity are relatively abundant, enabling us to estimate relative source strengths for H2CO, CH3OH, HCN, and H2S, providing for the first time a positive in situ measurement of methanol. Also, upper limits for NO and some hydrocarbons are derived

Thermal and non-thermal nature of the soft excess emission from Sersic 159-03 observed with XMM-Newton

Several nearby clusters exhibit an excess of soft X-ray radiation which cannot be attributed to the hot virialized intra-cluster medium. There is no consensus to date on the origin of the excess emission: it could be either of thermal origin, or due to an inverse Compton scattering of the cosmic microwave background. Using high resolution XMM-Newton data of Sersic 159-03 we first show that strong soft excess emission is detected out to a radial distance of 0.9 Mpc. The data are interpreted using the two viable models available, i.e., by invoking a warm reservoir of thermal gas, or relativistic electrons which are part of a cosmic ray population. The thermal interpretation of the excess emission, slightly favored by the goodness-of-fit analysis, indicates that the warm gas responsible for the emission is high in mass and low in metallicity.Comment: ApJ in pres

Observations of plasma dynamics in the coma of P/Halley by the Giotto Ion Mass Spectrometer

Observations in the coma of P/Halley by the Giotto Ion Mass Spectrometer (IMS) are reported. The High Energy Range Spectrometer (HERS) of the IMS obtained measurements of protons and alpha particles from the far upstream region to the near ionopause region and of ions from mass 12 to 32 at distances of about 250,000 to 40,000 km from the nucleus. Plasma parameters from the High Intensity Spectrometer (HIS) of the IMS obtained between 150,000 to 5000 km from the nucleus are also discussed. The distribution functions of water group ions (water group will be used to refer to ions of 16 to 18 m/q, where m is in AMU and q is in unit charges) are observed to be spherically symmetric in velocity space, indicating strong pitch angle scattering. The discontinuity known as the magnetic pile-up boundary (MPB) is apparent only in proton, alpha, and magnetometer data, indicating that it is a tangential discontinuity of solar wind origin. HERS observations show no significant change in the properties of the heavy ions across the MPB. A comparison of the observations to an MHD model is made. The plasma flow directions at all distances greater than 30,000 km from the nucleus are in agreement with MHD calculations. However, despite the agreement in flow direction, within 200,000 km of the nucleus the magnitude of the velocity is lower than predicted by the MHD model and the density is much larger (a factor of 4). Within 30,000 km of the nucleus there are large theoretical differences between the MHD model flow calculations for the plane containing the magnetic field and for the plane perpendicular to the magnetic field. The observations agreed much better with the pattern calculated for the plane perpendicular to the magnetic field. The data obtained by the High Energy Range Spectrometer (HERS) of the IMS that are published herein were provided to the International Halley Watch archive

The Size Distribution of Kuiper Belt Objects

We describe analytical and numerical collisional evolution calculations for the size distribution of icy bodies in the Kuiper Belt. For a wide range of bulk properties, initial masses, and orbital parameters, our results yield power-law cumulative size distributions, N_C propto r^{-q}, with q_L = 3.5 for large bodies with radii of 10-100 km, and q_s = 2.5-3 for small bodies with radii lesss than 0.1-1 km. The transition between the two power laws occurs at a break radius of 1-30 km. The break radius is more sensitive to the initial mass in the Kuiper Belt and the amount of stirring by Neptune than the bulk properties of individual Kuiper Belt objects (KBOs). Comparisons with observations indicate that most models can explain the observed sky surface density of KBOs for red magnitudes, R = 22-27. For R 28, the model surface density is sensitive to the amount of stirring by Neptune, suggesting that the size distribution of icy planets in the outer solar system provides independent constraints on the formation of Neptune.Comment: 24 pages of text, 12 figures; to appear in the Astronomical Journal, October 200

Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking

One technique to reduce the state-space explosion problem in temporal logic model checking is symmetry reduction. The combination of symmetry reduction and symbolic model checking by using BDDs suffered a long time from the prohibitively large BDD for the orbit relation. Dynamic symmetry reduction calculates representatives of equivalence classes of states dynamically and thus avoids the construction of the orbit relation. In this paper, we present a new efficient model checking algorithm based on dynamic symmetry reduction. Our experiments show that the algorithm is very fast and allows the verification of larger systems. We additionally implemented the use of state symmetries for symbolic symmetry reduction. To our knowledge we are the first who investigated state symmetries in combination with BDD based symbolic model checking