arXiv Science⌕ Search

arXiv subjects

Chen Zhang

Publications and source records attributed to Chen Zhang.

At least 37 records · Page 2Linked to original sources

A polynomial time algorithm for almost bounded denumerant

Sylvester's denumerant $d(t; \boldsymbol{A})$ counts the number of nonnegative integer solutions to $\sum_{i=1}^{N} a_i x_i = t$, where $\boldsymbol{A} = (a_1, \dots, a_N)$ is a sequence of positive integers with $\gcd(\boldsymbol{A}) = 1$. In 2025, Xin and Zhang gave a polynomial time algorithm in $N$ for computing $d(t; \boldsymbol{A})$ when the entries of $\boldsymbol{A}$ are bounded by a constant. In this paper, we extend this algorithm by incorporating Barvinok's algorithm, enabling it to handle the case where a fixed number of entries of $\boldsymbol{A}$ are allowed to be unbounded.

math.CO↗

BeJEPA: A Goal-Conditioned Humanoid Behavior World Model via Unsupervised RL

Humanoid control requires coordinating whole-body posture with position and heading in the world frame. Mainstream controllers imitate trajectories in the root frame, but struggle to regain the target world pose after displacement. We introduce BeJEPA, a goal-conditioned Behavior World Model learned through unsupervised reinforcement learning from human motion priors and robot interaction. BeJEPA learns a shared representation of body configuration and world placement through a joint-embedding predictive architecture (JEPA). A Dynamic Predictor predicts the next state embedding under an action, while a Successor Predictor summarizes a goal-conditioned policy's expected discounted future state embeddings in a single vector. During joint training, Dynamic grounds the initial representation in observed physical transitions, while Successor increasingly organizes it around long-term behavior. Their composition guides policy improvement through one physical prediction and one behavioral summary, without long imagined rollouts. In 20-second motion-tracking experiments, BeJEPA with online action refinement using Dynamic outperforms all evaluated baselines in global body-position error, reducing it on AMASS by 61.7% relative to BFM-Zero with world-pose inputs and 58.7% relative to SONIC. Physical deployment on a Unitree G1 demonstrates joint attainment of posture, world position, and heading goals, recovery from the ground, and closed-loop return after disturbances and goal changes. Project page: https://ylyem9x.github.io/BeJEPA-project.

cs.RO↗

Modified anisotropy and distinct phase diagrams in the nearly isotropic $S=1$ triangular-lattice antiferromagnet $\mathrm{Rb_2Ni(SeO_3)_2}$

The triangular-lattice antiferromagnet serves as a benchmark platform for realizing exotic quantum phases, in which magnetic anisotropy plays an essential role. In this work, we report modified magnetic anisotropy and phase diagrams in the nearly isotropic $S=1$ triangular-lattice antiferromagnet $\mathrm{Rb_2Ni(SeO_3)_2}$, compared with those of its isostructural analog $\mathrm{K_2Ni(SeO_3)_2}$. The magnetic susceptibility of $\mathrm{Rb_2Ni(SeO_3)_2}$ exhibits an easy-axis anisotropy with $g_c > g_{ab}$, opposite to the easy-plane anisotropy observed in $\mathrm{K_2Ni(SeO_3)_2}$. The single Néel transition observed at zero field splits into two transitions at around 10~T, and a magnetization plateau is observed between 21~T and 37~T for both out-of-plane ($H\parallel c$) and in-plane ($H\parallel ab$) field directions in $\mathrm{Rb_2Ni(SeO_3)_2}$. We construct magnetic phase diagrams that are distinct between $\mathrm{Rb_2Ni(SeO_3)_2}$ and $\mathrm{K_2Ni(SeO_3)_2}$. These findings highlight the sensitivity of field-induced magnetic phase behavior to anisotropy in nearly isotropic triangular-lattice antiferromagnets.

cond-mat.str-el↗

Learning What to Keep: Transfer-Aware Personal Skill Learning from User Feedback

User feedback enables LLMs to refine reusable personalized skills, but often mixes persistent preferences with request-specific corrections. Indiscriminately retaining both risks negative transfer, motivating selective retention at the level of individual requirements. We frame this challenge as selective transfer over atomic rules and propose SkillGrain, a framework for learning reusable personalized skills from user feedback. SkillGrain decomposes feedback into independently actionable rules, predicts their transferability, and retains only those suitable for future requests. To learn these decisions, we combine rubric-guided skill rewards with fine-grained credit assignment that separately evaluates rule content and retention decisions. We further jointly optimize skill induction and skill-conditioned generation through reinforcement learning, ensuring that learned skills support downstream personalization. We construct a benchmark spanning five personalized writing tasks to evaluate cross-request generalization. Experiments across three base models in both in-domain and out-of-domain settings show that SkillGrain achieves the best overall average performance among competing methods.

