equation 25.53 eq:pq-wigner

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on corollary 25.54 Negativity is unavoidable ¶
  • depends_on theorem 25.55 Hudson: which pure states escape ¶
• depends_on proposition A.602 The Wigner function of a Gaussian is a positive Gaussian ¶
  • depends_on proposition A.604 Non-negativity forbids a vanishing overlap ¶
    • depends_on proposition A.609 The exponent is a quadratic polynomial ¶
      • depends_on proposition A.611 The constraint on $\Gamma$ ¶
        • depends_on proposition A.612 The dictionary between $A$ and $\Gamma$ ¶
• depends_on theorem A.598 Hudson ¶
• depends_on theorem 25.55 Hudson: which pure states escape ¶ ↺
• depends_on theorem 25.57 The Moyal equation, and its classical limit ¶
  • depends_on proposition 25.59 Homodyne tomography inverts a Radon transform ¶
• depends_on theorem 25.53 Properties of the Wigner function ¶
  • depends_on lemma A.603 Overlaps and the resolution of unity ¶
    • depends_on proposition A.611 The constraint on $\Gamma$ ¶ ↺
    • depends_on proposition A.604 Non-negativity forbids a vanishing overlap ¶ ↺