A Heisenberg uniqueness pair (HUP) is a pair (Γ,Λ), where Γ is a curve in the plane and Λ is a set in the plane, with the following property: any finite Borel measure μ in the plane supported on Γ, which is absolutely continuous with respect to arc length, and whose Fourier transform μˆ vanishes on Λ, must automatically be the zero measure. We prove that when Γ is the hyperbola x1x2=1 %, and Λ is the lattice-cross
where α,β are positive reals, then (Γ,Λ) is an HUP if and only if αβ≤1; in this situation, the Fourier transform μˆ of the measure solves the one-dimensional Klein-Gordon equation. Phrased differently, we show that
span a weak-star dense subspace in L∞(ℝ) if and only if αβ≤1. In order to prove this theorem, some elements of linear fractional theory and ergodic theory are needed, such as the Birkhoff Ergodic Theorem. An idea parallel to the one exploited by Makarov and Poltoratski (in the context of model subspaces) is also needed. As a consequence, we solve a problem on the density of algebras generated by two inner functions raised by Matheson and Stessin.