arXiv subjects
Publications and source records attributed to Veronika Baumann.
In this paper we propose a totally serious algorithm to solve NP problems in polynomial time provided one is willing to wager the fate of all observers in the universe on the many-world interpretation of quantum theory being correct.
In relational quantum dynamics, evolution emerges via the correlations between some system of interest and a clock system, which plays the role of a temporal reference frame. Their combined state satisfies a Wheeler-de Witt-like constraint equation, and therefore does not evolve, leading to a ``block universe'' picture. Here we investigate the interplay of two aspects, namely temporal localization and causal relations, when comparing emergent dynamics with respect to different choices of clock. We first explore the extent to which two clocks can agree on the temporal localization of events. Then, focussing on the operational notion of causality, we require a clearly defined notion of interventions, i.e. quantum operations, and consider two different approaches to modeling these operations within relational dynamics. The first considers their application via the choice of solutions to the constraint equation, i.e.~the choice of which ``history'' is considered. The second approach incorporates the operations into the constraint equation itself and thereby into its solutions, giving a dynamical picture of the interventions. From the perspective of a single clock, both approaches allow for a notion of operational causality in relational dynamics. However, for multiple clocks, only the second approach gives a consistent picture regarding causal relations, while necessarily manifesting some degree of temporal delocalization between frames. Moreover, this second approach, when considering certain cases of temporal delocalization, naturally describes scenarios with indefinite causal order, a well-known quantum feature of operational causality.
In standard quantum theory, the causal relations between operations are fixed. One can relax this notion by allowing for dynamical arrangements, where operations may influence the causal relations of future operations, as certified by violation of fixed-order inequalities, e.g., the k-cycle inequalities. Another, non-causal, departure further relaxes these limitations, and is certified by violations of causal inequalities. In this paper, we explore the interplay between dynamic and indefinite causality. We study the k-cycle inequalities and show that the quantum switch violates these inequalities without exploiting its indefinite nature. We further introduce non-adaptive strategies, which effectively remove the dynamical aspect of any process, and show that the k-cycle inequalities become novel causal inequalities; violating k-cycle inequalities under the restriction of non-adaptive strategies requires non-causal setups. The quantum switch is known to be incapable of violating causal inequalities, and it is believed that a device-independent certification of its causal indefiniteness requires extended setups incorporating spacelike separation. This work reopens the possibility for a device-independent certification of the quantum switch in isolation via fixed-order inequalities instead of causal inequalities. The inequalities we study here, however, turn out to be unsuitable for such a device-independent certification. In this work, we initiate the question posed by the title. This question, however, remains unanswered.
The Wigner's Friend (WF) thought experiment concerns quantum measurements by a 'superobserver' of an observer measuring a quantum system. Variations on the setup and its extended versions have seen a resurgence in recent years, in light of a series of no-go theorems that reveal new quantum effects and question the existence of absolute events. But most theoretical and experimental studies of WF scenarios have restricted themselves to a 'friend' composed of a single qubit with idealised measurement settings in an idealised lab. In this work, we consider a specific, unitary model of the interaction between the Friend and the system in the presence of a decohering environment. In particular, we study WF scenarios from the perspective of quantum Darwinism (QD). The QD framework is well-suited to studying the questions of observations and agents in quantum theory that WF scenarios raise, as it is concerned with how observers record objective information about a system with access only to its surroundings. Here we describe how to add environments to simple and extended WF scenarios in the QD framework, and present numerical results that study the emergence of classicality, in the form of the Friend's measurement result becoming more objective. In both the simple and extended cases, we also find that the model and the environment obfuscate genuine WF effects and introduce strong restrictions on them. However, we also find a novel form of WF effect that exploits coherence between the Friend and the environment.
The Wigner's friend experiment is a thought experiment in which a so-called superobserver (Wigner) observes another observer (the friend) who has performed a quantum measurement on a physical system. In this setup Wigner treats the friend, the system and potentially other degrees of freedom involved in the friend's measurement as one joint quantum system. In general, Wigner's measurement changes the internal record of the friend's measurement result such that after the measurement by the superobserver the result stored in the observer's memory register is no longer the same as the result the friend obtained initially, i.e. before she was measured by Wigner. Here, we show that any awareness by the friend of this change of her memory, which can be modeled by an additional register storing the information about the change, conflicts with the no-signaling condition in extended Wigner-friend scenarios.
The famous Wigner's friend experiment considers an observer -- the friend -- and a superobserver -- Wigner -- who treats the friend as a quantum system and her interaction with other quantum systems as unitary dynamics. This is at odds with the friend describing this interaction via collapse dynamics, if she interacts with the quantum system in a way that she would consider a measurement. These different descriptions constitute the Wigner's friend paradox. Extended Wigner's friend experiments combine the original thought experiment with non-locality setups. This allows for deriving local friendliness inequalities, similar to Bell's theorem, which can be violated for certain extended Wigner's friend scenarios. A Wigner's friend paradox and the violation of local friendliness inequalities require that no classical record exists, which reveals the result the friend observed during her measurement. Otherwise Wigner agrees with his friend's description and no local friendliness inequality can be violated. In this article, I introduce classical communication between Wigner and his friend and discuss its effects on the simple as well as extended Wigner's friend experiments. By controlling the properties of a (quasi) classical communication channel between Wigner and the friend one can regulate how much outcome information about the friend's measurement is revealed. This gives a smooth transition between the paradoxical description and the possibility of violating local friendliness inequalities, on the one hand, and the effectively collapsed case, on the other hand.
One of the most fundamental open problems in physics is the unification of general relativity and quantum theory to a theory of quantum gravity. An aspect that might become relevant in such a theory is that the dynamical nature of causal structure present in general relativity displays quantum uncertainty. This may lead to a phenomenon known as indefinite or quantum causal structure, as captured by the process matrix formalism. Due to the generality of that framework, however, for many process matrices there is no clear physical interpretation. A popular approach towards a quantum theory of gravity is the Page-Wootters formalism, which associates to time a Hilbert space structure similar to spatial position. By explicitly introducing a quantum clock, it allows to describe time-evolution of systems via correlations between this clock and said systems encoded in history states. In this paper we combine the process matrix framework with a generalization of the Page-Wootters formalism in which one considers several agents, each with their own discrete quantum clock. We describe how to extract process matrices from scenarios involving such agents with quantum clocks, and analyze their properties. The description via a history state with multiple clocks imposes constraints on the implementation of process matrices and on the perspectives of the agents as described via causal reference frames. While it allows for scenarios where different definite causal orders are coherently controlled, we explain why certain noncausal processes might not be implementable within this setting.
In a recent paper, S. Gao has claimed that, under the assumption that the initial state of the universe is a pure quantum state, only the many worlds interpretation can account for the observed arrow of time. We show that his argument is untenable and that if endorsed it potentially leads to undermine the search for a scientific explanation of certain phenomena.
The quantum measurement problem can be regarded as the tension between the two alternative dynamics prescribed by quantum mechanics: the unitary evolution of the wave function and the state-update rule (or "collapse") at the instant a measurement takes place. The notorious Wigner's friend gedankenexperiment constitutes the paradoxical scenario in which different observers (one of whom is observed by the other) describe one and the same interaction differently, one --the Friend-- via state-update and the other --Wigner-- unitarily. This can lead to Wigner and his friend assigning different probabilities to the outcome of the same subsequent measurement. In this paper, we apply the Page-Wootters mechanism (PWM) as a timeless description of Wigner's friend-like scenarios. We show that the standard rules to assign two-time conditional probabilities within the PWM need to be modified to deal with the Wigner's friend gedankenexperiment. We identify three main definitions of such modified rules to assign two-time conditional probabilities, all of which reduce to standard quantum theory for non-Wigner's friend scenarios. However, when applied to the Wigner's friend setup each rule assigns different conditional probabilities, potentially resolving the probability-assignment paradox in a different manner. Moreover, one rule imposes strict limits on when a joint probability distribution for the measurement outcomes of Wigner and his Friend is well-defined, which single out those cases where Wigner's measurement does not disturb the Friend's memory and such a probability has an operational meaning in terms of collectible statistics. Interestingly, the same limits guarantee that said measurement outcomes fulfill the consistency condition of the consistent histories framework.
The notorious Wigner's friend thought experiment (and modifications thereof) has in recent years received renewed interest especially due to new arguments that force us to question some of the fundamental assumptions of quantum theory. In this paper, we formulate a no-go theorem for the persistent reality of Wigner's friend's perception, which allows us to conclude that the perceptions that the friend has of her own measurement outcomes at different times cannot "share the same reality", if seemingly natural quantum mechanical assumptions are met. More formally, this means that, in a Wigner's friend scenario, there is no joint probability distribution for the friend's perceived measurement outcomes at two different times, that depends linearly on the initial state of the measured system and whose marginals reproduce the predictions of unitary quantum theory. This theorem entails that one must either (1) propose a nonlinear modification of the Born rule for two-time predictions, (2) sometimes prohibit the use of present information to predict the future -- thereby reducing the predictive power of quantum theory -- or (3) deny that unitary quantum mechanics makes valid single-time predictions for all observers. We briefly discuss which of the theorem's assumptions are more likely to be dropped within various popular interpretations of quantum mechanics.
In a joint paper Jeff Bub and Itamar Pitowski argued that the quantum state represents `the credence function of a rational agent [...] who is updating probabilities on the basis of events that occur'. In the famous thought experiment designed by Wigner, Wigner's friend performs a measurement in an isolated laboratory which in turn is measured by Wigner. Here we consider Wigner's friend as a rational agent and ask what her `credence function' is. We find experimental situations in which the friend can convince herself that updating the probabilities on the basis of events that happen solely inside her laboratory is not rational and that conditioning needs to be extended to the information that is available outside of her laboratory. Since the latter can be transmitted into her laboratory, we conclude that the friend is entitled to employ Wigner's perspective on quantum theory when making predictions about the measurements performed on the entire laboratory, in addition to her own perspective, when making predictions about the measurements performed inside the laboratory.
In this comment we critically review an argument against the existence of objective physical outcomes, recently proposed by R. Healey [Foundations of Physics, 48(11), 1568-1589]. We show that his gedankenexperiment, based on a combination of "Wigner's friend" scenarios and Bell's inequalities, suffers from the main criticism, that the computed correlation functions entering the Bell's inequality are in principle experimentally inaccessible, and hence the author's claim is not verifiable. We discuss perspectives for fixing that by adapting the proposed protocol and show that this, however, makes Healey's argument virtually equivalent to other previous, similar proposals that he explicitly criticises.
One of the reasons for the heated debates around the interpretations of quantum theory is a simple confusion between the notions of formalism versus interpretation. In this note, we make a clear distinction between them and show that there are actually two inequivalent quantum formalisms, namely the relative-state formalism and the standard formalism with the Born and measurement-update rules. We further propose a different probability rule for the relative-state formalism and discuss how Wigner's-friend-type experiments could show the inequivalence with the standard formalism. The feasibility in principle of such experiments, however, remains an open question.
Recently, it has been stated that single-world interpretations of quantum theory are logically inconsistent. The claim is derived from contradicting statements of agents in a setup combining two Wigner's-friend experiments. Those statements stem from applying the measurement-update rule subjectively, i.e., only for the respective agent's own measurement. We argue that the contradiction expresses the incompatibility of collapse and unitarity - resulting in different formal descriptions of a measurement - and does not allow to dismiss any specific interpretation of quantum theory.
The recently developed framework for quantum theory with no global causal order allows for quantum processes in which operations in local laboratories are neither causally ordered nor in a probabilistic mixture of definite causal orders. The causal relation between the laboratories is described by the process matrix. We show that, if the inputs of the laboratories are measured in a fixed basis, one can introduce an effective process matrix which is operationally indistinguishable from the original one. This effective process matrix can be obtained by applying the von Neumann- Luders update rule for nonselective measurements to the original process matrix and in the bipartite case it is compatible with a definite causal order. The latter extends the original Oreshkov et al. proof where one considers that both the measurement of the input and the re-preparation of the output are performed in a fixed basis.