arXiv Science⌕ Search

arXiv subjects

Li Li

Publications and source records attributed to Li Li.

At least 37 records · Page 2Linked to original sources
arXiv2026

WeaveData: A Multimodal Data Analysis System with Self-Critiquing and Self-Evolving LLM Plans

Multimodal data analysis, which answers questions over relational tables, text, and images, has attracted growing attention in the data management community. Large language models (LLMs) enable such analysis in natural language by generating analysis plans over relational and semantic operators. However, LLM-generated plans are error-prone: a plan may silently compute something other than what was asked, fail during execution, or return a result that misses the question. This paper presents WeaveData, a multimodal data analysis system with self-critiquing and self-evolving LLM plans. First, WeaveData generates a typed logical plan for each question and critiques it step by step before execution, and it checks the executed result against the question afterwards. Second, WeaveData evolves a plan that fails or misses the question: it diagnoses the failure with the actual data, reuses the results that remain valid, and accumulates planning experience for later questions. Third, WeaveData grounds planning in a metadata knowledge graph of all modalities, clarifies ambiguous questions with the user, and backs every model judgment with evidence in an interactive notebook. We demonstrate WeaveData on two public multimodal datasets.

cs.DB↗
arXiv2026

Auditable Agents

LLM agents call tools, query databases, delegate tasks, and trigger external side effects. Once an agent system can act in the world, the question is no longer only whether harmful actions can be prevented--it is whether those actions remain answerable after deployment. We distinguish accountability (the ability to determine compliance and assign responsibility), auditability (the system property that makes accountability possible), and auditing (the process of reconstructing behavior from trustworthy evidence). Our claim is direct: no agent system can be accountable without auditability. To make this operational, we define five dimensions of agent auditability, i.e., action recoverability, lifecycle coverage, policy checkability, responsibility attribution, and evidence integrity, and identify three mechanism classes (detect, enforce, recover) whose temporal information-and-intervention constraints explain why, in practice, no single approach suffices. We support the position with layered evidence rather than a single benchmark: lower-bound ecosystem measurements suggest that even basic security prerequisites for auditability are widely unmet (617 security findings across six prominent open-source projects); runtime feasibility results show that pre-execution mediation with tamper-evident records adds only 8.3 ms median overhead; and controlled recovery experiments show that responsibility-relevant information can be partially recovered even when conventional logs are missing. We propose an Auditability Card for agent systems and identify six open research problems organized by mechanism class.

cs.AI↗
arXiv2026

An inverse scattering problem for the nonlinear Schrödinger equation under partial harmonic confinement

We study an inverse problem for a nonlinear Schrödinger equation with a harmonic potential in some spatial directions and free propagation in the remaining directions. The nonlinearity has an unknown power and a real, spatially dependent coefficient. For small incoming data in a weighted energy space, we construct the wave operator and show that it determines both the power and the coefficient when the latter depends either on the confined variables or on the free variables. The proof uses the first nonlinear term of the wave operator and concentrated product data. We explain why dependence on the free variables requires a stronger lower bound on the power. We also discuss the outgoing wave operator, the small-data scattering operator, and coefficients depending on all spatial variables.

math.AP↗
arXiv2026

Predictive Rolling-Horizon Optimization for Commitment-Aware Model-Parallel Inference under Spatio-Temporal Edge Dynamics

Model-parallel inference over dynamic edge systems requires scheduling decisions that account for not only instantaneous resources but also future resource contention and reliable service commitments. Existing edge-inference designs, however, predominantly optimize performance metrics based on current or short-term system states, without explicitly coupling current assignments with future commitment fulfillment. To address this issue, we propose PROMISE, a predictive rolling-horizon framework for commitment-aware model-parallel inference under spatio-temporal edge dynamics. PROMISE jointly models stochastic task generation, mobility-induced communication variations, privacy-aware model partitioning, and load-dependent edge computing capability. We introduce committed completion time (CCT) as an endogenous service decision and formulate joint SD--ES mapping and CCT determination to balance commitment fulfillment and service reward. To address cross-timeslot coupling, PROMISE estimates future task arrivals and computational workloads over an adaptive horizon and embeds them into certainty-equivalent ES-state rollout. A progress-aware surrogate then evaluates feasible current-stage mappings, while the corresponding CCTs are analytically recovered from predicted completion times. Only the first-stage decisions are committed, and the optimization is repeated with newly observed states in a receding-horizon manner. Numerical experiments demonstrate robust scheduling performance under diverse system scales and workload dynamics, while Raspberry-Pi-based experiments validate the practical feasibility and key system characteristics of model-parallel edge inference.

