Validity and failure of some entropy inequalities for CAR systems

Basic properties of von Neumann entropy such as the triangle inequality and what we call MONO-SSA are studied for CAR systems. We show that both inequalities hold for every even state by using symmetric purification which is applicable to such a state. We construct a certain class of noneven states giving examples of the nonvalidity of those inequalities.