The statement
Explanation
Every bipartite pure state has orthonormal local bases in which it is a single sum, from the singular value decomposition of its coefficient matrix.
Conditions
A compact formula is not a claim of unrestricted validity. Before applying this statement, check the assumptions stated in its wording (dimension, finiteness, equilibrium, model regime) and in the explanation above.
Deeper understanding
Correlations of composite systems are encoded by joint states and reduced density operators; entropy and distance measures reveal different aspects of those correlations.
What this result tells us
The Schmidt coefficients are invariant under local changes of basis and quantify bipartite pure-state entanglement.
Mathematical reading guide
Read the equation from left to right: identify its premises, the operation being performed, and the resulting conclusion or bound. When a symbol represents an operator, verify its domain and whether Hermiticity, unitarity, positivity or finite dimensionality is assumed. When probabilities or entropies appear, check normalization and the logarithm convention.
Where it matters
Entanglement distribution, error analysis, communication capacities and quantum network protocols.
Worked example and interpretation
The Bell state $|\Phi^+\rangle=(|00\rangle+|11\rangle)/\sqrt2$ already has Schmidt form with $\lambda_1=\lambda_2=1/2$. Each reduced state is $I/2$.
Start with a Bell state or a simple separable mixture, trace out one subsystem and calculate the relevant quantity.
Check your understanding
Questions to work through
- What are the assumptions and the physical system for Schmidt decomposition?
- Which quantity is invariant, bounded, measurable or transformed in this statement?
- Can you demonstrate the claim on the simplest valid example, and identify a situation where its assumptions fail?
- How does this result connect to entanglement and quantum information in an experiment or simulation?
Suggested approach to the answers
First identify the hypotheses in the original statement. Use the displayed equation and the worked example above; distinguish an exact theorem from an approximation, and state the operational meaning of each quantity. For the final question, relate the mathematical result to entanglement distribution, error analysis, communication capacities and quantum network protocols.