Related papers: Power means of probability measures and Ando-Hiai …

In this paper, we generalize some matrix inequalities involving matrix power and Karcher means of positive definite matrices. Among other inequalities, it is shown that if ${\mathbb A}=(A_{1},...,A_{n})$ is a $n$-tuple of positive definite…

For positive definite matrices $A$ and $B$, the Kubo-Ando matrix power mean is defined as $$ P_\mu(p, A, B) = A^{1/2}\left(\frac{1+(A^{-1/2}BA^{-1/2})^p}{2}\right )^{1/p} A^{1/2}\quad (p \ge 0). $$ In this paper, for $0\le p \le 1 \le q$,…

Let $\textrm{Mat}_2(\mathbb{R})$ be the set of $2 \times 2$ matrices with real entries. For any $\varepsilon>0$ and any finitely--supported probability measure $\mu$ on $\textrm{Mat}_2(\mathbb{R})$, we prove that either \[ T(\mu) = \sum_{X,…

Permutation Pattern Matching (or PPM) is a decision problem whose input is a pair of permutations $\pi$ and $\tau$, represented as sequences of integers, and the task is to determine whether $\tau$ contains a subsequence order-isomorphic to…

We prove that the known sufficient conditions on the real parameters $(p,q)$ for which the matrix power mean inequality $((A^p+B^p)/2)^{1/p}\le((A^q+B^q)/2)^{1/q}$ holds for every pair of matrices $A,B>0$ are indeed best possible. The proof…

Given positive measures $\nu,\mu$ on an arbitrary measurable space $(\Omega, \mathcal F)$, we construct a sequence of finite partitions $(\pi_n)_n$ of $(\Omega, \mathcal F)$ s.t. $$ \sum_{A\in \pi_n: \mu(A)>0} 1_{A} \frac{\nu(A)}{\mu(A)}…

Let p1, p2,..., pn be distinct prime numbers, and let Nn be their product. We prove that, for any positive integer L that is divisible by the least common multiple of p1 minus one, p2 minus one, and so on, and for integers a1, a2,..., an…

The celebrated Hardy inequality can be written in the form $$\int_0^\infty \mathcal{P}_p \big(f|_{[0,x]}\big)dx \le (1-p)^{-1/p} \int_0^\infty f(x)\:dx \qquad \text{ for }p\in(0,1)\text{ and }f \in L^1\text{ with }f\ge0,$$ where…

Let $ \mu $ be the self-similar measure associated with a homogeneous iterated function system $ \Phi = \{ \lambda x + t_j \}_{j=1}^m $ on ${\Bbb R}$ and a probability vector $ (p_{j})_{j=1}^m$, where $0\neq \lambda\in (-1,1)$ and $t_j\in…

Let $\mu_p(A,B,t)=(tA^p+(1-t)B^p)^{1/p}$ denote the weighted power mean between positive operators $A$ and $B$. We show that the function $t\to \|A-\mu_p(A,B,t)\|_2$ is monotonically decreasing whenever $1/2 \leq p \leq 1$. Hence showing…

In the paper we represent two examples which are based on the properties of discrete measures. In the first part of the paper we prove that for each probability measure $\mu$, $\operatorname{supp}{\mu}=[-1,1]$, which logarithmic potential…

Let $E$ be a Moran set on $\mathbb{R}^1$ associated with a closed interval $J$ and two sequences $(n_k)_{k=1}^\infty$ and $(\mathcal{C}_k=(c_{k,j})_{j=1}^{n_k})_{k\geq1}$. Let $\mu$ be the infinite product measure (Moran measure) on $E$…

Let $\mu$ be a probability measure on the real line. In this paper we prove that there exists a decomposition $\mu = \mu_{0} \boxplus \mu_{1} \boxplus \... \boxplus \mu_{n} \boxplus \...$ such that $\mu_{0}$ is infinitely divisible and…

Let $(X,\mu)$ be a standard probability space. An automorphism $T$ of $(X,\mu)$ has the weak Pinsker property if for every $\varepsilon > 0$ it has a splitting into a direct product of a Bernoulli shift and an automorphism of entropy less…

By a Cantor-like measure we mean the unique self-similar probability measure $\mu $ satisfying $\mu =\sum_{i=0}^{m-1}p_{i}\mu \circ S_{i}^{-1}$ where $% S_{i}(x)=\frac{x}{d}+\frac{i}{d}\cdot \frac{d-1}{m-1}$ for integers $2\leq d<m\le 2d-1$…

Let $A, B$ be positive definite matrices, $p=1, 2$ and $r\ge 0$. It is shown that \begin{equation*} ||A+ B + r(A\sharp_t B+A\sharp_{1-t} B)||_p \le ||A+ B + r(A^{t}B^{1-t} + A^{1-t}B^t)||_p. \end{equation*} We also prove that for positive…

Let $\mu$ be a self-affine measure on $\mathbb{R}^{d}$ associated to an affine IFS $\Phi$ and a positive probability vector $p$. Suppose that the maps in $\Phi$ do not have a common fixed point, and that standard irreducibility and…

Let $\mu$ and $\nu$ be two probability measures on $\R^d$, where $\mu(\d x)= \e^{-V(x)}\d x$ for some $V\in C^1(\R^d)$. Explicit sufficient conditions on $V$ and $\nu$ are presented such that $\mu*\nu$ satisfies the log-Sobolev, Poincar\'e…

Let $ \mu $ be a self-affine measure associated with a diagonal affine iterated function system (IFS) $ \Phi = \{ (x_{1}, \ldots, x_{d}) \mapsto ( r_{i, 1}x_{1} + t_{i,1}, \ldots, r_{i,d}x_{d} + t_{i,d}) \}_{i\in\Lambda} $ on $…

In this paper we study the behaviour of convolution powers of probability measures $\mu$ on $\Z$, such that $(\mu(n))_{n\in \N}$ is completely monotone or such that $\nu$ is centered with a second moment. In particular we exhibit many new…