We explore the challenges posed by the violation of Bell-like inequalities by d -dimensional systems exposed to imperfect state-preparation and measurement settings. We address, in particular, the limit of high-dimensional systems, naturally arising when exploring the quantum-to-classical transition. We show that, although suitable Bell inequalities can be violated, in principle, for any dimension of given subsystems, it is in practice increasingly challenging to detect such violations, even if the system is prepared in a maximally entangled state. We characterize the effects of random perturbations on the state or on the measurement settings, also quantifying the efforts needed to certify the possible violations in case of complete ignorance on the system state at hand.
We explore the challenges posed by the violation of Bell-like inequalities by d -dimensional systems exposed to imperfect state-preparation and measurement settings. We address, in particular, the limit of high-dimensional systems, naturally arising when exploring the quantum-to-classical transition. We show that, although suitable Bell inequalities can be violated, in principle, for any dimension of given subsystems, it is in practice increasingly challenging to detect such violations, even if the system is prepared in a maximally entangled state. We characterize the effects of random perturbations on the state or on the measurement settings, also quantifying the efforts needed to certify the possible violations in case of complete ignorance on the system state at hand.
We have determined the maximum quantum violation of 241 tight bipartite Bell inequalities with up to five two-outcome measurement settings per party by constructing the appropriate measurement operators in up to six-dimensional complex and eight-dimensional real-component Hilbert spaces using numerical optimization. Out of these inequalities 129 have been introduced here. In 43 cases higher-dimensional component spaces gave larger violation than qubits, and in three occasions the maximum was achieved with six-dimensional spaces. We have also calculated upper bounds on these Bell inequalities using a method proposed recently. For all but 20 inequalities the best solution found matched the upper bound. Surprisingly, the simplest inequality of the set examined, with only three measurement settings per party, was not among them, despite the high dimensionality of the Hilbert space considered. We also computed detection threshold efficiencies for the maximally entangled qubit pair. These could be lowered in several instances if degenerate measurements were also allowed.
Abstract Bell inequalities have long been essential for the device-independent detection of entanglement. This study introduces subcorrelation Bell inequalities as a robust framework for detecting entanglement and probing quantum non-locality. We derived a family of such inequalities, categorized according to their dependence on measurement settings, and numerically identified 19 distinct quantum states that achieve the maximal violation of these inequalities. Importantly, our focus on maximal violation is not for its own sake but because, in this framework, maximal violation directly corresponds to maximal robustness of nonlocal correlations against particle loss. This connection reveals a broad class of multipartite entangled states that remain resilient under loss, making them highly relevant for practical implementations of quantum information protocols. We further characterized their entanglement properties using concurrence and the geometric measure, confirming their utility for critical areas such as quantum communication, cryptography, and device-independent protocols. The framework established herein sets the stage for future investigations, including the generalization of these inequalities to higher-dimensional systems and a more comprehensive characterization of their robustness against various forms of noise, thereby expanding the potential for non-local states to drive progress in quantum technologies.
We have determined numerically the maximum quantum violation of over 100 tight bipartite Bell inequalities with two-outcome measurements by each party on systems of up to four-dimensional Hilbert spaces. We have found several cases, including the ones where each party has only four measurement choices, where two-dimensional systems, i.e., qubits, are not sufficient to achieve maximum violation. In a significant proportion of those cases when qubits are sufficient, one or both parties have to make trivial, degenerate ``measurements'' in order to achieve maximum violation. The quantum state corresponding to the maximum violation in most cases is not the maximally entangled one. We also obtain the result that bipartite quantum correlations can always be reproduced by measurements and states which require only real numbers if there is no restriction on the size of the local Hilbert spaces. Therefore in order to achieve maximum quantum violation on any bipartite Bell inequality (with any number of settings and outcomes), there is no need to consider complex Hilbert spaces.
The characterization of a quantum system can be complicated by non-ideal measurement processes. In many systems, the underlying physical measurement is only sensitive to a single fixed state, complementary outcomes are inferred by non-detection leaving them vulnerable to out-of-Hilbert space errors such as particle loss. It is still possible to directly verify the violation of a Bell inequality, hence witness entanglement of a bipartite state, in the presence of large vacancy rates using such an incomplete measurement by optimizing the measurement settings. The scheme is robust against imperfect a priori state knowledge and also moderate amounts of error in state determination.
In this work we look for novel classes of Bell's inequalities and methods to produce them. We also find their quantum violations including, if possible, the maximum one. The Jordan bases method that we explain in Chapter 2 is about using a pair of certain type of orthonormal bases whose spans are subspaces related to measurement outcomes of incompatible quantities on the same physical system. Jordan vectors are the briefest way of expressing the relative orientation of any two subspaces. This feature helps us to reduce the dimensionality of the parameter space on which we do searches for optimization. The work is published in [24]. In Chapter 3, we attempt to find a connection between group theory and Bell's theorem. We devise a way of generating terms of a Bell's inequality that are related to elements of an algebraic group. The same group generates both the terms of the Bell's inequality and the observables that are used to calculate the quantum value of the Bell expression. Our results are published in [25][26]. In brief, Bell's theorem is the main tool of a research program that was started by Einstein, Podolsky, Rosen [19] and Bohr [8] in the early days of quantum mechanics in their discussions about the core nature of physical systems. These debates were about a novel type of physical states called superposition states, which are introduced by quantum mechanics and manifested in the apparent inevitable randomness in measurement outcomes of identically prepared systems. Bell's huge contribution was to find a means of quantifying the problem and hence of opening the way to experimental verification by rephrasing the questions as limits on certain combinations of correlations between measurement results of spatially separate systems [7]. Thanks to Bell, the fundamental questions related to the nature of quantum mechanical systems became quantifiable [6]. According to Bell's theorem, some correlations between quantum entangled systems that involve incompatible quantities are not allowed by classical mechanics, a feature that is called as "quantum nonlocality". An experimental observation of those correlations, in other words, a violation of the limits imposed by classical physics, implies the correctness of quantum description and invalidates the classical, local realistic models. The first Bell experiments were proposed by Clauser, Horne, Shimony, and Holt, who invented the most famous Bell's inequality [13]. Later, the Aspect experiments were satisfactory enough for the physics community to be conclusive about the validation of quantum mechanics [1][3][4][2]. Ekert's work on applications of quantum nonlocality to communication resulted in the new field of quantum communication and cryptography, and turned the research program into a practical one [20]. Pitowsky showed a method to find all expressions of limitations due to local realism, all Bell's inequalities, for a given physical scenario. He also proved that the problem is, unfortunately, NP-complete and hence as the scenarios get more complex, they also become computationally intractable [33][34]. Therefore, different methods for the solution of special cases of the problem are necessary. Inequalities found for those special cases can be called classes of Bell's inequalities. For example, Werner and Wolf [41] and Collins, Gisin, Linden, Massar, and Popescu [16] found classes that cover a wide range of scenarios. Our work is a similar kind of effort to produce and study new types of Bell's inequalities.
In quantum information, asymmetry, i.e., the lack of symmetry, is a resource allowing one to accomplish certain tasks that are otherwise impossible. Similarly, in a Bell test using any given Bell inequality, the maximum violation achievable using quantum strategies respecting or disregarding a certain symmetry can be different. In this work, we focus on the symmetry involved in the exchange of parties and explore when we have to trade this symmetry for a lower-dimensional quantum strategy in achieving the maximal violation of given Bell inequalities. For the family of symmetric Collins-Gisin-Linden-Massar-Popescu inequalities, we provide evidence showing that there is no such trade-off. However, for several other Bell inequalities with a small number of dichotomic measurement settings, we show that symmetric quantum strategies in the minimal Hilbert space dimension can only lead to a suboptimal Bell violation. In other words, there exist symmetric Bell inequalities that can only be maximally violated by asymmetric quantum strategies of minimal dimension. In contrast, one can also find examples of asymmetric Bell inequalities that are maximally violated by symmetric correlations. The implications of these findings on the geometry of the set of quantum correlations and the possibility of performing self-testing therefrom are briefly discussed.