Related papers: On normal numbers and self-similar measures
Let $(X, \mathscr{L}, \lambda)$ and $(Y, \mathscr{M}, \mu)$ be finite measure spaces for which there exist $A \in \mathscr{L}$ and $B \in \mathscr{M}$ with either $0 < \lambda(A) < 1 < \lambda(X)$ and $0 < \mu(B) < \mu(Y)$, or the other way…
This paper presents simple, syntactic strong normalization proofs for the simply-typed lambda-calculus and the polymorphic lambda-calculus (system F) with the full set of logical connectives, and all the permutative reductions. The…
Let $\lambda$ be a probability measure on $\mathbb T^{n-1}$ where $n=2$ or 3. Suppose $\lambda$ is invariant, ergodic and has positive entropy with respect to the linear transformation defined by a hyperbolic matrix. We get a measure $\mu $…
We prove that the relation of bisimilarity between countable labelled transition systems is $\Sigma_1^1$-complete (hence not Borel), by reducing the set of non-wellorders over the natural numbers continuously to it. This has an impact on…
Let $\{S_i\}_{i\in \Lambda}$ be a finite contracting affine iterated function system (IFS) on ${\Bbb R}^d$. Let $(\Sigma,\sigma)$ denote the two-sided full shift over the alphabet $\Lambda$, and $\pi:\Sigma\to {\Bbb R}^d$ be the coding map…
We introduce more properties of forcing notions which imply that their lambda-support iterations are lambda-proper, where lambda is an inaccessible cardinal. This paper is a direct continuation of section A.2 of math.LO/0210205. As an…
Suppose that $X=\{X_t, t\ge 0; \mathbb{P}_{\mu}\}$ is a supercritical superprocess in a locally compact separable metric space $E$. Let $\phi_0$ be a positive eigenfunction corresponding to the first eigenvalue $\lambda_0$ of the generator…
Let $\psi$ be a function such that $\psi(x) \rightarrow \infty$ as $x \rightarrow \infty.$ Let $\lambda_{f}(n)$ be the $n$-th Hecke eigenvalue of a fixed holomorphic cusp form $f$ for $SL(2,\mathbb{Z}).$ We show that for any real valued…
Let $\lambda$ denote the Liouville function. We show that as $X \rightarrow \infty$, $$ \int_{X}^{2X} \sup_{\alpha} \left | \sum_{x < n \leq x + H} \lambda(n) e(-\alpha n) \right | dx = o ( X H) $$ for all $H \geq X^{\theta}$ with $\theta >…
We introduce a multivariate Markov transform which generalizes the well-known one-dimensional Stieltjes transform from the Moment problem and Spectral theory. Our main result states that two measures {\mu} and {\nu} with bounded support…
Let $(T,d)$ be a metric space and $\phi:\mathbb{R}_+\to \mathbb{R}$ an increasing, convex function with $\phi(0)=0$. We prove that if $m$ is a probability measure $m$ on $T$ which is majorizing with respect to $d,\phi$, that is,…
Let $(X,\mathcal{B},\mu,T)$ be a measure preserving system. We say that a function $f\in L^2(X,\mu)$ is $\mu$-mean equicontinuous if for any $\epsilon>0$ there is $k\in \mathbb{N}$ and measurable sets ${A_1,A_2,\cdots,A_k}$ with…
We study trace functions on the form $ t\to\tr f(A+tB) $ where $ f $ is a real function defined on the positive half-line, and $ A $ and $ B $ are matrices such that $ A $ is positive definite and $ B $ is positive semi-definite. If $ f $…
Let $\eta_{1},\eta_2,...$ be independent (not necessarily identically distributed) zero-mean random variables (r.v.'s) such that $|\eta_i|\le1$ almost surely for all $i$, and let $Z$ stand for a standard normal r.v. Let $a_1,a_2,...$ be any…
This paper offers a solution of the functional equation $$ \big(tf(x)+(1-t)f(y)\big)\varphi(tx+(1-t)y)=tf(x)\varphi(x)+(1-t)f(y)\varphi(y) \qquad(x,y\in I), $$ where $t\in\,]0,1[\,$ is a fixed number, $\varphi:I\to\mathbb{R}$ is strictly…
This paper deals with the existence of positive solutions for the nonlinear system q(t)\phi(p(t)u'_{i}(t)))'+f^{i}(t,\textbf{u})=0,\quad 0<t<1,\quad i=1,2,...,n. This system often arises in the study of positive radial solutions of…
We prove an intrinsic equivalence between strong hypercontractivity and a strong logarithmic Sobolev inequality for the cone of logarithmically subharmonic functions. We introduce a new large class of measures, Euclidean regular and…
We extend some classical results of Cowling and Meda to the noncommutative setting. Let $(T_t)_{t>0}$ be a symmetric contraction semigroup on a noncommutative space $L_p(\mathcal{M}),$ and let the functions $\phi$ and $\psi$ be regularly…
We develop a unified analytical and dynamical framework for the qualitative study of the one-parameter family of generalized Dirichlet eta functions $\eta_{a}(t)=\sum_{m\ge0}(-1)^{m}(am+1)^{-t}$, $a>0$, $t>0$, which includes the classical…
Let $\varphi_{\lambda}$ be an eigenfunction of the Laplace-Beltrami operator on a smooth compact Riemannian manifold $(M,g)$, i.e., $\Delta_g \varphi_{\lambda} + \lambda \varphi_{\lambda}=0$. We show that $\varphi_{\lambda}$ satisfies a…