arXiv subjects

Yifan Zhang

Publications and source records attributed to Yifan Zhang.

At least 73 records · Page 4Linked to original sources

arXiv2026

Discrete q-Hermitian Clifford analysis

We develop a discrete $q$-Hermitian Clifford calculus based on coordinatewise Jackson differences on multiplicative $q$-lattices. The resulting Hermitian Jackson--Dirac operators are nilpotent, factor a $q$-Laplacian, and have occupancy-dependent Euler anticommutators. These give explicit Fischer projectors and homotopies, but the local calculus is not controlled by total degree. We prove a two-face Cauchy--Kovalevskaya theorem for polynomials and extend it to a $q$-analytic Jackson--Fischer class. A divided-power conjugation recovers scalar Euler relations and transfers the classical joint Fischer decomposition and dimension formulas. The Jackson--Fischer completion is a vector-valued $q$-Fock space whose polarized nullspaces have projected reproducing kernels; the joint kernel is obtained by alternating projections. We also determine the linear symmetry group of the multiplicative lattice.

math.CV↗

arXiv2026

A SAT-based Filtering Framework for Exact Coverings of K33 by Cliques of Order 3, 4 or 5

We investigate the minimum number of cliques of orders $3$, $4$, and $5$ needed to cover the edges of $K_{33}$ with zero excess. General covering results yield the lower bound 57. The main result of the paper is that no decomposition of $K_{33}$ into $57$ blocks from $\{K_3,K_4,K_5\}$ exists. Our approach is algorithmic and relies on a layered exact-search pipeline rather than a single monolithic solver. We combine symmetry reduction, enumeration of local signatures, arithmetic profile restrictions, geometric tests for partial configurations, SAT realisation on reduced instances, and final decoding checks. The benchmark comparison shows that this structured approach is substantially more effective than direct ILP, DLX, or SAT formulations on the full problem. As a consequence, we obtain $C^ξ(33,\{3,4,5\},2)\ge 58$. A short additional counting argument further strengthens this to $C^ξ(33,\{3,4,5\},2)\ge 59$. We also give new compressed proofs for the known exceptional cases $K_{18}$ and $K_{19}$ in the setting of $\{K_3,K_4\}$-decompositions, illustrating the same combination of theoretical reduction and exact computation. Finally, we explain the relevance of the $K_{33}$ result to the open packing problem of determining the packing number $D(33,5,2)$. A packing of $51$ copies of $K_5$ in $K_{33}$ would leave a $4$-regular graph on $9$ vertices, and our exclusion already rules out two natural candidate leave structures.

math.CO↗

arXiv2026

Molt: A Scalable PyTorch-Native Training Framework for Agentic Reinforcement Learning

Agentic reinforcement learning requires rapid experimentation with agents and learning algorithms, yet large policies and long, multimodal trajectories demand substantial distributed infrastructure. We present MOLT, a lightweight, PyTorch- and Hugging Face-native framework that brings these goals together through four contributions. MOLT combines direct loading of Hugging Face models with experimentally validated trillion-parameter scalability in approximately 9.2K lines of framework code. Unified OpenAI- and Anthropic-compatible interfaces integrate existing agents with automatic handling of context compaction. Fully asynchronous training overlaps agent rollouts and policy optimization, accommodating variable agent execution times. Distributed experience storage removes centralized rollout-memory bottlenecks for long, multimodal trajectories. We experimentally validate the complete RL training pipeline on a one-trillion-parameter policy and demonstrate sustained learning with a 30B mixture-of-experts agent, establishing MOLT as a lightweight foundation for large-scale agentic RL research.

cs.LG↗

arXiv2026

OSWorld-Pro: Process-based Evaluation for Computer Use Agents

Evaluation of Computer-Use Agents (CUAs) is often limited to the final deliverables they create (at the end of hundreds of steps) and assessed with functional verifiers, as seen in OSWorld. However, such evaluation of end-state performance lacks transparency into how and why agents fail in various tasks, obfuscating critical insight for subsequent improvement. For instance, agents that err during keyboard inputs would require a different mitigation strategy from those that fail to precisely provide click-based inputs on the graphical UI. We introduce OSWorld-Pro: a set of over 300 tasks containing over 2800 subgoals to enable the procedural evaluation of CUAs grounded in over 67,000 human annotations. We use robust human-aligned LLM-Judges to evaluate the fulfillment of OSWorld-Pro subgoals and thereby reveal the progress that models make throughout a series of sequentially dependent subgoals. Our findings reveal that OSWorld-Pro is challenging even for state-of-the-art LLMs, with top performers like Claude Opus 5 achieving only 75.7% vs. 83.4% on OSWorld. Furthermore, we identify critical process-focused failure modes of various models (e.g. subgoal-irrelevant actions and click-based mistakes) to provide insights to improve performance and efficiency of CUAs.

