arXiv Science⌕ Search

arXiv subjects

Xin Ma

Publications and source records attributed to Xin Ma.

At least 19 recordsLinked to original sources
arXiv2026

RoboSeed: Multidimensional Evaluation of Vision-Language-Action and World-Action Models: Capability, Resource Affordability, and Research Evidence

Choosing a robot action model requires evidence about task capability, adaptation cost, deployment requirements, and the reliability of reported conclusions. Success rates alone offer limited guidance to researchers with different computing budgets and goals. We propose RoboSeed, a multidimensional evaluation framework for vision-language-action (VLA) and world-action models (WAM), within a continuing program to train, evaluate, and openly release robot models with verifiable evidence for model selection. The framework defines five dimensions: capability, downstream training affordability, deployment affordability, locally verified research value, and reproduction evidence. It maps empirical measurements and audit criteria to 0-100 profiles using fixed normalization anchors, with balanced, training-constrained, and deployment-constrained preference settings. Interface and protocol checks establish when comparisons are appropriate. Missing measurements remain explicit, incomplete aggregate scores are withheld, and weighted input coverage identifies evidence gaps. We apply the framework to representative VLA and WAM models, drawing on local training, released-weight evaluation, task-level audits, and an evaluation-system study. The results reveal budget-dependent backbone choices, sensitivity to adaptation recipes, and differences between language and visual task interfaces. Reproducible scoring code and machine-readable evidence support extension to additional models. The study provides dimension-level assessments and priorities for further measurement, while incomplete serving traces and heterogeneous protocols preclude overall numerical rankings.

cs.RO↗
arXiv2026

Maximal Algebraic Ideals in Nonunital $C^*$-Algebras

In this paper, we investigate the existence of maximal algebraic two-sided ideals in nonunital $C^*$-algebras. We formulate singular-distribution estimates in terms of lower semicontinuous $2$-quasitraces and introduce a novel criterion, which we call an admissible compact quasitracial triple set. These tools allow us to control membership in algebraic ideals and to prove the nonexistence of maximal ideals in nonunital $C^*$-algebras under a closed finite-scale face condition. This nonexistence result applies to a broad class of simple $C^*$-algebras including simple separable stable AF algebras, and nonunital, simple, separable, stably finite, $\mathcal Z$-stable $C^*$-algebras $A$ that admit an approximate identity consisting of increasing projections $(p_n)$ and for which the simplex $\operatorname{QT}_2^1(A,p_1)$ of normalized traces at $p_1$ has finitely many extreme points. Moreover, we construct a simple AF algebra whose finite-scale face is dense but not closed and which nevertheless has a maximal dense algebraic ideal. This example yields a negative resolution to a question raised by Ozawa, asking whether every maximal algebraic two-sided ideal in a $C^*$-algebra must be closed.

math.OA↗
arXiv2026

Vorch-Director: Interactive World Story Model via Noise-Aware Error Rectification

Autoregressive continuation provides a natural path toward minute-scale audio-visual generation by repeatedly extending a short-window generator conditioned on previously generated video and audio. However, models are trained on clean ground-truth histories, while inference relies on their own generated histories, where accumulated errors cause identity drift, over-smoothing, and audio-visual desynchronization. Recent methods reduce this mismatch by reusing prediction residuals as synthetic corruption, but we observe that the effectiveness of residual correction critically depends on the flow-matching noise level at which residuals are produced. We propose Vorch-Director, a noise-level-aware residual correction strategy that associates each residual with its originating noise level and injects residuals from matched noise regimes during training. By aligning injected errors with the denoising process, Vorch-Director produces more realistic autoregressive histories while retaining efficient teacher-forcing training. Built on the audio-visual LTX-2 diffusion transformer, Vorch-Director further introduces task embeddings to distinguish historical video, reference images, and target video, enabling unified conditioning for long-horizon generation. Together with a clean conditioning sink and mixed-task training, Vorch-Director supports multi-shot, multi-subject, reference-guided audio-visual long-video generation. We evaluate Vorch-Director on ST-Bench and introduce a new long-horizon audio-visual benchmark with metrics for quality drift and long-range consistency. Extensive experiments demonstrate improved stability and audio-visual fidelity over strong baselines.

