arXiv subjects

Siyuan Chen

Publications and source records attributed to Siyuan Chen.

At least 19 recordsLinked to original sources

arXiv2026

DexCanvas: Bridging Human Demonstrations and Robot Learning for Dexterous Manipulation

A dexterous hand succeeds or fails through contact, yet every scalable record of human manipulation (video, vision-based hand tracking, motion capture) observes how the hand moves and misses how it pushes. We present DexCanvas, a hybrid real-synthetic dataset of 7,000 hours of dexterous hand-object interaction with per-frame contact points and contact forces, grown from 70 hours of optical motion capture that spans 21 manipulation types, from power and precision grasps to in-hand manipulation. The forces come from a real-to-sim pipeline: one reinforcement learning (RL) policy, conditioned on object geometry and manipulation type, drives an actuated MANO hand in physics simulation to reproduce each captured object trajectory, and the simulator measures the contacts that produce the reproduced motion. The policy reproduces 87.5% of the demonstrations and still succeeds on 80.9% of rollouts from perturbed initial object poses; these perturbed rollouts expand the 70 captured hours a hundredfold. On six YCB objects absent from the capture set it succeeds 72.5% of the time. The contact channels make better policies: a Diffusion Policy that observes DexCanvas contact features succeeds 82.2% of the time, against 67.5% without them, over 18,522 trials. Contact-driven retargeting carries the same demonstrations to two dexterous robot hands, where the RL stage again produces stable rollouts. A first release of 111,857 force-annotated trajectories is publicly available on Hugging Face.

cs.RO↗

arXiv2026

Generalized Flows over Time: Complexity, Structure and Algorithm

Generalized flows over time constitute a general network flow model that incorporates both transit times and flow losses or gains. We study their complexity, structure, and approximation. We prove that the generalized maximum flow over time problem remains NP-hard under standard binary encoding, even on lossy two-terminal series-parallel networks. The maximum temporally repeated restriction is APX-hard with general gains and NP-hard on lossy networks. We then consider the minimum source supply needed to satisfy a fixed sink demand within a given horizon, and prove that an optimal solution always exists without intermediate storage. On lossy networks, such a solution can additionally use only simple source--sink paths. These structural properties yield a fully polynomial-time approximation scheme via time condensation, with analogous schemes for generalized maximum flows over time and quickest flows with a source-supply budget.

cs.DS↗

arXiv2026

Timing-Aware and Interpretable Self-Attention for Event-Based Wearable Task Transition Detection

Task transition detection aims to identify when a person shifts from one task to another, providing a foundation for continuous health monitoring and timely context-aware interventions. While statistical and deep feature representations have demonstrated strong classification performance, they often rely on aggregated or latent features that are difficult to interpret in behavioural terms. Event-based features provide a compact and interpretable alternative by encoding behavioural and physiological patterns as discrete tokens with explicit semantic meaning, making them well suited for behavioural analysis in health informatics. Self-attention offers a mechanism for modelling interactions among such tokens; however, conventional self-attention classifiers primarily rely on token order and do not explicitly incorporate timing or duration information. As a result, informative temporal cues in event representations may not be fully exploited for task transition detection. This study proposes an event-based time-aware self-attention framework that represents behavioural signals as sequences of discrete events augmented with onset timestamps and durations. Event timing is encoded using a parameter-efficient kernel-based representation, while a novel type-aware duration embedding modulates information propagation according to event persistence. Experiments on a semi-naturalistic wearable dataset show that the proposed model outperforms existing event-based approaches, achieves performance beyond or comparable with statistical and deep-learning models with a more compact input representation, and provides improved interpretability through integrated-gradient-based analysis. These results indicate that explicit modelling of event timing and duration enhances both classification performance and interpretability, supporting reliable deployment in biomedical and health informatics applications.

cs.LG↗

arXiv2026

Why Static Probes Fail: Context Determines Deception Feature Composition

With increasing autonomy, Large Language Models (LLMs) may engage in deceptive behaviors, such as scheming to pursue misaligned goals or sandbagging to escape oversight. Monitoring outputs alone is insufficient, as models can produce seemingly benign responses while harboring misaligned internal objectives. While mechanistic approaches like linear probing are promising, they rely on the assumption that deception corresponds to a single direction in representation space. We demonstrate that such single-direction probes fail to generalize across diverse deception scenarios. To bridge this gap, we propose representing deception as a multi-dimensional subspace rather than a single direction. Our method utilizes iterative orthogonal decomposition to identify complementary directions that capture distinct facets of deceptive intent. To effectively leverage these directions for detection, we find that static combinations prove brittle due to strong domain dependence across different scenarios. We therefore introduce a domain-adaptive gating mechanism that dynamically composes the extracted directions through few-shot adaptation at test time. With only 10 examples, our approach achieves an average AUROC of 0.97 and 94% recall at 5% FPR across all evaluated datasets, substantially outperforming existing methods.