cs.CL↗

arXiv2026

One-dimensional optimisation of indefinite-weight principal eigenvalues with asymmetric Robin parameters and a Schrödinger-type perturbation

We study the minimisation of the positive principal eigenvalue for an indefinite-weight problem with asymmetric Robin parameters. The model is motivated by diffusive logistic equations in spatially heterogeneous environments, where the weight describes allocatable favourable resources and the Robin parameters measure boundary loss. After recalling the variational setting and the bang--bang reduction, we analyse the one-dimensional optimisation problem: the optimal favourable set is an interval, and the placement problem is reduced to a branchwise criterion. The key analytical tool is a shape-derivative formula for $a\mapstoλ(a)$, which shows that interior candidates are characterised by equality of the endpoint values of the positive eigenfunction, equivalently by the coupled transfer-matrix equations $f=0$ and $g=0$. We also introduce a Schrödinger-type extension with a fixed nonnegative background potential. In the coercive case we establish the corresponding principal-eigenvalue and bang--bang results, and in one dimension with constant potential we prove a compactness-type stability result showing that minimisers for small background potential converge, along subsequences, to minimisers of the unperturbed problem. No placement classification is claimed for general positive background potential. The computations are presented as numerical illustrations generated with an adaptive root-search protocol.

math.SP↗

arXiv2026

Asymptotic minimization of the first Dirichlet eigenvalue in a square with two hard obstacles

We study an asymptotic minimization problem for the first Dirichlet eigenvalue in the square $Q=(-1,1)^2$, where two equal hard circular obstacles of radius $r$ move inside $Q$ with disjoint interiors; tangency between the obstacles and with the outer boundary is allowed. We prove that, as $r\to0$, every minimizing configuration approaches, up to the symmetries of the square and interchange of the holes, a pair of corner-tangent obstacles at adjacent corners, with displacement $o(r)$ from the corresponding corner-tangent centers. A uniform $u$-capacity localization argument shows that any obstacle whose individual eigenvalue excess is $O(r^4)$ must lie in a fixed $O(r)$ neighborhood of a corner, thereby excluding interior, open-side, and intermediate approaches to the boundary. At the corner scale, the leading coefficient is the full $u$-capacity. The proof is then organized by geometric branches. The side-tangent one-hole branch is asymptotically driven to the adjacent corner; an exact polarization argument shows that the adjacent corner-tangent pair has smaller first eigenvalue than the opposite pair; and configurations concentrated near a single corner are excluded by a scalar one-hole comparison. Additivity for well-separated corner defects then completes the distinct-corner analysis. We also include reproducible finite element computations that support the branch ordering predicted by the proof.

math.AP↗

arXiv2026

Optimisation of Robin Laplacian eigenvalue with indefinite weight in spherical shell

This paper is concerned with an optimisation problem of Robin Laplacian eigenvalue with respect to an indefinite weight, which is formulated as a shape optimisation problem thanks to the known bang-bang distribution of the optimal weight function. The minimisation of the principal eigenvalue of the problem in a spherical shell of an arbitrary dimension is fully solved.

math.SP↗

arXiv2026

Reflex: Reinforcement Learning with Reflection Symmetry Exploitation in State-Based Continuous Control

Reinforcement learning has long struggled with poor sample efficiency. One promising approach to mitigate this problem is leveraging group-invariant Markov Decision Processes ($G$-invariant MDPs). Existing works in this direction have primarily focused on image-based RL and rotational symmetry such as $\mathrm{SO(2)}$, leaving state-based RL and reflection symmetry largely underexplored. In this work, we focus on state-based continuous control tasks and exploit reflection symmetry by introducing Reflex, a paradigm that seamlessly integrates with both on-policy and off-policy RL algorithms. We formalize two types of reflection-axial reflection and bilateral reflection, and characterize their corresponding transformations. Building on a theoretical analysis of symmetry-preserving optimal value functions and policies, Reflex integrates reflection symmetry into policy learning through principled symmetry regularization mechanisms. We integrate Reflex with PPO and SAC, and evaluate it on a suite of OpenAI Gym and DeepMind Control benchmarks, demonstrating superior performance over standard baselines while improving sample efficiency. Our code is available at https://github.com/TonyStark042/Reflex.

