arXiv subjects

Chang Liu

Publications and source records attributed to Chang Liu.

At least 91 records · Page 5Linked to original sources

arXiv2026

QO-Bench: Diagnosing Query-Operator-Preserving Retrieval over Typed Event Tuples

Many real-world questions over business, legal, and scientific corpora are natural-language versions of database-style queries over records latent in text. Existing retrieval-augmented generation (RAG) systems are optimized primarily for semantic relevance, but retrieving plausible passages does not guarantee correct query execution. We introduce QO-Bench, a diagnostic benchmark for query-operator question answering over typed event tuples. The benchmark covers 22,984 news articles and 614 corporate events, with 18 query templates instantiating 785 questions. Each gold answer is deterministically computed from typed event tuples and scored by recall, with answers matched to the gold tuples by exact match rather than an LLM judge. This design enables operator-level diagnosis such as joins and intersection. We evaluate RAG, ReAct RAG, GraphRAG, and information-extraction-to-SQL under matched conditions, with a long-context oracle ceiling to isolate retrieval failure. A two-axis framework -- index-time preservation versus query-time execution -- predicts where each paradigm fails, and the results bear it out: systems retrieve relevant text but discard the typed values operators need, and the deployable paradigm ranking inverts across operators, with similarity retrieval leading on filter/project and extraction-to-SQL on intersection and counting. Even given the gold evidence, a long-context oracle stays far from saturated, so operator execution -- not retrieval alone -- is a core bottleneck that a stronger answer model does not remove. QO-Bench reframes the goal from passage relevance to query-operator-preserving retrieval. The benchmark, predictions, and code are released at https://github.com/ZHANG-MENGAO/qo-bench.

cs.CL↗

arXiv2026

Report of the 8th LSVOS Challenge: Complex and Multimodal Video Object Segmentation

This report summarizes the 8th Large-scale Video Object Segmentation (LSVOS) Challenge, held in conjunction with ECCV 2026. The challenge evaluates video segmentation in three complementary settings: complex semi-supervised video object segmentation on MOSEv2, text-guided referring video object segmentation on MeViSv2-Text, and audio-guided referring video object segmentation on MeViSv2-Audio. We describe the tasks and evaluation protocols and review the methods of the top three teams in each track. Across the nine leading solutions, foundation segmentation models are combined with target-aware memory, multimodal reasoning, explicit target-existence verification, agentic interaction, and corrective tracking. These systems illustrate a broader transition from single-model mask propagation toward modular pipelines that reason about object identity, query validity, and temporal reliability.

cs.CV↗

arXiv2026

When LLM Decompilers Recompile More and Preserve Less

Decompilation recovers high-level source from compiled machine code and serves as a foundation for security tasks such as vulnerability detection and malware analysis. Traditional decompilers like Ghidra and Hex-Rays expose whatever they cannot resolve as visible placeholders and often emit pseudocode that will not compile or execute; LLM-based decompilers produce clean, idiomatic C and are now judged almost entirely by recompilability and re-executability: whether the output builds and passes its shipped input/output tests. We show that these metrics can reward the wrong path: a function may recompile and pass every shipped test yet diverge on other legitimate inputs, and a disclosed vulnerability may disappear from the recompiled code with no visible trace of the crash. Neither failure is caught by existing suites. To address this gap, we propose Decompile-Diverge, a behavioral comparison oracle not relying on fixed or hand-crafted tests: for each function it synthesizes a driver, grows a fuzzing corpus from the reference, and reruns the decompiled code on the same inputs to detect changes in the function's behavior. Across eight systems in nine configurations on established LLM decompilation corpora, candidates that pass every shipped test still diverge from the original on our input corpus: 4.9% overall, and as many as 13% for a single system. On 300 real GitHub library functions and 287 CVE-grounded functions, recompilability and behavioral agreement can come apart: the strongest refinement LLM lifts Ghidra's build rate from 75% to 90%, while its Matched rate falls from 74% to 62%; on disclosed vulnerabilities, up to one tenth exhibit Crash Absence in its output. Source-level analysis traces this divergence to introduced fields, types, callees, and guards that replace the visible unknowns traditional tools leave behind.

