A Unified Approach to Local Quantum Uncertainty and Interferometric Power by Metric Adjusted Skew Information

Abstract

Local quantum uncertainty and interferometric power were introduced by Girolami et al. as geometric quantifiers of quantum correlations. The aim of the present paper is to discuss their properties in a unified manner by means of the metric adjusted skew information defined by Hansen.

1. Introduction

One of the key traits of many-body quantum systems is that the full knowledge of their global configurations does not imply full knowledge of their constituents. The impossibility of reconstructing the local wave functions $|{\psi }_1\rangle ,|{\psi }_2\rangle$ (pure states) of two interacting quantum particles from the wave function of the whole system, $|{\psi }_{12}\rangle \ne |{\psi }_1\rangle \otimes |{\psi }_2\rangle$, is due to the existence of entanglement [1]. Investigating open quantum systems, whose (mixed) states are described by density matrices ${\rho }_{12}={\sum }_i{p}_i|{\psi }_i{\rangle }_{12}\langle {\psi }_i|$, revealed that the boundary between the classical and quantum worlds is more blurred than we thought. There exists a genuinely quantum kind of correlation, quantum discord, which manifests even in the absence of entanglement, i.e., in separable density matrices ${\rho }_{12}={\sum }_i{p}_i{\rho }_{1,i}\otimes {\rho }_{2,i}$ [2,3]. This discovery triggered theoretical and experimental studies to understand the physical meaning of quantum discord, and the potential use of it as a resource for quantum technologies [4]. Relying on the known interplay between the geometrical and physical properties of mixed states [5,6], a stream of works employed information geometry techniques to construct quantifiers of quantum discord [7,8,9,10,11,12]. In particular, two of the most popular ones are the Local Quantum Uncertainty (LQU) and the Interferometric Power (IP) [13,14]. A merit of these two measures is that they admit an analytical form for N qubit states across the $1vsN-1$ qubit partition. They also have a clear-cut physical interpretation. The lack of certainty about quantum measurement outcomes is due to the fact that density matrices are changed by quantum operations. The LQU evaluates the minimum uncertainty about the outcome of a local quantum measurement, when performed on a bipartite system. It has been proven that two-particle density matrices display quantum discord if, and only if, they are not “classical-quantum” states—that is, they are not (a mixture of) eigenvalues of local observables, ${\rho }_{12}\ne {\sum }_i{p}_i{|i\rangle }_1\langle i|\otimes {\rho }_{2,i}$, or ${\rho }_{12}\ne {\sum }_i{p}_i{\rho }_{1,i}\otimes {|i\rangle }_2\langle i|$, in which $\{|i\rangle \}$ is an orthonormal basis. Indeed, this is the only case in which one can identify a local measurement that does not change a bipartite quantum state, whose spectral decomposition reads $A_1={\sum }_i{\lambda }_i{|i\rangle }_1\langle i|$, or $A_2={\sum }_i{\lambda }_i{|i\rangle }_2\langle i|$. The LQU was built as the minimum of the Wigner–Yanase skew information, a well-known information geometry measure [15], between a density matrix and a finite-dimensional observable (Hermitian operator). It quantifies how much a density matrix ${\rho }_{12}$ is different from being a zero-discord state. The IP was concocted by following a similar line of thinking. Quantum discord implies a non-classical sensitivity to local perturbations. This feature of quantum particles, while apparently a limitation, translates into an advantage in the context of quantum metrology [16]. It has been theoretically proven and experimentally demonstrated that quantum systems sharing quantum discord are more sensitive probes for interferometric phase estimation. The merit of such measurement protocols is the quantum Fisher information of the state under scrutiny with respect to a local Hamiltonian (in Information Geometry, the QFI is known as the SLD or Bures–Uhlmann metric). The latter generates a unitary evolution that imprints information about a physical parameter on the quantum probe. The IP is the minimum quantum Fisher information of all the possible local Hamiltonians, which is zero if, and only if, the probe states are classically correlated.

Here, we polish and extend the mathematical formalization of information-geometric quantum correlation measures. We build a class of parent quantities of the LQU (and consequently of the IP) in terms of the the metric adjusted skew informations [17]. In Section 2 and Section 3, we review the definition and main properties of operator means. In Section 4, Section 5 and Section 6, we discuss information-geometric quantities that capture complementarity between quantum states and observables. In particular, we focus on the quantum f-covariances and the quantum Fisher information. They quantify the inherent uncertainty about quantum measurement outcomes. After recalling the definition of metric adjusted skew information (Section 7), we build a new quantum discord measure, the metric adjusted local quantum uncertainty (f-LQU), in Section 8. Finally, we are able to show that LQU and IP are just two particular members of this family, allowing a unified treatment of their fundamental properties.

2. Means for Positive Numbers

We use the notation ${\mathbb{R}}_{+}=(0,+\infty )$.

Definition 1.

