Related papers: Rigorous numerics for fast-slow systems with one-d…
Errors in numerical simulations of gravitating systems can be magnified exponentially over short periods of time. Numerical shadowing provides a way of demonstrating that the dynamics represented by numerical simulations are representative…
The present work studies the robustness of certain basic homoclinic motions in an equilateral restricted four body problem. The problem can be viewed as a two parameter family of conservative autonomous vector fields. The main tools are…
Advanced embedded algorithms are growing in complexity and they are an essential contributor to the growth of autonomy in many areas. However, the promise held by these algorithms cannot be kept without proper attention to the considerably…
The slow-roll approximation is an analytical approach to study dynamical properties of the inflationary universe. In this article, systematic construction of the slow-roll expansion for effective loop quantum cosmology is presented. The…
We study the drift of slow variables in a slow-fast Hamiltonian system with several fast and slow degrees of freedom. For any periodic trajectory of the fast subsystem with the frozen slow variables we define an action. For a family of…
For a given a normally hyperbolic invariant manifold, whose stable and unstable manifolds intersect transversally, we consider several tools and techniques to detect trajectories with prescribed itineraries: the scattering map, the…
In this paper, we are concerned with studying the existence of invariant complex manifolds of two-dimensional holomorphic systems. From the geometric singular perturbation theory we know that if a slow-fast system has associated a normally…
We introduce a numerical framework to verify the finite step convergence of first-order methods for parametric convex quadratic optimization. We formulate the verification problem as a mathematical optimization problem where we maximize a…
Advances in our understanding of the origin, evolution and structure of the universe have long been driven by cosmological perturbation theory, model building and effective field theory. In this review, we introduce numerical relativity as…
Shadow estimation provides an efficient framework for estimating observable expectation values using randomized measurements. While originally developed for discrete-variable systems, its recent extensions to continuous-variable (CV)…
We prove that oriented and standard shadowing properties are equivalent for topological flows on closed surfaces with the nonwandering set consisting of the finite number of critical elements (i.e., singularities or closed orbits).…
We develop a fully numerical framework to compute and visualize the \emph{hypershadow}\cite{Novo:2024wyn}, the three-dimensional generalization of the black hole shadow in five-dimensional spacetimes. Our method is based on backward ray…
In this paper, we generalize the algorithm described by Rump and Graillat, as well as our previous work on certifying breadth-one singular solutions of polynomial systems, to compute verified and narrow error bounds such that a slightly…
The presence of slow-fast Hopf (or singular Hopf) points in slow-fast systems in the plane is often deduced from the shape of a vector field brought into normal form. It can however be quite cumbersome to put a system in normal form. In the…
Orbit determination is possible for a chaotic orbit of a dynamical system, given a finite set of observations, provided the initial conditions are at the central time. In a simple discrete model, the standard map, we tackle the problem of…
Homoclinic snaking is a widespread phenomenon observed in many pattern-forming systems. Demonstrating its occurrence in non-perturbative regimes has proven difficult, although a forcing theory has been developed based on the identification…
We consider a dynamical system, possibly infinite dimensional or non-autonomous, with fast and slow time scales which is oscillatory with high frequencies in the fast directions. We first derive and justify the limit system of the slow…
Many multi-variate time series obtained in the natural sciences and engineering possess a repetitive behavior, as for instance state-space trajectories of industrial machines in discrete automation. Recovering the times of recurrence from…
This paper presents an alternative approach for the computation of trajectory segments on slow manifolds of saddle type. This approach is based on iterative methods rather than collocation-type methods. Compared to collocation methods, that…
Higher precision efficient computation of period 1 relaxation oscillations of strongly nonlinear and singularly perturbed Rayleigh equations with external periodic forcing is presented. The computations are performed in the context of…