arXiv subjects

Jianhui Li

Publications and source records attributed to Jianhui Li.

At least 19 recordsLinked to original sources

arXiv2026

The divergence set for the wave equation in higher dimensions

It is shown that if $u$ solves the wave equation in $\mathbb{R}^{4+1}$ with initial data $u(\cdot,0) = u_0(\cdot) \in H^s$ and $\partial_tu(\cdot,0) = u_1(\cdot ) \in H^{s-1}$, where $0.5 < s \leq 0.55$, then $u(x,t) \to u_0(x)$ and $\partial_tu(x,t) \to u_1(x)$ pointwise as $t \to 0$, for all $x$ outside an exceptional set of Hausdorff dimension at most $6-4s$. In a very small range of $s$, this verifies a conjecture of Barceló, Bennett, Carbery, and Rogers. More generally, a partial improvement to the exceptional set bound in $\mathbb{R}^{n+1}$ is obtained for $n \geq 4$ and $1/2 < s < n/4$.

math.CA↗

arXiv2026

Electrostatic quadrupole lens for focusing a cryogenic $^{205}$TlF molecular beam

Precision measurements with molecules require molecular beams with high flux and narrow divergence. Here we present the design, implementation, and characterization of an electrostatic quadrupole lens (EQL) for focusing a cryogenic beam of $^{205}$TlF molecules. The EQL consists of four electrodes operated at spatially alternating potentials up to $\pm 30$ kV. This configuration generates a transverse restoring force that focuses molecules prepared in selected manifold of hyperfine states. At the optimal applied voltage, the EQL increases the detected molecular signal by a factor of $14.4(4)$ at the current detection position. The measured lens gain, transverse Doppler spectra, and transverse spatial profiles are all reproduced by trajectory simulations using independently measured beam parameters as input. Based on this agreement, we project a gain of $16.5(8)$ for the full $7.9~\mathrm{m}$ CeNTREX beamline. These results establish the EQL as a key component for increasing sensitivity in precision experiments using cryogenic beams of polar molecules.

physics.atom-ph↗

arXiv2026

MERGE-RNA: a physics-based model to predict RNA secondary structure ensembles with chemical probing

RNA function is tied to secondary structure, operating through dynamic and heterogeneous structural ensembles. While current analysis tools typically output single static structures or averaged contact maps, chemical probing methods like DMS capture nucleotide-resolution signals representing the full structural ensemble, which remain difficult to interpret structurally. To address this, we present MERGE-RNA, a framework that describes and outputs RNA as a structural ensemble. By modeling the physics of the experimental pipeline, MERGE-RNA learns a small set of transferable and interpretable parameters, enabling the integration of measurements across different molecules, probe concentrations, and replicates in a single optimization to improve robustness. Our model employs a maximum-entropy principle to predict thermodynamic populations, with the minimal adjustments necessary to align the ensemble with experimental data. We validate MERGE-RNA on diverse RNAs, showing that it achieves structural accuracy surpassing standard pseudo-free-energy methods and yields ensembles better recapitulating measured DMS reactivity. Applied to the V. vulnificus adenine riboswitch, MERGE-RNA recovers the NMR-resolved conformations and their ligand-induced rearrangement, with population shifts matching the NMR-derived K_d. In a designed RNA construct for which we report new DMS data, MERGE-RNA deconvolves mixed states to reveal transient intermediate populations involved in strand displacement, dynamics invisible to methods based on enumerating a small number of structures.

q-bio.BM↗

arXiv2026

KAN-AD: Time Series Anomaly Detection with Kolmogorov-Arnold Networks

