A state-dependent noncontextuality inequality in algebraic quantum theory

The noncontextuality condition states that a value of any observable is independent of which other compatible observable is measured jointly with it. Klyachko, Can, Binicioğlu, and Shumovsky have introduced an inequality which holds if there is a noncontextual hidden variable theory. It is called KCBS inequality, which is state-dependent. Its violation shows a contradiction between predictions of quantum theory and noncontextual hidden variable theories. In the present paper, it is shown that there is a state which does not violate KCBS inequality in the case of quantum mechanics of finite degrees of freedom, and that any normal state violates it in the case of algebraic quantum field theory. It is a difference between quantum mechanics of finite degrees of freedom and algebraic quantum field theory from a point of view of KCBS inequality.