Given some unitary matrix $U$, we can possibly find many unitary square root matrices $S_i$ so that $S_i^2=U$. Let's assume we have an additional (complex) matrix $T$ so that it commutes with $U$:
$$ [U,T]=0. $$
What can we say about the commutator $[S_i,T]$? Do these matrices necessarily commute? If not, is there some restriction we can place on $U$ so that this holds for all $S_i$?
Note that this is an extension this question, but they are not equivalent, because it only asks for the existence of such a matrix $S_i$.