Related papers: Inductive Approach to Cartan's Moving Frame Method…
By combining the ideas of Cartan's equivalence method and the method of the equivariant moving frame for pseudo-groups, we develop an efficient method for solving equivalence problems arising from horizontal Lie pseudo-group actions. The…
The method of moving frames (rep\`ere mobile) was used by Elie Cartan as a way of organizing the identification of differential invariants and solving equivalence problems. In this expository paper, we discuss how moving frames are used to…
Given a Lie pseudo-group action, an equivariant moving frame exists in the neighborhood of a submanifold jet provided the action is free and regular. For local equivalence problems the freeness requirement cannot always be satisfied and in…
Cartan's method of moving frames is briefly recalled in the context of immersed curves in the homogeneous space of a Lie group $G$. The contact geometry of curves in low dimensional equi-affine geometry is then made explicit. This delivers…
We find the complete equivalence group of a class of (1+1)-dimensional second-order evolution equations, which is infinite-dimensional. The equivariant moving frame methodology is invoked to construct, in the regular case of the…
Group based moving frames have a wide range of applications, from the classical equivalence problems in differential geometry to more modern applications such as computer vision. Here we describe what we call a discrete group based moving…
This paper continues the project, begun in \cite{IMF}, of harmonizing Cartan's classical equivalence method and the modern equivariant moving frame in a framework dubbed \emph{involutive moving frames}. As an attestation of the fruitfulness…
A new purely algebraic algorithm is presented for computation of invariants (generalized Casimir operators) of Lie algebras. It uses the Cartan's method of moving frames and the knowledge of the group of inner automorphisms of each Lie…
Invariants withstand transformations and, therefore, represent the essence of objects or phenomena. In mathematics, transformations often constitute a group action. Since the 19th century, studying the structure of various types of…
We show the fundamental theorems of curves and surfaces in the 3-dimensional Heisenberg group and find a complete set of invariants for curves and surfaces respectively. The proofs are based on Cartan's method of moving frames and Lie group…
Cartan's equivalence method is applied to explicitly construct invariant coframes for four branches, which are used to characterize all non-linearizable third-order ODEs with a four-dimensional Lie symmetry subalgebra under point…
We formulate a method of computing invariant 1-forms and structure equations of symmetry pseudo-groups of differential equations based on Cartan's method of equivalence and the moving coframe method introduced by Fels and Olver. Our…
Four coframes of invariant 1-forms are explicitly constructed using the Inductive Cartan equivalence method with rank zero corresponding to four distinct branches. These coframes are employed to characterize non-linearizable fourth-order…
Inspired by constraints from physical law, equivariant machine learning restricts the learning to a hypothesis class where all the functions are equivariant with respect to some group action. Irreducible representations or invariant theory…
A constructive modification of the moving frame method is developed in this paper for the construction of relative invariants of regular Lie group actions. Let a relative invariant $I$ of weight $\omega$ transform according to the rule $$…
We use the method of equivariant moving frames to revisit the problem of normal forms and equivalence of nondegenerate real hypersurfaces M \subset C^2 under the pseudo-group action of holomorphic transformations. The moving frame…
In autonomous driving, deep learning enabled motion prediction is a popular topic. A critical gap in traditional motion prediction methodologies lies in ensuring equivariance under Euclidean geometric transformations and maintaining…
This paper is devoted to apply the equivariant moving frame method to study the local equivalence problem of third order ordinarily differential equation under the pseudo-group of fiber preserving transformations.
For an adjoint action of a Lie group G (or its subgroup) on Lie algebra Lie(G) we suggest a method for construction of invariants. The method is easy in implementation and may shed the light on algebraical independence of invariants. The…
We provide criteria for deciding whether a given planar curve is an image of a given spatial curve, obtained by a central or a parallel projection with unknown parameters. These criteria reduce the projection problem to a certain…