1: \begin{abstract}

2:   In \cite{Wea2012}, Weaver introduced the concept of quantum relation $\R$

3:   over a von Neumann algebra $\M$. When $\M$ is either finite dimensional

4:   or discrete and abelian, $\R$ is given by an orthogonal projection in

5:   $\M \weaktensor \M_\op$. Here, we generalize such result to general

6:   von Neumann algebras, proving that quantum relations are in bijective

7:   correspondence with weak-$\ast$ closed left ideals inside

8:   $\M \eHaag \M$, where $\eHaag$ is the extended Haagerup tensor product.

9:   The correspondence between the two is given by identifying

10:   $\M \eHaag \M$ with $\M'$-bimodular operators and proving a double

11:   annihilator relation

12:   

13:   Given an action of a group/quantum group on $\M$ we give a definition for

14:   invariant quantum relations and prove that in the case of group von Neumann

15:   algebras $\L G$, invariant quantum relations are left ideals in the measure

16:   algebra $M G$. At the end we explore possible applications to noncommutative

17:   harmonic analysis, in particular noncommutative Gaussian bounds.

18: \end{abstract}

19: