Showing 1–27 of 27 results for author: Woods, M P

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.

Comments: 17 pages plus appendices

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 timekeeping: 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.

Comments: 10 + 13

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.

Comments: 33 + 14 pages, 10 figures

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.

Comments: 27 + 10 pages, 9 figures

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-damping noise. △ Less

Submitted 4 February, 2024; v1 submitted 27 July, 2022; originally announced July 2022.

Comments: 104 pages (43+61), total 18 figures, published version

Journal ref: PRX Quantum 4, 040336 (2023)

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.

Comments: Main text: 6 pages. Supplementary: 6 pages. Appendices: 16 pages

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.

Comments: 10 + 23. New results added including numerical analysis of performance for various different error models (including non-erasure errors such as dephasing)

Journal ref: Phys. Rev. Research 4, 023107 (2022)

Autonomous Ticking Clocks from Axiomatic Principles

Authors: Mischa P. Woods

Abstract: There are many different types of time keeping 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 keeping 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.

Comments: 14 + 14 pages

Journal ref: Quantum 5, 381 (2021)

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.

Comments: 8+12 pages, 5 figures

Journal ref: Phys. Rev. Research 3, 033051 (2021)

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.

Comments: 18 + 30 pages. V4: updated to match journal version

Journal ref: Quantum 6, 732 (2022)

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.

Comments: 12 + 55 pages

Journal ref: Phys. Rev. X 13, 011016 (2023)

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.

Comments: 5+55 pages, 1 figure

Journal ref: Phys. Rev. Lett. 127, 010502 (2021)

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.

Comments: 7 + 10 pages. V3: accepted version

Journal ref: Quantum 4, 309 (2020)

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.

Comments: 10+35 pages. Also see related work uploaded to the arXiv on the same day; arXiv:1902.07714

Journal ref: Quantum 4, 245 (2020)

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.

Comments: 17 + 60 pages. V3: updated in line with published version

Journal ref: PRX Quantum, vol 3, issue 1, Feb 2022

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.

Comments: Book chapter in 'Thermodynamics in the quantum regime - Recent Progress and Outlook'. 13 pages

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.

Comments: main text: 5 pages. Appendix: 11 pages. V3: The conjectures in V2 have been proven. This is close to the journal published version, but with improved citations

Journal ref: Phys. Rev. A 96, 022118 (2017)

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.

Comments: Close to published version. 7+5 pages, 5 figures

Journal ref: Phys. Rev. X 7, 031022 (2017)

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.

Comments: Main text: 9 + 53 pages. V4: Close to the published version, J. Annales Henri Poincaré (2018) [Communicated by David Pérez-García]

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.

Comments: 13+4 pages. Updated to published version, replacing a previous submission titled "Autonomous quantum thermal machines in atom-cavity systems"

Journal ref: Quantum Science and Technology 1, 015001 (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.

Comments: 12 pages + 14 pages of proofs and appendices, Journal of Mathematical Physics, Vol.57, Issue 2 (2016) http://scitation.aip.org/content/aip/journal/jmp/57/2/10.1063/1.4940436

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.

Comments: 14 pages

Journal ref: Physical Review A, vol. 97, no. 6, page 062114, June 2018

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.

Comments: Main text 14 pages. Appendix 60 pages. Accepted in Journal Quantum

Journal ref: Quantum 3, 177 (2019)

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.

Comments: Updated to published version. in Special edition: Focus on Quantum Thermodynamics. New additions include a phase-sensitivity analysis, and a demonstration of the relationship between weakly coupled coherent absorption refrigerators and their stochastic counterparts. Data underlying the figures are contained in MATLAB files in the article source, in accordance with EPSRC requirements. Comments welcome!

Journal ref: New J. Phys. 17 (2015) 115013

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.

Comments: 13 pages, 3 figures

Journal ref: Phys. Rev. Lett. 115, 130401 (2015)

Mappings 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 mapping 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 mapping 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.

Comments: 44 pages, 1 figure. V2, small changes

Journal ref: J. Math. Phys. 55, 032101 (2014); http://dx.doi.org/10.1063/1.4866769