SearcharxivSearch

arXiv subjects

Wangtao Lu

Publications and source records attributed to Wangtao Lu.

At least 19 recordsLinked to original sources

An FFT-Accelerated Boundary Integral Equation Method for Wave Scattering by Smooth Surfaces in Three Dimensions

For wave scattering by axisymmetric surfaces, the fast Fourier transform (FFT) method provides an effective tool to accelerate standard boundary integral equation (BIE) solvers. Surface BIEs can be decoupled into a series of curve integral equations on the generating curve, due to the convolution-like integral operators. The Fourier coefficients of the three-dimensional fundamental kernels can be rapidly computed through three-term recurrence relations based on Miller's algorithm. Such well-established techniques break down for nonaxisymmetric surfaces. This paper proposes a novel FFT-accelerated boundary integral method for wave scattering by smooth surfaces of arbitrary shapes. The Fourier coefficients of the singular kernels now satisfy higher-order recurrence relations. Although they can be solved with an optimal linear complexity by the standard Olver's algorithm, it turns out that a singularity swapping approach that rewrites each kernel as the product of a smooth function and an axisymmetric-related singular factor is realistically much faster. Consequently, Miller's algorithm together with the standard FFT convolution yields an ${\cal O}(M\log M)$ approach for evaluating the ${\cal O}(M)$ Fourier coefficients of the kernels, attaining exactly the same order of complexity for axisymmetric surfaces! With such FFT-based efficient procedures, we rewrite the surface BIEs in terms of ${\cal O}(M)$ curve integrals, which are proved to exhibit logarithmic singularities, discretize them by panel-based generalized Gaussian quadratures, and obtain spectrally accurate linear systems to approximate the wavefields. Extensive numerical experiments are carried out to demonstrate the effectiveness and spectral accuracy of the new approach.

math.NA

Convergence of the PML-BIE Method for Acoustic Scattering in an Impedance Half-Space

The perfectly matched layer-based boundary integral equation (PML-BIE) method (Lu et al., \emph{SIAM J. Appl. Math.} 78 (2018)) has become an effective tool for wave scattering problems in unbounded domains. Despite its successful applications, a rigorous convergence theory has remained incomplete in many physically relevant settings. In this paper, we present a general framework for establishing convergence of PML-BIE methods, using acoustic scattering in an impedance half-space as the first illustrative example. The framework separates the analysis into three components: convergence of the PML truncated partial differential equation, equivalence between the PML problem and an exact PML-BIE, and convergence of a computable PML-BIE obtained by replacing the exact kernel with a stretched free-space kernel. For the impedance half-space problem, we prove convergence of both the exact and computable PML-BIE formulations. The final error bound decays exponentially as the PML absorption power increases. The resulting theory provides a rigorous foundation for the PML-BIE method and gives a reference model for more general scattering problems in layered and inhomogeneous media.

math.NA

BEV-ODOM2: Enhanced BEV-based Monocular Visual Odometry with PV-BEV Fusion and Dense Flow Supervision for Ground Robots

Scale-consistent ego-motion estimation is fundamental for autonomous ground robots. Bird's-Eye-View (BEV) representation naturally addresses the scale drift problem of monocular visual odometry (MVO) by providing a metric-scaled planar workspace, enabling the simplification of 6-DoF ego-motion to a more robust 3-DoF model. However, existing BEV-based methods suffer from two key limitations: sparse supervision signals from pose-only training, and information loss during perspective-to-BEV projection. We present BEV-ODOM2, an enhanced framework that addresses both limitations without requiring additional annotations. Our approach introduces (1) dense BEV optical flow supervision constructed directly from 3-DoF pose ground truth for pixel-level guidance, and (2) Perspective View (PV)-BEV fusion that computes correlation volumes before projection to preserve 6-DoF motion cues. An enhanced rotation sampling strategy further balances diverse motion patterns during training. We evaluate on four datasets with varied spatial scales: KITTI, Oxford, NCLT, and our newly collected ZJH-VO benchmark. BEV-ODOM2 achieves a 40\% RTE improvement over prior BEV-based methods, with real-time inference on an NVIDIA Jetson AGX Orin confirming edge deployment feasibility. The source code and the ZJH-VO dataset are publicly released to facilitate future research.

cs.RO

FePySR: A Neural Feature Extraction Framework for Efficient and Scalable Symbolic Regression

