Open Access Article
Jungsoo Honga,
Seong Ho Kimb,
Seung Kyu Min
*b and
Joonsuk Huh
*cd
aSKKU Advanced Institute of Nano Technology (SAINT), Sungkyunkwan University, Suwon 16419, Republic of Korea
bDepartment of Chemistry, Ulsan National Institute of Science and Technology, Ulsan 44919, Republic of Korea. E-mail: skmin@unist.ac.kr
cDepartment of Chemistry, Yonsei University, Seoul 03722, Republic of Korea. E-mail: joonsukhuh@yonsei.ac.kr
dDepartment of Quantum Information, Yonsei University, Seoul 03722, Republic of Korea
First published on 23rd April 2026
Hybrid oscillator–qubit processors have recently demonstrated high-fidelity control of both continuous- and discrete-variable information processing. However, most quantum algorithms remain limited to homogeneous quantum architectures. Here, we present a compiler for hybrid oscillator–qubit processors that implements state preparation and time evolution. In this setting, the compiler invokes generalized quantum signal processing (GQSP) to synthesize arbitrary analytic bosonic phase gates in a constructive manner, with circuit depth scaling as
. The approximation cost scales with the Fourier bandwidth of the target bosonic phase, rather than with the degree of nonlinearity. Armed with OQ-GQSP, multi-state vibronic coupling Hamiltonian dynamics can be decomposed into state-dependent arbitrary-phase potential propagators, which also enable extension to multi-state systems through the parity-measurement technique. Compared to fully discrete encodings, our approach avoids the overhead of truncating continuous variables, resulting in linear dependence on the number of vibrational modes. We validate our method on the uracil cation, a canonical system whose accurate modeling requires anharmonic vibronic models, and estimate the cost of state preparation and time evolution.
Such hybrid control naturally matches problems where CV and DV degrees of freedom coexist. The simulation of nonadiabatic molecular dynamics, which requires explicit inclusion of electron–nuclear couplings, represents a regime where hybrid oscillator–qubit architectures are expected to outperform homogeneous qubit-based processors and classical methods.5,6 Simulations of such hybrid CV–DV systems on qubit-only hardware incur additional overheads to represent high-dimensional bosonic operators with binary qubits. Although a single truncated oscillator uses only a logarithmic number of qubits, the dominant overheads lie in arithmetic and phase-synthesis steps. From a classical perspective, multiconfiguration time-dependent Hartree (MCTDH)7 scales exponentially with the number of modes, and linear-vibronic-coupling (LVC) analog quantum simulators5,8–10 are effectively near-harmonic, failing to capture essential anharmonic effects. This motivates the development of a more general compiler for nonlinear bosonic dynamics on hybrid CV–DV hardware. Recent bosonic quantum device frameworks have extended digital quantum simulation to anharmonic vibrational dynamics.11,12 Here we focus on the complementary nonadiabatic vibronic dynamics in hybrid oscillator–qubit quantum devices, where anharmonic bosonic phase gates are synthesized conditionally on electronic states within a multistate Hamiltonian.
In this paper, we introduce oscillator–qubit generalized quantum signal processing (OQ-GQSP), a method for synthesizing arbitrary bosonic phase gates. This approach overcomes the challenges of implementing non-Gaussian operations through a constructive framework that enables robust and analytic determination of gate parameters. OQ-GQSP invokes generalized quantum signal processing (GQSP)13 in oscillator–qubit architectures, allowing hybrid processors to implement arbitrary analytic potential propagators conditioned on electronic states—an essential capability for simulating nonadiabatic molecular dynamics. We apply this method to the uracil cation,14 a pyrimidine nucleobase central to understanding RNA radiation damage and photostability, whose ultrafast relaxation through conical intersections (CIs) requires anharmonic models to accurately capture nonadiabatic dynamics.
Because OQ-GQSP inherits the quantum signal processing structure, it supports both coherent15 and incoherent accumulation schemes for composing multiple OQ-GQSP blocks. In this work, we employ incoherent accumulation, which reduces circuit depth at the cost of heralded measurements. The success probability of heralded measurements increases with circuit depth, enabling a quantitative trade-off analysis for optimizing resource budgets on a given hardware specification.
The hybrid oscillator–qubit quantum architecture organizes the solution into five steps: (i) the application layer defines ultrafast relaxation dynamics as the target problem; (ii) an algorithmic layer realizes this as time evolution under the anharmonic vibronic model; (iii) a compiler layer synthesises the bosonic nonlinear phase gates needed by the anharmonic vibronic model; (iv) the instruction set architecture (ISA) enumerates the native oscillator–qubit operations;16 (v) finally, the hardware layer comprises trapped ions and circuit-QED that implement those primitives. Each lower layer exists only to support the one above it, guaranteeing that every step of the stack is both necessary for chemical accuracy and sufficiently native for quantum hardware. Fig. 1 provides a visual summary of our workflow, including these layers. We encode the four electronic states of the uracil cation in a qubit-encoding representation, map off-diagonal vibronic couplings to multi-controlled displacement (MCD) gates, and implement diagonal anharmonic potentials through OQ-GQSP. The complete circuit evolves via Trotterized time evolution, directly incorporating both linear couplings and nonlinear anharmonic potential effects at each timestep.
The remainder of this paper is organized as follows. The theory section presents the theoretical framework for anharmonic vibronic coupling models and introduces the uracil cation Hamiltonian as our example system. The method section details the compilation stages including the ISA of oscillator–qubit systems and our OQ-GQSP algorithm for implementing anharmonic potentials. The numerical experiments section provides numerical demonstrations of the potential energy surface reconstruction and comparative dynamics simulations. In the resource estimation section, we compare the computing resources and time complexity for simulating the vibronic coupling model. In the discussion and conclusions section, we discuss the challenges of the OQ-GQSP method and compare it with other methods.
r} (r ∈ {0, …, M − 1}) with
, the vibronic coupling Hamiltonian takes the form:
![]() | (1) |
and
0 denote the kinetic and potential energy operators, respectively, and Ŵ describes additional changes in the potential with respect to
0. The momentum and position operators can be defined as
and
, where âr and ↠are the bosonic annihilation and creation operators, respectively with ωr denoting the harmonic frequency of mode r. The coupling functions hnm({
r}) depend on the position operators and determine both the molecular physics and the computational complexity of the dynamics simulation which can be expanded as
for diagonals and
for off-diagonals (n ≠ m). Here, reference electronic energies En, and coefficients (κ, γ, λ, and µ) can be determined as parameters at the reference geometries. Conventionally, En can be included in the reference Hamiltonian Ĥ0 as
, while Ŵ is treated as a first-order expansion.
![]() | (2) |
r) is a single-mode function neglecting diagonal mode–mode couplings. Under planar Cs symmetry, first-order interstate couplings between states of different symmetry are mediated by a″ modes. In the adopted reduced parametrization of ref. 17, bilinear diagonal inter-mode terms γrs(n)(r ≠ s) and all second- (or higher-) order interstate terms µrs(nm) were omitted because their fitted magnitudes were negligible for reproducing the PE spectra, while diagonal second-order terms were retained only in the single-mode form γrr(n). A proper treatment of the neglected multidimensional terms would also require a substantial increase in the fitting effort.
Once one adopts fr(n)(
r) = κr(n)
r + γr(n)
r2, the Hamiltonian reduces to the quadratic vibronic coupling (QVC) model. However, the limitations of the QVC approximation are numerically demonstrated in SI II. To accurately reproduce the PE spectra, higher-order anharmonic terms such as kr(n)
r4 and Morse potentials Vr(n)(
r) are introduced, replacing the harmonic potential
in Ĥ0. Fig. 2 shows the form of the model Hamiltonian without Ĥ0, coupled to the important normal mode coordinates. For the uracil cation, Morse functions for bond-stretching modes (ν24, ν25, and ν26) and quartic functions for out-of-plane deformations (ν10 and ν12) are introduced. The off-diagonal elements between |D0〉 and |D3〉 or between |D2〉 and |D3〉 are non-zero in principle because they are symmetry-allowed through a″ modes, but in the adopted reduced model they were treated as negligible and therefore set to zero. The specific parameter values are tabulated in ref. 17 and 21 and also given in Tables S.1–S.3 of SI I.
![]() | ||
Fig. 2 Four-state vibronic coupling model Hamiltonian for the uracil cation. is the Morse potential. | ||
Modern trapped-ion and circuit QED platforms provide an ISA that includes conditional displacements, conditional phase space rotations, and multi-qubit gates.1,16 Our compilation strategy systematically translates the molecular Hamiltonian into sequences of these hardware-native operations. The compilation proceeds in three stages: (1) encoding electronic states using an inverted unary representation that facilitates multi-level control operations, (2) implementing off-diagonal linear couplings through MCD gates, and (3) realizing diagonal anharmonic potentials via OQ-GQSP that extends the capabilities of the basic instruction set.
| |D0〉 ↦ |1110〉, |D1〉 ↦ |1101〉, |D2〉 ↦ |1011〉, |D3〉 ↦ |0111〉. | (3) |
This encoding offers two critical advantages over binary representations. First, it enables direct implementation of electronic transitions |Dn〉〈Dn| using two-body operations on qubits n and m, minimizing the additional complex multi-qubit gates required in binary encoding. Second, the redundancy of unary basis states reduces unwanted interference when applying OQ-GQSP to different electronic subspaces—a crucial requirement for implementing block-diagonal anharmonic potentials. The choice of inverted unary encoding over ordinary unary encoding is motivated by its natural alignment with the original GQSP signal operator. Ordinary unary encoding is also compatible with our construction and the two choices differ only by single-qubit Pauli X gates in computational cost.
r translate naturally to MCD operations in oscillator–qubit architectures.22
The ISA of oscillator–qubit platforms provides the building blocks for constructing MCD gates.1 The conditional displacement (CD) gate CDq,r(θ): = |0〉q〈0|q⊗e+iθ
r + |1〉q〈1|q⊗e−iθ
r implements spin-dependent position displacements and serves as the primary gate throughout the compilation stages. In trapped ions, this is realized through red and blue sideband transitions that produce state-dependent forces.23 Circuit QED achieves the same operation through echoed conditional displacement (ECD) sequences with dispersive coupling between transmon qubits and microwave cavities.4 Additionally, two-qubit gates and single qubit Clifford gates complete our native instruction set for constructing MCD operations. For example, the vibronic interaction between |D0〉 and |D1〉 can be decomposed as:
![]() | (4) |
This set of operations is capable of directly implementing nonadiabatic dynamics of multilevel linear couplings and harmonic potentials, while this instruction set still cannot implement anharmonic terms that are essential for accurate molecular dynamics.
The key insight is that a sequence of non-commuting gates can effectively accumulate nonlinear effects.24 Rather than explicitly reconstructing interaction terms order by order and canceling unwanted contributions via BCH expansions, Park et al.25 employed a direct Fourier series approximation with iterative non-commuting Rabi gates. Using this method, for example, a quartic potential term such as exp(i0.2
4) can be approximated with ten Rabi gates, achieving a fidelity of 0.9932.
A critical caveat in applying such gates to quantum dynamics is the vacuum-state dependence of the synthesized nonlinear bosonic phase gates. This dependence can introduce systematic errors when acting on general time-evolved states beyond the initial vacuum state. Notably, the iterative structure of Rabi gate sequences25 for generating Fourier series functions is formally analogous to quantum signal processing (QSP) applied to the oscillator–qubit hybrid system. QSP can represent a continuous function of the matrix with non-commuting sequences where angle parameters can be efficiently calculated.26,27 As typically used with QSP, Jacobi–Anger expansions with Chebyshev polynomials may offer improved robustness and convergence than Fourier series approximations. However, their implementation requires direct block encodings of bosonic operators such as
—which, to the best of our knowledge, remains infeasible on hybrid oscillator–qubit architectures. In particular, ref. 28 demonstrates a QSP implementation on hybrid architectures by block-encoding bosonic phase operators using the CD gate, which acts as a Z-basis signal operator.
Within the conventional QSP framework, one aims to represent e−ixτ approximately by a polynomial in the input variable x, later promoted to the operator or Hamiltonian, with τ denoting a real parameter corresponding to the effective simulation time.29 However, as emphasized in ref. 29, this approach encounters fundamental limitations. The standard QSP constructs real polynomials with fixed parity in default. Extending the class of functions that can be approximated beyond even or odd requires additional circuit depth of linear combination of unitaries.
GQSP13 lifts these limitations by generalizing the signal operator from U(1) rotations to SU(2) rotations, and by introducing an asymmetric signal operator of the form
. This generalization eliminates the parity constraints and permits the construction of polynomials with arbitrary complex coefficients. The theorem of GQSP is often stated as follows for the case including positive and negative powers of a Laurent polynomial:13,26,30
Theorem 1 (Generalized Quantum Signal Processing (GQSP)13). Let ϕ = (ϕ−d, …, ϕd) and θ = (θ−d, …, θd). For any
, there exist parameters
and
such that:
![]() | (5) |
![]() | (6) |
if and only if:
| 2. |F(x)|2 + |G(x)|2 = 1 |
In ref. 13, generating nonlinear phase functions via GQSP proceeds through a two-step approximation strategy. First, the target potential V(x) is approximated by a truncated Fourier series. Second, each exponential term of the form exp(ian
cos(nx)) or exp(ibn
sin(nx)) is further expanded using the Jacobi–Anger identity:
![]() | (7) |
![]() | (8) |
and Jn denotes the n-th Bessel function of the first kind. This indirect construction incurs additional overhead due to the nested use of both Fourier and Jacobi–Anger expansions.
As an alternative, we adopt a direct Fourier-based approach in which the nonlinear bosonic phase gate exp(iV(
)Δt) is expressed as a Laurent polynomial:
![]() | (9) |
are Fourier coefficients and V is an analytic potential function. This formulation is natively compatible with GQSP and avoids the compounded approximation cost associated with the Jacobi–Anger expansion.
We now apply GQSP (Theorem 1) to oscillator–qubit processors. The first step is to construct the GQSP signal operators from native bosonic gates. On both trapped-ion31 and circuit-QED4,32 platforms, the Z-basis controlled displacement CDz(ξ) = eiξ
z
and the unconditional displacement D(ξ) = eiξ
are native operations. With Û = eiπ
/L, the complementary signal operators
![]() | (10) |
are constructed without ancilla qubits using A
= CDz(π/2L)·D(π/2L): the |0〉q component acquires displacement ei(+π/2L+π/2L)
= Û, while the |1〉q component sees
, and B
follows analogously. Inserting these into the GQSP circuit of Theorem 1 yields the OQ-GQSP operator (Fig. 3):
![]() | (11) |
is an arbitrary degree-d Fourier series of the bosonic phase operator with period 2L. Unlike the previous hybrid oscillator–qubit Z-basis QSP,28 OQ-GQSP removes parity restrictions on the Fourier series, enabling the synthesis of arbitrary bosonic phase functions. Given a target F(Û) satisfying the GQSP admissibility conditions of Theorem 1, the required angle parameters
and
are obtained by classical preprocessing: the inverse nonlinear Fast Fourier Transform on SU(2),27 which recovers all 4d + 3 angles in
time with numerical stability. Armed with this construction, state-dependent nonlinear bosonic phase gates can be implemented on a hybrid oscillator–qubit processor as depicted in Fig. 4.
![]() | ||
| Fig. 4 Quantum circuit for a state-dependent nonlinear bosonic phase gate with OQ-GQSP. |ψD〉 is an electronic state encoded with unary code. | ||
Lemma 1 (OQ-GQSP for a state-dependent nonlinear bosonic phase gate). Given a state in oscillator–qubit processor |ψD〉|osc〉|0〉a with inverted-unary-encoded qubits |ψD〉 = a0|D0〉 + a1|D1〉 + a2|D2〉 + a3|D3〉, an oscillator |osc〉, and an ancilla qubit |0〉a, we can implement a state-dependent nonlinear bosonic phase gate ei|Dn〉〈Dn|Vnr(
r) with two OQ-GQSP operators and two measurements, each with success probability 1 − δ where δ = ‖G(Û)‖2 ≪ 1.
This lemma completes our ISA for simulating anharmonic vibronic dynamics. The inverted unary encoding enables selective application of anharmonic potentials. The high success probability (1 − δ) with δ ≪ 1 makes this approach feasible for dynamical simulations of intermediate-sized molecules. Fig. 4 depicts the circuit implementation, showing how the ancilla qubit mediates between the electronic state and the oscillator to produce the desired state-dependent evolution. With both off-diagonal linear couplings via MCD gates and diagonal anharmonic potentials via OQ-GQSP now compilable, we can construct the complete quantum circuit for simulating uracil cation dynamics. Moreover, when the off-diagonal coupling itself is anharmonic, i.e. (|n〉〈m| + |m〉〈n|)⊗fnm,r(
r) with a nonlinear fnm,r, the corresponding propagator can be reduced to two diagonal state-dependent OQ-GQSP blocks by diagonalizing the electronic transition operator via a two-level Givens rotation on the {|n〉, |m〉} subspace (SI III D).
![]() | (12) |
To simulate the electronic population dynamics Pn(t) = 〈ψ(t)|
n|ψ(t)〉 with
, we evolve the initial state |ψ0〉 for total time t divided into p Trotter steps (Fig. 5). We target a total simulation error ε split equally between Trotterization and Fourier truncation: εTrot = εFourier = ε/2. Using the standard first-order product-formula error bound33 ‖U(t) − UTrot(t; p)‖ ≤ Γt2/p, where Γ is a commutator bound, the number of Trotter steps is p = ⌈Γt2/εTrot⌉ with Δt = t/p.
![]() | (13) |
By the strip-analytic Fourier-extension bound (Lemma 2 in SI III), the required degree is
. Lemma 1 then implements each state-dependent propagator
with
CD gate queries.
, where εtrunc is the Fourier-extension truncation error, ρFE = eπσ/Leff > 1 is the geometric convergence rate, Leff = τL is the enlarged Fourier-extension period with τ > 1, and σ is the strip half-width of the holomorphic extension; see SI III C for the full derivation. The GQSP phase factors, computed via the inverse nonlinear FFT on SU(2),27 amplify errors by at most poly(d) ≪ eαd, preserving the exponential convergence. Choosing
yields
, so that
, with the success-probability overhead absorbed into a constant factor.
CD queries, and the off-diagonal LVC terms (already linear, requiring no Fourier expansion) contribute
MCD queries. The total gate count per Trotter step is therefore
![]() | (14) |
Fig. 6 presents the Wigner function representation of the target and approximated gates. The target gate implements the Morse potential
for a time step Δt = 3.0 fs. Using d = 39 Fourier components, the initial OQ-GQSP approximation achieves a fidelity of F = |〈ψ0|Û†targetÛOQ-GQSP|ψ0〉|2 = 0.9229 for the general state. The truncation error ε can be reduced by increasing the number of Fourier series terms
, and the proof is given in SI III. The characteristic interference pattern visible in Fig. 6(b) stems from the finite Fock state truncation with the iterative gate sequence from OQ-GQSP.
To improve the approximation, we employ a local optimization procedure that refines the GQSP angles {θj, ϕj, λ} to maximize the fidelity with vacuum-state dependency. This approach works well for dynamics near the reference geometry or initial state preparation prior to bosonic algorithms such as analog quantum phase estimation.34 However, general applications with significant vibrational excitation may require the unoptimized gates to maintain robust accuracy across the full phase space. After optimization, the fidelity improves to 0.9999, with the Wigner function becoming visually indistinguishable from the target (Fig. 6(c)).
We initialize the system in electronic states D3 and D2 with the anharmonic mode ν26 in its vibrational ground state. The dominant spectral mode ν21 is displaced by −4 atomic units from its ground state, corresponding to vertical excitation from the neutral molecule. Fig. 7 shows the electronic population dynamics over 80.1 fs for the three levels of approximation defined in the caption.
We observe population transfer between |D0〉 and |D2〉 and between |D1〉 and |D3〉 due to the non-zero off-diagonal elements in the vibronic coupling Hamiltonian shown in Fig. 2. Quantitatively, taking PD3(t) in panel (a) and PD2(t) in panel (b) as representative observables, the OQ-GQSP trajectories remain nearly indistinguishable from the “diag + Trotter” reference in both reduced subspaces: the mismatch |POQ − Pdiag+Trotter| peaks at only 2.94 × 10−3 in panel (a) and 1.36 × 10−4 in panel (b) over the full 80.1 fs window. By contrast, the Trotter mismatch relative to the no-Trotter “diag” propagation, |Pdiag+Trotter − Pdiag|, reaches 3.28 × 10−2 in panel (a) and 1.51 × 10−2 in panel (b). Thus, for this reduced model and time window, the dominant difference from the no-Trotter benchmark arises from the product formula rather than from the compiled nonlinear phase gates. Because the “diag + Trotter” and OQ-GQSP curves share the same first-order structure, their difference isolates the Fourier/QSP synthesis error in the nonlinear diagonal propagators. The Fourier truncation error ε can be systematically reduced by increasing the Fourier degree
; in practice we choose d from the strip-analytic bound together with direct convergence checks for the phase function and the resulting population dynamics. The SI reports an extended hierarchy including an independent MCTDH benchmark using a harmonic-oscillator discrete-variable representation (HO-DVR) primitive basis (Fig. S3). We note that the unoptimized OQ-GQSP gates provide state-independent accuracy governed by the Fourier truncation bound, while the local vacuum-state optimization offers an additional fidelity boost for near-vacuum states at no extra circuit depth cost.
; see Section V. Expressivity markers: ✓ = native coverage of the full vibronic coupling class; △ = native polylog-in-ε gate count for single-mode anharmonic potentials (diagonal directly; off-diagonal via the Givens-rotation reduction, SI III D); genuinely multi-mode anharmonic couplings with native polylog-in-ε gate counts might require the multivariate QSP extension of Section VI. Parameters: N = electronic states, M = vibrational modes, nSPF = single-particle functions, np = MCTDH combined-mode coordinates (“particles”), dsys = system coordinates, Nbasis = primitive basis per DOF, s = Hamiltonian terms, dpoly = polynomial-approximation degree, K = grid points, ε = target accuracy, p = Γt2ε−1 = Trotter layers, Γ = commutator bound, and t = simulation time
As a classical baseline, conventional single-layer MCTDH7 exhibits exponential memory scaling with the number of particles and system coordinates and is therefore typically restricted in practice to systems with on the order of 10–15 vibrational modes, whereas multi-layer MCTDH35 can substantially extend the accessible dimensionality for structured problems. Accordingly, our comparison is intended to emphasize the rapid growth of exact quantum-dynamical cost rather than a universal hard cutoff in the number of modes. Both quantum approaches require only polynomial quantum resources, with OQ-GQSP exploiting native bosonic modes to minimize the qubit-digitization overhead represented by log
K in Motlagh et al.11 In the single-variate-Hamiltonian regime considered here (single-mode diagonal anharmonicity plus linear off-diagonal couplings), Motlagh's general multi-variate polynomial-term factor
reduces to
, giving the per-Trotter-step cost
reported in the caption of Table 1. For analytic Morse-type potentials, the polynomial-approximation degree (from Taylor, Chebyshev, or an equivalent least-squares fit) scales as
, so Motlagh's effective accuracy scaling is log2(1/ε)log2
K. OQ-GQSP instead uses a single Fourier degree
, replacing the squared polylog by a single polylog and eliminating the log2
K qubit-digitization overhead. For genuinely multi-mode couplings (beyond the scope adopted here), the general factor
re-emerges for both methods, and OQ-GQSP would require the multivariate QSP extension discussed in Section VI. Although OQ-GQSP achieves linear scaling with the number of vibrational modes, it is worth asking whether the success probability factor (1 − δ)−2MNp could be a bottleneck for molecules containing numerous strongly anharmonic modes. However, the success probability decreases exponentially with the degrees of OQ-GQSP
. With only a logarithmic increase in time complexity, the success probability overhead can be made constant with respect to the system size. For the uracil cation consisting of 4 electronic states and 12 vibrational modes, there exist 5 quartic and Morse potential modes M′ = 5. For M′N = 20 and target success probabilities 1 − δ ≈ 0.9988 and 0.9997, the required number of shots increases by factors of approximately 122 and 3.14, respectively, over 100 Trotter layers. However, the corresponding OQ-GQSP degrees required to synthesize the nonlinear phase gates are 116 and 261, respectively. These values are illustrative trade-off markers under the fully coherent assumption,26,27 although they are unlikely to be used directly in the near-term. This shows the trade-off between circuit depth and shot overhead: one may reduce the OQ-GQSP degree to shorten circuits at the expense of additional sampling overhead.
While OQ-GQSP represents a step toward practical molecular quantum simulation in oscillator–qubit architectures, several limitations remain. One major challenge is the exponential decay in the probability of success. A fully coherent implementation of multiplying block encoded matrices without the repeated measurements would require ancilla qubits and deeper circuits.15 Since oscillator–qubit platforms are unlikely to operate in a fully fault-tolerant regime, and rather are likely to have advantages in near-term or early-fault tolerant devices,6 we adopted an incoherent protocol with classical overheads instead. As shown in SI III D, single-mode off-diagonal anharmonic couplings are already compilable via a Givens-rotation reduction to diagonal OQ-GQSP blocks. Extending the framework to fully general multivariate nonlinear potentials fnm(
0,…,
M−1) requires multivariate QSP (M-QSP). However, efficient angle-finding techniques and complete characterization of the achievable multivariable polynomials remain open problems, despite recent progress.36–41 From the perspective of quantum machine learning, data re-uploading—a close analogue of M-QSP—is a universal approximator for multivariate functions, although the practicality is an open problem. At least, this theory suggests that general multivariate bosonic operators can, in principle, be numerically synthesized within the M-QSP framework.42 We have recently become aware of related simultaneous work,43 along with an experimental demonstration on trapped ions,44 that decomposes the Hamiltonian with a Fourier series for bosonic QSP. Specifically, their method decomposes the Hamiltonian rather than its unitary and implements each term via trigonometric gates, yielding analytic control parameters at the cost of an additional intra-compilation Trotter error, whereas our OQ-GQSP performs unitary-level Fourier synthesis with angles obtained numerically from the inverse nonlinear FFT on SU(2).27 While their work focuses on generating anharmonicities and multi-mode nonlinear couplings, our OQ-GQSP framework is tailored for the constructive synthesis of state-dependent anharmonic potential propagators for multi-state electronic systems. On the hardware side, quantum error correction for oscillators remains less developed than for qubits.45–49 More flexible non-stabilizer bosonic codes, tailored to specific tasks, may provide a potential pathway forward. For quantum errors in the near term, recent experiments indicate passive error suppression in QSP-type sequences50,51 and an error mitigation technique for hybrid quantum processors is suggested.52
We position OQ-GQSP between fully analog and fully digital approaches to molecular dynamics simulation: a compiler that preserves bosonic modes yet synthesizes anharmonic diagonal potentials with OQ-GQSP on oscillator–qubit ISAs. Recent experiments on trapped-ion and circuit QED platforms8–10 demonstrated geometric-phase interference around CIs for minimal models, validating the concept of hybrid oscillator–qubit analog simulators.5 Theoretical proposals for pre-Born–Oppenheimer (BO) analog simulators22 extend this approach beyond the vibronic coupling model for harmonic potential Hamiltonians. Their coupled multi-qubit-boson mapping achieves exponential savings versus classical complete active space configuration interaction (CASCI)-level dynamics but still relies on Trotterized time evolution and continuous analog control of trapped-ion or circuit-QED motional modes, with resource scaling
, where No is the number of spin-orbitals. One may combine ref. 22 and OQ-GQSP methods leading to a generalized pre-BO framework to include anharmonic potentials in quantum simulation of coupled electron-nuclear dynamics. The fully digital quantum approach of Motlagh et al.11 achieves quantum simulation for the general vibronic coupling Hamiltonian by digitizing bosonic degrees of freedom. Their singlet fission case study for a 6-state, 21-mode model requires 154 qubits and 2.76 × 106 Toffoli gates for 100 femtoseconds of dynamics, illustrating the cost of full digitization. OQ-GQSP offers a constructive middle ground: it preserves bosonic modes in their native Hilbert space while synthesizing anharmonic diagonal potentials through GQSP on oscillator–qubit ISAs. This hybrid strategy directly compiles analytic potentials into hardware-native gates, establishing a general instruction-set architecture in post-noisy-intermediate-scale-quantum (NISQ) or pre-fault-tolerant trapped-ion and circuit-QED platforms. Future work might extend the framework toward multivariate QSP for coupled anharmonic modes and explore efficient and coherent implementations without the heralded scheme.
| This journal is © The Royal Society of Chemistry 2026 |