PeterDonis said:
You appear to be using a different definition than the "appropriate" one I just referred to; your apparent definition seems to be saying that, since knowing B's measurement result gives us additional information about the probabilities for A's measurement result, we need to "check on the state" of B in order to make a prediction about the state of A. However, by this definition, it is equally true that we need to check on the state of A in order to make a prediction about the state of B. But those two claims, combined, would put us into a never-ending circle of checking on B to check on A to check on B to check on A to...
No, it just means that the evolution of the global state does not "factor" into evolution of local states. Or, maybe the global state is more than the sum of all the local states.
Let me illustrate with a very simple discrete-time cellular automaton analogy
Suppose you have a cellular automaton with 4 cells labeled ##A, AN, C, BN, B##.
- Cell ##A## has ##AN## as a neighbor.
- Cell ##AN## has both ##A## and ##C## as neighbors.
- Cell ##C## has both ##AN## and ##BN## as neighbors.
- Cell ##BN## has both ##C## and ##B## as neighbors.
- Cell ##B## has only ##BN## as a neighbor.
Let ##V## be the set of possible states of any cell. A state of the whole automaton is a 5-tuple of values ##a, an, c, bn, b##, each value an element of ##V##. If ##s## is a state of the whole automaton, then I will use ##s[a]## to mean the state of cell ##A##, ##s[an]## is the state of cell ##AN##, etc.
Then there is a transition relation ##T(s, s')## that describes the evolution of the cellular automaton. The meaning is that if the global state at time ##t## is ##s##, then ##s'## is a possible global state at time ##t+1##. (We could make this model more sophisticated by using probabilities, instead of possibilities, but this is just a toy model for the purpose of illustrating the concept of separability.)
We say that the transition relation ##T## obeys locality if it factors into 5 local transition relations
- ##T_1(a, an, a', an')## governing cell ##A##
- ##T_2(a, an, c, a', an', c')## governing cell ##AN##
- ##T_3(an, c, bn, an', c', bn')## governing cell ##C##
- ##T_4(c, bn, b, c', bn', b')## governing cell ##BN##
- ##T_5(bn, b, bn', b')## governing cell ##B##.
##T## factors into these local transition relations in case
##T(s,s') \Leftrightarrow ##
##T_1(s[a], s[an], s'[a], s'[an]) \wedge ##
##T_2(s[a], s[an], s[c], s'[a], s'[an], s'[c]) \wedge ##
##T_3(s[an], s[c], s[bn], s'[an], s'[c], s'[bn]) \wedge ##
##T_4(s[c], s[bn], s[ b], s'[c], s'[bn], s'[ b]) \wedge##
##T_5(s[bn], s[ b], s'[bn], s'[ b]) ##
With Alice and Bob both measuring spins along the z-axis, the global transition relation does not factor into local transition relations.