SearcharxivSearch

arXiv subjects

Shu Ma

Publications and source records attributed to Shu Ma.

13 recordsLinked to original sources

High-order energy-stable BGN parametric finite element methods for geometric flows

We construct high-order Runge--Kutta extensions of Barrett--Garcke--N\"urnberg (BGN) parametric finite element methods for curve-shortening flow and curve diffusion of planar curves and for mean curvature flow and surface diffusion of closed genus-$0$ surfaces. On each time slab $I_m=(t_m,t_{m+1}]$, the continuous equations are posed on the left-endpoint surface $\Gamma^m=\Gamma^{t_m}$ through the map $\X^{m,t}:\Gamma^m\to\Gamma^t$, whose target is the evolving surface at time $t$. For curves, this formulation follows by harmonic pullback from $\Gamma^0$ to $\Gamma^m$. For surfaces, an orientation-preserving harmonic diffeomorphism is posed separately on each time slab, and conformality yields the weight $\frac12|\nabla_{\Gamma^m}\X^{m,t}|^2$. Evaluating the time-slab equations at the Runge--Kutta internal times and applying mass-lumped parametric finite elements yields systems on the common domain $\Gamma^m$, with $\Gamma^{t_m+c_i\tau_m}$ as the intermediate target geometry. This internal-time discretization constructs high-order BGN-structured extensions for the four flows. For an algebraically stable tableau with nonnegative weights, every exact stage solution with nondegenerate intermediate configurations satisfies monotone decay of the discrete curve length or surface area for every positive time step for which that solution exists. Radau IIA experiments exhibit energy decay for all four flows and BGN-type mesh redistribution in the curve tests. The Hausdorff self-convergence results exhibit high-order behavior consistent with the corresponding design orders.

math.NA

B-spline-Based ALE-MFS Framework for Evolving Domains

We develop and analyze a B-spline based arbitrary Lagrangian-Eulerian method of fundamental solutions (ALE-MFS) for curvature-driven motion of two-dimensional evolving domains. Boundary points move with the material to track the geometric flow, while interior points move within an ALE framework via a harmonic extension of the boundary velocity, computed by a meshless MFS with sources on a fixed auxiliary circle, thus avoiding volumetric meshing. Boundary normals and curvature are reconstructed by an adaptive local B-spline scheme that remains robust for strongly nonconvex shapes and large deformations. A posteriori error estimates are obtained from a hatmatrix formulation of leave-one-out cross-validation (LOOCV) for both square collocation and zero-padded least-squares systems, and are complemented by maximum principle indicators for harmonic problems. Numerical experiments on circular, star-shaped, and amoeba-like domains show that square collocation suffices for moderately complex geometries, while zero-padded least-squares significantly improves interior velocity regularity and pointwise transport accuracy for strongly nonconvex shapes, without altering the source or collocation sets. The ALE-MFS algorithm also generates high-quality moving meshes for ALE-finite element methods, with larger minimum angles and slower mesh ratio growth than classical FEM mesh-motion strategies, suggesting a practical and easily integrable alternative for challenging moving-interface simulations.

math.NA

On Ultra-long Period (53.8 min) Pulsar ASKAP J1935+2148: Coherent Radio Emission Triggered by Local Superstrong Magnetic Reconnection

The eight ultra-long period pulsars (ULPPs) in radio bands have been discovered recently, e.g., ASKAP J1935+2148 with a spin period of 53.8\,min, which are much longer than those of normal pulsars, spanning from 0.016\,s to 23.5\,s, however the origins, spin evolutions and emission mechanisms of these sources are still puzzling. We investigate how the ultra-long period of ASKAP J1935+2148 is evolved by the braking of relativistic particle wind, in a time scale of about 0.1 - 1 Myr, from a normal pulsar with local superstrong magnetic fields. In addition, it is noticed that the ULPPs in the period versus period derivative diagram are much below the ``death line", implying their different characteristics from the normal pulsars. Five sources (including ASKAP J1935+2148) in total eight ULPPs share the rotational energy loss rates to be lower than their respective radio emission luminosities, a phenomenon that can be accounted for by the sustainable radio bursts induced through the reconnection of locally concentrated magnetic field lines.The diversity and complexity of ULPP radio emissions should be closely related to the presence of magnetic reconnection rather than rotational powered discharges in the gaps. Furthermore, it is suggested that the coherent radio emissions of pulsars may have two origins, one from the rotation-powered electric voltage that accounts for the normal pulsar phenomena and the other from the magnetic reconnection-induced continual radio bursts that account for the ULPP observations.

astro-ph.HE

