arXiv Science⌕ Search

arXiv subjects

Kun Huang

Publications and source records attributed to Kun Huang.

At least 19 recordsLinked to original sources
arXiv2026

Where to Look and What to Use: Retrieve-Localize-Generate for Long-Term Conversational Memory Question Answering

Retrieval-augmented generation (RAG) enables large language models (LLMs) to answer questions by accessing external knowledge and has been widely adopted for long-term conversational memory question answering. However, existing methods suffer from two key challenges: (1) fragmented evidence scattered across temporally distant sessions, and (2) noisy content within retrieved sessions that triggers the lost-in-the-middle effect. To address these challenges, we propose MemLoc, a unified Retrieve-Localize-Generate framework for long-term conversational memory QA. For retrieval, MemLoc decomposes each session into multi-granularity memory units and performs query routing via an inner-memory graph with entropy-based granularity selection. It further models cross-session semantic and temporal dependencies through a cross-memory graph, enabling coarse-to-fine retrieval of top-K relevant memory candidates. For localization, we introduce a reasoning-based evidence locator trained with Self-reflective Hint Policy Optimization (SHPO), which performs progressive refinement by extracting query-relevant fragments within memory units to suppress noise and reranking across candidates to remove redundancy, producing a compact evidence set with lightweight location IDs. For generation, these IDs act as precise grounding signals that guide the LLM to the correct memory positions, mitigating the lost-in-the-middle effect while preserving original contextual integrity. Extensive experiments on four benchmarks demonstrate that MemLoc achieves state-of-the-art retrieval accuracy and response quality while maintaining efficiency. Our code is available at: https://github.com/Nikol-coder/MemLoc.

cs.CL↗
arXiv2026

Consistent Bayesian Spatial Domain Partitioning Using Predictive Spanning Tree Methods

Bayesian model-based spatial clustering methods are widely used for their flexibility in estimating latent clusters with an unknown number of clusters while accounting for spatial proximity. Many existing methods are designed for clustering finite spatial units, limiting their ability to make predictions, or may impose restrictive geometric constraints on the shapes of subregions. Furthermore, the posterior clustering consistency theory of spatial clustering models remains largely unexplored in the literature. In this study, we propose a Spatial Domain Random Partition Model (Spat-RPM) and demonstrate its application for spatially clustered regression, which extends spanning tree-based Bayesian spatial clustering by partitioning the spatial domain into disjoint blocks and using spanning tree cuts to induce contiguous domain partitions. Under an infill-domain asymptotic framework, we introduce a new distance metric to study the posterior concentration of domain partitions. We show that Spat-RPM achieves a consistent estimation of domain partitions, including the number of clusters (which may go to infinity), and derive posterior concentration rates for partition, parameter, and prediction. We also establish conditions on the hyperparameters to achieve consistency, offering important practical guidance for hyperparameter selection. Finally, we examine the asymptotic properties of our model through simulation studies and apply it to Atlantic Ocean data.

stat.ME↗
arXiv2026

Wasserstein Stability and Free Boundaries in Measure-Parameterized Bilevel Obstacle Problems

We study obstacle-constrained variational problems whose reduced energies depend on a probability law through a lower-level optimizer. Uniform strong convexity yields a single-valued Lipschitz follower response, while convexity and a Poincare inequality give a unique upper-level policy. A type-Lipschitz reduced marginal then implies Lipschitz continuity of the policy map from the 1-Wasserstein metric to the energy space. In a one-dimensional linear-obstacle subclass, the policy derivative is the positive part of a cumulative forcing. Single crossing makes the coincidence set an interval. An algebraic crossing of order m gives a $W_1^{1/m}$ modulus for its endpoint; odd-power examples show that this exponent is sharp, while a transversal crossing recovers Lipschitz stability. For empirical laws on compact subsets of $\mathbb{R}^k$, dimension-dependent Wasserstein bounds yield finite-sample rates for policies and thresholds. At a transversal population root, the empirical threshold is asymptotically linear, with an explicit influence function and central limit theorem. For higher-dimensional regular patches, a conditional level-set argument gives local Hausdorff stability when a nondegenerate switching function is available. An explicit quadratic firm response produces a nonlinear corporate-tax schedule with an endogenous zero-tax region and a Wasserstein-stable threshold. The tax illustration is analytic and uses no empirical calibration.

math.OC↗
arXiv2026

Blockchain-based Proportional Fair Scheduling for Multi-Operator O-RAN

