Abstract
Simulating quantum imaginarytime evolution (QITE) is a significant promise of quantum computation. However, the known algorithms are either probabilistic (repeat until success) with unpractically small success probabilities or coherent (quantum amplitude amplification) with circuit depths and ancillaryqubit numbers unrealistically large in the midterm. Our main contribution is a new generation of deterministic, highprecision QITE algorithms that are significantly more amenable experimentally. A surprisingly simple idea is behind them: partitioning the evolution into a sequence of fragments that are run probabilistically. It causes a considerable reduction in wasted circuit depth every time a run fails. Remarkably, the resulting overall runtime is asymptotically better than in coherent approaches, and the hardware requirements are even milder than in probabilistic ones. Our findings are especially relevant for the early faulttolerance stages of quantum hardware.
Similar content being viewed by others
Introduction
Given a Hamiltonian H and an inverse temperature \(\beta \ge 0\), QITE is the task of evolving quantum states according to the nonunitary propagator \(e^{\beta H}\). QITE is central not only to groundstate optimisations^{1,2,3,4,5} but also to partitionfunction estimation and quantum Gibbsstate sampling^{6,7,8,9,10,11,12,13,14,15,16,17,18}, i.e. the task of preparing thermal quantum states at tunable inverse temperature \(\beta\). This is both fundamentally relevant and useful for notable algorithmic applications. For instance, even though approximating ground states of generic Hamiltonians is not expected to be efficient even on a quantum computer—as it can solve QMAcomplete problems^{19}—, significant speedups over classical simulations are possible. This has motivated several groundstate cooling algorithms (with and without QITE), especially for combinatorial optimisations^{2,20,21,22,23} or molecular electronic structures^{1,24,25,26}. On the other hand, Gibbsstate samplers are used as main subroutines for quantum semidefinite program solvers^{12,13,14} or for training^{27,28,29} quantum machinelearning models^{30,31}, e.g. Moreover, QITE also enables quantizations^{2} of the METTS or Lanczos algorithms, which directly simulate certain thermal properties without Gibbsstate sampling.
Quantum Gibbs states can be approximated by quantum Metropolis Markovchains^{8,9} or by variational circuits trained to minimise the free energy^{16}, e.g. However, the former involve deep and complex circuits, whereas the latter are highly limited by the variational Ansatz. In turn, heuristic QITE algorithms for groundstate optimisations exist^{1,2,3,4,5,32,33,34}. There, one simulates purestate QITE with a unitary circuit that depends on the input state, the Hamitonian, and \(\beta\). For small\(\beta\) steps, one can determine the circuits by measurements on the input state at each step and classical postprocessing. One possibility is to optimise a variational circuit on the measured data^{1}, but this is again limited by the expressivity of the Ansatz. Another possibility is to invert a linear system generated from the measurements^{2,3,4,5}, but the size of such system (as well as the number of measurements required) is exponential in the number of qubits, unless restrictive locality assumptions are made.
The most general, guaranteedprecision QITE algorithms are based on unitary circuits followed by ancillaryqubit postselection^{6,11,14,15,18}. These circuits—to which we refer as QITE primitives—are efficient in \(\beta\) as well as in the target precision. However, due to the intrinsically probabilistic postselection, they must be applied multiple times – by what we refer to as master QITE algorithms—to obtain a deterministic output. Repeatuntilsuccess master algorithms apply the primitive in parallel (i.e. in independent probabilistic runs), thereby not inducing any increase in circuit depth. However, their overall complexity is inversely proportional to the postselection probability. Instead, coherent master algorithms^{6,11,14,15}, based on amplitude amplification^{35}, have closetoquadratically smaller overall complexity. However, they require enormous circuit depths and significantly more ancillas. In addition, no fundamental efficiency limit for generic QITE algorithms is known.
Overview
Here, we introduce two efficient QITE primitives based on the quantum signal processing (QSP) framework^{14,15,36,37} as well as a practical master QITE algorithm (see Fig. 1); and prove a universal lower bound for the complexity of QITE primitives that can be seen as an imaginarytime counterpart of the no fastforwarding theorem for RTE^{38,39,40}. The first primitive is designed for Hamiltonians given in the wellknown blockencoding oracle model, whereas the second one for a simplified model of realtime evolution oracles involving a single time. Both primitives feature excellent query complexity (number of oracle calls) and ancillaryqubit overhead. In fact, for the first primitive the complexity is subadditive in \(\beta\) and \(\log (\varepsilon ^{1})\), with \(\varepsilon\) the tolerated error. This scaling saturates our universal bound when \(\beta \ll \log (\varepsilon ^{1})\). Hence Primitive 1 is optimal in that regime, which, interestingly, turns out crucial for our master algorithm. In contrast, Primitive 2’s complexity is multiplicative in \(\beta\) and \(\log (\varepsilon ^{1})\), but it requires a single ancilla throughout and its oracle significantly fewer gates. This is appealing for intermediatescale quantum hardware. In turn, our master QITE algorithm breaks the evolution into small\(\beta\) fragments and runs each fragment’s primitive probabilistically. Surprisingly, this yields an overall runtime competitive with – and, in the relevant regime of high \(\beta\), even better than – that of coherent approaches while, at the same time, preserving all the advantages of probabilistic ones for experimental feasibility.
Finally, the complexity of our master algorithm depends on the fragmentation schedule, i.e. number r of fragments and their relative sizes. On one hand, for Primitive 1, we rigorously prove that, from a critical inverse temperature \(\beta _{\text{c}}= {\mathcal {O}}(2^{N/2}\, N)\) on, the runtime is lower than that with coherent QITE. This is shown by explicitly constructing schedules with only \(r=2\) fragments that do the job, remarkably. On the other hand, that fragmented QITE outperforms coherent QITE is also observed for both primitives through extensive numerical evidence. More precisely, we study the overall runtime as a function of \(\beta\) and \(\varepsilon\), up to \(N=15\) qubits, and for numericallyoptimized schedules. These experiments involve random instances of Hamiltonians encoding four computationally hard classes of problems: Ising models associated to the i) MaxCut and ii) weighted MaxCut problems^{20,21,22}; iii) restricted quantum Boltzmann machines (transversefield Ising models)^{30,31}; and iv) a quantum generalization (fullyconnected Heisenberg models) of the SherringtonKirkpatrick model^{41,42} for spin glasses. We see a clear trend whereby, from \(\beta _{\text{c}}= {\mathcal {O}}\big (2^{N/2}\big )\) on, fragmentation outperforms coherent QITE for both primitives, for an optimal number of fragments \(r\lesssim 6\). The obtained values for \(\beta _{\text{c}}\) imply that our algorithm outperforms coherent QITE in the computationally hardest range of \(\beta\), particularly relevant for Hamiltonians with an exponentially small spectral gap^{43,44}. Moreover, impressively, such advantages are attained at no cost in circuit depth or number of ancillas, which are identical to those of probabilistic QITE. It is worth noting that, although we prove that fragmented QITE can outperform the coherent algorithm, it does not mean that its scaling is better (see the Supplementary Material^{45}, Sec. VII).
Results
We consider an Nqubit system \({\mathcal {S}}\), of Hilbert space \({\mathbb {H}}_{\mathcal {S}}\). We denote by \({\mathbb {H}}_{\mathcal {A}}\) the Hilbert space of an ancillary register \({\mathcal {A}}\). We first discuss the primitives, then the universal complexity lower bound, and the master algorithm at last. Formal definitions and proofs of theorems are found in Methods.
Quantum imaginarytime evolution primitives
We use the notation \((\beta ,\varepsilon ',\alpha )\)QITEprimitive to refer to a circuit that implements a blockencoding of the QITE propagator, i.e. a unitary \(U_{F_\beta (H)}\) acting on \({\mathcal {S}}\) and \({\mathcal {A}}\) containing an \(\varepsilon '\)approximation of \(\alpha F_\beta (H)\) as one of its matrix blocks, with \(0\le \alpha \le 1\) a subnormalization factor, \(F_\beta (H):=e^{\beta (H\lambda _{\text {min}})}\), and \(\lambda _{\text {min}}\) the minimal eigenvalue of H. When applied to a state \(\Psi \rangle _{\mathcal {S}} 0\rangle _{\mathcal {A}}\), the primitive (approximatelly) produces the target state \(\frac{F_{\beta }(H)\Psi \rangle }{\left\ F_{\beta }(H)\Psi \rangle \right\ }\) on the system after postselecting the ancillas in \(0\rangle _{\mathcal {A}}\). The postselection success probability is given by \(p_{\Psi }(\beta , \alpha )=\alpha ^2\, \left\ F_{\beta }(H)\Psi \rangle \right\ ^2\). The tracedistance error in the outputstate is \({\mathcal {O}}(\varepsilon )\) if the spectral error in the primitive is \(\varepsilon ^{\prime }\le \,\varepsilon \, \sqrt{p_{\Psi }(\beta , \alpha )}/2\)^{45}, Sec. II.
We introduce two QITE primitives. Both of them possess the basic structure shown in Fig. 1a, where a sequence of gates \(\{V_k\}_{\in [q]}\), with \([q]=\{1, 2, \ldots q\}\), generates an approximate blockencoding of \(F_\beta (H)\). The circuit acts on the system, blockencoding ancillas and at most one extra qubit ancilla. The approximation consists of truncating an expansion of the exponential function at finite order q. Each gate \(V_k\) makes one call to the oracle of H (or its inverse) and contains \({\mathcal {O}}(1)\) parameterized single qubit rotations. The parameters of this gates are determined by the function expansion using quantum signal processing^{14,15,36,37}. Conceptually, the two primitives differ in the kind of expansion and the type of oracle. Their circuit descriptions are given in the Methods, especially in Fig. 6.
The first primitive implements a Chebyshev expansion using a blockencoding oracle \(O_1\), i.e a unitary that has H as one of its blocks. We denoted by \({\mathcal {A}}_{O_1}\) the ancillaryregister size and by \(g_{O_1}\) the gate complexity of \(O_1\). In Methods, we prove the following.
Theorem 1
(QITE primitive using Chebyshev approximation and blockencoding oracles). Given \(0<\varepsilon '<1\) and \(\beta >0\), there is a circuit \(P_{1}\) that is a \((\beta ,\varepsilon ',1)\)QITEprimitive using
queries to \(O_1\) and \(O_1^\dagger\), \({\mathcal {A}}_{1}={\mathcal {A}}_{O_1}+1\) total ancillary qubits, and gate complexity \(g_{P_1}={\mathcal {O}}(g_{O_1}+{\mathcal {A}}_{O_1})\) per query. Moreover, the classical runtime to calculate the gates of \(P_1\) is \({\mathcal {O}}(\text{poly}\big (q_1(\beta ,\varepsilon ')\big )\).
A nice feature of Eq. (1) is its subadditivity in \(\beta\) and \(\ln (1/\varepsilon ')\). We note that a QITE primitive was obtained in^{15} that works for the same oracle model and has complexity upperbounded by \({\mathcal {O}}\big (\sqrt{2\,\max [e^2\,\beta , \ln (2/\varepsilon ')]\,\ln (4/\varepsilon ')}\big )\). This is asymptotically better in \(\beta\) than Eq. (1), but it underperforms it for all \(\beta \lesssim 8\ln (4/\varepsilon ')\). In particular, while Eq. (1) tends to zero for \(\beta \rightarrow 0\), the bound from Ref.^{15} tends to \({\mathcal {O}}\big (\ln (1/\varepsilon ')\big )\). Interestingly, the strict upper bound that we obtain in Methods is the expression within \({\mathcal {O}}( )\) in Eq. (1) up to a modest factor: 8. Moreover, in^{45}, Sec. V, we numerically verify that that expression is itself a valid bound (no extra factor), even for low \(\beta\). Most importantly, in section "Coolingspeed limits for oraclebased QITE algorithms" we show that it approaches the optimal scaling as \(\beta\) decreases relative to \(\ln (1/\varepsilon ')\). We stress that the latter regime is crucial for the master algorithm of section "Fragmented master QITE algorithm", whose first fragments require, precisely, low inverse temperatures and high precisions. In turn, in the opposite regime of high \(\beta\), preliminary numerical observations^{46} suggest that the asymptotic scaling of the exact value of \(q_1\) could actually be as good as \(q_1(\beta ,\varepsilon ')={\mathcal {O}}\big (\sqrt{\beta \,\ln (1/\varepsilon ')}\big )\), i.e. similar to that from^{15}.
The second primitive implements a Fourier expansion assuming access to a unitary oracle \(O_2\), with gate complexity \(g_{O_2}\), that contains the time evolution \(e^{iHt}\) at time \(t=\frac{\pi }{2}\big (1+\frac{\gamma }{\beta }\big )^{1}\). In Methods, we prove the following.
Theorem 2
(QITE primitive using Fourier approximation nd single realtime evolution oracles). Given \(0<\varepsilon '<1\) and \(\beta >0\), there is a \((\beta ,\varepsilon ',\alpha )\)QITEprimitive \(P_{2}\) with \(\alpha =e^{\beta (1+\lambda _{\text{min}})\gamma }\), it uses
queries to \(O_2\) and \(O_2^\dagger\), \({\mathcal {A}}_{2}=1\) ancilla, and \(g_{P_2}=g_{O_2}+{\mathcal {O}}(1)\) gates per query. Moreover, the gates of \(P_2\) are obtained in classical runtime \({\mathcal {O}}(\text{poly}\big (q_2(\beta ,\varepsilon ',\alpha )\big )\).
As shown in Methods, the “\({\mathcal {O}}( \cdot )\)” in Eq. (2) also hides only a modest global factor: 4. In contrast to Eq. (1), the relation between \(\beta\) and \(\ln (1/\varepsilon ')\) in Eq. (2) is multiplicative. However, in return, \(P_2\) requires \({\mathcal {A}}_2=1\) ancillary qubit throughout, remarkably. This is a drastic reduction relative to blockencoded oracle algorithms, and also to other algorithms based on realtime evolution. The latter is due to the use of a single realtime instead of an errordependent number of them^{6,14}. In fact, \({\mathcal {A}}_2=1\) is the minimum possible, because, since \(F_\beta (H)\) is nonunitary, at least 1 ancilla is needed to blockencode it. Moreover, the scaling of \(g_{P_2}\) is optimal too. Since it is based on realtime evolution oracles, it requires no qubitization^{37}. Consequently, it adds only a small, constant number of gates per query to the intrinsic gate complexity \(g_{O_2}\) of the oracle. These features make \(P_2\) specially wellsuited for nearterm devices. Importantly, rather than a peculiarity of \(P_2\), the favourable scalings of \({\mathcal {A}}_{2}\) and \(g_{P_2}\) are generic features of the type of operatorfunction design behind it: An optimised Fourierapproximation algorithm for arbitrary analytical real functions of Hermitian operators^{47}.
Our algorithms support any \(\lambda _{\text{min}}\in [1,1]\). For \(P_2\), this is reflected by the subnormalization factor \(e^{\beta (1+\lambda _{\text{min}})}\), which decreases as \(\lambda _{\text{min}}\) departs from \(1\). In turn, the other factor, \(e^{\gamma }\), arises from the Gibbs phenomenon of Fourier series. The theorem holds for all \(\gamma \ge 0\), allowing one to trade success probability for query complexity. For \(\varepsilon ^{\prime }\ll 1\), the optimal value of \(\gamma\) depends only on \(\beta\) for both coherent and probabilistic algorithms^{45}, Sec. III].
Finally, Theorems 1 and 2 can be straightforwardly extended to the realistic case of approximate oracles: In^{45}, Sec. I, we show (for generic analytical operator functions) that it suffices to take the oracle error (deviation from an ideal oracle) as \(\varepsilon '_O=O(\varepsilon '/q)\) to keep the primitive’s error in \(O(\varepsilon ')\).
Coolingspeed limits for oraclebased QITE algorithms
The most challenging applications of QITE involve small postselection probabilities, decreasing exponentially in N in the worst cases. In an effort to reduce the overall complexity [see Eq. (4)], this has fueled a long race^{6,7,11,12,14,15} to improve \(q(\beta ,\varepsilon ')\), going from the seminal \({\mathcal {O}}\big (\beta \,\text{poly}(1/\varepsilon ')\big )\) of^{6} to the recent \({\mathcal {O}}\big (\sqrt{2\max [e^2\,\beta , \ln (2/\varepsilon ')]\,\ln (4/\varepsilon ')}\big )\) of^{15} or the additive scaling of Eq. (1). However, to our knowledge, no runtime limit for QITE simulations has been established. This contrasts with realtime evolution (RTE), where fundamental runtime lower bounds are given by the “nofastforwarding theorem”^{38,39,40}. These are saturated by optimal RTE algorithms^{15,36,37}. Here we derive an analogous bound for imaginary time, which we call coolingspeed limit in allusion to the use of QITE to cool systems down to their ground state.
More precisely, we prove a universal efficiency limit for QITE primitives based on blockencoded oracles. This is convenient as it directly applies to our primitive with lowest query complexity, i.e. \(P_1\).
Theorem 3
(Imaginarytime nofastforwarding theorem) Let \(\beta >0\) and \(0<\varepsilon '<\alpha /2\). Then, any \((\beta ,\varepsilon ',\alpha )\)QITEprimitive querying blockencoding Hamiltonian oracles has query complexity at least \(q_{\min }(\beta ,\varepsilon ',\alpha )\ge {{\tilde{q}}}\), where \({{\tilde{q}}}\in {\mathbb {R}}_{>0}\) is the unique solution to the equation
Even though the bound is only given implicitly, interesting conclusions can readily be drawn. First, for any fixed \(\beta\), the lefthandside of Eq. (3) decreases monotonically with \({{\tilde{q}}}\) (therefore the uniqueness of the solution). Second, for any fixed \(\varepsilon '\) and \(\alpha\), \({{\tilde{q}}}\) grows monotonically with \(\beta\). Third, and most important, Eq. (3) is approximated by \(\big (\frac{\beta }{{8}\,{{\tilde{q}}}}\big )^{2{{\tilde{q}}}}=2\,\varepsilon '/\alpha\) for \(\beta \ll {{\tilde{q}}}\), as a Taylor expansion shows. The latter equation has a known explicit solution^{15}, which, for \(\alpha =1\), is given by Eq. (1). Hence, for \(\beta /{{\tilde{q}}}\rightarrow 0\), Eq. (1) tends to the optimal scaling. Note that \(\beta \ll {{\tilde{q}}}\) is equivalent to the first term Eq. (1) being much smaller than its second term, which in turn implies that \(\varepsilon '\) should be exponentially small in \(\beta\). Thus, \(P_1\) is close to optimal for small inverse temperatures or high precisions. Interestingly, this is the regime at which the first fragments of our master algorithm operate, as we see next.
Fragmented master QITE algorithm
We call master QITE algorithm a procedure which incorporates the primitives to attain deterministic QITE. It means that these algorithms deterministically produce the state \(\frac{F_{\beta }(H)\Psi \rangle }{\left\ F_{\beta }(H)\Psi \rangle \right\ }\), up to tracedistance error \(\varepsilon\), if they are given an input state \(\Psi \rangle \in {\mathbb {H}}_{\mathcal {S}}\).
Until now, two variants of master QITE algorithms had been reported, probabilistic and coherent (see Fig. 7). The former leverage repeatuntilsuccess: apply \(P_{\beta ,\varepsilon ^{\prime },\alpha }\) (on independent systems) until getting the desired output. Every time the postselection on the ancillas is not successful the resulting system state is discarded and system and ancillas are reinitialized for a new trial. The average number of trials until one gets one success is given as \({\mathcal {O}}(1/p_{\Psi }(\beta , \alpha ))\). In contrast, the latter are based on quantum amplitude amplification^{35}. There, \(P_{\beta ,\varepsilon ^{\prime },\alpha }\) is incorporated into a unitary amplification engine that is sequentially applied (on the same system) \({\mathcal {O}}\big (\sqrt{1/p_{\Psi }(\beta , \alpha )}\big )\) times. Hence, the overall query complexity of both variants is given by the unified expression
where \(\kappa =\,\)prob/coh for probabilistic or coherent schemes, respectively, \(\mu _{\text{prob}}=1\), \(\mu _{\text{coh}}=1/2\), and \(\varepsilon ^{\prime }=\varepsilon \sqrt{p_{\Psi }(\beta , \alpha )}/2\). Since \(p_{\Psi }(\beta , \alpha )\) can decrease with N exponentially, the quadratic advantage in \(1/p_{\Psi }(\beta , \alpha )\) of coherent approaches is highly significant. However, coherent algorithms have a circuit depth \({\mathcal {O}}(\sqrt{1/p_{\Psi }(\beta , \alpha )})\) times greater than in probabilistic ones and require \({\mathcal {O}}(N)\) extra ancillas. This makes coherent schemes impractical for intermediatescale quantum devices.
Our master algorithm relies on the basic identity \(F_\beta (H)=\prod _{l=1}^{r} F_{\Delta \beta _l}(H)\) to partition the evolution into \(r\in {\mathbb {N}}\) fragments of inverse temperatures \(S_r=\{\Delta \beta _l>0\}_{l\in [r]}\), such that \(\sum _{l\in [r]}\Delta \beta _l=\beta\). We refer to \(S_r\) as the fragmentation schedule. For each l, the algorithm repeats until success a \((\Delta \beta _l,\varepsilon ^{\prime }_l,\alpha _l)\)QITEprimitive \(P_{\Delta \beta _l,\varepsilon ^{\prime }_l,\alpha _l}\) on the output state \(\Psi _{l1}\rangle\) of the \((l1)\)th step, with \(\varepsilon ^{\prime }_l\) given in Eq. (5). That is, if the ancillas \({\mathcal {A}}\) are successfully postselected in state \(0\rangle\), the system’s output state \(\Psi _{l}\rangle\) is input into the \((l+1)\)th fragment. Else, the algorithm starts all over from the first fragment on \(\Psi _{0}\rangle =\Psi \rangle\), until \(\Psi _{l1}\rangle\) is prepared and the lth fragment can be run again. Alternatively, the measurement on \({\mathcal {A}}\) after each fragment can be seen as monitoring that the correct block of \(U_{F_{\Delta \beta _l}(H)}\) is applied on each \(\Psi _{l1}\rangle\), in contrast to the single error detection after \(U_{F_{\beta }(H)}\) in the probabilistic master algorithm (see Fig. 1). Note that the total number of trials (i.e. preparations of \(\Psi \rangle\)) coincides with the number of repetitions of the first fragment. We also note that our method resembles the discrete formulation of the Zeno effect applied in the quantization of the MetropolisHastings walk for classical Hamiltonians^{48}. However, here we cannot apply the rewind technique, i.e iterate between two consecutive steps of inverse temperature instead of rebooting in case of a failure in the postselection^{49}. Rewind applied to fragmented QITE would not produce the right output state. The following pseudocode summarizes all the algorithm:
The correctness and complexity of Algorithm 1 are established by the following theorem, proven in the Suplementary Material^{45}, Sec. IV.
Theorem 4
(Fragmented master QITE algorithm). If
for all \(l\in [r]\), Algorithm 1 is a master QITE algorithm for H on \(\Psi \rangle\) with error \({\mathcal {O}}(\varepsilon )\) and average query complexity
where \(n_l=\frac{p_{\Psi }(\beta _{l1})}{p_{\Psi }(\beta )\prod _{k=l}^r\alpha ^2_k}\) is the average number of times that \(P_{\Delta \beta _l,\varepsilon ^{\prime }_l,\alpha _l}\) is run, with \(\beta _0=0\), \(\beta _l=\sum _{k=1}^{l}\Delta \beta _k\) for all \(l\in [r]\), and \(p_{\Psi }({\tilde{\beta }})=\Vert F_{{\tilde{\beta }}}(H)\Psi \rangle \Vert ^2\) for any \({\tilde{\beta }}\).
We note that, for Primitive 1, the average total number of trials coincides with that of the probabilistic algorithm: \(n_1=1/p_{\Psi }(\beta )=:n_{\text{prob}}\) (see Methods). This is important because the probabilistic algorithm consumes \(q_1(\beta ,\varepsilon ^{\prime })\) queries per trial, successful or not. In contrast, the fragmented one consumes per trial \(q_1(\Delta \beta _1,\varepsilon ^{\prime }_1)\) queries, plus \(q_1(\Delta \beta _2,\varepsilon ^{\prime }_2)\) queries only if the first postselection succeeds, plus \(q_1(\Delta \beta _3,\varepsilon ^{\prime }_3)\) queries only if the second one succeeds too, and so on. Hence, the total waste in queries is lower with fragmentation (see Fig. 2). The strength of the reduction depends on how fast \(p_{\Psi }(\beta _l)\) (and so \(n_l\)) decreases with l; but, in any case, it gets more drastic as \(\beta\) increases. That is, the largest reductions are expected at the hardest regime of \(p_{\Psi }(\beta )\ll 1\). To maximize the effect, one wishes \(q_1(\Delta \beta _l,\varepsilon ^{\prime }_l)\) to decrease with l as fast as possible. Note that Eq. (5) implies \(\varepsilon ^{\prime }_l< \varepsilon ^{\prime }_{l+1}\), which plays against the latter wish. However, fortunately, \(q_1(\Delta \beta _l,\varepsilon ^{\prime }_l)\) grows approximately linearly in \(\Delta \beta _l\) but sublogarithmically in \(1/\varepsilon ^{\prime }_l\). Hence, for sufficiently high \(\beta\), one can make \(q_1(\Delta \beta _l,\varepsilon ^{\prime }_l)\) arbitrarily smaller than \(q_1(\Delta \beta _{l+1},\varepsilon ^{\prime }_{l+1})\) by choosing \(\Delta \beta _l\) sufficiently smaller than \(\Delta \beta _{l+1}\).
Based on these heuristics, we next prove for Primitive 1 that Algorithm 1 can not only outperform the probabilistic algorithm but also—for sufficiently high \(\beta\)—even the coherent one, surprisingly. The proof is constructive: we devise suitable schedules that give the desired advantage for fragmentation. Remarkably, it is enough to consider only \(r=2\) fragments. The result is valid for any \(\Psi \rangle\) and H, under only mild assumptions on the success probability \(p_{\Psi }\) as a function of \(\beta\). We denote the inverse function of \(p_{\Psi }\) by \(p^{1}_{\Psi }\). For simplicity, we state the theorem explicitly for the restricted case of H nondegenerate, with a unique ground state \(\lambda _{\text{min}}\rangle\) of overlap \({o}^2=\langle \lambda _{\text{min}}\Psi \rangle ^2\) with \(\Psi \rangle\). However, it can be straightforwardly generalized to the degenerate case by redefining \({o}^2\) as the overlap with the lowestenergy subspace.
Theorem 5
(Fragmented QITE outperforms coherent QITE) Let \(\lambda _{\text{min}}\rangle \in {\mathbb {H}}_{\mathcal {S}}\) be the unique ground state of H and \(\Psi \rangle \in {\mathbb {H}}_{\mathcal {S}}\) such that \(0<{o}\le 1/2.2\). Define the critical inverse temperature \(\beta _c=\frac{2}{{o}}\left[ \frac{2}{e}\ln \left( \frac{8}{{o}\,\varepsilon }\right) +p^{1}_{\Psi }(\frac{{o}}{2.2})\right]\). Then, if (H and \(\Psi \rangle\) are such that) \(p_{\Psi }(\beta _c){\le 1/4}\), there exists a twofragment schedule \(S_2\) for which, for \(P_1\), it holds that \(Q_{S_2}(\beta ,\varepsilon )<Q_{\text {coh}}(\beta ,\varepsilon )\) for all \(\beta \ge \beta _c\) and \(0<\varepsilon <1\). In particular, \(S_2=\big \{\Delta \beta _1={p^{1}_\Psi \big (\frac{{o}}{2}\frac{1}{{\ln [e+2\ln (2/{o}\,\varepsilon )/e\beta ]}}\big )},\Delta \beta _2=\beta \Delta \beta _1\big \}\) is a valid choice of such schedules.
The proof is given in the Supplementary Information^{45}, Sec. VI. The schedules constructed there have the sole purpose of proving the existence of \(\beta _c\) in general and are therefore not necessarily optimal for each specific H and \(\Psi \rangle\). For instance, in^{45}, Sec. VIII, we study Gibbsstate sampling (i.e. for the maximallymixed state as input, with \({o}=2^{N/2}\)) for H describing noninteracting particles, where a closedform expression for \(p_{\Psi }(\beta )\) can be obtained. For this simple case, the theorem yields \(\beta _c={\mathcal {O}}\big (2^{N/2}\, N\big )\). However, in section "Fragmented quantum Gibbsstate samplers" we numerically optimize the schedules and obtain \(\beta _c={\mathcal {O}}\big (2^{N/2}\big )\) for hardtosimulate, interacting systems. The proof exploits the additive dependence of \(q_{{1}}\) on \(\beta\) and the logarithmic term in Eq. (1). Its extension to the multiplicative case of \(q_{2}\) is left for future work. Nevertheless, here, we do consistently observe an advantage of fragmented QITE over coherent one for \(P_2\). More precisely, in section "Fragmented quantum Gibbsstate samplers", we numerically find that also for \(P_2\) does fragmentation outperform coherentQITE at Gibbsstate sampling, with \(\beta _c\) scaling with N as in \(P_1\) but with a somewhat larger prefactor (which is expectable, as \(\alpha _l<1\) gives an exponential dependance of \(n_l\) on r that worsens the performance). Either way, that fragmentation can outperform quantum amplitude amplification at all is remarkable, since the latter requires circuits \({\mathcal {O}}(\sqrt{1/p_{\Psi }(\beta )})\) times deeper and \({\mathcal {O}}(N)\) more ancillas than the former.
Our findings would have little practical relevance if \(\beta _{\text{c}}\) was unphysically high. Fortunately, \(\beta _{\text{c}}={\mathcal {O}}\big (2^{N/2}\big )\) is in an intermediate regime useful for important applications: E.g., Groundstate cooling (or, more generally, Gibbsstate sampling at low temperatures) requires \(\beta\) scaling inversely proportionally to the spectral gap, which can be exponentially small in N even for relatively simple Hamiltonians such as transversefield Ising models^{43,44}. In fact, in section "Fragmented quantum Gibbsstate samplers" we compare \(\beta _{\text{c}}\) with the inverse temperatures \(\beta _{0.9}\) needed for a modest groundstate fidelity 0.9. We systematically observe that \(\beta _{\text{c}}\) is either greater than or close to \(\beta _{0.9}\), evidencing the relevance of the regime of advantage of fragmented over coherent QITE. Finally, as mentioned, \(P_1\) is particularly wellsuited for fragmentation. On the one hand, it displays \(\alpha _l=1\) for all \(l\in [r]\). On the other hand, and most importantly, \(q_1\) becomes optimal as \(\beta\) decreases relative to \(\ln (1/\varepsilon ')\). This is convenient to minimize Eq. (6), because the first fragments (specially the first one) operate precisely at low \(\Delta \beta _l\) and \(\varepsilon ^{\prime }_l\), close to that optimality regime. The latter is verified both analytically for the noninteracting case of^{45}, Sec. VIII, and numerically for the examples of section "Fragmented quantum Gibbsstate samplers" in^{45}, Sec. IX, where we consistently observe that \(\beta _1\) is typically only a tinny fraction of \(\ln (1/\varepsilon _1')\). Colloquially speaking, the widths of the first blueshaded rectangles in Fig. 2 can be reduced more with \(P_1\) than with other primitives.
Fragmented quantum Gibbsstate samplers
We benchmark the performance of Algorithm 1 at quantum Gibbsstate sampling by comparing Eqs. (6) and (4) for four classes of spin1/2 systems: Ising models associated to the i) MaxCut and ii) weighted MaxCut problems^{20,21,22}; iii) transversefield Ising interactions on the restrictedBoltzmannmachine (RBM) geometry^{30,31}; and iv) Heisenberg alltoall interactions, corresponding to a quantum generalization of the SherringtonKirkpatrick model^{41,42} for spin glasses. All four classes feature longrange frustation; and classically simulating their Gibbs states (for random instances) is a computationallyhard task^{50,51,52,53,54}.
The Gibbs state \(\varrho _{\beta }=\frac{e^{\beta (H\lambda _{\text{min}})}}{Z_{\beta }}\) of H at \(\beta\), with \(Z_{\beta }=\text {Tr}\left[ e^{\beta (H\lambda _{\text{min}})}\right]\) its partition function, can be prepared by QITE at \(\beta /2\) on the maximallymixed state \(\varrho _0=\frac{\mathbbm {1}}{Z_{0}}\), where \(Z_{0}=2^{N}\). Hence, the postselection probability is \(p_{\Psi }(\beta /2, \alpha )=\alpha ^2\, \frac{Z_{\beta }}{Z_{0}}\), where \(\alpha =1\) for \(P_1\) and \(e^{\beta (1+\lambda _{\text{min}})\gamma }\) for \(P_2\). This, together with Eqs. (1) and (2), determine the overall query complexities, with respect to \(P_1\) and \(P_2\), respectively, for the three master algorithms: probabilistic [Eq. (4) for \(\kappa =\) prob], coherent [Eq. (4) for \(\kappa =\) coh], and fragmented [Eq. (6)]. More technically, rather than Eqs. (1) or (2) we use their ceiling functions, to guarantee that each fragment’s query complexity is integer.
For N up to 15 qubits, we draw 1000 random H’s within each class. For fair comparison, we rescale all H’s so that \(\lambda _{\text{min}}=1\) and \(\lambda _{\text{max}}=1\). For each of them, we calculate the complexities for \(\beta\) between 0 and 10000 and \(\varepsilon =0.1\), 0.01, or 0.001. Partition functions are evaluated by exact diagonalization of H. Evaluating Eq. (6) requires in addition a choice of schedule. We propose
for \(a>1\), so that \(\beta _l=\big (\frac{l}{r}\big )^a{\beta /2}\) for all \(l\in [r]\). This guarantees that \(\Delta \beta _1<\Delta \beta _{2} \ldots <\Delta \beta _{r}\) and allows us to control the strength of the inequalities by varying a. For each problem instance (N, H, and \(\beta\)), we sweep r and, for each value of r, we find the optimal a through the BroydenFletcherGoldfarbShanno (BFGS) algorithm until minimizing \(Q_{S_{r,a}}({\beta /2},\varepsilon )\)^{55}.
The overall complexities and circuit depths obtained (together with those for uniform schedules, i.e. with fixed \(a=1\)) are shown in Fig. 3 for \(P_1\); and the scalings with N of \(\beta _{\text{c}}\) in Fig. 4. Similar scalings for the critical inverse temperature are obtained for \(P_2\) but with somewhat higher constant prefactors (see^{45}, Sec. XI), which is expectable due to the nonunit subnormalization factors \(\alpha _k\) in \(n_l\). Summarizing, our numerical experiments support the following observation.
Observation 6
(Gibbsstate sampling with fragmented QITE). Let the primitives be of fixed type, either \(P_1\) or \(P_2\). Then, for every H and \(\varepsilon >0\) studied, there exists \(\beta _{\text{c}}={\mathcal {O}}\big (2^{N/2}\big )\) such that, for all \(\beta \ge \beta _{\text{c}}\), there is a schedule \(S_r=S_r(\beta )\) that makes \(Q_{S_r}({\beta /2},\varepsilon )\le Q_{\text{coh}}({\beta /2},\varepsilon ,\alpha )\). Moreover, the maximal circuit depth required by fragmentation is asymptotically the same as that of probabilistic QITE.
Apart from the notable fact that fragmentation outperforms coherent QITE for both primitives, it is also remarkable that, long before \(Q_{S_r}\) reaches \(Q_{\text{coh}}\), at \(\beta _{\text{c}}\), \(Q_{S_r}\) is already much smaller than \(Q_{\text{prob}}\). Crucially, these advantages of fragmented QITE come at no cost in circuit depth, since the query depth of fragmentation, \(\sum _{l=1}^{r}\, q(\Delta \beta _l,\varepsilon ^{\prime }_l, \alpha _l)\), is observed to almost coincide with that of repeat until success, \(q({\beta /2},\varepsilon ^{\prime }, \alpha )\), specially for high \(\beta\). Note that the latter needs not be the case: strictly speaking, neither \(q_1\) nor \(q_2\) are additive in \(\Delta \beta _l\) due to the nonlinear dependance of \(\varepsilon ^{\prime }_l\) on \(\Delta \beta _l\).
Of course, the optimal schedules as functions of \(\beta\) are a priori unknown. Nevertheless, the trends we observe for the schedule proposals in Eq. (7) are so compelling that they provide a sound basis for educated guesses in general:
Observation 7
(Optimal schedules). For uniform and nonuniform schedules \(S_{r,1}\) and \(S_{r,a}\), given by Eq. (7), the overall complexity for \(P_1\) is respectively minimised by \(r={\mathcal {O}}(\beta ^{1/2})\) and \((r,a)=\big ({\mathcal {O}}(1),{\mathcal {O}}(\beta ^{1/3})\big )\) (see Fig. 5); whereas for \(P_2\) by \(r=2\) and \((r,a)=\big ({\mathcal {O}}(1),{\mathcal {O}}(\beta ^{1/6})\big )\) (see^{45}, Sec. XI).
As expected from the exponential dependence on r in Eq. (5), a slow growth of r with \(\beta\) is observed for each N to minimize \(Q_{S_r}({\beta /2},\varepsilon )\). This is indeed seen for \(P_1\) with uniform schedules (Fig. 5, upper panel). On the other hand, for \(P_2\) with uniform schedules, \(r=2\) is observed^{45} to minimize \(Q_{S_r}\) but the resulting complexity does not reach \(Q_{\text{coh}}\) over the scanned domain (\(0\le \beta \le 10000\)). However, for both \(P_1\) (Fig. 5, central panel) and \(P_2\) with nonuniform schedules (where fragmentation does outperform amplitude amplification), the observed scaling of r is constant with both \(\beta\) and N, remarkably. In turn, that a grows with \(\beta\) implies that each \(\Delta \beta _l\) decreases relative to \(\Delta \beta _{l+1}\) as \(\beta\) grows. This is consistent with the intuition from section "Fragmented master QITE algorithm" that each \(\Delta \beta _l\) should be smaller than \(\Delta \beta _{l+1}\). In addition, we consistently observe that, for the obtained optimal schedules, \(\Delta \beta _1\) is only a tinny fraction (around 0.1% to 2%) of \(8\ln (4/\varepsilon _1')\) (see^{45}, Sec. IX). In fact, for both primitives, inserting the obtained \(a(\beta )\) into Eq. (7), one sees that all \(\Delta \beta _l\)’s (except the last one, \(\Delta \beta _r\)) also decrease in absolute terms as \(\beta\) grows. Yet, that a grows slowly with \(\beta\) guarantees that the \(\Delta \beta _l\)’s do not decrease too much. More precisely, comparing with Eq. (5), we see that \(\Delta \beta _l>\varepsilon '_l\) for all \(l\in [r]\). This is an important sanity check, because if \(\Delta \beta _l<\varepsilon '_l\), the identity operator would readily provide an \((\varepsilon '_l,1)\)blockencoding of \(F_{\Delta \beta _l}(H)\), hence rendering the obtained scaling for \(a(\beta )\) meaningless.
Discussion
We have presented two QITE primitives and a master QITE algorithm. The first primitive is designed for blockencoding Hamiltonian oracles and has query complexity (number of oracle calls) subadditive in the inversetemperature \(\beta\) and \(\ln (\varepsilon ^{1})\), with \(\varepsilon\) the error. This scaling is better than all previouslyknown bounds^{11,15} for \(\beta \lesssim 8\ln (4\,\varepsilon ^{1})\) and becomes provably optimal for \(\beta \ll \ln (\varepsilon ^{1})\). Optimality is proven by showing saturation of a universal coolingspeed limit that is an imaginarytime counterpart of the celebrated no fastforwarding theorem for realtime simulations^{38,39,40}. It is an open question what the optimal scaling is away from the saturation regime. Coincidentally, the first steps of our master algorithm operate precisely in that regime. On the other hand, the second primitive is designed for a simplified model of realtime evolution oracles involving a single time. Its complexity is multiplicative in \(\beta\) and \(\ln (\varepsilon ^{1})\), but it requires a single ancillary qubit throughout and its oracle is experimentallyfriendlier than in previous QITE primitives. Interestingly, preliminary numerical analysis^{46} suggests that the asymptotic scaling with \(\beta\) of both primitives’ complexities could actually be significantly better than in the analytical bounds above, for \(P_1\) even reaching levels as good as \(q_1(\beta ,\varepsilon ')={\mathcal {O}}\big (\sqrt{\beta \,\ln (1/\varepsilon ')}\big )\).
Our primitives are based on two technical contributions to quantum signal processing (QSP)^{14,15,36,37} relevant on their own. The first one is a bound on the approximation error of Hermitianoperator functions by their truncated Chebyshev series, for any analytical real function. The second one is a novel, Fourierbased QSP variant for realtime evolution oracles superior to previous ones^{14} in that it requires a single real time (and therefore a single ancilla), instead of multiple ones. Moreover, it is also experimentally friendly in that it requires no qubitization^{37}.
Primitive technicalities aside, the main conceptual contribution of this work is the master QITE algorithm, which is conceptually simple, yet surprisingly powerful. It is based on breaking the evolution into small\(\beta\) fragments. This gives a large reduction in wasted queries and circuit depth, yielding an overall runtime competitive with (and for high \(\beta\) even better than) that of coherent approaches based on quantum amplitude amplification (QAA). This is remarkable since the latter requires in general N extra ancillary qubits and circuits \({\mathcal {O}}\big (1/\sqrt{p_{\Psi }(\beta , \alpha )}\big )\) times deeper than the former. To put this in perspective, it is illustrative to compare with quantum amplitude estimation (QAE). In its standard form, QAE has similar hardware requirements as QAA^{35}. However, recently, interesting algorithms have appeared^{56,57} that perform partial QAE with circuit depths that can interpolate between the probabilistic and coherent cases. In contrast, here, we beat full QAA using circuit depths for most runs much lower than in the bare probabilistic approach.
That fragmented QITE outperforms coherent QITE is proven rigorously for Primitive 1 and also supported by exhaustive numerical evidence for both primitives. Namely, our numerical experiments address random instances of Ising, transversefield Ising, and Heisenberglike Hamiltonians encoding computationally hard problems relevant for combinatorial optimisations, generative machine learning, and statistical physics, e.g. We emphasize that our analysis of is based on the analytical upper bounds on the query complexity we obtained, instead of the complexities themselves. The corresponding analysis for the actual (numerically obtained) query complexities requires reoptimizing the fragmentation schedules. Preliminary observations^{46} in that direction are again promising, indicating that the actual overall complexities may be orders of magnitude lower than in Fig. 3, e.g. In any case, qualitatively similar interplays between fragmentation and QAA are expected even for other types of primitives (beyond QITE) whose complexity and postselection probability have similar scalings. All these exciting prospects are being explored for future work.
Our findings open a new research direction towards midterm highprecision quantum algorithms. In particular, the presented primitives, coolingspeed limit, QSP methods, and master algorithm constitute a powerful toolbox for quantum signal processors specially relevant for the transition from NISQ to early prototypes of faulttolerant hardware.
Methods
Preliminaries
We consider an Nqubit system \({\mathcal {S}}\), of Hilbert space \({\mathbb {H}}_{\mathcal {S}}\). QITE with respect to a Hamiltonian H on \({\mathbb {H}}_{\mathcal {S}}\) and over an imaginary time \(i\,\beta\) is represented by the nonunitary operator \(e^{\beta H}\). This can be simulated via postselection with a unitary operator U that encodes \(e^{\beta H}\) in one of its matrix blocks^{6,11,14,15,18}. We denote by \({\mathbb {H}}_{\mathcal {A}}\) the Hilbert space of an ancillary register \({\mathcal {A}}\), by \({\mathbb {H}}_\mathcal{S}\mathcal{A}={\mathbb {H}}_{\mathcal {S}}\otimes {\mathbb {H}}_{\mathcal {A}}\) the joint Hilbert space of \({\mathcal {S}}\) and \({\mathcal {A}}\), and by \(\left\ A \right\\) the spectral norm of an operator A. The following formalizes the encoding.
Definition 1
(Block encodings). For subnormalization \(0\le \alpha \le 1\) and tolerated error \(\varepsilon > 0\), a unitary operator \(U_A\) on \({\mathbb {H}}_\mathcal{S}\mathcal{A}\) is an \((\varepsilon ,\alpha )\)blockencoding of a linear operator A on \({\mathbb {H}}_{\mathcal {S}}\) if \(\left\ \alpha \,A\langle 0\,U_A\,0\rangle \right\ \le \,\varepsilon\), for some \(0\rangle \in {\mathbb {H}}_{\mathcal {A}}\). For \(\varepsilon =0\) and \((\varepsilon ,\alpha )=(0,1)\) we use the shorthand terms perfect \(\alpha\)blockencoding and perfect blockencoding, respectively.
E.g., if \(U_A\) is a perfect \(\alpha\)blockencoding of A, measuring \(0\rangle \in {\mathbb {H}}_{\mathcal {A}}\) on \(U_A\Psi \rangle 0\rangle \in {\mathbb {H}}_\mathcal{S}\mathcal{A}\), for any \(\Psi \rangle \in {\mathbb {H}}_{\mathcal {S}}\), leaves \({\mathcal {S}}\) in the state \(\frac{A\Psi \rangle }{\left\ A\Psi \rangle \right\ }\). The probability of that outcome is \(\alpha ^2\left\ A\Psi \rangle \right\ ^{2}\). Note that, since \(\left\ U_A \right\ =1\), a perfect \(\alpha\)blockencoding is possible only if \(\alpha \left\ A\right\ \le 1\). Hence, \(\alpha\) allows one to encode matrices even if their norm is greater than 1. Typically, however, one wishes \(\alpha\) as high as possible, to avoid unnecessary reductions in postselection probability.
Our algorithms admit two types of oracle as input. The first one is based on perfect blockencodings of H and therefore requires \(\left\ H\right\ \le 1\). If \(\left\ H\right\ >1\), however, the required normalisation can be enforced by a simple spectrum rescaling. More precisely, for \(\lambda _{}\) and \(\lambda _{+}\) arbitrary lower and upper bounds, respectively, to the minimal and maximal eigenvalues of H, \(\lambda _{\text{min}}\) and \(\lambda _{\text{max}}\), the rescaled Hamiltonian \(H^{\prime }=\frac{H{\bar{\lambda }}\mathbbm {1}}{\Delta \lambda }\) fulfils \(\left\ H^{\prime }\right\ \le 1\) by construction, with the shorthand notation \({\bar{\lambda }}=\frac{\lambda _{+}+\lambda _{}}{2}\) and \(\Delta \lambda =\frac{\lambda _{+}\lambda _{}}{2}\). Then, by correspondingly rescaling the inverse temperature as \(\beta ^{\prime }=\Delta \lambda \,\beta\), one obtains the propagator \(e^{\beta ^{\prime } H^{\prime }}\), which induces the same physical transformation as \(e^{\beta H}\). Hence, from now on, without loss of generality we assume throughout that \(\left\ H\right\ \le 1\), i.e. that \(1\le \lambda _{\text{min}}\le \lambda _{\text{max}}\le 1\).
We are now in a good position to define our first oracle, \(O_1\), which is the basis of our first primitive, \(P_1\). We denote by \({\mathcal {A}}_{1}\) the entire ancillary register needed for \(P_1\) and by \({\mathcal {A}}_{O_1}\subset {\mathcal {A}}_{1}\) the specific ancillary qubits required to implement \(O_1\).
Definition 2
(Blockencoding Hamiltonian oracles). We refer as a blockencoding oracle for a Hamiltonian H on \({\mathbb {H}}_{\mathcal {S}}\) to a controlled unitary operator \(O_1\) on \({\mathbb {H}}_{\mathcal{S}\mathcal{A}_{O_1}}\) of the form \({O_1=U_H\otimes 0\rangle \langle 0+\mathbbm {1}\otimes 1\rangle \langle 1}\), where \(\mathbbm {1}\) is the identity operator on \({\mathbb {H}}_{{\mathcal {S}}}\), \(\{0\rangle ,1\rangle \}\) a computational basis for the control qubit, and \(U_H\) a perfect block encoding of H.
This is a powerful oracle paradigm used both in QITE^{11,14,15,18} and realtime evolution^{15,36,37,58}. It encompasses, e.g., Hamiltonians given by linear combinations of unitaries, dsparse Hamiltonians (i.e. with at most d nonnull matrix entries per row), and Hamiltonians given by states^{37}. Its complexity depends on H, but highly efficient implementations are known. E.g., for H a linear combination of m unitaries, each one requiring at most c twoqubit gates, \(O_1\) can be implemented with \({\mathcal {A}}_{O_1}={\mathcal {O}}(\log _{2} m)\) ancillary qubits and gate complexity (i.e. total number of twoqubit gates) \(g_{O_1}={\mathcal {O}}\big (m(c+\log _{2} m)\big )\)^{37,58}.
The second oracle model that we consider encodes H through the realtime unitary evolution it generates.
Definition 3
(Realtime evolution Hamiltonian oracle). We refer as a realtime evolution oracle for a Hamiltonian H on \({\mathbb {H}}_{\mathcal {S}}\) at a time \(t\in {\mathbb {R}}\) to a controlled\(e^{itH}\) gate \(O_2=\mathbbm {1}\otimes 0\rangle \langle 0+e^{itH}\otimes 1\rangle \langle 1\).
This is a simplified version of the models of^{6,14}, e.g. There, controlled realtime evolutions at multiple times are required, thus involving multiple ancillas. In contrast, \(O_2\) involves a single real time, so the ancillary register \({\mathcal {A}}_{O_2}\) consists of \({\mathcal {A}}_{O_2}=1\) single qubit (the control). In fact, we show below that no other ancilla is needed for our second primitive, \(P_2\), i.e. \({\mathcal {A}}_{2}={\mathcal {A}}_{O_2}\). This is advantageous for nearterm implementations. There, one may for instance apply product formulae^{59,60} to implement \(O_2\) with gate complexities \(g_{O_2}\) that, for intermediatescale systems, can be considerably smaller than for \(O_1\). Furthermore, this oracle is also relevant to hybrid analoguedigital platforms, for which QSP schemes have already been studied^{61}.
QITE algorithms based on postselection rely on a unitary quantum circuit to simulate a block encoding of the QITE propagator. We refer to such circuits as QITE primitives.
Definition 4
(QITE primitives). Let \(\beta \ge 0\), \(\varepsilon ^{\prime }\ge 0\), and \(\alpha \le 1\). A \((\beta ,\varepsilon ^{\prime },\alpha )\)QITEprimitive of query complexity \(q(\beta ,\varepsilon ^{\prime },\alpha )\) is a circuit P, with \(q(\beta ,\varepsilon ^{\prime },\alpha )\) calls to an oracle O for H or its inverse \(O^{\dagger }\), that generates an \((\varepsilon ^{\prime },\alpha )\)blockencoding \(U_{F_{\beta }(H)}\) of \(F_{\beta }(H)=e^{\beta (H\lambda _{\text{min}})}\), for all H.
Note that P is Hamiltonian agnostic, i.e. it admits any H provided it is properly encoded in the corresponding oracle. The factor \(e^{\beta \lambda _{\text{min}}}\) implies that \(\Vert F_{\beta }(H)\Vert =1\), thus maximizing the postselection probability. However, if \(\lambda _{\text{min}}\) is unknown, one can replace it by a suitable lower bound \(\lambda _{}\ge 1\) . This introduces only a constant subnormalisation. In turn, the query complexity is the goldstandard figure of merit for efficiency of oraclebased algorithms. It quantifies the runtime of P relative to that of an oracle query. In fact, P is timeefficient if its query complexity and gate complexity per query \(g_P\) are both in \({\mathcal {O}}\big (\text{poly}(N, \beta ,1/\varepsilon ^{\prime },\alpha )\big )\).
Importantly, normalisation causes the postselection probability \(p_{\Psi }(\beta ,\varepsilon ^{\prime }, \alpha )\) of P (on an input state \(\Psi \rangle\)) to propagate onto the error \(\varepsilon\) in the output state, making the latter in general greater than \(\varepsilon ^{\prime }\). The exact dependence of \(\varepsilon\) on \(\varepsilon ^{\prime }\) is dictated by \(p_{\Psi }(\beta ,\varepsilon ^{\prime }, \alpha )\). However, if \(\varepsilon ^{\prime }\le \,\varepsilon \, \sqrt{p_{\Psi }(\beta , \alpha )}/2\), with \(p_{\Psi }(\beta , \alpha )=p_{\Psi }(\beta ,0, \alpha )=\alpha ^2\, \left\ F_{\beta }(H)\Psi \rangle \right\ ^2\), the outputstate error is \({\mathcal {O}}(\varepsilon )\) (Sup. Mat.^{45}, Sec. II), with \(``{\mathcal {O}}(\cdot )''\) standing for “asymptotically upperbounded by”. In turn, the primitives must be incorporated into master algorithms which we formaly define below.
Definition 5
(Master QITE algorithms). Given \(\varepsilon \ge 0\), \(\beta \ge 0\), \(\Psi \rangle \in {\mathbb {H}}_{\mathcal {S}}\), and \((\beta ^{\prime },\varepsilon ^{\prime },\alpha ^{\prime })\)QITEprimitives \(P_{\beta ^{\prime },\varepsilon ^{\prime },\alpha ^{\prime }}\) querying oracles for a Hamiltonian H, a \((\beta ,\varepsilon )\)masterQITEalgorithm for H on \(\Psi \rangle\) is a procedure that outputs the state \(\frac{F_{\beta }(H)\Psi \rangle }{\left\ F_{\beta }(H)\Psi \rangle \right\ }\) up to tracedistance error \(\varepsilon\) with unit probability. Its overall query complexity \(Q(\beta ,\varepsilon )\) is the sum over the query complexities of each \(P_{\beta ^{\prime },\varepsilon ^{\prime },\alpha ^{\prime }}\) applied.
Quantum signal processing
Quantum signal processing (QSP) is a powerful method to obtain an \(\varepsilon ^\prime\)approximate block encoding of an operator function \(f(H)=\sum _{\lambda }f(\lambda )\lambda \rangle \langle \lambda \), where \(\{\lambda \rangle \in {\mathbb {H}}_{\mathcal {S}}\}\) are the eigenvectors and \(\{\lambda \}\) the eigenvalues of a Hamiltonian H, from queries to an oracle for H^{36}. We note that QSP can also be extended to nonHermitian operators^{15}, but here we restrict to the Hermitian case for simplicity. We present two QSP methods for general functions one for each oracle model in Defs. 2 and 3. Our QITE primitives are then obtained by particularizing these methods to the case \(f(H)=F_{\beta }(H)\), with \(F_{\beta }(H)=e^{\beta (H\lambda _{\text{min}})}\).
Realvariable function design with singlequbit rotations
We start by reviewing how to approximate functions of one real variable with singlequbit pulses.
Singlequbit QSP method 1. Consider the single qubit rotation \(R_1(\theta ,\phi )=e^{i\theta {X}}e^{i\phi {Z}}\), where X and Z are the first and third Pauli matrices, respectively, and \(\phi \in [0,2\pi ]\). The angle \(\theta \in [\pi ,\pi ]\) is the signal to be processed and the rotation \(e^{i\theta {X}}\) is called the iterate. One can show^{62} that, given \(q\in {\mathbb {N}}_{\text {even}}\) and a sequence of angles \({\varvec{\Phi }_1}=\big (\phi _{1},\cdots ,\phi _{q+1}\big )\in {\mathbb {R}}^{q+1}\), the sequence of rotations \({\mathcal {R}}_1\left( \theta ,{\varvec{\Phi }_1}\right) =e^{i\phi _{q+1}{Z}}\prod _{k=1}^{q/2}R_1(\theta ,\phi _{2k})R_1(\theta ,\phi _{2k1})\) has matrix representation in the computational basis
where B and D are polynomials in \(\cos \theta\) with complex coefficients determined by \(\varvec{\Phi }_1\).
For target real polynomials \({\mathscr {B}}(\cos \theta )\) and \({\mathscr {D}}(\cos \theta )\), we wish to find \({\varvec{\Phi }_1}\) that generates \(B(\cos \theta )\) and \(D(\cos \theta )\) with \({\mathscr {B}}(\cos \theta )\) and \({\mathscr {D}}(\cos \theta )\) as either their real or imaginary parts, respectively. This can be done iff they satisfy^{45}
for all \(\theta\), and have the form
with \(b_k\in {\mathbb {R}}\) and \(d_k\in {\mathbb {R}}\). Alternatively, Eq. (10) can also be expressed in terms of Chebyshev polynomials of first \(T_{k}(\cos \theta )=\cos (k\theta )\) and second \(U_{k}(\cos \theta )=\sin \left( (k+1)\theta \right) /\sin \theta\) kinds. This can be used to obtain either Chebyshev or Fourier series of target operator functions. If the target expansion satisfies Eqs. (9) and (10), the angles \({\varvec{\Phi }_1}\) can be computed classically in time \({\mathcal {O}}\left( \text {poly}(q)\right)\)^{62,63,64,65}.
Singlequbit QSP method 2. This method is inspired by a construction in Ref.^{66} and shown in detail in a companying paper^{47}. The fundamental gate is \(R_2(x,\omega ,\zeta ,\eta ,\varphi ,\kappa )=e^{i\frac{\zeta +\eta }{2} Z}e^{i\varphi Y}e^{i\frac{\zeta \eta }{2} Z}e^{i\omega x Z}e^{i\kappa Y}\), which has five adjustable parameters \(\{\omega ,\varvec{\xi }\}\in {\mathbb {R}}^5\), where \(\varvec{\xi }=\{\zeta ,\eta ,\varphi ,\kappa \}\). Here, \(x\in {\mathbb {R}}\) will play the role of the signal and \(e^{i \omega x Z}\) that of the iterate. In Ref.^{66}, it was observed that the gate sequence \({\mathcal {R}}_2(x,\varvec{\omega },\varvec{\Phi }_2)=\prod _{k=0}^{q}R_2(x,\omega _k,\varvec{\xi }_k)\), with \(\varvec{\omega }=\{\omega _0,\cdots , \omega _q\}\in {\mathbb {R}}^{q+1}\) and \(\varvec{\Phi }_2=\{\varvec{\xi }_0,\cdots ,\varvec{\xi }_{q}\}\in {\mathbb {R}}^{4(q+1)}\), can encode certain finite Fourier series into its matrix components. In^{47}, not only it is formally proven that for any target series a unitary operator can be built with it as one of its matrix elements but also we provide an explicit, efficient recipe for finding the adequate choice of pulses \(\varvec{\Phi }_2\). This is the content of the following lemma.
Lemma 8
(Singlequbit Fourier series synthesis) Given \({\tilde{g}}_q(x)=\sum _{m=q/2}^{q/2} c_m\, e^{im x}\), with \(q\in {\mathbb {N}}\) even, there exist \(\varvec{\omega }\) and \(\varvec{\Phi }_2\) such that \(\langle 0\,{\mathcal {R}}_2(x,\varvec{\omega },\varvec{\Phi }_2)\,0\rangle ={\tilde{g}}_q(x)\) for all \(x\le \pi\) iff \({\tilde{g}}_q(x)\le 1\) for all \(x\le \pi\). Moreover, \(\omega _0=0\) and \(\omega _k=(1)^k/2\), for all \(1\le k\le q\), and \(\varvec{\Phi }_2\) can be calculated classically from \(\{c_m\}_{m}\) in time \({\mathcal {O}}\left( \text {poly}(q)\right)\).
Operatorfunction design from blockencoded oracles
Here, we synthesize an (\(\varepsilon '\),1)blockencoding of f(H) from queries to an oracle for H as in Defenition 2. The algorithm can be seen as a variant of the singleancilla method from Ref.^{37} with slightly different pulses. The basic idea is to design a circuit, \(P_1\), that generates a perfect blockencoding \(V_{\varvec{\Phi }_1}\) of a target Chebyshev expansion \({\tilde{f}}_q(H)=\sum ^{q/2}_{k=0} b_k \,T_k(H)\) that \(\varepsilon _\text {tr}\)approximates f(H), for some \(0\le \varepsilon _\text {tr} \le \varepsilon '\). This can be done by adjusting \(\varvec{\Phi }_1\) as in section "Quantum signal processing". Note that the achievability condition (9) requires that \(\Vert {\tilde{f}}_q(H)\Vert \le 1\), but we only guarantee \(\Vert {\tilde{f}}_q(H)\Vert \le 1+\varepsilon _\text {tr}\). However, this can be easily accounted for introducing an inoffensive subnormalization \(\alpha =(1+\varepsilon _\text {tr})^{1}\) (see, e.g., Lemma 14 in Ref.^{37}), which we neglect here throughout. Choosing \({\tilde{f}}_q\) as the truncated Chebyshev series of f with truncation error \(\varepsilon _\text {tr} \le \varepsilon '\), we obtain the desired blockencoding of f(H). For f analytical, the error fulfills^{67}
with \(f^{(q/2+1)}\) the \((q/2+1)\)th derivative of f. This allows one to obtain the truncation order q/2 and Chebyshev coefficients \({\varvec{b}}=\{b_k\}_{0\le k\le q/2}\) (see^{45}, Sec. XIII). Then, from \({\varvec{b}}\), one can calculate the required \(\varvec{\Phi }_1\) (see^{45}, Sec. XIV).
Next, we explicitly show how to generate \(V_{\varvec{\Phi }_1}\). Using the shorthand notation \(0_{\lambda }\rangle =\lambda \rangle 0\rangle \in {\mathbb {H}}_{\mathcal{S}\mathcal{A}_{O_1}}\) and Defenition 2, one writes \(O_10_{\lambda }\rangle =\lambda 0_{\lambda }\rangle +\sqrt{1\lambda ^{2}}0_{\lambda }^{\perp }\rangle\) with \(\langle 0_{\lambda }0_{\lambda }^{\perp }\rangle =0\). This defines the 2dimensional subspace \({\mathbb {H}}_\lambda =\text {span}\{0_{\lambda }\rangle ,0_{\lambda }^{\perp }\rangle \}\). To exploit the singlequbit formalism from section "Quantum signal processing", one needs an iterate that acts as an SU(2) rotation within each \({\mathbb {H}}_\lambda\). In general, \(O_1\) itself is not appropriate for this due to leakage out of \({\mathbb {H}}_\lambda\) by repeated applications of \(O_1\). However, there is a simple oracle transformation—qubitization—that maps \(O_1\) into another blockencoding \(O'_1\) of the same H but with the desired property^{37}. The transformed oracle reads^{45}
with \(\theta _\lambda {:}=\cos ^{1}(\lambda )\) and \(Y_\lambda =i(0_{\lambda }^{\perp }\rangle \langle 0_{\lambda }  0_{\lambda }\rangle \langle 0_{\lambda }^{\perp })\).
Although the qubit resemblance could be considered in a direct analogy to QSP for a single qubit, it leads to a more strict class of achievable functions than if we resort to one additional qubit (singleancilla QSP)^{37}. This extra ancilla controls the action of the oracle \(O'_1\) through the iterate
on \({\mathbb {H}}_{\mathcal{S}\mathcal{A}}\), where \(\pm \rangle\) are the eigenstates of the Pauli operator X for the QSP qubit ancilla. Throughout this section, \(\mathbbm {1}\) is the identity operator on \({\mathbb {H}}_{\mathcal{S}\mathcal{A}_{O_1}}\) and M denotes the singlequbit Hadamard gate. Let us define the operators \(V_{\phi }=V_{0}\left( \mathbbm {1}\otimes e^{i\phi {Z}}\right)\) and \({\bar{V}}_{\phi }=V_{0}^\dagger \left( \mathbbm {1}\otimes e^{i\phi {Z}}\right)\) for a given phase \(\phi \in [0,2\pi ]\), which play the role of \(R(\theta ,\phi )\) of the previous subsection with \(\theta _\lambda\) playing the role of \(\theta\) for each \(\lambda\). These operators can be phase iterated to generate
on \({\mathbb {H}}_{\mathcal{S}\mathcal{A}}\), with ancilla pre and postprocessing unitaries \(W_{\text {in}}=\mathbbm {1}\otimes M\) and \(W_{\text {out}}: = \mathbbm {1}\otimes \big (M \,e^{i\phi _{q+1}{Z}}\big )\), respectively, with M the singlequbit Hadamard matrix. The resulting circuit, \(P_1\), is depicted in Fig. 6a,b.
The following pseudocode gives the entire procedure.
The correctness and complexity of Algorithm 2 are addressed by the following lemma, proven in^{45} (Sec. XVI).
Lemma 9
Let f, \(\varepsilon '\), \(O_1\), and \(O^{\dagger }_1\) be as in the input of Algorithm 2. Then, for any q s.t. \(\varepsilon _\text {tr}\) in Eq. (11) is no greater than \(\varepsilon '\), there exists \(\varvec{\Phi }_1\in {\mathbb {R}}^{q+1}\) such that \(V_{\varvec{\Phi }_1}\) in Eq. (14) is a (\(\varepsilon ^\prime\),1)blockencoding of f(H). The circuit \(P_1\) generating \(V_{\varvec{\Phi }_1}\) requires a singlequbit ancilla, q queries to \(O_1\) and \(O^{\dagger }_1\) each, and \(g_{P_1}={\mathcal {O}}\left( g_{O_1}+{\mathcal {A}}_{O_1}\right)\) gates per query, with \(g_{O_1}\) the gate complexity of \(O_1\). Furthermore, the classical runtime (calculations of \({\varvec{b}}\) and \(\varvec{\Phi }_1\)) is within complexity \({\mathcal {O}}\big (\text{poly}(q/2)\big )\).
Some final comments about the input function are in place. The restriction of f being analytical is needed to determine the truncation order through Eq. (11). In fact, to evaluate the RHS of the equation exactly, one needs in general closedform expression for f. However, if the required truncation order is given in advance, the corresponding Chebyshev coefficients can be obtained from \(q/2+1\) evaluations of f in specific points (the nodes of the Chebyshev polynomials). In that case, a closedform expression for f is not required and a classical oracle for evaluating it suffices. Moreover, it is important to note that a satisfactory Chebyshev approximation is guaranteed to exist for all bounded and continuous functions^{68}. If the Chebyshev expansion is given, then step 1 of Algorithm 2 can obviously be skipped and f is not required at all. We further note that Algorithm 2 can also be applied even to noncontinuous functions over restricted domains without the discontinuities. This is for instance the case of the inverse function, which can be wellapproximated over the subdomain \([1,\delta ]\cup [\delta ,1]\) by a pseudoinverse polynomial of \(\delta\)dependent degree^{69}.
QITEprimitive from a blockencoding oracle. QITE primitive 1 corresponds to the output of Algorithm 2 for \(f(\lambda )=F_{\beta }(\lambda )=e^{\beta (\lambda \lambda _{\text{min}})}\). The Chebyshev coefficients can be readily obtained from the Jacobi–Anger expansion^{70}
where \(I_{k}(\beta )\) is a modified Bessel function. The proof of Theorem 1 thus follows straightforwardly from Lemma 9.
Proof of Theorem 1
The function \(F_{\beta }:[\lambda _{\text{min}},\lambda _{\text{max}}]\rightarrow (0,1]\), with \(F_{\beta }(\lambda )=e^{\beta (\lambda \lambda _{\text{min}})}\) for all \(\lambda \in [\lambda _{\text{min}},\lambda _{\text{max}}]\) satisfies all the assumptions of Lemma 9. Hence, on input \(f=F_{\beta }\), Algorithm 2 outputs an \((\beta ,\varepsilon ^\prime ,1)\)QITEprimitive. By Eq. (11), the corresponding truncation error is (\(q'=q/2\))
where Stirling inequality has been invoked and we assumed \(e\beta /2\le q'\). (We note also that the first inequality can also be obtained from explicit summation using Eq. (15) and the properties of the Bessel functions^{71}.) Then, imposing \(\big (\frac{\beta e}{2q'}\big )^{q'}\le \varepsilon ^\prime\) and solving for \(q'\)^{15} gives the query complexity of Eq. (1). \(\square\)
Primitive 1 is based on the Jacobi–Anger expansion^{70}. This gives a Chebyshevpolynomial series^{67,68} for the exponential function, which can be synthesized with quantum signal processing (see section "Quantum signal processing"). The expansion has been applied to realtime evolution^{15,36,37,40} and even to the QITE propagator \(F_{\beta }(H)\)^{18}, for partition function estimation. However, the algorithm from^{18} performs only a statistical simulation of \(F_{\beta }(H)\) based on postprocessing and hence cannot simulate QITE on states. In particular, it cannot be used for Gibbsstate sampling, e.g. Moreover, the query complexity from^{18} is \({\mathcal {O}}\big (N+ \beta + \ln (1/\varepsilon ')\big )\), which is worse than Eq. (1) in that it contains the extra term N and lacks the denominator in the second term of Eq. (1). Traditionally^{40}, the truncation error in the expansion is bounded using properties of the Bessel functions^{71}. In contrast, here, we use a generic upper bound (Lemma 9, in Methods) for arbitrary Hermitianoperator functions. This gives the same bound as^{40} for the exponential but holds for any analytical real function, hence being useful in general.
A further remark about the query complexity of P\(_1\). The solution for \(q'\) satisfying \(\big (\frac{\beta e}{2q'}\big )^{q'}\le \varepsilon ^\prime\) given in Ref.^{15} is based on upperbounds for \(q'\) in two regimes. When \(\beta \ge 2 \ln (1/\varepsilon ')/e^2\), it is shown that \(q'\le e^2\beta /2\). On the other hand, it applies that \(q'\le 4\ln (1/\varepsilon ')/\ln (e+2\ln (1/\varepsilon ')/(e\beta ))\) for \(\beta \le 2 \ln (1/\varepsilon ')/e^2\). Therefore, for any \(\beta\),
is a valid upperbound for the query complexity. Consequently, the muliplicative factor implied by the \({\mathcal {O}}()\) notation in Eq. (1) is known and modestly equal to 8.
Operator function design from realtime evolution oracles
Here, we synthesize an (\(\varepsilon ^\prime ,\alpha\))blockencoding of f(H) from an oracle for H as in Defenition 3. We proceed as in section "Quantum signal processing", but with a circuit \(P_2\) generating a perfect blockencoding \(V_{\varvec{\Phi }_2}\) of a target Fourier expansion \({\tilde{g}}_q(H)=\sum _{m=q/2}^{q/2} c_m e^{imHt}\) that \(\varepsilon _{\text {tr}}\)approximates \(\alpha \, f(H)\), for some \(\varepsilon _{\text {tr}}\le \varepsilon '\), \(\alpha \le 1\), and a suitable \(t>0\). This is done by adjusting \(\varvec{\Phi }_2\) according to Lemma 8. The function \({\tilde{g}}_q\) is a Fourier approximation of an intermediary function g such that \(g(\lambda ,t)=g(x_{\lambda })=\alpha \, f(\lambda )\), for t chosen so that \(x_{\lambda }=\lambda \, t\) is in the interval of convergence of \({\tilde{g}}_q\) to g for all \(\lambda \in [\lambda _{\text {min}},\lambda _{\text {max}}]\). The reason for this intermediary step here is to circumvent the wellknown Gibbs phenomenon, by virtue of which convergence of a Fourier expansion cannot in general be guaranteed at the boundaries. In turn, the subnormalization factor \(\alpha\) arises because our \({\tilde{g}}_q\) converges to g only for \(x_{\lambda }<{\pi /2}\), whereas Lemma 8 requires that \({\tilde{g}}_q(x_{\lambda })\le 1\) for all \(x_{\lambda }\le \pi\). This forces one to subnormalize the expansion so as to guarantee normalization over the entire domain. (As in section "Quantum signal processing", the inoffensive subnormalization factor \((1+\varepsilon _\text {tr})^{1}\) is neglected.)
More precisely, we employ (see Ref.^{47}) a construction from Ref.^{14} that, given \(0<\delta \le \pi /2\) and a power series that \(\frac{\varepsilon _{\text {tr}}}{4}\)approximates g, gives \({\varvec{c}}=\{c_m\}_{m\le q/2}\) such that \({\tilde{g}}_q\) \(\varepsilon _{\text {tr}}\)approximates g for all \(x_{\lambda }\in [\pi /2+\delta ,\pi /2\delta ]\), if
For f analytical, one can obtain the power series of g from a truncated Taylor series of f using that \(g(x_{\lambda })=\alpha f(\lambda )\). The truncation order L can be obtained from the remainder:
In turn, the conditions \([\lambda _{\text {min}},\lambda _{\text {max}}]\subseteq [1,1]\) and \(x_{\lambda }\in [\pi /2+\delta ,\pi /2\delta ]\) lead to the natural choice \(t=\pi /2\delta\). (This renders \({\tilde{g}}_q\) periodic in \(x_{\lambda }\) with period \(2\pi\).) In addition, in Ref.^{47} the subnormalization constant \(\alpha\) is bounded in terms of the obtained t and Taylor coefficients \({\varvec{a}}=\{a_l\}_{0\le l\le L}\) of f. It suffices to take \(\alpha\) such that
Note that L and \(\alpha\) are interdependent. One way to determine them is to increase L and iteratively adapt \(\alpha\) until Eqs. (19) and (20) are both satisfied. Alternatively, if the expansion converges sufficiently fast (e.g., if \(\lim _{l\rightarrow \infty }\frac{a_{l+1}}{a_l}<1\frac{2\delta }{\pi }\)), one can simply substitute L in Eq. (20) by \(\infty\). This is indeed the case with QITE primitives. There, the substitution introduces a slight increase of unnecessary subnormalization but makes the resulting \(\alpha\) independent of L, thus simplifying the analysis. Then, from the obtained \({\varvec{c}}\), one can finally calculate the required \(\varvec{\Phi }_2\)^{47}.
Next, we explicitly show how to generate \(V_{\varvec{\Phi }_2}\). The iterate is now taken simply as the oracle itself: \(O_2=\mathbbm {1}\otimes 0\rangle \langle 0+ e^{iHt}\otimes 1\rangle \langle 1\). Notice that, in contrast to \(O_1\), \(O_2\) readily acts as an SU(2) rotation on each 2dimensional subspace \(\text {span}\{\lambda \rangle 0\rangle ,\lambda \rangle 1\rangle \}\). This relaxes the need for qubitization. The basic QSP blocks for the unitary operator \(V_{{\varvec{\Phi }_2}}=W_{\text {out}}\left( {\bar{V}}_{\varvec{\xi }_{q}}{V}_{\varvec{\xi }_{q1}}\cdots {\bar{V}}_{\varvec{\xi }_{2}}{V}_{\varvec{\xi }_{1}} \right) W_{\text {in}}\) are
and
with \({\varvec{\xi }_k}=\{\zeta _k,\eta _k,\varphi _k,\kappa _k\}\). \(V_{\varvec{\xi }_k}\) and \({\bar{V}}_{\varvec{\xi }_k}\) play a similar role to \(R_2(x,\omega _k,\varvec{\xi }_k)\) in section "Quantum signal processing" (with \(x_\lambda\) inside \(O_2\) playing the role of x there for each \(\lambda\)). Here we take
and \(W_{\text {out}}=\mathbbm {1}\). The circuit is depicted in Fig. 6a,c.
The following pseudocode presents the entire procedure.
The correctness and complexity of Algorithm 3 are addressed by the following lemma, proved in Ref.^{47}.
Lemma 10
Let f, \(\varepsilon '\), \(\delta\), \(O_2\), and \(O_2^\dagger\) be as in the input of Algorithm 3. Then, for any q satisfying Eq. (18) and \(\alpha\) satisfying Eq. (20), there exists \(\varvec{\Phi }_2\in {\mathbb {R}}^{4(q+1)}\) such that \(V_{\varvec{\Phi }_2}\) is an (\(\varepsilon ^\prime ,\alpha\))blockencoding of f(H). The circuit \(P_2\) generating \(V_{\varvec{\Phi }_2}\) requires q/2 queries to \(O_2\) and \(O_2^\dagger\) each and \(4+g_{O_2}\) gates per query, with \(g_{O_2}\) the gate complexity of \(O_2\). Moreover, the classical runtime is within complexity \({\mathcal {O}}\big (\text {poly}(L,q/2)\big )\).
Clearly, if a suitable power series for f is apriori available, analyticity of f is not required and step 1 in Algorithm 3 can be skipped. Finally, we note that it is always possible to avoid subnormalization by introducing a periodic extension of f that is readily normalized over the entire domain of the Fourier expansion. However, Eq. (18) is then no longer valid and one must assess the query complexity on a casebycase basis. This can for instance be tackled numerically by variationally optimising the gate sequence \({\mathcal {R}}_2(x,\varvec{\omega },\varvec{\Phi }_2)\) to blockencode the periodic extension of f^{66}. Either way, clearly, if a normalized Fourier expansion is apriori available, one can skip steps 1 to 3 in Algorithm 3.
QITEprimitive from a realtime evolution oracle. QITE primitive 2 is the output of Algorithm 3 for \(f=F_{\beta }\). The proof of Theorem 2 thus follows straight from Lemma 10.
Proof of Theorem 2
The function \(F_\beta :[\lambda _{\text {min}},\lambda _{\text {max}}]\rightarrow (0,1]\), with \(F_{\beta }(\lambda )=e^{\beta (\lambda \lambda _{\text{min}})}\), satisfies the assumptions of Lemma 10 with L given by Eq. (19) for \(\max _{\lambda \in [\lambda _{\text {min}},\lambda _{\text {max}}]}\big \alpha \, f^{(L+1)}(\lambda )\big =\alpha \,\beta ^{L+1}\). Its Taylor coefficients are \(a_l=\frac{e^{\beta \lambda _{\text{min}}}(\beta )^l}{l!}\), for all \(l\in {\mathbb {N}}\). To obtain \(\alpha\), we note that \(\sum _{l=0}^{L}a_l/\big (1\frac{2\delta }{\pi }\big )^l\le \sum _{l=0}^{\infty }a_l/\big (1\frac{2\delta }{\pi }\big )^l= e^{\beta \lambda _{\text{min}}} e^{\frac{\beta }{12\delta /\pi }}\). Hence, by Eq. (20), we can take \(\alpha =e^{\beta (\lambda _{\text{min}}+\frac{1}{12\delta /\pi })}\). Introducing \(\gamma =\beta +\frac{\beta }{12\delta /\pi }=\frac{\beta \delta }{\pi /2\delta }\), we rewrite \(\alpha =e^{\beta (1+\lambda _{\text{min}})\gamma }\). This allows us to specify \(e^{\gamma }\) instead of the Fourier convergence interval, i.e. to subordinate \(\delta\) to the desired \(\gamma\). This is done by fixing \(\delta =\frac{\pi }{2}\frac{1}{1+\frac{\beta }{\gamma }}\). This, together with Eq. (18), leads to Eq. (2). \(\square\)
In fact, \(4(\beta /\lambda +1)\ln (4/\epsilon ')\) is an upperbound for the query complexity of P\(_2\), as can be inferred from Eq. (18). In other words, the multiplicative factor implied in the \({\mathcal {O}}()\) in Eq. (2) notation is actually known to be equal to 4.
Traditional master QITE algorithms
The average number of times a QITE primitive is applied in probabilistic and coherent master QITE algorithms is \(1/p_{\Psi }(\beta ,\varepsilon ^{\prime }, \alpha )\) and \(1/\sqrt{p_{\Psi }(\beta ,\varepsilon ^{\prime }, \alpha )}\), respectively; see Fig. 7. Conveniently, for \(\varepsilon \ll 1\), \(1/p_{\Psi }(\beta ,\varepsilon ^{\prime }, \alpha )\) can be approximated by the more practical expression \(1/p_{\Psi }(\beta ,\alpha )\) up to error \({\mathcal {O}}(\varepsilon )\). This follows from a Taylor expansion. The probabilistic algorithm applies the primitive on independent input state preparations (Fig. 7a) and stops at the moment that the first successful postselection on the ancillas happens. In contrast, the coherent one (Fig. 7b) leverages quantum amplitude amplification^{35}, which we briefly discuss next.
The coherent amplification process is realized by repeatedly applying to \(\Phi _0\rangle =U_{F_\beta (H)}\Psi \rangle 0\rangle\) the unitary operator
where \(R_{\Phi _0\rangle }\) and \(R_{0\rangle }\) are respectively the reflection operators around \(\Phi _0\rangle \in {\mathbb {H}}_{\mathcal {S}}\otimes {\mathbb {H}}_{{\mathcal {A}}_{\text{pur}}}\otimes {\mathbb {H}}_{\mathcal {A}}\) and \(0\rangle \in {\mathbb {H}}_{\mathcal {A}}\). The former reflection can in turn be decomposed as \(R_{\Phi _0\rangle }=U_{F_\beta (H)}\,R_{\Psi \rangle 0\rangle }\,U^{\dagger }_{F_\beta (H)}\), where \(U^{\dagger }_{F_\beta (H)}\) is the inverse of the blockencoding \(U_{F_\beta (H)}\) of the QITE propagator \(F_\beta (H)\) and \(R_{\Psi \rangle 0\rangle }\) the reflection around \(\Psi \rangle 0\rangle\). Unitary \(U_\text{eng}\) is sometimes referred to as the amplification engine. Importantly, \(U_\text{eng}\) acts on the 2dimensional subspace spanned by \(\Phi _0\rangle\) and \(\Phi _{\text{target}}\rangle \propto  0 \rangle \langle 0 \,\Phi _0\rangle\) as an SU(2) rotation. For \(k\in {\mathbb {N}}\), it gives
where \(\Phi _{\perp }\rangle \propto  1 \rangle \langle 1 \,\Phi _0\rangle\) and \(\sin (\theta )=\alpha \Vert F_\beta (H)\Psi \rangle \Vert\). Hence, taking \(k=k_{\text{opt}}={\mathcal {O}} (1/\theta )\) yields \(\sin [(2k+1)\theta ]\approx 1\) and therefore probability close to 1 for desired output. For \(\theta \ll 1\), this entails \(k={\mathcal {O}} (1/\alpha \Vert F_\beta (H)\Psi \rangle \Vert )={\mathcal {O}} (1/\sqrt{p_\Psi (\beta ,\alpha )})\) repetitions of the primitive, as in Eq. (4).
Finally, since \(\alpha ^2\Vert F_\beta (H)\Psi \rangle \Vert\) is in general unknown, one has no a priori knowledge of \(k_{\text{opt}}\). However, fortunately, this can be accounted for with successive attempts with k randomly chosen within a range of values that grows exponentially with the number of attempts (see^{35}, Theorem 3]). Remarkably, the resulting average number of applications of the primitive remains within \({\mathcal {O}} (1/\sqrt{p_\Psi (\beta ,\alpha )})\).
Minimum query complexity of QITE primitives based on blockencoding oracles
Our proof strategy for Theorem 3 is analogous to that of the nofastforwarding theorem for realtime evolutions^{38,39,40}. That is, it is based on a reduction to QITE of the task of determining the parity \(\text{par}({\varvec{x}})=x_{0}\oplus x_{1}\oplus \cdots \oplus x_{N1}\), with \(\oplus\) the bitwise sum, of an unknown Nbit string \({\varvec{x}}=x_{0}\,x_{1}\cdots x_{N1}\) from a parity oracle \(U_{{\varvec{x}}}\) for \({\varvec{x}}\); together with known fundamental complexity bounds for the latter task^{72,73}. More precisely, our proof relies on three facts: i) No algorithm can find \(\text{par}({\varvec{x}})\) from \(U_{{\varvec{x}}}\) with fewer than a known number of queries to it^{72,73}; ii) a QITE primitive querying an oracle for an appropriate Hamiltonian \(H_{{\varvec{x}}}\) gives an algorithm to find \(\text{par}({\varvec{x}})\); and iii) a blockencoding oracle for \(H_{{\varvec{x}}}\) can be synthesized from one call to \(U_{{\varvec{x}}}\). The three facts are established in the following lemmas.
The first lemma, proven in^{72}, lowerbounds the complexity of any quantum circuit able to obtain par\(({\varvec{x}})\) from queries to \(U_{{\varvec{x}}}\). For our purposes, it can be stated as follows.
Lemma 11
Let C be a quantum circuit composed of \({\varvec{x}}\)independent gates and q times the \({\varvec{x}}\)dependent unitary
with \(\{j\rangle \}_{j\in [N+1]}\) an orthogonal basis, such that, acting on an \({\varvec{x}}\)independent input state and upon measurement on an \({\varvec{x}}\)independent basis, outputs \(\text{par}({\varvec{x}})\) with probability greater than 1/2 for all \({\varvec{x}}\in \{0,1\}^N\). Then, \(q\ge \lceil N/2\rceil\).
The second lemma, proven in^{45}, Sec. XVII, reduces parity finding to QITE and is the key technical contribution of this section.
Lemma 12
Let \(\beta >0\), \(\varepsilon '>0\), \(\alpha \in (0,1]\), and \({\varvec{x}}\) an Nbit string such that
Then, there exists \(H_{{\varvec{x}}}\), with \(\Vert H_{{\varvec{x}}}\Vert \le 1\), such that a \((\beta ,\varepsilon ',\alpha )\)QITEprimitive with calls to a blockencoding oracle for \(H_{{\varvec{x}}}\), acting on an \({\varvec{x}}\)independent input state and upon measurement on an \({\varvec{x}}\)independent basis, outputs \(\text{par}({\varvec{x}})\) with probability greater than 1/2 for all \({\varvec{x}}\in \{0,1\}^N\).
Finally, the missing link between Lemmas 11 and 12 is a subroutine to query \(H_{{\varvec{x}}}\) given queries to \(U_{{\varvec{x}}}\) in Eq. (25). This is provided by the following lemma, proven in^{45}, Sec. XVIII.
Lemma 13
A blockencoding oracle for \(H_{{\varvec{x}}}\) can be generated from a single query to \(U_{{\varvec{x}}}\) and \({\mathcal {O}}(N)\) \({\varvec{x}}\)independent gates, for all \({\varvec{x}}\in \{0,1\}^N\). (See^{45} Fig. S10 for circuit.).
Proof of Theorem 3
With these three Lemmas, the proof of Theorem 3 is straightforward. First, note that the lefthand side of Eq. (26) decreases monotonically in N. Hence, for any fixed \((\beta ,\varepsilon ',\alpha )\), the largest \(N\in {\mathbb {N}}\) that satisfies Eq. (26) is \(N=\lfloor 2{\tilde{q}}\rfloor\), with \({\tilde{q}}\in {\mathbb {R}}\) defined by Eq. (3). This, together with Lemmas 12 and 13, implies that any \((\beta ,\varepsilon ',\alpha )\)QITEprimitive synthesized from queries to the parity oracle \(U_{{\varvec{x}}}\) provides a quantum circuit to determine the parity of any string \({\varvec{x}}\) of length \(\lfloor 2{\tilde{q}}\rfloor\). Then, by virtue of Lemma 11, the query complexity \(q_{\min }(\beta ,\varepsilon ',\alpha )\in {\mathbb {N}}\) of the primitive cannot be smaller than \(q\ge \lceil N/2\rceil =\Big \lceil \frac{\lfloor 2{{\tilde{q}}}\rfloor }{2}\Big \rceil\). Note that this number is the nearest integer to \({\tilde{q}}\). Ergo, \(q_{\min }(\beta ,\varepsilon ',\alpha )\ge {\tilde{q}}\). \(\square\)
Finally, a comment on why Theorem 3 does not hold for QITE primitives based on realtime evolution (RTE) oracles is useful at this point. The reason is that, by virtue of the RTE nofastforwarding theorem^{38,39,40}, a single call to an RTE oracle suffices to find the parity with probability greater than 1/2. Hence, it is the query complexity RTE oracles themselves what is lowerbounded by the parity considerations above, but not that of RTEbased QITE primitives. It is an open question whether similar bounds can be obtained for RTEbased QITE primitives by other arguments.
Data and code availabitity
The datasets generated and/or analyzed during the current study are available from the corresponding author on reasonable request. The programming codes utilized are available at https://doi.org/10.5281/zenodo.5595705.
References
McArdle, S. et al. Variational ansatzbased quantum simulation of imaginary time evolution. NPJ Quant. Inf. 5, 75 (2019).
Motta, M. et al. Determining eigenstates and thermal states on a quantum computer using quantum imaginary time evolution. Nat. Phys. 16, 205 (2020).
Gomes, N. et al. Efficient stepmerged quantum imaginary time evolution algorithm for quantum chemistry. J. Chem. Theory Comput. 10, 6256 (2020).
Sun, S.N. et al. Quantum computation of finitetemperature static and dynamical properties of spin systems using quantum imaginary time evolution. PRX Quant. 2, 010317 (2021).
Nishi, H., Kosugi, T. & Matsushita, Y. Implementation of quantum imaginarytime evolution method on NISQ devices by introducing nonlocal approximation. NPJ Quant. Inf. 7, 85 (2021).
Poulin, D. & Wocjan, P. Sampling from the thermal quantum Gibbs state and evaluating partition functions with a quantum computer. Phys. Rev. Lett. 103, 220502 (2009) arXiv:0905.2199.
Bilgin, E. & Boixo, S. Preparing thermal states of quantum systems by dimension reduction. Phys. Rev. Lett. 105, 170405 (2010).
Temme, K., Osborne, T. J., Vollbrecht, K. G., Poulin, D. & Verstraete, F. Quantum Metropolis sampling. Nature 471, 87 (2011).
Yung, M.H. & AspuruGuzik, A. A quantumquantum metropolis algorithm. Proc. Natl. Acad. Sci. 109, 754–759 (2012).
Kastoryano, M. J. & Brandão, F. G. S. L. Quantum Gibbs samplers: The commuting case. Commun. Math. Phys. 344, 915–957 (2016).
Chowdhury, A. N. & Somma, R. D. Quantum algorithms for Gibbs sampling and hittingtime estimation. Quant. Inf. Comput. 17, 41 (2017).
Brandão, F. G. S. L. et al. Quantum SDP Solvers: Large Speedups, Optimality, and Applications to Quantum Learning. arXiv:1710.02581 (2017).
Brandão, F. G. S. L. & Svore, K. M. Quantum Speedups for SemidefiniteProgramming. Proceedings of 58th IEEEFOCS, 415 (2017).
Van Apeldoorn, J., Gilyén, A., Gribling, S. & de Wolf, R. Quantum SDPsolvers: Better upper and lower bounds. Quantum 4, 230 (2020).
Gilyén, A., Su, Y., Low, G. H. & Wiebe, N. Quantum singular value transformation and beyond: Exponential improvements for quantum matrix arithmetics. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing (Association for Computing Machinery, Phoenix, AZ, USA, 2019), 193.
Wang, Y., Li, G. & Wang, X. Variational quantum Gibbs state preparation with a truncated Taylor series. Phys. Rev. Appl. 16, 054035 (2021).
Kuwahara, T., Kato, K. & Brandão, F. G. S. L. Clustering of conditional mutual information for quantum Gibbs states above a threshold temperature. Phys. Rev. Lett. 124, 220601 (2020).
Chowdhury, A. N., Somma, R. D. & Subasi, Y. Computing partition functions in the one clean qubit model. Phys. Rev. A 103, 032422 (2021).
Kempe, J., Kitaev, A. & Regev, O. The complexity of the local Hamiltonian problem. SIAM J. Comput. 35(5), 1070–1097 (2006).
Farhi, E., Goldstone, J., Gutmann, S. & Sipser, M. Quantum computation by adiabatic evolution. MITCTP2936 (2000).
Farhi, E., Goldstone, J., Gutmann, S. & Sipser, M. A quantum approximate optimization algorithm. MITCTP4610 (2014).
Montanaro, A. Quantumwalk speedup of backtracking algorithms. Theory Comput. 14, 1–24 (2018).
Harrigan, M. P. et al. Quantum approximate optimization of nonplanar graph problems on a planar superconducting processor. Nat. Phys. 17, 332–336 (2021).
Peruzzo, A. et al. A variational eigenvalue solver on a photonic quantum processor. Nat. Commun. 5, 4213 (2014).
Hempel, C. et al. Quantum chemistry calculations on a trappedion quantum simulator. Phys. Rev. X 8, 031022 (2018).
Grimsley, H. R., Economou, S. E., Barnes, E. & Mayhall, N. J. An adaptive variational algorithm for exact molecular simulations on a quantum computer. Nat. Commun. 10, 3007 (2019).
Kieferova, M. & Wiebe, N. Tomography and generative data modeling via quantum Boltzmann training. Phys. Rev. A 96, 062327 (2017).
Wiebe, N., & Wossnig, L. Generative training of quantum Boltzmann machines with hidden units. arXiv:1905.09902 (2019).
Zoufal, C., Lucchi, A. & Woerner, S. Variational quantum Boltzmann machines. Quant. Mach. Intell. 3, 7 (2021).
Nd Peter Wittek, J. B., Pancotti, N., Patrick Rebentrost, N. W. & Lloyd, S. Quantum machine learning. Nature 549, 195 (2017).
Amin, M. H., Andriyash, E., Rolfe, J., Kulchytskyy, B. & Melko, R. Quantum Boltzmann Machine. Phys. Rev. X 8, 021050 (2018).
Benedetti, M., Fiorentini, M. & Lubasch, M. Hardwareefficient variational quantum algorithms for time evolution. Phys. Rev. Res. 3, 033083 (2021).
Lin, S.H., Dilip, R., Green, A. G., Smith, A. & Pollmann, F. Real and imaginarytime evolution with compressed quantum circuits. PRX Quant. 2, 010342 (2021).
Cao, C., An, Z., Hou, S.Y., Zhou, D. L. & Zeng, B. Quantum imaginary time evolution steered by reinforcement learning (2021). arXiv:2105.08696 [quantph].
Brassard, G., Høyer, P., Mosca, M. & Tapp, A. In Quantum Computation and Quantum Information (eds Lomonaco, S. J. & Brandt, H. E.) 53–74 (American Mathematical Society, Providence, Rhode Island, 2002). arXiv:quant  ph/0005055 [quantph].
Low, G. H. & Chuang, I. L. Optimal Hamiltonian simulation by quantum signal processing. Phys. Rev. Lett. 118, 010501 (2017).
Low, G. H. & Chuang, I. L. Hamiltonian simulation by qubitization. Quantum 3, 163 (2019).
Berry, D. W., Ahokas, G., Cleve, R. & Sanders, B. C. Efficient quantum algorithms for simulating sparse Hamiltonians. Commun. Math. Phys. 270, 359–371 (2007).
Berry, D.W., Childs, A. M., Cleve, R., Kothari, R. & Somma, R. D. Exponential improvement in precision for simulating sparse Hamiltonians. In Proceedings of the fortysixth annual ACM symposium on Theory of computing (ACM, New York, NY, USA, 2014), 283–292. arXiv:1312.1414.
Berry, D. W., Childs, A. M. & Kothari, R. Hamiltonian simulation with nearly optimal dependence on all parameters. 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, 792–809. arXiv:1501.01715 (2015).
Sherrington, D. & Kirkpatrick, S. Solvable model of a spin glass. Phys. Rev. Lett. 35, 1792–1796 (1975).
Panchenko, D. The Sherrington–Kirkpatrick model: An overview. J. Stat. Phys. 149, 362–383 (2012).
Altshuler, B., Krovi, H. & Roland, J. Adiabatic quantum optimization fails for random instances of NPcomplete problems. Arxiv:0908.2782 (2009).
Altshuler, B., Krovi, H. & Roland, J. Anderson localization makes adiabatic quantum optimization fail. Proc. Natl. Acad. Sci. 107(28), 12446 (2010).
Silva, T. L., Taddei, M. & Carrazza, S. & Aolita, L. Supplementary Material: Fragmented ImaginaryTime Evolution for EarlyStage Quantum Signal Processors (2022).
Borges, L., Camilo, G., Silva, T. L. & Aolita, L. in preparation (2023).
Silva, T. L., Borges, L. & Aolita, L. FourierBased Quantum Signal Processing. (2022). arXiv:2206.02826
Lemieux, J., Heim, B., Poulin, D., Svore, K. & Troyer, M. Efficient quantum walk circuits for Metropolis–Hastings algorithm. Quantum 4, 287 (2020).
Lemieux, J., DuclosCianci, G., Sénéchal, D. & Poulin, D. Resource estimate for quantum manybody groundstate preparation on a quantum computer. Phys. Rev. A 103, 052408 (2021).
Karp, R. M. Reducibility among combinatorial problems. In Miller, R., Thacher, J. W. (Eds.) Complexity of Computer Computation, 85–103 (Plenum Press, 1972).
Trevisan, L., Sorkin, G., Sudan, M. &Williamson, D. Gadgets, approximation, and linear programming. Proceedings of the 37th IEEE Symposium on Foundations of Computer Science, 617–626 (2000).
Long, P. M. & Servedio, R. A. Restricted boltzmann machines are hard to approximately evaluate or simulate. ICML’10: Proceedings of the 27th International Conference on International Conference on Machine Learning, 703– 710 (2010).
Montanari, A. Optimization of the Sherrington–Kirkpatrick Hamiltonian. Proceedings of the 60th Annual Symposium on Foundations of Computer Science (FOCS ’19), 1417–1433 (2019).
Farhi, E., Goldstone, J., Gutmann, S. & Zhou, L. The quantum approximate optimization algorithm and the Sherrington–Kirkpatrick model at infinite size. Quantum 6, 759 (2022).
Silva, T. L., Taddei, M. M., Carrazza, S. & Aolita, L. scarrazza/QITE: v1.0.0. Version v1.0.0. 2021.
GiurgicaTiron, T., Kerenidis, I., Labib, F., Prakash, A. & Zeng, W. Low depth algorithms for quantum amplitude estimation. Quantum 6, 745 (2022).
GiurgicaTiron, T. et al. Lowdepth amplitude estimation on a trappedion quantum computer. Phys. Rev. Res. 4, 033034 (2022).
Berry, D. W., Childs, A. M., Cleve, R., Kothari, R. & Somma, R. D. Simulating Hamiltonian dynamics with a truncated Taylor series. Phys. Rev. Lett. 114, 090502 (2015) arXiv:1412.4687.
Campbell, E. Random compiler for fast Hamiltonian simulation. Phys. Rev. Lett. 123, 070503 (2019).
Childs, A. M., Ostrander, A. & Su, Y. Faster quantum simulation by randomization. Quantum 3, 1 (2019).
Lloyd, S. et al. Hamiltonian singular value transformation and inverse block encoding. arXiv:2104.01410 (2021).
Low, G. H., Yoder, T. J. & Chuang, I. L. Methodology of resonant equiangular composite quantum gates. Phys. Rev. X 6, 041067 (2016).
Haah, J. Product decomposition of periodic functions in quantum signal processing. Quantum 3, 190 (2019).
Chao, R., Ding, D., Gilyen, A., Huang, C. & Szegedy, M. Finding Angles for Quantum Signal Processing with Machine Precision (2020). arXiv:2003.02831 [quantph].
Dong, Y., Meng, X., Whaley, K. B. & Lin, L. Efficient phase factor evaluation in quantum signal processing (2020). arXiv:2002.11649 [quantph].
PérezSalinas, A., LópezN’uñez, D., GarcíaSáez, A., FornDíaz, P. & Latorre, J. I. One qubit as a universal approximant. Phys. Rev. A 104, 012405 (2021).
Elliott, D., Paget, D., Phillips, G. & Taylor, P. Error of truncated Chebyshev series and other near minimax polynomial approximations. J. Approx. Theory 50, 49–57 (1987).
Fraser, W. A survey of methods of computing minimax and nearminimax polynomial approximations for functions of a single independent variable. J. Assoc. Comput. Mach. 12, 295 (1965).
Childs, A. M., Kothari, R. & Somma, R. D. Quantum algorithm for systems of linear equations with exponentially improved dependence on precision. SIAM J. Comput. 46, 1920–1950 (2017).
Abramowitz, M. & Stegun, I. A. Handbook of Mathematical Functions (1966).
Luke, Y. L. Inequalities for generalized hypergeometric functions. J. Approx. Theory 5, 41–65 (1972).
Farhi, E., Goldstone, J., Gutmann, S. & Sipser, M. Limit on the Speed of Quantum Computation in Determining Parity. Phys. Rev. Lett. 81, 5442–5444. arXiv:quantph/9802045 (1998).
Beals, R., Buhrman, H., Cleve, R., Mosca, M. & de Wolf, R. Quantum Lower Bounds by Polynomials. In Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280) 48 (IEEE Comput. Soc, 1998), 352–361. arXiv:9802049 [quantph].
Acknowledgements
We thank Martin Kliesch for helpful comments that led us to write^{45}, Sec. VIII. We acknowledge financial support from the Serrapilheira Institute (grant number Serra170917173), and the Brazilian agencies CNPq (PQ grant No. 305420/20186) and FAPERJ (PDR10 E26/202.802/2016 and JCN E26/202.701/2018). MMT acknowledges also the Government of Spain (FIS2020TRANQI and Severo Ochoa CEX2019000910S), Fundació Cellex, Fundació MirPuig, Generalitat de Catalunya (CERCA, AGAUR SGR 1381) and ERC AdG CERQUTE.
Author information
Authors and Affiliations
Contributions
LA and TLS conceived the idea. MMT proved Theorem 3, and the lemmas related to it. TLS proved the other theorems with LA contribution. SC produced the code and numerical results, which TLS revised. LA, TLS, and MMT wrote the manuscript, which SC revised.
Corresponding author
Ethics declarations
Competing interest
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary Information
Rights and permissions
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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence 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 licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Silva, T.L., Taddei, M.M., Carrazza, S. et al. Fragmented imaginarytime evolution for earlystage quantum signal processors. Sci Rep 13, 18258 (2023). https://doi.org/10.1038/s41598023455402
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598023455402
This article is cited by

Fragmented imaginarytime evolution for earlystage quantum signal processors
Scientific Reports (2023)
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.