cs.CL↗

Emotion2Skill: Model-Internal Emotion Signals for Adaptive Skill Selection and Evolution

Skill-based LLM agents select reusable procedures from external libraries to solve complex tasks, yet their routing decisions rely primarily on task descriptions, verbal reflections, and experience-derived rules, without explicitly observing the model's internal decision state. Recent interpretability work has identified emotion representations that influence model behavior, but their use has largely focused on post-hoc analysis and output steering. Their potential to guide agent-level decisions remains underexplored. We propose Emotion2Skill, a framework that extracts LLM-internal emotion vectors and incorporates them into both skill selection and skill evolution. The framework uses these representations to inform skill choice and tracks their changes to identify problematic invocations, enabling targeted skill refinement beyond coarse outcome feedback. Across two backbones, Emotion2Skill outperforms seven baselines. On Qwen3-8B, it exceeds Trace2Skill by 3.1 percentage points in WebShop success and 5.7 in ALFWorld average success. Ablations and specificity controls support the utility of context-aligned emotion signals, while co-activation analysis reveals semantically coherent emotion--skill associations. The same emotion vectors also transfer to MATH and MBPP without re-extraction. These results establish LLM-internal emotion representations as an effective decision-level signal for orchestrating agent skill systems, extending their utility beyond interpretability and output steering. Code is available at https://github.com/BoHan-LIN04/Emotion2Skill

cs.AI↗

Wedge-avoidance Fisher Forecasts for Primordial Features from Dark-Ages 21-cm Power Spectrum and Bispectrum

The Dark Ages offer a uniquely clean window on primordial physics, making the redshifted 21-cm signal a promising probe of inflation models. Forecasts for interferometric 21-cm measurements must account for foreground wedge avoidance, which removes a substantial fraction of Fourier modes, and this effect is especially severe at high redshifts. We develop a wedge-aware Fisher framework in which this mode loss is propagated directly into the variances of the anisotropic 21-cm power spectrum and reduced bispectrum. As a case study, we apply the method to forecast constraints on two inflation models with different oscillatory features, a resonant model and a step model, for a lunar far-side array including thermal noise. Since these features affect both the power spectrum and the bispectrum, we apply wedge avoidance to both forecasts and compare their constraining power on oscillatory amplitudes in these feature models. We find that wedge avoidance reduces available Fourier modes significantly in both observables, leading to much weaker constraints on inflationary features. This framework is broadly applicable to 21-cm power spectrum and bispectrum forecasts across redshifts and is particularly useful in regimes where foreground wedge effect is severe, such as the epoch of reionization and the higher-redshift Dark Ages.

astro-ph.CO↗

Initial Performance Tests of MASTA for Wide-Field Narrowband Imaging

Wide-field narrowband imaging provides an efficient approach for mapping low-surface-brightness line emission over large angular scales. We present initial performance tests of Multi-Application Survey Telescope Array (MASTA) for narrowband imaging. Using commissioning data obtained with the QHY461 and COSMOS-8K cameras, we characterize the basic reduction procedure, photometric calibration, image quality, and point-source detection limits. The measured surface-brightness and point-source detection limits become deeper with increasing exposure time, roughly following the expected background-limited scaling. Under the current observing and reduction conditions, the COSMOS-8K camera generally reaches deeper surface-brightness limits, particularly in the red filters, while QHY461 has smaller pixel size and provides better sampling of the telescope point spread function (PSF). As demonstrations, we perform continuum subtraction for the nearby galaxy M106 and the supernova remnant Cygnus Loop using adjacent narrowband filters and reveal the Hα and [O III] structures in M106 and filamentary structures in the Cygnus Loop. We further compare the MASTA surface brightness Hα map of M106 with an independent SITELLE measurement. After accounting for [N II] contamination and the wavelength-dependent response of the 6544 Å filter in the f /1.7 converging beam, the corrected median ratio is 0.973. These tests indicate that MASTA is a promising facility for wide-field narrowband imaging. Further improvements in calibration frames, including flux calibration, field-dependent bandpass characterization, and spatially varying PSF modeling and matching will be required for quantitative studies of diffuse ionized gas.

