Recent content by maomao

I considered an operator ##X \in \mathcal{L}(\mathcal{X} \otimes \mathcal{K})##, that is positive, ##X \geq 0##. And I defined it as it follows: ##X = \sum_{i,j} a_{ij} ∣x_i \rangle \langle x_i ∣ \otimes ∣k_j \rangle \langle k_j∣ ## Where ##x_i## are basis for ##\mathcal{X}## and ##k_j## basis...

Hi! My friends call me Mao and I am a new member here! Very pleased to know that a platform like this exists