I wrote some basic code to visualize the branching structure of this global wavefunction, as the decoherent branches mark alternative coarse-grained paths for the Bohmian configuration. Results aren't too surprising but people might still be interested. Some examples follow:
First, a case where Victor performs his attempt at a BSM first, followed by Alice's measurement, then Bob's. If Alice and Bob both choose the RL basis, the branching structure will look like
1.
View attachment 373972
It's unsurprising that, for example, if Victor records ##\Phi^+## or ##\Phi^-## then Alice and Bob will record the same outcomes, and hence there are only two branches for each ##\Phi##. If Victor's BSM doesn't succeed, then Alice and Bob's results can be the same or different, and so there are four branches.
If they instead pick mutually unbiased bases, then the branching structure will look like
2.
View attachment 373973
Here the BSM does not introduce a correlation between Alice's and Bob's outcome, and hence more branches have positive weights.
The above figures are for the standard ES experiment. But we can also look at the branching pattern of Ma's DCES experiment, where Victor makes his measurement last. Say Alice and Bob measure in the HV basis. We get a branching structure
3.
View attachment 373974
We can follow the branches to see if Alice and Bob both record the same outcome, Victor's BSM must yield either ##\Phi^+## or ##\Phi^-##. If Alice and Bob both record opposite outcomes,Victor's BSM must fail.
We can also look at the branching pattern when Victor makes his measurement after Alice but Before Bob, akin to Megidish's ordering. Considering the same as the above: Alice and Bob both measure in the HV basis
4.
View attachment 373975
Here there is no further branching after Victor's measurement. What's interesting to note is regardless of the measurement order/branching structure, the final branches, each carrying an output record combination, have the same weights. This is why the statistics are insensitive to the measurement order.