Related papers: Computability of Brolin-Lyubich Measure

We consider an ergodic invariant measure $\mu$ for a smooth action of $Z^k$, $k \ge 2$, on a $(k+1)$-dimensional manifold or for a locally free smooth action of $R^k$, $k \ge 2$ on a $(2k+1)$-dimensional manifold. We prove that if $\mu$ is…

It is shown that the algebra \(L^\infty(\mu)\) of all bounded measurable functions with respect to a finite measure \(\mu\) is localizing on the Hilbert space \(L^2(\mu)\) if and only if the measure \(\mu\) has an atom. Next, it is shown…

We show that the distillable coherence---which is equal to the relative entropy of coherence---is, up to a constant factor, always bounded by the $\ell_1$-norm measure of coherence (defined as the sum of absolute values of off diagonals).…

On a one-sided shift of finite type we prove that for a generic Holder continuous function there is a unique maximizing measure. We show that b-Holder continuous functions can be approximated in the a-Holder topology, a<b, by a function…

For any fixed alphabet A, the maximum topological entropy of a Z^d subshift with alphabet A is obviously log |A|. We study the class of nearest neighbor Z^d shifts of finite type which have topological entropy very close to this maximum,…

We prove strong hypercontractivity (SHC) inequalities for logarithmically subharmonic functions on $\RR^n$ and different classes of measures: Gaussian measures on $\RR^n$, symmetric Bernoulli and symmetric uniform probability measures on…

The theorem of Shannon-McMillan-Breiman states that for every generating partition on an ergodic system of finite entropy the exponential decay rate of the measure of cylinder sets equals the metric entropy almost everywhere. In addition…

For $(\lambda_{1},...,\lambda_{d})=\lambda\in(0,1)^{d}$ with $\lambda_{1}>...>\lambda_{d}$, denote by $\mu_{\lambda}$ the Bernoulli convolution associated to $\lambda$. That is, $\mu_{\lambda}$ is the distribution of the random vector…

Infinite-dimensional, holomorphic functions have been studied in detail over the last several decades, due to their relevance to parametric differential equations and computational uncertainty quantification. The approximation of such…

We initiate a study of the following problem: Given a continuous domain $\Omega$ along with its convex hull $\mathcal{K}$, a point $A \in \mathcal{K}$ and a prior measure $\mu$ on $\Omega$, find the probability density over $\Omega$ whose…

We show that the smooth measure is the unique measure of maximal entropy for the Teichmueller flow on the moduli space of abelian differentials.

A universal programmable detector is a device that can be tuned to perform any desired measurement on a given quantum system, by changing the state of an ancilla. With a finite dimension d for the ancilla only approximate universal…

V'yugin has shown that there are a computable shift-invariant measure on Cantor space and a simple function f such that there is no computable bound on the rate of convergence of the ergodic averages A_n f. Here it is shown that in fact one…

We develop a thermodynamic formalism for a strongly dissipative H\'enon-like map at the first bifurcation parameter at which the uniform hyperbolicity is destroyed by the formation of tangencies inside the limit set. For any $t\in\mathbb R$…

In [11], employing the technique of noncommutative interpolation, a maximal ergodic theorem in noncommutative Lp-spaces, 1 < p < infinity, was established and, among other things, corresponding maximal ergodic inequalities and individual…

We consider the dynamical system given by a diagonalizable element $a$ of a closed linear unimodular algebraic subgroup $G$ of the special linear group over the $p$-adic numbers acting by translation on a finite volume quotient $X$.…

We compute the precise value of the measure of noncompactness of Sobolev embeddings $W_0^{1,p}(D)\hookrightarrow L^p(D)$, $p\in(1,\infty)$, on strip-like domains $D$ of the form $\mathbb{R}^k\times\prod\limits_{i=1}^{n-k}(a_i,b_i)$. We show…

For certain families of complex maps, we give a formula for the Hausdorff dimension of the equilibrium measure. In particular, given an endomorphism $f$ of $\mathbb C\mathbb P^k$ of algebraic degree $d \ge2$, and given the equilibrium…

In relatively nice geometric settings, in particular, on Lipschitz domains, absolute continuity of elliptic measure with respect to the surface measure is equivalent to Carleson measure estimates, to square function estimates, and to…

In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets $A_{i}$ with effectively summable measures, there are…