Article | Open

Fast-forwarding of Hamiltonians and exponentially precise measurements

  • Nature Communicationsvolume 8, Article number: 1572 (2017)
  • doi:10.1038/s41467-017-01637-7
  • Download Citation
Received:
Accepted:
Published:

Abstract

The time-energy uncertainty relation (TEUR) ΔtΔE 1 2 holds if the Hamiltonian is completely unknown, but can be violated otherwise; here we initiate a rigorous study describing when and to what extent such violations can occur. To this end, we propose a computational version of the TEUR (cTEUR), in which Δt is replaced by the computational complexity of simulating the measurement. cTEUR violations are proved to occur if and only if the Hamiltonian can be fast forwarded (FF), namely, simulated for time t with complexity significantly smaller than t. Shor’s algorithm provides an example of exponential cTEUR violations; we show that so do commuting local Hamiltonians and quadratic fermion Hamiltonians. A general FF method is ruled out, but finding further examples, as well as experimental demonstrations, are left for future work. We discuss possible connections to sensing and quantum gravity. This work initiates a rigorous theory of efficiency versus accuracy in energy measurements using computational complexity language.

Introduction

In quantum mechanics, the position-momentum uncertainty principle ΔxΔp 1 2 can be proven from the properties of the Fourier transform for conjugate variables1. In the early years of quantum mechanics, energy and time were believed to be related similarly, by a so-called time-energy uncertainty relation (TEUR), though a similar proof does not apply since time is not an operator. Several alternative formulations of the TEUR were studied2,3,4,5. Here we consider the TEUR misconception6,7 stating that the duration Δt of an energy measurement of an eigenstate ψ E of a Hamiltonian H (referred to as the “input” Hamiltonian), is related to the standard deviation of that measurement ΔE, by

ΔEΔt 1 2 .
(1)

Aharonov et al.8, proved that the TEUR (with a slightly different error quantification, see methods section) holds whenever the Hamiltonian H is completely unknown, namely, the experimentalist can only turn H on and off as if it resides in some black-box. Though not stated this way, the proof of8 holds also when only the eigenvalues of H are unknown. To the best of our understanding, the many recent experiments (e.g., refs. 9,10,11,12,13,14,15,16,17,18) demonstrating improved trade-offs between measurement resources and accuracy, all fall within this model, and as expected none exhibit a TEUR violation.

However, the TEUR is not a principle of Nature. Already in 1961, Aharonov and Bohm19 gave an example in which Eq. (1) can be violated to an arbitrary extent. They described a non-relativistic scattering experiment to measure the energy of a free particle, where the measurement’s accuracy depends on the time integral of the interaction H meas. between the system and the measurement device (importantly, H meas. is not equal to the input Hamiltonian H). By increasing the interaction strength by a factor c > 1 and applying H meas . =c H meas . , the measurement duration becomes Δt′ = Δt/c, providing an arbitrarily large TEUR violation. A similar violation8 occurs when measuring the energy of a spin-1/2 particle in a known magnetic field by arbitrarily increasing the gradient of the magnetic field in a Stern-Gerlach experiment.

A complete theory of when and to what extent such TEUR violations can occur is missing. By8, such violations can only occur in the non-black-box setting, when there exists partial knowledge about the Hamiltonian. In this more general situation, various manipulations on the Hamiltonian can be conducted during the measurement and time duration of measurement can be traded with various other resources. As we discuss below, in such cases the TEUR no longer seems to correctly capture the question of resource-accuracy trade-off.

Our main contribution is in setting the grounds for a rigorous theory of TEUR violations in the general (not necessarily black-box) regime. To this end, we make use of the language of quantum computational complexity. We formulate below a modified, modern version of the TEUR, called the computational TEUR (cTEUR), in which Δt is replaced by the computational complexity of the measurement process. This allows us to handle the full range of possible manipulations that can be applied during the energy measurement, ranging from simple manipulations as in ref. 19 to, ultimately, a full-fledged quantum computer aiding the measurement process. We argue that the computational complexity of the measurement correctly quantifies in all possible cases the total physical resources required to conduct the measurement. Here, by computational complexity of the measurement process, we mean the computational complexity of simulating the measurement process on a quantum computer.

Armed with the cTEUR, we turn to filling in some details in what seems to be an intricate emerging picture of possible cTEUR violations. First, we show that while completely unknown Hamiltonians obey the cTEUR, completely known Hamiltonians can lead to arbitrary violations of the cTEUR. Shor’s algorithm provides an intriguing example in which exponential violations are possible. Our main technical result is proving an equivalence between the ability to exponentially FF a Hamiltonian and measuring the energy of its eigenstates to within exponential accuracy. We show that two well studied classes of physical Hamiltonians can be FF: commuting local Hamiltonians and quadratic fermion Hamiltonians. We then show that not all physically realizable Hamiltonians can be FF (unless a strongly believed computational complexity conjecture is false). Finally, we discuss the relation of our work to metrology and sensing, as well as to recent ideas in the research of quantum gravity.

Results

The exact statement of the computational TEUR

Before defining the cTEUR, let us first clarify why the TEUR seems less suitable in a non-black-box setup such as in the Aharonov–Bohm example19. Note that the interaction strength (or the norm of the Hamiltonian) is not taken into account in the TEUR. In ref. 19, this “free” resource can thus replace time duration to achieve arbitrary violations of the TEUR. Time duration can also be traded with another resource. The spectral decomposition of the unitary evolution induced by the measurement Hamiltonian gives

e - i H meas . Δ t = j e - i ε j Δ t ε j ε j ,
(2)

where ε j are eigenstates of H meas.. Evolving according to H meas . = j ε j Δ t mod 2 π ε j ε j for one time unit achieves the same unitary transformation as applying H meas. for time Δt. Both the norm of the new Hamiltonian H meas . and the measurement’s duration (1 time unit) are now bounded, and yet arbitrarily good accuracy is achieved; the resource that is now being “freely” used is computational complexity. In order to apply H meas . , one needs to diagonalize the original Hamiltonian and compute its eigenvalues to extremely high precision. What is revealed by the above discussion is that when manipulations can be done while performing the energy measurement, such as increasing the norm, using different measurement Hamiltonians, etc., this can lead to strong violations of the TEUR. Nevertheless the resources invested in the measurement have not decreased but were just interchanged with others!

Extending the intuition of resource counting in high-precision measurements (e.g. ref. 20,21), we argue that the “correct” notion that we would like to capture in the TEUR is not the time duration but the totality of physical resources one is required to invest in a measurement. The underpinnings of the area of quantum computation (see ref. 22) tell us exactly what is the right quantity to look at when counting resources: the computational complexity of the measurement, namely, the size of the quantum circuit simulating the process of the measurement, where size is measured by the number of two-qubit quantum gates23.