A fundamental challenge in symbolic regression (SR) is efficiently recovering complex mathematical expressions from observational data. Although this problem is NP-hard, many expressions of practical interest decompose naturally into combinations of nonlinear feature modules, concentrating structural complexity into a small number of reusable components. Here, we introduce FePySR, a two-stage framework that reduces the SR search space by extracting valid features prior to equation search. FePySR first employs a heterogeneous neural network to constrain observational data to a set of candidate expressions, then performs structural optimization within this refined expression space using PySR. Across five standard benchmarks, FePySR outperforms state-of-the-art methods by achieving higher equation recovery rates. On a set of 75 highly complex synthesized equations, FePySR recovers 36 equations, while producing substantially smaller mean squared errors on the remaining unrecovered cases, with reduced computation time compared to PySR. FePySR's first stage also maintains consistent performance under varying numbers of selected top features and increasing levels of noise in the observational data. Applied to ordinary differential equations governing biological systems, FePySR successfully identifies governing equations in 24 out of 100 tests where PySR recovers none. Taken together, FePySR is a generalizable framework that can enhance the SR solvers, enabling the efficient and reliable recovery of symbolic expressions across scientific domains.

cs.SC

Existence of Friedrich-Wintgen Bound States in the Continuum: Cavity with a Thin Waveguide Opening

Bound states in the continuum (BICs) are localized states embedded within a continuum of propagating waves. Perturbations that disrupt BICs typically induce ultra-strong resonances, a phenomenon enabling diverse applications in photonics. This work investigates the existence of BICs in two-dimensional electromagnetic cavities coupled to thin waveguides for H-polarized waves. Our focus is on Friedrich-Wintgen BICs (FW-BICs), which arise from destructive interference between two resonant modes and were identified numerically in rectangular cavities with waveguide openings by Lyapina et al. [J. Fluid Mech., 780 (2015), pp. 370--387]. Here, we rigorously establish the existence of FW-BICs in a broader class of cavity geometries by introducing perturbations to the refractive index under regularity constraints. We show that BICs correspond to intersections of two curves derived implicitly from the governing equations constructed via the mode-matching method. Crucially, we prove that such intersections are guaranteed for sufficiently small waveguide widths, provided that two eigenvalues of the cavity cross and the associated eigenfunctions exhibit non-vanishing coupling to the radiation channel at the cavity-waveguide interface. Furthermore, our approach remains applicable for studying the emergence of FW-BICs under parameter-dependent boundary perturbations to the cavity.

math-ph

A boundary integral equation method for wave scattering in periodic structures via the Floquet-Bloch transform

This paper is concerned with the problem of an acoustic wave scattering in a locally perturbed periodic structure. As the total wavefield is non-quasi-periodic, effective truncation techniques are pursued for high-accuracy numerical solvers. We adopt the Green's function for the background periodic structure to construct a boundary integral equation (BIE) on an artificial curve enclosing the perturbation. It serves as a transparent boundary condition (TBC) to truncate the unbounded domain. We develop efficient algorithms to compute such background Green's functions based on the Floquet-Bloch transform and its inverse. Spectrally accurate quadrature rules are developed to discretize the BIE-based TBC. Effective algorithms based on leap and pullback procedures are further developed to compute the total wavefield everywhere in the structure. A number of numerical experiments are carried out to illustrate the efficiency and accuracy of the new solver. They exhibit that our method for the non-quasi-periodic problem has a time complexity that is even comparable to that of a single quasi-periodic problem.

math.NA

Parallel overlapping-domain decomposition FDFD for large-scale complex nanostructures modeling

The increasing complexity and scale of photonic and electromagnetic devices demand efficient and accurate numerical solvers. In this work, we develop a parallel overlapping domain decomposition method (DDM) based on the finite-difference frequency-domain (FDFD) formulation to model the electromagnetic response of large-scale complex nanostructures. The global computational domain is partitioned into multiple overlapping subdomains terminated with perfectly matched layers (PMLs), enabling seamless source transfer between adjacent subdomains. A multi-frontal preconditioner is employed to accelerate the iterative solution process, while an OpenMP-based parallel implementation ensures high scalability. Several numerical examples are provided to validate the efficiency and accuracy of the proposed algorithm. The results demonstrate excellent agreement with analytical and commercial COMSOL solutions. Notably, the method achieves up to an order of magnitude reduction in computation time, highlighting its potential as a powerful tool for large-scale photonic and electromagnetic modeling.

physics.optics

Capsizing-Guided Trajectory Optimization for Autonomous Navigation with Rough Terrain

It is a challenging task for ground robots to autonomously navigate in harsh environments due to the presence of non-trivial obstacles and uneven terrain. This requires trajectory planning that balances safety and efficiency. The primary challenge is to generate a feasible trajectory that prevents robot from tip-over while ensuring effective navigation. In this paper, we propose a capsizing-aware trajectory planner (CAP) to achieve trajectory planning on the uneven terrain. The tip-over stability of the robot on rough terrain is analyzed. Based on the tip-over stability, we define the traversable orientation, which indicates the safe range of robot orientations. This orientation is then incorporated into a capsizing-safety constraint for trajectory optimization. We employ a graph-based solver to compute a robust and feasible trajectory while adhering to the capsizing-safety constraint. Extensive simulation and real-world experiments validate the effectiveness and robustness of the proposed method. The results demonstrate that CAP outperforms existing state-of-the-art approaches, providing enhanced navigation performance on uneven terrains.

cs.RO

BEV-DWPVO: BEV-based Differentiable Weighted Procrustes for Low Scale-drift Monocular Visual Odometry on Ground

Monocular Visual Odometry (MVO) provides a cost-effective, real-time positioning solution for autonomous vehicles. However, MVO systems face the common issue of lacking inherent scale information from monocular cameras. Traditional methods have good interpretability but can only obtain relative scale and suffer from severe scale drift in long-distance tasks. Learning-based methods under perspective view leverage large amounts of training data to acquire prior knowledge and estimate absolute scale by predicting depth values. However, their generalization ability is limited due to the need to accurately estimate the depth of each point. In contrast, we propose a novel MVO system called BEV-DWPVO. Our approach leverages the common assumption of a ground plane, using Bird's-Eye View (BEV) feature maps to represent the environment in a grid-based structure with a unified scale. This enables us to reduce the complexity of pose estimation from 6 Degrees of Freedom (DoF) to 3-DoF. Keypoints are extracted and matched within the BEV space, followed by pose estimation through a differentiable weighted Procrustes solver. The entire system is fully differentiable, supporting end-to-end training with only pose supervision and no auxiliary tasks. We validate BEV-DWPVO on the challenging long-sequence datasets NCLT, Oxford, and KITTI, achieving superior results over existing MVO methods on most evaluation metrics.

cs.RO

An FFT-accelerated PML-BIE Solver for Three-Dimensional Acoustic Wave Scattering in Layered Media

This paper is concerned with three-dimensional acoustic wave scattering in two-layer media, where the two homogeneous layers are separated by a locally perturbed plane featuring an axially symmetric perturbation. A fast novel boundary integral equation (BIE) method is proposed to solve the scattering problem within a cylindrical perfectly matched layer (PML) truncation. We use PML-transformed Green's functions to derive BIEs in terms of single- and double-layer potentials for the wave field and its normal derivative on the boundary of each truncated homogeneous region. These BIEs, combined with interface and PML boundary conditions, form a complete system that accurately approximates the scattering problem. An FFT-based approach is introduced to efficiently and accurately discretize the surface integral operators in the BIEs, where a new kernel splitting technique is developed to resolve instabilities arising from the complex arguments in Green's functions. Numerical experiments demonstrate the efficiency and accuracy of the proposed method, as well as the exponential decay of truncation errors introduced by the PML.

math.NA

PML-based boundary integral equation method for electromagnetic scattering problems in a layered-medium

This paper proposes a new boundary integral equation (BIE) methodology based on the perfectly matched layer (PML) truncation technique for solving the electromagnetic scattering problems in a multi-layered medium. Instead of using the original PML stretched fields, artificial fields which are also equivalent to the solutions in the physical region are introduced. This significantly simplifies the study of the proposed methodology to derive the PML problem. Then some PML transformed layer potentials and the associated boundary integral operators (BIOs) are defined and the corresponding jump relations are shown. Under the assumption that the fields vanish on the PML boundary, the solution representations, as well as the related BIEs and regularization of the hyper-singular operators, in terms of the current density functions on the truncated interface, are derived. Numerical experiments are presented to demonstrate the efficiency and accuracy of the method.

math.NA

Does PML exponentially absorb outgoing waves scattering from a periodic surface?

