arXiv subjects

Vinh Nguyen

Publications and source records attributed to Vinh Nguyen.

At least 19 recordsLinked to original sources

arXiv2026

Modified Scattering and Asymptotics for Perturbed One-Dimensional Cubic NLS

We study the long-time dynamics of small solutions to the one-dimensional nonlinear Schr\"odinger equation \[ i\partial_t v+\partial_x^2v-\beta\abs{v}^2v +\cW(x)\abs{v}^4v+\gamma i\partial_xv=0, \] where $\cW$ is spatially localized. The cubic nonlinearity is long range and produces the logarithmic phase correction, whereas the localized quintic term is short range at leading order. We construct a global forward modified wave operator for small complex asymptotic profiles and prove quantitative final-state estimates. For small data in the weighted energy space, we also establish global existence, sharp $t^{-1/2}$ decay, and forward modified scattering with a unique asymptotic profile. The principal new phenomenon occurs beyond this leading law. The exact Duhamel tail generated by the localized quintic term admits a quantitative inner scaling limit at the distinguished frequency $\zeta=-\gamma/2$ on the scale $\abs{\zeta+\gamma/2}\sim t^{-1/2}$. Its universal shape is explicit and depends on the value of the scattering profile on the distinguished ray and on the zeroth moment of $\cW$. When both quantities are nonzero, the limit is nontrivial, belongs optimally to $C^{2,1}_{\mathrm{loc}}$, and is not $C^3$ at the center. Away from the corresponding self-similar ray $\xi=-\gamma$, we construct rigorously defined higher-order outer expansions through every integer order allowed by the decay of $\cW$, and to each fixed finite order when $\cW$ is rapidly decreasing.

math.AP↗

arXiv2026

Graded Betti numbers of graded M\"obius algebras of uniform matroids

Graded M\"obius algebras were a key tool in the proof of the Dowling-Wilson Top Heavy Conjecture. They are commutative algebras whose Hilbert functions recover the Whitney numbers of the second kind, i.e. the number of flats of a given rank. The graded Betti numbers of the defining ideal of a graded M\"obius algebra refine the Hilbert function and describe its minimal free resolution. In this paper we derive precise formulas for the graded Betti numbers of the defining ideals of graded M\"obius algebra for any uniform matroid. We also study when the graded M\"obius algebra of an arbitrary matroid is linearly presented.

math.AC↗

arXiv2026

Matrix-Aware Proper Scoring Rules and Significance Testing for Correlation and Covariance Forecasts in Python

Forecasting a correlation or covariance matrix is common in risk management and portfolio construction, but evaluating such a forecast correctly is not routine: naive matrix-comparison metrics are not proper scoring rules, walk-forward evaluation windows are easy to overlap with the estimation window in ways that silently leak information, and significance testing on serially dependent forecast-error sequences needs machinery few analysts implement from scratch. corrscore is a Python package that provides matrix-aware implementations of two established proper scoring rules for this setting -- the energy score and the variogram score -- dispatched across a closed-form tractability spectrum (point, discrete-mixture, and isotropic-Gaussian-mixture forecasts are scored exactly; a general Monte Carlo ensemble falls back to sampling), a geometry-aware variant of the variogram score built from the affine-invariant distance on the correlation manifold, a zero-overlap-by-construction walk-forward backtest harness, and a bundled significance-testing suite (circular block bootstrap, the Diebold-Mariano test, and the Model Confidence Set). We describe the package's design, its point of departure from the existing scoringRules and properscoring packages, and walk through a complete worked example.

stat.ME↗

arXiv2026

Attainment Boundaries and Escape Rates in Asymptotically Conic Optimization

