Searcharxiv⌕ Search

arXiv subjects

Hongyu Liu

Publications and source records attributed to Hongyu Liu.

At least 181 records · Page 10Linked to original sources

Make Encoder Great Again in 3D GAN Inversion through Geometry and Occlusion-Aware Encoding

3D GAN inversion aims to achieve high reconstruction fidelity and reasonable 3D geometry simultaneously from a single image input. However, existing 3D GAN inversion methods rely on time-consuming optimization for each individual case. In this work, we introduce a novel encoder-based inversion framework based on EG3D, one of the most widely-used 3D GAN models. We leverage the inherent properties of EG3D's latent space to design a discriminator and a background depth regularization. This enables us to train a geometry-aware encoder capable of converting the input image into corresponding latent code. Additionally, we explore the feature space of EG3D and develop an adaptive refinement stage that improves the representation ability of features in EG3D to enhance the recovery of fine-grained textural details. Finally, we propose an occlusion-aware fusion operation to prevent distortion in unobserved regions. Our method achieves impressive results comparable to optimization-based methods while operating up to 500 times faster. Our framework is well-suited for applications such as semantic editing.

cs.CV↗

Determining a nonlinear hyperbolic system with unknown sources and nonlinearity

We investigate inverse boundary problems associated with a time-dependent semilinear hyperbolic equation, where both nonlinearity and sources (including initial displacement and initial velocity) are unknown. We establish in several generic scenarios that one can uniquely determine the nonlinearity or the sources by using passive or active boundary observations. In order to exploit the nonlinearity and the sources simultaneously, we develop a new technique, which combines the observability for linear wave equations and a Runge approximation with higher order linearization for the semilinear hyperbolic equation.

math.AP↗

Human MotionFormer: Transferring Human Motions with Vision Transformers

