arXiv subjects

Mikyoung Lim

Publications and source records attributed to Mikyoung Lim.

At least 19 recordsLinked to original sources

arXiv2026

Bayesian optimization approach for tracking a moving target from far-field data in three dimensions

We investigate a three-dimensional inverse scattering problem for tracking a rigidly moving target from far-field data generated by a single incident field. Extending our recent two-dimensional study, we develop a Bayesian optimization framework for simultaneously tracking the target's location and orientation over successive time steps, with the translational and rotational motions modeled as independent stochastic processes. We derive analytical formulas for the far-field pattern under translations and rotations and use them to design a Bayesian optimization procedure tailored to the tracking problem. We further establish posterior consistency for the underlying probabilistic model. When the target shape is unknown, its shape is identified at the initial time using a fully connected neural network trained on a precomputed dataset. Numerical experiments validate the effectiveness of the proposed framework.

math.AP↗

arXiv2026

Cloaking laminate design based on GPT-vanishing structures

We propose a near-cloaking design which is a lamination of a finite number of layers of isotropic materials. The proposed design is an approximation of a cloaking material obtained by pushing forward a multi-coated structure for which the coating cancels the generalized polarization tensors (GPTs) up to several leading orders. The enhanced cloaking effect achieved by the GPT-vanishing structure permits a coarser microscale requirement and reduces the contrast in the constituent isotropic materials, thereby improving constructibility of cloaking laminates compared with designs based on a non-coated structure.

math.AP↗

arXiv2025

Provable wavelet-based neural approximation

In this paper, we develop a wavelet-based theoretical framework for analyzing the universal approximation capabilities of neural networks over a wide range of activation functions. Leveraging wavelet frame theory on the spaces of homogeneous type, we derive sufficient conditions on activation functions to ensure that the associated neural network approximates any functions in the given space, along with an error estimate. These sufficient conditions accommodate a variety of smooth activation functions, including those that exhibit oscillatory behavior. Furthermore, by considering the $L^2$-distance between smooth and non-smooth activation functions, we establish a generalized approximation result that is applicable to non-smooth activations, with the error explicitly controlled by this distance. This provides increased flexibility in the design of network architectures.

cs.LG↗

arXiv2025

Conformal mapping based Physics-informed neural networks for designing neutral inclusions

We address the neutral inclusion problem with imperfect boundary conditions, focusing on designing interface functions for inclusions of arbitrary shapes. Traditional Physics-Informed Neural Networks (PINNs) struggle with this inverse problem, leading to the development of Conformal Mapping Coordinates Physics-Informed Neural Networks (CoCo-PINNs), which integrate geometric function theory with PINNs. CoCo-PINNs effectively solve forward-inverse problems by modeling the interface function through neural network training, which yields a neutral inclusion effect. This approach enhances the performance of PINNs in terms of credibility, consistency, and stability.

cs.LG↗

arXiv2024

Single-qubit quantum gate at an arbitrary speed

Quantum information processing comprises physical processes, which obey the quantum speed limit (QSL): high speed requires strong driving. Single-qubit gates using Rabi oscillation, which is based on the rotating wave approximation (RWA), satisfy this bound in the form that the gate time $T$ is inversely proportional to the Rabi frequency $\Omega$, characterizing the driving strength. However, if the gate time is comparable or shorter than the qubit period $T_{0} \equiv 2\pi / \omega_{0}$, the RWA actually breaks down since the Rabi frequency has to be large compared to the qubit frequency $\omega_{0}$ due to the QSL, which is given as $T \gtrsim \pi/\Omega$. We show that it is possible to construct a universal set of single-qubit gates at this strong-coupling and ultrafast regime, by adjusting the central frequency $\omega$ and the Rabi frequency $\Omega$ of the driving pulse. We observe a transition in the scaling behavior of the central frequency from the long-gate time regime ($T \gg T_{0}$) to the short-gate time ($T \ll T_{0}$) regime. In the former, the central frequency is nearly resonant to the qubit, i.e., $\omega \simeq \omega_{0}$, whereas in the latter, the central frequency is inversely proportional to the gate time, i.e., $\omega \sim \pi/T$. We identify the transition gate time at which the scaling exponent $n$ of the optimal central frequency $\omega \sim T^{n}$ changes from $n=0$ to $n=-1$.

quant-ph↗

arXiv2024

Bayesian optimization approach for tracking the location and orientation of a moving target using far-field data

We investigate the inverse scattering problem for tracking the location and orientation of a moving scatterer using a single incident field. We solve the problem by adopting the optimization approach with the objective function defined by the discrepancy in far-field data. We rigorously derive formulas for the far-field data under translation and rotation of the target and prove that the objective function is locally Lipschitz with respect to the orientation angle at the true angle. By integrating these formulas with the Bayesian optimization approach, we reduce the cost of objective function evaluations. For the instance of an unknown target, machine learning via fully connected neural networks is applied to identify the shape of the target. Numerical simulations for randomly generated shapes and trajectories demonstrate the effectiveness of the proposed method.

