A mathematical structure used to represent quantum states and the operations performed on them. It specifies how states are expressed, related, combined, and decomposed into components that support calculation. It does not by itself determine physical predictions without a mapping to observables and measurement rules. It enables precise computation of probabilities and expectation values from state and operator inputs. The concept is generally stable, though notation choices and computational methods evolve over time.

Principle

Vectors in a direct-sum decomposition admit unique componentwise representation; linear operators on the sum decompose into block form consistent with the summands, and orthogonality enforces pairwise zero inner products between distinct components.

Demonstration

Consider H = C^2 ⊕ C^1: a three-dimensional space built as the direct sum of a qubit space and a one-dimensional sector. A vector (v,w) with v∈C^2 and w∈C^1 is represented as v + w, and operators that preserve the decomposition take block-diagonal form, e.g., diag(A,B) acting independently on each summand.

Misapplication

Treating a direct sum as if it were a tensor product and therefore claiming it generates entanglement between summands; or assuming that every sum of subspaces is direct without checking that their intersection is {0}.

Consequence

Correct use yields block-diagonal operator representations, clear projectors onto sectors, and interpretations of superselection or distinct configuration spaces; spectral decompositions and multiplicity labels use direct-sum structure.

Reversal

Tensor product construction H1 ⊗ H2 combines degrees of freedom to form joint systems that allow entanglement and product-state expansions, in contrast to direct sums which encode alternatives or disjoint sectors.

Boundary

Direct sum requires the summands' intersection to be {0} and does not by itself imply any entanglement or correlation between summands; infinite direct sums require attention to completion and topology, and the direct-sum of physically distinct superselection sectors may forbid coherent superpositions.

Semantic Tension

The tension is between 'sum' as direct sum (alternatives, block structure) and 'sum' as linear span or algebraic sum of subspaces; also between orthogonal direct sum (inner-product structure) and mere algebraic direct sum.

Synthesis

The direct sum in Hilbert-space language is the canonical way to assemble mutually exclusive quantum sectors into a larger space where each global vector decomposes uniquely into sector components, leading to block-diagonal operators and projector-defined sectors while remaining distinct from tensor-product composition.