astro-ph.IM↗

Can a slow and strong phase transition in neutron stars relieve major compact-star observation tensions?

Recent anomalous compact-star observations challenge the conventional neutron-star interpretation in complementary ways: HESS J1731--347 and XTE J1814--338 favor unusually small radii at low mass, while the secondary component of GW190814 appears too massive for an ordinary neutron star under GW170817-based maximum-mass inferences. We examine whether neutron stars with a strong first-order hadron-quark phase transition can address these tensions via the extended stable hybrid branches that arise when the phase conversion is slow compared to radial oscillations, while remaining consistent with GW170817 and NICER constraints. Using a piecewise-polytropic (PP) benchmark, supplemented by an independent speed-of-sound (CS) parametrization comparison, we find two viable scenarios after a general parameter scan over both the hadronic and hybrid branches. Scenario 1 realizes an all-at-once solution: the same equation of state has a pure hadronic branch compatible with both the GW190814-scale mass and HESS J1731--347, while its slow stable hybrid branch reaches XTE J1814--338. Scenario 2 retains the GW190814-scale hadronic branch but reaches XTE J1814--338 and HESS J1731--347 on slow stable hybrid branches in very different transition-strength regimes.

astro-ph.HE↗

SKT: Skill-Use Training at Scale via Verified Synthetic Data Generation

Agent skills have become an important mechanism for equipping language-model agents with reusable procedural knowledge. However, providing skills alone does not guarantee that current models can effectively identify, apply, and coordinate them. To improve skill-use capabilities, we introduce SKT, a verified data synthesis pipeline that constructs skill-grounded tasks and executable trajectories from large collections of agent skills. SKT selects suitable single-skill and multi-skill configurations, synthesizes tasks through rule-based and agent-based verification with feedback-guided repair, and retains only successful trajectories that substantially use every required skill. Using 2,000 public skills, SKT produces 4,000 task packages and 27,164 verified trajectories. Based on the same pipeline and a disjoint test pool, we further construct SkillEval, a held-out executable benchmark for evaluating skill use. Experiments across diverse models, benchmarks, and agent harnesses show that supervised fine-tuning on SKT-generated trajectories consistently improves skill-use performance. Verification ablations, cross-harness evaluation, and scaling experiments further demonstrate that these gains depend on high-quality supervision, extend beyond a single agent interface, and increase with broader skill coverage. Together, these results establish verified data synthesis as an effective and scalable approach for skill-use training.

cs.AI↗

Cabling formula and colored knot Floer homology

We study colored knot Floer homology via a bordered cabling construction. We construct a cabling module and identify the connecting maps in the defining direct system at the level of this module. By taking the colimit at the chain level, we obtain a general formula for colored knot Floer homology of an arbitrary knot in terms of its ordinary knot Floer homology and the colored unknot algebra. This extends the computation of Alishahi-Gorsky-Liu from L-space knots to all knots.

math.GT↗

Anlu: Enabling In-Context Time Series Anomaly Detection in Foundation Models via Counterfactual Supervision

Whether a time-series pattern is anomalous often depends on the operating regime of the monitored process. A missing event can signal a fault in one regime and be routine in another, and the query alone may not reveal which regime applies. We study in-context learning (ICL) for time series anomaly detection (TSAD) through reference-conditioned detection, where a reference record provides evidence about expected behavior and model parameters remain fixed at inference. Supplying the reference is not enough: when training anomalies are recognizable from the query alone, the detector can fit its targets while ignoring the reference. We therefore introduce counterfactual supervision, which pairs one query with two references that support different normal rules and labels the query under each. At positions where the two labels disagree, no detector that ignores the reference can fit both targets. Anlu learns from this supervision by adding a reference memory and zero-initialized gated adapters to a frozen time-series foundation model (TSFM) pretrained for anomaly detection. On the 350 TSB-AD-U evaluation sequences, Anlu raises the mean VUS-PR of the frozen TSFM from 0.542 to 0.607. Replacing the reference with zeros lowers Anlu's score to 0.499.

cs.LG↗

FoleyGenEx: Unified Video-to-Audio Generation with Multi-Modal Control, Temporal Alignment, and Semantic Precision