The PML method is well-known for its exponential convergence rate and easy implementation for scattering problems with unbounded domains. For rough-surface scattering problems, authors in [5] proved that the PML method converges at most algebraically in the physical domain. However, the authors also asked a question whether exponential convergence still holds for compact subsets. In [25], one of our authors proved the exponential convergence for periodic surfaces via the Floquet-Bloch transform when the wavenumber is positive and not a half integer; when the wavenumber is a positive half integer, a nearly fourth-order convergence rate was shown in [26]. The extension of this method to locally perturbed cases is not straightforward, since the domain is no longer periodic thus the Floquet-Bloch transform doesn't work, especially when the domain topology is changed. Moreover, the exact decay rate when the wavenumber is a half integer remains unclear. The purpose of this paper is to address these two significant issues. For the first topic, the main idea is to reduce the problem by the DtN map on an artificial curve, then the convergence rate of the PML is obtained from the investigation of the DtN map. It shows exactly the same convergence rate as in the unperturbed case. Second, to illustrate the convergence rate when the wavenumber is a half integer, we design a specific periodic structure for which the PML converges at the fourth-order, showing that the algebraic convergence rate is sharp. We adopt a previously developed high-accuracy PML-BIE solver to exhibit this unexpected phenomenon.

math.NA

On exact truncation of backward waves in elastrodynamics

For elastic wave scattering problems in unbounded anisotropic media, the existence of backward waves makes classic truncation techniques fail completely. This paper is concerned with an exact truncation technique for terminating backward elastic waves. We derive a closed form of elastrodynamic Green's tensor based on the method of Fourier transform and design two fundamental principles to ensure its physical correctness. We present a rigorous theory to completely classify the propagation behavior of Green's tensor, thus proving a conjecture posed by Bécache, Fauqueux and Joly (J. Comp. Phys., 188, 2003) regarding a necessary and suffcient condition of the non-existence of backward waves. Using Green's tensor, we propose a new radiation condition to characterize anistropic scattered waves at infinity. This leads to an exact transparent boundary condition (TBC) to truncate the unbounded domain, regardless the existence of backward waves or not. We develop a fast algorithm to evaluate Green's tensor and a high-accuracy scheme to discretize the TBC. A number of experiments are carried out to validate the correctness and efficiency of the new TBC.

math.NA

A highly accurate perfectly-matched-layer boundary integral equation solver for acoustic layered-medium problems

Based on the perfectly matched layer (PML) technique, this paper develops a high-accuracy boundary integral equation (BIE) solver for acoustic scattering problems in locally defected layered media in both two and three dimensions. The original scattering problem is truncated onto a bounded domain by the PML. Assuming the vanishing of the scattered field on the PML boundary, we derive BIEs on local defects only in terms of using PML-transformed free-space Green's function, and the four standard integral operators: single-layer, double-layer, transpose of double-layer, and hyper-singular boundary integral operators. The hyper-singular integral operator is transformed into a combination of weakly-singular integral operators and tangential derivatives. We develop a high-order Chebyshev-based rectangular-polar singular-integration solver to discretize all weakly-singular integrals. Numerical experiments for both two- and three-dimensional problems are carried out to demonstrate the accuracy and efficiency of the proposed solver.

math.NA

Parametric dependence of bound states in the continuum: a general theory

Photonic structures with high-$Q$ resonances are essential for many practical applications, and they can be relatively easily realized by modifying ideal structures with bound states in the continuum (BICs). When an ideal photonic structure with a BIC is perturbed, the BIC may be destroyed (becomes a resonant state) or may continue to exist with a slightly different frequency and a slightly different wavevector (if appropriate). Some BICs are robust against certain structural perturbations, but most BICs are nonrobust. Recent studies suggest that a nonnegative integer $n$ can be defined for any generic nondegenerate BIC with respect to a properly defined set of structural perturbations. The integer $n$ is the minimum number of tunable parameters needed to preserve the BIC for perturbations arbitrarily chosen from the set. Robust and nonrobust BICs have $n=0$ and $n\ge 1$, respectively. A larger $n$ implies that the BIC is more difficult to find. If a structure is given by $m$ real parameters, the integer $n$ is the codimension of a geometric object formed by the parameter values at which the BIC exists in the $m$-dimensional parameter space. In this paper, we suggest a formula for $n$, give some justification for the general case, calculate $n$ for different types of BICs in two-dimensional structures with a single periodic direction, and illustrate the results by numerical examples. Our study improves the theoretical understanding on BICs and provides useful guidance to their practical applications.

