Dust Emission from Active Galactic Nuclei

Unified schemes of active galactic nuclei (AGN) require an obscuring dusty torus around the central source, giving rise to Seyfert 1 line spectrum for pole-on viewing and Seyfert 2 characteristics in edge-on sources. Although the observed IR is in broad agreement with this scheme, the behavior of the 10 micron silicate feature and the width of the far-IR emission peak remained serious problems in all previous modeling efforts. We show that these problems find a natural explanation if the dust is contained in about 5-10 clouds along radial rays through the torus. The spectral energy distributions (SED) of both type 1 and type 2 sources are properly reproduced from different viewpoints of the same object if the visual optical depth of each cloud is larger than about 60 and the clouds' mean free path increases roughly in proportion to radial distance.Comment: 11 pages, submitted to ApJ Letter

Absorption lines from magnetically-driven winds in X-ray binaries

High resolution X-ray spectra of black hole X-ray binaries (BHBs) show blueshifted absorption lines from disk winds which seem to be equatorial. Winds occur in the Softer (disk-dominated) states of the outburst and are less prominent or absent in the Harder (power-law dominated) states. We use self-similar magneto-hydrodynamic (MHD) accretion-ejection models to explain the disk winds in BHBs. In our models, the density at the base of the outflow from the accretion disk is not a free parameter, but is determined by solving the full set of dynamical MHD equations. Thus the physical properties of the outflow are controlled by the global structure of the disk. We studied different MHD solutions characterized by different values of (a) the disk aspect ratio ($\varepsilon$) and (b) the ejection efficiency ($p$). We use two kinds of MHD solutions depending on the absence (cold solution) or presence (warm solution) of heating at the disk surface. Such heating could be from e.g. dissipation of energy due to MHD turbulence in the disk or from illumination. We use each of these MHD solutions to predict the physical parameters of an outflow; put limits on the ionization parameter ($\xi$), column density and timescales, motivated by observational results; and thus select regions within the outflow which are consistent with the observed winds. The cold MHD solutions cannot account for winds due to their low ejection efficiency. But warm solutions can explain the observed physical quantities in the wind because they can have sufficiently high values of $p$ ($\gtrsim 0.1$, implying larger mass loading at the base of the outflow). Further from our thermodynamic equilibrium curve analysis for the outflowing gas, we found that in the Hard state a range of $\xi$ is thermodynamically unstable, and had to be excluded. This constrain made it impossible to have any wind at all, in the Hard state.Comment: 16 Pages, 10 figures in the main body and 4 figures in the appendix. Accepted for publication in A&

Maude: specification and programming in rewriting logic

Maude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification and programming in its sublanguage of functional modules and theories. The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality conditions. Rewriting logic is reflective, in the sense of being able to express its own metalevel at the object level. Reflection is systematically exploited in Maude endowing the language with powerful metaprogramming capabilities, including both user-definable module operations and declarative strategies to guide the deduction process. This paper explains and illustrates with examples the main concepts of Maude's language design, including its underlying logic, functional, system and object-oriented modules, as well as parameterized modules, theories, and views. We also explain how Maude supports reflection, metaprogramming and internal strategies. The paper outlines the principles underlying the Maude system implementation, including its semicompilation techniques. We conclude with some remarks about applications, work on a formal environment for Maude, and a mobile language extension of Maude

Towards the specification and verification of modal properties for structured systems

System specification formalisms should come with suitable property specification languages and effective verification tools. We sketch a framework for the verification of quantified temporal properties of systems with dynamically evolving structure. We consider visual specification formalisms like graph transformation systems (GTS) where program states are modelled as graphs, and the program behavior is specified by graph transformation rules. The state space of a GTS can be represented as a graph transition system (GTrS), i.e. a transition system with states and transitions labelled, respectively, with a graph, and with a partial morphism representing the evolution of state components. Unfortunately, GTrSs are prohibitively large or infinite even for simple systems, making verification intractable and hence calling for appropriate abstraction techniques

