Related papers: Big in Reverse Mathematics: measure and category

The Bregman divergence (Bregman distance, Bregman measure of distance) is a certain useful substitute for a distance, obtained from a well-chosen function (the "Bregman function"). Bregman functions and divergences have been extensively…

Let $n, m$ be positive integers, $n\geq m$. We make several remarks on the relationship between approximate differentiability of higher order and Morse-Sard properties. For instance, among other things we show that if a function…

The representation of mathematical objects in terms of (more) basic ones is part and parcel of (the foundations of) mathematics. In the usual foundations of mathematics, i.e. $\textsf{ZFC}$ set theory, all mathematical objects are…

In this article we introduce the notion of badly approximable matrices of higher order using higher sucessive minima in $\mathbb R^d$. We prove that for order less than $d$, they have Lebesgue measure zero and the gaps between them still…

This article generalises the well-known Katznelson-Tzafriri theorem for a $C_0$-semigroup $T$ on a Banach space $X$, by removing the assumption that a certain measure in the original result be absolutely continuous. In an important special…

We identify a notion of reducibility between predicates, called instance reducibility, which commonly appears in reverse constructive mathematics. The notion can be generally used to compare and classify various principles studied in…

Let $E, F, E_0, E_1$ be rearrangement invariant spaces; let $a, \mathrm{b}, \mathrm{b}_0, \mathrm{b}_1$ be slowly varying functions and $0< \theta_0,\theta_1<1$. We characterize the interpolation spaces $$\Big(\overline{X}^{\mathcal…

We study the relationship between different kinds of convergence of finite signed measures and discuss their metrizability. In particular, we study the concept of basic convergence recently introduced by Khartov [arXiv:2204.13667] and…

In this paper, we study the translations into the Baire space of several well-known $\sigma$-ideals and families originally defined on the Cantor space, using their combinatorial characterizations. These include the ideals of null sets,…

The notion of well order admits an alternative definition in terms of embeddings between initial segments. We use the framework of reverse mathematics to investigate the logical strength of this definition and its connection with…

In a previous paper the authors developed a H^1-BMO theory for unbounded metric measure spaces $(M,\rho,m)$ of infinite measure that are locally doubling and satisfy two geometric properties, called "approximate midpoint" property and…

Motivated by metastability in the zero-range process, we consider i.i.d.\ random variables with values in $\N_0$ and Weibull-like (stretched exponential) law $\mathbb P(X_i =k) = c \exp( - k^\alpha)$, $\alpha \in (0,1)$. We condition on…

Bayesian inference paradigms are regarded as powerful tools for solution of inverse problems. However, when applied to inverse problems in physical sciences, Bayesian formulations suffer from a number of inconsistencies that are often…

In a Bayesian inverse problem setting, the solution consists of a posterior measure obtained by combining prior belief, information about the forward operator, and noisy observational data. This measure is most often given in terms of a…

We consider a little-known abstract decomposition result for positive measures due to Dellacherie, and show that it yields many decompositions of measures, several of which are new. We then extend Dellacherie's result to (controlled) vector…

Suppose a complex function $f$ has a Lebesgue measurable inverse Laplace transform. We show that the $n$th order forward and backward differences of $f$ at $z_0\in\mathbb{C}$ tend to zero as $n\to\infty$ whenever $z_0$ lies in the region of…

We present an elementary proof of the prime number theorem. The relative error follows a golden ratio scaling law and respects the bound obtained from the Riemann's hypothesis. The proof is derived in the framework of a scale free…

Let $Y=(Y(t))_{t\geq0}$ be a zero-mean Gaussian stationary process with covariance function $\rho:\mathbb{R}\to\mathbb{R}$ satisfying $\rho(0)=1$. Let $f:\mathbb{R}\to\mathbb{R}$ be a square-integrable function with respect to the standard…

Let $0<\gamma_1\leq \gamma_2 \leq \cdots $ denote the ordinates of nontrivial zeros of the Riemann zeta function with positive imaginary parts. For $c>0$ fixed (but possibly small), $T$ large, and $\gamma_n\leq T$, we call a gap…

This text grew out of notes I have used in teaching a one quarter course on integration at the advanced undergraduate level. My intent is to introduce the Lebesgue integral in a quick, and hopefully painless, way and then go on to…