Source author record

Costantino Budroni

Costantino Budroni appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

19works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

preprint2023arXiv

Kochen-Specker Contextuality

A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here compatible measurements are those that can be implemented simultaneously or, more generally, those that are jointly measurable. This conflict is generically called quantum contextuality. In this review, an introduction to this subject and its current status is presented. Several proofs of the Kochen-Specker theorem and different notions of contextuality are reviewed. How to experimentally test some of these notions is explained and connections between contextuality and nonlocality or graph theory are discussed. Finally, some applications of contextuality in quantum information processing are reviewed.

preprint2022arXiv

Complete classification of steerability under local filters and its relation with measurement incompatibility

Quantum steering is the 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 one via local filtering. We characterize the equivalence classes with respect to filters in terms of the steering equivalent observables measurement assemblage (SEO), first proposed to connect the problem of steerability with measurement incompatibility. We provide an efficient method to compute the maximal extractable steerability 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.

preprint2022arXiv

Temporal correlations in the simplest measurement sequences

We investigate temporal correlations in the simplest measurement scenario, i.e., that of a physical system on which the same measurement is performed at different times, producing a sequence of dichotomic outcomes. The resource for generating such sequences is the internal dimension, or memory, of the system. We characterize the minimum memory requirements for sequences to be obtained deterministically, and numerically investigate the probabilistic behavior below this memory threshold, in both classical and quantum scenarios. A particular class of sequences is found to offer an upper-bound for all other sequences, which suggests a nontrivial universal upper-bound of $1/e$ for the classical probability of realization of any sequence below this memory threshold. We further present evidence that no such nontrivial bound exists in the quantum case.

preprint2016arXiv

Entropic nonsignaling correlations

We introduce the concept of entropic nonsignaling correlations, i.e., entropies arising from probabilistic theories that are compatible with the fact that we cannot transmit information instantaneously. We characterize and show the relevance of these entropic correlations in a variety of different scenarios, ranging from typical Bell experiments to more refined descriptions such as bilocality and information causality. In particular, we apply the framework to derive the first entropic inequality testing genuine tripartite nonlocality in quantum systems of arbitrary dimension and also prove the first known monogamy relation for entropic Bell inequalities. Further, within the context of complex Bell networks, we show that entropic nonlocal correlations can be activated.

preprint2016arXiv

Extreme violation of local realism in quantum hypergraph states

Hypergraph states form a family of multiparticle quantum states that generalizes the well-known concept of Greenberger-Horne-Zeilinger states, cluster states, and more broadly graph states. We study the nonlocal properties of quantum hypergraph states. We demonstrate that the correlations in hypergraph states can be used to derive various types of nonlocality proofs, including Hardy-type arguments and Bell inequalities for genuine multiparticle nonlocality. Moreover, we show that hypergraph states allow for an exponentially increasing violation of local realism which is robust against loss of particles. Our results suggest that certain classes of hypergraph states are novel resources for quantum metrology and measurement-based quantum computation.

preprint2016arXiv

Indistinguishability of causal relations from limited marginals

We investigate the possibility of distinguishing among different causal relations starting from a limited set of marginals. Our main tool is the notion of adhesivity, that is, the extension of probability or entropies defined only on subsets of variables, which provides additional independence constraints among them. Our results provide a criterion for recognizing which causal structures are indistinguishable when only limited marginal information is accessible. Furthermore, the existence of such extensions greatly simplifies the characterization of a marginal scenario, a result that facilitates the derivation of Bell inequalities both in the probabilistic and entropic frameworks, and the identification of marginal scenarios where classical, quantum, and postquantum probabilities coincide.

preprint2016arXiv

Natural Framework for Device-Independent Quantification of Quantum Steerability, Measurement Incompatibility, and Self-Testing

We introduce the concept of assemblage moment matrices, i.e., a collection of matrices of expectation values, each associated with a conditional quantum state obtained in a steering experiment. We demonstrate how it can be used for quantum states and measurements characterization in a device-independent manner, i.e., without invoking any assumption about the measurement or the preparation device. Specifically, we show how the method can be used to lower bound the steerability of an underlying quantum state directly from the observed correlation between measurement outcomes. Combining such device-independent quantifications with earlier results established by Piani and Watrous [Phys. Rev. Lett. 114, 060404 (2015)], our approach immediately provides a device-independent lower bound on the generalized robustness of entanglement, as well as the usefulness of the underlying quantum state for a type of subchannel discrimination problem. In addition, by proving a quantitative relationship between steering robustness and the recently introduced incompatibility robustness, our approach also allows for a device-independent quantification of the incompatibility between various measurements performed in a Bell-type experiment. Explicit examples where such bounds provide a kind of self-testing of the performed measurements are provided.

preprint2016arXiv

One-to-one mapping between steering and joint measurability problems

Quantum steering refers to the possibility for Alice to remotely steer Bob's state by performing local measurements on her half of a bipartite system. Two necessary ingredients for steering are entanglement and incompatibility of Alice's measurements. In particular, it has been recently proven that for the case of pure states of maximal Schmidt rank the problem of steerability for Bob's assemblage is equivalent to the problem of joint measurability for Alice's observables. We show that such an equivalence holds in general, namely, the steerability of any assemblage can always be formulated as a joint measurability problem, and vice versa. We use this connection to introduce steering inequalities from joint measurability criteria and develop quantifiers for the incompatibility of measurements.

