Equality cases in monotonicity of quasi-entropies, Lieb's concavity and Ando's convexity

• URL: http://arxiv.org/abs/2304.04361v3
• Date: Tue, 4 Jul 2023 08:26:27 GMT
• Title: Equality cases in monotonicity of quasi-entropies, Lieb's concavity and Ando's convexity
• Authors: Fumio Hiai
• Abstract summary: We revisit and improve joint concavity/rhoity and monotonicity properties quasi-entropies due to Petz in a new fashion. We characterize equality cases in the monotonicity inequalities (the data-processing inequalities) of quasi-entropies in several ways.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We revisit and improve joint concavity/convexity and monotonicity properties of quasi-entropies due to Petz in a new fashion. Then we characterize equality cases in the monotonicity inequalities (the data-processing inequalities) of quasi-entropies in several ways as follows: Let $\Phi:\mathcal{B}(\mathcal{H})\to\mathcal{B}(\mathcal{K})$ be a trace-preserving map such that $\Phi^*$ is a Schwarz map. When $f$ is an operator monotone or operator convex function on $[0,\infty)$, we present several equivalent conditions for the equality $S_f^K(\Phi(\rho)\|\Phi(\sigma))=S_f^{\Phi^*(K)}(\rho\|\sigma)$ to hold for given positive operators $\rho,\sigma$ on $\mathcal{H}$ and $K\in\mathcal{B}(\mathcal{K})$. The conditions include equality cases in the monotonicity versions of Lieb's concavity and Ando's convexity theorems. Specializing the map $\Phi$ we have equivalent conditions for equality cases in Lieb's concavity and Ando's convexity. Similar equality conditions are discussed also for monotone metrics and $\chi^2$-divergences. We further consider some types of linear preserver problems for those quantum information quantities.

Related papers

• Dimension-free Remez Inequalities and norm designs [48.5897526636987]
  A class of domains $X$ and test sets $Y$ -- termed emphnorm -- enjoy dimension-free Remez-type estimates. We show that the supremum of $f$ does not increase by more than $mathcalO(log K)2d$ when $f$ is extended to the polytorus.
  arXiv  Detail & Related papers  (2023-10-11T22:46:09Z)
• A generic quantum Wielandt's inequality [0.9975341265604578]
  It is conjectured that $k$ should be of order $mathcalO(n2)$ in general. We provide a generic version of quantum Wielandt's inequality, which gives the optimal length with probability one. We shed new light on a long-standing open problem for Projected Entangled Pair State.
  arXiv  Detail & Related papers  (2023-01-19T18:57:32Z)
• Quantum and classical low-degree learning via a dimension-free Remez inequality [52.12931955662553]
  We show a new way to relate functions on the hypergrid to their harmonic extensions over the polytorus. We show the supremum of a function $f$ over products of the cyclic group $exp(2pi i k/K)_k=1K$. We extend to new spaces a recent line of work citeEI22, CHP, VZ22 that gave similarly efficient methods for learning low-degrees on hypercubes and observables on qubits.
  arXiv  Detail & Related papers  (2023-01-04T04:15:40Z)
• A new operator extension of strong subadditivity of quantum entropy [12.547444644243544]
  Weak monotonicity asserts that $S(rho_AB) - S(rho_A) + S(rho_BC) - S(rho_C)geq 0$ for any tripartite density matrix $rho_ABC$. We prove an operator inequality, which, upon taking an expectation value with respect to the state $rho_ABC$, reduces to the weak monotonicity inequality.
  arXiv  Detail & Related papers  (2022-11-24T01:45:44Z)
• Monogamy of entanglement between cones [68.8204255655161]
  We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones. Our proof makes use of a new characterization of products of simplices up to affine equivalence.
  arXiv  Detail & Related papers  (2022-06-23T16:23:59Z)
• A trace inequality of Ando, Hiai and Okubo and a monotonicity property of the Golden-Thompson inequality [1.5229257192293197]
  The Golden-Thompson trace inequality $Tr, eH+K leq Tr, eH eK$ has proved to be very useful in quantum statistical mechanics. Here we make this G-T inequality more explicit by proving that for some operators, $H=Delta$ or $H= -sqrt-Delta +m$ and $K=$ potential, $Tr, eH+ (1-u)KeuK$ is a monotone increasing function of the parameter $u$ for $0leq
  arXiv  Detail & Related papers  (2022-03-11T18:09:13Z)
• On the Self-Penalization Phenomenon in Feature Selection [69.16452769334367]
  We describe an implicit sparsity-inducing mechanism based on over a family of kernels. As an application, we use this sparsity-inducing mechanism to build algorithms consistent for feature selection.
  arXiv  Detail & Related papers  (2021-10-12T09:36:41Z)
• Spectral properties of sample covariance matrices arising from random matrices with independent non identically distributed columns [50.053491972003656]
  It was previously shown that the functionals $texttr(AR(z))$, for $R(z) = (frac1nXXT- zI_p)-1$ and $Ain mathcal M_p$ deterministic, have a standard deviation of order $O(|A|_* / sqrt n)$. Here, we show that $|mathbb E[R(z)] - tilde R(z)|_F
  arXiv  Detail & Related papers  (2021-09-06T14:21:43Z)
• Some convexity and monotonicity results of trace functionals [1.90365714903665]
  We prove the convexity of trace functionals $$(A,B,C)mapsto textTr|BpACq|s,$$ for parameters $(p,q,s)$ that are best possible. We extend some results in citeHP12quasi,CFL16some and resolve a conjecture in citeRZ14 in the matrix setting.
  arXiv  Detail & Related papers  (2021-08-12T14:54:48Z)
• Linear Bandits on Uniformly Convex Sets [88.3673525964507]
  Linear bandit algorithms yield $tildemathcalO(nsqrtT)$ pseudo-regret bounds on compact convex action sets. Two types of structural assumptions lead to better pseudo-regret bounds.
  arXiv  Detail & Related papers  (2021-03-10T07:33:03Z)
• Relations between different quantum R\'enyi divergences [2.411299055446423]
  We investigate relations between the Petz quantum R'enyi divergence $barD_alpha$ and the maximum quantum R'enyi divergence $widehatD_alpha$. We provide a new proof of the inequality $widetildeD_1(rho | sigma) leqslant widehatD_1(rho | sigma),,$ based on the Araki-Lieb-Thirring
  arXiv  Detail & Related papers  (2020-12-12T09:30:07Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.