Related papers: Generalizations of Efron's theorem

Let $R(n)$ denote the number of rich words of length $n$ over a given finite alphabet. In 2017 it was proved that $\lim_{n\rightarrow\infty} \sqrt[n]{R(n)}=1$; it means the number of rich words has a subexponential growth. However, up to…

We give a short proof of an improved version of the Effros Open Mapping Principle via a shift-compactness theorem (also with a short proof), involving `sequential analysis' rather than separability, deducing it from the Baire property in a…

We present an approximation theorem for continuous non-decreasing functions on compact preordered spaces, leading to an algebraic characterization of their corresponding function spaces. As an application, we prove that the family of…

Given a continuous real-valued function on [0, 1], and a closed subset E \subset [0, 1] we denote by f E the restriction of f to E, that is, the function defined only on E that takes the same values as f at every point of E >. The…

We show that Fueter's theorem holds for a more general class of quaternionic functions than those constructed by the Fueter's method.

We study the decay of convolution powers of probability measures without second moment but satisfying some weaker finite moment condition. For any locally compact unimodular group G and any positive function $\rho:G \rightarrow…

An order-preserving Freiman 2-isomorphism is a map $\phi:X \rightarrow \mathbb{R}$ such that $\phi(a) < \phi(b)$ if and only if $a < b$ and $\phi(a)+\phi(b) = \phi(c)+\phi(d)$ if and only if $a+b=c+d$ for any $a,b,c,d \in X$. We show that…

A classical theorem of Kuratowski says that every Baire one function on a G_\delta subspace of a Polish (= separable completely metrizable) space X can be extended to a Baire one function on X. Kechris and Louveau introduced a finer…

If $- \infty < \alpha < \beta < \infty $ and $f \in C^{3} \left( [ \alpha , \beta ] \times {\bf R}^{2} , {\bf R} \right) $ is bounded, while $y \in C^{2} \left( [ \alpha , \beta ] , {\bf R} \right) $ solves the typical one-dimensional…

It is well known that if a function $f$ satisfies $$\|f(x) e^{\pi \alpha |x|^2}\|_p + \| \widehat{f}(\xi) e^{\pi \alpha |\xi|^2} \|_q<\infty \qquad\qquad\qquad(*)$$ with $\alpha=1$ and $1\le p,q<\infty$, then $f\equiv 0.$ We prove that if…

A random variable $Y_1$ is said to be smaller than $Y_2$ in the increasing concave stochastic order if $\mathbb{E}[\phi(Y_1)] \leq \mathbb{E}[\phi(Y_2)]$ for all increasing concave functions $\phi$ for which the expected values exist, and…

We establish new recurrence and multiple recurrence results for a rather large family $\mathcal{F}$ of non-polynomial functions which includes tempered functions defined in [11], as well as functions from a Hardy field with the property…

For real power series whose non-zero coefficients satisfy $|a_m|^{1/m}\to~1$ we prove a stronger version of Fabry theorem relating the frequency of sign changes in the coefficients and analytic continuation of the sum of the power series.

In this paper we prove that if $X $ is a Banach space, then for every lower semi-continuous bounded below function $f, $ there exists a $\left(\varphi_1, \varphi_2\right)-$convex function $g, $ with arbitrarily small norm, such that $f + g…

We prove a Berry-Esseen theorem and Edgeworth expansions for partial sums of the form $S_N=\sum_{n=1}^{N}f_n(X_n,X_{n+1})$, where $\{X_n\}$ is a uniformly elliptic inhomogeneous Markov chain and $\{f_n\}$ is a sequence of uniformly bounded…

We define a function by refining Stern's diatomic sequence. We name it the {\it assembly function}. It is strictly increasing continuous. The first and the second main theorems are on an action to the function. The third theorem is on…

We consider Gomory and Johnson's infinite group model with a single row. Valid inequalities for this model are expressed by valid functions and it has been recently shown that any valid function is dominated by some nonnegative valid…

For a class $\Gamma$ of formulas, $\Gamma$ local reflection principle $\mathrm{Rfn}_{\Gamma}(T)$ for a theory $T$ of arithmetic is a scheme formalizing the $\Gamma$-soundness of $T$. Beklemishev proved that for every $\Gamma \in \{\Sigma_n,…

Let $\mathcal{F}$ be a set of $n$ real analytic functions with linearly independent derivatives restricted to a compact interval $I$. We show that for any finite set $A \subset I$, there is a function $f \in \mathcal{F}$ that satisfies…

We show that it is provable in PA that there is an arithmetically definable sequence $\{\phi_{n}:n \in \omega\}$ of $\Pi^{0}_{2}$-sentences, such that - PRA+$\{\phi_{n}:n \in \omega\}$ is $\Pi^{0}_{2}$-sound and $\Pi^{0}_{1}$-complete - the…