For two-qubit pure states with smaller squared Schmidt coefficients , optimal stochastic conversion of a two-qubit pure state succeeds independently with probability . The asymptotic pure-state entanglement conversion rate of collective LOCC is instead , where is binary entropy. The difference is strict: differentiating gives . Hence . Independent filtering loses entanglement in its product-state failure branches, whereas collective concentration and dilution preserve entanglement asymptotically.
The Schmidt decomposition and local unitary operations put any entangled two-qubit pure state into
Both Schmidt coefficients are nonzero. Alice performs a two-outcome generalized measurement with Kraus operators
Their effects sum to the identity, so this is a legitimate local measurement in quantum mechanics. On success,
The normalized output is the Bell state . Bob's unitary matrix maps it to the spin singlet state. Alice communicates her success flag; no shared quantum operation is needed. At the filter is the identity and success is certain. This is the singlet target case of optimal stochastic conversion of a two-qubit pure state.
For dichotomic local outcomes , the CHSH inequality is
It assumes a local hidden-variable theory with freely chosen settings independent of the hidden-variable distribution. For the spin singlet state, direct evaluation of its Pauli matrices correlations gives
Choose , , , and . The four correlations are , respectively, giving
The success flag must be recorded and communicated before the subsequent independent choice of Bell-test settings. This conditioning is legitimate because setting-independent heralding preserves Bell locality: a putative local hidden-variable theory for the entire sequential experiment would, after successful filtering, still have local response functions with a setting-independent conditional hidden-variable distribution. More explicitly, if the hidden variable is and is the already determined success flag, conditioning changes its distribution to but leaves
Classical messages used in preparation can be included in ; none are exchanged during the spacelike Bell measurements. Such a conditioned model still obeys the CHSH inequality, contradicting the displayed singlet correlations. Therefore no local hidden-variable theory reproduces all sequential measurement correlations of any entangled two-qubit pure state. This argument does not discard outcomes on the basis of the later measurement settings.
Alice makes a two-outcome local measurement in quantum mechanics with Kraus operators
Since , these are valid and satisfy . Alice sends Bob the success or failure outcome. The successful unnormalized branch is
Therefore the normalized success state is exactly the target and
Bob needs no quantum correction in this known Schmidt basis. The failure branch is proportional to , a product state, and has probability . The successful branch saturates the previous bound: and failure contributes zero. This establishes optimal stochastic conversion of a two-qubit pure state.