cs.DC↗
arXiv2026

Can Linguistic Reasoning Vectors Enhance Multimodal Reasoning Ability?

Most Vision-Language Models (VLMs) are built by extending pretrained Large Language Models (LLMs) with visual modules and multimodal alignment. However, this multimodal scaling often degrades the language-side reasoning ability originally encoded in the base LLM. While the base LLM retains usable reasoning after scaling, the aligned VLM itself cannot reliably access this ability. Therefore, recovering the degraded reasoning capability in VLMs would benefit more from seeking help from the base LLM than from the VLM alone. Motivated by this, we propose LIFT (Language-side reasonIng Facilitation and Transfer), a lightweight vector-intervention method that transfers reasoning capability from the base LLM to the VLM without retraining the backbone. LIFT defines Reasoning Vectors as answer-token hidden-state differences between a Reasoner path with an explicit reasoning trace and a Solver path without it, and injects these vectors into language-side activations of the target VLM. LIFT further supports learnable vector adaptation while keeping the VLM backbone frozen. We evaluate LIFT on two VLMs across six reasoning benchmarks, comparing Reasoning Vectors extracted from the base LLM and from the aligned VLM under matched protocols. Results show that LLM-derived vectors consistently outperform VLM-derived vectors, confirming that the base LLM is a more effective source for recovering reasoning. LIFT partially recovers degraded reasoning through lightweight language-side interventions. Further analyses show that Reasoning Vectors influence intermediate reasoning behavior rather than merely altering final answers. The source code will be released soon.

cs.AI↗
arXiv2026

Emergent Scaling Symmetry and Universal Interior Criticality of Scalarized Black Holes

Spontaneous scalarization of charged black holes in asymptotically flat spacetime has attracted much recent interest. It is recently reported that inside these spontaneously scalarized black holes, the Kasner parameter $β$ at the terminal singularity diverges as $β\propto(q/q_c-1)^{-γ}$ near the critical charge-to-mass ratio $q_c$, with an exponent $γ=1/2$ that appeared model independent within a wide class of couplings. In this paper we report a family of new universality classes in which $γ$ differs from 1/2. We show that all these critical behaviors are governed by the same emergent scaling symmetry at the would-be Cauchy horizon of the background Reissner-Nordström solution. This symmetry leads to a ``seesaw amplification'' to amplify exterior small scalar and produces a limiting autonomous system that is independent of the details of the theory. Our mechanism provides a unified picture of exterior scalarization and interior criticality and makes sharp numerical predictions that we test.

hep-th↗
arXiv2026

FlowRec: Prior-Informed Flow Matching for Efficient Sequential Recommendation Generation

Sequential recommendation aims to predict each user's next preferred item based on their historical interactions. Recently, diffusion-based approaches have demonstrated strong generative capability in modeling complex user preferences. However, they still face two inherent limitations: (i) Gaussian priors are misaligned with user-specific interests, and curved noise schedules lead to error accumulation and unstable training; (ii) the stochastic denoising process introduces additional randomness and substantial computational overhead. To address these issues, we propose FlowRec, a flow-matching-based framework that formulates preference evolution as continuous flows between personalized priors and target items. Specifically, FlowRec constructs an informative behavior-based prior distribution derived from users' historical interactions, offering a distributionally closer initialization to the target distribution. It then learns a vector field to guide straight preference flows toward target interests. Moreover, a single-step alignment objective with positive and negative samples further enhances semantic consistency between generated representations and ground-truth items. Finally, FlowRec adopts deterministic ODE-based generation, achieving efficient and stable inference. Extensive experiments on multiple benchmark datasets demonstrate that FlowRec consistently outperforms state-of-the-art baselines in both recommendation accuracy and inference efficiency.

cs.IR↗
arXiv2026

Dense-Prior-Guided Generative Video Compression