cs.CV↗
arXiv2026

Vorch-Omni: Multi-Task Orchestration of Sight and Sound

Recent advances in generative video modeling have enabled diverse generation, reference-based synthesis, extension, and editing, but existing approaches often rely on fragmented task-specific models. A general model must distinguish heterogeneous target, source, and reference signals to determine what to generate, preserve, or use as guidance, while reducing interference among tasks. Joint audio-visual generation further increases this challenge by introducing diverse conditioning and output configurations across modalities. We present Vorch-Omni, a unified multi-task framework for audio-visual synthesis based on an arbitrary-condition-to-arbitrary-output formulation. It flexibly treats video and audio signals as either conditioning inputs or generation targets. Token-level conditioning masks and task identifiers distinguish targets, source content, and references, while position types separate temporal context from independent conditions. To capture semantic and structural information, Vorch-Omni employs complementary visual conditioning pathways: a vision-language model interprets sampled frames with text instructions, and a video VAE encodes conditions into latent tokens for direct guidance. We further build a distributed data pipeline to curate diverse temporally aligned audio-visual clips, generate structured captions and metadata, and balance heterogeneous task distributions. Built on a single flow-matching diffusion transformer without task-specific architectural changes, Vorch-Omni supports over 10 tasks, including text-to-video, text-to-audio-video, image- and reference-conditioned generation, temporal extension, audio-driven generation, video transformation, and audio-visual editing. This unified framework provides a scalable foundation for general-purpose audio-visual generation and manipulation.

cs.CV↗
arXiv2026

Vorch-IR: Long-Form Unified Multimodal Identity Replacement Video Generation

Video identity replacement seeks to transfer the identities of one or more subjects while preserving the motion, expressions, and temporal structure of a driving video. Existing methods largely target single-person settings and often require task-specific structural controls, such as masks or pose representations, limiting their flexibility in general multimodal editing systems. Progress on multi-person replacement is further constrained by the scarcity of paired training data. We present Vorch-IR, a unified framework that supports single- and dual-person identity replacement, with optional background replacement, in a single model. Built on LTX2, Vorch-IR jointly conditions on a driving video, indexed reference images, and a textual editing instruction. The reference images need not match the pose, layout, or spatial configuration of the driving video: their roles as subject or background references are specified through the instruction. Dense visual conditions are fused through self-attention, while a vision-language context establishes semantic correspondence through cross-attention. We further develop an automatic data construction pipeline that synthesizes paired supervision for all four editing settings. Experiments using automatic metrics and pairwise human evaluation demonstrate strong identity preservation, motion fidelity, and temporal coherence across diverse scenarios. A temporal overlapping inference strategy additionally extends the short-clip model to minute-long generation without autoregressive continuation.

cs.CV↗
arXiv2026

Vorch-Streamer: Extending Human Audio-Visual Generation to Real-Time Long-Form Streaming

Real-time long-form avatar audio-video generation requires causal, continuous synthesis while maintaining audiovisual synchronization and visual consistency. Adapting a pretrained bidirectional model to this setting presents two key dilemmas. First, autoregressively reusing generated blocks as context creates exposure bias, causing errors and visual drift to accumulate over long rollouts. Second, a global speech utterance does not indicates a causal generator which portion should be spoken next when only limited local audio-video context is available. We present Vorch-Streamer, a post-training framework that addresses these challenges and enables real-time long-form Text-to-Audio-Video (T2AV) streaming. We construct a synthetic corpus of 80K avatar clips spanning 12-21 seconds and first train a causal generator with mixed Teacher Forcing and Diffusion Forcing. We then apply long-horizon Self Forcing with DMD distillation, exposing the model to its own rollout distribution while preserving the quality of the pretrained bidirectional teacher. To explicitly control speech progression, an external language model predicts discrete 25-Hz speech-planning tokens, whose continuous features condition the audio diffusion branch and align each causal block with the content it should speak. With bounded causal context and four-step denoising, Vorch-Streamer jointly generates audio and video from text at 27.12 FPS, exceeding the 24-FPS real-time playback rate while maintaining competitive audio-lip synchronization and strong identity preservation over long-form generation.

