Peierls-Bogolyubov's inequality for deformed exponentials

TL;DR

This paper explores convexity and concavity of trace functions involving deformed logarithms and exponentials, deriving new inequalities that generalize Peierls-Bogolyubov's inequality and improve bounds for Tsallis relative entropy.

Contribution

It introduces new trace inequalities for deformed exponentials, extending Peierls-Bogolyubov's inequality and enhancing bounds for Tsallis relative entropy.

Findings

Derived new trace inequalities for deformed exponentials.

Generalized Peierls-Bogolyubov's inequality.

Improved lower bounds for Tsallis relative entropy.

Abstract

We study convexity or concavity of certain trace functions for the deformed logarithmic and exponential functions, and obtain in this way new trace inequalities for deformed exponentials that may be considered as generalizations of Peierls-Bogolyubov's inequality. We use these results to improve previously known lower bounds for the Tsallis relative entropy.

Equations

$$\log \frac{\mathrm{Tr}\text{leavevmode}\exp (A+B)}{\mathrm{Tr}\text{leavevmode}\exp A}\ge \frac{\mathrm{Tr}\text{leavevmode}\exp (A)B}{\mathrm{Tr}\text{leavevmode}\exp A},$$

$$\log_{r}{\rm Tr\hskip-2.47998pt}\leavevmode\nobreak\ \exp_{q}(A+B)-\log_{r}{\rm Tr\hskip-2.0pt}\leavevmode\nobreak\ \exp_{q}A\geq\bigl{(}{\rm Tr\hskip-2.47998pt}\leavevmode\nobreak\ \exp_{q}A\bigr{)}^{r-2}{\rm Tr\hskip-2.0pt}\leavevmode\nobreak\ (\exp_{q}A)^{2-q}B.$$

$$\log_{r}\varphi\bigl{(}\exp_{q}(A+B)\bigr{)}-\log_{r}\varphi\bigl{(}\exp_{q}(A)\bigr{)}\geq\varphi\bigl{(}\exp_{q}(A)\bigr{)}^{r-2}\varphi\bigl{(}\operatorname{\mathit{d}}\hskip-2.23999pt{}\exp_{q}(A)B\bigr{)}.$$

$${\log }_r\mathrm{Tr}\text{leavevmode}{\exp }_q(A+B)-{\log }_r\mathrm{Tr}\text{leavevmode}{\exp }_{q}A\ge (\mathrm{Tr}\text{leavevmode}{\exp }_{q}A{)}^{r-2}\mathrm{Tr}\text{leavevmode}({\exp }_{q}A{)}^{2-q}B.$$

$$\log_{r}\varphi\bigl{(}\exp_{q}(A+B)\bigr{)}-\log_{r}\varphi(\exp_{q}A)\geq\varphi\bigl{(}\exp_{q}A\bigr{)}^{r-2}\varphi\bigl{(}\operatorname{\mathit{d}}\hskip-2.23999pt{}\exp_{q}(A)B\bigr{)}.$$

$$\log_{r}\varphi\bigl{(}\exp_{q}(A+B)\bigr{)}-\log_{r}\varphi(\exp_{q}A)\leq\varphi\bigl{(}\exp_{q}A\bigr{)}^{r-2}\varphi\bigl{(}\operatorname{\mathit{d}}\hskip-2.23999pt{}\exp_{q}(A)B\bigr{)}.$$

$${\log }_r\mathrm{Tr}\text{leavevmode}{\exp }_q(A+B)-{\log }_r\mathrm{Tr}\text{leavevmode}{\exp }_{q}A\le (\mathrm{Tr}\text{leavevmode}{\exp }_{q}A{)}^{r-2}\mathrm{Tr}\text{leavevmode}({\exp }_{q}A{)}^{2-q}B.$$

$$\frac{\varphi\bigl{(}\exp_{q}(A+B)\bigr{)}^{r-1}-\varphi(\exp_{q}A)^{r-1}}{r-1}\,,$$

