-
Quantum Frequential Computing: a quadratic run time advantage for all algorithms
Authors:
Mischa P. Woods
Abstract:
We introduce a new class of computer called a quantum frequential computer. They harness quantum properties in a different way to conventional quantum computers to generate a quadratic computational run time advantage for all algorithms as a function of the power consumed. They come in two variants: type 1 can process classical algorithms only while type 2 can also process quantum ones. In a type-…
▽ More
We introduce a new class of computer called a quantum frequential computer. They harness quantum properties in a different way to conventional quantum computers to generate a quadratic computational run time advantage for all algorithms as a function of the power consumed. They come in two variants: type 1 can process classical algorithms only while type 2 can also process quantum ones. In a type-1 quantum frequential computer, only the control is quantum, while in a type 2 the logical space is also quantum. We also prove that a quantum frequential computer only requires a classical data bus to function. This is useful, because it means that only a relatively small part of the overall architecture of the computer needs to be quantum in a type-1 quantum frequential computer in order to achieve a quadratic run time advantage. As with classical and conventional quantum computers, quantum frequential computers also generate heat and require cooling. We also characterise these requirements.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
On the feasibility of detecting quantum delocalization effects on relativistic time dilation in optical clocks
Authors:
Yanglin Hu,
Maximilian P. E. Lock,
Mischa P. Woods
Abstract:
We derive the predicted time dilation of delocalized atomic clocks in an optical lattice setup in the presence of a gravitational field to leading order in quantum relativistic corrections. We investigate exotic quantum states of motion whose relativistic time dilation is outside of the realm of classical general relativity, finding a regime where $^{24}\mathrm{Mg}$ optical lattice clocks currentl…
▽ More
We derive the predicted time dilation of delocalized atomic clocks in an optical lattice setup in the presence of a gravitational field to leading order in quantum relativistic corrections. We investigate exotic quantum states of motion whose relativistic time dilation is outside of the realm of classical general relativity, finding a regime where $^{24}\mathrm{Mg}$ optical lattice clocks currently in development would comfortably be able to detect this quantum effect (if the technical challenge of generating such states can be met and the expected accuracy of such clocks can be attained). We provide a detailed experimental protocol and analyse the effects of noise on our predictions. We also show that the magnitude of our predicted quantum relativistic time dilation effect remains just out of detectable reach for the current generation of $^{87}\mathrm{Sr}$ optical lattice clocks. Our calculations agree with the predicted time dilation of classical general relativity when restricting to Gaussian states.
△ Less
Submitted 1 July, 2024; v1 submitted 17 July, 2023;
originally announced July 2023.
-
Quantum advantages in timekee**: dimensional advantage, entropic advantage and how to realise them via Berry phases and ultra-regular spontaneous emission
Authors:
Arman Pour Tak Dost,
Mischa P. Woods
Abstract:
When an atom is in an excited state, after some amount of time, it will decay to a lower energy state emitting a photon in the process. This is known as spontaneous emission. It is one of the three elementary light-matter interactions. If it has not decayed at time $t$, then the probability that it does so in the next infinitesimal time step $[t, t+δt]$, is $t$-independent. So there is no preferre…
▽ More
When an atom is in an excited state, after some amount of time, it will decay to a lower energy state emitting a photon in the process. This is known as spontaneous emission. It is one of the three elementary light-matter interactions. If it has not decayed at time $t$, then the probability that it does so in the next infinitesimal time step $[t, t+δt]$, is $t$-independent. So there is no preferred time at which to decay -- in this sense it is a random process. Here we show, by carefully engineering this light-matter interaction, that we can associate it with a clock, where the matter constitutes the clockwork and the spontaneous emission constitutes the ticking of the clock. In particular, we show how to realise the quasi-ideal clock. Said clock has been proven -- in an abstract and theoretic sense -- to be the most accurate clock permissible by quantum theory, with a polynomial enhancement in precision over the best stochastic clock of the same size. Our results thus demonstrate that the seemingly random process of spontaneous emission can in actual fact, under the right circumstances, be the most regular one permissible by quantum theory. To achieve this we use geometric features and flux-loop insertions to induce symmetry and Berry phases into the light-matter coupling. We also study the entropy the clock produces per tick and show that it also possesses a quantum advantage over that generated from the previously known semi-classical clocks in the literature.
△ Less
Submitted 17 March, 2023;
originally announced March 2023.
-
A general framework for consistent logical reasoning in Wigner's friend scenarios: subjective perspectives of agents within a single quantum circuit
Authors:
V. Vilasini,
Mischa P. Woods
Abstract:
It is natural to expect a complete physical theory to have the ability to consistently model agents as physical systems of the theory. In [Nat. Comms. 9, 3711 (2018)], Frauchiger and Renner (FR) claim to show that when agents in quantum theory reason about each other's knowledge in a certain Wigner's friend scenario, they arrive at a logical contradiction. In light of this, Renner often poses the…
▽ More
It is natural to expect a complete physical theory to have the ability to consistently model agents as physical systems of the theory. In [Nat. Comms. 9, 3711 (2018)], Frauchiger and Renner (FR) claim to show that when agents in quantum theory reason about each other's knowledge in a certain Wigner's friend scenario, they arrive at a logical contradiction. In light of this, Renner often poses the challenge: provide a set of reasoning rules that can be used to program quantum computers that may act as agents, which are (a) logically consistent (b) generalise to arbitrary Wigner's friend scenarios (c) efficiently programmable and (d) consistent with the temporal order of the protocol. Here we develop a general framework where we show that every logical Wigner's friend scenario (LWFS) can be mapped to a single temporally ordered quantum circuit, which allows agents in any LWFS to reason in a way that meets all four criteria of the challenge. Importantly, our framework achieves this general resolution without modifying classical logic or unitary quantum evolution or the Born rule, while allowing agents' perspectives to be fundamentally subjective. We analyse the FR protocol in detail, showing how the apparent paradox is resolved there. We show that apparent logical contradictions in any LWFS only arise when ignoring the choice of Heisenberg cut in scenarios where this choice does matter, and taking this dependence into account will always resolve the apparent paradox. Our results establish that universal applicability of quantum theory does not pose any threat to multi-agent logical reasoning and we discuss the implications of these results for FR's no-go theorem. Moreover, our formalism suggests the possibility of a truly relational and operational description of Wigner's friend scenarios that is consistent with quantum theory as well as probability theory applied to measurement outcomes.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
On the system loophole of generalized noncontextuality
Authors:
Victor Gitton,
Mischa P. Woods
Abstract:
Generalized noncontextuality is a well-studied notion of classicality that is applicable to a single system, as opposed to Bell locality. It relies on representing operationally indistinguishable procedures identically in an ontological model. However, operational indistinguishability depends on the set of operations that one may use to distinguish two procedures: we refer to this set as the refer…
▽ More
Generalized noncontextuality is a well-studied notion of classicality that is applicable to a single system, as opposed to Bell locality. It relies on representing operationally indistinguishable procedures identically in an ontological model. However, operational indistinguishability depends on the set of operations that one may use to distinguish two procedures: we refer to this set as the reference of indistinguishability. Thus, whether or not a given experiment is noncontextual depends on the choice of reference. The choices of references appearing in the literature are seldom discussed, but typically relate to a notion of system underlying the experiment. This shift in perspective then begs the question: how should one define the extent of the system underlying an experiment? Our paper primarily aims at exposing this question rather than providing a definitive answer to it. We start by formulating a notion of relative noncontextuality for prepare-and-measure scenarios, which is simply noncontextuality with respect to an explicit reference of indistinguishability. We investigate how verdicts of relative noncontextuality depend on this choice of reference, and in the process introduce the concept of the noncontextuality graph of a prepare-and-measure scenario. We then discuss several proposals that one may appeal to in order to fix the reference to a specific choice, and relate these proposals to different conceptions of what a system really is. With this discussion, we advocate that whether or not an experiment is noncontextual is not as absolute as often perceived.
△ Less
Submitted 9 September, 2022;
originally announced September 2022.
-
Time-energy uncertainty relation for noisy quantum metrology
Authors:
Philippe Faist,
Mischa P. Woods,
Victor V. Albert,
Joseph M. Renes,
Jens Eisert,
John Preskill
Abstract:
Detection of weak forces and precise measurement of time are two of the many applications of quantum metrology to science and technology. We consider a quantum system initialized in a pure state and whose evolution is governed by a Hamiltonian $H$; a measurement can later estimate the time $t$ for which the system has evolved. In this work, we introduce and study a fundamental trade-off which rela…
▽ More
Detection of weak forces and precise measurement of time are two of the many applications of quantum metrology to science and technology. We consider a quantum system initialized in a pure state and whose evolution is governed by a Hamiltonian $H$; a measurement can later estimate the time $t$ for which the system has evolved. In this work, we introduce and study a fundamental trade-off which relates the amount by which noise reduces the accuracy of a quantum clock to the amount of information about the energy of the clock that leaks to the environment. Specifically, we consider an idealized scenario in which Alice prepares an initial pure state of the clock, allows the clock to evolve for a time $t$ that is not precisely known, and then transmits the clock through a noisy channel to Bob. The environment (Eve) receives any information that is lost. We prove that Bob's loss of quantum Fisher information (QFI) about $t$ is equal to Eve's gain of QFI about a complementary energy parameter. We also prove a more general trade-off that applies when Bob and Eve wish to estimate the values of parameters associated with two noncommuting observables. We derive the necessary and sufficient conditions for the accuracy of the clock to be unaffected by the noise. These are a subset of the Knill-Laflamme error-correction conditions; states satisfying these conditions are said to form a metrological code. We provide a scheme to construct metrological codes in the stabilizer formalism. We show that there are metrological codes that cannot be written as a quantum error-correcting code with similar distance in which the Hamiltonian acts as a logical operator, potentially offering new schemes for constructing states that do not lose any sensitivity upon application of a noisy channel. We discuss applications of our results to sensing using a many-body state subject to erasure or amplitude-dam** noise.
△ Less
Submitted 4 February, 2024; v1 submitted 27 July, 2022;
originally announced July 2022.
-
Measuring time with stationary quantum clocks
Authors:
Sergii Strelchuk,
Mischa P. Woods
Abstract:
Time plays a fundamental role in our ability to make sense of the physical laws in the world around us. The nature of time has puzzled people -- from the ancient Greeks to the present day -- resulting in a long running debate between philosophers and physicists alike to whether time needs change to exist (the so-called relatival theory), or whether time flows regardless of change (the so-called su…
▽ More
Time plays a fundamental role in our ability to make sense of the physical laws in the world around us. The nature of time has puzzled people -- from the ancient Greeks to the present day -- resulting in a long running debate between philosophers and physicists alike to whether time needs change to exist (the so-called relatival theory), or whether time flows regardless of change (the so-called substantival theory). One way to decide between the two is to attempt to measure the flow of time with a stationary clock, since if time were substantival, the flow of time would manifest itself in the experiment. Alas, conventional wisdom suggests that in order for a clock to function, it cannot be a static object, thus rendering this experiment seemingly impossible. Here we show, with the aid of counterfactual measurements, the surprising result that a quantum clock can measure the passage of time even while being switched off, thus lending constructive support for the substantival theory of time.
△ Less
Submitted 22 September, 2021; v1 submitted 14 June, 2021;
originally announced June 2021.
-
Optimal Universal Quantum Error Correction via Bounded Reference Frames
Authors:
Yuxiang Yang,
Yin Mo,
Joseph M. Renes,
Giulio Chiribella,
Mischa P. Woods
Abstract:
Error correcting codes with a universal set of transversal gates are a desideratum for quantum computing. Such codes, however, are ruled out by the Eastin-Knill theorem. Moreover, the theorem also rules out codes which are covariant with respect to the action of transversal unitary operations forming continuous symmetries. In this work, starting from an arbitrary code, we construct approximate cod…
▽ More
Error correcting codes with a universal set of transversal gates are a desideratum for quantum computing. Such codes, however, are ruled out by the Eastin-Knill theorem. Moreover, the theorem also rules out codes which are covariant with respect to the action of transversal unitary operations forming continuous symmetries. In this work, starting from an arbitrary code, we construct approximate codes which are covariant with respect to the entire group of local unitary gates in dimension $d$, using quantum reference frames. We show that our codes are capable of efficiently correcting different types of erasure errors. When only a small fraction of the $n$ qudits upon which the code is built are erased, our covariant code has an error that scales as $1/n^2$, which is reminiscent of the Heisenberg limit of quantum metrology. When every qudit has a chance of being erased, our covariant code has an error that scales as $1/n$. We show that the error scaling is optimal in both cases. Our approach has implications for fault-tolerant quantum computing, reference frame error correction, and the AdS-CFT duality.
△ Less
Submitted 22 November, 2021; v1 submitted 17 July, 2020;
originally announced July 2020.
-
Autonomous Ticking Clocks from Axiomatic Principles
Authors:
Mischa P. Woods
Abstract:
There are many different types of time kee** devices. We use the phrase ticking clock to describe those which -- simply put -- "tick" at approximately regular intervals. Various important results have been derived for ticking clocks, and more are in the pipeline. It is thus important to understand the underlying models on which these results are founded. The aim of this paper is to introduce a n…
▽ More
There are many different types of time kee** devices. We use the phrase ticking clock to describe those which -- simply put -- "tick" at approximately regular intervals. Various important results have been derived for ticking clocks, and more are in the pipeline. It is thus important to understand the underlying models on which these results are founded. The aim of this paper is to introduce a new ticking clock model from axiomatic principles that overcomes concerns in the community about the physicality of the assumptions made in previous models. The ticking clock model in [arXiv:1806.00491] achieves high accuracy, yet lacks the autonomy of the less accurate model in [10.1103/PhysRevX.7.031022]. Importantly, the model we introduce here achieves the best of both models: it retains the autonomy of [10.1103/PhysRevX.7.031022] while allowing for the high accuracies of [arXiv:1806.00491]. What is more, [10.1103/PhysRevX.7.031022] is revealed to be a special case of the new ticking clock model.
△ Less
Submitted 14 January, 2021; v1 submitted 10 May, 2020;
originally announced May 2020.
-
Ticking-clock performance enhanced by nonclassical temporal correlations
Authors:
Costantino Budroni,
Giuseppe Vitagliano,
Mischa P. Woods
Abstract:
We investigate the role of nonclassical temporal correlations in enhancing the performance of ticking clocks in a discrete-time scenario. We show that the problem of optimal models for ticking clocks is related to the violation of Leggett-Garg-type temporal inequalities formulated in terms of, possibly invasive, sequential measurements, but on a system with a bounded memory capacity. Ticking clock…
▽ More
We investigate the role of nonclassical temporal correlations in enhancing the performance of ticking clocks in a discrete-time scenario. We show that the problem of optimal models for ticking clocks is related to the violation of Leggett-Garg-type temporal inequalities formulated in terms of, possibly invasive, sequential measurements, but on a system with a bounded memory capacity. Ticking clocks inspire the derivation of a family of temporal inequalities showing a gap between classical and quantum correlations, despite involving no input. We show that quantum ticking-clock models achieving accuracy beyond the classical bound are also those violating Leggett-Garg-type temporal inequalities for finite sequences and we investigate their continuous-time limit. Interestingly, we show that optimal classical clock models in the discrete-time scenario do not have a well-defined continuous-time limit, a feature that is absent in quantum models.
△ Less
Submitted 29 July, 2021; v1 submitted 8 May, 2020;
originally announced May 2020.
-
Solvable Criterion for the Contextuality of any Prepare-and-Measure Scenario
Authors:
Victor Gitton,
Mischa P. Woods
Abstract:
Starting from arbitrary sets of quantum states and measurements, referred to as the prepare-and-measure scenario, an operationally noncontextual ontological model of the quantum statistics associated with the prepare-and-measure scenario is constructed. The operationally noncontextual ontological model coincides with standard Spekkens noncontextual ontological models for tomographically complete s…
▽ More
Starting from arbitrary sets of quantum states and measurements, referred to as the prepare-and-measure scenario, an operationally noncontextual ontological model of the quantum statistics associated with the prepare-and-measure scenario is constructed. The operationally noncontextual ontological model coincides with standard Spekkens noncontextual ontological models for tomographically complete scenarios, while covering the non-tomographically complete case with a new notion of a reduced space, which we motivate following the guiding principles of noncontextuality. A mathematical criterion, called unit separability, is formulated as the relevant classicality criterion -- the name is inspired by the usual notion of quantum state separability. Using this criterion, we derive a new upper bound on the cardinality of the ontic space. Then, we recast the unit separability criterion as a (possibly infinite) set of linear constraints, from which we obtain two separate hierarchies of algorithmic tests to witness the non-classicality or certify the classicality of a scenario. Finally, we reformulate our results in the framework of generalized probabilistic theories and discuss the implications for simplex-embeddability in such theories.
△ Less
Submitted 29 May, 2022; v1 submitted 13 March, 2020;
originally announced March 2020.
-
Autonomous Quantum Devices: When Are They Realizable without Additional Thermodynamic Costs?
Authors:
Mischa P. Woods,
Michał Horodecki
Abstract:
The resource theory of quantum thermodynamics has been a very successful theory and has generated much follow-up work in the community. It requires energy-preserving unitary operations to be implemented over a system, bath, and catalyst as part of its paradigm. So far, such unitary operations have been considered a "free" resource in the theory. However, this is only an idealization of a necessari…
▽ More
The resource theory of quantum thermodynamics has been a very successful theory and has generated much follow-up work in the community. It requires energy-preserving unitary operations to be implemented over a system, bath, and catalyst as part of its paradigm. So far, such unitary operations have been considered a "free" resource in the theory. However, this is only an idealization of a necessarily inexact process. Here, we include an additional auxiliary control system which can autonomously implement the unitary by turning an interaction "on or off". However, the control system will inevitably be degraded by the backaction caused by the implementation of the unitary. We derive conditions on the quality of the control device so that the laws of thermodynamics do not change and prove - by utilizing a good quantum clock - that the laws of quantum mechanics allow the backreaction to be small enough so that these conditions are satisfiable. Our inclusion of nonidealized control into the resource framework also raises interesting prospects, which were absent when considering idealized control. Among other things, the emergence of a third law without the need for the assumption of a light cone. Our results and framework unify the field of autonomous thermal machines with the thermodynamic quantum resource-theoretic one, and lay the groundwork for all quantum processing devices to be unified with fully autonomous machines.
△ Less
Submitted 9 March, 2023; v1 submitted 11 December, 2019;
originally announced December 2019.
-
Approximate quantum non-demolition measurements
Authors:
Sami Boulebnane,
Mischa P. Woods,
Joseph M. Renes
Abstract:
With the advent of gravitational wave detectors employing squeezed light, quantum waveform estimation---estimating a time-dependent signal by means of a quantum-mechanical probe---is of increasing importance. As is well known, backaction of quantum measurement limits the precision with which the waveform can be estimated, though these limits can in principle be overcome by "quantum nondemolition"…
▽ More
With the advent of gravitational wave detectors employing squeezed light, quantum waveform estimation---estimating a time-dependent signal by means of a quantum-mechanical probe---is of increasing importance. As is well known, backaction of quantum measurement limits the precision with which the waveform can be estimated, though these limits can in principle be overcome by "quantum nondemolition" (QND) measurement setups found in the literature. Strictly speaking, however, their implementation would require infinite energy, as their mathematical description involves Hamiltonians unbounded from below. This raises the question of how well one may approximate nondemolition setups with finite energy or finite-dimensional realizations. Here we consider a finite-dimensional waveform estimation setup based on the "quasi-ideal clock" and show that the estimation errors due to approximating the QND condition decrease slowly, as a power law, with increasing dimension. As a result, we find that good QND approximations require large energy or dimensionality. We argue that this result can be expected to also hold for setups based on truncated oscillators or spin systems.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
Universal quantum modifications to general relativistic time dilation in delocalised clocks
Authors:
Shishir Khandelwal,
Maximilian P. E. Lock,
Mischa P. Woods
Abstract:
The theory of relativity associates a proper time with each moving object via its world line. In quantum theory however, such well-defined trajectories are forbidden. After introducing a general characterisation of quantum clocks, we demonstrate that, in the weak-field, low-velocity limit, all "good" quantum clocks experience time dilation as dictated by general relativity when their state of moti…
▽ More
The theory of relativity associates a proper time with each moving object via its world line. In quantum theory however, such well-defined trajectories are forbidden. After introducing a general characterisation of quantum clocks, we demonstrate that, in the weak-field, low-velocity limit, all "good" quantum clocks experience time dilation as dictated by general relativity when their state of motion is classical (i.e. Gaussian). For nonclassical states of motion, on the other hand, we find that quantum interference effects may give rise to a significant discrepancy between the proper time and the time measured by the clock. The universality of this discrepancy implies that it is not simply a systematic error, but rather a quantum modification to the proper time itself. We also show how the clock's delocalisation leads to a larger uncertainty in the time it measures -- a consequence of the unavoidable entanglement between the clock time and its center-of-mass degrees of freedom. We demonstrate how this lost precision can be recovered by performing a measurement of the clock's state of motion alongside its time reading.
△ Less
Submitted 12 August, 2020; v1 submitted 3 April, 2019;
originally announced April 2019.
-
Continuous groups of transversal gates for quantum error correcting codes from finite clock reference frames
Authors:
Mischa P. Woods,
Álvaro M. Alhambra
Abstract:
Following the introduction of the task of reference frame error correction, we show how, by using reference frame alignment with clocks, one can add a continuous Abelian group of transversal logical gates to any error-correcting code. With this we further explore a way of circumventing the no-go theorem of Eastin and Knill, which states that if local errors are correctable, the group of transversa…
▽ More
Following the introduction of the task of reference frame error correction, we show how, by using reference frame alignment with clocks, one can add a continuous Abelian group of transversal logical gates to any error-correcting code. With this we further explore a way of circumventing the no-go theorem of Eastin and Knill, which states that if local errors are correctable, the group of transversal gates must be of finite order. We are able to do this by introducing a small error on the decoding procedure that decreases with the dimension of the frames used. Furthermore, we show that there is a direct relationship between how small this error can be and how accurate quantum clocks can be: the more accurate the clock, the smaller the error; and the no-go theorem would be violated if time could be measured perfectly in quantum mechanics. The asymptotic scaling of the error is studied under a number of scenarios of reference frames and error models. The scheme is also extended to errors at unknown locations, and we show how to achieve this by simple majority voting related error correction schemes on the reference frames. In the Outlook, we discuss our results in relation to the AdS/CFT correspondence and the Page-Wooters mechanism.
△ Less
Submitted 19 March, 2020; v1 submitted 20 February, 2019;
originally announced February 2019.
-
Quantum clocks are more precise than classical ones
Authors:
Mischa P. Woods,
Ralph Silva,
Gilles Pütz,
Sandra Stupar,
Renato Renner
Abstract:
A clock is, from an information-theoretic perspective, a system that emits information about time. One may therefore ask whether the theory of information imposes any constraints on the maximum precision of clocks. Here we show a quantum-over-classical advantage for clocks or, more precisely, the task of generating information about what time it is. The argument is based on information-theoretic c…
▽ More
A clock is, from an information-theoretic perspective, a system that emits information about time. One may therefore ask whether the theory of information imposes any constraints on the maximum precision of clocks. Here we show a quantum-over-classical advantage for clocks or, more precisely, the task of generating information about what time it is. The argument is based on information-theoretic considerations: we analyse how the precision of a clock scales with its size, measured in terms of the number of bits that could be stored in it. We find that a quantum clock can achieve a quadratically improved precision compared to a purely classical one of the same size.
△ Less
Submitted 24 February, 2022; v1 submitted 1 June, 2018;
originally announced June 2018.
-
Resource theory of quantum thermodynamics: Thermal operations and Second Laws
Authors:
Nelly Ng,
Mischa P. Woods
Abstract:
Resource theories are a generic approach used to manage any valuable resource, such as entanglement, purity, and asymmetry. Such frameworks are characterized by two main elements: a set of predefined (free) operations and states, that one assumes to be easily obtained at no cost. Given these ground rules, one can ask: what is achievable by using such free operations and states? This usually result…
▽ More
Resource theories are a generic approach used to manage any valuable resource, such as entanglement, purity, and asymmetry. Such frameworks are characterized by two main elements: a set of predefined (free) operations and states, that one assumes to be easily obtained at no cost. Given these ground rules, one can ask: what is achievable by using such free operations and states? This usually results in a set of state transition conditions, that tell us if a particular state $ ρ$ may evolve into another state $ ρ' $ via the usage of free operations and states. We shall see in this chapter that thermal interactions can be modelled as a resource theory. The state transition conditions arising out of such a framework, are then referred to as "second laws". We shall also see how such state transition conditions recover classical thermodynamics in the i.i.d. limit. Finally, we discuss how these laws are applied to study fundamental limitations to the performance of quantum heat engines.
△ Less
Submitted 24 May, 2018;
originally announced May 2018.
-
Dynamical maps, quantum detailed balance and Petz recovery map
Authors:
Álvaro M. Alhambra,
Mischa P. Woods
Abstract:
Markovian master equations (formally known as quantum dynamical semigroups) can be used to describe the evolution of a quantum state $ρ$ when in contact with a memoryless thermal bath. This approach has had much success in describing the dynamics of real-life open quantum systems in the lab. Such dynamics increase the entropy of the state $ρ$ and the bath until both systems reach thermal equilibri…
▽ More
Markovian master equations (formally known as quantum dynamical semigroups) can be used to describe the evolution of a quantum state $ρ$ when in contact with a memoryless thermal bath. This approach has had much success in describing the dynamics of real-life open quantum systems in the lab. Such dynamics increase the entropy of the state $ρ$ and the bath until both systems reach thermal equilibrium, at which point entropy production stops. Our main result is to show that the entropy production at time $t$ is bounded by the relative entropy between the original state and the state at time $2t$. The bound puts strong constraints on how quickly a state can thermalise, and we prove that the factor of $2$ is tight. The proof makes use of a key physically relevant property of these dynamical semigroups -- detailed balance, showing that this property is intimately connected with the field of recovery maps from quantum information theory. We envisage that the connections made here between the two fields will have further applications. We also use this connection to show that a similar relation can be derived when the fixed point is not thermal.
△ Less
Submitted 17 August, 2017; v1 submitted 23 September, 2016;
originally announced September 2016.
-
Autonomous quantum clocks: does thermodynamics limit our ability to measure time?
Authors:
Paul Erker,
Mark T. Mitchison,
Ralph Silva,
Mischa P. Woods,
Nicolas Brunner,
Marcus Huber
Abstract:
Time remains one of the least well understood concepts in physics, most notably in quantum mechanics. A central goal is to find the fundamental limits of measuring time. One of the main obstacles is the fact that time is not an observable and thus has to be measured indirectly. Here we explore these questions by introducing a model of time measurements that is complete and autonomous. Specifically…
▽ More
Time remains one of the least well understood concepts in physics, most notably in quantum mechanics. A central goal is to find the fundamental limits of measuring time. One of the main obstacles is the fact that time is not an observable and thus has to be measured indirectly. Here we explore these questions by introducing a model of time measurements that is complete and autonomous. Specifically, our autonomous quantum clock consists of a system out of thermal equilibrium --- a prerequisite for any system to function as a clock --- powered by minimal resources, namely two thermal baths at different temperatures. Through a detailed analysis of this specific clock model, we find that the laws of thermodynamics dictate a trade-off between the amount of dissipated heat and the clock's performance in terms of its accuracy and resolution. Our results furthermore imply that a fundamental entropy production is associated with the operation of any autonomous quantum clock, assuming that quantum machines cannot achieve perfect efficiency at finite power. More generally, autonomous clocks provide a natural framework for the exploration of fundamental questions about time in quantum theory and beyond.
△ Less
Submitted 4 August, 2017; v1 submitted 21 September, 2016;
originally announced September 2016.
-
Autonomous quantum machines and the finite sized Quasi-Ideal clock
Authors:
Mischa P. Woods,
Ralph Silva,
Jonathan Oppenheim
Abstract:
Processes such as quantum computation, or the evolution of quantum cellular automata are typically described by a unitary operation implemented by an external observer. In particular, an interaction is generally turned on for a precise amount of time, using a classical clock. A fully quantum mechanical description of such a device would include a quantum description of the clock whose state is gen…
▽ More
Processes such as quantum computation, or the evolution of quantum cellular automata are typically described by a unitary operation implemented by an external observer. In particular, an interaction is generally turned on for a precise amount of time, using a classical clock. A fully quantum mechanical description of such a device would include a quantum description of the clock whose state is generally disturbed because of the back-reaction on it. Such a description is needed if we wish to consider finite sized autonomous quantum machines requiring no external control. The extent of the back-reaction has implications on how small the device can be, on the length of time the device can run, and is required if we want to understand what a fully quantum mechanical treatment of an observer would look like. Here, we consider the implementation of a unitary by a finite sized device which we call the "Quasi-Ideal clock", and show that the back-reaction on it can be made exponentially small in the device's dimension with only a linear increase in energy. As a result, an autonomous quantum machine need only be of modest size and or energy. We are also able to solve a long-standing open problem by using a finite sized quantum clock to approximate the continuous evolution of an Idealised clock. The result has implications on the equivalence of different paradigms of quantum thermodynamics, some which allow external control and some which only allow autonomous thermal machines.
△ Less
Submitted 4 November, 2018; v1 submitted 15 July, 2016;
originally announced July 2016.
-
Realising a quantum absorption refrigerator with an atom-cavity system
Authors:
Mark T. Mitchison,
Marcus Huber,
Javier Prior,
Mischa P. Woods,
Martin B. Plenio
Abstract:
An autonomous quantum thermal machine comprising a trapped atom or ion placed inside an optical cavity is proposed and analysed. Such a machine can operate as a heat engine whose working medium is the quantised atomic motion, or as an absorption refrigerator which cools without any work input. Focusing on the refrigerator mode, we predict that it is possible with state-of-the-art technology to coo…
▽ More
An autonomous quantum thermal machine comprising a trapped atom or ion placed inside an optical cavity is proposed and analysed. Such a machine can operate as a heat engine whose working medium is the quantised atomic motion, or as an absorption refrigerator which cools without any work input. Focusing on the refrigerator mode, we predict that it is possible with state-of-the-art technology to cool a trapped ion almost to its motional ground state using a thermal light source such as sunlight. We nonetheless find that a laser or similar reference system is necessary to stabilise the cavity frequencies. Furthermore, we establish a direct and heretofore unacknowledged connection between the abstract theory of quantum absorption refrigerators and practical sideband cooling techniques. We also highlight and clarify some assumptions underlying several recent theoretical studies on self-contained quantum engines and refrigerators. Our work indicates that cavity quantum electrodynamics is a promising and versatile experimental platform for the study of autonomous thermal machines in the quantum domain.
△ Less
Submitted 19 August, 2016; v1 submitted 7 March, 2016;
originally announced March 2016.
-
Dynamical error bounds for continuum discretisation via Gauss quadrature rules, -- a Lieb-Robinson bound approach
Authors:
Mischa P. Woods,
Martin B. Plenio
Abstract:
Instances of discrete quantum systems coupled to a continuum of oscillators are ubiquitous in physics. Often the continua are approximated by a discrete set of modes. We derive analytical error bounds on expectation values of system observables that have been time evolved under such discretised Hamiltonians. These bounds take on the form of a function of time and the number of discrete modes, wher…
▽ More
Instances of discrete quantum systems coupled to a continuum of oscillators are ubiquitous in physics. Often the continua are approximated by a discrete set of modes. We derive analytical error bounds on expectation values of system observables that have been time evolved under such discretised Hamiltonians. These bounds take on the form of a function of time and the number of discrete modes, where the discrete modes are chosen according to Gauss quadrature rules. The derivation makes use of tools from the field of Lieb-Robinson bounds and the theory of orthonormal polynominals.
△ Less
Submitted 14 February, 2016; v1 submitted 28 August, 2015;
originally announced August 2015.
-
Work and reversibility in quantum thermodynamics
Authors:
Álvaro M. Alhambra,
Stephanie Wehner,
Mark M. Wilde,
Mischa P. Woods
Abstract:
It is a central question in quantum thermodynamics to determine how irreversible is a process that transforms an initial state $ρ$ to a final state $σ$, and whether such irreversibility can be thought of as a useful resource. For example, we might ask how much work can be obtained by thermalizing $ρ$ to a thermal state $σ$ at temperature $T$ of an ambient heat bath. Here, we show that, for differe…
▽ More
It is a central question in quantum thermodynamics to determine how irreversible is a process that transforms an initial state $ρ$ to a final state $σ$, and whether such irreversibility can be thought of as a useful resource. For example, we might ask how much work can be obtained by thermalizing $ρ$ to a thermal state $σ$ at temperature $T$ of an ambient heat bath. Here, we show that, for different sets of resource-theoretic thermodynamic operations, the amount of entropy produced along a transition is characterized by how reversible the process is. More specifically, this entropy production depends on how well we can return the state $σ$ to its original form $ρ$ without investing any work. At the same time, the entropy production can be linked to the work that can be extracted along a given transition, and we explore the consequences that this fact has for our results. We also exhibit an explicit reversal operation in terms of the Petz recovery channel coming from quantum information theory. Our result establishes a quantitative link between the reversibility of thermodynamical processes and the corresponding work gain.
△ Less
Submitted 15 June, 2018; v1 submitted 26 June, 2015;
originally announced June 2015.
-
The maximum efficiency of nano heat engines depends on more than temperature
Authors:
Mischa P. Woods,
Nelly Ng,
Stephanie Wehner
Abstract:
Sadi Carnot's theorem regarding the maximum efficiency of heat engines is considered to be of fundamental importance in thermodynamics. This theorem famously states that the maximum efficiency depends only on the temperature of the heat baths used by the engine, but not on the specific structure of baths. Here, we show that when the heat baths are finite in size, and when the engine operates in th…
▽ More
Sadi Carnot's theorem regarding the maximum efficiency of heat engines is considered to be of fundamental importance in thermodynamics. This theorem famously states that the maximum efficiency depends only on the temperature of the heat baths used by the engine, but not on the specific structure of baths. Here, we show that when the heat baths are finite in size, and when the engine operates in the quantum nanoregime, a revision to this statement is required. We show that one may still achieve the Carnot efficiency, when certain conditions on the bath structure are satisfied; however if that is not the case, then the maximum achievable efficiency can reduce to a value which is strictly less than Carnot. We derive the maximum efficiency for the case when one of the baths is composed of qubits. Furthermore, we show that the maximum efficiency is determined by either the standard second law of thermodynamics, analogously to the macroscopic case, or by the non increase of the max relative entropy, which is a quantity previously associated with the single shot regime in many quantum protocols. This relative entropic quantity emerges as a consequence of additional constraints, called generalized free energies, that govern thermodynamical transitions in the nanoregime. Our findings imply that in order to maximize efficiency, further considerations in choosing bath Hamiltonians should be made, when explicitly constructing quantum heat engines in the future. This understanding of thermodynamics has implications for nanoscale engineering aiming to construct small thermal machines.
△ Less
Submitted 9 August, 2019; v1 submitted 7 June, 2015;
originally announced June 2015.
-
Coherence-assisted single-shot cooling by quantum absorption refrigerators
Authors:
Mark T. Mitchison,
Mischa P. Woods,
Javier Prior,
Marcus Huber
Abstract:
The extension of thermodynamics into the quantum regime has received much attention in recent years. A primary objective of current research is to find thermodynamic tasks which can be enhanced by quantum mechanical effects. With this goal in mind, we explore the finite-time dynamics of absorption refrigerators composed of three qubits. The aim of this finite-time cooling is to reach low temperatu…
▽ More
The extension of thermodynamics into the quantum regime has received much attention in recent years. A primary objective of current research is to find thermodynamic tasks which can be enhanced by quantum mechanical effects. With this goal in mind, we explore the finite-time dynamics of absorption refrigerators composed of three qubits. The aim of this finite-time cooling is to reach low temperatures as fast as possible and subsequently extract the cold particle to exploit it for information processing purposes. We show that the coherent oscillations inherent to quantum dynamics can be harnessed to reach temperatures that are colder than the steady state in orders of magnitude less time, thereby providing a fast source of low-entropy qubits. This effect demonstrates that quantum thermal machines can surpass classical ones, reminiscent of quantum advantages in other fields, and is applicable to a broad range of technologically important scenarios.
△ Less
Submitted 8 December, 2015; v1 submitted 7 April, 2015;
originally announced April 2015.
-
Simulating Bosonic Baths with Error Bars
Authors:
Mischa P. Woods,
M. Cramer,
M. B. Plenio
Abstract:
We derive rigorous truncation-error bounds for the spin-boson model and its generalizations to arbitrary quantum systems interacting with bosonic baths. For the numerical simulation of such baths the truncation of both, the number of modes and the local Hilbert-space dimensions is necessary. We derive super-exponential Lieb--Robinson-type bounds on the error when restricting the bath to finitely-m…
▽ More
We derive rigorous truncation-error bounds for the spin-boson model and its generalizations to arbitrary quantum systems interacting with bosonic baths. For the numerical simulation of such baths the truncation of both, the number of modes and the local Hilbert-space dimensions is necessary. We derive super-exponential Lieb--Robinson-type bounds on the error when restricting the bath to finitely-many modes and show how the error introduced by truncating the local Hilbert spaces may be efficiently monitored numerically. In this way we give error bounds for approximating the infinite system by a finite-dimensional one. As a consequence, numerical simulations such as the time-evolving density with orthogonal polynomials algorithm (TEDOPA) now allow for the fully certified treatment of the system-environment interaction.
△ Less
Submitted 7 April, 2015;
originally announced April 2015.
-
Map**s of open quantum systems onto chain representations and Markovian embeddings
Authors:
M. P. Woods,
R. Groux,
A. W. Chin,
S. F. Huelga,
M. B. Plenio
Abstract:
We derive a sequence of measures whose corresponding Jacobi matrices have special properties and a general map** of an open quantum system onto 1D semi infinite chains with only nearest neighbour interactions. Then we proceed to use the sequence of measures and the properties of the Jacobi matrices to derive an expression for the spectral density describing the open quantum system when an increa…
▽ More
We derive a sequence of measures whose corresponding Jacobi matrices have special properties and a general map** of an open quantum system onto 1D semi infinite chains with only nearest neighbour interactions. Then we proceed to use the sequence of measures and the properties of the Jacobi matrices to derive an expression for the spectral density describing the open quantum system when an increasing number of degrees of freedom in the environment have been embedded into the system. Finally, we derive convergence theorems for these residual spectral densities.
△ Less
Submitted 4 November, 2012; v1 submitted 22 November, 2011;
originally announced November 2011.
-
Probability distributions for measures of placental shape and morphology
Authors:
Joshua S. Gill,
Mischa P. Woods,
Carolyn M. Salafia,
Dimitri D. Vvedensky
Abstract:
Weight at delivery is a standard cumulative measure of placental growth. But weight is a crude summary of other placental characteristics, such as the size and shape of the chorionic plate and the location of the umbilical cord insertion. Distributions of such measures across a cohort reveal information about the developmental history of the chorionic plate that is unavailable from an analysis bas…
▽ More
Weight at delivery is a standard cumulative measure of placental growth. But weight is a crude summary of other placental characteristics, such as the size and shape of the chorionic plate and the location of the umbilical cord insertion. Distributions of such measures across a cohort reveal information about the developmental history of the chorionic plate that is unavailable from an analysis based solely on the mean and standard deviation. Various measures were determined from digitized images of chorionic plates obtained from the Pregnancy, Infection, and Nutrition Study, a prospective cohort study of preterm birth in central North Carolina between 2002 and 2004. The centroids (the geometric centers) and umbilical cord insertions were taken directly from the images. The chorionic plate outlines were obtained from an interpolation based on a Fourier series, while eccentricity (of the best-fit ellipse), skewness, and kurtosis were determined from a shape analysis using the method of moments. The distribution of each variable was compared against the normal, lognormal, and Levy distributions. We found only a single measure (eccentricity) with a normal distribution. All other placental measures required lognormal or "heavy-tailed" distributions to account for moderate to extreme deviations from the mean, where relative likelihoods in the cohort far exceeded those of a normal distribution. Normal and lognormal distributions result from the accumulated effects of a large number of independent additive (normal) or multiplicative (lognormal) events. Thus, while most placentas appear to develop by a series of small, regular, and independent steps, the presence of heavy-tailed distributions suggests that many show shape features which are more consistent with a large number of correlated steps or fewer, but substantially larger, independent steps.
△ Less
Submitted 9 September, 2011;
originally announced September 2011.