cs.CR↗

arXiv2026

Occamy-1.0: Open Pareto-frontier 35B Intelligence for Co-work

Co-work agents execute complex workflows that combine information gathering, tool use, coding, and file manipulation across many model invocations. Because cost and latency accumulate over the full episode, their practical value depends not only on peak capability but also on how efficiently that capability is delivered. Yet many steps in everyday work emphasize state tracking, coordination, recovery, and follow-through rather than frontier-scale reasoning. We present Occamy-1.0, a cost-efficient co-work model obtained by further training the post-trained Qwen3.6-35B-A3B checkpoint. We construct execution-grounded data and environments, capture replayable long-horizon trajectories across multiple harnesses, and use staged post-training to develop and consolidate complementary execution capabilities. Across a broad suite of co-work benchmarks, Occamy-1.0 is consistently among the strongest comparably sized models and remains competitive with substantially larger frontier systems on several tasks. Under our stated evaluation and pricing protocol, its aggregate performance across four representative benchmarks places it at the low-cost knee of the observed cost--performance Pareto frontier. Supporting evaluations in tool calling, coding, and instruction following further show that this specialization preserves broad agentic capability. We release the model weights and a subset of the training data to support research on practical co-work agents and agentic post-training.

cs.AI↗

arXiv2026

UniGIO: Unified Generative Global In-situ Weather Modeling from Spatiotemporal Incomplete Observations

Global In-situ Observation (GIO) provides fine-scale, direct records of the global weather system from sparse point stations, making it an indispensable source for capturing localized and transient dynamics beyond the reach of satellite gridded data, and playing a critical role in key fields such as numerical weather prediction, disaster prevention, and agriculture. However, GIO exhibits strong spatiotemporal incompleteness, severely impairing accurate and real-time in-situ weather modeling. Unlike existing methods waiting for completed AI-ready data with extra introduced errors, in this work, we explore UniGIO, a novel generative framework for directly modeling global in-situ weather dynamics from native incomplete GIO. By generating missing data from observed ones annotated by masks, it unifies the coexisting forecasting, imputation, and generation under arbitrary missing ratios. Between the missing and observed, UniGIO captures station and region level complementarity through the Observation Mixer and Event Aligner, which diffuse discrete observations into continuous spaces where weather processes naturally span multiple stations. We further establish temporal dependencies with pattern shifts using the Adaptive Temporal Mixer, and track extreme events in chaotic local weather systems through a Mixture-ofExperts structure. Steady and extreme events are adapted in decoder by a Local Refiner. Extensive experiments on the up-todate largest global station weather dataset Weather-5K validate its SOTA performance with 11%, 12%, and 5% advantages on accuracy, fidelity, and extreme event capture, delivering a novel holistic solution for weather modeling in GIO networks.

cs.LG↗

arXiv2026

Unbalanced spectral Turán problem for color-critical graphs with prescribed large maximum degree

Let $F$ be a connected color-critical graph with $χ(F)=r+1\ge4$, let $S_{n,Δ}^{(r)}=(n-Δ)K_1\vee T(Δ,r-1)$. We determine the graph of maximum adjacency spectral radius among all $n$-vertex $F$-free graphs with prescribed maximum degree $Δ$. There is a constant $s_F\in[0,1)$ such that, for all sufficiently large $n$, $\left\lceil\frac{(r-1)n}{r}\right\rceil\le Δ\le n-Θ(n^{s_F})$ implies that every $n$-vertex $F$-free graph $G$ with $Δ(G)=Δ$ satisfies $ρ(G)\le ρ\bigl(S_{n,Δ}^{(r)}\bigr)$, with equality if and only if $G\cong S_{n,Δ}^{(r)}$. This is the spectral counterpart of the edge theorem of [European J. Combin. 106 (2022), 103576.] and extends the clique result in [arXiv:2608.26634, 2026.]. This result also provides a benchmark for unbalanced spectral Turán problems arising from other extremal parameters.

