arXiv subjects

Yifa Tang

Publications and source records attributed to Yifa Tang.

At least 19 recordsLinked to original sources

arXiv2026

A multi-physics structure-preserving integrator with uniform error bounds for relativistic charged-particle dynamics under strong magnetic fields

In this paper, we develop an explicit multi-physics structure-preserving Strang splitting scheme for a four-dimensional relativistic charged-particle dynamical system in the presence of a strong magnetic field under the maximal ordering scaling. The proposed scheme not only preserves volume, energy, and Lorentz invariance, but also yields second-order uniform error bounds for the position and the parallel velocity component. We present rigorous theoretical proofs for these geometric properties and the error convergence, which are subsequently validated by several numerical experiments.

math.NA↗

arXiv2026

CSympNet-ID: conformal-symplectic map learning for linearly damped Hamiltonian systems

Learning dissipative dynamics from discrete observations is essential for reliable long-horizon prediction and physically meaningful parameter identification. For linearly damped Hamiltonian systems, the exact flow is generally not symplectic but conformally symplectic, contracting the canonical symplectic form by a scalar factor that reflects the net dissipation. We propose Conformal Symplectic Networks with damping identification (CSympNet-ID), a discrete-time map-learning framework that learns the one-step flow map directly from snapshot pairs while enforcing exact discrete conformal symplecticity by construction, without penalty terms or projection. The architecture composes an exact symplectic neural core with explicit diagonal scaling layers whose factors are parameterized exponentially by a scalar damping-rate parameter, thereby guaranteeing positivity and interpretability of the learned dissipation factor. We establish a scaling-conjugacy factorization for conformal symplectic maps and derive a pointwise-in-step density result for CSympNet-ID. We evaluate an irregular-step damped oscillator, a damped spring-mass chain, a damped nonlinear cubic oscillator, and additional high-dimensional extensions. CSympNet-ID gives the most favorable overall results among the compared models in the reported experiments, particularly in data-scarce regimes, target contraction-law recovery, and high-dimensional tests where unstructured baselines degrade rapidly.

cs.LG↗

arXiv2026

Learning symplectic model reduction based on an approximation theorem of symplectic embeddings

High-dimensional Hamiltonian systems play a central role in many scientific and engineering disciplines, with dynamics that evolve on symplectic manifolds. Although deep learning provides powerful tools for constructing its low-dimensional surrogates from data, the intrinsic symplectic structure is easily destroyed during model reduction. As a result, a standard autoencoder may produce latent coordinates that do not support a Hamiltonian flow, leading to unstable long-time prediction. In this paper, we first establish a universal approximation theorem for symplectic embeddings. And based on the theory, we propose symplecticity-preserving autoencoders (SpAE), in which the decoder is parameterized as a symplectic embedding and the encoder is constructed as the corresponding symplectic projection. This architecture is expressive enough to approximate nonlinear symplectic embeddings and the corresponding symplectic projection, preserves the symplectic structure exactly by construction, and can be trained by standard unconstrained optimization, thereby improving both reconstruction and prediction accuracy. Extensive experiments on high-dimensional lattice and particle systems demonstrate the effectiveness of the proposed method.

cs.LG↗

arXiv2026

Port-Hamiltonian Control and Structure-Preserving Algorithm for Grid-Forming SVGs

This paper presents a port-Hamiltonian (PH) modeling, control, and structure-preserving simulation framework for grid-forming static var generators (SVGs). A PH model is established that captures energy exchange among the inductor, capacitor, and DC-link storage ports. Since external disturbances cannot be fully canceled by feedback, an input-to-state stable (ISS) controller is designed to steer subsystem states to zero while minimizing disturbance effects. The controller contains only three tunable parameters with clear physical interpretations and is robust against input errors. A Dirac-structure-preserving midpoint rule is developed, which exactly conserves the Hamiltonian energy when disturbances are absent. Numerical comparisons show that the ISS controller achieves faster settling, smaller offset, and lower control effort than a conventional PI controller, and the structure-preserving midpoint rule maintains exact energy conservation and superior long-term accuracy over standard Runge-Kutta methods.

math.OC↗

arXiv2026

Calculating Domain of Attraction Boundary of Power Systems Based on the Gentlest Ascent Dynamics

