Showing 1–13 of 13 results for author: Khasawneh, F

Dynamical System Parameter Path Optimization using Persistent Homology

Authors: Max M. Chumley, Firas A. Khasawneh

Abstract: Nonlinear dynamical systems are complex and typically only simple systems can be analytically studied. In applications, these systems are usually defined with a set of tunable parameters and as the parameters are varied the system response undergoes significant topological changes or bifurcations. In a high dimensional parameter space, it is difficult to determine which direction to vary the syste… ▽ More Nonlinear dynamical systems are complex and typically only simple systems can be analytically studied. In applications, these systems are usually defined with a set of tunable parameters and as the parameters are varied the system response undergoes significant topological changes or bifurcations. In a high dimensional parameter space, it is difficult to determine which direction to vary the system parameters to achieve a desired system response or state. In this paper, we introduce a new approach for optimally navigating a dynamical system parameter space that is rooted in topological data analysis. Specifically we use the differentiability of persistence diagrams to define a topological language for intuitively promoting or deterring different topological features in the state space response of a dynamical system and use gradient descent to optimally move from one point in the parameter space to another. The end result is a path in this space that guides the system to a set of parameters that yield the desired topological features defined by the loss function. We show a number of examples by applying the methods to different dynamical systems and scenarios to demonstrate how to promote different features and how to choose the hyperparameters to achieve different outcomes. △ Less

Submitted 1 May, 2025; originally announced May 2025.

Comments: 18 pages, 24 figures

Use of Topological Data Analysis for the Detection of Phenomenological Bifurcations in Stochastic Epidemiological Models

Authors: Sunia Tanweer, Konstantinos Mamis, Firas A. Khasawneh

Abstract: We investigate predictions of stochastic compartmental models on the severity of disease outbreaks. The models we consider are the Susceptible-Infected-Susceptible (SIS) for bacterial infections, and the Susceptible -Infected-Removed (SIR) for airborne diseases. Stochasticity enters the compartmental models as random fluctuations of the contact rate, to account for uncertainties in the disease spr… ▽ More We investigate predictions of stochastic compartmental models on the severity of disease outbreaks. The models we consider are the Susceptible-Infected-Susceptible (SIS) for bacterial infections, and the Susceptible -Infected-Removed (SIR) for airborne diseases. Stochasticity enters the compartmental models as random fluctuations of the contact rate, to account for uncertainties in the disease spread. We consider three types of noise to model the random fluctuations: the Gaussian white and Ornstein-Uhlenbeck noises, and the logarithmic Ornstein-Uhlenbeck (logOU). The advantages of logOU noise are its positivity and its ability to model the presence of superspreaders. We utilize homological bifurcation plots from Topological Data Analysis to automatically determine the shape of the long-time distributions of the number of infected for the SIS, and removed for the SIR model, over a range of basic reproduction numbers and relative noise intensities. LogOU noise results in distributions that stay close to the endemic deterministic equilibrium even for high noise intensities. For low reproduction rates and increasing intensity, the distribution peak shifts towards zero, that is, disease eradication, for all three noises; for logOU noise the shift is the slowest. Our study underlines the sensitivity of model predictions to the type of noise considered in contact rate. △ Less

Submitted 16 April, 2025; originally announced April 2025.

Comments: 27 pages, 20 figures

Topological Approach for Data Assimilation

Authors: Max M. Chumley, Firas A. Khasawneh

Abstract: Many dynamical systems are difficult or impossible to model using high fidelity physics based models. Consequently, researchers are relying more on data driven models to make predictions and forecasts. Based on limited training data, machine learning models often deviate from the true system states over time and need to be continually updated as new measurements are taken using data assimilation.… ▽ More Many dynamical systems are difficult or impossible to model using high fidelity physics based models. Consequently, researchers are relying more on data driven models to make predictions and forecasts. Based on limited training data, machine learning models often deviate from the true system states over time and need to be continually updated as new measurements are taken using data assimilation. Classical data assimilation algorithms typically require knowledge of the measurement noise statistics which may be unknown. In this paper, we introduce a new data assimilation algorithm with a foundation in topological data analysis. By leveraging the differentiability of functions of persistence, gradient descent optimization is used to minimize topological differences between measurements and forecast predictions by tuning data driven model coefficients without using noise information from the measurements. We describe the method and focus on its capabilities performance using the chaotic Lorenz 63 system as an example and we also show that the method works on a higher dimensional example with the Lorenz 96 system. △ Less