math.CO↗

arXiv2026

Dynamic Water-Wave Tweezers

Following a recent demonstration of stable trapping of floating particles by stationary (monochromatic) structured water waves [Nature 638, 394 (2025)], we report dynamic water-wave tweezers that enable controllable transport of the trapped particle along an arbitrary trajectory on the water surface. Furthermore, we demonstrate simultaneous transport of two trapped particles along different trajectories. We employ a triangular lattice formed by the interference of three plane waves, which can trap particles, depending on the wave frequency and particle parameters, either at intensity maxima or at intensity zeros (vortices). By introducing small frequency detunings of the interfering waves, we control 2D motion of the lattice and trapped particles. This approach is robust and effective over a relatively broad range of particle sizes and wave frequencies, offering remarkable new possibilities for noncontact manipulation of floating (e.g., biological and soft-matter) objects in fluidic environments.

physics.flu-dyn↗

arXiv2026

SPARC: Sequence-aware Progressive Attribute Routing and Compression Framework for Generative Recommendation

Generative recommendation tokenizes items as discrete Semantic IDs (SIDs) and autoregressively generates target items from users' historical SID sequences. Although existing SIDs incorporate multimodal and structured information, they are typically statically assigned and independent of the current interaction context. In industrial scenarios, each behavior also contains heterogeneous attributes, such as category, brand, price, behavior type, and timestamp. Fully expanding these features greatly increases the input length, while directly compressing them into a single representation may prematurely discard context-relevant information. We propose \textbf{SPARC}, \uline{\textbf{S}}equence-aware \uline{\textbf{P}}rogressive \uline{\textbf{A}}ttribute \uline{\textbf{R}}outing and \uline{\textbf{C}}ompression Framework for Generative recommendation. SPARC first models the sequential dependencies of each field type to obtain context-aware field representations. It then routes the original, contextual, and identity representations of different fields into multiple slots to preserve complementary information under a fixed capacity. Finally, lightweight cross-item interaction integrates the intermediate tokens and compresses each historical item into a single token. Following the principle of contextualizing before compression, SPARC enriches user-history representations without increasing the input length of the generative backbone. Experiments on industrial Taobao and public Amazon datasets demonstrate that SPARC outperforms strong conventional and generative baselines. Further comparisons with static compression variants show that the improvement of SPARC comes from context-conditioned information retention rather than merely increasing the expressiveness of the compression module.

cs.IR↗

arXiv2026

HubMixer: Progressive Latent Hub Mixing for Parameter-Efficient Feature Interaction in Recommendation

Learning effective feature interactions is central to industrial recommendation and advertising ranking systems. Recent token-mixing architectures simplify self-attention with lightweight mixing operators, improving hardware efficiency and enabling large-scale deployment. However, recommendation tokens are fundamentally heterogeneous: user profiles, item attributes, behavioral sequences, context features, statistical signals, and business-side features live in different semantic spaces and interact in sparse, sample-specific patterns. Directly mixing all tokens in the raw heterogeneous token space may therefore be parameter-inefficient, as the model must implicitly discover which feature groups should interact and how such interactions should be routed. In the paper, we propose HubMixer, a parameter-efficient latent hub mixing architecture for feature interaction in recommendation. Instead of directly mixing raw feature tokens, HubMixer introduces a small set of learnable latent hubs to organize feature interactions through an `induction--interaction--readout` paradigm. First, hub induction summarizes heterogeneous tokens into compact latent hubs, where latent hubs query input tokens through cross-attention. Second, hub interaction performs high-order interaction in the cleaner latent hub space. Third, token-conditioned readout lets each original token selectively read from the interacted hubs, injecting global interaction semantics while preserving token-level field identity. Extensive offline experiments on industrial recommendation tasks show that HubMixer outperforms the SOTA models. Online A/B testing in the Kuaishou short-video recruitment business further shows a statistically significant 5.48% improvement in resume submission conversion rate, and HubMixer has been fully deployed in production.