A Rewriting-Logic-Based Technique for Modeling Thermal Systems

This paper presents a rewriting-logic-based modeling and analysis technique for physical systems, with focus on thermal systems. The contributions of this paper can be summarized as follows: (i) providing a framework for modeling and executing physical systems, where both the physical components and their physical interactions are treated as first-class citizens; (ii) showing how heat transfer problems in thermal systems can be modeled in Real-Time Maude; (iii) giving the implementation in Real-Time Maude of a basic numerical technique for executing continuous behaviors in object-oriented hybrid systems; and (iv) illustrating these techniques with a set of incremental case studies using realistic physical parameters, with examples of simulation and model checking analyses.Comment: In Proceedings RTRTS 2010, arXiv:1009.398

Spitzer/IRS Observations of Seyfert 1.8s and 1.9s: A Comparison with Seyfert 1s and Seyfert 2s

We present Spitzer Space Telescope mid-infrared spectra of 12 Seyfert 1.8 and 1.9 galaxies over the 5-38 um region. We compare the spectral characteristics of this sample to those of 58 Seyfert 1 and Seyfert 2 galaxies from the Spitzer archives. An analysis of the spectral shapes, the silicate 10 um feature and the emission line fluxes have enabled us to characterize the mid-IR properties of Seyfert 1.8/1.9s. We find that the equivalent widths of the 10 um silicate feature are generally weak in all Seyfert galaxies, as previously reported by several studies. The few Seyfert galaxies in this sample that show deep 10 um silicate absorption features are highly inclined and/or merging galaxies. It is likely that these absorption features originate primarily in the dusty interstellar medium of the host galaxy rather than in a dusty torus on parsec scales close to the central engine. We find that the equivalent width of the polycyclic aromatic hydrocarbon (PAH) band at 6.2 um correlates strongly with the 20-30 um spectral index. Either of these quantities are good indicators of the amount of starburst contribution to the mid-IR spectra. The spectra of Seyfert 1.8 and 1.9s are dominated by these starburst features, similar to most Seyfert 2s. They show strong PAH bands and a strong red continuum toward 30 um. The strengths of the high-ionization forbidden narrow emission lines [O IV] 25.89 um, [Ne III] 15.56 um and [Ne V] 14.32 um relative to [Ne II] 12.81 um are weaker in Seyfert 1.8/1.9s and Seyfert 2s as compared to Seyfert 1s. The weakness of high-ionization lines in Seyfert 1.8-1.9s is suggestive of intrinsically weak active galactic nuclei (AGN) continua, and/or stronger star formation activity leading to enhanced [Ne II]. We discuss the implications of these observational results in the context of the Unified Model of AGN.Comment: 36 pages, 4 tables, 6 figures, Accepted for publication in The Astrophysical Journal, December 200

The XMM-Newton view of the central degrees of the Milky Way

The deepest XMM-Newton mosaic map of the central 1.5 deg of the Galaxy is presented, including a total of about 1.5 Ms of EPIC-pn cleaned exposures in the central 15" and about 200 ks outside. This compendium presents broad-band X-ray continuum maps, soft X-ray intensity maps, a decomposition into spectral components and a comparison of the X-ray maps with emission at other wavelengths. Newly-discovered extended features, such as supernova remnants (SNRs), superbubbles and X-ray filaments are reported. We provide an atlas of extended features within +-1 degree of Sgr A*. We discover the presence of a coherent X-ray emitting region peaking around G0.1-0.1 and surrounded by the ring of cold, mid-IR-emitting material known from previous work as the "Radio Arc Bubble" and with the addition of the X-ray data now appears to be a candidate superbubble. Sgr A's bipolar lobes show sharp edges, suggesting that they could be the remnant, collimated by the circumnuclear disc, of a SN explosion that created the recently discovered magnetar, SGR J1745-2900. Soft X-ray features, most probably from SNRs, are observed to fill holes in the dust distribution, and to indicate a direct interaction between SN explosions and Galactic center (GC) molecular clouds. We also discover warm plasma at high Galactic latitude, showing a sharp edge to its distribution that correlates with the location of known radio/mid-IR features such as the "GC Lobe". These features might be associated with an inhomogeneous hot "atmosphere" over the GC, perhaps fed by continuous or episodic outflows of mass and energy from the GC region.Comment: MNRAS published online. See www.mpe.mpg.de/heg/gc/ for a higher resolution version of the figure

