arXiv Science⌕ Search

arXiv subjects

Long Wang

Publications and source records attributed to Long Wang.

At least 19 recordsLinked to original sources
arXiv2026

From Ripple to Boundary: Deterministic Impact Boundaries for LLM-Based Software Evolution

The landscape of software evolution is undergoing a fundamental paradigm shift in the era of Large Language Models. As industrial software engineering increasingly transitions toward design-driven code generation, the bottleneck of evolution has shifted from writing code to maintaining deterministic consistency between multi-source design assets and the generated code. When a design asset changes, LLM agents currently lack a deterministic impact boundary to identify which code must be evolved, leading to two failure modes: hallucinating missing changes or breaking unrelated code. Probabilistic approaches, such as semantic retrieval or text-based diffing, fail to capture the structural ripple effects across highly interconnected design dependencies. We propose a paradigm shift from probabilistic semantic retrieval to deterministic structural constraints. We formalize the design assets as a Knowledge Graph and organize them into a content-addressed Merkle Directed Acyclic Graph. Our key insight reveals a topological isomorphism between the logical ripple effect of a design change and the content hash propagation within the DAG. By leveraging this, we transform ambiguous impact analysis into verifiable structural operations. Through a two-phase diffing process, we extract a precise causal chain that defines the exact modification boundary. This boundary enables deterministic context injection, providing the LLM agent with strictly scoped code and design updates, thereby fundamentally guaranteeing evolution safety. As a by-product, the KG serves as an agent-queryable knowledge base for natural language design retrieval. Early deployment on a large-scale industrial payment platform demonstrates that our mechanism successfully computes the exact impact boundary and generates incremental code modifications that meet the expected design changes.

cs.SE↗
arXiv2026

Audit Where Hacks Pay: Budgeted Strong-Verifier Audits Against Reward Hacking in GRPO

Reinforcement learning with verifiable rewards trains on cheap checks, such as unit tests, that a policy can learn to game, while a stronger check is too expensive to run on every rollout. We study how to spend a limited strong-verifier budget in GRPO, separating which weakly passing rollouts to audit from what reward a caught hack receives. At a fixed policy state with centered advantages, the expected update depends on a design only through each rollout's marginal audit probability and correction; reflecting a caught hack's reward about the failure reward negates the advantages of an all-hack group; and auditing whole groups with the fewest weak passes first (low-pass budgeted audits, LB) minimizes the advantage mass left on hacks among pass-count designs with a fixed correction when a label's value falls with the pass count. We tested this analysis in actual LLM training: from each run's starting state, the sign of this mass on a frozen panel predicted whether hacking would be suppressed in 33 of 39 runs, including 13 of 16 preregistered ones. In LeetCode (Wong et al., 2026) and Countdown-Code (Khalifa et al., 2026), LB drives hacking to near zero, while random audits with the same penalty and budget do not and use more labels. We also find that the randomness of the update affects training: in Countdown-Code, two unbiased corrections, per-item reward-level IPW and a group-level advantage correction, bring hacking down too but end 6.1-11.8 and 8.0-11.5 points lower in held-out accuracy than LB at the same budget. A full audit, which the group-level correction reproduces in expectation, stays within about two points of LB in three seeds, while LB uses 28% of its labels, and allocating the same correction by pass count recovers most of the loss (one seed). Training outcomes thus depend not only on the expected update but also on the randomness of its estimate.

cs.LG↗
arXiv2026

Arepo-CD: Coupling Collisional $N$-Body Dynamics with Moving-Mesh Magnetohydrodynamics

Star formation is a hierarchical, clustered process in turbulent giant molecular clouds (GMCs), where close stellar encounters can strongly affect cluster evolution and feedback. However, gravitational softening in many hydrodynamic simulations of GMCs limits the treatment of these encounters. We present Arepo-CD (Collisional Dynamics), a framework that couples star-by-star collisional $N$-body dynamics to the moving-mesh magnetohydrodynamics (MHD) code Arepo. Star-star interactions use unsoftened gravity, while interactions involving gas or collisionless components remain softened. Compact stellar subsystems are identified on the fly and evolved with a fourth-order forward symplectic integrator and slow-down algorithmic regularization coupled to the native Arepo timestep hierarchy. Benchmark tests against the collisional $N$-body code PeTar show good agreement in cluster core collapse and subsequent expansion, radial density profiles, and stellar velocity distributions. Coupled to the Rigel star formation and feedback model, Arepo-CD follows cluster formation and early evolution in radiation MHD simulations of a $10^5~M_\odot$ turbulent molecular cloud. In the fiducial GMC comparison, the collisional and softened-gravity runs yield similar star formation histories and integrated star formation efficiencies. Nevertheless, close gravitational encounters during the embedded phase generate a substantial runaway population, with a velocity tail extending beyond 100 km/s. Ejected massive stars redistribute radiative feedback into the surrounding lower-density medium and produce a more extended distribution of heated gas. Arepo-CD provides a practical and computationally efficient framework for studying collisional stellar dynamics and its coupling to gas evolution and feedback during star cluster formation in realistic galactic environments.

