arXiv Science⌕ Search

SEARCH · arXiv Science

Search arXiv Science

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 865 records · Page 48Linked to original sources
arXiv2026

Gravitational Thermodynamicization of Primordial Black Holes: An RVB Residue Formulation of Thermal Formation and Nonequilibrium Evolution

We establish a controlled, local, and quasi-stationary thermodynamic framework for neutral, nonrotating primordial black holes (PBHs) by combining a local residue prescription with the thermodynamicization of gravitational dynamics. For a nonextremal spherical horizon, we demonstrate that the positive residue of a meromorphic one-form directly determines the inverse Hawking temperature. Applying the first law of thermodynamics recovers the standard Schwarzschild temperature and Bekenstein-Hawking entropy under standard normalization. The resulting entropy defines an off-shell canonical exponent, which reveals that equilibrium thermal production of PBHs is exponentially suppressed in a radiation-dominated universe, thereby confirming that the standard density-perturbation collapse criterion remains the primary formation mechanism. For post-formation evolution, we adopt a detailed-balance mass law, prove the validity of the generalized second law of thermodynamics, and express the evolution dynamics as a free-energy gradient flow where the moving mass acts as an instantaneous evaporation-accretion threshold. Finally, we derive explicit first-order shifts for the temperature, entropy, thermal saddle, and nucleation exponent under small analytic deformations of the residue.

gr-qc↗
arXiv2026

ConvPE: Convolutional Position Embedding Improves Transformers

ConvPE (Convolutional Position Embedding) improves both the performance and efficiency of Transformer models in language modeling, long-context extension, and vision. It injects a windowed, content-dependent bias into attention scores through a lightweight causal convolution over a low-dimensional projection of the hidden states. As a lightweight plug-in, ConvPE is compatible with RoPE, attention masks, and KV concatenation. It also supports high-dimensional position embeddings via high-dimensional convolutions. In a reproduction, ConvPE outperforms five 1D baselines and eight 2D baselines. The code is publicly available at https://github.com/wzhagi/convpe.

cs.LG↗
arXiv2026

Adjustment-Anchor Dependence in Formulaic Alpha Languages: A Certified Grammar and a Re-Anchoring Audit

Several public scripts for formulaic alpha mining store prices adjusted to the snapshot's last day, so a past day's stored price changes with every later split or dividend and formulas that do not cancel the adjustment factor depend on future corporate actions. We formalise a change of adjustment anchor as a per-stock group action and give a two-sorted type system that soundly certifies anchor invariance from a formula's syntax, under a declared field-adjustment contract and idealised operator semantics; its second sort admits log-returns, and a linear-time checker plugs into any miner. In a re-anchoring audit on Chinese A-shares, pools that five published methods mined in our benchmark pipeline score a mean information coefficient (IC) 0.005 higher on the stored representation than on a cutoff-anchored one, about 14% of their IC. Certified pools move by 0.001 or less, and pools mined on past-anchored data stay sensitive. On the Chinese development folds, certification shows no detectable predictive cost or gain at the design's resolution, about 0.017 IC across cells on pool ICs of 0.03-0.04. We also trace an erroneous index-membership entry to public Qlib data snapshots and show that re-mining exposes the effect of such data defects, which re-evaluating fixed pools misses.

cs.SI↗
arXiv2026

On strongly convex Kähler--Berwald manifolds

For every real Berwald strongly convex complex Finsler manifold $(M,F,J,\hat\nabla)$, if the Cartan nonlinear connection satisfies the parallelism condition $\hat\nabla J=0$, we construct a good complex vertical connection $D$, prove that $D$ is the complex Rund connection, and $F$ is Kähler-Berwald. The inverse direction also can be seen from the construction and proof. As an application, we prove that on an irreducible Hermitian symmetric space $M=G/H$, $G$-invariant complex Finsler metrics are Kähler--Berwald. Besides, we obtain the characterization of strongly pseudoconvex holomorphically invariant complex Finsler metrics on the classical domains of type-IV.

math.DG↗
arXiv2026

Neural Collapse on Imbalanced Datasets and Open-Set Scenario

