A quantum mechanics concept defining a model element, mathematical object, or experimental method used to predict measurable outcomes. It applies when required assumptions and definitions are specified and yields computable probabilities and expectation values. It does not ensure correctness without validation of approximations, numerical stability, and consistency of units and conventions. It materially affects interpretation of experiments and the reliability of theoretical predictions across quantum systems. The concept is generally stable, though methods and implementations evolve over time.

Principle

Positivity of quadratic forms: A is positive semidefinite exactly when it induces a nonnegative sesquilinear form, guaranteeing nonnegative measurement expectations and spectral decomposition into nonnegative eigenvalues.

Demonstration

A density matrix ρ describing a quantum state is positive semidefinite: for any |ψ⟩, ⟨ψ|ρ|ψ⟩ ≥ 0. Concretely, for a qubit ρ = [[1/2, 0],[0,1/2]] has eigenvalues 1/2, 1/2, both ≥ 0, so ρ is positive semidefinite.

Misapplication

Treating a matrix with all nonnegative entries as positive semidefinite: nonnegative matrix entries do not imply ⟨ψ|A|ψ⟩ ≥ 0 for all |ψ⟩. Also confusing positive semidefinite with positive definite (the latter requires strictly positive expectations for nonzero vectors).

Consequence

Operators that are positive semidefinite can serve as valid quantum effects and density operators; they admit square roots and Cholesky-like decompositions and compose naturally under completely positive maps.

Reversal

The inversion would be a negative semidefinite operator, for which ⟨ψ|A|ψ⟩ ≤ 0 for all |ψ⟩; flipping the sign of a positive semidefinite operator yields a negative semidefinite one but invalidates its role as an effect or density operator.

Boundary

This notion applies only to linear, Hermitian operators on inner-product spaces; non-Hermitian operators, indefinite Hermitian operators (having both positive and negative eigenvalues), and entrywise-nonnegative but indefinite matrices are excluded.

Semantic Tension

Conflict often arises between 'positive' meanings: positive semidefinite (spectral nonnegativity) versus elementwise positivity of matrix entries, and between 'semidefinite' (allows zero eigenvalues) and 'definite' (strict positivity).

Synthesis

A positive semidefinite operator is a Hermitian operator whose quadratic form never yields a negative value; this spectral nonnegativity is the mathematical condition that makes an operator suitable as a density matrix, effect, or component of quantum measurement and dynamics.