definition 25.44 Weyl and normal ordering

open in the book · parts/03-classical-mechanics/08-poisson-quantum-bridge.tex:1614 · p. 891

ground object -- no derivation owed

Rests on

depends_on definition 25.42 Ordering rule ¶
- depends_on corollary 25.41 Quantization is not a functor ¶
  - depends_on theorem 25.38 Groenewold–van Hove ¶
    - depends_on equation 25.31 eq:pq-dirac-rule ¶
    - depends_on theorem 25.34 Stone–von Neumann ¶
      - depends_on definition 12.64 Strongly continuous one-parameter unitary group ¶
      - depends_on equation 25.33 eq:pq-ccr ¶
      - depends_on theorem 12.66 Stone ¶
      - proves proof ch:08-poisson-quantum-bridge@prooflink-1 ¶
    - depends_on theorem 5.160 Schur's second lemma ¶
      - depends_on definition 5.53 Isomorphism ¶
      - depends_on definition 5.145 Equivalent representations ¶
      - depends_on definition 5.147 Invariant subspace ¶
      - depends_on definition 5.148 Irreducible representation ¶
      - proves proof ch:03-linear-algebra-representations@proof-68 ¶
    - proves proof ch:08-poisson-quantum-bridge@proof-16 ¶
- depends_on postulate 25.27 Dirac's correspondence rule ¶
  - depends_on equation 22.41 eq:ham-poisson-bracket ¶
  - depends_on theorem 25.3 The bracket is a Lie bracket ¶
    - depends_on equation 22.41 eq:ham-poisson-bracket ¶ ↺
    - depends_on equation 22.56 eq:ham-symplectic-matrix ¶
    - proves proof ch:08-poisson-quantum-bridge@proof-1 ¶

Supports

depends_on definition 25.50 Star product and Moyal bracket ¶
depends_on definition 25.52 Wigner function ¶
- depends_on definition A.605 The analytic continuation of the overlaps ¶
  - depends_on lemma A.606 $F$ is entire, and is the overlap in disguise ¶
    - depends_on lemma A.607 A zero-free entire function is an exponential ¶
      - depends_on proposition A.609 The exponent is a quadratic polynomial ¶
depends_on example 25.45 Weyl ordering collapses ¶
depends_on proposition 25.46 Normal ordering disagrees already at degree two ¶

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	→	Ordering rule	declared	parts/03-classical-mechanics/08-poisson-quantum-bridge.tex:1629
`depends_on`	←	Star product and Moyal bracket	declared	parts/03-classical-mechanics/08-poisson-quantum-bridge.tex:1833
`depends_on`	←	Wigner function	declared	parts/03-classical-mechanics/08-poisson-quantum-bridge.tex:1876
`depends_on`	←	Weyl ordering collapses	declared	parts/03-classical-mechanics/08-poisson-quantum-bridge.tex:1651
`depends_on`	←	Normal ordering disagrees already at degree two	declared	parts/03-classical-mechanics/08-poisson-quantum-bridge.tex:1670