Neural collapse (NC) describes the elegant geometric structure that sample features and classifier vectors exhibit when a classification model's loss reaches its minimum. Class imbalance, however, generally distorts standard NC. In this paper, we theoretically reformulate NC on imbalanced datasets and in open-set settings. Our analysis is based on an optimization problem over class-wise averaged losses, rather than the global averaged losses used in prior NC studies. We prove that when class-wise averaged losses attain their minima, standard NC is achieved on balanced or imbalanced datasets, for both cross-entropy (CE) and binary cross-entropy (BCE) losses. We further extend the analysis to an open-set-inspired scenario, where some classes contain no training samples yet are still assigned classifier vectors in the losses. We find that in this scenario, when class-wise averaged losses reach their minima, standard NC still emerges on the known classes with training samples, while the classifier vectors of unknown classes without training samples overlap with each other and become orthogonal to those of the known classes. Finally, we analyze Softmax- and Sigmoid-based contrastive losses re-balanced by inverse sample frequency, proving that at their minima on balanced or imbalanced datasets, sample features of different classes likewise form standard NC.

cs.LG↗
arXiv2026

Uncovering Systematic Blind Spots in Graph Database Testing through Integration and Process-Level Analysis

Graph databases are becoming foundational infrastructure for connected data, and a growing body of automated testing techniques has uncovered many bugs across mature graph database systems. Each technique checks a different aspect of correctness and exposes a different class of defect. Combining them is the natural next step, but each technique is judged by the real bugs it finds, not by useless reports or tests that can never fail, and that is what decides whether a developer can afford to fix the problems. To identify the remaining gaps, we integrated test capabilities from 8 testing methods and conducted an empirical study of their behavior, during which we found two blind spots. First, 12 hours of testing produce thousands of bug reports, far more than the number of genuine defects a mature database is likely to contain. Most reports are false positives caused by dialect or pattern-matching differences, and many of the remaining reports are duplicates. Second, analysis of process-level data reveals that many equivalence-based metamorphic test cases lose their ability to detect defects because of the optimization mechanism. Based on these findings, we summarize and realize these guidelines in GraphWeave, an integrated testing platform for graph databases. This includes a multi-agent system that analyzes the flood of bug reports to produce gating rules for issue filtering and adapter rules for dialect adaptation, and a plan-aware triage routes metamorphic pairs by plan, skipping those that share a plan on the same graph state and therefore cannot detect defects. We apply GraphWeave to NeuG, a recently open-sourced industrial graph database that has not been covered by prior graph database testing work. With modest manual effort, GraphWeave uncovers 19 previously unknown bugs, all of which have since been confirmed.

cs.SE↗
arXiv2026

Automated Video-to-QA Pipeline: End-to-End Question Generation and Verification Using Large Language Models

The exponential growth of educational and informational video content on platforms like YouTube presents a challenge for efficient knowledge retrieval and assessment. This paper proposes an end-to-end automated pipeline for extracting structured summaries and generating high-fidelity Question-Answer (QA) pairs from video streams. The framework integrates a cascade of state-of-the-art models: audio extraction is handled via FFmpeg, followed by automatic speech recognition (ASR) using Whisper (A library in Python) to generate accurate transcripts. Due to the token constraints of Large Language Models (LLMs), transcripts are segmented and summarized using Facebook's BART. A key innovation of this work is a Self-Verification and Fine-Tuning Loop. We utilize meta-llama/Llama-3.1-8BInstruct to generate candidate QA pairs from transcript chunks, which are then fed back into the model to rigorously assess their relevance and importance. Only verified, high-quality pairs are retained to construct a synthetic dataset. This dataset is subsequently used to fine-tune the Llama model using Low-Rank Adaptation (LoRA), resulting in a specialized model capable of generating domain-aligned assessment questions. This approach demonstrates a scalable method for creating self-improving educational tools without the need for manual data annotation. The proposed model can be downloaded from Kaggle with all the codes from GitHub.

cs.CL↗
arXiv2026

Scaling Laws for SAE Training Data

