A Necessary and Sufficient Condition for Quantum Realizability of Correlations for Arbitrary Normalized Observables in the Clauser--Horne--Shimony--Holt Setup
We establish a necessary and sufficient condition for the existence of a quantum state that reproduces given correlation values in the Clauser--Horne--Shimony--Holt (CHSH) setup for any fixed normalized observables. This result addresses a fundamental question shared by both local realism and quantum mechanics: under what conditions a given set of observed data can be reproduced by a physical model. While previous studies have mainly addressed conditions for correlations achievable without specifying the measurement settings, our result gives a finer characterization by treating the observables as fixed in advance. The resulting quantum condition strengthens previously known constraints, such as Tsirel'son's inequalities and the Tsirel'son--Landau inequality, by characterizing statistical constraints explicitly for each specified set of observables. In particular, we show that our condition applies to Bell's original scenario and reveals that whether Bell's original inequality is violated depends sensitively on the chosen observables. More broadly, this perspective offers new insights into how quantum violations of local realism depend on the measurement settings.
We establish a necessary and sufficient condition for the existence of a quantum state that reproduces given correlation values in the Clauser--Horne--Shimony--Holt (CHSH) setup for any fixed normalized observables. This result addresses a fundamental question shared by both local realism and quantum mechanics: under what conditions a given set of observed data can be reproduced by a physical model. While previous studies have mainly addressed conditions for correlations achievable without specifying the measurement settings, our result gives a finer characterization by treating the observables as fixed in advance. The resulting quantum condition strengthens previously known constraints, such as Tsirel'son's inequalities and the Tsirel'son--Landau inequality, by characterizing statistical constraints explicitly for each specified set of observables. In particular, we show that our condition applies to Bell's original scenario and reveals that whether Bell's original inequality is violated depends sensitively on the chosen observables. More broadly, this perspective offers new insights into how quantum violations of local realism depend on the measurement settings.
We establish a necessary and sufficient condition for the existence of a quantum state that reproduces given correlation values in the Clauser--Horne--Shimony--Holt setup for any fixed normalized observables. This result addresses a fundamental question shared by both local realism and quantum mechanics: under what conditions a given set of observed data can be reproduced by a physical model. While previous studies have mainly addressed conditions for correlations achievable without specifying the measurement settings, our result gives a finer characterization by treating the observables as fixed in advance. The resulting quantum condition strengthens previously known constraints, such as Tsirel'son's inequalities and the Tsirel'son--Landau inequality, by characterizing statistical constraints explicitly for each specified set of observables. In particular, we show that our condition applies to Bell's original scenario and reveals that whether Bell's original inequality is violated depends sensitively on the chosen observables. More broadly, this perspective offers new insights into how quantum violations of local realism depend on the measurement settings.
This dissertation investigates statistical constraints on measurement outcomes in quantum mechanics, addressing two fundamental features that distinguish quantum theory from classical physics: non-reality and uncertainty.We examine these features through two perspectives: observable-dependent statistical constraints on quantum correlations and estimationbased measurement uncertainty in infinite-dimensional quantum systems.In the first part, we study realizability problems in both local realism and quantum theory, focusing on observable-dependent constraints.While previous studies have mainly characterized quantum correlations independently of observables, we derive a necessary and sufficient condition for quantum realizability of correlations in the Clauser-Horne-Shimony-Holt (CHSH) scenario when observables are fixed in advance.Our main result provides an explicit inequality that imposes stronger constraints than previously known observable-independent bounds.We demonstrate that the maximum CHSH inequality violation depends on observable choice and apply our results to Bell's original scenario, revealing that whether Bell's original inequality is violated depends sensitively on observable selection.These findings demonstrate that non-reality does not manifest equally in all measurement configurations.In the second part, we extend the estimation-based formulation of measurement uncertainty by Watanabe, Sagawa, and Ueda to infinite-dimensional quantum systems.The original formulation provided clear physical interpretation but excluded fundamental observables such as position and momentum.Using pseudo-inverse forms of positive-semidefinite sesquilinear forms, we develop classical and quantum estimation theory for statistical models whose parameter space is the set of full-rank quantum states on infinite-dimensional Hilbert spaces.We derive classical and quantum Cramér-Rao inequalities and define estimationbased measurement errors for both bounded and unbounded operators.For each error type, we establish error-error uncertainty relation inequalities stronger than the original Watanabe-Sagawa-Ueda bound due to an improved derivation utilizing the full Cauchy-Schwarz inequality.Our work provides a universal definition of measurement errors with a clear physical interpretation while maintaining mathematical rigor.Our results contribute to quantum foundations by deepening the understanding of how measurement outcome constraints arise from quantum structure and observable properties.The methodological tools introduced-including characteristic functions, quasi-joint probability distributions, symmetry-based reduction techniques, and pseudo-inverse forms-may prove useful for future investigations in quantum foundations and quantum information theory.
Quantum theory predicts violations of Bell’s inequality. This implies a contradiction with at least one of three statistical conditions, known as “Realism” (joint distribution of relevant observables), “Locality” (conditional separability of pairwise observations, given a set of hidden variables), and “Free Will” (statistical independence between hidden variables and measurement settings). Here we describe a classical system with “clockwork” properties that is unquestionably local. It produces maximal violations of the Clauser-Horne-Shimony-Holt (CHSH) inequality. It contradicts every one of the three listed formal conditions. Nonetheless, it expresses the qualitative markers of ontological Realism, ontological Locality, and ontological Free Will, all at the same time. In other words, the three listed conditions do not correspond to the three ontological concepts with the same names. Therefore, there is no conflict between quantum theory and Local Realism.
Abstract The Horodecki criterion provides a necessary and sufficient condition for a two-qubit state to be able to manifest Bell nonlocality via violation of the Clauser–Horne–Shimony–Holt (CHSH) inequality. It requires, however, the assumption that suitable projective measurements can be made on each qubit, and is not sufficient for scenarios in which noisy or weak measurements are either desirable or unavoidable. By characterising two-valued qubit observables in terms of strength, bias, and directional parameters, we address such scenarios by providing necessary and sufficient conditions for arbitrary qubit measurements having fixed strengths and relative angles for each observer. In particular, we find the achievable maximal values of the CHSH parameter for unbiased measurements on arbitrary states, and, alternatively, for arbitrary measurements on states with maximally-mixed marginals, and determine the optimal angles in some cases. We also show that for certain ranges of measurement strengths it is only possible to violate the CHSH inequality via biased measurements. Finally, we use the CHSH inequality to obtain a simple necessary condition for the compatibility of two qubit observables.
The Horodecki criterion provides a necessary and sufficient condition for a two-qubit state to be able to manifest Bell nonlocality via violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality. It requires, however, the assumption that suitable projective measurements can be made on each qubit, and is not sufficient for scenarios in which noisy or weak measurements are either desirable or unavoidable. By characterising general two-valued qubit observables in terms of strength, bias, and directional parameters, we address such scenarios by providing generalised necessary and sufficient conditions for noisy qubit measurements having fixed strengths and relative angles for each observer. In particular, we find the achievable maximal values of the CHSH parameter for unbiased measurements on arbitrary states, and, alternatively, for arbitrary measurements on states with maximally-mixed marginals, and determine the optimal angles in some cases. We also give a strong upper bound for the CHSH parameter in the general case, and show that for certain ranges of measurement strengths it is only possible to violate the CHSH inequality via biased measurements.
High-dimensional quantum entanglement and the advancements in their experimental realization provide a playground for fundamental research and eventually lead to quantum technological developments. The Horodecki criterion determines whether a state violates the Clauser-Horne-Shimony-Holt (CHSH) inequality for a two-qubit entangled state, solely from the state parameters. However, it remains a challenging task to formulate similar necessary and sufficient criteria for a high-dimensional entangled state for the violation of a suitable Bell inequality. Here we develop a Horodecki-like criterion based on the state parameters of arbitrary two-qudit states to violate a two-outcome Bell inequality involving ${2}^{n\ensuremath{-}1}$ and n measurement settings for Alice and Bob, respectively. This inequality reduces to the well-known CHSH and Gisin elegant Bell inequalities for n=2 and 3, respectively. While the proposed criterion is sufficient to violate the Bell inequality, it becomes necessary as well for the following cases: (i) m copies of Bell-diagonal states for arbitrary n, (ii) nondecomposable states whose correlation matrix is diagonalized by local unitaries, and (iii) for any arbitrary two-qubit state when n=3, where the maximal value of the Bell functional is achieved with Bob's measurements being pairwise anticommuting. For any states, we derive the constraints on Alice's measurements in achieving the maximum quantum violation for this inequality.