The openness and disaggregation of Open radio access network (O-RAN) facilitate resource sharing and coordination across networks, creating new demands for efficient and trustworthy cross-operator scheduling. However, such scheduling is beyond the scope and capability of conventional proportional fair scheduling (PFS), which lacks mechanisms for establishing trust among independent operators. To fulfill this gap, we propose the blockchain-based proportional fair scheduling (BC-PFS) that enables trustworthy inter-network coordination and resource pooling across operators in O-RAN. Specifically, we design four core smart contracts including registration, status reporting, scheduling, and settlement contracts with corresponding Solidity implementations to ensure trustworthy on-chain execution. Theoretically, to evaluate the BC-PFS performance, we develop an analytical framework to derive the user average throughput via both probabilistic and ordinary differential equation (ODE) approaches, and provide a simplified closed-form solution. Based on the above performance assessment, we quantify the pooling effect in O-RAN achieved through trustworthy cross-operator collaboration via BC-PFS, and point out that this effect grows monotonically in both the numbers of operator networks and users. Simulations validate the theoretical analysis and show the performance of the BC-PFS in O-RAN.

cs.NI↗
arXiv2026

Runaway electron control by self-excited waves

Runaway-electron avalanches in tokamak plasmas can be limited by kinetic instabilities driven by the non-Maxwellian runaway distribution. We formulate a reduced model for the quasi-steady state in which the total plasma current and bulk electron temperature are prescribed, while the inductive electric field is determined self-consistently from the partition between Ohmic bulk current and runaway-electron current. Because the wave growth time is short compared with the current-decay time, we consider a marginal-stability regime, in which whistler-wave drive by the runaway electrons balances collisional damping. The resulting states separate into three regimes: a subcritical Ohmic regime without an avalanche, an avalanche regime in which runaway growth relaxes the inductive field to the avalanche threshold, and an instability-regulated regime in which self-excited whistler waves enhance momentum-space diffusion and limit the runaway current. In the instability-regulated regime, the whistler wave spectrum forms a narrow ridge, and low-energy runaway electrons carry most of the runaway current.

physics.plasm-ph↗
arXiv2026

Distributed risk-averse optimization via CVaR

Distributed systems often operate under uncertainty, where minimizing expected loss may overlook rare but severe events. This paper studies a distributed risk-averse convex optimization problem in which agents cooperatively minimize the average of local conditional value-at-risk (CVaR) objectives over a time-varying network. Each agent has access only to noisy evaluations of its local loss function, rather than to its CVaR objective or gradient. We therefore develop a zeroth-order algorithm that uses sampled losses to construct empirical CVaR estimates and their gradient estimates. At each iteration, agents combine neighboring decisions and perform a local update. Under convexity and Lipschitz continuity assumptions, we prove that the agents reach exact asymptotic consensus. We also establish a finite-time expected suboptimality bound for the weighted ergodic iterate. With diminishing step sizes and fixed sample sizes, the local last iterates converge almost surely to a common optimum, and their limiting expected CVaR gap is bounded in terms of the smoothing and finite-sample errors. This distributed bound matches the parameter dependence of the centralized benchmark provided in this paper. Finally, simulations on a distributed sensor network estimation problem illustrate the efficacy of the method.

math.OC↗
arXiv2026

GSAR: Goal-State-Anchor Rewards for Mobile GUI Agents with Self-Evolving Data Synthesis

Vision-Language Models (VLMs) based GUI agents stand to benefit significantly from online reinforcement learning (RL). However, their training is bottlenecked by two fundamental issues: current data synthesis methods for GUI Agents rely on specific environments and struggle to generate diverse data, while existing evaluators either suffer from limited scalability or provide inaccurate and unreliable reward signals. To overcome these challenges, we introduce GSAR (Goal-State-Anchor Reward), a RL reward framework that supports scalable task generation and delivers reliable reward signals for stable and efficient policy optimization. Our approach features self-evolving data synthesis, which produces multiple environments through task execution and generates diverse tasks and goal states. Complementing this, a state-anchor mechanism automatically annotates task-relevant UI elements in successful goal states as reference anchors. During RL training, these reference anchors provide accurate, scalable reward signals that substantially enhance efficiency. Extensive evaluations demonstrate that our framework achieves over 90% accuracy on offline trajectory verification and performs closest to rule-based methods. Furthermore, agents trained using our reward framework exhibit strong performance on both AndroidWorld and our constructed benchmark, establishing a scalable approach for GUI agent training.

cs.AI↗
arXiv2026

Existence and Smoothing for a Nondivergence-Form Degenerate Diffusion from Plasma-Wave Theory

