SearcharxivSearch

arXiv subjects

Markus P. Mueller

Publications and source records attributed to Markus P. Mueller.

At least 19 recordsLinked to original sources

Quantum reference frames beyond subsystems: a reconstruction and generalization of the perspective-neutral framework

We generalize the notion of quantum reference frames (QRFs) to cases where the frame does not necessarily correspond to a tensor factor subsystem, but to a covariant quantum instrument. This unlocks a variety of physical applications: "frames of labeling" for indistinguishable particles, suggesting explanations for the symmetrization postulate and the absence of parastatistics, and yielding a transparent description of the entanglement of bosons and fermions; and relational clocks reproducing the Schr\"odinger equation exactly even when all subsystems are interacting or when there are frequency superselection sectors. Our work generalizes the perspective-neutral approach to QRFs pioneered by H\"ohn and co-authors, which we reconstruct from a simple operational scenario. We give a resource-theoretic grounding of this framework, and show how the notion of completely covariant operations explains the relevance of the charge-zero sector and the pure-state transformation behavior across perspectives. This also suggests operational clarifications of some aspects of constraint quantization, e.g. of the meaning of constraint equations such as $C|\psi\rangle=0$. Some of our results, such as our generalization of relationalization maps to instruments, apply more broadly to other QRF frameworks too, and they contribute to bridging the gap between operational quantum information theory and the internal QRF research program.

quant-ph

Theoretical adversarial collaboration: a template

Adversarial collaborations have become increasingly prominent in empirical science, where proponents of competing theories jointly design experiments capable of discriminating between them. Much less attention has been given to theoretical disputes that cannot readily be resolved by experiment. We distinguish theoretical adversarial collaboration from its empirical counterpart and propose a five-step template for conducting it. The procedure is designed to move disputants beyond familiar critique-reply-rejoinder exchanges by requiring sustained clarification, supervised steel-manning of the target theory, and the collaborative development and refinement of objections. Its condition for success is that the collaboration produce insights that substantially exceed the existing literature: either novel, non-obvious arguments show that the theory can meet the objections, or the theory's advocate concedes that new conceptual resources or revisions are required. The template was developed through reflection on, and implemented in, our own adversarial collaboration in philosophy and foundations of physics. We offer it here as a general framework for constructive and publishable progress in philosophy, foundational science, and other areas of inquiry in which disputes cannot readily be resolved by experiment.

physics.hist-ph

Realism about the external world: an adversarial collaboration

One of us is a realist and believes that reality fundamentally consists in an external physical world, governed by laws of physics. Observers are either emergent (physicalism) or exist in addition to physical reality. The other defends a version of idealism and believes that reality fundamentally consists in first-person states, unembedded into worlds, on which laws of nature act directly. Shared "physical worlds" are merely emergent. The disagreement ultimately centers on the overall coherence of a formal model, known as Algorithmic Idealism, and its ability to resolve observer paradoxes, such as the Boltzmann brain paradox. Our aim is to confront this issue in the form of an adversarial collaboration, where we avoid misunderstanding each other, so that readers can see the true source of the disagreement, and decide for themselves. Our work represents an attempt to establish a form of exchange that may help overcome the fragmentation of scholarly communities in philosophy, physics, and elsewhere. The collaboration was conducted using a discipline-neutral template for theoretical adversarial collaboration developed in a companion paper [1], which we hope will be useful in other theoretical disciplines.

physics.hist-ph

Quantum Superpositions of Conscious States in a Minimal Integrated Information Model