Diffusion-based generative video compression offers a promising paradigm for low-bitrate reconstruction, but existing keyframe-based controllable approaches rely on sparse priors for non-keyframes, which often lack sufficient low-level details for faithful reconstruction and require non-trivial training to adapt generative models to specialized controls. We propose Dense-Prior-Guided Generative Video Compression (DGVC), a training-free framework that uses codec-compressed luminance components of non-keyframes as dense priors to guide reconstruction. Unlike sparse controls, the dense luminance priors are compatible with modern fidelity-oriented video codecs and remain sufficiently faithful after compression, eliminating the need for prior-specific codec training and making additional generative-model adaptation unnecessary in practice. Moreover, luminance priors preserve richer structural and textural information, thereby providing more reliable guidance for controllable video generation. DGVC further introduces a color-distance-guided keyframe selection strategy to capture color variations for chrominance recovery. Extensive experiments show that DGVC consistently surpasses prior controllable compression methods in both signal fidelity and perceptual quality, while remaining competitive with representative post-enhancement approaches.

cs.CV↗
arXiv2026

Adaptive Preference Modeling via Explicit Indirect Relational Learning for Personalized Fashion Matching

Personalized fashion complementary recommendation requires jointly modeling user preferences and item compatibility under sparse and multimodal data conditions. Existing approaches often capture higher-order relational signals implicitly through graph propagation or rely on direct interaction data, limiting their ability to explicitly model indirect preference and compatibility relationships. To address this limitation, we propose an Adaptive Preference with Contrastive Learning framework (APCL) that explicitly models both direct and indirect relational signals within a unified recommendation architecture. Specifically, APCL constructs indirect user-item and item-item relationships through a correlation-guided adaptive aggregation mechanism and represents them as dedicated personalization and compatibility views. To improve representation learning, we further introduce a functional view contrastive learning strategy that aligns direct and indirect preference representations and direct and indirect compatibility representations, encouraging consistency across relational contexts. By integrating multimodal visual and textual information with explicit indirect relational modeling, APCL captures richer semantic characteristics while improving robustness in sparse-interaction settings. Experiments on two benchmark fashion recommendation datasets demonstrate that APCL consistently outperforms representative baseline methods.

cs.IR↗
arXiv2026

HapCiD: Detecting API-related Compatibility Issues in OpenHarmony Apps

OpenHarmony, an emerging open-source mobile platform, is rapidly gaining attention in the mobile development community. Its fast-evolving Software Development Kit (SDK) introduces numerous Application Programming Interfaces (APIs) to boost developer productivity but inevitably introduces compatibility challenges, an issue well known from platforms like Android. However, existing compatibility analysis tools are ineffective for OpenHarmony due to its newly introduced ArkTS programming language and the lack of a mature behavioral model to capture app execution semantics. To bridge this gap, we present HapCiD, an open-source tool for automatically detecting API-related compatibility issues in OpenHarmony apps. Applied to 4,478 apps, HapCiD successfully detects 2,040 compatibility issues across 163 apps with 100 percent accuracy. Based on these findings, we conduct a comprehensive study of compatibility issues, categorizing their types, examining existing mitigation strategies, and proposing future improvements.

cs.SE↗
arXiv2026

RoofSeg: An edge-aware transformer-based network for end-to-end roof plane segmentation

Roof plane segmentation is one of the key procedures for reconstructing three-dimensional (3D) building models at levels of detail (LoD) 2 and 3 from airborne light detection and ranging (LiDAR) point clouds. The majority of current approaches for roof plane segmentation rely on the manually designed or learned features followed by some specifically designed geometric clustering strategies. Because the learned features are more powerful than the manually designed features, the deep learning-based approaches usually perform better than the traditional approaches. However, the current deep learning-based approaches have three unsolved problems. The first is that most of them are not truly end-to-end, the plane segmentation results may be not optimal. The second is that the point feature discriminability near the edges is relatively low, leading to inaccurate planar edges. The third is that the planar geometric characteristics are not sufficiently considered to constrain the network training. To solve these issues, a novel edge-aware transformer-based network, named RoofSeg, is developed for segmenting roof planes from LiDAR point clouds in a truly end-to-end manner. In the RoofSeg, we leverage a transformer encoder-decoder-based framework to hierarchically predict the plane instance masks with the use of a set of learnable plane queries. To further improve the segmentation accuracy of edge regions, we also design an Edge-Aware Mask Module (EAMM) that sufficiently incorporates planar geometric prior of edges to enhance its discriminability for plane instance mask refinement. In addition, we propose an adaptive weighting strategy in the mask loss to reduce the influence of misclassified points, and also propose a new plane geometric loss to constrain the network training.