math.AP↗

arXiv2024

Approximation of the first Steklov-Dirichlet eigenvalue on eccentric spherical shells in general dimensions

We study the first Steklov-Dirichlet eigenvalue on eccentric spherical shells in $\mathbb{R}^{n+2}$ with $n\geq 1$, imposing the Steklov condition on the outer boundary sphere, denoted by $\Gamma_S$, and the Dirichlet condition on the inner boundary sphere. The first eigenfunction admits a Fourier--Gegenbauer series expansion via the bispherical coordinates, where the Dirichlet-to-Neumann operator on $\Gamma_S$ can be recursively expressed in terms of the expansion coefficients arXiv:2309.09587. In this paper, we develop a finite section approach for the Dirichlet-to-Neumann operator to approximate the first Steklov--Dirichlet eigenvalue on eccentric spherical shells. We prove the exponential convergence of this approach by using the variational characterization of the first eigenvalue. Furthermore, based on the convergence result, we propose a numerical computation scheme as an extension of the two-dimensional result in [Hong et al., Ann. Mat. Pura Appl., 2022] to general dimensions. We provide numerical examples of the first Steklov-Dirichlet eigenvalue on eccentric spherical shells with various geometric configurations.

math.AP↗

arXiv2024

A matrix formulation of the plane elastostatic inclusion problem via geometric function theory

We investigate the two-dimensional elastostatic inclusion problem in an unbounded medium. Building on the recent developments for rigid inclusions \cite{Mattei:2021:EAS} and conductivity inclusions \cite{Jung:2021:SEL}, we extend these methodologies to the more general case of elastic inclusions with arbitrary Lam\'{e} constants. Our approach integrates layer potential techniques, geometric function theory, and the complex-variable formulation in plane elasticity. As a main result, we derive a matrix formulation of the elastostatic inclusion problem using basis functions defined via the exterior conformal mapping of the inclusion. This leads to a series solution framework that incorporates the geometry of the inclusion.

math.AP↗

arXiv2024

Analytic asymptotic formulas for effective parameters of planar elastic composites

We investigate the effective elastic properties of periodic dilute two-phase composites consisting of an homogeneous isotropic matrix and a periodic array of rigid inclusions. We assume the rigid inclusion in a unit cell is a simply connected, bounded domain so that there exists an exterior conformal mapping corresponding the inclusion. Recently, an analytical series solution method for the elastic problem with a rigid inclusion was developed based on the layer potential technique and the geometric function theory \cite{Mattei:2021:EAS}. In this paper, by using the series solution method, we derive expression formulas for the elastic moment tensors--the coefficients of the multipole expansion associated with an elastic inclusion--of an inclusion of arbitrary shape. These formulas for the elastic moment tensors lead us to analytic asymptotic formulas for the effective parameters of the periodic elastic composites with rigid inclusions in terms of the associated exterior conformal mapping.

math.AP↗

arXiv2024

Analytic shape recovery of an elastic inclusion from elastic moment tensors

In this paper, we present an analytic non-iterative approach for recovering a planar isotropic elastic inclusion embedded in an unbounded medium from the elastic moment tensors (EMTs), which are coefficients for the multipole expansion of field perturbation caused by the inclusion. EMTs contain information about the inclusion's material and geometric properties and, as is well known, the inclusion can be approximated by a disk from leading-order EMTs. We define the complex contracted EMTs as the linear combinations of EMTs where the expansion coefficients are given from complex-valued background polynomial solutions. By using the layer potential technique for the Lam\'{e} system and the theory of conformal mapping, we derive explicit asymptotic formulas in terms of the complex contracted EMTs for the shape of the inclusion, treating the inclusion as a perturbed disk. These formulas lead us to an analytic non-iterative algorithm for elastic inclusion reconstruction using EMTs. We perform numerical experiments to demonstrate the validity and limitations of our proposed method.

math.AP↗

arXiv2023

Monostatic imaging of an extended target with MCMC sampling

We consider the imaging of a planar extended target from far-field data under a monostatic measurement configuration, in which the data is measured by a single moving transducer, as frequently encountered in practical application. In this paper, we develop a Bayesian approach to recover the shape of the extended target with MCMC sampling, where a new shape basis selection is proposed based on the shape derivative analysis for the measurement data. In order to optimize the center and radius of the initial disk, we use the monostatic sampling method for the center and the explicit scattered field expression for disks for the radius. Numerical simulations are presented to validate the proposed method.

math.NA↗

arXiv2023

On the first Steklov-Dirichlet eigenvalue on eccentric annuli in general dimensions

