The Ultraviolet-to-Mid-Infrared Spectral Energy Distribution of Weak Emission Line Quasars

We present Spitzer Space Telescope photometry of 18 Sloan Digital Sky Survey (SDSS) quasars at 2.7 <= z <= 5.9 which have weak or undetectable high-ionization emission lines in their rest-frame ultraviolet (UV) spectra (hereafter weak-lined quasars, or WLQs). The Spitzer data are combined with SDSS spectra and ground-based, near-infrared (IR) photometry of these sources to produce a large inventory of spectral energy distributions (SEDs) of WLQs across the rest-frame ~0.1-5 mum spectral band. The SEDs of our sources are inconsistent with those of BL Lacertae objects which are dominated by synchrotron emission due to a jet aligned close to our line-of-sight, but are consistent with the SED of ordinary quasars with similar luminosities and redshifts that exhibit a near-to-mid-IR 'bump', characteristic of hot dust emission. This indicates that broad emission lines in WLQs are intrinsically weak, rather than suffering continuum dilution from a jet, and that such sources cannot be selected efficiently from traditional photometric surveys.Comment: 10 pages (emulateapj), 4 figures. Accepted for publication in Ap

Game Refinement Relations and Metrics

We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a successor state. It is often advantageous for players to choose probability distributions over moves, rather than single moves. Given a goal, for example, reach a target state, the question of winning is thus a probabilistic one: what is the maximal probability of winning from a given state? On these game structures, two fundamental notions are those of equivalences and metrics. Given a set of winning conditions, two states are equivalent if the players can win the same games with the same probability from both states. Metrics provide a bound on the difference in the probabilities of winning across states, capturing a quantitative notion of state similarity. We introduce equivalences and metrics for two-player game structures, and we show that they characterize the difference in probability of winning games whose goals are expressed in the quantitative mu-calculus. The quantitative mu-calculus can express a large set of goals, including reachability, safety, and omega-regular properties. Thus, we claim that our relations and metrics provide the canonical extensions to games, of the classical notion of bisimulation for transition systems. We develop our results both for equivalences and metrics, which generalize bisimulation, and for asymmetrical versions, which generalize simulation

X-ray and Multiwavelength Insights into the Nature of Weak Emission-Line Quasars at Low Redshift

(Abridged) We report on the X-ray and multiwavelength properties of 11 radio-quiet quasars with weak or no emission lines identified by the Sloan Digital Sky Survey (SDSS) with redshift z=0.4-2.5. The distribution of relative X-ray brightness for our low-redshift weak-line quasar (WLQ) candidates is significantly different from that of typical radio-quiet quasars, having an excess of X-ray weak sources, but it is consistent with that of high-redshift WLQs. The X-ray weak sources generally show similar UV emission-line properties to those of the X-ray weak quasar PHL 1811; they may belong to the notable class of PHL 1811 analogs. The average X-ray spectrum of these sources is somewhat harder than that of typical radio-quiet quasars. Several other low-redshift WLQ candidates have normal ratios of X-ray-to-optical/UV flux, and their average X-ray spectral properties are also similar to those of typical radio-quiet quasars. The X-ray weak and X-ray normal WLQ candidates may belong to the same subset of quasars having high-ionization "shielding gas" covering most of the wind-dominated broad emission-line region, but be viewed at different inclinations. The mid-infrared-to-X-ray spectral energy distributions (SEDs) of these sources are generally consistent with those of typical SDSS quasars, showing that they are not likely to be BL Lac objects with relativistically boosted continua and diluted emission lines. However, one source in our X-ray observed sample is remarkably strong in X-rays, indicating that a small fraction of low-redshift WLQ candidates may actually be BL Lacs residing in the radio-faint tail of the BL Lac population. We also investigate universal selection criteria for WLQs over a wide range of redshift, finding that it is not possible to select WLQ candidates in a fully consistent way using different prominent emission lines as a function of redshift.Comment: ApJ in press; 26 pages, 11 figures and 7 tables. The full Table 3 is available upon reques

Characterizing the Optical Variability of Bright Blazars: Variability-based Selection of Fermi Active Galactic Nuclei

