-
Algebraic and Geometric Models for Space Networking
Authors:
William Bernardoni,
Robert Cardona,
Jacob Cleveland,
Justin Curry,
Robert Green,
Brian Heller,
Alan Hylton,
Tung Lam,
Robert Kassouf-Short
Abstract:
In this paper we introduce some new algebraic and geometric perspectives on networked space communications. Our main contribution is a novel definition of a time-varying graph (TVG), defined in terms of a matrix with values in subsets of the real line P(R). We leverage semi-ring properties of P(R) to model multi-hop communication in a TVG using matrix multiplication and a truncated Kleene star. Th…
▽ More
In this paper we introduce some new algebraic and geometric perspectives on networked space communications. Our main contribution is a novel definition of a time-varying graph (TVG), defined in terms of a matrix with values in subsets of the real line P(R). We leverage semi-ring properties of P(R) to model multi-hop communication in a TVG using matrix multiplication and a truncated Kleene star. This leads to novel statistics on the communication capacity of TVGs called lifetime curves, which we generate for large samples of randomly chosen STARLINK satellites, whose connectivity is modeled over day-long simulations. Determining when a large subsample of STARLINK is temporally strongly connected is further analyzed using novel metrics introduced here that are inspired by topological data analysis (TDA). To better model networking scenarios between the Earth and Mars, we introduce various semi-rings capable of modeling propagation delay as well as protocols common to Delay Tolerant Networking (DTN), such as store-and-forward. Finally, we illustrate the applicability of zigzag persistence for featurizing different space networks and demonstrate the efficacy of K-Nearest Neighbors (KNN) classification for distinguishing Earth-Mars and Earth-Moon satellite systems using time-varying topology alone.
△ Less
Submitted 5 October, 2023; v1 submitted 3 April, 2023;
originally announced April 2023.
-
A Geometric Approach to the Kinematics of the Canfield Joint
Authors:
Christian Bueno,
Kristina Collins,
Alan Hylton,
Robert Short
Abstract:
This paper details an accessible geometric derivation of the forward and inverse kinematics of a parallel robotic linkage known as the Canfield joint, which can be used for pointing applications. The original purpose of the Canfield joint was to serve as a human wrist replacement, and it can be utilized for other purposes such as the precision pointing and tracking of antennas, telescopes, and thr…
▽ More
This paper details an accessible geometric derivation of the forward and inverse kinematics of a parallel robotic linkage known as the Canfield joint, which can be used for pointing applications. The original purpose of the Canfield joint was to serve as a human wrist replacement, and it can be utilized for other purposes such as the precision pointing and tracking of antennas, telescopes, and thrusters. We build upon previous analyses, and generalize them to include the situation where one of the three legs freezes; the kinematics are also substantially generalized beyond failure modes, detailed within. The core of this work states and clarifies the assumptions necessary to analyze this type of parallel robotic linkage. Specific guidance is included for engineering use cases.
△ Less
Submitted 12 May, 2021;
originally announced May 2021.
-
Path Optimization Sheaves
Authors:
Michael Moy,
Robert Cardona,
Robert Green,
Jacob Cleveland,
Alan Hylton,
Robert Short
Abstract:
Motivated by efforts to incorporate sheaves into networking, we seek to reinterpret pathfinding algorithms in terms of cellular sheaves, using Dijkstra's algorithm as an example. We construct sheaves on a graph with distinguished source and sink vertices, in which paths are represented by sections. The first sheaf is a very general construction that can be applied to other algorithms, while the se…
▽ More
Motivated by efforts to incorporate sheaves into networking, we seek to reinterpret pathfinding algorithms in terms of cellular sheaves, using Dijkstra's algorithm as an example. We construct sheaves on a graph with distinguished source and sink vertices, in which paths are represented by sections. The first sheaf is a very general construction that can be applied to other algorithms, while the second is created specifically to capture the decision making of Dijkstra's algorithm. In both cases, Dijkstra's algorithm can be described as a systematic process of extending local sections to global sections. We discuss the relationship between the two sheaves and summarize how other pathfinding algorithms can be interpreted in a similar way. While the sheaves presented here address paths and pathfinding algorithms, we suggest that future work could explore connections to other concepts from graph theory and other networking algorithms. This work was supported by the NASA Internship Project and SCaN Internship Project during the summer of 2020.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
Characterizing the Shape of Activation Space in Deep Neural Networks
Authors:
Thomas Gebhart,
Paul Schrater,
Alan Hylton
Abstract:
The representations learned by deep neural networks are difficult to interpret in part due to their large parameter space and the complexities introduced by their multi-layer structure. We introduce a method for computing persistent homology over the graphical activation structure of neural networks, which provides access to the task-relevant substructures activated throughout the network for a gi…
▽ More
The representations learned by deep neural networks are difficult to interpret in part due to their large parameter space and the complexities introduced by their multi-layer structure. We introduce a method for computing persistent homology over the graphical activation structure of neural networks, which provides access to the task-relevant substructures activated throughout the network for a given input. This topological perspective provides unique insights into the distributed representations encoded by neural networks in terms of the shape of their activation structures. We demonstrate the value of this approach by showing an alternative explanation for the existence of adversarial examples. By studying the topology of network activations across multiple architectures and datasets, we find that adversarial perturbations do not add activations that target the semantic structure of the adversarial class as previously hypothesized. Rather, adversarial examples are explainable as alterations to the dominant activation structures induced by the original image, suggesting the class representations learned by deep networks are problematically sparse on the input space.
△ Less
Submitted 30 May, 2019; v1 submitted 27 January, 2019;
originally announced January 2019.
-
Tuning the Performance of a Computational Persistent Homology Package
Authors:
Alan Hylton,
Gregory Henselman-Petrusek,
Janche Sang,
Robert Short
Abstract:
In recent years, persistent homology has become an attractive method for data analysis. It captures topological features, such as connected components, holes, and voids from point cloud data and summarizes the way in which these features appear and disappear in a filtration sequence. In this project, we focus on improving the performance of Eirene, a computational package for persistent homology.…
▽ More
In recent years, persistent homology has become an attractive method for data analysis. It captures topological features, such as connected components, holes, and voids from point cloud data and summarizes the way in which these features appear and disappear in a filtration sequence. In this project, we focus on improving the performance of Eirene, a computational package for persistent homology. Eirene is a 5000-line open-source software library implemented in the dynamic programming language Julia. We use the Julia profiling tools to identify performance bottlenecks and develop novel methods to manage them, including the parallelization of some time-consuming functions on multicore/manycore hardware. Empirical results show that performance can be greatly improved.
△ Less
Submitted 8 September, 2018;
originally announced September 2018.
-
A Topological Kinematic Workspace Analysis of the Canfield Joint
Authors:
Robert Short,
Alan Hylton
Abstract:
We use topological techniques to do a workspace analysis of the Canfield Joint, a mechanical linkage constructed with two plates connected by three legs. The Canfield Joint has three degrees of freedom and can be controlled using three actuators attached to the base in strategic positions. In the process of performing the workspace analysis, we describe a new method of controlling the Joint which…
▽ More
We use topological techniques to do a workspace analysis of the Canfield Joint, a mechanical linkage constructed with two plates connected by three legs. The Canfield Joint has three degrees of freedom and can be controlled using three actuators attached to the base in strategic positions. In the process of performing the workspace analysis, we describe a new method of controlling the Joint which includes elements of both forward and inverse kinematics. This control process is then used to answer the question of how the workspace of the joint changes in the possibility of a failure mode where one degree of freedom is lost.
△ Less
Submitted 6 September, 2018;
originally announced September 2018.