Inverse Compton Scattering as the Source of Diffuse EUV Emission in the Coma Cluster of Galaxies

We have examined the hypothesis that the majority of the diffuse EUV flux in the Coma cluster is due to inverse Compton scattering of low energy cosmic ray electrons (0.16 < epsilon < 0.31 GeV) against the 3K black-body background. We present data on the two-dimensional spatial distribution of the EUV flux and show that these data provide strong support for a non-thermal origin for the EUV flux. However, we show that this emission cannot be produced by an extrapolation to lower energies of the observed synchrotron radio emitting electrons and an additional component of low energy cosmic ray electrons is required.Comment: 11 pages, 5 figure

X-ray Observations of the New Pulsar--Supernova Remnant System PSR J1119-6127 and SNR G292.2-0.5

PSR J1119-6127 is a recently discovered 1700-year-old radio pulsar that has a very high inferred surface dipolar magnetic field. We present a detailed analysis of a pointed ASCA observation and archival ROSAT data of J1119-6127 and its surroundings. Both data sets reveal extended emission coincident with the newly-discovered radio supernova remnant G292.2-0.5, reported in a companion paper by Crawford et al. (astro-ph/0012287).. A hard point source, offset ~1.5' from the position of the radio pulsar, is seen with the ASCA GIS. No pulsations are detected at the radio period with a pulsed fraction upper limit of 61% (95% confidence). The limited statistics prevent a detailed spectral analysis, although a power-law model with photon index (Gamma=~1-2) describes the data well. Both the spectral model and derived X-ray luminosity are consistent with those measured for other young radio pulsars, although the spatial offset renders an identification of the source as the X-ray counterpart of the pulsar uncertain.Comment: Accepted by ApJ; 12 Pages in emulated ApJ format with embedded tables and color figure

The VAST Survey - I. Companions and the unexpected X-ray detection of B6-A7 stars

With an adaptive optics imaging survey of 148 B6-A7 stars, we have tested the hypothesis that unresolved lower-mass companions are the source of the unexpected X-ray detections of stars in this spectral type range. The sample is composed of 63 stars detected in X-rays within the ROSAT All-Sky Survey and 85 stars that form a control sample; both subsets have the same restricted distribution of spectral type, age, X-ray sensitivity and separation coverage. A total of 68 companion candidates are resolved with separations ranging from 0.3" to 26.2", with 23 new detections. The multiple star frequency of the X-ray sample based on companions resolved within the ROSAT error ellipse is found to be 43 (+6,-6)%. The corresponding control sample multiple star frequency is three times lower at 12 (+4,-3)% -- a difference of 31\pm7%. These results are presented in the first of a series of papers based on our Volume-limited A-Star (VAST) survey -- a comprehensive study of the multiplicity of A-type stars.Comment: Accepted for publication in Monthly Notices of the Royal Astronomical Societ

Seal of transparency heritage in the CISMeF quality-controlled health gateway

BACKGROUND: It is an absolute necessity to continually assess the quality of health information on the Internet. Quality-controlled subject gateways are Internet services which apply a selected set of targeted measures to support systematic resource discovery. METHODS: The CISMeF health gateway became a contributor to the MedCIRCLE project to evaluate 270 health information providers. The transparency heritage consists of using the evaluation performed on providers that are referenced in the CISMeF catalogue for evaluating the documents they publish, thus passing on the transparency label from the publishers to their documents. RESULTS: Each site rated in CISMeF has a record in the CISMeF database that generates an RDF into HTML file. The search tool Doc'CISMeF displays information originating from every publisher evaluated with a specific MedCIRCLE button, which is linked to the MedCIRCLE central repository. Starting with 270 websites, this trust heritage has led to 6,480 evaluated resources in CISMeF (49.8% of the 13,012 resources included in CISMeF). CONCLUSION: With the MedCIRCLE project and transparency heritage, CISMeF became an explicit third party

Witnessing (co)datatypes

Datatypes and codatatypes are useful for specifying and reasoning about (possibly infinite) computational processes. The Isabelle/HOL proof assistant has recently been extended with a definitional package that supports both. We describe a complete procedure for deriving nonemptiness witnesses in the general mutually recursive, nested case—nonemptiness being a proviso for introducing types in higher-order logic