The power system, a fundamental public utility, is increasingly important due to growing global electricity demand. Recent large-scale blackouts (e.g., Iberian Peninsula, UK) have raised concerns about transient stability under impact faults. Transient stability is determined by post-disturbance synchronizing capability of synchronous generators, formulated as identifying the domain of attraction (DOA) boundary of the asymptotically stable equilibrium. Using a benchmark model of synchronous-generator-dominated power systems, this report employs a gentlest ascent dynamics (GAD) method for 1-saddle points, an adjoint operator method for periodic orbits, and stable manifold algorithms to compute the DOA boundary. These algorithms transform DOA boundary determination into constructing unstable critical elements (saddle points and periodic orbits) and their stable manifolds. Theoretically, under certain assumptions we prove that the DOA boundary is the closure of the union of stable manifolds of index-1 critical elements, and establish a stability theory for a perturbed GAD system. Numerical experiments on two-machine and three-machine systems (with only saddle points or with periodic orbits) validate the effectiveness and accuracy. Results show the algorithms accurately capture the geometric structure of the DOA boundary, providing a new numerical tool for transient stability analysis.

math.DS↗

arXiv2026

Modified-gradient methods for exact divergence-free in meshless magnetohydrodynamics

We present a novel gradient regularization to completely eliminate the magnetic divergence error in meshless magnetohydrodynamics (MHD), which offers a high spatial resolution and conservative advantage, due to its Lagrangian nature. Comparing with the counterpart of constrained-gradient (CG) technique, we reform $\nabla \cdot \mathbf{B}=0$ by an implicit projection method to modify the magnetic-field gradients. The accuracy of modified-gradient (MG) method is verified and it achieves exact divergence-free results with round-off precision, by using tests of shock tube, 2D and 3D vortex, magneto-rotational instability, and especially, advection experiment, compared with CG method and the GIZMO code. It leads to noticeable improvement in pattern, amplitude and numerical dissipation of divergence error of magnetic field.

astro-ph.IM↗

arXiv2025

Effective Numerical Simulation of Fault Transient System

Power systems, including synchronous generator systems, are typical systems that strive for stable operation. In this article, we numerically study the fault transient process of a synchronous generator system based on the first benchmark model. That is, we make it clear whether an originally stable generator system can restore its stability after a short time of unstable transient process. To achieve this, we construct a structure-preserving method and compare it with the existing and frequently-used predictor-corrector method. We newly establish a reductive form of the circuit system and accelerate the reduction process. Also a switching method between two stages in the fault transient process is given. Numerical results show the effectiveness and reliability of our method.

math.NA↗

arXiv2024

Fractional Langevin equation far from equilibrium: Riemann-Liouville fractional Brownian motion, spurious nonergodicity and aging

We consider the fractional Langevin equation far from equilibrium (FLEFE) to describe stochastic dynamics which do not obey the fluctuation-dissipation theorem, unlike the conventional fractional Langevin equation (FLE). The solution of this equation is Riemann-Liouville fractional Brownian motion (RL-FBM), also known in the literature as FBM II. Spurious nonergodicity, stationarity, and aging properties of the solution are explored for all admissible values $\alpha>1/2$ of the order $\alpha$ of the time-fractional Caputo derivative in the FLEFE. The increments of the process are asymptotically stationary. However when $1/2<\alpha<3/2$, the time-averaged mean-squared displacement (TAMSD) does not converge to the mean-squared displacement (MSD). Instead, it converges to the mean-squared increment (MSI) or structure function, leading to the phenomenon of spurious nonergodicity. When $\alpha\ge 3/2$, the increments of FLEFE motion are nonergodic, however the higher order increments are asymptotically ergodic. We also discuss the aging effect in the FLEFE by investigating the influence of an aging time $t_a$ on the mean-squared displacement, time-averaged mean-squared displacement and autocovariance function of the increments. We find that under strong aging conditions the process becomes ergodic, and the increments become stationary in the domain $1/2<\alpha<3/2$.

cond-mat.stat-mech↗

arXiv2024

A deformation-based framework for learning solution mappings of PDEs defined on varying domains

