-
TRACE: a Time-Reversible Algorithm for Close Encounters
Authors:
Tiger Lu,
David M. Hernandez,
Hanno Rein
Abstract:
We present TRACE, a time-reversible hybrid integrator for the planetary N-body problem. Like hybrid symplectic integrators, TRACE can resolve close encounters between particles while retaining many of the accuracy and speed advantages of a fixed timestep symplectic method such the Wisdom-Holman map. TRACE switches methods time-reversibly during close encounters following the prescription of Hernan…
▽ More
We present TRACE, a time-reversible hybrid integrator for the planetary N-body problem. Like hybrid symplectic integrators, TRACE can resolve close encounters between particles while retaining many of the accuracy and speed advantages of a fixed timestep symplectic method such the Wisdom-Holman map. TRACE switches methods time-reversibly during close encounters following the prescription of Hernandez and Dehnen (2023). In this paper we describe the derivation and implementation of TRACE and study its performance for a variety of astrophysical systems. In all our test cases TRACE is at least as accurate and fast as the hybrid symplectic integrator MERCURIUS. In many cases TRACE's performance is vastly superior to that of MERCURIUS. In test cases with planet-planet close encounters, TRACE is as accurate as MECURIUS with a 13x speedup. If close encounters with the central star are considered, TRACE achieves good error performance while MERCURIUS fails to give qualitatively correct results. In ensemble tests of violent scattering systems, TRACE matches the high-accuracy IAS15 while providing a 20x speed-up. In large N systems simulating lunar accretion, TRACE qualitatively gives the same results as IAS15 but at a 47x speedup. We also discuss some cases such as von Zeipel-Lidov-Kozai cycles where hybrid integrators perform poorly and provide some guidance on which integrator to use for which system. TRACE is freely available within the REBOUND package.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
AI can identify Solar System instability billions of years in advance
Authors:
Dorian S. Abbot,
J. D. Laurence-Chasen,
Robert J. Webber,
David M. Hernandez,
Jonathan Weare
Abstract:
Rare event schemes require an approximation of the probability of the rare event as a function of system state. Finding an appropriate reaction coordinate is typically the most challenging aspect of applying a rare event scheme. Here we develop an artificial intelligence (AI) based reaction coordinate that effectively predicts which of a limited number of simulations of the Solar System will go un…
▽ More
Rare event schemes require an approximation of the probability of the rare event as a function of system state. Finding an appropriate reaction coordinate is typically the most challenging aspect of applying a rare event scheme. Here we develop an artificial intelligence (AI) based reaction coordinate that effectively predicts which of a limited number of simulations of the Solar System will go unstable using a convolutional neural network classifier. The performance of the algorithm does not degrade significantly even 3.5 billion years before the instability. We overcome the class imbalance intrinsic to rare event problems using a combination of minority class oversampling, increased minority class weighting, and pulling multiple non-overlap** training sequences from simulations. Our success suggests that AI may provide a promising avenue for develo** reaction coordinates without detailed theoretical knowledge of the system.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
Multiple timestep reversible $N$-body integrators for close encounters in planetary systems
Authors:
David M. Hernandez,
Walter Dehnen
Abstract:
We present new almost time-reversible integrators for solution of planetary systems consisting of "planets" and a dominant mass ("star"). The algorithms can be considered adaptive generalizations of the Wisdom--Holman method, in which all pairs of planets can be assigned timesteps. These timesteps, along with the global timestep, can be adapted time-reversibly, often at no appreciable additional c…
▽ More
We present new almost time-reversible integrators for solution of planetary systems consisting of "planets" and a dominant mass ("star"). The algorithms can be considered adaptive generalizations of the Wisdom--Holman method, in which all pairs of planets can be assigned timesteps. These timesteps, along with the global timestep, can be adapted time-reversibly, often at no appreciable additional compute cost, without sacrificing any of the long-term error benefits of the Wisdom--Holman method. The method can also be considered a simpler and more flexible version of the \texttt{SYMBA} symplectic code. We perform tests on several challenging problems with close encounters and find the reversible algorithms are up to $2.6$ times faster than a code based on \texttt{SYMBA}. The codes presented here are available on Github. We also find adapting a global timestep reversibly and discretely must be done in block-synchronized manner or similar.
△ Less
Submitted 5 April, 2024; v1 submitted 13 January, 2024;
originally announced January 2024.
-
Mercury's chaotic secular evolution as a subdiffusive process
Authors:
Dorian S. Abbot,
Robert J. Webber,
David M. Hernandez,
Sam Hadden,
Jonathan Weare
Abstract:
Mercury's orbit can destabilize, generally resulting in a collision with either Venus or the Sun. Chaotic evolution can cause g1 to decrease to the approximately constant value of g5 and create a resonance. Previous work has approximated the variation in g1 as stochastic diffusion, which leads to a phenomological model that can reproduce the Mercury instability statistics of secular and N-body mod…
▽ More
Mercury's orbit can destabilize, generally resulting in a collision with either Venus or the Sun. Chaotic evolution can cause g1 to decrease to the approximately constant value of g5 and create a resonance. Previous work has approximated the variation in g1 as stochastic diffusion, which leads to a phenomological model that can reproduce the Mercury instability statistics of secular and N-body models on timescales longer than 10 Gyr. Here we show that the diffusive model underpredicts the Mercury instability probability by a factor of 3-10,000 on timescales less than 5 Gyr, the remaining lifespan of the Solar System. This is because g1 exhibits larger variations on short timescales than the diffusive model would suggest. To better model the variations on short timescales, we build a new subdiffusive phenomological model for g1. Subdiffusion is similar to diffusion but exhibits larger displacements on short timescales and smaller displacements on long timescales. We choose model parameters based on the behavior of the g1 trajectories in the N-body simulations, leading to a tuned model that can reproduce Mercury instability statistics from 1-40 Gyr. This work motivates fundamental questions in Solar System dynamics: Why does subdiffusion better approximate the variation in g1 than standard diffusion? Why is there an upper bound on g1, but not a lower bound that would prevent it from reaching g5?
△ Less
Submitted 12 April, 2024; v1 submitted 20 June, 2023;
originally announced June 2023.
-
ASSIST: An Ephemeris-Quality Test Particle Integrator
Authors:
Matthew J. Holman,
Arya Akmal,
Davide Farnocchia,
Hanno Rein,
Matthew J. Payne,
Robert Weryk,
Daniel Tamayo,
David M. Hernandez
Abstract:
We introduce ASSIST, a software package for ephemeris-quality integrations of test particles. ASSIST is an extension of the REBOUND framework and makes use of its IAS15 integrator to integrate test particle trajectories in the field of the Sun, Moon, planets, and 16 massive asteroids, with the positions of the masses coming from the JPL DE441 ephemeris and its associated asteroid perturber file. T…
▽ More
We introduce ASSIST, a software package for ephemeris-quality integrations of test particles. ASSIST is an extension of the REBOUND framework and makes use of its IAS15 integrator to integrate test particle trajectories in the field of the Sun, Moon, planets, and 16 massive asteroids, with the positions of the masses coming from the JPL DE441 ephemeris and its associated asteroid perturber file. The package incorporates the most significant gravitational harmonics and general relativistic corrections. ASSIST also accounts for position- and velocity-dependent non-gravitational effects. The first order variational equations are included for all terms to support orbit fitting and covariance map**. This new framework is meant to provide an open-source package written in a modern language to enable high-precision orbital analysis and science by the small body community. ASSIST is open source, freely distributed under the GNU General Public license, version 3.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Switching integrators reversibly in the astrophysical $N$-body problem
Authors:
David M. Hernandez,
Walter Dehnen
Abstract:
We present a simple algorithm to switch between $N$-body time integrators in a reversible way. We apply it to planetary systems undergoing arbitrarily close encounters and highly eccentric orbits, but the potential applications are broader. Upgrading an ordinary non-reversible switching integrator to a reversible one is straightforward and introduces no appreciable computational burden in our test…
▽ More
We present a simple algorithm to switch between $N$-body time integrators in a reversible way. We apply it to planetary systems undergoing arbitrarily close encounters and highly eccentric orbits, but the potential applications are broader. Upgrading an ordinary non-reversible switching integrator to a reversible one is straightforward and introduces no appreciable computational burden in our tests. Our method checks if the integrator during the time step violates a time-symmetric selection condition and redoes the step if necessary. In our experiments a few percent of steps would have violated the condition without our corrections. By eliminating them the algorithm avoids long-term error accumulation, of several orders magnitude in some cases.
△ Less
Submitted 28 February, 2023; v1 submitted 15 January, 2023;
originally announced January 2023.
-
Simple physics and integrators accurately reproduce Mercury instability statistics
Authors:
Dorian S. Abbot,
David M. Hernandez,
Sam Hadden,
Robert J. Webber,
Georgios P. Afentakis,
Jonathan Weare
Abstract:
The long-term stability of the Solar System is an issue of significant scientific and philosophical interest. The mechanism leading to instability is Mercury's eccentricity being pumped up so high that Mercury either collides with Venus or is scattered into the Sun. Previously, only three five-billion-year $N$-body ensembles of the Solar System with thousands of simulations have been run to assess…
▽ More
The long-term stability of the Solar System is an issue of significant scientific and philosophical interest. The mechanism leading to instability is Mercury's eccentricity being pumped up so high that Mercury either collides with Venus or is scattered into the Sun. Previously, only three five-billion-year $N$-body ensembles of the Solar System with thousands of simulations have been run to assess long-term stability. We generate two additional ensembles, each with 2750 members, and make them publicly available at \texttt{https://archive.org/details/@dorianabbot}. We find that accurate Mercury instability statistics can be obtained by (1) including only the Sun and the 8 planets, (2) using a simple Wisdom-Holman scheme without correctors, (3) using a basic representation of general relativity, and (4) using a time step of 3.16 days. By combining our Solar System ensembles with previous ensembles we form a 9,601-member ensemble of ensembles. In this ensemble of ensembles, the logarithm of the frequency of a Mercury instability event increases linearly with time between 1.3 and 5 Gyr, suggesting that a single mechanism is responsible for Mercury instabilities in this time range and that this mechanism becomes more active as time progresses. Our work provides a robust estimate of Mercury instability statistics over the next five billion years, outlines methodologies that may be useful for exoplanet system investigations, and provides two large ensembles of publicly available Solar System integrations that can serve as testbeds for theoretical ideas as well as training sets for artificial intelligence schemes.
△ Less
Submitted 21 February, 2023; v1 submitted 30 December, 2022;
originally announced December 2022.
-
Distributed Ledger Technologies for Managing Heterogenous Computing Systems at the Edge
Authors:
Daniel Montero Hernández,
Jorge Peña Queralta,
Tomi Westerlund
Abstract:
The increased use of Internet of Things (IoT) devices -- from basic sensors to robust embedded computers -- has boosted the demand for information processing and storing solutions closer to these devices. Edge computing has been established as a standard architecture for develo** IoT solutions, since it can optimize the workload and capacity of systems that depend on cloud services by deploying…
▽ More
The increased use of Internet of Things (IoT) devices -- from basic sensors to robust embedded computers -- has boosted the demand for information processing and storing solutions closer to these devices. Edge computing has been established as a standard architecture for develo** IoT solutions, since it can optimize the workload and capacity of systems that depend on cloud services by deploying necessary computing power close to where the information is being produced and consumed. However, as the network scale in size, reaching consensus becomes an increasingly challenging task. Distributed ledger technologies (DLTs), which can be described as a network of distributed databases that incorporate cryptography, can be leveraged to achieve consensus among participants. In recent years DLTs have gained traction due to the popularity of blockchains, the most-well known type of implementation. The reliability and trust that can be achieved through transparent and traceable transactions are other key concepts that bring IoT and DLT together. We present the design, development and conducted experiments of a proof-of-concept system that uses DLT smart contracts for efficiently selecting edge nodes for offloading computational tasks. In particular, we integrate network performance indicators in smart contracts with a Hyperledger Blockchain to optimize the offloading on computation under dynamic connectivity solutions. The proposed method can be applied to networks with varied topologies and different means of connectivity. Our results show the applicability of blockchain smart contracts to a variety of industrial use cases.
△ Less
Submitted 14 November, 2022; v1 submitted 19 October, 2022;
originally announced October 2022.
-
About quadratic residues in a class of rings
Authors:
Fernanda D. de Melo Hernández,
Cesar A. Hernández Melo,
Horacio Tapia-Recillas
Abstract:
Let $R$ be a commutative ring with a collection of ideals $\{ N_1, N_2, \dots, N_{k-1}\}$ satisfying certain conditions, properties of the set of invertible quadratic residues of the ring $R$ are described in terms of properties of the set of invertible quadratic residues of the quotient ring $R/N_1$.
Let $R$ be a commutative ring with a collection of ideals $\{ N_1, N_2, \dots, N_{k-1}\}$ satisfying certain conditions, properties of the set of invertible quadratic residues of the ring $R$ are described in terms of properties of the set of invertible quadratic residues of the quotient ring $R/N_1$.
△ Less
Submitted 8 July, 2022;
originally announced July 2022.
-
Stepsize errors in the $N$-body problem: discerning Mercury's true possible long-term orbits
Authors:
David M. Hernandez,
Richard E. Zeebe,
Sam Hadden
Abstract:
Numerical integrations of the Solar System have been carried out for decades. Their results have been used, for example, to determine whether the Solar System is chaotic, whether Mercury's orbit is stable, or to help discern Earth's climate history. We argue that all of the past studies we consider in this work are affected by numerical chaos to different degrees, affecting the possible orbits and…
▽ More
Numerical integrations of the Solar System have been carried out for decades. Their results have been used, for example, to determine whether the Solar System is chaotic, whether Mercury's orbit is stable, or to help discern Earth's climate history. We argue that all of the past studies we consider in this work are affected by numerical chaos to different degrees, affecting the possible orbits and instability probability of Mercury, sometimes significantly. We show how to eliminate the effects of numerical chaos by resolving Mercury's pericentre passage. We also show that several higher order symplectic maps do not exhibit significant differences in resolving pericentre passage of Mercury (at fixed time step), making their advantages suspect for calculating long-term orbits. Resolving pericentre passage affects a wide array of orbital numerical studies, like exoplanet studies, studies of the galactic centre, and other $N$-body problems.
△ Less
Submitted 13 December, 2021; v1 submitted 16 November, 2021;
originally announced November 2021.
-
A differentiable N-body code for transit timing and dynamical modeling. I. Algorithm and derivatives
Authors:
Eric Agol,
David M. Hernandez,
Zachary Langford
Abstract:
When fitting N-body models to astronomical data - including transit times, radial velocity, and astrometric positions at observed times - the derivatives of the model outputs with respect to the initial conditions can help with model optimization and posterior sampling. Here we describe a general-purpose symplectic integrator for arbitrary orbital architectures, including those with close encounte…
▽ More
When fitting N-body models to astronomical data - including transit times, radial velocity, and astrometric positions at observed times - the derivatives of the model outputs with respect to the initial conditions can help with model optimization and posterior sampling. Here we describe a general-purpose symplectic integrator for arbitrary orbital architectures, including those with close encounters, which we have recast to maintain numerical stability and precision for small step sizes. We compute the derivatives of the N-body coordinates and velocities as a function of time with respect to the initial conditions and masses by propagating the Jacobian along with the N-body integration. For the first time we obtain the derivatives of the transit times with respect to the initial conditions and masses using the chain rule, which is quicker and more accurate than using finite differences or automatic differentiation. We implement this algorithm in an open source package, NbodyGradient.jl, written in the Julia language, which has been used in the optimization and error analysis of transit-timing variations in the TRAPPIST-1 system. We present tests of the accuracy and precision of the code, and show that it compares favorably in speed to other integrators which are written in C.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
On the reliability of simulations of collisional stellar systems
Authors:
Long Wang,
David M. Hernandez
Abstract:
It is well known that numerical errors grow exponentially in $N$-body simulations of gravitational bound stellar systems, but it is not well understood how the accuracy parameters of algorithms affect the physical evolution in simulations. By using the hybrid $N$-body code, PeTar, we investigate how escapers and the structure evolution of collisional stellar systems (e.g., star clusters) depend on…
▽ More
It is well known that numerical errors grow exponentially in $N$-body simulations of gravitational bound stellar systems, but it is not well understood how the accuracy parameters of algorithms affect the physical evolution in simulations. By using the hybrid $N$-body code, PeTar, we investigate how escapers and the structure evolution of collisional stellar systems (e.g., star clusters) depend on the accuracy of long-range and short-range interactions. We study a group of simulations of ideal low-mass star clusters in which the accuracy parameters are varied. We find that although the number of escapers is different in individual simulations, its distribution from all simulations can be described by Poisson statistics. The density profile also has a similar feature. By using a self-consistent set-up of the accuracy parameters for long- and short-range interactions, such that orbits are resolved well enough, the physical evolution of the models is identical. But when the short-range accuracy is too low, a nonphysical dynamical evolution can easily occur; this is not the case for long-range interactions. This strengthens the need to include a proper algorithm (e.g. regularization methods) in the realistic modelling of collisional stellar systems. We also demonstrate that energy-conservation is not a good indicator to monitor the quality of the simulations. The energy error of the system is controlled by the hardest binary, and thus, it may not reflect the ensemble error of the global system.
△ Less
Submitted 21 April, 2021;
originally announced April 2021.
-
Significant improvement in planetary system simulations from statistical averaging
Authors:
David M. Hernandez,
Eric Agol,
Matthew J. Holman,
Sam Hadden
Abstract:
Symplectic integrators are widely used for the study of planetary dynamics and other $N$-body problems. In a study of the outer Solar system, we demonstrate that individual symplectic integrations can yield biased errors in the semi-major axes and possibly other orbital elements. The bias is resolved by studying an ensemble of initial conditions of the outer Solar system. Such statistical sampling…
▽ More
Symplectic integrators are widely used for the study of planetary dynamics and other $N$-body problems. In a study of the outer Solar system, we demonstrate that individual symplectic integrations can yield biased errors in the semi-major axes and possibly other orbital elements. The bias is resolved by studying an ensemble of initial conditions of the outer Solar system. Such statistical sampling could significantly improve measurement of planetary system properties like their secular frequencies. We also compared the distributions of action-like variables between high and low accuracy integrations; traditional statistical metrics are unable to distinguish the distribution functions.
△ Less
Submitted 5 April, 2021;
originally announced April 2021.
-
Fermat's Little Theorem and Euler's Theorem in a class of rings
Authors:
Fernanda D. de Melo Hernandez,
César A. Hernández Melo,
Horacio Tapia-Recillas
Abstract:
Considering $\mathbb{Z}_n$ the ring of integers modulo $n$, the classical Fermat-Euler theorem establishes the existence of a specific natural number $\varphi(n)$ satisfying the following property: $ x^{\varphi(n)}=1%\hspace{1.0cm}\text{for all}\hspace{0.2cm}x\in \mathbb{Z}_n^*, $ for all $x$ belonging to the group of units of $\mathbb{Z}_n$. In this manuscript, this result is extended to a class…
▽ More
Considering $\mathbb{Z}_n$ the ring of integers modulo $n$, the classical Fermat-Euler theorem establishes the existence of a specific natural number $\varphi(n)$ satisfying the following property: $ x^{\varphi(n)}=1%\hspace{1.0cm}\text{for all}\hspace{0.2cm}x\in \mathbb{Z}_n^*, $ for all $x$ belonging to the group of units of $\mathbb{Z}_n$. In this manuscript, this result is extended to a class of rings that satisfies some mild conditions.
△ Less
Submitted 12 December, 2020;
originally announced December 2020.
-
EnckeHH: an integrator for gravitational dynamics with a dominant mass that achieves optimal error behaviour
Authors:
David M. Hernandez,
Matthew J. Holman
Abstract:
We present EnckeHH, a new, highly accurate code for orbital dynamics of perturbed Keplerian systems such as planetary systems or galactic centre systems. It solves Encke's equations of motion, which assume perturbed Keplerian orbits. By incorporating numerical techniques, we have made the code follow optimal roundoff error growth. In a $10^ {12}$ day integration of the outer Solar System, EnckeHH…
▽ More
We present EnckeHH, a new, highly accurate code for orbital dynamics of perturbed Keplerian systems such as planetary systems or galactic centre systems. It solves Encke's equations of motion, which assume perturbed Keplerian orbits. By incorporating numerical techniques, we have made the code follow optimal roundoff error growth. In a $10^ {12}$ day integration of the outer Solar System, EnckeHH was $3.5$ orders of magnitude more accurate than IAS15 in a fixed time step test. Adaptive steps are recommended for IAS15. Through study of efficiency plots, we show that EnckeHH reaches significantly higher accuracy than the Rebound integrators IAS15 and WHCKL for fixed step size.
△ Less
Submitted 18 December, 2020; v1 submitted 26 October, 2020;
originally announced October 2020.
-
Refining the transit timing and photometric analysis of TRAPPIST-1: Masses, radii, densities, dynamics, and ephemerides
Authors:
Eric Agol,
Caroline Dorn,
Simon L. Grimm,
Martin Turbet,
Elsa Ducrot,
Laetitia Delrez,
Michael Gillon,
Brice-Olivier Demory,
Artem Burdanov,
Khalid Barkaoui,
Zouhair Benkhaldoun,
Emeline Bolmont,
Adam Burgasser,
Sean Carey,
Julien de Wit,
Daniel Fabrycky,
Daniel Foreman-Mackey,
Jonas Haldemann,
David M. Hernandez,
James Ingalls,
Emmanuel Jehin,
Zachary Langford,
Jeremy Leconte,
Susan M. Lederer,
Rodrigo Luger
, et al. (10 additional authors not shown)
Abstract:
We have collected transit times for the TRAPPIST-1 system with the Spitzer Space Telescope over four years. We add to these ground-based, HST and K2 transit time measurements, and revisit an N-body dynamical analysis of the seven-planet system using our complete set of times from which we refine the mass ratios of the planets to the star. We next carry out a photodynamical analysis of the Spitzer…
▽ More
We have collected transit times for the TRAPPIST-1 system with the Spitzer Space Telescope over four years. We add to these ground-based, HST and K2 transit time measurements, and revisit an N-body dynamical analysis of the seven-planet system using our complete set of times from which we refine the mass ratios of the planets to the star. We next carry out a photodynamical analysis of the Spitzer light curves to derive the density of the host star and the planet densities. We find that all seven planets' densities may be described with a single rocky mass-radius relation which is depleted in iron relative to Earth, with Fe 21 wt% versus 32 wt% for Earth, and otherwise Earth-like in composition. Alternatively, the planets may have an Earth-like composition, but enhanced in light elements, such as a surface water layer or a core-free structure with oxidized iron in the mantle. We measure planet masses to a precision of 3-5%, equivalent to a radial-velocity (RV) precision of 2.5 cm/sec, or two orders of magnitude more precise than current RV capabilities. We find the eccentricities of the planets are very small; the orbits are extremely coplanar; and the system is stable on 10 Myr timescales. We find evidence of infrequent timing outliers which we cannot explain with an eighth planet; we instead account for the outliers using a robust likelihood function. We forecast JWST timing observations, and speculate on possible implications of the planet densities for the formation, migration and evolution of the planet system.
△ Less
Submitted 14 January, 2021; v1 submitted 2 October, 2020;
originally announced October 2020.
-
A recursive construction of units in a class of rings
Authors:
F. D. de Melo Hernandez,
César A. Hernández Melo,
Horacio Tapia-Recillas
Abstract:
Let $R$ be an associative ring with identity and let $N$ be a nil ideal of $R$. It is shown that units of $R/N$ can be lifted to units in $R$. Under some mild conditions on the ring, a procedure is given to determine those lifted units in a recursive way. As an application, the units of several classes of rings are determined, including: matrix rings, chain rings, and group rings where the ring is…
▽ More
Let $R$ be an associative ring with identity and let $N$ be a nil ideal of $R$. It is shown that units of $R/N$ can be lifted to units in $R$. Under some mild conditions on the ring, a procedure is given to determine those lifted units in a recursive way. As an application, the units of several classes of rings are determined, including: matrix rings, chain rings, and group rings where the ring is a chain ring. Numerical examples are given illustrating the main results.
△ Less
Submitted 29 April, 2020; v1 submitted 14 November, 2019;
originally announced November 2019.
-
Are long-term $N$-body simulations reliable?
Authors:
David M. Hernandez,
Sam Hadden,
Junichiro Makino
Abstract:
$N$-body integrations are used to model a wide range of astrophysical dynamics, but they suffer from errors which make their orbits diverge exponentially in time from the correct orbits. Over long time-scales, their reliability needs to be established. We address this reliability by running a three-body planetary system over about $200$ e-folding times. Using nearby initial conditions, we can cons…
▽ More
$N$-body integrations are used to model a wide range of astrophysical dynamics, but they suffer from errors which make their orbits diverge exponentially in time from the correct orbits. Over long time-scales, their reliability needs to be established. We address this reliability by running a three-body planetary system over about $200$ e-folding times. Using nearby initial conditions, we can construct statistics of the long-term phase-space structure and compare to rough estimates of resonant widths of the system. We compared statistics for a wide range of numerical methods, including a Runge--Kutta method, Wisdom--Holman method, symplectic corrector methods, and a method by Laskar and Robutel. "Improving" an integrator did not increase the phase space accuracy, but simply increasing the number of initial conditions did. In fact, the statistics of a higher order symplectic corrector method were inconsistent with the other methods in one test.
△ Less
Submitted 6 February, 2020; v1 submitted 18 October, 2019;
originally announced October 2019.
-
REBOUNDx: A Library for Adding Conservative and Dissipative Forces to Otherwise Symplectic N-body Integrations
Authors:
Daniel Tamayo,
Hanno Rein,
Pengshuai Shi,
David M. Hernandez
Abstract:
Symplectic methods, in particular the Wisdom-Holman map, have revolutionized our ability to model the long-term, conservative dynamics of planetary systems. However, many astrophysically important effects are dissipative. The consequences of incorporating such forces into otherwise symplectic schemes is not always clear. We show that moving to a general framework of non-commutative operators (diss…
▽ More
Symplectic methods, in particular the Wisdom-Holman map, have revolutionized our ability to model the long-term, conservative dynamics of planetary systems. However, many astrophysically important effects are dissipative. The consequences of incorporating such forces into otherwise symplectic schemes is not always clear. We show that moving to a general framework of non-commutative operators (dissipative or not) clarifies many of these questions, and that several important properties of symplectic schemes carry over to the general case. In particular, we show that explicit splitting schemes generically exploit symmetries in the applied external forces which often strongly suppress integration errors. Furthermore, we demonstrate that so-called `symplectic correctors' (which reduce energy errors by orders of magnitude at fixed computational cost) apply equally well to weakly dissipative systems and can thus be more generally thought of as `weak splitting correctors.' Finally, we show that previously advocated approaches of incorporating additional forces into symplectic methods work well for dissipative forces, but give qualitatively wrong answers for conservative but velocity-dependent forces like post-Newtonian corrections. We release REBOUNDx, an open-source C library for incorporating additional effects into REBOUND N-body integrations, together with a convenient Python wrapper. All effects are machine-independent and we provide a binary format that interfaces with the SimulationArchive class in REBOUND to enable the sharing and reproducibility of results. Users can add effects from a list of pre-implemented astrophysical forces, or contribute new ones.
△ Less
Submitted 8 October, 2019; v1 submitted 15 August, 2019;
originally announced August 2019.
-
On idempotents of a class of commutative rings
Authors:
Fernanda D. de Melo Hernández,
César A. Hernández Melo,
Horacio Tapia-Recillas
Abstract:
In the present work, a procedure for determining idempotents of a commutative ring having a sequence of ideals with certain properties is presented. As an application of this procedure, idempotent elements of various commutative rings are determined. Several examples are included illustrating the main results.
In the present work, a procedure for determining idempotents of a commutative ring having a sequence of ideals with certain properties is presented. As an application of this procedure, idempotent elements of various commutative rings are determined. Several examples are included illustrating the main results.
△ Less
Submitted 2 July, 2019; v1 submitted 29 April, 2019;
originally announced April 2019.
-
Improving the accuracy of simulated chaotic $N$-body orbits using smoothness
Authors:
David M. Hernandez
Abstract:
Symplectic integrators are a foundation to the study of dynamical $N$-body phenomena, at scales ranging from from planetary to cosmological. These integrators preserve the Poincaré invariants of Hamiltonian dynamics. The $N$-body Hamiltonian has another, perhaps overlooked, symmetry: it is smooth, or, in other words, it has infinite differentiability class order (DCO) for particle separations grea…
▽ More
Symplectic integrators are a foundation to the study of dynamical $N$-body phenomena, at scales ranging from from planetary to cosmological. These integrators preserve the Poincaré invariants of Hamiltonian dynamics. The $N$-body Hamiltonian has another, perhaps overlooked, symmetry: it is smooth, or, in other words, it has infinite differentiability class order (DCO) for particle separations greater than $0$. Popular symplectic integrators, such as hybrid methods or block adaptive step** methods do not come from smooth Hamiltonians and it is perhaps unclear whether they should. We investigate the importance of this symmetry by considering hybrid integrators, whose DCO can be tuned easily. Hybrid methods are smooth, except at a finite number of phase space points. We study chaotic planetary orbits in a test considered by Wisdom. We find that increasing smoothness, at negligible extra computational cost in particular tests, improves the Jacobi constant error of the orbits by about $5$ orders of magnitude in long-term simulations. The results from this work suggest that smoothness of the $N$-body Hamiltonian is a property worth preserving in simulations.
△ Less
Submitted 18 September, 2019; v1 submitted 6 April, 2019;
originally announced April 2019.
-
Hybrid Symplectic Integrators for Planetary Dynamics
Authors:
Hanno Rein,
David M. Hernandez,
Daniel Tamayo,
Garett Brown,
Emily Eckels,
Emma Holmes,
Michelle Lau,
Rejean Leblanc,
Ari Silburt
Abstract:
Hybrid symplectic integrators such as MERCURY are widely used to simulate complex dynamical phenomena in planetary dynamics that could otherwise not be investigated. A hybrid integrator achieves high accuracy during close encounters by using a high order integration scheme for the duration of the encounter while otherwise using a standard 2nd order Wisdom-Holman scheme, thereby optimizing both spe…
▽ More
Hybrid symplectic integrators such as MERCURY are widely used to simulate complex dynamical phenomena in planetary dynamics that could otherwise not be investigated. A hybrid integrator achieves high accuracy during close encounters by using a high order integration scheme for the duration of the encounter while otherwise using a standard 2nd order Wisdom-Holman scheme, thereby optimizing both speed and accuracy. In this paper we reassess the criteria for choosing the switching function that determines which parts of the Hamiltonian are integrated with the high order integrator. We show that the original motivation for choosing a polynomial switching function in MERCURY is not correct. We explain the nevertheless excellent performance of the MERCURY integrator and then explore a wide range of different switching functions including an infinitely differentiable function and a Heaviside function. We find that using a Heaviside function leads to a significantly simpler scheme compared to MERCURY, while maintaining the same accuracy in short term simulations.
△ Less
Submitted 12 March, 2019;
originally announced March 2019.
-
Should $N$-body integrators be symplectic everywhere in phase space?
Authors:
David M. Hernandez
Abstract:
Symplectic integrators are the preferred method of solving conservative $N$-body problems in cosmological, stellar cluster, and planetary system simulations because of their superior error properties and ability to compute orbital stability. Newtonian gravity is scale free, and there is no preferred time or length scale: this is at odds with construction of traditional symplectic integrators, in w…
▽ More
Symplectic integrators are the preferred method of solving conservative $N$-body problems in cosmological, stellar cluster, and planetary system simulations because of their superior error properties and ability to compute orbital stability. Newtonian gravity is scale free, and there is no preferred time or length scale: this is at odds with construction of traditional symplectic integrators, in which there is an explicit timescale in the time-step. Additional timescales have been incorporated into symplectic integration using various techniques, such as hybrid methods and potential decompositions in planetary astrophysics, integrator sub-cycling in cosmology, and block time-step** in stellar astrophysics, at the cost of breaking or potentially breaking symplecticity at a few points in phase space. The justification provided, if any, for this procedure is that these trouble points where the symplectic structure is broken should be rarely or never encountered in practice. We consider the case of hybrid integrators, which are used ubiquitously in astrophysics and other fields, to show that symplecticity breaks at a few points are sufficient to destroy beneficial properties of symplectic integrators, which is at odds with some statements in the literature. We show how to solve this problem in the case of hybrid integrators by requiring Lipschitz continuity of the equations of motion. For other techniques, like time step subdivision, {consequences to this this problem are not explored here}, and the fact that symplectic structure is broken should be taken into account by $N$-body simulators, who may find an alternative non-symplectic integrator performs similarly.
△ Less
Submitted 26 March, 2019; v1 submitted 10 February, 2019;
originally announced February 2019.
-
The nature of the TRAPPIST-1 exoplanets
Authors:
Simon L. Grimm,
Brice-Olivier Demory,
Michaël Gillon,
Caroline Dorn,
Eric Agol,
Artem Burdanov,
Laetitia Delrez,
Marko Sestovic,
Amaury H. M. J. Triaud,
Martin Turbet,
Émeline Bolmont,
Anthony Caldas,
Julien de Wit,
Emmanuël Jehin,
Jérémy Leconte,
Sean N. Raymond,
Valérie Van Grootel,
Adam J. Burgasser,
Sean Carey,
Daniel Fabrycky,
Kevin Heng,
David M. Hernandez,
James G. Ingalls,
Susan Lederer,
Franck Selsis
, et al. (1 additional authors not shown)
Abstract:
Context. The TRAPPIST-1 system hosts seven Earth-sized, temperate exoplanets orbiting an ultra-cool dwarf star. As such, it represents a remarkable setting to study the formation and evolution of terrestrial planets that formed in the same protoplanetary disk. While the sizes of the TRAPPIST-1 planets are all known to better than 5% precision, their densities have significant uncertainties (betwee…
▽ More
Context. The TRAPPIST-1 system hosts seven Earth-sized, temperate exoplanets orbiting an ultra-cool dwarf star. As such, it represents a remarkable setting to study the formation and evolution of terrestrial planets that formed in the same protoplanetary disk. While the sizes of the TRAPPIST-1 planets are all known to better than 5% precision, their densities have significant uncertainties (between 28% and 95%) because of poor constraints on the planet's masses. Aims.The goal of this paper is to improve our knowledge of the TRAPPIST-1 planetary masses and densities using transit-timing variations (TTV). The complexity of the TTV inversion problem is known to be particularly acute in multi-planetary systems (convergence issues, degeneracies and size of the parameter space), especially for resonant chain systems such as TRAPPIST-1. Methods. To overcome these challenges, we have used a novel method that employs a genetic algorithm coupled to a full N-body integrator that we applied to a set of 284 individual transit timings. This approach enables us to efficiently explore the parameter space and to derive reliable masses and densities from TTVs for all seven planets. Results. Our new masses result in a five- to eight-fold improvement on the planetary density uncertainties, with precisions ranging from 5% to 12%. These updated values provide new insights into the bulk structure of the TRAPPIST-1 planets. We find that TRAPPIST-1\,c and e likely have largely rocky interiors, while planets b, d, f, g, and h require envelopes of volatiles in the form of thick atmospheres, oceans, or ice, in most cases with water mass fractions less than 5%.
△ Less
Submitted 5 February, 2018;
originally announced February 2018.
-
Time-symmetric integration in astrophysics
Authors:
David M. Hernandez,
Edmund Bertschinger
Abstract:
Calculating the long term solution of ordinary differential equations, such as those of the $N$-body problem, is central to understanding a wide range of dynamics in astrophysics, from galaxy formation to planetary chaos. Because generally no analytic solution exists to these equations, researchers rely on numerical methods which are prone to various errors. In an effort to mitigate these errors,…
▽ More
Calculating the long term solution of ordinary differential equations, such as those of the $N$-body problem, is central to understanding a wide range of dynamics in astrophysics, from galaxy formation to planetary chaos. Because generally no analytic solution exists to these equations, researchers rely on numerical methods which are prone to various errors. In an effort to mitigate these errors, powerful symplectic integrators have been employed. But symplectic integrators can be severely limited because they are not compatible with adaptive step** and thus they have difficulty accommodating changing time and length scales. A promising alternative is time-reversible integration, which can handle adaptive time step**, but the errors due to time-reversible integration in astrophysics are less understood. The goal of this work is to study analytically and numerically the errors caused by time-reversible integration, with and without adaptive step**. We derive the modified differential equations of these integrators to perform the error analysis. As an example, we consider the trapezoidal rule, a reversible non-symplectic integrator, and show it gives secular energy error increase for a pendulum problem and for a Hénon---Heiles orbit. We conclude that using reversible integration does not guarantee good energy conservation and that, when possible, use of symplectic integrators is favored. We also show that time-symmetry and time-reversibility are properties that are distinct for an integrator.
△ Less
Submitted 19 January, 2018; v1 submitted 23 August, 2017;
originally announced August 2017.
-
A study of symplectic integrators for planetary system problems: error analysis and comparisons
Authors:
David M. Hernandez,
Walter Dehnen
Abstract:
The symplectic Wisdom-Holman map revolutionized long-term integrations of planetary systems. There is freedom in such methods of how to split the Hamiltonian and which coordinate system to employ, and several options have been proposed in the literature. These choices lead to different integration errors, which we study analytically and numerically. The Wisdom-Holman method in Jacobi coordinates a…
▽ More
The symplectic Wisdom-Holman map revolutionized long-term integrations of planetary systems. There is freedom in such methods of how to split the Hamiltonian and which coordinate system to employ, and several options have been proposed in the literature. These choices lead to different integration errors, which we study analytically and numerically. The Wisdom-Holman method in Jacobi coordinates and the method of Hernandez, H16, compare favorably and avoid problems of some of the other maps, such as incorrect center-of-mass position or truncation errors even in the one-planet case. We use H16 to compute the evolution of Pluto's orbital elements over 500 million years in a new calculation.
△ Less
Submitted 1 March, 2017; v1 submitted 15 December, 2016;
originally announced December 2016.
-
Symplectic fourth-order maps for the collisional N-body problem
Authors:
Walter Dehnen,
David M. Hernandez
Abstract:
We study analytically and experimentally certain symplectic and time-reversible N-body integrators which employ a Kepler solver for each pair-wise interaction, including the method of Hernandez & Bertschinger (2015). Owing to the Kepler solver, these methods treat close two-body interactions correctly, while close three-body encounters contribute to the truncation error at second order and above.…
▽ More
We study analytically and experimentally certain symplectic and time-reversible N-body integrators which employ a Kepler solver for each pair-wise interaction, including the method of Hernandez & Bertschinger (2015). Owing to the Kepler solver, these methods treat close two-body interactions correctly, while close three-body encounters contribute to the truncation error at second order and above. The second-order errors can be corrected to obtain a fourth-order scheme with little computational overhead. We generalise this map to an integrator which employs a Kepler solver only for selected interactions and yet retains fourth-order accuracy without backward steps. In this case, however, two-body encounters not treated via a Kepler solver contribute to the truncation error.
△ Less
Submitted 29 September, 2016;
originally announced September 2016.
-
How scientific literature has been evolving over the time? A novel statistical approach using tracking verbal-based methods
Authors:
Daria Micaela Hernandez,
Monica Becue-Bertaut,
Igor Barahona
Abstract:
This paper provides a global vision of the scientific publications related with the Systemic Lupus Erythematosus (SLE), taking as starting point abstracts of articles. Through the time, abstracts have been evolving towards higher complexity on used terminology, which makes necessary the use of sophisticated statistical methods and answering questions including: how vocabulary is evolving through t…
▽ More
This paper provides a global vision of the scientific publications related with the Systemic Lupus Erythematosus (SLE), taking as starting point abstracts of articles. Through the time, abstracts have been evolving towards higher complexity on used terminology, which makes necessary the use of sophisticated statistical methods and answering questions including: how vocabulary is evolving through the time? Which ones are most influential articles? And which one are the articles that introduced new terms and vocabulary? To answer these, we analyze a dataset composed by 506 abstracts and downloaded from 115 different journals and cover a 18 year-period.
△ Less
Submitted 5 February, 2016;
originally announced July 2016.
-
How marketing vocabulary was evolving from 2005 to 2014? An illustrative application of statistical methods on text mining
Authors:
Igor Barahona,
Daria Micaela Hernandez,
Hector Hugo Perez-Villarreal
Abstract:
Here a collection of 1169 abstracts, which corresponds to articles that the Journal of Marketing Research has published from 2005 to 2014, are analysed under a novel approach. We apply several statistical methods, such as Principal Components Analysis and Correspondence Analysis to identify the way Marketing vocabulary is evolving. Similarly those articles that introduce new vocabulary are identif…
▽ More
Here a collection of 1169 abstracts, which corresponds to articles that the Journal of Marketing Research has published from 2005 to 2014, are analysed under a novel approach. We apply several statistical methods, such as Principal Components Analysis and Correspondence Analysis to identify the way Marketing vocabulary is evolving. Similarly those articles that introduce new vocabulary are identified and the preferred words by authors are also detected. In order to provide an easy-to-understand explanation, we provide our results graphically. A word-cloud with the most frequent words is given first. Secondly abstracts-words are represented on the factorial plane. Finally one representation of word-years allows us to detect changes on the vocabulary through the passing of time.
△ Less
Submitted 5 February, 2016;
originally announced June 2016.
-
Fast and reliable symplectic integration for planetary system $N$-body problems
Authors:
David M. Hernandez
Abstract:
We apply one of the exactly symplectic integrators, that we call HB15, of \cite{HB15}, along with the Kepler problem solver of \cite{WH15}, to solve planetary system $N$-body problems. We compare the method to Wisdom-Holman methods (WH) in the \texttt{MERCURY} software package, the \texttt{MERCURY} switching integrator, and others and find HB15 to be the most efficient method or tied for the most…
▽ More
We apply one of the exactly symplectic integrators, that we call HB15, of \cite{HB15}, along with the Kepler problem solver of \cite{WH15}, to solve planetary system $N$-body problems. We compare the method to Wisdom-Holman methods (WH) in the \texttt{MERCURY} software package, the \texttt{MERCURY} switching integrator, and others and find HB15 to be the most efficient method or tied for the most efficient method in many cases. Unlike WH, HB15 solved $N$-body problems exhibiting close encounters with small, acceptable error, although frequent encounters slowed the code. Switching maps like \texttt{MERCURY} change between two methods and are not exactly symplectic. We carry out careful tests on their properties and suggest they must be used with caution. We then use different integrators to solve a 3-body problem consisting of a binary planet orbiting a star. For all tested tolerances and time steps, \texttt{MERCURY} unbinds the binary after 0 to 25 years. However, in the solutions of HB15, a time-symmetric Hermite code, and a symplectic Yoshida method, the binary remains bound for $>1000$ years. The methods' solutions are qualitatively different, despite small errors in the first integrals in most cases. Several checks suggest the qualitative binary behavior of HB15's solution is correct. The Bulirsch-Stoer and Radau methods in the \texttt{MERCURY} package also unbind the binary before a time of 50 years, suggesting this dynamical error is due to a \texttt{MERCURY} bug.
△ Less
Submitted 8 March, 2016; v1 submitted 23 November, 2015;
originally announced November 2015.
-
A Fast and Accurate Universal Kepler Solver without Stumpff Series
Authors:
Jack Wisdom,
David M. Hernandez
Abstract:
We derive and present a fast and accurate solution of the initial value problem for Keplerian motion in universal variables that does not use the Stumpff series. We find that it performs better than methods based on the Stumpff series.
We derive and present a fast and accurate solution of the initial value problem for Keplerian motion in universal variables that does not use the Stumpff series. We find that it performs better than methods based on the Stumpff series.
△ Less
Submitted 14 August, 2015; v1 submitted 11 August, 2015;
originally announced August 2015.
-
Symplectic integration for the collisional gravitational $N$-body problem
Authors:
David M. Hernandez,
Edmund Bertschinger
Abstract:
We present a new symplectic integrator designed for collisional gravitational $N$-body problems which makes use of Kepler solvers. The integrator is also reversible and conserves 9 integrals of motion of the $N$-body problem to machine precision. The integrator is second order, but the order can easily be increased by the method of \citeauthor{yos90}. We use fixed time step in all tests studied in…
▽ More
We present a new symplectic integrator designed for collisional gravitational $N$-body problems which makes use of Kepler solvers. The integrator is also reversible and conserves 9 integrals of motion of the $N$-body problem to machine precision. The integrator is second order, but the order can easily be increased by the method of \citeauthor{yos90}. We use fixed time step in all tests studied in this paper to ensure preservation of symplecticity. We study small $N$ collisional problems and perform comparisons with typically used integrators. In particular, we find comparable or better performance when compared to the 4th order Hermite method and much better performance than adaptive time step symplectic integrators introduced previously. We find better performance compared to SAKURA, a non-symplectic, non-time-reversible integrator based on a different two-body decomposition of the $N$-body problem. The integrator is a promising tool in collisional gravitational dynamics.
△ Less
Submitted 21 July, 2015; v1 submitted 9 March, 2015;
originally announced March 2015.
-
Caracterisation Electromagnetique in-Situ De Sols En Bande L. Application a L'Identification De Profils Geologiques
Authors:
François Demontoux,
Gilles Ruffié,
Daniel Medina Hernandez
Abstract:
The development of instruments for remote sensing applications (active or passive) requires in situ validation measurements. The equipments (radar or radiometer) must be tested on real geological profiles. We must have accurate information on the profiles studied (permittivity, humidity, thickness of layers ...). Sensors (humidity), samples (thickness) or laboratory measurements (permittivity) p…
▽ More
The development of instruments for remote sensing applications (active or passive) requires in situ validation measurements. The equipments (radar or radiometer) must be tested on real geological profiles. We must have accurate information on the profiles studied (permittivity, humidity, thickness of layers ...). Sensors (humidity), samples (thickness) or laboratory measurements (permittivity) provide local data about the profile while the remote sensing equipment is performing global measurements on a geological structure. The present work describes an in situ characterization bench test, based on two horn antennas, associated with an identification profiles software we developed to obtain comprehensive and instantaneous information on the geological profiles.
△ Less
Submitted 25 June, 2009;
originally announced June 2009.
-
Inversion model validation of ground emissivity. Contribution to the development of SMOS algorithm
Authors:
François Demontoux,
Bénédicte Le Crom,
Gilles Ruffié,
Jean Pierre Wigneron,
Jennifer Grant,
Daniel Medina Hernandez
Abstract:
SMOS (Soil Moisture and Ocean Salinity), is the second mission of 'Earth Explorer' to be developed within the program 'Living Planet' of the European Space Agency (ESA). This satellite, containing the very first 1.4GHz interferometric radiometer 2D, will carry out the first cartography on a planetary scale of the moisture of the grounds and the salinity of the oceans. The forests are relatively…
▽ More
SMOS (Soil Moisture and Ocean Salinity), is the second mission of 'Earth Explorer' to be developed within the program 'Living Planet' of the European Space Agency (ESA). This satellite, containing the very first 1.4GHz interferometric radiometer 2D, will carry out the first cartography on a planetary scale of the moisture of the grounds and the salinity of the oceans. The forests are relatively opaque, and the knowledge of moisture remains problematic. The effect of the vegetation can be corrected thanks a simple radiative model. Nevertheless simulations show that the effect of the litter on the emissivity of a system litter + ground is not negligible. Our objective is to highlight the effects of this layer on the total multi layer system. This will make it possible to lead to a simple analytical formulation of a model of litter which can be integrated into the calculation algorithm of SMOS. Radiometer measurements, coupled to dielectric characterizations of samples in laboratory can enable us to characterize the geological structure. The goal of this article is to present the step which we chose to validate this analytical model.
△ Less
Submitted 6 July, 2007;
originally announced July 2007.