New neural network processes 3D volumes with improved equivariance.
problem Improving neural network performance on 3D volumes with symmetries.
method Equivariant neural network using moving frames approach.
result Trained model outperforms benchmarks in medical volume classification.
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 this paper we show that, with the appropriate modifications and assumptions, the…
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.
New proof of Lie-Tresse theorem with computational advantages.
problem Equivalence problem for PDEs under point transformations.
method Involutive moving frames and constructive moving frame method.
result First general upper bound on minimal differential invariants.
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 key is a pseudo-group analog of the classic result that characterizes congruence o…
Normal forms and invariants for nondegenerate hypersurfaces in C^2.
problem Equivalence problem for nondegenerate real hypersurfaces in C^2.
method Equivariant moving frames and invariant differentiation.
result A single real differential invariant of order 7 generates the entire algebra of differential invariants for nondegenerate real hypersurfaces at singularly umbilic points.
Researchers create normal forms for CR manifolds in complex space.
problem Classifying and understanding 5D CR manifolds in C^4.
method Equivariant moving frames method to construct convergent normal forms.
result Complete normal forms for 5D CR submanifolds of C^4.
Proves convergence of normal forms for infinite-dimensional Lie pseudo-group actions.
problem Analyzing convergence of normal forms for complex manifolds.
method Equivariant moving frame method and Cartan-Kähler Theorem.
result Proves convergence of normal form power series for infinite-dimensional Lie pseudo-group actions.
We show that, for both the conformal and projective groups, all the differential invariants of a generic surface in three-dimensional space can be written as combinations of the invariant derivatives of a single differential invariant. The proof is based on the equivariant method of moving frames.
This thesis is devoted to algorithmic aspects of the implementation of Cartan's moving frame method to the problem of the equivalence of submanifolds under a Lie group action. We adopt a general definition of a moving frame as an equivariant map from the space of submanifolds to the group itself and introduce two algor…
Complete normal forms for specific real hypersurfaces in complex space are constructed.
problem Constructing complete normal forms for real hypersurfaces in C3. method Utilizing equivariant moving frames for systematic symbolic manipulation.
result Complete normal forms for 5-dimensional real hypersurfaces in C3 are found. This paper introduces quantum invariants for 3-alterfolds and proves their consistency with topological moves.
problem Quantum invariants for 3-alterfolds and their consistency with topological moves.
method Introduction of 3-alterfolds with embedded separating surfaces and spherical fusion categories.
result Quantum invariants of 3-alterfolds are consistent with topological moves and generalize invariants of 3-manifolds containing framed links.
Study of equivariant movie moves for involutive links.
problem Equivariant cobordisms between involutive links.
method Equivariant Morse theory and singularity theory.
result 39 equivariant movie moves for isotopic cobordisms.
Discussing moving frames for curve and surface invariants.
problem Identifying differential invariants of curves and surfaces.
method Using moving frames for Euclidean, affine, and conformal transformations.
result Determine differential invariants of curves and surfaces.
New framed moves extend classical knot theory results.
problem Extending classical knot theory to framed braids.
method Introduced framed versions of L-moves, Hilden, Pure Hilden groups, and framed versions of the Birman theorem.
result Proved a framed version of the Birman theorem for framed links in plat representation.
In this paper we study the general affine geometry of curves in affine space A2. For a regular plane curves we define two kinds of moving frames. The first is of minimal order in all moving frames.The second is the Frenet moving frame. We get the moving equations of these moving frames. And we prove that curvature a…
Analyses cohomology relations for moving frames and coframes.
problem Relating Hopf cyclic cohomology of moving frames and coframes.
method Uses van Est analogy for DG Hopf algebras.
result Establishes cohomology isomorphism for DG Hopf algebras.
Minimal sets of moves for rotational Reidemeister diagrams are identified.
problem Understanding the minimal sets of moves for rotational Reidemeister diagrams.
method Detailed description and proof of minimal generating sets for rotational Reidemeister moves.
result Minimal generating sets for oriented, framed links contain 5 moves.
Proposes SE(3) equivariant graph neural networks with local frames for efficient geometric approximation.
problem Equivariance in deep learning for arbitrary transformations, especially in physics.
method Introduces SE(3) equivariant graph neural networks with complete local frames to efficiently approximate geometric quantities.
result Achieves best or competitive performance in Newton mechanics modeling and equilibrium molecule conformation generation.
New formula connects Loewner energy to moving frames' renormalised energy.
problem Calculating Loewner energy of Jordan curves.
method Using renormalised energy of moving frames.
result Loewner energy as Kähler potential for Weil-Petersson space.
New method studies moving points on curves using rotating frames.
problem Understanding the motion of points on curves.
method Constructing rotating frames for curves and analyzing the motion of points within these frames.
result A new binary mathematical formation mechanism for curves based on linear and rotational motion.
Parseval frames can be thought of as redundant or linearly dependent coordinate systems for Hilbert spaces, and have important applications in such areas as signal processing, data compression, and sampling theory. We extend the notion of a Parseval frame for a fixed Hilbert space to that of a moving Parseval frame for…
A bound on knot unknotting using equivariant signature.
problem Equivariant unknotting of knots.
method Analysis of strongly invertible knots and application of equivariant unknotting moves.
result The equivariant signature provides a lower bound for the equivariant unknotting number.
Bertrand framed surfaces defined in Euclidean 3-space with applications.
problem Defining and characterizing Bertrand framed surfaces.
method Using moving frames to define Bertrand framed surfaces and analyzing their caustics and involutes.
result Conditions for caustics and involutes to be inverse operations of framed surfaces.
Framed flow categories were introduced by Cohen-Jones-Segal as a way of encoding the flow data associated to a Floer functional. A framed flow category gives rise to a CW-complex with one cell for each object of the category. The idea is that the Floer invariant should take the form of the stable homotopy type of the r…
Frame Averaging makes neural networks invariant or equivariant to new symmetries.
problem Designing neural networks that respect symmetries while being expressive and efficient.
method Introduces Frame Averaging (FA) as a systematic framework to adapt architectures to become invariant or equivariant to new symmetries.
result Frame Averaging guarantees exact invariance or equivariance while being simpler to compute than full group averaging.
Frames for Rn can be thought of as redundant or linearly dependent coordinate systems, and have important applications in such areas as signal processing, data compression, and sampling theory. The word "frame" has a different meaning in the context of differential geometry and topology. A moving frame for the tang…
The paper uses Cartan moving frames to analyze data manifolds and neural network outputs.
problem Understanding the geometry and explainability of neural network outputs.
method Employing Cartan moving frames to study the Riemannian structure of data manifolds and their curvature.
result The relationship between neural network outputs and the geometry of inputs is exploited for explainable AI.
We introduce a new knot diagram invariant called the Self-Crossing Index (SCI). Using SCI, we provide bounds for unknotting two families of framed unknots. For one of these families, unknotting using framed Reidemeister moves is significantly harder than unknotting using regular Reidemeister moves. We also investigate …
We pursue the analogy of a framed flow category with the flow data of a Morse function. In classical Morse theory, Morse functions can sometimes be locally altered and simplified by the Morse moves. These moves include the Whitney trick which removes two oppositely framed flowlines between critical points of adjacent i…
In our previous work, we have defined a nonlinear connection of Finsler manifold which preserves the Finsler metric L=L(x,dx). To make the method easier and more useful in applications, moving frame (vielbein) θa=eaμdxμ formalism for the nonlinear connection is newly considered. We derive formulae to calculat…
The paper studies Riemannian four-manifolds and their twistor spaces using a moving frame approach.
problem Understanding the twistor spaces of Riemannian four-manifolds.
method Using the moving frame approach to analyze the twistor space Z of an oriented Riemannian four-manifold M. result Proves that first-order linear conditions on the almost complex structures of Z force the manifold M to be self-dual, and shows that the Atiyah-Hitchin-Singer twistor space bears a resemblance to a nearly Kähler manifold under first-order quadratic conditions. New method for curve comparison using iterated integrals and moving frames.
problem Comparing curves robustly to noise and transformations.
method Moving frame method paired with log-signature transform.
result Algorithmic construction of invariants for curve equivalence under rigid motions.
Study curvature of piecewise metrics using moving frames.
problem Deriving a curvature measure for piecewise-smooth Riemannian metrics.
method Used moving frame techniques to derive curvature, showing it satisfies Cartan structure equations and gauge transformation law.
result Equivalence of the derived curvature to existing densitized distributional curvature.
Study geometry of surfaces glued along a curve.
problem Geometry of surfaces glued along a curve.
method Moving frame along the curve, developable surfaces defined.
result Developed geometric properties of glued surfaces.
Diagonalizes metrics of 3D Lorentzian manifolds.
problem Diagonalizing metrics of 3D Lorentzian manifolds.
method Applying the technique of moving frames.
result Every smooth Lorentzian 3-manifold admits an atlas with a diagonal metric.
A theorem of Kirby gives a necessary and sufficient condition for two framed links in S^3 to yield orientation-preserving diffeomorphic results of surgery. Kirby's theorem is an important method for constructing invariants of 3-manifolds. In this paper, we prove a variant of Kirby's theorem for null-homologous framed l…
LLoCa makes any network Lorentz-equivariant, achieving high accuracy and efficiency.
problem Limitations of specialized layers in Lorentz-equivariant neural networks.
method LLoCa framework using local reference frames and geometric message passing.
result Models achieve competitive and state-of-the-art accuracy on particle physics tasks.
Generators and relations found for foam categories.
problem Understanding categories of framed tangled webs and foams.
method Multijet transversality techniques.
result Presentation by generators and relations of categories.
The Frenet frame generalizes the Park transform for multi-phase circuits.
problem Generalizing the Park transform for multi-phase circuits.
method Using the Frenet frame and Cartan's moving frames.
result The Frenet frame provides a new approach to circuit analysis.
The paper is devoted to study the Dirichelet energy of moving frames on 2-dimensional tori immersed in the euclidean 3≤m-dimensional space. This functional, called Frame energy, is naturally linked to the Willmore energy of the immersion and on the conformal structure of the abstract underlying surface. As first …
A proof that hyperbolic plane cannot be immersed in Euclidean 3-space.
problem Proving the impossibility of isometrically immersing the hyperbolic plane in Euclidean 3-space.
method Applying ideas from undergraduate mathematics, including moving frames and connection forms, to simplify the proof.
result A key transition from principal directions to asymptotic directions simplifies the proof and yields a coordinate system.
Study on focal surfaces and evolutes of framed curves in hyperbolic 3-space using Legendrian duality.
problem Investigate differential geometry properties of framed curves, including singular points.
method Use Legendrian dualities to analyze focal surfaces and evolutes of hyperbolic framed curves.
result Show the relationship among focal surfaces, evolutes, and dual surfaces of evolutes.
Coordinate-independent convolutions on manifolds avoid reference frame ambiguity.
problem Applying convolutions on non-Euclidean manifolds without reference frame ambiguity.
method Developed coordinate-independent and gauge-equivariant convolutions on Riemannian manifolds.
result Coordinate-independent convolutions are equivariant under local gauge transformations.
Kirby proved that two framed links in S^3 give orientation-preserving homeomorphic results of surgery if and only if these two links are related by a sequence of two kinds of moves called stabilizations and handle-slides. Fenn and Rourke gave a necessary and sufficient condition for two framed links in a closed, orient…
We exhibit a finite set of local moves that connect any two surgery presentations of the same 3-manifold via framed links in the three-sphere. The moves are handle-slides and blow-downs/ups of a particular simple kind.
We describe a calculus of moves for modifying a framed flow category without changing the associated stable homotopy type. We use this calculus to show that if two framed flow categories give rise to the same stable homotopy type of homological width at most three, then the flow categories are move equivalent. The proc…
Study on evolutes and focal surfaces of pseudo-spherical framed immersions in anti-de Sitter space.
problem Investigating singularities of evolutes and focal surfaces of pseudo-spherical framed immersions.
method Introduced pseudo-spherical non-null framed curves, defined moving frames, and analyzed evolutes and focal surfaces.
result Evolutes of pseudo-spherical framed immersions are the sets of singular points of their focal surfaces.