In this work, we establish a deformation-based framework for learning solution mappings of PDEs defined on varying domains. The union of functions defined on varying domains can be identified as a metric space according to the deformation, then the solution mapping is regarded as a continuous metric-to-metric mapping, and subsequently can be represented by another continuous metric-to-Banach mapping using two different strategies, referred to as the D2D subframework and the D2E subframework, respectively. We point out that such a metric-to-Banach mapping can be learned by neural networks, hence the solution mapping is accordingly learned. With this framework, a rigorous convergence analysis is built for the problem of learning solution mappings of PDEs on varying domains. As the theoretical framework holds based on several pivotal assumptions which need to be verified for a given specific problem, we study the star domains as a typical example, and other situations could be similarly verified. There are three important features of this framework: (1) The domains under consideration are not required to be diffeomorphic, therefore a wide range of regions can be covered by one model provided they are homeomorphic. (2) The deformation mapping is unnecessary to be continuous, thus it can be flexibly established via combining a primary identity mapping and a local deformation mapping. This capability facilitates the resolution of large systems where only local parts of the geometry undergo change. (3) If a linearity-preserving neural operator such as MIONet is adopted, this framework still preserves the linearity of the surrogate solution mapping on its source term for linear PDEs, thus it can be applied to the hybrid iterative method. We finally present several numerical experiments to validate our theoretical results.

math.NA↗

arXiv2024

The Unisolvence of Lagrange Interpolation with Symmetric Interpolation Space and Nodes in High Dimension

High-dimensional Lagrange interpolation plays a pivotal role in finite element methods, where ensuring the unisolvence and symmetry of its interpolation space and nodes set is crucial. In this paper, we leverage group action and group representation theories to precisely delineate the conditions for unisolvence. We establish a necessary condition for unisolvence: the symmetry of the interpolation nodes set is determined by the given interpolation space. Our findings not only contribute to a deeper theoretical understanding but also promise practical benefits by reducing the computational overhead associated with identifying appropriate interpolation nodes.

math.NA↗

arXiv2024

Canonical Hamiltonian Guiding Center Dynamics and Its Intrinsic Magnetic Moment

The concept of guiding center is potent in astrophysics, space plasmas, fusion researches, and arc plasmas to solve the multi-scale dynamics of magnetized plasmas. In this letter, we rigorously prove that the guiding center dynamics can generally be described as a constrained canonical Hamiltonian system with two constraints in six dimensional phase space, and that the solution flow of the guiding center lies on a canonical symplectic sub-manifold. The guiding center can thus be modeled as a pseudo-particle with an intrinsic magnetic moment, which properly replaces the charged particle dynamics on time scales larger than the gyro-period. The complete dynamical behaviors, such as the velocity and force, of the guiding center pseudo-particle can be clearly deduced from the model. Furthermore, a series of related theories, such as symplectic numerical methods, the canonical gyro-kinetic theory, and canonical particle-in-cell algorithms can be systematically developed based on the canonical guiding center system. The canonical guiding center theory also provides an enlightenment for the origin of the intrinsic magnetic moment.

physics.plasm-ph↗

arXiv2024

Learning solution operators of PDEs defined on varying domains via MIONet

In this work, we propose a method to learn the solution operators of PDEs defined on varying domains via MIONet, and theoretically justify this method. We first extend the approximation theory of MIONet to further deal with metric spaces, establishing that MIONet can approximate mappings with multiple inputs in metric spaces. Subsequently, we construct a set consisting of some appropriate regions and provide a metric on this set thus make it a metric space, which satisfies the approximation condition of MIONet. Building upon the theoretical foundation, we are able to learn the solution mapping of a PDE with all the parameters varying, including the parameters of the differential operator, the right-hand side term, the boundary condition, as well as the domain. Without loss of generality, we for example perform the experiments for 2-d Poisson equations, where the domains and the right-hand side terms are varying. The results provide insights into the performance of this method across convex polygons, polar regions with smooth boundary, and predictions for different levels of discretization on one task. We also show the additional result of the fully-parameterized case in the appendix for interested readers. Reasonably, we point out that this is a meshless method, hence can be flexibly used as a general solver for a type of PDE.

cs.LG↗

arXiv2024

Generalized Lagrangian Neural Networks

Incorporating neural networks for the solution of Ordinary Differential Equations (ODEs) represents a pivotal research direction within computational mathematics. Within neural network architectures, the integration of the intrinsic structure of ODEs offers advantages such as enhanced predictive capabilities and reduced data utilization. Among these structural ODE forms, the Lagrangian representation stands out due to its significant physical underpinnings. Building upon this framework, Bhattoo introduced the concept of Lagrangian Neural Networks (LNNs). Then in this article, we introduce a groundbreaking extension (Genralized Lagrangian Neural Networks) to Lagrangian Neural Networks (LNNs), innovatively tailoring them for non-conservative systems. By leveraging the foundational importance of the Lagrangian within Lagrange's equations, we formulate the model based on the generalized Lagrange's equation. This modification not only enhances prediction accuracy but also guarantees Lagrangian representation in non-conservative systems. Furthermore, we perform various experiments, encompassing 1-dimensional and 2-dimensional examples, along with an examination of the impact of network parameters, which proved the superiority of Generalized Lagrangian Neural Networks(GLNNs).