Human motion transfer aims to transfer motions from a target dynamic person to a source static one for motion synthesis. An accurate matching between the source person and the target motion in both large and subtle motion changes is vital for improving the transferred motion quality. In this paper, we propose Human MotionFormer, a hierarchical ViT framework that leverages global and local perceptions to capture large and subtle motion matching, respectively. It consists of two ViT encoders to extract input features (i.e., a target motion image and a source human image) and a ViT decoder with several cascaded blocks for feature matching and motion transfer. In each block, we set the target motion feature as Query and the source person as Key and Value, calculating the cross-attention maps to conduct a global feature matching. Further, we introduce a convolutional layer to improve the local perception after the global cross-attention computations. This matching process is implemented in both warping and generation branches to guide the motion transfer. During training, we propose a mutual learning loss to enable the co-supervision between warping and generation branches for better motion representations. Experiments show that our Human MotionFormer sets the new state-of-the-art performance both qualitatively and quantitatively. Project page: \url{https://github.com/KumapowerLIU/Human-MotionFormer}

cs.CV↗

A mathematical theory of microscale hydrodynamic cloaking and shielding by electro-osmosis

In this paper, we develop a general mathematical framework for perfect and approximate hydrodynamic cloaking and shielding of electro-osmotic flow, which is governed by a coupled PDE system via the field-effect electro-osmosis. We first establish the representation formula of the solution of the coupled system using the layer potential techniques. Based on Fourier series, the perfect hydrodynamic cloaking and shielding conditions are derived for the control region with the cross-sectional shape being annulus or confocal ellipses. Then we further propose an optimization scheme for the design of approximate cloaks and shields within general geometries. The well-posedness of the optimization problem is proved. In particular, the condition that can ensure the occurrence of approximate cloaks and shields for general geometries are also established. Our theoretical findings are validated and supplemented by a variety of numerical results. The results in this paper also provide a mathematical foundation for more complex hydrodynamic cloaking and shielding.

math.AP↗

Resonant modal approximation of time-domain elastic scattering from nano-bubbles in elastic materials

This paper is devoted to establishing the resonant modal expansion of the low-frequency part of the scattered field for acoustic bubbles embedded in elastic materials in the time domain. Due to the nano-bubble with damping, Minnaert resonance can be induced at certain discrete resonant frequencies, which forms the fundamental basis of effectively constructing elastic metamaterials via the composite material theory. There are two major contributions in this work. First, we ansatz a special form of the density, approximate the incident field with a finite number of modes, and then obtain an expansion with a finite number of modes for the acoustic-elastic wave scattering in the time-harmonic regime. Second, we show that the low-frequency part of the scattered field in the time domain can be well approximated by using the resonant modal expansion with sharp error estimates. Interestingly, we find that the $0$-th mode is the main contribution to the resonant modal expansion.

math.AP↗

Locating multiple magnetized anomalies by geomagnetic monitoring

The presence of magnetized anomalies in the shell of the Earth interrupts its geomagnetic field. We consider the inverse problem of identifying the anomalies by monitoring the variation of the geomagnetic field. Motivated by the theoretical unique identifiability result in [5], we develop a novel numerical scheme of locating multiple magnetized anomalies. In our study, we do not assume that the source that generates the geomagnetic field, and the medium configurations of the Earth's core and the magnetized anomalies are a-priori known. The core of the reconstruction scheme is a novel imaging functional whose quantitative behaviours can be used to identify the anomalies. Both rigorous analysis and extensive numerical experiments are provided to verify the effectiveness and promising features of the proposed reconstruction scheme.

math.NA↗

Elastostatics with multi-layer metamaterial structures and an algebraic framework for polariton resonances

Multi-layer structures are ubiquitous in constructing metamaterial devices to realise various frontier applications including super-resolution imaging and invisibility cloaking. In this paper, we develop a general mathematical framework for studying elastostatics within multi-layer material structures in $\mathbb{R}^d$, $d=2,3$. The multi-layer structure is formed by concentric balls and each layer is filled by either a regular elastic material or an elastic metamaterial. The number of layers can be arbitrary and the material parameters in each layer may be different from one another. In practice, the multi-layer structure can serve as the building block for various material devices. Considering the impingement of an incident field on the multi-layer structure, we first derive the exact perturbed field in terms of an elastic momentum matrix, whose dimension is the same as the number of layers. By highly intricate and delicate analysis, we derive a comprehensive study of the spectral properties of the elastic momentum matrix. This enables us to establishe a handy algebraic framework for studying polariton resonances associated with multi-layer metamaterial structures, which forms the fundamental basis for many metamaterial applications.

physics.class-ph↗

On an inverse problem for the plate equation with passive measurement

This paper focuses on an inverse problem associated with the plate equation which is derived from models in fluid mechanics and elasticity. We establish the unique identifying results in simultaneously determining both the unknown density and internal sources from passive boundary measurement. The proof mainly relies on the asymptotic analysis and harmonic analysis on integral transforms

math.AP↗

Recovering source location, polarization, and shape of obstacle from elastic scattering data

We consider an inverse elastic scattering problem of simultaneously reconstructing a rigid obstacle and the excitation sources using near-field measurements. A two-phase numerical method is proposed to achieve the co-inversion of multiple targets. In the first phase, we develop several indicator functionals to determine the source locations and the polarizations from the total field data, and then we manage to obtain the approximate scattered field. In this phase, only the inner products of the total field with the fundamental solutions are involved in the computation, and thus it is direct and computationally efficient. In the second phase, we propose an iteration method of Newton's type to reconstruct the shape of the obstacle from the approximate scattered field. Using the layer potential representations on an auxiliary curve inside the obstacle, the scattered field together with its derivative on each iteration surface can be easily derived. Theoretically, we establish the uniqueness of the co-inversion problem and analyze the indicating behavior of the sampling-type scheme. An explicit derivative is provided for the Newton-type method. Numerical results are presented to corroborate the effectiveness and efficiency of the proposed method.

math.NA↗

On an inverse boundary problem for mean field games

In this paper, we propose and study an inverse boundary problem for the mean field games (MFGs) governed by the first-order master equation in a bounded domain. We establish the unique identifiability result by showing that the running cost function within any given proper (state) space-time subdomain is uniquely determined by the MFG boundary data of this subdomain. There are several salient features of our study. The MFG system couples two nonlinear parabolic PDEs with one forward in time and the other one backward in time, and moreover there is a probability measure constraint. These make the inverse problem study new to the literature and highly challenging. We develop an effective and efficient scheme in tackling the inverse problem including the high-order variation in the probability space around a nontrivial distribution, and the construction of a novel class of CGO solutions to serve as the ``probing modes". Our study opens up a new field of research on inverse problems for MFGs.

math.AP↗

Spectral patterns of elastic transmission eigenfunctions: boundary localisation, surface resonance and stress concentration

We present a comprehensive study of new discoveries on the spectral patterns of elastic transmission eigenfunctions, including boundary localisation, surface resonance, and stress concentration. In the case where the domain is radial and the underlying parameters are constant, we give rigorous justifications and derive a thorough understanding of those intriguing geometric and physical patterns. We also present numerical examples to verify that the same results hold in general geometric and parameter setups.

math.AP↗

Optimal estimate of field concentration between multiscale nearly-touching inclusions for 3-D Helmholtz system

We are concerned with the field concentration between two nearly-touching inclusions with high-contrast material parameters, which is a central topic in the theory of composite materials. The degree of concentration is characterised by the blowup rate of the gradient of the underlying field. In this paper, we derive optimal gradient estimates for the wave filed of the 3-D Helmholtz system in the quasi-static regime. There are two salient features of our results that are new to the literature. First, we cover all the possible scenarios that the size of the inclusions are in different scales in terms of the asymptotic distance parameter $ε$, which can be used to characterise the curvature effects of the shape of the inclusions on the field concentration. Second, our estimates can not only recover the known results in the literature for the static case, but can also reveal the interesting frequency effect on the field concentration. In fact, a novel phenomena is shown that even if the static part vanishes, field blowup can still occur due to the (low) frequency effect.

math.AP↗

One Model to Edit Them All: Free-Form Text-Driven Image Manipulation with Semantic Modulations

Free-form text prompts allow users to describe their intentions during image manipulation conveniently. Based on the visual latent space of StyleGAN[21] and text embedding space of CLIP[34], studies focus on how to map these two latent spaces for text-driven attribute manipulations. Currently, the latent mapping between these two spaces is empirically designed and confines that each manipulation model can only handle one fixed text prompt. In this paper, we propose a method named Free-Form CLIP (FFCLIP), aiming to establish an automatic latent mapping so that one manipulation model handles free-form text prompts. Our FFCLIP has a cross-modality semantic modulation module containing semantic alignment and injection. The semantic alignment performs the automatic latent mapping via linear transformations with a cross attention mechanism. After alignment, we inject semantics from text prompt embeddings to the StyleGAN latent space. For one type of image (e.g., `human portrait'), one FFCLIP model can be learned to handle free-form text prompts. Meanwhile, we observe that although each training text prompt only contains a single semantic meaning, FFCLIP can leverage text prompts with multiple semantic meanings for image manipulation. In the experiments, we evaluate FFCLIP on three types of images (i.e., `human portraits', `cars', and `churches'). Both visual and numerical results show that FFCLIP effectively produces semantically accurate and visually realistic images. Project page: https://github.com/KumapowerLIU/FFCLIP.

cs.CV↗

Quantum integrable systems and concentration of plasmon resonance

We are concerned with the quantitative mathematical understanding of surface plasmon resonance (SPR) when $d \geq 3$. SPR is the resonant oscillation of conducting electrons at the interface between negative and positive permittivity materials and forms the fundamental basis of many cutting-edge applications of metamaterials. It is recently found that the SPR concentrates due to curvature effect. In this paper, we derive sharper and more explicit characterisations of the SPR concentration at high-curvature places in both the static and quasi-static regimes. The study can be boiled down to analyzing the geometries of the so-called Neumann-Poincaré (NP) operators, which are certain pseudo-differential operators sitting on the interfacial boundary. We propose to study the joint Hamiltonian flow of an integral system given by the moment map defined by the NP operator. Via considering the Heisenberg picture and lifting the joint flow to a joint wave propagator, we establish a more general version of quantum ergodicity on each leaf of the foliation of this integrable system, which can then be used to establish the desired SPR concentration results. The mathematical framework developed in this paper leverages the Heisenberg picture of quantization and extends some results of quantum integrable system via generalising the concept of quantum ergodicity, which can be of independent interest to the spectral theory and the potential theory.

math.AP↗

Invisibility enables super-visibility in electromagnetic imaging

This paper is concerned with the inverse electromagnetic scattering problem for anisotropic media. We use the interior resonant modes to develop an inverse scattering scheme for imaging the scatterer. The whole procedure consists of three phases. First, we determine the interior Maxwell transmission eigenvalues of the scatterer from a family of far-field data by the mechanism of the linear sampling method. Next, we determine the corresponding transmission eigenfunctions by solving a constrained optimization problem. Finally, based on both global and local geometric properties of the transmission eigenfunctions, we design an imaging functional which can be used to determine the shape of the medium scatterer. We provide rigorous theoretical basis for our method. Numerical experiments verify the effectiveness, better accuracy and super-resolution results of the proposed scheme.

math.AP↗

Interferometric imaging, and beam-formed study of a moving Type IV Radio burst with LOFAR

Type IV radio burst has been studied for over 50 years. However, the specifics of the radio emission mechanisms is still an open question. In order to provide more information about the emission mechanisms, we studied a moving type IV radio burst with fine structures (spike group) by using the high resolution capability of Low-Frequency Array (LOFAR) on Aug 25, 2014\textbf{ (SOLA-D-21-00188)}. We present a comparison of Nançay RadioHeliograph (NRH) and the first LOFAR imaging data of type IV radio burst. The degree of circular polarization (DCP) is calculated at frequencies in the range 20$\sim$180 MHz using LOFAR data, and it was found that the value of DCP gradually increased during the event, with values of 10\%$\sim$20\%. LOFAR interferometric data were combined with white light observations in order to track the propagation of this type IV. The kinematics shows a westward motion of the radio sources, slower than the CME leading edge. The dynamic spectrum of LOFAR shows a large number of fine structures with duration of less than 1s and high brightness temperature ($T_\mathrm{B}$), i.e. $10^{12}$$\sim$$10^{13}$ K. The gradual increase of DCP supports gyrosynchrotron emission as the most plausible mechanism for the type IV. However, coherent emissions such as Electron Cyclotron Maser (ECM) instability can be responsible for small scale fine structures. Countless fine structures altogether were responsible for such high $T_\mathrm{B}$.

astro-ph.SR↗

Determining anomalies in a semilinear elliptic equation by a minimal number of measurements

We are concerned with the inverse boundary problem of determining anomalies associated with a semilinear elliptic equation of the form $-Δu+a(\mathbf x, u)=0$, where $a(\mathbf x, u)$ is a general nonlinear term that belongs to a Hölder class. It is assumed that the inhomogeneity of $f(\mathbf x, u)$ is contained in a bounded domain $D$ in the sense that outside $D$, $a(\mathbf x, u)=λu$ with $λ\in\mathbb{C}$. We establish novel unique identifiability results in several general scenarios of practical interest. These include determining the support of the inclusion (i.e. $D$) independent of its content (i.e. $a(\mathbf{x}, u)$ in $D$) by a single boundary measurement; and determining both $D$ and $a(\mathbf{x}, u)|_D$ by $M$ boundary measurements, where $M\in\mathbb{N}$ signifies the number of unknown coefficients in $a(\mathbf x, u)$. The mathematical argument is based on microlocally characterising the singularities in the solution $u$ induced by the geometric singularities of $D$, and does not rely on any linearisation technique.

math.AP↗

Inverse problems for fractional equations with a minimal number of measurements

In this paper, we study several inverse problems associated with a fractional differential equation of the following form: \[ (-Δ)^s u(x)+\sum_{k=0}^N a^{(k)}(x) [u(x)]^k=0,\ \ 0<s<1,\ N\in\mathbb{N}\cup\{0\}\cup\{\infty\}, \] which is given in a bounded domain $Ω\subset\mathbb{R}^n$, $n\geq 1$. For any finite $N$, we show that $a^{(k)}(x)$, $k=0,1,\ldots, N$, can be uniquely determined by $N+1$ different pairs of Cauchy data in $Ω_e:=\mathbb{R}^n\backslash\overlineΩ$. If $N=\infty$, the uniqueness result is established by using infinitely many pairs of Cauchy data. The results are highly intriguing in that it generally does not hold true in the local case, namely $s=1$, even for the simplest case when $N=0$, a fortiori $N\geq 1$. The nonlocality plays a key role in establishing the uniqueness result. We also establish several other unique determination results by making use of a minimal number of measurements. Moreover, in the process we derive a novel comparison principle for nonlinear fractional differential equations as a significant byproduct.

math.AP↗