相关论文: Fast iteration of cocyles over rotations and Compu…

We consider autonomous Hamiltonian systems and present an algorithm to compute at the same time partially hyperbolic invariant tori (whiskered tori), as well as high-order expansions of their stable and unstable manifolds. Such whiskered…

The purpose of this paper is to present a method to compute parameterizations of invariant tori and bundles in non-autonomous quasi-periodic Hamiltonian systems. We generalize flow map parameterization methods to the quasi-periodic setting.…

In this paper we present efficient algorithms for the computation of several invariant objects for Hamiltonian dynamics. More precisely, we consider KAM tori (i.e diffeomorphic copies of the torus such that the motion on them is conjugated…

In this work, we obtain an a-posteriori theorem for the existence of partly hyperbolic invariant tori in analytic Hamiltonian systems: autonomous, periodic, and quasi-periodic. The method of proof is based on the convergence of a KAM…

This paper outlines an approach for proving existence of hyperbolic quasi-periodic invariant tori using computer assisted methods based on an a posteriori KAM-like theorem. We implement it for the dissipative standard map following the…

The goal of this paper is to present a methodology for the computation of invariant tori in Hamiltonian systems combining flow map methods, parameterization methods, and symplectic geometry. While flow map methods reduce the dimension of…

An algorithm is presented for numerical computation of choreographies in spaces of constant negative curvature in a hyperbolic cotangent potential, extending the ideas given in a companion paper for computing choreographies in the plane in…

We present an algorithm for computing line bundle valued cohomology classes over toric varieties. This is the basic starting point for computing massless modes in both heterotic and Type IIB/F-theory compactifications, where the manifolds…

In this paper, we generalize Spencer's hyperbolic cosine algorithm to the matrix-valued setting. We apply the proposed algorithm to several problems by analyzing its computational efficiency under two special cases of matrices; one in which…

This paper provides an iterative procedure for constructing hyperbolic Coxeter groups that virtually fiber over $\mathbb{Z}$ that is flexible enough to yield infinitely many isomorphism classes in each virtual cohomological dimension (vcd)…

We present theorems which provide the existence of invariant whiskered tori in finite-dimensional exact symplectic maps and flows. The method is based on the study of a functional equation expressing that there is an invariant torus. We…

A novel parallel algorithm for matrix multiplication is presented. The hyper-systolic algorithm makes use of a one-dimensional processor abstraction. The procedure can be implemented on all types of parallel systems. It can handle…

We use hyperbolic wavelet regression for the fast reconstruction of high-dimensional functions having only low dimensional variable interactions. Compactly supported periodic Chui-Wang wavelets are used for the tensorized hyperbolic wavelet…

In this paper we present a procedure to compute reducible invariant tori and their stable and unstable manifolds in stroboscopic Poincar\'e maps. The method has two steps. In the first step we compute, by means of a quadratically convergent…

The hyperbolic Radon transform is a commonly used tool in seismic processing, for instance in seismic velocity analysis, data interpolation and for multiple removal. A direct implementation by summation of traces with different moveouts is…

Different techniques from machine learning are applied to the problem of computing line bundle cohomologies of (hypersurfaces in) toric varieties. While a naive approach of training a neural network to reproduce the cohomologies fails in…

Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this…

We present a method for computing invariant tori of dimension greater than one. The method uses a single short trajectory of a dynamical system without any continuation or initial guesses. No preferred coordinate system is required, meaning…

The goal of this paper is to provide a methodology to prove existence of (fiberwise hyperbolic) real-analytic invariant tori in real-analytic quasi-periodic skew-product dynamical systems that present nearly-invariant tori of the same…

We construct canonical intertwining semi-models with Kobayashi hyperbolic base space for holomorphic self-maps of complex manifolds which are univalent on some absorbing cocompact hyperbolic domain. In particular, in the unit ball we solve…