SearcharxivSearch

arXiv subjects

Anita Yang

Publications and source records attributed to Anita Yang.

7 recordsLinked to original sources

Verbalizing LLM's Higher-order Uncertainty via Imprecise Probabilities

Despite the growing demand for eliciting uncertainty from large language models (LLMs), empirical evidence suggests that LLM behavior is not always adequately captured by the elicitation techniques developed under the classical probabilistic uncertainty framework. This mismatch leads to systematic failure modes, particularly in settings that involve ambiguous question-answering, in-context learning, and self-reflection. To address this, we propose novel prompt-based uncertainty elicitation techniques grounded in \emph{imprecise probabilities}, a principled framework for repesenting and eliciting higher-order uncertainty. Here, first-order uncertainty captures uncertainty over possible responses to a prompt, while second-order uncertainty (uncertainty about uncertainty) quantifies indeterminacy in the underlying probability model itself. We introduce general-purpose prompting and post-processing procedures to directly elicit and quantify both orders of uncertainty, and demonstrate their effectiveness across diverse settings. Our approach enables more faithful uncertainty reporting from LLMs, improving credibility and supporting downstream decision-making.

cs.AI

Regret Analysis of Guided Diffusion for Black-Box Optimization over Structured Inputs

Guided-diffusion black-box optimization (BO) has shown strong empirical performance on structured design problems such as molecules and crystals, but its regret behavior remains poorly understood. Existing BO regret analyses typically rely on maximum information gain, non-pretrained surrogate models, or exact acquisition maximization -- assumptions that break down in modern diffusion -- BO pipelines, where pretrained diffusion models serve as powerful priors over valid structures and acquisition maximization is replaced by approximate sampling over astronomically large discrete spaces. We develop a first certificate-based expected simple-regret framework for guided-diffusion BO that avoids maximum-information-gain bounds, RKHS assumptions, and exact acquisition maximization. The central quantity in our analysis is mass lift: the increase in probability mass assigned to near-optimal designs relative to the pretrained generator. This view explains how exponential-looking finite-budget convergence and polynomial acceleration can all arise from the same mechanism. We also give practical diagnostics for estimating search exponents from finite candidate pools and a proposal-corrected resampling construction that provides a fully certified sampler instance.

stat.ML

Global Well-Posedness for the 2D and 3D Prandtl-Shercliff Model

We investigate the Prandtl-Shercliff model in both two and three dimensions. For the two-dimensional case, we establish global-in-time well-posedness in Sobolev spaces without any structural assumptions on the initial data. Furthermore, we show that the solution exhibits an analytic regularization effect in all variables, which holds globally in time and in space up to the boundary. For the three-dimensional case, we study a linearized version of the model and prove its global-in-time well-posedness for initial data that are analytic in only one tangential direction. The proofs rely crucially on the intrinsic non-local diffusion induced by the Shercliff boundary layer.

math.AP

Diffusion Limit and the optimal convergence rate of the classical solution to the one-species Vlasov-Maxwell-Boltzmann system

In the present paper, we study the diffusion limit of the strong solution to the one-species Vlasov-Maxwell-Boltzmann (VMB) system with initial data near a global Maxwellian. Based on spectral analysis techniques, we prove the convergence and establish the convergence rate of the classical solution to the VMB system towards the solution to the incompressible Navier--Stokes--Maxwell system with a precise estimation on the initial layer.

math.AP

The 3D kinetic Couette flow via the Boltzmann equation in the diffusive limit

In the paper we study the Boltzmann equation in the diffusive limit in a channel domain $\mathbb{T}^2\times (-1,1)$ for the 3D kinetic Couette flow. Our results demonstrate that the first-order approximation of the solutions is governed by the perturbed incompressible Navier-Stokes-Fourier system around the fluid Couette flow. Moverover, in the absence of external forces, the 3D kinetic Couette flow asymptotically converges over time to the 1D steady planar kinetic Couette flow. Our proof relies on (i) the Fourier transform on $\mathbb{T}^2$ to essentially reduce the 3D problem to a one-dimensional one, (ii) anisotropic Chemin-Lerner type function spaces, incorporating the Wiener algebra, to control nonlinear terms and address the singularity associated with a small Knudsen number in the diffusive limit, and (iii) Caflisch's decomposition, combined with the $L^2\cap L^\infty$ interplay technique, to manage the growth of large velocities.

math.AP

Global well-posedness of the MHD boundary layer equations in the Sobolev Space

We study the two-dimensional MHD boundary layer equations. For small perturbation around a tangential background magnetic field, we obtain the global-in-time existence and uniqueness of solutions in Sobolev spaces. The proof relies on the novel combination of the well-explored cancellation mechanism and the idea of linearly-good unknowns, and we use the former idea to deal with the top tangential derivatives and the latter one admitting fast decay rate to control lower-order derivatives.

math.AP

MATILDA.FT, a Mesoscale Simulation Package for Inhomogeneous Soft Matter

In this paper we announce the public release of a massively-parallel, GPU-accelerated software, which is the first to combine both coarse-grained molecular dynamics and field-theoretical simulations in one simulation package. MATILDA.FT (Mesoscale, Accelerated, Theoretically-Informed, Langevin, Dissipative particle dynamics, and Field Theory) was designed from the ground-up to run on CUDA-enabled GPUs, with the Thrust library acceleration, enabling it to harness the possibility of massive parallelism to efficiently simulate systems on a mesoscopic scale. MATILDA.FT is a versatile software, enabling the users to use either Langevin dynamics or Field Theory to model their systems - all within the same software. It has been used to model a variety of systems, from polymer solutions, and nanoparticle-polymer interfaces, to coarse-grained peptide models, and liquid crystals. MATILDA.FT is written in CUDA/C++ and is object oriented, making its source-code easy to understand and extend. The software comes with dedicated post-processing and analysis tools, as well as the detailed documentation and relevant examples. Below, we present an overview of currently available features. We explain in detail the logic of parallel algorithms and methods. We provide necessary theoretical background, and present examples of recent research projects which utilized MATILDA.FT as the simulation engine. We also demonstrate how the code can be easily extended, and present the plan for the future development. The source code, along with the documentation, additional tools and examples can be found on GitHub repository.

cond-mat.soft