BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Matthew F. Pusey

Matthew F. Pusey contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
quant-phphysics.hist-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 published item(s)

preprint2015arXiv

Logical pre- and post-selection paradoxes are proofs of contextuality

If a quantum system is prepared and later post-selected in certain states, "paradoxical" predictions for intermediate measurements can be obtained. This is the case both when the intermediate measurement is strong, i.e. a projective measurement with Luders-von Neumann update rule, or with weak measurements where they show up in anomalous weak values. Leifer and Spekkens [quant-ph/0412178] identified a striking class of such paradoxes, known as logical pre- and post-selection paradoxes, and showed that they are indirectly connected with contextuality. By analysing the measurement-disturbance required in models of these phenomena, we find that the strong measurement version of logical pre- and post-selection paradoxes actually constitute a direct manifestation of quantum contextuality. The proof hinges on under-appreciated features of the paradoxes. In particular, we show by example that it is not possible to prove contextuality without Luders-von Neumann updates for the intermediate measurements, nonorthogonal pre- and post-selection, and 0/1 probabilities for the intermediate measurements. Since one of us has recently shown that anomalous weak values are also a direct manifestation of contextuality [arXiv:1409.1535], we now know that this is true for both realizations of logical pre- and post-selection paradoxes.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Verifying the quantumness of a channel with an untrusted device

Suppose one wants to certify that a quantum channel is not entanglement-breaking. I consider all four combinations of trusted and untrusted devices at the input and output of the channel, finding that the most interesting is a trusted preparation device at the input and an untrusted measurement device at the output. This provides a time-like analogue of EPR-steering, which turns out to reduce to the problem of joint measurability, connecting these concepts in a different way to other recent work. I suggest a few applications of this connection, such as a resource theory of incompatibility. This perspective also sheds light on why the BB84 key distribution protocol can be secure even with an untrusted measuring device, leading to an uncertainty relation for arbitrary pairs of ensembles.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Anomalous Weak Values Are Proofs of Contextuality

The average result of a weak measurement of some observable $A$ can, under post-selection of the measured quantum system, exceed the largest eigenvalue of $A$. The nature of weak measurements, as well as the presence of post-selection and hence possible contribution of measurement-disturbance, has led to a long-running debate about whether or not this is surprising. Here, it is shown that such "anomalous weak values" are non-classical in a precise sense: a sufficiently weak measurement of one constitutes a proof of contextuality. This clarifies, for example, which features must be present (and in an experiment, verified) to demonstrate an effect with no satisfying classical explanation.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Quantum Steering Ellipsoids

The quantum steering ellipsoid of a two-qubit state is the set of Bloch vectors that Bob can collapse Alice's qubit to, considering all possible measurements on his qubit. We provide an elementary construction of the ellipsoid for arbitrary states, calculate its volume, and explain how this geometric representation can be made faithful. The representation provides a range of new results, and uncovers new features, such as the existence of "incomplete steering" in separable states. We show that entanglement can be analysed in terms of three geometric features of the ellipsoid, and prove that a state is separable if and only if it obeys a "nested tetrahedron" condition.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Theory-independent limits on correlations from generalised Bayesian networks

Bayesian networks provide a powerful tool for reasoning about probabilistic causation, used in many areas of science. They are, however, intrinsically classical. In particular, Bayesian networks naturally yield the Bell inequalities. Inspired by this connection, we generalise the formalism of classical Bayesian networks in order to investigate non-classical correlations in arbitrary causal structures. Our framework of `generalised Bayesian networks' replaces latent variables with the resources of any generalised probabilistic theory, most importantly quantum theory, but also, for example, Popescu-Rohrlich boxes. We obtain three main sets of results. Firstly, we prove that all of the observable conditional independences required by the classical theory also hold in our generalisation; to obtain this, we extend the classical $d$-separation theorem to our setting. Secondly, we find that the theory-independent constraints on probabilities can go beyond these conditional independences. For example we find that no probabilistic theory predicts perfect correlation between three parties using only bipartite common causes. Finally, we begin a classification of those causal structures, such as the Bell scenario, that may yield a separation between classical, quantum and general-probabilistic correlations.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Negativity and steering: a stronger Peres conjecture

The violation of a Bell inequality certifies the presence of entanglement even if neither party trusts their measurement devices. Recently Moroder et. al. showed how to make this statement quantitative, using semidefinite programming to calculate how much entanglement is certified by a given violation. Here I adapt their techniques to the case where Bob's measurement devices are in fact trusted, the setting for "EPR-steering" inequalities. Interestingly, all of the steering inequalities studied turn out to require negativity for their violation. This supports a significant strengthening of Peres' conjecture that negativity is required to violate a bipartite Bell inequality.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Can different quantum state vectors correspond to the same physical state? An experimental test

A century on from the development of quantum theory, the interpretation of a quantum state is still discussed. If a physicist claims to have produced a system with a particular wave function, does this represent directly a physical wave of some kind, or is the wave function merely a summary of knowledge, or information, about the system? A recent no-go theorem shows that models in which the wave function is not physical, but corresponds only to an experimenter's information about a hypothetical real state of the system, must make different predictions from quantum theory when a certain test is carried out. Here we report on an experimental implementation using trapped ions. Within experimental error, the results confirm quantum theory. We analyse which kinds of theories are ruled out.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On the reality of the quantum state

Quantum states are the key mathematical objects in quantum theory. It is therefore surprising that physicists have been unable to agree on what a quantum state truly represents. One possibility is that a pure quantum state corresponds directly to reality. However, there is a long history of suggestions that a quantum state (even a pure state) represents only knowledge or information about some aspect of reality. Here we show that any model in which a quantum state represents mere information about an underlying physical state of the system, and in which systems that are prepared independently have independent physical states, must make predictions which contradict those of quantum theory.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Quantum lost property: a possible operational meaning for the Hilbert-Schmidt product

Minimum error state discrimination between two mixed states ρand σcan be aided by the receipt of "classical side information" specifying which states from some convex decompositions of ρand σapply in each run. We quantify this phenomena by the average trace distance, and give lower and upper bounds on this quantity as functions of ρand σ. The lower bound is simply the trace distance between ρand σ, trivially seen to be tight. The upper bound is \sqrt{1 - tr(ρσ)}, and we conjecture that this is also tight. We reformulate this conjecture in terms of the existence of a pair of "unbiased decompositions", which may be of independent interest, and prove it for a few special cases. Finally, we point towards a link with a notion of non-classicality known as preparation contextuality.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Stabilizer notation for Spekkens' toy theory

Spekkens has introduced a toy theory [Phys. Rev. A, 75, 032110 (2007)] in order to argue for an epistemic view of quantum states. I describe a notation for the theory (excluding certain joint measurements) which makes its similarities and differences with the quantum mechanics of stabilizer states clear. Given an application of the qubit stabilizer formalism, it is often entirely straightforward to construct an analogous application of the notation to the toy theory. This assists calculations within the toy theory, for example of the number of possible states and transformations, and enables superpositions to be defined for composite systems.

0 citations0 reviewsNo code linkedOpen access