cs.LG↗

arXiv2026

oMeBench: Towards Robust Benchmarking of LLMs in Organic Mechanism Elucidation and Reasoning

Organic reaction mechanisms describe the step-wise elementary processes by which reactants transform into intermediates and products, and are fundamental to understanding chemical reactivity and guiding molecular and reaction de-sign. While large language models (LLMs) have shown promise on chemical tasks such as synthesis design, it remains unclear to what extent this reflects genuine chemical reasoning capabilities: the ability to generate chemically valid intermediates, maintain consistency across reaction steps, and follow logically coherent multi-step pathways. To investigate this, we introduce oMeBench, the first large-scale, expert-curated benchmark for organic mechanism reasoning, comprising over 10,000 annotated mechanistic steps with reaction type labels, intermediate structures, and difficulty ratings. To enable fine-grained evaluation, we further propose oMeS, a dynamic scoring framework that jointly assesses step-level logical consistency and chemical structural similarity. Systematic evaluation of state-of-the-art LLMs reveals that while current models exhibit promising chemical intuition, they struggle to produce correct and consistent reasoning across multi-step mechanisms. Notably, combining prompting strategies with fine-tuning enables smaller-scale models to achieve performance comparable to closed-source frontier models. We hope oMeBench will serve as a rigorous foundation for advancing AI systems toward genuine chemical reasoning.

cs.AI↗

arXiv2026

A Lattice Boltzmann Method with Adaptive Relaxation Parameter and Lax--Friedrichs-Type Equilibrium for Hyperbolic Systems

In this paper, a lattice Boltzmann method with an adaptive relaxation parameter and a Lax--Friedrichs-type equilibrium is proposed for hyperbolic systems with source terms. The equilibrium distribution recovers the conservative variables and physical fluxes while incorporating dissipation determined by characteristic-speed bounds. To balance accuracy and robustness, the relaxation parameter is selected from a local smoothness indicator based on characteristic projections. In smooth regions, the parameter approaches the low-dissipation limit, retaining second-order accuracy; near discontinuities, it is automatically reduced to introduce localized dissipation and suppress nonphysical oscillations. The stabilization acts directly through the local collision step and preserves the standard collide-and-stream structure, without a posteriori recomputation or interface-based limiting. Maxwell iteration establishes second-order consistency in smooth regions, and a weighted $L^2$-stability estimate is proved for linear hyperbolic systems with periodic boundary conditions under a standard CFL condition. Numerical experiments for scalar advection, Euler, shallow-water, and reactive Euler equations demonstrate the expected accuracy for smooth solutions and robust resolution of challenging one- and two-dimensional discontinuous problems, including wet--dry fronts and reactive discontinuities. A large-scale simulation of a 2D cellular detonation further demonstrates the capability of the method to resolve long-time multidimensional shock--reaction interactions.

math.NA↗

arXiv2026

Topological Surface Charge Detection via Terahertz Time-domain Spectroscopy

The topological magnetoelectric effect (TME) is a condensed-matter realization of the four-dimensional quantum Hall effect (4D-QHE), manifesting as quantized surface charge accumulation proportional to an applied magnetic field. To date, however, no optical technique has been developed to directly probe this charge accumulation. Here, we demonstrate a terahertz time-domain spectroscopy method for direct detection of surface charge accumulation---a physical quantity relevant to both the 4D-QHE and 2D-QHE, in sharp contrast to the previous optical measurements, which focused on the Hall conductivity $σ_{xy}$ of the 2D-QHE. Using a chromium-doped (Bi,Sb)$_2$Te$_3$ thin film, we achieve sub-milliradian Faraday rotation precision. Extending this scheme to axion insulators, we predict that the TME gives rise to an imaginary Faraday rotation linear in frequency, whose slope directly reflects the single-surface charge density. With further improvements in sample thickness and precision, this approach offers a viable pathway toward direct verification of the TME and 4D-QHE.

cond-mat.mes-hall↗

arXiv2026

LLaTSA: Large Language Model-Aligned General-Purpose Transient Stability Analysis