We present FoleyGenEx, a unified video-to-audio (VTA) framework integrating multi-modal control, frame-level temporal alignment, and fine-grained semantics, enabling synchronized, versatile audio synthesis for diverse tasks. Existing VTA methods either have multi-modal control but weak temporal alignment or strong alignment but lack reference audio conditioning and semantic precision. FoleyGenEx fills this gap via three core innovations: a conditional injection mechanism for audio-controlled VTA and Foley extension, a multi-modal dynamic masking strategy preserving training synchronization, and an adverb-based data augmentation algorithm leveraging signal processing and large language models to enhance textual supervision with nuanced semantics. Experiments on AudioCaps, VGGSound, and Greatest Hits demonstrate its competitive controllable VTA performance against existing methods. Demo samples are available at https://foleygenex.github.io/FoleyGenEx.

cs.SD↗

Generalist Representation, Specialist Detection: TS-Router for Time-Series Anomaly Detection

Time-series anomaly detection (TSAD) is difficult to generalize across datasets because heterogeneous temporal dynamics imply different notions of normality and favor different detection criteria. While time-series foundation models provide transferable representations, coupling them with a fixed anomaly-scoring mechanism can overlook this variation. This motivates a different perspective on foundation-model-based TSAD: using foundation models to coordinate specialized anomaly criteria rather than directly imposing a universal one. Based on this view, we propose \textbf{TS-Router}, a generalist-representation, specialist-detection framework that estimates the relative competence of heterogeneous anomaly detectors from pretrained temporal representations and selects suitable specialists for each target series. To avoid relying on specialist-performance labels from real tasks, we derive soft competence supervision from specialists' relative performance on labeled simulated tasks. At deployment, routing requires no target anomaly labels, and only the selected specialists are fitted unsupervisedly on the target series. We bound Top-\(k\) set-competence regret under representation coverage and conditional competence stability. Across 16 real-world benchmarks and four complementary evaluation metrics, TS-Router achieves the best overall average rank. Controlled ablations with multiple frozen TSFM encoders further support the use of pretrained representations for competence estimation and adaptive specialist selection. The code is available at https://anonymous.4open.science/r/TS-Router-D8FF.

cs.LG↗

KUPAS MASTER: Distilling the Tacit Expertise of Master Practitioners into Agent-Ready Experience Corpora

Experienced professionals know more than just facts and conclusions. They know which cues matter, why a judgment is reasonable, and which action to take. Routine work records often leave out this tacit knowledge, making it difficult for Large Language Model (LLM) agents to use professional experience effectively. We introduce KUPAS MASTER, an experience engineering platform built around nine-layer cognitive corpus construction. It turns heterogeneous work records and practitioner interviews into traceable, reusable experience corpora for agents. Six case elements preserve the task process: context, cues, judgment, action, boundaries, and outcomes. Nine-layer cognitive corpus construction organizes tacit experience along nine extraction dimensions and stores the resulting assets in six libraries: rules, constraints, best practices, negative examples, corner cases, and skills. Semantic alignment, individual experience distillation, organizational consolidation, and cross-review preserve source evidence, conditions of use, and unresolved disagreements. The platform packages these assets into callable skills with explicit inputs, steps, dependencies, and stopping conditions, connecting experience collection to task execution and evaluation feedback. Using authorized samples from 20 randomly selected practitioners, the platform processed 1,576 source files into 23,024 individual experience records and 13,113 organizational assets. The evaluation spans multiple professional domains. Under common task inputs and scoring criteria, the base model, raw corpus retrieval-augmented generation (RAG), and KUPAS MASTER agent scored 70.63, 79.75, and 89.58, respectively. The KUPAS MASTER agent improved on raw-corpus RAG in all seven scoring dimensions. The platform provides a practical path from individual tacit experience to organizational knowledge and agent capabilities.

cs.AI↗

Does Local Video Understanding Transfer Across Encounters? The EgoGears Benchmark

Embodied systems must make knowledge acquired during one encounter usable in another despite changes in viewpoint, motion, and illumination. Yet aggregate cross-video accuracy conflates failures of local perception with failures to preserve observation identity, establish correspondence, and compose evidence, obscuring whether local video understanding actually transfers. We introduce EgoGears, a complementary single- and multi-video benchmark designed to diagnose this transition. It contains 567 single-video and 1,487 multi-video questions derived from 126 human-collected egocentric recordings covering 39 outdoor routes. Repeated traversals across movement speeds and lighting conditions ground comparisons in shared physical environments; 531 questions require alignment across independent recordings. Single-video questions measure the local visual, spatial, and motion evidence available to a model, while multi-video questions test whether evidence remains bound to the correct observation and can be composed into consistent route relationships. We report 29 single-video and 31 multi-video MLLM configurations across six model families in the main leaderboard. Among the 20 configurations evaluated comparably on both splits, every model performs worse on multi-video questions, with a mean decrease of 22.5 percentage points, and the gap persists when answer format and scoring are held fixed. The gap is not explained simply by additional videos or recording boundaries. The central bottlenecks are observation--evidence binding and ordered route-state tracking. The code and benchmark are publicly available at https://github.com/lei-qi-233/EgoGears.

