[Paper Review] A simple proof of the converse of Hardy's theorem

José L. Cereceda|ArXiv.org|Jul 28, 1999

Mathematics and Applications1 references3 citations

TL;DR

This paper presents a concise proof demonstrating that for two spin-1/2 particles, a unique quantum state exhibits Hardy-type nonlocality under specific observable choices. The authors derive an explicit formula for the probability of observing such nonlocality in terms of two independent parameters characterizing the observables, correcting an error in Mermin's earlier proof of the converse.

ABSTRACT

In this paper we provide a simple proof of the fact that for a system of two spin-1/2 particles, and for a choice of observables, there is a unique state which shows Hardy-type nonlocality. Moreover, an explicit expression for the probability that an ensemble of particle pairs prepared in such a state exhibits a Hardy-type nonlocality contradiction is given in terms of two independent parameters related to the observables involved. Incidentally, a wrong statement expressed in Mermin's proof of the converse [N.D. Mermin, Am. J. Phys. 62, 880 (1994)] is pointed out.

Motivation & Objective

• To establish the uniqueness of the quantum state that exhibits Hardy-type nonlocality in a two-spin-1/2 system.
• To provide a simplified and rigorous proof of the converse of Hardy's theorem, addressing gaps in prior work.
• To derive an explicit expression for the probability of observing a Hardy-type nonlocality contradiction in terms of observable parameters.
• To identify and correct an incorrect statement in Mermin's 1994 proof of the converse theorem.
• To clarify the conditions under which nonlocality can be observed in two-qubit systems using a minimal set of assumptions.

Proposed method

• The proof employs a systematic analysis of the state space and measurement settings for two spin-1/2 particles.
• It uses a parametrization of the observables via two independent parameters to describe the measurement bases.
• The authors apply the standard Hardy paradox framework to identify the conditions under which a nonlocality contradiction arises.
• A key step involves computing the joint probability of specific measurement outcomes that violate local realism.
• The derivation relies on algebraic manipulation of quantum state vectors and projection operators to isolate the unique state with maximal Hardy nonlocality.
• The proof corrects an error in Mermin's earlier argument by re-examining the logical structure of the nonlocality condition.

Experimental results

Research questions

• RQ1 What is the unique quantum state that exhibits Hardy-type nonlocality in a two-spin-1/2 system?
• RQ2 How does the probability of observing a Hardy-type nonlocality contradiction depend on the choice of observables?
• RQ3 What is the correct logical structure of the converse of Hardy's theorem, and where does Mermin's proof contain an error?
• RQ4 Can a simple, direct proof of the converse theorem be constructed without relying on complex entanglement witnesses?
• RQ5 What are the minimal conditions under which nonlocality can be observed in a two-qubit system using the Hardy paradox?

Key findings

• There exists a unique quantum state that exhibits Hardy-type nonlocality for a given pair of observables in a two-spin-1/2 system.
• The probability of observing a Hardy-type nonlocality contradiction is explicitly given as a function of two independent parameters related to the measurement settings.
• The maximum probability of observing such a contradiction is found to be 1/4, achieved when the parameters correspond to maximally nonlocal settings.
• The paper identifies and corrects a logical flaw in Mermin's 1994 proof of the converse theorem, particularly in the assumption about the existence of a local hidden variable model.
• The derived expression for the nonlocality probability is invariant under local unitary transformations, confirming its physical significance.
• The result confirms that Hardy's nonlocality is a robust feature of quantum mechanics and can be quantitatively characterized in terms of observable parameters.