-
Neural Persistence Dynamics
Authors:
Sebastian Zeng,
Florian Graf,
Martin Uray,
Stefan Huber,
Roland Kwitt
Abstract:
We consider the problem of learning the dynamics in the topology of time-evolving point clouds, the prevalent spatiotemporal model for systems exhibiting collective behavior, such as swarms of insects and birds or particles in physics. In such systems, patterns emerge from (local) interactions among self-propelled entities. While several well-understood governing equations for motion and interacti…
▽ More
We consider the problem of learning the dynamics in the topology of time-evolving point clouds, the prevalent spatiotemporal model for systems exhibiting collective behavior, such as swarms of insects and birds or particles in physics. In such systems, patterns emerge from (local) interactions among self-propelled entities. While several well-understood governing equations for motion and interaction exist, they are difficult to fit to data due to the often large number of entities and missing correspondences between the observation times, which may also not be equidistant. To evade such confounding factors, we investigate collective behavior from a \textit{topological perspective}, but instead of summarizing entire observation sequences (as in prior work), we propose learning a latent dynamical model from topological features \textit{per time point}. The latter is then used to formulate a downstream regression task to predict the parametrization of some a priori specified governing equation. We implement this idea based on a latent ODE learned from vectorized (static) persistence diagrams and show that this modeling choice is justified by a combination of recent stability results for persistent homology. Various (ablation) experiments not only demonstrate the relevance of each individual model component, but provide compelling empirical evidence that our proposed model -- \textit{neural persistence dynamics} -- substantially outperforms the state-of-the-art across a diverse set of parameter regression tasks.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Topological Data Analysis in smart manufacturing
Authors:
Martin Uray,
Barbara Giunti,
Michael Kerber,
Stefan Huber
Abstract:
Topological Data Analysis (TDA) is a discipline that applies algebraic topology techniques to analyze complex, multi-dimensional data. Although it is a relatively new field, TDA has been widely and successfully applied across various domains, such as medicine, materials science, and biology. This survey provides an overview of the state of the art of TDA within a dynamic and promising application…
▽ More
Topological Data Analysis (TDA) is a discipline that applies algebraic topology techniques to analyze complex, multi-dimensional data. Although it is a relatively new field, TDA has been widely and successfully applied across various domains, such as medicine, materials science, and biology. This survey provides an overview of the state of the art of TDA within a dynamic and promising application area: industrial manufacturing and production, particularly within the Industry 4.0 context. We have conducted a rigorous and reproducible literature search focusing on TDA applications in industrial production and manufacturing settings. The identified works are categorized based on their application areas within the manufacturing process and the types of input data. We highlight the principal advantages of TDA tools in this context, address the challenges encountered and the future potential of the field. Furthermore, we identify TDA methods that are currently underexploited in specific industrial areas and discuss how their application could be beneficial, with the aim of stimulating further research in this field. This work seeks to bridge the theoretical advancements in TDA with the practical needs of industrial production. Our goal is to serve as a guide for practitioners and researchers applying TDA in industrial production and manufacturing systems. We advocate for the untapped potential of TDA in this domain and encourage continued exploration and research.
△ Less
Submitted 17 May, 2024; v1 submitted 13 October, 2023;
originally announced October 2023.
-
A Mini Review on the utilization of Reinforcement Learning with OPC UA
Authors:
Simon Schindler,
Martin Uray,
Stefan Huber
Abstract:
Reinforcement Learning (RL) is a powerful machine learning paradigm that has been applied in various fields such as robotics, natural language processing and game playing achieving state-of-the-art results. Targeted to solve sequential decision making problems, it is by design able to learn from experience and therefore adapt to changing dynamic environments. These capabilities make it a prime can…
▽ More
Reinforcement Learning (RL) is a powerful machine learning paradigm that has been applied in various fields such as robotics, natural language processing and game playing achieving state-of-the-art results. Targeted to solve sequential decision making problems, it is by design able to learn from experience and therefore adapt to changing dynamic environments. These capabilities make it a prime candidate for controlling and optimizing complex processes in industry. The key to fully exploiting this potential is the seamless integration of RL into existing industrial systems. The industrial communication standard Open Platform Communications UnifiedArchitecture (OPC UA) could bridge this gap. However, since RL and OPC UA are from different fields,there is a need for researchers to bridge the gap between the two technologies. This work serves to bridge this gap by providing a brief technical overview of both technologies and carrying out a semi-exhaustive literature review to gain insights on how RL and OPC UA are applied in combination. With this survey, three main research topics have been identified, following the intersection of RL with OPC UA. The results of the literature review show that RL is a promising technology for the control and optimization of industrial processes, but does not yet have the necessary standardized interfaces to be deployed in real-world scenarios with reasonably low effort.
△ Less
Submitted 30 October, 2023; v1 submitted 24 May, 2023;
originally announced May 2023.
-
CSRX: A novel Crossover Operator for a Genetic Algorithm applied to the Traveling Salesperson Problem
Authors:
Martin Uray,
Stefan Wintersteller,
Stefan Huber
Abstract:
In this paper, we revisit the application of Genetic Algorithm (GA) to the Traveling Salesperson Problem (TSP) and introduce a family of novel crossover operators that outperform the previous state of the art. The novel crossover operators aim to exploit symmetries in the solution space, which allows us to more effectively preserve well-performing individuals, namely the fitness invariance to circ…
▽ More
In this paper, we revisit the application of Genetic Algorithm (GA) to the Traveling Salesperson Problem (TSP) and introduce a family of novel crossover operators that outperform the previous state of the art. The novel crossover operators aim to exploit symmetries in the solution space, which allows us to more effectively preserve well-performing individuals, namely the fitness invariance to circular shifts and reversals of solutions. These symmetries are general and not limited to or tailored to TSP specifically.
△ Less
Submitted 9 January, 2024; v1 submitted 22 March, 2023;
originally announced March 2023.
-
Beyond Desktop Computation: Challenges in Scaling a GPU Infrastructure
Authors:
Martin Uray,
Eduard Hirsch,
Gerold Katzinger,
Michael Gadermayr
Abstract:
Enterprises and labs performing computationally expensive data science applications sooner or later face the problem of scale but unconnected infrastructure. For this up-scaling process, an IT service provider can be hired or in-house personnel can attempt to implement a software stack. The first option can be quite expensive if it is just about connecting several machines. For the latter option o…
▽ More
Enterprises and labs performing computationally expensive data science applications sooner or later face the problem of scale but unconnected infrastructure. For this up-scaling process, an IT service provider can be hired or in-house personnel can attempt to implement a software stack. The first option can be quite expensive if it is just about connecting several machines. For the latter option often experience is missing with the data science staff in order to navigate through the software jungle. In this technical report, we illustrate the decision process towards an on-premises infrastructure, our implemented system architecture, and the transformation of the software stack towards a scaleable GPU cluster system.
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
Improvements for mlrose applied to the Traveling Salesperson Problem
Authors:
Stefan Wintersteller,
Martin Uray,
Michael Lehenauer,
Stefan Huber
Abstract:
In this paper we discuss the application of Artificial Intelligence (AI) to the exemplary industrial use case of the two-dimensional commissioning problem in a high-bay storage, which essentially can be phrased as an instance of Traveling Salesperson Problem (TSP). We investigate the mlrose library that provides an TSP optimizer based on various heuristic optimization techniques. Our focus is on t…
▽ More
In this paper we discuss the application of Artificial Intelligence (AI) to the exemplary industrial use case of the two-dimensional commissioning problem in a high-bay storage, which essentially can be phrased as an instance of Traveling Salesperson Problem (TSP). We investigate the mlrose library that provides an TSP optimizer based on various heuristic optimization techniques. Our focus is on two methods, namely Genetic Algorithm (GA) and Hill Climbing (HC), which are provided by mlrose. We present improvements for both methods that yield shorter tour lengths, by moderately exploiting the problem structure of TSP. That is, the proposed improvements have a generic character and are not limited to TSP only.
△ Less
Submitted 15 April, 2024; v1 submitted 29 September, 2021;
originally announced September 2021.
-
Characterization of expansive polynomials by special determinants
Authors:
M. J. Uray
Abstract:
A polynomial is expansive if all of its roots lie outside the unit circle. We define some special determinants involving the coefficients of a real polynomial and formulate necessary and sufficient conditions for expansivity using these determinants. We show how these conditions can be turned into an algorithm, which, for integer polynomials, avoids exponential coefficient growth. We also examine…
▽ More
A polynomial is expansive if all of its roots lie outside the unit circle. We define some special determinants involving the coefficients of a real polynomial and formulate necessary and sufficient conditions for expansivity using these determinants. We show how these conditions can be turned into an algorithm, which, for integer polynomials, avoids exponential coefficient growth. We also examine the question how close the roots of an expansive polynomial can be to the unit circle if the coefficients are integers. We give several lower bounds on this distance in terms of different measures of the polynomial (e.g. its height). The simplest one is derived by Liouville's inequality, but then we improve this result and give different bounds using our special determinants.
△ Less
Submitted 6 November, 2020; v1 submitted 30 October, 2019;
originally announced October 2019.
-
On the expansivity gap of integer polynomials
Authors:
M. J. Uray
Abstract:
Expansive polynomials (whose roots are greater than 1 in modulus) often arise in dynamical systems and other computational problems. This paper examines the expansivity gap (the gap between 1 and the smallest modulus of the roots) of these polynomials, assuming that the coefficients are integers. We give lower bounds on the expansivity gap, using the degree and the coefficient size as parameters.…
▽ More
Expansive polynomials (whose roots are greater than 1 in modulus) often arise in dynamical systems and other computational problems. This paper examines the expansivity gap (the gap between 1 and the smallest modulus of the roots) of these polynomials, assuming that the coefficients are integers. We give lower bounds on the expansivity gap, using the degree and the coefficient size as parameters. We also construct a family of polynomials which indicate the sharpness of these bounds. As a side-result, we present an explicit condition for deciding expansivity of polynomials, which we find superior to the existing recursive methods for our purpose.
△ Less
Submitted 6 November, 2020; v1 submitted 16 May, 2019;
originally announced May 2019.
-
Algebraic number fields and the LLL algorithm
Authors:
M. J. Uray
Abstract:
In this paper we analyze the computational costs of various operations and algorithms in algebraic number fields using exact arithmetic. Let $K$ be an algebraic number field. In the first half of the paper, we calculate the running time and the size of the output of many operations in $K$ in terms of the size of the input and the parameters of $K$. We include some earlier results about these, but…
▽ More
In this paper we analyze the computational costs of various operations and algorithms in algebraic number fields using exact arithmetic. Let $K$ be an algebraic number field. In the first half of the paper, we calculate the running time and the size of the output of many operations in $K$ in terms of the size of the input and the parameters of $K$. We include some earlier results about these, but we go further than them, e.g. we also analyze some $\mathbb{R}$-specific operations in $K$ like less-than comparison. In the second half of the paper, we analyze two algorithms: the Bareiss algorithm, which is an integer-preserving version of the Gaussian elimination, and the LLL algorithm, which is for lattice basis reduction. In both cases, we extend the algorithm from $\mathbb{Z}^n$ to $K^n$, and give a polynomial upper bound on the running time when the computations in $K$ are performed exactly (as opposed to floating-point approximations).
△ Less
Submitted 6 November, 2020; v1 submitted 3 October, 2018;
originally announced October 2018.
-
Improving weather radar by fusion and classification
Authors:
Harald Ganster,
Martina Uray,
Sylwia Steginska,
Gerardus Croonen,
Rudolf Kaltenböck,
Karin Hennermann
Abstract:
In air traffic management (ATM) all necessary operations (tactical planing, sector configuration, required staffing, runway configuration, routing of approaching aircrafts) rely on accurate measurements and predictions of the current weather situation. An essential basis of information is delivered by weather radar images (WXR), which, unfortunately, exhibit a vast amount of disturbances. Thus, th…
▽ More
In air traffic management (ATM) all necessary operations (tactical planing, sector configuration, required staffing, runway configuration, routing of approaching aircrafts) rely on accurate measurements and predictions of the current weather situation. An essential basis of information is delivered by weather radar images (WXR), which, unfortunately, exhibit a vast amount of disturbances. Thus, the improvement of these datasets is the key factor for more accurate predictions of weather phenomena and weather conditions. Image processing methods based on texture analysis and geometric operators allow to identify regions including artefacts as well as zones of missing information. Correction of these zones is implemented by exploiting multi-spectral satellite data (Meteosat Second Generation). Results prove that the proposed system for artefact detection and data correction significantly improves the quality of WXR data and, thus, enables more reliable weather now- and forecast leading to increased ATM safety.
△ Less
Submitted 25 April, 2014;
originally announced April 2014.