$$\log_{r}{\rm Tr\hskip-2.47998pt}\leavevmode\nobreak\ \exp(A+B)-\log_{r}{\rm Tr\hskip-2.47998pt}\leavevmode\nobreak\ \exp A\geq\frac{{\rm Tr\hskip-2.0pt}\leavevmode\nobreak\ (\exp A)B}{\bigl{(}{\rm Tr\hskip-2.47998pt}\leavevmode\nobreak\ \exp A\bigr{)}^{2-r}}$$

$$\displaystyle\log_{q}x=\left\{\begin{array}[]{ll}\displaystyle\frac{x^{q-1}-1}{q-1}&q\neq 1\\[8.6111pt] \log x&q=1\end{array}\right.$$

$$\displaystyle\exp_{q}x=\left\{\begin{array}[]{ll}(x(q-1)+1)^{1/(q-1)}&q\neq 1\\[5.16666pt] \exp x&q=1\end{array}\right.$$

$$\frac{d}{dx}{\log }_q(x)=x^{q-2}\text{and}\frac{d}{dx}{\exp }_q(x)={\exp }_q(x{)}^{2-q}.$$

$${\log }_{q}x-{\log }_{q}y=\frac{x^{q-1}-y^{q-1}}{q-1}$$

$$L=\{x\in B(\mathcal{H}{)}_{+}\mid f(x)\le 1\}$$

$$\displaystyle f(x+y)^{1/p}=(c+d)f\Bigl{(}\frac{c}{c+d}\cdot\frac{x}{c}+\frac{d}{c+d}\cdot\frac{y}{d}\Bigr{)}^{1/p}\leq c+d.$$

$$f(c^{-1}x)=c^{-p}f(x)<1\text{and}f(d^{-1}y)=d^{-p}f(y)<1.$$

$$\displaystyle f(x+y)^{1/p}=(c+d)f\Bigl{(}\frac{c}{c+d}\cdot\frac{x}{c}+\frac{d}{c+d}\cdot\frac{y}{d}\Bigr{)}^{1/p}\geq c+d,$$

$$f(x+y{)}^{1/p}\ge c+d.$$

$$f\Bigl{(}\frac{x+y}{2}\Bigr{)}^{r}\leq\Bigl{(}\frac{c+d}{2}\Bigr{)}^{rp}\leq\frac{c^{rp}+d^{rp}}{2}$$

$$G(A)=\bigl{(}{\rm Tr\hskip-2.0pt}\leavevmode\nobreak\ A^{p}\bigr{)}^{1/r}$$

$$A\to\bigl{(}{\rm Tr\hskip-2.0pt}\leavevmode\nobreak\ A^{p}\bigr{)}^{1/p}$$

$$F(A)=\bigl{(}{\rm Tr\hskip-0.95996pt}\leavevmode\nobreak\ B^{*}A^{p}B\bigr{)}^{1/r}$$

$$A\to (\mathrm{Tr}\text{leavevmode}{B}^{\ast }{A}^{p}B{)}^{1/p}$$

$$G(A)={\log }_r\mathrm{Tr}\text{leavevmode}{\exp }_q(A)$$

$$\begin{array}[]{rl}G(A)&=\log_{r}{\rm Tr\hskip-2.0pt}\leavevmode\nobreak\ \exp_{q}(A)\\[6.88889pt] &=\displaystyle\frac{1}{r-1}\left(\Bigl{(}{\rm Tr\hskip-2.0pt}\leavevmode\nobreak\ (A(q-1)+1)^{1/(q-1)}\Bigr{)}^{r-1}-1\right).\end{array}$$

$$\frac{1}{r-1}\le \frac{1}{q-1}<0$$

$$\frac{1}{q-1}\ge 1\text{and}0<\frac{1}{r-1}\le \frac{1}{q-1},$$

$$0<\frac{1}{q-1}\le 1\text{and}\frac{1}{r-1}\ge \frac{1}{q-1},$$

$$F(A)={\log }_r\mathrm{Tr}\text{leavevmode}{B}^{\ast }{\exp }_q(A)B$$

$$\begin{array}[]{rl}F(A)&=\log_{r}{\rm Tr\hskip-0.95996pt}\leavevmode\nobreak\ B^{*}\exp_{q}(A)B\\[6.88889pt] &=\displaystyle\frac{1}{r-1}\left(\Bigl{(}{\rm Tr\hskip-0.95996pt}\leavevmode\nobreak\ B^{*}(A(q-1)+1)^{1/(q-1)}B\Bigr{)}^{r-1}-1\right).\end{array}$$

Full text

Keywords: Deformed exponential function; Peierls-Bogolyubov’s inequality; Tsallis relative entropy.

1 Introduction

In statistical mechanics and in quantum information theory the calculation of the partition function ${\rm Tr\hskip-2.47998pt}\leavevmode\nobreak\ \exp H$ of the Hamiltonian $H$ of a physical system is an important issue, but the computation is often difficult. However, it may be simplified by first computing a related quantity ${\rm Tr\hskip-2.47998pt}\leavevmode\nobreak\ \exp A,$ where $A$ is an easier to handle component of the Hamiltonian. Usually, the Hamiltonian is written as a sum $H=A+B$ of two operators, and the Peierls-Bogolyubov inequality states that

[TABLE]

which then provides information about the difficult to calculate partition function. We give in this paper generalizations of Peierls-Bogolyubov’s inequality in terms of the so-called deformed exponential and logarithmic functions. We formulate the results for operators on a finite dimensional Hilbert space $\mathcal{H},$ but note that the results with proper modifications extend also to infinite dimensional spaces.

Main Theorem**.**

Let $A,B\in B(\mathcal{H})$ be self-adjoint operators, and let $\varphi$ be a positive functional on $B(\mathcal{H}).$

1. (i)

If $-\infty<q<1$ and $r\geq q$ and both $A$ and $A+B$ are bounded from above by $-(q-1)^{-1},$ then

[TABLE] 2. (ii)

If $-\infty<q\leq 0$ and $r\geq q$ and both $A$ and $A+B$ are bounded from above by $-(q-1)^{-1},$ then

[TABLE] 3. (iii)

If $1<q\leq 2$ and $r\geq q$ and both $A$ and $A+B$ are bounded from below by $-(q-1)^{-1},$ then

[TABLE] 4. (iv)

If $\frac{3}{2}\leq q\leq 2$ and $r\geq q$ and both $A$ and $A+B$ are bounded from below by $-(q-1)^{-1},$ then

[TABLE] 5. (v)

If $q\geq 2$ and $r\leq q$ and both $A$ and $A+B$ are bounded from below by $-(q-1)^{-1},$ then

[TABLE]

If in particular $\varphi$ is the trace this inequality reduces to

[TABLE]

In subsection 5.2 we give explicit formulae for the Fréchet differential operators $\operatorname{\mathit{d}}\hskip-2.23999pt{}\exp_{q}(A)$ in the parameter ranges $q\leq 0$ and $q\geq 3/2.$ Note that the left-hand sides in the above theorem may be written as

[TABLE]

where $\varphi$ in $(i)$ is replaced by the trace. If we in $(iii)$ let $q$ tend to one, we obtain the inequality

[TABLE]

for $r>1$ and arbitrary self-adjoint operators $A$ and $B.$ If we furthermore let $r$ tend to one we recover Peierls-Bogolyubov’s inequality (1.1).

Furuichi [4, Corollary 3.2] proved $(iii)$ in the case $r=q$ by very different methods. It may be instructive to compare the above results with the first author’s study [7] of the deformed Golden-Thompson trace inequality.

We obtain, in Theorem 3.1, another variant Peierls-Bogolyubov type of inequality, and we improve, in Theorem 4.2, previously known lower bounds for the Tsallis relative entropy.

The Peierls-Bogolyubov inequality has been widely used in statistical mechanics and quantum information theory. Recently, Bikchentaev [1] proved that the Peierls-Bogolyubov inequality characterizes the tracial functionals among all positive functionals on a $C^{*}-$algebra. Moreover, Carlen and Lieb in [2] combined this inequality with the Golden-Thompson inequality to discover sharp remainder terms in some quantum entropy inequalities.

1.1 Deformed exponentials

The deformed logarithm $\log_{q}$ is defined by setting

[TABLE]

for $x>0.$ The deformed logarithm is also denoted the $q$-logarithm. The inverse function is called the $q$-exponential. It is denoted by $\exp_{q}$ and is given by the formula

[TABLE]

for $x>-1/(q-1).$ The $q$-logarithm is a bijection of the positive half-line onto the open interval $(-(q-1)^{-1},\infty).$ Furthermore,

[TABLE]

Note also that

[TABLE]

for $x,y>0.$ If $q$ tends to one then the $q$-logarithm and the $q$-exponential functions converge, respectively, toward the logarithmic and the exponential functions.

2 Preliminaries

Proposition 2.1**.**

Let $f$ be a real positive function defined in the cone $B(\mathcal{H})_{+}$ of positive definite operators acting on a Hilbert space $\mathcal{H},$ and assume $f$ is homogeneous of degree $p\neq 0.$

1. (i)

If $f$ is convex and $p>0,$ then $f^{1/p}$ is convex. 2. (ii)

If $f$ is convex and $p<0,$ then $f^{1/p}$ is concave. 3. (iii)

If $f$ is convex and $p<0$ and $r>0,$ then $f^{r}$ is convex. 4. (iv)

If $f$ is concave and $p>0,$ then $f^{1/p}$ is concave. 5. (v)

If $f$ is concave and $p<0,$ then $f^{1/p}$ is convex. 6. (vi)

If $f$ is concave and $p>0$ and $r<0,$ then $f^{r}$ is convex.

Proof.

Assume first that $f$ is a convex function. The level set

[TABLE]

is then convex. Take $x,y\in B(\mathcal{H})_{+}$ and assume $p>0.$ Let $c$ and $d$ be any choice of positive numbers such that $f(x)^{1/p}<c$ and $f(y)^{1/p}<d.$ We note that $c^{-1}x,d^{-1}y\in L$ and obtain

[TABLE]

Therefore $f(x+y)^{1/p}\leq f(x)^{1/p}+f(y)^{1/p}$ and by homogeneity, we conclude that $f^{1/p}$ is convex. If $p<0$ we choose $c,d>0$ such that $f(x)^{1/p}>c$ and $f(y)^{1/p}>d.$ This is possible since $f$ is assumed to be positive. Since the exponent is negative we obtain $f(x)<c^{p}$ and $f(y)<d^{p},$ and therefore by homogeneity

[TABLE]

It follows that $c^{-1}x,d^{-1}y\in L$ and thus

[TABLE]

where we again used that the exponent is negative. Therefore $f(x+y)^{1/p}\geq f(x)^{1/p}+f(y)^{1/p}$ and by homogeneity we conclude that $f^{1/p}$ is concave. This proves $(i)$ and $(ii).$ Under the assumptions in $(iii)$ we proceed as under $(ii)$ to obtain

[TABLE]

By homogeneity and since the exponent $rp$ is negative, we obtain the inequality

[TABLE]

implying convexity of $f^{r}.$ We obtain $(iv),(v)$ and $(vi)$ by a variation of the reasoning used to obtain $(i),(ii)$ and $(iii).$ ∎

Proposition 2.2**.**

Consider the function

[TABLE]

defined in positive definite operators. Then

1. (i)

$G$* is concave for $r\leq p<0,$* 2. (ii)

$G$* is convex for $p<0$ and $r>0,$* 3. (iii)

$G$* is concave for $0<p\leq 1$ and $r\geq p,$* 4. (iv)

$G$* is convex for $p\geq 1$ and $0<r\leq p.$* 5. (v)

$G$* is convex for $0<p\leq 1$ and $r<0.$*

Proof.

Since the real function $t\to t^{p}$ is convex in positive numbers for $p\leq 0$ and $p\geq 2$ and concave for $0\leq p\leq 1,$ it is well known that the trace function $A\to{\rm Tr\hskip-2.0pt}\leavevmode\nobreak\ A^{p}$ retains the same properties. A historic account of this result may be found in [8, Introduction]. By $(ii)$ and $(i)$ in Proposition 2.1 we thus obtain that the function

[TABLE]

is concave for $p<0$ and convex for $p\geq 2.$ Furthermore, since the real function $t\to t^{p/r}$ is concave and increasing for $r\leq p<0,$ we derive $(i)$ in the assertion. Part $(ii)$ then follows by Proposition 2.1$(iii),$ and Part $(iii)$ follows from Proposition 2.1$(iv)$ by noting that $0<p/r\leq 1.$ Part $(iv)$ follows from Proposition 2.1$(i)$ by noting that $p/r\geq 1,$ and part $(v)$ finally follows from Proposition 2.1$(vi)$. ∎

Note that $({\rm Tr\hskip-2.0pt}\leavevmode\nobreak\ A^{p})^{1/p}$ for $p\geq 1$ is the Schatten $p$-norm of the positive definite matrix $A.$ The convexity in this case may also be derived by noting that a norm satisfies the triangle inequality and is positively homogeneous.

Proposition 2.3**.**

Let $B\in B(\mathcal{H})$ be an arbitrary operator and consider the function

[TABLE]

defined in positive definite operators. Then

1. (i)

$F$* is concave for $-1\leq p<0$ and $r\leq p,$* 2. (ii)

$F$* is convex for $-1\leq p<0$ and $r>0,$* 3. (iii)

$F$* is concave for $0<p\leq 1$ and $r\geq p,$* 4. (iv)

$F$* is convex for $1\leq p\leq 2$ and $0<r\leq p,$* 5. (v)

$F$* is convex for $0<p\leq 1$ and $r<0.$*

Proof.

By continuity we may assume $BB^{*}$ invertible. Since the function $t\to t^{p}$ is operator convex for $-1\leq p\leq 0$ or $1\leq p\leq 2,$ it follows that the trace function $A\to{\rm Tr\hskip-0.95996pt}\leavevmode\nobreak\ B^{*}A^{p}B$ is convex for these parameter values. It then follows by $(ii)$ and $(i)$ in Proposition 2.1 that the function

[TABLE]

is concave for $-1\leq p<0$ and convex for $1\leq p\leq 2.$ Furthermore, since the real function $t\to t^{p/r}$ is concave and increasing for $r\leq p<0$ we derive part $(i)$ of the assertion. Part $(ii)$ then follows by Proposition 2.1$(iii)$. Parts $(iii)$ to $(vi)$ now follow by minor variations of the reasoning in the preceding proposition. ∎

2.1 Some deformed trace functions

Theorem 2.4**.**

Consider the function

[TABLE]

defined in self-adjoint $A>-(q-1)^{-1}$ for $q>1,$ and in self-adjoint $A<-(q-1)^{-1}$ for $q<1.$ Then

1. (i)

If $-\infty<q<1$ and $r\geq q,$ then $G$ is convex, 2. (ii)

If $1<q\leq 2$ and $r\geq q,$ then $G$ is convex, 3. (iii)

If $q\geq 2$ and $r\leq q,$ then $G$ is concave.

Proof.

Note that the conditions on $A$ ensure that $A(q-1)+1>0$ for both $q<1$ and $q>1.$ By calculation we obtain

[TABLE]

Under the assumptions in $(i)$ we obtain

[TABLE]

for $q\leq r<1.$ By Proposition 2.2$(i)$ and since the factor $(r-1)^{-1}$ is negative, it follows that $G$ is convex. If $r>1$ then $(1-r)^{-1}>0$ and the convexity of $G$ follows by Proposition 2.2$(ii)$. This proves the first statement. Under the assumptions in $(ii)$ we obtain

[TABLE]

thus $G$ is convex by Proposition 2.2$(iv)$. Under the assumptions in $(iii)$ we first consider the case $r>1$ and obtain

[TABLE]

thus $G$ is concave by Proposition 2.2$(iii)$. If $r<1$ then we use Proposition 2.2$(v)$ to obtain that $(r-1)G$ is convex. Since $r-1<0$ we conclude that $G$ is concave also in this case. ∎

Theorem 2.5**.**

Let $B$ be arbitrary and consider the function

[TABLE]

defined in self-adjoint $A>-(q-1)^{-1}$ for $q>1,$ and in self-adjoint $A\leq(1-q)^{-1}$ for $q<1.$

1. (i)

If $-\infty<q\leq 0$ and $r\geq q,$ then $F$ is convex, 2. (ii)

If $\frac{3}{2}\leq q\leq 2$ and $r\geq q,$ then $F$ is convex, 3. (iii)

If $q\geq 2$ and $r\leq q,$ then $F$ is concave.

Proof.

By calculation we obtain

[TABLE]

Under the assumptions in $(i)$ we obtain

[TABLE]

for $q\leq r<1.$ By Proposition 2.3$(i)$ and since the factor $(r-1)^{-1}$ is negative, it follows that $F$ is convex. If $r>1$ then $(1-r)^{-1}>0$ and the convexity of $F$ follows by Proposition 2.3$(ii)$. This proves the first statement. Under the assumptions in $(ii)$ we obtain

[TABLE]

thus $F$ is convex by Proposition 2.3$(iv)$. The last case is argued as in the preceding theorem by considering the cases $r>1$ and $r<1$ separately. ∎

Note in the above theorem there is a gap between [math] and $3/2$ for the possible values of $q.$

3 Peierls-Bogolyubov type inequalities

We first obtain a variant Peierls-Bogolyubov type inequality as a consequence of Proposition 2.2. Take positive definite operators $A,B\in B(\mathcal{H})$ and define the function

[TABLE]

Since $g(t)$ is convex for $p\geq 1$ and $0<r\leq p$ we obtain the inequality,

[TABLE]

for these parameter values. By concavity we obtain the opposite inequality for the parameter values $0<p\leq 1$ and $r\geq p,$ and for the parameter values for $p<0$ and $r\leq p<0.$

Theorem 3.1**.**

For positive definite operators $A,B\in B(\mathcal{H})$ we have

1. (i)

If $p\geq 1$ and $0<r\leq p$ then

[TABLE] 2. (ii)

If $0<p\leq 1$ and $r\geq p$ or if $p<0$ and $r\leq p<0$ then

[TABLE]

Proof.

With the parameter values in $(i)$ we may let $t$ tend to zero in (3.1) and obtain the inequality $g(1)-g(0)\geq g^{\prime}(0).$ We note that $g(1)-g(0)$ is the left hand side in the desired inequality. Furthermore,

[TABLE]

where we used the chain rule for Fréchet differentiation, the linearity of the trace, and the formula in [5, Theorem 2.2]. This proves case $(i).$ Case $(ii)$ follows by virtually the same argument using the opposite inequality in (3.1). ∎

We then explore consequences of Theorem 2.4. If $-\infty<q<1$ we take self-adjoint operators $A,B\in B(\mathcal{H})$ such that both $A$ and $A+B$ are bounded from above by $-(q-1)^{-1}.$ For $t\in[0,1]$ we note that $A+tB=(1-t)A+t(A+B)<-(q-1)^{-1}$ such that $(q-1)(A+tB)+1>0.$ The function

[TABLE]

is thus well-defined and convex for $-\infty<q<1$ and $r\geq q.$ Therefore,

[TABLE]

for these parameter values.

For $q>1$ we take self-adjoint operators $A,B\in B(\mathcal{H})$ such that both $A$ and $A+B$ are bounded from below by $-(q-1)^{-1}.$ For $t\in[0,1]$ we note that $A+tB=(1-t)A+t(A+B)>-(q-1)^{-1}$ such that $(q-1)(A+tB)+1>0.$ The function defined in (3.2) is thus well-defined. It is convex for $1<q\leq 2$ and $r\geq q,$ and it is concave for $q\geq 2$ and $r\leq q.$ In the first case we thus retain the inequality in (3.3), while the inequality is reversed in the latter case.

Theorem 3.2**.**

Let $A,B\in B(\mathcal{H})$ be self-adjoint operators.

1. (i)

If $-\infty<q<1$ and $r\geq q$ and both $A$ and $A+B$ are bounded from above by $-(q-1)^{-1},$ then

[TABLE] 2. (ii)

If $1<q\leq 2$ and $r\geq q$ and both $A$ and $A+B$ are bounded from below by $-(q-1)^{-1},$ then

[TABLE] 3. (iii)

If $q\geq 2$ and $r\leq q$ and both $A$ and $A+B$ are bounded from below by $-(q-1)^{-1},$ then

[TABLE]

Proof.

With the parameter values in $(i)$ we may let $t$ tend to zero in (3.3) and obtain the inequality $h(1)-h(0)\geq h^{\prime}(0).$ We note that $h(1)-h(0)$ is the left hand side in the desired inequality. Furthermore,

[TABLE]

where we used the chain rule for Fréchet differentiation, the derivatives of the deformed logarithmic and exponential functions, the linearity of the trace, and the formula in [5, Theorem 2.2]. This proves case $(i).$ The other cases follow by a variation of this reasoning. ∎

By a similar line of arguments as in the two previous theorems we finally obtain the following consequences of Theorem 2.5.

Theorem 3.3**.**

Let $C\in B(\mathcal{H})$ be arbitrary and $A,B\in B(\mathcal{H})$ be self-adjoint.

1. (i)

If $-\infty<q\leq 0$ and $r\geq q$ and both $A$ and $A+B$ are bounded from above by $-(q-1)^{-1},$ then

[TABLE] 2. (ii)

If $\frac{3}{2}\leq q\leq 2$ and $r\geq q$ and both $A$ and $A+B$ are bounded from below by $-(q-1)^{-1}$ then

[TABLE] 3. (iii)

If $q\geq 2$ and $r\leq q$ and both $A$ and $A+B$ are bounded from below by $-(q-1)^{-1}$ then

[TABLE]

Proof.

We follow a similar path as in the proof of Theorem 3.2 and consider the function

[TABLE]

which by Theorem 2.5 is convex for the parameter values in $(i).$ We obtain by an argument similar to the one given in the proof of Theorem 3.2 that $h(1)-h(0)\geq h^{\prime}(0),$ and we note that $h(1)-h(0)$ is the left hand side in the desired inequality. Furthermore,

[TABLE]

where we used the chain rule for Fréchet differentiation, the derivative of the deformed logarithmic function, and the linearity of the trace. This proves case $(i).$ Since the function $h$ in (3.4) is convex for the parameter values in $(ii)$ and concave for the parameter values in $(iii)$ these cases follow by virtually the same line of arguments as in $(i).$ ∎

Note that $(iii)$ in Theorem 3.3 is a generalization of $(iii)$ in Theorem 3.2. Since $C$ is arbitrary in the above theorem we may replace the trace by any other positive functional on $B(\mathcal{H}).$ The main theorem now follows from Theorem 3.2 and Theorem 3.3.

4 The Tsallis relative entropy

In this section we study lower bounds for the (generalized) Tsallis relative entropy. For basic information about the Tsallis entropy and the Tsallis relative entropy we refer the reader to references [9, 10].

The Tsallis relative entropy $D_{p}(X\mid Y)$ is for positive definite operators $X,Y\in B(\mathcal{H})$ and $p\in[0,1)$ defined by setting

[TABLE]

By letting $p$ tend to one this expression converges to the relative quantum entropy

[TABLE]

introduced by Umegaki [11]. It is known [3, Proposition 2.4] that the Tsallis relative entropy is non-negative for states. This also follows directly from the following:

Lemma 4.1**.**

Let $\rho$ and $\sigma$ be states. Then

[TABLE]

for $0\leq p\leq 1.$

Proof.

Consider states $\rho$ and $\sigma,$ and let $E\subseteq[0,1]$ be the set of exponents $p$ such that ${\rm Tr\hskip-2.47998pt}\leavevmode\nobreak\ \rho^{1-p}\sigma^{p}\leq 1.$ We take $p,q\in E$ and obtain

[TABLE]

where we used Cauchy-Schwarz’ inequality. This shows that $E$ is midpoint-convex. Since $E$ also is closed and $0,1\in E,$ we conclude that $E=[0,1].$ ∎

Theorem 4.2**.**

Let $q\in(0,1]$ and take $p\leq q.$ Then, for positive definite operators $X,Y\in B(\mathcal{H}),$ the inequality

[TABLE]

is valid, where by convention $D_{1}(X\mid Y)=U(X\mid Y).$

Proof.

Let $X,Y\in B(\mathcal{H})$ be positive definite operators and take $1<q\leq 2$ and $r\geq q.$ By setting

[TABLE]

we obtain self-adjoint $A,B$ such that both $A$ and $A+B$ are bounded from below by $-(q-1)^{-1}.$ We may thus apply $(i)$ of Theorem 3.2 and obtain after a little calculation the inequality

[TABLE]

By setting $p=2-r$ and renaming $q$ by $2-q$ we obtain the stated inequality for $q\in(0,1]$ and $p\leq q.$ ∎

The lower bound of the Tsallis relative entropy $D_{q}(X\mid Y)$ in Theorem 4.2 was obtained in [3, Theorem 3.3] in the special case $p=q.$ The family of lower bounds given above is in general not an increasing function in the parameter $p$ and may therefore, depending on ${\rm Tr\hskip-0.95996pt}\leavevmode\nobreak\ X$ and ${\rm Tr\hskip-0.95996pt}\leavevmode\nobreak\ Y,$ provide better lower bounds.

5 Various Fréchet differentials

In order to obtain a more detailed understanding of the bounds obtained in the Main Theorem we need to provide explicit formulae for the Fréchet differential operator $\operatorname{\mathit{d}}\hskip-2.23999pt{}\exp_{q}$ in the parameter range $q\geq 3/2.$ The integral representation

[TABLE]

valid for $0<p<1$ is well-known. Since $t\to t^{p}$ is operator monotone the representation may be quite easily derived by calculating the representing measure, see for example [6, Theorem 5.5]. Furthermore, since by an elementary calculation

[TABLE]

we obtain the integral representation

[TABLE]

valid for positive definite $x.$ Since by (5.1) we have

[TABLE]

for $0<p<1$ and

[TABLE]

we obtain the integral representation

[TABLE]

valid for positive definite $x.$ By using the rule for the Fréchet differential of a product, or by an elementary direct calculation, we obtain the general identity

[TABLE]

which combined with (5.2) provides a formula for the Fréchet differential of $x^{p}$ for $1<p<2.$ If $h$ is self-adjoint the formula in (5.5) may be written on the form

[TABLE]

which is then manifestly self-adjoint.

5.1 The deformed logarithm

By setting $t=1$ in (5.1) we obtain

[TABLE]

and thus

[TABLE]

for $0<p<1$ and $t>0.$ We therefore obtain the following integral representation of the deformed logarithm

[TABLE]

valid for $1<q<2.$ Since by an elementary calculation

[TABLE]

we derive the formula

[TABLE]

valid for positive definite $x$ and $1<q<2.$ Note that

[TABLE]

for all $q>1$ by the definition of the deformed logarithm. If we in formula (5.7) let $q$ tend to $1$ we obtain

[TABLE]

as expected. If we instead set $h=1,$ we recover the classical integral

[TABLE]

valid for $t>0$ and $1<q<2.$

5.2 The deformed exponential

We next derive integral representations for the deformed exponential in the parameter interval $q\geq 3/2.$ We first note that

[TABLE]

for $t>0.$ Therefore,

[TABLE]

for positive definite $x.$ We divide the analysis into four cases:

If $q<0$ then

[TABLE]

and we may therefore calculate $\operatorname{\mathit{d}}\hskip-2.23999pt{}(x^{1/(q-1)})h$ by the formula in (5.4). 2. 2.

If $q=\frac{3}{2}$ then $(q-1)^{-1}=2,$ thus

[TABLE] 3. 3.

If $\frac{3}{2}<q<2$ then we have

[TABLE]

We may therefore calculate $\operatorname{\mathit{d}}\hskip-2.23999pt{}(x^{1/(q-1)})h$ by the formulae in (5.5) and (5.2). 4. 4.

If $q=2$ then $(q-1)^{-1}=1,$ thus

[TABLE] 5. 5.

If $q>2$ then

[TABLE]

and we may calculate $\operatorname{\mathit{d}}\hskip-2.23999pt{}(x^{1/(q-1)})h$ by the formula in (5.2).

Note that we for any $q>1$ and $x>-(q-1)^{-1}$ have the identity

[TABLE]

Likewise,

[TABLE]

for commuting $x$ and $h.$

Acknowledgments

The authors would like to thank the anonymous referees for helpful suggestions. The first author acknowledges support by the Japanese Grant-in-Aid for scientific research 17K05267 and by the National Science Foundation of China 11301025. The second and third authors acknowledge support from the National Science Foundation of China 11571229.