Separation properties for positive-definite functions on locally compact quantum groups and for associated von Neumann algebras. (arXiv:2309.10046v1 [math.OA]) http://arxiv.org/abs/2309.10046