Researcher profile

Leon Loveridge

Leon Loveridge contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
3topics
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

5 published item(s)

preprint2016arXiv

Approximating relational observables by absolute quantities: A quantum accuracy-size trade-off

The notion that any physical quantity is defined and measured relative to a reference frame is traditionally not explicitly reflected in the theoretical description of physical experiments where, instead, the relevant observables are typically represented as "absolute" quantities. However, the emergence of the resource theory of quantum reference frames as a new branch of quantum information science in recent years has highlighted the need to identify the physical conditions under which a quantum system can serve as a good reference. Here we investigate the conditions under which, in quantum theory, an account in terms of absolute quantities can provide a good approximation of relative quantities. We find that this requires the reference system to be large in a suitable sense.

preprint2015arXiv

The many mathematical faces of Mermin's proof of the Kochen-Specker theorem

Mermin's simple "pentagram" proof of the Kochen-Specker theorem is examined from various perspectives. We emphasise the many mathematical structures intimately related to Kochen-Specker proofs, ranging through functional analysis, sheaf theory and topos theory, Coxeter groups and algebraic geometry. Some novel results are presented along the way.

preprint2015arXiv

Topos logic in measurement-based quantum computation

We report first steps towards elucidating the relationship between contextuality, measurement-based quantum computation (MBQC) and the non-classical logic of a topos associated with the computation. We show that, in a class of MBQC, classical universality requires non-classical logic, which is 'consumed' during the course of the computation, thereby pinpointing another potential quantum computational resource.

preprint2011arXiv

'Measurement of Quantum Mechanical Operators' Revisited

The Wigner-Araki-Yanase (WAY) theorem states a remarkable limitation to quantum mechanical measurements in the presence of additive conserved quantities. Discovered by Wigner in 1952, this limitation is known to induce constraints on the control of individual quantum systems in the context of information processing. It is therefore important to understand the precise conditions and scope of the WAY theorem. Here we elucidate its crucial assumptions, briefly review some generalizations, and show how a particular extension can already be obtained by a simple modification of the original proofs. We also describe the evolution of the WAY theorem from a strict no-go verdict for certain, highly idealized, precise measurements into a quantitative constraint on the accuracy and approximate repeatability of imprecise measurements.