## New Research In

### Physical Sciences

### Social Sciences

#### Featured Portals

#### Articles by Topic

### Biological Sciences

#### Featured Portals

#### Articles by Topic

- Agricultural Sciences
- Anthropology
- Applied Biological Sciences
- Biochemistry
- Biophysics and Computational Biology
- Cell Biology
- Developmental Biology
- Ecology
- Environmental Sciences
- Evolution
- Genetics
- Immunology and Inflammation
- Medical Sciences
- Microbiology
- Neuroscience
- Pharmacology
- Physiology
- Plant Biology
- Population Biology
- Psychological and Cognitive Sciences
- Sustainability Science
- Systems Biology

# Convexity of quantum *χ*^{2}-divergence

Edited by Richard V. Kadison, University of Pennsylvania, Philadelphia, PA, and approved April 29, 2011 (received for review April 21, 2011)

## Abstract

The general quantum *χ*^{2}-divergence has recently been introduced by Temme et al. [Temme K, Kastoryano M, Ruskai M, Wolf M, Verstrate F (2010) *J Math Phys* 51:122201] and applied to quantum channels (quantum Markov processes). The quantum *χ*^{2}-divergence is not unique, as opposed to the classical *χ*^{2}-divergence, but depends on the choice of quantum statistics. It was noticed that the elements in a particular one-parameter family of quantum *χ*^{2}-divergences are convex functions in the density matrices (*ρ*,*σ*), thus mirroring the convexity of the classical *χ*^{2}(*p*,*q*)-divergence in probability distributions (*p*,*q*). We prove that any quantum *χ*^{2}-divergence is a convex function in its two arguments.

## 1 Introduction

The geometrical formulation of quantum statistics originates in a study by Chentsov of the classical Fisher information. Chentsov proved (1) that the Fisher–Rao metric is the only Riemannian metric, defined on the tangent space, that is decreasing under Markov morphisms. Because Markov morphisms represent coarse graining or randomization, it means that the Fisher information is the only Riemannian metric possessing the attractive property that distinguishability of probability distributions becomes more difficult when they are observed through a noisy channel.

Morozova (2) extended the analysis to quantum mechanics by replacing Riemannian metrics defined on the tangent space of the simplex of probability distributions with positive definite sesquilinear (originally bilinear) forms *K*_{ρ} defined on the tangent space of a quantum system, where *ρ* is a positive definite state. Customarily, *K*_{ρ} is extended to all operators (matrices) supported by the underlying Hilbert space; cf. refs. 3 and 4 for details. Noisy channels are in this setting represented by stochastic (completely positive and trace preserving) mappings, and the contraction property is replaced by the monotonicity requirement for every stochastic mapping . Unlike the classical situation, these requirements no longer uniquely determine the metric.

We consider the following class of functions that is used to characterize monotone metrics.

is the class of functions *f*: (0,+∞) → (0,+∞) such that

*f*is operator monotone,*f*(*t*) =*tf*(*t*^{-1}) for*t*> 0,*f*(1) = 1.

By the combined efforts of Chentsov and Morozova (2), and Petz (3) it was established that a monotone metric is given on the canonical form [1]where the so-called Morozova–Chentsov function *c* is of the form for a function and *c* is taken in the two commuting positive definite (super) operators *L*_{ρ} and *R*_{ρ} defined by setting It is condition (ii) in the definition above that ensures symmetry of the metric in the sense that *K*_{ρ}(*A*, *B*) = *K*_{ρ}(*B*, *A*) for self-adjoint *A* and *B*.

