Paper provides closed-form time derivatives for rigid body systems.
problem Need for time derivatives of equations of motion in robotics.
method Lie group formulation for rigid body systems to derive closed-form derivatives up to second-order.
result Closed-form equations provide direct insight into system dynamics.
Paper compares Lagrangian reduction methods for rigid body systems.
problem Modeling and reduction of rigid body systems with rotors.
method Euler-Poincaré reduction by the whole group and reduction by stages.
result Equivalence of equations and conservation laws are tracked.
The numerical integration plays a fundamental role in understanding the behaviour of many mechanical systems. In this paper some important aspects of the mechanical integrators on the dynamics of a mechanical system are studied. More specific, we have shown that if that the Lie-Trotter integrator is obtained, in case o…
Study on symmetries and equilibria in Poisson manifolds, with applications to rigid body dynamics.
problem Characterizing conformal relative equilibria on Poisson manifolds.
method Introducing conformally Poisson actions and momentum maps, establishing algebraic criteria.
result Classification of nontrivial conformal relative equilibria in Lie algebras, with applications to rigid body dynamics.
Rolling systems limit to billiard models with no-slip collisions.
problem Understanding how rolling systems behave as billiard models with no-slip collisions.
method Showed that no-slip billiards arise as limits of non-holonomic rolling systems.
result Rolling systems limit to billiard models with no-slip collisions.
The paper proves convex bodies are minimal fillings and have Lipschitz-volume rigidity.
problem Finding minimal fillings of convex bodies.
method Analyzing integral current spaces and proving rigidity properties.
result Convex bodies are the unique minimal fillings of their boundary metrics among integral current spaces and enjoy Lipschitz-volume rigidity.
Real-life control tasks involve matters of various substances---rigid or soft bodies, liquid, gas---each with distinct physical behaviors. This poses challenges to traditional rigid-body physics engines. Particle-based simulators have been developed to model the dynamics of these complex scenes; however, relying on app…
New equations for rigid body motion on infinite-dimensional spaces of operators.
problem Integrating rigid body dynamics on infinite-dimensional spaces of operators.
method Introducing pseudo-Riemannian metrics and adapting classical integrability theory.
result Existence of geodesics and integrals of motion for the rigid body equations.
New surface area measures defined for ball-convex bodies, leading to entropy and inequalities.
problem Defining and analyzing surface area measures for ball-convex bodies.
method Introducing Lp relative surface areas, proving invariance and inequalities, and using geometric interpretations. result Established inequalities and a new notion of entropy for ball-convex bodies.
Geometrically interpolates rigid body motions with initial and terminal twists.
problem Finding spatial trajectories between prescribed initial and terminal poses.
method Derives solutions for k-IV-TIP and k-BV-TIP for k=1,...,4.
result Automatic cubic interpolation identical to minimum acceleration curve when twists are zero.
This paper summarizes closed-form relations for SE(3) maps and their derivatives.
problem Closed-form expressions for SE(3) maps and their derivatives are scattered in the literature.
method Summarizes and provides proofs for relevant closed-form relations of the exponential and Cayley map on SE(3).
result Provides an implicit generalized-alpha scheme for rigid/flexible multibody systems using the Cayley map.
Develops computational methods for simulating rigid body dynamics on SO(3).
problem Simulating rotational dynamics of rigid bodies on SO(3).
method Discrete Mechanics, Variational Integrators, Newton-Raphson algorithm.
result Preserves symplectic structure of SO(3) manifold dynamics.
Integrates magnetic geodesic and sub-Riemannian flows on Stefel variety, proving integrability and Lax presentations.
problem Integrability of magnetic geodesic and sub-Riemannian flows on Vn,2. method Proves integrability of magnetic geodesic and sub-Riemannian flows on Vn,2 with respect to magnetic field ηdα. result Integrable cases of a heavy rigid body with a gyrostat are derived.
We consider an SO(4) Euler rigid body with two 'inertia momenta' coinciding. We study it from the point of view of bihamiltonian geometry. We show how to algebraically integrate it by means of the method of separation of variables.
Model learns Lagrangian dynamics from images for better prediction and control.
problem Lack of interpretability and applicability to high-dimensional data like images.
method Unsupervised neural network model that learns Lagrangian dynamics from images using a coordinate-aware VAE.
result Model infers interpretable Lagrangian dynamics, enabling long-term prediction and synthesis of controllers.
The paper studies rigidity and continuity in nonlinear elasticity on manifolds and hypersurfaces.
problem Rigidity and continuity properties of elastic bodies in non-Euclidean settings.
method Geometric rigidity estimates, asymptotic rigidity of elastic membranes, simplified geometric proof of continuous dependence.
result Established geometric rigidity estimate and proved asymptotic rigidity of elastic membranes.
The configuration manifold M of a mechanical system consisting of two unconstrained rigid bodies in Rn, n≥1, is a manifold with boundary (typically with singularities.) A complete description of the system requires boundary conditions that specify how orbits should be continued after collisions. A b…
Simplifies neural network models by explicitly enforcing constraints in Cartesian coordinates.
problem Learning dynamics of complex systems efficiently and accurately.
method Embedding systems into Cartesian coordinates and using Lagrange multipliers to enforce constraints.
result Explicitly enforcing constraints leads to a 100x improvement in accuracy and data efficiency.
The Hamilton-Jacobi problem is revisited bearing in mind the consequences arising from a possible bi-Hamiltonian structure. The problem is formulated on the tangent bundle for Lagrangian systems in order to avoid the bias of the existence of a natural symplectic structure on the cotangent bundle. First it is developed …
New normalizing flows model molecular crystal structures.
problem Modeling positions and orientations of molecules in crystals.
method Smooth flows on unit quaternions for rigid body motion, using double cover property.
result Trained flows can generate Boltzmann distributions of molecules.
We give a criterion of (micro-)kroneckerity of the linear Poisson pencil on g∗ related to an algebraic Nijenhuis operator N:g→g on a finite-dimensional Lie algebra g. As an application we get a series of examples of completely integrable systems on semisimple Lie algebras related t…
There is a well-known example of integrable conservative system on S2, the case of Kovalevskaya in the dynamics of a rigid body, possessing an integral of fourth degree in momenta. Goryachev proposed a one-parameter family of examples of conservative systems on S2 possessing an integral of fourth degree in moment…
We propose a sliding surface for systems on the Lie group SO(3)×R3 . The sliding surface is shown to be a Lie subgroup. The reduced-order dynamics along the sliding subgroup have an almost globally asymptotically stable equilibrium. The sliding surface is used to design a sliding-mode controller for t…
We consider a generalization of the notion of a natural mechanical system to the case of additional forces of gyroscopic type. Such forces appear, for example, as a result of global reduction of a natural system with symmetry. We study symmetries in the systems with gyroscopic forces to find out when these systems admi…
Optimizes angular velocity transfers for rigid bodies under deadline constraints.
problem Stochastic guidance of spin states of rigid bodies over a hard deadline.
method Structural analysis of Kantorovich optimal coupling formulation for nonlinear dynamics.
result Derives the ground cost for optimal transport of angular velocity.
Suppose that the initial triangle formed by the three moving masses of the three-body problem is similar to the triangle formed at some later time. We derive a simple integral formula for the overall rotation relating the two triangles. The formula is based on the fact that the space of similarity classes of triangles …
Study of rigid body displacements in a projective space over dual numbers with geometric interpretations.
problem Understanding rigid body displacements in a novel geometric space.
method Projective differential geometry over the ring of dual numbers.
result Existence of non-straight curves with multiple osculating tangents.
In the paper, some concepts of modern differential geometry are used as a basis to develop an invariant theory of mechanical systems, including systems with gyroscopic forces. An interpretation of systems with gyroscopic forces in the form of flows of a given geodesic curvature is proposed. For illustration, the proble…
A linkage mechanism consists of rigid bodies assembled by joints which can be used to translate and transfer motion from one form in one place to another. In this paper, we are particularly interested in a family of spacial linkage mechanisms which consist of n-copies of a rigid body joined together by hinges to form…
This paper presents a novel approach for incremental semiparametric inverse dynamics learning. In particular, we consider the mixture of two approaches: Parametric modeling based on rigid body dynamics equations and nonparametric modeling based on incremental kernel methods, with no prior information on the mechanical …
The possibility of the global Lagrangian reduction of a mechanical system with symmetry is shown to be connected with the characteristic class of a principal fiber bundle of the configuration space over the factor manifold. It is proved that the reduced system is globally Lagrangian if and only if the product of the mo…
Paper derives and applies a parallel transport equation on Lie groups.
problem Efficiently solving parallel transport on Lie groups with left-invariant metrics.
method Derives a parallel transport equation in Lie algebra, applies it to SE(3), and compares to existing methods.
result Stable and efficient parallel transport implementation on Lie groups.
Extended Regge complex for linearized Riemann-Cartan geometry and cohomology.
problem Cohomology of the Regge complex in three dimensions.
method Constructing a discrete version of linearized Riemann-Cartan geometry on any triangulation.
result The cohomology of the Regge complex is isomorphic to the infinitesimal-rigid-body-motion-valued de~Rham cohomology.
Study cohomological equation for robotic screw motions on SE(3).
problem Understanding obstruction phenomena in robotic rigid-body motion.
method Combining Fourier analysis and Peter-Weyl theory, reduce to finite-dimensional linear transport systems.
result Explicit screw motion illustrates resonance conditions and finite-dimensional obstructions.
Generalizes energy-momentum method for non-autonomous Hamiltonian systems.
problem Stability analysis of non-autonomous Hamiltonian systems with symmetries.
method Develops a new approach to relative equilibrium points and stability conditions for non-autonomous systems.
result Conditions ensuring stability of relative equilibrium points in non-autonomous Hamiltonian systems.
New model simplifies symmetry handling in generative AI.
problem Symmetry handling in generative models for scientific tasks.
method Quotient-space diffusion models, viewing symmetry as quotient space.
result Improves performance over existing methods for molecular structure generation.
In this paper we will discuss some new developments in the design of numerical methods for optimal control problems of Lagrangian systems on Lie groups. We will construct these geometric integrators using discrete variational calculus on Lie groups, deriving a discrete version of the second-order Euler-Lagrange equatio…
Motivated by the hinge structure present in protein chains and other molecular conformations, we study the singularities of certain maps associated to body-and-hinge and panel-and-hinge chains. These are sequentially articulated systems where two consecutive rigid pieces are connected by a hinge, that is, a codimension…
Paper introduces new Lp q-torsional measure and solves Minkowski problem.
problem Solving the Minkowski problem for q-torsional rigidity. method Established Lp variational formula and proved existence of solutions. result Existence of solutions to Lp Minkowski problem for specific measures. The paper proves a rigidity theorem for non-compact convex sets in hyperbolic 3-space.
problem Determining a closed convex set in hyperbolic 3-space by its boundary metric.
method Pogorelov's rigidity theorem, Hausdorff measure, and complex analysis techniques.
result The intrinsic path metric on the boundary determines a closed convex set up to isometry under certain conditions.
Study on curvature measures in non-Euclidean spaces linked to Euclidean geometry.
problem Investigating curvature measures in spherical, hyperbolic, and de Sitter spaces.
method Establishing a unifying framework for curvature measures in real-analytic spaces of constant curvature.
result Floating bodies and duality in non-Euclidean spaces are connected to curvature measures in Euclidean space.
Unified framework for strain-gradient plasticity from dislocations.
problem Deriving strain-gradient plasticity from edge-dislocations.
method Γ-limit derivation in a continuum framework with smooth frame fields and dislocation circulation.
result Unified strain-gradient model with new geometric rigidity estimates.
Neural network models colloidal particle dynamics in non-equilibrium systems.
problem Analyzing non-equilibrium dynamics of many-body colloidal systems.
method Combining power functional theory and machine learning, training a neural network to predict internal force fields.
result The neural network accurately predicts dynamics in non-equilibrium systems, in good agreement with simulations.
Study proves quantitative results for isoperimetric problem outside convex bodies in the plane.
problem Quantitative estimates for the relative isoperimetric problem outside convex bodies in the plane.
method Flow approach and Łojasiewicz estimates to prove quantitative stability for minimizers.
result Explicit constants and optimal exponents/rates for Łojasiewicz estimates and rates of convergence for gradient flow.
New MBL hidden Born machine learns various tasks.
problem Learning from quantum many-body systems.
method MBL dynamics and hidden units for training.
result Enhanced trainability and stability in learning.
Paper proves rigidity theorems for geodesically reversible Finsler metrics.
problem Understanding geodesically reversible Finsler metrics in closed manifolds.
method Applied theory of volumes and areas on Finsler spaces to establish rigidity theorems.
result Partial explanation of the scarcity of geodesically reversible Finsler metrics in closed manifolds.
Paper proves rigidity results for anisotropic capillary hypersurfaces.
problem Rigidity of anisotropic capillary hypersurfaces.
method New Hsiung-Minkowski integral formula for anisotropic capillary hypersurfaces.
result Uniqueness of solution to anisotropic Orlicz-Christoffel-Minkowski problem.
We consider the problem of minimizing the relative perimeter under a volume constraint in an unbounded convex body C⊂Rn+1, without assuming any further regularity on the boundary of C. Motivated by an example of an unbounded convex body with null isoperimetric profile, we introduce the concept of…