Time series anomaly detection (TSAD) underpins real-time monitoring in cloud services and web systems, allowing rapid identification of anomalies to prevent costly failures. Most TSAD methods driven by forecasting models tend to overfit by emphasizing minor fluctuations. Our analysis reveals that effective TSAD should focus on modeling "normal" behavior through smooth local patterns. To achieve this, we reformulate time series modeling as approximating the series with smooth univariate functions. The local smoothness of each univariate function ensures that the fitted time series remains resilient against local disturbances. However, a direct KAN implementation proves susceptible to these disturbances due to the inherently localized characteristics of B-spline functions. We thus propose KAN-AD, replacing B-splines with truncated Fourier expansions and introducing a novel lightweight learning mechanism that emphasizes global patterns while staying robust to local disturbances. On four popular TSAD benchmarks, KAN-AD achieves an average 15% improvement in detection accuracy (with peaks exceeding 27%) over state-of-the-art baselines. Remarkably, it requires fewer than 1,000 trainable parameters, resulting in a 50% faster inference speed compared to the original KAN, demonstrating the approach's efficiency and practical viability.

cs.LG↗

arXiv2026

Non-equilibrium pathway to mesoscale ordering in ethanol-water binary liquid

Ethanol-water mixtures are a classic example of thermodynamic non-ideality, yet the structural origin of their pronounced anomalies, such as volume contraction and a large negative excess entropy, has remained a long-standing puzzle. Here, we demonstrate these anomalies are not equilibrium properties but calorimetric fingerprint of an arrested phase transition. By imposing periodic thermal oscillations, we drive a 50% (v/v) ethanol-water system along a complete hierarchical self-assembly pathway that progressed from ethanol clusters to water-containing droplets, then to acicular flakes, and finally to micron-scale ordered ethanol aggregates. Fluorescence spectroscopy, two-dimensional correlation analysis and nuclear magnetic resonance revealed the underlying non-equilibrium molecular mechanism: a periodic perturbation of the water-dominated hydrogen-bond network initiates a ethanol-water coexistence intermediate, ultimately leading to the stable ordered assembly of an ethanol-rich phase. Our finding demonstrated that periodic physical perturbations capable drive spontaneous ordering across multiple length scales in a simple binary mixture, providing a kinetic perspective on the structural origin of solution non-ideality, and carry general implications for self-assembly strategies in soft matter.

cond-mat.soft↗

arXiv2026

LEC-KG: An LLM-Embedding Collaborative Framework for Domain-Specific Knowledge Graph Construction -- A Case Study on SDGs

Constructing domain-specific knowledge graphs from unstructured text remains challenging due to heterogeneous entity mentions, long-tail relation distributions, and the absence of standardized schemas. We present LEC-KG, a bidirectional collaborative framework that integrates the semantic understanding of Large Language Models (LLMs) with the structural reasoning of Knowledge Graph Embeddings (KGE). Our approach features three key components: (1) hierarchical coarse-to-fine relation extraction that mitigates long-tail bias, (2) evidence-guided Chain-of-Thought feedback that grounds structural suggestions in source text, and (3) semantic initialization that enables structural validation for unseen entities. The two modules enhance each other iteratively-KGE provides structure-aware feedback to refine LLM extractions, while validated triples progressively improve KGE representations. We evaluate LEC-KG on Chinese Sustainable Development Goal (SDG) reports, demonstrating substantial improvements over LLM baselines, particularly on low-frequency relations. Through iterative refinement, our framework reliably transforms unstructured policy text into validated knowledge graph triples.

cs.CL↗

arXiv2026

KairosVL: Orchestrating Time Series and Semantics for Unified Reasoning

Driven by the increasingly complex and decision-oriented demands of time series analysis, we introduce the Semantic-Conditional Time Series Reasoning task, which extends conventional time series analysis beyond purely numerical modeling to incorporate contextual and semantic understanding. To further enhance the mode's reasoning capabilities on complex time series problems, we propose a two-round reinforcement learning framework: the first round strengthens the mode's perception of fundamental temporal primitives, while the second focuses on semantic-conditioned reasoning. The resulting model, KairosVL, achieves competitive performance across both synthetic and real-world tasks. Extensive experiments and ablation studies demonstrate that our framework not only boosts performance but also preserves intrinsic reasoning ability and significantly improves generalization to unseen scenarios. To summarize, our work highlights the potential of combining semantic reasoning with temporal modeling and provides a practical framework for real-world time series intelligence, which is in urgent demand.

