Related papers: Some trace inequalities for exponential and logari…

The function $p_{xy}$ that interchanges two logical variables $x,y$ in formulas is hard to describe in the following sense. Let $F$ denote the Lindenbaum-Tarski formula-algebra of a finite-variable first order logic, endowed with $p_{xy}$…

Given two density matrices $\rho$ and $\sigma$, there are a number of different expressions that reduce to the $\alpha$-R\'enyi relative entropy of $\rho$ with respect to $\sigma$ in the classical case; i.e., when $\rho$ and $\sigma$…

For $X$, $Y$, $Z$ and $W$ compact metric spaces, consider two uniformly contractive IFS $\{\tau_x: Z\to Z,\, x\in x\}$ and $\{\tau_y:W\to W,\, y\in Y\}$. For a fixed $\alpha \in \mathcal{P}(X)$ with $supp(\alpha)=X$ we define the entropy of…

This work provides data-processing and majorization inequalities for $f$-divergences, and it considers some of their applications to coding problems. This work also provides tight bounds on the R\'{e}nyi entropy of a function of a discrete…

We prove several trace inequalities that extend the Golden-Thompson and the Araki-Lieb-Thirring inequality to arbitrarily many matrices. In particular, we strengthen Lieb's triple matrix inequality. As an example application of our four…

The $q$-sum $x \oplus_q y \equiv x+y+(1-q) xy$ ($x \oplus_1 y=x+y$) and the $q$-product $x\otimes_q y \equiv [x^{1-q} +y^{1-q}-1]^{\frac{1}{1-q}}$ ($x\otimes_1 y=x y$) emerge naturally within nonextensive statistical mechanics. We show here…

This paper provides equivalence characterizations of homogeneous Triebel-Lizorkin and Besov-Lipschitz spaces, denoted by $\dot{F}^s_{p,q}(\mathbb{R}^n)$ and $\dot{B}^s_{p,q}(\mathbb{R}^n)$ respectively, in terms of maximal functions of the…

For $\nu\in[0,1]$ and a complex parameter $\sigma,$ $Re\, \sigma>0,$ we discuss a linear inhomogeneous functional difference equation with variable coefficients on a complex plane $z\in\mathbb{C}$: \[…

In this paper we deal with two quantum relative entropy preserver problems on the cones of positive (either positive definite or positive semidefinite) operators. The first one is related to a quantum R\'enyi relative entropy like quantity…

Let $1\leq p <\infty$ and $0 < q,r < \infty$. We characterize the validity of the inequality for the composition of the Hardy operator, \begin{equation*} \bigg(\int_a^b \bigg(\int_a^x \bigg(\int_a^t f(s)ds \bigg)^q u(t) dt…

The main aim of this paper is to study the functional inequality \begin{equation*} \int_{[0,1]}f\bigl((1-t)x+ty\bigr)d\mu(t)\geq 0, \qquad x,y\in I \mbox{ with } x<y, \end{equation*} for a continuous unknown function $f:I\to{\mathbb R}$,…

We prove a functional extension of an exponential inequality originally proposed by Bin Zhao and proved by Xiaosheng Mou. The main result asserts that if $\alpha_1\leq \cdots\leq \alpha_n$ and $\sum_{k=1}^n \alpha_k=0$, then \[ \sum_{k=1}^n…

Let $\mathsf{N}_{\rm d}\left[X\right]=\frac{1}{2\pi {\rm e}}{\rm e}^{2\mathsf{H}\left[X\right]}$ denote the entropy power of the discrete random variable $X$ where $\mathsf{H}\left[X\right]$ denotes the discrete entropy of $X$. In this…

We show that for weakly dependent random variables the relative entropy functional satisfies an approximate version of the standard tensorization property which holds in the independent case. As a corollary we obtain a family of…

We provide deficit estimates for Nelson's hypercontractivity inequality, the logarithmic Sobolev inequality, and Talagrand's transportation cost inequality under the restriction that the inputs are semi-log-subharmonic, semi-log-convex, or…

Holevo introduced a fidelity between quantum states that is symmetric and as effective as the trace norm in evaluating their similarity. This fidelity is bounded by a function of the trace norm, a relationship to which we will refer as…

Building on the recent work of Johnson (2007) and Yu (2008), we prove that entropy is a concave function with respect to the thinning operation T_a. That is, if X and Y are independent random variables on Z_+ with ultra-log-concave…

We prove a functional limit theorem in a space of analytic functions for the random Dirichlet series $D(\alpha;z)=\sum_{n\geq 2}(\log n)^{\alpha}(\eta_n+{\rm i} \theta_n)/n^z$, properly scaled and normalized, where…

The aim of this paper is to prove an inequality between relative entropy and the sum of average conditional relative entropies of the following form: For a fixed probability measure $q^n$ on $\mathcal X^n$, ($\mathcal X$ is a finite set),…

We introduce hardness in relative entropy, a new notion of hardness for search problems which on the one hand is satisfied by all one-way functions and on the other hand implies both next-block pseudoentropy and inaccessible entropy, two…