On Functions of Negative Type on the Olshanski Spherical Pair (SL(∞), SU(∞)) | Synapse