Greenberger-Horne-Zeilinger argument of nonlocality without inequalities for mixed states

We generalize the Greenberger-Horne-Zeilinger nonlocality without inequalities argument to cover the case of arbitrary mixed statistical operators associated to three-qubits quantum systems. More precisely, we determine the radius of a ball (in the trace distance topology) surrounding the pure GHZ state and containing arbitrary mixed statistical operators which cannot be described by any local and realistic hidden variable model and which are, as a consequence, noncompletely separable. As a practical application, we focus on certain one-parameter classes of mixed states which are commonly considered in the experimental realization of the original GHZ argument and which result from imperfect preparations of the pure GHZ state. In these cases we determine for which values of the parameter controlling the noise a nonlocality argument can still be exhibited, despite the mixedness of the considered states. Moreover, the effect of the imperfect nature of measurement processes is discussed.