Comprehending Isabelle/HOL's consistency

The proof assistant Isabelle/HOL is based on an extension of Higher-Order Logic (HOL) with ad hoc overloading of constants. It turns out that the interaction between the standard HOL type definitions and the Isabelle-specific ad hoc overloading is problematic for the logical consistency. In previous work, we have argued that standard HOL semantics is no longer appropriate for capturing this interaction, and have proved consistency using a nonstandard semantics. The use of an exotic semantics makes that proof hard to digest by the community. In this paper, we prove consistency by proof-theoretic means—following the healthy intuition of definitions as abbreviations, realized in HOLC, a logic that augments HOL with comprehension types. We hope that our new proof settles the Isabelle/HOL consistency problem once and for all. In addition, HOLC offers a framework for justifying the consistency of new deduction schemas that address practical user needs

Neutrino Mass and μ→e+γ\mu \rightarrow e + \gamma from a Mini-Seesaw

The recently proposed "mini-seesaw mechanism" combines naturally suppressed Dirac and Majorana masses to achieve light Standard Model neutrinos via a low-scale seesaw. A key feature of this approach is the presence of multiple light (order GeV) sterile-neutrinos that mix with the Standard Model. In this work we study the bounds on these light sterile-neutrinos from processes like \mu ---> e + \gamma, invisible Z-decays, and neutrinoless double beta-decay. We show that viable parameter space exists and that, interestingly, key observables can lie just below current experimental sensitivities. In particular, a motivated region of parameter space predicts a value of BR(\mu ---> e + \gamma) within the range to be probed by MEG.Comment: 1+26 pages, 7 figures. v2 JHEP version (typo's fixed, minor change to presentation, results unchanged

New Perspectives on the X-ray Emission of HD 104237 and Other Nearby Herbig Ae/Be Stars from XMM-Newton and Chandra

We present new X-ray observations of the nearby Herbig Ae star HD 104237 (= DX Cha) with XMM-Newton, whose objective is to clarify the origin of the emission. Several X-ray emission lines are clearly visible in the CCD spectra, including the high-temperature Fe K-alpha complex. The emission can be accurately modeled as a multi-temperature thermal plasma with cool (kT < 1 keV) and hot (kT > 3 keV) components. The presence of a hot component is compelling evidence that the X-rays originate in magnetically confined plasma, either in the Herbig star itself or in the corona of an as yet unseen late-type companion. The X-ray temperatures and luminosity (log Lx = 30.5 ergs/s) are within the range expected for a T Tauri companion, but high resolution Chandra and HST images constrain the separation of a putative companion to less than 1 arcsec. We place these new results into broader context by comparing the X-ray and bolometric luminosities of a sample of nearby Herbig stars with those of T Tauri stars and classical main-sequence Be stars. We also test the predictions of a model that attributes the X-ray emission of Herbig stars to magnetic activity that is sustained by a shear-powered dynamo.Comment: To appear in ApJ (part 1); 43 pages, 8 figures, 5 table

Chandra Observations of Variable Embedded X-ray sources in Orion. Paper I: Resolving Orion Trapezium

We used the High Energy Transmission Grating Spectrometer (HETGS) onboard the Chandra X-ray Observatory to perform two observations, separated by three weeks, of the Orion Trapezium region. The zeroth order images on the Advanced CCD Imaging Spectrometer (ACIS) provide spatial resolution of 0.5" and moderate energy resolution. Within a 160"x140" region around the Orion Trapezium we resolve 111 X-ray sources with luminosities between 7x10^{28} ergs/s and 2x10^{32} ergs/s. We do not detect any diffuse emission. Many sources appear much more heavily absorbed, with N_H in the range of 10^22 to 10^23 cm^-2. The main objective of this paper is to study the Orion Trapezium and its close vicinity. Most spectra of the very early type members can be fit with a two-temperature thermal spectrum with a soft component of kT ~ 0.8 keV and a hard component of kT ~ 2 to 3 keV. We discuss these results in the context of stellar wind models. We detect eight additional, mostly variable X-ray sources in the close vicinity of the Trapezium. Five of these X-rays sources are identified with proplyds and we argue that the X-ray emission originates from class I, II and III protostars at the cores of the proplyds.Comment: 12 pages, 3 figures, accepted for publication in The Astrophysical Journa