cs.IR↗

arXiv2026

Converse and Collision-Based Achievability for Node Localization with Hybrid Distance-Spectral Graph Positional Encodings

Graph positional encodings are widely used in graph neural networks and graph Transformers, yet it remains unclear when the code itself can identify nodes. We study a hybrid distance-spectral encoding that combines anchor-distance profiles with quantized low-frequency Laplacian-energy coordinates. Treating the encoding as an observation map yields a simplex-refined converse, an exact collision factorization $κ_H=κ_Dκ_{S|D}$, and the collision information $I_H=-\logκ_D-\logκ_{S|D}$. On random regular graphs, the criterion is made explicit through a bounded-correlation Gaussian-wave surrogate; for actual Laplacian-energy coordinates, we give the distance-conditioned spectral collision condition sufficient for conditional actual-coordinate achievability. Experiments show that $I_H/\log n$ calibrates localization success, and PE-only structural task probes on Universal Dependencies trees show that hybrid encodings better recover syntactic-tree geometry than distance-only or spectral-only baselines.

cs.LG↗

arXiv2026

Knowing Beyond the Known: Reinforced Knowledge Specification for Multi-Label Class-Incremental Learning

Existing class-incremental learning methods struggle in multi-label scenarios (MLCIL) due to the inherent contradiction of learning objectives arising from co-occurring and incomplete labels. We argue that the core obstacle is the model's ambiguous boundary between known and unknown knowledge, which undermines historical knowledge retention, complicates current task learning, and limits adaptability to future concepts. To address this, we propose KBK (Knowing Beyond the Known), a reinforced knowledge specification framework that explicitly models what is known or not to unify historical, current, and prospective learning. Specifically, to clarify known knowledge, we develop a hierarchical feature purification module that disentangles fine-grained class-specific features from global features, where high-level semantic abstraction is reinforced with low-level visual features. Additionally, an uncertainty-aware recall enhancement strategy suppresses unreliable predictions based on distribution priors, improving the quality of historical recall. For probing the unknown, KBK leverages semantic correlations to synthesize informative unknown features under co-occurring, preserving embedding space for future learning. Furthermore, to mitigate heterogeneous forgetting, we design a category-balanced gradient compensation loss that dynamically reweights gradient backpropagation according to forgetting speeds. Experiments on multiple benchmarks validate the effectiveness and robustness of KBK, which surpasses prior best methods by 2.7% in Avg. Acc on MS-COCO B0-C10 setting even without any replay buffers.

cs.CV↗

arXiv2026

Notes to Self: Can LLMs Benefit from Experiential Abstractions?

Humans distill experience into reusable abstractions, e.g., strategies and cautionary reminders, and apply them to gradually solve problems more effectively. We study whether Large Language Models (LLMs) can similarly benefit from such experiential abstractions. From LLMs' solution traces on the MATH training set, a stronger teacher or the LLMs themselves extract natural-language abstractions into a retrievable library. We explore two usage modes: (1) inference-time retrieval and (2) reinforcement learning (RL) with abstraction-augmented training prompts. Experiential abstractions improve LLM performance on mathematical and logical reasoning benchmarks. Self-extracted abstractions match teacher-extracted ones, and our abstraction usage framework can transfer to other datasets and models. These findings suggest LLMs can extract and apply experiential abstractions much as humans leverage distilled experience.

cs.CL↗

arXiv2026

Unified Gas-Kinetic Wave-Particle Method for Multiscale Simulation of Vlasov-Poisson-Fokker-Planck System