astro-ph.GA↗
arXiv2026

IMF-aware N-body forward modelling of membership selection functions for young open clusters

We present an IMF-aware N-body forward-modelling framework, in which the stellar initial mass function (IMF) is an explicit input, to quantify the membership selection functions of open clusters, namely completeness and contamination as functions of magnitude. Accurate derivation of the IMF requires correcting for these selection effects, which otherwise distort the inferred present-day mass function. Our framework simulates clusters with IMF slopes $α_2 = -2.7, -2.3, -1.9$, converts them into synthetic Gaia observations, adds mock field populations, and recovers members with HDBSCAN to mimic observational membership selection. Applying this framework to 35 young open clusters (ages $\lesssim100$ Myr, distances $\lesssim600$ pc), we find declining completeness towards the faint limit; older, more expanded, and more diffuse models have lower completeness and higher contamination. For a given cluster, models with flatter IMFs yield modestly but systematically lower global completeness and higher contamination, despite initial cluster masses calibrated to the same observed member count. These models undergo more stellar evolution mass loss and expand more, resulting in lower projected stellar densities; their lower completeness is consistent with more diffuse clusters being harder to separate from field stars. Corrections derived from a mismatched IMF largely recover the total star counts but leave a larger distortion in the shape of the present-day luminosity function than those derived with the correct IMF. Because membership recovery is tied to a cluster's structural evolution and the specific membership algorithm used, our findings emphasize that selection functions should be inferred jointly with the IMF rather than assumed in advance.

astro-ph.GA↗
arXiv2026

Is Serving-Time Language-Model Inference Necessary for Recommendation? Evidence from Generative and Agentic Settings

Language models (LMs) are increasingly used in recommender systems to generate recommendations or coordinate recommendation tools. However, does their strong performance imply that serving-time LM inference is necessary? We challenge this seemingly reasonable but unverified assumption. To investigate this question, we introduce recovery-based mechanism auditing, which tests whether independent alternatives can achieve the accuracy of LM-based recommender systems without the audited inference mechanisms under controlled information and evaluation conditions. For generative recommendation, we propose LIME-Rec, which combines sequential, collaborative, and offline semantic information without autoregressive LM decoding. On three Amazon Reviews datasets (Beauty, Toys, and Sports), LIME-Rec achieves the highest reported mean in all 12 dataset-metric combinations, with up to a 15.2% relative improvement in Recall@10 over GRAM, an LM-based generative recommender. For agentic recommendation, we propose DART-Rec, which replaces LM-based tool control with deterministic fusion and fixed expert selection. On 1,000 Beauty users, given the same candidate items and expert scores, deterministic fusion achieves a 16.7% relative improvement in Recall@10 over a fine-tuned LM controller. With at most two tool calls, fixed expert selection matches the LM controllers' Hit@10 outcomes for every user in 17 of 18 comparisons. These findings demonstrate that strong recommendation performance does not necessarily require serving-time LM inference: under the evaluated task and information conditions, alternatives without the specified inference mechanisms can match or exceed the accuracy of their LM-based counterparts. To support reproducibility, code is available at https://github.com/Double-wk/LIME-Rec.

cs.IR↗
arXiv2026

Trace Evolution Bench: Measuring Whether Agents Improve from Their Own Environment Traces

