Abstract
We present an adaptable, fast, and robust method for integrating the time-dependent Schrödinger equation. We apply the method to calculations of High Harmonic (HHG) and Above Threshold Ionisation (ATI) spectra for a single atomic electron in an intense laser field. Our approach implements the stabilized bi-conjugate gradient method (BiCG-STAB) for solving a sparse linear system to evolve the electronic wavefunction in time. The use of this established method makes the propagation scheme less restrictive compared to other schemes which may have particular requirements for the form of the equation, such as use of a three-point finite-difference approximation for spatial derivatives. Our method produces converged solutions significantly faster than existing methods, particularly if high accuracy is required. We demonstrate that this approach is suitable for a range of different parameters and show that in many circumstances significant gains can be made with the use of a fourth-order time propagator as opposed to the more common second-order Crank-Nicolson (CN) method.
Similar content being viewed by others
Introduction
There is substantial interest in using the interaction of atoms in intense laser fields as a source of coherent short-wavelength light1,2,3,4,5. Such light sources are attractive for their laboratory scale and are the foundation of attosecond science, which exploits the sub-cycle dynamics of electron behaviour to probe matter directly on its natural timescale6,7,8,9.
Numerical integration of the Time-Dependent Schrödinger Equation (TDSE) has been an essential tool in understanding intense laser-atom interactions since practical applications of this field of research became apparent with the discoveries of Above Threshold Ionization (ATI)10 and High Harmonic Generation (HHG)11. Direct solution of the TDSE provides an ab initio treatment of the interaction capable of dealing exactly with its non-linear nature, which has historically been exploited to obtain insights that would not be possible with analytic or approximate methods12.
Despite the centrality of the TDSE to this field, high accuracy computations are rarely performed. This is due in part to the substantial computational requirements of such a task, but also due to the difficulty in directly comparing the results of numerical simulation with experimental observables. This is a result of both uncertainty in the precise form of the laser field and the necessity of making approximations in treating many electron atoms.
Interest in accurate numerical data, however, has increased recently largely due to developments in laser science that allow for the creation of tailored laser fields13 as well as experiments using atomic hydrogen as the interaction medium — a system for which the single particle Hamiltonian can be expressed exactly — and the use of such experiments for laser calibration14,15,16.
Although established techniques for integrating the TDSE17,18,19,20,21,22,23 can, in principle, work to arbitrary accuracy, they are not generally amenable to high accuracy simulations since computation time scales poorly with increased demand for accuracy. The commonly used split-step operator method19,20 separates the Hamiltonian into a field-free (atomic) term and an interaction (laser) term and uses a second-order decomposition of the time propagator,
which has an error proportional to the second-order commutator of the two terms that can be large at small radial distances22. Higher-order split operator methods have been developed based on higher-order factorisations of the exponential propagator24,25,26,27,28 and have been shown to be superior to the second-order method. Fundamentally however, these methods all rely on a division of the Hamiltonian, which adds complexities to the propagation such as the requirement for negative or complex time steps at high orders. The method we propose is simple and general in that it treats the Hamiltonian directly, eliminating the need for transformations between bases. Spectral methods17, while accurate in the sense that they compute the momentum operator to all orders, are computationally restrictive due to reliance on the fast Fourier transform.
An alternative to split operator methods, based directly on the Crank-Nicolson (CN) propagator, is the Matrix Iterative (MI) scheme22, which performs the matrix inversion by an iterative procedure that switches between the off-diagonal and diagonal parts of the Hamiltonian. Although this method has the advantage of avoiding operator splitting, it requires the direct solution of the atomic part of the propagator, which places restrictions on the form of the propagator and its discretization. Specifically, to be efficiently computed, the atomic Hamiltonian must be represented by nothing more complex than a tridiagonal matrix. In practice, this means the spatial derivatives must be represented by a three-point difference formula. We demonstrate that this is a clear disadvantage and significantly increases the number of grid points needed to meet a given accuracy. Similarly, MI uses the second-order CN method, which places a strong upper limit on the size of the time step that can be taken. For simulations where the interaction term is very large, this can lead to an unacceptable loss of accuracy making high accuracy simulations a demanding task.
The difficulty in implementing implicit schemes with higher-order spatial and temporal derivatives is that matrix inversion becomes inefficient by direct means. We show, however, that a general approach to solving the matrix equation that arises from implicit propagation schemes such as CN, based on the Stabilized Bi-Conjugate Gradient method (BiCG-STAB)29, enables efficient and accurate matrix inversion, but without the restrictions of a three-point spatial derivatives or a second-order time propagator. The success of the method depends on the presence of a suitable preconditioning matrix that, at least in some sense, approximates the propagating matrix and can be readily inverted. The BiCG-STAB scheme requires some additional computational overheads compared to established schemes but these are more than compensated for by its flexibility, in particular its ability to incorporate a five-point difference method for spatial derivatives.
Methods
Time propagation
The evolution of a quantum state is given by the time-dependent Schrödinger equation which, using atomic units units, is written
For an initial state at time t, integration of this equation gives a state at time t + Δt,
where \({\mathscr{T}}\) is the time-ordering operator.
Taking a short time approximation to this equation, in which the Hamiltonian is considered constant over a time step, and applying the Crank-Nicolson formula yields the familiar propagation equation
which is unitary, accurate to second-order in the time step and unconditionally stable.
Even for modest demands of accuracy, this equation necessitates a very small time step and so we also consider a higher-order expansion of equation 3, obtained from the fourth-order Lobatto IIIA which is an implicit Runge-Kutta method involving three function evaluations30. The dependence on the middle function evaluation can be removed by substitution to obtain:
As an indication of the potential advantage of the higher-order method, consider the propagation of a plane wave with frequency ω such that
The wave function \({\rm{\Psi }}(t+{\rm{\Delta }}t,{\bf{r}})={e}^{-i\omega {\rm{\Delta }}t}{\rm{\Psi }}(t,{\bf{r}})\) is then approximated for the CN and fourth-order methods, respectively, by
and
The leading order error terms are (ωΔt)3/12 and (ωΔt)5/12000 respectively. Restricting this error to one part in one thousand gives ωΔt < 0.23 for the second-order method and ωΔt < 1.64 for the fourth-order method: the allowed time step is greater than a factor of seven larger. For a desired accuracy ε this factor of advantage of the higher-order method scales as ε−2/15.
The fourth-order method has an apparent shortcoming in that it sacrifices the strict unitarity of the second-order method. This is evident from the evaluation of the Hamiltonian at different times on each side of equation 5. However, the norm of the wavefunction never deviates significantly from unity so this formal lack of unitarity is not a problem in practice. Despite this, some may prefer to take a unitary version of this propagator by evaluating the Hamiltonian at only one point during each propagation step, for example at the midpoint of the interval.
Although this approach technically reduces the propagation from fourth-order to second-order, it is still significantly more accurate than the standard CN method. This is because the time variation of the Hamiltonian only occurs through the interaction term and is significantly slower than the time variation of the wave function, which is determined by the highest energy eigenstate occupied by the electron.
One can readily compute an upper-bound for the error arising from the unitary version of the propagator by considering plausible upper limits for the electron momentum and energy. For a Hamiltonian with a time-dependent vector potential, A(t), the difference in the wave function computed using the unitary and non-unitary expansions has a leading term in Δt of
where A′ and A′′ are the first and second derivatives of the vector potential amplitude and pθ is the angular part of the momentum operator (from the diagonal part of H). For a slowly varying vector potential (an infrared laser field for example), this error can be small enough for this scheme to be advantageous over the CN method. There is little to be gained, however, by enforcing unitarity of the time evolution in this way. It turns out to almost always be a better option to take the unaltered fourth-order propagator, and ensure that the observable of interest is converged with respect to size of the time step.
We demonstrate that the use of this fourth order propagation scheme has advantages over the more common CN method, particularly for simulations that require high degrees of accuracy.
The stabilized bi-conjugate gradient method
We represent the wave function Ψ(r) in terms of some set of basis states ϕi(r),
where xi(t) are the expansion coefficients.
Propagation by either equations 4 or 5 amounts to a matrix equation of the form
where b can be calculated directly by projection of the RHS of equations 4 or 5 onto the the basis states while the LHS can be similarly cast as a known matrix, A, multiplied by the coefficients of the wavefunction at t + Δt. A will typically be a sparse matrix, coupling each basis element to only a handful of other elements. We solve this equation using the preconditioned BiCG-STAB29, a Krylov subspace method that offers smoother and faster convergence than its predecessors, the bi-conjugate gradient (BiCG) and conjugate gradient squared (CG-S) methods.
The routine converges well only if the matrix is close to the identity. To achieve this a preconditioning matrix, \(\tilde{{\bf{A}}}\), is uesd that is some approximation to A. The preconditioned equation is then
Each iteration of the algorithm requires two inversions of the preconditioning matrix, \(\tilde{{\bf{A}}}\), two multiplications by A, and four vector inner products. The algorithm exits when the norm of the residual is less than a predefined tolerance.
Application to atoms in intense laser fields
The electron wave function is decomposed as a partial wave expansion such that
The radial functions, ψl, are discretized on a linear grid. A dynamically expanding grid is used for computations of photo-electron spectra to ensure the wavefunction at the grid boundary is zero. For simulations of HHG for which ionised electrons play no role, the maximum grid size is set such that maximum electron excursion distances are entirely within the grid and a masking function is used to prevent reflections from the grid boundary.
The interaction with the laser field is performed in velocity gauge. Velocity and length gauge representations differ by a phase factor in the wavefunction. It has been shown previously that this phase factor results vastly more terms in expansion of equation 14 when length gauge is used, making length gauge computations impractical21,28.
In this basis, the non-discretized Hamiltonian becomes tri-diagonal in the angular quantum number, l, such that the laser interaction couples each ψl only to ψl±1:
with
The term cl is the coupling coefficient
and A(t) is the magnitude of the vector potential of the laser field.
Discritization is performed using a five-point finite difference approximation for the the spatial derivatives. The approximations at the ith grid element are given by
when acting on a function f with a grid spacing h.
For a radial grid there is an inherent complication in these formulas at the first grid point r = h since the above expressions require a value at r = −h (a value at r = 0 is implicitly included as a result of the boundary condition at the origin). Neglecting this complication results in an error in the first grid point independent of step size.
This problem could be remedied by altering a few elements in the top left of the discritized Cl and Bl matrices, but unfortunately there is no general way of accomplishing this without destroying the hermiticity of the Hamiltonian operator.
A solution is to use an analytic expression for the radial wave functions near the origin to extrapolate to a point at r = −h. This approach is similar to that of Salomonson and Öster’s for a logarithmic grid spacing31. The analytic form of the radial functions is given by
where Z is the atomic number of the atom. Close to the origin the form of the wavefunction becomes independent of energy due to the unbounded magnitude of the nuclear potential and so this approximation will hold regardless of the state of the electron.
Equation 21 indicates that radial functions are O(rl+1) as \(r\to 0\) and the extrapolated point will be well approximated by zero for l ≥ 2. It is therefore sufficient to only consider the l = 0 and l = 1 radial functions. Extrapolated values at r = −h can be computed in terms of the value at r = h:
Incorporating the values results in modifications to the discritized first and second derivative operators. For the second derivative,
where a is chosen to suit the angular number of the relevant partial wave, with a = −29 + 2Zh/(1 − Zh) for C0 and a = −31 − 2Zh/(2 − hZ) for C1.
The operators B and B† in equation 15 act on radial functions of different angular number so the explicit dependence of equation 21 on l is problematic for the hermiticity of the Hamiltonian. The second term in equation 23 is not required to obtain a sensible value for the first derivative and can be safely modified to restore hermiticity by setting ψ1(−h) = [1 + 2Zh/(1 − Zh)]ψ1(h). The discritized first derivative operator Δ(1) is then
where the plus is used for the unconjugated Bl matrices and the minus is used for the hermitian conjugates \({B}_{l}^{\dagger }\) (this is hermitian due to the i that pre-multiplies the derivative in equation 17). For B0, we obtain b = 1 + 2hZ/(1 − Zh) and for B1 b = −1 + 2hZ/(2 − Zh).
No such modifications are required at the large r grid boundary since the wavefunction is guaranteed to be zero by the use of either a masking function or a dynamically expanding grid.
Preconditioning
To work effectively, BiCG-STAB requires a pre-conditioning matrix, \(\tilde{{\bf{A}}}\), that can be easily inverted and functions to enhance the diagonal dominance of the matrix fed to the conjugate gradient algorithm. A suitable choice for this purpose is the part of the matrix that is diagonal in l. For the CN propagator, this is just
while for the fourth-order propagator this is
where Hat. is the atomic part of the Hamiltonian: H as defined in equation 15 without the Bl operators. Since the function of this matrix is simply to act as an approximation to the full matrix, we can employ a three-point finite difference representation for the spatial derivative. This ensures that the preconditioning matrix is tridiagonal in the case of the CN propagator and is easily invertible. The fourth-order preconditioner (equation 27) can be factorized into two tridiagonal matrices, which can be inverted sequentially.
This particular form of preconditioning mirrors the splitting of the propagation matrix used for the MI method, for which the part diagonal in l is inverted directly and the ‘off diagonal’ part is handled by the iterative routine.
Adaptive time stepping
The numerical integration becomes much more efficient when an adaptive time step is used. At the beginning or end of the laser pulse for example, relatively large time steps can be taken compared to when the laser vector potential is large or is changing rapidly.
Both the CN and the fourth-order methods allow for embedded error checking by constructing lower-order estimates of the wave function at the next time step and using the difference between this and the higher-order value as an error estimate. This can then be used to track the error and adjust the time step accordingly. For the CN method a first-order approximation to Ψn+1 is given by
The error estimate vector is then
The error estimate for the fourth-order method is slightly more complicated to derive but ultimately reduces to
Only the last term in this expression has not already been calculated in performing the propagation so computation of the error is relatively low cost.
Using this information to choose an appropriate next step size requires some trial and error. A successful method is to estimate the total error in a time step by
where the summation ignores terms for which |Ψ|2 is less than a cut-off, set to 10−5, to ensure computational effort is not being spent where the wave function is negligible. The following time step is set so the error is less than a desired tolerance, η, by
The exponent μ is set according to the order of error of the time step — 0.2 for the fourth-order method and 0.33 for Crank-Nicolson.
While this adaptive stepping scheme produces converged results for both the CN and fourth-order propagators, we find that it works best for the fourth-order method. This is likely because the estimate of the error is closer to the true error in this case.
Results
Convergence of the CG algorithm
To test the performance of the BiCG-STAB routine we compare directly with the MI method. As remarked earlier the splitting of the workload of the two schemes is very similar with both involving direct inversion of the part of the matrix that is diagonal in the orbital quantum number l — in the BiCG-STAB scheme this is done through the preconditioner — while parts off-diagonal in l are handled by the iterative scheme. We can therefore meaningfully compare the two schemes iteration-by-iteration.
The calculations simulate a hydrogen atom initially in its ground state. The matrix equation we use as a test case corresponds to a single time step of 0.1 atomic units in the presence of a vector potential. The magnitude of the vector potential is set to values of 1.0, 2.0 and 3.0 atomic units, which are typical of intense laser pulses. For the purposes of this comparison, a single iteration of the CG algorithm is counted as two iterations as it involves two updates of the solution vector and two inversions of the preconditioning matrix, meaning a single ‘iteration’ involves similar computational work for each of the methods. To facilitate a direct comparison the three-point difference formula is used in for the CG method rather than the five-point formula as defined in equations 19 and 20. When compared iteration by iteration in this fashion, the CG method is somewhat slower than MI. This is to be expected due to the bookkeeping overheads and the need to compute a search direction at each step. The convergence as a function of iteration is shown in Fig. 1.
It is noteworthy that the convergence of the two methods is almost identical. This reflects the diagonal dominance of the matrix to be inverted and the similarities in the treatment of the diagonal part of the matrix. Similar calculations were performed with the wave function in an evolved state after partial ionization by a laser pulse, but the similarities in the convergence are maintained.
These results demonstrate no immediate advantage in using the more complex CG scheme over the MI scheme if the CN propagator and three-point methods are used. We find, however, that the convergence of the conjugate gradient routine remains strong when higher-order methods are used for the spatial and temporal derivatives. The cost of these higher-order approximations can be measured by the number of iterations required for the algorithm to converge and comparing this convergence using the lower-order methods. We expect the lower-order methods to converge more quickly due to the simplicity of the equations. Employing a five-point formula results in an insignificant additional convergence cost. The fourth-order time propagator, on the other hand, always requires more iterations to converge than its second-order counterpart, but this cost is counterbalanced by the significant reduction in required number of time steps. An example of the number of iterations required for convergence as a function of the time step size, Δt, is shown in Fig. 2.
Comparison of 3 point and 5 point difference formulas
A five-point difference method has a clear advantage over the three-point difference method. Figure 3 demonstrates how calculations of the total ionization probability depend on grid spacing for the respective methods. The simulations are of a hydrogen atom in a 5 fs laser pulse with peak intensity 1015 W/cm2.
An upper limit is imposed on the maximum grid spacing by the uncertainty principle and it is important to ensure this limit is not exceeded. Specifically, for a maximum electron momentum pmax, this requirement is Δr < 2π/pmax. pmax can be estimated by considering the maximum momentum an electron could attain in the evolving laser field from a stationary start. In the simulations presented in Fig. 3 this limit is approximately 1 atomic unit, safely exceeding the maximum grid spacing used in the simulations.
For the five-point method, even with a grid spacing of 0.2 a.u., the error in the calculated ionization probability is less than 0.1% (percentage relative to the converged probability, 0.958) of the converged value. To achieve the same accuracy with the three-point method requires four times as many grid points. The corresponding benefit to computational time is not quite a factor of four, since slightly more work is done using a five-point routine (multiplication by the 5-point Hamiltonian is roughly a factor of 1.67 more expensive – 15 non-zero diagonal bands instead of 9), but the decrease in computational time is significantly better than a factor of two. As shown in Fig. 2, the number of iterations required for a time step to converge is only slightly greater, or the same, for when the five-point difference method is used, making this option clearly superior.
Unitarity of fourth-order propagator
The asymmetry of the fourth-order propagation equation (equation 5) has the potential to result in non-unitary time evolution. This is a direct result of the explicit time variation of the Hamiltonian and so complete unitarity of the propagation will be restored in the limit \({\rm{\Delta }}t\to 0\) when the laser field becomes zero. To illustrate the deviation of the norm of the wave function, Fig. 4 shows the norm plotted as a function of pulse time for a range of step sizes (which are held constant throughout the calculation). For this simulation the peak pulse intensity is set to 5 × 1014 W/cm2 with central wavelength of 800 nm and four cycles duration.
The figure shows the most rapid variation in the norm when the vector potential of the laser field is changing most rapidly, corresponding to the times when the Hamiltonian is also changing most rapidly. For Δt = 0.1 a.u., this variation is negligible; significantly less than one part in ten thousand. For Δt = 0.5 a.u. the maximum variation is around 0.2 percent. The clear dependence of the deviation from unit norm on the rate of change of the vector potential suggests a varying time-step would be beneficial. While it is certainly possible to use the variation of the norm of the wavefunction directly as a control parameter for the step size, the methods of adaptive step sizing described above are preferable as they more directly relate step size to the error in the propagation equations.
Comparison of 2nd order and 4th order propagators
To compare the performance of the second-order and fourth-order propagators we examined high harmonic spectra computed using fixed time steps. We find there is a significant reduction in the number of time steps required to achieve a converged solution when the higher-order method is used – we obtain a well converged spectrum for the fourth-order method using a time step of 0.2 atomic units. To achieve similar convergence with the Crank-Nicolson method the required time step is 0.02 atomic units.
We define a metric to determine the error in a given spectrum based on a normalized difference of the spectrum to the converged spectrum (obtained using the highest accuracy simulation):
where \({\bar{I}}_{0}(\omega )\) is a weighted average of the spectrum at ω determined by
g(ω) is a windowing function with a window size 2δ defined by
We set δ to be 4 times the laser frequency.
In Fig. 5, we show spectra produced using the two methods. The fully converged spectrum in not shown in this plot as it is indistinguishable from the fourth-order result. The second-order method, despite having a time step five times shorter than the fourth-order method, is clearly different from the converged spectrum and is unsatisfactory for quantitative purposes. The right-hand plots of Fig. 5 show the integrated error of the harmonic spectra as defined in equation 33. This shows markedly faster convergence for the higher-order method. Importantly, both the second- and fourth-order methods converge to the same result as the time step is decreased. This indicates that the small deviation from unit norm that arises in the fourth-order method has no appreciable effect on the calculation of observables.
The cost of the higher-order method is its increased complexity, which results in more iterations per time step (see Fig. 2) and more computation at each iteration. To determine the overall performance of the higher-order method relative to the second-order method we count the total number of iterations throughout a simulation. Table 1 demonstrates how a specific harmonic intensity converges with respect to the size of time step used in the calculation. Harmonic intensity is calculated by integrating the spectrum, I(ω), over the harmonic frequency.
Once the number of required iterations exceeds 20, there appears to be no computational advantage in increasing the time step regardless of numerical accuracy, and a smaller step size results in a faster computation. To allow for this, for these simulations, whenever the number of iterations required is 20 or greater, the time step is reduced so that this limit is not exceeded. The time step is otherwise kept constant at the specified value. The only simulations for which the number of iterations per step approaches 20 at any point are the fourth-order simulations with step sizes of 0.20, 1.0 and 2.0.
The total number of iterations aggregated across the simulation are shown as an alternative measure of the time taken for each method, that is (relatively) independent of factors such as programming language and style.
Computationally, the difference between the second- and fourth-order methods stems from the fact that the number of Hamiltonian multiplications increases from two to six each iteration, while the number of inversions of the field free Hamiltonian increases from two to four. The number of dot products remains the same, although the number of vector additions increases slightly. Overall, a single iteration of the fourth-order scheme consistently takes about 1.5 times the time taken by the second-order method. Thus, the fourth-order scheme will be more efficient if the simulation can be completed with fewer than two thirds of the number for the second-order scheme. The table shows that, in calculating the 15th harmonic to within 5% accuracy, the second-order method takes 300 × 103 iterations compared to approximately 105 × 103 iterations for the fourth-order method. The overall time saving is around a factor of two.
In general it will be desirable to use a varying time step rather than a fixed time step, so this factor of two does not necessarily reflect the actual reduction in computation of the higher order method. The fourth order method is most advantageous when the magnitude of the vector potential is large, and high accuracy is required. Note that when the magnitude is large the variation is slow so this is also the point at which the deviation from unit norm will be smallest. In many cases, the most efficient method may be a hybrid of the second- and fourth-order schemes where the second-order method can skip through the ‘easy’ periods where the vector potential is small, taking large steps, and the fourth-order method can step in to cover the rockier terrain when the magnitude of the vector potential is large.
Conclusion
We have presented a method of integrating the time-dependent Schrödinger equation for a single particle with a time-dependent Hamiltonian that is based around use of the stabilized bi-conjugate gradient method (BiCG-STAB) to solve a matrix equation for the propagation of a single time step. We have applied our method to the problem of an atom in an intense few-cycle infra-red laser field and demonstrated that it performs better than existing methods. Specifically, we have demonstrated that this method can incorporate higher-order approximations to spatial and temporal derivatives than other more rigid methods, and this allows for the use of significantly fewer spatial and temporal grid points without compromising on accuracy. We have shown that this reduction in grid points means a significant decrease in the amount of time required to perform simulations.
References
Sandberg, R. L. et al. Lensless Diffractive Imaging Using Tabletop Coherent High-Harmonic Soft-X-Ray Beams. Physical Review Letters 99, 098103, https://doi.org/10.1103/PhysRevLett.99.098103 (2007).
Ravasio, A. et al. Single-Shot Diffractive Imaging with a Table-Top Femtosecond Soft X-Ray Laser-Harmonics Source. Physical Review Letters 103, 028104, https://doi.org/10.1103/PhysRevLett.103.028104 (2009).
Sansone, G., Poletto, L. & Nisoli, M. High-energy attosecond light sources. Nature Photonics 5, 655–663, https://doi.org/10.1038/nphoton.2011.167 (2011).
Ishii, N. et al. Carrier-envelope phase-dependent high harmonic generation in the water window using few-cycle infrared pulses. Nature Communications 5, 3331, https://doi.org/10.1038/ncomms4331 (2014).
Ferré, A. et al. A table-top ultrashort light source in the extreme ultraviolet for circular dichroism experiments. Nature Photonics 9, 93–98, https://doi.org/10.1038/nphoton.2014.314 (2015).
Christov, I. P., Murnane, M. M. & Kapteyn, H. C. High-Harmonic Generation of Attosecond Pulses in the “Single-Cycle” Regime. Physical Review Letters 78, 1251–1254, https://doi.org/10.1103/PhysRevLett.78.1251 (1997).
Corkum, P. B. & Krausz, F. Attosecond science. Nature Physics 3, 381–387, https://doi.org/10.1038/nphys620 (2007).
Kling, M. F. & Vrakking, M. J. Attosecond Electron Dynamics. Annual Review of Physical Chemistry 59, 463–492, https://doi.org/10.1146/annurev.physchem.59.032607.093532 (2008).
Vrakking, M. J. J. Attosecond imaging. Physical Chemistry Chemical Physics 16, 2775, https://doi.org/10.1039/c3cp53659a (2014).
Agostini, P., Fabre, F., Mainfray, G., Petite, G. & Rahman, N. K. Free-Free Transitions Following Six-Photon Ionization of Xenon Atoms. Physical Review Letters 42, 1127–1130, https://doi.org/10.1103/PhysRevLett.42.1127 (1979).
Ferray, M. et al. Multiple-harmonic conversion of 1064 nm radiation in rare gases. Journal of Physics B: Atomic, Molecular and Optical Physics 21, L31 (1988).
Grum-Grzhimailo, A. N., Abeln, B., Bartschat, K., Weflen, D. & Urness, T. Ionization of atomic hydrogen in strong infrared laser fields. Physical Review A 81, 043408, https://doi.org/10.1103/PhysRevA.81.043408 (2010).
Huang, S.-W. et al. High-energy pulse synthesis with sub-cycle waveform control for strong-field physics. Nature Photonics 5, 475–479, https://doi.org/10.1038/nphoton.2011.140 (2011).
Pullen, M. G. et al. Measurement of laser intensities approaching 10 15 W/cm2 with an accuracy of 1%. Physical Review A 87, 053411, https://doi.org/10.1103/PhysRevA.87.053411 (2013).
Wallace, W. C. et al. Precise and Accurate Measurements of Strong-Field Photoionization and a Transferable Laser Intensity Calibration Standard. Phys. Rev. Lett. 117, 53001, https://doi.org/10.1103/PhysRevLett.117.053001 (2016).
Khurmi, C. et al. Measuring laser carrier-envelope-phase effects in the noble gases with an atomic hydrogen calibration standard. Physical Review A 96, 013404, https://doi.org/10.1103/PhysRevA.96.013404 (2017).
Feit, M., Fleck, J. & Steiger, A. Solution of the Schrödinger equation by a spectral method. Journal of Computational Physics 47, 412–433, https://doi.org/10.1016/0021-9991(82)90091-2 (1982).
Park, T. J. & Light, J. C. Unitary quantum time evolution by iterative Lanczos reduction. The Journal of Chemical Physics 85, 5870, https://doi.org/10.1063/1.451548 (1986).
De Raedt, H. Product formula algorithms for solving the time dependent Schrödinger equation. Computer Physics Reports 7, 1–72, https://doi.org/10.1016/0167-7977(87)90002-5 (1987).
Bandrauk, A. D. & Shen, H. Improved exponential split operator method for solving the time-dependent Schrödinger equation. Chemical Physics Letters 176, 428–432, https://doi.org/10.1016/0009-2614(91)90232-X (1991).
Muller, H. G. An efficient propagation scheme for the time-dependent Schr{ö}dinger equation in the velocity gauge. Laser Physics 9, 138–148 (1999).
Nurhuda, M. & Faisal, F. H. M. Numerical solution of time-dependent Schrödinger equation for multiphoton processes: A matrix iterative method. Physical Review A 60, 3125–3133, https://doi.org/10.1103/PhysRevA.60.3125 (1999).
Watanabe, N. & Tsukada, M. Fast and stable method for simulating quantum electron dynamics. Physical Review E 62, 2914–2923 (2000).
Suzuki, M. Fractal decomposition of exponential operators with applications to many-body theories and Monte Carlo simulations. Physics Letters A 146, 319–323, https://doi.org/10.1016/0375-9601(90)90962-N (1990).
Suzuki, M. General theory of higher-order decomposition of exponential operators and symplectic integrators. Physics Letters A 165, 387–395, https://doi.org/10.1016/0375-9601(92)90335-J, 1411.4601 (1992).
Baye, D., Goldstein, G. & Capel, P. Fourth-order factorization of the evolution operator for time-dependent potentials. Physics Letters A 317, 337–342, https://doi.org/10.1016/J.PHYSLETA.2003.08.062 (2003).
Goldstein, G. & Baye, D. Sixth-order factorization of the evolution operator for time-dependent potentials. Physical Review E - Statistical Physics, Plasmas, Fluids, and Related Interdisciplinary Topics 70, 7, https://doi.org/10.1103/PhysRevE.70.056703 (2004).
Bandrauk, A. D. & Lu, H. Exponential propagators (integrators) for the time-dependent schrödinger equation. Journal of Theoretical and Computational Chemistry 12, 1–17, https://doi.org/10.1142/S0219633613400014 (2013).
van der Vorst, H. A. Bi-CGSTAB: A Fast and Smoothly Converging Variant of Bi-CG for the Solution of Nonsymmetric Linear Systems. SIAM Journal on Scientific and Statistical Computing 13, 631–644 (1992).
Butcher, J. C. Implicit runge-kutta processes. Mathematics of Computation 18, 50–64, https://doi.org/10.2307/2003405 (1964).
Salomonson, S. & Öster, P. Solution of the pair equation using a finite discrete spectrum. Physical Review A 40, 5559–5567, https://doi.org/10.1103/PhysRevA.40.5559 (1989).
Author information
Authors and Affiliations
Contributions
D.W. wrote the manuscript and performed the calculations and analysis, H.Q. conceived of the original project and contributed to the ideas in the manuscript. Both authors reviewed the manuscript.
Corresponding author
Ethics declarations
Competing Interests
The authors declare no competing interests.
Additional information
Publisher’s note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wells, D., Quiney, H. A fast and adaptable method for high accuracy integration of the time-dependent Schrödinger equation. Sci Rep 9, 782 (2019). https://doi.org/10.1038/s41598-018-37382-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-018-37382-0
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.