I looked at the appendix of the paper and their claim seems to hinge on some form of non-decomposibility of a certain tensor product state? It is the paragraph below equation A2.
More generally I got a bit frustrated reading the paper because the axioms of real quantum mechanics did not seem to be properly formulated.
> "Quantum theory based on real numbers" means a specific thing -- quantum mechanics with real amplitudes (and real anything-else-that-would-follow-from-that)
I'm familiar with complex math as far as remedial DSP and electrical engineering goes, so this may be over my head. I'm not sure what a real amplitude is, since generally when I hear "complex number", my head thinks "compact way to represent a frequency, amplitude and phase", all of which are real. It seems like I was reeled in with familiar-sounding terminology that may in fact have a deeper meaning in this context.
The same is not true for QM: the wave part / the complex numbers are fundamental.
Also note, when people say "complex numbers" they refer to the algebraic field, which is the object composed of [a pair of reals, complex addition, complex multiplication]. In particular, complex multiplication is the key here, since it is what differentiates complex numbers from 2-vectors. To drive this point further, while 1-vectors, 2-vectors, 3-vectors, 4-vectors etc behave very similarly, only the reals and the complex numbers can form a field - there are no "numbers" in the same sense formed of 3-tuples or 4-tuples or other n>2-tuples of reals*.
This is why the discussion focuses on the complex numbers (meaning, again, not just a pair of reals, but also the particular +,-,*,/ operations for them that make them a field).
* to be fair, quaternions come pretty close - you can define a 4-tuple of reals + addition + multiplication that is almost a field, except that multiplication is anti-commutative instead of being commutative (p*q = -q*p).
edit: I'm still a bit unclear on what it means to form a field. Texts around this topic seem pretty dense and encyclopedic. Is there a straightforward explanation of what an algebraic field is?