cs.AI↗

arXiv2025

Exposing Vulnerabilities in RL: A Novel Stealthy Backdoor Attack through Reward Poisoning

Reinforcement learning (RL) has achieved remarkable success across diverse domains, enabling autonomous systems to learn and adapt to dynamic environments by optimizing a reward function. However, this reliance on reward signals creates a significant security vulnerability. In this paper, we study a stealthy backdoor attack that manipulates an agent's policy by poisoning its reward signals. The effectiveness of this attack highlights a critical threat to the integrity of deployed RL systems and calls for urgent defenses against training-time manipulation. We evaluate the attack across classic control and MuJoCo environments. The backdoored agent remains highly stealthy in Hopper and Walker2D, with minimal performance drops of only 2.18 % and 4.59 % under non-triggered scenarios, while achieving strong attack efficacy with up to 82.31% and 71.27% declines under trigger conditions.

cs.CR↗

arXiv2025

Adiabatic passage of $^{205}$TlF with microwaves in a cryogenic beam

We present a hyperfine-resolved state preparation scheme for thallium fluoride (TlF) molecules based on microwave-driven adiabatic passage (AP) in a spatially varying electric field. This method enables efficient and robust population transfer between selected $\left|J,m_J=0\right\rangle$ hyperfine sublevels of the $X\,^1Σ^+_0$ ground state in a cryogenic molecular beam, a key requirement for the CeNTREX search for nuclear time-reversal symmetry violation. Two sequential stages of AP are implemented. The first transfers population from $J=0$ to $J=1$ at a local field of $173~\mathrm{V/cm}$, and the second transfers from $J=1$ to $J=2$ at $110~\mathrm{V/cm}$. Transfer efficiencies are quantified through laser-induced fluorescence, and accounting for residual population in excited rotational levels after a prior stage of rotational cooling. We achieve state transfer efficiencies of $0.92(6)$ and $1.05(5)$ for the first and second states of AP, respectively. This corresponds to a total efficiency of $0.97(8)$ for population transfer from $J=0$ to $J=2$. These results demonstrate robust and high-fidelity preparation of specific rotational/hyperfine states in TlF.

physics.atom-ph↗

arXiv2025

Unstructured Data Analysis using LLMs: A Comprehensive Benchmark

Nowadays, the explosion of unstructured data presents immense analytical value. Leveraging the remarkable capability of large language models (LLMs) in extracting attributes of structured tables from unstructured data, researchers are developing LLM-powered data systems for users to analyze unstructured documents as working with a database. These unstructured data analysis (UDA) systems differ significantly in all aspects, including query interfaces, query optimization strategies, and operator implementations, making it unclear which performs best in which scenario. Unfortunately, there does not exist a comprehensive benchmark that offers high-quality, large-volume, and diverse datasets as well as rich query workload to thoroughly evaluate such systems. To fill this gap, we present UDA-Bench, the first benchmark for unstructured data analysis that meets all the above requirements. Specifically, we organize a team with 30 graduate students that spends over in total 10,000 hours on curating 5 datasets from various domains and constructing a relational database view from these datasets by manual annotation. These relational databases can be used as ground truth to evaluate any of these UDA systems despite their differences in programming interfaces. Moreover, we design diverse queries to analyze the attributes defined in the database schema, covering different types of analytical operators with varying selectivities and complexities. We conduct in-depth analysis of the key building blocks of existing UDA systems: query interface, query optimization, operator design, and data processing. We run exhaustive experiments over the benchmark to fully evaluate these systems and different techniques w.r.t. the above building blocks.

cs.DB↗

arXiv2025

ViTs: Teaching Machines to See Time Series Anomalies Like Human Experts