Could there be quantum superpositions of conscious states, as suggested by the Wigner's friend thought experiment? Mathematical theories of consciousness, notably Integrated Information Theory (IIT), make this question more precise by associating physical systems with both quantitative amounts of consciousness and structural characterizations of conscious states. Motivated by a recent proposal that ties wave function collapse to integrated information, we construct a simple quantum circuit that would place a minimal system -- a feedback dyad -- into a superposition of states that differ in their associated conscious states. This "Schrödinger's dyad" provides a controlled setting for evaluating a central desideratum of consciousness-based collapse models: that collapse rates depend on how different the experiences in the superposition are. We prove a structural constraint on collapse dynamics of a standard (Lindblad) type: if collapse is governed by too few collapse operators, collapse rates cannot in general be made to depend solely on qualitative differences between conscious states. Avoiding this limitation requires introducing many commuting operators, leading to a rapid proliferation of collapse terms even for very simple systems. This proliferation bears directly on claims that IIT-based collapse theories may be especially experimentally tractable, since the required dynamics becomes highly complex. More generally, the difficulty is not specific to IIT: any Wigner-style collapse theory that distinguishes experiences using rich internal organization (such as neural connectivity in addition to neural state) will face a comparable explosion in dynamical complexity.

quant-ph

Theory-independent monitoring of the decoherence of a superconducting qubit with generalized contextuality

Characterizing the nonclassicality of quantum systems under minimal assumptions is an important challenge for quantum foundations and technology. Here we introduce a theory-independent method of process tomography and perform it on a superconducting qubit. We demonstrate its decoherence without assuming quantum theory or trusting the devices by modelling the system as a general probabilistic theory. We show that the superconducting system is initially well-described as a quantum bit, but that its realized state space contracts over time, which in quantum terminology indicates its loss of coherence. The system is initially nonclassical in the sense of generalized contextuality: it does not admit of a hidden-variable model where statistically indistinguishable preparations are represented by identical hidden-variable distributions. In finite time, the system becomes noncontextual and hence loses its nonclassicality. Moreover, we demonstrate in a theory-independent way that the system undergoes non-Markovian evolution at late times. Our results extend theory-independent tomography to time-evolving systems, and show how important dynamical physical phenomena can be experimentally monitored without assuming quantum theory.

quant-ph

Certified randomness from quantum speed limits

Quantum speed limits are usually regarded as fundamental restrictions, constraining the amount of computation that can be achieved within some given time and energy. Complementary to this intuition, here we show that these limitations are also of operational value: they enable the secure generation of certified randomness. We consider a prepare-and-measure scenario with some (experimentally determined or promised) upper bound on the energy uncertainty of the average prepared quantum state, but without any further assumptions on the devices, Hilbert space or Hamiltonian. Given that we can freely choose the time at which to apply the untrusted preparation procedure, we show that this scenario admits the generation of randomness that is secure against adversaries with additional classical information. We show how to determine the amount of certified randomness given the observed correlations, discuss how interactions with the environment are taken into account, and sketch a conceivable experimental implementation. In particular, we show that single-mode coherent states admit this kind of certification of non-zero randomness in some parameter regimes, reinforcing existing demonstrations of nonclassicality in the simple harmonic oscillator. Our results extend earlier efforts to devise semi-device-independent protocols grounded in reasonable physical assumptions, and they contribute to the understanding of time-energy uncertainty relations via their operational consequences.

quant-ph

Theory-independent randomness generation from spatial symmetries

We demonstrate a fundamental relation between the structures of physical space and of quantum theory: the set of quantum correlations in a rotational prepare-and-measure scenario can be derived from covariance alone, without assuming quantum physics. To show this, we consider a semi-device-independent randomness generation scheme where one of two spatial rotations is performed on an otherwise uncharacterized preparation device, and one of two possible measurement outcomes is subsequently obtained. An upper bound on a theory-independent notion of spin is assumed for the transmitted physical system. It turns out that this determines the set of quantum correlations and the amount of certifiable randomness in this setup exactly. Interestingly, this yields the basis of a theory-independent protocol for the secure generation of random numbers. Our results support the conjecture that the symmetries of space and time determine at least part of the probabilistic structure of quantum theory.

quant-ph

Algorithmic idealism: what should you believe to experience next?

