Related papers: A formalisation of Gallagher's ergodic theorem

Let $a_n$ be the random increasing sequence of natural numbers which takes each value independently with probability $n^{-a}$, $0 < a < 1/2$, and let $p(n) = n^{1+\epsilon}$, $0 < \epsilon < 1$. We prove that, almost surely, for every…

Analogous to G\"odel's incompleteness theorems is a theorem in physics to the effect that the set of explanations of given evidence is uncountably infinite. An implication of this theorem is that contact between theory and experiment…

We present the foundational theory of condensed sets and basic condensed algebra after having introduced key concepts from category theory and homological algebra. In the later sections, we indicate the relevance of condensed mathematics to…

We introduce a moving average summability method, which is proved to be equivalent with the logarithmic $\ell$-method. Several equivalence and Tauberian theorems are given. A strong law of large numbers is also proved.

In this note, we review the history of Khintchine's Theorem which is the foundation of metric Diophantine approximation, and discuss several generalizations and recent breakthroughs in this area. We focus particularly on the direction of…

We prove that every complete Einstein (Riemannian or pseudo-Riemannian) metric $g$ is geodesically rigid: if any other complete metric $\bar g$ has the same (unparametrized) geodesics with $g$, then the Levi-Civita connections of $g$ and…

We establish two ergodic theorems which have among their corollaries numerous classical results from multiplicative number theory, including the Prime Number Theorem, a theorem of Pillai-Selberg, a theorem of Erd\H{o}s-Delange, the mean…

We prove pointwise and maximal ergodic theorems for probability measure preserving (p.m.p.) actions of any countable group, provided it admits an essentially free, weakly mixing amenable action of stable type $III_1$. We show that this…

Gauge theory underpins the quantum field theories of the standard model, and in a previous paper was shown via a geometric approach to describe classical electromagnetism in a form which approximates QED. Here we formalize and generalize…

Any discrete quantum process is represented by a sequence of quantum channels. We consider ergodic quantum processes obtained by a map that takes the points along the trajectory of a discrete ergodic dynamical system to the space of quantum…

We develop the classical theory of Diophantine approximation without assuming monotonicity or convexity. A complete `multiplicative' zero-one law is established akin to the `simultaneous' zero-one laws of Cassels and Gallagher. As a…

Regardless of the long history of gauge theories, it is not well recognized under which condition gauge fixing at the action level is legitimate. We address this issue from the Lagrangian point of view, and prove the following theorem on…

Based on M. Hall's theorem we prove a simple result dealing with real numbers which admit exact approximations by rationals.

We consider random fields indexed by finite subsets of an amenable discrete group, taking values in the Banach-space of bounded right-continuous functions. The field is assumed to be equivariant, local, coordinate-wise monotone, and almost…

In 1962, Gallagher proved an higher dimensional version of Khintchine's theorem on Diophantine approximation. Gallagher's theorem states that for any non-increasing approximation function $\psi:\mathbb{N}\to (0,1/2)$ with…

We prove that every ergodic amenable action of an algebraic group over a local field of characteristic zero is induced from an ergodic action of an amenable subgroup.

This paper is devoted to systematic studies of some extensions of first-order G\"odel logic. The first extension is the first-order rational G\"odel logic which is an extension of first-order G\"odel logic, enriched by countably many…

The classical Multiplicative Ergodic Theorem (MET) of Oseledets is generalized here to cocycles taking values in a semi-finite von Neumann algebra. This allows for a continuous Lyapunov distribution.

Under the assumption that the approximating function $\psi$ is monotonic, the classical Khintchine-Groshev theorem provides an elegant probabilistic criterion for the Lebesgue measure of the set of $\psi$-approximable matrices in $\R^{mn}$.…

This paper expands on previous work to derive and motivate the Lagrangian formulation of field theories. In the process, we take three deliberate steps. First, we give the definition of the action and derive Euler-Lagrange equations for…