-
Combining complex conjugation, time-reversal, and spin symmetry projection of coupled cluster wave functions
Authors:
Ruiheng Song,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
Complex conjugation symmetry breaking and restoration generate two non-orthogonal configurations at the Hartree-Fock level that can capture static correlation naturally. In conjunction with broken spin-symmetry coupled cluster theory, the symmetry-projected wave function shows good agreement with full configuration interaction in beryllium hydride insertion, lithium fluoride dissociation, and symm…
▽ More
Complex conjugation symmetry breaking and restoration generate two non-orthogonal configurations at the Hartree-Fock level that can capture static correlation naturally. In conjunction with broken spin-symmetry coupled cluster theory, the symmetry-projected wave function shows good agreement with full configuration interaction in beryllium hydride insertion, lithium fluoride dissociation, and symmetric stretching of tetrahedral H$_4$. By adding spin flip projection, we can also recover time reversal symmetry in the same coupled cluster framework.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Linear combinations of cluster mean-field states applied to spin systems
Authors:
Athanasios Papastathopoulos-Katsaros,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
We present an innovative cluster-based method employing linear combinations of diverse cluster mean-field (cMF) states, and apply it to describe the ground state of strongly-correlated spin systems. In cluster mean-field theory, the ground state wavefunction is expressed as a factorized tensor product of optimized cluster states. While our prior work concentrated on a single cMF tiling, this study…
▽ More
We present an innovative cluster-based method employing linear combinations of diverse cluster mean-field (cMF) states, and apply it to describe the ground state of strongly-correlated spin systems. In cluster mean-field theory, the ground state wavefunction is expressed as a factorized tensor product of optimized cluster states. While our prior work concentrated on a single cMF tiling, this study removes that constraint by combining different tilings of cMF states. Selection criteria, including translational symmetry and spatial proximity, guide this process. We present benchmark calculations for the one- and two-dimensional $J_1-J_2$ and $XXZ$ Heisenberg models. Our findings highlight two key aspects. First, the method offers a semi-quantitative description of the $0.4 \lessapprox J_2/J_1 \lessapprox 0.6$ regime of the $J_1-J_2$ model - a particularly challenging regime for existing methods. Second, our results demonstrate the capability of our method to provide qualitative descriptions for all the models and regimes considered, establishing it as a valuable reference. However, the inclusion of additional (weak) correlations is necessary for quantitative agreement, and we explore methods to incorporate these extra correlations.
△ Less
Submitted 2 May, 2024; v1 submitted 9 February, 2024;
originally announced February 2024.
-
CRANE: A Redundant, Multi-Degree-of-Freedom Computed Tomography Robot for Heightened Needle Dexterity within a Medical Imaging Bore
Authors:
Dimitrious Schreiber,
Zhaowei Yu,
Taylor Henderson,
Derek Chen,
Alexander Norbasha,
Michael C. Yip
Abstract:
Computed Tomography (CT) image guidance enables accurate and safe minimally invasive treatment of diseases, including cancer and chronic pain, with needle-like tools via a percutaneous approach. The physician incrementally inserts and adjusts the needle with intermediate images due to the accuracy limitation of free-hand adjustment and patient physiological motion. Scanning frequency is limited to…
▽ More
Computed Tomography (CT) image guidance enables accurate and safe minimally invasive treatment of diseases, including cancer and chronic pain, with needle-like tools via a percutaneous approach. The physician incrementally inserts and adjusts the needle with intermediate images due to the accuracy limitation of free-hand adjustment and patient physiological motion. Scanning frequency is limited to minimize ionizing radiation exposure for the patient and physician. Robots can provide high positional accuracy and compensate for physiological motion with fewer scans. To accomplish this, the robots must operate within the confined imaging bore while retaining sufficient dexterity to insert and manipulate the needle. This paper presents CRANE: CT Robotic Arm and Needle Emplacer, a CT-compatible robot with a design focused on system dexterity that enables physicians to manipulate and insert needles within the scanner bore as naturally as they would be able to by hand. We define abstract and measurable clinically motivated metrics for in-bore dexterity applicable to general-purpose intra-bore image-guided needle placement robots, develop an automatic robot planning and control method for intra-bore needle manipulation and device setup, and demonstrate the redundant linkage design provides dexterity across various human morphology and meets the clinical requirements for target accuracy during an in-situ evaluation.
△ Less
Submitted 4 February, 2024;
originally announced February 2024.
-
Hartree-Fock-Bogoliubov theory for number-parity--violating fermionic Hamiltonians
Authors:
Thomas M. Henderson,
Shadan Ghassemi Tabrizi,
Guo P. Chen,
Gustavo E. Scuseria
Abstract:
It is usually asserted that physical Hamiltonians for fermions must contain an even number of fermion operators. This is indeed true in electronic structure theory. However, when the Jordan-Wigner transformation is used to map physical spin Hamiltonians to Hamiltonians of spinless fermions, terms which contain an odd number of fermion operators may appear. The resulting fermionic Hamiltonian thus…
▽ More
It is usually asserted that physical Hamiltonians for fermions must contain an even number of fermion operators. This is indeed true in electronic structure theory. However, when the Jordan-Wigner transformation is used to map physical spin Hamiltonians to Hamiltonians of spinless fermions, terms which contain an odd number of fermion operators may appear. The resulting fermionic Hamiltonian thus does not have number parity symmetry, and requires wave functions which do not have this symmetry either. In this work, we discuss the extension of standard Hartree-Fock-Bogoliubov (HFB) theory to the number-parity--nonconserving case. These ideas had appeared in the literature before, but, perhaps for lack of practical applications, had to the best of our knowledge never been employed. We here present a useful application for this more general HFB theory based on coherent states of the SO(2$M$ + 1) Lie group, where $M$ is the number of orbitals. We also show how using these unusual mean-field states can provide significant improvements when studying the Jordan-Wigner transformation of chemically relevant spin Hamiltonians.
△ Less
Submitted 8 January, 2024; v1 submitted 20 November, 2023;
originally announced November 2023.
-
Correlated pair ansatz with a binary tree structure
Authors:
Rishab Dutta,
Fei Gao,
Armin Khamoshi,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
We develop an efficient algorithm to implement the recently introduced binary tree state (BTS) ansatz on a classical computer. BTS allows a simple approximation to permanents arising from the computationally intractable antisymmetric product of interacting geminals and respects size-consistency. We show how to compute BTS overlap and reduced density matrices efficiently. We also explore two routes…
▽ More
We develop an efficient algorithm to implement the recently introduced binary tree state (BTS) ansatz on a classical computer. BTS allows a simple approximation to permanents arising from the computationally intractable antisymmetric product of interacting geminals and respects size-consistency. We show how to compute BTS overlap and reduced density matrices efficiently. We also explore two routes for develo** correlated BTS approaches: Jastrow coupled cluster on BTS and linear combinations of BT states. The resulting methods show great promise in benchmark applications to the reduced Bardeen-Cooper-Schrieffer Hamiltonian and the one-dimensional XXZ Heisenberg Hamiltonian.
△ Less
Submitted 2 February, 2024; v1 submitted 30 October, 2023;
originally announced October 2023.
-
The Key to Deobfuscation is Pattern of Life, not Overcoming Encryption
Authors:
Taylor Henderson,
Eric Osterweil,
Pavan Kumar Dinesh,
Robert Simon
Abstract:
Preserving privacy is an undeniable benefit to users online. However, this benefit (unfortunately) also extends to those who conduct cyber attacks and other types of malfeasance. In this work, we consider the scenario in which Privacy Preserving Technologies (PPTs) have been used to obfuscate users who are communicating online with ill intentions. We present a novel methodology that is effective a…
▽ More
Preserving privacy is an undeniable benefit to users online. However, this benefit (unfortunately) also extends to those who conduct cyber attacks and other types of malfeasance. In this work, we consider the scenario in which Privacy Preserving Technologies (PPTs) have been used to obfuscate users who are communicating online with ill intentions. We present a novel methodology that is effective at deobfuscating such sources by synthesizing measurements from key locations along protocol transaction paths. Our approach links online personas with their origin IP addresses based on a Pattern of Life (PoL) analysis, and is successful even when different PPTs are used. We show that, when monitoring in the correct places on the Internet, DNS over HTTPS (DoH) and DNS over TLS (DoT) can be deobfuscated with up to 100% accuracy, when they are the only privacy-preserving technologies used. Our evaluation used multiple simulated monitoring points and communications are sampled from an actual multiyear-long social network message board to replay actual user behavior. Our evaluation compared plain old DNS, DoH, DoT, and VPN in order to quantify their relative privacy-preserving abilities and provide recommendations for where ideal monitoring vantage points would be in the Internet to achieve the best performance. To illustrate the utility of our methodology, we created a proof-of-concept cybersecurity analyst dashboard (with backend processing infrastructure) that uses a search engine interface to allow analysts to deobfuscate sources based on observed screen names and by providing packet captures from subsets of vantage points.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Restoring permutational invariance in the Jordan-Wigner transformation
Authors:
Thomas M Henderson,
Fei Gao,
Gustavo E. Scuseria
Abstract:
The Jordan-Wigner transformation is a powerful tool for converting systems of spins into systems of fermions, or vice versa. While this map** is exact, the transformation itself depends on the labeling of the spins. One consequence of this dependence is that approximate solutions of a Jordan-Wigner--transformed Hamiltonian may depend on the (physically inconsequential) labeling of the spins. In…
▽ More
The Jordan-Wigner transformation is a powerful tool for converting systems of spins into systems of fermions, or vice versa. While this map** is exact, the transformation itself depends on the labeling of the spins. One consequence of this dependence is that approximate solutions of a Jordan-Wigner--transformed Hamiltonian may depend on the (physically inconsequential) labeling of the spins. In this work, we turn to an extended Jordan-Wigner transformation which remedies this problem and which may also introduce some correlation atop the Hartree-Fock solution of a transformed spin Hamiltonian. We demonstrate that this extended Jordan-Wigner transformation can be thought of as arising from a unitary version of the Lie algebraic similarity transformation (LAST) theory. We show how these ideas, particularly in combination with the standard (non-unitary) version of LAST, can provide a potentially powerful tool for the treatment of the XXZ and $J_1-J_2$ Heisenberg Hamiltonians.
△ Less
Submitted 5 September, 2023; v1 submitted 27 July, 2023;
originally announced July 2023.
-
Serotonergic and noradrenergic contributions to human motor cortical and spinal motoneuronal excitability
Authors:
Jacob Thorstensen,
Tyler Henderson,
Justin Kavanagh
Abstract:
Animal models indicate that motor behaviour is shaped by monoamine neurotransmitters released diffusely throughout the brain and spinal cord. We present strong evidence that human motor pathways are equally affected by neuromodulation through noradrenergic and serotonergic projections arising from the brainstem. To do so, we have identified and collated human experiments examining the off-label ef…
▽ More
Animal models indicate that motor behaviour is shaped by monoamine neurotransmitters released diffusely throughout the brain and spinal cord. We present strong evidence that human motor pathways are equally affected by neuromodulation through noradrenergic and serotonergic projections arising from the brainstem. To do so, we have identified and collated human experiments examining the off-label effects of well-characterised serotonergic and noradrenergic drugs on lab-based electrophysiology measures of corticospinal-motoneuronal excitability. Specifically, we focus on the effects that serotonin and noradrenaline associated drugs have on muscle responses to magnetic or electrical stimulation of the motor cortex and peripheral nerves, and other closely related tests of motoneuron excitability, to best segment drug effects to a supraspinal or spinal locus. We find that serotonin enhancing drugs tend to reduce the excitability of the human motor cortex, but that augmented noradrenergic transmission increases motor cortical excitability by enhancing measures of intracortical facilitation and reducing inhibition. Both monoamines tend to enhance the excitability of human motoneurons. Overall, this work details the importance of neuromodulators for the output of human motor pathways and suggests that commonly prescribed monoaminergic drugs have off-label motor control uses outside of their typical psychiatric/neurological indications.
△ Less
Submitted 27 April, 2023;
originally announced May 2023.
-
Symmetry-projected cluster mean-field theory applied to spin systems
Authors:
Athanasios Papastathopoulos-Katsaros,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
We introduce $S_z$ spin-projection based on cluster mean-field theory and apply it to the ground state of strongly-correlated spin systems. In cluster mean-field, the ground state wavefunction is written as a factorized tensor product of optimized cluster states. In previous work, we have focused on unrestricted cluster mean-field, where each cluster is $S_z$ symmetry adapted. We here remove this…
▽ More
We introduce $S_z$ spin-projection based on cluster mean-field theory and apply it to the ground state of strongly-correlated spin systems. In cluster mean-field, the ground state wavefunction is written as a factorized tensor product of optimized cluster states. In previous work, we have focused on unrestricted cluster mean-field, where each cluster is $S_z$ symmetry adapted. We here remove this restriction by introducing a generalized cluster mean-field (GcMF) theory, where each cluster is allowed to access all $S_z$ sectors, breaking $S_z$ symmetry. In addition, a projection scheme is used to restore global $S_z$, which gives rise to $S_z$ spin-projected generalized cluster mean-field (S$_z$GcMF). Both of these extensions contribute to accounting for inter-cluster correlations. We benchmark these methods on the 1D, quasi-2D, and 2D $J_1-J_2$ and $XXZ$ Heisenberg models. Our results indicate that the new methods (GcMF and S$_z$GcMF) provide a qualitative and semi-quantitative description of the Heisenberg lattices in the regimes considered, suggesting them as useful references for further inter-cluster correlations, which are discussed in this work.
△ Less
Submitted 23 August, 2023; v1 submitted 25 April, 2023;
originally announced April 2023.
-
Quasi Real-Time Autonomous Satellite Detection and Orbit Estimation
Authors:
Jarred Jordan,
Daniel Posada,
Matthew Gillette,
David Zuehlke,
Troy Henderson
Abstract:
A method of near real-time detection and tracking of resident space objects (RSOs) using a convolutional neural network (CNN) and linear quadratic estimator (LQE) is proposed. Advances in machine learning architecture allow the use of low-power/cost embedded devices to perform complex classification tasks. In order to reduce the costs of tracking systems, a low-cost embedded device will be used to…
▽ More
A method of near real-time detection and tracking of resident space objects (RSOs) using a convolutional neural network (CNN) and linear quadratic estimator (LQE) is proposed. Advances in machine learning architecture allow the use of low-power/cost embedded devices to perform complex classification tasks. In order to reduce the costs of tracking systems, a low-cost embedded device will be used to run a CNN detection model for RSOs in unresolved images captured by a gray-scale camera and small telescope. Detection results computed in near real-time are then passed to an LQE to compute tracking updates for the telescope mount, resulting in a fully autonomous method of optical RSO detection and tracking. Keywords: Space Domain Awareness, Neural Networks, Real-Time, Object Detection, Embedded Systems.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Never a Dull Moment: Distributional Properties as a Baseline for Time-Series Classification
Authors:
Trent Henderson,
Annie G. Bryant,
Ben D. Fulcher
Abstract:
The variety of complex algorithmic approaches for tackling time-series classification problems has grown considerably over the past decades, including the development of sophisticated but challenging-to-interpret deep-learning-based methods. But without comparison to simpler methods it can be difficult to determine when such complexity is required to obtain strong performance on a given problem. H…
▽ More
The variety of complex algorithmic approaches for tackling time-series classification problems has grown considerably over the past decades, including the development of sophisticated but challenging-to-interpret deep-learning-based methods. But without comparison to simpler methods it can be difficult to determine when such complexity is required to obtain strong performance on a given problem. Here we evaluate the performance of an extremely simple classification approach -- a linear classifier in the space of two simple features that ignore the sequential ordering of the data: the mean and standard deviation of time-series values. Across a large repository of 128 univariate time-series classification problems, this simple distributional moment-based approach outperformed chance on 69 problems, and reached 100% accuracy on two problems. With a neuroimaging time-series case study, we find that a simple linear model based on the mean and standard deviation performs better at classifying individuals with schizophrenia than a model that additionally includes features of the time-series dynamics. Comparing the performance of simple distributional features of a time series provides important context for interpreting the performance of complex time-series classification models, which may not always be required to obtain high accuracy.
△ Less
Submitted 31 March, 2023;
originally announced March 2023.
-
Thermofield theory for finite-temperature electronic structure
Authors:
Gaurav Harsha,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
Wave-function methods have offered a robust, systematically improvable means to study ground-state properties in quantum many-body systems. Theories like coupled cluster and their derivatives provide highly accurate approximations to the energy landscape at a reasonable computational cost. Analogs of such methods to study thermal properties, though highly desirable, have been lacking because evalu…
▽ More
Wave-function methods have offered a robust, systematically improvable means to study ground-state properties in quantum many-body systems. Theories like coupled cluster and their derivatives provide highly accurate approximations to the energy landscape at a reasonable computational cost. Analogs of such methods to study thermal properties, though highly desirable, have been lacking because evaluating thermal properties involve a trace over the entire Hilbert space, which is a formidable task. Besides, excited-state theories are generally not as well studied as ground-state ones. In this mini-review, we present an overview of a finite-temperature wave function formalism based on thermofield dynamics to overcome these difficulties. Thermofield dynamics allows us to map the equilibrium thermal density matrix to a pure state, i.e., a single wave function, albeit in an expanded Hilbert space. Ensemble averages become expectation values over this so-called thermal state. Around this thermal state, we have developed a procedure to generalize ground-state wave function theories to finite temperatures. As explicit examples, we highlight formulations of mean-field, configuration interaction, and coupled cluster theories for thermal properties of fermions in the grand-canonical ensemble. To assess the quality of these approximations, we also show benchmark studies for the one-dimensional Hubbard model, while comparing against exact results. We will see that the thermal methods perform similarly to their ground-state counterparts, while merely adding a pre-factor to the asymptotic computational cost. They also inherit all the properties, good or bad, from the ground-state methods, signifying the robustness of our formalism and the scope for future development.
△ Less
Submitted 22 March, 2023;
originally announced March 2023.
-
Exploring Spin AGP Ansatze for Strongly Correlated Spin Systems
Authors:
Zhiyuan Liu,
Fei Gao,
Guo P. Chen,
Thomas M. Henderson,
Jorge Dukelsky,
Gustavo E. Scuseria
Abstract:
The antisymmetrized geminal power (AGP), a wave function equivalent to number-projected Hartree--Fock--Bogoliubov (HFB), and number-projected Bardeen--Cooper--Schrieffer (BCS) when working in the paired (natural orbitals) basis, has proven to be an excellent reference for strong pairing interactions. Several correlation methods have also been applied on top of AGP. In this work, we show how AGP ca…
▽ More
The antisymmetrized geminal power (AGP), a wave function equivalent to number-projected Hartree--Fock--Bogoliubov (HFB), and number-projected Bardeen--Cooper--Schrieffer (BCS) when working in the paired (natural orbitals) basis, has proven to be an excellent reference for strong pairing interactions. Several correlation methods have also been applied on top of AGP. In this work, we show how AGP can also be applied to spin systems by simply basing its formulation on a spin $su(2)$ algebra. We here implement spin AGP and spin AGP-based correlation techniques and benchmark them on the XXZ and $\mathrm{J_1-J_2}$ Heisenberg models, both in 1 and 2 dimensions. Our results indicate that spin AGP is a promising starting point for modeling spin systems.
△ Less
Submitted 25 August, 2023; v1 submitted 8 March, 2023;
originally announced March 2023.
-
Autonomous Local Catalog Maintenance of Close Proximity Satellite Systems on Closed Natural Motion Trajectories
Authors:
Christopher W. Hays,
Kristina Miller,
Alexander Soderlund,
Sean Phillips,
Troy Henderson
Abstract:
To enable space mission sets like on-orbit servicing and manufacturing, agents in close proximity maybe operating too close to yield resolved localization solutions to operators from ground sensors. This leads to a requirement on the systems need to maintain a catalog of their local neighborhood, however, this may impose a large burden on each agent by requiring updating and maintenance of this ca…
▽ More
To enable space mission sets like on-orbit servicing and manufacturing, agents in close proximity maybe operating too close to yield resolved localization solutions to operators from ground sensors. This leads to a requirement on the systems need to maintain a catalog of their local neighborhood, however, this may impose a large burden on each agent by requiring updating and maintenance of this catalog at each node. To alleviate this burden, this paper considers the case of a single satellite agent (a chief) updating a single catalog. More specifically, we consider the case of numerous satellite deputy agents in a local neighborhood of a chief, the goal of the chief satellite is to maintain and update a catalog of all agents within this neighborhood through onboard measurements. We consider the agents having relative translational and attitude motion dynamics between the chief and deputy, with the chief centered at the origin of the frame. We provide an end-to-end solution of the this problem through providing both a supervisory control method coupled with a Bayesian Filter that propagates the belief state and provides the catalog solutions to the supervisor. The goal of the supervisory controller is to determine which agent to look at and at which times while adhering to constraints of the chief satellite. We provide a numerical validation to this problem with three agents.
△ Less
Submitted 9 February, 2023; v1 submitted 1 February, 2023;
originally announced February 2023.
-
Strong-Weak Duality via Jordan-Wigner Transformation: Using Fermionic Methods for Strongly Correlated $su(2)$ Spin Systems
Authors:
Thomas M. Henderson,
Guo P. Chen,
Gustavo E. Scuseria
Abstract:
The Jordan-Wigner transformation establishes a duality between $su(2)$ and fermionic algebras. We present qualitative arguments and numerical evidence that when map** spins to fermions, the transformation makes strong correlation weaker, as demonstrated by the Hartree-Fock approximation to the transformed Hamiltonian. This result can be rationalized in terms of rank reduction of spin shift terms…
▽ More
The Jordan-Wigner transformation establishes a duality between $su(2)$ and fermionic algebras. We present qualitative arguments and numerical evidence that when map** spins to fermions, the transformation makes strong correlation weaker, as demonstrated by the Hartree-Fock approximation to the transformed Hamiltonian. This result can be rationalized in terms of rank reduction of spin shift terms when transformed to fermions. Conversely, the map** of fermions to qubits makes strong correlation stronger, complicating its solution when one uses qubit-based correlators. The presence of string operators poses challenges to the implementation of quantum chemistry methods on classical computers, but these can be dealt with using established techniques of low computational cost. Our proof of principle results for XXZ and J$_1$-J$_2$ Heisenberg (in 1D and 2D) indicate that the JW transformed fermionic Hamiltonian has reduced complexity in key regions of their phase diagrams, and provides a better starting point for addressing challenging spin problems.
△ Less
Submitted 20 October, 2022; v1 submitted 9 September, 2022;
originally announced September 2022.
-
Feature-Based Time-Series Analysis in R using the theft Package
Authors:
Trent Henderson,
Ben D. Fulcher
Abstract:
Time series are measured and analyzed across the sciences. One method of quantifying the structure of time series is by calculating a set of summary statistics or `features', and then representing a time series in terms of its properties as a feature vector. The resulting feature space is interpretable and informative, and enables conventional statistical learning approaches, including clustering,…
▽ More
Time series are measured and analyzed across the sciences. One method of quantifying the structure of time series is by calculating a set of summary statistics or `features', and then representing a time series in terms of its properties as a feature vector. The resulting feature space is interpretable and informative, and enables conventional statistical learning approaches, including clustering, regression, and classification, to be applied to time-series datasets. Many open-source software packages for computing sets of time-series features exist across multiple programming languages, including catch22 (22 features: Matlab, R, Python, Julia), feasts (42 features: R), tsfeatures (63 features: R), Kats (40 features: Python), tsfresh (779 features: Python), and TSFEL (390 features: Python). However, there are several issues: (i) a singular access point to these packages is not currently available; (ii) to access all feature sets, users must be fluent in multiple languages; and (iii) these feature-extraction packages lack extensive accompanying methodological pipelines for performing feature-based time-series analysis, such as applications to time-series classification. Here we introduce a solution to these issues in an R software package called theft: Tools for Handling Extraction of Features from Time series. theft is a unified and extendable framework for computing features from the six open-source time-series feature sets listed above. It also includes a suite of functions for processing and interpreting the performance of extracted features, including extensive data-visualization templates, low-dimensional projections, and time-series classification operations. With an increasing volume and complexity of time-series datasets in the sciences and industry, theft provides a standardized framework for comprehensively quantifying and interpreting informative structure in time series.
△ Less
Submitted 3 July, 2023; v1 submitted 12 August, 2022;
originally announced August 2022.
-
Orbital Acceleration Using Product of Exponentials
Authors:
Taylor Yow,
Christopher W. Hays,
Aryslan Malik,
Troy Henderson
Abstract:
The Product of Exponentials (PoE) formulation is most commonly used in the field of robotics, but has recently been adapted for use in describing orbital motion. The PoE formula for orbital mechanics is an alternate method for defining and drawing an orbit based on its orbital elements set. Currently the PoE formula for orbital mechanics has only been derived through the first derivative (velocity…
▽ More
The Product of Exponentials (PoE) formulation is most commonly used in the field of robotics, but has recently been adapted for use in describing orbital motion. The PoE formula for orbital mechanics is an alternate method for defining and drawing an orbit based on its orbital elements set. Currently the PoE formula for orbital mechanics has only been derived through the first derivative (velocity). This work explores the second derivative of the adapted PoE formula for orbital mechanics, which gives a more complete description of the orbital motion of a satellite in a two-body system. This comprehensive approach employs a unified approach to account for all six time-varying orbital elements, therefore broadening the scope of the research and applications.
△ Less
Submitted 29 July, 2022;
originally announced July 2022.
-
Initial Orbit Determination for the CR3BP using Particle Swarm Optimization
Authors:
David Zuehlke,
Taylor Yow,
Daniel Posada,
Joseph Nicolich,
Christopher W. Hays,
Aryslan Malik,
Troy Henderson
Abstract:
This work utilizes a particle swarm optimizer (PSO) for initial orbit determination for a chief and deputy scenario in the circular restricted three-body problem (CR3BP). The PSO is used to minimize the difference between actual and estimated observations and knowledge of the chief's position with known CR3BP dynamics to determine the deputy's initial state. Convergence is achieved through limitin…
▽ More
This work utilizes a particle swarm optimizer (PSO) for initial orbit determination for a chief and deputy scenario in the circular restricted three-body problem (CR3BP). The PSO is used to minimize the difference between actual and estimated observations and knowledge of the chief's position with known CR3BP dynamics to determine the deputy's initial state. Convergence is achieved through limiting particle starting positions to feasible positions based on the known chief position, and sensor constraints. Parallel and GPU processing methods are used to improve computation time and provide an accurate initial state estimate for a variety of cislunar orbit geometries.
△ Less
Submitted 23 July, 2022;
originally announced July 2022.
-
RGB-D Robotic Pose Estimation For a Servicing Robotic Arm
Authors:
Jared Herron,
Daniel Lopez,
Jarred Jordan,
Jillian Rudy,
Aryslan Malik,
Daniel Posada,
Mehran Andalibi,
Troy Henderson
Abstract:
A large number of robotic and human-assisted missions to the Moon and Mars are forecast. NASA's efforts to learn about the geology and makeup of these celestial bodies rely heavily on the use of robotic arms. The safety and redundancy aspects will be crucial when humans will be working alongside the robotic explorers. Additionally, robotic arms are crucial to satellite servicing and planned orbit…
▽ More
A large number of robotic and human-assisted missions to the Moon and Mars are forecast. NASA's efforts to learn about the geology and makeup of these celestial bodies rely heavily on the use of robotic arms. The safety and redundancy aspects will be crucial when humans will be working alongside the robotic explorers. Additionally, robotic arms are crucial to satellite servicing and planned orbit debris mitigation missions. The goal of this work is to create a custom Computer Vision (CV) based Artificial Neural Network (ANN) that would be able to rapidly identify the posture of a 7 Degree of Freedom (DoF) robotic arm from a single (RGB-D) image - just like humans can easily identify if an arm is pointing in some general direction. The Sawyer robotic arm is used for develo** and training this intelligent algorithm. Since Sawyer's joint space spans 7 dimensions, it is an insurmountable task to cover the entire joint configuration space. In this work, orthogonal arrays are used, similar to the Taguchi method, to efficiently span the joint space with the minimal number of training images. This ``optimally'' generated database is used to train the custom ANN and its degree of accuracy is on average equal to twice the smallest joint displacement step used for database generation. A pre-trained ANN will be useful for estimating the postures of robotic manipulators used on space stations, spacecraft, and rovers as an auxiliary tool or for contingency plans.
△ Less
Submitted 23 July, 2022;
originally announced July 2022.
-
Detection and Initial Assessment of Lunar Landing Sites Using Neural Networks
Authors:
Daniel Posada,
Jarred Jordan,
Angelica Radulovic,
Lillian Hong,
Aryslan Malik,
Troy Henderson
Abstract:
Robotic and human lunar landings are a focus of future NASA missions. Precision landing capabilities are vital to guarantee the success of the mission, and the safety of the lander and crew. During the approach to the surface there are multiple challenges associated with Hazard Relative Navigation to ensure safe landings. This paper will focus on a passive autonomous hazard detection and avoidance…
▽ More
Robotic and human lunar landings are a focus of future NASA missions. Precision landing capabilities are vital to guarantee the success of the mission, and the safety of the lander and crew. During the approach to the surface there are multiple challenges associated with Hazard Relative Navigation to ensure safe landings. This paper will focus on a passive autonomous hazard detection and avoidance sub-system to generate an initial assessment of possible landing regions for the guidance system. The system uses a single camera and the MobileNetV2 neural network architecture to detect and discern between safe landing sites and hazards such as rocks, shadows, and craters. Then a monocular structure from motion will recreate the surface to provide slope and roughness analysis.
△ Less
Submitted 23 July, 2022;
originally announced July 2022.
-
Satellite Detection in Unresolved Space Imagery for Space Domain Awareness Using Neural Networks
Authors:
Jarred Jordan,
Daniel Posada,
David Zuehlke,
Angelica Radulovic,
Aryslan Malik,
Troy Henderson
Abstract:
This work utilizes a MobileNetV2 Convolutional Neural Network (CNN) for fast, mobile detection of satellites, and rejection of stars, in cluttered unresolved space imagery. First, a custom database is created using imagery from a synthetic satellite image program and labeled with bounding boxes over satellites for "satellite-positive" images. The CNN is then trained on this database and the infere…
▽ More
This work utilizes a MobileNetV2 Convolutional Neural Network (CNN) for fast, mobile detection of satellites, and rejection of stars, in cluttered unresolved space imagery. First, a custom database is created using imagery from a synthetic satellite image program and labeled with bounding boxes over satellites for "satellite-positive" images. The CNN is then trained on this database and the inference is validated by checking the accuracy of the model on an external dataset constructed of real telescope imagery. In doing so, the trained CNN provides a method of rapid satellite identification for subsequent utilization in ground-based orbit estimation.
△ Less
Submitted 23 July, 2022;
originally announced July 2022.
-
Autonomous Satellite Detection and Tracking using Optical Flow
Authors:
David Zuehlke,
Daniel Posada,
Madhur Tiwari,
Troy Henderson
Abstract:
In this paper, an autonomous method of satellite detection and tracking in images is implemented using optical flow. Optical flow is used to estimate the image velocities of detected objects in a series of space images. Given that most objects in an image will be stars, the overall image velocity from star motion is used to estimate the image's frame-to-frame motion. Objects seen to be moving with…
▽ More
In this paper, an autonomous method of satellite detection and tracking in images is implemented using optical flow. Optical flow is used to estimate the image velocities of detected objects in a series of space images. Given that most objects in an image will be stars, the overall image velocity from star motion is used to estimate the image's frame-to-frame motion. Objects seen to be moving with velocity profiles distinct from the overall image velocity are then classified as potential resident space objects. The detection algorithm is exercised using both simulated star images and ground-based imagery of satellites. Finally, this algorithm will be tested and compared using a commercial and an open-source software approach to provide the reader with two different options based on their need.
△ Less
Submitted 14 April, 2022;
originally announced April 2022.
-
NASA/GSFC's Flight Software Core Flight System Implementation For A Lunar Surface Imaging Mission
Authors:
Mohammed Eleffendi,
Daniel Posada,
M. Ilhan Akbas,
Troy Henderson
Abstract:
The interest in returning to the Moon for research and exploration has increased as new tip** point technologies are providing the possibility to do so. One of these initiatives is the Artemis program by NASA, which plans to return humans by 2024 to the lunar surface and study water deposits on the surface. This program will also serve as a practice run to plan the logistics of sending humans to…
▽ More
The interest in returning to the Moon for research and exploration has increased as new tip** point technologies are providing the possibility to do so. One of these initiatives is the Artemis program by NASA, which plans to return humans by 2024 to the lunar surface and study water deposits on the surface. This program will also serve as a practice run to plan the logistics of sending humans to explore Mars. To return humans safely to the Moon, multiple technological advances and diverse knowledge about the nature of the lunar surface are needed. This paper will discuss the design and implementation of the flight software of EagleCam, a CubeSat camera system based on the free open-source core Flight System (cFS) architecture developed by NASA's Goddard Space Flight Center. EagleCam is a payload transported to the Moon by the Commercial Lunar Payload Services Nova-C lander developed by Intuitive Machines. The camera system will capture the first third-person view of a spacecraft performing a Moon landing and collect other scientific data such as plume interaction with the surface. The complete system is composed of the CubeSat and the deployer that will eject it. This will be the first time WiFi protocol is used on the Moon to establish a local communication network.
△ Less
Submitted 14 April, 2022;
originally announced April 2022.
-
Hazard Detection And Avoidance For The Nova-C Lander
Authors:
Joel Getchius,
Devin Renshaw,
Daniel Posada,
Troy Henderson,
Lillian Hong,
Shen Ge,
Giovanni Molina
Abstract:
In early 2022, Intuitive Machines' NOVA-C Lander will touch down on the lunar surface becoming the first commercial endeavor to visit a celestial body. NOVA-C will deliver six payloads to the lunar surface with various scientific and engineering objectives, ushering in a new era of commercial space exploration and utilization. However, to safely accomplish the mission, the NOVA-C lander must ensur…
▽ More
In early 2022, Intuitive Machines' NOVA-C Lander will touch down on the lunar surface becoming the first commercial endeavor to visit a celestial body. NOVA-C will deliver six payloads to the lunar surface with various scientific and engineering objectives, ushering in a new era of commercial space exploration and utilization. However, to safely accomplish the mission, the NOVA-C lander must ensure its landing site is free of hazards larger than 30 cm and the slope of local terrain at touchdown is less than 10 degrees off vertical. To accomplish this, NOVA-C utilizes Intuitive Machines' precision navigation system, coupled with machine vision algorithms for scene reduction and landing site characterization. A unique aspect to the NOVA-C approach is the real-time nature of the hazard detection and avoidance algorithms--which are performed 400 meters above and down range of the intended landing site and completed within 15 seconds. In this paper, we review the theoretical foundations for the hazard detection and avoidance algorithms, describe the practical challenges of implementation on the NOVA-C flight computer, and present test and analysis results.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
Modeling of an On-Orbit Maintenance Robotic Arm Test-Bed
Authors:
Jacob J. Korczyk,
Daniel Posada,
Aryslan Malik,
Troy Henderson
Abstract:
This paper focuses on the development of a ground-based test-bed to analyze the complexities of contact dynamics between multibody systems in space. The test-bed consists of an air-bearing platform equipped with a 7 degrees-of-freedom (one degree per revolute joint) robotic arm which acts as the servicing satellite. The dynamics of the manipulator on the platform is modeled as an aid for the analy…
▽ More
This paper focuses on the development of a ground-based test-bed to analyze the complexities of contact dynamics between multibody systems in space. The test-bed consists of an air-bearing platform equipped with a 7 degrees-of-freedom (one degree per revolute joint) robotic arm which acts as the servicing satellite. The dynamics of the manipulator on the platform is modeled as an aid for the analysis and design of stabilizing control algorithms suited for autonomous on-orbit servicing missions.
The dynamics are represented analytically using a recursive Newton-Euler multibody method with D-H parameters derived from the physical properties of the arm and platform. In addition, Product of Exponential (PoE) method is also employed to serve as a comparison with the D-H parameters approach. Finally, an independent numerical simulation created with the SimScape modeling environment is also presented as a means of verifying the accuracy of the recursive model and the PoE approach. The results from both models and SimScape are then validated through comparison with internal measurement data taken from the robotic arm itself.
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
Structural Design and Impact Analysis of a 1.5U CubeSat on the Lunar Surface
Authors:
Christopher W. Hays,
Daniel Posada,
Aryslan Malik,
Dalton Korczyk,
Ben Dafoe,
Troy Henderson
Abstract:
Ahead of the United States' crewed return to the moon in 2024, Intuitive Machines, under a NASA Commercial Lunar Payload Services contract, will land their Nova-C lunar lander in October 2021. At 30 meters altitude during the terminal descent, EagleCam will be deployed, and will capture and transmit the first-ever third-person images of a spacecraft making an extraterrestrial landing. This paper w…
▽ More
Ahead of the United States' crewed return to the moon in 2024, Intuitive Machines, under a NASA Commercial Lunar Payload Services contract, will land their Nova-C lunar lander in October 2021. At 30 meters altitude during the terminal descent, EagleCam will be deployed, and will capture and transmit the first-ever third-person images of a spacecraft making an extraterrestrial landing. This paper will focus on the structural design, modeling, and impact analysis of a 1.5U CubeSat payload to withstand a ballistic, soft-touch landing on the lunar surface.
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
Using Products of Exponentials to Define (Draw) Orbits and More
Authors:
Aryslan Malik,
Troy Henderson,
Richard Prazenica
Abstract:
The Product of Exponentials (PoE) formula is a mathematical tool that is used extensively in robotics. The virtue of using the exponential map**, Lie Algebra and screw theory is that it allows an elegant and concise way of describing the orientation and position of a body with respect to another body in a multi-body system. Although the PoE formula is mainly used in robotics, this work aims to d…
▽ More
The Product of Exponentials (PoE) formula is a mathematical tool that is used extensively in robotics. The virtue of using the exponential map**, Lie Algebra and screw theory is that it allows an elegant and concise way of describing the orientation and position of a body with respect to another body in a multi-body system. Although the PoE formula is mainly used in robotics, this work aims to demonstrate the utility of the PoE formula as an alternative method for defining and drawing orbits given an orbital elements set. The work also explores the first derivative of the adapted PoE formula in the framework of orbital mechanics, which allows obtaining the state of the satellite (position and velocity) from the orbital elements set using the developed formulation.
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
A Power Series Approximation in Symmetry Projected Coupled Cluster Theory
Authors:
Ruiheng Song,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
Projected Hartree-Fock theory provides an accurate description of many kinds of strong correlations but does not properly describe weakly-correlated systems. On the other hand, single-reference methods such as configuration interaction or coupled cluster theory can handle weakly-correlated problems but cannot properly account for strong correlations. Ideally, we would like to combine these approac…
▽ More
Projected Hartree-Fock theory provides an accurate description of many kinds of strong correlations but does not properly describe weakly-correlated systems. On the other hand, single-reference methods such as configuration interaction or coupled cluster theory can handle weakly-correlated problems but cannot properly account for strong correlations. Ideally, we would like to combine these approaches in a symmetry-projected coupled cluster approach, but this is far from straightforward. In this work, we provide an alternative formulation to identify the so-called disentangled cluster operators which arise when we combine these two methodological strands. Our formulation shows promising results for model systems and small molecules.
△ Less
Submitted 11 February, 2022;
originally announced February 2022.
-
Proof of Steak
Authors:
Jon Crowcroft,
Hamed Haddadi,
Arthur Gervais,
Tristan Henderson
Abstract:
We introduce Proof-of-Steak (PoS) as a fundamental net-zero block generation technique, often accompanied by Non-Frangipane Tokens. Genesis cut is gradually heated and minted (using the appropriate sauce), enabling the miners to redirect the extracted gold and the dissipated heat into the furnace, hence enabling the first fully-circular economy ever built using blockchain technology, utilising tam…
▽ More
We introduce Proof-of-Steak (PoS) as a fundamental net-zero block generation technique, often accompanied by Non-Frangipane Tokens. Genesis cut is gradually heated and minted (using the appropriate sauce), enabling the miners to redirect the extracted gold and the dissipated heat into the furnace, hence enabling the first fully-circular economy ever built using blockchain technology, utilising tamper-evident steak haché. In this paper we present the basic ingredients for building Proof-of-Steak, assessing its global impact, and opportunities to save the world and beyond!
△ Less
Submitted 13 December, 2021;
originally announced December 2021.
-
An Empirical Evaluation of Time-Series Feature Sets
Authors:
Trent Henderson,
Ben D. Fulcher
Abstract:
Solving time-series problems with features has been rising in popularity due to the availability of software for feature extraction. Feature-based time-series analysis can now be performed using many different feature sets, including hctsa (7730 features: Matlab), feasts (42 features: R), tsfeatures (63 features: R), Kats (40 features: Python), tsfresh (up to 1558 features: Python), TSFEL (390 fea…
▽ More
Solving time-series problems with features has been rising in popularity due to the availability of software for feature extraction. Feature-based time-series analysis can now be performed using many different feature sets, including hctsa (7730 features: Matlab), feasts (42 features: R), tsfeatures (63 features: R), Kats (40 features: Python), tsfresh (up to 1558 features: Python), TSFEL (390 features: Python), and the C-coded catch22 (22 features: Matlab, R, Python, and Julia). There is substantial overlap in the types of methods included in these sets (e.g., properties of the autocorrelation function and Fourier power spectrum), but they are yet to be systematically compared. Here we compare these seven sets on computational speed, assess the redundancy of features contained in each, and evaluate the overlap and redundancy between them. We take an empirical approach to feature similarity based on outputs across a diverse set of real-world and simulated time series. We find that feature sets vary across three orders of magnitude in their computation time per feature on a laptop for a 1000-sample series, from the fastest sets catch22 and TSFEL (~0.1ms per feature) to tsfeatures (~3s per feature). Using PCA to evaluate feature redundancy within each set, we find the highest within-set redundancy for TSFEL and tsfresh. For example, in TSFEL, 90% of the variance across 390 features can be captured with just four PCs. Finally, we introduce a metric for quantifying overlap between pairs of feature sets, which indicates substantial overlap. We found that the largest feature set, hctsa, is the most comprehensive, and that tsfresh is the most distinctive, due to its incorporation of many low-level Fourier coefficients. Our results provide empirical understanding of the differences between existing feature sets, information that can be used to better tailor feature sets to their applications.
△ Less
Submitted 21 October, 2021;
originally announced October 2021.
-
CRANE: a 10 Degree-of-Freedom, Tele-surgical System for Dexterous Manipulation within Imaging Bores
Authors:
Dimitri A. Schreiber,
Zhaowei Yu,
Hanpeng Jiang,
Taylor Henderson,
Guosong Li,
Julie Yu,
Renjie Zhu,
Alexander M. Norbash,
Michael C. Yip
Abstract:
Physicians perform minimally invasive percutaneous procedures under Computed Tomography (CT) image guidance both for the diagnosis and treatment of numerous diseases. For these procedures performed within Computed Tomography Scanners, robots can enable physicians to more accurately target sub-dermal lesions while increasing safety. However, existing robots for this application have limited dexteri…
▽ More
Physicians perform minimally invasive percutaneous procedures under Computed Tomography (CT) image guidance both for the diagnosis and treatment of numerous diseases. For these procedures performed within Computed Tomography Scanners, robots can enable physicians to more accurately target sub-dermal lesions while increasing safety. However, existing robots for this application have limited dexterity, workspace, or accuracy. This paper describes the design, manufacture, and performance of a highly dexterous, low-profile, 8+2 Degree-ofFreedom (DoF) robotic arm for CT guided percutaneous needle biopsy. In this article, we propose CRANE: CT Robot and Needle Emplacer. The design focuses on system dexterity with high accuracy: extending physicians' ability to manipulate and insert needles within the scanner bore while providing the high accuracy possible with a robot. We also propose and validate a system architecture and control scheme for low profile and highly accurate image-guided robotics, that meets the clinical requirements for target accuracy during an in-situ evaluation. The accuracy is additionally evaluated through a trajectory tracking evaluation resulting in <0.2mm and <0.71degree tracking error. Finally, we present a novel needle driving and gras** mechanism with controlling electronics that provides simple manufacturing, sterilization, and adaptability to accommodate different sizes and types of needles.
△ Less
Submitted 17 March, 2022; v1 submitted 27 September, 2021;
originally announced September 2021.
-
Thermal coupled cluster theory for SU(2) systems
Authors:
Gaurav Harsha,
Yi Xu,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
Coupled cluster (CC) has established itself as a powerful theory to study correlated quantum many-body systems. Finite-temperature generalizations of CC theory have attracted considerable interest and have been shown to work as nicely as the ground-state theory. However, most of these recent developments address only fermionic or bosonic systems. The distinct structure of the $su(2)$ algebra requi…
▽ More
Coupled cluster (CC) has established itself as a powerful theory to study correlated quantum many-body systems. Finite-temperature generalizations of CC theory have attracted considerable interest and have been shown to work as nicely as the ground-state theory. However, most of these recent developments address only fermionic or bosonic systems. The distinct structure of the $su(2)$ algebra requires the development of a similar thermal CC theory for spin degrees of freedom. In this paper, we provide a formulation of our thermofield-inspired thermal CC for SU(2) systems. We apply the thermal CC to the Lipkin-Meshkov-Glick system as well as the one-dimensional transverse field Ising model as benchmark applications to highlight the accuracy of thermal CC in the study of finite-temperature phase diagrams in SU(2) systems.
△ Less
Submitted 31 January, 2022; v1 submitted 16 July, 2021;
originally announced July 2021.
-
Wave transport and localization in prime number landscapes
Authors:
Luca Dal Negro,
David Taylor Henderson,
Fabrizio Sgrignuoli
Abstract:
In this paper, we study the wave transport and localization properties of novel aperiodic structures that manifest the intrinsic complexity of prime number distributions in imaginary quadratic fields. In particular, we address structure-property relationships and wave scattering through the prime elements of the nine imaginary quadratic fields (i.e., of their associated rings of integers) with cla…
▽ More
In this paper, we study the wave transport and localization properties of novel aperiodic structures that manifest the intrinsic complexity of prime number distributions in imaginary quadratic fields. In particular, we address structure-property relationships and wave scattering through the prime elements of the nine imaginary quadratic fields (i.e., of their associated rings of integers) with class number one, which are unique factorization domains (UFDs). Our theoretical analysis combines the rigorous Green's matrix solution of the multiple scattering problem with the interdisciplinary methods of spatial statistics and graph theory analysis of point patterns to unveil the relevant structural properties that produce wave localization effects. The onset of a Delocalization-Localization Transition (DLT) is demonstrated by a comprehensive study of the spectral properties of the Green's matrix and the Thouless number as a function of their optical density. Furthermore, we employ Multifractal Detrended Fluctuation Analysis (MDFA) to establish the multifractal scaling of the local density of states in these complex structures and we discover a direct connection between localization, multifractality, and graph connectivity properties. Finally, we use a semi-classical approach to demonstrate and characterize the strong coupling regime of quantum emitters embedded in these novel aperiodic environments. Our study provides access to engineering design rules for the fabrication of novel and more efficient classical and quantum sources as well as photonic devices with enhanced light-matter interaction based on the intrinsic structural complexity of prime numbers in algebraic fields.
△ Less
Submitted 16 June, 2021;
originally announced June 2021.
-
Data-driven Actuator Selection for Artificial Muscle-Powered Robots
Authors:
Taylor West Henderson,
Yuheng Zhi,
Angela Liu,
Michael C. Yip
Abstract:
Even though artificial muscles have gained popularity due to their compliant, flexible, and compact properties, there currently does not exist an easy way of making informed decisions on the appropriate actuation strategy when designing a muscle-powered robot; thus limiting the transition of such technologies into broader applications. What's more, when a new muscle actuation technology is develop…
▽ More
Even though artificial muscles have gained popularity due to their compliant, flexible, and compact properties, there currently does not exist an easy way of making informed decisions on the appropriate actuation strategy when designing a muscle-powered robot; thus limiting the transition of such technologies into broader applications. What's more, when a new muscle actuation technology is developed, it is difficult to compare it against existing robot muscles. To accelerate the development of artificial muscle applications, we propose a data driven approach for robot muscle actuator selection using Support Vector Machines (SVM). This first-of-its-kind method gives users gives users insight into which actuators fit their specific needs and actuation performance criteria, making it possible for researchers and engineer with little to no prior knowledge of artificial muscles to focus on application design. It also provides a platform to benchmark existing, new, or yet-to-be-discovered artificial muscle technologies. We test our method on unseen existing robot muscle designs to prove its usability on real-world applications. We provide an open-access, web-searchable interface for easy access to our models that will additionally allow for continuous contribution of new actuator data from groups around the world to enhance and expand these models.
△ Less
Submitted 14 April, 2021;
originally announced April 2021.
-
Coupled cluster and perturbation theories based on a cluster mean-field reference applied to strongly correlated spin systems
Authors:
Athanasios Papastathopoulos-Katsaros,
Carlos A. Jiménez-Hoyos,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
We introduce perturbation and coupled-cluster theories based on a cluster mean-field reference for describing the ground state of strongly-correlated spin systems. In cluster mean-field, the ground state wavefunction is written as a simple tensor product of optimized cluster states. The cluster language and the mean-field nature of the ansatz allows for a straightforward improvement which uses per…
▽ More
We introduce perturbation and coupled-cluster theories based on a cluster mean-field reference for describing the ground state of strongly-correlated spin systems. In cluster mean-field, the ground state wavefunction is written as a simple tensor product of optimized cluster states. The cluster language and the mean-field nature of the ansatz allows for a straightforward improvement which uses perturbation theory and coupled-cluster to account for inter-cluster correlations. We present benchmark calculations on the 1D chain and 2D square $J_1-J_2$ Heisenberg model, using cluster mean-field, perturbation theory and coupled-cluster. We also present an extrapolation scheme that allows us to compute thermodynamic limit energies accurately. Our results indicate that, with sufficiently large clusters, the correlated methods (cPT2, cPT4 and cCCSD) can provide a relatively accurate description of the Heisenberg model in the regimes considered, which suggests that the methods presented can be used for other strongly-correlated systems. Some ways to improve upon the methods presented in this work are discussed.
△ Less
Submitted 22 June, 2022; v1 submitted 19 February, 2021;
originally announced February 2021.
-
Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques
Authors:
Yigit Kucuk,
Tim A. D. Henderson,
Andy Podgurski
Abstract:
Statistical fault localization (SFL) techniques use execution profiles and success/failure information from software executions, in conjunction with statistical inference, to automatically score program elements based on how likely they are to be faulty. SFL techniques typically employ one type of profile data: either coverage data, predicate outcomes, or variable values. Most SFL techniques actua…
▽ More
Statistical fault localization (SFL) techniques use execution profiles and success/failure information from software executions, in conjunction with statistical inference, to automatically score program elements based on how likely they are to be faulty. SFL techniques typically employ one type of profile data: either coverage data, predicate outcomes, or variable values. Most SFL techniques actually measure correlation, not causation, between profile values and success/failure, and so they are subject to confounding bias that distorts the scores they produce. This paper presents a new SFL technique, named \emph{UniVal}, that uses causal inference techniques and machine learning to integrate information about both predicate outcomes and variable values to more accurately estimate the true failure-causing effect of program statements. \emph{UniVal} was empirically compared to several coverage-based, predicate-based, and value-based SFL techniques on 800 program versions with real faults.
△ Less
Submitted 11 February, 2021;
originally announced February 2021.
-
Construction of linearly independent non-orthogonal AGP states
Authors:
Rishab Dutta,
Guo P. Chen,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
We show how to construct a linearly independent set of antisymmetrized geminal power (AGP) states, which allows us to rewrite our recently introduced geminal replacement models as linear combinations of non-orthogonal AGPs. This greatly simplifies the evaluation of matrix elements and permits us to introduce an AGP-based selective configuration interaction method, which can reach arbitrary excitat…
▽ More
We show how to construct a linearly independent set of antisymmetrized geminal power (AGP) states, which allows us to rewrite our recently introduced geminal replacement models as linear combinations of non-orthogonal AGPs. This greatly simplifies the evaluation of matrix elements and permits us to introduce an AGP-based selective configuration interaction method, which can reach arbitrary excitation levels relative to a reference AGP, balancing accuracy and cost as we see fit.
△ Less
Submitted 10 March, 2021; v1 submitted 21 January, 2021;
originally announced January 2021.
-
Exploring non-linear correlators on AGP
Authors:
Armin Khamoshi,
Guo P. Chen,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
Single-reference methods such as Hartree-Fock-based coupled cluster theory are well known for their accuracy and efficiency for weakly correlated systems. For strongly correlated systems, more sophisticated methods are needed. Recent studies have revealed the potential of the antisymmetrized geminal power (AGP) as an excellent initial reference for the strong correlation problem. While these studi…
▽ More
Single-reference methods such as Hartree-Fock-based coupled cluster theory are well known for their accuracy and efficiency for weakly correlated systems. For strongly correlated systems, more sophisticated methods are needed. Recent studies have revealed the potential of the antisymmetrized geminal power (AGP) as an excellent initial reference for the strong correlation problem. While these studies improved on AGP by linear correlators, we explore some non-linear exponential ansatze in this paper. We investigate two approaches in particular. Similar to Phys. Rev. B 91, 041114(R) (2015), we show that the similarity transformed Hamiltonian with a Hilbert-space Jastrow operator is summable to all orders and can be solved over AGP by projecting Schrodinger's equation. The second approach is based on approximating the unitary pair-hopper ansatz recently proposed for application on a quantum computer. We report benchmark numerical calculations against the ground state of the pairing Hamiltonian for both of these approaches.
△ Less
Submitted 21 February, 2021; v1 submitted 3 December, 2020;
originally announced December 2020.
-
Geminal replacement models based on AGP
Authors:
Rishab Dutta,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
The antisymmetrized geminal power (AGP) wavefunction has a long history and is known by different names in various chemical and physical problems. There has been recent interest in using AGP as a starting point for strongly correlated electrons. Here, we show that in a seniority-conserving regime, different AGP based correlator representations based on generators of the algebra, killing operators,…
▽ More
The antisymmetrized geminal power (AGP) wavefunction has a long history and is known by different names in various chemical and physical problems. There has been recent interest in using AGP as a starting point for strongly correlated electrons. Here, we show that in a seniority-conserving regime, different AGP based correlator representations based on generators of the algebra, killing operators, and geminal replacement operators are all equivalent. We implement one representation that uses number operators as correlators and has linearly independent curvilinear metrics to distinguish the regions of Hilbert space. This correlation method called J-CI, provides excellent accuracy in energies when applied to the pairing Hamiltonian.
△ Less
Submitted 11 September, 2020; v1 submitted 2 August, 2020;
originally announced August 2020.
-
Wave function methods for canonical ensemble thermal averages in correlated many-fermion systems
Authors:
Gaurav Harsha,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
We present a wave function representation for the canonical ensemble thermal density matrix by projecting the thermofield double state against the desired number of particles. The resulting canonical thermal state obeys an imaginary time-evolution equation. Starting with the mean-field approximation, where the canonical thermal state becomes an antisymmetrized geminal power wave function, we explo…
▽ More
We present a wave function representation for the canonical ensemble thermal density matrix by projecting the thermofield double state against the desired number of particles. The resulting canonical thermal state obeys an imaginary time-evolution equation. Starting with the mean-field approximation, where the canonical thermal state becomes an antisymmetrized geminal power wave function, we explore two different schemes to add correlation: by number-projecting a correlated grand-canonical thermal state, and by adding correlation to the number-projected mean-field state. As benchmark examples, we use number-projected configuration interaction and an AGP-based perturbation theory to study the Hydrogen molecule in a minimal basis and the six-site Hubbard model.
△ Less
Submitted 9 September, 2020; v1 submitted 22 July, 2020;
originally announced July 2020.
-
Correlating the Antisymmetrized Geminal Power Wave Function
Authors:
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
Strong pairing correlations are responsible for superconductivity and off-diagonal long range order in the two-particle density matrix. The antisymmetrized geminal power wave function was championed many years ago as the simplest model that can provide a reasonable qualitative description for these correlations without breaking number symmetry. The fact remains, however, that the antisymmetrized g…
▽ More
Strong pairing correlations are responsible for superconductivity and off-diagonal long range order in the two-particle density matrix. The antisymmetrized geminal power wave function was championed many years ago as the simplest model that can provide a reasonable qualitative description for these correlations without breaking number symmetry. The fact remains, however, that the antisymmetrized geminal power is not generally quantitatively accurate in all correlation regimes. In this work, we discuss how we might use this wave function as a reference state for a more sophisticated correlation technique such as configuration interaction, coupled cluster theory, or the random phase approximation.
△ Less
Submitted 5 August, 2020; v1 submitted 7 July, 2020;
originally announced July 2020.
-
An Investigation of COVID-19 Spreading Factors with Explainable AI Techniques
Authors:
Xiuyi Fan,
Siyuan Liu,
Jiarong Chen,
Thomas C. Henderson
Abstract:
Since COVID-19 was first identified in December 2019, various public health interventions have been implemented across the world. As different measures are implemented at different countries at different times, we conduct an assessment of the relative effectiveness of the measures implemented in 18 countries and regions using data from 22/01/2020 to 02/04/2020. We compute the top one and two measu…
▽ More
Since COVID-19 was first identified in December 2019, various public health interventions have been implemented across the world. As different measures are implemented at different countries at different times, we conduct an assessment of the relative effectiveness of the measures implemented in 18 countries and regions using data from 22/01/2020 to 02/04/2020. We compute the top one and two measures that are most effective for the countries and regions studied during the period. Two Explainable AI techniques, SHAP and ECPI, are used in our study; such that we construct (machine learning) models for predicting the instantaneous reproduction number ($R_t$) and use the models as surrogates to the real world and inputs that the greatest influence to our models are seen as measures that are most effective. Across-the-board, city lockdown and contact tracing are the two most effective measures. For ensuring $R_t<1$, public wearing face masks is also important. Mass testing alone is not the most effective measure although when paired with other measures, it can be effective. Warm temperature helps for reducing the transmission.
△ Less
Submitted 5 May, 2020;
originally announced May 2020.
-
Explainable AI for Classification using Probabilistic Logic Inference
Authors:
Xiuyi Fan,
Siyuan Liu,
Thomas C. Henderson
Abstract:
The overarching goal of Explainable AI is to develop systems that not only exhibit intelligent behaviours, but also are able to explain their rationale and reveal insights. In explainable machine learning, methods that produce a high level of prediction accuracy as well as transparent explanations are valuable. In this work, we present an explainable classification method. Our method works by firs…
▽ More
The overarching goal of Explainable AI is to develop systems that not only exhibit intelligent behaviours, but also are able to explain their rationale and reveal insights. In explainable machine learning, methods that produce a high level of prediction accuracy as well as transparent explanations are valuable. In this work, we present an explainable classification method. Our method works by first constructing a symbolic Knowledge Base from the training data, and then performing probabilistic inferences on such Knowledge Base with linear programming. Our approach achieves a level of learning performance comparable to that of traditional classifiers such as random forests, support vector machines and neural networks. It identifies decisive features that are responsible for a classification as explanations and produces results similar to the ones found by SHAP, a state of the art Shapley Value based method. Our algorithms perform well on a range of synthetic and non-synthetic data sets.
△ Less
Submitted 5 May, 2020;
originally announced May 2020.
-
On a dual representation of the Goldstone manifold
Authors:
Carlos A. Jiménez-Hoyos,
Rayner R. Rodríguez-Guzmán,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
An intrinsic wavefunction with a broken continuous symmetry can be rotated with no energy penalty leading to an infinite set of degenerate states known as a Goldstone manifold. In this work, we show that a dual representation of such manifold exists that is sampled by an infinite set of non-degenerate states. A proof that both representations are equivalent is provided. From the work of Peierls an…
▽ More
An intrinsic wavefunction with a broken continuous symmetry can be rotated with no energy penalty leading to an infinite set of degenerate states known as a Goldstone manifold. In this work, we show that a dual representation of such manifold exists that is sampled by an infinite set of non-degenerate states. A proof that both representations are equivalent is provided. From the work of Peierls and Yoccoz (Proc. Phys. Soc. A {\bf 70}, 381 (1957)), it is known that collective states with good symmetries can be obtained from the Goldstone manifold using a generator coordinate trial wavefunction. We show that an analogous generator coordinate can be used in the dual representation; we provide numerical evidence using an intrinsic wavefunction with particle number symmetry-breaking for the electronic structure of the Be atom and one with $\hat{S}^z$ symmetry-breaking for a H$_5$ ring. We discuss how the dual representation can be used to evaluate expectation values of symmetry-projected states when the norm $|\langle Φ| \hat{P}^q | Φ\rangle|$ becomes very small.
△ Less
Submitted 10 April, 2020;
originally announced April 2020.
-
Automating dynamic consent decisions for the processing of social media data in health research
Authors:
Chris Norval,
Tristan Henderson
Abstract:
Social media have become a rich source of data, particularly in health research. Yet, the use of such data raises significant ethical questions about the need for the informed consent of those being studied. Consent mechanisms, if even obtained, are typically broad and inflexible, or place a significant burden on the participant. Machine learning algorithms show much promise for facilitating a 'mi…
▽ More
Social media have become a rich source of data, particularly in health research. Yet, the use of such data raises significant ethical questions about the need for the informed consent of those being studied. Consent mechanisms, if even obtained, are typically broad and inflexible, or place a significant burden on the participant. Machine learning algorithms show much promise for facilitating a 'middle ground' approach: using trained models to predict and automate granular consent decisions. Such techniques, however, raise a myriad of follow-on ethical and technical considerations. In this paper, we present an exploratory user study (n = 67) in which we find that we can predict the appropriate flow of health-related social media data with reasonable accuracy, while minimising undesired data leaks. We then attempt to deconstruct the findings of this study, identifying and discussing a number of real-world implications if such a technique were put into practice.
△ Less
Submitted 11 October, 2019;
originally announced October 2019.
-
Efficient evaluation of AGP reduced density matrices
Authors:
Armin Khamoshi,
Thomas Henderson,
Gustavo Scuseria
Abstract:
We propose and implement an algorithm to calculate the norm and reduced density matrices of the antisymmetrized geminal power (AGP) of any rank with polynomial cost. Our method scales quadratically per element of the reduced density matrices. Numerical tests indicate that our method is very fast and capable of treating systems with a few thousand orbitals and hundreds of electrons reliably in doub…
▽ More
We propose and implement an algorithm to calculate the norm and reduced density matrices of the antisymmetrized geminal power (AGP) of any rank with polynomial cost. Our method scales quadratically per element of the reduced density matrices. Numerical tests indicate that our method is very fast and capable of treating systems with a few thousand orbitals and hundreds of electrons reliably in double-precision. In addition, we present reconstruction formulae that allows one to decompose higher order reduced density matrices in terms of linear combinations of lower order ones, thereby reducing the computational cost significantly.
△ Less
Submitted 25 October, 2019; v1 submitted 13 September, 2019;
originally announced September 2019.
-
Thermofield theory for finite-temperature coupled cluster
Authors:
Gaurav Harsha,
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
We present a coupled cluster and linear response theory to compute properties of many-electron systems at non-zero temperatures. For this purpose, we make use of the thermofield dynamics, which allows for a compact wavefunction representation of the thermal density matrix, and extend our recently developed framework [J. Chem. Phys. 150, 154109 (2019)] to parameterize the so-called thermal state us…
▽ More
We present a coupled cluster and linear response theory to compute properties of many-electron systems at non-zero temperatures. For this purpose, we make use of the thermofield dynamics, which allows for a compact wavefunction representation of the thermal density matrix, and extend our recently developed framework [J. Chem. Phys. 150, 154109 (2019)] to parameterize the so-called thermal state using an exponential ansatz with cluster operators that create thermal quasiparticle excitations on a mean-field reference. As benchmark examples, we apply this method to both model (one-dimensional Hubbard and Pairing) as well as ab-initio (atomic Beryllium and molecular Hydrogen) systems, while comparing with exact results.
△ Less
Submitted 22 October, 2019; v1 submitted 25 July, 2019;
originally announced July 2019.
-
Geminal-Based Configuration Interaction
Authors:
Thomas M. Henderson,
Gustavo E. Scuseria
Abstract:
The antisymmetrized geminal power (AGP) wave function has a long history and considerable conceptual appeal, but in many situations its accuracy is wanting. Here, we consider a form of configuration interaction (CI) based upon the AGP wave function and taking advantage of its killing operators to construct an excitation manifold. Our geminal CI reduces to standard single-determinant--based CI in t…
▽ More
The antisymmetrized geminal power (AGP) wave function has a long history and considerable conceptual appeal, but in many situations its accuracy is wanting. Here, we consider a form of configuration interaction (CI) based upon the AGP wave function and taking advantage of its killing operators to construct an excitation manifold. Our geminal CI reduces to standard single-determinant--based CI in the limit in which AGP reduces to a single determinant. It substantially improves upon AGP in the reduced BCS Hamiltonian, which serves as a prototype for the kinds of strong pairing correlations relevant in Bardeen-Cooper-Schrieffer--style superconductivity. Moreover, our geminal CI naturally generalizes to add correlation to more general geminal-based wave functions than AGP.
△ Less
Submitted 16 July, 2019; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Audio Transport: A Generalized Portamento via Optimal Transport
Authors:
Trevor Henderson,
Justin Solomon
Abstract:
This paper proposes a new method to interpolate between two audio signals. As an interpolation parameter is changed, the pitches in one signal slide to the pitches in the other, producing a portamento, or musical glide. The assignment of pitches in one sound to pitches in the other is accomplished by solving a 1-dimensional optimal transport problem. In addition, we introduce several techniques th…
▽ More
This paper proposes a new method to interpolate between two audio signals. As an interpolation parameter is changed, the pitches in one signal slide to the pitches in the other, producing a portamento, or musical glide. The assignment of pitches in one sound to pitches in the other is accomplished by solving a 1-dimensional optimal transport problem. In addition, we introduce several techniques that preserve the audio fidelity over this highly non-linear transformation.
A portamento is a natural way for a musician to transition between notes, but traditionally it has only been possible for instruments with a continuously variable pitch like the human voice or the violin. Audio transport extends the portamento to any instrument, even polyphonic ones. Moreover, the effect can be used to transition between different instruments, groups of instruments, or really any transient-less audio signals. The audio transport effect operates in real-time; we open-source implementation is provided. In experiments with sinusoidal inputs, the interpolating effect is indistinguishable from ideal sine sweeps. In general, the effect produces clear, musical results for a wide variety of inputs.
△ Less
Submitted 16 June, 2019;
originally announced June 2019.
-
Composing Task-Agnostic Policies with Deep Reinforcement Learning
Authors:
Ahmed H. Qureshi,
Jacob J. Johnson,
Yuzhe Qin,
Taylor Henderson,
Byron Boots,
Michael C. Yip
Abstract:
The composition of elementary behaviors to solve challenging transfer learning problems is one of the key elements in building intelligent machines. To date, there has been plenty of work on learning task-specific policies or skills but almost no focus on composing necessary, task-agnostic skills to find a solution to new problems. In this paper, we propose a novel deep reinforcement learning-base…
▽ More
The composition of elementary behaviors to solve challenging transfer learning problems is one of the key elements in building intelligent machines. To date, there has been plenty of work on learning task-specific policies or skills but almost no focus on composing necessary, task-agnostic skills to find a solution to new problems. In this paper, we propose a novel deep reinforcement learning-based skill transfer and composition method that takes the agent's primitive policies to solve unseen tasks. We evaluate our method in difficult cases where training policy through standard reinforcement learning (RL) or even hierarchical RL is either not feasible or exhibits high sample complexity. We show that our method not only transfers skills to new problem settings but also solves the challenging environments requiring both task planning and motion control with high data efficiency.
△ Less
Submitted 30 December, 2019; v1 submitted 25 May, 2019;
originally announced May 2019.