I argue for an approach to the Foundations of Physics that puts the question in the title center stage, rather than asking "what is the case in the world?". This approach, algorithmic idealism, attempts to give a mathematically rigorous in-principle-answer to this question both in the usual empirical regime of physics and in some more exotic regimes within cosmology, philosophy, and science fiction (but soon perhaps real) technology. I begin by arguing that quantum theory, in its actual practice and in some interpretations, should be understood as telling an agent what they should expect to observe next (rather than what is the case), and that the difficulty of answering this former question from the usual "external" perspective is at the heart of persistent enigmas such as the Boltzmann brain problem, extended Wigner's friend scenarios, Parfit's teletransportation paradox, or our understanding of the simulation hypothesis. Algorithmic idealism is a conceptual framework, based on two postulates that admit several possible mathematical formalizations, cast in the language of algorithmic information theory. Here I give a non-technical description of this view and show how it dissolves the aforementioned enigmas: for example, it claims that you should never bet on being a Boltzmann brain regardless of how many there are, that shutting down computer simulations does not generally terminate its inhabitants, and it predicts the apparent embedding into an objective external world as an approximate description.

physics.hist-ph

Gravity-mediated entanglement via infinite-dimensional systems

There has been a wave of recent interest in detecting the quantum nature of gravity with table-top experiments that witness gravitationally mediated entanglement. Central to these proposals is the assumption that any mediator capable of generating entanglement must itself be nonclassical. However, previous arguments for this have modelled classical mediators as finite, discrete systems such as bits, which excludes physically relevant continuous and infinite-dimensional systems such as those of classical mechanics and field theory. In this work, we close this gap by modelling classical systems as commutative unital C*-algebras, arguably encompassing all potentially physically relevant classical systems. We show that these systems cannot mediate entanglement between two quantum systems A and B, even if A and B are themselves infinite-dimensional or described by arbitrary unital C*-algebras (as in Quantum Field Theory), composed with an arbitrary C*-tensor product. This result reinforces the conclusion that the observation of gravity-induced entanglement would require the gravitational field to possess inherently non-classical features.

quant-ph

Invariance under quantum permutations rules out parastatistics

Quantum systems invariant under particle exchange are either Bosons or Fermions, even though quantum theory in principle admits more general behavior under permutations. But why do we not observe such paraparticles in nature? The analysis of this question was previously limited primarily to specific quantum field theory models. Here we give two distinct model-independent arguments that rule out parastatistics, i.e. fundamentally indistinguishable quantum systems transforming under higher-dimensional representations of the symmetric group, which draw on quantum information theory and recent research on internal quantum reference frames. First, we introduce a notion of complete invariance: quantum systems should not only preserve their local state under permutations, but also the quantum information they carry about other systems, in analogy to the notion of complete positivity in quantum information theory. Second, we demand that quantum systems are invariant under quantum permutations, i.e. permutations conditioned on values of permutation-invariant observables. For both, we show that the respective principle is fulfilled if and only if the particle is a Boson or Fermion. Our results show how quantum reference frames can shed light on a longstanding problem of quantum physics, they underline the crucial role played by the compositional structure of quantum information, and demonstrate the explanatory power but also subtle limitations of recently proposed quantum covariance principles.

quant-ph

Spin-bounded correlations: rotation boxes within and beyond quantum theory

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.

quant-ph

On the significance of Wigner's Friend in contexts beyond quantum foundations

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 some of 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": 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 beyond quantum foundations: to obtain reliable predictions for experiments in which these predictions can be privately but not intersubjectively verified.

quant-ph

Characterization of the probabilistic models that can be embedded in quantum theory

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.

quant-ph

Testing quantum theory by generalizing noncontextuality

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.

quant-ph

Free agency and determinism: is there a sensible definition of computational sourcehood?

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.

physics.hist-ph

Entanglement-asymmetry correspondence for internal quantum reference frames

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.

quant-ph

Internal quantum reference frames for finite Abelian groups

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".

quant-ph

Quantum Darwinism and the spreading of classical information in non-classical theories

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.

quant-ph