We consider the Steklov-Dirichlet eigenvalue problem on eccentric annuli in Euclidean space of general dimensions. In recent work by the same authors of this paper [21], a limiting behavior of the first eigenvalue, as the distance between the two boundary circles of an annulus approaches zero, was obtained in two dimensions. We extend this limiting behavior to general dimensions by employing bispherical coordinates and expressing the first eigenfunction as a Fourier-Gegenbauer series.

math.AP↗

arXiv2023

Spectral analysis of the Neumann-Poincar\'e operator for thin doubly connected domains

We analyze the spectrum of the Neumann-Poincar\'e (NP) operator for a doubly connected domain lying between two level curves defined by a conformal mapping, where the inner boundary of the domain is of general shape. The analysis relies on an infinite-matrix representation of the NP operator involving the Grunsky coefficients of the conformal mapping and an application of the Gershgorin circle theorem. As the thickness of the domain shrinks to zero, the spectrum of the doubly connected domain approaches the interval $[-1/2,1/2]$ in the Hausdorff distance and the density of eigenvalues approaches that of a thin circular annulus.

math.SP↗

arXiv2023

Construction of inclusions with vanishing generalized polarization tensors by imperfect interfaces

We investigate the problem of planar conductivity inclusion with imperfect interface conditions. We assume that the inclusion is simply connected. The presence of the inclusion causes a perturbation in the incident background field. This perturbation admits a multipole expansion of which coefficients we call the generalized polarization tensors (GPTs), extending the previous terminology for inclusions with perfect interfaces. We derive explicit matrix expressions for the GPTs in terms of the incident field, material parameters, and geometry of the inclusion. As an application, we construct GPT-vanishing structures of general shape that result in negligible perturbations for all uniform incident fields. The structure consists of a simply connected core with an imperfect interface. We provide numerical examples of GPT-vanishing structures obtained by our proposed scheme.

math.AP↗

arXiv2022

Inverse problem for a planar conductivity inclusion

This paper concerns the inverse problem of determining a planar conductivity inclusion. Our aim is to analytically recover from the generalized polarization tensors (GPTs), which can be obtained from exterior measurements, a homogeneous inclusion with arbitrary constant conductivity. The primary outcome of recovering a homogeneous inclusion is an inversion formula in terms of the GPTs for conformal mapping coefficients associated with the inclusion. To prove the formula, we establish matrix factorizations for the GPTs.

math.AP↗

arXiv2021

The Eigenvalue Problem for the Laplacian via Conformal Mapping and the Gohberg--Sigal Theory

We consider the Dirichlet and Neumann eigenvalues of the Laplacian for a planar, simply connected domain. The eigenvalues admit a characterization in terms of a layer potential of the Helmholtz equation. Using the exterior conformal mapping associated with the given domain, we reformulate the layer potential as an infinite-dimensional matrix. Based on this matrix representation, we develop a finite section approach for approximating the Laplacian eigenvalues and provide a convergence analysis by applying the Gohberg--Sigal theory for operator-valued functions. Moreover, we derive an asymptotic formula for the Laplacian eigenvalues on deformed domains that results from the changes in the conformal mapping coefficients.

math.NA↗

arXiv2021

Monostatic sampling methods in limited-aperture configuration

We present monostatic sampling methods for limited-aperture scattering problems in two dimensions. The direct sampling method (DSM) is well known to provide a robust, stable, and fast numerical scheme for imaging inhomogeneities from multistatic measurements even with only one or two incident fields. However, in practical applications, monostatic measurements in limited-aperture configuration are frequently encountered. A monostatic sampling method (MSM) was studied in full-aperture configuration in recent literature. In this paper, we develop MSM in limited-aperture configuration and derive an asymptotic formula of the corresponding indicator function. Based on the asymptotic formula, we then analyze the imaging performance of the proposed method depending on the range of measurement directions and the geometric, material properties of inhomogeneities. Furthermore, we propose a modified numerical scheme with multi-frequency measurements that improve imaging performance, especially for small anomalies. Numerical simulations are presented to validate the analytical results.

math.NA↗

arXiv2020

Geometric series expansion of the Neumann-Poincaré operator: application to composite materials

The Neumann-Poincaré operator, a singular integral operator on the boundary of a domain, naturally appears when one solves a conductivity transmission problem via the boundary integral formulation. Recently, a series expression of the Neumann-Poincaré operator was developed in two dimensions based on geometric function theory. In this paper, we investigate geometric properties of composite materials by using this series expansion. In particular, we obtain explicit formulas for the polarization tensor and the effective conductivity for an inclusion or a periodic array of inclusions of arbitrary shape with extremal conductivity, in terms of the associated exterior conformal mapping. Also, we observe by numerical computations that the spectrum of the Neumann--Poincaré operator has a monotonic behavior with respect to the shape deformation of the inclusion. Additionally, we derive inequality relations of the coefficients of the Riemann mapping of an arbitrary Lipschitz domain by using the properties of the polarization tensor corresponding to the domain.

math.AP↗