FlexiNS: A SmartNIC-Centric, Line-Rate and Flexible Network Stack

As the gap between network and CPU speeds rapidly increases, the CPU-centric network stack proves inadequate due to excessive CPU and memory overhead. While hardware-offloaded network stacks alleviate these issues, they suffer from limited flexibility in both control and data planes. Offloading network stack to off-path SmartNIC seems promising to provide high flexibility; however, throughput remains constrained by inherent SmartNIC architectural limitations. To this end, we design FlexiNS, a SmartNIC-centric network stack with software transport programmability and line-rate packet processing capabilities. To grapple with the limitation of SmartNIC-induced challenges, FlexiNS introduces: (a) a header-only offloading TX path; (b) an unlimited-working-set in-cache processing RX path; (c) a high-performance DMA-only notification pipe; and (d) a programmable offloading engine. We prototype FlexiNS using Nvidia BlueField-3 SmartNIC and provide out-of-the-box RDMA IBV verbs compatibility to users. FlexiNS achieves 2.2$\times$ higher throughput than the microkernel-based baseline in block storage disaggregation and 1.3$\times$ higher throughput than the hardware-offloaded baseline in KVCache transfer.

cs.NI

Optimal convergence of the arbitrary Lagrangian-Eulerian interface tracking method for two-phase Navier--Stokes flow without surface tension

Optimal-order convergence in the $H^1$ norm is proved for an arbitrary Lagrangian-Eulerian interface tracking finite element method for the sharp interface model of two-phase Navier-Stokes flow without surface tension, using high-order curved evolving mesh. In this method, the interfacial mesh points move with the fluid's velocity to track the sharp interface between two phases of the fluid, and the interior mesh points move according to a harmonic extension of the interface velocity. The error of the semidiscrete arbitrary Lagrangian-Eulerian interface tracking finite element method is shown to be $O(h^k)$ in the $L^\infty(0, T; H^1(\Omega))$ norm for the Taylor-Hood finite elements of degree $k \ge 2$. This high-order convergence is achieved by utilizing the piecewise smoothness of the solution on each subdomain occupied by one phase of the fluid, relying on a low global regularity on the entire moving domain. Numerical experiments illustrate and complement the theoretical results.

math.NA

Demystifying Datapath Accelerator Enhanced Off-path SmartNIC

Network speeds grow quickly in the modern cloud, so SmartNICs are introduced to offload network processing tasks, even application logic. However, typical multicore SmartNICs such as BlueFiled-2 are only capable of processing control-plane tasks with their embedded processors that have limited memory bandwidth and computing power. On the other hand, cloud applications evolve rapidly, such that a limited number of fixed hardware engines in a SmartNIC cannot satisfy the requirements of cloud applications. Therefore, SmartNIC programmers call for a programmable datapath accelerator (DPA) to process network traffic at line rate. However, no existing work has unveiled the performance characteristics of the existing DPA. To this end, we present the first architectural characterization of the latest DPA-enhanced BlueFiled-3 (BF3) SmartNIC. Our evaluation results indicate that BF3's DPA is significantly wimpier than the off-path Arm processor and the host CPU. However, we still identify that DPA has three unique architectural characteristics that unleash the performance potential of DPA. Specifically, we demonstrate how to take advantage of DPA's three architectural characteristics regarding computing, networking, and memory subsystems. Then we propose three important guidelines for programmers to fully unleash the potential of DPA. To demonstrate the effectiveness of our approach, we conduct detailed case studies regarding each guideline. Our case study on key-value aggregation achieves up to 4.3$\times$ higher throughput by using our guidelines to optimize memory combinations.

cs.NI

Error estimates for the scalar auxiliary variable (SAV) scheme to the Cahn-Hilliard equation

The optimal error estimate that depending only on the polynomial degree of $ \varepsilon^{-1}$ is established for the temporal semi-discrete scheme of the Cahn-Hilliard equation, which is based on the scalar auxiliary variable (SAV) formulation. The key to our analysis is to convert the structure of the SAV time-stepping scheme back to a form compatible with the original format of the Cahn-Hilliard equation, which makes it feasible to use spectral estimates to handle the nonlinear term. Based on the transformation of the SAV numerical scheme, the optimal error estimate for the temporal semi-discrete scheme which depends only on the low polynomial order of $\varepsilon^{-1}$ instead of the exponential order, is derived by using mathematical induction, spectral arguments, and the superconvergence properties of some nonlinear terms. Numerical examples are provided to illustrate the discrete energy decay property and validate our theoretical convergence analysis.

math.NA

