"One cannot walk to infinity on the real line if one uses steps of bounded length and steps on the prime numbers. This is simply a restatement of the classic result that there are arbitrarily large gaps in the primes."

So begins the paper by
Gethner, Wagon, and Wick,
"A Stroll Through the Gaussian Primes"
(*American Mathematical Monthly*
**105**(4): 327-337 (1998).)
They explain that it is unknown if one can walk to infinity on the Gaussian primes
with steps of bounded length.
Paul Erdős was reported to have conjectured this is possible
("A conjecture of Paul Erdős concerning Gaussian primes."
*Math. Comp* **24**: 221-223 (1970);
PDF).
Later Erdős is reported to have conjectured the opposite:
that no such walk-to-$\infty$ is possible [GWW98, p.327].
This has become known as the *Gaussian moat problem*, apparently still unresolved.

My question is:

Is there an analogous

quaternion moat problem? Is it solved? open? Is it easier or harder than the Gaussian moat problem?

Define a nonzero quaternion $q = a + bi + cj + dk$ as *prime* iff (a) it is a Hurwitz quaternion (all components integer, or all components half-integer)
and (b) its norm $a^2 + b^2 +c^2 + d^2$ is prime.
(Part (b) is a consequence of the inability to factor $q$; see, e.g.,
Theorem 15 in *"A proof of Lagrange's four square theorem using quaternion algebras."
Drew Stokesbary, 2007; PDF, DOI: 10.2139/ssrn.2396123).

Can one "walk-to-$\infty$" on the quaternion primes using steps of bounded length?

Perhaps relevant here is Lagrange's four-square theorem, which states that any natural number can be represented as the sum of four squares.

I ask this question in relative naïveté, and appreciate being enlightened.

lotof 'primes' without the integrality condition. But this is just a crazy stab, and probably nothing. $\endgroup$9more comments