Related papers: Thue-Morse constant is not badly approximable

Using lattice approximations of Euclidean space, we develop a way to approximate stable processes that are represented by stochastic integrals over Euclidean space. Via a stable version of the Lindeberg-Feller Theorem we show that the…

We study generalizations of Demuth's Theorem, which states that the image of a Martin-L\"of random real under a tt-reduction is either computable or Turing equivalent to a Martin-L\"of random real. We show that Demuth's Theorem holds for…

We prove the upper-semi-continuity of the Morse index plus nullity of critical points to general conformally invariant Lagrangians in dimension 2 under weak convergence. Precisely we establish that the sum of the Morse indices and the…

It is a classical fact that the exponential function is solution of the integral equation $ \int_0^X f(x)dx + f(0) =f(X)$. If we slightly modify this equation to $ \int_0^X f(x)dx+f(0)=f(\alpha X)$ with $\alpha\in ]0,1[$, it seems that no…

For a Markov semigroup $P_t$ with invariant probability measure $\mu$, a constant $\ll>0$ is called a lower bound of the ultra-exponential convergence rate of $P_t$ to $\mu$, if there exists a constant $C\in (0,\infty)$ such that $$…

We will show in this paper that if $\lambda$ is very close to 1, then $$I(M,\lambda,m)= \sup_{u\in H^{1,n}_0(M) ,\int_M|\nabla u|^ndV=1}\int_\Omega (e^{\alpha_n |u|^\frac{n}{n-1}}-\lambda\sum\limits_{k=1}^m\frac{|\alpha_nu^\frac{n}{n-1}|^k}…

Consider a sequence of integral matrices $\mathcal{A}=(A_n)_{n\in\N}$, and a $d$-tuple function ${\bf r}=(r_1,\ldots,r_d)\colon \N\to (0,\frac{1}{2})$. For a fixed vector ${\bm \alpha},$ we are interested in the set $\mathcal{T}_{{\bm…

Let $\{d_k\}_{k \geq 0}$ be a complex martingale difference in $L^p[0,1],$ where $1<p<\infty,$ and $\{\e_k\}_{k \geq 0}$ a sequence in $\{\pm 1\}.$ We obtain the following generalization of Burkholder's famous result. If $\tau \in [-\frac…

Schleischitz [arXiv:1701.01129] determined exponents of best approximations to a strong Liouville number by integer polynomials and algebraic numbers of precribed degree. In this note, we show that we cannot extend his result to arbitrary…

Let $A = a_0T^m + \sum_{j=1}^{m-1} a_j (T^{m-j}+T^{m+j}) + T^{2m}+1 \in \mathbf{Z}[T]$ be a monic reciprocal polynomial of degree $2m$ sampled randomly by selecting its coefficients $a_0,a_1,\dots,a_{m-1}$ independently according to a given…

We give an optimal version of the classical ``three-gap theorem'' on the fractional parts of $n \theta$, in the case where $\theta$ is an irrational number that is badly approximable. As a consequence, we deduce a version of Kronecker's…

Classical approximation results for stochastic differential equations analyze the $L^p$-distance between the exact solution and its Euler-Maruyama approximations. In this article we measure the error with temporal-spatial H\"older-norms.…

Let M be a geometrically finite pinched negatively curved Riemannian manifold with at least one cusp. Inspired by the theory of diophantine approximation of a real (or complex) number by rational ones, we develop a theory of approximation…

Let ftm = 0111010010001... be the analogue of the Thue-Morse sequence in Fibonacci representation. In this note we show how, using the Walnut theorem-prover, to obtain a measure of its complexity, previously studied by Jamet, Popoli, and…

In [3] (Rend. Lincei Mat. Appl. 26 (2015), 1-10; see also arXiv:1503.08145 [math.DS]) the following result has been announced: Theorem. Consider a real-analytic nearly-integrable mechanical system with potential $f$, namely, a Hamiltonian…

Let $F^{*}$ be an approximation of a given $(a \times b)$ matrix $F$ derived by methods that are not randomized. We prove that for a given $F$ and $F^{*}$, $H$ and $T$ can be computed by randomized algorithm such that $(HT)$ is an…

In this article we call a sequence $(a_n)_n$ of elements of a metric space nearly computably Cauchy if for every strictly increasing computable function $r:\mathbb{N}\to\mathbb{N}$ the sequence $(d(a_{r(n+1)},a_{r(n)}))_n$ converges…

Let $\mathcal{A}$ be a set of mutually coprime positive integers, satisfying \begin{align*} \sum\limits_{a\in\mathcal{A}}\frac{1}{a} = \infty. \end{align*} Define the (possibly non-multiplicative) "Liouville-like" functions \begin{align*}…

Houdr\'e and Tetali defined a class of isoperimetric constants $\varphi_p$ of graphs for $0 \leq p \leq 1$, and conjectured a Cheeger-type inequality for $\varphi_\frac12$ of the form $$\lambda_2 \lesssim \varphi_\frac12 \lesssim…

Moss\'e proved that primitive morphisms are recognizable. In this paper we give a computable upper bound for the constant of recognizability of such a morphism. This bound can be expressed only using the cardinality of the alphabet and the…