cs.CV↗
arXiv2026

Vorch-Human: Unified Multi-Task Human-Centric Generation via Long-Horizon Continuation

Human-centric audio-visual generation spans several closely related tasks: animating a person from driving speech, jointly generating speech and video from a voice reference, and synthesizing a scene from paired appearance and voice references. Existing systems commonly solve these tasks with separate models, even though they share the same target modalities and differ mainly in which observations are provided as conditions. We present Vorch-Human, a unified human-centric generation framework built on a dual-stream audio-video diffusion transformer. Vorch-Human augments the conventional noisy audio/noisy video interface with clean condition-audio and condition-video token groups. Per-token task embeddings, temporal position types, condition masks, and a shared multimodal prompt encoder allow driving speech, timbre examples, first frames, and subject images to be expressed within one model. To supply the supervision required by this interface, we develop a two-level data pipeline. Level 1 analyzes each clip with speech recognition, vocal separation, face detection and tracking, active-speaker and synchronization models, audio/visual speaker clustering, and multimodal caption correction; it produces subject-indexed speech, appearance, and timbre annotations. Level 2 links the same person across clips from a common source video and mines identity- and outfit-consistent reference images after face, body, quality, pose, and vision-language verification. Finally, we adapt Vorch-Human to long-form audio-driven generation by training with clean latent prefixes and using the same frozen-prefix recurrence at inference. Each segment contributes only its newly generated suffix, reducing boundary discontinuity and long-horizon identity drift. Experiments on short and five-minute generation demonstrate strong identity preservation, audio-visual synchronization, and temporal stability.

cs.CV↗
arXiv2026

Fiberwise amenability of étale groupoids

We introduce a new amenability property for étale groupoids, termed \textit{fiberwise amenability}, along with a stronger variant termed \emph{ubiquitous fiberwise amenability}. (Ubiquitous) fiberwise amenability emerges naturally from a coarse-geometric perspective on étale groupoids and, in the special case of transformation groupoids, it coincides precisely with the amenability of the acting group (rather than topological amenability of the action). It is also tightly linked to the existence of invariant measures on the unit space of the groupoid. The coarse-geometric framework for étale groupoids that we develop systematically in this work allows us to establish several foundational properties of (ubiquitous) fiberwise amenability. As an application, we prove a Følner--paradoxical dichotomy for minimal étale groupoids, which will serve as a key tool in a sequel on almost elementariness of étale groupoids.

math.DS↗
arXiv2026

Task-evoked eye movements as candidate digital biomarkers of depression severity in adolescents and young adults

Objective digital measures of depression severity could complement conventional symptom assessments and facilitate more timely clinical evaluation. Here, we investigated whether task-evoked eye movements provide interpretable behavioral markers of depression severity in adolescents and young adults. In this single-center, cross-sectional study, 155 participants aged 14--20 years completed emotional-spatial free-viewing and memory-guided recall tasks and were stratified by 17-item Hamilton Depression Rating Scale scores. We examined 19 prespecified eye-movement features across six task-informed domains using covariate-adjusted ordinal-trend models. Greater depression severity was associated with lower gaze-allocation entropy (standardized $β=-0.599$), fewer inter-area switches ($β=-0.526$), longer first target-entry latency ($β=0.572$), and lower target dwell proportion ($β=-0.678$; all false-discovery-rate-adjusted $q<0.001$). Emotion-specific attentional-bias measures were not associated with severity, whereas associations involving fixation dispersion weakened after adjustment for anxiety symptoms. In a complementary machine-learning analysis incorporating 44 candidate eye-movement features and demographic covariates, a three-stage cascade classifier achieved the highest four-class stratification performance (accuracy, 0.665; macro-F1, 0.670; area under the receiver operating characteristic curve, 0.869), outperforming single-stage and two-stage approaches. Together, these findings identify altered visual exploration and memory-guided gaze control as candidate digital biomarkers of depression severity, rather than generalized negative attentional bias. These results support further prospective evaluation of task-evoked eye tracking as a complementary approach for timely severity assessment and clinical decision support.