We study attainment boundaries for linear optimization over unbounded convex sets. For epigraphs of finite convex functions, convex conjugacy separates recession-cone copositivity, boundedness below, and attainment through three nested subsets of conjugate space. At a finite but unattained boundary value, we establish a facewise asymptotic selection theorem for inward perturbations of the objective. The theorem identifies the escaping directions of the perturbed minimizers, their precise blow-up scale, and the leading asymptotics of the optimal value; the critical set may be multidimensional, and no radial symmetry is assumed. For radial asymptotically conic epigraphs, we obtain a complete boundary trichotomy and universal scaling laws for objective tilting, hard truncation, and power regularization. For shifted ellipsoidal second-order cone programs, we derive explicit primal--dual formulas together with sharp escape, conditioning, and regularization rates. These models also admit an exact robust-optimization representation. At the attainment boundary, strict primal feasibility, zero duality gap, and dual attainment can coexist with failure of primal attainment.

math.OC↗

arXiv2026

Stability of Finite-Batch Particle Mean-Field Variational Inference Beyond Strong Convexity

We study the implementable finite-batch particle algorithm for mean-field variational inference as a fully discrete stochastic approximation of the projected Wasserstein dynamics. The target potential is globally smooth but need not be strongly convex. The departure from contractivity is quantified by the curvature defect \[ \mathfrak d_\alpha(x,y) = \bigl[\alpha\|x-y\|^2- \langle\nabla V(x)-\nabla V(y),x-y\rangle\bigr]_+, \] which is the additive loss in the one-step Euler contraction estimate. We prove a non-asymptotic Wasserstein stability bound that separates initialization, product-empirical approximation, finite-batch drift error, time discretization, and the defects accumulated along the coupled trajectories. Under the uniform bound $\mathfrak d_\alpha\leq\beta$, the particle iterates remain within $O(\sqrt{\beta/\alpha})$ of any MFVI minimizer, up to explicit errors in the particle number, batch size, and step size. The proof uses a stationary comparison array whose population law is an MFVI minimizer but whose particle-level law is a random product empirical measure, and it controls the resulting projected-drift discrepancy explicitly. We also give coordinatewise defect estimates and structural conditions for dimension-independent projected-drift sensitivity, construct an arbitrary-dimensional smooth nonconvex benchmark with a closed-form MFVI minimizer, and explain why polynomially growing drifts require a modification of the untamed explicit scheme.

math.NA↗

arXiv2026

Automated Data Engineering and Feature Selection for the Case Study of Warpage Detection in Fused Deposition Modeling

This study contributes toward development of an Automated Data Processing (ADP) framework designed to evaluate and reinforce optimal machine learning model-feature combinations for predictive tasks in fused deposition modeling (FDM) process datasets. The methodology is centered around a reinforcement learning-inspired policy updating mechanism, where multiple machine learning models are trained on both full feature sets and feature subsets selected through Shapley-based Explainable AI (SHAP XAI) across 217 datasets. At each episode, the framework assesses the predictive accuracy and F1-scores of each model-feature pair, computes a scalar reward, and updates $Q$ values to guide future model selection. SHAP XAI feature importance was employed to generate reduced yet informative feature subsets to enable the framework to explore performance with dimensionality. The policy was shown to evolve over multiple episodes, with reward distributions used to visualize performance stability. Overall, results indicate that leveraging the ADP framework through XAI algorithms successfully converges toward optimal model-feature configurations with improved accuracy and stability. Specifically, the proposed framework improves the test-set AUC from 0.9248 to 0.9731 and increases the mean reward value by more than fifty percent compared with the baseline full-feature configuration.

cs.LG↗

arXiv2026

Learning-Based Navigation for Indoor Mobile Robots

This paper presents a learning-based navigation framework for indoor mobile robots. The proposed method combines a supervised neural global planner, trained from cost-aware A* expert trajectories, with the proposed Learning-Based DWA local planner, which is formulated as discrete candidate selection over the Dynamic Window Approach (DWA) action lattice. For local planning, the policy is first trained by behavior cloning and then refined by Proximal Policy Optimization (PPO) under feasibility-aware masking. The framework is implemented and evaluated in both simulated and real-world indoor environments. Experimental results show that the proposed method generates feasible global routes and reliable local motion commands for safe goal-directed navigation in the presence of obstacles. These results demonstrate the effectiveness of integrating learning-based global planning with reinforcement-learning-refined local control for indoor mobile robot navigation. The source code will be released at https://ntdathp.github.io/rl_robot_web/.