Submitted 8 April, 2025; v1 submitted 12 November, 2024; originally announced November 2024.

Comments: 18 pages, 15 figures. Results have been improved by showing noise robustness testing at two relevant learning rates. We also added an example applying the algorithm to the 6 dimensional Lorenz 96 system

Topological Detection of Phenomenological Bifurcations with Unreliable Kernel Densities

Authors: Sunia Tanweer, Firas A. Khasawneh

Abstract: Phenomenological (P-type) bifurcations are qualitative changes in stochastic dynamical systems whereby the stationary probability density function (PDF) changes its topology. The current state of the art for detecting these bifurcations requires reliable kernel density estimates computed from an ensemble of system realizations. However, in several real world signals such as Big Data, only a single… ▽ More Phenomenological (P-type) bifurcations are qualitative changes in stochastic dynamical systems whereby the stationary probability density function (PDF) changes its topology. The current state of the art for detecting these bifurcations requires reliable kernel density estimates computed from an ensemble of system realizations. However, in several real world signals such as Big Data, only a single system realization is available -- making it impossible to estimate a reliable kernel density. This study presents an approach for detecting P-type bifurcations using unreliable density estimates. The approach creates an ensemble of objects from Topological Data Analysis (TDA) called persistence diagrams from the system's sole realization and statistically analyzes the resulting set. We compare several methods for replicating the original persistence diagram including Gibbs point process modelling, Pairwise Interaction Point Modelling, and subsampling. We show that for the purpose of predicting a bifurcation, the simple method of subsampling exceeds the other two methods of point process modelling in performance. △ Less

Submitted 29 January, 2024; originally announced January 2024.

Comments: 16 pages, 11 figures

A Nonlinear Delay Model for Metabolic Oscillations in Yeast Cells

Authors: Max M. Chumley, Firas A. Khasawneh, Andreas Otto, Tomas Gedeon

Abstract: We introduce two time-delay models of metabolic oscillations in yeast cells. Our model tests a hypothesis that the oscillations occur as multiple pathways share a limited resource which we equate to the number of available ribosomes. We initially explore a single-protein model with a constraint equation governing the total resource available to the cell. The model is then extended to include three… ▽ More We introduce two time-delay models of metabolic oscillations in yeast cells. Our model tests a hypothesis that the oscillations occur as multiple pathways share a limited resource which we equate to the number of available ribosomes. We initially explore a single-protein model with a constraint equation governing the total resource available to the cell. The model is then extended to include three proteins that share a resource pool. Three approaches are considered at constant delay to numerically detect oscillations. First, we use a spectral element method to approximate the system as a discrete map and evaluate the stability of the linearized system about its equilibria by examining its eigenvalues. For the second method, we plot amplitudes of the simulation trajectories in 2D projections of the parameter space. We use a history function that is consistent with published experimental results to obtain metabolic oscillations. Finally, the spectral element method is used to convert the system to a boundary value problem whose solutions correspond to approximate periodic solutions of the system. Our results show that certain combinations of total resource available and the time delay, lead to oscillations. We observe that an oscillation region in the parameter space is between regions admitting steady states that correspond to zero and constant production. Similar behavior is found with the three-protein model where all proteins require the same production time. However, a shift in the protein production rates peaks occurs for low available resource suggesting that our model captures the shared resource pool dynamics. △ Less

Submitted 14 August, 2023; v1 submitted 12 May, 2023; originally announced May 2023.

Comments: 22 pages, 14 figures. Added analytical characterization of the trivial equilibrium point. For the three-protein model, we now only consider results where the protein production times are equal and added corresponding linearized stability diagrams for this system. We also changed the history functions for both systems to be consistent with experimental results for obtaining metabolic oscillations

A Topological Framework for Identifying Phenomenological Bifurcations in Stochastic Dynamical Systems

Authors: Sunia Tanweer, Firas A. Khasawneh, Elizabeth Munch, Joshua R. Tempelman

