Quantum Foundations

Instrumentalism about the quantum state is the view that this mathematical object does not serve to represent a component of (non-directly observable) reality, but is rather a device solely for making predictions about the results of experiments. One honest way to be such an instrumentalist is a) to take an ensemble view (= frequentism about quantum probabilities), whereby the state represents predictions for measurement results on ensembles of systems, but not individual systems and b) to assign some specific level for the quantum/classical cut. But what happens if one drops (b), or (a), or both, as some have been inclined to? Can one achieve a consistent view then? A major worry is illustrated by the Wigner's friend scenario: it looks as if it should make a measurable difference where one puts the cut, so how can it be consistent to slide it around (as, e.g., Bohr was wont to)? I'll discuss two main cases: that of Asher Peres' book, which adopts (a) but drops (b); and that of the quantum Bayesians Caves, Fuchs and Shack, which drops both. A view of Peres' sort can I, think, be made consistent, though may look a little strained; the quantum Bayesians' can too, though there are some subtleties (which I shall discuss) about how one should handle Wigner's friend.

I will present recent work [1] on preparation by measurement of Greenberger–Horne–Zeilinger (GHZ) states in circuit quantum electrodynamics. In particular, for the 3-qubit case, when employing a nonlinear filter on the recorded homodyne signal the selected states are found to exhibit values of the Bell–Mermin operator exceeding 2 under realistic conditions. I will discuss the potential of the dispersive readout to demonstrate a violation of the Mermin bound, and present a measurement scheme avoiding the necessity for full detector tomography. [1] Lev S Bishop et al 2009 New J. Phys. 11 073040

We present a first-principles implementation of {\em spatial} scale invariance as a local gauge symmetry in geometry dynamics using the method of best matching. In addition to the 3-metric, the proposed scale invariant theory also contains a 3-vector potential A_k as a dynamical variable. Although some of the mathematics is similar to Weyl's ingenious, but physically questionable, theory, the equations of motion of this new theory are second order in time-derivatives. It is tempting to try to interpret the vector potential A_k as the electromagnetic field. We exhibit four independent reasons for not giving into this temptation. A more likely possibility is that it can play the role of ``dark matter''. Indeed, as noted in scale invariance seems to play a role in the MOND phenomenology. Spatial boundary conditions are derived from the free-endpoint variation method and a preliminary analysis of the constraints and their propagation in the Hamiltonian formulation is presented.

Betting (or gambling) is a useful tool for studying decision-making in the face of [classical] uncertainty. We would like to understand how a quantum "agent" would act when faced with uncertainty about its [quantum] environment. I will present a preliminary construction of a theory of quantum gambling, motivated by roulette and quantum optics. I'll begin by reviewing classical gambling and the Kelly Criterion for optimal betting. Then I'll demonstrate a quantum optical version of roulette, and discuss some of the challenges and pitfalls in designing such analogues. Quantum agents have access to many more strategies than classical agents. Quantum strategies provide no advantage in classical roulette, but I'll show that a quantum agent can outperform a classical agent in quantum roulette.

The Quantum Bayesianism of Caves, Fuchs and Schack presents a distinctive starting point from which to attack the problem of axiomatising - or re-constructing - quantum theory. However, many have had the doubt that this starting point is itself already too radical. In this talk I will briefly introduce the position (it will be familiar to most, no doubt) and describe what I take to be its philosophical standpoint. More importantly, I shall seek to defend it from some bad objections, before going on to level some more substantive challenges. The background paper is: 0804.2047 on the arXiv.

