Lets say $\rho,\sigma$ satisfy $F(\rho,\sigma)=0$, i.e., they are quantum states living on orthogonal supports. What can we say about $F(\text{Tr}_A(\rho),\text{Tr}_B(\sigma))$?
I am looking for upper bounds here, so we clearly know that $$F(\text{Tr}_A(\rho),\text{Tr}_B(\sigma))\geq F(\rho,\sigma)=0$$ but this is trivial. Can we prove any upper bound? I don't mind if we also assume $\rho,\sigma$ are pure states, in which case can we give a non-trivial upper bound?
One example I tried was orthogonal EPR pairs which satisfied RHS=0 and LHS (i.e., after taking partial trace)=$\frac{1}{2}$. But is this the maximum one can achieve for orthogonal quantum states?