About entanglement properties of kaons and tests of hidden variables models

In this paper we discuss entanglement properties of neutral kaons systems and their use for testing local realism. In particular we analyze a Hardy-type scheme [19] recently suggested for performing a test of hidden variable theories against standard quantum mechanics. Our result is that this scheme could in principle led to a conclusive test of local realism, but only if higher identification efficiencies than in today experiments will be reached. Since 1935, the celebrated paper of Einstein-Podolsky-Rosen [1] suggested that Quantum Mechanics (QM) could be an incomplete theory, representing a statistical approximation of a complete deterministic theory in which observable values are fixed by some hidden variable. In 1964 Bell [2] discovered that any realistic Local Hidden Variable (LHV) theory must satisfy certain inequalities which can be violated in QM leading to the possibility of an * [email protected].