Activation storage is often a bottleneck in sparse autoencoder (SAE) training. We study how many unique activations an SAE needs when its total training budget is fixed. Quality improves rapidly as the buffer grows, then reaches a plateau where replaying the buffer is nearly as effective as using fresh activations throughout training. Beyond this point, additional unique activations bring little benefit to reconstruction or interpretability, so the buffer need not grow with the training budget. We describe this tradeoff between diversity and repetition with a scaling law for limited data. We validate it across dictionary sizes and token budgets, early, middle, and late layers of Llama-3.1, Qwen3 model sizes, and BatchTopK, TopK, and JumpReLU SAEs. Sweeps using mathematical text and Python code test the effect of changing the activation source. Evaluation covers explained variance (EV), reconstruction MSE, feature absorption, automated interpretability, and sparse probing. These results give a practical training rule: choose the smallest buffer that reaches the quality plateau and replay it for the remaining budget. In our experiments, this reduces activation storage by $8\text{--}64\times$ with negligible quality loss.

cs.LG↗
arXiv2026

RIVER: Evidence-guided multi-agent retrieval for enzyme--reaction discovery

Enzyme function annotation and the identification of candidate enzymes for a given reaction are essential steps in connecting genomic information to biochemical reaction networks. However, existing methods rely on sequence or structural similarity or on training with known enzyme--reaction pairs, making it difficult to integrate biochemical evidence across large candidate spaces; they also struggle with retrieval tasks involving enzyme families whose members are highly similar. Here, we introduce RIVER (Reaction--enzyme Inference via Evidence-guided Retrieval), a multi-agent framework for bidirectional enzyme--reaction retrieval that identifies potentially catalyzed reactions for a given enzyme and ranks candidate enzymes for a given reaction. RIVER coordinates large language models, specialized biochemical computational tools, and external knowledge resources to assemble evidence at multiple levels, including reaction chemistry, protein sequences and domains, catalytic mechanisms, and database annotations. Dedicated validation modules further examine evidence gaps and potential conflicts and rerank candidates using traceable evidence records. On public benchmarks, RIVER achieves the highest success rates in both enzyme retrieval and enzyme annotation. In family-specific enzyme retrieval, RIVER outperforms the evaluated baselines on the selected datasets and metrics. In Escherichia coli enzyme retrieval tasks constructed from recent literature, RIVER achieves the best retrieval results with closed-source and open-source model configurations, substantially outperforming closed-source general-purpose and biology-specialized multi-agent systems, including Claude Code, Codex, and Phylo Max. These results suggest that evidence-guided multi-agent retrieval can prioritize biochemically supported enzyme--reaction relationships, providing a basis for subsequent experimental validation.

cs.AI↗
arXiv2026

Generalized Frequency-Domain Stability Analysis Formulation for Multi-Terminal HVDC Systems

The integration of offshore wind farms (OWFs) and the interconnection of different transmission networks are key drivers for multi-terminal DC (MTDC) systems. Bipolar high-voltage direct current (HVDC) employing dedicated metallic return (DMR) are attractive due to their increased availability, which co-exist with monopolar and rigid bipole configurations. While existing works focus on symmetric operation and particular configurations, we present a unified framework for MTDC stability analysis valid for both symmetric and asymmetric conditions. The formulation uses the minimum number of variables without loss of information, and combines the analytical network representation with black-box converter models, thereby enabling sensitivity studies. In addition, a closed-form expression guiding the stability improvement is presented, which requires minimal data exchange between involved parties. The framework is demonstrated on several case studies of increasing complexity, which highlight the importance of considering intra-station converter couplings and possible uncertainty of network parameters.

eess.SY↗
arXiv2026

ReConMem: A Graph-Based Dual Memory System for Repository-Oriented Conversations

LLM-based code assistants are increasingly used in iterative repository-level development, where effective assistance requires jointly leveraging evolving conversational history and repository context. Existing memory systems, however, are primarily designed for general-purpose conversations and do not sufficiently coordinate conversational information with the structured code entities to which it refers. We propose ReConMem, a graph-based dual memory system for repository-oriented conversations. ReConMem organizes distilled conversational memories and conversation-relevant code entities into interconnected semantic and structural memory graphs, while maintaining their cross-graph associations as interactions evolve. For memory recall, ReConMem combines natural-language and code-aligned retrieval through code-draft-based query grounding, expands retrieved information over intra- and inter-graph relations, and compresses retrieved code according to its structural granularity. We evaluate ReConMem on two repository-oriented conversational benchmarks spanning long-horizon context management and realistic project-grounded multi-turn assistance. On LoCoEval, ReConMem improves Pass@1 over the strongest baseline by 7.917 and 7.292 percentage points on single-hop and multi-hop subsets, respectively, with comparable context compression. On CodeAssistBench, it achieves 27.61% Correct and 44.03% Partially Correct, exceeding Full History by 4.10 and 7.09 percentage points, respectively, while improving interaction quality. These results demonstrate that aligning conversational memory with repository structure improves context management for repository-oriented multi-turn interactions.

