-
Partially rigid motions in the planar three-body problem
Authors:
Richard Moeckel
Abstract:
A solution of the n-body problem in R^d is a relative equilibrium if all of the mutual distance between the bodies are constant. In other words, the bodies undergo a rigid motion. Here we investigate the possibility of partially rigid motions, where some but not all of the distances are constant. For the planar three-body problem with equal masses, we show that partially rigid motions are impossib…
▽ More
A solution of the n-body problem in R^d is a relative equilibrium if all of the mutual distance between the bodies are constant. In other words, the bodies undergo a rigid motion. Here we investigate the possibility of partially rigid motions, where some but not all of the distances are constant. For the planar three-body problem with equal masses, we show that partially rigid motions are impossible -- if even one of the three mutual distances is constant, the motion must be a relative equilibrium.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
SteelBlastQC: Shot-blasted Steel Surface Dataset with Interpretable Detection of Surface Defects
Authors:
Irina Ruzavina,
Lisa Sophie Theis,
Jesse Lemeer,
Rutger de Groen,
Leo Ebeling,
Andrej Hulak,
Jouaria Ali,
Guangzhi Tang,
Rico Mockel
Abstract:
Automating the quality control of shot-blasted steel surfaces is crucial for improving manufacturing efficiency and consistency. This study presents a dataset of 1654 labeled RGB images (512x512) of steel surfaces, classified as either "ready for paint" or "needs shot-blasting." The dataset captures real-world surface defects, including discoloration, welding lines, scratches and corrosion, making…
▽ More
Automating the quality control of shot-blasted steel surfaces is crucial for improving manufacturing efficiency and consistency. This study presents a dataset of 1654 labeled RGB images (512x512) of steel surfaces, classified as either "ready for paint" or "needs shot-blasting." The dataset captures real-world surface defects, including discoloration, welding lines, scratches and corrosion, making it well-suited for training computer vision models. Additionally, three classification approaches were evaluated: Compact Convolutional Transformers (CCT), Support Vector Machines (SVM) with ResNet-50 feature extraction, and a Convolutional Autoencoder (CAE). The supervised methods (CCT and SVM) achieve 95% classification accuracy on the test set, with CCT leveraging transformer-based attention mechanisms and SVM offering a computationally efficient alternative. The CAE approach, while less effective, establishes a baseline for unsupervised quality control. We present interpretable decision-making by all three neural networks, allowing industry users to visually pinpoint problematic regions and understand the model's rationale. By releasing the dataset and baseline codes, this work aims to support further research in defect detection, advance the development of interpretable computer vision models for quality control, and encourage the adoption of automated inspection systems in industrial applications.
△ Less
Submitted 29 April, 2025;
originally announced April 2025.
-
Partially rigid motions in the n-body problem
Authors:
Richard Moeckel
Abstract:
A solution of the n-body problem in R^d is a relative equilibrium if all of the mutual distance between the bodies are constant. In other words, the bodies undergo a rigid motion. Here we investigate the possibility of partially rigid motions, where some but not all of the distances are constant. In particular, a {\em hinged} solution is one such that exactly one mutual distance varies. The goal o…
▽ More
A solution of the n-body problem in R^d is a relative equilibrium if all of the mutual distance between the bodies are constant. In other words, the bodies undergo a rigid motion. Here we investigate the possibility of partially rigid motions, where some but not all of the distances are constant. In particular, a {\em hinged} solution is one such that exactly one mutual distance varies. The goal of this paper is to show that hinged solutions don't exist when n=3 or n=4. For n=3 this means that if 2 of the 3 distances are constant so is the third and for n=4, if 5 of the 6 distances are constant, so is the sixth. These results hold independent of the dimension d of the ambient space.
△ Less
Submitted 25 July, 2024;
originally announced July 2024.
-
No Infinite Spin for Planar Total Collision
Authors:
Richard Moeckel,
Richard Montgomery
Abstract:
The infinite spin problem concerns the rotational behavior of total collision orbits in the $n$-body problem. It has long been known that when a solution tends to total collision then its normalized configuration curve must converge to the set of normalized central configurations. In the planar n-body problem every normalized configuration determines a circle of rotationally equivalent normalized…
▽ More
The infinite spin problem concerns the rotational behavior of total collision orbits in the $n$-body problem. It has long been known that when a solution tends to total collision then its normalized configuration curve must converge to the set of normalized central configurations. In the planar n-body problem every normalized configuration determines a circle of rotationally equivalent normalized configurations and, in particular, there are circles of normalized central configurations. It's conceivable that by means of an infinite spin, a total collision solution could converge to such a circle instead of to a particular point on it. Here we prove that this is not possible, at least if the limiting circle of central configurations is isolated from other circles of central configurations. (It is believed that all central configurations are isolated, but this is not known in general.) Our proof relies on combining the center manifold theorem with the Lojasiewicz gradient inequality.
△ Less
Submitted 31 January, 2023;
originally announced February 2023.
-
Chazy-Type Asymptotics and Hyperbolic Scattering for the $n$-Body Problem
Authors:
Nathan Duignan,
Richard Moeckel,
Richard Montgomery,
Guowei Yu
Abstract:
We study solutions of the Newtonian $n$-body problem which tend to infinity hyperbolically, that is, all mutual distances tend to infinity with nonzero speed as $t \rightarrow +\infty$ or as $t \rightarrow -\infty$. In suitable coordinates, such solutions form the stable or unstable manifolds of normally hyperbolic equilibrium points in a boundary manifold "at infinity". We show that the flow near…
▽ More
We study solutions of the Newtonian $n$-body problem which tend to infinity hyperbolically, that is, all mutual distances tend to infinity with nonzero speed as $t \rightarrow +\infty$ or as $t \rightarrow -\infty$. In suitable coordinates, such solutions form the stable or unstable manifolds of normally hyperbolic equilibrium points in a boundary manifold "at infinity". We show that the flow near these manifolds can be analytically linearized and use this to give a new proof of Chazy's classical asymptotic formulas. We also address the scattering problem, namely, for solutions which are hyperbolic in both forward and backward time, how are the limiting equilibrium points related? After proving some basic theorems about this scattering relation, we use perturbations of our manifold at infinity to study scattering "near infinity", that is, when the bodies stay far apart and interact only weakly.
△ Less
Submitted 7 May, 2020; v1 submitted 13 October, 2019;
originally announced October 2019.
-
Oncilla robot: a versatile open-source quadruped research robot with compliant pantograph legs
Authors:
Alexander Spröwitz,
Alexandre Tuleu,
Mostafa Ajallooeian,
Massimo Vespignani,
Rico Moeckel,
Peter Eckert,
Michiel D'Haene,
Jonas Degrave,
Arne Nordmann,
Benjamin Schrauwen,
Jochen Steil,
Auke Jan Ijspeert
Abstract:
We present Oncilla robot, a novel mobile, quadruped legged locomotion machine. This large-cat sized, 5.1 robot is one of a kind of a recent, bioinspired legged robot class designed with the capability of model-free locomotion control. Animal legged locomotion in rough terrain is clearly shaped by sensor feedback systems. Results with Oncilla robot show that agile and versatile locomotion is possib…
▽ More
We present Oncilla robot, a novel mobile, quadruped legged locomotion machine. This large-cat sized, 5.1 robot is one of a kind of a recent, bioinspired legged robot class designed with the capability of model-free locomotion control. Animal legged locomotion in rough terrain is clearly shaped by sensor feedback systems. Results with Oncilla robot show that agile and versatile locomotion is possible without sensory signals to some extend, and tracking becomes robust when feedback control is added (Ajaoolleian 2015). By incorporating mechanical and control blueprints inspired from animals, and by observing the resulting robot locomotion characteristics, we aim to understand the contribution of individual components. Legged robots have a wide mechanical and control design parameter space, and a unique potential as research tools to investigate principles of biomechanics and legged locomotion control. But the hardware and controller design can be a steep initial hurdle for academic research. To facilitate the easy start and development of legged robots, Oncilla-robot's blueprints are available through open-source. [...]
△ Less
Submitted 16 June, 2018; v1 submitted 16 March, 2018;
originally announced March 2018.
-
Accumulated Gradient Normalization
Authors:
Joeri Hermans,
Gerasimos Spanakis,
Rico Möckel
Abstract:
This work addresses the instability in asynchronous data parallel optimization. It does so by introducing a novel distributed optimizer which is able to efficiently optimize a centralized model under communication constraints. The optimizer achieves this by pushing a normalized sequence of first-order gradients to a parameter server. This implies that the magnitude of a worker delta is smaller com…
▽ More
This work addresses the instability in asynchronous data parallel optimization. It does so by introducing a novel distributed optimizer which is able to efficiently optimize a centralized model under communication constraints. The optimizer achieves this by pushing a normalized sequence of first-order gradients to a parameter server. This implies that the magnitude of a worker delta is smaller compared to an accumulated gradient, and provides a better direction towards a minimum compared to first-order gradients, which in turn also forces possible implicit momentum fluctuations to be more aligned since we make the assumption that all workers contribute towards a single minima. As a result, our approach mitigates the parameter staleness problem more effectively since staleness in asynchrony induces (implicit) momentum, and achieves a better convergence rate compared to other optimizers such as asynchronous EASGD and DynSGD, which we show empirically.
△ Less
Submitted 6 October, 2017;
originally announced October 2017.
-
Free time minimizers for the planar three-body problem
Authors:
Rick Moeckel,
Richard Montgomery,
Hector Sanchez Morgado
Abstract:
Free time minimizers of the action (called"semi-static" solutions by Mañe) play a central role in the theory of weak KAM solutions to the Hamilton-Jacobi equation (see Fathi). We prove that any solution to Newton's three-body problem which is asymptotic to Lagrange's parabolic homothetic solution is eventually a free time minimizer. Conversely, we prove that every free time minimizer tends to Lagr…
▽ More
Free time minimizers of the action (called"semi-static" solutions by Mañe) play a central role in the theory of weak KAM solutions to the Hamilton-Jacobi equation (see Fathi). We prove that any solution to Newton's three-body problem which is asymptotic to Lagrange's parabolic homothetic solution is eventually a free time minimizer. Conversely, we prove that every free time minimizer tends to Lagrange's solution, provided the mass ratios lie in a certain large open set of mass ratios. We were inspired by the work of Da Luz-Maderna who had shown that every free time minimizer for the N-body problem is parabolic, and therefore must be asymptotic to the set of central configurations. We exclude being asymptotic to Euler's central configurations by a second variation argument. Central configurations correspond to rest points for the McGehee blown-up dynamics. The large open set of mass ratios are those for which the linearized dynamics at each Euler rest point has a complex eigenvalue.
△ Less
Submitted 1 May, 2017;
originally announced May 2017.
-
Realizing All Free Homotopy Classes for the Newtonian Three-Body Problem
Authors:
Richard Moeckel,
Richard Montgomery
Abstract:
The configuration space of the planar three-body problem when collisions are excluded has a rich topology which supports a large set of free homotopy classes. Most classes survive modding out by rotations. Those that survive are called the reduced free homotopy classes and have a simple description when projected onto the shape sphere. They are coded by syzygy sequences. We prove that every reduce…
▽ More
The configuration space of the planar three-body problem when collisions are excluded has a rich topology which supports a large set of free homotopy classes. Most classes survive modding out by rotations. Those that survive are called the reduced free homotopy classes and have a simple description when projected onto the shape sphere. They are coded by syzygy sequences. We prove that every reduced free homotopy class, and thus every reduced syzygy sequence, is realized by a reduced periodic solution to the Newtonian planar three-body problem. The realizing solutions have nonzero angular momentum, repeatedly come very close to triple collision, and have lots of "stutters"--repeated syzygies of the same type. The heart of the proof is contained in the work by one of us on symbolic dynamics arising out of the central configurations after the triple collision is blown up using McGehee's method.
△ Less
Submitted 6 December, 2014;
originally announced December 2014.
-
Symmetric Regularization, Reduction and Blow-Up of the Planar Three-Body Problem
Authors:
Rick Moeckel,
Richard Montgomery
Abstract:
We carry out a sequence of coordinate changes for the planar three-body problem which successively eliminate the translation and rotation symmetries, regularize all three double collision singularities and blow-up the triple collision. Parametrizing the configurations by the three relative position vectors maintains the symmetry among the masses and simplifies the regularization of binary collisio…
▽ More
We carry out a sequence of coordinate changes for the planar three-body problem which successively eliminate the translation and rotation symmetries, regularize all three double collision singularities and blow-up the triple collision. Parametrizing the configurations by the three relative position vectors maintains the symmetry among the masses and simplifies the regularization of binary collisions. Using size and shape coordinates facilitates the reduction by rotations and the blow-up of triple collision while emphasizing the role of the shape sphere. By using homogeneous coordinates to describe Hamiltonian systems whose configurations spaces are spheres or projective spaces, we are able to take a modern, global approach to these familiar problems. We also show how to obtain the reduced and regularized differential equations in several convenient local coordinates systems.
△ Less
Submitted 5 February, 2012;
originally announced February 2012.
-
From Brake to Syzygy
Authors:
Richard Moeckel,
Richard Montgomery,
Andrea Venturelli
Abstract:
In the planar three-body problem, we study solutions with zero initial velocity (brake orbits). Following such a solution until the three masses become collinear (syzygy), we obtain a continuous, flow-induced Poincaré map. We study the image of the map in the set of collinear configurations and define a continuous extension to the Lagrange triple collision orbit. In addition we provide a variation…
▽ More
In the planar three-body problem, we study solutions with zero initial velocity (brake orbits). Following such a solution until the three masses become collinear (syzygy), we obtain a continuous, flow-induced Poincaré map. We study the image of the map in the set of collinear configurations and define a continuous extension to the Lagrange triple collision orbit. In addition we provide a variational characterization of some of the resulting brake-to-syzygy orbits and find simple examples of periodic brake orbits.
△ Less
Submitted 6 September, 2011;
originally announced September 2011.
-
Non-ergodicity of Nose-Hoover dynamics
Authors:
Frederic Legoll,
Mitchell Luskin,
Richard Moeckel
Abstract:
The numerical integration of the Nose-Hoover dynamics gives a deterministic method that is used to sample the canonical Gibbs measure. The Nose-Hoover dynamics extends the physical Hamiltonian dynamics by the addition of a "thermostat" variable, that is coupled nonlinearly with the physical variables. The accuracy of the method depends on the dynamics being ergodic. Numerical experiments have be…
▽ More
The numerical integration of the Nose-Hoover dynamics gives a deterministic method that is used to sample the canonical Gibbs measure. The Nose-Hoover dynamics extends the physical Hamiltonian dynamics by the addition of a "thermostat" variable, that is coupled nonlinearly with the physical variables. The accuracy of the method depends on the dynamics being ergodic. Numerical experiments have been published earlier that are consistent with non-ergodicity of the dynamics for some model problems. The authors recently proved the non-ergodicity of the Nose-Hoover dynamics for the one-dimensional harmonic oscillator.
In this paper, this result is extended to non-harmonic one-dimensional systems. It is also shown for some multidimensional systems that the averaged dynamics for the limit of infinite thermostat "mass" have many invariants, thus giving theoretical support for either non-ergodicity or slow ergodization. Numerical experiments for a two-dimensional central force problem and the one-dimensional pendulum problem give evidence for non-ergodicity.
△ Less
Submitted 17 December, 2008;
originally announced December 2008.
-
Non-ergodicity of the Nose-Hoover Thermostatted Harmonic Oscillator
Authors:
Frédéric Legoll,
Mitchell Luskin,
Richard Moeckel
Abstract:
The Nose-Hoover thermostat is a deterministic dynamical system designed for computing phase space integrals for the canonical Gibbs distribution. Newton's equations are modified by coupling an additional reservoir variable to the physical variables. The correct sampling of the phase space according to the Gibbs measure is dependent on the Nose-Hoover dynamics being ergodic. Hoover presented nume…
▽ More
The Nose-Hoover thermostat is a deterministic dynamical system designed for computing phase space integrals for the canonical Gibbs distribution. Newton's equations are modified by coupling an additional reservoir variable to the physical variables. The correct sampling of the phase space according to the Gibbs measure is dependent on the Nose-Hoover dynamics being ergodic. Hoover presented numerical experiments that show the Nose-Hoover dynamics to be non-ergodic when applied to the harmonic oscillator. In this article, we prove that the Nose-Hoover thermostat does not give an ergodic dynamics for the one-dimensional harmonic oscillator when the ``mass'' of the reservoir is large. Our proof of non-ergodicity uses KAM theory to demonstrate the existence of invariant tori for the Nose-Hoover dynamical system that separate phase space into invariant regions.
We present numerical experiments motivated by our analysis that seem to show that the dynamics is not ergodic even for a moderate thermostat mass. We also give numerical experiments of the Nose-Hoover chain with two thermostats applied to the one-dimensional harmonic oscillator. These experiments seem to support the non-ergodicity of the dynamics if the masses of the reservoirs are large enough and are consistent with ergodicity for more moderate masses.
△ Less
Submitted 17 May, 2006; v1 submitted 7 November, 2005;
originally announced November 2005.
