Fast and Provably Accurate Sequential Designs using Hilbert Space Gaussian Processes — arXiv2