In order to state the computational TEUR (cTEUR), we need to clarify how we model an energy measurement. We use unitary implementations of energy measurements (called here “unitary energy measurements”), which entangle the input eigenstate ψ E to a measurement device consisting of display and work registers, as follows:

U meas . ψ E 0 , 0 = E , E a E , E , E ψ E E θ ( E , E , E ) .
(3)

Measuring the second register in the computational basis gives the measurement outcome E′′. This unitary is in fact a quantum algorithm (comprised of local quantum gates23). Following ref. 8, we allow the circuit comprising U meas. also to apply the input Hamiltonian as a black-box for time t, namely to apply the operator e iHt on any choice of a subsystem (this can be applied many times, where in between the applications we can have quantum gates). The complexity of this measurement process, denoted T ( n ) , is the sum of two components: the first is the number of quantum gates utilized, the second is the total time the Hamiltonian was applied, divided by some canonical time unit τ 0, where τ 0 is the application time of a single quantum gate. We stress that classical pre- and post- processing should also be incorporated into the unitary energy measurement. The motivation for this definition is the assumption (by the quantum-complexity Church–Turing thesis24,25), that any quantum measurement process using the input Hamiltonian as a black-box, can be simulated by such a unitary energy measurement with at most polynomial overhead.

Hypothesis 1 (computational TEUR (cTEUR)): A unitary energy measurement of an eigenstate of an n-qubit Hamiltonian H, with accuracy error δE satisfies

δET ( n ) Ω 1 poly ( n ) .
(4)

δE (which replaces the standard deviation in Eq. (1)) is the accuracy error, namely the difference between the correct eigenvalue E and the measurement outcome E′′. Of course, accuracy is only guaranteed with some probability η, which we call confidence. We assume here η > 2/3. The notation Ω(1/poly(n)) means that δET ( n ) is asymptotically larger than some function that is inverse polynomial in n. Ω(1/poly(n)) replaces the constant in the RHS of Eq. (1), to make the definition independent of the computational model, since T ( n ) may gain polynomial factors when translating from one model to another. The Ω notation implies that units of E are not important. Partial or full information about the Hamiltonian can be encoded into the unitary energy measurement; see Methods section for further details on the definition of the cTEUR. We thus arrive at a proposition which is rigorously defined and can be systematically studied.

As to the connection to TEUR, violating the cTEUR is strictly harder. First, violating the cTEUR implies violating the TEUR since the duration of time (measured in units of applying a single quantum gate) is always smaller than the total computational complexity. The other way around does not hold. An example is the case of the Aharonov–Bohm experiment19, which violates the TEUR but not necessarily the cTEUR because a straight-forward simulation of the measurement Hamiltonian H meas. of19 would result in computational complexity, which grows with the interaction strength (Supplementary Note 1).

Violations of the cTEUR

We start by studying the two extreme cases of cTEUR violations. We first extend the proof of ref. 8 to show (Supplementary Note 3) that if H is completely unknown, or at least its eigenvalues are completely unknown, the cTEUR holds, just like the TEUR.

On the other hand, just like the TEUR, the cTEUR can be arbitrarily violated (though as discussed, not by the example of ref. 19). Such infinite violations follow immediately if we know everything there is to know about the Hamiltonian. We capture this by the notion of QC-solvable Hamiltonian. We say that an n-qubit Hamiltonian H= i λ i ψ i ψ i is QC-solvable if it is diagonalized efficiently by a quantum computer (the transformation i ψ i can be applied in poly(n) quantum complexity), and in addition, its eigenvalues can be efficiently found (the function i λ i can be computed efficiently).

For a simple example, consider the following (clearly QC-solvable) Hamiltonian on n 1 2 -spins:

H= i = 0 n σ i z .
(5)

A measurement of the spins in the computational basis, followed by counting how many of the spins are in the state 1 , would reveal the eigenvalue to infinite precision, namely, with δE = 0, and with confidence 1. This measurement can be implemented with linear computational complexity. It is straight forward to see that QC-solvable Hamiltonians allow for arbitrary violations of the cTEUR in much the same way (Supplementary Note 2 for definitions and proofs).

A very intriguing example which in fact triggered this work stems from Shor’s factoring algorithm26, which can be translated into an exponential violation of the cTEUR for a related class of Hamiltonians. In fact, this follows from the above since these Hamiltonians are QC-solvable (this is a rather simple exercise in quantum computation, using Shor’s algorithm). Nevertheless, the proof that these Hamiltonians violate the cTEUR contains the essential ingredients towards our main result in the next section, which provides an if-and-only-if condition for cTEUR even if the Hamiltonian is not QC-solvable.

Recall that Shor’s algorithm factorizes an n-bit number N by finding the order r of a randomly chosen y co-prime to N, namely the period of the sequence y 0, y 1, y 2 … modulo N. The algorithm uses the following unitary U N,y acting on n-bit strings:

U N , y x = x y mod N 0 x < N x otherwise
(6)

Theorem 1: Let N be an n-bit integer and consider H N , y = U N , y + U N , y such that gcd(y, N) = 1. There exists a unitary energy measurement, which given any eigenstate of H N,y has accuracy δE with confidence 2/3 such that:

δET ( n ) =O ( 2 - n ) .
(7)

Though H N,y is not a local Hamiltonian, it is physically realizable (at least theoretically) as it can be simulated efficiently by a quantum computer (by refs. 27,28). See Fig. 1 for more on this Hamiltonian.

Fig. 1
Fig. 1

A physical intuition for H N,y . Vertices are the standard basis; edge (u, v) represents non-zero entry of H, namely 〈u|H N,y |v〉 = 1 and v = uy ±1 mod N. Multiplication by y mod N partitions the set {0, 1, … N − 1} into orbits whose (possibly exponential) sizes divide r, the order of y. H N,y corresponds to a quantum walk52 along the cycles

The proof is straight forward from Shor’s algorithm, in which eigenvalues of U N,y are measured to exponential precision using the quantum phase estimation circuit23 (Figs. 2 and 3). One then uses the fact that U N,y and H N,y share eigenstates, and their eigenvalues are related by a simple transformation (Supplementary Note 4).

Fig. 2
Fig. 2

