arXiv subjects
Publications and source records attributed to Oscar C. O. Dahlsten.
The Page curve is a curve of average subsystem entropy as a function of subsystem size. The curve starts from 0, rises, peaks near the maximal possible entropy when the subsystem makes up half of the total system, and then falls back to 0. We here describe subsystem entropy, averaging over quantum states, and why the curve rises and falls in that manner. We also discuss the connection between the curve and the black hole information paradox.
Some voltage sources are transient, lasting only for a moment of time, such as the voltage generated by converting a human motion into electricity. Such sources moreover tend to have a degree of randomness as well as internal resistance. We investigate how to put a number to how valuable a given transient source is. We derive several candidate measures via a systematic approach. We establish an inter-convertibility hierarchy between such sources, where inter-conversion means adding passive interface circuits to the sources. Resistors at the ambient temperature are at the bottom of this hierarchy and sources with low internal resistance and high internal voltages are at the top. We provide three possible measures for a given source that assign a number to the source respecting this hierarchy. One measure captures how much ``unitdc" the source contains, meaning $1$ V dc with $1Ω$ internal resistance for $1$s. Another measure relates to the signal-to-noise ratio of the voltage time-series whereas a third is based on the relative entropy between the voltage probability distribution and a thermal noise resistor. We argue that the unitdc measure is particularly useful by virtue of its operational interpretation in terms of the number of unit dc sources that one needs to combine to create the source or that can be distilled from the source.
Energy is a crucial concept within classical and quantum physics. An essential tool to quantify energy is the Hamiltonian. Here, we consider how to define a Hamiltonian in general probabilistic theories, a framework in which quantum theory is a special case. We list desiderata which the definition should meet. For 3-dimensional systems, we provide a fully-defined recipe which satisfies these desiderata. We discuss the higher dimensional case where some freedom of choice is left remaining. We apply the definition to example toy theories, and discuss how the quantum notion of time evolution as a phase between energy eigenstates generalises to other theories.
Thermodynamics describes large-scale, slowly evolving systems. Two modern approaches generalize thermodynamics: fluctuation theorems, which concern finite-time nonequilibrium processes, and one-shot statistical mechanics, which concerns small scales and finite numbers of trials. Combining these approaches, we calculate a one-shot analog of the average dissipated work defined in fluctuation contexts: the cost of performing a protocol in finite time instead of quasistatically. The average dissipated work has been shown to be proportional to a relative entropy between phase-space densities, to a relative entropy between quantum states, and to a relative entropy between probability distributions over possible values of work. We derive one-shot analogs of all three equations, demonstrating that the order-infinity Renyi divergence is proportional to the maximum possible dissipated work in each case. These one-shot analogs of fluctuation-theorem results contribute to the unification of these two toolkits for small-scale, nonequilibrium statistical physics.
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.
We consider in what sense quantum tunnelling is associated with non-classical probabilistic behaviour. We use the Wigner function quasi-probability description of quantum states. We give a definition of tunnelling that allows us to say whether in a given scenario there is tunnelling or not. We prove that this can only happen if either the Wigner function is negative and/or a certain measurement operator which we call the tunnelling rate operator has a negative Wigner function.
We demonstrate with an experiment how molecules are a natural test-bed for probing fundamental quantum thermodynamics. Single-molecule spectroscopy has undergone transformative change in the past decade with the advent of techniques permitting individual molecules to be distinguished and probed. By considering the time-resolved emission spectrum of organic molecules as arising from quantum jumps between states, we demonstrate that the quantum Jarzynski equality is satisfied in this set-up. This relates the heat dissipated into the environment to the free energy difference between the initial and final state. We demonstrate also how utilizing the quantum Jarzynski equality allows for the detection of energy shifts within a molecule, beyond the relative shift.
Two approaches to small-scale and quantum thermodynamics are fluctuation relations and one-shot statistical mechanics. Fluctuation relations (such as Crooks' Theorem and Jarzynski's Equality) relate nonequilibrium behaviors to equilibrium quantities such as free energy. One-shot statistical mechanics involves statements about every run of an experiment, not just about averages over trials. We investigate the relation between the two approaches. We show that both approaches feature the same notions of work and the same notions of probability distributions over possible work values. The two approaches are alternative toolkits with which to analyze these distributions. To combine the toolkits, we show how one-shot work quantities can be defined and bounded in contexts governed by Crooks' Theorem. These bounds provide a new bridge from one-shot theory to experiments originally designed for testing fluctuation theorems.
The use of the von Neumann entropy in formulating the laws of thermodynamics has recently been challenged. It is associated with the average work whereas the work guaranteed to be extracted in any single run of an experiment is the more interesting quantity in general. We show that an expression that quantifies majorisation determines the optimal guaranteed work. We argue it should therefore be the central quantity of statistical mechanics, rather than the von Neumann entropy. In the limit of many identical and independent subsystems (asymptotic i.i.d) the von Neumann entropy expressions are recovered but in the non-equilbrium regime the optimal guaranteed work can be radically different to the optimal average. Moreover our measure of majorisation governs which evolutions can be realized via thermal interactions, whereas the nondecrease of the von Neumann entropy is not sufficiently restrictive. Our results are inspired by single-shot information theory.
Landauer's principle states that it costs at least kTln2 of work to reset one bit in the presence of a heat bath at temperature T. The bound of kTln2 is achieved in the unphysical infinite-time limit. Here we ask what is possible if one is restricted to finite-time protocols. We prove analytically that it is possible to reset a bit with a work cost close to kTln2 in a finite time. We construct an explicit protocol that achieves this, which involves changing the system's Hamiltonian avoiding quantum coherences, and thermalising. Using concepts and techniques pertaining to single-shot statistical mechanics, we further develop the limit on the work cost, proving that the heat dissipated is close to the minimal possible not just on average, but guaranteed with high confidence in every run. Moreover we exploit the protocol to design a quantum heat engine that works near the Carnot efficiency in finite time.
We provide a summary of both seminal and recent results on typical entanglement. By typical values of entanglement, we refer here to values of entanglement quantifiers that (given a reasonable measure on the manifold of states) appear with arbitrarily high probability for quantum systems of sufficiently high dimensionality. We work within the Haar measure framework for discrete quantum variables, where we report on results concerning the average von Neumann and linear entropies as well as arguments implying the typicality of such values in the asymptotic limit. We then proceed to discuss the generation of typical quantum states with random circuitry. Different phases of entanglement, and the connection between typical entanglement and thermodynamics are discussed. We also cover approaches to measures on the non-compact set of Gaussian states of continuous variable quantum systems.
In quantum theory, particles in three spatial dimensions come in two different types: bosons or fermions, which exhibit sharply contrasting behaviours due to their different exchange statistics. Could more general forms of probabilistic theories admit more exotic types of particles? Here, we propose a thought experiment to identify more exotic particles in general post-quantum theories. We consider how in quantum theory the phase introduced by swapping indistinguishable particles can be measured. We generalise this to post-quantum scenarios whilst imposing indistinguishability and locality principles. We show that our ability to witness exotic particle exchange statistics depends on which symmetries are admitted within a theory. These exotic particles can manifest unusual behaviour, such as non-abelianicity even in topologically simple three-dimensional space.
The uncertainty principle limits quantum states such that when one observable takes predictable values there must be some other mutually unbiased observables which take uniformly random values. We show that this restrictive condition plays a positive role as the enabler of non-classical dynamics in an interferometer. First we note that instantaneous action at a distance between different paths of an interferometer should not be possible. We show that for general probabilistic theories this heavily curtails the non-classical dynamics. We prove that there is a trade-off with the uncertainty principle, that allows theories to evade this restriction. On one extreme, non-classical theories with maximal certainty have their non-classical dynamics absolutely restricted to only the identity operation. On the other extreme, quantum theory minimises certainty in return for maximal non-classical dynamics.
Phase plays a crucial role in many quantum effects including interference. Phase is normally defined in terms of complex numbers that appear when representing quantum states as complex vectors. Here we give an operational definition whereby phase is instead defined in terms of measurement statistics. Our definition is phrased in terms of the operational framework known as generalised probabilistic theories, or the convex framework. The definition makes it possible to ask whether other theories in this framework can also have phase. We apply our definition to investigate phase and interference in several example theories: classical probability theory, a version of Spekken's toy model, quantum theory, and box-world. We find that phase is ubiquitous; any non-classical theory can be said to have non-trivial phase dynamics.
It is well-known that pure quantum states are typically almost maximally entangled, and thus have close to maximally mixed subsystems. We consider whether this is true for probabilistic theories more generally, and not just for quantum theory. We derive a formula for the expected purity of a subsystem in any probabilistic theory for which this quantity is well-defined. It applies to typical entanglement in pure quantum states, coin tossing in classical probability theory, and randomization in post-quantum theories; a simple generalization yields the typical entanglement in (anti)symmetric quantum subspaces. The formula is exact and simple, only containing the number of degrees of freedom and the information capacity of the respective systems. It allows us to generalize statistical physics arguments in a way which depends only on coarse properties of the underlying theory. The proof of the formula generalizes several randomization notions to general probabilistic theories. This includes a generalization of purity, contributing to the recent effort of finding appropriate generalized entropy measures.
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.
The strength of quantum correlations is bounded from above by Tsirelson's bound. We establish a connection between this bound and the fact that correlations between two systems cannot increase under local operations, a property known as the data processing inequality. More specifically, we consider arbitrary convex probabilistic theories. These can be equipped with an entropy measure that naturally generalizes the von Neumann entropy, as shown recently in [Short and Wehner, Barnum et al.]. We prove that if the data processing inequality holds with respect to this generalized entropy measure then the underlying theory necessarily respects Tsirelson's bound. We moreover generalise this statement to any entropy measure satisfying certain minimal requirements. A consequence of our result is that not all of the entropic relations used to derive Tsirelson's bound via information causality in [Pawlowski et al.] are necessary.
A remarkable feature of quantum theory is non-locality (i.e. the presence of correlations which violate Bell inequalities). However, quantum correlations are not maximally non-local, and it is natural to ask whether there are compelling reasons for rejecting theories in which stronger violations are possible. To shed light on this question, we consider post-quantum theories in which maximally non-local states (non-local boxes) occur. It has previously been conjectured that the set of dynamical transformations possible in such theories is severely limited. We settle the question affirmatively in the case of reversible dynamics, by completely characterizing all such transformations allowed in this setting. We find that the dynamical group is trivial, in the sense that it is generated solely by local operations and permutations of systems. In particular, no correlations can ever be created; non-local boxes cannot be prepared from product states (in other words, no analogues of entangling unitary operations exist), and classical computers can efficiently simulate all such processes.