A unified gas-kinetic wave--particle method with Fokker--Planck collisions (UGKWP-FP) is developed for the Vlasov--Poisson--Fokker--Planck system. The collision operator is modeled by the Lenard--Bernstein operator, whose stochastic representation corresponds to the Ornstein--Uhlenbeck process in velocity space. To extend the UGKWP framework beyond the conventional Bhatnagar--Gross--Krook (BGK) collision model, the Fokker--Planck operator is decomposed into a nonstiff drift--diffusion contribution and a stiff thermalization contribution. The former is retained in the particle dynamics through a modified Ornstein--Uhlenbeck process, whereas the latter is represented by a BGK-type relaxation toward the local Maxwellian. This decomposition enables an adaptive wave--particle representation: the method follows stochastic particle dynamics in rarefied regimes and increasingly represents the rapidly equilibrating distribution by the analytical wave component as the continuum regime is approached. The modified friction coefficient is constructed to recover the original Fokker--Planck dynamics in the rarefied limit while preserving the hydrodynamic limit under strong collisions. Numerical experiments demonstrate that the proposed method captures velocity-space drift and diffusion, recovers the expected kinetic and continuum behavior across a range of Knudsen numbers, and reproduces the characteristic evolution of collisional plasma phenomena.

physics.plasm-ph↗

arXiv2026

Accelerating Stochastic Gravitational Wave Backgrounds Parameter Estimation in Pulsar Timing Arrays with Flow Matching

\Acp{PTA} are essential tools for detecting the \ac{SGWB}, but their analysis faces significant computational challenges. Traditional methods like \ac{MCMC} struggle with high-dimensional parameter spaces where noise parameters often dominate, % while existing deep learning approaches fail to model the \ac{HD} correlation or are validated only on synthetic datasets. while existing deep learning approaches have so far been validated on synthetic datasets or require training on the full pulsar set, incurring substantial computational and memory costs. We propose a flow-matching-based \ac{CNF} for efficient \ac{PTA} parameter estimation. Using ten pulsars selected according to published NANOGrav 12.5-year dropout factors and applied to the NANOGrav 15-year residuals, our method produces \ac{SGWB} posteriors consistent with a reference \ac{MCMC} analysis, with Jensen-Shannon divergences below $10^{-2}$ nat. After amortized training, posterior generation is reduced from approximately 50 hours for the reference \ac{MCMC} pipeline to approximately 4 minutes for \ac{CNF} sampling. The present study demonstrates that flow-matching-based \acp{CNF} can serve as an efficient posterior-sampling accelerator for reduced \ac{PTA} datasets. Rather than providing new astrophysical constraints, the method is intended to complement conventional \ac{MCMC} analyses and to provide a scalable route toward faster inference in future \ac{PTA} applications.

astro-ph.IM↗

arXiv2026

Follow-up of SN 2025wny II: Superluminous Supernova Physics at Cosmic Noon

SN 2025wny is a gravitationally lensed, hydrogen-poor superluminous supernova (SLSN-I) at z = 2.015. To date, it is the most extensively observed high-redshift core-collapse SN and has the most detailed rest-frame UV observations of any SLSN. We present densely sampled rest-frame UV-to-optical photometry and spectroscopy out to +80 d post-peak (rest frame) from several facilities, including JWST, Keck, VLT, Gemini, the Palomar 200-inch, the Fraunhofer Telescope at Wendelstein, and the Liverpool Telescope. Correcting for lensing magnification, SN 2025wny reaches a peak pseudo-bolometric luminosity of $L_{\rm peak}\gtrsim4\times10^{44}$ erg s$^{-1}$ over rest-frame 1500-4230 Å, placing it within the luminosity range of typical SLSNe-I. SN 2025wny exhibits several unusual features, including a continuum excess and sharp spectral features in the FUV from +20-60 d that coincide with an FUV light-curve plateau and higher inferred blackbody temperatures. SN 2025wny's spectra also show little to no UV line blanketing, no obvious O II absorption despite high temperatures, and evidence for C II, H$α$, and possible He I. Light-curve modeling suggests that SN 2025wny may require a hybrid or non-standard power source. This work provides some of the first detailed constraints on high-redshift SLSNe and establishes SN 2025wny as an essential spectral and photometric reference for identifying and interpreting high-redshift SLSNe discovered by Rubin and Roman.

