Following up on two previous questions: Expected number of steps for reaching a specific absorbing state in an absorbing Markov chain and Expected time till absorption in specific state of a Markov chain
Suppose you have an absorbing Markov chain with two absorbing states. You can calculate the probability of reaching either absorbing state, you can calculate the expected number of steps before being absorbed, you can construct a conditional matrix that removes an absorbing state, and you can calculate expected step count for that. For example, consider a minimal drunkard's walk with four states, A, B, C, and D, where A and D are absorbing. We have
$$ P = \begin{bmatrix}0 && 0.5 && 0.5 && 0 \\ 0.5 && 0 && 0 && 0.5 \\ 0 && 0 && 1 && 0 \\ 0 && 0 && 0 && 1 \end{bmatrix}, N = \begin{bmatrix}4/3 && 2/3 \\ 2/3 && 4/3\end{bmatrix}, NR = \begin{bmatrix}2/3 && 1/3 \\ 1/3 && 2/3\end{bmatrix} $$
Or if we eliminate column three
$$ P = \begin{bmatrix}0 && 1 && 0 \\ 0.5 && 0 && 0.5 \\ 0 && 0 && 1 \end{bmatrix}, N = \begin{bmatrix}2&&2\\1&&2\end{bmatrix}, NR = \begin{bmatrix}1\\1\end{bmatrix} $$
Skipping some of the other math, we eventually get P(reach A from B) = 2/3, P(reach D from B) = 1/3, E(steps starting from B) = 2, E(steps starting from B|end in A) = 3, and E(steps starting from B|end in D) = 4. But 2/3 * 3 + 1/3 * 4 is an expected 10/3 steps, not the 2 from the unconditional matrix.
Is there something wrong about the conditional matrix logic? Or else why does this appear to violate the law of total expectation?
I expect OP doesn't care about this question anymore, but future readers might, so:
As discussed in the comments, your paradox is coming from an incorrect method used to calculate E(steps starting from X | end at Y) for a transient state X and absorbing state Y. In particular, the accepted answer on your previous question is incorrect. I've added a new answer on that question which explains a correct method (plus examples and sample Mathematica implementation), and that new method finds E[steps starting from B | end at A] = $\frac 5 3$ and E[steps starting from B | end at D] = $\frac 8 3$. In the comments I see Henry took advantage of this extreme simplicity of this Markov chain to obtain the same results "by hand". Anyway, using these corrected conditional expected values, we no longer run into the contradiction you asked about.