We prove existence, positive-time smoothing, and physical admissibility of weak solutions to the degenerate parabolic Cauchy-Dirichlet problem $\partial_t u = ρ_λ(x) u \partial_x^2 u + ρ_λ(x) g(x) u$ on the half-line, where $ρ_λ$ vanishes at the boundary and grows at infinity. This scalar problem arises by formally reducing the system of equations given by the quasilinear theory of plasma waves in the one-dimensional case. This theory models a background distribution of electrons $f$ coupled to a spectral energy density $W$ through wave-particle resonance. For the scalar problem we construct weak solutions from weighted $L^p$ initial data and bounded reaction, admitting the unbounded, discontinuous data that the physical model demands, and lying beyond the reach of the continuous-data theories developed for nearby problems. We identify a parabolic smoothing effect for the constructed solution, namely one-sided bounds on $\partial_t u$: from merely integrable data, the solution becomes locally Hölder in space and time and locally Lipschitz in space at positive times. This spatial regularity is shown to be sharp by explicit examples. Finally, we address the quasilinear system itself, whose well-posedness remains open: we prove that the scalar solution induces a particle-wave pair $(f^{\ast}, W^{\ast})$ which is a weak solution of the system. Under nonnegativity and finite-moment hypotheses on the initial data, both components remain nonnegative and the initial mass is conserved. Moreover, the pair inherits positive-time regularity, with $W^{\ast}$ decaying quantitatively at large wavenumber and $f^{\ast}$ smoothing to a locally bounded function even when initially a measure.

math.AP↗
arXiv2026

AppDeltaWorld: Transition-Grounded Delta Code World Model for Mobile GUI Agents

Mobile GUI agents can operate apps through pixel perception and touch actions, making them a promising interface for collecting and improving long-horizon mobile interaction policies. However, real trajectories are difficult to obtain for sensitive apps and privacy-critical operations. At the same time, existing simulated environments are costly to scale up, and GUI world models still suffer from unstable generation, limited modality coverage, and inconsistent action-transition logic. To address these limitations, we propose AppDeltaWorld, a transition-grounded delta code world model that predicts the next GUI as a reachable code update rather than as an unconstrained image or text description. AppDeltaWorld retrieves app-specific Level-1 HTML references under an action-transition constraint, generates Level-2 executable HTML conditioned on the current screen, action, predicted next-screen text, and retrieved structure, and inserts generated visual assets into image slots before browser rendering. As a world model, AppDeltaWorld achieves the highest fidelity on CMGUIBench-500 under Code2World evaluation, with clear gains in structural layout and UI element reconstruction over image-only and code-only baselines. As a training environment, AppDeltaWorld supports filtered closed-loop SFT data construction that, when combined with public supervision, enables AppDeltaAgent to achieve state-of-the-art performance on AndroidLens and consistent gains on MobileGym and MobileWorld. Moreover, world-model-based test-time reinforcement learning enables policy adaptation and shows further improvements without additional interaction with real apps.

cs.AI↗
arXiv2026

A fast scheme for the homogeneous Boltzmann equation based on lifting and tensor train approximation

We propose a fast deterministic scheme for the space-homogeneous Boltzmann equation that exploits the low-rank structure of the velocity distribution. This paper consists of two independent contributions. The first is a \emph{lifting-projection (LP) scheme}, inspired by the approach in the recent theoretical breakthroughs \cite{guillen2025landau, imbert2026monotonicity, guillen2025landau2} on the well-posedness of the Landau and Boltzmann equations. In particular, the approach lifts the nonlinear 3D Boltzmann equation to the 6D linear Kac master equation, advanced over a single time step, and projected back to its marginal in 3D. The second contribution is a \emph{low-rank tensor method} for evaluating the collision operator, in which the lifted solution is represented in tensor train (TT) format and computed via a TT cross approximation algorithm with interpolation, complemented by a TT-friendly conservation correction that enforces conservation of mass, momentum, and energy. When the solution is low-rank in velocity, the method scales linearly in $n$ when cubic interpolation is used (and quadratic in $n$ when spectral interpolation is used), where $n$ is the number of grid points in each velocity direction. Therefore, our methods offer significant computational savings over existing deterministic solvers in such cases. Numerical experiments on 2D and 3D benchmarks, including the BKW exact solution and anisotropic initial data, confirm the computational scaling, the expected order of accuracy and verify the effectiveness of the conservation correction.

math.NA↗
arXiv2026

Reconstructive comb spectroscopy: A single-pixel detection paradigm beyond dual-comb limitations

