I am a math student who is reading Sakurai's Modern Quantum Mechanics Chapter 4 on the the time reversal operator.
First, Sakurai derived that for a given Hamiltonian $H$ of a system, the time reversal operator $\Theta$ is an anti-unitary operator such that $[H,\Theta] = 0$.
Suppose the existence of $\Theta$. It seems that the condition $[H,\Theta] = 0$ alone is not enough to uniquely determine $\Theta$ (up to a constant with unit length).
For example, let's consider that for a spinless system, $H = -p^2/2m + V$ for a real potential function $V$. If we further require $\Theta p \Theta^{-1} =-p$ and $\Theta x \Theta^{-1} =x$, then we uniquely (up to a constant) determine $\Theta = K$. Here, $K$ is "taking complex conjugate".
My question is that given a Hamiltonian $H$, how to determine its time reversal operator $\Theta$ (if exists)? Should we have to make more (probably natural) assumptions and try to find (probably unique) $\Theta$? Like in the previous example, we further assume $\Theta p \Theta^{-1} =-p$ and $\Theta x \Theta^{-1} =x$.
On the other hand, how should we prove that a Hamiltonian does not have time symmetry? Does it mean we have to show that (under those additional natural assumptions) there does not exist any $\Theta$ such that $[H,\Theta]=0$?
Or, for a spinless system with a Hamiltonian $H$, we "choose" the time reversal operator $\Theta = K$ and then examine whether $[H,\Theta]=0$ holds or not, while for a $1/2$-spin system, we "choose" $\Theta = \sigma_yK$?