cs.RO↗

arXiv2026

STR Robot: Design of an Autonomous Mobile Robot from Simulation to Reality

With the rapid development of simulation tools, the development and validation of autonomous robotic systems have become more efficient before real-world deployment. This paper presents a simulation-to-real implementation of an autonomous mobile robot based on an existing mechanical platform. Instead of focusing on mechanical design, our work concentrates on the development of the onboard control, self-localization, and autonomous navigation system. The proposed robot is equipped with onboard sensing and computation to estimate its pose and navigate autonomously in the environment. The overall framework is first developed and tested in simulation, and then deployed on the real robot for experimental evaluation. The results demonstrate the feasibility of the proposed approach and show that simulation provides an effective foundation for developing reliable autonomous mobile robot systems. The source code will be released at https://ntdathp.github.io/outdoor-robot-web.

cs.RO↗

arXiv2026

Focal matroids of covers and homological properties of matroids

In this paper we prove that the Stanley--Reisner ideal or cover ideal $I$ of a matroid is minimally resolvable by iterated mapping cones. As a technical tool for this purpose, we introduce and study focal matroids, which are submatroids of a matroid $\mathcal{M}$ that are constructed relative to minimal $\ell$-covers of $\mathcal{M}$. Our second main result is that the monomial support of the multigraded Betti numbers of $I$ corresponds precisely to the squarefree minimal generators of the symbolic powers of $I$. In fact, we prove that matroidal ideals are the only squarefree ideals with this property, thus obtaining a new homological characterization of matroidal ideals. These techniques are foundational for a follow-up paper, where we will show that all symbolic power of $I$ are minimally resolvable by iterated mapping cones.

math.AC↗

arXiv2026

URAG: A Benchmark for Uncertainty Quantification in Retrieval-Augmented Large Language Models

Retrieval-Augmented Generation (RAG) has emerged as a widely adopted approach for enhancing LLMs in scenarios that demand extensive factual knowledge. However, current RAG evaluations concentrate primarily on correctness, which may not fully capture the impact of retrieval on LLM uncertainty and reliability. To bridge this gap, we introduce URAG, a comprehensive benchmark designed to assess the uncertainty of RAG systems across various fields like healthcare, programming, science, math, and general text. By reformulating open-ended generation tasks into multiple-choice question answering, URAG allows for principled uncertainty quantification via conformal prediction. We apply the evaluation pipeline to 8 standard RAG methods, measuring their performance through both accuracy and prediction-set sizes based on LAC and APS metrics. Our analysis shows that (1) accuracy gains often coincide with reduced uncertainty, but this relationship breaks under retrieval noise; (2) simple modular RAG methods tend to offer better accuracy-uncertainty trade-offs than more complex reasoning pipelines; and (3) no single RAG approach is universally reliable across domains. We further show that (4) retrieval depth, parametric knowledge dependence, and exposure to confidence cues can amplify confident errors and hallucinations. Ultimately, URAG establishes a systematic benchmark for analyzing and enhancing the trustworthiness of retrieval-augmented systems. Our code is available on GitHub.

cs.CL↗

arXiv2025

Mean-Field Limits of Deterministic and Stochastic Flocking Models with Nonlinear Velocity Alignment

We study the mean-field limit for a class of agent-based models describing flocking with nonlinear velocity alignment. Each agent interacts through a communication protocol $\phi$ and a non-linear coupling of velocities given by the power law $A(\bv) = |\bv|^{p-2}\bv$, $p > 2$. The mean-field limit is proved in two settings -- deterministic and stochastic. We then provide quantitative estimates on propagation of chaos for deterministic case in the case of the classical fat-tailed kernels, showing an improved convergence rate of the $k$-particle marginals to a solution of the corresponding Vlasov equation. The stochastic version is addressed with multiplicative noise depending on the local interaction intensity, which leads to the associated Fokker-Planck-Alignment equation. Our results extend the classical Cucker-Smale theory to the nonlinear framework which has received considerable attention in the literature recently.

