Self-testing usually refers to the task of taking a given set of observed correlations that are assumed to arise via a process that is accurately described by quantum theory, and trying to infer the quantum state and measurements. In other words it is concerned with the question of whether we can tell what quantum black-box devices are doing by looking only at their input-output behavior and is known to be possible in several cases. Here we introduce a more general question: is it possible to self-test a theory, and, in particular, quantum theory? More precisely, we ask whether within a particular causal structure there are tasks that can only be performed in theories that have the same correlations as quantum mechanics in any scenario. We present a candidate task for such a correlation self-test and analyze it in a range of generalized probabilistic theories (GPTs), showing that none of these perform better than quantum theory. A generalization of our results showing that all nonquantum GPTs are strictly inferior to quantum mechanics for this task would point to a new way to axiomatize quantum theory, and enable an experimental test that simultaneously rules out such GPTs.
Self-testing usually refers to the task of taking a given set of observed correlations that are assumed to arise via a process that is accurately described by quantum theory, and trying to infer the quantum state and measurements. In other words it is concerned with the question of whether we can tell what quantum black-box devices are doing by looking only at their input-output behavior and is known to be possible in several cases. Here we introduce a more general question: is it possible to self-test a theory, and, in particular, quantum theory? More precisely, we ask whether within a particular causal structure there are tasks that can only be performed in theories that have the same correlations as quantum mechanics in any scenario. We present a candidate task for such a correlation self-test and analyze it in a range of generalized probabilistic theories (GPTs), showing that none of these perform better than quantum theory. A generalization of our results showing that all nonquantum GPTs are strictly inferior to quantum mechanics for this task would point to a new way to axiomatize quantum theory, and enable an experimental test that simultaneously rules out such GPTs.
Correlation self-testing of a theory addresses the question of whether we can identify the set of correlations realizable in a theory from its performance in a particular information processing task. Applied to quantum theory it aims to identify an information processing task whose optimal performance is achieved only by theories realizing the same correlations as quantum theory in any causal structure. In M. Weilenmann and R. Colbeck [Phys. Rev. Lett. 125, 060406 (2020)], we introduce a candidate task for this---the adaptive Clauser-Horne-Shimony-Holt (CHSH) game. Here, we analyze the maximum probability of winning this game in different generalized probabilistic theories. We show that theories with a joint state space given by the minimal or the maximal tensor product are inferior to quantum theory, before considering other tensor products in theories whose elementary systems have various two-dimensional state spaces. For these, we find no theories that outperform quantum theory in the adaptive CHSH game and prove that it is impossible to recover the quantum performance in various cases. This is the first step towards a general solution that, if successful, will have wide-ranging consequences, in particular, enabling an experiment that could rule out all theories in which the set of realizable correlations does not coincide with the quantum set.
Correlation self-testing of quantum theory involves identifying a task or set of tasks whose optimal performance can be achieved only by theories that can realise the same set of correlations as quantum theory in every causal structure. Following this approach, previous work has ruled out various classes of generalised probabilistic theories whose joint state spaces have a certain regularity in the sense of a (discrete) rotation symmetry of the bipartite state spaces. Here we consider theories whose bipartite state spaces lack this regularity. We form them by taking the convex hull of all the local states and a finite number of non-local states. We show that a criterion of compositional consistency is needed in such theories: for a measurement effect to be valid, there must exist at least one measurement that it is part of. This goes beyond previous consistency criteria and corresponds to a strengthening of the no-restriction hypothesis. We show that quantum theory outperforms these theories in a task called the adaptive CHSH game, which shows that they can be ruled out experimentally. We further show a connection between compositional consistency and Tsirelson's bound.
Observed quantum correlations are known to determine in certain cases the underlying quantum state and measurements. This phenomenon is known as (quantum) self-testing .Self-testing constitutes a significant research area with practical and theoretical ramifications for quantum information theory. But since its conception two decades ago by Mayers and Yao, the common way to rigorously formulate self-testing has been in terms of operator-algebraic identities, and this formulation lacks an operational interpretation. In particular, it is unclear how to formulate self-testing in other physical theories, in formulations of quantum theory not referring to operator-algebra, or in scenarios causally different from the standard one.In this paper, we explain how to understand quantum self-testing operationally, in terms of causally structured dilations of the input-output channel encoding the correlations. These dilations model side-information which leaks to an environment according to a specific schedule, and we show how self-testing concerns the relative strength between such scheduled leaks of information. As such, the title of our paper has double meaning: we recast conventional quantum self-testing in terms of information-leaks to an environment – and this realises quantum self-testing as a special case within the surroundings of a general operational framework.Our new approach to quantum self-testing not only supplies an operational understanding apt for various generalisations, but also resolves some unexplained aspects of the existing definition, naturally suggests a distance measure suitable for robust self-testing, and points towards self-testing as a modular concept in a larger, cryptographic perspective.
Self-testing--the attractive possibility to infer the underlying physics of a quantum device in a black-box scenario--has gained increased traction in recent years, with applications to device-independent quantum information processing. Thus far, self-testing has been done under the assumption that the settings for the requisite Bell test are chosen freely and independently of the device tested in the experiment. That is, the random number generator used to generate the settings has been assumed to have no correlations with the device tested. Here, we extend self-testing protocols beyond the independence assumption. Surprisingly, we show that all pure bipartite partially entangled states can be self-tested provided that the random number generator obeys a residual randomness constraint strictly weaker than the independence assumption. This in itself provides a semi-device-independent certification of independence between the randomness source and the device.
By certifying quantum operations from measurement statistics directly, without any assumption on the internal workings of the devices involved, self-testing enables a uniquely reliable identification of quantum objects. While such device-independent characterization has been shown to be possible for states, measurements and channels, it has so far not been extended to quantum supermaps -- operations that act on quantum channels themselves and can combine them in either a well-defined causal order or also, remarkably, in an indefinite causal order. Here we show that quantum supermaps can be identified device-independently. Specifically, we obtain two levels of certification, depending on the network structure of the experiment: when each slot of the supermap accepts a single uncharacterized black box, identification up to local embedding combs is obtained; when several black boxes are inserted within each slot, identification up to local extracting and injecting maps is achieved. We illustrate our approach on four examples -- the identity comb, a bit-flip error-correcting comb, the comb describing Grover's algorithm, and the quantum switch -- providing in particular the first self-test of both a quantum algorithmic comb and a causally indefinite quantum process. Notably, in the latter case, this provides a new way to certify causal indefiniteness in a device-independent manner.
To date, quantum theory is the most successful physical theory that has been discovered. However, there is still the possibility that an inconsistency between experimental observations and the predictions of quantum theory may one day be found, thus prompting the replacement of quantum theory with a superior, post-quantum theory. To narrow down the scope of possibilities for the true theory that describes nature, one can perform experiments that falsify other physical theories, by demonstrating an incompatibility between experimental observations and the predictions of these theories. This thesis details two such experiments. First we provide relevant background information, beginning with a review of experimental quantum optics. Next, we review noncontextual ontological theories and discuss requirements for experimental tests of such theories. Finally, we discuss the framework of generalised probabilistic theories before introducing the two experiments. \n \n \nThe first experiment is a test of noncontextual ontological (or hidden-variable) models of nature. An ontological model of a physical theory is one in which systems have preexisting properties, and a noncontextual ontological model is one in which systems that are indistinguishable experimentally are represented identically in the model. Physical theories that cannot be represented by a noncontextual ontological model are said to be nonclassical; quantum theory is an example of such a physical theory that is nonclassical in this sense. Prior to this thesis, experimental tests of the assumption of noncontextuality had assumed that the experiments were free of both systematic and statistical errors, which is not justifiable for any experiment. We introduce new analytical techniques that allow us to avoid making these assumptions, and perform an experiment with single photons that, with high confidence, rules out the possibility of describing nature with a noncontextual ontological model. \n \n \nThe second experiment is a demonstration of self-consistent state and measurement tomography in the framework of generalised probabilistic theories (GPTs). The GPT framework is a very general, operationally-motivated framework for describing a physical theory in terms of the observable events predicted by the theory. We develop a technique for inferring the GPT description of a set of states and measurements directly from experimental data. By analysing our data in this general framework, we are able to test various candidate physical theories of nature. We perform an experiment with single photons, and quantify the size of possible variations between quantum theory and the true physical theory that describes nature.