physics.optics

Mathematical theory for electromagnetic scattering resonances and field enhancement in a subwavelength annular gap

This work presents a mathematical theory for electromagnetic scattering resonances in a subwavelength annular hole embedded in a metallic slab, with the annulus width $h\ll1$. The model is representative among many 3D subwavelength hole structures, which are able to induce resonant scattering of electromagnetic wave and the so-called extraordinary optical transmission. We develop a multiscale framework for the underlying scattering problem based upon a combination of the integral equation in the exterior domain and the waveguide mode expansion inside the tiny hole. The matching of the electromagnetic field over the hole aperture leads to a sequence of decoupled infinite systems, which are used to set up the resonance conditions for the scattering problem. By performing rigorous analysis for the infinite systems and the resonance conditions, we characterize all the resonances in a bounded domain over the complex plane. It is shown that the resonances are associated with the TE and TEM waveguide modes in the annular hole, and they are close to the real axis with the imaginary parts of order ${\cal O}(h)$. We also investigate the resonant scattering when an incident wave is present. It is proved that the electromagnetic field is amplified with order ${\cal O}(1/h)$ at the resonant frequencies that are associated with the TE modes in the annular hole. On the other hand, one particular resonance associated with the TEM mode can not be excited by a plane wave but can be excited with a near-field electric dipole source, leading to field enhancement of order ${\cal O}(1/h)$.

math-ph

Wave scattering in layered orthotropic media I: a stable PML and a high-accuracy boundary integral equation method

In anisotropic media, the standard perfectly matched layer (PML) technique suffers irrevocable instability in terminating the unbounded problem domains. It remains an open question whether a stable PML-like absorbing boundary condition exists. For wave scattering in a layered orthotropic medium, this question is affirmatively answered for the first time in this paper. In each orthotropic medium, the permittivity tensor uniquely determines a change of coordinates, that transforms the governing anisotropic Helmholtz equation into an isotropic Helmholtz equation in the new coordinate system. This leads us to propose a novel Sommerfeld radiation condition (SRC) to rigorously characterize outgoing waves in the layered orthotropic medium. Naturally, the SRC motivates a regionalized PML (RPML) to truncate the scattering problem, in the sense that a standard PML is set up in the new coordinate system in each orthotropic region. It is revealed that the RPML is unconditionally stable compared with the unstable uniaxial PML. A high-accuracy boundary integral equation (BIE) method is developed to solve the resulting boundary value problem. Numerical experiments are carried out to validate the stability of the RPML and the accuracy of the BIE method, showing exponentially decaying truncation errors as the RPML parameters increase.

math.NA

PML and high-accuracy boundary integral equation solver for wave scattering by a locally defected periodic surface

This paper studies the PML method for wave scattering in a half space of homogeneous medium bounded by a two-dimensional, perfectly conducting, and locally defected periodic surface, and develops a high-accuracy boundary-integral-equation (BIE) solver. Along the vertical direction, we place a PML to truncate the unbounded domain onto a strip and prove that the PML solution converges linearly to the true solution in the physical subregion of the strip with the PML thickness. Laterally, we divide the unbounded strip into three regions: a region containing the defect and two semi-waveguide regions, separated by two vertical line segments. In both semi-waveguides, we prove the well-posedness of an associated scattering problem so as to well define a Neumann-to-Dirichlet (NtD) operator on the associated vertical segment. The two NtD operators, serving as exact lateral boundary conditions, reformulate the unbounded strip problem as a boundary value problem onto the defected region. Due to the periodicity of the semi-waveguides, both NtD operators turn out to be closely related to a Neumann-marching operator, governed by a nonlinear Riccati equation. It is proved that the Neumann-marching operators are contracting, so that the PML solution decays exponentially fast along both lateral directions. The consequences culminate in two opposite aspects. Negatively, the PML solution cannot exponentially converge to the true solution in the whole physical region of the strip. Positively, from a numerical perspective, the Riccati equations can now be efficiently solved by a recursive doubling procedure and a high-accuracy PML-based BIE method so that the boundary value problem on the defected region can be solved efficiently and accurately. Numerical experiments demonstrate that the PML solution converges exponentially fast to the true solution in any compact subdomain of the strip.

math.NA