Source author record

Lucien Hardy

Lucien Hardy 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

15works
7topics
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

15 published item(s)

preprint2020arXiv

Counting Risk Increments to Make Decisions During an Epidemic

I propose a smartphone app that will allow people to participate in the management of their own safety during an epidemic or pandemic such as COVID-19 by enabling them to view, in advance, the risks they would take if they visit some given venue (a cafe, the gym, the workplace, the park,...) and, furthermore, track the accumulation of such risks during the course of any given day or week. This idea can be presented to users of the app as counting points. One point represents some constant probability, $p_\text{point}$, of infection. Then the app would work in a similar way to a calorie counting app (instead of counting calories we count probability increments of being infected). Government could set a maximum recommended number of daily (or weekly) points available to each user in accord with its objectives (bringing the disease under control, allowing essential workers to work, protecting vulnerable individuals, ...). It is posited that this, along with other proposed "levers" would allow government to manage a gradual transition to normalcy. I discuss a circuit framework with wires running between boxes. In this framework the wires represent possible sources of infection, namely individuals and the venues themselves (through deposits of pathogens left at the venue). The boxes represent interactions of these sources (when individuals visit a venue). This circuit framework allows (i) calculation of points cost for visiting venues and (ii) probabilistic contact tracing. The points systems proposed here could complement existing contact tracing apps by adding functionality to permit users to participate in decision making up front.

preprint2016arXiv

Operational General Relativity: Possibilistic, Probabilistic, and Quantum

In this paper we develop an operational formulation of General Relativity similar in spirit to existing operational formulations of Quantum Theory. To do this we introduce an operational space (or op-space) built out of scalar fields. A point in op-space corresponds to some nominated set of scalar fields taking some given values in coincidence. We assert that op-space is the space in which we observe the world. We introduce also a notion of agency (this corresponds to the ability to set knob settings just like in Operational Quantum Theory). The effects of agents' actions should only be felt to the future so we introduce also a time direction field. Agency and time direction can be understood as effective notions. We show how to formulate General Relativity as a possibilistic theory and as a probabilistic theory. In the possibilistic case we provide a compositional framework for calculating whether some operationally described situation is possible or not. In the probabilistic version we introduce probabilities and provide a compositional framework for calculating the probability of some operationally described situation. Finally we look at the quantum case. We review the operator tensor formulation of Quantum Theory and use it to set up an approach to Quantum Field Theory that is both operational and compositional. Then we consider strategies for solving the problem of Quantum Gravity. By referring only to operational quantities we are able to provide formulations for the possibilistic, probabilistic, and (the nascent) quantum cases that are manifestly invariant under diffeomorphisms.

preprint2015arXiv

Bell inequalities with retarded settings

We consider retarded settings in the context of a Bell-type experiment. The retarded setting is defined as the value the setting would have taken were it not for some external intervention (for example, by a human). We derive retarded Bell inequalities that explicitly take into account the retarded settings. These inequalities are not violated by Quantum Theory (or any other theory) when the retarded settings are equal to the actual settings. We construct a simple model that reproduces Quantum Theory when the retarded and actual settings are equal, but violates it when they are not. We discuss using humans to choose the settings in this type of experiment and the implications of a violation of Quantum Theory (in agreement with the retarded Bell inequalities) in this context.

preprint2013arXiv

On the theory of composition in physics

We develop a theory for describing composite objects in physics. These can be static objects, such as tables, or things that happen in spacetime (such as a region of spacetime with fields on it regarded as being composed of smaller such regions joined together). We propose certain fundamental axioms which, it seems, should be satisfied in any theory of composition. A key axiom is the order independence axiom which says we can describe the composition of a composite object in any order. Then we provide a notation for describing composite objects that naturally leads to these axioms being satisfied. In any given physical context we are interested in the value of certain properties for the objects (such as whether the object is possible, what probability it has, how wide it is, and so on). We associate a generalized state with an object. This can be used to calculate the value of those properties we are interested in for for this object. We then propose a certain principle, the composition principle, which says that we can determine the generalized state of a composite object from the generalized states for the components by means of a calculation having the same structure as the description of the generalized state. The composition principle provides a link between description and prediction.

preprint2013arXiv

Reconstructing quantum theory

We discuss how to reconstruct quantum theory from operational postulates. In particular, the following postulates are consistent only with for classical probability theory and quantum theory. Logical Sharpness: There is a one-to-one map between pure states and maximal effects such that we get unit probability. This maximal effect does not give probability equal to one for any other pure state. Information Locality: A maximal measurement is effected on a composite system if we perform maximal measurements on each of the components. Tomographic Locality: The state of a composite system can be determined from the statistics collected by making measurements on the components. Permutability: There exists a reversible transformation on any system effecting any given permutation of any given maximal set of distinguishable states for that system. Sturdiness: Filters are non-flattening. To single out quantum theory we need only add any requirement that is inconsistent with classical probability theory and consistent with quantum theory.

preprint2012arXiv

