Fundamental energy requirement of reversible quantum operations Giulio Chiribella,1, 2 Yuxiang Yang,3 and Renato Renner3 1Department of Computer Science, The University of Hong Kong, Pokfulam Road, Hong Kong 2Department of Computer Science, University of Oxford, Parks Road, Oxford, UK 3Institute for Theoretical Physics, ETH Z¨urich,8093 Z¨urich,Switzerland Landauer's principle asserts that any computation has an unavoidable energy cost that grows proportionally to its degree of logical irreversibility. But even a logically reversible operation, when run on a physical processor that operates on different energy levels, requires energy. Here we quantify this energy requirement, providing upper and lower bounds that coincide up to a constant factor. We derive these bounds from a general quantum resource-theoretic argument, which implies that thep initial resource requirement for implementing a unitary operation within an error grows like 1= times the amount of resource generated by the operation. Applying these results to quantum circuits, we find that their energy requirement can, by an appropriate design, be made independent of their time complexity. Introduction. Landauer's tenet \Information is physi- battery is large enough. Determining the corresponding cal" [1] is a powerful reminder that all information pro- energy requirement is exactly the topic of this work. cessing systems are necessarily subject to the laws of Previous approaches to quantify the energy require- physics. These laws impose certain fundamental limi- ment are based on the Wigner-Araki-Yanase (WAY) the- tations. For example, the laws of quantum theory imply orem [10, 11], which states that any conservation law lim- that perfect universally programmable quantum proces- its the accuracy with which quantities that do not com- sors cannot exist [2]. Refinements of no-go results like mute with the conserved quantity can be measured. The this showed that they can be phrased as tradeoffs be- theorem implies a bound on the variance of the energy in tween the accuracy with which the tasks can be carried the initial state of the battery required to implement an out and the amount of resources available for their im- operation [12{17]. However, the variance does not in gen- plementation. For example, the refinement of the above- eral provide a good bound on the size of the battery, nor mentioned no-programming theorem asserts that the size on the average energy that needs to be initially stored in of an approximate universally programmable quantum it. As a simple example, consider a system with d equally processor grows proportionally to log(1/) where quan- spaced energy levels fE0;:::;Ed−1g. A pure state in the tifies the tolerated error [3{5]. superposition of energy eigenstates corresponding to E p p 0 Here we consider the fundamental energy requirement and Ed−1 with amplitudes 1 − 1=d and 1=d, respec- for implementing quantum operations. Such requirement tively, has average energy (measured relative to E0 = 0) consists of at least two different contributions, which are less than E1 and large energy variance that grows as d. consequences of the second law of thermodynamics and of On the other hand, even if the variance is fixed the energy energy conservation in quantum mechanics, respectively. can still take an arbitrarily large value. The fact that the second law of thermodynamics has im- Here we instead take a general resource-theoretic ap- plications for the energy cost of computation is known proach. Let M be a function that quantifies the value of as Landauer's principle [1]. It asserts that any physical the different possible states of a system with respect to a device that carries out a logically irreversible operation resource. For example, M(ρ) may be the average energy dissipates a certain minimum amount of energy as heat, of the system when it is in state ρ. Furthermore, for a re- and that this amount is proportional to the degree of irre- versible operation G on the system, we denote by M(G) versibility (which may be quantified in terms of entropic the maximum increase of the function M when evaluated quantities, see [6{9]). on an input state and on the corresponding output state arXiv:1908.10884v3 [quant-ph] 28 May 2021 In this work we are concerned with the second funda- produced by G. Hence, in the case where the considered mental contribution to the energy bill. This contribution resource is energy, M(G) quantifies by how much the can be regarded as a consequence of energy conserva- system's energy can grow when executing G. Assume tion, when applied to coherent transitions across states now that we want to implement G up to a precision of different energy. If a process is executed on a system (which we quantify in terms of the worst-case infidelity, with non-degenerate energy levels then energy must be defined below). The implementation should consist of temporarily borrowed from a battery. For general quan- a device that can merely carry out free operations, i.e., tum processes, this borrowing may occur in a superpo- operations that cannot generate the resource. Such an sition, i.e., the system's quantum state may consist of implementation must necessarily use a battery, as illus- one branch in which energy has flown from the battery trated in Fig. 1. Then the following general assertion can and another one in which energy has flown into the bat- be made. tery. To ensure that this does not lead to decoherence, the corresponding energy states of the battery must be Theorem 1. If the resource measure M is monotonous, indistinguishable. This, in turn, is only possible if the additive, and regular (see later for definitions) then every 2 a given Hamiltonian HS, kH k p hH i ≥ pS − O( ) : (2) B 8 This bound is tight up to a constant factor. More pre- cisely, assuming that the system has equally spaced en- ergy levels, we show by an explicit construction, de- scribed in the third section below, that π kH k hH i ≤ p S : (3) B 2 Taking together these two bounds, we have thus estab- lished that the fundamental energyp requirement for op- erating on S grows as kHSk= . Note that if the sys- tem's Hamiltonian is fully degenerate, i.e., kH k = 0 FIG. 1. Implementing a reversible gate using a bat- S tery. This figure describes a scheme that approximates a then energy conversation does not imply an energy re- generic quantum gate G that may not preserve a generic type quirement. Besides the average energy, we show that of resource, e.g., energy, on a system. The scheme works by the energyp spread of the battery is lower bounded by using a battery system that undergoes a free unitary UG to- kHSk= , and the tightness of the bound can again be gether with the system. With the resource supplied by the achieved with the construction that led to (3). battery, G is approximated on the system. Finally, we determine how the energy requirement of a quantum circuit depends on its complexity. Previ- ous works considered implementations of quantum cir- approximation of a reversible operation G within error cuits where each gate is powered by an independent bat- using a free device UG connected to a battery in state β tery [12, 14] (see Fig. 2(a)). The energy requirement must satisfy then obviously grows linearly with the number of non- conservative gates, making complex computations ener- y 2 M(G) + M(G ) p getically demanding. In contrast, we show that the en- M(β) ≥ p − c − O( ) ; 32KS ergy requirement of quantum circuits is independent of their complexity. For this we consider an implementation where c and KS are constants that merely depend on M that uses a single battery to power all gates in the circuit and the system on which G acts. (see Fig. 2(b)). It turns out that energy can be recycled from one gate to the next, and that the energy require- This theorem, whose proof we will sketch in the first ment for a sequence of gates is exactly equal to the energy section below, yields in particular a lower bound on the requirement of the overall gate resulting from their com- energy requirement for implementing a reversible opera- position. Hence, the energy requirement depends only on tion G. Specifically, in the second section, we show that the size of the computational register, but not on the time the average energy content hHBi of the battery supplying complexity of the computation. For quantum computa- energy to the processor must be at least tions with classical inputs and outputs, such as Shor's al- 2 gorithm, we further show that our implementation is ex- ((λmax − λmin)(∆GHS)) p hHBi ≥ p − O( ) ; (1) act and the energy requirement is just the energy needed 32 kHSk to write down the output of the computation. This may be regarded as the quantum analogue of a classical result where kH k is the operator norm of the system's Hamil- S by Fredkin and Toffoli [18], who studied the fundamen- tonian, λ (λ ) denotes the maximal (minimal) max min tal energy constraints that the classical laws of physics eigenvalue, and ∆ H = GyH G − H is the change G S S S impose on computation. of the system's Hamiltonian induced by the action of the gate G. We have assumed, without loss of generality, that Lower bound on general resource requirement. In this the minimum energy is zero for both the system and the section we spell out the assumptions underlying Theo- battery, and thus kHSk is equal to the maximum energy rem 1 and describe the main proof idea.