-
Introducing Moment: A toolkit for semi-definite programming with moment matrices
Authors:
Andrew J. P. Garner,
Mateus Araújo
Abstract:
Non-commutative polynomial optimization is a powerful technique with numerous applications in quantum nonlocality, quantum key distribution, causal inference, many-body physics, amongst others. The standard approach is to reduce such optimizations to a hierarchy of semi-definite programs, which can be solved numerically using well-understood interior-point methods. A key, but computationally costl…
▽ More
Non-commutative polynomial optimization is a powerful technique with numerous applications in quantum nonlocality, quantum key distribution, causal inference, many-body physics, amongst others. The standard approach is to reduce such optimizations to a hierarchy of semi-definite programs, which can be solved numerically using well-understood interior-point methods. A key, but computationally costly, step is the formulation of moment matrices, whose size (and hence cost) grows exponentially with the depth of the hierarchy. It is therefore essential to have highly-optimized software to construct moment matrices. Here, we introduce Moment: a toolkit that produces moment matrix relaxations from the specification of a non-commutative optimization problem. In order to obtain the absolute best performance, Moment is written in C++, and for convenience of use provides an interface via MATLAB. We benchmark Moment's performance, and see that it can be up to four orders of magnitude faster than current software with similar functionality.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
First-order optimality conditions for non-commutative optimization problems
Authors:
Mateus Araújo,
Igor Klep,
Andrew J. P. Garner,
Tamás Vértesi,
Miguel Navascues
Abstract:
We consider the problem of optimizing the state average of a polynomial of non-commuting variables, over all states and operators satisfying a number of polynomial constraints, and over all Hilbert spaces where such states and operators are defined. Such non-commutative polynomial optimization (NPO) problems are routinely solved through hierarchies of semidefinite programming (SDP) relaxations. By…
▽ More
We consider the problem of optimizing the state average of a polynomial of non-commuting variables, over all states and operators satisfying a number of polynomial constraints, and over all Hilbert spaces where such states and operators are defined. Such non-commutative polynomial optimization (NPO) problems are routinely solved through hierarchies of semidefinite programming (SDP) relaxations. By phrasing the general NPO problem in Lagrangian form, we heuristically derive, via small variations on the problem variables, state and operator optimality conditions, both of which can be enforced by adding new positive semidefinite constraints to the SDP hierarchies. State optimality conditions are satisfied by all Archimedean (that is, bounded) NPO problems, and allow enforcing a new type of constraints: namely, restricting the optimization over states to the set of common ground states of an arbitrary number of operators. Operator optimality conditions are the non-commutative analogs of the Karush--Kuhn--Tucker (KKT) conditions, which are known to hold in many classical optimization problems. In this regard, we prove that a weak form of non-commutative operator optimality holds for all Archimedean NPO problems; stronger versions require the problem constraints to satisfy some qualification criterion, just like in the classical case. We test the power of the new optimality conditions by computing local properties of ground states of many-body spin systems and the maximum quantum violation of Bell inequalities.
△ Less
Submitted 19 February, 2024; v1 submitted 30 November, 2023;
originally announced November 2023.
-
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.
-
Quantum adaptive agents with efficient long-term memories
Authors:
Thomas J. Elliott,
Mile Gu,
Andrew J. P. Garner,
Jayne Thompson
Abstract:
Central to the success of adaptive systems is their ability to interpret signals from their environment and respond accordingly -- they act as agents interacting with their surroundings. Such agents typically perform better when able to execute increasingly complex strategies. This comes with a cost: the more information the agent must recall from its past experiences, the more memory it will need…
▽ More
Central to the success of adaptive systems is their ability to interpret signals from their environment and respond accordingly -- they act as agents interacting with their surroundings. Such agents typically perform better when able to execute increasingly complex strategies. This comes with a cost: the more information the agent must recall from its past experiences, the more memory it will need. Here we investigate the power of agents capable of quantum information processing. We uncover the most general form a quantum agent need adopt to maximise memory compression advantages, and provide a systematic means of encoding their memory states. We show these encodings can exhibit extremely favourable scaling advantages relative to memory-minimal classical agents, particularly when information must be retained about events increasingly far into the past.
△ Less
Submitted 11 January, 2022; v1 submitted 24 August, 2021;
originally announced August 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.
-
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.
-
The fundamental thermodynamic bounds on finite models
Authors:
Andrew J. P. Garner
Abstract:
The minimum heat cost of computation is subject to bounds arising from Landauer's principle. Here, I derive bounds on finite modelling -- the production or anticipation of patterns (time-series data) -- by devices that model the pattern in a piecewise manner and are equipped with a finite amount of memory. When producing a pattern, I show that the minimum dissipation is proportional to the informa…
▽ More
The minimum heat cost of computation is subject to bounds arising from Landauer's principle. Here, I derive bounds on finite modelling -- the production or anticipation of patterns (time-series data) -- by devices that model the pattern in a piecewise manner and are equipped with a finite amount of memory. When producing a pattern, I show that the minimum dissipation is proportional to the information in the model's memory about the pattern's history that never manifests in the device's future behaviour and must be expunged from memory. I provide a general construction of model that allow this dissipation to be reduced to zero. By also considering devices that consume, or effect arbitrary changes on a pattern, I discuss how these finite models can form an information reservoir framework consistent with the second law of thermodynamics.
△ Less
Submitted 18 June, 2021; v1 submitted 6 December, 2019;
originally announced December 2019.
-
Extreme dimensionality reduction with quantum modelling
Authors:
Thomas J. Elliott,
Chengran Yang,
Felix C. Binder,
Andrew J. P. Garner,
Jayne Thompson,
Mile Gu
Abstract:
Effective and efficient forecasting relies on identification of the relevant information contained in past observations -- the predictive features -- and isolating it from the rest. When the future of a process bears a strong dependence on its behaviour far into the past, there are many such features to store, necessitating complex models with extensive memories. Here, we highlight a family of sto…
▽ More
Effective and efficient forecasting relies on identification of the relevant information contained in past observations -- the predictive features -- and isolating it from the rest. When the future of a process bears a strong dependence on its behaviour far into the past, there are many such features to store, necessitating complex models with extensive memories. Here, we highlight a family of stochastic processes whose minimal classical models must devote unboundedly many bits to tracking the past. For this family, we identify quantum models of equal accuracy that can store all relevant information within a single two-dimensional quantum system (qubit). This represents the ultimate limit of quantum compression and highlights an immense practical advantage of quantum technologies for the forecasting and simulation of complex systems.
△ Less
Submitted 23 December, 2020; v1 submitted 6 September, 2019;
originally announced September 2019.
-
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.
-
Resource theories of multi-time processes: A window into quantum non-Markovianity
Authors:
Graeme D. Berk,
Andrew J. P. Garner,
Benjamin Yadin,
Kavan Modi,
Felix A. Pollock
Abstract:
We investigate the conditions under which an uncontrollable background processes may be harnessed by an agent to perform a task that would otherwise be impossible within their operational framework. This situation can be understood from the perspective of resource theory: rather than harnessing 'useful' quantum states to perform tasks, we propose a resource theory of quantum processes across multi…
▽ More
We investigate the conditions under which an uncontrollable background processes may be harnessed by an agent to perform a task that would otherwise be impossible within their operational framework. This situation can be understood from the perspective of resource theory: rather than harnessing 'useful' quantum states to perform tasks, we propose a resource theory of quantum processes across multiple points in time. Uncontrollable background processes fulfil the role of resources, and a new set of objects called superprocesses, corresponding to operationally implementable control of the system undergoing the process, constitute the transformations between them. After formally introducing a framework for deriving resource theories of multi-time processes, we present a hierarchy of examples induced by restricting quantum or classical communication within the superprocess - corresponding to a client-server scenario. The resulting nine resource theories have different notions of quantum or classical memory as the determinant of their utility. Furthermore, one of these theories has a strict correspondence between non-useful processes and those that are Markovian and, therefore, could be said to be a true 'quantum resource theory of non-Markovianity'.
△ Less
Submitted 14 April, 2021; v1 submitted 16 July, 2019;
originally announced July 2019.
-
Surveying structural complexity in quantum many-body systems
Authors:
Whei Yeap Suen,
Thomas J. Elliott,
Jayne Thompson,
Andrew J. P. Garner,
John R. Mahoney,
Vlatko Vedral,
Mile Gu
Abstract:
Quantum many-body systems exhibit a rich and diverse range of exotic behaviours, owing to their underlying non-classical structure. These systems present a deep structure beyond those that can be captured by measures of correlation and entanglement alone. Using tools from complexity science, we characterise such structure. We investigate the structural complexities that can be found within the pat…
▽ More
Quantum many-body systems exhibit a rich and diverse range of exotic behaviours, owing to their underlying non-classical structure. These systems present a deep structure beyond those that can be captured by measures of correlation and entanglement alone. Using tools from complexity science, we characterise such structure. We investigate the structural complexities that can be found within the patterns that manifest from the observational data of these systems. In particular, using two prototypical quantum many-body systems as test cases - the one-dimensional quantum Ising and Bose-Hubbard models - we explore how different information-theoretic measures of complexity are able to identify different features of such patterns. This work furthers the understanding of fully-quantum notions of structure and complexity in quantum systems and dynamics.
△ Less
Submitted 18 March, 2022; v1 submitted 23 December, 2018;
originally announced December 2018.
-
On defining the Hamiltonian beyond quantum theory
Authors:
Dominic Branford,
Oscar C. O. Dahlsten,
Andrew J. P. Garner
Abstract:
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 desid…
▽ More
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.
△ Less
Submitted 16 August, 2018;
originally announced August 2018.
-
One-shot information-theoretical approaches to fluctuation theorems
Authors:
Andrew J. P. Garner
Abstract:
Traditional thermodynamics governs the behaviour of large systems that evolve between states of thermal equilibrium. For these large systems, the mean values of thermodynamic quantities (such as work, heat and entropy) provide a good characterisation of the process. Conversely, there is ever-increasing interest in the thermal behaviour of systems that evolve quickly and far from equilibrium, and t…
▽ More
Traditional thermodynamics governs the behaviour of large systems that evolve between states of thermal equilibrium. For these large systems, the mean values of thermodynamic quantities (such as work, heat and entropy) provide a good characterisation of the process. Conversely, there is ever-increasing interest in the thermal behaviour of systems that evolve quickly and far from equilibrium, and that are too small for their behaviour to be well-described by mean values. Two major fields of modern thermodynamics seek to tackle such systems: non-equilibrium thermodynamics, and the nascent field of one-shot statistical mechanics. The former provides tools such as fluctuation theorems, whereas the latter applies "one-shot" Rényi entropies to thermal contexts. In this chapter to the upcoming book "Thermodynamics in the quantum regime - Recent progress and outlook" (Springer International Publishing), I provide a gentle introduction to recent research that draws from both fields: the application of one-shot information theory to fluctuation theorems.
△ Less
Submitted 30 May, 2018;
originally announced May 2018.
-
Memory-efficient tracking of complex temporal and symbolic dynamics with quantum simulators
Authors:
Thomas J. Elliott,
Andrew J. P. Garner,
Mile Gu
Abstract:
Tracking the behaviour of stochastic systems is a crucial task in the statistical sciences. It has recently been shown that quantum models can faithfully simulate such processes whilst retaining less information about the past behaviour of the system than the optimal classical models. We extend these results to general temporal and symbolic dynamics. Our systematic protocol for quantum model const…
▽ More
Tracking the behaviour of stochastic systems is a crucial task in the statistical sciences. It has recently been shown that quantum models can faithfully simulate such processes whilst retaining less information about the past behaviour of the system than the optimal classical models. We extend these results to general temporal and symbolic dynamics. Our systematic protocol for quantum model construction relies only on an elementary description of the dynamics of the process. This circumvents restrictions on corresponding classical construction protocols, and allows for a broader range of processes to be modelled efficiently. We illustrate our method with an example exhibiting an apparent unbounded memory advantage of the quantum model compared to its optimal classical counterpart.
△ Less
Submitted 29 January, 2019; v1 submitted 14 March, 2018;
originally announced March 2018.
-
Causal Asymmetry in a Quantum World
Authors:
Jayne Thompson,
Andrew J. P. Garner,
John R. Mahoney,
James P. Crutchfield,
Vlatko Vedral,
Mile Gu
Abstract:
Causal asymmetry is one of the great surprises in predictive modelling: the memory required to predict the future differs from the memory required to retrodict the past. There is a privileged temporal direction for modelling a stochastic process where memory costs are minimal. Models operating in the other direction incur an unavoidable memory overhead. Here we show that this overhead can vanish w…
▽ More
Causal asymmetry is one of the great surprises in predictive modelling: the memory required to predict the future differs from the memory required to retrodict the past. There is a privileged temporal direction for modelling a stochastic process where memory costs are minimal. Models operating in the other direction incur an unavoidable memory overhead. Here we show that this overhead can vanish when quantum models are allowed. Quantum models forced to run in the less natural temporal direction not only surpass their optimal classical counterparts, but also any classical model running in reverse time. This holds even when the memory overhead is unbounded, resulting in quantum models with unbounded memory advantage.
△ Less
Submitted 21 July, 2018; v1 submitted 6 December, 2017;
originally announced December 2017.
-
Interferometric computation beyond quantum theory
Authors:
Andrew J. P. Garner
Abstract:
There are quantum solutions for computational problems that make use of interference at some stage in the algorithm. These stages can be mapped into the physical setting of a single particle travelling through a many-armed interferometer. There has been recent foundational interest in theories beyond quantum theory. Here, we present a generalized formulation of computation in the context of a many…
▽ More
There are quantum solutions for computational problems that make use of interference at some stage in the algorithm. These stages can be mapped into the physical setting of a single particle travelling through a many-armed interferometer. There has been recent foundational interest in theories beyond quantum theory. Here, we present a generalized formulation of computation in the context of a many-armed interferometer, and explore how theories can differ from quantum theory and still perform distributed calculations in this set-up. We shall see that quaternionic quantum theory proves a suitable candidate, whereas box-world does not. We also find that a classical hidden variable model first presented by Spekkens [Phys. Rev. A, 75:3:32100, 2007] can also be used for this type of computation due to the epistemic restriction placed on the hidden variable.
△ Less
Submitted 15 March, 2018; v1 submitted 14 October, 2016;
originally announced October 2016.
-
Unbounded memory advantage in stochastic simulation using quantum mechanics
Authors:
Andrew J. P. Garner,
Qing Liu,
Jayne Thompson,
Vlatko Vedral,
Mile Gu
Abstract:
Simulating the stochastic evolution of real quantities on a digital computer requires a trade-off between the precision to which these quantities are approximated, and the memory required to store them. The statistical accuracy of the simulation is thus generally limited by the internal memory available to the simulator. Here, using tools from computational mechanics, we show that quantum processo…
▽ More
Simulating the stochastic evolution of real quantities on a digital computer requires a trade-off between the precision to which these quantities are approximated, and the memory required to store them. The statistical accuracy of the simulation is thus generally limited by the internal memory available to the simulator. Here, using tools from computational mechanics, we show that quantum processors with a fixed finite memory can simulate stochastic processes of real variables to arbitrarily high precision. This demonstrates a provable, unbounded memory advantage that a quantum simulator can exhibit over its best possible classical counterpart.
△ Less
Submitted 13 October, 2017; v1 submitted 14 September, 2016;
originally announced September 2016.
-
The ultimate physical limits to reversibility
Authors:
Andrew J. P. Garner,
Vlatko Vedral
Abstract:
We argue that if, in order to reverse an object's dynamics, we need to be able to keep track of it with enough precision, then there is an upper bound on the size of the object whose dynamics we can reverse - even using all the available resources of the universe. Using a bound from the holographic principle and treating the universe as the ultimate quantum computer, we show that if we want to rev…
▽ More
We argue that if, in order to reverse an object's dynamics, we need to be able to keep track of it with enough precision, then there is an upper bound on the size of the object whose dynamics we can reverse - even using all the available resources of the universe. Using a bound from the holographic principle and treating the universe as the ultimate quantum computer, we show that if we want to reverse the dynamics of an object which has evolved since the beginning of time, its radius cannot exceed ten microns. If this computation is performed irreversibly, the object must be much smaller. This places a lower bound on the size of the smallest possible quantum measurement device.
△ Less
Submitted 11 April, 2016;
originally announced April 2016.
-
Using quantum theory to reduce the complexity of input-output processes
Authors:
Jayne Thompson,
Andrew J. P. Garner,
Vlatko Vedral,
Mile Gu
Abstract:
All natural things process and transform information. They receive environmental information as input, and transform it into appropriate output responses. Much of science is dedicated to building models of such systems -- algorithmic abstractions of their input-output behavior that allow us to simulate how such systems can behave in the future, conditioned on what has transpired in the past. Here,…
▽ More
All natural things process and transform information. They receive environmental information as input, and transform it into appropriate output responses. Much of science is dedicated to building models of such systems -- algorithmic abstractions of their input-output behavior that allow us to simulate how such systems can behave in the future, conditioned on what has transpired in the past. Here, we show that classical models cannot avoid inefficiency -- storing past information that is unnecessary for correct future simulation. We construct quantum models that mitigate this waste, whenever it is physically possible to do so. This suggests that the complexity of general input-output processes depends fundamentally on what sort of information theory we use to describe them.
△ Less
Submitted 13 February, 2017; v1 submitted 20 January, 2016;
originally announced January 2016.
-
The classical-quantum divergence of complexity in modelling spin chains
Authors:
Whei Yeap Suen,
Jayne Thompson,
Andrew J. P. Garner,
Vlatko Vedral,
Mile Gu
Abstract:
The minimal memory required to model a given stochastic process - known as the statistical complexity - is a widely adopted quantifier of structure in complexity science. Here, we ask if quantum mechanics can fundamentally change the qualitative behaviour of this measure. We study this question in the context of the classical Ising spin chain. In this system, the statistical complexity is known to…
▽ More
The minimal memory required to model a given stochastic process - known as the statistical complexity - is a widely adopted quantifier of structure in complexity science. Here, we ask if quantum mechanics can fundamentally change the qualitative behaviour of this measure. We study this question in the context of the classical Ising spin chain. In this system, the statistical complexity is known to grow monotonically with temperature. We evaluate the spin chain's quantum mechanical statistical complexity by explicitly constructing its provably simplest quantum model, and demonstrate that this measure exhibits drastically different behaviour: it rises to a maximum at some finite temperature then tends back towards zero for higher temperatures. This demonstrates how complexity, as captured by the amount of memory required to model a process, can exhibit radically different behaviour when quantum processing is allowed.
△ Less
Submitted 31 July, 2017; v1 submitted 18 November, 2015;
originally announced November 2015.
-
Thermodynamics of complexity and pattern manipulation
Authors:
Andrew J. P. Garner,
Jayne Thompson,
Vlatko Vedral,
Mile Gu
Abstract:
Many organisms capitalize on their ability to predict the environment to maximize available free energy, and reinvest this energy to create new complex structures. This functionality relies on the manipulation of patterns - temporally ordered sequences of data. Here, we propose a framework to describe pattern manipulators -- devices that convert thermodynamic work to patterns or vice versa - and u…
▽ More
Many organisms capitalize on their ability to predict the environment to maximize available free energy, and reinvest this energy to create new complex structures. This functionality relies on the manipulation of patterns - temporally ordered sequences of data. Here, we propose a framework to describe pattern manipulators -- devices that convert thermodynamic work to patterns or vice versa - and use them to build a 'pattern engine' that facilitates a thermodynamic cycle of pattern creation and consumption. We show that the least heat dissipation is achieved by the provably simplest devices; the ones that exhibit desired operational behaviour while maintaining the least internal memory. We derive the ultimate limits of this heat dissipation, and show that it is generally non-zero and connected with the pattern's intrinsic crypticity - a complexity theoretic quantity that captures the puzzling difference between the amount of information the pattern's past behaviour reveals about its future, and the amount one needs to communicate about this past to optimally predict the future.
△ Less
Submitted 26 April, 2017; v1 submitted 30 September, 2015;
originally announced October 2015.
-
Maximum one-shot dissipated work from Renyi divergences
Authors:
Nicole Yunger Halpern,
Andrew J. P. Garner,
Oscar C. O. Dahlsten,
Vlatko Vedral
Abstract:
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 context…
▽ More
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.
△ Less
Submitted 28 May, 2018; v1 submitted 22 May, 2015;
originally announced May 2015.
-
Entropic equality for worst-case work at any protocol speed
Authors:
Oscar Dahlsten,
Mahn-Soo Choi,
Daniel Braun,
Andrew J. P. Garner,
Nicole Yunger Halpern,
Vlatko Vedral
Abstract:
We derive an equality for non-equilibrium statistical mechanics in finite-dimensional quantum systems. The equality concerns the worst-case work output of a time-dependent Hamiltonian protocol in the presence of a Markovian heat bath. It has has the form "worst-case work = penalty - optimum". The equality holds for all rates of changing the Hamiltonian and can be used to derive the optimum by sett…
▽ More
We derive an equality for non-equilibrium statistical mechanics in finite-dimensional quantum systems. The equality concerns the worst-case work output of a time-dependent Hamiltonian protocol in the presence of a Markovian heat bath. It has has the form "worst-case work = penalty - optimum". The equality holds for all rates of changing the Hamiltonian and can be used to derive the optimum by setting the penalty to 0. The optimum term contains the max entropy of the initial state, rather than the von Neumann entropy, thus recovering recent results from single-shot statistical mechanics. Energy coherences can arise during the protocol but are assumed not to be present initially. We apply the equality to an electron box.
△ Less
Submitted 17 April, 2017; v1 submitted 20 April, 2015;
originally announced April 2015.
-
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.
-
Introducing one-shot work into fluctuation relations
Authors:
Nicole Yunger Halpern,
Andrew J. P. Garner,
Oscar C. O. Dahlsten,
Vlatko Vedral
Abstract:
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 in…
▽ More
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.
△ Less
Submitted 12 August, 2015; v1 submitted 12 September, 2014;
originally announced September 2014.
-
Guaranteed energy-efficient bit reset in finite time
Authors:
Cormac Browne,
Andrew J. P. Garner,
Oscar C. O. Dahlsten,
Vlatko Vedral
Abstract:
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…
▽ More
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.
△ Less
Submitted 12 September, 2014; v1 submitted 29 November, 2013;
originally announced November 2013.
-
Particle exchange in post-quantum theories
Authors:
Oscar C. O. Dahlsten,
Andrew J. P. Garner,
Jayne Thompson,
Mile Gu,
Vlatko Vedral
Abstract:
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 conside…
▽ More
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 swap** 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.
△ Less
Submitted 4 November, 2013; v1 submitted 9 July, 2013;
originally announced July 2013.
-
A general framework for phase and interference
Authors:
Andrew J. P. Garner,
Oscar C. O. Dahlsten,
Yoshifumi Nakata,
Mio Murao,
Vlatko Vedral
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 April, 2013;
originally announced April 2013.
-
How uncertainty enables non-classical dynamics
Authors:
Oscar C. O. Dahlsten,
Andrew J. P. Garner,
Vlatko Vedral
Abstract:
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…
▽ More
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.
△ Less
Submitted 19 September, 2013; v1 submitted 25 June, 2012;
originally announced June 2012.