Red Quasars and Quasar Evolution: the Case of BALQSO FIRST J155633.8+351758

We present the first near-IR spectroscopy of the z=1.5 radio-loud BALQSO FIRST J155633.8+351758. Both the Balmer decrement and the slope of the rest-frame UV-optical continuum independently suggest a modest amount of extinction along the line of sight to the BLR (E(B-V)~0.5 for SMC-type screen extinction at the QSO redshift). The implied gas column density along the line of sight is much less than is implied by the weak X-ray flux of the object, suggesting that either the BLR and BAL region have a low dust-to-gas ratio, or that the rest-frame optical light encounters significantly lower mean column density lines of sight than the X-ray emission. From the rest-frame UV-optical spectrum, we are able to constrain the stellar mass content of the system. Comparing the maximal stellar mass with the black hole mass estimated from the bolometric luminosity of the QSO, we find that the ratio of the black hole to stellar mass may be comparable to the Magorrian value, which would imply that the Magorrian relation is already in place at z=1.5. However, multiple factors favor a much larger black hole to stellar mass ratio. This would imply that if the Magorrian relation characterizes the late history of QSOs, and the situation observed for F1556+3517 is typical of the early evolutionary history of QSOs, central black hole masses develop more rapidly than bulge masses. [ABRIDGED]Comment: 23 pages, 4 embedded postscript figures; Accepted for publication in The Astronomical Journal, December 200

On the Nature of Soft X-ray Weak Quasi-Stellar Objects

Recent studies of QSOs with ROSAT suggest the existence of a significant population of Soft X-ray Weak QSOs (SXW QSOs) where the soft X-ray flux is ~ 10-30 times smaller than in typical QSOs. As a first step in a systematic study of these objects, we establish a well-defined sample of SXW QSOs which includes all alpha_ox<=-2 QSOs from the Boroson & Green (1992) sample of 87 BQS QSOs. SXW QSOs comprise about 11% of this optically selected QSO sample. From an analysis of CIV absorption in the 55 BG92 QSOs with available CIV data, we find a remarkably strong correlation between alpha_ox and the CIV absorption equivalent width. This correlation suggests that absorption is the primary cause of soft X-ray weakness in QSOs, and it reveals a continuum of absorption properties connecting unabsorbed QSOs, X-ray warm absorber QSOs, SXW QSOs and BAL QSOs. From a practical point of view, our correlation demonstrates that selection by soft X-ray weakness is an effective (>=80% successful) and observationally inexpensive way to find low-redshift QSOs with strong and interesting ultraviolet absorption. We have also identified several notable differences between the optical emission-line properties of SXW QSOs and those of the other BG92 QSOs. SXW QSOs show systematically low [O III] luminosities as well as distinctive H-beta profiles. They tend to lie toward the weak-[O III] end of BG92 eigenvector 1, as do many low-ionization BAL QSOs. Unabsorbed Seyferts and QSOs with similar values of eigenvector 1 have been suggested to have extreme values of a primary physical parameter, perhaps mass accretion rate relative to the Eddington rate (M-dot/M-dot_{Edd}). If these suggestions are correct, it is likely that SXW QSOs also tend to have generally high values of (M-dot/M-dot_{Edd}). (Abridged)Comment: 34 pages, ApJ accepted, also available from http://www.astro.psu.edu/users/niel/papers/papers.htm