  It is easy to verify the equivalence of the quantum Markov property and the
strong additivity of entropy for graded quantum systems as well. However, the
structure of Markov states for graded systems is different from that for tensor
product systems. For three-composed graded systems there are U(1)-gauge
invariant Markov states whose restriction to the pair of marginal subsystems is
non-separable.