math.DS↗

arXiv2023

Solving parametric elliptic interface problems via interfaced operator network

Learning operators mapping between infinite-dimensional Banach spaces via neural networks has attracted a considerable amount of attention in recent years. In this paper, we propose an interfaced operator network (IONet) to solve parametric elliptic interface PDEs, where different coefficients, source terms, and boundary conditions are considered as input features. To capture the discontinuities in both the input functions and the output solutions across the interface, IONet divides the entire domain into several separate subdomains according to the interface and uses multiple branch nets and trunk nets. Each branch net extracts latent representations of input functions at a fixed number of sensors on a specific subdomain, and each trunk net is responsible for output solutions on one subdomain. Additionally, tailored physics-informed loss of IONet is proposed to ensure physical consistency, which greatly reduces the training dataset requirement and makes IONet effective without any paired input-output observations inside the computational domain. Extensive numerical studies demonstrate that IONet outperforms existing state-of-the-art deep operator networks in terms of accuracy and versatility.

math.NA↗

arXiv2023

Effective Numerical Simulations of Synchronous Generator System

Synchronous generator system is a complicated dynamical system for energy transmission, which plays an important role in modern industrial production. In this article, we propose some predictor-corrector methods and structure-preserving methods for a generator system based on the first benchmark model of subsynchronous resonance, among which the structure-preserving methods preserve a Dirac structure associated with the so-called port-Hamiltonian descriptor systems. To illustrate this, the simplified generator system in the form of index-1 differential-algebraic equations has been derived. Our analyses provide the global error estimates for a special class of structure-preserving methods called Gauss methods, which guarantee their superior performance over the PSCAD/EMTDC and the predictor-corrector methods in terms of computational stability. Numerical simulations are implemented to verify the effectiveness and advantages of our methods.

math.NA↗

arXiv2023

Implementation and (Inverse Modified) Error Analysis for implicitly-templated ODE-nets

We focus on learning unknown dynamics from data using ODE-nets templated on implicit numerical initial value problem solvers. First, we perform Inverse Modified error analysis of the ODE-nets using unrolled implicit schemes for ease of interpretation. It is shown that training an ODE-net using an unrolled implicit scheme returns a close approximation of an Inverse Modified Differential Equation (IMDE). In addition, we establish a theoretical basis for hyper-parameter selection when training such ODE-nets, whereas current strategies usually treat numerical integration of ODE-nets as a black box. We thus formulate an adaptive algorithm which monitors the level of error and adapts the number of (unrolled) implicit solution iterations during the training process, so that the error of the unrolled approximation is less than the current learning loss. This helps accelerate training, while maintaining accuracy. Several numerical experiments are performed to demonstrate the advantages of the proposed algorithm compared to nonadaptive unrollings, and validate the theoretical analysis. We also note that this approach naturally allows for incorporating partially known physical terms in the equations, giving rise to what is termed ``gray box" identification.

math.NA↗

arXiv2022

Error analysis based on inverse modified differential equations for discovery of dynamics using linear multistep methods and deep learning

Along with the practical success of the discovery of dynamics using deep learning, the theoretical analysis of this approach has attracted increasing attention. Prior works have established the grid error estimation with auxiliary conditions for the discovery of dynamics using linear multistep methods and deep learning. And we extend the existing error analysis in this work. We first introduce the concept of inverse modified differential equations (IMDE) for linear multistep methods and show that the learned model returns a close approximation of the IMDE. Based on the IMDE, we prove that the error between the discovered system and the target system is bounded by the sum of the LMM discretization error and the learning loss. Furthermore, the learning loss is quantified by combining the approximation and generalization theories of neural networks, and thereby we obtain the priori error estimates for the discovery of dynamics using linear multistep methods. Several numerical experiments are performed to verify the theoretical analysis.

math.NA↗

arXiv2022

Explicit K-symplectic methods for nonseparable non-canonical Hamiltonian systems

We propose efficient numerical methods for nonseparable non-canonical Hamiltonian systems which are explicit, K-symplectic in the extended phase space with long time energy conservation properties. They are based on extending the original phase space to several copies of the phase space and imposing a mechanical restraint on the copies of the phase space. Explicit K-symplectic methods are constructed for three non-canonical Hamiltonian systems. Numerical results show that they outperform the higher order Runge-Kutta methods in preserving the phase orbit and the energy of the system over long time.

math.NA↗