Aharonov-Bergmann-Lebowitz rule ($p_j=|⟨b|P_j|a⟩{|}^2/{\sum }_k|⟨b|P_k|a⟩{|}^2$)

For an ideal projective measurement with the Lüders rule, condition on both an initial quantum state preparation and a final successful postselection. Its outcome probabilities are proportional to $|⟨b|P_j|a⟩{|}^2$, where $a$ is the forward-evolved initial state and $b$ the backward-evolved final state. The normalization must be nonzero. The expression is symmetric in these two boundary states, although its derivation uses the ordinary Born rule and conditional state update.

In the ABL rule, probabilities depend on the full intermediate quantum measurement instrument. A binary Lüders rule quantum measurement preserves coherence within its unresolved complement, whereas a fully resolved projective measurement removes it. Summing fine-grained probabilities after quantum measurement does not generally reproduce the coarse-grained experiment. Different postselection success rates are part of the distinction.

For a uniform prestate in $N+1$ dimensions and poststate proportional to ${\sum }_{i=1}^N|i⟩-(N-1)|N+1⟩$, each binary question $P_i$ versus $I-P_i$ has conditional probability one for $i\le N$. A fully resolved quantum measurement instead assigns $1/D$ to each of the first $N$ outcomes and $(N-1{)}^2/D$ to the last. The context dependence of pre- and post-selected measurements explains why these alternative certainties do not imply simultaneous properties.