Nonexistence of LHV dynamics for the Bell-LHV base model under two-qubit Heisenberg interaction
Prove that for two qubits evolving under the Heisenberg Hamiltonian, there exists a set S of local two-qubit states that remain local at all times such that, although the Bell-LHV base model (with single-particle hidden-variable space S^2 and measurement rule q(a|n,λ)=Θ(n·λ)) reproduces the instantaneous statistics at each time, no choice of gauge yields a state-independent hidden-variable velocity field that makes this base model into a dynamical LHV model.
References
That is, we conjecture that there exists a set of local two-qubit states that remain local under time evolution with respect to the Heisenberg Hamiltonian, such that the Bell-LHV base model can describe all the states at each moment in time, but cannot be turned into a dynamical LHV model, independent of the choice of gauge and even without choosing a consistent gauge.