Related papers: Rigorous numerics for fast-slow systems with one-d…
Rate-independent systems arise in a number of applications. Usually, weak solutions to such problems with potentially very low regularity are considered, requiring mathematical techniques capable of handling nonsmooth functions. In this…
Many systems of interest in general relativistic astrophysics, including neutron stars, accreting compact objects in X-ray binaries and active galactic nuclei, core collapse, and collapsars, are assumed to be approximately spherically…
This thesis is concerned with global properties of those cosmological solutions of Einstein's field equations which obey accelerated expansion into the future driven by a non-vanishing cosmological constant, as suggested by current…
We provide a new perspective on shadow tomography by demonstrating its deep connections with the general theory of measurement frames. By showing that the formalism of measurement frames offers a natural framework for shadow tomography --…
For strongly monotone dynamical systems, the dynamics alternative for smooth discrete-time systems turns out to be a perfect analogy of the celebrated Hirsch's limit-set dichotomy for continuous-time semiflows. In this paper, we first…
We present recent developments on numerical algorithms for computing photon and particle trajectories in the surrounding of compact objects. Strong gravity around neutron stars or black holes causes relativistic effects on the motion of…
The Nobel Prize winning confirmation in 1998 of the accelerated expansion of our Universe put into sharp focus the need of a consistent theoretical model to explain the origin of this acceleration. As a result over the past two decades…
This paper investigates travelling wave solutions of the FitzHugh-Nagumo equation from the viewpoint of fast-slow dynamical systems. These solutions are homoclinic orbits of a three dimensional vector field depending upon system parameters…
We deal with a Newtonian system like x'' + V'(x) = 0. We suppose that V: \R^n \to \R possesses an (n-1)-dimensional compact manifold M of critical points, and we prove the existence of arbitrarity slow periodic orbits. When the period tends…
As computational machines become larger and more complex, the probability of hardware failure rises. ``Silent errors'', or bit flips, may not be immediately apparent but can cause detrimental effects to algorithm behavior. In this work, we…
The numerical optimized shooting method for finding periodic orbits in nonlinear dynamical systems was employed to determine the existence of periodic orbits in the well-known R\"ossler system. By optimizing the period $T$ and the three…
The Nielsen-Thurston theory of surface diffeomorphisms shows that useful dynamical information can be obtained about a surface diffeomorphism from a finite collection of periodic orbits.In this paper, we extend these results to homoclinic…
Set representations are the foundation of various set-based approaches in state estimation, reachability analysis and fault diagnosis. In this paper, we investigate spectrahedral shadows, a class of nonlinear geometric objects previously…
This paper proposes a statistical verification framework using Gaussian processes (GPs) for simulation-based verification of stochastic nonlinear systems with parametric uncertainties. Given a small number of stochastic simulations, the…
The long-term dynamics of many dynamical systems evolve on an attracting, invariant "slow manifold" that can be parameterized by a few observable variables. Yet a simulation using the full model of the problem requires initial values for…
Classical shadows are a versatile tool to probe many-body quantum systems, consisting of a combination of randomised measurements and classical post-processing computations. In a recently introduced version of the protocol, the…
Dynamical systems with translational or rotational symmetry arise frequently in studies of spatially extended physical systems, such as Navier-Stokes flows on periodic domains. In these cases, it is natural to express the state of the fluid…
The mutual orbital alignment in multiple planetary systems is an important parameter for understanding their formation. There are a number of elaborate techniques to determine the alignment parameters using photometric or spectroscopic…
In this paper we present a computer-assisted procedure for proving the existence of transverse heteroclinic orbits connecting hyperbolic equilibria of polynomial vector fields. The idea is to compute high-order Taylor approximations of…
Searching recurrent patterns in complex systems with high-dimensional phase spaces is an important task in diverse fields. In the current work, an improved scheme is proposed to accelerate the recently designed variational approach for…