cs.CL↗

arXiv2026

Constraints on the Progenitor of SN 2023bee from its Nebular-Phase Spectra

We present late-time photometry (~100-400 days after peak) and nebular-phase optical/NIR spectroscopy (100-360 days) of the Type Ia supernova (SN Ia) SN 2023bee. This SN Ia was observed TESS immediately before and after explosion and showed a relatively weak early excess light-curve feature detected in multiple UV and optical bands. Possible explanations for this early excess feature include interaction between the SN ejecta and a non-degenerate companion, or the decay of radioactive isotopes synthesized near the ejecta surface in a sub-$\text{M}_\text{Ch}$ double-detonation scenario. However, the degeneracies and incompleteness of existing models have so far prevented a definitive conclusion about its progenitor system. Nebular-phase spectra provide a complementary probe of SN Ia progenitors by constraining stripped H/He-rich material and iron-group abundances sensitive to the progenitor white dwarf density. We report the non-detection of narrow H/He features in nebular phase optical/NIR spectra of SN 2023bee, placing upper limits of $m^{\text{stripped}}_\text{H}\lesssim5.0\times10^{-3}\text{ M}_\odot$ and $m_\text{He}^{\text{stripped}}\lesssim1.2\times10^{-4}\text{ M}_\odot$. These limits strongly disfavor a non-degenerate companion and suggest that companion interaction is unlikely to explain the early excess of SN 2023bee. We also performed line-diagnostic measurements on the 7200 Åcomplex using multi-Gaussian fitting and continuum estimation, with the inferred velocities validated against NIR spectrum at the similar phase. The resulting low Ni-to-Fe mass ratio, $m_\text{Ni}/m_\text{Fe}\lesssim 0.06$, is broadly consistent with a sub-$M_{\text{Ch}}$ double-detonation progenitor system.

astro-ph.HE↗

arXiv2026

A Tight Oracle Threshold for $k$-Submodular Maximization

We prove that, for every $\varepsilon>0$, a $(\frac{k}{2k-1}+\varepsilon)$-approximation algorithm for maximizing monotone $k$-submodular functions requires exponentially many value-oracle queries. This improves the $\frac{k+1}{2k}$ oracle bound of Iwata, Tanigawa, and Yoshida. Their $\frac{k}{2k-1}$-approximation algorithm therefore gives the exact threshold in the monotone setting. For $k\ge5$, our bound also matches, up to an arbitrarily small loss, Aggarwal's recent approximation guarantee for non-monotone $k$-submodular maximization.

cs.DS↗

arXiv2026

A Combinatorial $(1/2-\varepsilon)$-Approximation for $k$-Submodular Maximization under Multiple Knapsacks

We give a randomized combinatorial $(1/2 - \varepsilon)$-approximation for nonnegative non-monotone $k$-submodular maximization under a fixed number $d$ of knapsack constraints, for $k \ge 2 $. The algorithm selects whole elements and follows the proportional top-2 rule of Chen et al. \cite{chen2026}: it samples from the two labels with the largest marginal gains, with probabilities proportional to the positive parts of these gains. Extending their single-knapsack Bellman analysis, we construct a common resource potential and associated resource weights, with potential losses charged to greedy gains. Since these weights depend on the unknown optimum, we discretize their defining coefficients and enumerate monotone guesses over phases determined by resource consumption. This yields an algorithm using at most $\mathcal{A}(d,\varepsilon)(nk+1)^{H+2}$ value queries, where $n$ is the number of elements, $\mathcal{A}(d,\varepsilon)$ depends only on $d$ and $\varepsilon$, and $H=O(d \log(2d) / \varepsilon^2)$. The approximation ratio can be made arbitrarily close to the optimal oracle threshold for $ k=2 $ and is asymptotically tight as $k \to \infty$.

cs.DS↗

arXiv2026

Don't Regenerate, Debug: A Domain-Specific Agent for Repairing Near-Miss Accelerator Kernels