Self-evolving agents are usually scored by endpoint Gain: held-out success after an update minus success before. That difference can credit a frozen rescore as evolution. We introduce Trace Evolution Bench (TEB), a protocol that separates that rescore from a context or weight update, together with three frozen 80/20/40 packs. An update is accepted only when validation does not fall, held-out identifiers never enter the update, and a text update is not ranked with a weight update. The primary scoreboard is coding, graded by hidden unit tests in a closed workspace. On that pack (40 held-out tasks, one family), DeepSeek v4 Pro under no_evolve never changes its policy yet moves 7.5, 5.0, and 12.5 percentage points across three seeds. Of nine text-update cells inspired by GEPA, ACE, and ExpeL, seven have positive excess above that seed's own band, and one gepa_llm seed moves down by the width of its band (-12.5, regression 0.48). GLM and MiniMax do not reproduce that seven-of-nine pattern. No method stays above its own band on every seed of all three models: GLM has two paired cells above their own bands, and MiniMax expel_llm seed 44 is a third (regression 0.30). The methods were fixed on a validation screen before held-out was read. Office, graded by rule-bounded delivery, and manufacturing table QA are separate packs: office DeepSeek does not exceed its own bands (widest 17.5 points), and manufacturing has no paired positive excess beyond its seed band.

cs.AI↗
arXiv2026

Constructing Structured Decision Sources for Consensus-Based Pseudo-Label Learning

Consensus can make pseudo-label learning more reliable, but only when its predictors contribute genuinely different evidence. Multiple models that repeat the same boundary provide additional votes without additional information. We address this problem by con structing decision sources through controlled changes to within-class structure. Starting from a shared graph representation, we vary center granularity and neighborhood mixing, reproduce each resulting source to test its stability, and select a complementary subset using node pair coassignment. Unanimous predictions from the selected sources are then ranked for student training. On the public fixed splits of Cora, CiteSeer, and PubMed, evaluated with five random seeds, the constructed sources improve fixed-budget training pseudo-label precision by 1.19 to 4.39 percentage points over three conventionally initialized GCN sources. Under matched structural filters, three-source consensus is more precise than each constituent source in all 45 dataset slot eed comparisons. The gains are strongest in pseudo-label quality: downstream accuracy remains competitive but does not lead on every dataset. These results identify source construction rather than model count alone as an important design problem for consensus-based pseudo-label learning.

cs.LG↗
arXiv2026

NativeScope: Relation-Localized Retrieval over Native Topology with a Correct Anchor

Dense retrieval usually ranks text chunks by their semantic similarity to a question. This ignores structure that many data systems already store, including section membership, session boundaries, and native order. We propose NativeScope, a scope-then-rank method for queries with a known anchor and relation. It represents a query as q -> (A, r, B). The anchor A and relation r select native units through belonging, before, or after operators, and the target term B ranks only chunks that overlap the selected scope. An internal variant, NS-FullQ, ranks the same candidates with the full question. We evaluate both methods on 200 controlled document and memory records derived from QASPER and LongMemEval under a 1,024-token budget. NativeScope attains native-unit recall of 89.28 percent for documents and 72.50 percent for memories, improving over instance-wide Dense RAG by 42.75 and 22.00 percentage points. NS-FullQ reaches 87.78 percent and 68.50 percent; its differences from NativeScope are inconclusive, locating the primary gain in relational scoping rather than the shorter ranking query. With automatic Top-1 anchors, memory recall falls to 35.50 percent. NativeScope is therefore effective when anchor coordinates and native relations are reliable, but hard scoping inherits errors from the localization interface.

cs.IR↗
arXiv2026

Space-time correlations of passive scalars in colored-noise flows

The space-time correlation of a passive scalar advected by a Gaussian colored-noise velocity with wavenumber-dependent correlation times and power-law spatial spectra is investigated in the present paper. Within the inertial-convective subrange, we derive an analytical solution for the space-time correlation. This solution validates the elliptic approximation (EA) model [He and Zhang, Phys. Rev. E 73, 055303(R) (2006)], demonstrating that the iso-correlation contours are self-similar in the co-moving space-time frame $(r-Uτ, Vτ)$, with a universal spatial-to-temporal intercept ratio of 1.55. Unlike the classic Kraichnan white-noise model, our formulation simultaneously recovers the Obukhov--Corrsin scaling for spatial correlations (when the velocity obeys Kolmogorov scaling) and reproduces the random-sweeping mechanism, yielding Gaussian (rather than exponential) temporal decorrelation of scalar Fourier modes. Our results clarify the underlying decorrelation mechanism of passive scalars: mean-flow advection and large-scale sweeping dominate temporal decorrelation, and small-scale distortion dominates spatial decorrelation.

physics.flu-dyn↗
arXiv2026

Quantum many-body framework for passive-scalar turbulence

