Related papers: Finite dimensional invariant KAM tori for tame vec…
The ``Fundamental Theorem" given by Arnold in [2] asserts the persistence of full dimensional invariant tori for 2-scale Hamiltonian systems. However, persistence in multi-scale systems is much more complicated and difficult. In this paper,…
We study expansions of a vector space $V$ over a field $\mathbb F$, possibly with extra structure, with a generic submodule over a subring of $\mathbb F$. We construct a natural expansion by existentially defined functions so that the…
We outline an algorithm for construction of functional bases of absolute invariants under the rotation group for sets of rank 2 tensors and vectors in the Euclidean space of arbitrary dimension. We will use our earlier results for symmetric…
Topological Ramsey spaces are spaces which support infinite dimensional Ramsey theory similarly to the Ellentuck space. Each topological Ramsey space is endowed with a partial ordering which can be modified to a $\sigma$-closed `almost…
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…
In this article, we consider an algebraic version of the tame site of a pair $(X,\widetilde{X})$. With this definition, we provide a general machinery to construct a tame sheaf from the data of an \'etale sheaf on $X$ and a family of local…
We provide sufficient conditions on integrable analytic Hamiltonians that guarantee the existence, under arbitrary sufficiently small analytic perturbations, of invariant lower dimensional tori associated to an invariant resonant torus of…
We formulate and analyze several finiteness conjectures for linear algebraic groups over higher-dimensional fields. In fact, we prove all of these conjectures for algebraic tori as well as in some other situations. This work relies in an…
Recently, versions of neural networks with infinite-dimensional affine operators inside the computational units (``neural operator'' networks) have been applied to learn solutions to differential equations. To enable practical computations,…
In this paper we first study the structure of the scalar and vector-valued nearly invariant subspaces with a finite defect. We then subsequently produce some fruitful applications of our new results. We produce a decomposition theorem for…
We introduce the new class of submanifolds of co-Banach type in tame Fr\'echet manifolds and construct tame Fr\'echet submanifolds as inverse images of regular values of certain tame maps. Our method furnishes an easy way to construct tame…
We establish the vector-valued Wiener type theorems for countable projective and inductive limits of quasi-Banach algebras in a weighted setting for both finite and infinite dimensional cases. As an application, we extend the notions of…
In this paper, we present a formalization of an algorithm to construct admissible discrete vector fields in the Coq theorem prover taking advantage of the SSReflect library. Discrete vector fields are a tool which has been welcomed in the…
Dynamical tunneling between symmetry related invariant tori is studied in the near-integrable regime. Using the kicked Harper model as an illustration, we show that the exponential decay of the wave functions in the classically forbidden…
We develop a structure theory for two classes of infinite dimensional modules over tame hereditary algebras: the Baer modules, and the Mittag-Leffler ones.
Tame geometry originated in mathematical logic and implements strong finiteness properties by defining the notion of tame sets and functions. In part I we argued that observables in a wide class of quantum field theories are tame functions…
We construct a family of finite element sub-complexes of the conformal complex on tetrahedral meshes and show their exactness on contractible domains. This complex includes vector fields and symmetric and traceless tensor fields, connected…
Topological invariants, rigorously defined only in the thermodynamic limit, have been generalized to topological indicators applicable to finite-size disordered systems. However, in many experimentally relevant situations, such as…
We determine derived representation type of complete finitely generated local and two-point algebras over an algebraically closed field.
We study the planetary system of $\upsilon$~Andromed{\ae}, considering the three-body problem formed by the central star and the two largest planets, $\upsilon$~And~\emph{c} and $\upsilon$~And~\emph{d}. We adopt a secular, three-dimensional…