Are quantum states real?

In this paper we consider theories in which reality is described by some underlying variables. Each value these variables can take represents an ontic state (a particular state of reality). The preparation of a quantum state corresponds to a distribution over the ontic states. If we make three basic assumptions, we can show that the distributions over ontic states corresponding to distinct pure states are non-overlapping. This means that we can deduce the quantum state from a knowledge of the ontic state. Hence, if these assumptions are correct, we can claim that the quantum state is a real thing (it is written into the underlying variables that describe reality). The key assumption we use in this proof is ontic indifference - that quantum transformations that do not affect a given pure quantum state can be implemented in such a way that they do not affect the ontic states in the support of that state. In fact this assumption is violated in the Spekkens toy model (which captures many aspects of quantum theory and in which different pure states of the model have overlapping distributions over ontic states). This paper proves that ontic indifference must be violated in any model reproducing quantum theory in which the quantum state is not a real thing. The argument presented in this paper is different from that given in a recent paper by Pusey, Barrett, and Rudolph. It uses a different key assumption and it pertains to a single copy of the system in question.

preprint2012arXiv

Logical Bell Inequalities

Bell inequalities play a central role in the study of quantum non-locality and entanglement, with many applications in quantum information. Despite the huge literature on Bell inequalities, it is not easy to find a clear conceptual answer to what a Bell inequality is, or a clear guiding principle as to how they may be derived. In this paper, we introduce a notion of logical Bell inequality which can be used to systematically derive testable inequalities for a very wide variety of situations. There is a single clear conceptual principle, based on purely logical consistency conditions, which underlies our notion of logical Bell inequalities. We show that in a precise sense, all Bell inequalities can be taken to be of this form. Our approach is very general. It applies directly to any family of sets of commuting observables. Thus it covers not only the n-partite scenarios to which Bell inequalities are standardly applied, but also Kochen-Specker configurations, and many other examples. There is much current work on experimental tests for contextuality. Our approach directly yields, in a systematic fashion, testable inequalities for a very general notion of contextuality. There has been much work on obtaining proofs of Bell's theorem `without inequalities' or `without probabilities'. These proofs are seen as being in a sense more definitive and logically robust than the inequality-based proofs. On the hand, they lack the fault-tolerant aspect of inequalities. Our approach reconciles these aspects, and in fact shows how the logical robustness can be converted into systematic, general derivations of inequalities with provable violations. Moreover, the kind of strong non-locality or contextuality exhibited by the GHZ argument or by Kochen-Specker configurations can be shown to lead to maximal violations of the corresponding logical Bell inequalities.

preprint2012arXiv

Optimal Probabilistic Simulation of Quantum Channels from the Future to the Past

We introduce the study of quantum protocols that probabilistically simulate quantum channels from a sender in the future to a receiver in the past. The maximum probability of simulation is determined by causality and depends on the amount and type (classical or quantum) of information that the channel can transmit. We illustrate this dependence in several examples, including ideal classical and quantum channels, measure-and-prepare channels, partial trace channels, and universal cloning channels. For the simulation of partial trace channels, we consider generalized teleportation protocols that take N input copies of a pure state in the future and produce M < N output copies of the same state in the past. In this case, we show that the maximum probability of successful teleportation increases with the number of input copies, a feature that was impossible in classical physics. In the limit of asymptotically large N, the probability converges to the probability of simulation for an ideal classical channel. Similar results are found for universal cloning channels from N copies to M > N approximate copies, exploiting a time-reversal duality between universal cloning and partial trace.

preprint2012arXiv

The Operator Tensor Formulation of Quantum Theory

A typical quantum experiment has a bunch of apparatuses placed so that quantum systems can pass between them. We regard each use of an apparatus, along with some given outcome on the apparatus (a certain detector click or a certain meter reading for example), as an operation. An operation can have zero or more quantum systems inputted into it and zero or more quantum systems outputted from it. We can wire together operations to form circuits. In the standard framework of quantum theory we must foliate the circuit then calculate the probability by evolving a state through it. This approach has three problems. First, we must introduce an arbitrary foliation of the circuit (such foliations are not unique). Second, we have to pad our expressions with identities every time two or more foliation hypersurfaces intersect a given wire. And third, we treat operations corresponding to preparations, transformations, and results in different ways. In this paper we present the operator tensor formulation of quantum theory which solves all these problems. Corresponding to every operation is an operator tensor. The probability for a circuit is given by simply replacing the operations in the circuit with the corresponding operator tensors. Wires between operator tensors correspond to multiplying the tensors in the associated subspace and then taking the partial trace over that subspace. Operator tensors must be physical (namely, they must have positive input transpose and satisfy a certain normalization condition).

preprint2011arXiv

Reformulating and Reconstructing Quantum Theory

We provide a reformulation of finite dimensional quantum theory in the circuit framework in terms of mathematical axioms, and a reconstruction of quantum theory from operational postulates. The mathematical axioms for quantum theory are the following: [Axiom 1] Operations correspond to operators. [Axiom 2] Every complete set of physical operators corresponds to a complete set of operations. The following operational postulates are shown to be equivalent to these mathematical axioms: [P1] Sharpness. Associated with any given pure state is a unique maximal effect giving probability equal to one. This maximal effect does not give probability equal to one for any other pure state. [P2] Information locality. A maximal measurement on a composite system is effected if we perform maximal measurements on each of the components. [P3] Tomographic locality. The state of a composite system can be determined from the statistics collected by making measurements on the components. [P4] Compound permutability. There exists a compound reversible transformation on any system effecting any given permutation of any given maximal set of distinguishable states for that system. [P5] Sturdiness. Filters are non-flattening. Hence, from these postulates we can reconstruct all the usual features of quantum theory: States are represented by positive operators, transformations by completely positive trace non-increasing maps, and effects by positive operators. The Born rule (i.e. the trace rule) for calculating probabilitieso follows. A more detailed abstract is provided in the paper.

preprint2010arXiv

Limited Holism and Real-Vector-Space Quantum Theory

Quantum theory has the property of "local tomography": the state of any composite system can be reconstructed from the statistics of measurements on the individual components. In this respect the holism of quantum theory is limited. We consider in this paper a class of theories more holistic than quantum theory in that they are constrained only by "bilocal tomography": the state of any composite system is determined by the statistics of measurements on pairs of components. Under a few auxiliary assumptions, we derive certain general features of such theories. In particular, we show how the number of state parameters can depend on the number of perfectly distinguishable states. We also show that real-vector-space quantum theory, while not locally tomographic, is bilocally tomographic.

preprint2009arXiv

Entropy for theories with indefinite causal structure

Entropy is a concept that has traditionally been reliant on a definite notion of causality. However, without a definite notion of causality, the concept of entropy is not all lost. Indefinite causal structure results from combining probabilistic predictions and dynamical space-time. Combining the probabilistic nature of quantum theory and dynamical treatment space-time from general relativity is an approach to the problem of quantum gravity. The causaloid framework lays the mathematical groundwork to be able to treat indefinite causal structure. In this paper, we build on the causaloid mathematics and define a causally-unbiased entropy for an indefinite causal structure. In defining a causally-unbiased entropy, there comes about an emergent idea of causality in the form of a measure of causal connectedness, termed the Q factor.

preprint2007arXiv

Quantum gravity computers: On the theory of computation with indefinite causal structure

A quantum gravity computer is one for which the particular effects of quantum gravity are relevant. In general relativity, causal structure is non-fixed. In quantum theory non-fixed quantities are subject to quantum uncertainty. It is therefore likely that, in a theory of quantum gravity, we will have indefinite causal structure. This means that there will be no matter of fact as to whether a particular interval is timelike or not. We study the implications of this for the theory of computation. Classical and quantum computations consist in ivolving the state of the computer through a sequence of time steps. This will, most likely, not be possible for a quantum gravity computer because the notion of a time step makes no sense if we have indefinite causal structure. We show that it is possible to set up a model for computation even in the absence of definite causal structure by using a certain framework (the causaloid formalism) that was developed for the purpose of correlating data taken in this type of situation. Corresponding to a physical theory is a causaloid, Lambda (this is a mathematical object containing information about the causal connections between different spacetime regions). A computer is given by the pair {Lambda, S} where S is a set of gates. Working within the causaloid formalism, we explore the question of whether universal quantum gravity computers are possible. We also examine whether a quantum gravity computer might be more powerful than a quantum (or classical) computer. In particular, we ask whether indefinite causal structure can be used as a computational resource.

preprint2005arXiv

Probability Theories with Dynamic Causal Structure: A New Framework for Quantum Gravity

Quantum theory is a probabilistic theory with fixed causal structure. General relativity is a deterministic theory but where the causal structure is dynamic. It is reasonable to expect that quantum gravity will be a probabilistic theory with dynamic causal structure. The purpose of this paper is to present a framework for such a probability calculus. We define an operational notion of space-time, this being composed of elementary regions. Central to this formalism is an object we call the causaloid. This object captures information about causal structure implicit in the data by quantifying the way in which the number of measurements required to establish a state for a composite region is reduced when there is a causal connection between the component regions. This formalism puts all elementary regions on an equal footing. It does not require that we impose fixed causal structure. In particular, it is not necessary to assume the existence of a background time. Remarkably, given the causaloid, we can calculate all relevant probabilities and so the causaloid is sufficient to specify the predictive aspect of a physical theory. We show how certain causaloids can be represented by suggestive diagrams and we show how to represent both classical probability theory and quantum theory by a causaloid. We do not give a causaloid formulation for general relativity though we speculate that this is possible. The work presented here suggests a research program aimed at finding a theory of quantum gravity. The idea is to use the causaloid formalism along with principles taken from the two theories to marry the dynamic causal structure of general relativity with the probabilistic structure of quantum theory.