cs.CV↗

Design of Experiment for Discovering Directed Mixed Graph

We study the design of interventions for causal discovery in simple structural causal models whose causal graphs are directed mixed graphs (DMGs) that may contain directed cycles and bidirected edges representing latent confounding. In such case, observational conditional-independence (CI) information may not identify even the graph skeleton, while CI alone cannot generally detect a bidirected edge coexisting with a directed edge. To this end, we propose a stage-wise framework based on tailored separating systems. Separating-system interventions first recover descendant relations and strongly connected components (SCCs). The SCCs are then ordered by ancestry, and an SCC-Anc separating system recovers the directed subgraph. Given this subgraph, further systems use CI tests interpreted through $d$- or $σ$-separation to recover non-adjacent bidirected edges, whose endpoints share no directed edge, and do-see comparisons to recover those coexisting with exactly one directed edge. Under our assumptions, the framework recovers the directed subgraph and every bidirected edge except double-adjacent ones, whose endpoints are connected by a directed edge in each direction. We develop algorithms for unrestricted and $M$-bounded settings, with each experiment targeting at most $M$ variables in the latter. For recovering the directed subgraph and non-adjacent bidirected edges, our upper bounds on the number and maximum size of experiments match corresponding worst-case lower bounds up to logarithmic factors.

stat.ML↗

What Paired Evaluations Reveal under Visual Perturbations

Robustness evaluation must examine diverse visual perturbations, while benchmarks cover only some real-world conditions and physical testing is costly. Paired evaluations link clean and perturbed predictions for the same image, capturing changes in correctness, confidence, and acceptance beyond aggregate accuracy. We investigate how this image correspondence supports two needs in robustness evaluation: interpreting paired evaluation results and prioritizing samples for physical testing. To interpret paired evaluation results, we fix both sets of prediction records and vary their correspondence within each class. We prove that classwise correct-correct counts give the same sharp bounds on lost acceptance and mean true-class probability decrease among retained-correct inputs as any feasible five-state refinement. Distinguishing persistent from changed wrong answers can further constrain accepted-error transitions, while shared correspondence can establish policy orderings left unresolved by separate cost intervals. To prioritize samples for physical testing, we retain each image's synthetic responses and rank clean-correct images by their mean true-class probability under corruption. Across 44 classifiers, testing the highest-risk 20% finds 67% and 45% of failures under mild screen and print recaptures, versus 58% and 36% for clean confidence and 60% and 37% for an equal-size natural-transformation average. With both probability averaging and an A3Rank scoring adaptation, the tested corruption set yields higher mean failure recall than the natural-transform set; differences between scores depend on the source and budget. Together, these findings show that the value of correspondence depends on the evaluation objective: classwise counts suffice for specified reliability bounds, while image-specific synthetic responses improve the allocation of physical tests within the evaluated pool.

cs.CV↗

Flow induced two-dimensional $ζ$ potential on chemically uniform solid-liquid interface: A possible electrokinetic origin of streamwise vortices

The $ζ$ potential at solid-liquid interfaces governs electrokinetic phenomena across chemistry, biology, and engineering. Despite its centrality, local measurement of this potential has remained a formidable challenge, forcing the universal assumption of spatial uniformity on chemically homogeneous surfaces. Here we introduce Fluorescence Photobleaching Electrochemistry Analysis (FLEA)-- a non-invasive technique that achieves 180 nm lateral resolution -- to map the $ζ$ potential at unprecedented spatial detail. We discover that a perfectly uniform glass surface, under laminar flow, develops an intrinsic two-dimensional $ζ$ potential landscape: approximately symmetrical V-shaped distribution across the channel width that varies systematically with flow velocity, pH, and ionic strength. This two-dimensional electrochemical heterogeneity generates a rotational electric body force that spontaneously produces streamwise vortices-structures commonly observed in boundary layers. Our findings establish FLEA as a transformative tool for surface characterization, reveal a previously unrecognized origin of streamwise vorticity at interfaces from the aspect of electrokinetic.

cond-mat.mes-hall↗