Let $A$ and $B$ be positive semidefinite matrices. The limit of the expression $Z_p:=(A^{p/2}B^pA^{p/2})^{1/p}$ as $p$ tends to $0$ is given by the well known Lie-Trotter-Kato formula. A similar formula holds for the limit of $G_p:=(A^p,#,B^p)^{2/p}$ as $p$ tends to $0$, where $X,#,Y$ is the geometric mean of $X$ and $Y$. In this paper we study the complementary limit of $Z_p$ and $G_p$ as $p$ tends to $infty$, with the ultimate goal of finding an explicit formula, which we call the anti Lie-Trotter formula. We show that the limit of $Z_p$ exists and find an explicit formula in a special case. The limit of $G_p$ is shown for $2times2$ matrices only.
Quantum f-divergences are a quantum generalization of the classical notion of f-divergences, and are a special case of Petz quasi-entropies. Many well known distinguishability measures of quantum states are given by, or derived from, f-divergences; special examples include the quantum relative entropy, the Renyi relative entropies, and the Chernoff and Hoeffding measures. Here we show that the quantum f-divergences are monotonic under the dual of Schwarz maps whenever the defining function is operator convex. This extends and unifies all previously known monotonicity results. We also analyze the case where the monotonicity inequality holds with equality, and extend Petz reversibility theorem for a large class of f-divergences and other distinguishability measures. We apply our findings to the problem of quantum error correction, and show that if a stochastic map preserves the pairwise distinguishability on a set of states, as measured by a suitable f-divergence, then its action can be reversed on that set by another stochastic map that can be constructed from the original one in a canonical way. We also provide an integral representation for operator convex functions on the positive half-line, which is the main ingredient in extending previously known results on the monotonicity inequality and the case of equality. We also consider some special cases where the convexity of f is sufficient for the monotonicity, and obtain the inverse Holder inequality for operators as an application. The presentation is completely self-contained and requires only standard knowledge of matrix analysis.
We show that the quantum $alpha$-relative entropies with parameter $alphain (0,1)$ can be represented as generalized cutoff rates in the sense of [I. Csiszar, IEEE Trans. Inf. Theory 41, 26-34, (1995)], which provides a direct operational interpretation to the quantum $alpha$-relative entropies. We also show that various generalizations of the Holevo capacity, defined in terms of the $alpha$-relative entropies, coincide for the parameter range $alphain (0,2]$, and show an upper bound on the one-shot epsilon-capacity of a classical-quantum channel in terms of these capacities.
The Riemannian metric on the manifold of positive definite matrices is defined by a kernel function $phi$ in the form $K_D^phi(H,K)=sum_{i,j}phi(lambda_i,lambda_j)^{-1} Tr P_iHP_jK$ when $sum_ilambda_iP_i$ is the spectral decomposition of the foot point $D$ and the Hermitian matrices $H,K$ are tangent vectors. For such kernel metrics the tangent space has an orthogonal decomposition. The pull-back of a kernel metric under a mapping $Dmapsto G(D)$ is a kernel metric as well. Several Riemannian geometries of the literature are particular cases, for example, the Fisher-Rao metric for multivariate Gaussian distributions and the quantum Fisher information. In the paper the case $phi(x,y)=M(x,y)^theta$ is mostly studied when $M(x,y)$ is a mean of the positive numbers $x$ and $y$. There are results about the geodesic curves and geodesic distances. The geometric mean, the logarithmic mean and the root mean are important cases.
We apply the recent results of F. Hiai, M. Mosonyi and T. Ogawa [arXiv:0707.2020, to appear in J. Math. Phys.] to the asymptotic hypothesis testing problem of locally faithful shift-invariant quasi-free states on a CAR algebra. We use a multivariate extension of Szegos theorem to show the existence of the mean Chernoff and Hoeffding bounds and the mean relative entropy, and show that these quantities arise as the optimal error exponents in suitable settings.
A new expression as a certain asymptotic limit via discrete micro-states of permutations is provided to the mutual information of both continuous and discrete random variables.
In a quantum mechanical model, Diosi, Feldmann and Kosloff arrived at a conjecture stating that the limit of the entropy of certain mixtures is the relative entropy as system size goes to infinity. The conjecture is proven in this paper for density m
atrices. The first proof is analytic and uses the quantum law of large numbers. The second one clarifies the relation to channel capacity per unit cost for classical-quantum channels. Both proofs lead to generalization of the conjecture.
