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

Measurements in quantum theory must specify not only outcome probabilities but also how the system state changes conditioned on outcomes; instruments unify these two aspects as collections of CP maps whose sum is a channel.

Demonstration

Projective measurement on a qubit in the computational basis: two maps ℰ_0(ρ)=|0⟩⟨0| ρ |0⟩⟨0| and ℰ_1(ρ)=|1⟩⟨1| ρ |1⟩⟨1| produce outcomes 0 or 1 with probabilities Tr(ℰ_x(ρ)) and return the projected (subnormalized) post-measurement states ℰ_x(ρ). Summing ℰ_0+ℰ_1 yields the dephasing channel in that basis.

Misapplication

Treating a measurement instrument as merely its associated positive-operator valued measure (POVM) and ignoring the conditional state maps, which loses information about back-action and prevents modeling sequences of measurements or feedback control.

Consequence

Using instruments lets one compute joint probabilities for measurement records and the resulting conditional dynamics, enabling correct descriptions of measurement-based feedback, state retrodiction, and adaptive protocols.

Reversal

If one discards the classical outcome record and sums the instrument's maps, the object becomes a quantum channel that describes the nonselective (average) state evolution; conversely treating a channel as if it provided outcome-conditioned states is unsupported without additional structure.

Boundary

Applies to linear maps on operator algebras (finite- or infinite-dimensional) that are completely positive; individual ℰ_x need not preserve trace but must be trace-non-increasing and their sum must be trace-preserving. Excludes purely classical measurements and descriptions that omit conditional state updates.

Semantic Tension

Instrument vs POVM: a POVM gives only probabilities (operators E_x) while an instrument gives the full conditional dynamics; the two are compatible but not interchangeable. Instruments also differ from channels by their labeling with outcomes and the possibility of trace decrease per outcome.

Synthesis

A quantum instrument is the complete operational object for measurement: a labeled set of CP, trace-non-increasing maps whose traces yield outcome probabilities and whose normalized outputs are the post-measurement states; summing the maps recovers the unselective channel representing the measurement's average effect.