cs.SE↗
arXiv2026

Fast Unsupervised Anomaly Detection Methods on Software Logs - An Empirical Study

Anomaly detection on software logs ensures system reliability through failure identification, root cause analysis and fault localization. While supervised models show excellent performance, in a practical setting there rarely are labeled training data available. This calls for the use of unsupervised models. We study effects of data preprocessing, anomaly detection method, and the dataset. For preprocessing, we examine three options: The use of anomaly-free training data, using randomized as opposed to chronologically selected training data, and the use of a custom loader to extract log message from the log line. Regarding anomaly detection we use four models (KMeans, IsolationForest, RarityModel, Out-Of-Vocabulary Detector) and three representations (Words, trigrams, and parsed events). We evaluate these approaches on seven datasets: BGL, HDFS, Hadoop, Spirit, Thunderbird, Liberty, and LO2Token. We run each combination of the selected factors and measure performance with AUCROC and F1-score metrics. Then we utilize a generalized linear model to establish relationships between the factors. Furthermore, we address execution times. Our evidence reveals large variability across all datasets, preventing us from making recommendations that apply universally. For instance, log parsing enhances performance on some datasets but reduces it on others. The evidence suggests that using anomaly-free data for training unsupervised models can improve anomaly detection performance, though this requires extra effort to identify such data.Previous work has argued that shuffling data leads to unrealistic model performance (data leakage). Yet, our results show this does not hold for the unsupervised models we tested, while it remains true for supervised models in the same setup. For fast execution of the pipeline, use word representation and avoid IsolationForest model.

cs.SE↗
arXiv2026

Second-order geometric consistency of nonlinear FE-HMM on surfaces via corrector non-degeneracy

We analyze the geometric variational crime of nonlinear finite element heterogeneous multiscale methods (FE--HMM) for $p$-growth monotone laws on curved surfaces, $p\ge2$. The practical method projects discrete gradients onto the exact tangent planes; we compare it with the exactly lifted method on the same discrete space. Without further hypotheses, the difference is $O(h_g^{p/(p-1)})$ in the metric induced by the cell correctors. The optimal order $O(h_g^2)$ holds with a constant given by a weighted negative moment of the corrected gradients, evaluated along the practical solution only; no bounds on discrete gradients in $L^\infty$ are used. The negative moment is a sufficient condition for the lower shifted $p$-structure of the discrete homogenized flux, which for $p>2$ is not available in general. For the model law and a fixed cell mesh, its uniform boundedness is equivalent to a finite-dimensional directional criterion on degenerate correctors, and for laminates it holds with an explicit bound, uniform in the cell mesh. With macro--micro quasi-optimality and an estimate for coefficient sampling, the reconstructed microscopic field converges as $O(h+H^{\min{s,1}}+h_g^2)$, where $H^s$ is the cell approximation rate. Experiments on a torus with an exact closest-point lift and a transported anisotropic $p=4$ material show second-order geometric convergence up to $98,304$ macroscopic quadrature points, each with a fully solved nonlinear cell problem, with bounded a posteriori constants for both load treatments.

math.AP↗
arXiv2026

Instability of Self-Similar Implosions for the Compressible Euler Equations

We prove that all known regular self-similar implosion solutions of the isentropic compressible Euler equations are unstable to shock formation. The perturbations can be chosen to be small in a class determined by the regularity threshold of the background. The proof relies on an amplification mechanism which occurs along the surface of the backward sonic cone from the implosion point. Motivated by our main results, we formulate an implosion censorship conjecture for the compressible Euler equations, stating that classical implosions are unstable to shock formation.

math.AP↗
arXiv2026

GALI Localization of Off-Grid GRB Directions: A Comparison of Rectangular and Triangular Calibration Meshes