Abstract: Changes in the parameters of dynamical systems can cause the state of the system to shift between different qualitative regimes. These shifts, known as bifurcations, are critical to study as they can indicate when the system is about to undergo harmful changes in its behavior. In stochastic dynamical systems, there is particular interest in P-type (phenomenological) bifurcations, which can include… ▽ More Changes in the parameters of dynamical systems can cause the state of the system to shift between different qualitative regimes. These shifts, known as bifurcations, are critical to study as they can indicate when the system is about to undergo harmful changes in its behavior. In stochastic dynamical systems, there is particular interest in P-type (phenomenological) bifurcations, which can include transitions from a mono-stable state to multi-stable states, the appearance of stochastic limit cycles, and other features in the probability density function (PDF) of the system's state. Current practices are limited to systems with small state spaces, cannot detect all possible behaviours of the PDFs, and mandate human intervention for visually identifying the change in the PDF. In contrast, this study presents a new approach based on Topological Data Analysis (TDA) that uses superlevel persistence to mathematically quantify P-type bifurcations in stochastic systems through a "homological bifurcation plot'' -- which shows the changing ranks of 0th and 1st homology groups. Using these plots, we demonstrate the successful detection of P-bifurcations on the stochastic Duffing, Raleigh-Vander Pol and Quintic Oscillators given their analytical PDFs, and elaborate on how to generate an estimated homological bifurcation plot given a kernel density estimate (KDE) of these systems by employing a tool for finding topological consistency between PDFs and KDEs. △ Less

Submitted 9 July, 2023; v1 submitted 4 May, 2023; originally announced May 2023.

Comments: Update to abstract. Addition to the mathematical background for elaborating betti vectors and connecting betti vectors to the bifurcation plots in results section. Inclusion of analytically generated bifurcation plots, and comparison of the analytical vs estimated plots

Pattern Characterization Using Topological Data Analysis: Application to Piezo Vibration Striking Treatment

Authors: Max M. Chumley, Melih C. Yesilli, Jisheng Chen, Firas A. Khasawneh, Yang Guo

Abstract: Quantifying patterns in visual or tactile textures provides important information about the process or phenomena that generated these patterns. In manufacturing, these patterns can be intentionally introduced as a design feature, or they can be a byproduct of a specific process. Since surface texture has significant impact on the mechanical properties and the longevity of the workpiece, it is impo… ▽ More Quantifying patterns in visual or tactile textures provides important information about the process or phenomena that generated these patterns. In manufacturing, these patterns can be intentionally introduced as a design feature, or they can be a byproduct of a specific process. Since surface texture has significant impact on the mechanical properties and the longevity of the workpiece, it is important to develop tools for quantifying surface patterns and, when applicable, comparing them to their nominal counterparts. While existing tools may be able to indicate the existence of a pattern, they typically do not provide more information about the pattern structure, or how much it deviates from a nominal pattern. Further, prior works do not provide automatic or algorithmic approaches for quantifying other pattern characteristics such as depths' consistency, and variations in the pattern motifs at different level sets. This paper leverages persistent homology from Topological Data Analysis (TDA) to derive noise-robust scores for quantifying motifs' depth and roundness in a pattern. Specifically, sublevel persistence is used to derive scores that quantify the consistency of indentation depths at any level set in Piezo Vibration Striking Treatment (PVST) surfaces. Moreover, we combine sublevel persistence with the distance transform to quantify the consistency of the indentation radii, and to compare them with the nominal ones. Although the tool in our PVST experiments had a semi-spherical profile, we present a generalization of our approach to tools/motifs of arbitrary shapes thus making our method applicable to other pattern-generating manufacturing processes. △ Less

Submitted 9 June, 2023; v1 submitted 12 October, 2022; originally announced October 2022.

Comments: Updated 6/9/23 to include changes from the review process. Main updates: redefined roundness score to be consistent with the outputs from the depth score (percentage), all quantities defined in terms of radius instead of diameter, added noise study to demonstrate noise robustness of the scores

Topological Measures for Pattern quantification of Impact Centers in Piezo Vibration Striking Treatment (PVST)

Authors: Melih C. Yesilli, Max M. Chumley, Jisheng Chen, Firas A. Khasawneh, Yang Guo