We investigate the use of optical photometric variability to select and identify blazars in large-scale time-domain surveys, in part to aid in the identification of blazar counterparts to the ∼30% of γ -ray sources in the Fermi 2FGL catalog still lacking reliable associations. Using data from the optical LINEAR asteroid survey, we characterize the optical variability of blazars by fitting a damped random walk model to individual light curves with two main model parameters, the characteristic timescales of variability τ , and driving amplitudes on short timescales σ . Imposing cuts on minimum τ and σ allows for blazar selection with high efficiency E and completeness C. To test the efficacy of this approach, we apply this method to optically variable LINEAR objects that fall within the several arcminute error ellipses of γ -ray sources in the Fermi 2FGL catalog. Despite the extreme stellar contamination at the shallow depth of the LINEAR survey, we are able to recover previously associated optical counterparts to Fermi active galactic nuclei with E ≥ 88% and C = 88% in Fermi 95% confidence error ellipses having semimajor axis r < 8'. We find that the suggested radio counterpart to Fermi source 2FGL J1649.6+5238 has optical variability consistent with other γ -ray blazars and is likely to be the γ -ray source. Our results suggest that the variability of the non-thermal jet emission in blazars is stochastic in nature, with unique variability properties due to the effects of relativistic beaming. After correcting for beaming, we estimate that the characteristic timescale of blazar variability is ∼3 years in the rest frame of the jet, in contrast with the ∼320 day disk flux timescale observed in quasars. The variability-based selection method presented will be useful for blazar identification in time-domain optical surveys and is also a probe of jet physics

A Population of X-ray Weak Quasars: PHL 1811 Analogs at High Redshift

We report the results from Chandra and XMM-Newton observations of a sample of 10 type 1 quasars selected to have unusual UV emission-line properties (weak and blueshifted high-ionization lines; strong UV Fe emission) similar to those of PHL 1811, a confirmed intrinsically X-ray weak quasar. These quasars were identified by the Sloan Digital Sky Survey at high redshift (z~2.2); eight are radio quiet while two are radio intermediate. All of the radio-quiet PHL 1811 analogs are notably X-ray weak by a mean factor of ~13. These sources lack broad absorption lines and have blue UV/optical continua, suggesting they are intrinsically X-ray weak. However, their average X-ray spectrum appears to be harder than those of typical quasars, which may indicate the presence of heavy intrinsic X-ray absorption. Our radio-quiet PHL 1811 analogs support a connection between an X-ray weak spectral energy distribution and PHL 1811-like UV emission lines; this connection provides an economical way to identify X-ray weak type 1 quasars. The fraction of radio-quiet PHL 1811 analogs in the radio-quiet quasar population is estimated to be < 1.2%. We have investigated correlations between relative X-ray brightness and UV emission-line properties for a sample combining radio-quiet PHL 1811 analogs, PHL 1811, and typical type 1 quasars. These correlation analyses suggest that PHL 1811 analogs may have extreme wind-dominated broad emission-line regions. Observationally, radio-quiet PHL 1811 analogs appear to be a subset (~30%) of radio-quiet weak-line quasars. The existence of a subset of quasars in which high-ionization "shielding gas" covers most of the BELR, but little more than the BELR, could potentially unify the PHL 1811 analogs and WLQs. The two radio-intermediate PHL 1811 analogs are X-ray bright. One of them appears to have jet-dominated X-ray emission, while the nature of the other remains unclear.Comment: ApJ accepted; 25 pages, 11 figures and 8 table

Formal Component-Based Semantics

One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses. It is expected that this framework can also be used effectively for modular meta theoretic reasoning. This paper presents a formalization of Component-Based Semantics in the theorem prover Coq. It is based on Modular SOS, a variant of SOS, and makes essential use of dependent types, while profiting from type classes. This formalization constitutes a contribution towards modular meta theoretic formalizations in theorem provers. As a small example, a modular proof of determinism of a mini-language is developed.Comment: In Proceedings SOS 2011, arXiv:1108.279

On Linear Information Systems

Scott's information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotational semantics, we define a linear version of information systems, providing a model of intuitionistic linear logic (a new-Seely category), with a "set-theoretic" interpretation of exponentials that recovers Scott continuous functions via the co-Kleisli construction. From a domain theoretic point of view, linear information systems are equivalent to prime algebraic Scott domains, which in turn generalize prime algebraic lattices, already known to provide a model of classical linear logic