eess.SP↗
arXiv2026

Contactless gait-derived features as candidate digital biomarkers of depression severity in adolescents

Timely assessment of depression severity in adolescents is essential for guiding clinical care, yet conventional evaluations rely on episodic clinical assessments and symptom rating scales. Contactless gait analysis offers a potentially scalable approach to capturing objective behavioral features associated with depression. Here, we introduce the Long-Distance 3D Adolescent Depression Gait Dataset (LD3D-ADG), comprising depth-sensor gait recordings from 119 adolescents at a single center, including 39 healthy controls, 41 with mild depression, and 39 with moderate-to-severe depression. We developed UMLPA-GCN, a graph convolutional network that models spatiotemporal gait dynamics across three anatomically defined skeletal partitions. In participant-independent five-fold cross-validation, UMLPA-GCN achieved 75.63% classification accuracy, a macro-F1 score of 75.52%, and a macro-area under the receiver operating characteristic curve of 0.839 (95% confidence interval, 0.779--0.899). Class-specific recall was 87.18%, 63.41%, and 76.92% for healthy controls, mild depression, and moderate-to-severe depression, respectively. At the participant level, reduced arm swing, slower pelvic movement, restricted joint range of motion, and greater arm-swing asymmetry were identified as leading potential digital biomarkers contributing to depression severity assessment, associated with higher 17-item Hamilton Depression Rating Scale scores. These findings provide proof-of-concept evidence for contactless digital depression severity stratification in adolescents. Further external and prospective validation is needed to establish their utility for longitudinal monitoring and timely clinical assessment.

eess.SP↗
arXiv2026

Groupoid strict comparison for Ample Groupoids: Fiberwise Supramenability and Topological Amenability

In this paper, we first introduce fiberwise supramenability for locally compact Hausdorff étale groupoids with compact unit space. Then, for such a minimal ample groupoid $\mathcal{G}$, we show that if $\mathcal{G}$ is fiberwise supramenable or topologically amenable, then the clopen type semigroup $S(\mathcal{G})$ is almost unperforated. Consequently, if $\mathcal{G}$ is $σ$-compact, then it has groupoid strict comparison. We then present several applications, including Matui's AH conjecture and pure infiniteness for groupoids and groupoid $C^*$-algebras.

math.DS↗
arXiv2026

On Amenability and LEF-ness for topological full groups

In this paper, we prove that for a topologically free distal action $α$ of a countable discrete group $G$ on the Cantor set, the topological full group $[[α]]$ is amenable if and only if $G$ is amenable. This generalizes a result by Cortez and Medynets. In addition, we obtain negative results on the amenability of topological full groups for actions with zero topological entropy by calculating the topological entropy of certain examples provided by Elek and Monod. Furthermore, we demonstrate that the topological full group $[[α]]$ of a minimal topologically free residually finite action $α$ on the Cantor set is locally embeddable in the class of finite groups (LEF). This extends a result previously obtained by Grigorchuk and Medynets in the case of minimal $\Z$-actions. As an application, we show that topological full groups of certain Toeplitz subshifts on free groups are LEF and therefore sofic.

math.DS↗
arXiv2026

Who Holds the Pen? Let Specifications, Not Agents, Sign Off

Large language model agents increasingly combine generation, decision-making, execution, and self-evaluation within a single agentic loop. Although they operate under external specifications such as task instructions, guidelines, output schemas, and reusable skills, these specifications typically remain context for the same model that acts and declares completion, leaving no independent specification authority boundary. We identify two resulting gaps. The understanding--execution gap arises when a requirement is understood but not satisfied in execution; the state--authority gap arises when an agent's interpretation or completion claim does not establish the required state. On SkillsBench, using only agent-visible prompts, workspace information, and injected skill specifications, we extract 509 source-grounded task directions. Across seven models, only 79.6%--86.4% are satisfied, while completion-claim rates exceed official evaluator pass rates by 28.7--37.9 percentage points. We therefore separate agent proposals from authoritative state. Agents may plan, act, and request completion, but only admissible evidence from qualified providers may establish specification-governed state. SpecHarness operationalizes this principle by compiling visible specifications into source-linked obligations and governing execution and finalization through versioned obligation state. Verifiable requirements are mediated or validated at runtime, while ambiguous or subjective requirements remain advisory. Experiments on guideline-following and artifact-generation tasks show that specifications can serve not merely as behavioral guidance, but as authority over compliant execution and completion.