preprint2015arXiv

Contextuality in phase space

We present a general framework for contextuality tests in phase space using displacement operators. First, we derive a general condition that a single-mode displacement operator should fulfill in order to construct Peres-Mermin square and similar scenarios. This approach offers a straightforward scheme for experimental implementations of the tests via modular variable measurements. In addition to the continuous variable case, our condition can also be applied to finite-dimensional systems in discrete phase space, using Heisenberg-Weyl operators. This approach, therefore, offers a unified picture of contextuality with a geometric flavor.

preprint2015arXiv

Necessary and sufficient condition for quantum state-independent contextuality

We solve the problem of whether a set of quantum tests reveals state-independent contextuality and use this result to identify the simplest set of the minimal dimension. We also show that identifying state-independent contextuality graphs [R. Ramanathan and P. Horodecki, Phys. Rev. Lett. 112, 040404 (2014)] is not sufficient for revealing state-independent contextuality.

preprint2015arXiv

Quantum non-demolition measurement enables macroscopic Leggett-Garg tests

We show how a test of macroscopic realism based on Leggett-Garg inequalities (LGIs) can be performed in a macroscopic system. Using a continuous-variable approach, we consider quantum non-demolition (QND) measurements applied to atomic ensembles undergoing magnetically-driven coherent oscillation. We identify measurement schemes requiring only Gaussian states as inputs and giving a significant LGI violation with realistic experimental parameters and imperfections. The predicted violation is shown to be due to true quantum effects rather than to a classical invasivity of the measurement. Using QND measurements to tighten the "clumsiness loophole" forces the stubborn macrorealist to re-create quantum back action in his or her account of measurement.

preprint2014arXiv

Bounding the quantum dimension with contextuality

We show that the phenomenon of quantum contextuality can be used to certify lower bounds on the dimension accessed by the measurement devices. To prove this, we derive bounds for different dimensions and scenarios of the simplest noncontextuality inequalities. The resulting dimension witnesses work independently of the prepared quantum state. Our constructions are robust against noise and imperfections, and we show that a recent experiment can be viewed as an implementation of a state-independent quantum dimension witness.

preprint2014arXiv

Temporal quantum correlations and Leggett-Garg inequalities in multi-level systems

We show that the quantum bound for temporal correlations in a Leggett-Garg test, analogous to the Tsirelson bound for spatial correlations in a Bell test, strongly depends on the number of levels $N$ that can be accessed by the measurement apparatus via projective measurements. We provide exact bounds for small $N$, that exceed the known bound for the Leggett-Garg inequality, and show that in the limit $N\rightarrow \infty$ the Leggett-Garg inequality can be violated up to its algebraic maximum.

preprint2013arXiv

All noncontextuality inequalities for the n-cycle scenario

The problem of separating classical from quantum correlations is in general intractable and has been solved explicitly only in few cases. In particular, known methods cannot provide general solutions for an arbitrary number of settings. We provide the complete characterization of the classical correlations and the corresponding maximal quantum violations for the case of n >= 4 observables X_0, ...,X_{n-1}, where each consecutive pair {X_i,X_{i+1}}, sum modulo n, is jointly measurable. This generalizes both the Clauser-Horne-Shimony-Holt and the Klyachko-Can-Binicioglu-Shumovsky scenarios, which are the simplest ones for, respectively, locality and noncontextuality. In addition, we provide explicit quantum states and settings with maximal quantum violation and minimal quantum dimension.

preprint2013arXiv

Bounding temporal quantum correlations

Sequential measurements on a single particle play an important role in fundamental tests of quantum mechanics. We provide a general method to analyze temporal quantum correlations, which allows us to compute the maximal correlations for sequential measurements in quantum mechanics. As an application, we present the full characterization of temporal correlations in the simplest Leggett-Garg scenario and in the sequential measurement scenario associated with the most fundamental proof of the Kochen-Specker theorem.

preprint2012arXiv

Bell inequalities as constraints on unmeasurable correlations

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_i >, < B >, < A_i 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_1 A_2 > 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.

preprint2012arXiv

Bell inequalities from variable elimination methods

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 non-trivial 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.

preprint2012arXiv

Optimal inequalities for state-independent contextuality

Contextuality is a natural generalization of nonlocality which does not need composite systems or spacelike separation and offers a wider spectrum of interesting phenomena. Most notably, in quantum mechanics there exist scenarios where the contextual behavior is independent of the quantum state. We show that the quest for an optimal inequality separating quantum from classical noncontextual correlations in an state-independent manner admits an exact solution, as it can be formulated as a linear program. We introduce the noncontextuality polytope as a generalization of the locality polytope, and apply our method to identify two different tight optimal inequalities for the most fundamental quantum scenario with state-independent contextuality.

preprint2011arXiv

The extension problem for partial Boolean structures in Quantum Mechanics

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.