The familiar quantum circuit of Shor’s algorithm. If the input state is replaced by an eigenvector of U N,y , ψ φ with eigenvalue φ, then the output is an exponentially accurate estimation of φ, implying an equally good estimation of the corresponding eigenvalue of H N,y . This reasoning holds with any unitary e iHt instead of U N,y , hence efficient simulation of e iHt for exponential t implies exponential cTEUR violation of H. This gives the seed of the proof of one direction of Theorem 2

Fig. 3
Fig. 3

Proof of Theorem 1 by Kitaev’s phase estimation29. The circuit C k is essentially a Mach-Zehnder interferometer, and U N , y ψ φ = e i φ ψ φ . The probability to measure 1 is p k = sin 2 ( 2 k - 1 φ ) . If (2φ/π mod 4)  {0, 3}, p 0 < 1 2 otherwise p 0 > 1 2 . Similarly, the estimation of every p k yields one bit of 2φ/π. The algorithm estimates each p k by repeating the corresponding measurement poly(n) times, thus 1/exp(n) accuracy of φ is reached with total complexity poly(n): C k is efficiently implemented even for k = poly(n) using modular exponentiation to implement exponential powers of U N,y (Supplementary Note 4)

The above proof applies U N , y t for exponentially large t, utilizing modular exponentiation, a poly(n) time classical algorithm to calculate exponential powers of y modulo N. Another way to view this is that the circuit efficiently simulates the Hamiltonian generating U N,y for exponentially long times; this is an example of the notion of fast-forwarding to be defined in the next section, and already hints at its importance in precision measurements in general. Figure 3 describes an alternative proof of Theorem 1 based solely on fast forwarding and single qubit interference (Kitaev et al. phase-estimation algorithm29). Both proofs can be extended to prove our main Theorem in the next section.

Fast forwarding and precision measurements

In our main technical result (Theorem 2), we provide an if-and-only-if condition for cTEUR violations. The result is stated using the notion of fast forwarding of Hamiltonians. A Hamiltonian H can be fast forwarded (FF) if the evolution with respect to H, to within time t (namely the unitary e iHt), can be simulated by a quantum computer in computational complexity (number of local gates) much smaller than t (similar notions were discussed elsewhere30,31). The definition is refined to allow some error α in the Hamiltonian simulation, as well as additional ancilla qubits that should be cleaned by the end of the simulation:

Definition 1 (Fast forwarding a Hamiltonian (FF)). A normalized Hamiltonian H H = 1 acting on n qubits can be (T(n),α(n))-fast forwarded if for any t ≤ T, there exists a quantum circuit Ũ with poly(n) quantum gates, which acts on the n qubits and additional c = poly(n) ancilla qubits initialized to 0, s.t. for all ψ,

e - i H t 1 2 c - Ũ ψ 0 α
(8)

We also need a more detailed version of the definition of unitary energy measurement. Here we allow usage of ancilla qubits (which we do not demand to be cleaned) and define a demolition parameter β, which quantifies imperfection in the measurement, and also limits how the input state changes.

Definition 2 (Super-Efficient energy measurements (SEEM)). A normalized Hamiltonian H H = 1 acting on n qubits is (η, δE, β) − SEEM (super-efficient energy measurable) if there exist two unitaries U SEEM , Ũ SEEM , acting on the n qubits and on additional output/work qubits s.t.

  1. 1.

    U SEEM is a measurement with accuracy δE and confidence η,

    U SEEM ψ E 0 , 0 = ψ E E a E E , θ ( E ) ,
    (9)

    where ψ E is an eigenstate, E′ is the measurement device’s output, and θ(E′) is the state of the ancilla qubits used in the measurement.

  2. 2.

    The complexity of implementing Ũ SEEM is polynomial in n and

U SEEM - Ũ SEEM β.
(10)

By default, we will require that the demolition β is polynomially small in n; under this condition and assuming η > 2/3 (in fact, any constant η > 1/2 would do) the confidence parameter can be amplified, which means that with only polynomial overhead, the measurement can be improved to one with confidence exponentially close to 1 (See Lemma 1 in the SI).

Theorem 2 [Main]: For n, the number of qubits, the following two sets of Hamiltonians are equivalent:

  1. 1.

    FFexp: A normalized Hamiltonian H acting on n qubits is in FFexp if there exists an exponentially growing function T = 2Ω(n) s.t. H is (T, α)-FF for any α = O(1/poly(n)).

  2. 2.

    SEEMexp: A normalized Hamiltonian H acting on n qubits is in SEEMexp if there exists a function δE = 2−Ω(n) s.t. H is (η,δE, β)-SEEM for any β = O(1/poly(n)), η = 1 − O(1/poly(n)).

The first direction, (FF implies SEEM), can be done by using phase estimation (Fig. 4) or Kitaev’s interference trick as in Fig. 3. For the other direction (SEEM to FF) see Fig. 5. Though the tools are quite standard, the error analysis is somewhat cumbersome since all parameters needed to be matched (Supplementary Note 5).

Fig. 4
Fig. 4

A circuit proving H FF exp H SEEM exp . In this -qubit phase estimation circuit, the gate Ũ t is the α-approximation of e iHt; it is implemented efficiently for polynomial (or exponential t) if H FFexp. In that case, the circuit represents a SEEM. The FF error α accumulates additively, reducing confidence (η) and adding demolition to the energy measurement (β) (Supplementary Note 5)

Fig. 5
Fig. 5

A circuit proving H SEEM exp H FF exp . The gate U M encapsulates m unitary energy measurements, the median of which is written on the topmost register (the median amplifies the confidence of the measurement). The state is then multiplied by a phase which equals the product of the median with t, after which U M is undone to ensure a clean computation. Effectively, the circuit simulates e iHt in polynomial complexity. Careful treatment is required for a measurement that perturbs ψ E , i.e., β > 0 (Supplementary Note 5)

The attentive reader would notice that the proof described in Fig. 5 assumes a reversible measurement procedure. However, as mentioned, by the quantum-complexity Church–Turing thesis24,25, any physical process, including non-reversible processes, can be simulated by a quantum computer with a polynomial overhead. Hence under this thesis, our results apply to all energy measurements and not only to reversible ones.

Fast-forwarding physical Hamiltonians

Using the equivalence provided by Theorem 2, we provide two new interesting classes of physical Hamiltonians, which are not known to be QC-solvable, yet can be exponentially FF (consequently, by Theorem 2, their energy eigenvalues can be efficiently measured to exponential precision): these are commuting local Hamiltonians, and quadratic fermion Hamiltonians (including Anderson localization32).

A commuting k-local Hamiltonian takes the form

H= j H j ,
(11)