Dynamic trajectory prediction has become an important paradigm for data-driven transient stability analysis (TSA), yet most existing predictors remain system-specific and require substantial retraining when network configurations, generation mixes, or state-variable sets change. Uni-TSA introduced a general-purpose TSA framework that combines channel-independent modeling with a pretrained large language model (LLM) predictor. Nevertheless, its application to heterogeneous systems is limited by ambiguity in short observations, a mismatch between numerical trajectories and LLM embeddings, neglected coupling among state variables, and the high inference cost of dense backbones. This paper proposes LLaTSA, an LLM-aligned framework for general-purpose trajectory-based TSA. LLaTSA first incorporates operating conditions, disturbance attributes, and state-variable identity through a structured textual prefix. It then aligns normalized temporal patches with a TSA-related vocabulary before processing them with a pretrained sparse decoder-only mixture-of-experts (MoE) backbone. A state-variable coupling module captures coordinated post-fault evolution, while teacher forcing and rollout-based training support iterative long-horizon prediction. Case studies on multiple test systems demonstrate accurate trajectory prediction, reliable stability discrimination, and effective adaptation across unseen scenarios.

eess.SY↗

arXiv2026

StepAudio 3 Gen Technical Report

We introduce StepAudio 3 Gen, a general-purpose audio generation model that supports zero-shot text-to-speech (TTS), voice design, vocal generation, sound effects, music, vibe speech, and mixtures of multiple audio types within a unified framework. At its core, StepAudio 3 Gen is a discrete autoregressive generator that models audio directly over residual vector quantization (RVQ) tokens, departing from the diffusion Transformer-based continuous generation paradigm prevalent in recent general audio models. Its StepAudio Tokenizer represents general audio at 12.5 Hz in a shared $16 \times 2048$ residual code space, jointly quantizing semantic and waveform-level acoustic features so that each code layer preserves both types of information. For generation, the backbone predicts the first codebook along the time axis using autoregressive modeling, while a lightweight causal Transformer completes the remaining fifteen codebooks along the codebook axis. Our study further identifies three key design principles: (1) interference-aware progressive pretraining for acquiring audio capabilities while preserving the textual abilities of the large language model, (2) RVQ Adaptor for effectively incorporating multi-codebook acoustic representations, and (3) discrete autoregressive modeling over a shared representation across general audio domains. With progressive pretraining, multi-task instruction training, and supervised fine-tuning, StepAudio 3 Gen achieves state-of-the-art performance on both TTS and voice design, while retaining strong generation capabilities across speech, vocals, sound effects, and music. Audio samples are available at https://stepaudiollm.github.io/step-audio-3-gen/.

cs.SD↗

arXiv2026

When Ad Networks Misbehave: Understanding Risks of Semi-Drive-By Splash Ads

We investigate the mobile splash ads ecosystem, i.e., full-screen advertisements shown at app launch, where monetization relies on interaction signals that are difficult to verify end-to-end. This setting is especially sensitive because incidental touches and sensor-driven callbacks are common yet easy to misattribute as engagement. Prior work has largely framed mobile ad fraud as a publisher-side problem, while some studies attribute fraudulent operations to embedded ad libraries. Yet an important risk remains underexplored: ad SDKs control how interaction signals are interpreted, measured, and reported, creating an opportunity to reinterpret ambiguous user or device signals as valid advertising interactions. We uncover a previously less-known form of fraud at the ad-network layer in which splash ads are triggered not by intentional user actions but by incidental or indirect interactions, which we term semi-drive-by splash ads. By translating non-ad interactions into billable engagement events, ad networks can inflate performance metrics, overcharge advertisers, and erode user trust. To expose this behavior in the wild, we design AdHive, an automated honeypot-like analysis framework that induces evasive splash-ad delivery and landing behaviors under realistic device conditions. AdHive reproduces human-like activity through LLM-generated usage traces and sensor dynamics, enabling execution paths that remain hidden in conventional analysis environments. Our large-scale measurement across thousands of popular Android applications shows that semi-drive-by splash ads are widespread and are often triggered by subtle signals such as minor sensor variations. We further confirm real-world impact by working with one of China's largest advertisers, identifying multiple ad networks engaging in this fraud and leading to enforced repayments of about 4 million Yuan (approximately US$600,000).

cs.CR↗

arXiv2026

MedQA-MM: Shortcuts Behind Medical Visual Reasoning

A benchmark score credits final answers, but not the route by which an item can be answered. In medical multimodal multiple-choice questions (MCQs), this distinction matters because a correct answer can be supported by the intended image finding or by benchmark-preserved cues in the wording of answers, non-visual clinical text, visible image text, artificial annotations, or device/context artifacts. We call the resulting score-level overinterpretation reasoning inflation. Here, a route is an observable input path that can support answer selection, not a claim about the model's hidden cognition. Across six medical multimodal MCQ datasets, we separate candidate cues from behavioral evidence through prompt- and image-side audits, modality ablations, and matched repairs that preserve the medical target and answer key. In a 13-configuration open-model panel, full-input accuracy is 62.63%, while text-only and options-only settings achieve 53.96% and 29.71%, respectively. Removing length-gap, absolute/conspicuous, and spatial/prepositional cues lowers accuracy by 6.58, 3.50, and 4.77 percentage points. We also construct MedQA-MM, a 1,000-item shortcut-mitigated subset, where text-only and options-only accuracy fall to 5.21% and 12.33%. This does not imply that models never use images; it shows that medical image-reasoning claims require route-level evidence.

