Overview¶
- Core symbolic terms
- Modes
- CCR algebra
- Ket algebra
- Density algebra
- Operator algebra
- Normal ordering, expectation values, and trace
- Background
- Setup
- Normal ordering example: \(a a^\dagger\)
- Algorithmic picture
- Step-by-step normal ordering
- Two-mode expectation values
- Already normal-ordered input
- Constructing from operators vs words
- Scalar overlaps
- Operator action on kets
- Expectation values
- From kets to density operators
- Trace
- Purity
- Left and right operator action
- Partial trace
- End-to-end example
- Summary
- See also