where every term H j acts non-trivially on at most on k qubits, and [H i , H j ] = 0 for all i, j. When k is a constant (or even up to logarithmic), such Hamiltonians can be FF:

Theorem 3. If H is an n-qubit normalized commuting k-local Hamiltonian, with k = O(log(n)), then it can be (T,α)-fast forwarded for T = 2O(n) and arbitrary exponentially small α.

Since the terms H j commute, the problem reduces to FFing each term independently. This follows since the eigenvalues and eigenvectors of each local term can be efficiently calculated (even classically) with exponential accuracy33,34 (Supplementary Note 6).

Note that despite their simplicity, commuting local Hamiltonians generate highly non-trivial dynamics; they can efficiently generate distributions which are classically hard to sample from (under widely believed computational assumptions)35,36.

Similarly, quadratic fermion Hamiltonians can also be exponentially FF:

H= i , j m A i , j a i a j + 1 2 i j B i , j a i a j + 1 2 i , j B j , i * a i a j A= A ,B= B
(12)

where a i , a i are fermions creation and annihilation operators. Note that n indistinguishable fermions distributed over m = poly(n) modes are described by the Fock space of dimension m n .

Assuming that we can physically implement any quadratic Hamiltonian, s.t. the error in each coefficient is at most inverse polynomial, we can thus prove:

Theorem 4. Let H be a quadratic Hamiltonian of n fermions with poly(n) modes. H can be (T,α)-fast forwarded with T = 2O(n) and arbitrary inverse polynomial α.

The proof standardly uses the Bogoliubov transformation37,38 to “diagonalize” the traceless part of H and arrive at a free-fermion Hamiltonian (Supplementary Note 7). Extending to Bosons is left for future work.

No generic fast forwarding

Perhaps any physically realistic Hamiltonian (one which is efficiently simulable by a quantum circuit) can be FF? A result of ref. 39 together with our Theorem 2 proves that this is impossible (assuming the common computational complexity assumption that BQP ≠ PSPACE (Supplementary Note 8 for definitions). Here we provide a simpler proof of this statement, which highlights the role of FF and SEEM (See Theorem 1 in SI).

The proof assumes by contradiction that any such Hamiltonian can be FF, and uses this to design a quantum polynomial time algorithm for the other end of this line (OEOTL) problem, which is known40 to be as hard as any problem in PSPACE. Such an algorithm contradicts the widely held assumption PSPACEBQP.

Definition 3 (OEOTL). Let G = (V, E) be a directed graph with 2n vertices (indexed by n bits strings). G contains only directed paths, directed cycles, or isolated vertices. G is given by two polynomial size classical circuits: S (which computes the successor S(u) = v of a node u in G), and P (which computes the predecessor, P(v) = u)). We are promised that 0n has no predecessor; the problem is to find the end of the line that starts with 0n.

A sketch for the algorithm is given in Fig. 6.

Fig. 6
Fig. 6

Solving OEOTL by FF. Let H G be the adjacency matrix of the graph G, and denote by 0, 1, …, L − 1 the consecutive vertices of the line (L − 1 is the OEOTL). The panels show the probability distribution of the states in the first iteration of the algorithm. b The initial node v 0 = 0. c H 0 can be FF by assumption, and thus by theorem 2 we can SEEM with respect to H 0 = H G , reaching approximately an eigenstate. d Measuring in the computational basis yields v 1. Eigenstates are symmetric around the middle of the line, thus v 1 is often found past the middle (a “successful iteration”). We iterate with H 1 = H 0 - v 1 v 1 - 1 - v 1 - 1 v 1 to prevent recession (see a for the illustration of H 1). We prove by standard argument from probability theory n of 100n iterations are successful with high probability, leaving the remaining path small enough for brute-force search to work. Here we assumed SEEM with demolition β = 0, but it’s not difficult to correct for small β (Supplementary Note 8)

Discussion

A fundamental question remains: What is the true physical reason that a system admits FF (or equivalently, SEEM), which systems allow it and to what extent? The straight-forward way to measure the energy of a given Hamiltonian is to apply it as a black-box; hence, one would expect the TEUR (and thus also the cTEUR) to hold in most physical experiments. However, should we expect a typical Hamiltonian to exponentially violate the cTEUR if we do allow non-black access? We suspect that most Hamiltonians do not allow such violations. Proving this would clarify the picture of possible cTEUR violations. One way toward a proof is to try to mimic our no-general-FF theorem 1 for a randomly chosen local Hamiltonian; perhaps this can be done by showing that a randomly chosen Hamiltonian is computationally universal (as in ref. 41); In fact, a stronger notion is needed, where the error when simulating polynomial quantum circuit is exponentially small. An intriguing question is whether many-body localized systems42, cousins of commuting local Hamiltonians, belong to this “fortunate” class of Hamiltonians allowing FF.

Two notions of “fully understanding” a Hamiltonian should not be confused. Having full information about the Hamiltonian means that we know all the parameters describing H (as in Theorems 1,3,4,1). This can be mathematically described as having an efficient quantum circuit simulating the Hamiltonian for unit time—which certainly does not imply FF (Theorem 1). On the other hand, we’ve shown that the Hamiltonian being QC-solvable (which is a much stronger notion of fully understanding the Hamiltonian) does imply FF. One may ask: is full information about the Hamiltonian needed to achieve FF? All our FF examples do make use of the exact Hamiltonian description (Theorems 3 and 4), but ref. 8 and theorem 7 do not rule out FF for partially known Hamiltonians. It is conceivable that in certain cases, one can use partial knowledge about the Hamiltonian in conjunction with quantum computational techniques to go beyond current super-sensitivity results43,44 bounded by the Heisenberg limit (see ref. 45). Additional connections of this work to metrology and sensing are discussed in Supplementary Note 9.

We believe that this work poses an important first step towards a rigorous theory of the possibilities of TEUR violations, and opens the exciting possibility that for certain Hamiltonians, efficient and extremely accurate energy measurements can be achieved using quantum computing techniques; these may be realizable even before full-fledged quantum computers exist.

Methods

Further details about the definition of cTEUR

We provide some missing details in the definition of the cTEUR. First, the confidence η is defined as follows.

Definition 4 (η-accuracy): A unitary energy measurement as in Eq. (3) is said to have accuracy δE with confidence η (we say it is a measurement of η-accuracy δE) if given an eigenstate with energy E, the measurement outcome E′ satisfies

Pr E E - E δ E η.
(13)

