-
walter: A Tool for Predicting Resolved Stellar Population Observations with Applications to the Roman Space Telescope
Authors:
Lachlan Lancaster,
Sarah Pearson,
Benjamin F. Williams,
Kathryn V. Johnston,
Tjitske K. Starkenburg,
Erin Kado-Fong,
Anil C. Seth,
Eric F. Bell
Abstract:
Studies of resolved stellar populations in the Milky Way and nearby galaxies reveal an amazingly detailed and clear picture of galaxy evolution. Within the Local Group, the ability to probe the stellar populations of small and large galaxies opens up the possibility of exploring key questions such as the nature of dark matter, the detailed formation history of different galaxy components, and the…
▽ More
Studies of resolved stellar populations in the Milky Way and nearby galaxies reveal an amazingly detailed and clear picture of galaxy evolution. Within the Local Group, the ability to probe the stellar populations of small and large galaxies opens up the possibility of exploring key questions such as the nature of dark matter, the detailed formation history of different galaxy components, and the role of accretion in galactic formation. Upcoming wide-field surveys promise to extend this ability to all galaxies within 10~Mpc, drastically increasing our capability to decipher galaxy evolution and enabling statistical studies of galaxies' stellar populations. To facilitate the optimum use of these upcoming capabilities we develop a simple formalism to predict the density of resolved stars for an observation of a stellar population at fixed surface brightness and population parameters. We provide an interface to calculate all quantities of interest to this formalism via a public release of the code: \texttt{walter}. This code enables calculation of (i) the expected number density of detected stars, (ii) the exposure time needed to reach certain population features, such as the horizontal branch, and (iii) an estimate of the crowding limit, among other features. These calculations will be very useful for planning surveys with NASA's upcoming Nancy Grace Roman Space Telescope (Roman, formerly WFIRST), which we use for example calculations throughout this work.
△ Less
Submitted 5 July, 2022;
originally announced July 2022.
-
Ground state bistability of cold atoms in a cavity
Authors:
B. Gábor,
D. Nagy,
A. Dombi,
T. W. Clark,
F. I. B. Williams,
K. V. Adwaith,
A. Vukics,
P. Domokos
Abstract:
We experimentally demonstrate an optical bistability between two hyperfine atomic ground states, using a single mode of an optical resonator in the collective strong coupling regime. Whereas in the familiar case, the bistable region is created through atomic saturation, we report an effect between states of high quantum purity, which is essential for future information storage. The nonlinearity of…
▽ More
We experimentally demonstrate an optical bistability between two hyperfine atomic ground states, using a single mode of an optical resonator in the collective strong coupling regime. Whereas in the familiar case, the bistable region is created through atomic saturation, we report an effect between states of high quantum purity, which is essential for future information storage. The nonlinearity of the transitions arise from cavity-assisted pum** between ground states of cold, trapped atoms and the stability depends on the intensity of two driving lasers. We interpret the phenomenon in terms of the recent paradigm of first-order, driven-dissipative phase transitions, where the transmitted and driving fields are understood as the order and control parameters, respectively. The saturation-induced bistability is recovered for infinite drive in one of the controls. The order of the transition is confirmed experimentally by hysteresis in the order parameter when either of the two control parameters is swept repeatedly across the bistability region and the underlying phase diagram is predicted in line with semiclassical mean-field theory.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
The Panchromatic Hubble Andromeda Treasury: Triangulum Extended Region (PHATTER) II. The Spatially Resolved Recent Star Formation History of M33
Authors:
Margaret Lazzarini,
Benjamin F. Williams,
Meredith J. Durbin,
Julianne J. Dalcanton,
Adam Smercina,
Eric F. Bell,
Yumi Choi,
Andrew Dolphin,
Karoline Gilbert,
Puragra Guhathakurta,
Erik Rosolowsky,
Evan Skillman,
O. Grace Telford,
Daniel Weisz
Abstract:
We measure the spatially resolved recent star formation history (SFH) of M33 using optical images taken with the Hubble Space Telescope as part of the Panchromatic Hubble Andromeda Treasury: Triangulum Extended Region (PHATTER) survey. The area covered by the observations used in this analysis covers a de-projected area of $\sim$38 kpc$^{2}$ and extends to $\sim$3.5 and $\sim$2 kpc from the center…
▽ More
We measure the spatially resolved recent star formation history (SFH) of M33 using optical images taken with the Hubble Space Telescope as part of the Panchromatic Hubble Andromeda Treasury: Triangulum Extended Region (PHATTER) survey. The area covered by the observations used in this analysis covers a de-projected area of $\sim$38 kpc$^{2}$ and extends to $\sim$3.5 and $\sim$2 kpc from the center of M33 along the major and semi-major axes, respectively. We divide the PHATTER optical survey into 2005 regions that measure 24 arcsec, $\sim$100 pc, on a side and fit color magnitude diagrams for each region individually to measure the spatially resolved SFH of M33 within the PHATTER footprint. There are significant fluctuations in the SFH on small spatial scales and also galaxy-wide scales that we measure back to about 630 Myr ago. We observe a more flocculent spiral structure in stellar populations younger than about 80 Myr, while the structure of the older stellar populations is dominated by two spiral arms. We also observe a bar in the center of M33, which dominates at ages older than about 80 Myr. Finally, we find that the mean star formation rate (SFR) over the last 100 Myr within the PHATTER footprint is 0.32$\pm$0.02 M$_{\odot}$ yr$^{-1}$. We measure a current SFR (over the last 10 Myr) of 0.20$\pm$0.03 M$_{\odot}$ yr$^{-1}$. This SFR is slightly higher than previous measurements from broadband estimates, when scaled to account for the fraction of the D25 area covered by the PHATTER survey footprint.
△ Less
Submitted 22 June, 2022;
originally announced June 2022.
-
On Hermitian Eisenstein series of degree 2
Authors:
Adrian Hauffe-Waschbüsch,
Aloys Krieg,
Brandon Williams
Abstract:
We consider the Hermitian Eisenstein series $E^{(\mathbb{K})}_k$ of degree $2$ and weight $k$ associated with an imaginary-quadratic number field $\mathbb{K}$ and determine the influence of $\mathbb{K}$ on the arithmetic and the growth of its Fourier coefficients. We find that they satisfy the identity $E^{{(\mathbb{K})}^2}_4 = E^{{(\mathbb{K})}}_8$, which is well-known for Siegel modular forms of…
▽ More
We consider the Hermitian Eisenstein series $E^{(\mathbb{K})}_k$ of degree $2$ and weight $k$ associated with an imaginary-quadratic number field $\mathbb{K}$ and determine the influence of $\mathbb{K}$ on the arithmetic and the growth of its Fourier coefficients. We find that they satisfy the identity $E^{{(\mathbb{K})}^2}_4 = E^{{(\mathbb{K})}}_8$, which is well-known for Siegel modular forms of degree $2$, if and only if $\mathbb{K} = \mathbb{Q} (\sqrt{-3})$. As an application, we show that the Eisenstein series $E^{(\mathbb{K})}_k$, $k=4,6,8,10,12$ are algebraically independent whenever $\mathbb{K}\neq \mathbb{Q}(\sqrt{-3})$. The difference between the Siegel and the restriction of the Hermitian to the Siegel half-space is a cusp form in the Maass space that does not vanish identically for sufficiently large weight; however, when the weight is fixed, we will see that it tends to $0$ as the discriminant tends to $-\infty$. Finally, we show that these forms generate the space of cusp forms in the Maass Spezialschar as a module over the Hecke algebra as $\mathbb{K}$ varies over imaginary-quadratic number fields.
△ Less
Submitted 25 May, 2022;
originally announced May 2022.
-
The initial conditions for young massive cluster formation in the Galactic Centre: convergence of large-scale gas flows
Authors:
Bethan A. Williams,
Daniel L. Walker,
Steven N. Longmore,
A. T. Barnes,
Cara Battersby,
Guido Garay,
Adam Ginsburg,
Laura Gomez,
Jonathan D. Henshaw,
Luis C. Ho,
J. M. Diederik Kruijssen,
Xing Lu,
Elisabeth A. C. Mills,
Maya A. Petkova,
Qizhou Zhang
Abstract:
Young massive clusters (YMCs) are compact ($\lesssim$1 pc), high-mass (>10${}^4$ M${}_{\odot}$) stellar systems of significant scientific interest. Due to their rarity and rapid formation, we have very few examples of YMC progenitor gas clouds before star formation has begun. As a result, the initial conditions required for YMC formation are uncertain. We present high-resolution (0.13…
▽ More
Young massive clusters (YMCs) are compact ($\lesssim$1 pc), high-mass (>10${}^4$ M${}_{\odot}$) stellar systems of significant scientific interest. Due to their rarity and rapid formation, we have very few examples of YMC progenitor gas clouds before star formation has begun. As a result, the initial conditions required for YMC formation are uncertain. We present high-resolution (0.13$^{\prime\prime}$, $\sim$1000 au) ALMA observations and Mopra single-dish data, showing that Galactic Centre dust ridge `Cloud d' (G0.412$+$0.052, mass$\sim 7.6 \times 10^4$ M$_{\odot}$, radius$\sim 3.2$ pc) has the potential to become an Arches-like YMC (10$^4$ M$_{\odot}$, r$\sim$1 pc), but is not yet forming stars. This would mean it is the youngest known pre-star forming massive cluster and therefore could be an ideal laboratory for studying the initial conditions of YMC formation. We find 96 sources in the dust continuum, with masses $\lesssim$3 M$_{\odot}$ and radii of $\sim$10${}^3$ au. The source masses and separations are more consistent with thermal rather than turbulent fragmentation. It is not possible to unambiguously determine the dynamical state of most of the sources, as the uncertainty on virial parameter estimates is large. We find evidence for large-scale ($\sim$1 pc) converging gas flows, which could cause the cloud to grow rapidly, gaining 10$^4$ M$_{\odot}$ within 10$^5$ yr. The highest density gas is found at the convergent point of the large-scale flows. We expect this cloud to form many high-mass stars, but find no high-mass starless cores. If the sources represent the initial conditions for star formation, the resulting IMF will be bottom-heavy.
△ Less
Submitted 16 May, 2022;
originally announced May 2022.
-
Hierarchical Constrained Stochastic Shortest Path Planning via Cost Budget Allocation
Authors:
Sungkweon Hong,
Brian C. Williams
Abstract:
Stochastic sequential decision making often requires hierarchical structure in the problem where each high-level action should be further planned with primitive states and actions. In addition, many real-world applications require a plan that satisfies constraints on the secondary costs such as risk measure or fuel consumption. In this paper, we propose a hierarchical constrained stochastic shorte…
▽ More
Stochastic sequential decision making often requires hierarchical structure in the problem where each high-level action should be further planned with primitive states and actions. In addition, many real-world applications require a plan that satisfies constraints on the secondary costs such as risk measure or fuel consumption. In this paper, we propose a hierarchical constrained stochastic shortest path problem (HC-SSP) that meets those two crucial requirements in a single framework. Although HC-SSP provides a useful framework to model such planning requirements in many real-world applications, the resulting problem has high complexity and makes it difficult to find an optimal solution fast which prevents user from applying it to real-time and risk-sensitive applications. To address this problem, we present an algorithm that iteratively allocates cost budget to lower level planning problems based on branch-and-bound scheme to find a feasible solution fast and incrementally update the incumbent solution. We demonstrate the proposed algorithm in an evacuation scenario and prove the advantage over a state-of-the-art mathematical programming based approach.
△ Less
Submitted 10 May, 2022;
originally announced May 2022.
-
Automatic detection of glaucoma via fundus imaging and artificial intelligence: A review
Authors:
Lauren Coan,
Bryan Williams,
Krishna Adithya Venkatesh,
Swati Upadhyaya,
Silvester Czanner,
Rengaraj Venkatesh,
Colin E. Willoughby,
Srinivasan Kavitha,
Gabriela Czanner
Abstract:
Glaucoma is a leading cause of irreversible vision impairment globally and cases are continuously rising worldwide. Early detection is crucial, allowing timely intervention which can prevent further visual field loss. To detect glaucoma, examination of the optic nerve head via fundus imaging can be performed, at the centre of which is the assessment of the optic cup and disc boundaries. Fundus ima…
▽ More
Glaucoma is a leading cause of irreversible vision impairment globally and cases are continuously rising worldwide. Early detection is crucial, allowing timely intervention which can prevent further visual field loss. To detect glaucoma, examination of the optic nerve head via fundus imaging can be performed, at the centre of which is the assessment of the optic cup and disc boundaries. Fundus imaging is non-invasive and low-cost; however, the image examination relies on subjective, time-consuming, and costly expert assessments. A timely question to ask is can artificial intelligence mimic glaucoma assessments made by experts. Namely, can artificial intelligence automatically find the boundaries of the optic cup and disc (providing a so-called segmented fundus image) and then use the segmented image to identify glaucoma with high accuracy. We conducted a comprehensive review on artificial intelligence-enabled glaucoma detection frameworks that produce and use segmented fundus images. We found 28 papers and identified two main approaches: 1) logical rule-based frameworks, based on a set of simplistic decision rules; and 2) machine learning/statistical modelling based frameworks. We summarise the state-of-art of the two approaches and highlight the key hurdles to overcome for artificial intelligence-enabled glaucoma detection frameworks to be translated into clinical practice.
△ Less
Submitted 12 April, 2022;
originally announced April 2022.
-
SAUSAGE: Security Analysis of Unix domain Socket Usage in Android
Authors:
Mounir Elgharabawy,
Blas Kojusner,
Mohammad Mannan,
Kevin R. B. Butler,
Byron Williams,
Amr Youssef
Abstract:
The Android operating system is currently the most popular mobile operating system in the world. Android is based on Linux and therefore inherits its features including its Inter-Process Communication (IPC) mechanisms. These mechanisms are used by processes to communicate with one another and are extensively used in Android. While Android-specific IPC mechanisms have been studied extensively, Unix…
▽ More
The Android operating system is currently the most popular mobile operating system in the world. Android is based on Linux and therefore inherits its features including its Inter-Process Communication (IPC) mechanisms. These mechanisms are used by processes to communicate with one another and are extensively used in Android. While Android-specific IPC mechanisms have been studied extensively, Unix domain sockets have not been examined comprehensively, despite playing a crucial role in the IPC of highly privileged system daemons. In this paper, we propose SAUSAGE, an efficient novel static analysis framework to study the security properties of these sockets. SAUSAGE considers access control policies implemented in the Android security model, as well as authentication checks implemented by the daemon binaries. It is a fully static analysis framework, specifically designed to analyze Unix domain socket usage in Android system daemons, at scale. We use this framework to analyze 200 Android images across eight popular smartphone vendors spanning Android versions 7-9. As a result, we uncover multiple access control misconfigurations and insecure authentication checks. Our notable findings include a permission bypass in highly privileged Qualcomm system daemons and an unprotected socket that allows an untrusted app to set the scheduling priority of other processes running on the system, despite the implementation of mandatory SELinux policies. Ultimately, the results of our analysis are worrisome; all vendors except the Android Open Source Project (AOSP) have access control issues, allowing an untrusted app to communicate to highly privileged daemons through Unix domain sockets introduced by hardware manufacturer or vendor customization.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
When Do Stars Go BOOM?
Authors:
Harvey B. Richer,
Roger E. Cohen,
Matteo Correnti,
Ilaria Caiazzo,
Jeffrey Cummings,
Paul Goudfrooij,
Bradley M. S. Hansen,
Jeremy Heyl,
Molly Peeples,
Jason Kalirai,
Elena Sabbi,
Pier-Emmanuel Tremblay,
Benjamin Williams
Abstract:
The maximum mass of a star that can produce a white dwarf (WD) is an important astrophysical quantity. One of the best approaches to establishing this limit is to search for WDs in young star clusters in which only massive stars have had time to evolve and where the mass of the progenitor can be established from the cooling time of the WD together with the age of the cluster. Searches in young Mil…
▽ More
The maximum mass of a star that can produce a white dwarf (WD) is an important astrophysical quantity. One of the best approaches to establishing this limit is to search for WDs in young star clusters in which only massive stars have had time to evolve and where the mass of the progenitor can be established from the cooling time of the WD together with the age of the cluster. Searches in young Milky Way clusters have not thus far yielded WD members more massive than about 1.1$~M_{\odot}$, well below the Chandrasekhar mass of $1.38~M_{\odot}$, nor progenitors with masses in excess of about $6~M_{\odot}$. However, the hunt for potentially massive WDs that escaped their cluster environs is yielding interesting candidates. To expand the cluster sample further, we used HST to survey four young and massive star clusters in the Magellanic Clouds for bright WDs that could have evolved from stars as massive as 10$~M_{\odot}$. We located five potential WD candidates in the oldest of the four clusters examined, the first extragalactic single WDs thus far discovered. As these hot WDs are very faint at optical wavelengths, final confirmation will likely have to await spectroscopy with 30-metre class telescopes.
△ Less
Submitted 10 April, 2022; v1 submitted 21 March, 2022;
originally announced March 2022.
-
Snowmass2021 Cosmic Frontier White Paper: Observational Facilities to Study Dark Matter
Authors:
Sukanya Chakrabarti,
Alex Drlica-Wagner,
Ting S. Li,
Neelima Sehgal,
Joshua D. Simon,
Simon Birrer,
Duncan A. Brown,
Rebecca Bernstein,
Alberto D. Bolatto,
Philip Chang,
Kyle Dawson,
Paul Demorest,
Daniel Grin,
David L. Kaplan,
Joseph Lazio,
Jennifer Marshall,
Eric J. Murphy,
Scott Ransom,
Brant E. Robertson,
Rajeev Singh,
Anže Slosar,
Tommaso Treu,
Yu-Dai Tsai,
Benjamin F. Williams
Abstract:
We present an overview of future observational facilities that will significantly enhance our understanding of the fundamental nature of dark matter. These facilities span a range of observational techniques including optical/near-infrared imaging and spectroscopy, measurements of the cosmic microwave background, pulsar timing, 21-cm observations of neutral hydrogen at high redshift, and the measu…
▽ More
We present an overview of future observational facilities that will significantly enhance our understanding of the fundamental nature of dark matter. These facilities span a range of observational techniques including optical/near-infrared imaging and spectroscopy, measurements of the cosmic microwave background, pulsar timing, 21-cm observations of neutral hydrogen at high redshift, and the measurement of gravitational waves. Such facilities are a critical component of a multi-pronged experimental program to uncover the nature of dark matter, while often providing complementary measurements of dark energy, neutrino physics, and inflation.
△ Less
Submitted 11 March, 2022;
originally announced March 2022.
-
Non-Gaussian Risk Bounded Trajectory Optimization for Stochastic Nonlinear Systems in Uncertain Environments
Authors:
Weiqiao Han,
Ashkan Jasour,
Brian Williams
Abstract:
We address the risk bounded trajectory optimization problem of stochastic nonlinear robotic systems. More precisely, we consider the motion planning problem in which the robot has stochastic nonlinear dynamics and uncertain initial locations, and the environment contains multiple dynamic uncertain obstacles with arbitrary probabilistic distributions. The goal is to plan a sequence of control input…
▽ More
We address the risk bounded trajectory optimization problem of stochastic nonlinear robotic systems. More precisely, we consider the motion planning problem in which the robot has stochastic nonlinear dynamics and uncertain initial locations, and the environment contains multiple dynamic uncertain obstacles with arbitrary probabilistic distributions. The goal is to plan a sequence of control inputs for the robot to navigate to the target while bounding the probability of colliding with obstacles. Existing approaches to address risk bounded trajectory optimization problems are limited to particular classes of models and uncertainties such as Gaussian linear problems. In this paper, we deal with stochastic nonlinear models, nonlinear safety constraints, and arbitrary probabilistic uncertainties, the most general setting ever considered. To address the risk bounded trajectory optimization problem, we first formulate the problem as an optimization problem with stochastic dynamics equations and chance constraints. We then convert probabilistic constraints and stochastic dynamics constraints on random variables into a set of deterministic constraints on the moments of state probability distributions. Finally, we solve the resulting deterministic optimization problem using nonlinear optimization solvers and get a sequence of control inputs. To our best knowledge, it is the first time that the motion planning problem to such a general extent is considered and solved. To illustrate the performance of the proposed method, we provide several robotics examples.
△ Less
Submitted 6 March, 2022;
originally announced March 2022.
-
Cooperative Task and Motion Planning for Multi-Arm Assembly Systems
Authors:
**gkai Chen,
Jiaoyang Li,
Yijiang Huang,
Caelan Garrett,
Dawei Sun,
Chuchu Fan,
Andreas Hofmann,
Caitlin Mueller,
Sven Koenig,
Brian C. Williams
Abstract:
Multi-robot assembly systems are becoming increasingly appealing in manufacturing due to their ability to automatically, flexibly, and quickly construct desired structural designs. However, effectively planning for these systems in a manner that ensures each robot is simultaneously productive, and not idle, is challenging due to (1) the close proximity that the robots must operate in to manipulate…
▽ More
Multi-robot assembly systems are becoming increasingly appealing in manufacturing due to their ability to automatically, flexibly, and quickly construct desired structural designs. However, effectively planning for these systems in a manner that ensures each robot is simultaneously productive, and not idle, is challenging due to (1) the close proximity that the robots must operate in to manipulate the structure and (2) the inherent structural partial orderings on when each part can be installed. In this paper, we present a task and motion planning framework that jointly plans safe, low-makespan plans for a team of robots to assemble complex spatial structures. Our framework takes a hierarchical approach that, at the high level, uses Mixed-integer Linear Programs to compute an abstract plan comprised of an allocation of robots to tasks subject to precedence constraints and, at the low level, builds on a state-of-the-art algorithm for Multi-Agent Path Finding to plan collision-free robot motions that realize this abstract plan. Critical to our approach is the inclusion of certain collision constraints and movement durations during high-level planning, which better informs the search for abstract plans that are likely to be both feasible and low-makespan while kee** the search tractable. We demonstrate our planning system on several challenging assembly domains with several (sometimes heterogeneous) robots with grippers or suction plates for assembling structures with up to 23 objects involving Lego bricks, bars, plates, or irregularly shaped blocks.
△ Less
Submitted 4 March, 2022;
originally announced March 2022.
-
The Candidate Progenitor Companion Star of the Type Ib/c SN 2013ge
Authors:
Ori D. Fox,
Schuyler D. Van Dyk,
Benjamin F. Williams,
Maria Drout,
Emmanouil Zapartas,
Nathan Smith,
Dan Milisavljevic,
Jennifer E. Andrews,
K. Azalee Bostroem,
Alexei V. Filippenko,
Sebastian Gomez,
Patrick L. Kelly,
S. E. de Mink,
Justin Pierel,
Armin Rest,
Stuart Ryder,
Niharika Sravan,
Lou Strolger,
Qinan Wang,
Kathryn E. Weil
Abstract:
This Letter presents the detection of a source at the position of the Type Ib/c supernova (SN) 2013ge more than four years after the radioactive component is expected to have faded. This source could mark the first post-SN direct detection of a surviving companion to a stripped-envelope Type Ib/c explosion. We test this hypothesis and find the shape of the source's spectral energy distribution is…
▽ More
This Letter presents the detection of a source at the position of the Type Ib/c supernova (SN) 2013ge more than four years after the radioactive component is expected to have faded. This source could mark the first post-SN direct detection of a surviving companion to a stripped-envelope Type Ib/c explosion. We test this hypothesis and find the shape of the source's spectral energy distribution is most consistent with that of a B5 I supergiant. While binary models tend to predict OB-type stars for stripped-envelope companions, the location of the source on a color-magnitude diagram (CMD) places it redward of its more likely position on the main sequence (MS). The source may be temporarily out of thermal equilibrium, or a cool and inflated non-MS companion, which is similar to the suggested companion of Type Ib SN 2019yvr that was constrained from pre-SN imaging. We also consider other possible physical scenarios for the source, including a fading SN, circumstellar shock interaction, line of site coincidence, and an unresolved host star cluster, all of which will require future observations to more definitively rule out. Ultimately, the fraction of surviving companions ("binary fraction") will provide necessary constraints on binary evolution models and the underlying physics.
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
Providing Insights for Open-Response Surveys via End-to-End Context-Aware Clustering
Authors:
Soheil Esmaeilzadeh,
Brian Williams,
Davood Shamsi,
Onar Vikingstad
Abstract:
Teachers often conduct surveys in order to collect data from a predefined group of students to gain insights into topics of interest. When analyzing surveys with open-ended textual responses, it is extremely time-consuming, labor-intensive, and difficult to manually process all the responses into an insightful and comprehensive report. In the analysis step, traditionally, the teacher has to read e…
▽ More
Teachers often conduct surveys in order to collect data from a predefined group of students to gain insights into topics of interest. When analyzing surveys with open-ended textual responses, it is extremely time-consuming, labor-intensive, and difficult to manually process all the responses into an insightful and comprehensive report. In the analysis step, traditionally, the teacher has to read each of the responses and decide on how to group them in order to extract insightful information. Even though it is possible to group the responses only using certain keywords, such an approach would be limited since it not only fails to account for embedded contexts but also cannot detect polysemous words or phrases and semantics that are not expressible in single words. In this work, we present a novel end-to-end context-aware framework that extracts, aggregates, and abbreviates embedded semantic patterns in open-response survey data. Our framework relies on a pre-trained natural language model in order to encode the textual data into semantic vectors. The encoded vectors then get clustered either into an optimally tuned number of groups or into a set of groups with pre-specified titles. In the former case, the clusters are then further analyzed to extract a representative set of keywords or summary sentences that serve as the labels of the clusters. In our framework, for the designated clusters, we finally provide context-aware wordclouds that demonstrate the semantically prominent keywords within each group. Honoring user privacy, we have successfully built the on-device implementation of our framework suitable for real-time analysis on mobile devices and have tested it on a synthetic dataset. Our framework reduces the costs at-scale by automating the process of extracting the most insightful information pieces from survey data.
△ Less
Submitted 8 October, 2022; v1 submitted 2 March, 2022;
originally announced March 2022.
-
Maximising Wrenches for Kinematically Redundant Systems with Experiments on UVMS
Authors:
Wilhelm Johan Marais,
Stefan B. Williams,
Oscar Pizarro
Abstract:
This paper presents methods for finding optimal configurations and actuator forces/torques to maximise contact wrenches in a desired direction for Underwater Vehicles Manipulator Systems (UVMS). The wrench maximisation problem is formulated as a linear programming problem, and the optimal configuration is solved as a bi-level optimisation in the parameterised redundancy space. We additionally cons…
▽ More
This paper presents methods for finding optimal configurations and actuator forces/torques to maximise contact wrenches in a desired direction for Underwater Vehicles Manipulator Systems (UVMS). The wrench maximisation problem is formulated as a linear programming problem, and the optimal configuration is solved as a bi-level optimisation in the parameterised redundancy space. We additionally consider the cases of one or more manipulators with multiple contact forces, maximising wrench capability while tracking a trajectory, and generating large wrench impulses using dynamic motions. We look at the specific cases of maximising force to lift a heavy load, and maximising torque during a valve turning operation. Extensive experimental results are presented using an underwater robotic platform equipped with a 4DOF manipulator, and show significant increases in wrench capability compared to existing methods for UVMS.
△ Less
Submitted 27 February, 2022;
originally announced February 2022.
-
R2-D2: Roman and Rubin -- From Data to Discovery
Authors:
Suvi Gezari,
Misty Bentz,
Kishalay De,
K. Decker French,
Aaron Meisner,
Michelle Ntampaka,
Robert Jedicke,
Ekta Patel,
Daniel Perley,
Robyn Sanderson,
Christian Aganze,
Igor Andreoni,
Eric F. Bell,
Edo Berger,
Ian Dell'Antonio,
Ryan Foley,
Henry Hsieh,
Mansi Kasliwal,
Joel Kastner,
Charles D. Kilpatrick,
J. Davy Kirkpatrick,
Casey Lam,
Karen Meech,
Dante Minniti,
Ethan O. Nadler
, et al. (6 additional authors not shown)
Abstract:
The NASA Nancy Grace Roman Space Telescope (Roman) and the Vera C. Rubin Observatory Legacy Survey of Space and Time (Rubin), will transform our view of the wide-field sky, with similar sensitivities, but complementary in wavelength, spatial resolution, and time domain coverage. Here we present findings from the AURA Roman+Rubin Synergy Working group, charged by the STScI and NOIRLab Directors to…
▽ More
The NASA Nancy Grace Roman Space Telescope (Roman) and the Vera C. Rubin Observatory Legacy Survey of Space and Time (Rubin), will transform our view of the wide-field sky, with similar sensitivities, but complementary in wavelength, spatial resolution, and time domain coverage. Here we present findings from the AURA Roman+Rubin Synergy Working group, charged by the STScI and NOIRLab Directors to identify frontier science questions in General Astrophysics, beyond the well-covered areas of Dark Energy and Cosmology, that can be uniquely addressed with Roman and Rubin synergies in observing strategy, data products and archiving, joint analysis, and community engagement. This analysis was conducted with input from the community in the form of brief (1-2 paragraph) "science pitches" (see Appendix), and testimony from "outside experts" (included as co-authors). We identify a rich and broad landscape of potential discoveries catalyzed by the combination of exceptional quality and quantity of Roman and Rubin data, and summarize implementation requirements that would facilitate this bounty of additional science with coordination of survey fields, joint coverage of the Galactic plane, bulge, and ecliptic, expansion of General Investigator and Target of Opportunity observing modes, co-location of Roman and Rubin data, and timely distribution of data, transient alerts, catalogs, value-added joint analysis products, and simulations to the broad astronomical community.
△ Less
Submitted 24 February, 2022;
originally announced February 2022.
-
M2I: From Factored Marginal Trajectory Prediction to Interactive Prediction
Authors:
Qiao Sun,
Xin Huang,
Junru Gu,
Brian C. Williams,
Hang Zhao
Abstract:
Predicting future motions of road participants is an important task for driving autonomously in urban scenes. Existing models excel at predicting marginal trajectories for single agents, yet it remains an open question to jointly predict scene compliant trajectories over multiple agents. The challenge is due to exponentially increasing prediction space as a function of the number of agents. In thi…
▽ More
Predicting future motions of road participants is an important task for driving autonomously in urban scenes. Existing models excel at predicting marginal trajectories for single agents, yet it remains an open question to jointly predict scene compliant trajectories over multiple agents. The challenge is due to exponentially increasing prediction space as a function of the number of agents. In this work, we exploit the underlying relations between interacting agents and decouple the joint prediction problem into marginal prediction problems. Our proposed approach M2I first classifies interacting agents as pairs of influencers and reactors, and then leverages a marginal prediction model and a conditional prediction model to predict trajectories for the influencers and reactors, respectively. The predictions from interacting agents are combined and selected according to their joint likelihoods. Experiments show that our simple but effective approach achieves state-of-the-art performance on the Waymo Open Motion Dataset interactive prediction benchmark.
△ Less
Submitted 27 March, 2022; v1 submitted 23 February, 2022;
originally announced February 2022.
-
The Triangulum Extended (TREX) Survey: The Stellar Disk Dynamics of M33 as a Function of Stellar Age
Authors:
A. C. N. Quirk,
P. Guhathakurta,
K. Gilbert,
L. Chemin,
J. Dalcanton,
B. Williams,
A. Seth,
E. Patel,
J. Fung,
P. Tangirala,
I. Yusufali
Abstract:
Triangulum, M33, is a low mass, relatively undisturbed spiral galaxy that offers a new regime in which to test models of dynamical heating. In spite of its proximity, the dynamical heating history of M33 has not yet been well constrained. In this work, we present the TREX Survey, the largest stellar spectroscopic survey across the disk of M33. We present the stellar disk kinematics as a function o…
▽ More
Triangulum, M33, is a low mass, relatively undisturbed spiral galaxy that offers a new regime in which to test models of dynamical heating. In spite of its proximity, the dynamical heating history of M33 has not yet been well constrained. In this work, we present the TREX Survey, the largest stellar spectroscopic survey across the disk of M33. We present the stellar disk kinematics as a function of age to study the past and ongoing dynamical heating of M33. We measure line of sight velocities for ~4,500 disk stars. Using a subset, we divide the stars into broad age bins using Hubble Space Telescope and Canada-France-Hawaii-Telescope photometric catalogs: massive main sequence stars and helium burning stars (~80 Myr), intermediate mass asymptotic branch stars (~1 Gyr), and low mass red giant branch stars (~4 Gyr). We compare the stellar disk dynamics to that of the gas using existing HI, CO, and Halpha kinematics. We find that the disk of M33 has relatively low velocity dispersion (~16 km/s), and unlike in the Milky Way and Andromeda galaxies, there is no strong trend in velocity dispersion as a function of stellar age. The youngest disk stars are as dynamically hot as the oldest disk stars and are dynamically hotter than predicted by most M33 like low mass simulated analogs in Illustris. The velocity dispersion of the young stars is highly structured, with the large velocity dispersion fairly localized. The cause of this high velocity dispersion is not evident from the observations and simulated analogs presented here.
△ Less
Submitted 9 February, 2022;
originally announced February 2022.
-
Locating the CSM Emission within the Type Ia Supernova Remnant N103B
Authors:
Benson T. Guest,
William P. Blair,
Kazimierz J. Borkowski,
Parviz Ghavamian,
Sean P. Hendrick,
Knox S. Long,
Robert Petre,
John C. Raymond,
Armin Rest,
Ravi Sankrit,
Ivo R. Seitenzahl,
Brian J. Williams
Abstract:
We present results from deep Chandra observations of the young Type Ia supernova remnant (SNR) 0509-68.7, also known as N103B, located in the Large Magellanic cloud (LMC). The remnant displays an asymmetry in brightness, with the western hemisphere appearing significantly brighter than the eastern half. Previous multi-wavelength observations have attributed the difference to a density gradient and…
▽ More
We present results from deep Chandra observations of the young Type Ia supernova remnant (SNR) 0509-68.7, also known as N103B, located in the Large Magellanic cloud (LMC). The remnant displays an asymmetry in brightness, with the western hemisphere appearing significantly brighter than the eastern half. Previous multi-wavelength observations have attributed the difference to a density gradient and suggested circumstellar material origins, drawing similarities to Kepler's SNR. We apply a clustering technique combined with traditional imaging analysis to spatially locate various emission components within the remnant. We find that O and Mg emission is strongest along the blast wave, and coincides with Spitzer observations of dust emission and optical emission from the non-radiative shocks. The abundances of O and Mg in these regions are enhanced relative to the average LMC abundances and appear as a distinct spatial distribution compared to the ejecta products, supporting the circumstellar medium (CSM) interpretation. We also find that the spatial distribution of Cr is identical to that of Fe in the interior of the remnant, and does not coincide at all with the O and Mg emission.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
The Panchromatic Hubble Andromeda Treasury: Triangulum Extended Region (PHATTER). III. The Mass Function of Young Star Clusters in M33
Authors:
Tobin M. Wainer,
L. Clifton Johnson,
Anil C. Seth,
Estephani E. TorresVillanueva,
Julianne J. Dalcanton,
Meredith J. Durbin,
Andrew Dolphin,
Daniel R. Weisz,
Benjamin F. Williams
Abstract:
We measure the star cluster mass function for the Local Group galaxy M33. We use the catalog of stellar clusters selected from the Panchromatic Hubble Andromeda Treasury: Triangulum Extended Region (PHATTER) survey. We analyze 711 clusters in M33 with $\rm 7.0 < log(Age/yr) < 8.5$, and log($M/M_{\odot}$) $>$ 3.0 as determined from color-magnitude diagram fits to individual stars. The M33 cluster m…
▽ More
We measure the star cluster mass function for the Local Group galaxy M33. We use the catalog of stellar clusters selected from the Panchromatic Hubble Andromeda Treasury: Triangulum Extended Region (PHATTER) survey. We analyze 711 clusters in M33 with $\rm 7.0 < log(Age/yr) < 8.5$, and log($M/M_{\odot}$) $>$ 3.0 as determined from color-magnitude diagram fits to individual stars. The M33 cluster mass function is best described by a Schechter function with power law slope $α= -2.06^{+0.14}_{-0.13}$, and truncation mass log($M_c/M_{\odot}$) $= 4.24^{+0.16}_{-0.13}$. The data show strong evidence for a high-mass truncation, thus strongly favoring a Schechter function fit over a pure power law. M33's truncation mass is consistent with the previously identified linear trend between $M_c$, and star formation rate surface density, \SigSFR. We also explore the effect that individual cluster mass uncertainties have on derived mass function parameters, and find evidence to suggest that large cluster mass uncertainties have the potential to bias the truncation mass of fitted mass functions on the one sigma level.
△ Less
Submitted 2 February, 2022; v1 submitted 11 January, 2022;
originally announced January 2022.
-
Spaces of Generators for the $2 \times 2$ Matrix Algebra
Authors:
W. S. Gant,
Ben Williams
Abstract:
This paper studies $B(r)$, the space of $r$-tuples of $2 \times 2$ complex matrices that generate $\operatorname{Mat}_{2 \times 2}(\mathbf C)$ as an algebra, considered up to change-of-basis. We show that $B(2)$ is homotopy equivalent to $S^1 \times^{\mathbf Z/2\mathbf Z} S^2$. For $r>2$, we determine the rational cohomology of $B(r)$ for degrees less than $4r-6$. As an application, we use the mac…
▽ More
This paper studies $B(r)$, the space of $r$-tuples of $2 \times 2$ complex matrices that generate $\operatorname{Mat}_{2 \times 2}(\mathbf C)$ as an algebra, considered up to change-of-basis. We show that $B(2)$ is homotopy equivalent to $S^1 \times^{\mathbf Z/2\mathbf Z} S^2$. For $r>2$, we determine the rational cohomology of $B(r)$ for degrees less than $4r-6$. As an application, we use the machinery of arXiv:2012.07900 to prove that for all natural numbers $d$, there exists a ring $R$ of Krull dimension $d$ and a degree-$2$ Azumaya algebra $A$ over $R$ that cannot be generated by fewer than $2\lfloor d/4 \rfloor + 2$ elements.
△ Less
Submitted 2 January, 2024; v1 submitted 3 January, 2022;
originally announced January 2022.
-
A Census of Thermally-Pulsing AGB stars in the Andromeda Galaxy and a First Estimate of their Contribution to the Global Dust Budget
Authors:
Steven R. Goldman,
Martha L. Boyer,
Julianne Dalcanton,
Iain McDonald,
Leo Girardi,
Benjamin F. Williams,
Sundar Srinivasan,
Karl Gordon
Abstract:
We present a near-complete catalog of the metal-rich population of Thermally-Pulsing Asymptotic Giant Branch stars in the northwest quadrant of M31. This metal-rich sample complements the equally complete metal-poor Magellanic Cloud AGB catalogs produced by the SAGE program. Our catalog includes HST wide-band photometry from the Panchromatic Hubble Andromeda Treasury survey, HST medium-band photom…
▽ More
We present a near-complete catalog of the metal-rich population of Thermally-Pulsing Asymptotic Giant Branch stars in the northwest quadrant of M31. This metal-rich sample complements the equally complete metal-poor Magellanic Cloud AGB catalogs produced by the SAGE program. Our catalog includes HST wide-band photometry from the Panchromatic Hubble Andromeda Treasury survey, HST medium-band photometry used to chemically classify a subset of the sample, and Spitzer mid- and far-IR photometry that we have used to isolate dust-producing AGB stars. We have detected 346,623 AGB stars; these include 4,802 AGB candidates producing considerable dust, and 1,356 AGB candidates that lie within clusters with measured ages, and in some cases metallicities. Using the Spitzer data and chemical classifications made with the medium-band data, we have identified both carbon- and oxygen-rich AGB candidates producing significant dust. We have applied color--mass-loss relations based on dusty AGB stars from the LMC to estimate the dust injection by AGB stars in the PHAT footprint. Applying our color relations to a subset of the chemically-classified stars producing the bulk of the dust, we find that ~97.8% of the dust is oxygen-rich. Using several scenarios for the dust lifetime, we have estimated the contribution of AGB stars to the global dust budget of M31 to be 0.9-35.5%, which is in line with previous estimates in the Magellanic Clouds. Follow-up observations of the M31 AGB candidates with the JWST will allow us to further constrain stellar and chemical evolutionary models, and the feedback and dust production of metal-rich evolved stars.
△ Less
Submitted 28 December, 2021;
originally announced December 2021.
-
Failure Mode and Effects Analysis (FMEA) for Experimental Use of FLASH on a Clinical Accelerator
Authors:
Mahbubur Rahman,
Rongxiao Zhang,
David J. Gladstone,
Benjamin B. Williams,
Erli Chen,
Chad A. Dexter,
Lawrence Thompson,
Petr Bruza,
Brian W. Pogue
Abstract:
Background: Use of a linear accelerator in ultra-high dose rate (UHDR) mode can provide a conduit for wider access to UHDR FLASH effects, sparing normal tissue, but care needs to be taken in the use of such systems to ensure errors are minimized.
Purpose: Failure Modes and Effects Analysis (FMEA) was carried out in a team that has been involved in converting a LINAC between clinical use and UHDR…
▽ More
Background: Use of a linear accelerator in ultra-high dose rate (UHDR) mode can provide a conduit for wider access to UHDR FLASH effects, sparing normal tissue, but care needs to be taken in the use of such systems to ensure errors are minimized.
Purpose: Failure Modes and Effects Analysis (FMEA) was carried out in a team that has been involved in converting a LINAC between clinical use and UHDR experimental mode for more than one year, following the proposed methods of TG100.
Methods: A team of 9 professionals with extensive experience were polled to outline the process map and workflow for analysis, and developed fault trees for potential errors, as well as failure modes that would results. The team scored the categories of severity magnitude (S), occurrence likelihood (O), and detectability potential (D) in a scale of 1 to 10, so that a risk priority number (RPN=S*O*D) could be assessed for each.
Results: A total of 46 potential failure modes were identified, including 5 with RPN>100. These failure modes involved 1) patient set up, 2) gating mechanisms in delivery, and 3) detector in the beam stop mechanism. Identified methods to mitigate errors included 1) use of a checklist post conversion, 2) use of robust radiation detectors, 3) automation of QA and beam consistency checks, and 4) implementation of surface guidance during beam delivery.
Conclusions: The FMEA process was considered critically important in this setting of a new use of a LINAC, and the expert team developed a higher level of confidence in the ability to safely move UHDR LINAC use towards expanded research access.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
A Third Epoch Proper Motion Study of The Forward Shock in Kepler's Supernova Remnant
Authors:
Sadie C. Coffin,
Brian J. Williams,
Satoru Katsuda
Abstract:
We present measurements of the expansion of Kepler's Supernova Remnant (SNR) over three epochs of Chandra X-ray observations from 2000, 2006, and 2014. As the remnant of a historical supernova (observed in 1604 CE), Kepler's SNR presents the rare opportunity to study the dynamical evolution of such an object in real time. Measurements of the asymmetry in forward shock velocity can also provide ins…
▽ More
We present measurements of the expansion of Kepler's Supernova Remnant (SNR) over three epochs of Chandra X-ray observations from 2000, 2006, and 2014. As the remnant of a historical supernova (observed in 1604 CE), Kepler's SNR presents the rare opportunity to study the dynamical evolution of such an object in real time. Measurements of the asymmetry in forward shock velocity can also provide insight into the nature of the explosion and density of the circumstellar material. Combining data from 2014 with previous epochs in 2000 and 2006, we can observe the proper motion of filaments along the outer rim of the SNR. Prior studies of Kepler's SNR have shown proper motion differences up to a factor of 3 between northern and southern regions around the remnant. With the longer time baseline we use here, we find results that are consistent with previous studies, but with smaller uncertainties. Additionally, by adding a third epoch of observations, we search for any systemic change in the velocity in the form of a deceleration of the blast wave, as was recently reported in Tycho's SNR. We find little to no conclusive evidence of such deceleration, and conclude that Kepler's SNR is encountering circumstellar material that is roughly constant in density, though substantially varied around the periphery.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
Modular forms with poles on hyperplane arrangements
Authors:
Haowu Wang,
Brandon Williams
Abstract:
We study algebras of meromorphic modular forms whose poles lie on Heegner divisors for orthogonal and unitary groups associated to root lattices. We give a uniform construction of $147$ hyperplane arrangements on type IV symmetric domains for which the algebras of modular forms with constrained poles are free and therefore the Looijenga compactifications of the arrangement complements are weighted…
▽ More
We study algebras of meromorphic modular forms whose poles lie on Heegner divisors for orthogonal and unitary groups associated to root lattices. We give a uniform construction of $147$ hyperplane arrangements on type IV symmetric domains for which the algebras of modular forms with constrained poles are free and therefore the Looijenga compactifications of the arrangement complements are weighted projective spaces. We also construct $8$ free algebras of modular forms on complex balls with poles on hyperplane arrangements. The most striking example is the discriminant kernel of the $2U\oplus D_{11}$ lattice, which admits a free algebra on $14$ meromorphic generators. Along the way, we determine minimal systems of generators for non-free algebras of orthogonal modular forms for $26$ reducible root lattices and prove the modularity of formal Fourier--Jacobi series associated to them. By exploiting an identity between weight one singular additive and multiplicative lifts on $2U\oplus D_{11}$, we prove that the additive lift of any (possibly weak) theta block of positive weight and $q$-order one is a Borcherds product; the special case of holomorphic theta blocks of one elliptic variable is the theta block conjecture of Gritsenko, Poor and Yuen.
△ Less
Submitted 13 December, 2021;
originally announced December 2021.
-
The Stellar Age Dependence of X-ray Emission from Normal Star-Forming Galaxies in the GOODS Fields
Authors:
Woodrow Gilbertson,
Bret Lehmer,
Keith Doore,
Rafael Eufrasio,
Antara Basu-Zych,
William Brandt,
Tassos Fragos,
Kristen Garofali,
Konstantinos Kovlakas,
Bin Luo,
Paolo Tozzi,
Fabio Vito,
Benjamin F. Williams,
Yongquan Xue
Abstract:
The Chandra Deep Field-South and North surveys (CDFs) provide unique windows into the cosmic history of X-ray emission from normal (non-active) galaxies. Scaling relations of normal galaxy X-ray luminosity (L_X) with star formation rate (SFR) and stellar mass (M_star) have been used to show that the formation rates of low-mass and high-mass X-ray binaries (LMXBs and HMXBs, respectively) evolve wit…
▽ More
The Chandra Deep Field-South and North surveys (CDFs) provide unique windows into the cosmic history of X-ray emission from normal (non-active) galaxies. Scaling relations of normal galaxy X-ray luminosity (L_X) with star formation rate (SFR) and stellar mass (M_star) have been used to show that the formation rates of low-mass and high-mass X-ray binaries (LMXBs and HMXBs, respectively) evolve with redshift across z = 0-2 following L_HMXB/SFR ~ 1 + z and L_LMXB/M_star ~ (1 + z)^{2-3}. However, these measurements alone do not directly reveal the physical mechanisms behind the redshift evolution of X-ray binaries (XRBs). We derive star-formation histories for a sample of 344 normal galaxies in the CDFs, using spectral energy distribution (SED) fitting of FUV-to-FIR photometric data, and construct a self-consistent, age-dependent model of the X-ray emission from the galaxies. Our model quantifies how X-ray emission from hot gas and XRB populations vary as functions of host stellar-population age. We find that (1) the ratio L_X/M_star declines by a factor of ~1000 from 0-10 Gyr and (2) the X-ray SED becomes harder with increasing age, consistent with a scenario in which the hot gas contribution to the X-ray SED declines quickly for ages above 10 Myr. When dividing our sample into subsets based on metallicity, we find some indication that L_X/M_star is elevated for low-metallicity galaxies, consistent with recent studies of X-ray scaling relations. However, additional statistical constraints are required to quantify both the age and metallicity dependence of X-ray emission from star-forming galaxies.
△ Less
Submitted 6 December, 2021;
originally announced December 2021.
-
Advanced Architectures for High-Performance Quantum Networking
Authors:
Muneer Alshowkan,
Philip G. Evans,
Brian P. Williams,
Nageswara S. V. Rao,
Claire E. Marvinney,
Yun-Yi Pai,
Benjamin J. Lawrie,
Nicholas A. Peters,
Joseph M. Lukens
Abstract:
As practical quantum networks prepare to serve an ever-expanding number of nodes, there has grown a need for advanced auxiliary classical systems that support the quantum protocols and maintain compatibility with the existing fiber-optic infrastructure. We propose and demonstrate a quantum local area network design that addresses current deployment limitations in timing and security in a scalable…
▽ More
As practical quantum networks prepare to serve an ever-expanding number of nodes, there has grown a need for advanced auxiliary classical systems that support the quantum protocols and maintain compatibility with the existing fiber-optic infrastructure. We propose and demonstrate a quantum local area network design that addresses current deployment limitations in timing and security in a scalable fashion using commercial off-the-shelf components. We employ White Rabbit switches to synchronize three remote nodes with ultra-low timing jitter, significantly increasing the fidelities of the distributed entangled states over previous work with Global Positioning System clocks. Second, using a parallel quantum key distribution channel, we secure the classical communications needed for instrument control and data management. In this way, the conventional network which manages our entanglement network is secured using keys generated via an underlying quantum key distribution layer, preserving the integrity of the supporting systems and the relevant data in a future-proof fashion.
△ Less
Submitted 30 November, 2021;
originally announced November 2021.
-
The data-driven future of high energy density physics
Authors:
Peter W. Hatfield,
Jim A. Gaffney,
Gemma J. Anderson,
Suzanne Ali,
Luca Antonelli,
Suzan Başeğmez du Pree,
Jonathan Citrin,
Marta Fajardo,
Patrick Knapp,
Brendan Kettle,
Bogdan Kustowski,
Michael J. MacDonald,
Derek Mariscal,
Madison E. Martin,
Taisuke Nagayama,
Charlotte A. J. Palmer,
J. Luc Peterson,
Steven Rose,
J J Ruby,
Carl Shneider,
Matt J. V. Streeter,
Will Trickey,
Ben Williams
Abstract:
The study of plasma physics under conditions of extreme temperatures, densities and electromagnetic field strengths is significant for our understanding of astrophysics, nuclear fusion and fundamental physics. These extreme physical systems are strongly non-linear and very difficult to understand theoretically or optimize experimentally. Here, we argue that machine learning models and data-driven…
▽ More
The study of plasma physics under conditions of extreme temperatures, densities and electromagnetic field strengths is significant for our understanding of astrophysics, nuclear fusion and fundamental physics. These extreme physical systems are strongly non-linear and very difficult to understand theoretically or optimize experimentally. Here, we argue that machine learning models and data-driven methods are in the process of resha** our exploration of these extreme systems that have hitherto proven far too non-linear for human researchers. From a fundamental perspective, our understanding can be helped by the way in which machine learning models can rapidly discover complex interactions in large data sets. From a practical point of view, the newest generation of extreme physics facilities can perform experiments multiple times a second (as opposed to ~daily), moving away from human-based control towards automatic control based on real-time interpretation of diagnostic data and updates of the physics model. To make the most of these emerging opportunities, we advance proposals for the community in terms of research design, training, best practices, and support for synthetic diagnostics and data analysis.
△ Less
Submitted 22 November, 2021;
originally announced November 2021.
-
Individual Pulse Monitoring and Dose Control System for Pre-Clinical Implementation of FLASH-RT
Authors:
M. Ramish Ashraf,
Mahbubur Rahman,
Xu Cao,
Kayla Duval,
Benjamin B. Williams,
P. Jack Hoopes,
David J. Gladstone,
Brian W. Pogue,
Rongxiao Zhang,
Petr Bruza
Abstract:
Ultra-high dose rate electron sources require dose rate independent dosimeters and a calibrated dose control system for accurate delivery. In this study, we developed a single-pulse dose monitoring and a real-time dose-based control system for a converted clinical linear accelerator (LINAC). A point scintillator detector was coupled to a gated amplifier and a real-time controller for dose monitori…
▽ More
Ultra-high dose rate electron sources require dose rate independent dosimeters and a calibrated dose control system for accurate delivery. In this study, we developed a single-pulse dose monitoring and a real-time dose-based control system for a converted clinical linear accelerator (LINAC). A point scintillator detector was coupled to a gated amplifier and a real-time controller for dose monitoring and feedback control loop. The controller was programmed to integrate dose and measure pulse width of each radiation pulse and gate the LINAC beam when the prescribed dose was delivered. The scintillator was mounted in solid water phantom and placed underneath mice skin for in vivo dose monitoring. Additionally, the scintillator was characterized in terms of its radiation stability, mean dose-rate, and dose per pulse dependence. Dose integration was performed for each radiation pulse and displayed in real-time. The scintillator was shown to be linear with mean dose-rate (40-380 Gy/s) and dose per pulse (0.3-1.3 Gy/Pulse) to within +/- 3%. However, the plastic scintillator was subject to significant radiation damage (16%/kGy) and would need to be calibrated frequently. Pulse-counting control was accurately implemented with direct correspondence between the intended and the actual delivered pulses. The dose-based control was sufficient to gate on any pulse of the LINAC. In-vivo dosimetry monitoring with a 1 cm circular cut-out revealed that a ramp-up of 4-5 pulses was present during which the average dose per pulse was ~0.045 +/- 0.004 Gy/Pulse, whereas after the ramp-up it stabilized at 0.65 +/- 0.01 Gy/Pulse. The tools presented in this study can be used to determine the beam parameter space pertinent to the FLASH effect. Additionally, this study is the first instance of real-time dose-based control for a modified LINAC at ultra-high dose rates.
△ Less
Submitted 16 November, 2021;
originally announced November 2021.
-
Positron Driven High-Field Terahertz Waves in Dielectric Material
Authors:
N. Majernik,
G. Andonian,
O. B. Williams,
B. D. O'Shea,
P. D. Hoang,
C. Clarke,
M. J. Hogan,
V. Yakimenko,
J. B. Rosenzweig
Abstract:
Advanced acceleration methods based on wakefields generated by high energy electron bunches passing through dielectric-based structures have demonstrated $>$GV/m fields, paving the first steps on a path to applications such as future compact linear colliders. For a collider scenario, it is desirable that, in contrast to plasmas, wakefields in dielectrics do not behave differently for positron and…
▽ More
Advanced acceleration methods based on wakefields generated by high energy electron bunches passing through dielectric-based structures have demonstrated $>$GV/m fields, paving the first steps on a path to applications such as future compact linear colliders. For a collider scenario, it is desirable that, in contrast to plasmas, wakefields in dielectrics do not behave differently for positron and electron bunches. In this Letter, we present measurements of large amplitude fields excited by positron bunches with collider-relevant parameters (energy 20 GeV, and $0.7 \times 10^{10}$ particles per bunch) in a 0.4 THz, cylindrically symmetric dielectric structure. Interferometric measurements of emitted coherent Cerenkov radiation permit spectral characterization of the positron-generated wakefields, which are compared to those excited by electron bunches. Statistical equivalence tests are incorporated to show the charge-sign invariance of the induced wakefield spectra. Transverse effects on positron beams resulting from off-axis excitation are examined and found to be consistent with the known linear response of the DWA system. The results are supported by numerical simulations and demonstrate high-gradient wakefield excitation in dielectrics for positron beams.
△ Less
Submitted 5 November, 2021;
originally announced November 2021.
-
Twisted eleven-dimensional supergravity
Authors:
Surya Raghavendran,
Ingmar Saberi,
Brian R. Williams
Abstract:
We construct a fully interacting holomorphic/topological theory in eleven dimensions that is defined on products of Calabi-Yau fivefolds with real one-manifolds. The theory describes a particular deformation of the cotangent bundle to the moduli space of Calabi-Yau structures on the fivefold. Its field content matches the holomorphic (or minimal) twist of the eleven-dimensional supergravity multip…
▽ More
We construct a fully interacting holomorphic/topological theory in eleven dimensions that is defined on products of Calabi-Yau fivefolds with real one-manifolds. The theory describes a particular deformation of the cotangent bundle to the moduli space of Calabi-Yau structures on the fivefold. Its field content matches the holomorphic (or minimal) twist of the eleven-dimensional supergravity multiplet recently computed by the second two authors, and we offer numerous consistency checks showing that the interactions correctly describe interacting twisted eleven-dimensional supergravity at the perturbative level. We prove that the global symmetry algebra of our model on flat space is an $L_\infty$ central extension of the infinite-dimensional simple exceptional super Lie algebra $E(5,10)$, following a recent suggestion of Cederwall in the context of the relevant pure spinor model. Twists of superconformal algebras map to the fields of our model on the complement of a stack of M2 or M5 branes, laying the groundwork for a fully holomorphic version of twisted holography in this context.
△ Less
Submitted 4 November, 2021;
originally announced November 2021.
-
Lessons Learned on the Interface between Quantum and Conventional Networking
Authors:
Muneer Alshowkan,
Nageswara S. V. Rao,
Joseph C. Chapman,
Brian P. Williams,
Philip G. Evans,
Raphael C. Pooser,
Joseph M. Lukens,
Nicholas A. Peters
Abstract:
The future Quantum Internet is expected to be based on a hybrid architecture with core quantum transport capabilities complemented by conventional networking.Practical and foundational considerations indicate the need for conventional control and data planes that (i) utilize extensive existing telecommunications fiber infrastructure, and (ii) provide parallel conventional data channels needed for…
▽ More
The future Quantum Internet is expected to be based on a hybrid architecture with core quantum transport capabilities complemented by conventional networking.Practical and foundational considerations indicate the need for conventional control and data planes that (i) utilize extensive existing telecommunications fiber infrastructure, and (ii) provide parallel conventional data channels needed for quantum networking protocols. We propose a quantum-conventional network (QCN) harness to implement a new architecture to meet these requirements. The QCN control plane carries the control and management traffic, whereas its data plane handles the conventional and quantum data communications. We established a local area QCN connecting three quantum laboratories over dedicated fiber and conventional network connections. We describe considerations and tradeoffs for layering QCN functionalities, informed by our recent quantum entanglement distribution experiments conducted over this network.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
SO{U}RCERER: Developer-Driven Security Testing Framework for Android Apps
Authors:
Muhammad Sajidur Rahman,
Blas Kojusner,
Ryon Kennedy,
Prerit Pathak,
Lin Qi,
Byron Williams
Abstract:
Frequently advised secure development recommendations often fall short in practice for app developers. Tool-driven (e.g., using static analysis tools) approaches lack context and domain-specific requirements of an app being tested. App developers struggle to find an actionable and prioritized list of vulnerabilities from a laundry list of security warnings reported by static analysis tools. Proces…
▽ More
Frequently advised secure development recommendations often fall short in practice for app developers. Tool-driven (e.g., using static analysis tools) approaches lack context and domain-specific requirements of an app being tested. App developers struggle to find an actionable and prioritized list of vulnerabilities from a laundry list of security warnings reported by static analysis tools. Process-driven (e.g., applying threat modeling methods) approaches require substantial resources (e.g., security testing team, budget) and security expertise, which small to medium-scale app dev teams could barely afford. To help app developers securing their apps, we propose SO{U}RCERER, a guiding framework for Android app developers for security testing. SO{U}RCERER guides developers to identify domain-specific assets of an app, detect and prioritize vulnerabilities, and mitigate those vulnerabilities based on secure development guidelines. We evaluated SO{U}RCERER with a case study on analyzing and testing 36 Android mobile money apps. We found that by following activities guided by SO{U}RCERER, an app developer could get a concise and actionable list of vulnerabilities (24-61% fewer security warnings produced by SO{U}RCERER than a standalone static analyzer), directly affecting a mobile money app's critical assets, and devise a mitigation plan. Our findings from this preliminary study indicate a viable approach to Android app security testing without being overwhelmingly complex for app developers.
△ Less
Submitted 2 November, 2021; v1 submitted 2 November, 2021;
originally announced November 2021.
-
Perspectives on the pure spinor superfield formalism
Authors:
Richard Eager,
Fabian Hahner,
Ingmar Saberi,
Brian R. Williams
Abstract:
In this note, we study, formalize, and generalize the pure spinor superfield formalism from a rather nontraditional perspective. To set the stage, we review the notion of a multiplet for a general super Lie algebra, working in the context of the BV and BRST formalisms. Building on this, we explain how the pure spinor superfield formalism can be viewed as constructing a supermultiplet out of the in…
▽ More
In this note, we study, formalize, and generalize the pure spinor superfield formalism from a rather nontraditional perspective. To set the stage, we review the notion of a multiplet for a general super Lie algebra, working in the context of the BV and BRST formalisms. Building on this, we explain how the pure spinor superfield formalism can be viewed as constructing a supermultiplet out of the input datum of an equivariant graded module over the ring of functions on the nilpotence variety. We use the homotopy transfer theorem and other computational techniques from homological algebra to relate these multiplets to more standard component-field formulations. Physical properties of the resulting multiplets can then be understood in terms of algebrogeometric properties of the nilpotence variety. We illustrate our discussion with many examples in various dimensions.
△ Less
Submitted 7 January, 2022; v1 submitted 1 November, 2021;
originally announced November 2021.
-
The TREX Survey: Kinematical Complexity Throughout M33's Stellar Disk and Evidence for a Stellar Halo
Authors:
Karoline M. Gilbert,
Amanda C. N. Quirk,
Puragra Guhathakurta,
Erik Tollerud,
Jennifer Wojno,
Julianne J. Dalcanton,
Meredith J. Durbin,
Anil Seth,
Benjamin F. Williams,
Justin T. Fung,
Pujita Tangirala,
Ibrahim Yusufali
Abstract:
We present initial results from a large spectroscopic survey of stars throughout M33's stellar disk. We analyze a sample of 1667 red giant branch (RGB) stars extending to projected distances of $\sim 11$ kpc from M33's center ($\sim 18$ kpc, or $\sim 10$ scale lengths, in the plane of the disk). The line-of-sight velocities of RGB stars show the presence of two kinematical components. One componen…
▽ More
We present initial results from a large spectroscopic survey of stars throughout M33's stellar disk. We analyze a sample of 1667 red giant branch (RGB) stars extending to projected distances of $\sim 11$ kpc from M33's center ($\sim 18$ kpc, or $\sim 10$ scale lengths, in the plane of the disk). The line-of-sight velocities of RGB stars show the presence of two kinematical components. One component is consistent with rotation in the plane of M33's HI disk and has a velocity dispersion ($\sim 19$ km s$^{-1}$) consistent with that observed in a comparison sample of younger stars, while the second component has a significantly higher velocity dispersion. A two-component fit to the RGB velocity distribution finds that the high dispersion component has a velocity dispersion of $59.3^{+2.6}_{-2.5}$ km s$^{-1}$ and rotates very slowly in the plane of the disk (consistent with no rotation at the $<1.5σ$ level), which favors interpreting it as a stellar halo rather than a thick disk population. A spatial analysis indicates that the fraction of RGB stars in the high-velocity-dispersion component decreases with increasing radius over the range covered by the spectroscopic sample. Our spectroscopic sample establishes that a significant high-velocity-dispersion component is present in M33's RGB population from near M33's center to at least the radius where M33's HI disk begins to warp at 30$'$ ($\sim 7.5$ kpc) in the plane of the disk. This is the first detection and spatial characterization of a kinematically hot stellar component throughout M33's inner regions.
△ Less
Submitted 29 October, 2021;
originally announced October 2021.
-
Twisted heterotic/type I duality
Authors:
Kevin Costello,
Brian R. Williams
Abstract:
We formulate a twisted version of the conjectured duality between heterotic and type I string theories. Our formulation relates the chiral part of the heterotic string with a type I topological B-model on a Calabi-Yau five-fold. We provide a non-trivial check of this duality by showing that certain infinite-dimensional Lie algebras of global gauge transformations built from each theory are isomorp…
▽ More
We formulate a twisted version of the conjectured duality between heterotic and type I string theories. Our formulation relates the chiral part of the heterotic string with a type I topological B-model on a Calabi-Yau five-fold. We provide a non-trivial check of this duality by showing that certain infinite-dimensional Lie algebras of global gauge transformations built from each theory are isomorphic. Matching the structure constants of the Lie algebras involves a detailed analysis of one-loop corrections on the type I side.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
High-entropy ejecta plumes in Cassiopeia A from neutrino-driven convection
Authors:
Toshiki Sato,
Keiichi Maeda,
Shigehiro Nagataki,
Takashi Yoshida,
Brian Grefenstette,
Brian J. Williams,
Hideyuki Umeda,
Masaomi Ono,
John P. Hughes
Abstract:
Recent multi-dimensional simulations suggest that high-entropy buoyant plumes help massive stars to explode. Outwardly protruding iron-rich fingers in the galactic supernova remnant Cassiopeia A are uniquely suggestive of this picture. Detecting signatures of specific elements synthesized in the high-entropy nuclear burning regime (i.e., $α$-rich freeze out) would be among the strongest substantia…
▽ More
Recent multi-dimensional simulations suggest that high-entropy buoyant plumes help massive stars to explode. Outwardly protruding iron-rich fingers in the galactic supernova remnant Cassiopeia A are uniquely suggestive of this picture. Detecting signatures of specific elements synthesized in the high-entropy nuclear burning regime (i.e., $α$-rich freeze out) would be among the strongest substantiating evidence. Here we report the discovery of such elements, stable Ti and Cr, at a confidence level greater than 5$σ$ in the shocked high-velocity iron-rich ejecta of Cassiopeia A. We found the observed Ti/Fe and Cr/Fe mass ratios require $α$-rich freeze out, providing the first observational demonstration for the existence of high-entropy ejecta plumes that boosted the shock wave at explosion. The metal composition of the plumes agrees well with predictions for strongly neutrino-processed proton-rich ejecta. These results support the operation of the convective supernova engine via neutrino heating in the supernova that produced Cassiopeia A.
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
-
Koszul duality in quantum field theory
Authors:
Natalie M. Paquette,
Brian R. Williams
Abstract:
In this article, we introduce basic aspects of the algebraic notion of Koszul duality for a physics audience. We then review its appearance in the physical problem of coupling QFTs to topological line defects, and illustrate the concept with some examples drawn from twists of various simple supersymmetric theories. Though much of the content of this article is well-known to experts, the presentati…
▽ More
In this article, we introduce basic aspects of the algebraic notion of Koszul duality for a physics audience. We then review its appearance in the physical problem of coupling QFTs to topological line defects, and illustrate the concept with some examples drawn from twists of various simple supersymmetric theories. Though much of the content of this article is well-known to experts, the presentation and examples have not, to our knowledge, appeared in the literature before. Our aim is to provide an elementary introduction for those interested in the appearance of Koszul duality in supersymmetric gauge theories with line defects and, ultimately, its generalizations to higher-dimensional defects and twisted holography.
△ Less
Submitted 21 February, 2023; v1 submitted 19 October, 2021;
originally announced October 2021.
-
Deep forecasting of translational impact in medical research
Authors:
Amy PK Nelson,
Robert J Gray,
James K Ruffle,
Henry C Watkins,
Daniel Herron,
Nick Sorros,
Danil Mikhailov,
M. Jorge Cardoso,
Sebastien Ourselin,
Nick McNally,
Bryan Williams,
Geraint E. Rees,
Parashkev Nachev
Abstract:
The value of biomedical research--a $1.7 trillion annual investment--is ultimately determined by its downstream, real-world impact. Current objective predictors of impact rest on proxy, reductive metrics of dissemination, such as paper citation rates, whose relation to real-world translation remains unquantified. Here we sought to determine the comparative predictability of future real-world trans…
▽ More
The value of biomedical research--a $1.7 trillion annual investment--is ultimately determined by its downstream, real-world impact. Current objective predictors of impact rest on proxy, reductive metrics of dissemination, such as paper citation rates, whose relation to real-world translation remains unquantified. Here we sought to determine the comparative predictability of future real-world translation--as indexed by inclusion in patents, guidelines or policy documents--from complex models of the abstract-level content of biomedical publications versus citations and publication meta-data alone. We develop a suite of representational and discriminative mathematical models of multi-scale publication data, quantifying predictive performance out-of-sample, ahead-of-time, across major biomedical domains, using the entire corpus of biomedical research captured by Microsoft Academic Graph from 1990 to 2019, encompassing 43.3 million papers across all domains. We show that citations are only moderately predictive of translational impact as judged by inclusion in patents, guidelines, or policy documents. By contrast, high-dimensional models of publication titles, abstracts and metadata exhibit high fidelity (AUROC > 0.9), generalise across time and thematic domain, and transfer to the task of recognising papers of Nobel Laureates. The translational impact of a paper indexed by inclusion in patents, guidelines, or policy documents can be predicted--out-of-sample and ahead-of-time--with substantially higher fidelity from complex models of its abstract-level content than from models of publication meta-data or citation metrics. We argue that content-based models of impact are superior in performance to conventional, citation-based measures, and sustain a stronger evidence-based claim to the objective measurement of translational potential.
△ Less
Submitted 17 October, 2021;
originally announced October 2021.
-
TIP: Task-Informed Motion Prediction for Intelligent Vehicles
Authors:
Xin Huang,
Guy Rosman,
Ashkan Jasour,
Stephen G. McGill,
John J. Leonard,
Brian C. Williams
Abstract:
When predicting trajectories of road agents, motion predictors usually approximate the future distribution by a limited number of samples. This constraint requires the predictors to generate samples that best support the task given task specifications. However, existing predictors are often optimized and evaluated via task-agnostic measures without accounting for the use of predictions in downstre…
▽ More
When predicting trajectories of road agents, motion predictors usually approximate the future distribution by a limited number of samples. This constraint requires the predictors to generate samples that best support the task given task specifications. However, existing predictors are often optimized and evaluated via task-agnostic measures without accounting for the use of predictions in downstream tasks, and thus could result in sub-optimal task performance.
In this paper, we propose a task-informed motion prediction model that better supports the tasks through its predictions, by jointly reasoning about prediction accuracy and the utility of the downstream tasks, which is commonly used to evaluate the task performance. The task utility function does not require the full task information, but rather a specification of the utility of the task, resulting in predictors that serve a wide range of downstream tasks. We demonstrate our approach on two use cases of common decision making tasks and their utility functions, in the context of autonomous driving and parallel autonomy. Experiment results show that our predictor produces accurate predictions that improve the task performance by a large margin in both tasks when compared to task-agnostic baselines on the Waymo Open Motion dataset.
△ Less
Submitted 26 May, 2022; v1 submitted 17 October, 2021;
originally announced October 2021.
-
Retrospective Evaluation of an Always-on Cherenkov Imaging System for Radiotherapy Quality Improvement
Authors:
Daniel A. Alexander,
Michael Jermyn,
Petr Bruza,
Rongxiao Zhang,
Erli Chen,
Savannah M. Decker,
Tatum L. McGlynn,
Rory A. Rosselot,
Jae Lee,
Melanie L. Rose,
Benjamin B. Williams,
Brian W. Pogue,
David J. Gladstone,
Lesley A. Jarvis
Abstract:
Purpose: Cherenkov imaging is now clinically available to track the course of radiation therapy as a treatment verification tool. The aim of this work was to discover the benefits of always-on Cherenkov images as a novel incident detection and quality improvement system through retrospective review of imaging in our center.
Methods: Continuous imaging of all patients was attempted during a 12-mo…
▽ More
Purpose: Cherenkov imaging is now clinically available to track the course of radiation therapy as a treatment verification tool. The aim of this work was to discover the benefits of always-on Cherenkov images as a novel incident detection and quality improvement system through retrospective review of imaging in our center.
Methods: Continuous imaging of all patients was attempted during a 12-month period by automating the acquisition of Cherenkov imaging using an always-on commercial system. Multi-camera systems were installed in two treatment bunkers in the radiation oncology clinic at our center and one bunker in an affiliated satellite clinic. Images were acquired as part of normal treatment procedure and reviewed retrospectively with potential incidents flagged for evaluation by the physician and medical physics teams.
Results: In total, 622 patients were imaged as part of this study. In this summary, 9 patients were identified with incidents occurring during their course of treatment that were detected only with Cherenkov imaging. Incidents were found relating to issues during simulation, planning, pre-treatment review, and treatment delivery, however none of the incidents were detected prior to treatment delivery. Primary areas of improvement identified in this study are dose to unintended areas in planning, dose to unintended areas due to positioning, and non-ideal bolus placement during setup. Case studies are presented highlighting the detection of these issues using Cherenkov imaging.
Conclusions: All detected events were deemed below the threshold for reporting, but their observation could lead to quality improvement in practice. Perhaps most importantly, the imaging was seamless with no effort required by the radiotherapy team and provided both real-time and permanent records of what was delivered in each fraction.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
Siegel modular forms of degree two and level five
Authors:
Haowu Wang,
Brandon Williams
Abstract:
We construct a ring of meromorphic Siegel modular forms of degree 2 and level 5, with singularities supported on an arrangement of Humbert surfaces, which is generated by four singular theta lifts of weights 1, 1, 2, 2 and their Jacobian. We use this to prove that the ring of holomorphic Siegel modular forms of degree 2 and level $Γ_0(5)$ is minimally generated by eighteen modular forms of weights…
▽ More
We construct a ring of meromorphic Siegel modular forms of degree 2 and level 5, with singularities supported on an arrangement of Humbert surfaces, which is generated by four singular theta lifts of weights 1, 1, 2, 2 and their Jacobian. We use this to prove that the ring of holomorphic Siegel modular forms of degree 2 and level $Γ_0(5)$ is minimally generated by eighteen modular forms of weights 2, 4, 4, 4, 4, 4, 6, 6, 6, 6, 10, 11, 11, 11, 13, 13, 13, 15.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
HYPER: Learned Hybrid Trajectory Prediction via Factored Inference and Adaptive Sampling
Authors:
Xin Huang,
Guy Rosman,
Igor Gilitschenski,
Ashkan Jasour,
Stephen G. McGill,
John J. Leonard,
Brian C. Williams
Abstract:
Modeling multi-modal high-level intent is important for ensuring diversity in trajectory prediction. Existing approaches explore the discrete nature of human intent before predicting continuous trajectories, to improve accuracy and support explainability. However, these approaches often assume the intent to remain fixed over the prediction horizon, which is problematic in practice, especially over…
▽ More
Modeling multi-modal high-level intent is important for ensuring diversity in trajectory prediction. Existing approaches explore the discrete nature of human intent before predicting continuous trajectories, to improve accuracy and support explainability. However, these approaches often assume the intent to remain fixed over the prediction horizon, which is problematic in practice, especially over longer horizons. To overcome this limitation, we introduce HYPER, a general and expressive hybrid prediction framework that models evolving human intent. By modeling traffic agents as a hybrid discrete-continuous system, our approach is capable of predicting discrete intent changes over time. We learn the probabilistic hybrid model via a maximum likelihood estimation problem and leverage neural proposal distributions to sample adaptively from the exponentially growing discrete space. The overall approach affords a better trade-off between accuracy and coverage. We train and validate our model on the Argoverse dataset, and demonstrate its effectiveness through comprehensive ablation studies and comparisons with state-of-the-art models.
△ Less
Submitted 5 October, 2021;
originally announced October 2021.
-
Real-Time Risk-Bounded Tube-Based Trajectory Safety Verification
Authors:
Ashkan Jasour,
Weiqiao Han,
Brian Williams
Abstract:
In this paper, we address the real-time risk-bounded safety verification problem of continuous-time state trajectories of autonomous systems in the presence of uncertain time-varying nonlinear safety constraints. Risk is defined as the probability of not satisfying the uncertain safety constraints. Existing approaches to address the safety verification problems under uncertainties either are limit…
▽ More
In this paper, we address the real-time risk-bounded safety verification problem of continuous-time state trajectories of autonomous systems in the presence of uncertain time-varying nonlinear safety constraints. Risk is defined as the probability of not satisfying the uncertain safety constraints. Existing approaches to address the safety verification problems under uncertainties either are limited to particular classes of uncertainties and safety constraints, e.g., Gaussian uncertainties and linear constraints, or rely on sampling based methods. In this paper, we provide a fast convex algorithm to efficiently evaluate the probabilistic nonlinear safety constraints in the presence of arbitrary probability distributions and long planning horizons in real-time, without the need for uncertainty samples and time discretization. The provided approach verifies the safety of the given state trajectory and its neighborhood (tube) to account for the execution uncertainties and risk. In the provided approach, we first use the moments of the probability distributions of the uncertainties to transform the probabilistic safety constraints into a set of deterministic safety constraints. We then use convex methods based on sum-of-squares polynomials to verify the obtained deterministic safety constraints over the entire planning time horizon without time discretization. To illustrate the performance of the proposed method, we apply the provided method to the safety verification problem of self-driving vehicles and autonomous aerial vehicles.
△ Less
Submitted 1 October, 2021;
originally announced October 2021.
-
Immunity-induced criticality of the genotype network of influenza A (H3N2) hemagglutinin
Authors:
Blake J. M. Williams,
C. Brandon Ogbunugafor,
Benjamin M. Althouse,
Laurent Hébert-Dufresne
Abstract:
Seasonal influenza kills hundreds of thousands every year, with multiple constantly-changing strains in circulation at any given time. A high mutation rate enables the influenza virus to evade recognition by the human immune system, including immunity acquired through past infection and vaccination. Here, we capture the genetic similarity of influenza strains and their evolutionary dynamics with g…
▽ More
Seasonal influenza kills hundreds of thousands every year, with multiple constantly-changing strains in circulation at any given time. A high mutation rate enables the influenza virus to evade recognition by the human immune system, including immunity acquired through past infection and vaccination. Here, we capture the genetic similarity of influenza strains and their evolutionary dynamics with genotype networks. We show that the genotype networks of influenza A (H3N2) hemagglutinin are characterized by heavy-tailed distributions of module sizes and connectivity, suggesting critical-like behavior. We argue that: (i) genotype networks are driven by mutation and host immunity to explore a subspace of networks predictable in structure, and (ii) genotype networks provide an underlying structure necessary to capture the rich dynamics of multistrain epidemic models. In particular, inclusion of strain-transcending immunity in epidemic models is dependent upon the structure of an underlying genotype network. This interplay suggests a self-organized criticality where the epidemic dynamics of influenza locates critical-like regions of its genotype network. We conclude that this interplay between disease dynamics and network structure might be key for future network analysis of pathogen evolution and realistic multistrain epidemic models.
△ Less
Submitted 25 September, 2021;
originally announced September 2021.
-
Recent Advances of Continual Learning in Computer Vision: An Overview
Authors:
Haoxuan Qu,
Hossein Rahmani,
Li Xu,
Bryan Williams,
Jun Liu
Abstract:
In contrast to batch learning where all training data is available at once, continual learning represents a family of methods that accumulate knowledge and learn continuously with data available in sequential order. Similar to the human learning process with the ability of learning, fusing, and accumulating new knowledge coming at different time steps, continual learning is considered to have high…
▽ More
In contrast to batch learning where all training data is available at once, continual learning represents a family of methods that accumulate knowledge and learn continuously with data available in sequential order. Similar to the human learning process with the ability of learning, fusing, and accumulating new knowledge coming at different time steps, continual learning is considered to have high practical significance. Hence, continual learning has been studied in various artificial intelligence tasks. In this paper, we present a comprehensive review of the recent progress of continual learning in computer vision. In particular, the works are grouped by their representative techniques, including regularization, knowledge distillation, memory, generative replay, parameter isolation, and a combination of the above techniques. For each category of these techniques, both its characteristics and applications in computer vision are presented. At the end of this overview, several subareas, where continuous knowledge accumulation is potentially helpful while continual learning has not been well studied, are discussed.
△ Less
Submitted 30 November, 2023; v1 submitted 23 September, 2021;
originally announced September 2021.
-
Fast nonlinear risk assessment for autonomous vehicles using learned conditional probabilistic models of agent futures
Authors:
Ashkan Jasour,
Xin Huang,
Allen Wang,
Brian C. Williams
Abstract:
This paper presents fast non-sampling based methods to assess the risk for trajectories of autonomous vehicles when probabilistic predictions of other agents' futures are generated by deep neural networks (DNNs). The presented methods address a wide range of representations for uncertain predictions including both Gaussian and non-Gaussian mixture models to predict both agent positions and control…
▽ More
This paper presents fast non-sampling based methods to assess the risk for trajectories of autonomous vehicles when probabilistic predictions of other agents' futures are generated by deep neural networks (DNNs). The presented methods address a wide range of representations for uncertain predictions including both Gaussian and non-Gaussian mixture models to predict both agent positions and control inputs conditioned on the scene contexts. We show that the problem of risk assessment when Gaussian mixture models (GMMs) of agent positions are learned can be solved rapidly to arbitrary levels of accuracy with existing numerical methods. To address the problem of risk assessment for non-Gaussian mixture models of agent position, we propose finding upper bounds on risk using nonlinear Chebyshev's Inequality and sums-of-squares (SOS) programming; they are both of interest as the former is much faster while the latter can be arbitrarily tight. These approaches only require higher order statistical moments of agent positions to determine upper bounds on risk. To perform risk assessment when models are learned for agent control inputs as opposed to positions, we propagate the moments of uncertain control inputs through the nonlinear motion dynamics to obtain the exact moments of uncertain position over the planning horizon. To this end, we construct deterministic linear dynamical systems that govern the exact time evolution of the moments of uncertain position in the presence of uncertain control inputs. The presented methods are demonstrated on realistic predictions from DNNs trained on the Argoverse and CARLA datasets and are shown to be effective for rapidly assessing the probability of low probability events.
△ Less
Submitted 22 September, 2021; v1 submitted 21 September, 2021;
originally announced September 2021.
-
Higher Deformation Quantization for Kapustin-Witten Theories
Authors:
Chris Elliott,
Owen Gwilliam,
Brian R Williams
Abstract:
We pursue a uniform quantization of all twists of 4-dimensional N = 4 supersymmetric Yang-Mills theory, using the BV formalism, and we explore consequences for factorization algebras of observables. Our central result is the construction of a one-loop exact quantization on $\mathbb R^4$ for all such twists and for every point in a moduli of vacua. When an action of the group SO(4) can be defined -…
▽ More
We pursue a uniform quantization of all twists of 4-dimensional N = 4 supersymmetric Yang-Mills theory, using the BV formalism, and we explore consequences for factorization algebras of observables. Our central result is the construction of a one-loop exact quantization on $\mathbb R^4$ for all such twists and for every point in a moduli of vacua. When an action of the group SO(4) can be defined - for instance, for Kapustin and Witten's family of twists - the associated framing anomaly vanishes. It follows that the local observables in such theories can be canonically described by a family of framed $\mathbb E_4$ algebras; this structure allows one to take the factorization homology of observables on any oriented 4-manifold. In this way, each Kapustin-Witten theory yields a fully extended, oriented 4-dimensional topological field theory à la Lurie and Scheimbauer.
△ Less
Submitted 30 August, 2021;
originally announced August 2021.
-
GeoCLR: Georeference Contrastive Learning for Efficient Seafloor Image Interpretation
Authors:
Takaki Yamada,
Adam Prügel-Bennett,
Stefan B. Williams,
Oscar Pizarro,
Blair Thornton
Abstract:
This paper describes Georeference Contrastive Learning of visual Representation (GeoCLR) for efficient training of deep-learning Convolutional Neural Networks (CNNs). The method leverages georeference information by generating a similar image pair using images taken of nearby locations, and contrasting these with an image pair that is far apart. The underlying assumption is that images gathered wi…
▽ More
This paper describes Georeference Contrastive Learning of visual Representation (GeoCLR) for efficient training of deep-learning Convolutional Neural Networks (CNNs). The method leverages georeference information by generating a similar image pair using images taken of nearby locations, and contrasting these with an image pair that is far apart. The underlying assumption is that images gathered within a close distance are more likely to have similar visual appearance, where this can be reasonably satisfied in seafloor robotic imaging applications where image footprints are limited to edge lengths of a few metres and are taken so that they overlap along a vehicle's trajectory, whereas seafloor substrates and habitats have patch sizes that are far larger. A key advantage of this method is that it is self-supervised and does not require any human input for CNN training. The method is computationally efficient, where results can be generated between dives during multi-day AUV missions using computational resources that would be accessible during most oceanic field trials. We apply GeoCLR to habitat classification on a dataset that consists of ~86k images gathered using an Autonomous Underwater Vehicle (AUV). We demonstrate how the latent representations generated by GeoCLR can be used to efficiently guide human annotation efforts, where the semi-supervised framework improves classification accuracy by an average of 10.2% compared to the state-of-the-art SimCLR using the same CNN and equivalent number of human annotations for training.
△ Less
Submitted 26 June, 2022; v1 submitted 13 August, 2021;
originally announced August 2021.
-
Effects of a nuclear disturbed environment on a quantum free space optical link
Authors:
David A. Hooper,
Brandon A. Wilson,
Alexander Miloshevsky,
Brian P. Williams,
Nicholas A. Peters
Abstract:
This manuscript investigates the potential effect of a nuclear-disturbed atmospheric environment on the signal attenuation of a ground/satellite transmitter/receiver system for both classical optical and quantum communications applications. Attenuation of a signal transmitted through the rising nuclear cloud and the subsequently transported debris is modeled climatologically for surface-level deto…
▽ More
This manuscript investigates the potential effect of a nuclear-disturbed atmospheric environment on the signal attenuation of a ground/satellite transmitter/receiver system for both classical optical and quantum communications applications. Attenuation of a signal transmitted through the rising nuclear cloud and the subsequently transported debris is modeled climatologically for surface-level detonations of 10 kt, 100 kt, and 1 Mt. Attenuation statistics were collected as a function of time after detonation. These loss terms were compared to normal loss sources such as clouds, smoke from fires, and clear sky operation. Finally, the loss was related to the degradation of transmitted entanglement derived from Bayesian mean estimation.
△ Less
Submitted 10 August, 2021;
originally announced August 2021.