A bivariate mean [18] is a function $m:{\mathbb{R}}_{+}\times {\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ such that:

1.

$m(x,x)=x;$

2.

$m(x,y)=m(y,x);$

3.

$x<y$$\Rightarrow$$x<m(x,y)<y;$

4.

$x<x^{\prime }$and$y<y^{\prime }$$\Rightarrow$$m(x,y)<m(x^{\prime },y^{\prime });$

5.

m is continuous;

6.

m is positively homogeneous; that is $m(tx,ty)=t·m(x,y)$ for $t>0.$

We use the notation ${\mathcal{M}}_{nu}$ for the set of bivariate means described above.

Definition 2.

Let ${\mathcal{F}}_{nu}$ denote the class of functions $f:{\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ such that:

1.

f is continuous;

2.

f is monotone increasing;

3.

$f(1)=1$;

4.

$tf(t^{-1})=f(t)$.

The following result is straightforward.

Proposition 1.

There is a bijection $f\mapsto m_f$ betwen ${\mathcal{F}}_{nu}$ and ${\mathcal{M}}_{nu}$ given by

$$m_f(x,y)=yf(y^{-1}x)\mathit{and}\mathit{in}\mathit{reverse}f(t)=m(1,t)$$

for positive numbers $x,y$ and $t.$

In

Table 1. Means and associated functions.

Name	f	${\mathit{m}}_{\mathit{f}}$
arithmetic	${\displaystyle \frac{1+x}{2}}$	${\displaystyle \frac{x+y}{2}}$
WYD, $\beta \in (0,1)$	${\displaystyle \frac{x^{\beta }+x^{1-\beta }}{2}}$	${\displaystyle \frac{x^{\beta }{y}^{1-\beta }+x^{1-\beta }{y}^{\beta }}{2}}$
geometric	$\sqrt{x}$	$\sqrt{xy}$
harmonic	${\displaystyle \frac{2x}{x+1}}$	${\displaystyle \frac{2}{x^{-1}+y^{-1}}}$
logarithmic	${\displaystyle \frac{x-1}{logx}}$	${\displaystyle \frac{x-y}{logx-logy}}$

, we have some examples of means.

3. Means for Positive Operators in the Sense of Kubo-Ando

The celebrated Kubo–Ando theory of operator means [18,19,20] may be viewed as the operator version of the results of Section 2.

Definition 3.

A bivariate mean m for pairs of positive definite operators is a function

$$(A,B)\to m(A,B),$$

defined in and with values in positive definite operators on a Hilbert space that satisfies mutatis mutandis conditions $(1)$ to $(5)$ in Definition 1. In addition, the transformer inequality

$$Cm(A,B)C^{*}\le m(CA{C}^{*},CB{C}^{*}),$$

should also hold for positive definite $A,B$, and arbitrary invertible $C.$

Note that the transformer inequality replaces condition $(6)$ in Definition 1. We denote the set of matrix means by ${\displaystyle {\mathcal{M}}_{op}}$.

Example 1.

The arithmetic, geometric and harmonic operator means are defined, respectively, by setting

$$\begin{array}{ccc}\hfill A\nabla B& =& \frac{1}{2}(A+B)\hfill \\ \hfill A\#B& =& A^{1/2}{\left(A^{-1/2}B{A}^{-1/2}\right)}^{1/2}{A}^{1/2}\hfill \\ \hfill A!B& =& 2{(A^{-1}+B^{-1})}^{-1}.\hfill \end{array}$$

We recall that a function $f:(0,\infty )\to \mathbb{R}$ is said to be operator monotone (increasing) if

$$A\le B\Rightarrow f(A)\le f(B)$$

for positive definite matrices of arbitrary order. It then follows that the inequality also holds for positive operators on an arbitrary Hilbert space. An operator monotone function f is said to be symmetric if $f(t)=tf(t^{-1})$ for $t>0$ and normalized if $f(1)=1.$

Definition 4.

${\mathcal{F}}_{op}$ is the class of functions $f:{\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ such that:

1.

f is operator monotone increasing;

2.

$tf(t^{-1})=f(t)t>0;$

3.

$f(1)=1.$

Remark 1.

In ${\mathcal{F}}_{op}$ the functions

$$\frac{1+x}{2}\mathit{and}\frac{2x}{1+x}$$

are, respectively, the biggest and the smallest element.

The fundamental result, due to Kubo and Ando, is the following.

Theorem 1.

There is a bijection $f\mapsto m_f$ between ${\mathcal{M}}_{op}$ and ${\mathcal{F}}_{op}$ given by the formula

$$m_f(A,B)=A^{1/2}f(A^{-1/2}B{A}^{-1/2})A^{1/2}.$$

Following Remark 1, we have the inequalities

$$\frac{2}{A^{-1}+B^{-1}}\le m_f(A,B)\le \frac{A+B}{2}$$

which are valid for any $f\in {\mathcal{F}}_{op},$ cf. [20] (Theorem 4.5).

Remark 2.

The functions in ${\mathcal{F}}_{op}$ are (operator) concave, which makes the operator case quite different from the numerical (commutative) case. For example, there are convex functions in ${\mathcal{F}}_{nu},$ cf. [21].

If $\rho$ is a density matrix (a quantum state) and A is a self-adjoint matrix (a quantum observable), then the expectation of A in the state $\rho$ is defined by setting

$${\mathrm{E}}_{\rho }(A)=\mathrm{Tr}(\rho A).$$

4. Quantum f-Covariance

The notion of quantum f-covariance was introduced by Petz; see [22,23]. Any Kubo–Ando function $m_f(x,y)=yf(y^{-1}x)$ for $x,y>0$ has a continuous extension to $[0,+\infty )\times [0,+\infty )$, given by

$$m_f(0,y)=f(0)y,m_f(x,0)=f(0)x,m_f(0,0)=0,x,y>0.$$

The operator $m_f(L_{\rho },R_{\rho })$ is well-defined by the spectral theorem for any state; see [24] (Proposition 11.1 page 11). To self-adjoint $A,$ we set $A_0=A-(\mathrm{Tr}\rho A)I,$ where I is the identity operator. Note that

$$\mathrm{Tr}\rho A_0=\mathrm{Tr}\rho A-(\mathrm{Tr}\rho A)\mathrm{Tr}\rho =0,$$

if $\rho$ is a state.

Definition 5.

Given a state $\rho ,$ a function $f\in {\mathcal{F}}_{op}$ and self-adjoint $A,B,$ we define the quantum f-covariance by setting

$${\mathrm{Cov}}_{\rho }^f(A,B)=\mathrm{Tr}{B}_0{m}_f(L_{\rho },R_{\rho })A_0$$

and the corresponding quantum f-variance by ${\mathrm{Var}}_{\rho }^f(A)={\mathrm{Cov}}_{\rho }^f(A,A).$

The f-covariance is a positive semi-definite sesquilinear form and

$$f\le g\Rightarrow {\mathrm{Var}}_{\rho }^f(A)\le {\mathrm{Var}}_{\rho }^g(A).$$

(1)

Note that for the standard covariance, we have ${\mathrm{Cov}}_{\rho }(A,B)={\mathrm{Cov}}_{\rho }^{SLD}(A,B),$ where the SLD or Bures–Uhlmann metric is the one associated with the function $(1+x)/2$ (see the end of Section 5).

5. Quantum Fisher Information

The theory of quantum Fisher information is due to Petz, and we recall the basic results. If $\mathcal{N}$ is a differentiable manifold, we denote by $T_{\rho }\mathcal{N}$ the tangent space to $\mathcal{N}$ at the point $\rho \in \mathcal{N}$. Let $M_n$ (resp. $M_{n,sa}$) be the set of all complex $n\times n$ matrices (respectively, of all complex self-adjoint $n\times n$ matrices). The set of faithful states is defined as

$${\mathcal{D}}_n^1=\{\rho \in M_{n,sa}\mid \mathrm{Tr}\rho =1,\rho >0\}.$$

Recall that there exists a natural identification of $T_{\rho }{\mathcal{D}}_n^1$ with the space of self-adjoint traceless matrices; namely, for any $\rho \in {\mathcal{D}}_n^1$

$$T_{\rho }{\mathcal{D}}_n^1=\{A\in M_n\mid A=A^{*},\mathrm{Tr}A=0\}.$$

A stochastic map is a completely positive and trace-preserving operator $T:M_n\to M_m.$ A monotone metric is a family of Riemannian metrics $g=\{g^n\}$ on $\{{\mathcal{D}}_n^1\}$, $n\in \mathbb{N}$, such that the inequality

$$g_{T(\rho )}^m(TX,TX)\le g_{\rho }^n(X,X)$$

holds for every stochastic map $T:M_n\to M_m$, every faithful state $\rho \in {\mathcal{D}}_n^1,$ and every $X\in T_{\rho }{\mathcal{D}}_n^1.$ Usually, monotone metrics are normalized in such a way that $[A,\rho ]=0$ implies $g_{\rho }(A,A)=\mathrm{Tr}({\rho }^{-1}{A}^2)$. A monotone metric is also called (an example of) quantum Fisher information (QFI). This notation is inspired by Chentsov’s uniqueness theorem for commutative monotone metrics [25].

Define $L_{\rho }(A)=\rho A$ and $R_{\rho }(A)=A\rho$, and observe that $L_{\rho }$ and $R_{\rho }$ are commuting positive superoperators on $M_n.$ For any $f\in {\mathcal{F}}_{op}$, one may also define the positive superoperator $m_f(L_{\rho },R_{\rho })$. The fundamental theorem of monotone metrics may be stated in the following way; see [26].

Theorem 2.

There exists a bijective correspondence between symmetric monotone metrics (sometimes called quantum Fisher informations) on ${\mathcal{D}}_n^1$ and functions $f\in {\mathcal{F}}_{op.}$ The correspondence is given by the formula

$${\langle A,B\rangle }_{\rho ,f}=\mathrm{Tr}A{m}_f{(L_{\rho },R_{\rho })}^{-1}(B)$$

for positive definite matrices A and $B.$

Remark 3.

The reader should be aware that, in the physics literature, the name Quantum Fisher Information is used to denote a specific monotone metric, namely the one associated to the function $f(x)=(1+x)/2$, which is also known as the Symmetric Logarithmic Derivative metric or the Bures–Uhlmann metric.

6. The $\mathbf{f}\mathbf{\to }\tilde{\mathbf{f}}$ correspondence

We introduce a technical tool which is useful for establishing some fundamental relations between quantum covariance, quantum Fisher information and the metric adjusted skew information.

Definition 6.

For $f\in {\mathcal{F}}_{op}$ we define $f(0)={lim}_{x\to 0}f(x).$ It is meaningful since f is increasing. We say that a function $f\in {\mathcal{F}}_{op}$ is regular if $f(0)\ne 0,$ and non-regular if $f(0)=0,$ cf. [17,27].

Definition 7.

A quantum Fisher information is extendable if its radial limit exists, and it is a Riemannian metric on the real projective space generated by the pure states.

For the definition of the radial limit, see [27], where the following fundamental result is proved.

Theorem 3.

An operator monotone function $f\in {\mathcal{F}}_{op}$ is regular, if and only if ${\langle ·,·\rangle }_{\rho ,f}$ is extendable.

Remark 4.

The reader should be aware that there is no negative connotation associated with the qualification “non-regular”. For example, a very important quantum Fisher information in quantum physics [28], namely the Kubo–Mori metric, generated by the function $f(x)=(x-1)/logx,$ is non-regular.

We introduce the sets of regular and non-regular functions

$${\mathcal{F}}_{op}^r:=\{f\in {\mathcal{F}}_{op}\mid f(0)\ne 0\}\mathit{and}{\mathcal{F}}_{op}^n:=\{f\in {\mathcal{F}}_{op}\mid f(0)=0\}.$$

Trivially, ${\mathcal{F}}_{op}={\mathcal{F}}_{op}^r\cup {\mathcal{F}}_{op}^n$.

Definition 8.

We introduce to a function $f\in {\mathcal{F}}_{op}^r$, the transform $\tilde{f},$ given by

$$\tilde{f}(x)=\frac{1}{2}\left[(x+1)-{(x-1)}^2\frac{f(0)}{f(x)}\right]x>0.$$

We may also write $\tilde{f}=\mathcal{G}(f),$ cf. [19,24].

The following result is taken from [19] (Theorem 5.1).

Theorem 4.

The correspondence $f\to \tilde{f}$ is a bijection between ${\mathcal{F}}_{op}^r$ and ${\mathcal{F}}_{op}^n.$

In

Table 2. Examples of $f-\tilde{f}$ correspondence.

f	$\tilde{\mathit{f}}$
${\displaystyle \frac{1+x}{2}}$	${\displaystyle \frac{2x}{x+1}}$
${\displaystyle \frac{{(\sqrt{x}+1)}^2}{4}}$	$\sqrt{x}$
${\displaystyle \beta (1-\beta )\frac{{(x-1)}^2}{(x^{\beta }-1)(x^{1-\beta }-1)}}$	${\displaystyle \frac{x^{\beta }+x^{1-\beta }}{2}}$

, we have some examples (where $0<\beta <1$).

Proposition 2.

If ρ is a pure state, then ${\mathrm{Var}}_{\rho }^f(A)=2m_f(1,0)·{\mathrm{Var}}_{\rho }(A),$ cf. [29].

Corollary 1.

If ρ is a pure state and f is non-regular, then ${\mathrm{Var}}_{\rho }^f(A)=0.$

Proof. 

If f is non-regular $m_f(1,0)=0.$ □

7. Metric Adjusted Skew Information

By using the general form of the quantum Fisher information, it is possible to greatly generalize the Wigner–Yanase information measure. To a function $f\in {\mathcal{F}}_{op},$ the so-called Morosova function $c_f(x,y)$ is defined by setting

$$c_f(x,y)=\frac{1}{yf(x{y}^{-1})}=m_f{(x,y)}^{-1}x,y>0.$$

(2)

The corresponding monotone symmetric metric $K_{\rho }$ is given by

$$K_{\rho }^f(A,B)=\mathrm{Tr}{A}^{*}{c}_f\left(L_{\rho },R_{\rho }\right)B,$$

(3)

where $L_{\rho }$ and $R_{\rho }$ denote left and right multiplication with $\rho .$ Note that $K_{\rho }^f(A)$ is increasing in $c_f$, and thus decreasing in $f.$ Furthermore, if f is regular, the notion of metric adjusted skew information [17] (Definition 1.2) is defined by setting

$$I_{\rho }^f(A)=I^f(\rho ,A)=\frac{f(0)}{2}{K}_{\rho }^f\left(i[\rho ,A^{*}],i[\rho ,A]\right),$$

(4)

where $\rho >0.$ We use the second notation, $I^f(\rho ,A),$ when the expression of the state takes up too much space. We also tacitly extended the metric adjusted skew information to arbitrary (not necessarily self-adjoint) operators $A.$ It is convex [17] (Theorem 3.7) in the state variable $\rho ,$ and

$$0\le I_{\rho }^f(A)\le {\mathrm{Var}}_{\rho }(A)$$

(5)

with equality if $\rho$ is pure [17] (Theorem 3.8); see the summary with interpretations in [30] (Theorem 1.2). Furthermore, the notion of unbounded metric adjusted skew information for non-regular functions in ${\mathcal{F}}_{op}$ is introduced in [30] (Theorem 5.1). For a regular function $f\in {\mathcal{F}}_{op},$ the metric adjusted skew information may be written as

$$I_{\rho }^f(A)=\mathrm{Tr}\rho A^2-\mathrm{Tr}A{m}_{\tilde{f}}(L_{\rho },R_{\rho })A,$$

cf. [31] (Equation (7)). We thus obtain that the metric adjusted skew information is decreasing in the transform $\tilde{f}$ for arbitrary self-adjoint $A,$ that is

$$\tilde{f}\le \tilde{g}\Rightarrow I_{\rho }^f(A)\ge I_{\rho }^g(A)\mathrm{for}f,g\in {\mathcal{F}}_{op}^r.$$

(6)

Therefore, we have the following result.

Proposition 3.

Setting $f_{SLD}(x)=(1+x)/2$ we obtain ${\tilde{f}}_{SLD}=2x/(1+x)$ and therefore

$$I_{\rho }^g(A)\le I_{\rho }^{f_{SLD}}(A)\forall g\in {\mathcal{F}}_{op}^r.$$

We may also introduce the transforms

$$\check{f}=\frac{f(0)}{f(t)}\mathrm{and}\check{c}(x,y)=y^{-1}\check{f}(x{y}^{-1})$$

and obtain

$$I_{\rho }^f(A)=\frac{1}{2}\mathrm{Tr}i[\rho ,A^{*}]\check{c}\left(L_{\rho },R_{\rho }\right)i[\rho ,A],$$

cf. [31] (Equation (10)). It follows that the metric adjusted skew information is increasing in $\check{f}$ for arbitrary $A.$ It can be derived from [24] (Proposition 6.3, page 11), that the metric adjusted skew information can be expressed as the difference

$$I_{\rho }^f(A)={\mathrm{Var}}_{\rho }(A)-{\mathrm{Var}}_{\rho }^{\tilde{f}}(A)$$

with extension to the sesquilinear form

$$I_{\rho }^f(A,B)={\mathrm{Cov}}_{\rho }(A,B)-{\mathrm{Cov}}_{\rho }^{\tilde{f}}(A,B).$$

7.1. Information Inequalities

A function $f:{\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ is in ${\mathcal{F}}_{op}$ if and only if it allows a representation of the form

$$f(t)=\frac{1+t}{2}exp{\int }_0^1\frac{({\lambda }^2-1){(1-t)}^2}{(\lambda +t)(1+\lambda t){(1+\lambda )}^2}{h}_f(\lambda )error\lambda ,$$

(7)

where the weight function $h_f:[0,1]\to [0,1]$ is measurable. The equivalence class containing $h_f$ is uniquely determined by $f,$ cf. [31] (Theorem 2.1). This representation gives rise to an order relation on the set ${\mathcal{F}}_{op}.$

Definition 9.

Let $f,g\in {\mathcal{F}}_{op}.$ We say that f is majorized by g and write $f⪯g,$ if the function

$$\phi (t)=\frac{t+1}{2}\frac{f(t)}{g(t)}t>0$$

is in ${\mathcal{F}}_{op}.$

The partial order relation ⪯ is stronger that the usual order relation $\le ,$ and it renders $({\mathcal{F}}_{op},⪯)$ into a lattice with

$$f_{\min }(t)=\frac{2t}{t+1}\mathrm{and}{f}_{\max }(t)=\frac{t+1}{2}$$

(8)

as, respectively, the minimal element and maximal element. Furthermore,

$$f⪯g\mathrm{if}\mathrm{and}\mathrm{only}\mathrm{if}{h}_f\ge h_g\mathrm{almost}\mathrm{everywhere},$$

(9)

cf. [31] (Theorem 2.4). The restriction of ⪯ to the regular part of ${\mathcal{F}}_{op}$ induces a partial order relation ⪯ on the set of metric adjusted skew informations.

Proposition 4.

The restriction of the order relation ⪯ renders the regular part of ${\mathcal{F}}_{op}$ into a lattice. In addition, if one of two functions $f,g$ in ${\mathcal{F}}_{op}$ is non-regular, then the minorant $f\wedge g$ is also non-regular.

Proof. 

Take $f\in {\mathcal{F}}_{op}$ with representative function $h_f,$ as given in (7). It is easily derived that f is regular if and only if the weight function $h_f$ satisfies the integrability condition

$${\int }_0^1\frac{h_f(\lambda )}{\lambda }d\lambda <\infty .$$

(10)

Take regular functions $f,g\in {\mathcal{F}}_{op.}$ We know that $\left({\mathcal{F}}_{op},⪯\right)$ is a lattice [31] (bottom of page 141), and that the representative function in (7) for the minorant $f\wedge g$ is given by

$$h_{f\wedge g}=max\{h_f,h_g\}\le h_f+h_g.$$

The inequality above shows that the weight function $h_{f\wedge g}$ also satisfies the integrability condition (10), which implies that $f\wedge g$ is regular. Since

$$h_{f\vee g}=min\{h_f,h_g\}\le h_f$$

it also follows that the majorant is regular. We now take functions $f,g\in {\mathcal{F}}_{op}$ with representative functions $h_f$ and $h_g$ and assume that f is non-regular. Since

$$h_{f\wedge g}=max\{h_f,h_g\}\mathrm{and}\mathrm{thus}{h}_f\le h_{f\wedge g}$$

we obtain that also the minorant $f\wedge g$ is non-regular. □

7.2. The Wigner–Yanase–Dyson Skew Informations

The Wigner–Yanase–Dyson skew information (with parameter $p)$ is defined by setting

$$I_p(\rho ,A)=-\frac{1}{2}\mathrm{Tr}[{\rho }^p,A[[{\rho }^{1-p},A],0<p<1.$$

This is an example of a metric adjusted skew information and reduces to the Wigner–Yanase skew information for $p=1/2.$ The representing function $f_p$ in ${\mathcal{F}}_{op}^r$ of $I_p(\rho ,A)$ is given by

$$f_p(t)=p(1-p)·\frac{{(t-1)}^2}{(t^p-1)(t^{1-p}-1)}0<p<1,$$

that is, $I_p(\rho ,A)=I_{\rho }^{f_p}(A).$ The weight-functions $h_p(\lambda )$ in Equation (7) corresponding to the representing functions $f_p,$ are given by

$$h_p(\lambda )=\frac{1}{\pi }arctan\frac{({\lambda }^p+{\lambda }^{1-p})sinp\pi }{1-\lambda -({\lambda }^p-{\lambda }^{1-p})cosp\pi }0<\lambda <1.$$

It is non-trivial that the Wigner–Yanase–Dyson skew information $I_p(\rho ,A)$ is increasing in the parameter p for $0<p\le 1/2$ and decreasing in p for $1/2\le p<1$ with respect to the order relation $⪯,$ cf. [31] (Theorem 2.8). The Wigner–Yanase skew information is thus the maximal element among the Wigner–Yanase–Dyson skew informations with respect to the order relation $⪯.$

7.3. The Monotonous Bridge

The family of metrics with representing functions

$$f_{\alpha }(t)=t^{\alpha }{\left(\frac{1+t}{2}\right)}^{1-2\alpha }t>0,$$

decrease monotonously (with respect to $⪯)$ from the largest monotone symmetric metric down to the Bures metric for $\alpha ,$ increasing from 0 to $1.$ They correspond the the constant weight functions $h_{\alpha }(\lambda )=\alpha$ in Equation (7). However, the only regular metric in this bridge is the Bures metric $(\alpha =0).$ It is, however, possible to construct a variant bridge by choosing the weight functions

$$h_p(\lambda )=\left\{\begin{array}{ccc}0,\hfill & \hfill \lambda & <1-p\hfill \\ p,\hfill & \hfill \lambda & \ge 1-p\hfill \end{array}\right.0\le p\le 1$$

in Equation (7) instead of the constant weight functions. It is non-trivial that these weight functions provide a monotonously decreasing bridge (with respect to $⪯$) of monotone symmetric metrics between the smallest and the largest (monotone symmetric) metrics. The benefit of this variant bridge is that all the constituent metrics are regular, except for $p=1.$

8. Metric Adjusted Local Quantum Uncertainty

We consider a bipartite system $\mathcal{H}={\mathcal{H}}_1\otimes {\mathcal{H}}_2$ of two finite dimensional Hilbert spaces.

Definition 10.

Let $f\in {\mathcal{F}}_{\mathrm{op}}$ be regular and take a vector $\mathsf{\Lambda }\in {\mathbf{R}}^d.$ We define the Metric Adjusted Local Quantum Uncertainty (f-LQU) by setting

$${\mathcal{U}}_1^{\mathsf{\Lambda },f}({\rho }_{12})=inf\{I_{{\rho }_{12}}^f(K_1\otimes 1_2)\mid K_1\mathrm{has}\mathrm{spectrum}\mathsf{\Lambda }\},$$

(11)

where ${\rho }_{12}$ is a bipartite state, and $K_1$ is the partial trace of an observable K on $\mathcal{H}.$

The infimum in the above definition is thus taken over local observables $K_1\otimes 1_2\in B({\mathcal{H}}_1\otimes {\mathcal{H}}_2),$ such that $K_1$ is unitarily equivalent with the diagonal matrix $\mathrm{diag}(\mathsf{\Lambda }).$

Remark 5.

The metric adjusted LQU has been studied in the literature for specific choices of $f.$

• If $f(x)=f_{WY}(x)={\left(\frac{1+\sqrt{x}}{2}\right)}^2$, then ${\mathcal{U}}_1^{\mathsf{\Lambda },f}$ coincides with the LQU introduced in [13] (Equation (2)).
• If $f(x)=f_{SLD}(x)=\frac{1+x}{2},$ then ${\mathcal{U}}_1^{\mathsf{\Lambda },f}$ coincides with the Interferometric Power (IP) introduced in [14].

Proposition 5.

For $f,g\in {\mathcal{F}}_{op}^r$ with $\tilde{g}\le \tilde{f},$ we have the inequality ${\mathcal{U}}_1^{\mathsf{\Lambda },f}({\rho }_{12})\le {\mathcal{U}}_1^{\mathsf{\Lambda },g}({\rho }_{12}).$ This implies that the Interferometric Power is the biggest among the Metric Adjusted LQU; see Proposition 3.

Proof. 

Let ${\tilde{K}}_1$ be the local observable with spectrum $\mathsf{\Lambda }$ minimizing the metric adjusted skew information. Then,

$${\mathcal{U}}_1^{\mathsf{\Lambda },f}({\rho }_{12})=I_{{\rho }_{12}}^f\left({\tilde{K}}_1\otimes 1_2\right)\ge I_{{\rho }_{12}}^g\left({\tilde{K}}_1\otimes 1_2\right)\ge {\mathcal{U}}_1^{\mathsf{\Lambda },g}({\rho }_{12}),$$

where we used the inequality in (6). □

Corollary 2.

Let $g_1$ and $g_2$ be regular functions in ${\mathcal{F}}_{op}$ and set $f={\tilde{g}}_1\wedge {\tilde{g}}_2$ with respect to the lattice structure in ${\mathcal{F}}_{op}.$ Then, there is a regular function g in ${\mathcal{F}}_{op},$ such that $\tilde{g}=f={\tilde{g}}_1\wedge {\tilde{g}}_2$ and

$$max\left\{{\mathcal{U}}_1^{\mathsf{\Lambda },g_1}({\rho }_{12}),{\mathcal{U}}_1^{\mathsf{\Lambda },g_2}({\rho }_{12})\right\}\le {\mathcal{U}}_1^{\mathsf{\Lambda },g}({\rho }_{12})$$

for arbitrary ${\rho }_{12}.$

Proof. 

The functions ${\tilde{g}}_1$ and ${\tilde{g}}_2$ are non-regular by Theorem 4. By Proposition 4, we thus obtain that the minorant f is also non-regular. Therefore, from the correspondence in Theorem 4, there is a (unique) regular function g in ${\mathcal{F}}_{op}$ such that $\tilde{g}=f.$ The assertion then follows by Proposition 5. □

Following [10], we prove that the metric adjusted LQU is a measure of non-classical correlations, i.e., it meets the criteria which identify discord-like quantifiers; see [4].

Theorem 5.

If the state ${\rho }_{12}$ is classical-quantum in the sense of [32], then the metric adjusted LQU vanishes; that is, ${\mathcal{U}}_1^{\mathsf{\Lambda },f}({\rho }_{12})=0.$ Conversely, if the coordinates of Λ are mutually different (thus rendering the operator $K_1$ non-degenerate) and ${\mathcal{U}}_1^{\mathsf{\Lambda }}({\rho }_{12})=0,$ then ${\rho }_{12}$ is classical-quantum.

Proof. 

We note that the metric adjusted skew information $I_{{\rho }_{12}}^f(A)$ for a faithful state ${\rho }_{12}$ is vanishing if and only if ${\rho }_{12}$ and A commute. If ${\rho }_{12}$ is classical-quantum, then

$$P_1({\rho }_{12})=\sum _i(P_{1,i}\otimes 1_2){\rho }_{12}(P_{1,i}\otimes 1_2)={\rho }_{12}$$

for some von Neumann measurement $P_1$ given by a resolution $(P_{1,i})$ of the identity $1_1$ in terms of one-dimensional projections. We may choose $K_1$ diagonal with respect to this resolution, so $K_1\otimes 1_2$ and ${\rho }_{12}$ commute, and thus ${\mathcal{U}}_1^{\mathsf{\Lambda },f}({\rho }_{12})=0.$

If, on the other hand, the Metric Adjusted Local Quantum Uncertainty ${\mathcal{U}}_1^{\mathsf{\Lambda },f}({\rho }_{12})=0,$ then there exists a local observable $K_1\otimes 1_2$ such that $[{\rho }_{12},K_1\otimes 1_2]=0.$ Then, by the spectral theorem

$$K_1=\sum _i{\lambda }_i{P}_{1,i}=\sum _i{\lambda }_i{|i\rangle }_1\langle i|$$

for a resolution $(P_{1,i})$ of the identity $1_1$ in terms of one-dimensional projections, and since

$${\rho }_{12}(K_1\otimes 1_2)=(K_1\otimes 1_2){\rho }_{12},$$

we obtain, by multiplying with $P_{1,i}\otimes 1_2$ from the left and $P_{1,j}\otimes 1_2$ from the right, the identity

$${\lambda }_j(P_{1,i}\otimes 1_2){\rho }_{12}(P_{1,j}\otimes 1_2)={\lambda }_i(P_{1,i}\otimes 1_2){\rho }_{12}(P_{1,j}\otimes 1_2).$$

If $K_1$ is non-degenerate, it thus follows that

$$(P_{1,i}\otimes 1_2){\rho }_{12}(P_{1,j}\otimes 1_2)=0\mathrm{for}i\ne j.$$

By summing overall j differently from $i,$ we obtain

$$(P_{1,i}\otimes 1_2){\rho }_{12}((1_1-P_{1,i})\otimes 1_2)=0,$$

thus

$$(P_{1,i}\otimes 1_2){\rho }_{12}=(P_{1,i}\otimes 1_2){\rho }_{12}(P_{1,i}\otimes 1_2),$$

so $P_{1,i}\otimes 1_2$ and ${\rho }_{12}$ commute. It follows that

$$P_1({\rho }_{12})=\sum _i(P_{1,i}\otimes 1_2){\rho }_{12}(P_{1,i}\otimes 1_2)={\rho }_{12},$$

so ${\rho }_{12}$ is left invariant under the von Neumann measurement $P_1$ given by $(P_{1,i}).$ Therefore, ${\rho }_{12}$ is classical-quantum. □

Recall that Luo and Zhang [33] proved that a state ${\rho }_{12}$ is classical-quantum if and only if there is a resolution $(P_{1,i})$ of the identity $1_1$ such that

$${\rho }_{12}=\sum _i{p}_i{P}_{1,i}\otimes {\rho }_{2,i},$$

where ${\rho }_{2,i}$ is a state on ${\mathcal{H}}_2$ and $p_i\ge 0$ for each $i,$ and the sum ${\sum }_i{p}_i=1.$ By [30] (Lemma 3.1), the inequality

$$I_{{\rho }_{12}}^f(K_1\otimes 1_2)\ge I_{{\rho }_1}^f(K_1)$$

is valid for any local observable $K_1,$ where ${\rho }_1=\mathrm{Tr}{}_2{\rho }_{12}.$ Consequently, we obtain that

$${\mathcal{U}}_1^{\mathsf{\Lambda },f}({\rho }_{12})\ge \underset{K_1}{inf}{I}_{{\rho }_1}^f(K_1)=\underset{{\sigma }_1}{inf}{I}_{{\sigma }_1}^f\left(K_1\right),$$

(12)

where the infimum is taken over states ${\sigma }_1$ on ${\mathcal{H}}_1$ that are unitarily equivalent with ${\rho }_1.$

Theorem 6.

The metric adjusted LQU is invariant under local unitary transformations.

Proof. 

For the metric adjusted skew information and local unitary transformations, we have

$$\begin{array}{c}{\mathcal{U}}_1^{\mathsf{\Lambda },f}\left((U_1\otimes U_2){\rho }_{12}{(U_1\otimes U_2)}^{†}\right)=\underset{K_1}{inf}{I}^f\left((U_1\otimes U_2){\rho }_{12}{(U_1\otimes U_2)}^{†},K_1\otimes 1_2\right)\hfill \\ =\underset{K_1}{inf}{I}^f\left({\rho }_{12},{(U_1\otimes U_2)}^{†}(K_1\otimes 1_2)(U_1\otimes U_2)\right)\hfill \\ =\underset{K_1}{inf}{I}^f\left({\rho }_{12},(U_1^{†}{K}_1{U}_1\otimes 1_2\right)={\mathcal{U}}_1^{\Delta ,f}({\rho }_{12}),\hfill \end{array}$$

where we used the definition in (11). □

Theorem 7.

The metric adjusted LQU is contractive under completely positive trace-preserving maps on the non-measured subsystem.

Proof. 

A completely positive trace preserving map ${\mathsf{\Phi }}_2$ on system 2 is obtained as an amplification followed by a partial trace (Stinespring dilation); that is,

$$(1_1\otimes {\mathsf{\Phi }}_2){\rho }_{12}=\frac{1}{d_3}\mathrm{Tr}{}_3\left((1_1\otimes U_{23})({\rho }_{12}\otimes 1_3){(1_1\otimes U_{23})}^{†}\right),$$

where $d_3$ is the dimension of the Hilbert space of the ancillary system 3. The metric adjusted skew information is additive under the aggregation of isolated systems; that is,

$$I^f(\rho \otimes \sigma ,A\otimes 1_2+1_1\otimes B)=I^f(\rho ,A)+I^f(\sigma ,B)$$

and trivially $I_{\rho }^f(A+I)=I_{\rho }^f(A),$ where I is the identity operator [17]. Therefore,

$$\begin{array}{cc}\hfill {\mathcal{U}}_1^{\mathsf{\Lambda },f}({\rho }_{12})& =I^f\left({\rho }_{12},{\tilde{K}}_1\otimes 1_2\right)=I^f\left({\rho }_{12}\otimes \frac{1}{d_3}{1}_3,{\tilde{K}}_1\otimes 1_{23}+1_{12}\otimes 1_3\right)\hfill \\ & =I^f\left({\rho }_{12}\otimes \frac{1}{d_3}{1}_3,{\tilde{K}}_1\otimes 1_{23}\right),\hfill \end{array}$$

where ${\tilde{K}}_1$ is the local observable minimizing the metric adjusted skew information. The metric adjusted skew information is invariant under unitary transformations and contractive under partial traces. Therefore,

$$\begin{array}{cc}\hfill {\mathcal{U}}_1^{\mathsf{\Lambda },f}({\rho }_{12})& =I^f\left((1_1\otimes U_{23})({\rho }_{12}\otimes \frac{1}{d_3}{1}_3\right)(1_1\otimes U_{23}^{†}),{\tilde{K}}_1\otimes 1_{23})\hfill \\ & \ge I^f\left(\mathrm{Tr}{}_3\left\{(1_1\otimes U_{23})({\rho }_{12}\otimes \frac{1}{d_3}{1}_3)(1_1\otimes U_{23}^{†})\right\},{\tilde{K}}_1\otimes 1_2\right)\hfill \\ & =I^f\left((1_1\otimes {\mathsf{\Phi }}_2){\rho }_{12},{\tilde{K}}_1\otimes 1_2\right)\hfill \\ & \ge {\mathcal{U}}_1^{\mathsf{\Lambda },f}\left((1_1\otimes {\mathsf{\Phi }}_2){\rho }_{12}\right),\hfill \end{array}$$

where we again used [30] (Lemma 3.1). □

Theorem 8.

The metric adjusted LQU reduces to an entanglement monotone for pure states.

Proof. 

The metric adjusted f-LQU coincides with the standard variance on pure states; that is,

$$I_{\rho }^f(A)={\mathrm{Var}}_{\rho }(A)=\mathrm{Tr}\rho A^2-{(\mathrm{Tr}\rho A)}^2$$

whenever $\rho$ is pure [17] (Theorem 3.8). However, in [13] it has been proven that the minimum local variance is an entanglement monotone for pure states. □

9. Conclusions

In this work, we built a unifying information-geometric framework to quantify quantum correlations in terms of metric adjusted skew information. We extended the physically meaningful definition of LQU to a more general class of information measures. Crucially, metric adjusted quantum correlation quantifiers enjoy, by construction, a set of desirable properties which make them robust information measures.

An important open question is whether information geometry methods may help characterize many-body quantum correlations. In general, the very concept of multipartite statistical dependence is not fully grasped in the quantum scenario. In particular, we do not have axiomatically consistent and operationally meaningful measures of genuine multipartite quantum discord. Unfortunately, the LQU and IP cannot be straightforwardly generalized to capture joint properties of more than two quantum particles. A promising starting point could be to translate into the entropic multipartite correlation measures developed in [34] into information-geometry language. We plan to investigate this issue in future studies.