Abstract: Surface texture influences wear and tribological properties of manufactured parts, and it plays a critical role in end-user products. Therefore, quantifying the order or structure of a manufactured surface provides important information on the quality and life expectancy of the product. Although texture can be intentionally introduced to enhance aesthetics or to satisfy a design function, sometime… ▽ More Surface texture influences wear and tribological properties of manufactured parts, and it plays a critical role in end-user products. Therefore, quantifying the order or structure of a manufactured surface provides important information on the quality and life expectancy of the product. Although texture can be intentionally introduced to enhance aesthetics or to satisfy a design function, sometimes it is an inevitable byproduct of surface treatment processes such as Piezo Vibration Striking Treatment (PVST). Measures of order for surfaces have been characterized using statistical, spectral, and geometric approaches. For nearly hexagonal lattices, topological tools have also been used to measure the surface order. This paper utilizes tools from Topological Data Analysis for quantifying the impact centers' pattern in PVST. We compute measures of order based on optical digital microscope images of surfaces treated using PVST. These measures are applied to the grid obtained from estimating the centers of tool impacts, and they quantify the grid's deviations from the nominal one. Our results show that TDA provides a convenient framework for the characterization of pattern type that bypasses some limitations of existing tools such as difficult manual processing of the data and the need for an expert user to analyze and interpret the surface images. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Detecting bifurcations in dynamical systems with CROCKER plots

Authors: İsmail Güzel, Elizabeth Munch, Firas A. Khasawneh

Abstract: Existing tools for bifurcation detection from signals of dynamical systems typically are either limited to a special class of systems, or they require carefully chosen input parameters, and significant expertise to interpret the results. Therefore, we describe an alternative method based on persistent homology -- a tool from Topological Data Analysis (TDA) -- that utilizes Betti numbers and CROCKE… ▽ More Existing tools for bifurcation detection from signals of dynamical systems typically are either limited to a special class of systems, or they require carefully chosen input parameters, and significant expertise to interpret the results. Therefore, we describe an alternative method based on persistent homology -- a tool from Topological Data Analysis (TDA) -- that utilizes Betti numbers and CROCKER plots. Betti numbers are topological invariants of topological spaces, while the CROCKER plot is a coarsened but easy to visualize data representation of a one-parameter varying family of persistence barcodes. The specific bifurcations we investigate are transitions from periodic to chaotic behavior or vice versa in a one-parameter family of differential equations. We validate our methods using numerical experiments on ten dynamical systems and contrast the results with existing tools that use the maximum Lyapunov exponent. We further prove the relationship between the Wasserstein distance to the empty diagram and the norm of the Betti vector, which shows that an even more simplified version of the information has the potential to provide insight into the bifurcation parameter. The results show that our approach reveals more information about the shape of the periodic attractor than standard tools, and it has more favorable computational time in comparison to the Rosenstein algorithm for computing the Lyapunov exponent from time series. △ Less

Submitted 3 August, 2022; v1 submitted 9 June, 2022; originally announced June 2022.

MSC Class: 55N31; 62R40; 37M20

Journal ref: Chaos 32, 093111 (2022)

Persistent Homology of Coarse Grained State Space Networks

Authors: Audun D. Myers, Max M. Chumley, Firas A. Khasawneh, Elizabeth Munch

Abstract: This work is dedicated to the topological analysis of complex transitional networks for dynamic state detection. Transitional networks are formed from time series data and they leverage graph theory tools to reveal information about the underlying dynamic system. However, traditional tools can fail to summarize the complex topology present in such graphs. In this work, we leverage persistent homol… ▽ More This work is dedicated to the topological analysis of complex transitional networks for dynamic state detection. Transitional networks are formed from time series data and they leverage graph theory tools to reveal information about the underlying dynamic system. However, traditional tools can fail to summarize the complex topology present in such graphs. In this work, we leverage persistent homology from topological data analysis to study the structure of these networks. We contrast dynamic state detection from time series using a coarse-grained state-space network (CGSSN) and topological data analysis (TDA) to two state of the art approaches: ordinal partition networks (OPNs) combined with TDA and the standard application of persistent homology to the time-delay embedding of the signal. We show that the CGSSN captures rich information about the dynamic state of the underlying dynamical system as evidenced by a significant improvement in dynamic state detection and noise robustness in comparison to OPNs. We also show that because the computational time of CGSSN is not linearly dependent on the signal's length, it is more computationally efficient than applying TDA to the time-delay embedding of the time series. △ Less

Submitted 4 August, 2023; v1 submitted 20 May, 2022; originally announced June 2022.