We usually set η = 2/3. We note that any constant η > 1/2 can be amplified to become close to 1, assuming that the demolition parameter β is polynomially small. To see how this amplification is done, recall from definition 2 that polynomially small β implies that the perturbation of an eigenstate of H by the measurement is polynomially small. A small perturbation allows us to repeat the measurement m = poly(n) times, and calculate the median of the measurements outcome. The median would be within δE from E with probability, which approaches 1 exponentially fast in m, the number of repetitions (see the Confidence Amplification lemma, Lemma 1 below). The resulting unitary energy measurement would have the same δE, the confidence would be exponentially close to 1 and the demolition parameter would deteriorate by a factor of m.

We further explain the asymptotic notation Ω in the proposition. This notation is defined as follows: A function f(n) is said to be Ω(g(n)) if asymptotically it is larger than cg(n) for some non-negative constant c, namely, there exists a constant c > 0, and a natural number n 0 s.t. f(n) > cg(n) for any n > n 0. Hence, if δET ( n ) 1 poly ( n ) , this means that there exists an inverse polynomial function, which starting from some large enough n, bounds the product δET ( n ) from below.

To be completely rigorous, we note that the cTEUR proposition should consider a family of Hamiltonians { H n } n = 1 and a family of unitary energy measurements { U n } n = 1 , with increasing number of qubits. This is left implicit in this article. As is common in computational complexity, { U n } n = 1 are assumed to be designed by a poly(n) classical algorithm whose input is n, and which may depend on any (possibly partial) information we have about the Hamiltonian.

We use the accuracy error as our error model because it conveniently translates to a unitary error in fast-forwarding (Theorem 2), but how does accuracy error compare to the standard deviation used in the TEUR?

Note that requiring the measurement to have accuracy error δE with confidence η is a slightly weaker requirement than the common requirement that the standard deviation is δE. In particular, when the standard deviation is specified, it is assumed implicitly that the expectation of the outcome is the correct value E. However, the expectation of the outcome E′ of a measurement of accuracy δE and confidence 2/3, might be arbitrarily far from E, namely, δE cannot give an upper bound on ΔE without further assumptions. A weak assumption suffices though. Assuming that H is at most exponential, one can prove that ΔE η δ E + 2 1 - η H , and since η can be amplified to be exponentially close to one, this bound is meaningful (Supplementary Note 5). Conversely, δE cannot be bounded from above by ΔE because the standard deviation of the measurement could be 0 but still its expectation can be far from the correct E.


Proof sketch of Theorem 2 (main)

We give here an outline of the main steps in the proof of Theorem 2. The proof builds on two tools. The confidence amplification lemma gives efficient exponential confidence amplification of a low-demolition energy measurement, without increasing the demolition parameter β too much:

Lemma 1 (Confidence amplification). Let η> 1 2 , and let H be a Hamiltonian on n qubits, H 1, which is (η, δE, β) − SEEM. Then for any integer m ≥ 1, H is also ( 1 - e - m 2 1 - 1 2 η 2 , δ E , m β ) –SEEM.

The following lemma allows increasing the T parameter of FF at the cost of degrading α:

Lemma 2 (FF by concatenation). For any integer κ > 0, if a Hamiltonian is (T, α)-FF, it is also (, ακ)-FF.

These lemmas can be used as follows to derive the proof. To prove the first direction, FF exp SEEM exp : we first apply the FF by concatenation lemma (Lemma 2), to improve the FF parameters; using this improved FF ability, we can apply the phase estimation circuit (Fig. 4) to achieve highly accurate energy measurement, and lastly the parameters are improved by confidence amplification (Lemma 1).

To prove the other direction, SEEM exp FF exp : The idea is to estimate the energy using the SEEM unitarily, then apply the correct phase (energy multiplied by the desired time) based on the resulting estimated value of the energy, and then run the energy estimation backwards to erase any garbage, in order to derive the unitary corresponding to the application of the Hamiltonian for time t. Once again, the confidence amplification lemma (Lemma 1) is required in order to gain back the parameters which were degraded.

The details are not completely trivial due to the trade-off between the parameters, which all need to match up. The main steps are depicted in Fig. 7. See Supplementary Note 5 for full proofs of Theorem 2 and the Lemmas.

Fig. 7
Fig. 7

Sketch of the equivalence proof in both directions. The boxes indicate the guaranteed parameters, and the arrows are accompanied by the lemmas used to derive them

This proof, like the proof of Theorem 1 could be modified to rely on Kitaev’s phase estimation without making use of Fourier transform, which would give a more efficient computation from the point of view of making use of quantum computations versus classical ones.

We note that Theorem 2 can be extended to other functions T(n) and δE as a function of n. There seems to be, however, some inherent (constant) loss in parameters when moving between FF for time T, and SEEM with accuracy 1/T, at least in the way the above proof works; which is why Theorem 2 is stated using asymptotic functions.


Relation of Theorem 1 to no-FF in other Hamiltonian models

We have discussed in the above the case of completely unknown Hamiltonians, as in ref. 8, as well as the general setting, which is the main subject of this article, in which we can have full information about the Hamiltonian (namely, we have a circuit for efficiently simulating the Hamiltonian for unit time) but the resources that are bounded are the computational complexity.

A different model, was studied in refs. 28,30 and is called the “Hamiltonian query model”. In this model, access to the matrix entries of the Hamiltonian is by queries to an oracle, which, given the index of a row, returns all non-zero elements in the row. This model seems less interesting from a physics perspective, however, there are interesting theoretical results which can be derived. In particular30 proved that there exist Hamiltonians, which require exponentially many queries in this model, in order to simulate their evolution to within exponential time. This can be viewed as a no-generic-FF theorem in this model.

We note that this theorem does not follow from Theorem 7, the cTEUR for unknown Hamiltonians (adapted from8, see Supplementary Note 3 for definition), though Theorem 7 together with our equivalence Theorem 2 implies a no-generic-FF for unknown Hamiltonians. The reason is that in the query model the Hamiltonian is not completely unknown, and possibly this additional information about the Hamiltonian can be used in order to achieve FF.

Summarizing the comparison between the three models, a Hamiltonian given as a black-box or one with unknown eigenvalues cannot be FF as this violates the TEUR/cTEUR for unknown Hamiltonians (This follows from the results of Aharonov et al.8 and our extension of it, Theorem 7 in Supplementary Note 3, together with our main Theorem 2). Adding information on the Hamiltonian when using the query model still won’t allow a general FF procedure due to query complexity bounds30. Theorem 1 is the corresponding theorem for the case of 2-sparse row computable Hamiltonians; Since we are no longer in the black-box model, nor even in the query model, we must condition the result on computational assumptions i.e., the widely believed assumption that PSPACE ≠ BQP (see Supplementary Note 8 for exact definition of these classes).


