-
Thinking twice inside the box: is Wigner's friend really quantum?
Authors:
Caroline L. Jones,
Markus P. Mueller
Abstract:
There has been a surge of recent interest in the Wigner's friend paradox, sparking several novel thought experiments and no-go theorems. The main narrative has been that Wigner's friend highlights a counterintuitive feature that is unique to quantum theory, and which is closely related to the quantum measurement problem. Here, we challenge this view. We argue that the gist of the Wigner's friend p…
▽ More
There has been a surge of recent interest in the Wigner's friend paradox, sparking several novel thought experiments and no-go theorems. The main narrative has been that Wigner's friend highlights a counterintuitive feature that is unique to quantum theory, and which is closely related to the quantum measurement problem. Here, we challenge this view. We argue that the gist of the Wigner's friend paradox can be reproduced without assuming quantum physics, and that it underlies a much broader class of enigmas in the foundations of physics and philosophy. To show this, we first consider several recently proposed extended Wigner's friend scenarios, and demonstrate that their implications for the absoluteness of observations can be reproduced by classical thought experiments that involve the duplication of agents. Crucially, some of these classical scenarios are technologically much easier to implement than their quantum counterparts. Then, we argue that the essential structural ingredient of all these scenarios is a feature that we call "Restriction A": essentially, that a physical theory cannot give us a probabilistic description of the observations of all agents. Finally, we argue that this difficulty is at the core of other puzzles in the foundations of physics and philosophy, and demonstrate this explicitly for cosmology's Boltzmann brain problem. Our analysis suggests that Wigner's friend should be studied in a larger context, addressing a frontier of human knowledge that exceeds the boundaries of quantum physics: to obtain reliable predictions for experiments in which these predictions can be privately but not intersubjectively verified.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Spin-bounded correlations: rotation boxes within and beyond quantum theory
Authors:
Albert Aloy,
Thomas D. Galley,
Caroline L. Jones,
Stefan L. Ludescher,
Markus P. Mueller
Abstract:
How can detector click probabilities respond to spatial rotations around a fixed axis, in any possible physical theory? Here, we give a thorough mathematical analysis of this question in terms of "rotation boxes", which are analogous to the well-known notion of non-local boxes. We prove that quantum theory admits the most general rotational correlations for spins 0, 1/2, and 1, but we describe a m…
▽ More
How can detector click probabilities respond to spatial rotations around a fixed axis, in any possible physical theory? Here, we give a thorough mathematical analysis of this question in terms of "rotation boxes", which are analogous to the well-known notion of non-local boxes. We prove that quantum theory admits the most general rotational correlations for spins 0, 1/2, and 1, but we describe a metrological game where beyond-quantum resources of spin 3/2 outperform all quantum resources of the same spin. We prove a multitude of fundamental results about these correlations, including an exact convex characterization of the spin-1 correlations, a Tsirelson-type inequality for spins 3/2 and higher, and a proof that the general spin-J correlations provide an efficient outer SDP approximation to the quantum set. Furthermore, we review and consolidate earlier results that hint at a wealth of applications of this formalism: a theory-agnostic semi-device-independent randomness generator, an exact characterization of the quantum (2,2,2)-Bell correlations in terms of local symmetries, and the derivation of multipartite Bell witnesses. Our results illuminate the foundational question of how space constrains the structure of quantum theory, they build a bridge between semi-device-independent quantum information and spacetime physics, and they demonstrate interesting relations to topics such as entanglement witnesses, spectrahedra, and orbitopes.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Building a quantum superposition of conscious states with integrated information theory
Authors:
Kelvin J. McQueen,
Ian T. Durham,
Markus P. Mueller
Abstract:
Could there be a quantum superposition of consciousness, as in the Wigner's friend thought experiment? The integrated information theory (IIT) of consciousness has turned this into a well-defined question. According to IIT, consciousness is a measurable physical quantity given by integrated information ($Φ$), such that the amount of consciousness in a system corresponds to its amount of $Φ$. We us…
▽ More
Could there be a quantum superposition of consciousness, as in the Wigner's friend thought experiment? The integrated information theory (IIT) of consciousness has turned this into a well-defined question. According to IIT, consciousness is a measurable physical quantity given by integrated information ($Φ$), such that the amount of consciousness in a system corresponds to its amount of $Φ$. We use the most recent IIT formalism (IIT4.0) to analyze the simplest non-zero $Φ$ system known as a feedback dyad. We then propose a circuit that puts the dyad into a superposition of states which, according to IIT, would correspond to a superposition of conscious states. We refer to this as "Schrödinger's dyad". We therefore show that either IIT is false or the simple dyad is conscious and can easily be put into a superposition of conscious states. We then identify the simplest possible consciousness-collapse model, which predicts that this superposition is unstable and collapses at a rate determined by a measure of difference between the superposed conscious states. Our analysis will enable us to make a number of key observations about the general structure of integrated information theory (IIT2.0, IIT3.0, IIT4.0, and QIIT) and the general structure of consciousness-collapse models.
△ Less
Submitted 24 September, 2023;
originally announced September 2023.
-
Response to "The measurement postulates of quantum mechanics are not redundant"
Authors:
Lluís Masanes,
Thomas D. Galley,
Markus P. Müller
Abstract:
Adrian Kent has recently presented a critique [arXiv:2307.06191] of our paper [Nat. Comms. 10, 1361 (2019)] in which he claims to refute our main result: the measurement postulates of quantum mechanics can be derived from the rest of postulates, once we assume that the set of mixed states of a finite-dimensional Hilbert space is finite-dimensional. To construct his argument, Kent considers theorie…
▽ More
Adrian Kent has recently presented a critique [arXiv:2307.06191] of our paper [Nat. Comms. 10, 1361 (2019)] in which he claims to refute our main result: the measurement postulates of quantum mechanics can be derived from the rest of postulates, once we assume that the set of mixed states of a finite-dimensional Hilbert space is finite-dimensional. To construct his argument, Kent considers theories resulting from supplementing quantum mechanics with hypothetical "post-quantum" measurement devices. We prove that each of these theories contains pure states (i.e. states of maximal knowledge) which are not rays of the Hilbert space, in contradiction with the "pure state postulate" of quantum mechanics. We also prove that these alternatives violate the finite-dimensionality of mixed states. Each of these two facts separately invalidates the refutation. In this note we also clarify the assumptions used in [Nat. Comms. 10, 1361 (2019)] and discuss the notions of pure state, physical system, and the sensitivity of the structure of the state space under modifications of the measurements or the dynamics.
△ Less
Submitted 24 June, 2024; v1 submitted 4 September, 2023;
originally announced September 2023.
-
Reply to "Masanes-Galley-Müller and the State-Update Postulate"
Authors:
Thomas D. Galley,
Lluís Masanes,
Markus P. Müller
Abstract:
In a recent comment on the arXiv, Blake C. Stacey criticizes our derivation of the quantum state update rule in Nat. Commun. 10, 1361 (2019). Here we argue that the criticism is unfounded. In particular, and in contrast to Stacey's claims, our proof does not assume linearity.
In a recent comment on the arXiv, Blake C. Stacey criticizes our derivation of the quantum state update rule in Nat. Commun. 10, 1361 (2019). Here we argue that the criticism is unfounded. In particular, and in contrast to Stacey's claims, our proof does not assume linearity.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
Theory-independent randomness generation with spacetime symmetries
Authors:
Caroline L. Jones,
Stefan L. Ludescher,
Albert Aloy,
Markus P. Mueller
Abstract:
We introduce a class of semi-device-independent protocols based on the breaking of spacetime symmetries. In particular, we characterise how the response of physical systems to spatial rotations constrains the probabilities of events that may be observed: in our setup, the set of quantum correlations arises from rotational symmetry without assuming quantum physics. On a practical level, our results…
▽ More
We introduce a class of semi-device-independent protocols based on the breaking of spacetime symmetries. In particular, we characterise how the response of physical systems to spatial rotations constrains the probabilities of events that may be observed: in our setup, the set of quantum correlations arises from rotational symmetry without assuming quantum physics. On a practical level, our results allow for the generation of secure random numbers without trusting the devices or assuming quantum theory. On a fundamental level, we open a theory-agnostic framework for probing the interplay between probabilities of events (as prevalent in quantum mechanics) and the properties of spacetime (as prevalent in relativity).
△ Less
Submitted 29 July, 2023; v1 submitted 26 October, 2022;
originally announced October 2022.
-
Testing quantum theory by generalizing noncontextuality
Authors:
Markus P. Mueller,
Andrew J. P. Garner
Abstract:
It is a fundamental prediction of quantum theory that states of physical systems are described by complex vectors or density operators on a Hilbert space. However, many experiments admit effective descriptions in terms of other state spaces, such as classical probability distributions or quantum systems with superselection rules. Which kind of effective statistics would allow us to experimentally…
▽ More
It is a fundamental prediction of quantum theory that states of physical systems are described by complex vectors or density operators on a Hilbert space. However, many experiments admit effective descriptions in terms of other state spaces, such as classical probability distributions or quantum systems with superselection rules. Which kind of effective statistics would allow us to experimentally falsify quantum theory as a fundamental description of nature? Here, we address this question by introducing a methodological principle that generalizes Spekkens' notion of noncontextuality: processes that are statistically indistinguishable in an effective theory should not require explanation by multiple distinguishable processes in a more fundamental theory. We formulate this principle in terms of linear embeddings and simulations of one probabilistic theory by another, show how this concept subsumes standard notions of contextuality, and prove a multitude of fundamental results on the exact and approximate embedding of theories (in particular into quantum theory). We prove that only Jordan-algebraic state spaces are exactly embeddable into quantum theory, and show how results on Bell inequalities can be used for the certification of non-approximate embeddability. From this, we propose an experimental test of quantum theory by probing single physical systems without assuming access to a tomographically complete set of procedures or calibration of the devices, arguably avoiding a significant loophole of earlier approaches.
△ Less
Submitted 2 October, 2023; v1 submitted 17 December, 2021;
originally announced December 2021.
-
Entanglement-asymmetry correspondence for internal quantum reference frames
Authors:
Anne-Catherine de la Hamette,
Stefan L. Ludescher,
Markus P. Mueller
Abstract:
In the quantization of gauge theories and quantum gravity, it is crucial to treat reference frames such as rods or clocks not as idealized external classical relata, but as internal quantum subsystems. In the Page-Wootters formalism, for example, evolution of a quantum system S is described by a stationary joint state of S and a quantum clock, where time-dependence of S arises from conditioning on…
▽ More
In the quantization of gauge theories and quantum gravity, it is crucial to treat reference frames such as rods or clocks not as idealized external classical relata, but as internal quantum subsystems. In the Page-Wootters formalism, for example, evolution of a quantum system S is described by a stationary joint state of S and a quantum clock, where time-dependence of S arises from conditioning on the value of the clock. Here, we consider (possibly imperfect) internal quantum reference frames R for arbitrary compact symmetry groups, and show that there is an exact quantitative correspondence between the amount of entanglement in the invariant state on RS and the amount of asymmetry in the corresponding conditional state on S. Surprisingly, this duality holds exactly regardless of the choice of coherent state system used to condition on the reference frame. Averaging asymmetry over all conditional states, we obtain a simple representation-theoretic expression that admits the study of the quality of imperfect quantum reference frames, quantum speed limits for imperfect clocks, and typicality of asymmetry in a unified way. Our results shed light on the role of entanglement for establishing asymmetry in a fully symmetric quantum world.
△ Less
Submitted 28 December, 2022; v1 submitted 30 November, 2021;
originally announced December 2021.
-
Perspective-neutral approach to quantum frame covariance for general symmetry groups
Authors:
Anne-Catherine de la Hamette,
Thomas D. Galley,
Philipp A. Hoehn,
Leon Loveridge,
Markus P. Mueller
Abstract:
In the absence of external relata, internal quantum reference frames (QRFs) appear widely in the literature on quantum gravity, gauge theories and quantum foundations. Here, we extend the perspective-neutral approach to QRF covariance to general unimodular Lie groups. This is a framework that links internal QRF perspectives via a manifestly gauge-invariant Hilbert space in the form of "quantum coo…
▽ More
In the absence of external relata, internal quantum reference frames (QRFs) appear widely in the literature on quantum gravity, gauge theories and quantum foundations. Here, we extend the perspective-neutral approach to QRF covariance to general unimodular Lie groups. This is a framework that links internal QRF perspectives via a manifestly gauge-invariant Hilbert space in the form of "quantum coordinate transformations", and we clarify how it is a quantum extension of special covariance. We model the QRF orientations as coherent states which give rise to a covariant POVM, furnishing a consistent probability interpretation and encompassing non-ideal QRFs whose orientations are not perfectly distinguishable. We generalize the construction of relational observables, establish a variety of their algebraic properties and equip them with a transparent conditional probability interpretation. We import the distinction between gauge transformations and physical symmetries from gauge theories and identify the latter as QRF reorientations. The "quantum coordinate maps" into an internal QRF perspective are constructed via a conditioning on the QRF's orientation, generalizing the Page-Wootters formalism and a symmetry reduction procedure. We find two types of QRF transformations: gauge induced "quantum coordinate transformations" as passive unitary changes of description and symmetry induced active changes of relational observables from one QRF to another. We reveal new effects: (i) QRFs with non-trivial orientation isotropy groups can only resolve isotropy-group-invariant properties of other subsystems; (ii) in the absence of symmetries, the internal perspective Hilbert space "rotates" through the kinematical subsystem Hilbert space as the QRF changes orientation. Finally, we invoke the symmetries to generalize the quantum relativity of subsystems before comparing with other approaches. [Abridged]
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
Internal quantum reference frames for finite Abelian groups
Authors:
Philipp A. Hoehn,
Marius Krumm,
Markus P. Mueller
Abstract:
Employing internal quantum systems as reference frames is a crucial concept in quantum gravity, gauge theories and quantum foundations whenever external relata are unavailable. In this work, we give a comprehensive and self-contained treatment of such quantum reference frames (QRFs) for the case when the underlying configuration space is a finite Abelian group, significantly extending our previous…
▽ More
Employing internal quantum systems as reference frames is a crucial concept in quantum gravity, gauge theories and quantum foundations whenever external relata are unavailable. In this work, we give a comprehensive and self-contained treatment of such quantum reference frames (QRFs) for the case when the underlying configuration space is a finite Abelian group, significantly extending our previous work (Quantum 5, 530 (2021)). The simplicity of this setup admits a fully rigorous quantum information-theoretic analysis, while maintaining sufficient structure for exploring many of the conceptual and structural questions also pertinent to more complicated setups. We exploit this to derive several important structures of constraint quantization with quantum information-theoretic methods and to reveal the relation between different approaches to QRF covariance. In particular, we characterize the "physical Hilbert space" -- the arena of the "perspective-neutral" approach -- as the maximal subspace that admits frame-independent descriptions of purifications of states. We then demonstrate the kinematical equivalence and, surprising, dynamical inequivalence of the "perspective-neutral" and the "alignability" approach to QRFs. While the former admits unitaries generating transitions between arbitrary subsystem relations, the latter, remarkably, admits no such dynamics when requiring symmetry-preservation. We illustrate these findings by example of interacting discrete particles, including how dynamics can be described "relative to one of the subsystems".
△ Less
Submitted 28 November, 2022; v1 submitted 15 July, 2021;
originally announced July 2021.
-
Free agency and determinism: is there a sensible definition of computational sourcehood?
Authors:
Marius Krumm,
Markus P. Mueller
Abstract:
Can free agency be compatible with determinism? Compatibilists argue that the answer is yes, and it has been suggested that the computer science principle of "computational irreducibility" sheds light on this compatibility. It implies that there cannot in general be shortcuts to predict the behavior of agents, explaining why deterministic agents often appear to act freely. In this paper, we introd…
▽ More
Can free agency be compatible with determinism? Compatibilists argue that the answer is yes, and it has been suggested that the computer science principle of "computational irreducibility" sheds light on this compatibility. It implies that there cannot in general be shortcuts to predict the behavior of agents, explaining why deterministic agents often appear to act freely. In this paper, we introduce a variant of computational irreducibility that intends to capture more accurately aspects of actual (as opposed to apparent) free agency: computational sourcehood, i.e. the phenomenon that the successful prediction of a process' behavior must typically involve an almost-exact representation of the relevant features of that process, regardless of the time it takes to arrive at the prediction. We argue that this can be understood as saying that the process itself is the source of its actions, and we conjecture that many computational processes have this property. The main contribution of this paper is technical: we analyze whether and how a sensible formal definition of computational sourcehood is possible. While we do not answer the question completely, we show how it is related to finding a particular simulation preorder on Turing machines, we uncover concrete stumbling blocks towards constructing such a definition, and demonstrate that structure-preserving (as opposed to merely simple or efficient) functions between levels of simulation play a crucial role.
△ Less
Submitted 6 June, 2023; v1 submitted 27 January, 2021;
originally announced January 2021.
-
Quantum Darwinism and the spreading of classical information in non-classical theories
Authors:
Roberto D. Baldijao,
Marius Krumm,
Andrew J. P. Garner,
Markus P. Mueller
Abstract:
Quantum Darwinism posits that the emergence of a classical reality relies on the spreading of classical information from a quantum system to many parts of its environment. But what are the essential physical principles of quantum theory that make this mechanism possible? We address this question by formulating the simplest instance of Darwinism - CNOT-like fan-out interactions - in a class of prob…
▽ More
Quantum Darwinism posits that the emergence of a classical reality relies on the spreading of classical information from a quantum system to many parts of its environment. But what are the essential physical principles of quantum theory that make this mechanism possible? We address this question by formulating the simplest instance of Darwinism - CNOT-like fan-out interactions - in a class of probabilistic theories that contain classical and quantum theory as special cases. We determine necessary and sufficient conditions for any theory to admit such interactions. We find that every theory with non-classical features that admits this idealized spreading of classical information must have both entangled states and entangled measurements. Furthermore, we show that Spekkens' toy theory admits this form of Darwinism, and so do all probabilistic theories that satisfy principles like strong symmetry, or contain a certain type of decoherence processes. Our result suggests the counter-intuitive general principle that in the presence of local non-classicality, a classical world can only emerge if this non-classicality can be "amplified" to a form of entanglement.
△ Less
Submitted 10 January, 2022; v1 submitted 11 December, 2020;
originally announced December 2020.
-
Quantum reference frame transformations as symmetries and the paradox of the third particle
Authors:
Marius Krumm,
Philipp A. Hoehn,
Markus P. Mueller
Abstract:
In a quantum world, reference frames are ultimately quantum systems too -- but what does it mean to "jump into the perspective of a quantum particle"? In this work, we show that quantum reference frame (QRF) transformations appear naturally as symmetries of simple physical systems. This allows us to rederive and generalize known QRF transformations within an alternative, operationally transparent…
▽ More
In a quantum world, reference frames are ultimately quantum systems too -- but what does it mean to "jump into the perspective of a quantum particle"? In this work, we show that quantum reference frame (QRF) transformations appear naturally as symmetries of simple physical systems. This allows us to rederive and generalize known QRF transformations within an alternative, operationally transparent framework, and to shed new light on their structure and interpretation. We give an explicit description of the observables that are measurable by agents constrained by such quantum symmetries, and apply our results to a puzzle known as the `paradox of the third particle'. We argue that it can be reduced to the question of how to relationally embed fewer into more particles, and give a thorough physical and algebraic analysis of this question. This leads us to a generalization of the partial trace (`relational trace') which arguably resolves the paradox, and it uncovers important structures of constraint quantization within a simple quantum information setting, such as relational observables which are key in this resolution. While we restrict our attention to finite Abelian groups for transparency and mathematical rigor, the intuitive physical appeal of our results makes us expect that they remain valid in more general situations.
△ Less
Submitted 21 August, 2021; v1 submitted 3 November, 2020;
originally announced November 2020.
-
Probabilistic Theories and Reconstructions of Quantum Theory (Les Houches 2019 lecture notes)
Authors:
Markus P. Mueller
Abstract:
These lecture notes provide a basic introduction to the framework of generalized probabilistic theories (GPTs) and a sketch of a reconstruction of quantum theory (QT) from simple operational principles. To build some intuition for how physics could be even more general than quantum, I present two conceivable phenomena beyond QT: superstrong nonlocality and higher-order interference. Then I introdu…
▽ More
These lecture notes provide a basic introduction to the framework of generalized probabilistic theories (GPTs) and a sketch of a reconstruction of quantum theory (QT) from simple operational principles. To build some intuition for how physics could be even more general than quantum, I present two conceivable phenomena beyond QT: superstrong nonlocality and higher-order interference. Then I introduce the framework of GPTs, generalizing both quantum and classical probability theory. Finally, I summarize a reconstruction of QT from the principles of Tomographic Locality, Continuous Reversibility, and the Subspace Axiom. In particular, I show why a quantum bit is described by a Bloch ball, why it is three-dimensional, and how one obtains the complex numbers and operators of the usual representation of QT.
△ Less
Submitted 30 March, 2021; v1 submitted 2 November, 2020;
originally announced November 2020.
-
Undecidability and unpredictability: not limitations, but triumphs of science
Authors:
Markus P. Mueller
Abstract:
It is a widespread belief that results like Gödel's incompleteness theorems or the intrinsic randomness of quantum mechanics represent fundamental limitations to humanity's strive for scientific knowledge. As the argument goes, there are truths that we can never uncover with our scientific methods, hence we should be humble and acknowledge a reality beyond our scientific grasp. Here, I argue that…
▽ More
It is a widespread belief that results like Gödel's incompleteness theorems or the intrinsic randomness of quantum mechanics represent fundamental limitations to humanity's strive for scientific knowledge. As the argument goes, there are truths that we can never uncover with our scientific methods, hence we should be humble and acknowledge a reality beyond our scientific grasp. Here, I argue that this view is wrong. It originates in a naive form of metaphysics that sees the physical and Platonic worlds as a collection of things with definite properties such that all answers to all possible questions exist ontologically somehow, but are epistemically inaccessible. This view is not only a priori philosophically questionable, but also at odds with modern physics. Hence, I argue to replace this perspective by a worldview in which a structural notion of `real patterns', not `things' are regarded as fundamental. Instead of a limitation of what we can know, undecidability and unpredictability then become mere statements of undifferentiation of structure. This gives us a notion of realism that is better informed by modern physics, and an optimistic outlook on what we can achieve: we can know what there is to know, despite the apparent barriers of undecidability results.
△ Less
Submitted 27 August, 2021; v1 submitted 22 August, 2020;
originally announced August 2020.
-
Characterization of the probabilistic models that can be embedded in quantum theory
Authors:
Andrew J. P. Garner,
Markus P. Mueller
Abstract:
Quantum bits can be isolated to perform useful information-theoretic tasks, even though physical systems are fundamentally described by very high-dimensional operator algebras. This is because qubits can be consistently embedded into higher-dimensional Hilbert spaces. A similar embedding of classical probability distributions into quantum theory enables the emergence of classical physics via decoh…
▽ More
Quantum bits can be isolated to perform useful information-theoretic tasks, even though physical systems are fundamentally described by very high-dimensional operator algebras. This is because qubits can be consistently embedded into higher-dimensional Hilbert spaces. A similar embedding of classical probability distributions into quantum theory enables the emergence of classical physics via decoherence. Here, we ask which other probabilistic models can similarly be embedded into finite-dimensional quantum theory. We show that the embeddable models are exactly those that correspond to the Euclidean special Jordan algebras: quantum theory over the reals, the complex numbers, or the quaternions, and "spin factors" (qubits with more than three degrees of freedom), and direct sums thereof. Among those, only classical and standard quantum theory with superselection rules can arise from a physical decoherence map. Our results have significant consequences for some experimental tests of quantum theory, by clarifying how they could (or could not) falsify it. Furthermore, they imply that all unrestricted non-classical models must be contextual.
△ Less
Submitted 2 October, 2023; v1 submitted 13 April, 2020;
originally announced April 2020.
-
Semi-device-independent information processing with spatiotemporal degrees of freedom
Authors:
Andrew J. P. Garner,
Marius Krumm,
Markus P. Mueller
Abstract:
Nonlocality, as demonstrated by the violation of Bell inequalities, enables device-independent cryptographic tasks that do not require users to trust their apparatus. In this article, we consider devices whose inputs are spatiotemporal degrees of freedom, e.g. orientations or time durations. Without assuming the validity of quantum theory, we prove that the devices' statistical response must respe…
▽ More
Nonlocality, as demonstrated by the violation of Bell inequalities, enables device-independent cryptographic tasks that do not require users to trust their apparatus. In this article, we consider devices whose inputs are spatiotemporal degrees of freedom, e.g. orientations or time durations. Without assuming the validity of quantum theory, we prove that the devices' statistical response must respect their input's symmetries, with profound foundational and technological implications. We exactly characterize the bipartite binary quantum correlations in terms of local symmetries, indicating a fundamental relation between spacetime and quantum theory. For Bell experiments characterized by two input angles, we show that the correlations are accounted for by a local hidden variable model if they contain enough noise, but conversely must be nonlocal if they are pure enough. This allows us to construct a "Bell witness" that certifies nonlocality with fewer measurements than possible without such spatiotemporal symmetries, suggesting a new class of semi-device-independent protocols for quantum technologies.
△ Less
Submitted 3 February, 2020; v1 submitted 22 July, 2019;
originally announced July 2019.
-
General Bayesian theories and the emergence of the exclusivity principle
Authors:
Giulio Chiribella,
Adán Cabello,
Matthias Kleinmann,
Markus P. Müller
Abstract:
We address the problem of reconstructing quantum theory from the perspective of an agent who makes bets about the outcomes of possible experiments. We build a general Bayesian framework that can be used to organize the agent's beliefs and update them when new information becomes available. Our framework includes as special cases classical and quantum probability theory, as well as other forms of p…
▽ More
We address the problem of reconstructing quantum theory from the perspective of an agent who makes bets about the outcomes of possible experiments. We build a general Bayesian framework that can be used to organize the agent's beliefs and update them when new information becomes available. Our framework includes as special cases classical and quantum probability theory, as well as other forms of probabilistic reasoning that may arise in future physical theories. Building on this framework, we develop a notion of ideal experiment, which in quantum theory coincides with the notion of projective measurement. We then prove that, in every general Bayesian theory, ideal experiments must satisfy the exclusivity principle, a property of projective measurements that plays a central role in the characterization of quantum correlations. Our result suggests that the set of quantum correlations may be completely characterized in terms of Bayesian consistency conditions.
△ Less
Submitted 27 October, 2020; v1 submitted 31 January, 2019;
originally announced January 2019.
-
Mind before matter: reversing the arrow of fundamentality
Authors:
Markus P. Mueller
Abstract:
In this contribution to FQXi's essay contest 2018, I suggest that it is sometimes a step forward to reverse our intuition on "what is fundamental", a move that is somewhat reminiscent of the idea of noncommutative geometry. I argue that some foundational conceptual problems in physics and related fields motivate us to attempt such a reversal of perspective, and to take seriously the idea that an i…
▽ More
In this contribution to FQXi's essay contest 2018, I suggest that it is sometimes a step forward to reverse our intuition on "what is fundamental", a move that is somewhat reminiscent of the idea of noncommutative geometry. I argue that some foundational conceptual problems in physics and related fields motivate us to attempt such a reversal of perspective, and to take seriously the idea that an information-theoretic notion of observer ("mind") could in some sense be more fundamental than our intuitive idea of a physical world ("matter"). I sketch what such an approach could look like, and why it would complement but not contradict the view that the material world is the cause of our experience.
△ Less
Submitted 20 December, 2018;
originally announced December 2018.
-
Coherence and asymmetry cannot be broadcast
Authors:
Matteo Lostaglio,
Markus P. Mueller
Abstract:
In the presence of conservation laws, superpositions of eigenstates of the corresponding conserved quantities cannot be generated by quantum dynamics. Thus, any such coherence represents a potentially valuable resource of asymmetry, which can be used, for example, to enhance the precision of quantum metrology or to enable state transitions in quantum thermodynamics. Here we ask if such superpositi…
▽ More
In the presence of conservation laws, superpositions of eigenstates of the corresponding conserved quantities cannot be generated by quantum dynamics. Thus, any such coherence represents a potentially valuable resource of asymmetry, which can be used, for example, to enhance the precision of quantum metrology or to enable state transitions in quantum thermodynamics. Here we ask if such superpositions, already present in a reference system, can be broadcast to other systems, thereby distributing asymmetry indefinitely at the expense of creating correlations. We prove a no-go theorem showing that this is forbidden by quantum mechanics in every finite-dimensional system. In doing so we also answer some open questions in the quantum information literature concerning the sharing of timing information of a clock and the possibility of catalysis in quantum thermodynamics. We also prove that even weaker forms of broadcasting, of which Aberg's `catalytic coherence' is a particular example, can only occur in the presence of infinite-dimensional reference systems. Our results set fundamental limits to the creation and manipulation of quantum coherence and shed light on the possibilities and limitations of quantum reference frames to act catalytically without being degraded.
△ Less
Submitted 15 July, 2019; v1 submitted 19 December, 2018;
originally announced December 2018.
-
The measurement postulates of quantum mechanics are operationally redundant
Authors:
Lluís Masanes,
Thomas D. Galley,
Markus P. Müller
Abstract:
Understanding the core content of quantum mechanics requires us to disentangle the hidden logical relationships between the postulates of this theory. Here we show that the mathematical structure of quantum measurements, the formula for assigning outcome probabilities (Born's rule) and the post-measurement state-update rule, can be deduced from the other quantum postulates, often referred to as "u…
▽ More
Understanding the core content of quantum mechanics requires us to disentangle the hidden logical relationships between the postulates of this theory. Here we show that the mathematical structure of quantum measurements, the formula for assigning outcome probabilities (Born's rule) and the post-measurement state-update rule, can be deduced from the other quantum postulates, often referred to as "unitary quantum mechanics", and the assumption that ensembles on finite-dimensional Hilbert spaces are characterised by finitely many parameters. This is achieved by taking an operational approach to physical theories, and using the fact that the manner in which a physical system is partitioned into subsystems is a subjective choice of the observer, and hence should not affect the predictions of the theory. In contrast to other approaches, our result does not assume that measurements are related to operators or bases, it does not rely on the universality of quantum mechanics, and it is independent of the interpretation of probability.
△ Less
Submitted 1 April, 2019; v1 submitted 27 November, 2018;
originally announced November 2018.
-
A local quantum Mach principle and the metricity of spacetime
Authors:
Philipp A Hoehn,
Markus P Mueller,
Christian Pfeifer,
Dennis Raetzel
Abstract:
We revisit the old question of what distinguishes the formulation of spacetime geometry in terms of a Lorentzian metric physically from more general geometric structures. Our approach to this question is operational and leads us to also revisit the notion of local inertial frames, arising in operational formulations of the equivalence and Mach's principle, both of which can be interpreted in gener…
▽ More
We revisit the old question of what distinguishes the formulation of spacetime geometry in terms of a Lorentzian metric physically from more general geometric structures. Our approach to this question is operational and leads us to also revisit the notion of local inertial frames, arising in operational formulations of the equivalence and Mach's principle, both of which can be interpreted in generalized geometries. We extend the notion of inertial laboratory frames by taking serious that all matter inside the lab is fundamentally quantum and considering how it may couple to the quantum gravitational degrees of freedom generating the ambient effective spacetime structure. This revolves around the question of which structures an agent inside the inertial laboratory has available to operationally define the orientation of their reference frame, an aspect on which both the equivalence and Mach's principle are silent. We then contemplate the situation of a completely inertial laboratory, which, in terms of the quantum matter experiments inside it, is not only isolated from any matter outside it, but also from a direct coupling to effective quantum gravitational degrees of freedom. We formulate this as a local Mach principle (LMP): a local inertial laboratory has to be self-sufficient, so that an agent can only resort to relations among the quantum matter systems inside it to self-generate any reference structures relative to which to orient their frame. The transformations between different frame orientations thereby originate in the local quantum matter structures. Combining this with dispersion relations leads to various non-trivial compatibility conditions on the spacetime structures encoded by them. This permits us to formulate additional operational assumptions under which the LMP singles out Lorentzian metric spacetimes within generalized geometries defined by dispersion relations.
△ Less
Submitted 6 November, 2018;
originally announced November 2018.
-
Von Neumann entropy from unitarity
Authors:
P. Boes,
J. Eisert,
R. Gallego,
M. P. Mueller,
H. Wilming
Abstract:
The von Neumann entropy is a key quantity in quantum information theory and, roughly speaking, quantifies the amount of quantum information contained in a state when many identical and independent i.i.d. copies of the state are available, in a regime that is often referred to as being asymptotic. In this work, we provide a new operational characterization of the von Neumann entropy which neither r…
▽ More
The von Neumann entropy is a key quantity in quantum information theory and, roughly speaking, quantifies the amount of quantum information contained in a state when many identical and independent i.i.d. copies of the state are available, in a regime that is often referred to as being asymptotic. In this work, we provide a new operational characterization of the von Neumann entropy which neither requires an i.i.d. limit nor any explicit randomness. We do so by showing that the von Neumann entropy fully characterizes single-shot state transitions in unitary quantum mechanics, as long as one has access to a catalyst - an ancillary system that can be re-used after the transition - and an environment which has the effect of dephasing in a preferred basis. Building upon these insights, we formulate and provide evidence for the catalytic entropy conjecture, which states that the above result holds true even in the absence of decoherence. If true, this would prove an intimate connection between single-shot state transitions in unitary quantum mechanics and the von Neumann entropy. Our results add significant support to recent insights that, contrary to common wisdom, the standard von Neumann entropy also characterizes single-shot situations and opens up the possibility for operational single-shot interpretations of other standard entropic quantities. We discuss implications of these insights to readings of the third law of quantum thermodynamics and hint at potentially profound implications to holography.
△ Less
Submitted 23 July, 2018;
originally announced July 2018.
-
Quantum computation is the unique reversible circuit model for which bits are balls
Authors:
Marius Krumm,
Markus P. Mueller
Abstract:
The computational efficiency of quantum mechanics can be defined in terms of the qubit circuit model, which is characterized by a few simple properties: each computational gate is a reversible transformation in a connected matrix group; single wires carry quantum bits, i.e. states of a three-dimensional Bloch ball; states on two or more wires are uniquely determined by local measurement statistics…
▽ More
The computational efficiency of quantum mechanics can be defined in terms of the qubit circuit model, which is characterized by a few simple properties: each computational gate is a reversible transformation in a connected matrix group; single wires carry quantum bits, i.e. states of a three-dimensional Bloch ball; states on two or more wires are uniquely determined by local measurement statistics and their correlations. In this paper, we ask whether other types of computation are possible if we relax one of those characteristics (and keep all others), namely, if we allow wires to be described by d-dimensional Bloch balls, where d is different from three. Theories of this kind have previously been proposed as possible generalizations of quantum physics, and it has been conjectured that some of them allow for interesting multipartite reversible transformations that cannot be realized within quantum theory. However, here we show that all such potential beyond-quantum models of computation are trivial: if d is not three, then the set of reversible transformations consists entirely of single-bit gates, and not even classical computation is possible. In this sense, qubit quantum computation is an island in theoryspace.
△ Less
Submitted 28 January, 2019; v1 submitted 16 April, 2018;
originally announced April 2018.
-
Law without law: from observer states to physics via algorithmic information theory
Authors:
Markus P. Mueller
Abstract:
According to our current conception of physics, any valid physical theory is supposed to describe the objective evolution of a unique external world. However, this condition is challenged by quantum theory, which suggests that physical systems should not always be understood as having objective properties which are simply revealed by measurement. Furthermore, as argued below, several other concept…
▽ More
According to our current conception of physics, any valid physical theory is supposed to describe the objective evolution of a unique external world. However, this condition is challenged by quantum theory, which suggests that physical systems should not always be understood as having objective properties which are simply revealed by measurement. Furthermore, as argued below, several other conceptual puzzles in the foundations of physics and related fields point to limitations of our current perspective and motivate the exploration of an alternative: to start with the first-person (the observer) rather than the third-person perspective (the world). In this work, I propose a rigorous approach of this kind on the basis of algorithmic information theory. It is based on a single postulate: that universal induction determines the chances of what any observer sees next. That is, instead of a world or physical laws, it is the local state of the observer alone that determines those probabilities. Surprisingly, despite its solipsistic foundation, I show that the resulting theory recovers many features of our established physical worldview: it predicts that it appears to observers as if there was an external world that evolves according to simple, computable, probabilistic laws. In contrast to the standard view, objective reality is not assumed on this approach but rather provably emerges as an asymptotic statistical phenomenon. The resulting theory dissolves puzzles like cosmology's Boltzmann brain problem, makes concrete predictions for thought experiments like the computer simulation of agents, and suggests novel phenomena such as "probabilistic zombies" governed by observer-dependent probabilistic chances. It also suggests that some basic phenomena of quantum theory (Bell inequality violation and no-signalling) might be understood as consequences of this framework.
△ Less
Submitted 7 July, 2020; v1 submitted 5 December, 2017;
originally announced December 2017.
-
Could the physical world be emergent instead of fundamental, and why should we ask? (short version)
Authors:
Markus P. Mueller
Abstract:
In physics, there is the prevailing intuition that we are part of a unique external world, and that the goal of physics is to understand and describe this world. This assumption of the fundamentality of objective reality is often seen as a major prerequisite of any kind of scientific reasoning. However, here I argue that we should consider relaxing this assumption in a specific way in some context…
▽ More
In physics, there is the prevailing intuition that we are part of a unique external world, and that the goal of physics is to understand and describe this world. This assumption of the fundamentality of objective reality is often seen as a major prerequisite of any kind of scientific reasoning. However, here I argue that we should consider relaxing this assumption in a specific way in some contexts. Namely, there is a collection of open questions in and around physics that can arguably be addressed in a substantially more consistent and rigorous way if we consider the possibility that the first-person perspective is ultimately more fundamental than our usual notion of external world. These are questions like: which probabilities should an observer assign to future experiences if she is told that she will be simulated on a computer? How should we think of cosmology's Boltzmann brain problem, and what can we learn from the fact that measurements in quantum theory seem to do more than just reveal preexisting properties? Why are there simple computable laws of physics in the first place? This note summarizes a longer companion paper which constructs a mathematically rigorous theory along those lines, suggesting a simple and unified framework (rooted in algorithmic information theory) to address questions like those above. It is not meant as a "theory of everything" (in fact, it predicts its own limitations), but it shows how a notion of objective external world, looking very much like our own, can provably emerge from a starting point in which the first-person perspective is primary, without apriori assumptions on the existence of "laws" or a "physical world". While the ideas here are perfectly compatible with physics as we know it, they imply some quite surprising predictions and suggest that we may want to substantially revise the way we think about some foundational questions.
△ Less
Submitted 18 July, 2019; v1 submitted 5 December, 2017;
originally announced December 2017.
-
Generalized eigenstate typicality in translation-invariant quasifree fermionic models
Authors:
Jonathon Riddell,
Markus P. Mueller
Abstract:
We demonstrate a generalized notion of eigenstate thermalization for translation-invariant quasifree fermionic models: the vast majority of eigenstates satisfying a finite number of suitable constraints (e.g. fixed energy and particle number) have the property that their reduced density matrix on small subsystems approximates the corresponding generalized Gibbs ensemble. To this end, we generalize…
▽ More
We demonstrate a generalized notion of eigenstate thermalization for translation-invariant quasifree fermionic models: the vast majority of eigenstates satisfying a finite number of suitable constraints (e.g. fixed energy and particle number) have the property that their reduced density matrix on small subsystems approximates the corresponding generalized Gibbs ensemble. To this end, we generalize analytic results by Lai and Yang (Phys. Rev. B 91, 081110 (2015)) and illustrate the claim numerically by example of the Jordan-Wigner transform of the XX spin chain.
△ Less
Submitted 16 January, 2018; v1 submitted 16 September, 2017;
originally announced September 2017.
-
Quantum theory as a principle theory: insights from an information-theoretic reconstruction
Authors:
Adam Koberinski,
Markus P. Mueller
Abstract:
We give a condensed and accessible summary of a recent derivation of quantum theory from information-theoretic principles, and use it to study the consequences of this and other reconstructions for our conceptual understanding of the quantum world. Since these principles are to a large extent expressed in computational terminology, we argue that the hypothesis of "physics as computation", if suita…
▽ More
We give a condensed and accessible summary of a recent derivation of quantum theory from information-theoretic principles, and use it to study the consequences of this and other reconstructions for our conceptual understanding of the quantum world. Since these principles are to a large extent expressed in computational terminology, we argue that the hypothesis of "physics as computation", if suitably interpreted, attains surprising explanatory power. Similarly as Jeffrey Bub and others, we conclude that quantum theory should be understood as a "principle theory of information", and we regard this view as a partial interpretation of quantum theory. We outline three options for completion into a full-fledged interpretation of quantum theory, but argue that, despite their interpretational agnosticism, the principled reconstructions pose a challenge for existing psi-ontic interpretations. We also argue that continuous reversible time evolution can be understood as a characteristic property of quantum theory, offering a possible answer to Chris Fuchs' search for a "glimpse of quantum reality".
△ Less
Submitted 18 July, 2017;
originally announced July 2017.
-
Correlating thermal machines and the second law at the nanoscale
Authors:
Markus P. Mueller
Abstract:
Thermodynamics at the nanoscale is known to differ significantly from its familiar macroscopic counterpart: the possibility of state transitions is not determined by free energy alone, but by an infinite family of free-energy-like quantities; strong fluctuations (possibly of quantum origin) allow to extract less work reliably than what is expected from computing the free energy difference. However…
▽ More
Thermodynamics at the nanoscale is known to differ significantly from its familiar macroscopic counterpart: the possibility of state transitions is not determined by free energy alone, but by an infinite family of free-energy-like quantities; strong fluctuations (possibly of quantum origin) allow to extract less work reliably than what is expected from computing the free energy difference. However, these known results rely crucially on the assumption that the thermal machine is not only exactly preserved in every cycle, but also kept uncorrelated from the quantum systems on which it acts. Here we lift this restriction: we allow the machine to become correlated with the microscopic systems on which it acts, while still exactly preserving its own state. Surprisingly, we show that this restores the second law in its original form: free energy alone determines the possible state transitions, and the corresponding amount of work can be invested or extracted from single systems exactly and without any fluctuations. At the same time, the work reservoir remains uncorrelated from all other systems and parts of the machine. Thus, microscopic machines can increase their efficiency via clever "correlation engineering" in a perfectly cyclic manner, which is achieved by a catalytic system that can sometimes be as small as a single qubit (though some setups require very large catalysts). Our results also solve some open mathematical problems on majorization which may lead to further applications in entanglement theory.
△ Less
Submitted 20 December, 2018; v1 submitted 11 July, 2017;
originally announced July 2017.
-
Comment on 'Comment on "Hamiltonian for the zeros of the Riemann zeta function" '
Authors:
Carl M. Bender,
Dorje C. Brody,
Markus P. Müller
Abstract:
This paper is in response to a recent comment by Bellissard [arXiv:1704.02644] on the paper [Phys. Rev. Lett. 118, 130201 (2017)]. It is explained that the issues raised in the comment have already been discussed in the paper and do not affect the conclusions of the paper.
This paper is in response to a recent comment by Bellissard [arXiv:1704.02644] on the paper [Phys. Rev. Lett. 118, 130201 (2017)]. It is explained that the issues raised in the comment have already been discussed in the paper and do not affect the conclusions of the paper.
△ Less
Submitted 18 May, 2017;
originally announced May 2017.
-
A note on "Hamiltonian for the zeros of the Riemann zeta function"
Authors:
Markus P. Mueller
Abstract:
This brief note explicates some mathematical details of Phys. Rev. Lett. 118, 130201 (2017), by showing how a version of the operator of that paper can be rigorously constructed on a well-defined linear space of functions.
This brief note explicates some mathematical details of Phys. Rev. Lett. 118, 130201 (2017), by showing how a version of the operator of that paper can be rigorously constructed on a well-defined linear space of functions.
△ Less
Submitted 27 September, 2017; v1 submitted 15 April, 2017;
originally announced April 2017.
-
Is the local linearity of space-time inherited from the linearity of probabilities?
Authors:
Markus P. Mueller,
Sylvain Carrozza,
Philipp A Hoehn
Abstract:
The appearance of linear spaces, describing physical quantities by vectors and tensors, is ubiquitous in all of physics, from classical mechanics to the modern notion of local Lorentz invariance. However, as natural as this seems to the physicist, most computer scientists would argue that something like a "local linear tangent space" is not very typical and in fact a quite surprising property of a…
▽ More
The appearance of linear spaces, describing physical quantities by vectors and tensors, is ubiquitous in all of physics, from classical mechanics to the modern notion of local Lorentz invariance. However, as natural as this seems to the physicist, most computer scientists would argue that something like a "local linear tangent space" is not very typical and in fact a quite surprising property of any conceivable world or algorithm. In this paper, we take the perspective of the computer scientist seriously, and ask whether there could be any inherently information-theoretic reason to expect this notion of linearity to appear in physics. We give a series of simple arguments, spanning quantum information theory, group representation theory, and renormalization in quantum gravity, that supports a surprising thesis: namely, that the local linearity of space-time might ultimately be a consequence of the linearity of probabilities. While our arguments involve a fair amount of speculation, they have the virtue of being independent of any detailed assumptions on quantum gravity, and they are in harmony with several independent recent ideas on emergent space-time in high-energy physics.
△ Less
Submitted 11 January, 2017; v1 submitted 30 August, 2016;
originally announced August 2016.
-
Thermodynamics and the structure of quantum theory
Authors:
Marius Krumm,
Howard Barnum,
Jonathan Barrett,
Markus P. Mueller
Abstract:
Despite its enormous empirical success, the formalism of quantum theory still raises fundamental questions: why is nature described in terms of complex Hilbert spaces, and what modifications of it could we reasonably expect to find in some regimes of physics? Here we address these questions by studying how compatibility with thermodynamics constrains the structure of quantum theory. We employ two…
▽ More
Despite its enormous empirical success, the formalism of quantum theory still raises fundamental questions: why is nature described in terms of complex Hilbert spaces, and what modifications of it could we reasonably expect to find in some regimes of physics? Here we address these questions by studying how compatibility with thermodynamics constrains the structure of quantum theory. We employ two postulates that any probabilistic theory with reasonable thermodynamic behavior should arguably satisfy. In the framework of generalized probabilistic theories, we show that these postulates already imply important aspects of quantum theory, like self-duality and analogues of projective measurements, subspaces and eigenvalues. However, they may still admit a class of theories beyond quantum mechanics. Using a thought experiment by von Neumann, we show that these theories admit a consistent thermodynamic notion of entropy, and prove that the second law holds for projective measurements and mixing procedures. Furthermore, we study additional entropy-like quantities based on measurement probabilities and convex decomposition probabilities, and uncover a relation between one of these quantities and Sorkin's notion of higher-order interference.
△ Less
Submitted 25 April, 2017; v1 submitted 15 August, 2016;
originally announced August 2016.
-
Hamiltonian for the zeros of the Riemann zeta function
Authors:
Carl M. Bender,
Dorje C. Brody,
Markus P. Müller
Abstract:
A Hamiltonian operator $\hat H$ is constructed with the property that if the eigenfunctions obey a suitable boundary condition, then the associated eigenvalues correspond to the nontrivial zeros of the Riemann zeta function. The classical limit of $\hat H$ is $2xp$, which is consistent with the Berry-Keating conjecture. While $\hat H$ is not Hermitian in the conventional sense, ${\rm i}{\hat H}$ i…
▽ More
A Hamiltonian operator $\hat H$ is constructed with the property that if the eigenfunctions obey a suitable boundary condition, then the associated eigenvalues correspond to the nontrivial zeros of the Riemann zeta function. The classical limit of $\hat H$ is $2xp$, which is consistent with the Berry-Keating conjecture. While $\hat H$ is not Hermitian in the conventional sense, ${\rm i}{\hat H}$ is ${\cal PT}$ symmetric with a broken ${\cal PT}$ symmetry, thus allowing for the possibility that all eigenvalues of $\hat H$ are real. A heuristic analysis is presented for the construction of the metric operator to define an inner-product space, on which the Hamiltonian is Hermitian. If the analysis presented here can be made rigorous to show that ${\hat H}$ is manifestly self-adjoint, then this implies that the Riemann hypothesis holds true.
△ Less
Submitted 6 March, 2017; v1 submitted 12 August, 2016;
originally announced August 2016.
-
Quantum Horn's lemma, finite heat baths, and the third law of thermodynamics
Authors:
Jakob Scharlau,
Markus P. Mueller
Abstract:
Interactions of quantum systems with their environment play a crucial role in resource-theoretic approaches to thermodynamics in the microscopic regime. Here, we analyze the possible state transitions in the presence of "small" heat baths of bounded dimension and energy. We show that for operations on quantum systems with fully degenerate Hamiltonian (noisy operations), all possible state transiti…
▽ More
Interactions of quantum systems with their environment play a crucial role in resource-theoretic approaches to thermodynamics in the microscopic regime. Here, we analyze the possible state transitions in the presence of "small" heat baths of bounded dimension and energy. We show that for operations on quantum systems with fully degenerate Hamiltonian (noisy operations), all possible state transitions can be realized exactly with a bath that is of the same size as the system or smaller, which proves a quantum version of Horn's lemma as conjectured by Bengtsson and Zyczkowski. On the other hand, if the system's Hamiltonian is not fully degenerate (thermal operations), we show that some possible transitions can only be performed with a heat bath that is unbounded in size and energy, which is an instance of the third law of thermodynamics. In both cases, we prove that quantum operations yield an advantage over classical ones for any given finite heat bath, by allowing a larger and more physically realistic set of state transitions.
△ Less
Submitted 10 February, 2018; v1 submitted 19 May, 2016;
originally announced May 2016.
-
Entropy, majorization and thermodynamics in general probabilistic theories
Authors:
Howard Barnum,
Jonathan Barrett,
Marius Krumm,
Markus P. Müller
Abstract:
In this note we lay some groundwork for the resource theory of thermodynamics in general probabilistic theories (GPTs). We consider theories satisfying a purely convex abstraction of the spectral decomposition of density matrices: that every state has a decomposition, with unique probabilities, into perfectly distinguishable pure states. The spectral entropy, and analogues using other Schur-concav…
▽ More
In this note we lay some groundwork for the resource theory of thermodynamics in general probabilistic theories (GPTs). We consider theories satisfying a purely convex abstraction of the spectral decomposition of density matrices: that every state has a decomposition, with unique probabilities, into perfectly distinguishable pure states. The spectral entropy, and analogues using other Schur-concave functions, can be defined as the entropy of these probabilities. We describe additional conditions under which the outcome probabilities of a fine-grained measurement are majorized by those for a spectral measurement, and therefore the "spectral entropy" is the measurement entropy (and therefore concave). These conditions are (1) projectivity, which abstracts aspects of the Lueders-von Neumann projection postulate in quantum theory, in particular that every face of the state space is the positive part of the image of a certain kind of projection operator called a filter; and (2) symmetry of transition probabilities. The conjunction of these, as shown earlier by Araki, is equivalent to a strong geometric property of the unnormalized state cone known as perfection: that there is an inner product according to which every face of the cone, including the cone itself, is self-dual. Using some assumptions about the thermodynamic cost of certain processes that are partially motivated by our postulates, especially projectivity, we extend von Neumann's argument that the thermodynamic entropy of a quantum system is its spectral entropy to generalized probabilistic systems satisfying spectrality.
△ Less
Submitted 4 November, 2015; v1 submitted 12 August, 2015;
originally announced August 2015.
-
A generalization of majorization that characterizes Shannon entropy
Authors:
Markus P. Mueller,
Michele Pastena
Abstract:
We introduce a binary relation on the finite discrete probability distributions which generalizes notions of majorization that have been studied in quantum information theory. Motivated by questions in thermodynamics, our relation describes the transitions induced by bistochastic maps in the presence of additional auxiliary systems which may become correlated in the process. We show that this rela…
▽ More
We introduce a binary relation on the finite discrete probability distributions which generalizes notions of majorization that have been studied in quantum information theory. Motivated by questions in thermodynamics, our relation describes the transitions induced by bistochastic maps in the presence of additional auxiliary systems which may become correlated in the process. We show that this relation is completely characterized by Shannon entropy H, which yields an interpretation of H in resource-theoretic terms, and admits a particularly simple proof of a known characterization of H in terms of natural information-theoretic properties.
△ Less
Submitted 11 April, 2016; v1 submitted 24 July, 2015;
originally announced July 2015.
-
An operational approach to spacetime symmetries: Lorentz transformations from quantum communication
Authors:
Philipp A. Hoehn,
Markus P. Mueller
Abstract:
In most approaches to fundamental physics, spacetime symmetries are postulated a priori and then explicitly implemented in the theory. This includes Lorentz covariance in quantum field theory and diffeomorphism invariance in quantum gravity, which are seen as fundamental principles to which the final theory has to be adjusted. In this paper, we suggest, within a much simpler setting, that this kin…
▽ More
In most approaches to fundamental physics, spacetime symmetries are postulated a priori and then explicitly implemented in the theory. This includes Lorentz covariance in quantum field theory and diffeomorphism invariance in quantum gravity, which are seen as fundamental principles to which the final theory has to be adjusted. In this paper, we suggest, within a much simpler setting, that this kind of reasoning can actually be reversed, by taking an operational approach inspired by quantum information theory. We consider observers in distinct laboratories, with local physics described by the laws of abstract quantum theory, and without presupposing a particular spacetime structure. We ask what information-theoretic effort the observers have to spend to synchronize their descriptions of local physics. If there are "enough" observables that can be measured universally on several different quantum systems, we show that the observers' descriptions are related by an element of the orthochronous Lorentz group O^+(3,1), together with a global scaling factor. Not only does this operational approach predict the Lorentz transformations, but it also accurately describes the behavior of relativistic Stern-Gerlach devices in the WKB approximation, and it correctly predicts that quantum systems carry Lorentz group representations of different spin. This result thus hints at a novel information-theoretic perspective on spacetime.
△ Less
Submitted 12 March, 2018; v1 submitted 29 December, 2014;
originally announced December 2014.
-
The complex and quaternionic quantum bit from relativity of simultaneity on an interferometer
Authors:
Andrew J. P. Garner,
Markus P. Müller,
Oscar C. O. Dahlsten
Abstract:
The patterns of fringes produced by an interferometer have long been important testbeds for our best contemporary theories of physics. Historically, interference has been used to contrast quantum mechanics to classical physics, but recently experiments have been performed that test quantum theory against even more exotic alternatives. A physically motivated family of theories are those where the s…
▽ More
The patterns of fringes produced by an interferometer have long been important testbeds for our best contemporary theories of physics. Historically, interference has been used to contrast quantum mechanics to classical physics, but recently experiments have been performed that test quantum theory against even more exotic alternatives. A physically motivated family of theories are those where the state space of a two-level system is given by a sphere of arbitrary dimension. This includes classical bits, and real, complex and quaternionic quantum theory. In this paper, we consider relativity of simultaneity (that observers may disagree about the order of events at different locations) as applied to a two-armed interferometer, and show that this forbids most interference phenomena more complicated than those of complex quantum theory. If interference must depend on some relational property of the setting (such as path difference), then relativity of simultaneity will limit state spaces to standard complex quantum theory, or a subspace thereof. If this relational assumption is relaxed, we find one additional theory compatible with relativity of simultaneity: quaternionic quantum theory. Our results have consequences for current laboratory interference experiments: they have to be designed carefully to avoid rendering beyond-quantum effects invisible by relativity of simultaneity.
△ Less
Submitted 8 December, 2017; v1 submitted 22 December, 2014;
originally announced December 2014.
-
Stochastic independence as a resource in small-scale thermodynamics
Authors:
Matteo Lostaglio,
Markus P. Mueller,
Michele Pastena
Abstract:
It is well-known in thermodynamics that the creation of correlations costs work. It seems then a truism that if a thermodynamic transformation A->B is impossible, so will be any transformation that in sending A to B also correlates among them some auxiliary systems C. Surprisingly, we show that this is not the case for non-equilibrium thermodynamics of microscopic systems. On the contrary, the cre…
▽ More
It is well-known in thermodynamics that the creation of correlations costs work. It seems then a truism that if a thermodynamic transformation A->B is impossible, so will be any transformation that in sending A to B also correlates among them some auxiliary systems C. Surprisingly, we show that this is not the case for non-equilibrium thermodynamics of microscopic systems. On the contrary, the creation of correlations greatly extends the set of accessible states, to the point that we can perform on individual systems and in a single shot any transformation that would otherwise be possible only if the number of systems involved was very large. We also show that one only ever needs to create a vanishingly small amount of correlations (as measured by mutual information) among a small number of auxiliary systems (never more than three). The many, severe constraints of microscopic thermodynamics are reduced to the sole requirement that the non-equilibrium free energy decreases in the transformation. This shows that, in principle, reliable extraction of work equal to the free energy of a system can be performed by microscopic engines.
△ Less
Submitted 9 October, 2015; v1 submitted 10 September, 2014;
originally announced September 2014.
-
Higher-order interference and single-system postulates characterizing quantum theory
Authors:
Howard Barnum,
Markus P. Mueller,
Cozmin Ududec
Abstract:
We present a new characterization of quantum theory in terms of simple physical principles that is different from previous ones in two important respects: first, it only refers to properties of single systems without any assumptions on the composition of many systems; and second, it is closer to experiment by having absence of higher-order interference as a postulate, which is currently the subjec…
▽ More
We present a new characterization of quantum theory in terms of simple physical principles that is different from previous ones in two important respects: first, it only refers to properties of single systems without any assumptions on the composition of many systems; and second, it is closer to experiment by having absence of higher-order interference as a postulate, which is currently the subject of experimental investigation. We give three postulates -- no higher-order interference, classical decomposability of states, and strong symmetry -- and prove that the only non-classical operational probabilistic theories satisfying them are real, complex, and quaternionic quantum theory, together with 3-level octonionic quantum theory and ball state spaces of arbitrary dimension. Then we show that adding observability of energy as a fourth postulate yields complex quantum theory as the unique solution, relating the emergence of the complex numbers to the possibility of Hamiltonian dynamics. We also show that there may be interesting non-quantum theories satisfying only the first two of our postulates, which would allow for higher-order interference in experiments while still respecting the contextuality analogue of the local orthogonality principle.
△ Less
Submitted 3 January, 2015; v1 submitted 17 March, 2014;
originally announced March 2014.
-
Thermalization and canonical typicality in translation-invariant quantum lattice systems
Authors:
Markus P. Mueller,
Emily Adlam,
Lluis Masanes,
Nathan Wiebe
Abstract:
It has previously been suggested that small subsystems of closed quantum systems thermalize under some assumptions; however, this has been rigorously shown so far only for systems with very weak interaction between subsystems. In this work, we give rigorous analytic results on thermalization for translation-invariant quantum lattice systems with finite-range interaction of arbitrary strength, in a…
▽ More
It has previously been suggested that small subsystems of closed quantum systems thermalize under some assumptions; however, this has been rigorously shown so far only for systems with very weak interaction between subsystems. In this work, we give rigorous analytic results on thermalization for translation-invariant quantum lattice systems with finite-range interaction of arbitrary strength, in all cases where there is a unique equilibrium state at the corresponding temperature. We clarify the physical picture by showing that subsystems relax towards the reduction of the global Gibbs state, not the local Gibbs state, if the initial state has close to maximal population entropy and certain non-degeneracy conditions on the spectrum are satisfied. Moreover, we show that almost all pure states with support on a small energy window are locally thermal in the sense of canonical typicality. We derive our results from a statement on equivalence of ensembles generalizing earlier results by Lima, and give numerical and analytic finite-size bounds, relating the Ising model to the finite de Finetti theorem. Furthermore, we prove that global energy eigenstates are locally close to diagonal in the local energy eigenbasis, which constitutes a part of the eigenstate thermalization hypothesis that is valid regardless of the integrability of the model.
△ Less
Submitted 30 March, 2021; v1 submitted 28 December, 2013;
originally announced December 2013.
-
The resource theory of informational nonequilibrium in thermodynamics
Authors:
Gilad Gour,
Markus P. Müller,
Varun Narasimhachar,
Robert W. Spekkens,
Nicole Yunger Halpern
Abstract:
We review recent work on the foundations of thermodynamics in the light of quantum information theory. We adopt a resource-theoretic perspective, wherein thermodynamics is formulated as a theory of what agents can achieve under a particular restriction, namely, that the only state preparations and transformations that they can implement for free are those that are thermal at some fixed temperature…
▽ More
We review recent work on the foundations of thermodynamics in the light of quantum information theory. We adopt a resource-theoretic perspective, wherein thermodynamics is formulated as a theory of what agents can achieve under a particular restriction, namely, that the only state preparations and transformations that they can implement for free are those that are thermal at some fixed temperature. States that are out of thermal equilibrium are the resources. We consider the special case of this theory wherein all systems have trivial Hamiltonians (that is, all of their energy levels are degenerate). In this case, the only free operations are those that add noise to the system (or implement a reversible evolution) and the only nonequilibrium states are states of informational nonequilibrium, that is, states that deviate from the maximally mixed state. The degree of this deviation we call the state's nonuniformity; it is the resource of interest here, the fuel that is consumed, for instance, in an erasure operation. We consider the different types of state conversion: exact and approximate, single-shot and asymptotic, catalytic and noncatalytic. In each case, we present the necessary and sufficient conditions for the conversion to be possible for any pair of states, emphasizing a geometrical representation of the conditions in terms of Lorenz curves. We also review the problem of quantifying the nonuniformity of a state, in particular through the use of generalized entropies. Quantum state conversion problems in this resource theory can be shown to be always reducible to their classical counterparts, so that there are no inherently quantum-mechanical features arising in such problems. This body of work also demonstrates that the standard formulation of the second law of thermodynamics is inadequate as a criterion for deciding whether or not a given state transition is possible.
△ Less
Submitted 6 May, 2015; v1 submitted 25 September, 2013;
originally announced September 2013.
-
Existence of an information unit as a postulate of quantum theory
Authors:
Lluis Masanes,
Markus P. Mueller,
Remigiusz Augusiak,
David Perez-Garcia
Abstract:
Does information play a significant role in the foundations of physics? Information is the abstraction that allows us to refer to the states of systems when we choose to ignore the systems themselves. This is only possible in very particular frameworks, like in classical or quantum theory, or more generally, whenever there exists an information unit such that the state of any system can be reversi…
▽ More
Does information play a significant role in the foundations of physics? Information is the abstraction that allows us to refer to the states of systems when we choose to ignore the systems themselves. This is only possible in very particular frameworks, like in classical or quantum theory, or more generally, whenever there exists an information unit such that the state of any system can be reversibly encoded in a sufficient number of such units. In this work we show how the abstract formalism of quantum theory can be deduced solely from the existence of an information unit with suitable properties, together with two further natural assumptions: the continuity and reversibility of dynamics, and the possibility of characterizing the state of a composite system by local measurements. This constitutes a new set of postulates for quantum theory with a simple and direct physical meaning, like the ones of special relativity or thermodynamics, and it articulates a strong connection between physics and information.
△ Less
Submitted 22 October, 2013; v1 submitted 2 August, 2012;
originally announced August 2012.
-
The black hole information problem beyond quantum theory
Authors:
Markus P. Mueller,
Jonathan Oppenheim,
Oscar C. O. Dahlsten
Abstract:
The origin of black hole entropy and the black hole information problem provide important clues for trying to piece together a quantum theory of gravity. Thus far, discussions on this topic have mostly assumed that in a consistent theory of gravity and quantum mechanics, quantum theory will be unmodified. Here, we examine the black hole information problem in the context of generalisations of quan…
▽ More
The origin of black hole entropy and the black hole information problem provide important clues for trying to piece together a quantum theory of gravity. Thus far, discussions on this topic have mostly assumed that in a consistent theory of gravity and quantum mechanics, quantum theory will be unmodified. Here, we examine the black hole information problem in the context of generalisations of quantum theory. In particular, we examine black holes in the setting of generalised probabilistic theories, in which quantum theory and classical probability theory are special cases. We compute the time it takes information to escape a black hole, assuming that information is preserved. We find that under some very general assumptions, the arguments of Page (that information should escape the black hole after half the Hawking photons have been emitted), and the black-hole mirror result of Hayden and Preskill (that information can escape quickly) need to be modified. The modification is determined entirely by what we call the Wootters-Hardy parameter associated with a theory. We find that although the information leaves the black hole after enough photons have been emitted, it is fairly generic that it fails to appear outside the black hole at this point -- something impossible in quantum theory due to the no-hiding theorem. The information is neither inside the black hole, nor outside it, but is delocalised. Our central technical result is an information decoupling theorem which holds in the generalised probabilistic framework.
△ Less
Submitted 1 October, 2012; v1 submitted 21 June, 2012;
originally announced June 2012.
-
Three-dimensionality of space and the quantum bit: an information-theoretic approach
Authors:
Markus P. Mueller,
Lluis Masanes
Abstract:
It is sometimes pointed out as a curiosity that the state space of quantum two-level systems, i.e. the qubit, and actual physical space are both three-dimensional and Euclidean. In this paper, we suggest an information-theoretic analysis of this relationship, by proving a particular mathematical result: suppose that physics takes place in d spatial dimensions, and that some events happen probabili…
▽ More
It is sometimes pointed out as a curiosity that the state space of quantum two-level systems, i.e. the qubit, and actual physical space are both three-dimensional and Euclidean. In this paper, we suggest an information-theoretic analysis of this relationship, by proving a particular mathematical result: suppose that physics takes place in d spatial dimensions, and that some events happen probabilistically (not assuming quantum theory in any way). Furthermore, suppose there are systems that carry "minimal amounts of direction information", interacting via some continuous reversible time evolution. We prove that this uniquely determines spatial dimension d=3 and quantum theory on two qubits (including entanglement and unitary time evolution), and that it allows observers to infer local spatial geometry from probability measurements.
△ Less
Submitted 8 May, 2013; v1 submitted 4 June, 2012;
originally announced June 2012.
-
Information-theoretic postulates for quantum theory
Authors:
Markus P. Mueller,
Lluis Masanes
Abstract:
Why are the laws of physics formulated in terms of complex Hilbert spaces? Are there natural and consistent modifications of quantum theory that could be tested experimentally? This book chapter gives a self-contained and accessible summary of our paper [New J. Phys. 13, 063001, 2011] addressing these questions, presenting the main ideas, but drop** many technical details. We show that the forma…
▽ More
Why are the laws of physics formulated in terms of complex Hilbert spaces? Are there natural and consistent modifications of quantum theory that could be tested experimentally? This book chapter gives a self-contained and accessible summary of our paper [New J. Phys. 13, 063001, 2011] addressing these questions, presenting the main ideas, but drop** many technical details. We show that the formalism of quantum theory can be reconstructed from four natural postulates, which do not refer to the mathematical formalism, but only to the information-theoretic content of the physical theory. Our starting point is to assume that there exist physical events (such as measurement outcomes) that happen probabilistically, yielding the mathematical framework of "convex state spaces". Then, quantum theory can be reconstructed by assuming that (i) global states are determined by correlations between local measurements, (ii) systems that carry the same amount of information have equivalent state spaces, (iii) reversible time evolution can map every pure state to every other, and (iv) positivity of probabilities is the only restriction on the possible measurements.
△ Less
Submitted 19 December, 2015; v1 submitted 20 March, 2012;
originally announced March 2012.
-
Entanglement and the three-dimensionality of the Bloch ball
Authors:
Lluis Masanes,
Markus P. Mueller,
David Perez-Garcia,
Remigiusz Augusiak
Abstract:
We consider a very natural generalization of quantum theory by letting the dimension of the Bloch ball be not necessarily three. We analyze bipartite state spaces where each of the components has a d-dimensional Euclidean ball as state space. In addition to this we impose two very natural assumptions: the continuity and reversibility of dynamics, and the possibility of characterizing bipartite sta…
▽ More
We consider a very natural generalization of quantum theory by letting the dimension of the Bloch ball be not necessarily three. We analyze bipartite state spaces where each of the components has a d-dimensional Euclidean ball as state space. In addition to this we impose two very natural assumptions: the continuity and reversibility of dynamics, and the possibility of characterizing bipartite states by local measurements. We classify all these bipartite state spaces and prove that, except for the quantum two-qubit state space, none of them contains entangled states. Equivalently, in any of these non-quantum theories interacting dynamics is impossible. This result reveals that "existence of entanglement" is the requirement with minimal logical content which singles out quantum theory from our family of theories.
△ Less
Submitted 23 December, 2014; v1 submitted 17 November, 2011;
originally announced November 2011.
-
Quantum measurement occurrence is undecidable
Authors:
J. Eisert,
M. P. Mueller,
C. Gogolin
Abstract:
In this work, we show that very natural, apparently simple problems in quantum measurement theory can be undecidable even if their classical analogues are decidable. Undecidability hence appears as a genuine quantum property here. Formally, an undecidable problem is a decision problem for which one cannot construct a single algorithm that will always provide a correct answer in finite time. The pr…
▽ More
In this work, we show that very natural, apparently simple problems in quantum measurement theory can be undecidable even if their classical analogues are decidable. Undecidability hence appears as a genuine quantum property here. Formally, an undecidable problem is a decision problem for which one cannot construct a single algorithm that will always provide a correct answer in finite time. The problem we consider is to determine whether sequentially used identical Stern-Gerlach-type measurement devices, giving rise to a tree of possible outcomes, have outcomes that never occur. Finally, we point out implications for measurement-based quantum computing and studies of quantum many-body models and suggest that a plethora of problems may indeed be undecidable.
△ Less
Submitted 25 June, 2012; v1 submitted 16 November, 2011;
originally announced November 2011.
-
Deriving quantum theory from its local structure and reversibility
Authors:
Gonzalo de la Torre,
Lluis Masanes,
Anthony J. Short,
Markus P. Mueller
Abstract:
We investigate the class of physical theories with the same local structure as quantum theory, but a potentially different global structure. It has previously been shown that any bipartite correlations generated by such a theory must be simulatable in quantum theory, but that this does not hold for tripartite correlations. Here we explore whether imposing an additional constraint on this space of…
▽ More
We investigate the class of physical theories with the same local structure as quantum theory, but a potentially different global structure. It has previously been shown that any bipartite correlations generated by such a theory must be simulatable in quantum theory, but that this does not hold for tripartite correlations. Here we explore whether imposing an additional constraint on this space of theories - that of dynamical reversibility - will allow us to recover the global quantum structure. In the particular case in which the local systems are identical qubits, we show that any theory admitting at least one continuous reversible interaction must be identical to quantum theory.
△ Less
Submitted 25 October, 2011;
originally announced October 2011.