Kernel generation for hardware accelerators such as GPUs and NPUs has become a proving ground for large language models (LLMs), and state-of-the-art systems raise correctness through pipelines that couple LLMs with agentic reinforcement learning and evolutionary search. Such pipelines generate, compile, and execute large numbers of candidate kernels, discarding most of them and forgoing the opportunity to distill failures into reusable knowledge. Many discarded candidates are near-miss operators that compile and run but fail numerical validation; each embodies genuine domain knowledge and a nontrivial investment in LLM inference, cross-compilation, and hardware execution. We argue for a paradigm shift: rather than regenerate, debug. Debugging is far more constrained than generating from scratch: the search space is small and feedback is dense. We present a domain-specific debug agent that addresses three core challenges in autonomous repair: mitigating knowledge scarcity through retrieved patterns and diagnostic instrumentation, ensuring integrity through anti-cheat detection and full-coverage evaluation, and controlling cost via convergence guards and bounded iteration. Debugging serves two complementary roles: it extends the capability frontier by recovering operators that repeated regeneration fails to produce, and it lowers cost per deliverable operator. Debug Pass@1 achieves 66.7% versus Regenerate Avg Pass@1's 25.9% and Regenerate Pass@3's 40.7%, while consuming 92.8% fewer tokens per success than three-trial regeneration. Component ablations show that the knowledge base drives recovery, while integrity gates reject 12.5-33.3% of the successes the workflow itself accepted.

cs.SE↗

arXiv2026

Covariance-Calibrated Prediction-Powered Inference

Covariance-calibrated prediction-powered inference (CC-PPI) uses unlabeled prediction scores to calibrate the covariance weight in a GMM estimator. The raw target preserves the prediction-corrected channel and replaces the labeled prediction-covariance contribution in the auxiliary residual metric with its unlabeled counterpart. Spectral protection ensures positive definiteness, and the estimator uses an equal blend of the original covariance and the protected target. We establish first-order efficiency and derive exact finite-sample risk identities for linear regression, including a design-based improvement theorem with tolerance to prediction error. A quadratic decision model gives a midpoint minimax-regret interpretation of the half-strength default. Exact strength-path formulas and convergent risk approximations bound its distance from the best fixed strength on that path. Simulations and four real-data studies show substantial reductions in parameter MSE. Independent fixed-strength references yield only small further gains on the calibration paths studied.

stat.ME↗

arXiv2026

Beyond Mergers: the Role of Metallicity in Forming a Reservoir of Massive and Detached Binary Black Hole Systems

Isolated binary evolution is a key pathway to forming binary black hole (BBH) mergers. However, the observed gravitational-wave population indicates it may not account for all mergers, especially those with high primary black hole mass ($\gtrsim 30 M_{\odot}$). Using the binary population synthesis code \texttt{POSYDON}, we simulate populations of binary systems at eight metallicities from $10^{-4}$ to $2\,Z_\odot$ and classify each BH-forming binary as a merging BBH, a detached BBH, or a system disrupted during BH formation. We find that metallicity shapes these populations differently, especially for high BH masses ($\gtrsim 25 M_{\odot}$). At lower metallicities, between $10^{-2}$ and $0.45\,Z_\odot$, massive BHs continue to form but become increasingly unlikely to merge: the number of massive merging BBHs declines sharply, while the detached population remains abundant. For $25$--$35\,M_\odot$ BHs, the detached-to-merging ratio increases by more than two orders of magnitude across this metallicity range. After weighting by cosmic star formation, massive BHs are found predominantly in detached binaries with orbital periods $\gtrsim 10^2$ days. Therefore, isolated binary evolution can form massive BBHs even if it rarely produces massive BBH mergers, leaving behind a massive and detached population that may be driven to merger through dynamical interactions in dense stellar environments.

astro-ph.SR↗

arXiv2026

Representation Type and Schurian Finiteness of Tits Algebras

We determine the representation type and Schurian finiteness of the Tits algebra of a finite central real hyperplane arrangement over an algebraically closed field. The algebra is representation-finite when the arrangement has at most two hyperplanes, tame when it has three, and wild when it has at least four. Moreover, it is Schurian-finite if and only if the arrangement has at most two hyperplanes. Both classifications hold over algebraically closed fields of arbitrary characteristic. The proof combines Saliola's bound-quiver presentation with explicit module constructions, convex subquivers, essentialization, and deletion. In the $\mathbb{R}^2$ case, we describe all eleven indecomposable modules for two lines and construct a full exact embedding of modules over a free algebra for at least four lines.

math.RT↗