Web service administrators must ensure the stability of multiple systems by promptly detecting anomalies in Key Performance Indicators (KPIs). Achieving the goal of "train once, infer across scenarios" remains a fundamental challenge for time series anomaly detection models. Beyond improving zero-shot generalization, such models must also flexibly handle sequences of varying lengths during inference, ranging from one hour to one week, without retraining. Conventional approaches rely on sliding-window encoding and self-supervised learning, which restrict inference to fixed-length inputs. Large Language Models (LLMs) have demonstrated remarkable zero-shot capabilities across general domains. However, when applied to time series data, they face inherent limitations due to context length. To address this issue, we propose ViTs, a Vision-Language Model (VLM)-based framework that converts time series curves into visual representations. By rescaling time series images, temporal dependencies are preserved while maintaining a consistent input size, thereby enabling efficient processing of arbitrarily long sequences without context constraints. Training VLMs for this purpose introduces unique challenges, primarily due to the scarcity of aligned time series image-text data. To overcome this, we employ an evolutionary algorithm to automatically generate thousands of high-quality image-text pairs and design a three-stage training pipeline consisting of: (1) time series knowledge injection, (2) anomaly detection enhancement, and (3) anomaly reasoning refinement. Extensive experiments demonstrate that ViTs substantially enhance the ability of VLMs to understand and detect anomalies in time series data. All datasets and code will be publicly released at: https://anonymous.4open.science/r/ViTs-C484/.

cs.LG↗

arXiv2025

A Survey on AgentOps: Categorization, Challenges, and Future Directions

As the reasoning capabilities of Large Language Models (LLMs) continue to advance, LLM-based agent systems offer advantages in flexibility and interpretability over traditional systems, garnering increasing attention. However, despite the widespread research interest and industrial application of agent systems, these systems, like their traditional counterparts, frequently encounter anomalies. These anomalies lead to instability and insecurity, hindering their further development. Therefore, a comprehensive and systematic approach to the operation and maintenance of agent systems is urgently needed. Unfortunately, current research on the operations of agent systems is sparse. To address this gap, we have undertaken a survey on agent system operations with the aim of establishing a clear framework for the field, defining the challenges, and facilitating further development. Specifically, this paper begins by systematically defining anomalies within agent systems, categorizing them into intra-agent anomalies and inter-agent anomalies. Next, we introduce a novel and comprehensive operational framework for agent systems, dubbed Agent System Operations (AgentOps). We provide detailed definitions and explanations of its four key stages: monitoring, anomaly detection, root cause analysis, and resolution.

cs.AI↗

arXiv2025

GeoMag: A Vision-Language Model for Pixel-level Fine-Grained Remote Sensing Image Parsing

The application of Vision-Language Models (VLMs) in remote sensing (RS) image understanding has achieved notable progress, demonstrating the basic ability to recognize and describe geographical entities. However, existing RS-VLMs are mostly limited to image-level and region-level tasks, lacking the capability to handle pixel-level tasks and performing poorly in small-object recognition scenarios. Moreover, RS-VLMs consume significant computational resources when processing high-resolution RS images, further restricting their practical applicability. In this context, we propose GeoMag (Geographical Magnifier), an end-to-end general-purpose large model framework for RS. GeoMag dynamically focuses the attention scope based on prompt semantics to effectively perform remote sensing image parsing across multiple levels of granularity. This method introduces Task-driven Multi-granularity Resolution Adjustment (TMRA) and Prompt-guided Semantic-aware Cropping (PSC), which adaptively reduce the spatial resolution of task-irrelevant regions while enhancing the visual representation of task-relevant areas. This approach improves the model's perception of critical target regions, suppresses background redundancy, and reduces the computational cost of interpreting high-resolution RS imagery. Extensive comparative experiments on 10 benchmarks demonstrate that GeoMag not only excels in handling pixel-level tasks but also maintains competitive performance across tasks of other granularities compared to existing RS-VLMs.

cs.CV↗

arXiv2025

