Search

Quantum steering is a central resource for one-sided device-independent quantum information. It is manipulated via one-way local operations and classical communication, such as local filtering on the trusted party. Here, we provide a necessary and sufficient condition for a steering assemblage to be transformable into another via local filtering. We characterize the equivalence classes with respect to filters in terms of the steering equivalent observables (SEO), first proposed to connect the problem of steerability and measurement incompatibility. We provide an efficient method to compute the extractable steerability that is maximal via local filters and show that it coincides with the incompatibility of the SEO. Moreover, we show that there always exists a bipartite state that provides an assemblage with steerability equal to the incompatibility of the measurements on the untrusted party. Finally, we investigate the optimal success probability and rates for transformation protocols (distillation and dilution) in the single-shot scenario together with examples. The study of quantum steering has both foundational and practical interest. Here, the authors show that transformability of a steerable resource into another via local filtering at the trusted party is determined by whether they have the same steering equivalent observables (SEO). [ABSTRACT FROM AUTHOR]

In the context of epidemiology, policies for disease control are often devised through a mixture of intuition and brute-force, whereby the set of logically conceivable policies is narrowed down to a small family described by a few parameters, following which linearization or grid search is used to identify the optimal policy within the set. This scheme runs the risk of leaving out more complex (and perhaps counter-intuitive) policies for disease control that could tackle the disease more efficiently. In this article, we use techniques from convex optimization theory and machine learning to conduct optimizations over disease policies described by hundreds of parameters. In contrast to past approaches for policy optimization based on control theory, our framework can deal with arbitrary uncertainties on the initial conditions and model parameters controlling the spread of the disease, and stochastic models. In addition, our methods allow for optimization over policies which remain constant over weekly periods, specified by either continuous or discrete (e.g.: lockdown on/off) government measures. We illustrate our approach by minimizing the total time required to eradicate COVID-19 within the Susceptible-Exposed-Infected-Recovered (SEIR) model proposed by Kissler et al. (March, 2020). [ABSTRACT FROM AUTHOR]

The correlations arising from sequential measurements on a single quantum system form a polytope. This is defined by the arrow-of-time (AoT) constraints, meaning that future choices of measurement settings cannot influence past outcomes. We discuss the resources needed to simulate the extreme points of the AoT polytope, where resources are quantified in terms of the minimal dimension, or 'internal memory' of the physical system. First, we analyze the equivalence classes of the extreme points under symmetries. Second, we characterize the minimal dimension necessary to obtain a given extreme point of the AoT polytope, including a lower scaling bound in the asymptotic limit of long sequences. Finally, we present a general method to derive dimension-sensitive temporal inequalities for longer sequences, based on inequalities for shorter ones, and investigate their robustness to imperfections. [ABSTRACT FROM AUTHOR]

The Kochen-Specker theorem, and the associated notion of quantum contextuality, can be considered as the starting point for the development of a notion of non-classical correlations for single systems. The subsequent debate around the possibility of an experimental test of Kochen-Speckertype contradiction stimulated the development of different theoretical frameworks to interpret experimental results. Starting from the approach based on sequential measurements, we will discuss a generalization of the notion of non-classical temporal correlations that goes beyond the contextuality approach and related ones based on Leggett and Garg's notion of macrorealism, and it is based on the notion of memory cost of generating correlations. Finally, we will review recent results on the memory cost for generating temporal correlations in classical and quantum systems. The present work is based on the talk given at the PurdueWiner Memorial Lectures 2018: probability and contextuality. [ABSTRACT FROM AUTHOR]

We propose a funding scheme for theoretical research that does not rely on project proposals, but on recent past scientific productivity. Given a quantitative figure of merit on the latter and the total research budget, we introduce a number of policies to decide the allocation of funds in each grant call. Under some assumptions on scientific productivity, some of such policies are shown to converge, in the limit of many grant calls, to a funding configuration that is close to the maximum total productivity of the whole scientific community. We present numerical simulations showing evidence that these schemes would also perform well in the presence of statistical noise in the scientific productivity and/or its evaluation. Finally, we prove that one of our policies cannot be cheated by individual research units. Our work must be understood as a first step towards a mathematical theory of the research activity. [ABSTRACT FROM AUTHOR]

Tight Bell inequalities are facets of Pitowsky's correlation polytope and are usually obtained from its extreme points by solving the hull problem. Here, we present an alternative method based on a combination of algebraic results on extensions of measures and variable-elimination methods, e.g., the Fourier-Motzkin method. Our method is shown to overcome some of the computational difficulties associated with the hull problem in some nontrivial cases. Moreover, it provides an explanation for the arising of only a finite number of families of Bell inequalities in measurement scenarios where one experimenter can choose between an arbitrary number of different measurements. [ABSTRACT FROM AUTHOR]

The interpretation of the violation of Bell-Clauser-Horne inequalities is revisited, in relation with the notion of extension of QM predictions to unmeasurable correlations. Such extensions are compatible with QM predictions in many cases, in particular for observables with compatibility relations described by tree graphs. This implies classical representability of any set of correlations 〈 A〉, 〈 B〉, 〈 A B〉, and the equivalence of the Bell-Clauser-Horne inequalities to a non void intersection between the ranges of values for the unmeasurable correlation 〈 A A〉 associated to different choices for B. The same analysis applies to the Hardy model and to the 'perfect correlations' discussed by Greenberger, Horne, Shimony and Zeilinger. In all the cases, the dependence of an unmeasurable correlation on a set of variables allowing for a classical representation is the only basis for arguments about violations of locality and causality. [ABSTRACT FROM AUTHOR]

Alternative partial Boolean structures, implicit in the discussion of classical representability of sets of quantum mechanical predictions, are characterized, with definite general conclusions on the equivalence of the approaches going back to Bell and Kochen-Specker. An algebraic approach is presented, allowing for a discussion of partial classical extension, amounting to reduction of the 'number of contexts,' classical representability arising as a special case. As a result, known techniques are generalized and some of the associated computational difficulties overcome. The implications on the discussion of Boole-Bell inequalities are indicated. [ABSTRACT FROM AUTHOR]