arXiv2026

Breaking the 1/3 Barrier for constrained $\boldsymbol{k}$-Submodular Maximization: A Proportional Top-2 Randomized Framework

$k$-submodularity generalizes submodularity by allowing each selected element to be assigned one of $k$ labels. We study the maximization of a non-monotone $k$-submodular function, where $k\ge2$, under matroid and knapsack constraints. We develop a proportional top-2 randomized framework that achieves an approximation ratio of $\sqrt2-1\approx0.4142$ under either constraint, breaking the previous $1/3$ barrier. Once an element is selected, its label is chosen from the two labels with the largest marginal gains, with probabilities proportional to their positive parts. The analysis separates replacement, pure-addition, and residual-deletion losses, and proves a sharp local loss certificate for this rule. We then give a Bellman analysis using the same local certificate. It gives a $1/2$-approximation under a cardinality constraint and strengthens the knapsack guarantee to $1/2$ without changing the algorithm. The $1/2$ guarantees are oracle-optimal for $k=2$ and asymptotically tight as $k\to\infty$. The value-oracle complexities are $O(Bnk)$ for cardinality, where $B$ is the cardinality bound, $O(n^2k)$ for matroid, and $O(n^3k^2)$ for knapsack.

cs.DS↗

arXiv2026

Extreme Stellar Death and Galaxy Feedback at z = 2: A Rest-frame Ultraviolet Characterization of the Strongly Lensed Superluminous Supernova 2025wny

We present photometric and spectroscopic follow-up observations of the strongly-lensed H-poor superluminous supernova (SLSN) 2025wny at $z = 2.0155$. We use integral-field Keck-II/KCWI spectroscopy to obtain rest-frame ultraviolet spectra spanning $11$ to $61$ days after maximum light. We use Pan-STARRS photometry to constrain the brightest image's magnification, finding $μ_A=19.4\pm1.6$, a factor of $\sim$2-4 higher than mass-modeling estimates. We fit the Pan-STARRS photometry with a magnetar energy-injection model including $^{56}$Ni decay using the Modular Open Source Fitter for Transients (MOSFiT); the model can reproduce the near-maximum light curve with parameters typical of local universe SLSNe-I, including a magnetar spin period $P_{\rm spin}=4.1^{+0.7}_{-1.0}\,\mathrm{ms}$ and magnetic field $B_{\perp}=2.4^{+1.1}_{-0.8}\times10^{14}\,\mathrm{G}$; however, the late-time plateau suggests an additional power source. Spectroscopically, iron-group element line blanketing is virtually absent in the rest-frame UV spectra, and the absorption features match previously identified SLSN-I features from abundance tomography. Based on narrow ISM line metallicity estimates, SN 2025wny exploded in a sub-solar-metallicity galaxy. From host-galaxy lines in our rest-frame UV-to-optical spectrum we estimate high-velocity outflows of $\sim$575 km s$^{-1}$ and an exceptionally high Ly$α$ escape fraction of $f_{esc}^{Lyα}=0.23\pm0.03$. SN 2025wny matches lower-redshift SLSNe reasonably well. Upcoming surveys like LSST and Roman will discover additional high-redshift SLSNe, further testing whether SLSNe-I explosions remain consistent at the population level in the early universe.

astro-ph.HE↗

arXiv2026

The WEST code for large-scale excited-state materials simulations

We present WEST, an open-source plane-wave pseudopotential code for large-scale excited-state materials simulations, and describe its theoretical foundations, software architecture, and capabilities. WEST implements full-frequency GW, quantum defect embedding theory, the Bethe-Salpeter equation, and time-dependent density functional theory within a common algorithmic framework that avoids the explicit computation of virtual electronic states. By combining density functional and density matrix perturbation theory, low-rank representations of the dielectric screening and exact exchange, and localization techniques, WEST achieves favorable computational scaling with system size. The code supports the calculation of quasi-particle and neutral excitation energies, optical and photoluminescence spectra, excited-state forces, and non-adiabatic couplings, with interoperable workflows connecting to quantum chemistry, vibronic coupling, and quantum computing packages. A hierarchical parallelization strategy and GPU acceleration deliver near-ideal strong scaling to thousands of GPUs, enabling accurate excited-state simulations of systems with more than a thousand atoms. Representative applications, spanning the full optical cycle of solid-state spin defects, self-trapped excitons in metal-halide perovskites, and the optical response of liquid water and ice, demonstrate the accuracy and versatility of the code across diverse material classes. The capabilities implemented in WEST establish the code as a scalable platform for predictive excited-state simulations, high-throughput materials discovery, and the generation of high-fidelity datasets for machine learning in computational materials science.