Two principles of decoupling

We put forward a radial principle and a degeneracy locating principle of decoupling. The former generalises the Pramanik-Seeger argument used in the proof of decoupling for the light cone. The latter locates the degenerate part of a manifold and effectively reduces the decoupling problem to two extremes: non-degenerate case and totally degenerate case. Both principles aim to provide a new algebraic approach of reducing decoupling for new manifolds to decoupling for known manifolds.

math.CA↗

arXiv2025

Decoupling for surfaces with radial symmetry

We utilise the two principles of decoupling introduced in [arXiv:2407.16108] to prove decoupling for two types of surfaces exhibiting radial symmetry. The first type are surfaces of revolution in $\mathbb R^n$ generated by smooth surfaces in $\mathbb R^3$. The second type of surfaces are graphs of trivariate homogeneous smooth functions of a nonzero degree.

math.CA↗

arXiv2025

Decoupling for degenerate hypersurfaces

We utilise the two principles of decoupling introduced in arXiv:2407.16108 to prove the following conditional result: assuming uniform decoupling for graphs of polynomials in all dimensions with identically zero Gaussian curvature, we can prove decoupling for all smooth hypersurfaces in all dimensions. Moreover, we are able to prove (unconditional) decoupling for all smooth hypersurfaces in $\mathbb R^4$ and graphs of homogeneous polynomials in $\mathbb R^5$.

math.CA↗

arXiv2025

OpsEval: A Comprehensive IT Operations Benchmark Suite for Large Language Models

Information Technology (IT) Operations (Ops), particularly Artificial Intelligence for IT Operations (AIOps), is the guarantee for maintaining the orderly and stable operation of existing information systems. According to Gartner's prediction, the use of AI technology for automated IT operations has become a new trend. Large language models (LLMs) that have exhibited remarkable capabilities in NLP-related tasks, are showing great potential in the field of AIOps, such as in aspects of root cause analysis of failures, generation of operations and maintenance scripts, and summarizing of alert information. Nevertheless, the performance of current LLMs in Ops tasks is yet to be determined. In this paper, we present OpsEval, a comprehensive task-oriented Ops benchmark designed for LLMs. For the first time, OpsEval assesses LLMs' proficiency in various crucial scenarios at different ability levels. The benchmark includes 7184 multi-choice questions and 1736 question-answering (QA) formats in English and Chinese. By conducting a comprehensive performance evaluation of the current leading large language models, we show how various LLM techniques can affect the performance of Ops, and discussed findings related to various topics, including model quantification, QA evaluation, and hallucination issues. To ensure the credibility of our evaluation, we invite dozens of domain experts to manually review our questions. At the same time, we have open-sourced 20% of the test QA to assist current researchers in preliminary evaluations of their OpsLLM models. The remaining 80% of the data, which is not disclosed, is used to eliminate the issue of the test set leakage. Additionally, we have constructed an online leaderboard that is updated in real-time and will continue to be updated, ensuring that any newly emerging LLMs will be evaluated promptly. Both our dataset and leaderboard have been made public.

cs.AI↗

arXiv2025

CMoS: Rethinking Time Series Prediction Through the Lens of Chunk-wise Spatial Correlations

Recent advances in lightweight time series forecasting models suggest the inherent simplicity of time series forecasting tasks. In this paper, we present CMoS, a super-lightweight time series forecasting model. Instead of learning the embedding of the shapes, CMoS directly models the spatial correlations between different time series chunks. Additionally, we introduce a Correlation Mixing technique that enables the model to capture diverse spatial correlations with minimal parameters, and an optional Periodicity Injection technique to ensure faster convergence. Despite utilizing as low as 1% of the lightweight model DLinear's parameters count, experimental results demonstrate that CMoS outperforms existing state-of-the-art models across multiple datasets. Furthermore, the learned weights of CMoS exhibit great interpretability, providing practitioners with valuable insights into temporal structures within specific application scenarios.

cs.LG↗