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

Exact factorization is the defining rule: each subsystem has a well-defined pure state and the joint state carries no entanglement or quantum correlation beyond the independent subsystem coherences.

Demonstration

Two-qubit example: |Ψ> = |0>_A ⊗ (α|0> + β|1>)_B is a product state; measurement statistics on A and B are independent and determined solely by their local states.

Misapplication

Calling a separable mixed state a product state is incorrect; mixtures of different product states are separable but not product. Also, treating product-state independence as independence under all possible operations (including entangling interactions) is invalid.

Consequence

Product states are extreme points of the set of separable states; they can be prepared with local operations and yield independent measurement statistics, simplifying analysis and simulation of composite systems.

Reversal

The reverse is an entangled state, which cannot be written as a simple tensor product and exhibits nonlocal correlations between subsystems.

Boundary

Typically reserved for pure states; mixed states that are trivial tensor products of mixed subsystem density matrices can be called product density operators, but 'product state' usually means a pure factorization. Correlated separable mixtures are outside this narrow category.

Semantic Tension

Competes with 'separable state': every product state is separable, but not every separable state is a product; there is tension when informal language equates separability and product structure.

Synthesis

A product state is the simplest separable configuration: an exact tensor-factorization of the joint pure state into independent subsystem pure states, and thus the baseline against which entanglement and nontrivial separable mixtures are measured.