BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Yanyan Li appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We consider the setting of two disks in a domain in $\mathbb{R}^2$ which are almost touching and have finite and positive conductivities, giving rise to a divergence form elliptic equation with discontinuous coefficients. We use the maximum principle to give a new proof of a gradient bound of Li-Vogelius.
Recent advances in large Language Models (LLMs) have revolutionized mobile robots, including unmanned aerial vehicles (UAVs), enabling their intelligent operation within Internet of Things (IoT) ecosystems. However, LLMs still face challenges from logical reasoning and complex decision-making, leading to concerns about the reliability of LLM-driven UAV operations in IoT applications. In this paper, we propose a closed-loop LLM-driven UAV operation code generation framework that enables reliable UAV operations powered by effective feedback and refinement using two LLM modules, i.e., a Code Generator and an Evaluator. Our framework transforms numerical state observations from UAV operations into semantic trajectory descriptions to enhance the evaluator LLM's understanding of UAV dynamics for precise feedback generation. Our framework also enables a simulation-based refinement process, and hence eliminates the risks to physical UAVs caused by incorrect code execution during the refinement. Extensive experiments on UAV control tasks with different complexities are conducted. The experimental results show that our framework can achieve reliable UAV operations using LLMs, which significantly outperforms baseline methods in terms of success rate and completeness with the increase of task complexity.
Although remarkable progress on the neural table-to-text methods has been made, the generalization issues hinder the applicability of these models due to the limited source tables. Large-scale pretrained language models sound like a promising solution to tackle such issues. However, how to effectively bridge the gap between the structured table and the text input by fully leveraging table information to fuel the pretrained model is still not well explored. Besides, another challenge of integrating the deliberation mechanism into the text-to-text pretrained model for solving the table-to-text task remains seldom studied. In this paper, to implement the table-to-text generation with pretrained language model, we propose a table structure understanding and text deliberating approach, namely TASD. Specifically, we devise a three-layered multi-head attention network to realize the table-structure-aware text generation model with the help of the pretrained language model. Furthermore, a multi-pass decoder framework is adopted to enhance the capability of polishing generated text for table descriptions. The empirical studies, as well as human evaluation, on two public datasets, validate that our approach can generate faithful and fluent descriptive texts for different types of tables.
Minimal solutions for relative rotation and translation estimation tasks have been explored in different scenarios, typically relying on the so-called co-visibility graph. However, how to build direct rotation relationships between two frames without overlap is still an open topic, which, if solved, could greatly improve the accuracy of visual odometry. In this paper, a new minimal solution is proposed to solve relative rotation estimation between two images without overlapping areas by exploiting a new graph structure, which we call Extensibility Graph (E-Graph). Differently from a co-visibility graph, high-level landmarks, including vanishing directions and plane normals, are stored in our E-Graph, which are geometrically extensible. Based on E-Graph, the rotation estimation problem becomes simpler and more elegant, as it can deal with pure rotational motion and requires fewer assumptions, e.g. Manhattan/Atlanta World, planar/vertical motion. Finally, we embed our rotation estimation strategy into a complete camera tracking and mapping system which obtains 6-DoF camera poses and a dense 3D mesh model. Extensive experiments on public benchmarks demonstrate that the proposed method achieves state-of-the-art tracking performance.
We study the insulated conductivity problem with inclusions embedded in a bounded domain in $\mathbb R^n$, for $n \ge 3$. The gradient of solutions may blow up as $\varepsilon$, the distance between inclusions, approaches to $0$. We established in a recent paper optimal gradient estimates for a class of inclusions including balls. In this paper, we prove such gradient estimates for general strictly convex inclusions. Unlike the perfect conductivity problem, the estimates depend on the principal curvatures of the inclusions, and we show that these estimates are characterized by the first non-zero eigenvalue of a divergence form elliptic operator on $\mathbb S^{n-2}$.
We consider the problem of prescribing the $σ_k$-curvature on the standard sphere $\mathbb{S}^n$ with $n \geq 3$. We prove existence and compactness theorems when $k \geq n/2$. This extends an earlier result of Chang, Han and Yang for $n = 4$ and $k = 2$.
We study the insulated conductivity problem with inclusions embedded in a bounded domain in $\mathbb{R}^n$. The gradient of solutions may blow up as $\varepsilon$, the distance between inclusions, approaches to $0$. It was known that the optimal blow up rate in dimension $n = 2$ is of order $\varepsilon^{-1/2}$. It has recently been proved that in dimensions $n \ge 3$, an upper bound of the gradient is of order $\varepsilon^{-1/2 + β}$ for some $β> 0$. On the other hand, optimal values of $β$ have not been identified. In this paper, we prove that when the inclusions are balls, the optimal value of $β$ is $[-(n-1)+\sqrt{(n-1)^2+4(n-2)}~]/4 \in (0,1/2)$ in dimensions $n \ge 3$.
We study the existence of regular solutions of the incompressible stationary Navier-Stokes equations in $n$-dimensional Euclidean space with a given bounded external force of compact support. In dimensions $n\le 5$, the existence of such solutions was known. In this paper, we extend it to dimensions $n\le 15$.
A classical theorem of A.D. Alexandrov says that a connected compact smooth hypersurface in Euclidean space with constant mean curvature must be a sphere. We give exposition to some results on symmetry properties of hypersurfaces with ordered mean curvature and associated variations of the Hopf Lemma. Some open problems will be discussed.
Since being launched in 2014, Alexa, Amazon's versatile cloud-based voice service, is now active in over 100 million households worldwide. Alexa's user-friendly, personalized vocal experience offers customers a more natural way of interacting with cutting-edge technology by allowing the ability to directly dictate commands to the assistant. Now in the present year, the Alexa service is more accessible than ever, available on hundreds of millions of devices from not only Amazon but third-party device manufacturers. Unfortunately, that success has also been the source of concern and controversy. The success of Alexa is based on its effortless usability, but in turn, that has led to a lack of sufficient security. This paper surveys various attacks against Amazon Alexa ecosystem including attacks against the frontend voice capturing and the cloud backend voice command recognition and processing. Overall, we have identified six attack surfaces covering the lifecycle of Alexa voice interaction that spans several stages including voice data collection, transmission, processing and storage. We also discuss the potential mitigation solutions for each attack surface to better improve Alexa or other voice assistants in terms of security and privacy.
Image registration has played an important role in image processing problems, especially in medical imaging applications. It is well known that when the deformation is large, many variational models cannot ensure diffeomorphism. In this paper, we propose a new registration model based on an optimal control relaxation constraint for large deformation images, which can theoretically guarantee that the registration mapping is diffeomorphic. We present an analysis of optimal control relaxation for indirectly seeking the diffeomorphic transformation of Jacobian determinant equation and its registration applications, including the construction of diffeomorphic transformation as a special space. We also provide an existence result for the control increment optimization problem in the proposed diffeomorphic image registration model with an optimal control relaxation. Furthermore, a fast iterative scheme based on the augmented Lagrangian multipliers method (ALMM) is analyzed to solve the control increment optimization problem, and a convergence analysis is followed. Finally, a grid unfolding indicator is given, and a robust solving algorithm for using the deformation correction and backtrack strategy is proposed to guarantee that the solution is diffeomorphic. Numerical experiments show that the registration model we proposed can not only get a diffeomorphic mapping when the deformation is large, but also achieves the state-of-the-art performance in quantitative evaluations in comparing with other classical models.
In this paper we classify Möbius invariant differential operators of second order in two dimensional Euclidean space, and establish a Liouville type theorem for general Möbius invariant elliptic equations.
We show for $k \geq 2$ that the locally Lipschitz viscosity solution to the $σ_k$-Loewner-Nirenberg problem on a given annulus $\{a < |x| < b\}$ is $C^{1,\frac{1}{k}}_{\rm loc}$ in each of $\{a < |x| \leq \sqrt{ab}\}$ and $\{\sqrt{ab} \leq |x| < b\}$ and has a jump in radial derivative across $|x| = \sqrt{ab}$. Furthermore, the solution is not $C^{1,γ}_{\rm loc}$ for any $γ> \frac{1}{k}$. Optimal regularity for solutions to the $σ_k$-Yamabe problem on annuli with finite constant boundary values is also established.
In this paper a low-drift monocular SLAM method is proposed targeting indoor scenarios, where monocular SLAM often fails due to the lack of textured surfaces. Our approach decouples rotation and translation estimation of the tracking process to reduce the long-term drift in indoor environments. In order to take full advantage of the available geometric information in the scene, surface normals are predicted by a convolutional neural network from each input RGB image in real-time. First, a drift-free rotation is estimated based on lines and surface normals using spherical mean-shift clustering, leveraging the weak Manhattan World assumption. Then translation is computed from point and line features. Finally, the estimated poses are refined with a map-to-frame optimization strategy. The proposed method outperforms the state of the art on common SLAM benchmarks such as ICL-NUIM and TUM RGB-D.
We establish upper bounds on the blow-up rate of the gradients of solutions of the Lamé system with partially infinite coefficients in dimensions greater than two as the distance between the surfaces of discontinuity of the coefficients of the system tends to zero.
We prove $C^1$ regularity of solutions to divergence form elliptic systems with Dini-continuous coefficients
We establish blow-up profiles for any blowing-up sequence of solutions of general conformally invariant fully nonlinear elliptic equations on Euclidean domains. We prove that (i) the distance between blow-up points is bounded from below by a universal positive number, (ii) the solutions are very close to a single standard bubble in a universal positive distance around each blow-up point, and (iii) the heights of these bubbles are comparable by a universal factor. As an application of this result, we establish a quantitative Liouville theorem.
In this paper we introduce an integer-valued degree for second order fully nonlinear elliptic operators with nonlinear oblique boundary conditions. We also give some applications to the existence of solutions of certain nonlinear elliptic equations arising from a Yamabe problem with boundary and reflector problems.
We consider critical exponent semi-linear elliptic equation with coefficient K(x) periodic in its first k variables, with 2k smaller than n-2. Under some natural conditions on K near a critical point, we prove the existence of multi-bump solutions where the centers of bumps can be placed in some lattices in Rk, including infinite lattices. We also show that for 2k greater than or equal to n-2, no such solutions exist.
A digital pulse shape discrimination system based on a programmable module NI-5772 has been established and tested with EJ-301 liquid scintillation detector. The module was operated by means of running programs developed in LabVIEW with the sampling frequency up to 1.6GS/s. Standard gamma sources 22Na, 137Cs and 60Co were used to calibrate the EJ-301 liquid scintillation detector, and the gamma response function has been obtained. Digital algorithms for charge comparison method and zero-crossing method have been developed. The experimental results showed that both digital signal processing (DSP) algorithms could discriminate neutrons from gamma-rays. Moreover, the zero-crossing method shows better n-γ discrimination at 80 keVee and lower, whereas the charge comparison method gives better results at higher thresholds. In addition, the figure-of-merit (FOM) of two different dimension detectors were extracted at 9 energy thresholds, and it was found that the smaller one presented a better n-γ separation property for fission neutrons.
We establish upper bounds on the blow up rate of the gradients of solutions of the Lamé system with partially infinite coefficients in dimension two as the distance between the surfaces of discontinuity of the coefficients of the system tends to zero.
Making use of integral representations, we develop a unified approach to establish blow up profiles, compactness and existence of positive solutions of the conformally invariant equations $P_σ(v)= Kv^{\frac{n+2σ}{n-2σ}}$ on the standard unit sphere $\mathbb{S}^n$ for all $σ\in (0,n/2)$, where $P_σ$ is the intertwining operator of order $2σ$. Finding positive solutions of these equations is equivalent to seeking metrics in the conformal class of the standard metric on spheres with prescribed certain curvatures. When $σ=1$, it is the prescribing scalar curvature problem or the Nirenberg problem, and when $σ=2$, it is the prescribing $Q$-curvature problem.
The spallation neutrons were produced by the irradiation of Pb with 250 MeV protons. The Pb target was surrounded by water which was used to slow down the emitted neutrons. The moderated neutrons in the water bath were measured by using the resonance detectors of Au, Mn and In with Cd cover. According to the measured activities of the foils, the neutron flux at different resonance energy were deduced and the epithermal neutron spectra were proposed. Corresponding results calculated with the Monte Carlo code MCNPX were compared with the experimental data to check the validity of the code.
This is a response to the article arXiv:1212.3130v1 by Xu-Jia Wang, where he attempted to address a mathematical question we raised. We point out that, and explain why, the article is far from answering our objections. Moreover, we have more recently found more serious trouble in the paper under discussion based on the false assertion there that minimal radial functions of superharmonic functions (with respect to a conformal Laplacian of a Riemannian metric) are superharmonic.
We establish derivative estimates of solution of elliptic system in narrow regions.
We give a generalization of a theorem of Bôcher for the Laplace equation to a class of conformally invariant fully nonlinear degenerate elliptic equations. We also prove a Harnack inequality for locally Lipschitz viscosity solutions and a classification of continuous radially symmetric viscosity solutions.
This paper is a continuation of our earlier work "[T. Jin, Y.Y. Li and J. Xiong, On a fractional Nirenberg problem, part I: blow up analysis and compactness of solutions, to appear in J. Eur. Math. Soc.]", where compactness results were given on a fractional Nirenberg problem. We prove two existence results stated there. We also obtain a fractional Aubin inequality.
We prove compactness of solutions of a fully nonlinear Yamabe problem satisfying a lower Ricci curvature bound, when the manifold is not conformally diffeomorphic to the standard sphere. This allows us to prove the existence of solutions when the associated cone $Γ$ satisfies $μ^+_Γ\le 1$, which includes the $σ_k-$Yamabe problem for $k$ not smaller than half of the dimension of the manifold.
We define a generalized mass for asymptotically flat manifolds using some higher order symmetric function of the curvature tensor. This mass is non-negative when the manifold is locally conformally flat and the $σ_k$ curvature vanishes at infinity. In addition, with the above assumptions, if the mass is zero, then, near infinity, the manifold is isometric to a Euclidean end.
In this paper we derive $W^{1,\infty}$ and piecewise $C^{1,α}$ estimates for solutions, and their $t-$derivatives, of divergence form parabolic systems with coefficients piecewise Hölder continuous in space variables $x$ and smooth in $t$. This is an extension to parabolic systems of results of Li and Nirenberg on elliptic systems. These estimates depend on the shape and the size of the surfaces of discontinuity of the coefficients, but are independent of the distance between these surfaces.
In this paper, we prove that the distance function of an open connected set in $\mathbb R^{n+1}$ with a $C^{2}$ boundary is superharmonic in the distribution sense if and only if the boundary is {\em weakly mean convex}. We then prove that Hardy inequalities with a sharp constant hold on {weakly mean convex} $C^{2}$ domains. Moreover, we show that the {weakly mean convexity} condition cannot be weakened. We also prove various improved Hardy inequalities on mean convex domains along the line of Brezis-Marcus \cite{BM}.
In this paper, we consider the following PDE involving two Sobolev-Hardy critical exponents, \label{0.1} {& Δu + λ\frac{u^{2^*(s_1)-1}}{|x|^{s_1}} + \frac{u^{2^*(s_2)-1}}{|x|^{s_2}} =0 \text{in} Ω, & u=0 \qquad \text{on} Ω, where $0 \le s_2 < s_1 \le 2$, $0 \ne λ\in \Bbb R$ and $0 \in \partial Ω$. The existence (or nonexistence) for least-energy solutions has been extensively studied when $s_1=0$ or $s_2=0$. In this paper, we prove that if $0< s_2 < s_1 <2$ and the mean curvature of $\partial Ω$ at 0 $H(0)<0$, then \eqref{0.1} has a least-energy solution. Therefore, this paper has completed the study of \eqref{0.1} for the least-energy solutions. We also prove existence or nonexistence of positive entire solutions of \eqref{0.1} with $Ω=\rn$ under different situations of $s_1, s_2$ and $λ$.
We prove some results on the existence and compactness of solutions of a fractional Nirenberg problem.
In this paper, we establish a theorem on the existence of the solutions of the exterior Dirichlet problem for Hessian equations with prescribed asymptotic behavior at infinity. This extends a result of Caffarelli and Li for the Monge-Ampère equation to Hessian equations.
The paper concerns singular solutions of nonlinear elliptic equations, which include removable singularities for viscosity solutions, a strengthening of the Hopf Lemma including parabolic equations, Strong maximum principle and Hopf Lemma for viscosity solutions including also parabolic equations.
This paper pursues the study of the Calabi-Yau equation on certain symplectic non-Kaehler 4-manifolds, building on a key example of Tosatti-Weinkove in which more general theory had proved less effective. Symplectic 4-manifolds admitting a 2-torus fibration over a 2-torus base are modelled on one of three solvable Lie groups. Having assigned an invariant almost-Kaehler structure and a volume form that effectively varies only on the base, one seeks a symplectic form with this volume. Our approach simplifies the previous analysis of the problem, and establishes the existence of solutions in various other cases.
In this paper we provide a characterization of second order fully nonlinear CR invariant equations on the Heisenberg group, which is the analogue in the CR setting of the result proved in the Euclidean setting by A. Li and the first author (2003). We also prove a comparison principle for solutions of second order fully nonlinear CR invariant equations defined on bounded domains of the Heisenberg group and a comparison principle for solutions of a family of second order fully nonlinear equations on a punctured ball.
$σ_k$-Yamabe equations are conformally invariant equations generalizing the classical Yamabe equation. In an earlier work YanYan Li proved that an admissible solution with an isolated singularity at $0\in \mathbb R^n$ to the $σ_k$-Yamabe equation is asymptotically radially symmetric. In this work we prove that an admissible solution with an isolated singularity at $0\in \mathbb R^n$ to the $σ_k$-Yamabe equation is asymptotic to a radial solution to the same equation on $\mathbb R^n \setminus \{0\}$. These results generalize earlier pioneering work in this direction on the classical Yamabe equation by Caffarelli, Gidas, and Spruck. In extending the work of Caffarelli et al, we formulate and prove a general asymptotic approximation result for solutions to certain ODEs which include the case for scalar curvature and $σ_k$ curvature cases. An alternative proof is also provided using analysis of the linearized operators at the radial solutions, along the lines of approach in a work by Korevaar, Mazzeo, Pacard, and Schoen.
The Hopf Lemma for second order elliptic operators is proved to hold in domains with $C^{1,α}$, and even less regular, boundaries. It need not hold for $C^1$ boundaries. Corresponding results are proved for second order parabolic operators.
Let $Ω$ be a domain in a smooth complete Finsler manifold, and let $G$ be the largest open subset of $Ω$ such that for every $x$ in $G$ there is a unique closest point from $\partial Ω$ to $x$ (measured in the Finsler metric). We prove that the distance function from $\partial Ω$ is in $C^{k,α}_{loc}(G\cup \partial Ω)$, $k\ge 2$ and $0<α\le 1$, if $\partial Ω$ is in $C^{k,α}$.
We prove a priori bounds for the trace of the second fundamental form of a $C^4$ isometric embedding into $R^{n+1}$ of a metric $g$ of non-negative sectional curvature on $S^n$, in terms of the scalar curvature, and the diameter of $g$. These estimates give a bound on the extrinsic geometry in terms of intrinsic quantities. They generalize estimates originally obtained by Weyl for the case $n=2$ and positive curvature, and then by P. Guan and the first author for non-negative curvature and $n=2$. Using $C^{2,α}$ interior estimates of Evans and Krylov for concave fully nonlinear elliptic partial differential equations, these bounds allow us to obtain the following convergence theorem: For any $ε>0$, the set of metrics of non-negative sectional curvature and scalar curvature bounded below by $ε$ which are isometrically embedable in Euclidean space $R^{n+1}$ is closed in the Hölder space $C^{4,α}$, $0<α<1$. These results are obtained in an effort to understand the following higher dimensional version of the Weyl embedding problem which we propose: \emph{Suppose that $g$ is a smooth metric of non-negative sectional curvature and positive scalar curvature on §^n$ which is locally isometrically embeddable in $R^{n+1}$. Does $(S^n,g)$ then admit a smooth global isometric embedding into $R^{n+1}$?}