For Dynamical Systems, a strong bound on multiple correlations implies the Central Limit Theorem (CLT) [ChMa]. In Chernov’s paper [Ch2], such a bound is derived for dynamically Hölder continuous observables of dispersing Billiards. Here we weaken the regularity assumption and subsequently show that the bound on multiple correlations follows directly from the bound on pair correlations. Thus, a ...

This is the translation of the Mizar article containing readable Mizar proofs of some axiomatic geometry theorems formulated by the great Polish mathematician Alfred Tarski [8], and we hope to continue this work. The article is an extension and upgrading of the source code written by the first author with the help of miz3 tool; his primary goal was to use proof checkers to help teach rigorous a...

We analyze the consistency strength of regularity on the basis of Feferman’s operational set theory OST. Our main result shows that regularity over OST for operations corresponds to regularity with respect to set-theoretic functions in frameworks like Kripke-Platek set theory. As a consequence, we obtain that OST plus the operational axiom (Inac) is consistency-equivalent to Kripke-Platek set t...

We present a string theory that reproduces the large-N expansion of two dimensional YangMills gauge theory on arbitrary surfaces. First, a new class of topological sigma models is introduced, with path integrals localized to the moduli space of harmonic maps. The Lagrangian of these harmonic topological sigma models is of fourth order in worldsheet derivatives. Then we gauge worldsheet diffeomo...

We prove an almost sure invariance principle (approximation by d-dimensional Brownian motion) for vector-valued Hölder observables of large classes of nonuniformly hyperbolic dynamical systems. These systems include Axiom A diffeomorphisms and flows as well as systems modelled by Young towers with moderate tail decay rates. In particular, the position variable of the planar periodic Lorentz gas...

The purpose of this note is to analyze the conditions needed in geometry to introduce ideal points without using order relations. Since only incidence relations are used, it is convenient to use the notation of lattice theory. The actual introduction of the ideal elements is a purely algebraic process belonging to the theory of ideal extension and will be given elsewhere. (See abstracts 44-5-20...

Motivated by non-equilibrium phenomena in nature, we study dynamical systems whose time-evolution is determined by non-stationary compositions of chaotic maps. The constituent maps are topologically transitive Anosov diffeomorphisms on a 2-dimensional compact Riemannian manifold, which are allowed to change with time — slowly, but in a rather arbitrary fashion. In particular, such systems admit...

We obtain general results on the stability of mixing and rapid mixing (superpolynomial decay of correlations) for hyperbolic flows. Amongst Cr Axiom A flows, r ≥ 2, we show that there is a C2-open, Cr-dense set of flows for which each nontrivial hyperbolic basic set is rapid mixing. This is the first general result on the stability of rapid mixing (or even mixing) for Axiom A flows that holds i...

Markov partitions work most efficiently for Anosov systems or for Axiom A systems. However, for hyperbolic dynamical systems which are either singular or whose hyperbolicity is nonuniform, the construction of a Markov partition, which in these cases is necessarily countable, is a rather delicate issue even when such a construction exists. An additional problem is the use of a countable Markov p...

A recent debate has focused on different methodological principles underlying the practice of axiom choice in mathematics (cf. Feferman et al., 2000; Maddy, 1997; Easwaran, 2008). The general aim of these contributions can be described as twofold: first to clarify the spectrum of informal justification strategies retraceable in the history of mathematical axiomatics. Second, to evaluate and to ...