Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Generalised Pinching Inequality

Andreas Winter

Abstract

Hayashi's Pinching Inequality, which establishes a matrix inequality between a semidefinite matrix and a multiple of its "pinched" version via a projective measurement, has found many applications in quantum information theory and beyond. Here, we show a very simple proof of it, which lends itself immediately to natural generalisations where the different projections of the measurement have different weights, and where the matrix inequality can be reversed. As an application we show how the generalised pinching inequality in the case of binary measurements gives rise to a novel gentle measurement lemma, where matrix ordering replaces approximation in trace norm.

Generalised Pinching Inequality

Abstract

Hayashi's Pinching Inequality, which establishes a matrix inequality between a semidefinite matrix and a multiple of its "pinched" version via a projective measurement, has found many applications in quantum information theory and beyond. Here, we show a very simple proof of it, which lends itself immediately to natural generalisations where the different projections of the measurement have different weights, and where the matrix inequality can be reversed. As an application we show how the generalised pinching inequality in the case of binary measurements gives rise to a novel gentle measurement lemma, where matrix ordering replaces approximation in trace norm.
Paper Structure (3 sections, 4 theorems, 18 equations)

This paper contains 3 sections, 4 theorems, 18 equations.

Table of Contents

  1. Pinching inequality and its generalisation
  2. Reverse pinching inequality
  3. Binary case: gentle measurement inequality

Key Result

Lemma 1

If $\vec{\alpha}\in {\cal A}_n$, then for all bounded operators $M_i:A\rightarrow B$, Conversely, if eq:general-pinch holds for a nontrivial projective POVM $(P_1,P_2,\ldots,P_n)$, i.e. $P_i\neq 0$, then $\vec{\alpha}\in {\cal A}_n$.

Theorems & Definitions (4)

  • Lemma 1
  • Lemma 2
  • Proposition 3
  • Corollary 4