Updated diagnostic criteria and nomenclature for neurofibromatosis type 2 and schwannomatosis: An international consensus recommendation

PURPOSE: Neurofibromatosis type 2 (NF2) and schwannomatosis (SWN) are genetically distinct tumor predisposition syndromes with overlapping phenotypes. We sought to update the diagnostic criteria for NF2 and SWN by incorporating recent advances in genetics, ophthalmology, neuropathology, and neuroimaging. METHODS: We used a multistep process, beginning with a Delphi method involving global disease experts and subsequently involving non-neurofibromatosis clinical experts, patients, and foundations/patient advocacy groups. RESULTS: We reached consensus on the minimal clinical and genetic criteria for diagnosing NF2 and SWN. These criteria incorporate mosaic forms of these conditions. In addition, we recommend updated nomenclature for these disorders to emphasize their phenotypic overlap and to minimize misdiagnosis with neurofibromatosis type 1. CONCLUSION: The updated criteria for NF2 and SWN incorporate clinical features and genetic testing, with a focus on using molecular data to differentiate the 2 conditions. It is likely that continued refinement of these new criteria will be necessary as investigators study the diagnostic properties of the revised criteria and identify new genes associated with SWN. In the revised nomenclature, the term neurofibromatosis 2 has been retired to improve diagnostic specificity

A Large, Uniform Sample of X-ray Emitting AGN from the ROSAT All-Sky and Sloan Digital Sky Surveys: the Data Release 5 Sample

We describe further results of a program aimed to yield ~10^4 fully characterized optical identifications of ROSAT X-ray sources. Our program employs X-ray data from the ROSAT All-Sky Survey (RASS), and both optical imaging and spectroscopic data from the Sloan Digital Sky Survey (SDSS). RASS/SDSS data from 5740 deg^2 of sky spectroscopically covered in SDSS Data Release 5 (DR5) provide an expanded catalog of 7000 confirmed quasars and other AGN that are probable RASS identifications. Again in our expanded catalog, the identifications as X-ray sources are statistically secure, with only a few percent of the SDSS AGN likely to be randomly superposed on unrelated RASS X-ray sources. Most identifications continue to be quasars and Seyfert 1s with 15<m<21 and 0.01<z<4; but the total sample size has grown to include very substantial numbers of even quite rare AGN, e.g., now including several hundreds of candidate X-ray emitting BL Lacs and narrow-line Seyfert 1 galaxies. In addition to exploring rare subpopulations, such a large total sample may be useful when considering correlations between the X-ray and the optical, and may also serve as a resource list from which to select the "best" object (e.g., X-ray brightest AGN of a certain subclass, at a preferred redshift or luminosity) for follow-on X-ray spectral or alternate detailed studies.Comment: Accepted for publication in AJ; 32 pages, including 11 figures, and 6 example table

X-ray Insights into the Nature of Weak Emission-Line Quasars at High Redshift

We present Chandra observations of nine high-redshift quasars (z=2.7-5.9) discovered by the Sloan Digital Sky Survey with weak or undetectable high-ionization emission lines in their UV spectra (WLQs). Adding archival X-ray observations of six additional sources of this class has enabled us to place the strongest constraints yet on the X-ray properties of this remarkable class of AGNs. Although our data cannot rule out the possibility that the emission lines are overwhelmed by a relativistically boosted continuum, as manifested by BL Lac objects, we find that WLQs are considerably weaker in the X-ray and radio bands than the majority of BL Lacs found at much lower redshifts. If WLQs are high-redshift BL Lacs, then it is difficult to explain the lack of a large parent population of X-ray and radio bright weak-lined sources at high redshift. We also consider the possibility that WLQs are quasars with extreme properties, and in particular that the emission lines are suppressed by high accretion rates. Using joint spectral fitting of the X-ray spectra of 11 WLQs we find that the mean photon index in the hard X-ray band is consistent with those observed in typical radio-quiet AGNs with no hint of an unusually steep hard-X-ray spectrum. This result poses a challenge to the hypothesis that WLQs have extremely high accretion rates, and we discuss additional observations required to test this idea.Comment: 13 pages (emulateapj), 7 figures. Accepted for publication in Ap