cs.CV↗

arXiv2026

Direct Realization of Near-Ideal Carbyne in Ultrathin Boron Nitride Nanotubes

Carbyne, the sp-hybridized one-dimensional allotrope of carbon, is predicted to be the stiffest known material, with electronic and optical properties set by a single structural parameter, the bond length alternation. However, its intrinsic properties have never been measured: chains synthesized through molecular chemistry carry endgroup and finite-length perturbations that persist even in the longest molecules available, while chains grown inside carbon nanotubes strongly couple to the host, which renormalizes their vibrational frequency by up to 110 cm$^{-1}$ in a diameter-dependent manner. Here, we show that encapsulating and thermally converting hydrogen-capped polyynes inside ultrathin boron nitride nanotubes, structural analogues of carbon nanotubes but electrically insulating, yields carbyne chains in a near-ideal regime, where endgroup, finite length, and host-guest perturbations are reduced to secondary effects. Statistical Raman spectroscopy across 245 locations returns a vibrational frequency distribution an order of magnitude narrower than in carbon nanotubes, an anharmonicity consistent with the universal law for carbyne-like materials, and a bond length alternation matching correlated calculations for the free chain. No photoluminescence is detected, despite the transparent host, as expected for the dipole-forbidden emission of an unperturbed carbyne chain. Boron nitride nanotubes give experimental access to carbyne in its near-ideal form.

cond-mat.mes-hall↗

arXiv2026

GeoContext: One Context Ladder, Two Failure Modes in Vision-Language Geolocation: Flat Reliance on User-Provided Location Context and False Confirmation of Location Claims

Visual geolocation benchmarks typically ask a model where an image was captured without accounting for the location context that users often provide. We introduce GeoContext, a resource supporting two complementary tasks: GeoHint, open-ended localization given a true but coarse location hint, and GeoVerify, binary verification of whether an image was taken within 150 m of a claimed place. GeoContext constructs a context ladder by stratifying nearby reference points according to distance and referenceability, allowing the image to remain fixed while the supplied context varies. The benchmark covers 109 sites in 30 cities and evaluates five vision-language models using 21,933 GeoHint responses and 6,270 GeoVerify responses. Our evaluation reveals three main patterns. First, hint repetition varies by only 1.5 percentage points across referenceability tiers and by less than 3 points across distance bands, while the resulting localization error increases steadily with hint distance. Second, behavior depends strongly on no-context performance: at sites with low no-context accuracy, the median ratio between localization error and hint distance is approximately 1.00, whereas at higher-accuracy sites it ranges from 0.24 to 0.69. After correcting for bias introduced by the site grouping procedure, only one of the five models retains a negative accuracy estimate when given a nearby hint. Third, in GeoVerify, no model reaches d' = 1 for decoys immediately beyond the 150 m tolerance. Model rankings also change when sensitivity is separated from response bias, and 83.8% of false acceptances are reported with confidence of at least 0.8. We release the benchmark, construction pipeline, audit decisions, and scoring code.

cs.CV↗

arXiv2026

Comparables XAI: Faithful Example-based AI Explanations with Counterfactual Trace Adjustments

Explaining with examples is an intuitive way to justify AI decisions. However, it is challenging to understand how a decision value should change relative to the examples with many features differing by large amounts. We draw from real estate valuation that uses Comparables-examples with known values for comparison. Estimates are made more accurate by hypothetically adjusting the attributes of each Comparable and correspondingly changing the value based on factors. We propose Comparables XAI for relatable example-based explanations of AI with Trace adjustments that trace counterfactual changes from each Comparable to the Subject, one attribute at a time, monotonically along the AI feature space. In modelling and user studies, Trace-adjusted Comparables achieved the highest XAI faithfulness and precision, user accuracy, and narrowest uncertainty bounds compared to linear regression, linearly adjusted Comparables, or unadjusted Comparables. This work contributes a new analytical basis for using example-based explanations to improve user understanding of AI decisions.

cs.HC↗