  First, we recount a history of how certain methods using natural self-adjoint
operators have, thus far, failed to prove the Riemann Hypothesis. In Section 2,
we set the analytical context necessary to have genuine proofs in later
sections, rather than attractive heuristics. In Section 3, we recall the
utility of designed pseudo-Laplacians by reproving meromorphic continuation of
certain Eisenstein series and proving a spacing result for zeros of
$\zeta_k(s)$ for $k$ a complex quadratic field with negative determinant. In
Section 4, we construct an automorphic Hamiltonian which has purely discrete
spectrum on $L^2(SL_r(\mathbb{Z})\backslash SL_r (\mathbb{R})/SO(r,
\mathbb{R}))$, identify its ground state, and show how it can characterize a
nuclear Fr\'echet automorphic Schwartz space.
