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

Tactics for Reasoning modulo AC in Coq

We present a set of tools for rewriting modulo associativity and commutativity (AC) in Coq, solving a long-standing practical problem. We use two building blocks: first, an extensible reflexive decision procedure for equality modulo AC; second, an OCaml plug-in for pattern matching modulo AC. We handle associative only operations, neutral elements, uninterpreted function symbols, and user-defined equivalence relations. By relying on type-classes for the reification phase, we can infer these properties automatically, so that end-users do not need to specify which operation is A or AC, or which constant is a neutral element.Comment: 16

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

Reddening, Emission-Line, and Intrinsic Absorption Properties in the Narrow-Line Seyfert 1 Galaxy Akn 564

We use Hubble Space Telescope UV and optical spectra of the narrow-line Seyfert 1 (NLS1) galaxy Akn 564 to investigate its internal reddening and properties of its emission-line and intrinsic UV absorption gas. We find that the extinction curve of Akn 564, derived from a comparison of its UV/optical continuum to that of an unreddened NLS1, lacks a 2200 A bump and turns up towards the UV at a longer wavelength (4000 A) than the standard Galactic, LMC, and SMC curves. However, it does not show the extremely steep rise to 1200 A that characterizes the extinction curve of the Seyfert 1 galaxy NGC 3227. The emission-lines and continuum experience the same amount of reddening, indicating the presence of a dust screen that is external to the narrow-line region (NLR). Echelle spectra from the Space Telescope Imaging Spectrograph show intrinsic UV absorption lines due to Ly-alpha, N V, C IV, Si IV, and Si III, centered at a radial velocity of -190 km/s (relative to the host galaxy). Photoionization models of the UV absorber indicate that it has a sufficient columnand is at a sufficient distance from the nucleus (D > 95 pc) to be the source of the dust screen. Thus, Akn 564 contains a dusty ``lukewarm absorber'' similar to that seen in NGC 3227.Comment: 25 pages, 4 figures. LaTeX with encapsulated postscript figures. Accepted for publication in the Astrophysical Journa

A micromanipulation setup for comparative tests of microgrippers

A micromanipulation setup allowing comparative tests of manipulation micro tools has been developed. Repeatability measurements of positioning as well as optimization of manipulation conditions can be run with parts of typically 5 to 50μm over a large set of parameters including environment conditions, substrate and tip specifications, and different strategies (robot trajectories at picking and releasing time). The workstation consists of a high precise parallel robot, the Delta3, to position the gripper, linear stages to place the parts in the field of view and two microscopes for the visual feedback and position measurement. The setup is placed in a chamber for controlling relative humidity and temperature. An interface was developed to integrate every kind of tool on the robot. Automated operations and measurement have been carried out based on localization and tracking of micro objects and gripper. Integration of micro tools was successfully accomplished and comparative tests were executed with micro tweezers. Sub micrometer position repeatability was achieved with a success rate of pick and pick operations of 95%

The international AGN watch: A multiwavelength monitoring consortium

The International AGN Watch, an informal consortium of over 100 astronomers, was established to coordinate multiwavelength monitoring of a limited number of active galactic nuclei and thus obtain comprehensive continuum and emission-line variability data with unprecedented temporal and wavelength coverage. We summarize the principal scientific results from two completed space-based and ground-based campaigns on the Seyfert galaxies NGC 5548 and NGC 3783. We describe a project in progress and outline our future plans

Heterogeneously grown tunable group-IV laser on silicon

Tunable tensile-strained germanium (epsilon-Ge) thin films on GaAs and heterogeneously integrated on silicon (Si) have been demonstrated using graded III-V buffer architectures grown by molecular beam epitaxy (MBE). epsilon-Ge epilayers with tunable strain from 0% to 1.95% on GaAs and 0% to 1.11% on Si were realized utilizing MBE. The detailed structural, morphological, band alignment and optical properties of these highly tensile-strained Ge materials were characterized to establish a pathway for wavelength-tunable laser emission from 1.55 μm to 2.1 μm. High-resolution X-ray analysis confirmed pseudomorphic epsilon-Ge epitaxy in which the amount of strain varied linearly as a function of indium alloy composition in the InxGa1-xAs buffer. Cross-sectional transmission electron microscopic analysis demonstrated a sharp heterointerface between the epsilon-Ge and the InxGa1-xAs layer and confirmed the strain state of the epsilon-Ge epilayer. Lowtemperature micro-photoluminescence measurements confirmed both direct and indirect bandgap radiative recombination between the Γ and L valleys of Ge to the light-hole valence band, with L-lh bandgaps of 0.68 eV and 0.65 eV demonstrated for the 0.82% and 1.11% epsilon-Ge on Si, respectively. The highly epsilon-Ge exhibited a direct bandgap, and wavelength-tunable emission was observed for all samples on both GaAs and Si. Successful heterogeneous integration of tunable epsilon-Ge quantum wells on Si paves the way for the implementation of monolithic heterogeneous devices on Si

Direct and indirect band gaps in Ge under biaxial tensile strain investigated by photoluminescence and photoreflectance studies

Germanium is an indirect semiconductor which attracts particular interest as an electronics and photonics material due to low indirect-to-direct band separation. In this work we bend the bands of Ge by means of biaxial tensile strain in order to achieve a direct band gap. Strain is applied by growth of Ge on a lattice mismatched InGaAs buffer layer with variable In content. Band structure is studied by photoluminescence and photoreflectance, giving the indirect and direct bands of the material. Obtained experimental energy band values are compared with a k p simulation. Photoreflectance spectra are also simulated and compared with the experiment. The obtained results indicate direct band structure obtained for a Ge sample with 1.94 % strain applied, with preferable Γ valley to heavy hole transition

STIS Echelle Observations of the Seyfert Galaxy NGC 4151: Physical Conditions in the Ultraviolet Absorbers

We have examined the physical conditions in intrinsic UV-absorbing gas in the Seyfert galaxy NGC 4151, using echelle spectra obtained with the Space Telescope Imaging Spectrograph (STIS). We confirm the presence of the kinematic components detected in earlier GHRS observations as well as a new broad absorption feature at a radial velocity of -1680 km/s. The UV continuum of NGC 4151 decreased by a factor of 4 over the previous two years, and we argue the changes in the column density of the low ionization absorption lines associated with the broad component at -490 km/s reflect the decrease in the ionizing flux. Most of the strong absorption lines (e.g., N V, C IV, Si IV) from this component are saturated, but show substantial residual flux in their cores, indicating that the absorber does not fully cover the source of emission. Our interpretation is that the unocculted light is due to scattering by free electrons from an extended region, which reflects continuum, emission lines, and absorption lines. We have been able to constrain the densities for the kinematic components based on absorption lines from metastable states of C III and Fe II, and/or the ratios of ground and fine structure lines of O I,C II, and Si II. We have generated a set of photoionization models which match the ionic column densities for each component during the present low flux state and those seen in previous high flux states with the GHRS and STIS, confirming that the absorbers are photoionized and respond to the changes in the continuum flux. We have been able to map the relative radial positions of the absorbers, and find that the gas decreases in density with distance. None of the UV absorbers is of sufficiently large column density or high enough ionization state to account for the X-ray absorption.Comment: 46 pages (Latex), 14 figures (postscript), plus a landscape table (Latex), to appear in the Astrophysical Journa