Related papers: Finite dimensional invariant KAM tori for tame vec…

Effective field theories consistent with quantum gravity obey surprising finiteness constraints, appearing in several distinct but interconnected forms. In this work we develop a framework that unifies these observations by proposing that…

A visceral structure on M is given by a definable base for a uniform topology on its universe in which all basic open sets are infinite and any infinite definable subset X of M has non-empty interior. This context includes o-minimal ordered…

We study the global boundedness of the solutions of a non-smooth forced oscillator with a periodic and real analytic forcing. We show that the impact map associated with this discontinuous equation becomes a real analytic and exact…

We study various combinatorial properties, and the implications between them, for filters generated by infinite-dimensional subspaces of a countable vector space. These properties are analogous to selectivity for ultrafilters on the natural…

Using the higher tame symbol and Kawada and Satake's Witt vector method, A. N. Parshin developed class field theory for higher local fields, defining reciprocity maps separately for the tamely ramified and wildly ramified cases. We extend…

For a finite vector space $V$ and a non-negative integer $r\le\dim V$ we estimate the smallest possible size of a subset of $V$, containing a translate of every $r$-dimensional subspace. In particular, we show that if $K\subset V$ is the…

We prove various results in infinite-dimensional differential calculus which relate differentiability properties of functions and associated operator-valued functions (e.g., differentials). The results are applied in two areas: 1. in the…

We describe new theories of composite vector and tensor (p-form) gauge fields made out of zero-dimensional constituent scalar fields (``primitives''). The local gauge symmetry is replaced by an infinite-dimensional global Noether symmetry…

Given $l>2\nu>2d\geq 4$, we prove the persistence of a Cantor--family of KAM tori of measure $O(\varepsilon^{1/2-\nu/l})$ for any non--degenerate nearly integrable Hamiltonian system of class $C^l(\mathscr D\times\mathbb{T}^d)$, where…

We consider a class of a priori stable quasi-integrable analytic Hamiltonian systems and study the regularity of low-dimensional hyperbolic invariant tori as functions of the perturbation parameter. We show that, under natural nonresonance…

We introduce a combinatorial property for finitely generated groups called stackable that implies the existence of an inductive procedure for constructing van Kampen diagrams with respect to a canonical finite presentation. We also define…

We revisit non-autonomous systems depending quasi-periodically in time within the reversible context 2 of KAM theory and obtain Whitney smooth families of invariant tori in such systems via Herman's method. The reversible KAM context 2…

In this paper we consider nonlinear Schrodinger systems with periodic boundary condition in high dimension. We establish an abstract infinite dimensional KAM theorem and apply it to the nonlinear Schrodinger equation systems with real…

We reconsider a control theory for Hamiltonian systems, that was introduced on the basis of KAM theory and applied to a model of magnetic field in previous articles. By a combination of Frequency Analysis and of a rigorous (Computer…

In the present paper we describe the computational implementation of some integral terms that arise from mixed virtual element methods (mixed-VEM) in two-dimensional pseudostress-velocity formulations. The implementation presented here…

Let $K$ be a field and $V$ be a set of rank one valuations of $K$. The corresponding Tate-Shafarevich group of a $K$-torus $T$ is $Sha(T , V) = \ker\left(H^1(K , T) \to \prod_{v \in V} H^1(K_v , T)\right)$. We prove that if $K = k(X)$ is…

In this article, we implement the algorithm based on the convex integration result proved in [Lewicka-Pakzad Analysis and PDE (2017)] and obtain visualizations of the first iterations of the Nash-Kuiper scheme, approx- imating the anomalous…

We consider linear optimization over a fixed compact convex feasible region that is semi-algebraic (or, more generally, "tame"). Generically, we prove that the optimal solution is unique and lies on a unique manifold, around which the…

We set the foundations for a new approach to Topological Data Analysis (TDA) based on homotopical methods at chain complexes level. We present the category of tame parametrised chain complexes as a comprehensive environment that includes…

An exact semiclassical version of the classical KAM theorem about small perturbations of vector fields on the torus is given. Moreover, a renormalization theorem based on counterterms for some semiclassical systems that are close to being…