Simulating Maxwell-Schr\"odinger Equations by High-Order Symplectic FDTD Algorithm
Pith reviewed 2026-05-25 18:05 UTC · model grok-4.3
The pith
A fourth-order symplectic FDTD algorithm simulates Maxwell-Schrödinger equations more accurately and efficiently than standard second-order methods for long-term Rabi oscillation studies.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The high-order SFDTD(4,4) algorithm, which applies fourth-order symplectic integration temporally and fourth-order collocated differences spatially to the Maxwell-Schrödinger equations, enables accurate and efficient simulation of coherent interactions between electromagnetic fields and artificial atoms under the semi-classical framework, as demonstrated by numerical studies of Rabi oscillations with population inversion.
What carries the argument
The symplectic finite-difference time-domain (SFDTD) algorithm using fourth-order symplectic integration and fourth-order collocated differences, with image theory adapted for Dirichlet boundaries.
Load-bearing premise
The adapted image theory successfully enforces the Dirichlet boundary condition for the fourth-order collocated differences without loss of accuracy or introduction of artifacts.
What would settle it
Running the Rabi oscillation test cases with the SFDTD(4,4) and FDTD(2,2) methods and observing that the high-order version does not show better accuracy or efficiency over long simulation times.
Figures
read the original abstract
A novel symplectic algorithm is proposed to solve the Maxwell-Schr\"odinger (M-S) system for investigating light-matter interaction. Using the fourth-order symplectic integration and fourth-order collocated differences, Maxwell-Schr\"odinger equations are discretized in temporal and spatial domains, respectively. The symplectic finite-difference time-domain (SFDTD) algorithm is developed for accurate and efficient study of coherent interaction between electromagnetic fields and artificial atoms. Particularly, the Dirichlet boundary condition is adopted for modeling the Rabi oscillation problems under the semi-classical framework. To implement the Dirichlet boundary condition, image theory is introduced, tailored to the high-order collocated differences. For validating the proposed SFDTD algorithm, three-dimensional numerical studies of the population inversion in the Rabi oscillation are presented. Numerical results show that the proposed high-order SFDTD(4,4) algorithm exhibits better numerical performance than the conventional FDTD(2,2) approach at the aspects of accuracy and efficiency for the long-term simulation. The proposed algorithm opens up a promising way towards a high-accurate energy-conservation modeling and simulation of complex dynamics in nanoscale light-matter interaction.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes a novel high-order symplectic FDTD algorithm (SFDTD(4,4)) for the Maxwell-Schrödinger system, combining fourth-order symplectic time integration with fourth-order collocated spatial finite differences. Dirichlet boundary conditions for Rabi oscillation problems are enforced via an image theory construction tailored to the high-order stencils. Three-dimensional numerical experiments on population inversion are presented, with the central claim that SFDTD(4,4) outperforms conventional FDTD(2,2) in accuracy and efficiency for long-term simulations.
Significance. If the performance claims hold with the reported convergence and stability properties, the algorithm would provide a practical advance for energy-conserving, long-time modeling of coherent light-matter interactions at the nanoscale, where conventional low-order FDTD schemes suffer from dispersion and dissipation errors.
major comments (2)
- [Section 3 (boundary conditions)] The adaptation of image theory to fourth-order collocated differences (described in the boundary-condition section, referenced as Section 3 in the stress-test note) must be shown to retain formal O(h^4) truncation error at the Dirichlet boundaries; if the construction only satisfies the boundary condition to lower order, the observed long-term accuracy gains in the Rabi population-inversion tests would not be generalizable.
- [Numerical results / validation section] The numerical-results section supplies no quantitative error metrics (e.g., L2 norms of field or population errors), observed convergence rates, or tabulated comparisons against FDTD(2,2); without these data the headline claim of superior accuracy and efficiency cannot be verified from the manuscript itself.
Simulated Author's Rebuttal
We thank the referee for the constructive comments, which help clarify the presentation of our high-order symplectic FDTD algorithm. We address each major point below and will revise the manuscript accordingly to strengthen the validation and analysis.
read point-by-point responses
-
Referee: [Section 3 (boundary conditions)] The adaptation of image theory to fourth-order collocated differences (described in the boundary-condition section, referenced as Section 3 in the stress-test note) must be shown to retain formal O(h^4) truncation error at the Dirichlet boundaries; if the construction only satisfies the boundary condition to lower order, the observed long-term accuracy gains in the Rabi population-inversion tests would not be generalizable.
Authors: We agree that a formal demonstration of the truncation error order at the boundaries is essential for generalizability. The image theory construction enforces the Dirichlet condition exactly at boundary nodes and sets ghost values to preserve the fourth-order interior stencil consistency. However, the manuscript does not include an explicit local truncation error expansion near the boundaries. In the revision we will add this analysis in Section 3, together with supporting numerical convergence tests localized near the boundaries, to confirm that the O(h^4) order is retained. revision: yes
-
Referee: [Numerical results / validation section] The numerical-results section supplies no quantitative error metrics (e.g., L2 norms of field or population errors), observed convergence rates, or tabulated comparisons against FDTD(2,2); without these data the headline claim of superior accuracy and efficiency cannot be verified from the manuscript itself.
Authors: We acknowledge that the current numerical section relies on visual inspection of figures without tabulated quantitative metrics, making independent verification of the accuracy and efficiency claims difficult. In the revised manuscript we will add L2-norm error tables for both fields and populations, observed convergence rates under successive grid refinement, and direct side-by-side comparisons (error versus CPU time) between SFDTD(4,4) and FDTD(2,2) for the Rabi-oscillation tests. revision: yes
Circularity Check
No circularity; derivation is self-contained from standard numerical methods
full rationale
The paper constructs the SFDTD(4,4) scheme directly from fourth-order symplectic time integrators and fourth-order collocated spatial differences applied to the Maxwell-Schrödinger system, then adapts image theory for Dirichlet boundaries and validates via direct numerical experiments on Rabi oscillations. No equation, result, or performance claim reduces by construction to a fitted parameter, self-definition, or self-citation chain. The reported accuracy/efficiency gains are outputs of the implemented algorithm, not inputs renamed as predictions.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The semi-classical Maxwell-Schrödinger framework is appropriate for modeling Rabi oscillations in artificial atoms under Dirichlet boundaries.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat initial Peano object; symplectic structure from Laws of Logic echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
the matrix U can be represented as ... U^T J + J U = 0 ... U is an infinitesimal real symplectic matrix ... the symplectic algorithm can be employed
-
IndisputableMonolith/Foundation/ArrowOfTime.leanBerry-phase monotonicity and Z-monotonicity for directed time echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
symplectic integrators ... energy-conserving and highly stable characteristics ... long-term simulation
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
J, Theory and Computational of Electromagnetic Fields
J.-M. J, Theory and Computational of Electromagnetic Fields . Hoboken, NJ, USA: Wiley, 2010
work page 2010
-
[2]
L. Zhang, H. Zeng, and R. S. Chen, “Full-quantum numerical sche me of finite difference time domain method for high-order harmonic generation,” IEEE J. Multiscale Multiphys. Comput. Techn ., vol. 3, pp. 74–79, Aug. 2018
work page 2018
-
[3]
L. Pierantoni, D. Mencarelli, and T. Rozzi, “A new 3-D transmis sion line matrix scheme for the combined Schrödinger–Maxwell problem in t he electronic/electromagnetic characterization of nanodevices,” IEEE Trans. Microw. Theory Techn., vol. 56, no. 3, pp. 654-662, Mar. 2008
work page 2008
-
[4]
L. Pierantoni, D. Mencarelli, and T. Rozzi, “Boundary immittanc e operators for the Schrödinger–Maxwell problem of carrier dynami cs in nanodevices,” IEEE Trans. Microw. Theory Techn ., vol. 57, no. 5, pp. 1147-1155, May 2009
work page 2009
-
[5]
K. S. Yee, “Numerical solution of initial boundary value proble ms involving Maxwell’s equations in isotropic media,” IEEE Trans. Antenna Propag., vol. 14, pp. 302-307, May 1966
work page 1966
-
[6]
A. Taflove and S. C. Hagness, Computational electrodynamics the finite difference time-domain method (3rd edition), Artech House Boston London, 2005
work page 2005
-
[7]
N. Talebi, “Schrödinger electron s interacting with optical grat ings: quantum mechanical study of the inverse Smith–Purcell effect,” New J. Phys., vol. 18, no.12, pp. 123006, Dec. 2016
work page 2016
-
[8]
K. Lopata and D. Neuhauser, “Nonlinear nanopolaritonics: Finite-difference time-domain Maxwell–Schrödinger simulation of molecule-assisted plasmon transfer,” J. Chem Phys ., vol. 131, no. 1, pp. 014701, Jul. 2009
work page 2009
-
[9]
M. Šindelka, “Derivation of co upled Maxwell–Schrödinger equatio ns describing matter-laser interac tion from first principles of qu antum electrodynamics,” Phys. Rev. A., vol. 81, no. 3, pp. 033833, Mar. 2010
work page 2010
-
[10]
S . H e l l s t r ö m a n d Y . F u , “ D y n a m i c o p t i c a l r e s p o n s e o f a n e x c i t o nic quantum dot studied by solving the self consistent Maxwell-Schr ödinger equations nonperturbatively,” Phys. Rev. B, Condens. Matter., vol. 82, no. 24, pp. 245305, 2010
work page 2010
-
[11]
A Maxwell–Schrödinger solver for quantum optical few-level systems,
R. Fleischhaker and J. Evers, “A Maxwell–Schrödinger solver for quantum optical few-level systems,” Comp. Phys. Commun., vol. 182, no. 3, pp. 739-747, Mar. 2011
work page 2011
-
[12]
T. Takeuchi, S. Ohnuki, and T. Sake, “Maxwell–Schrödinger hybri d simulation for optically controlling quantum states: A scheme f or designing control pulses,” Phys. Rev. A., vol. 91, no. 3, pp. 033401, Mar. 2015
work page 2015
-
[13]
T. Takeuchi, S. Ohnuki, and T. Sake, “Hybrid simulation of Maxwell-Schrödinger equations for multi-physics problems characterized by anharmonic electrostatic potential,” Prog. Electromagn. Res., vol. 148, pp. 73-82, 2014
work page 2014
-
[14]
Solution of the electric fiel d integral equation when it breaks down,
J. F. Zhu, S. Omar, and D. Jiao, “Solution of the electric fiel d integral equation when it breaks down,” IEEE Trans. Antenna Propag., vol. 62, no. 8, pp. 4122-4134, Aug. 2014
work page 2014
-
[15]
S . Y a n , J . M . J i n , a n d Z . P . N i e , “ E F I E A n a l y s i s o f L o w - F r e q u e ncy Problems With Loop-Star Decomposition and Calderón Multiplicati ve Preconditioner,” IEEE Trans. Antenna Propag ., vol. 58, no. 3, pp. 857-867, Mar. 2010
work page 2010
-
[16]
Finite-Dif ference Time-Domain simulation of the Maxwell–Schrödinger system,
C. J. Ryu, A. Y. Liu, W. E. I. Sha, and W. C. Chew, “Finite-Dif ference Time-Domain simulation of the Maxwell–Schrödinger system,” IEEE J. Multiscale Multiphys. Computat. Techn., vol. 1, pp. 40-47, 2016
work page 2016
-
[17]
A high-order symplectic FDTD scheme for the Maxwell-Schrodinger system
X. Chen, F. M. Kong, K. Li, and M. Liu, “A high-order symplectic FDTD scheme for the Maxwell-Schrodinger system” IEEE J. Quantum Electron., vol. 54, no. 1, pp. 6100108, Feb. 2018
work page 2018
-
[18]
Y. P. Chen, W. E.I. Sha, L. Jiang, M. Meng, Y. M. Wu, and W. C. Chew, “A unified Hamiltonian solution to Maxwell–Schrödinger equation s for modeling electromagnetic fie ld-particle interaction,” Comput. Phys. Commuun., vol. 215, pp. 63-70, Jun. 2017
work page 2017
-
[19]
V. Krishnamurthy, K. Ravi, and S.T. Ho, “Analytical framework f or the s t e a d y s t a t e a n a l y s i s o f w a v e l e ngth-dependent and intensity-dep endent interaction of multiple monochromatic beams in semiconductor ph otonic structures with multiple ac tive and passive sections,” IEEE J. Quantum Electron., vol. 48, no. 10, pp. 1282–1299, Oct. 2012
work page 2012
-
[20]
Designing optimal universal pulses using second-order, large-scale, non-linear optimization,
C. K. Anand, A. D. Bain, A. T. Curtis, and Z. H. Nie, “Designing optimal universal pulses using second-order, large-scale, non-linear optimization,” J. Magn. Reson., vol, 219, pp. 61-74, Apr. 2012
work page 2012
-
[21]
Application of the sympl ectic finite-difference time-domain scheme to electromagnetic simulat ion,
W. Sha, Z. Huang, X. Wu, and M. Chen, “Application of the sympl ectic finite-difference time-domain scheme to electromagnetic simulat ion,” J. Comput. Phys., vol. 225, no. 1, pp. 33-50. Jan. 2007
work page 2007
-
[22]
Dispersion relation equation preserving FDTD method for nonlinear cubic Schrödinger equation,
T. W. H. Sheu and L. Lin, “Dispersion relation equation preserving FDTD method for nonlinear cubic Schrödinger equation,” J. Comput. Phys., vol. 299, no. 4, pp. 1-21. Oct. 2015
work page 2015
-
[23]
Q. Chen, H. Qin, J. Liu, J. Y. Xiao, R. L. Zhang, Y. He, and Y. L. Wang, “Canonical symplectic structure and structure-preserving geomet ric algorithms for Schrödinger-Maxwell systems,” J. Comput. Phys., vol. 349, pp. 441-452, 2017
work page 2017
-
[24]
Symmetric and symplectic ERKN for oscillatory Hamiltonian systems,
Z. Chen, X. You, W. Shi, and Z. Liu, “Symmetric and symplectic ERKN for oscillatory Hamiltonian systems,” Comput. Phys. Commun., vol. 183, no.1, pp. 86-98, 2012
work page 2012
-
[25]
Q. Cao, Y. Chen, and R. Mittra, “Multiple image technique (MIT) a nd anisotropic perfectly matched layer (APML) in implementation of MRTD scheme for boundary truncations of microwave structures,” IEEE Trans. Microw. Theory Techn., vol. 50, no. 6, pp. 1578-1589, Jun. 2002
work page 2002
-
[26]
M. Kira and S. W. Koch, Semiconductor Quantum Optics . Cambridge Univ. Press, 2012
work page 2012
-
[27]
A new solution of Schrödinger equation based on symplectic algorithm,
Z. Huang, J. Xu, B. Sun, B. Wu, and X. Wu, “A new solution of Schrödinger equation based on symplectic algorithm,” Comput. Math. Applicat., vol. 69, no. 11, pp.1303-1312, Jun. 2015
work page 2015
-
[28]
A symplectic FDTD algorit hm for the simulation of lossy dispersive materials,
H. wang, B. Wu, Z. Huang, and X. Wu, “A symplectic FDTD algorit hm for the simulation of lossy dispersive materials,” Comput. Phys. Commun., vol. 185, no.3, pp. 862-872, 2014
work page 2014
-
[29]
C. Gerry and P. Knight, Introduc tory Quantum Optics, Cambride University Press, New York, 2005
work page 2005
-
[30]
Marlon. O. Scully, and M. Suhail. Zubairy, Quantum Optics. Cambridge, U.K.:Cambridge Univ. Press, 1997
work page 1997
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.