How spatial structures manifest in multi-time correlations is a fundamental question in turbulence. We develop a non-Hermitian bosonic framework that unifies equal-time anomalous statistics and their temporal propagation within a common operator representation. A continuous Wegner flow reorganizes stochastic mode couplings in an extended wave-frequency space. Applied to the Taylor-Kraichnan model, the framework recovers the established equal-time hierarchy and constructs multi-time contributions through propagators acting on successively smaller sets of active fields. This construction separates uniform transport from intrinsic relative dynamics and shows how a higher-order equal-time state evolves under a generator acting only on the fields that remain dynamically active. Within an isotropic radial closure, we derive an explicit fourth-order two-time zero mode scaling function that describe how relative dispersion progressively weakens sensitivity to the initial separation. The framework thus connects spatial intermittency to temporal evolution by identifying how the sequence of observation times determines the propagation of equal-time anomalous structures.

physics.flu-dyn↗
arXiv2026

DirtyMoCap: Robust Motion Capture from Unconstrained Markers

Optical motion capture delivers high-fidelity human motion, but its reliance on strict marker layouts and clean trajectories severely limits its real-world applicability. In practice, tracking systems frequently output unconstrained markers: sparse, noisy, and unordered point clouds with unknown or varying configurations. To bridge the gap between corrupted raw markers and parametric human models, we introduce DirtyMoCap, a robust, marker-layout-free framework. Our core insight is to map unordered marker observations to a fixed set of "proxy anchors" comprising skeletal joints and body surface points, which serve as a stable intermediate representation. We first initialize and track these anchors over long sequences using a recurrent sliding-window architecture. Then, a custom differentiable Gauss-Newton solver fits the SMPL-H model to the tracked anchors to recover full-body pose, translation, and shape. By explicitly deriving geometric residuals, our solver learns adaptive observation confidence, smoothness, and prior weights end-to-end, adapting dynamically to the reliability of the input data. Extensive experiments on diverse, noisy marker configurations demonstrate that DirtyMoCap successfully generalizes across arbitrary layouts using only a single trained model. It consistently outperforms state-of-the-art configuration-specific baselines in both joint and vertex reconstruction accuracy, while our custom CUDA solver achieves up to a 100x speedup over standard PyTorch implementations. We further apply DirtyMoCap to heterogeneous raw optical MoCap recordings of traditional Chinese martial arts, yielding a Kung Fu motion dataset of temporally coherent SMPL-H reconstructions. Code and data are available at https://wanglongzju.github.io/DirtyMoCap-Project-Page.

cs.CV↗
arXiv2026

On $\ast$-Reversible and Generalized $\ast$-Reversible Rings

Let $R$ be a $\ast$-ring with $a,b\in R$. A ring $R$ is said to be $\ast$-reversible if $ab=0$ implies $b^{\ast}a=0$. In this paper, we first establish several new characterizations of $\ast$-reversible rings and reversible rings. In particular, we prove that $\ast$-reversible rings coincide with $\ast$-symmetric rings. Using these characterizations, we introduce two new classes of generalized $\ast$-reversible rings: pro-$\ast$-reversible rings and nil-$\ast$-reversible rings. A ring $R$ is called pro-$\ast$-reversible if $ab\in P(R)$ implies $b^{\ast}a\in P(R)$, and $R$ is nil-$\ast$-reversible if for every $c\in N(R)$, $cb=0$ yields both $b^{\ast}c=0$ and $cb^{\ast}=0$. The basic properties and characterizations of pro-$\ast$-reversible and nil-$\ast$-reversible rings are investigated. The interrelationships among all these ring classes are considered. The related examples to distinguish these rings are constructed.

math.RA↗
arXiv2026

Transposed Triple Products and Pro-Symmetric Rings in $\ast$-Rings

This paper investigates properties concerning transposed triple products in rings. Motivated by Cline's formula, we characterize symmetric rings by means of group invertible elements and EP elements. We prove that a unital ring $R$ is symmetric if and only if $abc\in R^{\sharp}$ implies $acb\in R^{\sharp}$ for all $a,b,c\in R$. In particular, we give an answer to the problem posed in \cite[Problem 2.9]{MW1}. An example is provided to illustrate that for a symmetric ring $R$, $abc=e$ does not generally yield $acb=e$. For $\ast$-rings, we introduce the notion of pro-symmetric rings: a ring $R$ is pro-symmetric if $abc\in P(R)$ implies $acb\in P(R)$ for all $a,b,c\in R$. We show that every pro-symmetric ring is symmetric. Several counterexamples are constructed to distinguish these classes of rings, and their mutual inclusion relations are also discussed.