astro-ph.CO↗

arXiv2026

Follow-up of SN 2025wny III: Spectroscopic Time-delay Measurements of a Strongly Gravitationally Lensed Superluminous Supernova

We present spatially resolved spectra and infer the time-delays between the multiple images of the strongly gravitationally lensed superluminous supernova (SLSN) 2025wny at z=2.015. SN 2025wny is the first known spatially resolved strongly lensed SLSN and provides a unique opportunity to measure lensing delays through the temporal evolution of supernova spectra. We present a spectroscopic dataset spanning several months, including spatially resolved spectra of images A, B, C, D, and E. We identify and measure the wavelength evolution of spectral features using Gaussian-process modeling. The time delays are inferred by jointly fitting the temporal evolution of the spectral features, yielding $Δt_{AB}=-10.3 \pm 2.3$, $Δt_{AC}=0.1 \pm 3.6$, $Δt_{AD}=-65.7 \pm 3.5$, and $Δt_{AE}=3.7 \pm 8.8$ days (68% confidence intervals). These are the among most precise time-delay measurements obtained for a lensed supernova to date, whether from spectroscopic or photometric methods. The longest delay ($Δt_{AD}$) is particularly well constrained, with a ~5% precision. Combined with the lens model presented by Mörtsell et al. (2026), the spectroscopic time-delays give a Hubble constant $H_0 = 70.2^{+8.2}_{-6.1}$ km/s/Mpc. Our analysis demonstrates that spectroscopic evolution provides an independent and complementary route to time-delay measurements in lensed supernova systems, avoiding reliance on photometric light curves alone. As future surveys discover larger samples of lensed supernovae, spectroscopic time-delay measurements will provide an important avenue for precision cosmography.

astro-ph.CO↗

arXiv2026

Gate Parameter Lee-Yang Zeros and Dynamical Phases in Quantum Circuits

We propose gate-parameter Lee-Yang zeros of Loschmidt amplitudes as probes of dynamical phases in finite quantum circuits. We study Floquet circuits constructed from two-qubit fSim gates with identical parameters, for which the Loschmidt amplitude becomes a rational function of the gate parameters after a suitable change of variables. At fixed system size and large circuit depth, the zeros in one complexified gate parameter, with the other held fixed, condense onto limiting curves. In contrast to conventional Loschmidt or Fisher zeros in complex time, these zeros live directly in the complex plane of a tunable gate parameter. We show that the limiting set has two origins: a state-dependent component controlled by overlaps with Floquet eigenstates, and a universal component fixed by the Floquet spectrum. As the remaining gate parameter is varied, the universal zero set reorganizes abruptly, providing a finite-qubit diagnostic of a dynamical phase transition. We demonstrate this behavior in a Bethe ansatz solvable brickwork circuit and in longer-range fSim circuits outside this solvable structure. The mechanism follows from the Beraha-Kahane-Weiss theorem together with local unitarity, and is therefore spectral rather than a special consequence of integrability.

quant-ph↗

arXiv2026

TADP: Task-Aware Deformable Prediction for Single-Stage 3D Object Detection

Most single-stage 3D object detectors complete different tasks with the same extracted features. Nevertheless, it is impossible to project features into a common space that is adaptive for all the tasks. We present a novel task-aware deformable prediction (TADP) method for single-stage 3D object detection to solve this problem. Firstly, a triple feature refinement aggregation module is designed to extract three-level features adaptively. Additionally, we design the multi-scale feature aggregation block to fuse multi-scale features in a scale-aware manner. Finally, the prediction of each task is deformed with the designed plug-and-play task-aware deformation head. It can percept the emphasis and interaction of each task. We also designed three different deformation modules. The experimental results demonstrate that the proposed deformation head shows good results on other detection methods. The experimental results on the KITTI dataset demonstrate that the car mAP is 80.91%, surpassing many state-of-the-art methods on the KITTI benchmark.

cs.CV↗