Rapid localization of gamma-ray bursts (GRBs) is essential for multi-wavelength and multi-messenger follow-up, but combining wide sky coverage with accurate localization remains challenging. GALI (GAmma-ray burst Localizing Instrument) determines source directions from count-rate modulations caused by internal shadowing in a three-dimensional scintillator array. We investigate a triangular calibration mesh based on an icosphere tessellation of the hemisphere and compare it with the rectangular mesh used previously. The triangular mesh samples the hemisphere more isotropically and gives better interpolation between calibration points. Laboratory measurements with the full-scale GALI detector yield an average angular separation of $0.86^\circ \pm 0.14^\circ$ for random source directions, compared with $1.19^\circ \pm 0.28^\circ$ for the rectangular mesh. Monte Carlo simulations of 50,000 randomly distributed GRBs in realistic low-Earth-orbit background conditions, each with 1000 detected counts, give average angular separations of $1.91^\circ \pm 1.20^\circ$ and $2.73^\circ \pm 2.18^\circ$ for triangular and rectangular meshes, respectively. The better laboratory performance is partly attributed to its approximately 3-4 times higher detected counts. Additional simulations indicate sensitivity from 10 keV to $\sim$1 MeV, with a peak effective area of about 130 cm$^2$ near 100-150 keV. A compact 1U GALI implementation also achieves degree-scale localization in simulations, demonstrating the concept's potential for CubeSat-based GRB and multi-messenger missions.

astro-ph.IM↗
arXiv2026

Bringing Dark States to Light after Frustrated Tunneling Ionization

High-harmonic generation (HHG) in gases is typically regarded as a sub-laser-cycle process, well described by the semiclassical three-step model. In this work, we report the extreme-ultraviolet (XUV) emission observed in an HHG experiment arising from a longer temporal process associated with dark states populated through frustrated tunneling ionization. The emission exhibits a larger spatial divergence than typical high-order harmonics, resembling the polarization decay of optically bright states. Supported by the time-frequency analysis of the theoretical calculations, we show that the emission originates from the nonradiative capture of the tunneling electrons into excited dark states of the neutral atom, followed by Floquet-like laser-dressing effects induced by the extended tail of the driving pulse. Our results reveal a largely unexplored pathway for XUV generation through laser-dressed dark states, thereby enabling the enhancement of coherent XUV emission at targeted wavelengths with high repetition rates.

physics.atom-ph↗
arXiv2026

BiGrounder: Bidirectional Training Unlocks the Potential of GUI Grounding

Graphical User Interface (GUI) grounding aims to map natural language instructions to precise operational coordinates, serving as a critical task for autonomous agent interaction. Current approaches formalize GUI grounding as predicting action-coordinate pairs from instructions, with end-to-end training supervised solely by final coordinates. Training datasets typically provide only a small number of descriptions per target coordinate, whereas real-world scenarios involve a much larger set of varied descriptions for the same target, which limits robustness to linguistic variation. While recent GUI grounding paradigms have begun employing reinforcement learning to enhance localization accuracy, models with limited exploratory capability before reinforcement yield constrained improvements even with identical training data during the reinforcement phase. To overcome these limitations, we propose a bidirectional reward paradigm that enables model self-reinforcement. During SFT, bidirectional training equips the model to generate action descriptions from target coordinates. During RL, the model samples semantically consistent instruction variations on-policy and grounds each variation back to its target. A cycle-consistency gate couples semantic quality to grounding success, turning the model's own instruction policy into a source of continually refreshed reinforcement trajectories. Our 4B-parameter model achieves competitive accuracy across five grounding benchmarks in our evaluation, indicating the effectiveness of the proposed training paradigm. https://github.com/Spell-shi/BiGrounder

cs.CV↗
arXiv2026

Efficient preparation of spin-squeezed states with Grover's algorithm

We propose a scheme for preparing spin-squeezed states in an ensemble of $N$ spin-$1/2$ particles based on Grover's algorithm. With only a few oracles, the scheme can exactly prepare superpositions of a few neighboring Dicke states with the Wineland squeezing parameter scaling as $N^{-1}$. The scheme requires only global rotations and Dicke-selective phase shifts, thus avoiding the need to engineer a dedicated many-body Hamiltonian for the squeezing dynamics. We further discuss the feasibility of realizing the scheme in cavity QED systems, with the phase-matched Grover iterations realized by single-photon reflection from a dispersively coupled cavity. Full-sequence scattering calculations accounting for finite photon bandwidth and loss show that appreciable spin squeezing can be achieved with high fidelity for suitable system parameters.

quant-ph↗