-
Source-level reasoning for quantitative information flow
Authors:
Chris Chen,
Annabelle McIver,
Carroll Morgan
Abstract:
We present a novel formal system for proving quantitative-leakage properties of programs. Based on a theory of Quantitative Information Flow (QIF) that models information leakage as a noisy communication channel, it uses "gain-functions" for the description and measurement of expected leaks.
We use a small imperative programming language, augmented with leakage features, and with it express adve…
▽ More
We present a novel formal system for proving quantitative-leakage properties of programs. Based on a theory of Quantitative Information Flow (QIF) that models information leakage as a noisy communication channel, it uses "gain-functions" for the description and measurement of expected leaks.
We use a small imperative programming language, augmented with leakage features, and with it express adversaries' activities in the style of, but more generally than, the Hoare triples or expectation transformers that traditionally express deterministic or probabilistic correctness but without information flow.
The programs are annotated with "gain-expressions" that capture simple adversarial settings such as "Guess the secret in one try." but also much more general ones; and our formal syntax and logic -based framework enables us to transform such gain-expressions that apply after a program has finished to ones that equivalently apply before the program has begun.
In that way we enable a formal proof-based reasoning system for QIF at the source level. We apply it to the %programming language we have chosen, and demonstrate its effectiveness in a number of small but sometimes intricate situations.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
On forcing axioms and weakenings of the Axiom of Choice
Authors:
Diego Lima Bomfim,
Charles Morgan,
Samuel Gomes da Silva
Abstract:
We prove forcing axiom equivalents of two families of weakenings of the axiom of choice: a trichotomy principle for cardinals isolated by Lévy, ${\rm H\hskip0.05pt}_κ$, and ${\rm DC}_κ$, the principle of dependent choices generalized to cardinals $κ$, for regular cardinals $κ$. Using these equivalents we obtain new forcing axiom formulations of the axiom of choice.
A point of interest is that we…
▽ More
We prove forcing axiom equivalents of two families of weakenings of the axiom of choice: a trichotomy principle for cardinals isolated by Lévy, ${\rm H\hskip0.05pt}_κ$, and ${\rm DC}_κ$, the principle of dependent choices generalized to cardinals $κ$, for regular cardinals $κ$. Using these equivalents we obtain new forcing axiom formulations of the axiom of choice.
A point of interest is that we use a new template for forcing axioms. For the class of forcings to which we asks that the axioms apply, we do not ask that they apply to all collections of dense sets of a certain cardinality, but rather only for each particular forcing to a specific family of dense sets of the cardinality in question.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
RMS asymmetry: a robust metric of galaxy shapes in images with varied depth and resolution
Authors:
Elizaveta Sazonova,
Cameron Morgan,
Michael Balogh,
Katherine Alatalo,
Jose A. Benavides,
Asa Bluck,
Sarah Brough,
Innocenza Busa,
Ricardo Demarco,
Darko Donevski,
Miguel Figueira,
Garreth Martin,
Vicente Rodriguez-Gomez,
Javier Román,
Kate Rowlands
Abstract:
Structural disturbances, such as galaxy mergers or instabilities, are key candidates for driving galaxy evolution, so it is important to detect and quantify galaxies hosting these disturbances spanning a range of masses, environments, and cosmic times. Traditionally, this is done by quantifying the asymmetry of a galaxy as part of the concentration-asymmetry-smoothness system, $A_{\rm{CAS}}$, and…
▽ More
Structural disturbances, such as galaxy mergers or instabilities, are key candidates for driving galaxy evolution, so it is important to detect and quantify galaxies hosting these disturbances spanning a range of masses, environments, and cosmic times. Traditionally, this is done by quantifying the asymmetry of a galaxy as part of the concentration-asymmetry-smoothness system, $A_{\rm{CAS}}$, and selecting galaxies above a certain threshold as merger candidates. However, in this work, we show that $A_{\rm{CAS}}$, is extremely dependent on imaging properties -- both resolution and depth -- and thus defining a single $A_{\rm{CAS}}$ threshold is impossible. We analyze an alternative root-mean-squared asymmetry, $A_{\rm{RMS}}$, and show that it is independent of noise down to the average SNR per pixel of 1. However, both metrics depend on the resolution. We argue that asymmetry is, by design, always a scale-dependent measurement, and it is essential to define an asymmetry at a given physical resolution, where the limit should be defined by the size of the smallest features one wishes to detect. We measure asymmetry of a set of $z\approx0.1$ galaxies observed with HST, HSC, and SDSS, and show that after matching the resolution of all images to 200 pc, we are able to obtain consistent $A_{\rm{RMS, 200pc}}$ measurements with all three instruments despite the vast differences in the original resolution or depth. We recommend that future studies use $A_{\rm{RMS, x pc}}$ measurement when evaluating asymmetry, where $x$ is defined by the physical size of the features of interest, and is kept consistent across the dataset, especially when the redshift or image properties of galaxies in the dataset vary.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Deep Optical Emission-Line Images of Nine Known and Three New Galactic Supernova Remnants
Authors:
Robert A. Fesen,
Marcel Drechsler,
Xavier Strottner,
Bray Falls,
Yann Sainty,
Nicolas Martino,
Richard Galli,
Mathew Ludgate,
Markus Blauensteiner,
Wolfgang Reich,
Sean Walker,
Dennis di Cicco,
David Mittelman,
Curtis Morgan,
Aziz Ettahar Kaeouach,
Justin Rupert,
Zouhair Benkhaldoun
Abstract:
Deep optical emission-line images are presented for nine known plus three new Galactic supernova remnants (SNRs), all but one having at least one angular dimension greater than one degree. Wide-field images taken in H$α$ and [O III] $λ$5007 reveal many new and surprising remnant structures including large remnant shock extensions and `breakout' features not seen in published optical or radio data.…
▽ More
Deep optical emission-line images are presented for nine known plus three new Galactic supernova remnants (SNRs), all but one having at least one angular dimension greater than one degree. Wide-field images taken in H$α$ and [O III] $λ$5007 reveal many new and surprising remnant structures including large remnant shock extensions and `breakout' features not seen in published optical or radio data. These images represent over 12,000 individual images totaling more than 1000 hours of exposure time taken over the last two years mainly using small aperture telescopes which detected fainter nebular line emissions than published emission-line images. During the course of this imaging program, we discovered three new SNRs, namely G107.5-5.1 (the Nereides Nebula), G209.9-8.2, and G210.5+1.3, two of which have diameters >1.5 degrees. Besides offering greater structural detail on the nine already known SNRs, a key finding of this study is the importance of [O III] emission-line imaging for map** the complete shock emissions of Galactic SNRs.
△ Less
Submitted 17 April, 2024; v1 submitted 1 March, 2024;
originally announced March 2024.
-
FORECASTOR -- I. Finding Optics Requirements and Exposure times for the Cosmological Advanced Survey Telescope for Optical and UV Research mission
Authors:
Isaac Cheng,
Tyrone E. Woods,
Patrick Côté,
Jennifer Glover,
Dhananjhay Bansal,
Melissa Amenouche,
Madeline A. Marshall,
Laurie Amen,
John Hutchings,
Laura Ferrarese,
Kim A. Venn,
Michael Balogh,
Simon Blouin,
Ryan Cloutier,
Nolan Dickson,
Sarah Gallagher,
Martin Hellmich,
Vincent Hénault-Brunet,
Viraja Khatu,
Cameron Lawlor-Forsyth,
Cameron Morgan,
Harvey Richer,
Marcin Sawicki,
Robert Sorba
Abstract:
The Cosmological Advanced Survey Telescope for Optical and ultraviolet Research (CASTOR) is a proposed Canadian-led 1m-class space telescope that will carry out ultraviolet and blue-optical wide-field imaging, spectroscopy, and photometry. CASTOR will provide an essential bridge in the post-Hubble era, preventing a protracted UV-optical gap in space astronomy and enabling an enormous range of disc…
▽ More
The Cosmological Advanced Survey Telescope for Optical and ultraviolet Research (CASTOR) is a proposed Canadian-led 1m-class space telescope that will carry out ultraviolet and blue-optical wide-field imaging, spectroscopy, and photometry. CASTOR will provide an essential bridge in the post-Hubble era, preventing a protracted UV-optical gap in space astronomy and enabling an enormous range of discovery opportunities from the solar system to the nature of the Cosmos, in conjunction with the other great wide-field observatories of the next decade (e.g., Euclid, Roman, Vera Rubin). FORECASTOR (Finding Optics Requirements and Exposure times for CASTOR) will supply a coordinated suite of mission-planning tools that will serve as the one-stop shop for proposal preparation, data reduction, and analysis for the CASTOR mission. We present the first of these tools: a pixel-based, user-friendly, extensible, multi-mission exposure time calculator (ETC) built in Python, including a modern browser-based graphical user interface that updates in real time. We then provide several illustrative examples of FORECASTOR's use that advance the design of planned legacy surveys for the CASTOR mission: a search for the most massive white dwarfs in the Magellanic Clouds; a study of the frequency of flaring activity in M stars, their distribution and impacts on habitability of exoplanets; map** the proper motions of faint stars in the Milky Way; wide and deep galaxy surveys; and time-domain studies of active galactic nuclei.
△ Less
Submitted 30 March, 2024; v1 submitted 12 February, 2024;
originally announced February 2024.
-
NuSTAR Hard X-ray Monitoring of Gravitationally Lensed Quasar RX J1131-1231
Authors:
Cora A. DeFrancesco,
Xinyu Dai,
Mark Mitchell,
Abderahmen Zoghbi,
Christopher W. Morgan
Abstract:
The X-ray emission from active galactic nuclei (AGN) is believed to come from a combination of inverse Compton scattering of photons from the accretion disk and reprocessing of the direct X-ray emission by reflection. We present hard (10-80 keV) and soft (0.5-8 keV) X-ray monitoring of a gravitationally lensed quasar RX J1131-1231 with NuSTAR, Swift, and XMM-Newton between 10 June 2016 and 30 Nove…
▽ More
The X-ray emission from active galactic nuclei (AGN) is believed to come from a combination of inverse Compton scattering of photons from the accretion disk and reprocessing of the direct X-ray emission by reflection. We present hard (10-80 keV) and soft (0.5-8 keV) X-ray monitoring of a gravitationally lensed quasar RX J1131-1231 with NuSTAR, Swift, and XMM-Newton between 10 June 2016 and 30 November 2020. Comparing the amplitude of quasar microlensing variability at the hard and soft bands allows a size comparison, where larger sources lead to smaller microlensing variability. During the period between 6 June 2018 and 30 November 2020, where both the hard and soft light curves are available, the hard and soft bands varied by factors of 3.7 and 5.5, respectively, with rms variability of $0.40\pm0.05$ and $0.57\pm0.02$. Both the variability amplitude and rms are moderately smaller for the hard X-ray emission, indicating that the hard X-ray emission is moderately larger than the soft X-ray emission region. We found the reflection fraction from seven joint hard and soft X-ray monitoring epochs is effectively consistent with a constant with low significance variability. After decomposing the total X-ray flux into direct and reprocessed components, we find a smaller variability amplitude for the reprocessed flux compared to the direct emission. The power-law cutoff energy is constrained at 96$^{+47}_{-24}$ keV, which position the system in the allowable parameter space due to the pair production limit.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Measuring Five Accountable Talk Moves to Improve Instruction at Scale
Authors:
Ashlee Kupor,
Candice Morgan,
Dorottya Demszky
Abstract:
Providing consistent, individualized feedback to teachers on their instruction can improve student learning outcomes. Such feedback can especially benefit novice instructors who teach on online platforms and have limited access to instructional training. To build scalable measures of instruction, we fine-tune RoBERTa and GPT models to identify five instructional talk moves inspired by accountable…
▽ More
Providing consistent, individualized feedback to teachers on their instruction can improve student learning outcomes. Such feedback can especially benefit novice instructors who teach on online platforms and have limited access to instructional training. To build scalable measures of instruction, we fine-tune RoBERTa and GPT models to identify five instructional talk moves inspired by accountable talk theory: adding on, connecting, eliciting, probing and revoicing students' ideas. We fine-tune these models on a newly annotated dataset of 2500 instructor utterances derived from transcripts of small group instruction in an online computer science course, Code in Place. Although we find that GPT-3 consistently outperforms RoBERTa in terms of precision, its recall varies significantly. We correlate the instructors' use of each talk move with indicators of student engagement and satisfaction, including students' section attendance, section ratings, and assignment completion rates. We find that using talk moves generally correlates positively with student outcomes, and connecting student ideas has the largest positive impact. These results corroborate previous research on the effectiveness of accountable talk moves and provide exciting avenues for using these models to provide instructors with useful, scalable feedback.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Community Detection and Classification Guarantees Using Embeddings Learned by Node2Vec
Authors:
Andrew Davison,
S. Carlyle Morgan,
Owen G. Ward
Abstract:
Embedding the nodes of a large network into an Euclidean space is a common objective in modern machine learning, with a variety of tools available. These embeddings can then be used as features for tasks such as community detection/node clustering or link prediction, where they achieve state of the art performance. With the exception of spectral clustering methods, there is little theoretical unde…
▽ More
Embedding the nodes of a large network into an Euclidean space is a common objective in modern machine learning, with a variety of tools available. These embeddings can then be used as features for tasks such as community detection/node clustering or link prediction, where they achieve state of the art performance. With the exception of spectral clustering methods, there is little theoretical understanding for other commonly used approaches to learning embeddings. In this work we examine the theoretical properties of the embeddings learned by node2vec. Our main result shows that the use of k-means clustering on the embedding vectors produced by node2vec gives weakly consistent community recovery for the nodes in (degree corrected) stochastic block models. We also discuss the use of these embeddings for node and link prediction tasks. We demonstrate this result empirically, and examine how this relates to other embedding tools for network data.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow
Authors:
Mário S. Alvim,
Natasha Fernandes,
Annabelle McIver,
Carroll Morgan,
Gabriel H. Nunes
Abstract:
We combine Kronecker products, and quantitative information flow, to give a novel formal analysis for the fine-grained verification of utility in complex privacy pipelines. The combination explains a surprising anomaly in the behaviour of utility of privacy-preserving pipelines -- that sometimes a reduction in privacy results also in a decrease in utility. We use the standard measure of utility fo…
▽ More
We combine Kronecker products, and quantitative information flow, to give a novel formal analysis for the fine-grained verification of utility in complex privacy pipelines. The combination explains a surprising anomaly in the behaviour of utility of privacy-preserving pipelines -- that sometimes a reduction in privacy results also in a decrease in utility. We use the standard measure of utility for Bayesian analysis, introduced by Ghosh at al., to produce tractable and rigorous proofs of the fine-grained statistical behaviour leading to the anomaly. More generally, we offer the prospect of formal-analysis tools for utility that complement extant formal analyses of privacy. We demonstrate our results on a number of common privacy-preserving designs.
△ Less
Submitted 7 November, 2023; v1 submitted 21 August, 2023;
originally announced August 2023.
-
An Optical Analysis of Sunspots as Predictors of Geomagnetic Storms
Authors:
Matthew Shelby,
Scott Scharlach,
Petar Matejic,
RJ Everett,
Colton Morgan
Abstract:
Although a variety of phenomena may create a geomagnetic storm on Earth, the most severe geomagnetic storms arise from solar activity, and in particular, coronal mass ejections (CMEs) and solar flares. CMEs and flares originate primarily from sunspots. The "aa index" is a metric which ranks all of the strongest geomagnetic storms between 1868 and 2010 based on a variety of characteristics taken fr…
▽ More
Although a variety of phenomena may create a geomagnetic storm on Earth, the most severe geomagnetic storms arise from solar activity, and in particular, coronal mass ejections (CMEs) and solar flares. CMEs and flares originate primarily from sunspots. The "aa index" is a metric which ranks all of the strongest geomagnetic storms between 1868 and 2010 based on a variety of characteristics taken from several sources. This paper examines correlations between the aa index of the most severe geomagnetic storms and the intrinsic characteristics of the sunspots from which they originated. We find a correlation between the total rank of the aa index of the storms and the "total intensity" of the sunspot, where total intensity is defined as the sunspot's mean intensity multiplied by its area. The correlation has an R-Squared = 0.690 and R-Squared = 0.855 when a potentially corrupted data point is removed.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Multimodal Indoor Localisation in Parkinson's Disease for Detecting Medication Use: Observational Pilot Study in a Free-Living Setting
Authors:
Ferdian Jovan,
Catherine Morgan,
Ryan McConville,
Emma L. Tonkin,
Ian Craddock,
Alan Whone
Abstract:
Parkinson's disease (PD) is a slowly progressive, debilitating neurodegenerative disease which causes motor symptoms including gait dysfunction. Motor fluctuations are alterations between periods with a positive response to levodopa therapy ("on") and periods marked by re-emergency of PD symptoms ("off") as the response to medication wears off. These fluctuations often affect gait speed and they i…
▽ More
Parkinson's disease (PD) is a slowly progressive, debilitating neurodegenerative disease which causes motor symptoms including gait dysfunction. Motor fluctuations are alterations between periods with a positive response to levodopa therapy ("on") and periods marked by re-emergency of PD symptoms ("off") as the response to medication wears off. These fluctuations often affect gait speed and they increase in their disabling impact as PD progresses. To improve the effectiveness of current indoor localisation methods, a transformer-based approach utilising dual modalities which provide complementary views of movement, Received Signal Strength Indicator (RSSI) and accelerometer data from wearable devices, is proposed. A sub-objective aims to evaluate whether indoor localisation, including its in-home gait speed features (i.e. the time taken to walk between rooms), could be used to evaluate motor fluctuations by detecting whether the person with PD is taking levodopa medications or withholding them. To properly evaluate our proposed method, we use a free-living dataset where the movements and mobility are greatly varied and unstructured as expected in real-world conditions. 24 participants lived in pairs (consisting of one person with PD, one control) for five days in a smart home with various sensors. Our evaluation on the resulting dataset demonstrates that our proposed network outperforms other methods for indoor localisation. The sub-objective evaluation shows that precise room-level localisation predictions, transformed into in-home gait speed features, produce accurate predictions on whether the PD participant is taking or withholding their medications.
△ Less
Submitted 3 August, 2023;
originally announced August 2023.
-
The Kinematic Distance to NGC 6309
Authors:
Scott C. Scharlach,
Colton G. Morgan
Abstract:
We report an updated value for the distance to the planetary nebula NGC 6309 (the Box Nebula). The distance is found through two Kinematic Distance Methods (KDMs): the system of two equations reported in Zhu et al. 2013 and the Monte Carlo method reported by Wenger et al. 2018. We find the kinematic distance to NGC 6309 to be 4.1 kpc with an upper uncertainty of +0.29 kpc and a lower uncertainty o…
▽ More
We report an updated value for the distance to the planetary nebula NGC 6309 (the Box Nebula). The distance is found through two Kinematic Distance Methods (KDMs): the system of two equations reported in Zhu et al. 2013 and the Monte Carlo method reported by Wenger et al. 2018. We find the kinematic distance to NGC 6309 to be 4.1 kpc with an upper uncertainty of +0.29 kpc and a lower uncertainty of -0.38 kpc. We also calculate the distance to Cassiopeia A with the two KDMs and compare to the value reported by Reed et al 1995. The Zhu et al. method and Wenger et al. method yield a value within thirty percent and twenty percent of the Reed et al. method, respectively. The value reported by Reed et al 1995 was contained within the error bounds produced by the Wenger et al. method. The distance measurement to Cassiopeia A suggests that both KDMs, while imperfect, are moderately accurate methods for determining the distance to NGC objects in the plane of the Milky Way.
△ Less
Submitted 29 July, 2023;
originally announced July 2023.
-
CTI4AI: Threat Intelligence Generation and Sharing after Red Teaming AI Models
Authors:
Chuyen Nguyen,
Caleb Morgan,
Sudip Mittal
Abstract:
As the practicality of Artificial Intelligence (AI) and Machine Learning (ML) based techniques grow, there is an ever increasing threat of adversarial attacks. There is a need to red team this ecosystem to identify system vulnerabilities, potential threats, characterize properties that will enhance system robustness, and encourage the creation of effective defenses. A secondary need is to share th…
▽ More
As the practicality of Artificial Intelligence (AI) and Machine Learning (ML) based techniques grow, there is an ever increasing threat of adversarial attacks. There is a need to red team this ecosystem to identify system vulnerabilities, potential threats, characterize properties that will enhance system robustness, and encourage the creation of effective defenses. A secondary need is to share this AI security threat intelligence between different stakeholders like, model developers, users, and AI/ML security professionals. In this paper, we create and describe a prototype system CTI4AI, to overcome the need to methodically identify and share AI/ML specific vulnerabilities and threat intelligence.
△ Less
Submitted 15 August, 2022;
originally announced August 2022.
-
Multimodal Indoor Localisation for Measuring Mobility in Parkinson's Disease using Transformers
Authors:
Ferdian Jovan,
Ryan McConville,
Catherine Morgan,
Emma Tonkin,
Alan Whone,
Ian Craddock
Abstract:
Parkinson's disease (PD) is a slowly progressive debilitating neurodegenerative disease which is prominently characterised by motor symptoms. Indoor localisation, including number and speed of room to room transitions, provides a proxy outcome which represents mobility and could be used as a digital biomarker to quantify how mobility changes as this disease progresses. We use data collected from 1…
▽ More
Parkinson's disease (PD) is a slowly progressive debilitating neurodegenerative disease which is prominently characterised by motor symptoms. Indoor localisation, including number and speed of room to room transitions, provides a proxy outcome which represents mobility and could be used as a digital biomarker to quantify how mobility changes as this disease progresses. We use data collected from 10 people with Parkinson's, and 10 controls, each of whom lived for five days in a smart home with various sensors. In order to more effectively localise them indoors, we propose a transformer-based approach utilizing two data modalities, Received Signal Strength Indicator (RSSI) and accelerometer data from wearable devices, which provide complementary views of movement. Our approach makes asymmetric and dynamic correlations by a) learning temporal correlations at different scales and levels, and b) utilizing various gating mechanisms to select relevant features within modality and suppress unnecessary modalities. On a dataset with real patients, we demonstrate that our proposed method gives an average accuracy of 89.9%, outperforming competitors. We also show that our model is able to better predict in-home mobility for people with Parkinson's with an average offset of 1.13 seconds to ground truth.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata
Authors:
Mário S. Alvim,
Natasha Fernandes,
Annabelle McIver,
Carroll Morgan,
Gabriel H. Nunes
Abstract:
We present a systematic refactoring of the conventional treatment of privacy analyses, basing it on mathematical concepts from the framework of Quantitative Information Flow (QIF). The approach we suggest brings three principal advantages: it is flexible, allowing for precise quantification and comparison of privacy risks for attacks both known and novel; it can be computationally tractable for ve…
▽ More
We present a systematic refactoring of the conventional treatment of privacy analyses, basing it on mathematical concepts from the framework of Quantitative Information Flow (QIF). The approach we suggest brings three principal advantages: it is flexible, allowing for precise quantification and comparison of privacy risks for attacks both known and novel; it can be computationally tractable for very large, longitudinal datasets; and its results are explainable both to politicians and to the general public. We apply our approach to a very large case study: the Educational Censuses of Brazil, curated by the governmental agency INEP, which comprise over 90 attributes of approximately 50 million individuals released longitudinally every year since 2007. These datasets have only very recently (2018-2021) attracted legislation to regulate their privacy -- while at the same time continuing to maintain the openness that had been sought in Brazilian society. INEP's reaction to that legislation was the genesis of our project with them. In our conclusions here we share the scientific, technical, and communication lessons we learned in the process.
△ Less
Submitted 25 July, 2022; v1 submitted 28 April, 2022;
originally announced April 2022.
-
Subfield prestige and gender inequality in computing
Authors:
Nicholas LaBerge,
K. Hunter Wapman,
Allison C. Morgan,
Sam Zhang,
Daniel B. Larremore,
Aaron Clauset
Abstract:
Women and people of color remain dramatically underrepresented among computing faculty, and improvements in demographic diversity are slow and uneven. Effective diversification strategies depend on quantifying the correlates, causes, and trends of diversity in the field. But field-level demographic changes are driven by subfield hiring dynamics because faculty searches are typically at the subfiel…
▽ More
Women and people of color remain dramatically underrepresented among computing faculty, and improvements in demographic diversity are slow and uneven. Effective diversification strategies depend on quantifying the correlates, causes, and trends of diversity in the field. But field-level demographic changes are driven by subfield hiring dynamics because faculty searches are typically at the subfield level. Here, we quantify and forecast variations in the demographic composition of the subfields of computing using a comprehensive database of training and employment records for 6882 tenure-track faculty from 269 PhD-granting computing departments in the United States, linked with 327,969 publications. We find that subfield prestige correlates with gender inequality, such that faculty working in computing subfields with more women tend to hold positions at less prestigious institutions. In contrast, we find no significant evidence of racial or socioeconomic differences by subfield. Tracking representation over time, we find steady progress toward gender equality in all subfields, but more prestigious subfields tend to be roughly 25 years behind the less prestigious subfields in gender representation. These results illustrate how the choice of subfield in a faculty search can shape a department's gender diversity.
△ Less
Submitted 9 May, 2022; v1 submitted 1 January, 2022;
originally announced January 2022.
-
A MeerKAT, e-MERLIN, H.E.S.S. and Swift search for persistent and transient emission associated with three localised FRBs
Authors:
James O. Chibueze,
M. Caleb,
L. Spitler,
H. Ashkar,
F. Schussler,
B. W. Stappers,
C. Venter,
I. Heywood,
A. M. S. Richards,
D. R. A. Williams,
M. Kramer,
R. Beswick,
M. C. Bezuidenhout,
R. P. Breton,
L. N. Driessen,
F. Jankowski,
E. F. Keane,
M. Malenta,
M. Mickaliger,
V. Morello,
H. Qiu,
K. Rajwade,
S. Sanidas,
M. Surnis,
T. W. Scragg
, et al. (134 additional authors not shown)
Abstract:
We report on a search for persistent radio emission from the one-off Fast Radio Burst (FRB) 20190714A, as well as from two repeating FRBs, 20190711A and 20171019A, using the MeerKAT radio telescope. For FRB 20171019A we also conducted simultaneous observations with the High Energy Stereoscopic System (H.E.S.S.) in very high energy gamma rays and searched for signals in the ultraviolet, optical, an…
▽ More
We report on a search for persistent radio emission from the one-off Fast Radio Burst (FRB) 20190714A, as well as from two repeating FRBs, 20190711A and 20171019A, using the MeerKAT radio telescope. For FRB 20171019A we also conducted simultaneous observations with the High Energy Stereoscopic System (H.E.S.S.) in very high energy gamma rays and searched for signals in the ultraviolet, optical, and X-ray bands. For this FRB, we obtain a UV flux upper limit of 1.39x10^-16 erg/cm^-2/s/Amstrong, X-ray limit of ~ 6.6x10^-14 erg/cm^-2/s and a limit on the very-high-energy gamma-ray flux (Phi) (E > 120 GeV) < 1.7 x 10^-12 erg/cm^-2/s. We obtain a radio upper limit of ~15 microJy/beam for persistent emission at the locations of both FRBs 20190711A and 20171019A, but detect diffuse radio emission with a peak brightness of ~53 microJy/beam associated with FRB 20190714A at z = 0.2365. This represents the first detection of the radio continuum emission potentially associated with the host (galaxy) of FRB 20190714A, and is only the third known FRB to have such an association. Given the possible association of a faint persistent source, FRB 20190714A may potentially be a repeating FRB whose age lies between that of FRB 20121102A and FRB 20180916A. A parallel search for repeat bursts from these FRBs revealed no new detections down to a fluence of 0.08 Jy ms for a 1 ms duration burst.
△ Less
Submitted 31 December, 2021;
originally announced January 2022.
-
A characteristic optical variability timescale in astrophysical accretion disks
Authors:
Colin J. Burke,
Yue Shen,
Omer Blaes,
Charles F. Gammie,
Keith Horne,
Yan-Fei Jiang,
Xin Liu,
Ian M. McHardy,
Christopher W. Morgan,
Simone Scaringi,
Qian Yang
Abstract:
Accretion disks around supermassive black holes in active galactic nuclei produce continuum radiation at ultraviolet and optical wavelengths. Physical processes in the accretion flow lead to stochastic variability of this emission on a wide range of timescales. We measure the optical continuum variability observed in 67 active galactic nuclei and the characteristic timescale at which the variabili…
▽ More
Accretion disks around supermassive black holes in active galactic nuclei produce continuum radiation at ultraviolet and optical wavelengths. Physical processes in the accretion flow lead to stochastic variability of this emission on a wide range of timescales. We measure the optical continuum variability observed in 67 active galactic nuclei and the characteristic timescale at which the variability power spectrum flattens. We find a correlation between this timescale and the black hole mass, extending over the entire mass range of supermassive black holes. This timescale is consistent with the expected thermal timescale at the ultraviolet-emitting radius in standard accretion disk theory. Accreting white dwarfs lie close to this correlation, suggesting a common process for all accretion disks.
△ Less
Submitted 11 August, 2021;
originally announced August 2021.
-
Search for dark matter annihilation signals from unidentified Fermi-LAT objects with H.E.S.S
Authors:
H. E. S. S. Collaboration,
H. Abdallah,
F. Aharonian,
F. Ait Benkhali,
E. O. Angüner,
C. Arcaro,
C. Armand,
T. Armstrong,
H. Ashkar,
M. Backes,
V. Baghmanyan,
V. Barbosa Martins,
A. Barnacka,
M. Barnard,
Y. Becherini,
D. Berge,
K. Bernlöhr,
B. Bi,
M. Böttcher,
C. Boisson,
J. Bolmont,
M. de Bony de Lavergne,
M. Breuhaus,
R. Brose,
F. Brun
, et al. (205 additional authors not shown)
Abstract:
Cosmological $N$-body simulations show that Milky Way-sized galaxies harbor a population of unmerged dark matter subhalos. These subhalos could shine in gamma-rays and be eventually detected in gamma-ray surveys as unidentified sources. We performed a thorough selection among unidentified Fermi-LAT Objects (UFOs) to identify them as possible TeV-scale dark matter subhalo candidates. We search for…
▽ More
Cosmological $N$-body simulations show that Milky Way-sized galaxies harbor a population of unmerged dark matter subhalos. These subhalos could shine in gamma-rays and be eventually detected in gamma-ray surveys as unidentified sources. We performed a thorough selection among unidentified Fermi-LAT Objects (UFOs) to identify them as possible TeV-scale dark matter subhalo candidates. We search for very-high-energy (E $\gtrsim$ 100 GeV) gamma-ray emissions using H.E.S.S. observations towards four selected UFOs. Since no significant very-high-energy gamma-ray emission is detected in any dataset of the four observed UFOs nor in the combined UFO dataset, strong constraints are derived on the product of the velocity-weighted annihilation cross section $\langle σv \rangle$ by the $J$-factor for the dark matter models. The 95% C.L. observed upper limits derived from combined H.E.S.S. observations reach $\langle σv \rangle J$ values of 3.7$\times$10$^{-5}$ and 8.1$\times$10$^{-6}$ GeV$^2$cm$^{-2}$s$^{-1}$ in the $W^+W^-$ and $τ^+τ^-$ channels, respectively, for a 1 TeV dark matter mass. Focusing on thermal WIMPs, the H.E.S.S. constraints restrict the $J$-factors to lie in the range 6.1$\times$10$^{19}$ - 2.0$\times$10$^{21}$ GeV$^2$cm$^{-5}$, and the masses to lie between 0.2 and 6 TeV in the $W^+W^-$ channel. For the $τ^+τ^-$ channel, the $J$-factors lie in the range 7.0$\times$10$^{19}$ - 7.1$\times$10$^{20}$ GeV$^2$cm$^{-5}$ and the masses lie between 0.2 and 0.5 TeV. Assuming model-dependent predictions from cosmological N-body simulations on the $J$-factor distribution for Milky Way-sized galaxies, the dark matter models with masses greater than 0.3 TeV for the UFO emissions can be ruled out at high confidence level.
△ Less
Submitted 15 June, 2021; v1 submitted 1 June, 2021;
originally announced June 2021.
-
ASTROSAT/UVIT Near and Far Ultraviolet Properties of the M31 Bulge
Authors:
Denis Leahy,
Cole Morgan,
Joseph Postma,
Megan Buick
Abstract:
AstroSat has surveyed M31 with the UVIT telescope during 2017 to 2019. The central bulge of M31 was observed in 2750-2850 A, 2000-2400 A, 1600-1850 A, 1450-1750 A, and 1200-1800 A filters. A radial profile analysis, averaged along elliptical contours which approximate the bulge shape, was carried out in each filter. The profiles follow a Sersic function with an excess for the inner 8" in all filte…
▽ More
AstroSat has surveyed M31 with the UVIT telescope during 2017 to 2019. The central bulge of M31 was observed in 2750-2850 A, 2000-2400 A, 1600-1850 A, 1450-1750 A, and 1200-1800 A filters. A radial profile analysis, averaged along elliptical contours which approximate the bulge shape, was carried out in each filter. The profiles follow a Sersic function with an excess for the inner 8" in all filters, or can be fit with two Sersic functions (including the excess). The ultraviolet colours of the bulge are found to change systematically with radius, with the center of the bulge bluer (hotter). We fit the UVIT spectral energy distributions (SEDs) for the whole bulge and for 10 elliptical annuli with single stellar population (SSP) models. A combination of two SSPs fits the UVIT SEDs much better than one SSP, and three SSPs fits the data best. The properties of the three SSPs are age, metallicity (Z) and mass of each SSP. The best fit model is a dominant old, metal-poor (10^10 yr, log(Z/Zsun)=-2, with Zsun the solar metallicity) population plus a 15% contribution from an intermediate (10^9.5 yr, log(Z/Zsun)=-2) population plus a small contribution (2%) from a young high-metallicity (10^8.5 yr, log(Z/Zsun)=-0.5) population. The results are consistent with previous studies of M31 in optical: both reveal an active merger history for M31.
△ Less
Submitted 20 May, 2021;
originally announced May 2021.
-
A Spatio-temporal Attention-based Model for Infant Movement Assessment from Videos
Authors:
Binh Nguyen-Thai,
Vuong Le,
Catherine Morgan,
Nadia Badawi,
Truyen Tran,
Svetha Venkatesh
Abstract:
The absence or abnormality of fidgety movements of joints or limbs is strongly indicative of cerebral palsy in infants. Develo** computer-based methods for assessing infant movements in videos is pivotal for improved cerebral palsy screening. Most existing methods use appearance-based features and are thus sensitive to strong but irrelevant signals caused by background clutter or a moving camera…
▽ More
The absence or abnormality of fidgety movements of joints or limbs is strongly indicative of cerebral palsy in infants. Develo** computer-based methods for assessing infant movements in videos is pivotal for improved cerebral palsy screening. Most existing methods use appearance-based features and are thus sensitive to strong but irrelevant signals caused by background clutter or a moving camera. Moreover, these features are computed over the whole frame, thus they measure gross whole body movements rather than specific joint/limb motion.
Addressing these challenges, we develop and validate a new method for fidgety movement assessment from consumer-grade videos using human poses extracted from short clips. Human poses capture only relevant motion profiles of joints and limbs and are thus free from irrelevant appearance artifacts. The dynamics and coordination between joints are modeled using spatio-temporal graph convolutional networks. Frames and body parts that contain discriminative information about fidgety movements are selected through a spatio-temporal attention mechanism. We validate the proposed model on the cerebral palsy screening task using a real-life consumer-grade video dataset collected at an Australian hospital through the Cerebral Palsy Alliance, Australia. Our experiments show that the proposed method achieves the ROC-AUC score of 81.87%, significantly outperforming existing competing methods with better interpretability.
△ Less
Submitted 20 May, 2021;
originally announced May 2021.
-
The Laplace Mechanism has optimal utility for differential privacy over continuous queries
Authors:
Natasha Fernandes,
Annabelle McIver,
Carroll Morgan
Abstract:
Differential Privacy protects individuals' data when statistical queries are published from aggregated databases: applying "obfuscating" mechanisms to the query results makes the released information less specific but, unavoidably, also decreases its utility. Yet it has been shown that for discrete data (e.g. counting queries), a mandated degree of privacy and a reasonable interpretation of loss o…
▽ More
Differential Privacy protects individuals' data when statistical queries are published from aggregated databases: applying "obfuscating" mechanisms to the query results makes the released information less specific but, unavoidably, also decreases its utility. Yet it has been shown that for discrete data (e.g. counting queries), a mandated degree of privacy and a reasonable interpretation of loss of utility, the Geometric obfuscating mechanism is optimal: it loses as little utility as possible. For continuous query results however (e.g. real numbers) the optimality result does not hold. Our contribution here is to show that optimality is regained by using the Laplace mechanism for the obfuscation. The technical apparatus involved includes the earlier discrete result by Ghosh et al., recent work on abstract channels and their geometric representation as hyper-distributions, and the dual interpretations of distance between distributions provided by the Kantorovich-Rubinstein Theorem.
△ Less
Submitted 26 July, 2021; v1 submitted 15 May, 2021;
originally announced May 2021.
-
FUV Variable Sources in M31
Authors:
Denis Leahy,
Megan Buick,
Joseph Postma,
Cole Morgan
Abstract:
The Ultraviolet Imaging Telescope (UVIT) onboard the AstroSat observatory has imaged the Andromeda Galaxy (M31) from 2017 to 2019 in FUV and NUV with the high spatial resolution of ~1". The survey covered the large sky area of M31 with a set of observations (Fields) each 28 arcminutes in diameter. Field 1 was observed in two epochs with the F148W filter, separated by 1133 days (~3.10 years). The 6…
▽ More
The Ultraviolet Imaging Telescope (UVIT) onboard the AstroSat observatory has imaged the Andromeda Galaxy (M31) from 2017 to 2019 in FUV and NUV with the high spatial resolution of ~1". The survey covered the large sky area of M31 with a set of observations (Fields) each 28 arcminutes in diameter. Field 1 was observed in two epochs with the F148W filter, separated by 1133 days (~3.10 years). The 6.4 kpc diameter Field 1 (at the distance of M31) includes a substantial part of the inner spiral arms of the galaxy. We identify UVIT sources in both epochs of Field 1 and obtain catalogs of sources that are variable in FUV at > 3 sigma and > 5 sigma confidence level. The fraction of FUV variable sources is higher for brighter sources, and the fraction is higher in the two main spiral arms compared to other areas. This is evidence that a significant fraction of the FUV variables are associated with hot young stars. Source counterparts are found for 42 of the 86 > 5 sigma FUV variables using existing catalogs. The counterparts include 10 star clusters, 6 HII regions, 5 regular or semiregular variables, 6 other variables and 6 nova or nova candidates. The UVIT FUV-NUV and FUV-FUV color-magnitude diagrams confirm the association of most of the FUV variables with hot young stars. A catalog of UVIT photometry for the variable sources is presented.
△ Less
Submitted 5 March, 2021;
originally announced March 2021.
-
Resolving the inner accretion flow towards the central supermassive black hole in SDSS J1339+1310
Authors:
V. N. Shalyapin,
L. J. Goicoechea,
C. W. Morgan,
M. A. Cornachione,
A. V. Sergeyev
Abstract:
We studied the accretion disc structure in the doubly imaged lensed quasar SDSS J1339+1310 using $r$-band light curves and UV-visible to near-IR (NIR) spectra from the first 11 observational seasons after its discovery. The 2009$-$2019 light curves displayed pronounced microlensing variations on different timescales, and this microlensing signal permitted us to constrain the half-light radius of t…
▽ More
We studied the accretion disc structure in the doubly imaged lensed quasar SDSS J1339+1310 using $r$-band light curves and UV-visible to near-IR (NIR) spectra from the first 11 observational seasons after its discovery. The 2009$-$2019 light curves displayed pronounced microlensing variations on different timescales, and this microlensing signal permitted us to constrain the half-light radius of the 1930 Å continuum-emitting region. Assuming an accretion disc with an axis inclined at 60 deg to the line of sight, we obtained log$_{10}$($r_{1/2}$/cm) = 15.4$^{+0.3}_{-0.4}$. We also estimated the central black hole mass from spectroscopic data. The width of the Civ, Mgii, and H$β$ emission lines, and the continuum luminosity at 1350, 3000, and 5100 Å, led to log$_{10}$($M_{BH}$/M$_{\odot}$) = 8.6 $\pm$ 0.4. Thus, hot gas responsible for the 1930 Å continuum emission is likely orbiting a 4.0 $\times$ 10$^8$ M$_{\odot}$ black hole at an $r_{1/2}$ of only a few tens of Schwarzschild radii.
△ Less
Submitted 4 January, 2021;
originally announced January 2021.
-
Near infrared and optical continuum emission region size measurements in the gravitationally lensed quasars Q0957+561 and SBS0909+532
Authors:
Matthew A. Cornachione,
Christopher W. Morgan,
Hayden R. Burger,
Vyacheslav N. Shalyapin,
Luis J. Goicoechea,
Frederick J. Vrba,
Scott E. Dahm,
Trudy M. Tilleman
Abstract:
We present a microlensing analysis of updated light curves in three filters, $g$--band, $r$--band, and $H$--band, for the gravitationally lensed quasars Q0957+561 and SBS0909+532. Both systems display prominent microlensing features which we analyze using our Bayesian Monte Carlo technique to constrain the quasar continuum emission region sizes in each band. We report sizes as half-light radii sca…
▽ More
We present a microlensing analysis of updated light curves in three filters, $g$--band, $r$--band, and $H$--band, for the gravitationally lensed quasars Q0957+561 and SBS0909+532. Both systems display prominent microlensing features which we analyze using our Bayesian Monte Carlo technique to constrain the quasar continuum emission region sizes in each band. We report sizes as half-light radii scaled to a 60 degree inclination angle. For Q0957+561 we measure $\log{(r_{1/2}/\text{cm})} = 16.54^{+0.33}_{-0.33}$, $16.66^{+0.37}_{-0.62}$, and $17.37^{+0.49}_{-0.40}$ in $g$--, $r$--, and $H$--band respectively. For SBS0909+532 we measure $\log{(r_{1/2}/\text{cm})} = 15.83^{+0.33}_{-0.33}$, $16.21^{+0.37}_{-0.62}$, and $17.90^{+0.61}_{-0.63}$ in $g$--, $r$--, and $H$--band respectively. With size measurements in three bands spanning the quasar rest frame ultraviolet to optical, we can place constraints on the scaling of accretion disk size with wavelength, $r\proptoλ^{1/β}$. In a joint analysis of both systems we find a slope shallower than that predicted by thin disk theory, $β= 0.35^{+0.16}_{-0.08}$, consistent with other constraints from multi-epoch microlensing studies.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
New Results from the UVIT Survey of the Andromeda Galaxy
Authors:
D. A. Leahy,
J. Postma,
M. Buick,
C. Morgan,
L. Bianchi,
J. Hutchings
Abstract:
The Andromeda Galaxy (M31) has been observed with the UltraViolet Imaging Telescope (UVIT) instrument onboard the AstroSat Observatory. The M31 sky area was covered with 19 fields, in multiple UV filters per field, over the period of 2017 to 2019. The entire galaxy was observed in the FUV F148W filter, and more than half observed in the NUV filters. A new calibration and data processing is describ…
▽ More
The Andromeda Galaxy (M31) has been observed with the UltraViolet Imaging Telescope (UVIT) instrument onboard the AstroSat Observatory. The M31 sky area was covered with 19 fields, in multiple UV filters per field, over the period of 2017 to 2019. The entire galaxy was observed in the FUV F148W filter, and more than half observed in the NUV filters. A new calibration and data processing is described which improves the astrometry and photometry of the UVIT data. The high spatial resolution of UVIT ($\simeq$1 arcsec) and new astrometry calibration ($\simeq$0.2 arcsec) allow identification of UVIT sources with stars, star clusters, X-ray sources, and other source types within M31 to a much better level than previously possible. We present new results from matching UVIT sources with stars measured as part of the Pan-chromatic Hubble Andromeda Treasury project in M31.
△ Less
Submitted 2 February, 2021; v1 submitted 4 December, 2020;
originally announced December 2020.
-
Correctness by construction for probabilistic programs
Authors:
Annabelle McIver,
Carroll Morgan
Abstract:
The "correct by construction" paradigm is an important component of modern Formal Methods, and here we use the probabilistic Guarded-Command Language $\mathit{pGCL}$ to illustrate its application to $\mathit{probabilistic}$ programming. $\mathit{pGCL}$ extends Dijkstra's guarded-command language $\mathit{GCL}$ with probabilistic choice, and is equipped with a correctness-preserving refinement rela…
▽ More
The "correct by construction" paradigm is an important component of modern Formal Methods, and here we use the probabilistic Guarded-Command Language $\mathit{pGCL}$ to illustrate its application to $\mathit{probabilistic}$ programming. $\mathit{pGCL}$ extends Dijkstra's guarded-command language $\mathit{GCL}$ with probabilistic choice, and is equipped with a correctness-preserving refinement relation $(\sqsubseteq)$ that enables compact, abstract specifications of probabilistic properties to be transformed gradually to concrete, executable code by applying mathematical insights in a systematic and layered way. Characteristically for "correctness by construction", as far as possible the reasoning in each refinement-step layer does not depend on earlier layers, and does not affect later ones. We demonstrate the technique by deriving a fair-coin implementation of any given discrete probability distribution. In the special case of simulating a fair die, our correct-by-construction algorithm turns out to be "within spitting distance" of Knuth and Yao's optimal solution.
△ Less
Submitted 30 July, 2020;
originally announced July 2020.
-
Quasar Microlensing Variability Studies Favor Shallow Accretion Disk Temperature Profiles
Authors:
Matthew A. Cornachione,
Christopher W. Morgan
Abstract:
We compare the microlensing-based continuum emission region size measurements in a sample of 15 gravitationally lensed quasars with estimates of luminosity-based thin disk sizes to constrain the temperature profile of the quasar continuum accretion region. If we adopt the standard thin disk model, we find a significant discrepancy between sizes estimated using the luminosity and those measured by…
▽ More
We compare the microlensing-based continuum emission region size measurements in a sample of 15 gravitationally lensed quasars with estimates of luminosity-based thin disk sizes to constrain the temperature profile of the quasar continuum accretion region. If we adopt the standard thin disk model, we find a significant discrepancy between sizes estimated using the luminosity and those measured by microlensing of $\log(r_{L}/r_μ)=-0.57\pm0.08\,\text{dex}$. If quasar continuum sources are simple, optically thick accretion disks with a generalized temperature profile $T(r) \propto r^{-β}$, the discrepancy between the microlensing measurements and the luminosity-based size estimates can be resolved by a temperature profile slope $0.37 < β< 0.56$ at $1\,σ$ confidence. This is shallower than the standard thin disk model ($β=0.75$) at $3\,σ$ significance. We consider alternate accretion disk models that could produce such a temperature profile and reproduce the empirical continuum size scaling with black hole mass, including disk winds or disks with non-blackbody atmospheres.
△ Less
Submitted 12 June, 2020;
originally announced June 2020.
-
A Microlensing Accretion Disk Size Measurement in the Lensed Quasar WFI 2026-4536
Authors:
Matthew A. Cornachione,
Christopher W. Morgan,
Martin Millon,
Misty C. Bentz,
Frederic Courbin,
Vivien Bonvin,
Emilio E. Falco
Abstract:
We use thirteen seasons of R-band photometry from the 1.2m Leonard Euler Swiss Telescope at La Silla to examine microlensing variability in the quadruply-imaged lensed quasar WFI 2026-4536. The lightcurves exhibit ${\sim}\,0.2\,\text{mag}$ of uncorrelated variability across all epochs and a prominent single feature of ${\sim}\,0.1\,\text{mag}$ within a single season. We analyze this variability to…
▽ More
We use thirteen seasons of R-band photometry from the 1.2m Leonard Euler Swiss Telescope at La Silla to examine microlensing variability in the quadruply-imaged lensed quasar WFI 2026-4536. The lightcurves exhibit ${\sim}\,0.2\,\text{mag}$ of uncorrelated variability across all epochs and a prominent single feature of ${\sim}\,0.1\,\text{mag}$ within a single season. We analyze this variability to constrain the size of the quasar's accretion disk. Adopting a nominal inclination of 60$^\text{o}$, we find an accretion disk scale radius of $\log(r_s/\text{cm}) = 15.74^{+0.34}_{-0.29}$ at a rest-frame wavelength of $2043\,\unicode{xC5}$, and we estimate a black hole mass of $\log(M_{\text{BH}}/M_{\odot}) = 9.18^{+0.39}_{-0.34}$, based on the CIV line in VLT spectra. This size measurement is fully consistent with the Quasar Accretion Disk Size - Black Hole Mass relation, providing another system in which the accretion disk is larger than predicted by thin disk theory.
△ Less
Submitted 2 January, 2020; v1 submitted 14 November, 2019;
originally announced November 2019.
-
X-ray monitoring of gravitationally lensed radio-loud quasars with Chandra
Authors:
Mustafa Burak Dogruel,
Xinyu Dai,
Eduardo Guerras,
Matthew Cornachione,
Christopher W. Morgan
Abstract:
In this work, we calculated the sizes of unresolved X-ray emission regions in three gravitationally lensed radio-loud quasars, B\,1422+231, MG\,J0414+0534 and Q\,0957+561, using a combination of imaging and spectral analysis on the X-ray data taken from the \textit{Chandra X-Ray Observatory}. We tentatively detected FeK$α$ emission lines in MG\,J0414+0534 and Q\,0957+561 with over 95\% significanc…
▽ More
In this work, we calculated the sizes of unresolved X-ray emission regions in three gravitationally lensed radio-loud quasars, B\,1422+231, MG\,J0414+0534 and Q\,0957+561, using a combination of imaging and spectral analysis on the X-ray data taken from the \textit{Chandra X-Ray Observatory}. We tentatively detected FeK$α$ emission lines in MG\,J0414+0534 and Q\,0957+561 with over 95\% significance, whereas, we did not significantly detect FeK$α$ emission in B\,1422+231. We constructed differential microlensing light curves from absorption corrected count rates. We subsequently performed a microlensing analysis on the X-ray microlensing light curves to measure the X-ray source sizes in soft (0.83--3.6 keV), hard (3.6--21.8 keV), and full (0.83--21.8 keV) bands, based on either Bayesian or maximum likelihood probabilities. For B\,1422+231, sizes from the two methods are consistent with each other, e.g. $R_X^{hard}/R_G = 6.17\pm5.48 \text{ (Bayesian), } 11.81\pm3.75 \text{ (maximum likelihood)}$, where $R_G=GM_{BH}/c^2)$. However, for MG\,J0414+0534 and Q\,0957+561, the two methods yield completely different results suggesting that more frequently sampled data with better signal-to-noise ratio are needed to measure the source size for these two objects. Comparing the acquired size values with the radio-quiet sample in the literature we found that our results are consistent with X-ray source size scaling approximately as $R_X \propto M_{BH}$ with the mass of the central supermassive black hole. Our results also indicate that radio-loud quasars tend to have larger unresolved X-ray emission sizes compared to the radio-quiet ones.
△ Less
Submitted 15 September, 2019;
originally announced September 2019.
-
Ultrafilters on singular cardinals of uncountable cofinality
Authors:
James Cummings,
Charles Morgan
Abstract:
We prove that consistently there is a singular cardinal $κ$ of uncountable cofinality such that $2^κ$ is weakly inaccessible, and every regular cardinal strictly between $κ$ and $2^κ$ is the character of some uniform ultrafilter on $κ$.
We prove that consistently there is a singular cardinal $κ$ of uncountable cofinality such that $2^κ$ is weakly inaccessible, and every regular cardinal strictly between $κ$ and $2^κ$ is the character of some uniform ultrafilter on $κ$.
△ Less
Submitted 26 July, 2019;
originally announced July 2019.
-
COSMOGRAIL XVIII: time delays of the quadruply lensed quasar WFI2033-4723
Authors:
V. Bonvin,
M. Millon,
J. H. H. Chan,
F. Courbin,
C. E. Rusu,
D. Sluse,
S. H. Suyu,
K. C. Wong,
C. D. Fassnacht,
P. J. Marshall,
T. Treu,
E. Buckley-Geer,
J. Frieman,
A. Hempel,
S. Kim,
R. Lachaume,
M. Rabus,
D. C. -Y. Chao,
M. Chijani,
D. Gilman,
K. Gilmore,
K. Rojas,
P. Williams,
T. Anguita,
C. S. Kochanek
, et al. (4 additional authors not shown)
Abstract:
We present new measurements of the time delays of WFI2033-4723. The data sets used in this work include 14 years of data taken at the 1.2m Leonhard Euler Swiss telescope, 13 years of data from the SMARTS 1.3m telescope at Las Campanas Observatory and a single year of high-cadence and high-precision monitoring at the MPIA 2.2m telescope. The time delays measured from these different data sets, all…
▽ More
We present new measurements of the time delays of WFI2033-4723. The data sets used in this work include 14 years of data taken at the 1.2m Leonhard Euler Swiss telescope, 13 years of data from the SMARTS 1.3m telescope at Las Campanas Observatory and a single year of high-cadence and high-precision monitoring at the MPIA 2.2m telescope. The time delays measured from these different data sets, all taken in the R-band, are in good agreement with each other and with previous measurements from the literature. Combining all the time-delay estimates from our data sets results in Dt_AB = 36.2-0.8+0.7 days (2.1% precision), Dt_AC = -23.3-1.4+1.2 days (5.6%) and Dt_BC = -59.4-1.3+1.3 days (2.2%). In addition, the close image pair A1-A2 of the lensed quasars can be resolved in the MPIA 2.2m data. We measure a time delay consistent with zero in this pair of images. We also explore the prior distributions of microlensing time-delay potentially affecting the cosmological time-delay measurements of WFI2033-4723. There is however no strong indication in our measurements that microlensing time delay is neither present nor absent. This work is part of a H0LiCOW series focusing on measuring the Hubble constant from WFI2033-4723.
△ Less
Submitted 20 May, 2019;
originally announced May 2019.
-
The Most Powerful Lenses in the Universe: Quasar Microlensing as a Probe of the Lensing Galaxy
Authors:
David Pooley,
Timo Anguita,
Saloni Bhatiani,
George Chartas,
Matthew Cornachione,
Xinyu Dai,
Carina Fian,
Evencio Mediavilla,
Christopher Morgan,
Verónica Motta,
Leonidas A. Moustakas,
Sampath Mukherjee,
Matthew J. O'Dowd,
Karina Rojas,
Dominique Sluse,
Georgios Vernardos,
Rachel Webster
Abstract:
Optical and X-ray observations of strongly gravitationally lensed quasars (especially when four separate images of the quasar are produced) determine not only the amount of matter in the lensing galaxy but also how much is in a smooth component and how much is composed of compact masses (e.g., stars, stellar remnants, primordial black holes, CDM sub-halos, and planets). Future optical surveys will…
▽ More
Optical and X-ray observations of strongly gravitationally lensed quasars (especially when four separate images of the quasar are produced) determine not only the amount of matter in the lensing galaxy but also how much is in a smooth component and how much is composed of compact masses (e.g., stars, stellar remnants, primordial black holes, CDM sub-halos, and planets). Future optical surveys will discover hundreds to thousands of quadruply lensed quasars, and sensitive X-ray observations will unambiguously determine the ratio of smooth to clumpy matter at specific locations in the lensing galaxies and calibrate the stellar mass fundamental plane, providing a determination of the stellar $M/L$. A modest observing program with a sensitive, sub-arcsecond X-ray imager, combined with the planned optical observations, can make those determinations for a large number (hundreds) of the lensing galaxies, which will span a redshift range of $\sim$$0.25<z<1.5$
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
Astro2020 Science White Paper - Quasar Microlensing: Revolutionizing our Understanding of Quasar Structure and Dynamics
Authors:
Leonidas Moustakas,
Matthew O'Dowd,
Timo Anguita,
Rachel Webster,
George Chartas,
Matthew Cornachione,
Xinyu Dai,
Carina Fian,
Damien Hutsemekers,
Jorge Jimenez-Vicente,
Kathleen Labrie,
Geraint Lewis,
Chelsea Macleod,
Evencio Mediavilla,
Christopher W Morgan,
Veronica Motta,
Anna Nierenberg,
David Pooley,
Karina Rojas,
Dominique Sluse,
Georgios Vernardos,
Joachim Wambsganss,
Suk Yee Yong
Abstract:
Microlensing by stars within distant galaxies acting as strong gravitational lenses of multiply-imaged quasars, provides a unique and direct measurement of the internal structure of the lensed quasar on nano-arcsecond scales. The measurement relies on the temporal variation of high-magnification caustic crossings which vary on timescales of days to years. Multiwavelength observations provide infor…
▽ More
Microlensing by stars within distant galaxies acting as strong gravitational lenses of multiply-imaged quasars, provides a unique and direct measurement of the internal structure of the lensed quasar on nano-arcsecond scales. The measurement relies on the temporal variation of high-magnification caustic crossings which vary on timescales of days to years. Multiwavelength observations provide information from distinct emission regions in the quasar. Through monitoring of these strong gravitational lenses, a full tomographic view can emerge with Astronomical-Unit scale resolution. Work to date has demonstrated the potential of this technique in about a dozen systems. In the 2020s there will be orders of magnitude more systems to work with. Monitoring of lens systems for caustic-crossing events to enable triggering of multi-platform, multi-wavelength observations in the 2020s will fulfill the potential of quasar microlensing as a unique and comprehensive probe of active black hole structure and dynamics.
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
Constraining Quasar Relativistic Reflection Regions and Spins with Microlensing
Authors:
Xinyu Dai,
Shaun Steele,
Eduardo Guerras,
Christopher W. Morgan,
Bin Chen
Abstract:
We present an analysis of Chandra spectra of five gravitationally lensed active galactic nuclei. We confirm the previous detections of FeK$α$ emission lines in most images of these objects with high significance. The line energies range from 5.8 to 6.8 keV with widths from unresolved to 0.6 keV, consistent with emission close to spinning black holes viewed at different inclination angles. We also…
▽ More
We present an analysis of Chandra spectra of five gravitationally lensed active galactic nuclei. We confirm the previous detections of FeK$α$ emission lines in most images of these objects with high significance. The line energies range from 5.8 to 6.8 keV with widths from unresolved to 0.6 keV, consistent with emission close to spinning black holes viewed at different inclination angles. We also confirm the positive offset from the Iwasawa-Taniguchi effect, the inverse correlation between the FeK$α$ equivalent width and the X-ray luminosity in AGN, where our measured equivalent widths are larger in lensed quasars. We attribute this effect to microlensing, and perform a microlensing likelihood analysis to constrain the emission size of the relativistic reflection region and the spin of supermassive black holes, assuming that the X-ray corona and the reflection region, responsible for the iron emission line, both follow power-law emissivity profiles. The microlensing analysis yields strong constraints on the spin and emissivity index of the reflection component for Q2237+0305, with $a > 0.92$ and $n > 5.4$. For the remaining four targets, we jointly constrain the two parameters, yielding $a=0.8\pm0.16$ and an emissivity index of $n=4.0\pm 0.8$, suggesting that the relativistic X-ray reflection region is ultra-compact and very close to the innermost stable circular orbits of black holes, which are spinning at close to the maximal value. We successfully constrain the half light radius of the emission region to $< 2.4$ $r_g$ ($r_g = GM/c^2$) for Q2237+0305 and in the range 5.9--7.4 $r_g$ for the joint sample.
△ Less
Submitted 1 May, 2019; v1 submitted 17 January, 2019;
originally announced January 2019.
-
Accretion Disk Size Measurement and Time Delays in the Lensed Quasar WFI 2033-4723
Authors:
Christopher W. Morgan,
Gregory E. Hyer,
Vivien Bonvin,
Ana M. Mosquera,
Matthew Cornachione,
Frederic Courbin,
Christopher S. Kochanek,
Emilio E. Falco
Abstract:
We present 13 seasons of $R$-band photometry of the quadruply-lensed quasar WFI 2033-4723 from the 1.3m SMARTS telescope at CTIO and the 1.2m Euler Swiss Telescope at La Silla, in which we detect microlensing variability of $\sim0.2$ mags on a timescale of $\sim$6 years. Using a Bayesian Monte Carlo technique, we analyze the microlensing signal to obtain a measurement of the size of this system's…
▽ More
We present 13 seasons of $R$-band photometry of the quadruply-lensed quasar WFI 2033-4723 from the 1.3m SMARTS telescope at CTIO and the 1.2m Euler Swiss Telescope at La Silla, in which we detect microlensing variability of $\sim0.2$ mags on a timescale of $\sim$6 years. Using a Bayesian Monte Carlo technique, we analyze the microlensing signal to obtain a measurement of the size of this system's accretion disk of $\log (r_s/{\rm cm}) = 15.86^{+0.25}_{-0.27}$ at $λ_{rest} = 2481{\rm Å}$, assuming a $60^\circ$ inclination angle. We confirm previous measurements of the BC and AB time delays, and we obtain a tentative measurement of the delay between the closely spaced A1 and A2 images of $Δt_{A1A2} = t_{A1} - t_{A2} = -3.9^{+3.4}_{-2.2}$ days. We conclude with an update to the Quasar Accretion Disk Size - Black Hole Mass Relation, in which we confirm that the accretion disk size predictions from simple thin disk theory are too small.
△ Less
Submitted 13 December, 2018;
originally announced December 2018.
-
Prestige drives epistemic inequality in the diffusion of scientific ideas
Authors:
Allison C. Morgan,
Dimitrios J. Economou,
Samuel F. Way,
Aaron Clauset
Abstract:
The spread of ideas in the scientific community is often viewed as a competition, in which good ideas spread further because of greater intrinsic fitness, and publication venue and citation counts correlate with importance and impact. However, relatively little is known about how structural factors influence the spread of ideas, and specifically how where an idea originates might influence how it…
▽ More
The spread of ideas in the scientific community is often viewed as a competition, in which good ideas spread further because of greater intrinsic fitness, and publication venue and citation counts correlate with importance and impact. However, relatively little is known about how structural factors influence the spread of ideas, and specifically how where an idea originates might influence how it spreads. Here, we investigate the role of faculty hiring networks, which embody the set of researcher transitions from doctoral to faculty institutions, in sha** the spread of ideas in computer science, and the importance of where in the network an idea originates. We consider comprehensive data on the hiring events of 5032 faculty at all 205 Ph.D.-granting departments of computer science in the U.S. and Canada, and on the timing and titles of 200,476 associated publications. Analyzing five popular research topics, we show empirically that faculty hiring can and does facilitate the spread of ideas in science. Having established such a mechanism, we then analyze its potential consequences using epidemic models to simulate the generic spread of research ideas and quantify the impact of where an idea originates on its longterm diffusion across the network. We find that research from prestigious institutions spreads more quickly and completely than work of similar quality originating from less prestigious institutions. Our analyses establish the theoretical trade-offs between university prestige and the quality of ideas necessary for efficient circulation. Our results establish faculty hiring as an underlying mechanism that drives the persistent epistemic advantage observed for elite institutions, and provide a theoretical lower bound for the impact of structural inequality in sha** the spread of ideas in science.
△ Less
Submitted 22 October, 2018; v1 submitted 24 May, 2018;
originally announced May 2018.
-
Automatically assembling a full census of an academic field
Authors:
Allison C. Morgan,
Samuel F. Way,
Aaron Clauset
Abstract:
The composition of the scientific workforce shapes the direction of scientific research, directly through the selection of questions to investigate, and indirectly through its influence on the training of future scientists. In most fields, however, complete census information is difficult to obtain, complicating efforts to study workforce dynamics and the effects of policy. This is particularly tr…
▽ More
The composition of the scientific workforce shapes the direction of scientific research, directly through the selection of questions to investigate, and indirectly through its influence on the training of future scientists. In most fields, however, complete census information is difficult to obtain, complicating efforts to study workforce dynamics and the effects of policy. This is particularly true in computer science, which lacks a single, all-encompassing directory or professional organization. A full census of computer science would serve many purposes, not the least of which is a better understanding of the trends and causes of unequal representation in computing. Previous academic census efforts have relied on narrow or biased samples, or on professional society membership rolls. A full census can be constructed directly from online departmental faculty directories, but doing so by hand is prohibitively expensive and time-consuming. Here, we introduce a topical web crawler for automating the collection of faculty information from web-based department rosters, and demonstrate the resulting system on the 205 PhD-granting computer science departments in the U.S. and Canada. This method constructs a complete census of the field within a few minutes, and achieves over 99% precision and recall. We conclude by comparing the resulting 2017 census to a hand-curated 2011 census to quantify turnover and retention in computer science, in general and for female faculty in particular, demonstrating the types of analysis made possible by automated census construction.
△ Less
Submitted 26 April, 2018; v1 submitted 8 April, 2018;
originally announced April 2018.
-
A New Proof Rule for Almost-Sure Termination
Authors:
Annabelle McIver,
Carroll Morgan,
Benjamin Lucien Kaminski,
Joost-Pieter Katoen
Abstract:
An important question for a probabilistic program is whether the probability mass of all its diverging runs is zero, that is that it terminates "almost surely". Proving that can be hard, and this paper presents a new method for doing so; it is expressed in a program logic, and so applies directly to source code. The programs may contain both probabilistic- and demonic choice, and the probabilistic…
▽ More
An important question for a probabilistic program is whether the probability mass of all its diverging runs is zero, that is that it terminates "almost surely". Proving that can be hard, and this paper presents a new method for doing so; it is expressed in a program logic, and so applies directly to source code. The programs may contain both probabilistic- and demonic choice, and the probabilistic choices may depend on the current state.
As do other researchers, we use variant functions (a.k.a. "super-martingales") that are real-valued and probabilistically might decrease on each loop iteration; but our key innovation is that the amount as well as the probability of the decrease are parametric.
We prove the soundness of the new rule, indicate where its applicability goes beyond existing rules, and explain its connection to classical results on denumerable (non-demonic) Markov chains.
△ Less
Submitted 25 December, 2017; v1 submitted 9 November, 2017;
originally announced November 2017.
-
Abstract Hidden Markov Models: a monadic account of quantitative information flow
Authors:
Annabelle McIver,
Carroll Morgan,
Tahiry Rabehaja
Abstract:
Hidden Markov Models, HMM's, are mathematical models of Markov processes with state that is hidden, but from which information can leak. They are typically represented as 3-way joint-probability distributions.
We use HMM's as denotations of probabilistic hidden-state sequential programs: for that, we recast them as `abstract' HMM's, computations in the Giry monad $\mathbb{D}$, and we equip them…
▽ More
Hidden Markov Models, HMM's, are mathematical models of Markov processes with state that is hidden, but from which information can leak. They are typically represented as 3-way joint-probability distributions.
We use HMM's as denotations of probabilistic hidden-state sequential programs: for that, we recast them as `abstract' HMM's, computations in the Giry monad $\mathbb{D}$, and we equip them with a partial order of increasing security. However to encode the monadic type with hiding over some state $\mathcal{X}$ we use $\mathbb{D}\mathcal{X}\to \mathbb{D}^2\mathcal{X}$ rather than the conventional $\mathcal{X}{\to}\mathbb{D}\mathcal{X}$ that suffices for Markov models whose state is not hidden. We illustrate the $\mathbb{D}\mathcal{X}\to \mathbb{D}^2\mathcal{X}$ construction with a small Haskell prototype.
We then present uncertainty measures as a generalisation of the extant diversity of probabilistic entropies, with characteristic analytic properties for them, and show how the new entropies interact with the order of increasing security. Furthermore, we give a `backwards' uncertainty-transformer semantics for HMM's that is dual to the `forwards' abstract HMM's - it is an analogue of the duality between forwards, relational semantics and backwards, predicate-transformer semantics for imperative programs with demonic choice.
Finally, we argue that, from this new denotational-semantic viewpoint, one can see that the Dalenius desideratum for statistical databases is actually an issue in compositionality. We propose a means for taking it into account.
△ Less
Submitted 28 March, 2019; v1 submitted 4 August, 2017;
originally announced August 2017.
-
OCAMS: The OSIRIS-REx Camera Suite
Authors:
B. Rizk,
C. Drouet d'Aubigny,
D. Golish,
C. Fellows,
C. Merrill,
P. Smith,
M. S. Walker,
J. E. Hendershot,
J. Hancock,
S. H. Bailey,
D. DellaGiustina,
D. Lauretta,
R. Tanner,
M. Williams,
K. Harshman,
M. Fitzgibbon,
W. Verts,
J. Chen,
T. Connors,
D. Hamara,
A. Dowd,
A. Lowman,
M. Dubin,
R. Burt,
M. Whiteley
, et al. (30 additional authors not shown)
Abstract:
The requirements-driven OSIRIS-REx Camera Suite (OCAMS) acquires images essential to collecting a sample from the surface of Bennu. During proximity operations, these images document the presence of satellites and plumes, record spin state, enable an accurate digital terrain model of the shape of the asteroid and identify any surface hazards. They confirm the presence of sampleable regolith on the…
▽ More
The requirements-driven OSIRIS-REx Camera Suite (OCAMS) acquires images essential to collecting a sample from the surface of Bennu. During proximity operations, these images document the presence of satellites and plumes, record spin state, enable an accurate digital terrain model of the shape of the asteroid and identify any surface hazards. They confirm the presence of sampleable regolith on the surface, observe the sampling event itself, and image the sample head in order to verify its readiness to be stowed. They document the history of Bennu as an example of early solar system material, as a microgravity body with a planetesimal size-scale, and as a carbonaceous object. OCAMS is fitted with three cameras. The MapCam records point-source color images on approach to the asteroid in order to connect ground-based point-source observations of Bennu to later higher-resolution surface spectral imaging. The SamCam documents the sample site before, during, and after it is disturbed by the sample mechanism. The PolyCam, using its focus mechanism, observes the sample site at sub-centimeter resolutions, revealing surface texture and morphology. While their imaging requirements divide naturally between the three cameras, they preserve a strong degree of functional overlap. OCAMS and the other spacecraft instruments allow the OSIRIS-REx mission to collect a sample from a microgravity body on the same visit during which it was first optically acquired from long range, a useful capability as humanity explores near-Earth, Main-Belt and Jupiter Trojan asteroids.
△ Less
Submitted 14 April, 2017;
originally announced April 2017.
-
The misleading narrative of the canonical faculty productivity trajectory
Authors:
Samuel F. Way,
Allison C. Morgan,
Aaron Clauset,
Daniel B. Larremore
Abstract:
A scientist may publish tens or hundreds of papers over a career, but these contributions are not evenly spaced in time. Sixty years of studies on career productivity patterns in a variety of fields suggest an intuitive and universal pattern: productivity tends to rise rapidly to an early peak and then gradually declines. Here, we test the universality of this conventional narrative by analyzing t…
▽ More
A scientist may publish tens or hundreds of papers over a career, but these contributions are not evenly spaced in time. Sixty years of studies on career productivity patterns in a variety of fields suggest an intuitive and universal pattern: productivity tends to rise rapidly to an early peak and then gradually declines. Here, we test the universality of this conventional narrative by analyzing the structures of individual faculty productivity time series, constructed from over 200,000 publications and matched with hiring data for 2453 tenure-track faculty in all 205 Ph.D-granting computer science departments in the U.S. and Canada. Unlike prior studies, which considered only some faculty or some institutions, or lacked common career reference points, here we combine a large bibliographic dataset with comprehensive information on career transitions that covers an entire field of study. We show that the conventional narrative confidently describes only one fifth of faculty, regardless of department prestige or researcher gender, and the remaining four fifths of faculty exhibit a rich diversity of productivity patterns. To explain this diversity, we introduce a simple model of productivity trajectories, and explore correlations between its parameters and researcher covariates, showing that departmental prestige predicts overall individual productivity and the timing of the transition from first- to last-author publications. These results demonstrate the unpredictability of productivity over time, and open the door for new efforts to understand how environmental and individual factors shape scientific productivity.
△ Less
Submitted 17 October, 2017; v1 submitted 24 December, 2016;
originally announced December 2016.
-
A new rule for almost-certain termination of probabilistic- and demonic programs
Authors:
Annabelle McIver,
Carroll Morgan
Abstract:
Extending our own and others' earlier approaches to reasoning about termination of probabilistic programs, we propose and prove a new rule for termination with probability one, also known as "almost-certain termination". The rule uses both (non-strict) super martingales and guarantees of progress, together, and it seems to cover significant cases that earlier methods do not. In particular, it suff…
▽ More
Extending our own and others' earlier approaches to reasoning about termination of probabilistic programs, we propose and prove a new rule for termination with probability one, also known as "almost-certain termination". The rule uses both (non-strict) super martingales and guarantees of progress, together, and it seems to cover significant cases that earlier methods do not. In particular, it suffices for termination of the unbounded symmetric random walk in both one- and two dimensions: for the first, we give a proof; for the second, we use a theorem of Foster to argue that a proof exists. Non-determinism (i.e. demonic choice) is supported; but we do currently restrict to discrete distributions.
△ Less
Submitted 6 January, 2017; v1 submitted 4 December, 2016;
originally announced December 2016.
-
Measuring the Innermost Stable Circular Orbits of Supermassive Black Holes
Authors:
G. Chartas,
H. Krawczynski,
L. Zalesky,
C. S. Kochanek,
X. Dai,
C. W. Morgan,
A. Mosquera
Abstract:
We present a promising new technique, the g-distribution method, for measuring the inclination angle (i), the innermost stable circular orbit (ISCO), and the spin of a supermassive black hole. The g-distribution method uses measurements of the energy shifts in the relativistic iron line emitted by the accretion disk of a supermassive black hole due to microlensing by stars in a foreground galaxy r…
▽ More
We present a promising new technique, the g-distribution method, for measuring the inclination angle (i), the innermost stable circular orbit (ISCO), and the spin of a supermassive black hole. The g-distribution method uses measurements of the energy shifts in the relativistic iron line emitted by the accretion disk of a supermassive black hole due to microlensing by stars in a foreground galaxy relative to the g-distribution shifts predicted from microlensing caustic calculations. We apply the method to the gravitationally lensed quasars RX J1131-1231 (z_s=0.658, z_l=0.295), QJ 0158-4325 (z_s=1.294, z_l=0.317), and SDSS 1004+4112 (z_s=1.734, z_l=0.68). For RX J1131-1231 our initial results indicate that r_ISCO<8.5 gravitational radii (r_g) and i > 76 degrees. We detect two shifted Fe lines, in several observations, as predicted in our numerical simulations of caustic crossings. The current DeltaE-distribution of RX J1131-1231 is sparsely sampled but further X-ray monitoring of RX J1131-1231 and other lensed quasars will provide improved constraints on the inclination angles, ISCO radii and spins of the black holes of distant quasars.
△ Less
Submitted 1 February, 2017; v1 submitted 29 September, 2016;
originally announced September 2016.
-
Selectively (a)-spaces from almost disjoint families are necessarily countable under a certain parametrized weak diamond principle
Authors:
Charles J. G. Morgan,
Samuel G. Da Silva
Abstract:
The second author has recently shown ([20]) that any selectively (a) almost disjoint family must have cardinality strictly less than $2^{\alpeh_0}$, so under the Continuum Hypothesis such a family is necessarily countable. However, it is also shown in the same paper that $2^{\alpeh_0} < 2^{\alpeh_1}$ alone does not avoid the existence of uncountable selectively (a) almost disjoint families. We sho…
▽ More
The second author has recently shown ([20]) that any selectively (a) almost disjoint family must have cardinality strictly less than $2^{\alpeh_0}$, so under the Continuum Hypothesis such a family is necessarily countable. However, it is also shown in the same paper that $2^{\alpeh_0} < 2^{\alpeh_1}$ alone does not avoid the existence of uncountable selectively (a) almost disjoint families. We show in this paper that a certain effective parametrized weak diamond principle is enough to ensure countability of the almost disjoint family in this context. We also discuss the deductive strength of this specific weak diamond principle (which is consistent with the negation of the Continuum Hypothesis, apart from other features).
△ Less
Submitted 19 September, 2016;
originally announced September 2016.
-
Extended X-ray Monitoring of Gravitational Lenses with Chandra and Joint Constraints on X-ray Emission Regions
Authors:
Eduardo Guerras,
Xinyu Dai,
Shaun Steele,
Ang Liu,
Christopher S. Kochanek,
George Chartas,
Christopher W. Morgan,
Bin Chen
Abstract:
We present an X-ray photometric analysis of six gravitationally lensed quasars, with observation campaigns spanning from 5 to 14 years, measuring the total (0.83 - 21.8 keV restframe), soft (0.83 - 3.6 keV), and hard (3.6 - 21.8 keV) band image flux ratios or each epoch. Using the ratios of the model-predicted macro-magnifications as baselines, we build differential microlensing light curves and o…
▽ More
We present an X-ray photometric analysis of six gravitationally lensed quasars, with observation campaigns spanning from 5 to 14 years, measuring the total (0.83 - 21.8 keV restframe), soft (0.83 - 3.6 keV), and hard (3.6 - 21.8 keV) band image flux ratios or each epoch. Using the ratios of the model-predicted macro-magnifications as baselines, we build differential microlensing light curves and obtain joint likelihood functions for the average X-ray emission region sizes. Our analysis yields a Probability Distribution Function for the average half-light radius of the X-Ray emission region in the sample that peaks slightly above 1 gravitational radius and with nearly indistinguishable 68% confidence (one-sided) upper limits of 17.8 and 18.9 gravitational radii for the soft and hard X-ray emitting regions, assuming a mean stellar mass of 0.3 solar masses. We see hints of energy dependent microlensing between the soft and hard bands in two of the objects. In a separate analysis on the root-mean-square of the microlensing variability, we find significant differences between the soft and hard bands but the sign of the difference is not consistent across the sample. This suggests the existence of some kind of spatial structure to the X-ray emission in an otherwise extremely compact source. We also discover a correlation between the RMS microlensing variability and the average microlensing amplitude.
△ Less
Submitted 17 January, 2017; v1 submitted 16 September, 2016;
originally announced September 2016.
-
Compositional security and collateral leakage
Authors:
N. Bordenabe,
A. McIver,
C Morgan,
T. Rabehaja
Abstract:
In quantitative information flow we say that program $Q$ is "at least as secure as" $P$ just when the amount of secret information flowing from $Q$ is never more than flows from $P$, with of course a suitable quantification of "flow". This secure-refinement order $\sqsubseteq$ is compositional just when $P{\sqsubseteq}Q$ implies ${\cal C}(P){\sqsubseteq}{\cal C}(Q)$ for any context ${\cal C}$, aga…
▽ More
In quantitative information flow we say that program $Q$ is "at least as secure as" $P$ just when the amount of secret information flowing from $Q$ is never more than flows from $P$, with of course a suitable quantification of "flow". This secure-refinement order $\sqsubseteq$ is compositional just when $P{\sqsubseteq}Q$ implies ${\cal C}(P){\sqsubseteq}{\cal C}(Q)$ for any context ${\cal C}$, again with a suitable definition of "context".
Remarkable however is that leaks caused by executing $P,Q$ might not be limited to their declared variables: they might impact correlated secrets in variables declared and initialised in some broader context to which $P,Q$ do not refer even implicitly. We call such leaks collateral because their effect is felt in domains of which (the programmers of) $P, Q$ might be wholly unaware: our inspiration is the "Dalenius" phenomenon for statistical databases.
We show that a proper treatment of these collateral leaks is necessary for a compositional program semantics for read/write "open" programs. By adapting a recent Hidden-Markov denotational model for non-interference security, so that it becomes "collateral aware", we give techniques and examples (e.g.\ public-key encryption) to show how collateral leakage can be calculated and then bounded in its severity.
△ Less
Submitted 18 April, 2016;
originally announced April 2016.
-
The strong converse theorem for the product-state capacity of quantum channels with ergodic Markovian memory
Authors:
Tony Dorlas,
Ciara Morgan
Abstract:
Establishing the strong converse theorem for a communication channel confirms that the capacity of that channel, that is, the maximum achievable rate of reliable information communication, is the ultimate limit of communication over that channel. Indeed, the strong converse theorem for a channel states that coding at a rate above the capacity of the channel results in the convergence of the error…
▽ More
Establishing the strong converse theorem for a communication channel confirms that the capacity of that channel, that is, the maximum achievable rate of reliable information communication, is the ultimate limit of communication over that channel. Indeed, the strong converse theorem for a channel states that coding at a rate above the capacity of the channel results in the convergence of the error to its maximum value 1 and that there is no trade-off between communication rate and decoding error. Here we prove that the strong converse theorem holds for the product-state capacity of quantum channels with ergodic Markovian correlated memory.
△ Less
Submitted 26 August, 2016; v1 submitted 26 February, 2016;
originally announced February 2016.
-
Operational meaning of quantum measures of recovery
Authors:
Tom Cooney,
Christoph Hirche,
Ciara Morgan,
Jonathan P. Olson,
Kaushik P. Seshadreesan,
John Watrous,
Mark M. Wilde
Abstract:
Several information measures have recently been defined which capture the notion of "recoverability." In particular, the fidelity of recovery quantifies how well one can recover a system $A$ of a tripartite quantum state, defined on systems $ABC$, by acting on system $C$ alone. The relative entropy of recovery is an associated measure in which the fidelity is replaced by relative entropy. In this…
▽ More
Several information measures have recently been defined which capture the notion of "recoverability." In particular, the fidelity of recovery quantifies how well one can recover a system $A$ of a tripartite quantum state, defined on systems $ABC$, by acting on system $C$ alone. The relative entropy of recovery is an associated measure in which the fidelity is replaced by relative entropy. In this paper, we provide concrete operational interpretations of the aforementioned recovery measures in terms of a computational decision problem and a hypothesis testing scenario. Specifically, we show that the fidelity of recovery is equal to the maximum probability with which a computationally unbounded quantum prover can convince a computationally bounded quantum verifier that a given quantum state is recoverable. The quantum interactive proof system giving this operational meaning requires four messages exchanged between the prover and verifier, but by forcing the prover to perform his actions in superposition, we construct a different proof system that requires only two messages. The result is that the associated decision problem is in QIP(2) and another argument establishes it as hard for QSZK (both classes contain problems believed to be difficult to solve for a quantum computer). We finally prove that the regularized relative entropy of recovery is equal to the optimal Type II error exponent when trying to distinguish many copies of a tripartite state from a recovered version of this state, such that the Type I error is constrained to be no larger than a constant.
△ Less
Submitted 4 August, 2016; v1 submitted 16 December, 2015;
originally announced December 2015.
-
Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System
Authors:
June Andronick,
Corey Lewis,
Carroll Morgan
Abstract:
We introduce a controlled concurrency framework, derived from the Owicki-Gries method, for describing a hardware interface in detail sufficient to support the modelling and verification of small, embedded operating systems (OS's) whose run-time responsiveness is paramount. Such real-time systems run with interrupts mostly enabled, including during scheduling. That differs from many other successfu…
▽ More
We introduce a controlled concurrency framework, derived from the Owicki-Gries method, for describing a hardware interface in detail sufficient to support the modelling and verification of small, embedded operating systems (OS's) whose run-time responsiveness is paramount. Such real-time systems run with interrupts mostly enabled, including during scheduling. That differs from many other successfully modelled and verified OS's that typically reduce the complexity of concurrency by running on uniprocessor platforms and by switching interrupts off as much as possible. Our framework builds on the traditional Owicki-Gries method, for its fine-grained concurrency is needed for high-performance system code. We adapt it to support explicit concurrency control, by providing a simple, faithful representation of the hardware interface that allows software to control the degree of interleaving between user code, OS code, interrupt handlers and a scheduler that controls context switching. We then apply this framework to model the interleaving behavior of the eChronos OS, a preemptible real-time OS for embedded micro-controllers. We discuss the accuracy and usability of our approach when instantiated to model the eChronos OS. Both our framework and the eChronos model are formalised in the Isabelle/HOL theorem prover, taking advantage of the high level of automation in modern reasoning tools.
△ Less
Submitted 13 November, 2015;
originally announced November 2015.