Theorem 1 and a recent conjecture in quantum gravity

Theorem 1 is tightly related to a recent result by Aaronson and Susskind46, which was derived in the context of a conjecture in quantum gravity. This conjecture, due to Susskind31 connects the length of non-traversable wormholes to the computational complexity of approximating certain quantum states.

In this context, one is interested in a maximally entangled state, which evolves in time under the transformation:

ψ t = 2 - n 2 y = 1 2 n y U t y ,
(14)

where U is a unitary related to the physical Hamiltonian in question (see ref. 46). Susskind31 proposed that the CFT dual of the length of non-traversable wormholes is equal to the quantum circuit complexity required to approximate ψ t . Aaronson and Susskind (manuscript in preperation; see ref. 46) do not handle the particular U of the CFT, but prove that there exists a unitary U such that the state in Eq. (14) is hard to approximate (more precisely, for some t < 2n, ψ t with this U cannot be approximated efficiently) under a commonly believed computational assumption (PSPACEPP∕poly). In their terminology, they show that there are no “shortcuts” to generating the state ψ t for such a U. This closely ties with our no-generic FF Theorem 1, though it seems that their theorem does not directly imply Theorem 1. Note that if the Hamiltonian H S generating the unitary U, s.t. U= e - i H S , could be exponentially FF, the state complexity of ψ t would by polynomial for t at most exponential. Thus, impossibility of FF of H follows from impossibility to generate ψ t efficiently. The other way round might not hold—it is conceivable that FF is impossible, but the state ψ t can be generated efficiently by a different way. This is why the computational assumption in Aaronson and Susskind’s result is stronger than ours, and involves the class PP and not BQP. The two other differences between the two theorems (Aaronson and Susskind work in the non-uniform setting, namely use PP/poly rather than PP, and consider approximation of the state to within a constant), depend on the setting and are less important.

An interesting question in this context is whether it is it possible to prove specifically that the above mentioned Hamiltonian H S cannot be FF. Perhaps, this can be done using similar ideas to those mentioned in the discussion section.


Quantum algorithms and fast-forwarding Hamiltonians

We have seen that the factoring algorithm can be interpreted as an efficient and exponentially accurate energy measurement utilizing fast forwarding. One can ask a conceptual question: is fast-forwarding Hamiltonians the true underlying source for all quantum algorithmic speed-ups? It turns out that in fact this is far from being the case. Indeed, like in Shor’s algorithm, the Abelian hidden subgroup problem (HSP) is solved47,48 by efficiently utilizing phase estimation to exponential accuracy, thus one can associate a Hamiltonian to the problem, and the quantum algorithm can be translated to a cTEUR violation in measuring the energies with respect to this Hamiltonian. We believe (though we have not worked out the details) that this is also the case for the recent extensions of Shor’s algorithm to finding unit groups of number fields49,50, which are also based on phase estimation of the eigenvalue of a unitary applied to exponential powers. However, to our current understanding, other than these few direct extensions of Shor’s algorithm, none of the other known quantum algorithmic speed-ups can be related to fast forwarding–not even quadratic fast forwarding (!). We note that some of these algorithms can be viewed an an energy measurement of a corresponding Hamiltonian, as we describe below, however, the quantum speed-up does not result from a FF of this Hamiltonian. We describe this in three interesting cases.

  1. 1.

    The exponential speed-up of the quantum walk on two glued binary trees 51: In this algorithm, an exponential quantum speed up is achieved by showing that a quantum algorithm can traverse a graph with exponentially many nodes, in polynomial time. The graph consists of two binary trees glued in their leaves. As shown in ref. 51, the glued trees problem is highly symmetric, and the search is limited to a subspace of dimension linear in the number of qubits. In addition ref. 51, show that the spectral gap of the Hamiltonian in that subspace is inverse polynomial.

    One can in fact view this process as an energy measurement, except not an accurate one. To see how continuous time quantum walks (CTQW)52 are related to energy measurements, consider the following analogy: In CTQW, a value t is chosen uniformly over [0, T] and the system is evolved by e iHt and then measured. Almost equivalently, one can add to the state an ancilla register, initiated in the superposition over all values of time 1 T t = 0 T - 1 t , and then apply the Hamiltonian on the state for a duration t conditioned that the value in the ancilla register is t, and finally discard the t register. This latter procedure is effectively a phase estimation (i.e., energy measurement), with the outcome traced out.

    However, the algorithm in ref. 51 only requires polynomial accuracy to perform this energy measurement, and in order to do this it simply applies the Hamiltonian for a polynomial amount of time, and does not utilize any fast-forwarding (equivalently, it does not violate the cTEUR).

  2. 2.

    Grover’s quadratic algorithmic speed-up 53: In Grover’s algorithm, an initial state s , which is a uniform superposition over a search space of size N is rotated slowly to the marked state ω, and reaches its proximity after O(N −1/2) applications of the iterator U= 1 - 2 ω ω 2 s s - 1 . U may be written as:

    U= 1 - 2 ω ω 2 N ( N - 1 s s + ω ω + N - 1 s ω + ω s ) - 1 ,
    (15)

    where s = ( N - 1 ) N s + 1 N ω . The subspace spanned by s′, ω is invariant to U; by denoting ω = 0 and s = 1 ,

    U = 1 N N - 2 - 2 N - 1 2 N - 1 N - 2 = 1 cos 2 N - 1 N - i sin 2 N - 1 N σ y + O N - 3 2 = e - 2 i N - 1 N σ y + O N - 3 2 .
    (16)

    Here we used the following:

    e i φ σ y =1cos ( φ ) +i σ y sin ( φ )
    (17)

    1- 2 N +O N - 2 =cos 2 N - 1 N
    (18)

    2 N - 1 N +O N - 3 2 =sin 2 N - 1 N .
    (19)

    Denote H=2 σ y N ; then H has eigenstates 1 2 s ± i ω , and additionally,

    e - i H - U = e - 2 i σ y N - e - 2 i σ y N - 1 N + O N - 3 2 =O N - 1 .
    (20)

    Measuring an eigenstate of H in the original standard basis returns ω with probability half. Thus, an algorithm equivalent to Grover’s is to apply an energy measurement of the state s with respect to the Hamiltonian H, with sufficient accuracy to arrive at a state close to an eigenstate, and then to measure in the original standard basis. Since the two eigenvalues differ by ≈N – 1/2, it turns out that it suffices to perform a measurement with η-accuracy N −1/2/10 for η = 1–10−3 to achieve probability at least 1/3 to measure ω. The exact argument follows from similar arguments to those in the proof of our no-general-FF Theorem 1, using claims 7 and 8 (see Supplementary Note 8). We omit the details. Thus, the quadratic speed-up is achieved by the mere fact that the accuracy required to separate the two eigenstates is of the order of 1 N and not 1/N.

  3. 3.

    Exponentially fast solutions of linear equations 54,55: The algorithm54 finds the state x = i x i i for x that solves the equation Ax = b. The matrix A is an N × N Hermitian s-row computable matrix, namely every row in A has at most s non-zero elements, and there exists an efficient algorithm recieving a row number as input, and outputing the position and values of these non-zero elements. The vector b is given as a state: b = i b i i . The time complexity of the algorithm is O ( poly ( log ( N ) ) , κ , 1 ϵ ) , where κ is the condition number of A, i.e., the ratio between the largest and smallest eigenvalues of A, and ϵ is the additive error of |x〉 allowed. The heart of the algorithm is a phase estimation of the unitary matrix e iA applied to the state |b〉. The Hamiltonian simulation procedures used to simulate e iAt in ref. 54,55 apply for any A, thus both require at least linear computational complexity in t. If it weren’t so, one could violate cTEUR for unknown Hamiltonians—but this is, as we know, impossible (See Theorem 7 in SI). Hence no fast forwarding is involved.

