-
Physical properties of asteroid Dimorphos as derived from the DART impact
Authors:
S. D. Raducan,
M. Jutzi,
A. F. Cheng,
Y. Zhang,
O. Barnouin,
G. S. Collins,
R. T. Daly,
T. M. Davison,
C. M. Ernst,
T. L. Farnham,
F. Ferrari,
M. Hirabayashi,
K. M. Kumamoto,
P. Michel,
N. Murdoch,
R. Nakano,
M. Pajola,
A. Rossi,
H. F. Agrusa,
B. W. Barbee,
M. Bruck Syal,
N. L. Chabot,
E. Dotto,
E. G. Fahnestock,
P. H. Hasselmann
, et al. (17 additional authors not shown)
Abstract:
On September 26, 2022, NASA's Double Asteroid Redirection Test (DART) mission successfully impacted Dimorphos, the natural satellite of the binary near-Earth asteroid (65803) Didymos. Numerical simulations of the impact provide a means to explore target surface material properties and structures, consistent with the observed momentum deflection efficiency, ejecta cone geometry, and ejected mass. O…
▽ More
On September 26, 2022, NASA's Double Asteroid Redirection Test (DART) mission successfully impacted Dimorphos, the natural satellite of the binary near-Earth asteroid (65803) Didymos. Numerical simulations of the impact provide a means to explore target surface material properties and structures, consistent with the observed momentum deflection efficiency, ejecta cone geometry, and ejected mass. Our simulation, which best matches observations, indicates that Dimorphos is weak, with a cohesive strength of less than a few pascals (Pa), similar to asteroids (162173) Ryugu and (101955) Bennu. We find that a bulk density of Dimorphos, rhoB, lower than 2400 kg/m3, and a low volume fraction of boulders (<40 vol%) on the surface and in the shallow subsurface, are consistent with measured data from the DART experiment. These findings suggest Dimorphos is a rubble pile that might have formed through rotational mass shedding and re-accumulation from Didymos. Our simulations indicate that the DART impact caused global deformation and resurfacing of Dimorphos. ESA's upcoming Hera mission may find a re-shaped asteroid, rather than a well-defined crater.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Reward Function Optimization of a Deep Reinforcement Learning Collision Avoidance System
Authors:
Cooper Cone,
Michael Owen,
Luis Alvarez,
Marc Brittain
Abstract:
The proliferation of unmanned aircraft systems (UAS) has caused airspace regulation authorities to examine the interoperability of these aircraft with collision avoidance systems initially designed for large transport category aircraft. Limitations in the currently mandated TCAS led the Federal Aviation Administration to commission the development of a new solution, the Airborne Collision Avoidanc…
▽ More
The proliferation of unmanned aircraft systems (UAS) has caused airspace regulation authorities to examine the interoperability of these aircraft with collision avoidance systems initially designed for large transport category aircraft. Limitations in the currently mandated TCAS led the Federal Aviation Administration to commission the development of a new solution, the Airborne Collision Avoidance System X (ACAS X), designed to enable a collision avoidance capability for multiple aircraft platforms, including UAS. While prior research explored using deep reinforcement learning algorithms (DRL) for collision avoidance, DRL did not perform as well as existing solutions. This work explores the benefits of using a DRL collision avoidance system whose parameters are tuned using a surrogate optimizer. We show the use of a surrogate optimizer leads to DRL approach that can increase safety and operational viability and support future capability development for UAS collision avoidance.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
Predicting asteroid material properties from a DART-like kinetic impact
Authors:
Kathryn M. Kumamoto,
J. Michael Owen,
Megan Bruck Syal,
Jason Pearl,
Cody Raskin,
Wendy K. Caldwell,
Emma Rainey,
Angela Stickle,
R. Terik Daly,
Olivier Barnouin
Abstract:
NASA's Double Asteroid Redirection Test (DART) mission is the first full-scale test of the kinetic impactor method for asteroid deflection, in which a spacecraft intentionally impacts an asteroid to change its trajectory. DART represents an important first step for planetary defense technology demonstration, providing a realistic assessment of the effectiveness of the kinetic impact approach on a…
▽ More
NASA's Double Asteroid Redirection Test (DART) mission is the first full-scale test of the kinetic impactor method for asteroid deflection, in which a spacecraft intentionally impacts an asteroid to change its trajectory. DART represents an important first step for planetary defense technology demonstration, providing a realistic assessment of the effectiveness of the kinetic impact approach on a near-Earth asteroid. The momentum imparted to the asteroid is transferred from the impacting spacecraft and enhanced by the momentum of material ejected from the impact site. However, the magnitude of the ejecta contribution is dependent on the material properties of the target. These properties, such as strength and shear modulus, are unknown for the DART target asteroid, Dimorphos, as well as most asteroids since such properties are difficult to characterize remotely.
This study examines how hydrocode simulations can be used to estimate material properties from information available post-impact, specifically the asteroid size and shape, the velocity and properties of the impacting spacecraft, and the final velocity change imparted to the asteroid. Across >300 three-dimensional simulations varying seven material parameters describing the asteroid, we found many combinations of properties could reproduce a particular asteroid velocity. Additional observations, such as asteroid mass or crater size, are required to further constrain properties like asteroid strength or outcomes like the momentum enhancement provided by impact ejecta. Our results demonstrate the vital importance of having as much knowledge as possible prior to an impact mission, with key material parameters being the asteroid's mass, porosity, strength, and elastic properties.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
Effects of impact and target parameters on the results of a kinetic impactor: predictions for the Double Asteroid Redirection Test (DART) mission
Authors:
Angela M. Stickle,
Mallory E. DeCoster,
Christoph Burger,
Wendy K. Caldwell,
Dawn Graninger,
Kathryn M. Kumamoto,
Robert Luther,
Jens Ormö,
Sabina Raducan,
Emma Rainey,
Christoph M. Schäfer,
James D. Walker,
Yun Zhang,
Patrick Michel,
J. Michael Owen,
Olivier Barnouin,
Andy F. Cheng,
Sidney Cochron,
Gareth S. Collins,
Thomas M. Davison,
Elisabetta Dotto,
Fabio Ferrari,
M. Isabel Herreros,
Stavro L. Ivanovski,
Martin Jutzi
, et al. (8 additional authors not shown)
Abstract:
The Double Asteroid Redirection Test (DART) spacecraft will impact into the asteroid Dimorphos on September 26, 2022 as a test of the kinetic impactor technique for planetary defense. The efficiency of the deflection following a kinetic impactor can be represented using the momentum enhancement factor, Beta, which is dependent on factors such as impact geometry and the specific target material pro…
▽ More
The Double Asteroid Redirection Test (DART) spacecraft will impact into the asteroid Dimorphos on September 26, 2022 as a test of the kinetic impactor technique for planetary defense. The efficiency of the deflection following a kinetic impactor can be represented using the momentum enhancement factor, Beta, which is dependent on factors such as impact geometry and the specific target material properties. Currently, very little is known about Dimorphos and its material properties that introduces uncertainty in the results of the deflection efficiency observables, including crater formation, ejecta distribution, and Beta. The DART Impact Modeling Working Group (IWG) is responsible for using impact simulations to better understand the results of the DART impact. Pre-impact simulation studies also provide considerable insight into how different properties and impact scenarios affect momentum enhancement following a kinetic impact. This insight provides a basis for predicting the effects of the DART impact and the first understanding of how to interpret results following the encounter. Following the DART impact, the knowledge gained from these studies will inform the initial simulations that will recreate the impact conditions, including providing estimates for potential material properties of Dimorphos and Beta resulting from DARTs impact. This paper summarizes, at a high level, what has been learned from the IWG simulations and experiments in preparation for the DART impact. While unknown, estimates for reasonable potential material properties of Dimorphos provide predictions for Beta of 1-5, depending on end-member cases in the strength regime.
△ Less
Submitted 14 September, 2022;
originally announced September 2022.
-
Collision Risk and Operational Impact of Speed Change Advisories as Aircraft Collision Avoidance Maneuvers
Authors:
Sydney M. Katz,
Luis E. Alvarez,
Michael Owen,
Samuel Wu,
Marc Brittain,
Anshuman Das,
Mykel J. Kochenderfer
Abstract:
Aircraft collision avoidance systems have long been a key factor in kee** our airspace safe. Over the past decade, the FAA has supported the development of a new family of collision avoidance systems called the Airborne Collision Avoidance System X (ACAS X), which model the collision avoidance problem as a Markov decision process (MDP). Variants of ACAS X have been created for both manned (ACAS…
▽ More
Aircraft collision avoidance systems have long been a key factor in kee** our airspace safe. Over the past decade, the FAA has supported the development of a new family of collision avoidance systems called the Airborne Collision Avoidance System X (ACAS X), which model the collision avoidance problem as a Markov decision process (MDP). Variants of ACAS X have been created for both manned (ACAS Xa) and unmanned aircraft (ACAS Xu and ACAS sXu). The variants primarily differ in the types of collision avoidance maneuvers they issue. For example, ACAS Xa issues vertical collision avoidance advisories, while ACAS Xu and ACAS sXu allow for horizontal advisories due to reduced aircraft performance capabilities. Currently, a new variant of ACAS X, called ACAS Xr, is being developed to provide collision avoidance capability to rotorcraft and Advanced Air Mobility (AAM) vehicles. Due to the desire to minimize deviation from the prescribed flight path of these aircraft, speed adjustments have been proposed as a potential collision avoidance maneuver for aircraft using ACAS Xr. In this work, we investigate the effect of speed change advisories on the safety and operational efficiency of collision avoidance systems. We develop an MDP-based collision avoidance logic that issues speed advisories and compare its performance to that of horizontal and vertical logics through Monte Carlo simulation on existing airspace encounter models. Our results show that while speed advisories are able to reduce collision risk, they are neither as safe nor as efficient as their horizontal and vertical counterparts.
△ Less
Submitted 29 April, 2022;
originally announced April 2022.
-
Influence of the projectile geometry on the momentum transfer from a kinetic impactor and implications for the DART mission
Authors:
S. D. Raducan,
M. Jutzi,
T. M. Davison,
M. E. DeCoster,
D. M. Graninger,
J. M. Owen,
A. M. Stickle,
G. S. Collins
Abstract:
The DART spacecraft will impact Didymos's secondary, Dimorphos, at the end of 2022 and cause a change in the orbital period of the secondary. For simplicity, most previous numerical simulations of the impact used a spherical projectile geometry to model the DART spacecraft. To investigate the effects of alternative, simple projectile geometries on the DART impact outcome we used the iSALE shock ph…
▽ More
The DART spacecraft will impact Didymos's secondary, Dimorphos, at the end of 2022 and cause a change in the orbital period of the secondary. For simplicity, most previous numerical simulations of the impact used a spherical projectile geometry to model the DART spacecraft. To investigate the effects of alternative, simple projectile geometries on the DART impact outcome we used the iSALE shock physics code in two and thee-dimensions to model vertical impacts of projectiles with a mass and speed equivalent to the nominal DART impact, into porous basalt targets. We found that the simple projectile geometries investigated here have minimal effects on the crater morphology and momentum enhancement. Projectile geometries modelled in two-dimensions that have similar surface areas at the point of impact, affect the crater radius and the crater volume by less than 5%. In the case of a more extreme projectile geometry (i.e., a rod, modelled in three-dimensions), the crater was elliptical and 50% shallower compared to the crater produced by a spherical projectile of the same momentum. The momentum enhancement factor in these test cases, commonly referred to as beta, was within 7% for the 2D simulations and within 10% for the 3D simulations, of the value obtained for a uniform spherical projectile. The most prominent effects of projectile geometry are seen in the ejection velocity as a function of launch position and ejection angle of the fast ejecta that resides in the so-called `coupling zone'. These results will inform the LICIACube ejecta cone analysis.
△ Less
Submitted 5 January, 2022;
originally announced January 2022.
-
The space of equidistant phylogenetic cactuses
Authors:
Katharina T. Huber,
Vincent Moulton,
Megan Owen,
Andreas Spillner,
Katherine St. John
Abstract:
We introduce and investigate the space of \emph{equidistant} $X$-\emph{cactuses}. These are rooted, arc weighted, phylogenetic networks with leaf set $X$, where $X$ is a finite set of species, and all leaves have the same distance from the root. The space contains as a subset the space of ultrametric trees on $X$ that was introduced by Gavryushkin and Drummond. We show that equidistant-cactus spac…
▽ More
We introduce and investigate the space of \emph{equidistant} $X$-\emph{cactuses}. These are rooted, arc weighted, phylogenetic networks with leaf set $X$, where $X$ is a finite set of species, and all leaves have the same distance from the root. The space contains as a subset the space of ultrametric trees on $X$ that was introduced by Gavryushkin and Drummond. We show that equidistant-cactus space is a CAT(0)-metric space which implies, for example, that there are unique geodesic paths between points. As a key step to proving this, we present a combinatorial result concerning \emph{ranked} rooted $X$-cactuses. In particular, we show that such networks can be encoded in terms of a pairwise compatibility condition arising from a poset of collections of pairs of subsets of $X$ that satisfy certain set-theoretic properties. As a corollary, we also obtain an encoding of ranked, rooted $X$-trees in terms of partitions of $X$, which provides an alternative proof that the space of ultrametric trees on $X$ is CAT(0). As with spaces of phylogenetic trees, we expect that our results should provide the basis for and new directions in performing statistical analyses for collections of phylogenetic networks with arc lengths.
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
-
A cold electron-impact ion source driven by a photo-cathode -- New opportunities for the delivery of radioactive molecular beams?
Authors:
J. Ballof,
M. Au,
E. Barbero,
K. Chrysalidis,
Ch. E. Düllmann,
V. Fedosseev,
E. Granados,
R. Heinke,
B. Marsh,
M. Owen,
S. Rothe,
T. Stora,
A. Yakushev
Abstract:
The thick-target ISOL (Isotope mass Separation OnLine) method provides beams of more than 1000 radionuclides of 74 elements. The method is well established for elements with sufficiently high volatility at ca. 2000 °C. To extract non-volatile elements the formation of a volatile molecule is required. While successful in some cases (e.g. carbon or boron), most of these elements are not yet availabl…
▽ More
The thick-target ISOL (Isotope mass Separation OnLine) method provides beams of more than 1000 radionuclides of 74 elements. The method is well established for elements with sufficiently high volatility at ca. 2000 °C. To extract non-volatile elements the formation of a volatile molecule is required. While successful in some cases (e.g. carbon or boron), most of these elements are not yet available as ISOL beam. A variety of volatile carrier molecules has been proposed for all elements produced in the target material, but their probability of survival during the extraction and ionization process is often limited by the high temperatures required for isotope diffusion in the thick targets and for ion source operation. While cold target concepts have already been proposed, the normal mode of operation of the typically used Versatile Arc Discharge Ion Source (VADIS) with a hot cathode is not well suited. Here, we report about first measurements with an electron-impact ion source operated at ambient temperature using electrons that were liberated via the photo-electric effect from a copper cathode.
△ Less
Submitted 4 April, 2022; v1 submitted 1 October, 2021;
originally announced October 2021.
-
CRKSPH-compatible discretization of the SUPG and SAAF transport equations
Authors:
Brody R. Bassett,
J. Michael Owen
Abstract:
The self-adjoint angular flux and streamline-upwind Petrov-Galerkin transport equations are discretized using reproducing kernels with the collocation method to produce a discretization that is compatible with conservative reproducing kernel smoothed particle hydrodynamics. A novel second derivative is derived for the diffusion-like term in the self-adjoint angular flux equation. The resulting equ…
▽ More
The self-adjoint angular flux and streamline-upwind Petrov-Galerkin transport equations are discretized using reproducing kernels with the collocation method to produce a discretization that is compatible with conservative reproducing kernel smoothed particle hydrodynamics. A novel second derivative is derived for the diffusion-like term in the self-adjoint angular flux equation. The resulting equations involve only evaluations of kernels and physical data at the nodal centers.
△ Less
Submitted 15 April, 2021;
originally announced April 2021.
-
Maximum Covering Subtrees for Phylogenetic Networks
Authors:
Nathan Davidov,
Amanda Hernandez,
Justin Jian,
Patrick McKenna,
K. A. Medlin,
Roadra Mojumder,
Megan Owen,
Andrew Quijano,
Amanda Rodriguez,
Katherine St. John,
Katherine Thai,
Meliza Uraga
Abstract:
Tree-based phylogenetic networks, which may be roughly defined as leaf-labeled networks built by adding arcs only between the original tree edges, have elegant properties for modeling evolutionary histories. We answer an open question of Francis, Semple, and Steel about the complexity of determining how far a phylogenetic network is from being tree-based, including non-binary phylogenetic networks…
▽ More
Tree-based phylogenetic networks, which may be roughly defined as leaf-labeled networks built by adding arcs only between the original tree edges, have elegant properties for modeling evolutionary histories. We answer an open question of Francis, Semple, and Steel about the complexity of determining how far a phylogenetic network is from being tree-based, including non-binary phylogenetic networks. We show that finding a phylogenetic tree covering the maximum number of nodes in a phylogenetic network can be be computed in polynomial time via an encoding into a minimum-cost maximum flow problem.
△ Less
Submitted 24 November, 2020; v1 submitted 25 September, 2020;
originally announced September 2020.
-
Meshless discretization of the discrete-ordinates transport equation with integration based on Voronoi cells
Authors:
Brody R. Bassett,
J. Michael Owen
Abstract:
The time-dependent radiation transport equation is discretized using the meshless-local Petrov-Galerkin method with reproducing kernels. The integration is performed using a Voronoi tessellation, which creates a partition of unity that only depends on the position and extent of the kernels. The resolution of the integration automatically follows the particles and requires no manual adjustment. The…
▽ More
The time-dependent radiation transport equation is discretized using the meshless-local Petrov-Galerkin method with reproducing kernels. The integration is performed using a Voronoi tessellation, which creates a partition of unity that only depends on the position and extent of the kernels. The resolution of the integration automatically follows the particles and requires no manual adjustment. The discretization includes streamline-upwind Petrov-Galerkin stabilization to prevent oscillations and improve numerical conditioning. The angular quadrature is selectively refineable to increase angular resolution in chosen directions. The time discretization is done using backward Euler. The transport solve for each direction and the solve for the scattering source are both done using Krylov iterative methods. Results indicate first-order convergence in time and second-order convergence in space for linear reproducing kernels.
△ Less
Submitted 5 August, 2020;
originally announced August 2020.
-
Mikhail Aleksandrovich Shubin. December 19, 1944 -- May 13, 2020
Authors:
Maxim Braverman,
Arnold Dikansky,
Leonid Friedlander,
Misha Gromov,
Victor Ivrii,
Yuri Kordyukov,
Peter Kuchment,
Vladimir Maz'ya,
Robert Mc Owen,
Toshikazu Sunada,
Alexander Zvonkin
Abstract:
The article is dedicated to thye memory of a distinguished mathematician Professor Misha Shubin
The article is dedicated to thye memory of a distinguished mathematician Professor Misha Shubin
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
On the maximum agreement subtree conjecture for balanced trees
Authors:
Magnus Bordewich,
Simone Linz,
Megan Owen,
Katherine St. John,
Charles Semple,
Kristina Wicke
Abstract:
We give a counterexample to the conjecture of Martin and Thatte that two balanced rooted binary leaf-labelled trees on $n$ leaves have a maximum agreement subtree (MAST) of size at least $n^{\frac{1}{2}}$. In particular, we show that for any $c>0$, there exist two balanced rooted binary leaf-labelled trees on $n$ leaves such that any MAST for these two trees has size less than $c n^{\frac{1}{2}}$.…
▽ More
We give a counterexample to the conjecture of Martin and Thatte that two balanced rooted binary leaf-labelled trees on $n$ leaves have a maximum agreement subtree (MAST) of size at least $n^{\frac{1}{2}}$. In particular, we show that for any $c>0$, there exist two balanced rooted binary leaf-labelled trees on $n$ leaves such that any MAST for these two trees has size less than $c n^{\frac{1}{2}}$. We also improve the lower bound of the size of such a MAST to $n^{\frac{1}{6}}$.
△ Less
Submitted 15 May, 2020;
originally announced May 2020.
-
Initial results from the New Horizons exploration of 2014 MU69, a small Kuiper Belt Object
Authors:
S. A. Stern,
H. A. Weaver,
J. R. Spencer,
C. B. Olkin,
G. R. Gladstone,
W. M. Grundy,
J. M. Moore,
D. P. Cruikshank,
H. A. Elliott,
W. B. McKinnon,
J. Wm. Parker,
A. J. Verbiscer,
L. A. Young,
D. A. Aguilar,
J. M. Albers,
T. Andert,
J. P. Andrews,
F. Bagenal,
M. E. Banks,
B. A. Bauer,
J. A. Bauman,
K. E. Bechtold,
C. B. Beddingfield,
N. Behrooz,
K. B. Beisser
, et al. (180 additional authors not shown)
Abstract:
The Kuiper Belt is a distant region of the Solar System. On 1 January 2019, the New Horizons spacecraft flew close to (486958) 2014 MU69, a Cold Classical Kuiper Belt Object, a class of objects that have never been heated by the Sun and are therefore well preserved since their formation. Here we describe initial results from these encounter observations. MU69 is a bi-lobed contact binary with a fl…
▽ More
The Kuiper Belt is a distant region of the Solar System. On 1 January 2019, the New Horizons spacecraft flew close to (486958) 2014 MU69, a Cold Classical Kuiper Belt Object, a class of objects that have never been heated by the Sun and are therefore well preserved since their formation. Here we describe initial results from these encounter observations. MU69 is a bi-lobed contact binary with a flattened shape, discrete geological units, and noticeable albedo heterogeneity. However, there is little surface color and compositional heterogeneity. No evidence for satellites, ring or dust structures, gas coma, or solar wind interactions was detected. By origin MU69 appears consistent with pebble cloud collapse followed by a low velocity merger of its two lobes.
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
Efficient smoothed particle radiation hydrodynamics II: Radiation hydrodynamics
Authors:
Brody R. Bassett,
J. Michael Owen,
Thomas A. Brunner
Abstract:
The radiation hydrodynamics equations for smoothed particle hydrodynamics are derived by operator splitting the radiation and hydrodynamics terms, including necessary terms for material motion, and discretizing each of the sets of equations separately in time and space. The implicit radiative transfer discussed in the first paper of this series is coupled to explicit smoothed particle hydrodynamic…
▽ More
The radiation hydrodynamics equations for smoothed particle hydrodynamics are derived by operator splitting the radiation and hydrodynamics terms, including necessary terms for material motion, and discretizing each of the sets of equations separately in time and space. The implicit radiative transfer discussed in the first paper of this series is coupled to explicit smoothed particle hydrodynamics. The result is a multi-material meshless radiation hydrodynamics code with arbitrary opacities and equations of state that performs well for problems with significant material motion. The code converges with second-order accuracy in space and first-order accuracy in time to the semianalytic solution for the Lowrie radiative shock problem and has competitive performance compared to a mesh-based radiation hydrodynamics code for a multi-material problem in two dimensions and an ablation problem inspired by inertial confinement fusion in two and three dimensions.
△ Less
Submitted 16 November, 2020; v1 submitted 30 January, 2020;
originally announced January 2020.
-
Efficient smoothed particle radiation hydrodynamics I: Thermal radiative transfer
Authors:
Brody R. Bassett,
J. Michael Owen,
Thomas A. Brunner
Abstract:
This work presents efficient solution techniques for radiative transfer in the smoothed particle hydrodynamics discretization. Two choices that impact efficiency are how the material and radiation energy are coupled, which determines the number of iterations needed to converge the emission source, and how the radiation diffusion equation is solved, which must be done in each iteration. The coupled…
▽ More
This work presents efficient solution techniques for radiative transfer in the smoothed particle hydrodynamics discretization. Two choices that impact efficiency are how the material and radiation energy are coupled, which determines the number of iterations needed to converge the emission source, and how the radiation diffusion equation is solved, which must be done in each iteration. The coupled material and radiation energy equations are solved using an inexact Newton iteration scheme based on nonlinear elimination, which reduces the number of Newton iterations needed to converge within each time step. During each Newton iteration, the radiation diffusion equation is solved using Krylov iterative methods with a multigrid preconditioner, which abstracts and optimizes much of the communication when running in parallel. The code is verified for an infinite medium problem, a one-dimensional Marshak wave, and a two and three-dimensional manufactured problem, and exhibits first-order convergence in time and second-order convergence in space. For these problems, the number of iterations needed to converge the inexact Newton scheme and the diffusion equation are independent of the number of spatial points and the number of processors.
△ Less
Submitted 16 November, 2020; v1 submitted 30 January, 2020;
originally announced January 2020.
-
In-Flight Performance and Calibration of the LOng Range Reconnaissance Imager (LORRI) for the New Horizons Mission
Authors:
H. A. Weaver,
A. F. Cheng,
F. Morgan,
H. W. Taylor,
S. J. Conard,
J. I. Nunez,
D. J. Rodgers,
T. R. Lauer,
W. M. Owen,
J. R. Spencer,
O. Barnouin,
A. S. Rivkin,
C. B. Olkin,
S. A. Stern,
L. A. Young,
M. B. Tapley,
M. Vincent
Abstract:
The LOng Range Reconnaissance Imager (LORRI) is a panchromatic (360--910 nm), narrow-angle (field of view = 0.29 deg), high spatial resolution (pixel scale = 1.02 arcsec) visible light imager used on NASA's New Horizons (NH) mission for both science observations and optical navigation. Calibration observations began several months after the NH launch on 2006 January 19 and have been repeated annua…
▽ More
The LOng Range Reconnaissance Imager (LORRI) is a panchromatic (360--910 nm), narrow-angle (field of view = 0.29 deg), high spatial resolution (pixel scale = 1.02 arcsec) visible light imager used on NASA's New Horizons (NH) mission for both science observations and optical navigation. Calibration observations began several months after the NH launch on 2006 January 19 and have been repeated annually throughout the course of the mission, which is ongoing. This paper describes the in-flight LORRI calibration measurements, and the results derived from our analysis of the calibration data. LORRI has been remarkably stable over time with no detectable changes (at the 1% level) in sensitivity or optical performance since launch. By employing 4 by 4 re-binning of the CCD pixels during read out, a special spacecraft tracking mode, exposure times of 30 sec, and co-addition of approximately 100 images, LORRI can detect unresolved targets down to V = 22 (SNR=5). LORRI images have an instantaneous dynamic range of 3500, which combined with exposure time control ranging from 0ms to 64,967 ms in 1ms steps supports high resolution, high sensitivity imaging of planetary targets spanning heliocentric distances from Jupiter to deep in the Kuiper belt, enabling a wide variety of scientific investigations. We describe here how to transform LORRI images from raw (engineering) units into scientific (calibrated) units for both resolved and unresolved targets. We also describe various instrumental artifacts that could affect the interpretation of LORRI images under some observing circumstances.
△ Less
Submitted 10 January, 2020;
originally announced January 2020.
-
Properties for the Frechet Mean in Billera-Holmes-Vogtmann Treespace
Authors:
Maria Anaya,
Olga Anipchenko-Ulaj,
Aisha Ashfaq,
Joyce Chiu,
Mahedi Kaiser,
Max Shoji Ohsawa,
Megan Owen,
Ella Pavlechko,
Katherine St. John,
Shivam Suleria,
Keith Thompson,
Corrine Yap
Abstract:
The Billera-Holmes-Vogtmann (BHV) space of weighted trees can be embedded in Euclidean space, but the extrinsic Euclidean mean often lies outside of treespace. Sturm showed that the intrinsic Frechet mean exists and is unique in treespace. This Frechet mean can be approximated with an iterative algorithm, but bounds on the convergence of the algorithm are not known, and there is no other known pol…
▽ More
The Billera-Holmes-Vogtmann (BHV) space of weighted trees can be embedded in Euclidean space, but the extrinsic Euclidean mean often lies outside of treespace. Sturm showed that the intrinsic Frechet mean exists and is unique in treespace. This Frechet mean can be approximated with an iterative algorithm, but bounds on the convergence of the algorithm are not known, and there is no other known polynomial algorithm for computing the Frechet mean nor even the edges present in the mean. We give the first necessary and sufficient conditions for an edge to be in the Frechet mean. The conditions are in the form of inequalities on the weights of the edges. These conditions provide a pre-processing step for finding the treespace orthant containing the Frechet mean. This work generalizes to orthant spaces.
△ Less
Submitted 12 July, 2019;
originally announced July 2019.
-
Top2018: Experimental Summary
Authors:
Mark Owen
Abstract:
Top quark physics continues to be an exciting and fast moving research area. The large statistics provided by the LHC are allowing us to measure processes never observed before and to develop new methods to improve the precision for the "bread-and-butter" measurements. Summarising more than thirty talks in a concise way is something of a challenge and hence this document is my own personal biased…
▽ More
Top quark physics continues to be an exciting and fast moving research area. The large statistics provided by the LHC are allowing us to measure processes never observed before and to develop new methods to improve the precision for the "bread-and-butter" measurements. Summarising more than thirty talks in a concise way is something of a challenge and hence this document is my own personal biased selection of the many interesting results that were discussed at the workshop.
△ Less
Submitted 31 January, 2019;
originally announced January 2019.
-
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning
Authors:
Ritchie Lee,
Ole J. Mengshoel,
Anshu Saksena,
Ryan Gardner,
Daniel Genin,
Joshua Silbermann,
Michael Owen,
Mykel J. Kochenderfer
Abstract:
Finding the most likely path to a set of failure states is important to the analysis of safety-critical systems that operate over a sequence of time steps, such as aircraft collision avoidance systems and autonomous cars. In many applications such as autonomous driving, failures cannot be completely eliminated due to the complex stochastic environment in which the system operates. As a result, saf…
▽ More
Finding the most likely path to a set of failure states is important to the analysis of safety-critical systems that operate over a sequence of time steps, such as aircraft collision avoidance systems and autonomous cars. In many applications such as autonomous driving, failures cannot be completely eliminated due to the complex stochastic environment in which the system operates. As a result, safety validation is not only concerned about whether a failure can occur, but also discovering which failures are most likely to occur. This article presents adaptive stress testing (AST), a framework for finding the most likely path to a failure event in simulation. We consider a general black box setting for partially observable and continuous-valued systems operating in an environment with stochastic disturbances. We formulate the problem as a Markov decision process and use reinforcement learning to optimize it. The approach is simulation-based and does not require internal knowledge of the system, making it suitable for black-box testing of large systems. We present formulations for fully observable and partially observable systems. In the latter case, we present a modified Monte Carlo tree search algorithm that only requires access to the pseudorandom number generator of the simulator to overcome partial observability. We also present an extension of the framework, called differential adaptive stress testing (DAST), that can find failures that occur in one system but not in another. This type of differential analysis is useful in applications such as regression testing, where we are concerned with finding areas of relative weakness compared to a baseline. We demonstrate the effectiveness of the approach on an aircraft collision avoidance application, where a prototype aircraft collision avoidance system is stress tested to find the most likely scenarios of near mid-air collision.
△ Less
Submitted 4 December, 2020; v1 submitted 6 November, 2018;
originally announced November 2018.
-
Deep Neural Network Compression for Aircraft Collision Avoidance Systems
Authors:
Kyle D. Julian,
Mykel J. Kochenderfer,
Michael P. Owen
Abstract:
One approach to designing decision making logic for an aircraft collision avoidance system frames the problem as a Markov decision process and optimizes the system using dynamic programming. The resulting collision avoidance strategy can be represented as a numeric table. This methodology has been used in the development of the Airborne Collision Avoidance System X (ACAS X) family of collision avo…
▽ More
One approach to designing decision making logic for an aircraft collision avoidance system frames the problem as a Markov decision process and optimizes the system using dynamic programming. The resulting collision avoidance strategy can be represented as a numeric table. This methodology has been used in the development of the Airborne Collision Avoidance System X (ACAS X) family of collision avoidance systems for manned and unmanned aircraft, but the high dimensionality of the state space leads to very large tables. To improve storage efficiency, a deep neural network is used to approximate the table. With the use of an asymmetric loss function and a gradient descent algorithm, the parameters for this network can be trained to provide accurate estimates of table values while preserving the relative preferences of the possible advisories for each state. By training multiple networks to represent subtables, the network also decreases the required runtime for computing the collision avoidance advisory. Simulation studies show that the network improves the safety and efficiency of the collision avoidance system. Because only the network parameters need to be stored, the required storage space is reduced by a factor of 1000, enabling the collision avoidance system to operate using current avionics systems.
△ Less
Submitted 9 October, 2018;
originally announced October 2018.
-
Non-Lorentzian Field Theories with Maximal Supersymmetry and Moduli Space Dynamics
Authors:
Neil Lambert,
Miles Owen
Abstract:
We present gauge theories in 2+1 and 4+1 dimensions with 16 supersymmetries which are invariant under rotations and translations but not boosts. The on-shell conditions reduce the dynamics to motion on a moduli space of BPS states graded by a topologically conserved quantity. On each component of the moduli space only half the supersymmetry is realised. We argue that these theories describe M2-bra…
▽ More
We present gauge theories in 2+1 and 4+1 dimensions with 16 supersymmetries which are invariant under rotations and translations but not boosts. The on-shell conditions reduce the dynamics to motion on a moduli space of BPS states graded by a topologically conserved quantity. On each component of the moduli space only half the supersymmetry is realised. We argue that these theories describe M2-branes and M5-branes which have been infinitely boosted so that their worldvolume `time' has become null.
△ Less
Submitted 17 October, 2018; v1 submitted 8 August, 2018;
originally announced August 2018.
-
Geometric comparison of phylogenetic trees with different leaf sets
Authors:
Gillian Grindstaff,
Megan Owen
Abstract:
The metric space of phylogenetic trees defined by Billera, Holmes, and Vogtmann, which we refer to as BHV space, provides a natural geometric setting for describing collections of trees on the same set of taxa. However, it is sometimes necessary to analyze collections of trees on non-identical taxa sets (i.e., with different numbers of leaves), and in this context it is not evident how to apply BH…
▽ More
The metric space of phylogenetic trees defined by Billera, Holmes, and Vogtmann, which we refer to as BHV space, provides a natural geometric setting for describing collections of trees on the same set of taxa. However, it is sometimes necessary to analyze collections of trees on non-identical taxa sets (i.e., with different numbers of leaves), and in this context it is not evident how to apply BHV space. Davidson et al. recently approached this problem by describing a combinatorial algorithm extending tree topologies to regions in higher dimensional tree spaces, so that one can quickly compute which topologies contain a given tree as partial data. In this paper, we refine and adapt their algorithm to work for metric trees to give a full characterization of the subspace of extensions of a subtree. We describe how to apply our algorithm to define and search a space of possible supertrees and, for a collection of tree fragments with different leaf sets, to measure their compatibility.
△ Less
Submitted 11 July, 2018;
originally announced July 2018.
-
Accurate Ground-based Near-Earth-Asteroid Astrometry using Synthetic Tracking
Authors:
Chengxing Zhai,
Michael Shao,
Navtej S. Saini,
Jagmit S. Sandhu,
Phil Choi,
William M. Owen,
Thomas A. Werne,
Todd A. Ely,
Joseph Lazio,
Tomas J. Martin-Mur,
Robert A. Preston,
Slava G. Turyshev,
Adam W. Mitchell,
Kutay Nazli,
Isaac Cui,
Rachel M. Mochama
Abstract:
Accurate astrometry is crucial for determining orbits of near-Earth-asteroids (NEAs) and therefore better tracking them. This paper reports on a demonstration of 10 milliarcsecond-level astrometric precision on a dozen NEAs using the Pomona College 40 inch telescope, at the JPL's Table Mountain Facility. We used the technique of synthetic tracking, in which many short exposure (1 second) images ar…
▽ More
Accurate astrometry is crucial for determining orbits of near-Earth-asteroids (NEAs) and therefore better tracking them. This paper reports on a demonstration of 10 milliarcsecond-level astrometric precision on a dozen NEAs using the Pomona College 40 inch telescope, at the JPL's Table Mountain Facility. We used the technique of synthetic tracking, in which many short exposure (1 second) images are acquired and then combined in post-processing to track both target asteroid and reference stars across the field of view. This technique avoids the trailing loss and keeps the jitter effects from atmosphere and telescope pointing common between the asteroid and reference stars, resulting in higher astrometric precision than the 100 mas level astrometry from traditional approach of using long exposure images. Treating our synthetic tracking of near-Earth asteroids as a proxy for observations of future spacecraft while they are downlinking data via their high rate optical communication laser beams, our approach shows precision plane-of-sky measurements can be obtained by the optical ground terminals for navigation. We also discuss how future data releases from the Gaia mission can improve our results.
△ Less
Submitted 3 May, 2018;
originally announced May 2018.
-
Charged Chiral Fermions from M5-Branes
Authors:
Neil Lambert,
Miles Owen
Abstract:
We study M5-branes wrapped on a multi-centred Taub-NUT space. Reducing to String Theory on the circle fibration leads to D4-branes intersecting with D6-branes. D-braneology shows that there are additional charged chiral fermions from the open strings which stretch between the D4-branes and D6-branes. From the M-theory point of view the appearance of these charged states is mysterious as the M5-bra…
▽ More
We study M5-branes wrapped on a multi-centred Taub-NUT space. Reducing to String Theory on the circle fibration leads to D4-branes intersecting with D6-branes. D-braneology shows that there are additional charged chiral fermions from the open strings which stretch between the D4-branes and D6-branes. From the M-theory point of view the appearance of these charged states is mysterious as the M5-branes are wrapped on a smooth manifold. In this paper we show how these states arise in the M5-brane worldvolume theory and argue that are governed by a WZWN-like model where the topological term is five-dimensional.
△ Less
Submitted 16 April, 2018; v1 submitted 21 February, 2018;
originally announced February 2018.
-
Mean and Variance of Phylogenetic Trees
Authors:
Daniel G. Brown,
Megan Owen
Abstract:
We describe the use of the Frechet mean and variance in the Billera-Holmes-Vogtmann (BHV) treespace to summarize and explore the diversity of a set of phylogenetic trees. We show that the Frechet mean is comparable to other summary methods, and, despite its stickiness property, is more likely to be binary than the majority-rules consensus tree. We show that the Frechet variance is faster and more…
▽ More
We describe the use of the Frechet mean and variance in the Billera-Holmes-Vogtmann (BHV) treespace to summarize and explore the diversity of a set of phylogenetic trees. We show that the Frechet mean is comparable to other summary methods, and, despite its stickiness property, is more likely to be binary than the majority-rules consensus tree. We show that the Frechet variance is faster and more precise than commonly used variance measures. The Frechet mean and variance are more theoretically justified, and more robust, than previous estimates of this type, and can be estimated reasonably efficiently, providing a foundation for building more advanced statistical methods and leading to applications such as mean hypothesis testing.
△ Less
Submitted 10 May, 2018; v1 submitted 1 August, 2017;
originally announced August 2017.
-
The (2,0) Superalgebra, Null M-branes and Hitchin's System
Authors:
Piotr Kucharski,
Neil Lambert,
Miles Owen
Abstract:
We present an interacting system of equations with sixteen supersymmetries and an $SO(2)\times SO(6)$ R-symmetry where the fields depend on two space and one null dimensions that is derived from a representation of the six-dimensional (2,0) superalgebra. The system can be viewed as two M5-branes compactified on $S^1_-\times {\mathbb T}^2$ or equivalently as M2-branes on…
▽ More
We present an interacting system of equations with sixteen supersymmetries and an $SO(2)\times SO(6)$ R-symmetry where the fields depend on two space and one null dimensions that is derived from a representation of the six-dimensional (2,0) superalgebra. The system can be viewed as two M5-branes compactified on $S^1_-\times {\mathbb T}^2$ or equivalently as M2-branes on ${\mathbb R}_+\times {\mathbb R}^2$, where $\pm$ refer to null directions. We show that for a particular choice of fields the dynamics can be reduced to motion on the moduli space of solutions to the Hitchin system. We argue that this provides a description of intersecting null M2-branes and is also related by U-duality to a DLCQ description of four-dimensional maximally supersymmetric Yang-Mills.
△ Less
Submitted 8 August, 2018; v1 submitted 1 June, 2017;
originally announced June 2017.
-
Top quark properties measurements at the LHC
Authors:
Mark Owen
Abstract:
Highlights of measurements of the properties of the top quark at the LHC are presented. The measurements probe a range of the properties of the top quark, including the structure of the $Wtb$ vertex, the top-Z coupling and the top-quark mass. The results are compared to Standard Model predictions and in some cases limits on physics beyond the Standard Model are also extracted in the context of eff…
▽ More
Highlights of measurements of the properties of the top quark at the LHC are presented. The measurements probe a range of the properties of the top quark, including the structure of the $Wtb$ vertex, the top-Z coupling and the top-quark mass. The results are compared to Standard Model predictions and in some cases limits on physics beyond the Standard Model are also extracted in the context of effective field theory models. The measurements use data collected by the ATLAS and CMS experiments during pp collisions at a centre-of-mass energy of 8 or 13 TeV.
△ Less
Submitted 25 May, 2017;
originally announced May 2017.
-
Shadows of our Former Companions: How the Single-Degenerate Binary Type Ia Supernova Scenario Affects Remnants
Authors:
William J Gray,
Cody Raskin,
J. Michael Owen
Abstract:
Here we present three-dimensional high resolution simulations of Type Ia supernova in the presence of a non-degenerate companion. We find that the presence of a nearby companion leaves a long-lived hole in the supernova ejecta. In particular, we aim to study the long term evolution of this hole as the supernova ejecta interacts with the surrounding interstellar medium. Using estimates for the x-ra…
▽ More
Here we present three-dimensional high resolution simulations of Type Ia supernova in the presence of a non-degenerate companion. We find that the presence of a nearby companion leaves a long-lived hole in the supernova ejecta. In particular, we aim to study the long term evolution of this hole as the supernova ejecta interacts with the surrounding interstellar medium. Using estimates for the x-ray emission, we find that the hole generated by the companion remains for many centuries after the interaction between the ejecta and the interstellar medium. We also show that the hole is discernible over a wide range of viewing angles and companion masses.
△ Less
Submitted 20 September, 2016;
originally announced September 2016.
-
Examining the Accuracy of Astrophysical Disk Simulations With a Generalized Hydrodynamical Test Problem
Authors:
Cody Raskin,
J. Michael Owen
Abstract:
We discuss a generalization of the classic Keplerian disk test problem allowing for both pressure and rotational support, as a method of testing astrophysical codes incorporating both gravitation and hydrodynamics. We argue for the inclusion of pressure in rotating disk simulations on the grounds that realistic, astrophysical disks exhibit non-negligible pressure support. We then apply this test p…
▽ More
We discuss a generalization of the classic Keplerian disk test problem allowing for both pressure and rotational support, as a method of testing astrophysical codes incorporating both gravitation and hydrodynamics. We argue for the inclusion of pressure in rotating disk simulations on the grounds that realistic, astrophysical disks exhibit non-negligible pressure support. We then apply this test problem to examine the performance of various smoothed particle hydrodynamics (SPH) methods incorporating a number of improvements proposed over the years to help SPH better address problems noted in modeling the classical gravitation only Keplerian disk. We also apply this test to a newly developed extension of SPH based on reproducing kernels called CRKSPH. Counterintuitively, we find that pressure support worsens the performance of traditional SPH on this problem, causing unphysical collapse away from the steady-state disk solution even more rapidly than the purely gravitational problem, whereas CRKSPH greatly reduces this error.
△ Less
Submitted 14 July, 2016;
originally announced July 2016.
-
Integrative modeling of sprout formation in angiogenesis: coupling the VEGFA-Notch signaling in a dynamic stalk-tip cell selection
Authors:
Sotiris A. Prokopiou,
Markus R. Owen,
Helen M. Byrne,
Safiyyah Ziyad,
Courtney Domigan,
M. Luisa Iruela-Arispe,
Yi Jiang
Abstract:
During angiogenesis, new blood vessels headed by a migrating endothelial tip cell sprout from pre-existing ones. This process is known to be regulated by two signaling pathways concurrently, vascular endothelial growth factor A (VEGFA) and Notch-Delta. Extracellular VEGFA activates the intracellular Notch-Delta pathway in nearby endothelial cells which results in endothelial (stalk, tip) different…
▽ More
During angiogenesis, new blood vessels headed by a migrating endothelial tip cell sprout from pre-existing ones. This process is known to be regulated by two signaling pathways concurrently, vascular endothelial growth factor A (VEGFA) and Notch-Delta. Extracellular VEGFA activates the intracellular Notch-Delta pathway in nearby endothelial cells which results in endothelial (stalk, tip) differentiation. Retinal astrocytes appear to play a crucial role in polarizing new sprouts by secreting VEGFA. \emph{In vivo} retinal angiogenesis experiments in neonatal mouse generated quantitative data on daily cell counts and morphological data of vascular network expanding over fibronectin-rich matrix. Based on this set of data and other existing ones, we developed a cell-based, multiscale mathematical model using the cellular Potts model framework to investigate the sprout evolution by integrating the VEGFA and Notch-Delta signaling pathways. The model incorporates three levels of description: intracellular, intercellular, and extracellular. Starting with a single astrocyte embedded in a fibronectin-rich matrix, we use the model to assess different scenarios regarding VEGFA levels and its interaction with matrix proteins. Simulation results suggest that astrocyte-derived VEGFA gradients along with heterogeneous ECM reproduces sprouting morphology, and the extension speed is in agreement with experimental data in 7 days postnatal mouse retina. Results also reproduce empirical observations in sprouting angiogenesis, including anastomosis, dynamic tip cell competition, and sprout regression as a result of Notch blockade.
△ Less
Submitted 7 June, 2016;
originally announced June 2016.
-
CRKSPH - A Conservative Reproducing Kernel Smoothed Particle Hydrodynamics Scheme
Authors:
Nicholas Frontiere,
Cody D. Raskin,
J. Michael Owen
Abstract:
We present a formulation of smoothed particle hydrodynamics (SPH) that utilizes a first-order consistent reproducing kernel, a smoothing function that exactly interpolates linear fields with particle tracers. Previous formulations using reproducing kernel (RK) interpolation have had difficulties maintaining conservation of momentum due to the fact the RK kernels are not, in general, spatially symm…
▽ More
We present a formulation of smoothed particle hydrodynamics (SPH) that utilizes a first-order consistent reproducing kernel, a smoothing function that exactly interpolates linear fields with particle tracers. Previous formulations using reproducing kernel (RK) interpolation have had difficulties maintaining conservation of momentum due to the fact the RK kernels are not, in general, spatially symmetric. Here, we utilize a reformulation of the fluid equations such that mass, linear momentum, and energy are all rigorously conserved without any assumption about kernel symmetries, while additionally maintaining approximate angular momentum conservation. Our approach starts from a rigorously consistent interpolation theory, where we derive the evolution equations to enforce the appropriate conservation properties, at the sacrifice of full consistency in the momentum equation. Additionally, by exploiting the increased accuracy of the RK method's gradient, we formulate a simple limiter for the artificial viscosity that reduces the excess diffusion normally incurred by the ordinary SPH artificial viscosity. Collectively, we call our suite of modifications to the traditional SPH scheme Conservative Reproducing Kernel SPH, or CRKSPH. CRKSPH retains many benefits of traditional SPH methods (such as preserving Galilean invariance and manifest conservation of mass, momentum, and energy) while improving on many of the shortcomings of SPH, particularly the overly aggressive artificial viscosity and zeroth-order inaccuracy. We compare CRKSPH to two different modern SPH formulations (pressure based SPH and compatibly differenced SPH), demonstrating the advantages of our new formulation when modeling fluid mixing, strong shock, and adiabatic phenomena.
△ Less
Submitted 27 December, 2016; v1 submitted 2 May, 2016;
originally announced May 2016.
-
Shortest Paths and Convex Hulls in 2D Complexes with Non-Positive Curvature
Authors:
Anna Lubiw,
Daniela Maftuleac,
Megan Owen
Abstract:
Globally non-positively curved, or CAT(0), polyhedral complexes arise in a number of applications, including evolutionary biology and robotics. These spaces have unique shortest paths and are composed of Euclidean polyhedra, yet many algorithms and properties of shortest paths and convex hulls in Euclidean space fail to transfer over. We give an algorithm, using linear programming, to compute the…
▽ More
Globally non-positively curved, or CAT(0), polyhedral complexes arise in a number of applications, including evolutionary biology and robotics. These spaces have unique shortest paths and are composed of Euclidean polyhedra, yet many algorithms and properties of shortest paths and convex hulls in Euclidean space fail to transfer over. We give an algorithm, using linear programming, to compute the convex hull of a set of points in a 2-dimensional CAT(0) polyhedral complex with a single vertex. We explore the use of shortest path maps to answer single-source shortest path queries in 2-dimensional CAT(0) polyhedral complexes, and we unify efficient solutions for 2-manifold and rectangular cases.
△ Less
Submitted 17 July, 2019; v1 submitted 2 March, 2016;
originally announced March 2016.
-
On Determining if Tree-based Networks Contain Fixed Trees
Authors:
Maria Anaya,
Olga Anipchenko-Ulaj,
Aisha Ashfaq,
Joyce Chiu,
Mahedi Kaiser,
Max Shoji Ohsawa,
Megan Owen,
Ella Pavlechko,
Katherine St. John,
Shivam Suleria,
Keith Thompson,
Corrine Yap
Abstract:
We address an open question of Francis and Steel about phylogenetic networks and trees. They give a polynomial time algorithm to decide if a phylogenetic network, N, is tree-based and pose the problem: given a fixed tree T and network N, is N based on T? We show that it is NP-hard to decide, by reduction from 3-Dimensional Matching (3DM), and further, that the problem is fixed parameter tractable.
We address an open question of Francis and Steel about phylogenetic networks and trees. They give a polynomial time algorithm to decide if a phylogenetic network, N, is tree-based and pose the problem: given a fixed tree T and network N, is N based on T? We show that it is NP-hard to decide, by reduction from 3-Dimensional Matching (3DM), and further, that the problem is fixed parameter tractable.
△ Less
Submitted 8 February, 2016;
originally announced February 2016.
-
Rapid Optimal SPH Particle Distributions in Spherical Geometries For Creating Astrophysical Initial Conditions
Authors:
Cody Raskin,
J. Michael Owen
Abstract:
Creating spherical initial conditions in smoothed particle hydrodynamics simulations that are spherically conformal is a difficult task. Here, we describe two algorithmic methods for evenly distributing points on surfaces, that when paired can be used to build 3D spherical objects with optimal equipartition of volume between particles, commensurate with an arbitrary, radial density function. We de…
▽ More
Creating spherical initial conditions in smoothed particle hydrodynamics simulations that are spherically conformal is a difficult task. Here, we describe two algorithmic methods for evenly distributing points on surfaces, that when paired can be used to build 3D spherical objects with optimal equipartition of volume between particles, commensurate with an arbitrary, radial density function. We demonstrate the efficacy of our method against stretched lattice arrangements on the metrics of hydrodynamic stability, spherical conformity, and the harmonic power distribution of gravitational settling oscillations. We further demonstrate how our method is highly optimized for simulating multi-material spheres, such as planets with core-mantle boundaries.
△ Less
Submitted 14 January, 2016;
originally announced January 2016.
-
Deep Feature Learning for EEG Recordings
Authors:
Sebastian Stober,
Avital Sternin,
Adrian M. Owen,
Jessica A. Grahn
Abstract:
We introduce and compare several strategies for learning discriminative features from electroencephalography (EEG) recordings using deep learning techniques. EEG data are generally only available in small quantities, they are high-dimensional with a poor signal-to-noise ratio, and there is considerable variability between individual subjects and recording sessions. Our proposed techniques specific…
▽ More
We introduce and compare several strategies for learning discriminative features from electroencephalography (EEG) recordings using deep learning techniques. EEG data are generally only available in small quantities, they are high-dimensional with a poor signal-to-noise ratio, and there is considerable variability between individual subjects and recording sessions. Our proposed techniques specifically address these challenges for feature learning. Cross-trial encoding forces auto-encoders to focus on features that are stable across trials. Similarity-constraint encoders learn features that allow to distinguish between classes by demanding that two trials from the same class are more similar to each other than to trials from other classes. This tuple-based training approach is especially suitable for small datasets. Hydra-nets allow for separate processing pathways adapting to subsets of a dataset and thus combine the advantages of individual feature learning (better adaptation of early, low-level processing) with group model training (better generalization of higher-level processing in deeper layers). This way, models can, for instance, adapt to each subject individually to compensate for differences in spatial patterns due to anatomical differences or variance in electrode positions. The different techniques are evaluated using the publicly available OpenMIIR dataset of EEG recordings taken while participants listened to and imagined music.
△ Less
Submitted 7 January, 2016; v1 submitted 13 November, 2015;
originally announced November 2015.
-
The Pluto system: Initial results from its exploration by New Horizons
Authors:
S. A. Stern,
F. Bagenal,
K. Ennico,
G. R. Gladstone,
W. M. Grundy,
W. B. McKinnon,
J. M. Moore,
C. B. Olkin,
J. R. Spencer,
H. A. Weaver,
L. A. Young,
T. Andert,
J. Andrews,
M. Banks,
B. Bauer,
J. Bauman,
O. S. Barnouin,
P. Bedini,
K. Beisser,
R. A. Beyer,
S. Bhaskaran,
R. P. Binzel,
E. Birath,
M. Bird,
D. J. Bogan
, et al. (126 additional authors not shown)
Abstract:
The Pluto system was recently explored by NASA's New Horizons spacecraft, making closest approach on 14 July 2015. Pluto's surface displays diverse landforms, terrain ages, albedos, colors, and composition gradients. Evidence is found for a water-ice crust, geologically young surface units, surface ice convection, wind streaks, volatile transport, and glacial flow. Pluto's atmosphere is highly ext…
▽ More
The Pluto system was recently explored by NASA's New Horizons spacecraft, making closest approach on 14 July 2015. Pluto's surface displays diverse landforms, terrain ages, albedos, colors, and composition gradients. Evidence is found for a water-ice crust, geologically young surface units, surface ice convection, wind streaks, volatile transport, and glacial flow. Pluto's atmosphere is highly extended, with trace hydrocarbons, a global haze layer, and a surface pressure near 10 microbars. Pluto's diverse surface geology and long-term activity raise fundamental questions about how small planets remain active many billions of years after formation. Pluto's large moon Charon displays tectonics and evidence for a heterogeneous crustal composition, its north pole displays puzzling dark terrain. Small satellites Hydra and Nix have higher albedos than expected.
△ Less
Submitted 26 October, 2015;
originally announced October 2015.
-
High precision comet trajectory estimates: the Mars flyby of C/2013 A1 (Siding Spring)
Authors:
D. Farnocchia,
S. R. Chesley,
M. Micheli,
A. Delamere,
R. S. Heyd,
D. J. Tholen,
J. D. Giorgini,
W. M. Owen,
L. K. Tamppari
Abstract:
The Mars flyby of C/2013 A1 (Siding Spring) represented a unique opportunity for imaging a long-period comet and resolving its nucleus and rotation period. Because of the small encounter distance and the high relative velocity, the goal of successfully observing C/2013 A1 from the Mars orbiting spacecrafts posed strict accuracy requirements on the comet's ephemerides. These requirements were hard…
▽ More
The Mars flyby of C/2013 A1 (Siding Spring) represented a unique opportunity for imaging a long-period comet and resolving its nucleus and rotation period. Because of the small encounter distance and the high relative velocity, the goal of successfully observing C/2013 A1 from the Mars orbiting spacecrafts posed strict accuracy requirements on the comet's ephemerides. These requirements were hard to meet, as comets are known for being highly unpredictable: astrometric observations can be significantly biased and nongravitational perturbations affect comet trajectories. Therefore, even prior to the encounter, we remeasured a couple of hundred astrometric images obtained with ground-based and Earth-orbiting telescopes. We also observed the comet with the Mars Reconnaissance Orbiter's High Resolution Imaging Science Experiment (HiRISE) camera on 2014 October 7. In particular, these HiRISE observations were decisive in securing the trajectory and revealed that out-of-plane nongravitational perturbations were larger than previously assumed. Though the resulting ephemeris predictions for the Mars encounter allowed observations of the comet from the Mars orbiting spacecrafts, post-encounter observations show a discrepancy with the pre-encounter trajectory. We reconcile this discrepancy by employing the Rotating Jet Model, which is a higher fidelity model for nongravitational perturbations and provides an estimate of C/2013 A1's spin pole.
△ Less
Submitted 7 July, 2015;
originally announced July 2015.
-
Search for $t\bar{t}H$ production at the LHC
Authors:
Mark Owen
Abstract:
The searches for the production of the Higgs boson associated with a pair of top quarks in the ATLAS and CMS experiments are presented. The searches use a range of final states sensitive to the Higgs boson decaying into b-quark pairs, pairs of vector bosons, pairs of taus and pairs of photons. All the searches use pp collision data at $\sqrt{s} = 8$ TeV collected with the ATLAS and CMS detectors a…
▽ More
The searches for the production of the Higgs boson associated with a pair of top quarks in the ATLAS and CMS experiments are presented. The searches use a range of final states sensitive to the Higgs boson decaying into b-quark pairs, pairs of vector bosons, pairs of taus and pairs of photons. All the searches use pp collision data at $\sqrt{s} = 8$ TeV collected with the ATLAS and CMS detectors at the LHC in 2012 and some analyses also include the data collected at $\sqrt{s} = 7$ TeV in 2011. The searches in the $b\bar{b}$ and $γγ$ channels observe no excess of events relative to the background expectation, while the CMS search using multi-lepton events observes an excess of slightly more than 3 standard deviations over the background expectation.
△ Less
Submitted 15 December, 2014;
originally announced December 2014.
-
Quantification and visualization of variation in anatomical trees
Authors:
Nina Amenta,
Manasi Datar,
Asger Dirksen,
Marleen de Bruijne,
Aasa Feragen,
Xiaoyin Ge,
Jesper Holst Pedersen,
Marylesa Howard,
Megan Owen,
Jens Petersen,
Jie Shi,
Qiu** Xu
Abstract:
This paper presents two approaches to quantifying and visualizing variation in datasets of trees. The first approach localizes subtrees in which significant population differences are found through hypothesis testing and sparse classifiers on subtree features. The second approach visualizes the global metric structure of datasets through low-distortion embedding into hyperbolic planes in the style…
▽ More
This paper presents two approaches to quantifying and visualizing variation in datasets of trees. The first approach localizes subtrees in which significant population differences are found through hypothesis testing and sparse classifiers on subtree features. The second approach visualizes the global metric structure of datasets through low-distortion embedding into hyperbolic planes in the style of multidimensional scaling. A case study is made on a dataset of airway trees in relation to Chronic Obstructive Pulmonary Disease.
△ Less
Submitted 9 October, 2014;
originally announced October 2014.
-
Limiting Behaviour of Fréchet Means in the Space of Phylogenetic Trees
Authors:
Dennis Barden,
Huiling Le,
Megan Owen
Abstract:
As demonstrated in our previous work on ${\boldsymbol T}_{4}$, the space of phylogenetic trees with four leaves, the global, as well as the local, topological structure of the space plays an important role in the non-classical limiting behaviour of the sample Fréchet means of a probability distribution on ${\boldsymbol T}_{4}$. Nevertheless, the techniques used in that paper were specific to…
▽ More
As demonstrated in our previous work on ${\boldsymbol T}_{4}$, the space of phylogenetic trees with four leaves, the global, as well as the local, topological structure of the space plays an important role in the non-classical limiting behaviour of the sample Fréchet means of a probability distribution on ${\boldsymbol T}_{4}$. Nevertheless, the techniques used in that paper were specific to ${\boldsymbol T}_{4}$ and cannot be adapted to analyse Fréchet means in the space ${\boldsymbol T}_{m}$ of phylogenetic trees with $m(\geqslant5)$ leaves. To investigate the latter, this paper first studies the log map of ${\boldsymbol T}_{m}$, a generalisation of the inverse of the exponential map on a Riemannian manifold. Then, in terms of a modified version of the log map, we characterise Fréchet means in ${\boldsymbol T}_{m}$ that lie in top-dimensional or co-dimension one strata. We derive the limiting distributions for the corresponding sample Fréchet means, generalising our previous results. In particular, the results show that, although they are related to the Gaussian distribution, the forms taken by the limiting distributions depend on the co-dimensions of the strata in which the Fréchet means lie.
△ Less
Submitted 4 August, 2016; v1 submitted 26 September, 2014;
originally announced September 2014.
-
Comparing Stochastic Differential Equations and Agent-Based Modelling and Simulation for Early-stage Cancer
Authors:
Grazziela P Figueredo,
Peer-Olaf Siebers,
Markus R Owen,
Jenna Reps,
Uwe Aickelin
Abstract:
There is great potential to be explored regarding the use of agent-based modelling and simulation as an alternative paradigm to investigate early-stage cancer interactions with the immune system. It does not suffer from some limitations of ordinary differential equation models, such as the lack of stochasticity, representation of individual behaviours rather than aggregates and individual memory.…
▽ More
There is great potential to be explored regarding the use of agent-based modelling and simulation as an alternative paradigm to investigate early-stage cancer interactions with the immune system. It does not suffer from some limitations of ordinary differential equation models, such as the lack of stochasticity, representation of individual behaviours rather than aggregates and individual memory. In this paper we investigate the potential contribution of agent-based modelling and simulation when contrasted with stochastic versions of ODE models using early-stage cancer examples. We seek answers to the following questions: (1) Does this new stochastic formulation produce similar results to the agent-based version? (2) Can these methods be used interchangeably? (3) Do agent-based models outcomes reveal any benefit when compared to the Gillespie results? To answer these research questions we investigate three well-established mathematical models describing interactions between tumour cells and immune elements. These case studies were re-conceptualised under an agent-based perspective and also converted to the Gillespie algorithm formulation. Our interest in this work, therefore, is to establish a methodological discussion regarding the usability of different simulation approaches, rather than provide further biological insights into the investigated case studies. Our results show that it is possible to obtain equivalent models that implement the same mechanisms; however, the incapacity of the Gillespie algorithm to retain individual memory of past events affects the similarity of some results. Furthermore, the emergent behaviour of ABMS produces extra patters of behaviour in the system, which was not obtained by the Gillespie algorithm.
△ Less
Submitted 2 September, 2014;
originally announced September 2014.
-
A Note on the Unsolvability of the Weighted Region Shortest Path Problem
Authors:
Jean-Lou De Carufel,
Carsten Grimm,
Anil Maheshwari,
Megan Owen,
Michiel Smid
Abstract:
Let S be a subdivision of the plane into polygonal regions, where each region has an associated positive weight. The weighted region shortest path problem is to determine a shortest path in S between two points s, t in R^2, where the distances are measured according to the weighted Euclidean metric-the length of a path is defined to be the weighted sum of (Euclidean) lengths of the sub-paths withi…
▽ More
Let S be a subdivision of the plane into polygonal regions, where each region has an associated positive weight. The weighted region shortest path problem is to determine a shortest path in S between two points s, t in R^2, where the distances are measured according to the weighted Euclidean metric-the length of a path is defined to be the weighted sum of (Euclidean) lengths of the sub-paths within each region. We show that this problem cannot be solved in the Algebraic Computation Model over the Rational Numbers (ACMQ). In the ACMQ, one can compute exactly any number that can be obtained from the rationals Q by applying a finite number of operations from +, -, \times, ÷, \sqrt[k]{}, for any integer k >= 2. Our proof uses Galois theory and is based on Bajaj's technique.
△ Less
Submitted 22 May, 2013;
originally announced May 2013.
-
Polyhedral computational geometry for averaging metric phylogenetic trees
Authors:
Ezra Miller,
Megan Owen,
J. Scott Provan
Abstract:
This paper investigates the computational geometry relevant to calculations of the Frechet mean and variance for probability distributions on the phylogenetic tree space of Billera, Holmes and Vogtmann, using the theory of probability measures on spaces of nonpositive curvature developed by Sturm. We show that the combinatorics of geodesics with a specified fixed endpoint in tree space are determi…
▽ More
This paper investigates the computational geometry relevant to calculations of the Frechet mean and variance for probability distributions on the phylogenetic tree space of Billera, Holmes and Vogtmann, using the theory of probability measures on spaces of nonpositive curvature developed by Sturm. We show that the combinatorics of geodesics with a specified fixed endpoint in tree space are determined by the location of the varying endpoint in a certain polyhedral subdivision of tree space. The variance function associated to a finite subset of tree space has a fixed $C^\infty$ algebraic formula within each cell of the corresponding subdivision, and is continuously differentiable in the interior of each orthant of tree space. We use this subdivision to establish two iterative methods for producing sequences that converge to the Frechet mean: one based on Sturm's Law of Large Numbers, and another based on descent algorithms for finding optima of smooth functions on convex polyhedra. We present properties and biological applications of Frechet means and extend our main results to more general globally nonpositively curved spaces composed of Euclidean orthants.
△ Less
Submitted 16 February, 2014; v1 submitted 29 November, 2012;
originally announced November 2012.
-
Sticky central limit theorems on open books
Authors:
Thomas Hotz,
Sean Skwerer,
Stephan Huckemann,
Huiling Le,
J. S. Marron,
Jonathan C. Mattingly,
Ezra Miller,
James Nolen,
Megan Owen,
Vic Patrangenaru
Abstract:
Given a probability distribution on an open book (a metric space obtained by gluing a disjoint union of copies of a half-space along their boundary hyperplanes), we define a precise concept of when the Fréchet mean (barycenter) is sticky. This nonclassical phenomenon is quantified by a law of large numbers (LLN) stating that the empirical mean eventually almost surely lies on the (codimension $1$…
▽ More
Given a probability distribution on an open book (a metric space obtained by gluing a disjoint union of copies of a half-space along their boundary hyperplanes), we define a precise concept of when the Fréchet mean (barycenter) is sticky. This nonclassical phenomenon is quantified by a law of large numbers (LLN) stating that the empirical mean eventually almost surely lies on the (codimension $1$ and hence measure $0$) spine that is the glued hyperplane, and a central limit theorem (CLT) stating that the limiting distribution is Gaussian and supported on the spine. We also state versions of the LLN and CLT for the cases where the mean is nonsticky (i.e., not lying on the spine) and partly sticky (i.e., is, on the spine but not sticky).
△ Less
Submitted 3 December, 2013; v1 submitted 20 February, 2012;
originally announced February 2012.
-
Geodesics in CAT(0) Cubical Complexes
Authors:
Federico Ardila,
Megan Owen,
Seth Sullivant
Abstract:
We describe an algorithm to compute the geodesics in an arbitrary CAT(0) cubical complex. A key tool is a correspondence between cubical complexes of global non-positive curvature and posets with inconsistent pairs. This correspondence also gives an explicit realization of such a complex as the state complex of a reconfigurable system, and a way to embed any interval in the integer lattice cubing…
▽ More
We describe an algorithm to compute the geodesics in an arbitrary CAT(0) cubical complex. A key tool is a correspondence between cubical complexes of global non-positive curvature and posets with inconsistent pairs. This correspondence also gives an explicit realization of such a complex as the state complex of a reconfigurable system, and a way to embed any interval in the integer lattice cubing of its dimension.
△ Less
Submitted 12 January, 2011;
originally announced January 2011.
-
Measurement of the W boson helicity in top quark decays using 5.4 fb^-1 of ppbar collision data
Authors:
V. M. Abazov,
B. Abbott,
B. S. Acharya,
M. Adams,
T. Adams,
G. D. Alexeev,
G. Alkhazov,
A. Altona,
G. Alverson,
G. A. Alves,
L. S. Ancu,
M. Aoki,
Y. Arnoud,
M. Arov,
A. Askew,
B. Asman,
O. Atramentov,
C. Avila,
J. BackusMayes,
F. Badaud,
L. Bagby,
B. Baldin,
D. V. Bandurin,
S. Banerjee,
E. Barberis
, et al. (403 additional authors not shown)
Abstract:
We present a measurement of the helicity of the W boson produced in top quark decays using ttbar decays in the l+jets and dilepton final states selected from a sample of 5.4 fb^-1 of collisions recorded using the D0 detector at the Fermilab Tevatron ppbar collider. We measure the fractions of longitudinal and right-handed W bosons to be f_0 = 0.669 +- 0.102 [ +- 0.078 (stat.) +- 0.065 (syst.)] and…
▽ More
We present a measurement of the helicity of the W boson produced in top quark decays using ttbar decays in the l+jets and dilepton final states selected from a sample of 5.4 fb^-1 of collisions recorded using the D0 detector at the Fermilab Tevatron ppbar collider. We measure the fractions of longitudinal and right-handed W bosons to be f_0 = 0.669 +- 0.102 [ +- 0.078 (stat.) +- 0.065 (syst.)] and f_+ = 0.023 +- 0.053 [+- 0.041 (stat.) +- 0.034 (syst.)], respectively. This result is consistent at the 98% level with the standard model. A measurement with f_0 fixed to the value from the standard model yields f_+ = 0.010 +- 0.037 [+- 0.022 (stat.) +- 0.030 (syst.) ].
△ Less
Submitted 20 September, 2012; v1 submitted 30 November, 2010;
originally announced November 2010.
-
Search for pair production of the scalar top quark in the electron-muon final state
Authors:
V. M. Abazov,
B. Abbott,
M. Abolins,
B. S. Acharya,
M. Adams,
T. Adams,
G. D. Alexeev,
G. Alkhazov,
A. Altona,
G. Alverson,
G. A. Alves,
L. S. Ancu,
M. Aoki,
Y. Arnoud,
M. Arov,
A. Askew,
B. Åsman,
O. Atramentov,
C. Avila,
J. BackusMayes,
F. Badaud,
L. Bagby,
B. Baldin,
D. V. Bandurin,
S. Banerjee
, et al. (406 additional authors not shown)
Abstract:
We report the result of a search for the pair production of the lightest supersymmetric partner of the top quark ($\tilde{t}_1$) in $p\bar{p}$ collisions at a center-of-mass energy of 1.96 TeV at the Fermilab Tevatron collider corresponding to an integrated luminosity of 5.4 fb$^{-1}$. The scalar top quarks are assumed to decay into a $b$ quark, a charged lepton, and a scalar neutrino (…
▽ More
We report the result of a search for the pair production of the lightest supersymmetric partner of the top quark ($\tilde{t}_1$) in $p\bar{p}$ collisions at a center-of-mass energy of 1.96 TeV at the Fermilab Tevatron collider corresponding to an integrated luminosity of 5.4 fb$^{-1}$. The scalar top quarks are assumed to decay into a $b$ quark, a charged lepton, and a scalar neutrino ($\tildeν$), and the search is performed in the electron plus muon final state. No significant excess of events above the standard model prediction is detected, and improved exclusion limits at the 95% C.L. are set in the the ($M_{\tilde{t}_1}$,$M_{\tildeν}$) mass plane.
△ Less
Submitted 29 September, 2010;
originally announced September 2010.
-
Determination of the width of the top quark
Authors:
V. M. Abazov,
B. Abbott,
M. Abolins,
B. S. Acharya,
M. Adams,
T. Adams,
G. D. Alexeev,
G. Alkhazov,
A. Altona,
G. Alverson,
G. A. Alves,
L. S. Ancu,
M. Aoki,
Y. Arnoud,
M. Arov,
A. Askew,
B. Åsman,
O. Atramentov,
C. Avila,
J. BackusMayes,
F. Badaud,
L. Bagby,
B. Baldin,
D. V. Bandurin,
S. Banerjee
, et al. (406 additional authors not shown)
Abstract:
We extract the total width of the top quark, Gamma_t, from the partial decay width Gamma(t -> W b) measured using the t-channel cross section for single top quark production and from the branching fraction B(t -> W b) measured in ttbar events using up to 2.3 fb^-1 of integrated luminosity collected by the D0 Collaboration at the Tevatron ppbar Collider. The result is Gamma_t = 1.99 +0.69 -0.55 GeV…
▽ More
We extract the total width of the top quark, Gamma_t, from the partial decay width Gamma(t -> W b) measured using the t-channel cross section for single top quark production and from the branching fraction B(t -> W b) measured in ttbar events using up to 2.3 fb^-1 of integrated luminosity collected by the D0 Collaboration at the Tevatron ppbar Collider. The result is Gamma_t = 1.99 +0.69 -0.55 GeV, which translates to a top-quark lifetime of tau_t = (3.3 +1.3 -0.9) x 10^-25 s. Assuming a high mass fourth generation b' quark and unitarity of the four-generation quark-mixing matrix, we set the first upper limit on |Vtb'| < 0.63 at 95% C.L.
△ Less
Submitted 28 September, 2010;
originally announced September 2010.
-
A Fast Algorithm for Computing Geodesic Distances in Tree Space
Authors:
Megan Owen,
J. Scott Provan
Abstract:
Comparing and computing distances between phylogenetic trees are important biological problems, especially for models where edge lengths play an important role. The geodesic distance measure between two phylogenetic trees with edge lengths is the length of the shortest path between them in the continuous tree space introduced by Billera, Holmes, and Vogtmann. This tree space provides a powerful…
▽ More
Comparing and computing distances between phylogenetic trees are important biological problems, especially for models where edge lengths play an important role. The geodesic distance measure between two phylogenetic trees with edge lengths is the length of the shortest path between them in the continuous tree space introduced by Billera, Holmes, and Vogtmann. This tree space provides a powerful tool for studying and comparing phylogenetic trees, both in exhibiting a natural distance measure and in providing a Euclidean-like structure for solving optimization problems on trees. An important open problem is to find a polynomial time algorithm for finding geodesics in tree space. This paper gives such an algorithm, which starts with a simple initial path and moves through a series of successively shorter paths until the geodesic is attained.
△ Less
Submitted 4 November, 2009; v1 submitted 23 July, 2009;
originally announced July 2009.