Quantum Mechanics (QM) is a beautiful simple mathematical structure--- Hilbert spaces and operator algebras---with an unprecedented predicting power in the whole physical domain. However, after more than a century from its birth, we still don't have a "principle" from which to derive the mathematical framework. The situation is similar to that of Lorentz transformations before the advent of the relativity principle. The invariance of the physical law with the reference system and the existence of a limiting velocity, are not just physical principles: they are mandatory operational principles without which one cannot do experimental Physics. And it is a very seductive idea to think that QM could be derived from some other principle of such epistemological kind, which is either indispensable or crucial in dramatically reducing the experimental complexity. Indeed, the large part of the formal structure of QM is a set of formal tools for describing the process of gathering information in any experiment, independently on the particular physics involved. It is mainly a kind of "information theory", a theory about our knowledge of physical entities rather than about the entities themselves. If we strip off such informational part from the theory, what would be left should be a "principle of the quantumness" from which QM should be derived. In my talk I will analyze the consequences of two possible candidates for the principle of quantumness: 1) PFAITH: the existence of a pure bipartite state by which we can calibrate all local tests and prepare all bipartite states by local tests; 2) PURIFY: the existence of a purification for all states. We will consider the two postulates within the general context of probabilistic theories---also called test-theories. Within test-theories we will introduce the notion of "time-cascade" of tests, which entails the identifications "events=transformations" and "evolution=conditioning", and derive the general matrix-algebra representation of such theories, with particular focus on theories that satisfy the "local discriminability principle". Some of the concepts will be illustrated in some specific test-theories, including the usual cases of classical and quantum mechanics, the extended versions of the PR boxes, the so-called "spin-factors", and quantum mechanics on a real (instead of complex) Hilbert spaces. After the brief tutorial on test-theories, I will analyze all the consequences of the two candidate postulates. We will see how postulate PFAITH implies the "local observability principle" and the tensor-product structure for the linear spaces of states and effects, along with a remarkable list of additional features that are typically quantum, including purification for some states, the impossibility of bit commitment, and many others. We will see how the postulate is not satisfied by classical mechanics, and a stronger version of the postulate also exclude theories where we cannot have teleportation, e.g. PR-boxes. Finally we will analyze the consequences of postulate PURIFY, and show how it is equivalent to the possibility of dilating any probabilistic transformation on a system to a deterministic invertible transformation on the system interacting with an ancilla. Therefore PURIFY is equivalent to the general principle that "every transformation can be in-principle inverted, having sufficient control on the environment". Using a simple diagrammatic representation we will see how PURIFY implies general theorems as: 1) deterministic full teleportation; 2) inverting a transformation upon an input state (i.e. error-correction) is equivalent to the fact that environment and reference remain uncorrelated; 3) inverting some transformations by reading the environment; etc. We will see that some non-quantum theories (e.g. QM on real Hilbert spaces) still satisfy PURIFY. Finally I will address the problem on how to prove that a test-theory is quantum. One would need to show that also the "effects" of the theory---not just the transformations---make a matrix algebra. A way of deriving the "multiplication" of effects is to identify them with atomic events. This can be done assuming the atomicity of evolution in conjunction with the Choi-Jamiolkowski isomorphism. Suggested readings: 1. arXiv:0807.4383, to appear in "Philosophy of Quantum Information and Entanglement", Eds A. Bokulich and G. Jaeger (Cambridge University Press, Cambridge UK, in press) 2. G. Chiribella, G. M. D'Ariano, and P. Perinotti (in preparation) 3. G. M. D'Ariano, A. Tosini (in preparation

Recent advances in quantum computation and quantum information theory have led to revived interest in, and cross-fertilisation with, foundational issues of quantum theory. In particular, it has become apparent that quantum theory may be interpreted as but a variant of the classical theory of probability and information. While the two theories may at first sight appear widely different, they actually share a substantial core of common properties; and their divergence can be reduced to a single attribute only, their respective degree of agent-dependency. I propose a mathematical description for this ?degree of agent-dependency? and show how assuming different values allows one to derive the classical and the quantum case from their common core. Finally, I explore ? and eventually dismiss ? the possibility that beyond quantum theory there might be other variants of classical probability theory that are relevant to physics.

The starting point of the reconstruction process is a very simple quantum logical structure on which probability measures (states) and conditional probabilities are defined. This is a generalization of Kolmogorov's measure-theoretic approach to probability theory. In the general framework, the conditional probabilities need neither exist nor be uniquely determined if they exist. Postulating their existence and uniqueness becomes the major step in the reconstruction process. A certain new mathematical structure can then be derived, and examples immediately reveal that probability conditionalization is identical with the Lüders - von Neumann measurement process. Some further postulates bring us to Jordan algebras, and the consideration of composite systems finally shows why these algebras must be the self-adjoint parts of von Neumann algbras such that they can be represented as linear operators on Hilbert spaces over the complex numbers. This is why the approach gets ahead of other ones that are not able to justify the need for the complex Hilbert space or the Jordan operator algebras. The mathematical structure of quantum mechanics can thus be reconstructed from a few probabilistic basic principles and becomes a non-Boolean extension of classical probability theory. Its link to physics is that probability conditionalization in this structure is identical with the Lüders - von Neumann measurement process.

In our approach, rather than aiming to recover the 'Hilbert space model' which underpins the orthodox quantum mechanical formalism, we start from a general `pre-operational' framework, and verify how much additional structure we need to be able to describe a range of quantum phenomena. This also enables us to investigate which mathematical models, including more abstract categorical ones, enable one to model quantum theory. Till now, all of our axioms only refer to the particular nature of how compound quantum systems interact, rather that to the particular structure of state-spaces. This is in sharp contrast with other approaches of this kind which aim to recover quantum theory out of a much broader class of theories. A more abstract quantum mechanical model has other many advantages. It elucidates which are the key ingredients that make `the Hilbert space model' work. Since it relies on monoidal categories, it comes with a high-level diagrammatic description (which we think of as `the' mathematical formalism). It moreover removes the dependency on continuous underlying mathematical structures, paving the way for discrete combinatorial models, which might blend better with the other ingredients required for a theory of quantum gravity.