math.AP↗

arXiv2025

Few-Shot VLM-Based G-Code and HMI Verification in CNC Machining

Manual generation of G-code is important for learning the operation of CNC machines. Prior work in G-code verification uses Large-Language Models (LLMs), which primarily examine errors in the written programming. However, CNC machining requires extensive use and knowledge of the Human-Machine Interface (HMI), which displays machine status and errors. LLMs currently lack the capability to leverage knowledge of HMIs due to their inability to access the vision modality. This paper proposes a few-shot VLM-based verification approach that simultaneously evaluates the G-code and the HMI display for errors and safety status. The input dataset includes paired G-code text and associated HMI screenshots from a 15-slant-PRO lathe, including both correct and error-prone cases. To enable few-shot learning, the VLM is provided with a structured JSON schema based on prior heuristic knowledge. After determining the prompts, instances of G-code and HMI that either contain errors or are error free are used as few-shot examples to guide the VLM. The model was then evaluated in comparison to a zero-shot VLM through multiple scenarios of incorrect G-code and HMI errors with respect to per-slot accuracy. The VLM showed that few-shot prompting led to overall enhancement of detecting HMI errors and discrepancies with the G-code for more comprehensive debugging. Therefore, the proposed framework was demonstrated to be suitable for verification of manually generated G-code that is typically developed in CNC training.

cs.CV↗

arXiv2025

Vision-Language Models for Infrared Industrial Sensing in Additive Manufacturing Scene Description

Many manufacturing environments operate in low-light conditions or within enclosed machines where conventional vision systems struggle. Infrared cameras provide complementary advantages in such environments. Simultaneously, supervised AI systems require large labeled datasets, which makes zero-shot learning frameworks more practical for applications including infrared cameras. Recent advances in vision-language foundation models (VLMs) offer a new path in zero-shot predictions from paired image-text representations. However, current VLMs cannot understand infrared camera data since they are trained on RGB data. This work introduces VLM-IRIS (Vision-Language Models for InfraRed Industrial Sensing), a zero-shot framework that adapts VLMs to infrared data by preprocessing infrared images captured by a FLIR Boson sensor into RGB-compatible inputs suitable for CLIP-based encoders. We demonstrate zero-shot workpiece presence detection on a 3D printer bed where temperature differences between the build plate and workpieces make the task well-suited for thermal imaging. VLM-IRIS converts the infrared images to magma representation and applies centroid prompt ensembling with a CLIP ViT-B/32 encoder to achieve high accuracy on infrared images without any model retraining. These findings demonstrate that the proposed improvements to VLMs can be effectively extended to thermal applications for label-free monitoring.

cs.CV↗

arXiv2025

Slightly mixed symbolic powers of matroids are locally glicci

Let $\M$ be a matroid, and let $I_{\M}$ be either the Stanley--Reisner or the cover ideal of $\M$. In this paper we prove that for any matroid $\M$ on $[n]$, any $\ell\in \ZZ_+$, and any squarefree monomial $N\in R=\kk[x_1,\ldots,x_n]$, the ideal $I_{\M}^{(\ell)}:N$, which we call a ``slightly mixed symbolic power" of $I_{\M}$, is always Cohen--Macaulay and locally glicci. As a corollary, we obtain that all symbolic powers $I_{\M}^{(\ell)}$ are locally glicci.

math.AC↗

arXiv2025

Non-Attainment of Minima in Non-Polyhedral Conic Optimization: A Robust SOCP Example