Lesniewski and Ruskai (5) gave equivalent descriptions in terms of operator convex functions and operator monotone decreasing functions. In particular where *k*: **R**_{+} → **R**_{+} is an operator monotone decreasing function satisfying *k*(*t*^{-1}) = *tk*(*t*) for *t* > 0 and *k*(1) = 1. The Morozova–Chentsov–Petz formalism is then recovered by inserting the operator monotone function *f*(*t*) = 1/*k*(*t*) in Eq. **1**.

The -divergence (relative to a choice of monotone metric) is given by where is the Morozova–Chentsov function specified by a function .

The functions with parameter *α*∈[0,1] are elements in and correspond to the functions in the Ruskai–Lesniewski formalism. The associated Morozova–Chentsov functions are given by and the divergences for positive definite density matrices are This expression is convex in (*ρ*, *σ*) as pointed out in ref. 6.

## 2 Convexity

Consider a function *f*: **R**_{+} → **R**_{+}. The perspective (function) of *f* is the function *g* of two variables defined by setting Effros showed (7) that if *f* is operator convex then, whenever meaningful, the perspective is a convex operator function of two variables. In particular, it becomes operator convex in the sense of Korányi (8). It is also convex in functions of commuting operators. In particular, the function is convex in pairs of positive definite *n* × *n* matrices, equivalent to the statement that the function is convex for any *n* × *n* matrix *A*. Similar statements are valid also for operator concave functions.

The -divergence is convex in (*ρ*, *σ*) for any *f* in .

Let us consider a function *f* in with Morozova–Chensov function where *F*(*x*,*y*) = *yf*(*xy*^{-1}) is the perspective of *f*. Because *f* is operator concave we obtain that *F*(*x*,*y*) is operator concave as a function of two variables. Inversion (of super operators) is decreasing. By using linearity of the mappings *σ* → *L*_{σ} and *σ* → *R*_{σ} we therefore obtain for states (density matrices) *ρ*_{1}, *ρ*_{2} and *σ*_{1}, *σ*_{2}, and real numbers *λ*∈[0,1]. The divergence is given on the form and by setting we obtain the inequality where we in the second inequality, applied on super operators, used that the mapping is jointly convex for positive invertible operators *A* on a Hilbert space *H*, and vectors *ξ*∈*H*; cf. Proposition 4.3 in ref. 9. This is also a direct consequence of convexity of the mapping for *B* arbitrary and *A* positive definite (cf. Remark after Theorem 1 in ref. 10 and Remark 4.5 in ref. 9). Furthermore, it is related to Theorem 3.1 in ref. 11.

Any function *f* in satisfies the inequalities where the smallest function in corresponds to the Bures metric. We mention the following characterization (4, 12, 13) of the functions in .

A function *f* in admits a canonical representation [2]where the weight function *h*: [0,1] → [0,1] is measurable. The equivalence class containing *h* is uniquely determined by *f*. Any function on the given form is in .

Notice that the integral kernel is nonnegative for every *t* > 0. The representation induces an order relation ⪯ in stronger than the pointwise order by setting *f* ⪯ *g* if the representing weight functions *h*_{f} and *h*_{g} satisfy *h*_{f}≥*h*_{g} almost everywhere. With this order relation becomes a lattice, inducing a lattice structure on the set of quantum *χ*^{2}-divergences. It is compatible with the parametrization of the Wigner–Yanase–Dyson metrics; cf. Theorem 2.8 in ref. 13.

The representation in [**2**] may be used to construct families of metrics that increase monotonously from the smallest (Bures) metric to the largest. In fact any family of weight functions that decreases monotonously from the constant 1 to the zero function will induce this property. In Proposition 3 in ref. 4, we considered the constant weight functions *h*_{α} = *α* for 0 ≤ *α* ≤ 1 and obtained in this way a family of metrics that decreases monotonously from the largest monotone metric down to the Bures metric for *α* increasing from 0 to 1. In the Lesniewski–Ruskai representation that corresponds to the functions as mentioned in Appendix A of ref. 6.

## Footnotes

- ↵
^{1}To whom correspondence should be addressed. E-mail: frank.hansen{at}m.tohoku.ac.jp.

Author contributions: F.H. designed research, performed research, and wrote the paper.

The author declares no conflict of interest.

This article is a PNAS Direct Submission.

## References

- ↵
- Censov N

- ↵
- Morozova E,
- Chentsov N

*J Soviet Math*56:2648–2669 (1991). - ↵
- ↵
- Hansen F

- ↵
- ↵
- ↵
- Effros E

- ↵
- Korányi A

- ↵
- ↵
- ↵
- Ando T,
- Hiai F

- ↵
- Hansen F

- ↵

*χ*

^{2}-divergence

## Citation Manager Formats

## Sign up for Article Alerts

## Article Classifications

- Physical Sciences
- Mathematics

## You May Also be Interested in

*Ikaria wariootia*represents one of the oldest organisms with anterior and posterior differentiation.