Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Fast Laplace transforms on quantum computers

T0 review · 3 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Pith's one-line read This paper introduces a Quantum Laplace Transform that block-encodes the $N\times N$ discrete Laplace transform on $\lceil \log_2 N \rceil$ qubits, with depth $O(\log\log N)$ and size $O(\log N)$ when the input diagonals are shallow.

desk verdict First quantum circuit for the discrete Laplace transform, with a clean block-encoding construction and honest caveats; the headline speedup is conditional on input-structure assumptions that the paper only partially quantifies. read the letter →

arxiv 2412.05173 v2 pith:553IKTQ3 submitted 2024-12-06 quant-ph math-phmath.MPphysics.comp-ph

classification quant-phmath-phmath.MPphysics.comp-ph MSC 81P68 PACS 03.67.Lx
keywords quantumLaplacetransformblock-encodinglinearcombinationofunitariesChebyshevseriesdiagonaloperatorscircuitdepthZ-transformsignalprocessing
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper introduces the Quantum Laplace Transform (QLT), a gate-based circuit that implements the $N\times N$ discrete Laplace transform with entries $e^{x_i y_j}/N$ on states encoded in $\lceil \log_2 N \rceil$ qubits. The construction expands each exponential in a truncated Taylor or Chebyshev series, block-encodes each term as a product of diagonal operators and a uniform matrix, and sums the terms with a linear combination of block-encodings. When the input-dependent diagonal operators admit shallow block-encodings, the paper argues the full circuit has depth $O(\log\log N)$ and size $O(\log N)$, exponentially fewer operations and double-exponentially less time than classical evaluation. This would make the discrete Laplace transform, previously missing from quantum routines, available as a building block for transform-based simulation, signal processing, machine learning, and finance applications.

What carries the argument

The construction is carried by three mechanisms. First, each exponential $e^{x_i y_j}/N$ is expanded in a Taylor series or a Chebyshev/Jacobi-Anger series truncated at $K$ terms; Lemma 2.1 gives exponentially fast convergence with the stated $K$. Second, each series term factorizes into a left diagonal operator, the uniform matrix $(1/N)_{i,j}=1/N$, and a right diagonal operator; the uniform matrix is block-encoded in depth 3 as the element-wise product of two Hadamard towers using the element-wise product lemma. Third, the $K$ term-block-encodings are combined through a linear combination of block-encodings, with SELECT and PREPARE routines, while copy/unary-control techniques parallelize the controls so the extra cost is only $O(K)$ controlled diagonal operations and $\widetilde{O}(K\log n)$ depth. The overall procedure yields Theorem 2.5, and the bottleneck is explicitly delegated to the block-encodings of the diagonal operators $\hat{X}_k$, $\hat{Y}_k$ (or $\hat{I}_k$, $\hat{T}_k$ for the Chebyshev variant).

What would settle it

Take $N=2^n$ with $x_i,y_j$ drawn independently and uniformly from $[0,1]$. Since a generic $n$-qubit diagonal operator cannot be block-encoded exactly without exponentially many gates, the diagonal subroutines in Theorem 2.5 would dominate the circuit, and the total depth would grow with $N$ rather than as $O(\log\log N)$; a reader can verify this by counting the diagonal subroutines for such a random instance, or alternatively by implementing a structured family from Appendix B and checking that the depth stays $O(\log\log N)$ for $N$ up to $2^{20}$.

Watch

Extended reading notes

Core claim

The central claim is that the discrete Laplace transform can be block-encoded efficiently: for $N=2^n$ and real or complex coefficient vectors $x,y$ with $|x_i|\leq x_{\max}$, $|y_j|\leq y_{\max}$, the $n$-qubit operation $[\mathrm{QLT}]_{i,j}=e^{x_i y_j}/N$ admits an $(e^{x_{\max} y_{\max}}, b, \varepsilon)$-block-encoding using $O(K)$ controlled diagonal operators and an additional circuit of size $\widetilde{O}(Kn)$ and depth $\widetilde{O}(K\log n)$, where $K=\Theta(x_{\max}y_{\max} + \ln(1/\varepsilon)/\ln(e+\ln(1/\varepsilon)/(x_{\max}y_{\max})))$. Because $K$ depends only on the range of the exponent and on $1/\varepsilon$, not on $N$, and because the uniform matrix is implemented by the element-wise product of two Hadamard towers in constant depth, the $N$-dependence of the depth can be as small as $O(\log\log N)$ when the diagonal operators are implementable in depth independent of $N$. The paper frames this as the first circuit implementation of the discrete Laplace transform on gate-based quantum computers.

Load-bearing premise

The advertised depth and size scalings assume that the non-unitary diagonal operators $\hat{X}_k$ and $\hat{Y}_k$ admit block-encodings of polylogarithmic depth and size; for arbitrary input vectors, exact implementations of such diagonal operators need resources exponential in $n$, as the paper itself states.

Editorial extensions

If this is right

  • If the diagonal subroutines are shallow, the QLT gives exponentially fewer primitive gates and double-exponentially less time than the classical $O(N)$ discrete Laplace transform; the paper is explicit that this is a routine speedup, not a decision-problem speedup.
  • The Z-transform of a sequence encoded in a quantum state can be computed as a QLT with coefficients $x_i=i$ and $y_j=-\ln(z_j)$, which gives a route to generating functions of finite probability distributions.
  • The QLT can approximate the continuous Laplace transform and its inverse on quantum states, with truncation $M=O(\log(1/\varepsilon))$, and the success probability can be improved by amplitude amplification.
  • For complex coefficients, the Taylor variant keeps the same $K$ scaling, while the Chebyshev variant uses $O(K^2)$ diagonal operators, a quadratic overhead.
  • Because $K$ is set by $x_{\max}y_{\max}$ and $1/\varepsilon$ rather than by $N$, the circuit remains logarithmic in $N$ even when high accuracy requires many series terms.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The paper leaves the diagonal subroutines as an oracle-style assumption; a concrete next step is to instantiate them for a fixed input family such as $x_i=i/N$, $y_j=\cos(2\pi j/N)$ using the Fourier/GQSP construction of Appendix B, then count the resulting total depth and size for $N$ up to $2^{20}$ to turn the scaling claim into an explicit circuit benchmark.
  • Because the QLT is a routine rather than a standalone algorithm, its practical payoff depends on downstream tasks that can consume a transformed quantum state; amplitude amplification on the block-encoding flag appears necessary except in smooth-input regimes where the paper shows the success probability is already $\Theta(1)$.
  • A testable extension is to use the QLT for Laplace-domain filtering without post-selection by estimating expectation values of the form $\langle\psi|\mathrm{QLT}^\dagger \hat{O}\,\mathrm{QLT}|\psi\rangle$; the block-encoding formalism supports observable-based usage even when the success probability of preparing the transformed state is low.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper introduces the Quantum Laplace Transform (QLT), a block-encoding of the N×N discrete Laplace transform matrix [QLT]_{i,j} = e^{x_i y_j}/N on n = ⌈log_2 N⌉ qubits. The construction expands e^{x_i y_j} in a truncated Taylor or Chebyshev series, writes each series term as a product of two diagonal operators and the uniform all-ones matrix, block-encodes the uniform matrix via an element-wise product of two Hadamard towers (Lemma 2.3), and combines the terms with a linear combination of block-encodings (Lemma 2.2). Theorem 2.5 states an (e^{xmax ymax}, O(n), ε)-block-encoding using O(K) controlled diagonal block-encodings plus an additional circuit of size O~(Kn) and depth O~(K log n), with K = Θ(xmax ymax + ln(1/ε)/ln(e + ln(1/ε)/(xmax ymax))). Section 3 extends the construction to complex coefficients, Section 4 discusses the dependence on diagonal-operator subroutines and applications, and the appendices contain error proofs, control-parallelization lemmas, a GQSP-based example for a single diagonal operator, and an approximation of the continuous Laplace transform and its inverse.

Significance. The core block-encoding reduction is technically sound and, conditional on access to efficient diagonal-operator block-encodings, provides a genuine circuit construction for the discrete Laplace transform on a gate-based quantum computer—something the paper correctly identifies as previously open. The element-wise product lemma (Lemma 2.3) is an elegant and efficient way to implement the uniform matrix in constant depth, and the error accounting in Lemma 2.1, Lemma 2.2, and Lemma 2.4 is explicit and standard. The main advertised advantage (O(log log N) depth and O(log N) size) is, however, conditional on the cost of the diagonal subroutines, and the paper's examples do not yet close that gap for the specific families of diagonal operators required by the QLT. The paper is honest about the general exponential cost of arbitrary diagonal operators, but the 'in many cases' claim needs an end-to-end demonstration.

major comments (3)
  1. [Appendix B, Lemma B.1] The headline claim that 'in many cases' the QLT has depth O(log log N) and size O(log N) requires a concrete family of input data (x_i, y_j) for which the entire set of diagonal operators in Eq. (10) can be block-encoded within polylogarithmic resource bounds. Appendix B analyzes only a single diagonal operator D_g for one function g; it does not analyze the k-dependence of the family g_k(s) = z(s)^k / ymax^k (or the Chebyshev variants I_k(ymax x_i) and T_k(y_j/ymax)). The Fourier degree M_k required for an ε-approximation generally grows with k, and the derivative-bound condition R > 1 in Eq. (33) can fail for high powers of a fixed analytic function. Consequently, the total cost Σ_k s_{U,k} and Σ_k d_{U,k} is not bounded by the results presented, and the abstract's 'in many cases' is an assertion rather than a proven consequence. Please provide an explicit end-to-end example with bounds on the k-dependence, or restate the main theorem as an oracle reduction and correspondingly qualify the abstract and conclusion claims.
  2. [Appendix B, Lemma B.1] The lemma statement claims that a diagonal operator D_g can be block-encoded with a quantum circuit of depth O(log(1/ε)), but the proof's final paragraph concludes a depth of O(log(n) log(1/ε)) after using n−1 ancilla qubits to parallelize the controls of the n single-qubit phase gates in U_ω. Since n = log_2 N, this depth is O(log log N), not independent of N as stated. The statement must be corrected to match the proof, or an alternative control scheme that removes the log n factor must be supplied. This directly affects the claim in Section 2 that the diagonal operators can be implemented with depth independent of N.
  3. [Section 4, 'Probability of success'] The displayed formula for the limiting success probability contains e^{-∥f∥∞∥g∥∞} as the exponential factor, but for a block-encoding with normalization α = e^{xmax ymax}, the post-selection probability is ∥QLT|h⟩∥²/α², which carries e^{-2∥f∥∞∥g∥∞}. The Θ(1) conclusion with respect to N is unaffected for fixed f and g, but the formula should be corrected.
minor comments (5)
  1. [Throughout] There are several typos: 'Chebytshev' for Chebyshev, 'Additionnally' for Additionally, 'demonstatre' for demonstrate, 'Futhermore' for Furthermore, 'constaints' for constraints, and 'proove' for prove.
  2. [Theorem 2.5] The tilde-O notation is used in the theorem statement but defined only inside the proof; please define it in the statement for readability.
  3. [Theorem 2.5 and Section 2] The ancilla count in Theorem 2.5 is 2n + 2a_be + ⌈log2(K+1)⌉, but the uniform-matrix block-encoding already uses n ancillae and the control-parallelization uses n−1 additional ancillae; the counting should be made explicit so that the total matches the described circuit.
  4. [Eq. (15)] The SELECT decomposition in Eq. (15) is standard, but the action of σ_X^k on the control register should be spelled out to avoid ambiguity in the product over k.
  5. [Abstract and Conclusion] The abstract states 'size O(log N)' for the QLT circuit, but Theorem 2.5 gives the additional circuit as O~(Kn); please state explicitly that this scaling assumes fixed xmax ymax and ε, with K constant in N.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the QLT block-encoding is assembled from standard LCU and product lemmas, with diagonal subroutines treated as explicit oracles whose costs are tracked.

full rationale

The paper's central derivation is self-contained in the relevant sense. Equation (6) expands each truncated series term as a product of two diagonal operators and the uniform matrix; Lemma 2.3 block-encodes the uniform matrix via element-wise products of Hadamard towers; Lemmas 2.2 and 2.4 assemble the LCU and product constructions; Theorem 2.5 states the resulting complexity in terms of O(K) controlled diagonal block-encodings plus an explicit O~(nK)-size, O~(K log n)-depth auxiliary circuit. No fitted parameter is later relabeled as a prediction, and no quantity is defined in terms of the target QLT. The truncation order K is obtained from the standard bound in [40], not from the block-encoding result. The advertised O(log log N) depth and O(log N) size scalings are explicitly conditional on the diagonal subroutines having polylogarithmic or N-independent depth, as stated after Eq. (10), in Section 4, and in Appendix B; Section 4 even warns that arbitrary diagonal operators require exponentially many resources. That is a stated scope condition, not a circular reduction. The self-citations, mainly [38], [44], and [51], support technical subroutines or limitations; Appendix B independently provides a logarithmic-depth diagonal block-encoding construction via GQSP, so the cited prior work is not load-bearing for the advertised scaling. I find no circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The QLT construction introduces no new particles or fitted constants. Its complexity claims rest on the assumed efficiency of block-encoding diagonal operators, which is an input-structure condition rather than a free parameter.

assumptions (4)
  • domain assumption Access to (1, a_be, ε')-block-encodings of diagonal operators X_k, Y_k, I_k, T_k (Eq. 10) with controllable error and polylogarithmic depth for the cases of interest.
    The efficiency of the QLT depends on these subroutines; Section 2 assumes their existence, Section 4 discusses cases where they are efficient.
  • domain assumption Quantum computer has full connectivity, is fault-tolerant, and gates are single- and two-qubit without gate-set specification.
    Stated in Section 1; the depth and size claims rely on idealized hardware.
  • standard math Taylor and Chebyshev truncation error bounds (Lemma 2.1), Bessel function bounds from Abramowitz-Stegun, and LCU lemmas from Gilyén et al. (Lemma 52/53).
    Standard results used to bound truncation and block-encoding errors.
  • domain assumption For the continuous Laplace transform (Appendix C), f is continuously differentiable, of exponential type, and its Laplace transform is smooth on the integration curve C.
    Needed for the truncation and discretization error bounds in Theorem C.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Fast Laplace transforms on quantum computers." pith.science (2026). https://pith.science/paper/553IKTQ3

@misc{pith2026241205173,
  author       = {Pith},
  title        = {Pith review of: Fast Laplace transforms on quantum computers},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/553IKTQ3}},
  note         = {Machine review of arXiv:2412.05173}
}
abstract

While many classical algorithms rely on Laplace transforms, it has remained an open question whether these operations could be implemented efficiently on quantum computers. In this work, we introduce the Quantum Laplace Transform (QLT), which enables the implementation of $N\times N$ discrete Laplace transforms on quantum states encoded in $\lceil \log_2(N)\rceil$-qubits. In many cases, the associated quantum circuits have a depth that scales with $N$ as $O(\log(\log(N)))$ and a size that scales as $O(\log(N))$, requiring exponentially fewer operations and double-exponentially less computational time than their classical counterparts. These efficient scalings open the possibility of developing a new class of quantum algorithms based on Laplace transforms, with potential applications in physics, engineering, chemistry, machine learning, and finance.

Figures

Figures reproduced from arXiv: 2412.05173 by the authors.