cs.AI↗
arXiv2026

A finitely generated ICC non property (T) group that is neither inner amenable nor properly proximal

This note record a finitely generated extension of Caprace's example of a non-inner-amenable group is also not properly proximal, which answers the original question by Boutonnet, Ioana and Peterson. The extension is an explicit ICC subgroup of $\operatorname{GL}_4(\mathbb{F}_2(t))$, which has no property \textup{(T)}. Failure of proper proximality follows from the work of Ishan-Peterson-Ruth and the passage of proper proximality to co-amenable subgroups. Non-inner-amenability follows from a property-\textup{(T)} subgroup and an elementary centralizer computation.

math.GR↗
arXiv2026

An evidence-guided reinforcement learning method to improve psychiatric reasoning in small language models

Privacy and computational constraints limit the use of large language models in psychiatry, while adapting small language models (SLMs) often requires substantial data and expert annotation. We developed ClinMPO, an evidence-guided reinforcement-learning framework guided by the psychiatrist-defined Clinical Psychiatry Thinking Strategy (CPTS). ClinMPO uses ClinRM, a reward model trained on 18,569 question--answer pairs from 4,474 psychiatry articles. We evaluated four Qwen3 sizes on 1,737 model-screened questions. ClinMPO outperformed Base, supervised fine-tuning and standard group relative policy optimization across scales. From responses by 300 senior pre-licensure medical students, we established the human baseline, a medical-student reference. The 4B model approached this baseline, whereas the 8B model surpassed it and ranked first among 31 models and post-training variants. ClinMPO improved performance across two complementary schemes covering ICD-11 diagnostic categories and psychiatric practice competencies. Blinded assessment by three clinicians showed improved rationale quality across CPTS criteria. These findings highlight how existing clinical evidence and specialist knowledge can be incorporated into the development of medical AI systems through evidence-guided learning.

cs.CL↗
arXiv2026

Spin triplet pairing by suppressing altermagnetism

The interplay between unconventional superconductivity and altermagnetic order has attracted much attention. In particular, whether spin-triplet superconductivity can be achieved by suppressing altermagnetism remains an open issue. We investigate this issue using a minimal single-orbital Hubbard model on a square lattice with a vacancy superstructure, in which both conventional antiferromagnetic and altermagnetic orders can emerge on an equal footing. We illustrate the existence of a metallic normal phase with altermagnetism even at half-filling due to geometric frustration and Coulomb interaction. Suppressing the altermagnetic long-range order using charge doping can lead to both conventional antiferromagnetic and altermagnetic spin fluctuations. Spin-singlet pairing is always favored when conventional antiferromagnetic spin fluctuations dominate. However, when altermagnetic spin fluctuations dominate, spin-triplet pairing will be induced. Implications of our results for possible material candidates are also briefly discussed.

cond-mat.supr-con↗
arXiv2026

Tilting realizations of derived-equivalent matrix centralizer algebras

Let $A$ be the centralizer algebra of a matrix over an arbitrary field. We solve the fixed-source realization problem for matrix centralizers by proving that the matrix centralizer algebras derived equivalent to $A$ are precisely the opposite endomorphism algebras of tilting modules over $A$. We classify the basic tilting modules and determine their opposite endomorphism algebras. The tilting poset is a product of right weak orders on symmetric groups, with one factor for each primary block and degree equal to the number of distinct exponents in that block. Together with the center, this poset recovers the multiset of these numbers across all primary blocks, although it does not canonically match them with the local center factors. For each primary block, the target algebras are obtained by permuting the successive gaps between exponents, and their isomorphism classes are determined by the stabilizer of the gap word. Consequently, the quotient of the labeled mutation graph by target-algebra isomorphism is a Schreier multigraph. We also characterize when the weak-order orientation descends to its nonloop edges.

math.RT↗