- #1

- 12

- 0

## Main Question or Discussion Point

Why does the expectation values of some operators, such as 'number' operator ##a^\dagger a## and atomic population operator ##\sigma^\dagger\sigma##, are always nonnegative? Can we prove this from a mathematical point? For example, are these operators positive semidefinite?

Last edited: