pith. machine review for the scientific record. sign in

arxiv: 2605.10708 · v1 · submitted 2026-05-11 · 🪐 quant-ph

Recognition: no theorem link

Quantum Differential Equation Solver via Hybrid Oscillator-Qubit Linear Combination of Hamiltonian Simulations

Ang Li, Elin Ranjan Das, Muqing Zheng, Rishab Dutta, Timothy Stavenger, Yuan Liu

Pith reviewed 2026-05-12 05:19 UTC · model grok-4.3

classification 🪐 quant-ph
keywords hybrid oscillator-qubitlinear combination of Hamiltonian simulationsquantum differential equation solvercontinuous-variable quantum computingsuperalgebraic convergenceSchwartz-class kernelsheat equationfinite squeezed-Fock state
0
0 comments X

The pith

Hybrid oscillator-qubit LCHS solves linear ODEs without ancilla-qubit overhead

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

The paper introduces a hybrid oscillator-qubit version of linear combination of Hamiltonian simulation that encodes the quadrature kernel in a continuous-variable ancillary oscillator instead of a discrete ancilla register. This removes the O(log M_a) ancilla-qubit overhead that scales with the number of quadrature points. Analytical bounds prove superalgebraic convergence of the truncation error for Schwartz-class kernels and give explicit product-formula Trotter costs together with a perturbation bound on postselection probability. Benchmarks on the heat equation reach at least 99.90 percent end-to-end fidelity while using a more compact oracle than a matrix-product-state qubit implementation.

Core claim

By representing the LCHS integration kernel as a finite squeezed-Fock state in an ancillary oscillator, the hybrid oscillator-qubit method eliminates the explicit logarithmic ancilla-qubit overhead of discrete-variable LCHS, achieves superalgebraic convergence for Schwartz-class kernels, and attains at least 99.90 percent solution fidelity on heat-equation benchmarks with reduced circuit cost.

What carries the argument

The finite squeezed-Fock kernel state of stellar rank N-1 that encodes the LCHS quadrature in a continuous-variable ancillary mode.

If this is right

  • The ancilla qubit count no longer scales logarithmically with the number of quadrature points M_a.
  • Explicit product-formula bounds are obtained that incorporate the truncated position-operator norm.
  • An epsilon-close implementation of the ideal oracle perturbs the postselection probability by only O(epsilon).
  • End-to-end solution fidelity reaches at least 99.90 percent on heat-equation benchmarks with a substantially more compact oracle description than matrix-product-state DV LCHS.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If squeezed-Fock state preparation overhead stays modest, hybrid CV-DV platforms could become preferable for large ODE problems where qubit count is the dominant constraint.
  • The stellar rank N-1 supplies a concrete discrete measure of non-Gaussian resource that could be used to compare hybrid constructions against pure qubit or pure CV alternatives.
  • The same kernel-encoding technique may extend directly to other linear time-dependent ODEs by changing only the Hamiltonian terms inside the product formula.

Load-bearing premise

The finite squeezed-Fock kernel state with stellar rank N-1 can be prepared with acceptable overhead and the product-formula Trotter steps remain practical once position-operator norm truncation is taken into account.

What would settle it

Prepare the finite squeezed-Fock state for successive cutoffs N on a hybrid device, run the LCHS oracle for a fixed heat-equation instance, and check whether the observed truncation error follows the predicted superalgebraic decay while the total qubit count stays below that of an equivalent discrete-variable implementation.

Figures

Figures reproduced from arXiv: 2605.10708 by Ang Li, Elin Ranjan Das, Muqing Zheng, Rishab Dutta, Timothy Stavenger, Yuan Liu.

Figure 1
Figure 1. Figure 1: Algorithmic circuit for CV–DV LCHS in the homogeneous time-independent setting. The state [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Schematic of a single Suzuki–Trotter layer [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Compilation of the hybrid Pauli factor e −i(θ/4)ˆx⊗X2Y1X0 . Basis changes map X2Y1X0 to Z2Z1Z0, a CNOT ladder collects the parity on q0, the oscillator couples through e −i(θ/4)ˆx⊗Z0 , and the circuit is then uncomputed. The block e iθxˆ⊗R2 is obtained by concatenating the four commuting Pauli factors in R2. 5.2.2 Other One-dimensional Boundary Conditions Both remaining boundary conditions are obtained fro… view at source ↗
Figure 4
Figure 4. Figure 4: Circuit-level Law–Eberly state preparation of the finite oscillator seed state. Each [PITH_FULL_IMAGE:figures/full_fig_p016_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Infidelity sensitivity under ideal CV state injection in the refined parameter domain [PITH_FULL_IMAGE:figures/full_fig_p018_5.png] view at source ↗
read the original abstract

We introduce a hybrid oscillator-qubit formulation of linear combination of Hamiltonian simulation (LCHS) for solving linear ordinary differential equations. Instead of representing the quadrature rule with a discrete-variable (DV) ancilla register in qubit-only LCHS, the method encodes the LCHS kernel in a continuous-variable (CV) ancillary mode, thereby eliminating the explicit $O(\log M_a)$ ancilla-qubit overhead, where $M_a$ is the number of discretized integral terms in the DV quadrature rule. We derive analytical error bounds for two main approximation mechanisms for the ideal kernel state preparation, showing superalgebraic convergence for Schwartz-class kernels in the truncation cutoff $N$. The required CV non-Gaussianity is captured by the finite squeezed-Fock kernel state, which generically has stellar rank $N-1$, identifying the truncation cutoff as a discrete measure of the oracle's non-Gaussian resource. For the hybrid oscillator-qubit evolution, we also obtain a product-formula bound showing that a $p$th-order formula requires $O(t^{1+1/p}(\Gamma_{p,N}/\epsilon_t)^{1/p})$ Trotter steps to reach error $\epsilon_t$, where $\Gamma_{p,N}$ collects Pauli commutator terms weighted by powers of the truncated position-operator norm $\|\hat{x}\|_N$. We further derive a perturbation bound for the probability of obtaining the required oscillator measurement outcome, showing that an $\epsilon$-close implementation of the ideal LCHS oracle in operator norm induces only an $O(\epsilon)$ perturbation in the postselection probability. In the heat-equation benchmarks, the Law--Eberly protocol achieves end-to-end solution fidelity at least 99.90%. A comparison with a matrix-product-state-based DV LCHS implementation further shows that, the hybrid construction uses a substantially more compact oracle description with reduce circuit cost.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The manuscript introduces a hybrid oscillator-qubit formulation of linear combination of Hamiltonian simulation (LCHS) for solving linear ODEs. It replaces the discrete-variable ancilla register with a continuous-variable mode to encode the LCHS kernel, eliminating the O(log M_a) ancilla-qubit overhead. Analytical error bounds are provided for kernel preparation showing superalgebraic convergence in truncation cutoff N for Schwartz-class kernels, a product-formula error bound O(t^{1+1/p} (Gamma_{p,N}/eps_t)^{1/p}) for the hybrid evolution, and a perturbation bound on post-selection probability. Benchmarks on the heat equation achieve at least 99.90% fidelity, with a more compact oracle description compared to matrix-product-state DV LCHS.

Significance. If the bounds and resource claims hold, the hybrid LCHS could meaningfully reduce qubit overhead in quantum ODE solvers by leveraging CV modes for quadrature. The explicit analytical error bounds, superalgebraic convergence for Schwartz kernels, and concrete 99.90% benchmark fidelity are strengths. The stellar-rank characterization of non-Gaussianity and the perturbation bound on post-selection are useful contributions. Significance is tempered by the need to confirm that CV truncation does not offset the ancilla savings in total cost.

major comments (2)
  1. Product-formula bound (abstract and associated derivation): The O(t^{1+1/p} (Gamma_{p,N}/eps_t)^{1/p}) bound incorporates Gamma_{p,N} weighted by powers of the truncated ||x||_N. For the squeezed-Fock states with stellar rank N-1 needed for 99.90% fidelity, ||x||_N typically grows at least as sqrt(N). The manuscript must demonstrate that the resulting Trotter-step count, including state-preparation overhead, remains lower than the eliminated O(log M_a) DV ancilla cost; without this explicit comparison the central resource-efficiency claim is not yet substantiated.
  2. Heat-equation benchmarks (abstract): The reported end-to-end fidelity of at least 99.90% and 'substantially more compact oracle' are promising, but the comparison to matrix-product-state DV LCHS lacks quantitative gate-count or depth metrics that incorporate the N-dependent truncation and product-formula steps. This data is required to evaluate whether the hybrid construction delivers a net advantage.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive feedback on our manuscript. We address each major comment point by point below and indicate the revisions we will incorporate to strengthen the presentation of resource claims.

read point-by-point responses
  1. Referee: Product-formula bound (abstract and associated derivation): The O(t^{1+1/p} (Gamma_{p,N}/eps_t)^{1/p}) bound incorporates Gamma_{p,N} weighted by powers of the truncated ||x||_N. For the squeezed-Fock states with stellar rank N-1 needed for 99.90% fidelity, ||x||_N typically grows at least as sqrt(N). The manuscript must demonstrate that the resulting Trotter-step count, including state-preparation overhead, remains lower than the eliminated O(log M_a) DV ancilla cost; without this explicit comparison the central resource-efficiency claim is not yet substantiated.

    Authors: We agree that an explicit end-to-end resource comparison is needed to fully substantiate the net advantage. The superalgebraic convergence established for Schwartz-class kernels permits small N to reach the reported fidelities, limiting the growth of ||x||_N and the resulting Gamma_{p,N} factors. In the revised manuscript we will add a dedicated resource-analysis subsection for the heat-equation benchmark that computes the concrete Trotter-step count (using the derived product-formula bound) together with the state-preparation overhead for the required squeezed-Fock kernel and directly contrasts the total cost against the O(log M_a) ancilla-qubit overhead of the DV implementation. revision: yes

  2. Referee: Heat-equation benchmarks (abstract): The reported end-to-end fidelity of at least 99.90% and 'substantially more compact oracle' are promising, but the comparison to matrix-product-state DV LCHS lacks quantitative gate-count or depth metrics that incorporate the N-dependent truncation and product-formula steps. This data is required to evaluate whether the hybrid construction delivers a net advantage.

    Authors: We concur that quantitative gate-count and depth metrics would make the advantage clearer. The present comparison emphasizes the elimination of the ancilla register and the compact oracle description, yet it does not yet fold in the N-dependent truncation and Trotter overhead. We will therefore augment the benchmark section with explicit estimates of total gate complexity and circuit depth for both the hybrid and DV approaches at the N that achieves 99.90% fidelity, thereby supplying the requested data. revision: yes

Circularity Check

0 steps flagged

No circularity in derivation chain; bounds follow from standard truncation and commutator analysis

full rationale

The paper's analytical error bounds for kernel truncation, superalgebraic convergence for Schwartz-class functions, product-formula Trotter estimates, and post-selection perturbation are obtained by applying established operator-norm techniques to the truncated position operator and ideal LCHS oracle. These steps do not reduce to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations; the stellar-rank identification is a direct consequence of the finite squeezed-Fock construction rather than a tautology. Benchmark fidelities are separate numerical validations. The central resource claim (eliminating explicit DV ancilla overhead) is a direct modeling choice, not a derived prediction that loops back to inputs.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

Abstract-only review limits visibility into explicit free parameters or axioms; the truncation cutoff N and the Schwartz-class assumption appear central but are not quantified here.

free parameters (1)
  • N
    Truncation cutoff for the squeezed-Fock kernel state that controls both stellar rank and error convergence.
axioms (1)
  • domain assumption Schwartz-class kernels permit superalgebraic convergence under truncation
    Invoked to obtain the stated error bounds in the truncation cutoff N.

pith-pipeline@v0.9.0 · 5657 in / 1366 out tokens · 36445 ms · 2026-05-12T05:19:34.764750+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

  1. [1]

    Berry, Andrew M

    Dominic W. Berry, Andrew M. Childs, and Robin Kothari. Hamiltonian simulation with nearly optimal dependence on all parameters. In2015 IEEE 56th Annual Symposium on Foundations of Computer Science, page 792–809. IEEE, October 2015

  2. [2]

    Childs and Nathan Wiebe

    Andrew M. Childs and Nathan Wiebe. Hamiltonian simulation using linear combinations of unitary oper- ations.Quantum Info. Comput., 12(11–12):901–924, November 2012

  3. [3]

    Berry, Andrew M

    Dominic W. Berry, Andrew M. Childs, Richard Cleve, Robin Kothari, and Rolando D. Somma. Simulating hamiltonian dynamics with a truncated taylor series.Physical Review Letters, 114(9), March 2015

  4. [4]

    Berry, Andrew M

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

  5. [5]

    Quantum algorithms and the finite element method.Physical Review A, 93(3), March 2016

    Ashley Montanaro and Sam Pallister. Quantum algorithms and the finite element method.Physical Review A, 93(3), March 2016

  6. [6]

    Childs, Jin-Peng Liu, and Aaron Ostrander

    Andrew M. Childs, Jin-Peng Liu, and Aaron Ostrander. High-precision quantum algorithms for partial differential equations.Quantum, 5:574, November 2021. 21

  7. [7]

    Krovi, Nuno F

    Jin-Peng Liu, Herman Øie Kolden, Hari K. Krovi, Nuno F. Loureiro, Konstantina Trivisa, and Andrew M. Childs. Efficient quantum algorithm for dissipative nonlinear differential equations.Proceedings of the National Academy of Sciences, 118(35):e2026805118, 2021

  8. [8]

    Quantum simulation of partial differential equations via schr¨ odingerization

    Shi Jin, Nana Liu, and Yue Yu. Quantum simulation of partial differential equations via schr¨ odingerization. Physical Review Letters, 133(23), December 2024

  9. [9]

    On schr¨ odingerization-based quantum algorithms for linear dynamical systems with inhomogeneous terms, 2025

    Shi Jin, Nana Liu, and Chuwen Ma. On schr¨ odingerization-based quantum algorithms for linear dynamical systems with inhomogeneous terms, 2025

  10. [10]

    Linear combination of hamiltonian simulation for nonunitary dynamics with optimal state preparation cost.Physical Review Letters, 131(15):150603, 2023

    Dong An, Jin-Peng Liu, and Lin Lin. Linear combination of hamiltonian simulation for nonunitary dynamics with optimal state preparation cost.Physical Review Letters, 131(15):150603, 2023

  11. [11]

    Quantum algorithm for linear non-unitary dynamics with near- optimal dependence on all parameters: D

    Dong An, Andrew M Childs, and Lin Lin. Quantum algorithm for linear non-unitary dynamics with near- optimal dependence on all parameters: D. an, am childs, l. lin.Communications in Mathematical Physics, 407(1):19, 2026

  12. [12]

    Braunstein and Peter van Loock

    Samuel L. Braunstein and Peter van Loock. Quantum information with continuous variables.Reviews of Modern Physics, 77(2):513–577, June 2005

  13. [13]

    Cerf, Timothy C

    Christian Weedbrook, Stefano Pirandola, Ra´ ul Garc´ ıa-Patr´ on, Nicolas J. Cerf, Timothy C. Ralph, Jeffrey H. Shapiro, and Seth Lloyd. Gaussian quantum information.Reviews of Modern Physics, 84(2):621–669, May 2012

  14. [14]

    Quantum simulation of quan- tum field theory using continuous variables.Physical Review A, 92(6), December 2015

    Kevin Marshall, Raphael Pooser, George Siopsis, and Christian Weedbrook. Quantum simulation of quan- tum field theory using continuous variables.Physical Review A, 92(6), December 2015

  15. [15]

    Analog quantum simulation of partial differential equations.Quantum Science and Technology, 9(3):035047, June 2024

    Shi Jin and Nana Liu. Analog quantum simulation of partial differential equations.Quantum Science and Technology, 9(3):035047, June 2024

  16. [16]

    Smith, Eleanor Crane, John M

    Yuan Liu, Shraddha Singh, Kevin C. Smith, Eleanor Crane, John M. Martyn, Alec Eickbusch, Alexan- der Schuckert, Richard D. Li, Jasmine Sinanan-Singh, Micheline B. Soley, Takahiro Tsunoda, Isaac L. Chuang, Nathan Wiebe, and Steven M. Girvin. Hybrid oscillator-qubit quantum processors: Instruction set architectures, abstract machine models, and applications...

  17. [17]

    Constant-factor improvements in quantum algorithms for linear differential equations.arXiv preprint arXiv:2506.20760, 2025

    Matthew Pocrnic, Peter D Johnson, Amara Katabarwa, and Nathan Wiebe. Constant-factor improvements in quantum algorithms for linear differential equations.arXiv preprint arXiv:2506.20760, 2025

  18. [18]

    Implementing any Linear Combination of Unitaries on Intermediate-term Quan- tum Computers.Quantum, 8:1496, October 2024

    Shantanav Chakraborty. Implementing any Linear Combination of Unitaries on Intermediate-term Quan- tum Computers.Quantum, 8:1496, October 2024

  19. [19]

    Co-designing spectral transformation oracles with hybrid oscillator-qubit quantum processors: From algorithms to compilation

    Luke Bell, Yan Wang, Kevin C Smith, Yuan Liu, Eugene Dumitrescu, and SM Girvin. Co-designing spectral transformation oracles with hybrid oscillator-qubit quantum processors: From algorithms to compilation. PRX Quantum, 6(4):040359, 2025

  20. [20]

    Stellar representation of non-gaussian quan- tum states.Physical Review Letters, 124(6), February 2020

    Ulysse Chabaud, Damian Markham, and Fr´ ed´ eric Grosshans. Stellar representation of non-gaussian quan- tum states.Physical Review Letters, 124(6), February 2020

  21. [21]

    Genoni, Matteo G

    Marco G. Genoni, Matteo G. A. Paris, and Konrad Banaszek. Quantifying the non-gaussian character of a quantum state by quantum relative entropy.Phys. Rev. A, 78:060303(R), Dec 2008

  22. [22]

    Genoni and Matteo G

    Marco G. Genoni and Matteo G. A. Paris. Quantifying non-gaussianity for quantum information.Physical Review A, 82(5), November 2010

  23. [23]

    Hamiltonian simulation for hyperbolic partial differential equations by scalable quantum circuits.Phys

    Yuki Sato, Ruho Kondo, Ikko Hamamura, Tamiya Onodera, and Naoki Yamamoto. Hamiltonian simulation for hyperbolic partial differential equations by scalable quantum circuits.Phys. Rev. Res., 6:033246, Sep 2024

  24. [24]

    Quantum dynamics simulation of the advection- diffusion equation.Physical Review Research, 7(4):043318, 2025

    Hirad Alipanah, Feng Zhang, Yong-Xin Yao, Richard Thompson, Nam Nguyen, Junyu Liu, Peyman Givi, Brian J McDermott, and Juan Jos´ e Mendoza-Arenas. Quantum dynamics simulation of the advection- diffusion equation.Physical Review Research, 7(4):043318, 2025

  25. [25]

    Arbitrary control of a quantum electromagnetic field.Physical review letters, 76(7):1055, 1996

    Chi K Law and Joseph H Eberly. Arbitrary control of a quantum electromagnetic field.Physical review letters, 76(7):1055, 1996. 22

  26. [26]

    Synthesizing arbitrary quantum states in a superconducting resonator.Nature, 459(7246):546–549, 2009

    Max Hofheinz, H Wang, Markus Ansmann, Radoslaw C Bialczak, Erik Lucero, Matthew Neeley, AD O’connell, Daniel Sank, J Wenner, John M Martinis, et al. Synthesizing arbitrary quantum states in a superconducting resonator.Nature, 459(7246):546–549, 2009

  27. [27]

    Cavity state manipulation using photon-number selective phase gates

    Reinier W Heeres, Brian Vlastakis, Eric Holland, Stefan Krastanov, Victor V Albert, Luigi Frunzio, Liang Jiang, and Robert J Schoelkopf. Cavity state manipulation using photon-number selective phase gates. Physical review letters, 115(13):137002, 2015

  28. [28]

    Albert, Chao Shen, Chang-Ling Zou, Reinier W

    Stefan Krastanov, Victor V. Albert, Chao Shen, Chang-Ling Zou, Reinier W. Heeres, Brian Vlastakis, Robert J. Schoelkopf, and Liang Jiang. Universal control of an oscillator with dispersive coupling to a qubit.Phys. Rev. A, 92:040303, Oct 2015

  29. [29]

    C2qa - bosonic qiskit

    Timothy J Stavenger, Eleanor Crane, Kevin C Smith, Christopher T Kang, Steven M Girvin, and Nathan Wiebe. C2qa - bosonic qiskit. In2022 IEEE High Performance Extreme Computing Conference (HPEC), pages 1–8, 2022

  30. [30]

    Stavenger, Eleanor Crane, Kevin C

    Timothy J. Stavenger, Eleanor Crane, Kevin C. Smith, Christopher T. Kang, Steven M. Girvin, Nathan Wiebe, et al. Bosonic-Qiskit: Extension of Qiskit to support hybrid boson-qubit simulations.https: //github.com/C2QA/bosonic-qiskit, 2022. C2QA project

  31. [31]

    Efficient cavity control with snap gates.arXiv preprint arXiv:2004.14256, 2020

    Thomas F¨ osel, Stefan Krastanov, Florian Marquardt, and Liang Jiang. Efficient cavity control with snap gates.arXiv preprint arXiv:2004.14256, 2020

  32. [32]

    Thol´ en, Riccardo Borgani, David B

    Marina Kudra, Mikael Kervinen, Ingrid Strandberg, Shahnawaz Ahmed, Marco Scigliuzzo, Amr Osman, Daniel P´ erez Lozano, Mats O. Thol´ en, Riccardo Borgani, David B. Haviland, Giulia Ferrini, Jonas Bylan- der, Anton Frisk Kockum, Fernando Quijandr´ ıa, Per Delsing, and Simone Gasparinetti. Robust preparation of wigner-negative states with optimized snap-dis...

  33. [33]

    Simulating electronic structure on bosonic quantum computers.J

    Rishab Dutta, Nam P Vu, Chuzhi Xu, Delmar GA Cabral, Ningyi Lyu, Alexander V Soudackov, Xiaohan Dan, Haote Li, Chen Wang, and Victor S Batista. Simulating electronic structure on bosonic quantum computers.J. Chem. Theory Comput., 21(5):2281–2300, 2025

  34. [34]

    Kyungjoo Noh, S. M. Girvin, and Liang Jiang. Encoding an oscillator into many oscillators.Phys. Rev. Lett., 125:080503, Aug 2020

  35. [35]

    Concatenated dual displacement code for continuous-variable quantum error correction.Phys

    Fucheng Guo, Frank Mueller, and Yuan Liu. Concatenated dual displacement code for continuous-variable quantum error correction.Phys. Rev. Res., pages –, Apr 2026

  36. [36]

    CV-DV-LCHS.https://github.com/Firepanda415/CV-DV-LCHS, 2026

    Muqing Zheng. CV-DV-LCHS.https://github.com/Firepanda415/CV-DV-LCHS, 2026

  37. [37]

    European Mathematical Society Z¨ urich, 2008

    Christian Lubich.From quantum to classical molecular dynamics: reduced models and numerical analysis, volume 12. European Mathematical Society Z¨ urich, 2008

  38. [38]

    Convergence analysis of hermite approximations for analytic functions, 2025

    Haiyong Wang and Lun Zhang. Convergence analysis of hermite approximations for analytic functions, 2025

  39. [39]

    Childs, Yuan Su, Minh C

    Andrew M. Childs, Yuan Su, Minh C. Tran, Nathan Wiebe, and Shuchen Zhu. Theory of trotter error with commutator scaling.Physical Review X, 11(1), February 2021. A Appendix A.1 Proof of Theorem 1 SinceA=L+iH, the solution of the initial-value problem is |u(t)⟩=e −At |u0⟩=e −t(L+iH) |u0⟩. By the LCHS representation, the non-unitary evolution generated byL+i...

  40. [40]

    , Gp+1)∥

    mixed commutators containing at least oneA i and at least oneB j; Γouter p ≡ X G1,...,Gp+1∈G at least oneG k∈{Ai}i and at least oneG k∈{Bj }j ∥C(G1, . . . , Gp+1)∥

  41. [41]

    , Aip+1)

    pureA i commutators; ΓL p ≡ X i1,...,ip+1 C(A i1 , . . . , Aip+1)

  42. [42]

    ΓH p ≡ X j1,...,jp+1 C(B j1 ,

    pureB j commutators. ΓH p ≡ X j1,...,jp+1 C(B j1 , . . . , Bjp+1) . For a mixed nested commutator containing exactlyaterms of typeA i andp+ 1−aterms of typeB j, submul- tiplicativity of the operator norm implies ∥C(G1, . . . , Gp+1)∥ ≤ ∥ˆx∥a N ∥C(R1, . . . , Rp+1)∥, where eachR k is the corresponding Pauli-level operator drawn from{α iPi}i ∪ {βjQj}j. Summ...