Comments: 1. Added Max M. Chumley as an author to correctly match the final published journal version. 2. Added remark and note of caution on using this method with discrete maps. 3. Added experimental analysis using periodic and chaotic driven magnetic pendulum data. 4. Included analysis demonstrating that multi-periodic solutions still result in a single loop in the network. 5. Updated the abstract

A Case Study on Identifying Bifurcation and Chaos with CROCKER Plots

Authors: İsmail Güzel, Elizabeth Munch, Firas Khasawneh

Abstract: The CROCKER plot is a coarsened but easy to visualize representation of the data in a one-parameter varying family of persistence barcodes. In this paper, we use the CROCKER plot to view changes in the persistence under a varying bifurcation parameter. We perform experiments to support our methods using the Rössler and Lorenz system and show the relationship with common methods for bifurcation ana… ▽ More The CROCKER plot is a coarsened but easy to visualize representation of the data in a one-parameter varying family of persistence barcodes. In this paper, we use the CROCKER plot to view changes in the persistence under a varying bifurcation parameter. We perform experiments to support our methods using the Rössler and Lorenz system and show the relationship with common methods for bifurcation analysis such as the Lyapunov exponent. △ Less

Submitted 11 April, 2022; originally announced April 2022.

Comments: 6 pages, 3 figures

Report number: TDAatSDM/2022/6 MSC Class: 55N31; 62R40; 37M20

ANAPT: Additive Noise Analysis for Persistence Thresholding

Authors: Audun D. Myers, Firas A. Khasawneh, Brittany T. Fasy

Abstract: We introduce a novel method for Additive Noise Analysis for Persistence Thresholding (ANAPT) which separates significant features in the sublevel set persistence diagram of a time series based on a statistics analysis of the persistence of a noise distribution. Specifically, we consider an additive noise model and leverage the statistical analysis to provide a noise cutoff or confidence interval i… ▽ More We introduce a novel method for Additive Noise Analysis for Persistence Thresholding (ANAPT) which separates significant features in the sublevel set persistence diagram of a time series based on a statistics analysis of the persistence of a noise distribution. Specifically, we consider an additive noise model and leverage the statistical analysis to provide a noise cutoff or confidence interval in the persistence diagram for the observed time series. This analysis is done for several common noise models including Gaussian, uniform, exponential and Rayleigh distributions. ANAPT is computationally efficient, does not require any signal pre-filtering, is widely applicable, and has open-source software available. We demonstrate the functionality ANAPT with both numerically simulated examples and an experimental data set. Additionally, we provide an efficient $Θ(n\log(n))$ algorithm for calculating the zero-dimensional sublevel set persistence homology. △ Less

Submitted 11 February, 2022; v1 submitted 7 December, 2020; originally announced December 2020.

Approximating Continuous Functions on Persistence Diagrams Using Template Functions

Authors: Jose A. Perea, Elizabeth Munch, Firas A. Khasawneh

Abstract: The persistence diagram is an increasingly useful tool from Topological Data Analysis, but its use alongside typical machine learning techniques requires mathematical finesse. The most success to date has come from methods that map persistence diagrams into vector spaces, in a way which maximizes the structure preserved. This process is commonly referred to as featurization. In this paper, we desc… ▽ More The persistence diagram is an increasingly useful tool from Topological Data Analysis, but its use alongside typical machine learning techniques requires mathematical finesse. The most success to date has come from methods that map persistence diagrams into vector spaces, in a way which maximizes the structure preserved. This process is commonly referred to as featurization. In this paper, we describe a mathematical framework for featurization called \emph{template functions}, and we show that it addresses the problem of approximating continuous functions on compact subsets of the space of persistence diagrams. Specifically, we begin by characterizing relative compactness with respect to the bottleneck distance, and then provide explicit theoretical methods for constructing compact-open dense subsets of continuous functions on persistence diagrams. These dense subsets -- obtained via template functions -- are leveraged for supervised learning tasks with persistence diagrams. Specifically, we test the method for classification and regression algorithms on several examples including shape data and dynamical systems. △ Less

Submitted 12 April, 2022; v1 submitted 19 February, 2019; originally announced February 2019.

Comments: To appear in Foundations of Computational Mathematics

MSC Class: 55N31; 30L05; 68T05