Related papers: Rigorous numerics for fast-slow systems with one-d…
Fast-slow systems are notoriously difficult to analyze with rigorous numerics, since the qualitative properties of the solution space change fundamentally when the so-called small parameter $\epsilon$ is varied from 0 to small non-zero…
We provide a rigorous numerical computation method to validate tubular neighborhoods of normally hyperbolic slow manifolds with the explicit radii for the fast-slow system \begin{equation*} \begin{cases} x' = f(x,y,\epsilon), and y'…
We study a class of slow-fast Hamiltonian systems with any finite number of degrees of freedom, but with at least one slow one and two fast ones. At $% \epsilon =0$ the slow dynamics is frozen. We assume that the frozen system (i.e. the…
An approach to find a weak form of shadowing is developed. We consider homeomorphisms of a compact metric space. It is proved that every pseudotrajectory with sufficiently small errors contains at least one subsequence that can be shadowed…
This paper aims at providing rigorous numerical computation procedure for finite-time singularities in dynamical systems. Combination of time-scale desingularization as well as Lyapunov functions validation on stable manifolds of invariant…
Slow-fast dynamical systems have two time scales and an explicit parameter representing the ratio of these time scales. Locally invariant slow manifolds along which motion occurs on the slow time scale are a prominent feature of slow-fast…
We develop a new symbolic-numeric algorithm for the certification of singular isolated points, using their associated local ring structure and certified numerical computations. An improvement of an existing method to compute inverse systems…
In this paper we present a general approach to rigorously validate Hopf bifurcations as well as saddle-node bifurcations of periodic orbits in systems of ODEs. By a combination of analytic estimates and computer-assisted calculations, we…
A new numerical framework, based on the use of a simple first order strongly hyperbolic evolution equations, is introduced and tested in case of 4-dimensional spherically symmetric gravitating systems. The analytic setup is chosen such that…
In this work we develop a method for computing mathematically rigorous enclosures of some one dimensional manifolds of heteroclinic orbits for nonlinear maps. Our method exploits a rigorous curve following argument build on high order…
Global dynamics in nonlinear stochastic systems is often difficult to analyze rigorously. Yet, many excellent numerical methods exist to approximate these systems. In this work, we propose a method to bridge the gap between computation and…
The 1-form symmetries in two-dimensional topological systems are ``shadowed'' as global symmetries in their one-dimensional quantum transfer matrices. In this work, we introduce a distinct shadow effect arising from the pair-creation of…
Shadow tomography is a framework for constructing succinct descriptions of quantum states using randomized measurement bases, called classical shadows, with powerful methods to bound the estimators used. We recast existing experimental…
Periodic orbits are important objects of discrete dynamical systems, but finding them is not always easy. We present a self-contained introductory account, aimed at non-experts, to prove their existence and study their stability using the…
A method for enhancing the stability and robustness of explicit schemes in computational fluid dynamics is presented. The method is based in reformulating explicit schemes in matrix form, which cane modified gradually into semi or…
Based on numerical data and a-posteriori analysis we verify rigorously the uniqueness and smoothness of global solutions to a scalar surface growth model with striking similarities to the 3D Navier--Stokes equations, for certain initial…
Let $X$ be a compact Hausdorff space, with uniformity $\mathscr{U}$, and let $f \colon X \to X$ be a continuous function. For $D \in \mathscr{U}$, a $D$-pseudo-orbit is a sequence $(x_i)$ for which $(f(x_i),x_{i+1}) \in D$ for all indices…
Estimating the number of vertices of a two dimensional projection, called a shadow, of a polytope is a fundamental tool for understanding the performance of the shadow simplex method for linear programming among other applications. We prove…
Methods of dynamical systems have been used to study homogeneous and isotropic cosmological models with a varying speed of light (VSL). We propose two methods of reduction of dynamics to the form of planar Hamiltonian dynamical systems for…
Measuring global quantum properties-such as the fidelity to complex multipartite states-is both an essential and experimentally challenging task. Classical shadow estimation offers favorable sample complexity, but typically relies on…