Figure 1
Figure 1. Scheme of the quantum circuit associated with the block-encoding of the Quantum Laplace [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Universal Quantum Computational Spectroscopy on a Quantum Chip

    quant-ph 2025-06 conditional novelty 6.0 of 10

    A quantum auto-correlation function integrated over an extra time variable yields eigenenergies and eigenstate observables for Hermitian, non-Hermitian, and Floquet systems, demonstrated on a silicon-photonic chip.

Reference graph

Works this paper leans on

69 extracted references · 55 canonical work pages · cited by 1 Pith paper

  1. [61]

    Laplace transform based quantum eigenvalue transformation via linear combination of hamiltonian simulation

    Dong An, Andrew M Childs, Lin Lin, and Lexing Ying. Laplace transform based quantum eigenvalue transformation via linear combination of hamiltonian simulation. arXiv preprint arXiv:2411.04010, 2024. 15

  2. [1]

    Theorie analytique des probabilit´ es; par M

    Pierre Simon et al. Theorie analytique des probabilit´ es; par M. le comte Laplace. Courcier, 1812

  3. [2]

    The solution of a system of differential equations occurring in the theory of radioactive transformations

    Harry Bateman. The solution of a system of differential equations occurring in the theory of radioactive transformations. In Proc. Cambridge Philos. Soc. , volume 15, pages 423–427, 1910

  4. [3]

    Introduction to the Theory and Application of the Laplace Transformation

    Gustav Doetsch. Introduction to the Theory and Application of the Laplace Transformation . Springer Science & Business Media, 2012

  5. [4]

    Laplace transforms and their applications to differential equations

    Norman William McLachlan. Laplace transforms and their applications to differential equations . Courier Corporation, 2014. 12

  6. [5]

    Numerical simulation of fifth order kdv equations occurring in magneto-acoustic waves

    Amit Goswami, Jagdev Singh, and Devendra Kumar. Numerical simulation of fifth order kdv equations occurring in magneto-acoustic waves. Ain Shams Engineering Journal , 9(4):2265–2273, 2018

  7. [6]

    Applications of laplace transform in engineering fields

    LS Sawant. Applications of laplace transform in engineering fields. International Research Journal of Engineering and Technology, 5(5):3100–3105, 2018

  8. [7]

    The testing of models for unimolec- ular decomposition via inverse laplace transformation of experimental recombination rate data

    Joanne W Davies, Nicholas JB Green, and Michael J Pilling. The testing of models for unimolec- ular decomposition via inverse laplace transformation of experimental recombination rate data. Chemical physics letters , 126(3-4):373–379, 1986

Show all 69 references
  1. [8]

    Laplace-transform deep-level spectroscopy: The technique and its applications to the study of point defects in semiconductors

    L Dobaczewski, AR Peaker, and K Bonde Nielsen. Laplace-transform deep-level spectroscopy: The technique and its applications to the study of point defects in semiconductors. Journal of applied physics, 96(9):4689–4728, 2004

  2. [9]

    Numerical inversion of laplace trans- forms.: A useful tool for evaluation of chemical diffusion coefficients in ion-insertion electrodes investigated by pitt

    Claude Montella, Richard Michel, and Jean-Paul Diard. Numerical inversion of laplace trans- forms.: A useful tool for evaluation of chemical diffusion coefficients in ion-insertion electrodes investigated by pitt. Journal of Electroanalytical Chemistry , 608(1):37–46, 2007

  3. [10]

    Application of numerical laplace inversion methods in chemical engineering with maple ®

    Ma lgorzata W´ ojcik, Miros law Szukiewicz, and Pawe l Kowalik. Application of numerical laplace inversion methods in chemical engineering with maple ®. Journal of Applied Computer Science Methods, 7:5–15, 2015

  4. [11]

    Use of the laplace transform technique for simple kinetic parameters evaluation

    J Membrez, PP Infelta, and A Renken. Use of the laplace transform technique for simple kinetic parameters evaluation. application to the adsorption of a protein on porous beads. Chemical engineering science, 51(19):4489–4498, 1996

  5. [12]

    Inverse laplace transform (ilt) nmr: A powerful tool to differentiate a real rejuvenator and a softener of aged bitumen

    Paolino Caputo, Valeria Loise, Saltanat Ashimova, Bagdat Teltayev, Rosolino Vaiana, and Ce- sare Oliviero Rossi. Inverse laplace transform (ilt) nmr: A powerful tool to differentiate a real rejuvenator and a softener of aged bitumen. Colloids and Surfaces A: Physicochemical an...

  6. [13]

    Laplace transform analysis of the carbon cycle

    IG Enting. Laplace transform analysis of the carbon cycle. Environmental Modelling & Software , 22(10):1488–1497, 2007

  7. [14]

    Application of laplace transform for cryptographic scheme

    AP Hiwarekar. Application of laplace transform for cryptographic scheme. In Proceedings of the World Congress on Engineering , volume 1, pages 3–5, 2013

  8. [15]

    Cryptanalysis of a new method of cryptography using laplace transform hyperbolic functions

    M Tuncay Gen¸ co˘ glu. Cryptanalysis of a new method of cryptography using laplace transform hyperbolic functions. Communications in Mathematics and Applications , 8(2):183, 2017

  9. [16]

    Theory and application of the z-transform method

    Eliahu Ibrahim Jury. Theory and application of the z-transform method. (No Title) , 1964

  10. [17]

    The z z-transform analysis of discrete time signals and systems

    S Palani and S Palani. The z z-transform analysis of discrete time signals and systems. Signals and Systems , pages 921–1055, 2022

  11. [18]

    Introduction to machine learning

    Alex Smola and SVN Vishwanathan. Introduction to machine learning. Cambridge University, UK, 32(34):2008, 2008

  12. [19]

    Supervised learning laplace transform artificial neural networks and using it for automatic classification of geological structure

    Piotr Szymczyk and Magdalena Szymczyk. Supervised learning laplace transform artificial neural networks and using it for automatic classification of geological structure. Neurocomputing, 154:70– 76, 2015

  13. [20]

    Ian Goodfellow, Yoshua Bengio, and Aaron Courville. 6.2. 2.3 softmax units for multinoulli output distributions. Deep learning, 180, 2016

  14. [21]

    On the application of the laplace transform to certain economic problems

    Robert W Grubbstr¨ om. On the application of the laplace transform to certain economic problems. Management Science, 13(7):558–567, 1967

  15. [22]

    Application of laplace transform in finance

    A Daci and S Tola. Application of laplace transform in finance. Mathematical Modeling, 2(4):130– 133, 2018. 13

  16. [23]

    Laplace transform, application in population growth

    Alfred Daci and Saimir Tola. Laplace transform, application in population growth. International Journal of Recent Technology and Engineering , 8(2):954–957, 2019

  17. [24]

    A general card-program for the evaluation of the inverse laplace transform

    CK Titus. A general card-program for the evaluation of the inverse laplace transform. Journal of the ACM (JACM) , 2(1):18–27, 1955

  18. [25]

    Laplace transform computer program

    Robert H Soli. Laplace transform computer program. In Proceedings of the 6th annual Design Automation Conference, pages 193–201, 1969

  19. [26]

    Numerical inversion of laplace transforms by relating them to the finite fourier cosine transform

    Harvey Dubner and Joseph Abate. Numerical inversion of laplace transforms by relating them to the finite fourier cosine transform. Journal of the ACM (JACM) , 15(1):115–123, 1968

  20. [27]

    A general approach for obtaining transient response by the use of a digital computer

    PE Lego and TW Sze. A general approach for obtaining transient response by the use of a digital computer. Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics, 77(6):1031–1036, 1959

  21. [28]

    A fast algorithm for the discrete laplace transformation

    Vladimir Rokhlin. A fast algorithm for the discrete laplace transformation. Journal of Complexity, 4(1):12–32, 1988

  22. [29]

    A fast laplace transform based on laguerre functions

    John Strain. A fast laplace transform based on laguerre functions. mathematics of computation , 58(197):275–283, 1992

  23. [30]

    Fast discrete laplace transforms

    Yen Lee Loh. Fast discrete laplace transforms. Journal of Computational Mathematics and Data Science, 8:100082, 2023

  24. [31]

    Algorithms for quantum computation: discrete logarithms and factoring

    Peter W Shor. Algorithms for quantum computation: discrete logarithms and factoring. In Proceedings 35th annual symposium on foundations of computer science , pages 124–134. Ieee, 1994

  25. [32]

    Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer

    Peter W Shor. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM review, 41(2):303–332, 1999

  26. [33]

    Exponential quantum speedup in simulating coupled classical oscillators

    Ryan Babbush, Dominic W Berry, Robin Kothari, Rolando D Somma, and Nathan Wiebe. Exponential quantum speedup in simulating coupled classical oscillators. Physical Review X , 13(4):041041, 2023

  27. [34]

    An approximate fourier transform useful in quantum factoring

    Don Coppersmith. An approximate fourier transform useful in quantum factoring. arXiv preprint quant-ph/0201067, 2002

  28. [35]

    An algorithm for the machine calculation of complex fourier series

    James W Cooley and John W Tukey. An algorithm for the machine calculation of complex fourier series. Mathematics of computation , 19(90):297–301, 1965

  29. [36]

    https://algassert.com/quantum/2014/04/27/the-not-quantum-laplace- transform.html

    Craig Gidney. https://algassert.com/quantum/2014/04/27/the-not-quantum-laplace- transform.html

  30. [37]

    Efficient quantum circuits for diagonal unitaries without ancillas

    Jonathan Welch, Daniel Greenbaum, Sarah Mostame, and Alan Aspuru-Guzik. Efficient quantum circuits for diagonal unitaries without ancillas. New Journal of Physics , 16(3):033040, 2014

  31. [38]

    Efficient quantum circuits for non-unitary and unitary diagonal operators with space-time-accuracy trade-offs

    Julien Zylberman, Ugo Nzongani, Andrea Simonetto, and Fabrice Debbasch. Efficient quantum circuits for non-unitary and unitary diagonal operators with space-time-accuracy trade-offs. arXiv preprint arXiv:2404.02819, 2024

  32. [39]

    Nineteen dubious ways to compute the exponential of a matrix, twenty-five years later

    Cleve Moler and Charles Van Loan. Nineteen dubious ways to compute the exponential of a matrix, twenty-five years later. SIAM review, 45(1):3–49, 2003

  33. [40]

    Quantum singular value transfor- mation and beyond: exponential improvements for quantum matrix arithmetics

    Andr´ as Gily´ en, Yuan Su, Guang Hao Low, and Nathan Wiebe. Quantum singular value transfor- mation and beyond: exponential improvements for quantum matrix arithmetics. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing , pages 193–204, 2019

  34. [41]

    Transformation of quantum states using uniformly controlled rotations

    Mikko Mottonen, Juha J Vartiainen, Ville Bergholm, and Martti M Salomaa. Transformation of quantum states using uniformly controlled rotations. arXiv preprint quant-ph/0407010 , 2004

  35. [42]

    Hamiltonian simulation using linear combinations of unitary operations

    Andrew M Childs and Nathan Wiebe. Hamiltonian simulation using linear combinations of unitary operations. arXiv preprint arXiv:1202.5822 , 2012. 14

  36. [43]

    Elementary gates for quantum computation

    Adriano Barenco, Charles H Bennett, Richard Cleve, David P DiVincenzo, Norman Margolus, Peter Shor, Tycho Sleator, John A Smolin, and Harald Weinfurter. Elementary gates for quantum computation. Physical review A , 52(5):3457, 1995

  37. [44]

    Polylogarithmic-depth controlled-not gates without ancilla qubits

    Baptiste Claudon, Julien Zylberman, C´ esar Feniou, Fabrice Debbasch, Alberto Peruzzo, and Jean-Philip Piquemal. Polylogarithmic-depth controlled-not gates without ancilla qubits. Nature Communications, 15(1):5886, 2024

  38. [45]

    Quantum circuit for multi-qubit toffoli gate with optimal resource

    Junhong Nie, Wei Zi, and Xiaoming Sun. Quantum circuit for multi-qubit toffoli gate with optimal resource. arXiv preprint arXiv:2402.05053 , 2024

  39. [46]

    Rise of conditionally clean ancillae for optimizing quantum circuits

    Tanuj Khattar and Craig Gidney. Rise of conditionally clean ancillae for optimizing quantum circuits. arXiv preprint arXiv:2407.17966 , 2024

  40. [47]

    Decompositions of n-qubit toffoli gates with linear circuit complexity

    Yong He, Ming-Xing Luo, E Zhang, Hong-Ke Wang, and Xiao-Feng Wang. Decompositions of n-qubit toffoli gates with linear circuit complexity. International Journal of Theoretical Physics , 56:2350–2361, 2017

  41. [48]

    Handbook of mathematical functions with formulas, graphs, and mathematical tables , volume 55

    Milton Abramowitz and Irene A Stegun. Handbook of mathematical functions with formulas, graphs, and mathematical tables , volume 55. US Government printing office, 1968

  42. [49]

    Asymptotically optimal circuits for arbitrary n-qubit diagonal computations

    Stephen S Bullock and Igor L Markov. Asymptotically optimal circuits for arbitrary n-qubit diagonal computations. arXiv preprint quant-ph/0303039 , 2008

  43. [50]

    Asymptotically optimal circuit depth for quantum state preparation and general unitary synthesis

    Xiaoming Sun, Guojing Tian, Shuai Yang, Pei Yuan, and Shengyu Zhang. Asymptotically optimal circuit depth for quantum state preparation and general unitary synthesis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , 42(10):3301–3314, 2023

  44. [51]

    Efficient quantum state preparation with walsh series

    Julien Zylberman and Fabrice Debbasch. Efficient quantum state preparation with walsh series. Physical Review A , 109(4):042401, 2024

  45. [52]

    Generalized quantum signal processing

    Danial Motlagh and Nathan Wiebe. Generalized quantum signal processing. PRX Quantum , 5(2):020368, 2024

  46. [53]

    Comparison of quantum oracles

    Elham Kashefi, Adrian Kent, Vlatko Vedral, and Konrad Banaszek. Comparison of quantum oracles. Physical Review A , 65(5):050304, 2002

  47. [54]

    Lecture notes on quantum algorithms

    Andrew M Childs. Lecture notes on quantum algorithms. Lecture notes at University of Maryland, 5, 2017

  48. [55]

    Bibliography of sampled-data control systems and z-transform applications

    H Freeman and O Lowenschuss. Bibliography of sampled-data control systems and z-transform applications. IRE Transactions on Automatic Control , 4(1):28–30, 1958

  49. [56]

    Z-transform-based methods for electromagnetic transient simula- tions

    L Naredo, Abner Ramirez, A Ametani, A Gutierrez, A Mansoldo, A Gole, A Lima, A Morched, B Gustavsen, D Wilcox, et al. Z-transform-based methods for electromagnetic transient simula- tions. IEEE Transactions on Power Delivery , 22(3):1799–1805, 2007

  50. [57]

    Representation of solutions of delayed difference equations with linear parts given by pairwise permutable matrices via z-transform

    Michal Posp ´ ıˇ sil. Representation of solutions of delayed difference equations with linear parts given by pairwise permutable matrices via z-transform. Applied mathematics and computation , 294:180–194, 2017

  51. [58]

    Delayed linear difference equations: the method of z-transform

    Nazim Mahmudov. Delayed linear difference equations: the method of z-transform. Electronic Journal of Qualitative Theory of Differential Equations , 2020(53):1–12, 2020

  52. [59]

    Quantum amplitude amplification and estimation

    Gilles Brassard, Peter Hoyer, Michele Mosca, and Alain Tapp. Quantum amplitude amplification and estimation. Contemporary Mathematics, 305:53–74, 2002

  53. [60]

    Exponential improvement in precision for simulating sparse hamiltonians

    Dominic W Berry, Andrew M Childs, Richard Cleve, Robin Kothari, and Rolando D Somma. Exponential improvement in precision for simulating sparse hamiltonians. In Proceedings of the forty-sixth annual ACM symposium on Theory of computing , pages 283–292, 2014

  54. [62]

    Fast parallel circuits for the quantum fourier transform

    Richard Cleve and John Watrous. Fast parallel circuits for the quantum fourier transform. In Proceedings 41st Annual Symposium on Foundations of Computer Science , pages 526–536. IEEE, 2000

  55. [63]

    Review of inverse laplace transform algorithms for laplace-space numerical approaches

    Kristopher L Kuhlman. Review of inverse laplace transform algorithms for laplace-space numerical approaches. Numerical Algorithms, 63:339–355, 2013

  56. [64]

    Hamiltonian simulation with nearly optimal dependence on all parameters

    Dominic W Berry, Andrew M Childs, and Robin Kothari. Hamiltonian simulation with nearly optimal dependence on all parameters. In 2015 IEEE 56th annual symposium on foundations of computer science, pages 792–809. IEEE, 2015

  57. [65]

    Guang Hao Low and Isaac L. Chuang. Optimal hamiltonian simulation by quantum signal pro- cessing. PHYS REV LETT , 118(1), January 2017

  58. [66]

    Complementary polynomials in quantum signal processing

    Bjorn K Berntson and Christoph S¨ underhauf. Complementary polynomials in quantum signal processing. arXiv preprint arXiv:2406.04246 , 2024

  59. [67]

    Quantum simulation of real-space dynamics

    Andrew M Childs, Jiaqi Leng, Tongyang Li, Jin-Peng Liu, and Chenyi Zhang. Quantum simulation of real-space dynamics. Quantum, 6:860, 2022

  60. [68]

    A method for the numerical inversion of laplace transforms

    G Honig and U Hirdes. A method for the numerical inversion of laplace transforms. Journal of Computational and Applied Mathematics , 10(1):113–132, 1984

  61. [69]

    Pablo Moreno and Abner Ramirez. Implementation of the numerical laplace transform: A re- view task force on frequency domain methods for emt studies, working group on modeling and analysis of system transients using digital simulation, general systems subcommittee, ieee power ...

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.