A fundamental theorem of linear programming states that a feasible linear program is solvable if and only if its objective function is copositive with respect to the recession cone of its feasible set. This paper demonstrates that this crucial guarantee does not extend to Second-Order Cone Programs (SOCPs), a workhorse model in robust and convex optimization. We construct and analyze a rigorous counterexample derived from a robust linear optimization problem with ellipsoidal uncertainty. The resulting SOCP possesses a non-empty feasible set, a bounded objective, and an objective function that is copositive on its recession cone. Despite satisfying these classical conditions for solvability, the problem admits no optimal solution; its infimum is finite but unattainable. We trace this pathology directly to the non-polyhedral geometry of the second-order cone, which causes the image of the feasible set under the linear objective to be non-closed. We interpret the example explicitly within the context of robust optimization, discuss its significant practical implications for modeling and computation, and propose effective mitigation strategies via polyhedral approximation or regularization.

math.OC↗

arXiv2025

Sanitizing Manufacturing Dataset Labels Using Vision-Language Models

The success of machine learning models in industrial applications is heavily dependent on the quality of the datasets used to train the models. However, large-scale datasets, specially those constructed from crowd-sourcing and web-scraping, often suffer from label noise, inconsistencies, and errors. This problem is particularly pronounced in manufacturing domains, where obtaining high-quality labels is costly and time-consuming. This paper introduces Vision-Language Sanitization and Refinement (VLSR), which is a vision-language-based framework for label sanitization and refinement in multi-label manufacturing image datasets. This method embeds both images and their associated textual labels into a shared semantic space leveraging the CLIP vision-language model. Then two key tasks are addressed in this process by computing the cosine similarity between embeddings. First, label sanitization is performed to identify irrelevant, misspelled, or semantically weak labels, and surface the most semantically aligned label for each image by comparing image-label pairs using cosine similarity between image and label embeddings. Second, the method applies density-based clustering on text embeddings, followed by iterative cluster merging, to group semantically similar labels into unified label groups. The Factorynet dataset, which includes noisy labels from both human annotations and web-scraped sources, is employed to evaluate the effectiveness of the proposed framework. Experimental results demonstrate that the VLSR framework successfully identifies problematic labels and improves label consistency. This method enables a significant reduction in label vocabulary through clustering, which ultimately enhances the dataset's quality for training robust machine learning models in industrial applications with minimal human intervention.

cs.CV↗

arXiv2025

Llama-Nemotron: Efficient Reasoning Models

We introduce the Llama-Nemotron series of models, an open family of heterogeneous reasoning models that deliver exceptional reasoning capabilities, inference efficiency, and an open license for enterprise use. The family comes in three sizes -- Nano (8B), Super (49B), and Ultra (253B) -- and performs competitively with state-of-the-art reasoning models such as DeepSeek-R1 while offering superior inference throughput and memory efficiency. In this report, we discuss the training procedure for these models, which entails using neural architecture search from Llama 3 models for accelerated inference, knowledge distillation, and continued pretraining, followed by a reasoning-focused post-training stage consisting of two main parts: supervised fine-tuning and large scale reinforcement learning. Llama-Nemotron models are the first open-source models to support a dynamic reasoning toggle, allowing users to switch between standard chat and reasoning modes during inference. To further support open research and facilitate model development, we provide the following resources: 1. We release the Llama-Nemotron reasoning models -- LN-Nano, LN-Super, and LN-Ultra -- under the commercially permissive NVIDIA Open Model License Agreement. 2. We release the complete post-training dataset: Llama-Nemotron-Post-Training-Dataset. 3. We also release our training codebases: NeMo, NeMo-Aligner, and Megatron-LM.

cs.CL↗

arXiv2025

Quasisteady patterns in interfaces: Folding and Faceting

We present a systematic derivation of the gradient flows associated to a broad class of interfacial energies, emphasizing the relation between intrinsic and extrinsic variations of the interface. We show that the intrinsic variables formulation brings the gradient flow into alignment with the traditional analysis of quasi-steady dynamical systems defined on a stationary domain. Gradient flows are derived for model systems which exhibit quasi-steady pattern formation including coarsening among faceted interfaces and nonlocal interactions that model membrane self-adhesion and self-avoidance.

math.AP↗