arXiv subjects
Publications and source records attributed to Hongyu Liu.
We consider the inverse problem of recovering both an unknown electric current and the surrounding electromagnetic parameters of a medium from boundary measurements. This inverse problem arises in brain imaging. We show that under generic conditions one can recover both the source and the electromagnetic parameters if these are piecewise constant and the current source is invariant in a fixed direction or a harmonic function.
Let $Ω$ be a bounded domain in $\mathbb{R}^n$, $n\geq 2$, and $V\in L^\infty(Ω)$ be a potential function. Consider the following transmission eigenvalue problem for nontrivial $v, w\in L^2(Ω)$ and $k\in\mathbb{R}_+$, \[(Δ+k^2)v= 0 \quad \text{in } Ω,\] \[(Δ+k^2(1+V))w= 0 \quad \text{in } Ω,\] \[w-v \in H^2_0(Ω), \quad \lVert v \rVert_{L^2(Ω)}=1. \] We show that the transmission eigenfunctions $v$ and $w$ carry the geometric information of $\mathrm{supp}(V)$. Indeed, it is proved that $v$ and $w$ vanish near a corner point on $\partial Ω$ in a generic situation where the corner possesses an interior angle less than $π$ and the potential function $V$ does not vanish at the corner point. This is the first quantitative result concerning the intrinsic property of transmission eigenfunctions and enriches the classical spectral theory for Dirichlet/Neumann Laplacian. We also discuss its implications to inverse scattering theory and invisibility.
In this addendum, we relax a restrictive assumption in [1] needed for the interior transmission eigenfunctions to hold the intrinsic geometric vanishing property in a corner. In addition we present in more detail another assumption which can also guarantee the vanishing property, namely being locally $H^2$ near the corner. This was mentioned briefly in [1].
In spite of years of improvements to software security, heap-related attacks still remain a severe threat. One reason is that many existing memory allocators fall short in a variety of aspects. For instance, performance-oriented allocators are designed with very limited countermeasures against attacks, but secure allocators generally suffer from significant performance overhead, e.g., running up to 10x slower. This paper, therefore, introduces FreeGuard, a secure memory allocator that prevents or reduces a wide range of heap-related attacks, such as heap overflows, heap over-reads, use-after-frees, as well as double and invalid frees. FreeGuard has similar performance to the default Linux allocator, with less than 2% overhead on average, but provides significant improvement to security guarantees. FreeGuard also addresses multiple implementation issues of existing secure allocators, such as the issue of scalability. Experimental results demonstrate that FreeGuard is very effective in defending against a variety of heap-related attacks.
This paper is concerned with the intrinsic geometric structure of interior transmission eigenfunctions arising in wave scattering theory. We numerically show that the aforementioned geometric structure can be much delicate and intriguing. The major findings can be roughly summarized as follows. If there is a cusp on the support of the underlying potential function, then the interior transmission eigenfunction vanishes near the cusp if its interior angle is less than $π$, whereas the interior transmission eigenfunction localizes near the cusp if its interior angle is bigger than $π$. Furthermore, we show that the vanishing and blowup orders are inversely proportional to the interior angle of the cusp: the sharper the angle, the higher the convergence order. Our results are first of its type in the spectral theory for transmission eigenvalue problems, and the existing studies in the literature concentrate more on the intrinsic properties of the transmission eigenvalues instead of the transmission eigenfunctions. Due to the limitedness of the computing resources, our study is by no means exclusive and complete. We consider our study only in a certain geometric setup including corner, curved corner and edge singularities. Nevertheless, we believe that similar results hold for more general cusp singularities and rigorous theoretical justifications are much desirable. Our study enriches the spectral theory for transmission eigenvalue problems. We also discuss its implication to inverse scattering theory.
This paper is concerned with a conceptual gesture-based instruction/input technique using electromagnetic wave detection. The gestures are modelled as the shapes of some impenetrable or penetrable scatterers from a certain admissible class, called a dictionary. The gesture-computing device generates time-harmonic electromagnetic point signals for the gesture recognition and detection. It then collects the scattered wave in a relatively small backscattering aperture on a bounded surface containing the point sources. The recognition algorithm consists of two stages and requires only two incident waves of different wavenumbers. The location of the scatterer is first determined approximately by using the measured data at a small wavenumber and the shape of the scatterer is then identified using the computed location of the scatterer and the measured data at a regular wavenumber. We provide the corresponding mathematical principle with rigorous analysis. Numerical experiments show that the proposed device works effectively and efficiently.
We are concerned with the inverse scattering problem of extracting the geometric structures of an unknown/inaccessible inhomogeneous medium by using the corresponding acoustic far-field measurement. Using the intrinsic geometric properties of the so-called interior transmission eigenfunctions, we develop a novel inverse scattering scheme. The proposed method can efficiently capture the cusp singularities of the support of the inhomogeneous medium. If further a priori information is available on the support of the medium, say, it is a convex polyhedron, then one can actually recover its shape. Both theoretical analysis and numerical experiments are provided. Our reconstruction method is new to the literature and opens up a new direction in the study of inverse scattering problems.
We are concerned with a novel sensor-based gesture input/instruction technology which enables human beings to interact with computers conveniently. The human being wears an emitter on the finger or holds a digital pen that generates a time harmonic point charge. The inputs/instructions are performed through moving the finger or the digital pen. The computer recognizes the instruction by determining the motion trajectory of the dynamic point charge from the collected electromagnetic field measurement data. The identification process is mathematically modelled as a dynamic inverse source problem for time-dependent Maxwell's equations. From a practical point of view, the point source should be assumed to move in an unknown inhomogeneous background medium, which models the human body and the surroundings. Moreover, a salient feature is that the electromagnetic radiated data are only collected in a limited aperture. For the inverse problem, we develop, from the respectively deterministic and stochastic viewpoints, a dynamic direct sampling method and a modified particle filter method. Both approaches can effectively recover the motion trajectory. Rigorous theoretical justifications are presented for the mathematical modelling and the proposed recovery methods. Extensive numerical experiments are conducted to illustrate the promising features of the two proposed recognition approaches.
This paper is concerned with the theoretical study of plasmonic resonances for linear elasticity governed by the Lamé system in $\mathbb{R}^3$, and their application for cloaking due to anomalous localized resonances. We derive a very general and novel class of elastic structures that can induce plasmonic resonances. It is shown that if either one of the two convexity conditions on the Lamé parameters is broken, then we can construct certain plasmon structures that induce resonances. This significantly extends the relevant existing studies in the literature where the violation of both convexity conditions is required. Indeed, the existing plasmonic structures are a particular case of the general structures constructed in our study. Furthermore, we consider the plasmonic resonances within the finite frequency regime, and rigorously verify the quasi-static approximation for diametrically small plasmonic inclusions. Finally, as an application of the newly found structures, we construct a plasmonic device of the core-shell-matrix form that can induce cloaking due to anomalous localized resonance in the quasi-static regime, which also includes the existing study as a special case.
We consider plasmon resonances and cloaking for the elastostatic system in $\mathbb{R}^3$ via the spectral theory of Neumann-Poincaré operator. We first derive the full spectral properties of the Neumann-Poincaré operator for the 3D elastostatic system in the spherical geometry. The spectral result is of significant interest for its own sake, and serves as a highly nontrivial extension of the corresponding 2D study in [8]. The derivation of the spectral result in 3D involves much more complicated and subtle calculations and arguments than that for the 2D case. Then we consider a 3D plasmonic structure in elastostatics which takes a general core-shell-matrix form with the metamaterial located in the shell. Using the obtained spectral result, we provide an accurate characterisation of the anomalous localised resonance and cloaking associated to such a plasmonic structure.
This paper is concerned with the invisibility cloaking in electromagnetic wave scattering from a new perspective. We are especially interested in achieving the invisibility cloaking by completely regular and isotropic mediums. Our study is based on an interior transmission eigenvalue problem. We propose a cloaking scheme that takes a three-layer structure including a cloaked region, a lossy layer and a cloaking shell. The target medium in the cloaked region can be arbitrary but regular, whereas the mediums in the lossy layer and the cloaking shell are both regular and isotropic. We establish that there exists an infinite set of incident waves such that the cloaking device is nearly-invisible under the corresponding wave interrogation. The set of waves is generated from the Maxwell-Herglotz approximation of the associated interior transmission eigenfunctions. We provide the mathematical design of the cloaking device and sharply quantify the cloaking performance.
We consider an inverse acoustic scattering problem in simultaneously recovering an embedded obstacle and its surrounding inhomogeneous medium by formally determined far-field data. It is shown that the knowledge of the scattering amplitude with a fixed incident direction and all observation angles along with frequencies from an open interval can be used to uniquely identify the embedded obstacle, sound-soft or sound-hard disregarding the surrounding medium. Furthermore, if the surrounding inhomogeneous medium is from an admissible class (still general), then the medium can be recovered as well. Our argument is based on deriving certain integral identities involving the unknowns and then inverting them by certain harmonic analysis techniques. Finally, based on our theoretical study, a fast and robust sampling method is proposed to reconstruct the shape and location of the buried targets and the support of the surrounding inhomogeneities.
This article is concerned with the time-harmonic electromagnetic (EM) scattering from a generic inhomogeneous medium. It is shown that if there is a right corner on the support of the medium, then it scatters every pair of incident EM fields, excluding a possible class of EM fields which are of very particular forms. That is, for every pair of admissible incident EM fields, the corresponding scattered wave fields associated to the medium scatterer cannot be identically vanishing outside the support of the medium. Indeed, we achieve the corner scattering result by establishing a stronger result, that shows the failure of the analytic extension across the corner of certain EM fields satisfying the so-called interior transmission eigenvalue problem. This extends the relevant study in [3] for the acoustic scattering governed by the Helmholtz equation to the electromagnetic case governed by the Maxwell system. Substantial new challenges arise from the corresponding extension from the scalar PDE to the system of PDEs. Our mathematical arguments combine the analysis for interior transmission eigenvalue problems associated to the Maxwell system; the derivation of novel orthogonality relation for the solutions of Maxwell systems; the construction of complex-geometrical-optics (CGO) solutions for the Maxwell system with new Lp-estimates (p > 6) on the remainder terms; and the proof of the non-vanishing property for the Laplace transform of vectorial homogeneous harmonic polynomials.
This paper is concerned with the mathematical design of a novel input/instruction device using a moving emitter. The emitter generates a point source and can be installed on a digit pen or worn on the finger of the human being who wants to interact/communicate with the computer. The input/instruction can be recognized by identifying the motion trajectory of the emitter performed by the human being from the collected wave field data. The identification process is modelled as an in- verse source problem where one intends to identify the trajectory of a moving point source. There are several salient features of our study which distinguish our result from the existing ones in the literature. First, the point source is moving in an inhomogeneous background medium, which models the human body. Second, the dynamical wave field data are collected in a limited aperture. Third, the recon- struction method is independent of the background medium, and it is totally direct without any matrix inversion. Hence, it is efficient and robust with respect to the measurement noise. Both theoretical justifications and computational experiments are presented to verify our novel findings.
We consider the electromagnetic scattering from a convex polyhedral PEC or PMC obstacle due to a time-harmonic incident plane wave. It is shown that the modulus of the far-field pattern in the backscattering aperture possesses a certain local maximum behavior. Using the local maximum indicating phenomena, one can determine the exterior unit normal directions, as well as the face areas, of the front faces of the obstacle. Then we propose a recovery scheme of reconstructing the obstacle by phaseless backscattering measurements. This work significantly extends our recent study in [12] from two dimensions and acoustic scattering to the much more challenging three dimensions and electromagnetic scattering.
We consider the plasmon resonance for the elastostatic system in $\mathbb{R}^3$ associated with a very broad class of sources. The plasmonic device takes a general core-shell-matrix form with the metamaterial located in the shell. It is shown that the plasmonic device in the literature which induces resonance in $\mathbb{R}^2$ does not induce resonance in $\mathbb{R}^3$. We then construct two novel plasmonic devices with suitable plasmon constants, varying according to the source term or the loss parameter, which can induce resonances. If there is no core, we show that resonance always occurs. If there is a core of an arbitrary shape, we show that the resonance strongly depends on the location of the source. In fact, there exists a critical radius such that resonance occurs for sources lying within the critical radius, whereas resonance does not occur for source lying outside the critical radius. Our argument is based on the variational technique by making use of the primal and dual variational principles for the elastostatic system, along with the highly technical construction of the associated perfect plasmon elastic waves.
The aim of the paper is to establish optimal stability estimates for the determination of sound-hard polyhedral scatterers in $\mathbb{R}^N$, $N \geq 2$, by a minimal number of far-field measurements. This work is a significant and highly nontrivial extension of the stability estimates for the determination of sound-soft polyhedral scatterers by far-field measurements, proved by one of the authors, to the much more challenging sound-hard case. The admissible polyhedral scatterers satisfy minimal a priori assumptions of Lipschitz type and may include at the same time solid obstacles and screen-type components. In this case we obtain a stability estimate with $N$ far-field measurements. Important features of such an estimate are that we have an explicit dependence on the parameter $h$ representing the minimal size of the cells forming the boundaries of the admissible polyhedral scatterers, and that the modulus of continuity, provided the error is small enough with respect to $h$, does not depend on $h$. If we restrict to $N=2,3$ and to polyhedral obstacles, that is to polyhedra, then we obtain stability estimates with fewer measurements, namely first with $N-1$ measurements and then with a single measurement. In this case the dependence on $h$ is not explicit anymore and the modulus of continuity depends on $h$ as well.
This paper is concerned with the invisibility cloaking in acoustic wave scattering from a new perspective. We are especially interested in achieving the invisibility cloaking by completely regular and isotropic mediums. It is shown that an interior transmission eigenvalue problem arises in our study, which is the one considered theoretically in \cite{CCH}. Based on such an observation, we propose a cloaking scheme that takes a three-layer structure including a cloaked region, a lossy layer and a cloaking shell. The target medium in the cloaked region can be arbitrary but regular, whereas the mediums in the lossy layer and the cloaking shell are both regular and isotropic. We establish that if a certain non-transparency condition is satisfied, then there exists an infinite set of incident waves such that the cloaking device is nearly-invisible under the corresponding wave interrogation. The set of waves is generated from the Herglotz-approximation of the associated interior transmission eigenfunctions. We provide both theoretical and numerical justifications.