cs.CV↗
arXiv2026

At Most One Inner Killing Horizon in Stationary Black Holes

Stationary-axisymmetric black holes are the standard theoretical framework for astrophysical black holes, yet their interiors remain largely inaccessible: the absence of a hypersurface-orthogonal timelike Killing vector renders the metric non-diagonal, and frame dragging obstructs the usual techniques for probing the interior. We prove that any stationary-axisymmetric black hole satisfying the classical energy conditions contains at most one nondegenerate inner Killing horizon per connected interior branch, irrespective of its matter content. For compact horizon sections, we apply the Raychaudhuri equation to the congruence normal to constant-time hypersurfaces: the strong energy condition makes the squared lapse subharmonic, and the maximum principle excludes a second inner horizon. For noncompact planar and hyperbolic sections central to holography, the null energy condition instead yields a monotonicity obstruction through a geometric flow we introduce here, the ``inverse lapse flow,'' whose weak continuation via viscosity solutions we also construct. The attractive nature of gravity, encoded in these energy conditions, thus both drives horizon formation and caps the number of inner horizons, revealing a striking dual role of the same focusing mechanism.

gr-qc↗
arXiv2026

Channel-Resolved High-Overtone Quasinormal Modes Decode Kasner Scaling inside Black Holes

The high-overtone quasinormal-mode spectrum encodes the near-singularity Kasner scaling of black-hole interiors. We show that distinct structures in this spectrum independently determine the temporal and spatial Kasner grades, allowing the corresponding metric exponents to be reconstructed without imposing Kasner constraints or invoking holography. We demonstrate this independent reconstruction at the fixed Kasner point of five-dimensional asymptotically flat Schwarzschild and planar Schwarzschild--AdS$_5$, and then extend it to a continuously varying Gibbons--Maeda black-hole family. The reconstructed exponents satisfy the Kasner relation a posteriori, providing a nontrivial geometric consistency check. More generally, the high-overtone spectrum separates into global spectral data and local algebraic corrections whose fractional powers are fixed by the near-singularity Kasner geometry. These fractional corrections therefore provide a direct spectral probe of the local geometry behind the horizon.

hep-th↗
arXiv2026

VRL-Bench: Benchmarking agents on computer control tasks under finite trial budgets

Learning from trial and error is a promising way to improve language agents on complex tasks such as computer control. Reflexion introduced verbal reinforcement learning, which turns failed trials into text that guides later attempts without updating model parameters. We introduce VRL-Bench, a harness for fair evaluation of trial-and-error learning under finite trial budgets. Across three models on MiniWoB and WebShop, we evaluate updates from several prominent verbal-memory methods spanning Reflexion and later work: each improves observed success over memory-free retry in some settings but reduces it in others. Replay experiments show that using reflection can reduce success rates, revealing a trade-off between exploiting experience and continued exploration. We propose VEX$^2$, a verbal exploration--exploitation scheduler that uses a language model to jointly select policies and allocate the remaining trial budget. VEX$^2$ is the only evaluated update to achieve positive observed success-rate gains over retry in all six settings.

cs.AI↗
arXiv2026

Self-powered InAs nanowire detector arrays for extended-SWIR spectrometry at room temperature