As for other famous quantum algorithmic speed-ups, these do not seem to have a sensible description in terms of energy measurements of associated Hamiltonians, so they also do not seem to be related to FF. In particular, Kuperberg’s sub-exponential algorithm for finding a hidden subgroup of the Dihedral group56 and BQP-complete Topological Quantum Field Theory (TQFT) based quantum algorithms57,58,59, do not seem to have a FF origin.


Data availability

The data sharing not applicable to this article as no data sets were generated or analyzed during the current study.

Additional information

Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

References

  1. 1.

    Peres, A. Fundamental Theories of Physics. (Kluwer Academik Publishers, Dordrecht, 1993).

  2. 2.

    Margolus, N. & Levitin, L. B. The maximum speed of dynamical evolution. Phys. D 120, 188–195 (1998).

  3. 3.

    Mandelstam, L. & Tamm, I. The uncertainty relation between energy and time in nonrelativistic quantum mechanics. J. Phys. 9, 1 (1945).

  4. 4.

    Fleming, G. N. A unitarity bound on the evolution of nonstationary states. Il Nuovo Cimento A 16, 232–240 (1973).

  5. 5.

    Busch, P. The time-energy uncertainty relation. Time in Quantum Mechanics, 73–105 (Springer, Berlin, Heidelberg, 2008).

  6. 6.

    Landau, L. D. & Peierls, R. Extension of the uncertainty principle to relativistic quantum theory. Z. Phys. 69, 56 (1931).

  7. 7.

    Landau, L. D. & Lifshitz, E. M. Quantum Mechanics: Non-Relativistic Theory, vol. 3 (Elsevier, Oxford, 2013).

  8. 8.

    Aharonov, Y., Massar, S. & Popescu, S. Measuring energy, estimating hamiltonians, and the time-energy uncertainty relation. Phys. Rev. A 66, 052107 (2002).

  9. 9.

    Fonseca, E., Monken, C. & Pádua, S. Measurement of the de broglie wavelength of a multiphoton wave packet. Phys. Rev. Lett. 82, 2868 (1999).

  10. 10.

    D’Angelo, M., Chekhova, M. V. & Shih, Y. Two-photon diffraction and quantum lithography. Phys. Rev. Lett. 87, 013602 (2001).

  11. 11.

    Kuzmich, A. & Mandel, L. Sub-shot-noise interferometric measurements with two-photon states. J. Opt. B Quantum and Semiclassical Opt. 10, 493 (1998).

  12. 12.

    Bouwmeester, D. Quantum physics: high noon for photons. Nature 429, 139–141 (2004).

  13. 13.

    Walther, P. et al. De broglie wavelength of a non-local four-photon state. Nature 429, 158–161 (2004).

  14. 14.

    Mitchell, M. W., Lundeen, J. S. & Steinberg, A. M. Super-resolving phase measurements with a multiphoton entangled state. Nature 429, 161–164 (2004).

  15. 15.

    Betzig, E. et al. Imaging intracellular fluorescent proteins at nanometer resolution. Science 313, 1642–1645 (2006).

  16. 16.

    Kempf, A. & Prain, A. Driving quantum systems with superoscillations. J. Math. Phys. 58, 082101 (2017).

  17. 17.

    Dowling, J. P. Quantum optical metrology–the lowdown on high-n00n states. Contemp. Phys. 49, 125–143 (2008).

  18. 18.

    Berry, M. & Popescu, S. Evolution of quantum superoscillations and optical superresolution without evanescent waves. J. Phys. A Math. Gen. 39, 6965 (2006).

  19. 19.

    Aharonov, Y. & Bohm, D. Time in the quantum theory and the uncertainty relation for time and energy. Phys. Rev. 122, 1649–1658 (1961).

  20. 20.

    Helstrom, C. W. Quantum detection and estimation theory(Academic Press, London, 1976).

  21. 21.

    Jarzyna, M. & Demkowicz-Dobrzański, R. True precision limits in quantum metrology. N. J. Phys. 17, 013010 (2015).

  22. 22.

    Bernstein, E. & Vazirani, U. Quantum complexity theory. SIAM J. Comp. 26, 1411–1473 (1997).

  23. 23.

    Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, 2000).

  24. 24.

    Deutsch, D. Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. London Ser. A 400, 97–117 (1985).

  25. 25.

    Kaye, P., Laflamme, R. & Mosca, M. An introduction to Quantum Computing (Oxford University Press, New York, 2007).

  26. 26.

    Shor, P. W. in Proc. 35th Annual Symposium on Fundamentals of Computer Science, Vol. 35, 124–134 (IEEE Computer Soceity Press, Los Alamos, 1994).

  27. 27.

    Aharonov, D. & Ta-Shma, A. in Proc. thirty-Fifth Annual Acm Symposium on Theory of Computing, 20–29 (ACM Press, New York, 2003).

  28. 28.

    Berry, D. W., Childs, A. M., Cleve, R., Kothari, R. & Somma, R. D. in Proc. 46th Annual ACM Symposium on Theory of Computing, 283–292 (ACM Press, New York, 2014).

  29. 29.

    Kitaev, A. Y., Shen, A. & Vyalyi, M. N. Classical and Quantum Computation, 47 (American Mathematical Soc., Rhode Island, 2002).

  30. 30.

    Berry, D. W., Ahokas, G., Cleve, R. & Sanders, B. C. Efficient quantum algorithms for simulating sparse hamiltonians. Commun. Math. Phys. 270, 359–371 (2007).

  31. 31.

    Susskind, L. Computational complexity and black hole horizons. Fort. Phys. 64, 24–43 (2016).

  32. 32.

    Anderson, P. W. Absence of diffusion in certain random lattices. Phys. Rev. 109, 1492–1505 (1958).

  33. 33.

    Pan, V. Y. & Chen, Z. Q. in Proc. Thirty-first Annual ACM Symposium On Theory Of Computing, 507–516 (ACM Press, New York, 1999).

  34. 34.

    Armentano, D., Beltrán, C., Bürgisser, P., Cucker, F. & Shub, M. A stable, polynomial-time algorithm for the eigenpair problem. Preprint at http://arxiv.org/abs/1505.03290 (2015).

  35. 35.

    Bremner, M. J., Jozsa, R. & Shepherd, D. J. in Proc. Royal Society of London A: Mathematical, Physical and Engineering Sciences (The Royal Society, 2010).

  36. 36.

    Bremner, M. J., Montanaro, A. & Shepherd, D. J. Achieving quantum supremacy with sparse and noisy commuting quantum computations. Quantum 1, 8 (2017).

  37. 37.

    Blaizot, J.-P. & Ripka, G. Quantum Theory of Finite Systems, vol. 3 (MIT Press, Cambridge, 1986).

  38. 38.

    Shchesnovich, V. The second quantization method for indistinguishable particles (lecture notes in physics). Preprint at http://arxiv.org/abs/1308.3275 (2013).

  39. 39.

    Wocjan, P., Janzing, D., Decker, T. & Beth, T. in Proc. Winter International Synposium on Information and Communication Technologies, 1–1 (Trinity College Dublin, 2004).

  40. 40.

    Papadimitriou, C. H. On the complexity of the parity argument and other inefficient proofs of existence. J. Comput. Syst. Sci. 48, 498–532 (1994).

  41. 41.

    Nagaj, D. & Wocjan, P. Hamiltonian quantum cellular automata in one dimension. Phys. Rev. A 78, 032311 (2008).

  42. 42.

    Nandkishore, R. & Huse, D. A. Many-body localization and thermalization in quantum statistical mechanics. Annu. Rev. Condens. Matter Phys. 6, 15–38 (2015).

  43. 43.

    Herrera-Mart, D. A., Gefen, T., Aharonov, D., Katz, N. & Retzker, A. Quantum error-correction-enhanced magnetometer overcoming the limit imposed by relaxation. Phys. Rev. Lett. 115, 200501 (2015).

  44. 44.

    Kessler, E. M., Lovchinsky, I., Sushkov, A. O. & Lukin, M. D. Quantum error correction for metrology. Phys. Rev. Lett. 112, 150802 (2014).

  45. 45.

    Giovannetti, V. & Maccone, L. Sub-heisenberg estimation strategies are ineffective. Phys. Rev. Lett. 108, 210404 (2012).

  46. 46.

    Aaronson, S. The complexity of quantum states and transformations: From quantum money to black holes. Preprint at http://arxiv.org/abs/1607.05256 (2016).

  47. 47.

    Kitaev, A. Y. Quantum measurements and the abelian stabilizer problem. Preprint at https://arxiv.org/abs/quant-ph/9511026 (1995).

  48. 48.

    Mosca, M. & Ekert, A. in quantum computing and quantum communications, 174–188 (Springer, 1999).

  49. 49.

    Hallgren, S. Polynomial-time quantum algorithms for pell’s equation and the principal ideal problem. J. ACM 54, 4 (2007).

  50. 50.

    Eisenträger, K., Hallgren, S., Kitaev, A. & Song, F. in Proc. 46th Annual ACM Symposium on Theory of Computing, 293–302 (ACM Press, New York, 2014).

  51. 51.

    Childs, A. M. et al. in Proc. Thirty-fifth Annual ACM Symposium on Theory of Computing, 59–68 (ACM Press, New York, 2003).

  52. 52.

    Farhi, E. & Gutmann, S. Quantum computation and decision trees. Phys. Rev. A 58, 915 (1998).

  53. 53.

    Grover, L. K. in Proc. 28th Annual ACM Symposium on Theory of Computing, 212–219 (ACM Press, New York, 1996).

  54. 54.

    Harrow, A. W., Hassidim, A. & Lloyd, S. Quantum algorithm for linear systems of equations. Phys. Rev. Lett. 103, 150502 (2009).

  55. 55.

    Childs, A. M., Kothari, R. & Somma, R. D. Quantum linear systems algorithm with exponentially improved dependence on precision. Preprint at https://arxiv.org/abs/1511.02306 (2015).

  56. 56.

    Kuperberg, G. A subexponential-time quantum algorithm for the dihedral hidden subgroup problem. SIAM J. Comput. 35, 170–188 (2005).

  57. 57.

    Freedman, M. H., Kitaev, A. & Wang, Z. Simulation of topological field theories by quantum computers. Commun. Math. Phys. 227, 587–603 (2002).

  58. 58.

    Bordewich, M., Freedman, M., Lovász, L. & Welsh, D. Approximate counting and quantum computation. Comb. Probab. Comput. 14, 737–754 (2005).

  59. 59.

    Aharonov, D., Jones, V. & Landau, Z. A polynomial quantum algorithm for approximating the jones polynomial. Algorithmica 55, 395–421 (2009).

Download references

Acknowledgements

We are grateful to S. Aaronson, F. Brandão, J. Dowling, N. Katz, A. Kempf, L. Palterovitch, D. Roberts, O. Sattath, and N.Y. Yao, for very useful comments. In particular, we acknowledge a discussion with N.Y. Yao that eventually led to Theorem 4. This research was supported by ERC grant number 280157 and Simons foundation grant number 385590.

Author information

Affiliations

  1. School of Computer Science and Engineering, The Hebrew University of Jerusalem, The Edmond J. Safra Campus, 9190416, Jerusalem, Israel

    • Yosi Atia
    •  & Dorit Aharonov

Authors

  1. Search for Yosi Atia in:

  2. Search for Dorit Aharonov in:

Contributions

All authors contributed equally to this work. Y.A. initiated the study.

Competing interests

The authors declare no competing financial interests.

Corresponding author

Correspondence to Yosi Atia.

Electronic supplementary material

Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.

Creative Commons BY

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.