arXiv subjects

Linhan Li

Publications and source records attributed to Linhan Li.

17 recordsLinked to original sources

arXiv2026

Stability of the $L^p$ Poisson-Neumann problem under small perturbations of the coefficients and the domain

In this article, we obtain three stability results for the Poisson-Neumann problem: (1) the stability of the $L^p$ Poisson-Neumann problem under small Carleson perturbations of the coefficients, (2) the preservation of the $L^p$ Poisson-Neumann problem when transitioning from the Laplacian to operators in a special form with oscillations satisfying a small Carleson condition (''small special DKP operators''), and (3) the stability of the $L^p$ Poisson-Neumann problem under small bi-Lipschitz transformations of domains. In contrast to the Neumann problem, the Poisson-Neumann problem is notably more self-contained, as results pertaining to it do not require assumptions regarding the $L^{p'}$ Dirichlet problem, making it a more suitable object for a perturbation theory. As intermediate steps, we establish estimates on the square functional for solutions to the Poisson problem and their gradients on chord arc domains, which are of independent interest for specialists.

math.AP↗

arXiv2026

Agent4RE: A Self-Refining Multi-agent Framework for End-to-End Software Requirements Engineering and Benchmarking

Existing LLM-based approaches for software Requirements Engineering (RE) typically rely on basic prompting strategies or rudimentary agent collaboration, under-utilizing the full potential of multi-agent systems. Meanwhile, available datasets focus on isolated subtasks, such as requirements extraction, classification, and completeness detection, leaving the absence of an end-to-end RE benchmark that spans from requirements elicitation to generation. We present Agent4RE - a self-refining multi-agent RE system that orchestrates specialized agents and incorporates two iterative improvement loops. To support evaluation, we construct RE-E2E - a real-world dataset built from human-written requirement specifications, enabling end-to-end assessment of RE workflows. Building on this foundation, we further propose two enhanced Agent4RE versions that incorporate either autonomous self-refinement or structured human feedback, and analyze their strengths and limitations across different scenarios. Evaluation on 8 Large Language Models (LLMs) demonstrates that all three Agent4RE variants consistently outperform a domain-context-augmented prompting baseline by average 8% in text-based metrics. The two enhanced variants achieve the highest LLM-as-a-judge and human ratings, surpassing two RE baselines by approximately 0.8 points on a four-point scale. This consistent performance establishes Agent4RE as a practical end-to-end RE solution for industrial environments.

cs.SE↗

arXiv2026

The $L^p$ Neumann problem for parabolic operators with coefficients satisfying small Carleson condition

In this paper, we resolve the question of whether the Neumann problem for the parabolic PDE $-\partial_tu + \mathrm{div}(A\nabla u)=0$ on a Lipschitz cylinder $\mathcal O\times\mathbb R$ is solvable for some $p\in (1,\infty)$ under the assumption that the matrix $A$ is elliptic with bounded and measurable coefficients that satisfy a natural Carleson condition (a parabolic analog of the so-called DKP-condition). We prove that for any $1<p<\infty$ the Neumann problem is solvable under the assumption that both the Carleson norm of coefficients and the Lipschitz constant of the domain are sufficiently small (with dependence on $p$). The question of what happens in the "large Carleson norm/large Lipschitz constant" regime remains open, and even for elliptic PDEs this question has only been resolved in two dimensions. This paper complements results from our recent manuscript (by the same authors) in which the parabolic regularity problem has been fully resolved in both the small and large Carleson norm regime. Previously, the Dirichlet problem had been resolved under the same conditions by various authors.

math.AP↗

arXiv2026

Stability of $L^p$ Dirichlet problem under small bi-Lipschitz transformations of domains

We show that small bi-Lipschitz deformations of a Lipschitz domain (with possibly large Lipschitz constant) preserve the solvability of the Dirichlet problem for the Laplacian with boundary data in $L^p$, for the same value of $p>1$. As a consequence, for all $p\in(1,\infty)$, we obtain the solvability of the $L^p$ Dirichlet problem for small Lipschitz perturbations of convex domains, thereby unifying two fundamentally different settings in which such results were previously known: convex and $C^1$ domains. The key ingredient and novelty of our approach is a construction of a change of variables based on a non-constant basis derived from the Green function, which encodes the geometry of the base domain.

math.AP↗

arXiv2026

The $L^p$ regularity problem for parabolic operators

In this paper, we fully resolve the question of whether the Regularity problem for the parabolic PDE $-\partial_tu + \mbox{div}(A\nabla u)=0$ on a Lipschitz cylinder $\mathcal O\times\mathbb R$ is solvable for some $p\in (1,\infty)$ under the assumption that the matrix $A$ is elliptic, has bounded and measurable coefficients and its coefficients satisfy a natural Carleson condition (a parabolic analog of the so-called DKP-condition). We prove that for some $p_0>1$ the Regularity problem is solvable in the range $(1,p_0)$. We note that answer to this question was not known even in the small Carleson case, that is, when the Carleson norm of coefficients is sufficiently small. In the elliptic case the analogous question was only fully resolved recently independently by two groups, with two very different methods: one involving two of the authors and S. Hofmann, the second by M. Mourgoglou, B. Poggi and X. Tolsa. Our approach in the parabolic case is motivated by that of the first group, but in the parabolic setting there are significant new challenges.

math.AP↗

arXiv2026

Localization and interpolation of parabolic $L^p$ Neumann problems

We show a localization estimate for local solutions to the parabolic equation $-\partial_t u+\mbox{div} (A\nabla u)=0$ with zero Neumann data, assuming that the $L^p$ Neumann problem and $L^{p'}$ Dirichlet problem for the adjoint operator are solvable in a Lipschitz cylinder for some $p\in(1,\infty)$. Using this result, we establish the solvability of the Neumann problem in the atomic Hardy space for parabolic operators with bounded, measurable, time-dependent coefficients, and hence obtain the extrapolation of solvability of the $L^p$ Neumann problem.

math.AP↗

arXiv2024

The $L^p$ Poisson-Neumann problem and its relation to the Neumann problem

We introduce the $L^p$ Poisson-Neumann problem for an uniformly elliptic operator $L=-\rm{div }A\nabla$ in divergence form in a bounded 1-sided Chord Arc Domain $Ω$, which considers solutions to $Lu=h-\rm{div}\vec{F}$ in $Ω$ with zero Neumann data on the boundary for $h$ and $\vec F$ in some tent spaces. We give different characterizations of solvability of the $L^p$ Poisson-Neumann problem and its weaker variants, and in particular, we show that solvability of the weak $L^p$ Poisson-Neumann probelm is equivalent to a weak reverse Hölder inequality. We show that the Poisson-Neumman problem is closely related to the $L^p$ Neumann problem, whose solvability is a long-standing open problem. We are able to improve the extrapolation of the $L^p$ Neumann problem from Kenig and Pipher by obtaining an extrapolation result on the Poisson-Neumann problem.

math.AP↗

arXiv2023

A Green function characterization of uniformly rectifiable sets of any codimension

In this paper, we obtain a unified characterization of uniformly rectifiable sets of {\it any codimension} in terms of a Carleson estimate on the second derivatives of the Green function. When restricted to domains with boundaries of codimension 1, our result generalizes a previous result of Azzam for the Laplacian to more general elliptic operators. For domains with boundaries of codimension greater than 1, our result is completely new.

math.AP↗

arXiv2023

COOLIO: A Language Support Extension for the Classroom Object Oriented Language

COOL is an Object-Oriented programming language used to teach compiler design in many undergraduate and graduate courses. Because most students are unfamiliar with the language and code editors and IDEs often lack the support for COOL, writing code and test programs in COOL are a burden to students, causing them to not fully understand many important and advanced features of the language and compiler. In this tool paper, we describe COOLIO,an extension to support COOL in the popular VSCode IDE. COOLIOprovides (i) syntax highlighting supports for the COOL language through lexing and parsing, (ii) semantics-aware autocompletion features that help students write less code and reduce the burden of having to remember unfamiliar COOL grammar and syntax, and (iii) relevant feedback from the underlying COOL interpreter/compiler (e.g., error messages, typing information) to the students through VSCode editor to aid debugging. We believe that COOLIO will help students enjoy writing COOL programs and consequently learn and appreciate more advanced compiler concepts.

cs.PL↗

arXiv2022

Green functions and smooth distances

In the present paper, we show that for an optimal class of elliptic operators with non-smooth coefficients on a 1-sided Chord-Arc domain, the boundary of the domain is uniformly rectifiable if and only if the Green function $G$ behaves like a distance function to the boundary, in the sense that $\Big|\frac{\nabla G(X)}{G(X)}-\frac{\nabla D(X)}{D(X)}\Big|^2D(X) dX$ is the density of a Carleson measure, where $D$ is a regularized distance adapted to the boundary of the domain. The main ingredient in our proof is a corona decomposition that is compatible with Tolsa's $α$-number of uniformly rectifiable sets. We believe that the method can be applied to many other problems at the intersection of PDE and geometric measure theory, and in particular, we are able to derive a generalization of the classical F. and M. Riesz theorem to the same class of elliptic operators as above.

math.AP↗

arXiv2022

Small $A_\infty$ results for Dahlberg-Kenig-Pipher operators in sets with uniformly rectifiable boundaries

In the present paper, we consider elliptic operators $L=-\textrm{div}(A\nabla)$ in a domain bounded by a chord-arc surface $Γ$ with small enough constant, and whose coefficients $A$ satisfy a weak form of the Dahlberg-Kenig-Pipher condition of approximation by constant coefficient matrices, with a small enough Carleson norm, and show that the elliptic measure with pole at infinity associated to $L$ is $A_\infty$-absolutely continuous with respect to the surface measure on $Γ$, with a small $A_\infty$ constant. In other words, we show that for relatively flat uniformly rectifiable sets and for operators with slowly oscillating coefficients the elliptic measure satisfies the $A_\infty$ condition with a small constant and the logarithm of the Poisson kernel has small oscillations.

math.AP↗

arXiv2022

$L^p$ theory for the square roots and square functions of elliptic operators having a BMO anti-symmetric part

We consider the operator $L=-{\rm div}(A\nabla)$, where the $n\times n$ matrix $A$ is real-valued, elliptic, with the symmetric part of $A$ in $L^\infty(\mathbb{R}^n)$, and the anti-symmetric part of $A$ only belongs to the space $BMO(\mathbb{R}^n)$, $n\ge2$. We prove the Gaussian estimates for the kernel of $e^{-tL}$, as well as that of $\partial_t^le^{-tL}$, for any $l\in\mathbb{N}$. We show that the square root of $L$ satisfies the $L^p$ estimates $\left\Vert{L^{1/2}f}\right\Vert_{L^p}\lesssim\left\Vert{\nabla f}\right\Vert_{L^p}$ for $1 0$ depending on the ellipticity constant and the BMO semi-norm of the coefficients. Finally, we prove the $L^p$ estimates for square functions associated to $e^{-tL}$. In another article of the authors, these results are used to establish the solvability of the Dirichlet problem for elliptic equation ${\rm div}(A(x)\nabla u)=0$ in the upper half-space $(x,t)\in\mathbb{R}_+^{n+1}$ with the boundary data in $L^p(\mathbb{R}^n,dx)$ for some $p\in (1,\infty)$.

math.AP↗

arXiv2021

Carleson measure estimates for the Green function

In the present paper, we consider an elliptic divergence form operator in the half-space and prove that its Green function is almost affine, or more precisely, that the normalized difference between the Green function and a suitable affine function at every scale satisfies a Carleson measure estimate, provided that the oscillations of the coefficients satisfy the traditional quadratic Carleson condition. The results are sharp, and in particular, it is demonstrated that the class of the operators considered in the paper cannot be improved.

math.AP↗

arXiv2021

Carleson estimates for the Green function on domains with lower dimensional boundaries

In the present paper, we consider an elliptic divergence form operator in $\mathbb{R}^n\setminus\mathbb{R}^d$ with $d<n-1$ and prove that its Green function is almost affine, in the sense that the normalized difference between the Green function with a sufficiently far away pole and a suitable affine function at every scale satisfies a Carleson measure estimate. The coefficients of the operator can be very oscillatory, and only need to satisfy some condition similar to the traditional quadratic Carleson condition.

math.AP↗

arXiv2021

The Dirichlet problem for elliptic operators having a BMO anti-symmetric part

The present paper establishes the first result on the absolute continuity of elliptic measure with respect to the Lebesgue measure for a divergence form elliptic operator with non-smooth coefficients that have a BMO anti-symmetric part. In particular, the coefficients are not necessarily bounded. We prove that the Dirichlet problem for elliptic equation ${\rm div}(A\nabla u)=0$ in the upper half-space $(x,t)\in\mathbb{R}^{n+1}_+$ is uniquely solvable when $n\ge2$ and the boundary data is in $L^p(\mathbb{R}^n,dx)$ for some $p\in (1,\infty)$. This result is equivalent to saying that the elliptic measure associated to $L$ belongs to the $A_\infty$ class with respect to the Lebesgue measure $dx$, a quantitative version of absolute continuity.

math.AP↗

arXiv2019

$\ell^2$ Decoupling in $\mathbb R^2$ for curves with Vanishing Curvature

We expand the class of curves $(φ_1(t),φ_2(t)),\ t\in[0,1]$ for which the $\ell^2$ decoupling conjecture holds for $2\leq p\leq 6$. Our class of curves includes all real-analytic regular curves with isolated points of vanishing curvature and all curves of the form $(t,t^{1+ν})$ for $ν\in (0,\infty)$.

math.CA↗

arXiv2018

Boundary behavior of solutions of elliptic operators in divergence form with a BMO anti-symmetric part

In this paper, we investigate the boundary behavior of solutions of divergence-form operators with an elliptic symmetric part and a $BMO$ anti-symmetric part. Our results will hold in non-tangentially accessible (NTA) domains; these general domains were introduced by Jerison and Kenig and include the class of Lipschitz domains. We establish the Hölder continuity of the solutions at the boundary, existence of elliptic measures $ω_L$ associated to such operators, and the well-posedness of the continuous Dirichlet problem as well as the $L^p(dω)$ Dirichlet problem in NTA domains. The equivalence in the $L^p$ norm of the square function and the non-tangential maximal function under certain conditions remains valid. When specialized to Lipschitz domains, it is then possible to extend, to these operators, various criteria for determining mutual absolute continuity of elliptic measure with surface measure.

math.AP↗