Entanglement of positive definite functions on compact groups (Q2517929)

Entanglement is one of the most important concepts in quantum information theory. In 1996, the separability criteria on finite dimensional matrix algebra was proved by \textit{M. Horodecki, P. Horodecki} and \textit{R. Horodecki} [Phys. Lett., A 223, No. 1-2, 1--8 (1996; Zbl 1037.81501)]. The authors of the present paper prove the analog of Horodecki's result for the infinite dimensional case by applying non-commutative Fourier analysis on a compact group.