Frequency comb spectroscopy has revolutionized broadband molecular fingerprinting with mode-defined resolution. While dual-comb spectroscopy stands as a dominant paradigm for high-resolution measurements, it relies on mutually coherent dual combs, and its applicability to non-cooperative sensing is limited by the requirement for phase-sensitive detection and controlled optical returns. Here, we introduce reconstructive comb spectroscopy, a fundamentally different paradigm that eliminates these constraints. By integrating a mode-programmable optical comb with a computational sensing scheme based on single-pixel detection, our method achieves picometer-level spectral resolution over a 10-nm (1.27-THz) instantaneous bandwidth, with single-photon sensitivity down to 10^-4 photons per pulse, and compressed spectral acquisition at 2.5% sampling while maintaining reconstruction errors below 10%. We demonstrate robust performance through scattering media and from non-cooperative targets. These capabilities establish reconstructive comb spectroscopy as a new platform for gas sensing, with broad applicability in remote atmospheric monitoring, industrial leak detection, and standoff chemical-threat identification.

physics.optics↗
arXiv2026

Structure-Aware Compound-Protein Affinity Prediction via Graph Neural Networks with Group Lasso Regularization

Explainable artificial intelligence approaches accelerate drug discovery by improving molecular representation learning, identifying key molecular structures, and rationalizing drug property prediction. However, developing end-to-end explainable models for target-specific structure-activity relationship modeling remains challenging because compound-protein interaction data are often limited for individual targets, and small changes in chemical substituents or local structural motifs can cause large differences in molecular properties. Therefore, effectively leveraging structural and property information to identify key moieties associated with compound-protein affinity is essential. We propose a graph neural network (GNN) framework that uses property and structural information from activity-cliff molecule pairs targeting specific proteins to predict compound-protein affinity, measured by half-maximal inhibitory concentration (IC50), and explain property differences. To improve explainability, we trained GNNs with structure-aware loss functions using group lasso and sparse group lasso regularization, which prune and highlight molecular subgraphs relevant to activity differences. We applied this framework to activity-cliff data from molecules targeting six tyrosine-protein kinases across the Src, Abl, and Tec families, as well as anaplastic lymphoma kinase. Integrating common- and uncommon-node information with sparse group lasso improved target-specific molecular property prediction, producing lower root mean square errors and higher Pearson correlation coefficients. Regularization also enhanced GNN feature attribution by improving graph-level global direction scores and atom-level coloring accuracy. These results support more interpretable drug discovery pipelines, particularly for identifying critical molecular substructures during lead optimization.

cs.LG↗
arXiv2026

Single-photon time-stretch computational ghost spectroscopy

Time-stretch spectroscopy is powerful for capturing transient spectral phenomena but remains fundamentally limited by detector bandwidth or timing jitter, especially under photon-starved conditions. Here, we devise and implement single-photon time-stretch computational ghost spectroscopy, which integrates dispersive wavelength-to-time mapping with programmable temporal encoding and correlation-based reconstruction to overcome these detection limitations. Specifically, temporally stretched ultrashort pulses are modulated by predefined encoding patterns and detected by a low-bandwidth detector, allowing reconstruction of near-infrared spectra with 450 resolvable channels across 1530-1590 nm without direct high-speed waveform acquisition. By further incorporating compressive sensing, accurate spectral recovery is achieved at sub-Nyquist sampling rates, substantially reducing acquisition requirements to facilitate high-speed operation at 210 kHz. In the single-photon regime, computational ghost reconstruction effectively suppresses the intrinsic detector timing jitter, yielding high-fidelity spectra at illumination fluxes down to 0.01 photons/pulse. By jointly enabling broadband coverage, high spectral resolution, high acquisition speed, and single-photon sensitivity, this approach establishes a computation-enhanced paradigm for time-stretch spectroscopy and provides a versatile platform for ultrafast and photon-efficient spectroscopic applications.

physics.optics↗
arXiv2026

Nonlinear differential imaging via vectorial parametric interaction

Optical image differentiation is a key operation for edge extraction in imaging and machine vision, yet most existing implementations rely on momentum-domain filtering elements and are typically developed within a scalar-wave framework. Here we demonstrate a nonlinear vectorial mechanism for optical image differentiation based on parametric wave mixing. By solving the full vector wave equation with a nonlinear polarization source term, we show analytically that frequency conversion intrinsically generates cross-polarized field components that correspond to spatial derivatives of the incident field. Exploiting the polarization-selective phase-matching conditions of second-order nonlinear crystals, particularly uniaxial crystals, we propose filter-free imaging schemes that simultaneously perform spatial differentiation and wavelength conversion. This nonlinear vector differentiation platform enables compact, wavelength-agile, and edge-enhanced imaging, offering new opportunities for mid-infrared imaging and all-optical signal processing.

physics.optics↗
arXiv2026

