-
Functional Dimensionality of Koopman Eigenfunction Space
Authors:
Ido Cohen,
Eli Appleboim,
Gershon Wolansky
Abstract:
This work presents the general form solution of Koopman Partial Differential Equation and shows that its functional dimensionality is finite. The dimensionality is as the dimensionality of the dynamics. Thus, the representation of nonlinear dynamics as a linear one with a finite set of Koopman eigenfunctions without error is possible. This formulation justifies the flowbox statement and provides a…
▽ More
This work presents the general form solution of Koopman Partial Differential Equation and shows that its functional dimensionality is finite. The dimensionality is as the dimensionality of the dynamics. Thus, the representation of nonlinear dynamics as a linear one with a finite set of Koopman eigenfunctions without error is possible. This formulation justifies the flowbox statement and provides a simple numerical method to find such representation.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Quasi Normality of Least Area Incompressible Surfaces in 3-Manifolds
Authors:
Eli Appleboim
Abstract:
This paper is the first of two in which relations between least area and normal surfaces in 3-manifolds, are established. The two papers focus on surfaces embedded in either Euclidean or hyperbolic 3-manifolds. In this paper we introduce a relaxed version on normal surfaces, termed quasi-normal, and it is shown that under appropriate conditions, every embedded least area surface is quasi-normal wi…
▽ More
This paper is the first of two in which relations between least area and normal surfaces in 3-manifolds, are established. The two papers focus on surfaces embedded in either Euclidean or hyperbolic 3-manifolds. In this paper we introduce a relaxed version on normal surfaces, termed quasi-normal, and it is shown that under appropriate conditions, every embedded least area surface is quasi-normal with respect to a fine enough triangulation of the manifold. In addition, it is shown that the intersection of such a surface with the tetrahedra of a fine enough triangulation, even when not as simple as in the case of normal surfaces, are also well behaved.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
A Minimal Set of Koopman Eigenfunctions -- Analysis and Numerics
Authors:
Ido Cohen,
Eli Appleboim
Abstract:
Research on Koopman operator theory has focused on three key areas for several decades: the mathematical structure of the Koopman eigenfunction space, the basis of this space, and the ability to represent nonlinear dynamics as linear. This study provides a thorough and comprehensive framework for these topics, including theoretical, analytical, and numerical approaches. A novel mathematical struct…
▽ More
Research on Koopman operator theory has focused on three key areas for several decades: the mathematical structure of the Koopman eigenfunction space, the basis of this space, and the ability to represent nonlinear dynamics as linear. This study provides a thorough and comprehensive framework for these topics, including theoretical, analytical, and numerical approaches. A novel mathematical structure is introduced, which outlines permissible actions on the infinite set of Koopman Eigenfunction, under which this set is closed. Notions of generating and independent sets of Koopman eigenfunctions are defined. In addition, notions of a minimal generating set, and a maximal independent set are defined and are shown to be equivalent. This structure defines conditions for independence within the set of Koopman eigenfunctions. This independent set can be interpreted as a new coordinate system in which the dynamical system is linear. The theory also highlights the equivalence of a minimal set, flowbox representation, and conservation laws. Finally, the presented theory is supported by numerical experiments.
△ Less
Submitted 12 June, 2023; v1 submitted 10 March, 2023;
originally announced March 2023.
-
Geometric approach to sampling and communication
Authors:
Emil Saucan,
Eli Appleboim,
Yehoshua Y. Zeevi
Abstract:
Relationships that exist between the classical, Shannon-type, and geometric-based approaches to sampling are investigated. Some aspects of coding and communication through a Gaussian channel are considered. In particular, a constructive method to determine the quantizing dimension in Zador's theorem is provided. A geometric version of Shannon's Second Theorem is introduced. Applications to Pulse…
▽ More
Relationships that exist between the classical, Shannon-type, and geometric-based approaches to sampling are investigated. Some aspects of coding and communication through a Gaussian channel are considered. In particular, a constructive method to determine the quantizing dimension in Zador's theorem is provided. A geometric version of Shannon's Second Theorem is introduced. Applications to Pulse Code Modulation and Vector Quantization of Images are addressed.
△ Less
Submitted 15 February, 2010;
originally announced February 2010.
-
Digital Version of Green`s Theorem and its Application to The Coverage Problem in Formal Verification
Authors:
Eli Appleboim,
Emil Saucan
Abstract:
We present a novel scheme to the coverage problem, introducing a quantitative way to estimate the interaction between a block and its enviroment.This is achieved by setting a discrete version of Green`s theorem, specially adapted for Model Checking based verification of integrated circuits.This method is best suited for the coverage problem since it enables one to quantify the incompleteness or,…
▽ More
We present a novel scheme to the coverage problem, introducing a quantitative way to estimate the interaction between a block and its enviroment.This is achieved by setting a discrete version of Green`s theorem, specially adapted for Model Checking based verification of integrated circuits.This method is best suited for the coverage problem since it enables one to quantify the incompleteness or, on the other hand, the redundancy of a set of rules, describing the model under verification.Moreover this can be done continuously throughout the verification process, thus enabling the user to pinpoint the stages at which incompleteness/redundancy occurs. Although the method is presented locally on a small hardware example, we additionally show its possibility to provide precise coverage estimation also for large scale systems. We compare this method to others by checking it on the same test-cases.
△ Less
Submitted 7 September, 2003;
originally announced September 2003.
-
Finite Type Invariants of Links with Fixed Linking Matrix
Authors:
Eli Appleboim
Abstract:
In this paper we introduce two theories of finite type invariants for framed links with fixed linking matrix. We show that these thepries are related to the theory of Vassiliev invariants of framed links. We also study the corresponding spaces of ``chord diagrams''.
In this paper we introduce two theories of finite type invariants for framed links with fixed linking matrix. We show that these thepries are related to the theory of Vassiliev invariants of framed links. We also study the corresponding spaces of ``chord diagrams''.
△ Less
Submitted 21 June, 1999;
originally announced June 1999.
