No Arabic abstract
The Kustaanheimo-Stiefel transform turns a gravitational two-body problem into a harmonic oscillator, by going to four dimensions. In addition to the mathematical-physics interest, the KS transform has proved very useful in N-body simulations, where it helps handle close encounters. Yet the formalism remains somewhat arcane, with the role of the extra dimension being especially mysterious. This paper shows how the basic transformation can be interpreted as a rotation in three dimensions. For example, if we slew a telescope from zenith to a chosen star in one rotation, we can think of the rotation axis and angle as the KS transform of the star. The non-uniqueness of the rotation axis encodes the extra dimension. This geometrical interpretation becomes evident on writing KS transforms in quaternion form, which also helps derive concise expressions for regularized equations of motion.
The Kustaanheimo-Stiefel (KS) transformation maps the non-linear and singular equations of motion of the three-dimensional Kepler problem to the linear and regular equations of a four-dimensional harmonic oscillator. It is used extensively in studies of the perturbed Kepler problem in celestial mechanics and atomic physics. In contrast to the conventional matrix-based approach, the formulation of the KS transformation in the language of geometric Clifford algebra offers the advantages of a clearer geometrical interpretation and greater computational simplicity. It is demonstrated that the geometric algebra formalism can readily be used to derive a Lagrangian and Hamiltonian description of the KS dynamics in arbitrary static electromagnetic fields. For orbits starting at the Coulomb centre, initial conditions are derived and a framework is set up that allows a discussion of the stability of these orbits.
The need for the extra dimension in Kustaanheimo-Stiefel (KS) regularization is explained by the topology of the Hopf fibration, which defines the geometry and structure of KS space. A trajectory in Cartesian space is represented by a four-dimensional manifold, called the fundamental manifold. Based on geometric and topological aspects classical concepts of stability are translated to KS language. The separation between manifolds of solutions generalizes the concept of Lyapunov stability. The dimension-raising nature of the fibration transforms fixed points, limit cycles, attractive sets, and Poincare sections to higher-dimensional subspaces. From these concepts chaotic systems are studied. In strongly perturbed problems the numerical error can break the topological structure of KS space: points in a fiber are no longer transformed to the same point in Cartesian space. An observer in three dimensions will see orbits departing from the same initial conditions but diverging in time. This apparent randomness of the integration can only be understood in four dimensions. The concept of topological stability results in a simple method for estimating the time scale in which numerical simulations can be trusted. Ideally all trajectories departing from the same fiber should be KS transformed to a unique trajectory in three-dimensional space, because the fundamental manifold that they constitute is unique. By monitoring how trajectories departing from one fiber separate from the fundamental manifold a critical time, equivalent to the Lyapunov time, is estimated. These concepts are tested on N-body examples: the Pythagorean problem, and an example of field stars interacting with a binary.
Strictly enforcing orthonormality constraints on parameter matrices has been shown advantageous in deep learning. This amounts to Riemannian optimization on the Stiefel manifold, which, however, is computationally expensive. To address this challenge, we present two main contributions: (1) A new efficient retraction map based on an iterative Cayley transform for optimization updates, and (2) An implicit vector transport mechanism based on the combination of a projection of the momentum and the Cayley transform on the Stiefel manifold. We specify two new optimization algorithms: Cayley SGD with momentum, and Cayley ADAM on the Stiefel manifold. Convergence of Cayley SGD is theoretically analyzed. Our experiments for CNN training demonstrate that both algorithms: (a) Use less running time per iteration relative to existing approaches that enforce orthonormality of CNN parameters; and (b) Achieve faster convergence rates than the baseline SGD and ADAM algorithms without compromising the performance of the CNN. Cayley SGD and Cayley ADAM are also shown to reduce the training time for optimizing the unitary transition matrices in RNNs.
Gravitational waves emitted from the coalescence of neutron star binaries open a new window to probe matter and fundamental physics in unexplored, extreme regimes. To extract information about the supranuclear matter inside neutron stars and the properties of the compact binary systems, robust theoretical prescriptions are required. We give an overview about general features of the dynamics and the gravitational wave signal during the binary neutron star coalescence. We briefly describe existing analytical and numerical approaches to investigate the highly dynamical, strong-field region during the merger. We review existing waveform approximants and discuss properties and possible advantages and shortcomings of individual waveform models, and their application for real gravitational-wave data analysis.
We compute the degree of Stiefel manifolds, that is, the variety of orthonormal frames in a finite dimensional vector space. Our approach employs techniques from classical algebraic geometry, algebraic combinatorics, and classical invariant theory.