Spectral sensing in the extended shortwave infrared (e-SWIR) is important for molecular analysis, infrared imaging, and machine vision, motivating the development of compact spectrometers for broader applications. However, conventional commercial off-the-shelf spectrometers in this wavelength region are expensive and bulky due to their reliance on external dispersive optics/filters and/or cryogenic accessories. Other emerging computational spectrometers are based on Si and InGaAs photodetectors that remain focused on the visible and near-infrared, with few detector platforms operating in the e-SWIR regime that simultaneously provide broadband sensitivity, low-noise room-temperature operation, and diverse spectral signatures for accurate identification and reconstruction. Here, we report a room-temperature e-SWIR computational spectrometer based on InAs/InP core-shell nanowire photodetector arrays with geometry-encoded spectral responses. The detectors exhibit self-powered broadband photoresponse across the 1--3 $μ$m range, with responsivity up to 0.215 A W$^{-1}$, detectivity up to $1.6 \times 10^{9}$ cm Hz$^{1/2}$ W$^{-1}$, and microsecond response times. The excellent detector performance is leveraged to demonstrate filter-free spectral reconstruction using a compact multipixel photodetector array device. This enables high-accuracy molecular absorption spectrum reconstruction and hyperspectral imaging. Our results indicate that InAs nanowire arrays are a promising platform for compact computational spectrometry and imaging in the e-SWIR at room temperature.

physics.optics↗
arXiv2026

Graded Betti numbers of general curves of large degree

Let $C$ be a smooth projective complex curve of genus $g$ and gonality $k$, and $L$ be a very ample line bundle on $C$. When $L$ has sufficiently large degree, the vanishing and nonvanishing of the Koszul cohomology groups $K_{p,q}(C,L)$ have been determined previously, but the exact values of the graded Betti numbers $κ_{p,q}(C, L)$ remain largely unknown. In this paper, we give explicit closed formulas for all graded Betti numbers $κ_{p,q}(C, L)$ when the Brill--Noether locus $W_k^1(C)$ has the expected dimension and $H^1(C, L \otimes ω_C^{-1})=0$. Consequently, we determine the complete Betti table for a general curve when $°L \geq 4g-3$ or when $°L \geq 3g-3$ and $L$ is general. We also explicitly compute the Boij--Söderberg coefficient of the section ring $R(C, L)$ governing asymptotic purity, and show eventual monotonicity of the remaining coefficients: they decrease for hyperelliptic curves and increase under a natural generic reducedness assumption on the relevant Brill--Noether loci.

math.AG↗
arXiv2026

Clinician-Friendly Foundation Models for Ophthalmic Image Diagnostics without Fine-Tuning or Technical Barriers

Artificial intelligence (AI) shows remarkable potential in medical imaging diagnostics, yet most current models require retraining when applied across different clinical settings, limiting their scalability. We developed GlobeReady, a deployment-oriented platform powered by the RetiGlobe foun- dation model and local feature augmentation. RetiGlobe was pretrained in two stages: 1) self-supervised learning using DINOv2 on 38 million synthetic ophthalmic images, and 2) contrastive learning using CLIP on 475,845 real image-text pairs spanning diverse ethnicities, imaging devices, and geographic regions worldwide. We evaluate GlobeReady on 488,448 ophthalmic images, including color fundus photographs (CFPs) and optical coherence tomography scans, from multi-centres in China, Singapore, Vietnam and the UK. Prospective testing included usability assessment with 31 ophthalmologists. Exploratory analyses evaluated domain generalisability, Bayesian uncertainty quantification, out-of-distribution (OOD) detection, and feature-based case retrieval.

cs.CV↗
arXiv2026

Signless Laplacian spectral conditions for rainbow matchings in a collection of bipartite graphs

Let ${\cal G}=\{G_1,\ldots,G_k\}$ be a collection of (not necessarily distinct) bipartite graphs on the same vertex bipartition $(X,Y)$, where $|X|=a$, $|Y|=b$ and $2\le k\le a\le b$. A \emph{rainbow matching} of ${\cal G}$ is a set of pairwise disjoint edges that can be chosen from distinct members of ${\cal G}$. Denote by $q(G)$ the signless Laplacian spectral radius of a graph $G$. In this paper, we prove that if $q(G_i)\ge b+k-1$ for each $i\in\{1,2,\ldots,k\}$, then ${\cal G}$ admits a rainbow matching of size $k$ unless $G_1=\cdots=G_k\cong K_{k-1,b}\cup\overline{K_{a-k+1}}$, and show that the threshold is sharp and attained by the exceptional collection. The condition is also extended to larger collections for a prescribed level $t$. In addition, we obtain a lower bound for the rainbow matching number in terms of the ordered signless Laplacian spectral radii of the members, and provide a stability version of the extremal characterization. In the proofs, we use the shifting technique and a quotient matrix arising from an equitable partition of a signless Laplacian matrix.

math.CO↗