Quantum theory shows a striking nonclassical feature of contextuality, which is also a crucial resource for quantum information processing. In this paper, we study the dependence of violating noncontextuality inequalities against the dimension of quantum systems. To this end, we consider the restrictions imposed on relations among measurements by limitation of dimensions. Based on the graph-theoretic approach to quantum contextuality, we construct noncontextuality inequalities using multiple mutually orthogonal projectors which are unique to high-dimensional quantum systems. We report two typical classes of dimension-dependent noncontextuality inequalities for one of which a violation implies the dimension of the quantum system is higher than a threshold, and for the other, different amounts of violations correspond to different thresholds of dimension. Our paper is expected to inspire more dimension-dependent noncontextuality inequalities.
Contextuality is an intriguing feature of quantum theory that excludes any noncontextual hidden variable theory of our nature. It is therefore a natural and important pursuit to detect as larger contextuality as possible. In the scenario to reveal contextuality through violation of noncontextuality inequality, the pursuit is to construct such inequality with large violations. In this paper, we present a simple method to extend arbitrary state-(in)dependent noncontextuality inequalities into ones with larger violations. By recursively applying the method, one can obtain noncontextuality inequalities with an arbitrary large violation. Moreover, the method also constructs quantum measurements and states to violate the new inequality.
Contextuality is a distinctive feature of quantum theory and a fundamental resource for quantum computation. However, existing examples of contextuality in high-dimensional systems lack the necessary robustness required in experiments. Here, we address this problem by identifying a family of noncontextuality inequalities whose maximum quantum violation grows with the dimension of the system. At first glance, this contextuality is the single-system version of multipartite Bell nonlocality taken to an extreme form. What is interesting is that the single-system version achieves the same degree of contextuality but uses a Hilbert space of lower dimension. That is, contextuality "concentrates" as the degree of contextuality per dimension increases. We show the practicality of this result by presenting an experimental test of contextuality in a seven-dimensional system. By simulating sequences of quantum ideal measurements with destructive measurements and repreparation in an all-optical setup, we report a violation of 68.7 standard deviations of the simplest case of the noncontextuality inequalities identified. Our results advance the investigation of high-dimensional contextuality, its connection to the Clifford algebra, and its role in quantum computation.
In this thesis, we explore the intersection of two fundamental subfields of quantum information theory: quantum coherence and contextuality. Despite their apparent differences, both areas address key issues relevant to the foundations and applications of quantum theory. By developing a novel graph-theoretic approach, extending a framework recently introduced by Galvão and Brod (Phys. Rev. A 101, 062110, 2020), we establish a formal connection between inequality-based witnesses of quantum coherence and noncontextuality inequalities. Our key contributions include: the development of a graph-theoretic framework for generating coherence and contextuality witnesses; a formal mapping between the inequalities that follows from the work by Galvão and Brod to existing noncontextuality inequalities; the conceptualization of a relational form of quantum coherence; a proof of contextual advantage for the task of quantum interrogation; and the discovery of an infinite family of coherence witnesses that also require quantum states in Hilbert spaces of specific dimensions.
The view that non-classical phenomena are witnessed when noncontextuality inequalities are violated by quantum correlations has become widespread over the last decades, and many authors describe contextuality as a counter-intuitive and non-classical feature of quantum systems. In this paper we show that a classical input/output device generating contextual data (i.e., data violating noncontextuality inequalities) can easily be found if the following conditions are satisfied: (1) We only have access to a specific collection of epistemic measurements, namely measurements which do not necessarily reveal properties possessed by the system to the agent, and (2) not all these measurements can be jointly performed. The conclusion we draw from this example is twofold. Firstly, regarding model-independent contextuality, it suggests that, unlike Bell inequalities (whose violation allegedly implies non-locality), noncontextuality inequalities have no phenomenological significance per se: we cannot treat experiments as black-boxes and draw conclusions about the phenomenological status of their underlying structure based only on contextuality analysis of the data they generate. Secondly, regarding quantum theory, it indicates that one who accepts, as many interpretations suggest, that quantum theory satisfies both these conditions should not take for granted that quantum contextuality is a signature of non-classicality.
Finding a set of empirical criteria fulfilled by any theory satisfying the generalized notion of noncontextuality is a challenging task of both operational and foundational importance. This work presents a methodology for constructing the noncontextual polytope while ensuring that the dimension of the polytope associated with the preparations remains constant regardless of the number of measurements and their outcome size. The facet inequalities of the noncontextual polytope can thus be obtained in a computationally efficient manner. We illustrate the efficacy of our methodology through several distinct contextuality scenarios. Our investigation uncovers several hitherto unexplored noncontextuality inequalities and demonstrates applications of quantum contextual correlations in certification of non-projective measurements, witnessing the dimension of quantum systems, and randomness certification.
The quantum ontological feature of contextuality apart from being central to foundations of quantum theory forms the basis of quantum advantage in a multitude of information processing tasks. In particular, the contextuality of preparation procedures was shown to power a particular two-party information processing task “parity oblivious multiplexing” (Spekkens et al. Phys Rev Lett 102:010401 (2009). Specifically, it was shown that there exists a limit to how well any preparation noncontextual theory can perform in this task. This limit constitutes a noncontextuality inequality. Moreover, the authors demonstrated quantum violation of this inequality along with preparation contextuality associated with the ontic description underlying two-level completely mixed quantum state. In this work, we extend these arguments to apply to arbitrary dimensions by introducing a class of two-party information processing tasks, namely d-level parity oblivious random access codes. We analytically obtain classical (or equivalently preparation noncontextual) bounds on the success probability for these tasks for arbitrary d. For each value of d, this bound constitutes a unique noncontextuality inequality. Remarkably, these bounds are independent of the amount of communication. Furthermore, we find a classical protocol utilizing a
dc=d -dimensional classical message which saturates this bound. In order to establish nontriviality of these inequalities, we provide evidence of significant quantum violations. Specifically, by numerical techniques, we show that for
d=3,…,10 , the noncontextuality bound is violated by quantum theory. (1) We provide explicit quantum protocols which violate the associated noncontextuality inequality for
d=3,4,5 employing
dq=d -leveled quantum systems. (2) Using see-saw semi-definite programming (SDP) technique, we find evidence (lower bounds) of significant quantum violation of these inequalities for
d=3,…,10 . (3) With the help of state-of-the-art (NPA-hierarchy like) SDP technique, we provide upper bounds (independent of the dimension of the involved quantum systems) on quantum violation for
d=3,…,10 . The introduced class of information tasks, thus, provides for operational depiction of preparation contextuality of the ontic description underlying mixed higher dimensional quantum systems.