cond-mat.mtrl-sci↗

arXiv2026

From Surfaces to Volumes: Registered Geometry for Protein Representation Learning

Existing protein geometry models typically represent molecular surfaces using local geometric features such as sampled points, normals, and curvature. While effective for capturing exposed molecular shape, these representations do not explicitly model the volumetric organization beneath the surface or provide a consistent coordinate system for residue-wise volumetric structure. We introduce Protein-TetSphere, a registered residue-wise volumetric representation for proteins. Each protein chain is tetrahedralized to obtain local volumetric regions associated with individual residues, which are then registered to a shared fixed-topology tetrahedral reference and represented in a common Laplacian basis. This registration establishes consistent volumetric coordinates across residues, enabling local three-dimensional deformation to be integrated with surface and chemical information in a multimodal protein representation. We evaluate Protein-TetSphere on ligand-binding pocket classification, protein--protein interface prediction, and de novo protein binder design. Across the three tasks, Protein-TetSphere improves ligand-binding pocket balanced accuracy from $0.795$ to $0.826$, Pinder-Pair/Site AUROC from $0.914/0.852$ to $0.932/0.866$, and binder-design success from $14.95\%$ to $19.90\%$ on the BoltzGen Challenge Set and from $27.62\%$ to $32.19\%$ at the ProtDBench backbone level. These results show that registered volumetric geometry provides complementary spatial information beyond molecular surfaces across protein recognition, interaction, and design.

cs.AI↗

arXiv2026

WorldAgent: Verification-Guided Agentic Physical World Construction

Constructing complex physical worlds from language requires coordinating extensive 3D environments, detailed structures and objects at different spatial scales, and interacting physical processes under both stated goals and implicit physical constraints. We present WorldAgent, an agentic framework for verification-guided physical world construction from a single natural-language prompt, without iterative user debugging. A world construction layer expands the prompt into a structured world specification and uses physical knowledge to build scenes and run numerical simulations. After every step, a verification layer inspects scene geometry and simulation states alongside rendered views. Failed checks guide automatic revisions to the specification and re-execution of the affected steps. Accepted worlds pass the required checks and remain editable for further inspection and resimulation. We introduce AgenticSimBench, on which WorldAgent achieves the best scores among the evaluated agent-based methods on five of seven metrics. In a 26-participant user study, it receives the highest mean ratings across all four criteria.

cs.AI↗

arXiv2026

WorldContact: A Contact-Centric World Model for Scalable Robot Learning

Adapting robots to new objects and tasks requires interaction experience that can be costly to obtain. We present WorldContact, a contact-centric world model for deformable-object manipulation, constructed from a limited set of high-quality trajectories to generate additional training data efficiently. It predicts object dynamics using larger time steps than the source numerical simulator, which requires small integration steps to resolve rapid motion and prevent interpenetration. We evaluate WorldContact across 16 shopping-bag manipulation tasks. State-rollout measurements on a single H100 GPU show a $10\times$ speedup over the source simulator, excluding rendering and disk I/O. We use the generated data to fine-tune an existing vision-language-action policy and deploy it directly on a real robot. In bag lifting, the same policy achieves 65% single-attempt success when fine-tuned on source simulation data alone, compared with 95% when fine-tuned on the dataset expanded with WorldContact. These results support efficient data generation with WorldContact for robot policy adaptation.

cs.RO↗

arXiv2026

Poisson bialgebras by deformations-to-quasiclassical limits

Poisson algebras are the quasiclassical limits of associative algebra deformations of commutative associative algebras. This paper extends this process to the level of bialgebras. We derive Poisson bialgebras as the quasiclassical limits of antisymmetric infinitesimal bialgebra deformations of commutative and cocommutative antisymmetric infinitesimal bialgebras. It might be regarded as the ``infinitesimal" version of the quantization process of Lie bialgebras in terms of Hopf algebras. Such deformations-quasiclassical limits process for a Poisson bialgebra is equivalently characterized in terms of the introduced notions of deformations of a matched pair of associative algebras as well as a standard Manin triple of associative algebras, whose corresponding quasiclassical limits are a matched pair of Poisson algebras and a standard Manin triple of Poisson algebras, respectively. We illustrate these equivalent deformations-quasiclassical limits processes via coherent derivations.

math.QA↗