math.RA↗
arXiv2026

Notes on Reversed Products of Two Elements in Rings

This paper investigates reversed product properties of two elements in rings. Motivated by Cline's formula, we characterize reversible and $\ast$-reversible rings in terms of group invertible elements, EP elements, and the transfer behaviour of generalized inverses for reversed products. We prove that a unital ring $R$ is reversible if and only if $ab\in R^{\sharp}$ yields $ba\in R^{\sharp}$. For an involutive ring $R$, $R$ is $\ast$-reversible precisely whenever $ab\in R^{\mathrm{EP}}$ implies $b^{\ast}a\in R^{\mathrm{EP}}$. Several counterexamples are constructed to differentiate these ring classes, and the mutual inclusion relations among them are also discussed.

math.RA↗
arXiv2026

Economic Evaluation of V2G-Enabled Fast Charging Stations Under Endogenous EV Adoption Dynamics

Building fast charging stations (FCSs) is crucial for transportation electrification, but there exists an indirect network effect: while the increasing number of electric vehicles (EVs) decides the FCS capacity expansion, the spatial locations of these facilities strongly influence drivers' willingness to adopt EVs. Ignoring this interaction can lead to bad capital investments and exacerbate power grid vulnerabilities during tidal traffic peaks. Therefore, we explicitly model the EV adoption dynamics as decision-dependent uncertainties (DDUs) in a new multi-period collaborative planning framework. This framework evaluates the economic viability of V2G-enabled FCSs across both transportation and distribution networks. To simplify the complex calculation, we introduce an aggregated fleet virtual battery model to catch macroscopic vehicle-to-grid (V2G) flexibility. This successfully circumvents the dimension curse inherent in tracking microscopic state-of-charge. To further guarantee calculation speed, the nonlinear infrastructure exposure is transformed into a mixed-integer program by using Special Ordered Set type 2 (SOS2) variables and Second-Order Cone Programming (SOCP) relaxations for grid limits. Finally, numerical studies on a coupled Sioux Falls and IEEE 33-bus testbed prove that our framework achieves superior expected social welfare. Also, macroscopic V2G aggregation is highlighted for its capability to mitigate distribution grid congestion penalties.

eess.SY↗
arXiv2026

Git4Data: Database-Native Version Control for AI Agents

Large Language Model (LLM) agents increasingly explore many candidate states of relational data in parallel, each of which should remain isolated, reproducible, and auditable, preferably through the same SQL interface used for ordinary data work. Existing tools support this requirement only partially: source-code version control does not scale to large datasets, whereas relational databases manage large data efficiently but rarely expose native branching, comparison, and merging. We present Git4Data, a database-native version-control layer for agentic workflows. Git4Data treats a database as a repository and a table as a versioned object, exposing Git-style operations (snapshot/tag, branch, diff, and merge with explicit conflict-resolution policies) through SQL extensions. Implemented in MatrixOne, a cloud-native relational database, Git4Data leverages immutable object storage and MVCC to make the cost of these operations proportional to the size of the change rather than the size of the data. On the BranchBench agentic branching workloads, Git4Data outperforms DoltDB by up to an order of magnitude. Overall, we believe this work sheds light on how relational databases can better support AI agents through efficient versioning.

cs.DB↗
arXiv2026

ContextPipe: Database-Inspired Context Assembly for Long-Horizon Agents

Long-horizon large language model (LLM) agents require context assembly: the runtime must decide what to include in each prompt, in what order, and when to compact history under a hard context-window budget and a byte-sensitive prompt cache. In production agentic systems, this logic is scattered across prompt builders, ad hoc compaction routines, cache-break workarounds, and per-provider shims. We argue that context assembly is structurally isomorphic to query execution in a relational database: both execute under a hard budget, exploit a tiered cache, and leverage statistics. We adopt this discipline in ContextPipe: a five-phase pipeline (Plan Bind Optimize Execute Feedback) backed by a structured data-source catalog, a deterministic cache-aware optimizer, and an EXPLAIN ANALYZE trace. We show that context in ContextPipe is auditable, replayable, and failure-isolated. A preliminary evaluation using the SWE-bench Pro Qutebrowser subset shows that, compared with the append-only context construction policy, ContextPipe reduces total token volume by 31%, LLM calls by 23%, and response time by 9%, at the cost of a lower KV cache-hit ratio.

cs.AI↗