Mid-infrared snapshot spectral imaging via nonlinear radial dispersion

Mid-infrared (MIR) spectral imaging provides chemically specific contrast through molecular vibrational fingerprints, yet snapshot acquisition remains severely limited by the lack of high-sensitivity detectors and efficient spectral encoding mechanisms. Here we introduce snapshot MIR spectral imaging based on intrinsic nonlinear radial dispersion, in which wavelength-dependent phase matching simultaneously enables frequency upconversion and spectral multiplexing. Different spectral components are mapped to distinct output angles within a 4$f$ imaging architecture, enabling single-shot spectral encoding without external dispersive elements. In combination with speckle illumination encoding, spectral information is compressed and recovered without additional coding components. Leveraging nonlinear upconversion to the visible, the approach achieves room-temperature MIR spectral imaging with sensitivity approaching 1 photon/pixel/pulse across a broad spectral range from 2.5 to 4.0 $μ$m. This work transforms spectral encoding from an external optical function into an inherent property of the nonlinear imaging process, providing a general route to high-sensitivity snapshot MIR spectral imaging.

physics.optics↗
arXiv2026

Deterministic-Allocation and Anonymous Joint Advertising in E-commerce Platforms

With the advancement of machine learning, an increasing number of studies are employing automated mechanism design (AMD) methods for optimal auction design. However, all previous AMD architectures designed to generate optimal mechanisms that satisfy near dominant strategy incentive compatibility (DSIC) fail to achieve deterministic allocation, and some also lack anonymity, thereby impacting the efficiency and fairness of advertising allocation. This has resulted in a notable discrepancy between the previous AMD architectures for generating near-DSIC optimal mechanisms and the demands of real-world advertising scenarios. In this paper, we prove that in all online advertising scenarios, when all ad slots must be allocated, previous non-deterministic allocation AMD methods lead to the non-existence of feasible solutions in the vast majority of cases, resulting in a gap between the rounded solution and the optimal solution. Furthermore, we propose JTransNet, a transformer-based neural network architecture, designed for optimal deterministic-allocation and anonymous joint auction design. Although the deterministic allocation module in JTransNet is designed for the latest joint auction scenarios, it can be applied to other non-deterministic AMD architectures with minor modifications. Additionally, our offline and online data experiments demonstrate that, in joint auction scenarios, JTransNet significantly outperforms the considered baselines in terms of platform revenue.

cs.GT↗
arXiv2026

Passive all-optical synchronization for polarization-maintaining ultrafast fiber lasers

We have proposed and implemented for the first time to our best knowledge a passive and all-optical pulse synchronization for polarization-maintaining ultrafast fiber lasers. Specifically, the synchronization system was comprised of two independent Yb-doped and Er-doped mode-locked fiber lasers in a master-slave configuration. Master pulses were injected into the slave laser cavity consisting of a nonlinear amplifying loop mirror, which provided an effective fast intensity modulator due to the periodic introduction of nonreciprocal phase difference. As a result, robust and tight timing synchronization was achieved with a cavity mismatch tolerance of 800 $μ$m and a relative timing jitter of 26 fs within 1-MHz bandwidth. In combination with all-polarization-maintaining structure of fiber lasers, long-term stable operation was demonstrated over 12 hours without the need of temperature stabilization and vibration isolation. The implemented synchronous laser system could find immediate applications such as pump-probe microscopy, two-color spectroscopy and nonlinear frequency mixing.

physics.optics↗
arXiv2026

Observation of spectral mode splitting in a pump-enhanced ring cavity for mid-infrared generation

We report on experimental and theoretical investigation of mode-splitting dynamics in a ring cavity under the perturbation of fractional Bragg reflection from a periodically-poled nonlinear crystal. Counterintuitively, pronounced mode splitting in the spectral domain could been observed even with a tiny intensity reflection of 0.0003. The breaking of running-wave operation in the ring-cavity configuration resulted in comparable circulating fields in forward- and counter-propagation directions, which thus dramatically reduced the enhancing factor for the resonating field. In contrast, a linear cavity with intrinsically bidirectional operation was immune to the small intra-cavity reflection. Therefore, the linear-cavity layout could provide an expedient solution for a given internal reflection to obtain more stable and higher enhancement, which was confirmed by comparative studies of mid-infrared generation based on pump-enhanced difference frequency conversion. The underlying mechanism was further modeled by numerical simulations, which agreed well with experimental results. These findings could not only shed light on the understanding of the exotic feature of concatenated optical cavities, but also provide a useful guide to practical design of enhancement cavities for cavity-based frequency conversion with periodically-poled nonlinear crystals.

physics.optics↗