Optimal analysis of finite element methods for the stochastic Stokes equations

Numerical analysis for the stochastic Stokes equations is still challenging even though it has been well done for the corresponding deterministic equations. In particular, the pre-existing error estimates of finite element methods for the stochastic Stokes equations { in the $L^\infty(0, T; L^2(\Omega; L^2))$ norm} all suffer from the order reduction with respect to the spatial discretizations. The best convergence result obtained for these fully discrete schemes is only half-order in time and first-order in space, which is not optimal in space in the traditional sense. The objective of this article is to establish strong convergence of $O(\tau^{1/2}+ h^2)$ in the $L^\infty(0, T; L^2(\Omega; L^2))$ norm for approximating the velocity, and strong convergence of $O(\tau^{1/2}+ h)$ in the $L^{\infty}(0, T;L^2(\Omega;L^2))$ norm for approximating the time integral of pressure, where $\tau$ and $h$ denote the temporal step size and spatial mesh size, respectively. The error estimates are of optimal order for the spatial discretization considered in this article (with MINI element), and consistent with the numerical experiments. The analysis is based on the fully discrete Stokes semigroup technique and the corresponding new estimates.

math.NA

A semi-implicit low-regularity integrator for Navier-Stokes equations

A new type of low-regularity integrator is proposed for Navier-Stokes equations, coupled with a stabilized finite element method in space. Unlike the other low-regularity integrators for nonlinear dispersive equations, which are all fully explicit in time, the proposed method is semi-implicit in time in order to preserve the energy-decay structure of NS equations. First-order convergence of the proposed method is established independent of the viscosity coefficient $\mu$, under weaker regularity conditions than other existing numerical methods, including the semi-implicit Euler method and classical exponential integrators. Numerical results show that the proposed method is more accurate than the semi-implicit Euler method in the viscous case $\mu=O(1)$, and more accurate than the classical exponential integrator in the inviscid case $\mu\rightarrow 0$.

math.NA

Analysis of fully discrete finite element methods for 2D Navier--Stokes equations with critical initial data

First-order convergence in time and space is proved for a fully discrete semi-implicit finite element method for the two-dimensional Navier--Stokes equations with $L^2$ initial data in convex polygonal domains, without extra regularity assumptions or grid-ratio conditions. The proof utilises the smoothing properties of the Navier--Stokes equations, an appropriate duality argument, and the smallness of the numerical solution in the discrete $L^2(0,t_m;H^1)$ norm when $t_m$ is smaller than some constant. Numerical examples are provided to support the theoretical analysis.

math.NA

High-order mass- and energy-conserving SAV-Gauss collocation finite element methods for the nonlinear Schrödinger equation

A family of arbitrarily high-order fully discrete space-time finite element methods are proposed for the nonlinear Schrödinger equation based on the scalar auxiliary variable formulation, which consists of a Gauss collocation temporal discretization and the finite element spatial discretization. The proposed methods are proved to be well-posed and conserving both mass and energy at the discrete level. An error bound of the form $O(h^p+τ^{k+1})$ in the $L^\infty(0,T;H^1)$-norm is established, where $h$ and $τ$ denote the spatial and temporal mesh sizes, respectively, and $(p,k)$ is the degree of the space-time finite elements. Numerical experiments are provided to validate the theoretical results on the convergence rates and conservation properties. The effectiveness of the proposed methods in preserving the shape of a soliton wave is also demonstrated by numerical results.

math.NA

A high-order exponential integrator for nonlinear parabolic equations with nonsmooth initial data

A variable stepsize exponential multistep integrator, with contour integral approximation of the operator-valued exponential functions, is proposed for solving semilinear parabolic equations with nonsmooth initial data. By this approach, the exponential k-step method would have $k$th-order convergence in approximating a mild solution, possibly nonsmooth at the initial time. In consistency with the theoretical analysis, a numerical example shows that the method can achieve high-order convergence in the maximum norm for semilinear parabolic equations with discontinuous initial data.

math.NA

Mass- and energy-conserved numerical schemes for nonlinear Schr\"odinger equations

In this paper, we propose a family of time-stepping schemes for approximating general nonlinear Schr\"odinger equations. The proposed schemes all satisfy both mass conservation and energy conservation. Truncation and dispersion error analyses are provided for each proposed scheme. Efficient fixed-point iterative solvers are also constructed to solve the resulting nonlinear discrete problems. As a byproduct, an efficient one-step implementation of the BDF schemes is obtained as well. Extensive numerical experiments are presented to demonstrate the convergence and the capability of capturing the blow-up phenomenon of the proposed schemes.

math.NA