arXiv Science⌕ Search

arXiv subjects

Bin Wang

Publications and source records attributed to Bin Wang.

At least 19 recordsLinked to original sources

A novel class of high-order uniformly accurate exponential integrators with local linear extension for the charged-particle dynamics under strong magnetic field

In this paper, we develop a novel class of high-order uniformly accurate exponential integrators for charged-particle dynamics under strong magnetic field. The small parameter $0<\varepsilon\ll 1$ induces rapid temporal oscillations, rendering traditional numerical methods prohibitively expensive due to severe step-size restrictions. To address this issue, a linearization technology that introduces auxiliary polynomial variables is employed to recast the original charged-particle dynamics as a higher-dimensional system. Classical exponential integrators are subsequently applied to this augmented formulation, which inherently carries richer structural information, thereby yielding a family of uniformly accurate exponential integrators that can reach arbitrarily high order without requiring any order conditions. For strong magnetic fields under the maximal-ordering scaling, we rigorously establish through algebraic techniques that the schemes with auxiliary polynomial variables of degree $k\geq2$ achieve an improved position error bound of $\mathcal{O}(\min\{\varepsilon^{k+1}h,\varepsilon h^{k+1}\})$ and a uniform velocity error bound of $\mathcal{O}(\min\{\varepsilon^{k}h,h^{k+1}\})$, where $h$ denotes the time-step size. Under the additional condition that the magnetic field gradient vanishes at the origin, these bounds sharpen to $\mathcal{O}(\min\{\varepsilon^{k+2},\varepsilon h^{k+1}\})$ and $\mathcal{O}(\min\{\varepsilon^{k+1},h^{k+1}\})$ for the position and velocity, respectively, for $k\geq1$. The same sharper bounds hold for constant strong magnetic fields. Numerical experiments confirm the advantages of the proposed methods.

math.NA↗

Interior curvature estimates for convex solutions of a prescribed curvature quotient equation

In this note, we prove a priori interior curvature bounds for convex solutions to an elliptic Weingarten curvature quotient equation. The proof avoids integral estimates, doubling inequalities and compactness arguments. It relies on a concavity inequality for the equation operator and a novel choice of the auxiliary function to carry out an elementary maximum-principle argument. As an application, we obtain interior curvature bounds for convex solutions of a prescribed special Lagrangian curvature equation in dimensions three and four.

math.AP↗

NxN E-valuation: Hypothesis Certification via a Conformal CRT Null

Language models now propose hypotheses faster than anyone can check them, so the step that certifies them must need nothing from the proposer but the hypothesis. We state three requirements for such a step -- per-hypothesis automatable, attributable and diagnostic -- and introduce NxN e-valuation, which meets them. A hypothesis names a scope, the units it is about, and gives each of them a restriction that scores its outcome. The units of one scope serve as nulls for one another, so no resampling model is written per hypothesis; the algorithm certifies a stable, scope-level association and reports whether the scope, the restriction, or which unit receives which restriction carries the prediction. For independently drawn units, betting e-values bound the chance of a false certificate for each hypothesis in finite samples, under stated nulls. A betting lower bound on the share of units that carry the association gates every certificate, and an asymptotically valid equivalence test calls the restrictions shared only when it rejects differences between them above a declared noise ceiling. We test it on planted data, on randomized intervention data, and on real purchase data with 285 hypotheses that language models wrote without knowing our method or our classes, labeled by human experts. Meeting all three requirements costs no accuracy: NxN makes 692 correct decisions in 693 with one false certificate, against 659 with four for a composite of CRT tests that returns our verdicts but needs a resampling model per hypothesis, and 224 with 468 for held-out validation. Removing any of our statistics merges a verdict that certifies with one that rejects. The certificates concern predictive association, not causality.

cs.AI↗

From AI-assisted to AI-native Industrial Control: Architecture, Agent Design, and Challenges

The integration of AI and industrial control is rapidly transforming industrial automation. However, current approaches remain predominantly AI-assisted, where AI functions are incorporated as auxiliary components without fundamentally altering the underlying architecture of industrial control systems. Consequently, the potential of AI to enable higher levels of autonomy, adaptability, and continuous evolution remains underutilized. This paper proposes an AI-native industrial control paradigm, which reconceptualizes industrial control systems by positioning AI as the intrinsic core rather than an external enhancement. The proposed paradigm is built upon an AI-native infrastructure and a collection of collaborative agentic AIs, each encapsulating a set of advanced skills. Among them, the industrial control agent plays a central role in orchestrating the system lifecycle. Through this paradigm, industrial control shifts from a closed, capability-oriented, human-driven, and passive engineering process to an open, task-oriented, intent-driven, and autonomous solution delivery mechanism. The paper further analyzes the key challenges of the AI-native paradigm from both AI and industrial control perspectives, including issues related to AI model reliability, formal verification, real-time assurance, and heterogeneous resource orchestration. Overall, this work outlines a forward-looking vision for industrial control in the AI era and identifies critical research directions toward autonomous, evolvable, and adaptive control systems in complex and dynamic industrial environments.

physics.soc-ph↗

An explicit third-order low-regularity integrator for the cubic nonlinear Schrödinger equation

In this paper, we propose an explicit third-order low-regularity integrator for the cubic nonlinear Schrödinger equation on the one-dimensional torus $\mathbb{T}$. By carefully designing numerical approximations for the integrals in Fourier space, we construct a third-order scheme and provide a rigorous global error analysis. More precisely, we prove that the scheme achieves third-order convergence in $H^{r}(\mathbb{T})$ for the initial data in $H^{r+4}(\mathbb{T})$ with $r>1/2$. Furthermore, the third-order convergence in $L^{2}(\mathbb{T})$ is established for the initial data in $H^{4}(\mathbb{T})$. Numerical experiments are presented to confirm the theoretical convergence results.

math.NA↗

When Fusion Order Matters: Insights on Progressive Multimodal Representation Learning for Cross-modal Retrieval

Multimodal video retrieval combines visual, acoustic, and speech information, yet how their fusion order should depend on the data and the retrieval query remains unclear. We introduce Unified Progressive Representation Learning for Order Analysis, or UniPRO, to investigate this question through configurable fusion schedules with matched model components and training settings. Starting from text-to-video retrieval, we find that the tested one-by-one schedules outperform stacked fusion, while changing the order within one-by-one fusion also changes performance. To guide order selection, we examine two complementary considerations: learning difficulty under unequal modality availability and preservation of information relevant to the query. Complete-modality controls show that missing inputs alone cannot explain order sensitivity. At R@1, text and audio retrieval favor schedules that introduce the modality matching the query last. Controlled speech missingness during training and testing reverses the preferred order in both R@1 and SumR, with different crossover points. These findings motivate balancing the two considerations when selecting a fusion path. We then use them to predict a visual-last schedule for image queries, which achieves 97.9 R@1, the highest among the evaluated orders on MSR-VTT-9k. Main experiments on four text-to-video benchmarks establish the effectiveness of UniPRO, with component ablations assessing its supporting design. Together, the results identify fusion order as a task-dependent choice that should account jointly for modality availability and the retrieval query.

cs.AI↗

AlphaAnything: Extending Pretrained RGB Generators to RGBA

Existing RGBA generation methods commonly learn a transparency-specific representation through reconstruction, introducing an additional training stage and potentially altering the RGB decoding function inherited from pretrained models. We present AlphaAnything, a lightweight framework that extends pretrained RGB generators to RGBA directly in their original latent space, without RGBA reconstruction pretraining. AlphaAnything inserts LoRA modules into the generative transformer and attaches an alpha branch to the frozen RGB VAE decoder. Unidirectional RGB-to-alpha feature sharing allows opacity supervision to shape the generative latent while guaranteeing that, for any fixed latent, RGB decoding remains identical to that of the pretrained decoder. We further introduce Endpoint-Aware Alpha Loss (EA Loss), which derives opacity supervision from the complementary foreground--background weights used in compositing. It supports exact opacity endpoints and continuous partial transparency while emphasizing localized alpha errors. Experiments on text-to-RGBA and image-to-RGBA tasks across multiple pretrained RGB backbones demonstrate competitive generation quality, and controlled ablations validate the shared-latent training design and EA Loss.

cs.CV↗

Sci-CoE: Co-evolving Scientific Reasoning LLMs via Geometric Consensus with Sparse Supervision

Large language models (LLMs) have demonstrated exceptional reasoning capabilities, and co-evolving paradigms have shown promising results in domains with verifiable reward signals, such as code and math. However, in unverifiable domains, such as scientific reasoning, these methods remain fragile due to unreliable solution evaluation and limited diversity in verification strategies. In this work, we propose Sci-CoE, a two-stage co-evolving framework for domains without verifiable feedback. The framework enables models to self-evolve as both solvers and verifiers by transitioning from sparse supervision to unsupervised learning. In the first stage, the model uses a small set of annotated data to establish fundamental correctness judgment anchors for the Verifier. In the second stage, we introduce a geometric reward mechanism that jointly considers consensus, reliability, and diversity, driving large-scale self-iteration on unlabeled data. Experiments on several general scientific benchmarks demonstrate that Sci-CoE enhances complex reasoning capabilities and exhibits strong scalability, facilitating the construction of more robust and diverse evaluation systems. Codes are available at https://github.com/InternScience/Sci-CoE.

cs.AI↗

AtomicRL: Atomic Reinforcement Learning for Long-Horizon Robotic Manipulation

Vision-language-action (VLA) models have shown promise in robotic manipulation, but imitation learning (IL) alone often struggles to master complex long-horizon skills. Reinforcement learning (RL) offers an effective avenue for further improving VLA policies. However, existing VLA-RL methods typically suffer from delayed and biased credit assignment due to trajectory-level sparse rewards, while imbalanced subtask mastery creates bottlenecks that limit overall performance. To address these challenges, we propose AtomicRL, an RL post-training framework that leverages atomic task structures for reliable credit assignment and adaptive exploration. AtomicRL introduces Semantic-Aware Policy Optimization (SAPO), which uses semantic-aware gating to constrain TD residuals from failed atomic subtasks from propagating across task boundaries, mitigating credit contamination while preserving intra-subtask credit assignment and value bootstrapping. In addition, Bottleneck-Adaptive Target Exploration (BATE) dynamically coordinates task sampling and local exploration incentives based on the mastery of individual atomic subtasks, directing learning toward the remaining bottlenecks. Finally, we develop a Real2Sim2Real pipeline that bridges online RL in simulation with real-world deployment, facilitating practical transfer to physical robots. On LIBERO-LONG, AtomicRL achieves absolute performance gains of 3.6% and 4.0% over PPO across two VLA architectures. On CALVIN ABC-D, it improves full-task performance by up to 9.5% over PPO. Combined with the Real2Sim2Real pipeline, AtomicRL further improves real-world task performance by an average of 21.3%. These results demonstrate that AtomicRL effectively improves the learning efficiency and manipulation performance of VLA policies on long-horizon tasks.

cs.RO↗

DocLayout-YOLO: Axis-Attentive Document Layout Detector with Mesh-Guided Synthetic Pretraining

Accurate and efficient document layout analysis is critical for modern document parsing systems. However, although the YOLO framework represents a leading paradigm for the real-time detector, its adaptation to heterogeneous documents remains underexplored. To address this gap, we propose DocLayout-YOLO, a document-specialized real-time detector that integrates diverse synthetic document pretraining and page-axis context modeling. From the data perspective, we introduce MeshLayout-1M, a synthetic pretraining corpus generated by the proposed Mesh-candidate BestFit algorithm, which provides large-scale and diverse document layouts for pretraining and improves adaptation to heterogeneous document scenarios. From the model perspective, we propose Page-Axis Layout Attention (PALA), which captures long-range dependencies along the horizontal and vertical page axes while remaining computationally efficient. Extensive experiments demonstrate that DocLayout-YOLO achieves state-of-the-art performance on four heterogeneous document benchmarks, obtaining 72.4%/75.5%/96.0%/73.1% mAP50:95 on D4LA, M6Doc, HJDataset, and PRIMA-LAD, respectively. Compared with existing real-time detectors, DocLayout-YOLO establishes a superior accuracy-efficiency trade-off in document layout analysis. Code, model, and data are available at https://github.com/opendatalab/DocLayout-YOLO/tree/release-v2.

cs.CV↗

Asymptotic Enumeration of $F$-decompositions in Typical Hypergraphs and of Universal Cycles

In this paper, we determine the asymptotic number of $F$-decompositions in typical hypergraphs. More precisely, let $F$ be a non-trivial $f$-vertex $k$-graph. We show that, for all sufficiently large $n$, every $n$-vertex $F$-divisible $(n^{-ζ},h,p)$-typical $k$-graph $G$ has $n^{\frac{f-k+o_n(1)}{|F|}|G|}$ $F$-decompositions. As an application, we asymptotically enumerate universal cycles for $k$-subsets of $[n]$, or equivalently, tight Euler tours of the complete $k$-graph $K_n^k$. For every $k\ge2$ and all sufficiently large $n$ satisfying $k\mid {n-1 \choose k-1}$, the number of such universal cycles is $n^{(1-γ(n)){n \choose k}}$, where $0<γ(n)=o_n(1)$. More generally, for $\ell\in[k-1]$, we show that a sufficiently typical $n$-vertex $k$-graph $G$ satisfying the corresponding divisibility condition has $n^{(k-\ell-γ'(n))|G|}$ Euler $\ell$-tours, where $0<γ'(n)=o_n(1)$.

math.CO↗

Finite Symplectic Automorphism Groups of K3 Surfaces in Characteristic Seven

We classify all finite groups of order divisible by $7$ that admit a faithful symplectic action on a K3 surface over an algebraically closed field of characteristic seven, together with the possible heights and Artin invariants. Combined with the known classification of tame actions, this gives the complete list of finite groups admitting such an action in characteristic seven.

math.AG↗

Evolution and breakdown of chiral anomaly in Weyl semiconductor tellurium

Chiral anomaly in topological materials manifests as negative longitudinal magnetoresistance, yet the tunability and evolution of this effect remain elusive. Here we show that doped tellurium serves as a versatile platform to realize a giant negative longitudinal magnetoresistance that is highly tunable via the Fermi level and magnetic field. By moving the Fermi level towards the Weyl point, we observe a pronounced enhancement of negative magnetoresistance, which arises from chiral anomaly and robustly persists up to ambient temperature. Beyond the quantum limit, the system exhibits positive linear magnetoconductance, serving as a compelling transport signature of the chiral anomaly in the lowest Landau level. Notably, in the extreme quantum limit at cryogenic temperatures, the magnetoresistance undergoes a dramatic reversal from negative to positive. This reversal points to a potential field-induced phase transition into a collective electronic state driven by enhanced electron-electron interactions. Our findings provide valuable insights into the unconventional chiral transport and emergent correlated quantum states under extreme magnetic fields.

cond-mat.mtrl-sci↗

A 2D Image Feedback-Based Autonomous Endovascular Navigation Method: A Perception and Control Framework

In endovascular interventions, physicians rely on planar DSA and X-ray fluoroscopy to interpret vessel anatomy and device motion, yet converting these images into feedback for autonomous navigation remains difficult. A perception and control method is formulated for two-dimensional image feedback. Vessel masks are converted into a labeled centerline graph, and device-tip estimates are projected onto a planned path to obtain progress, deviation, and direction. A rule-based controller uses these quantities for delivery, branch selection, probing, rollback, and recovery. The method was evaluated on a physical dual-device robotic platform in 65 closed-loop runs using simulator-rendered planar images across three paths. All runs reached at least 0.95 maximum observed guidewire progress; two runs (3.1%) met the prespecified failure rule of three or more autonomous stop events. The results establish route-level performance on the tested platform; clinical image sequences and broader anatomy remain to be evaluated.

cs.RO↗

Attribution-Gated Joint Estimation of Intention and Capability for Assist-as-Needed Upper-Limb Robots

Assist-as-needed (AAN) control must distinguish between changes in intended motion and changes in effective voluntary torque capability, even though both can produce similar kinematic and interaction responses. A dual-measurand multimodal MHE-MPC architecture is developed as the base framework, in which the intended trajectory and the task-dependent effective voluntary torque capability are estimated online as distinct quantities, and both estimates are used to adapt robotic assistance. Building on this architecture, the ambiguity between the two update channels is formulated as a continuous credit-assignment problem and resolved by an attribution gate. A trajectory-change indicator is obtained from persistent corrective interaction, whereas a capability-change indicator is derived from the residual between normalized muscle activation and dynamics-reconstructed voluntary torque. Nine healthy participants completed factorial target-height-load trials and a pre-post fatigue cup-transport task. Without target-height input, the gated method generated correctly ordered Low-Middle-High references under every load: target changes were preferentially assigned to trajectory adaptation, whereas added load shifted adaptation toward the capability channel. It achieved the lowest RMSE in all nine conditions (0.017 rad versus 0.041 rad for ungated dual estimation and 0.127 rad for fixed-reference error-based AAN). Post-fatigue capability estimates decreased and assistance increased at all heights, supporting functional feasibility.

cs.RO↗

DC-TORQ: Fast Assessment of Data Center-Induced Generator Torsional Oscillation Risk Quantification

The periodic power demand of large data centers can introduce forced oscillations into the power system. When these oscillations contain frequency components near a turbine-generator torsional mode, they may excite sustained shaft torque oscillations with amplitudes exceeding the allowable cyclic torque limits. Characterizing the impact of data center power oscillations on generator shaft torque requires accounting for frequency-dependent network coupling among the data center, the transmission network, and the generators. Although electromagnetic transient (EMT) simulations can capture these interactions in detail, repeated simulations across excitation frequencies and load locations can be computationally demanding. This paper proposes an analytical framework for data center induced torsional oscillations that retains the coupled electrical and shaft dynamics. A detailed generator-network model is established, and closed-form transfer functions that map data center power perturbations to the torque in each shaft section are derived. Admissible shaft torque amplitudes are then translated into frequency-dependent limits on data center power oscillations. The proposed framework enables fast assessment of the shaft torque response while accounting for network dynamics and provides a quantitative screening criterion for candidate data center connection buses. The framework is validated on the IEEE benchmark model and applied to the IEEE 39-bus system.

eess.SY↗

A Master-to-Simulation Interface with Demonstration-Trajectory Guidance for Vascular Intervention

Robotic vascular intervention can reduce radiation exposure to physicians and improve manipulation stability, but effective guidance remains challenging because conventional fluoroscopic images provide limited spatial information. This paper developed a vascular intervention interactive system that connects a real robotic master controller with the SOFA(Simulation Open Framework Architecture) physical simulation platform and reused successful operation trajectories as visual guidance in physical phantom experiments. Experiments were conducted to validate the master-to-SOFA control loop and to compare three guidance conditions: no guidance, centerline guidance, and successful-trajectory guidance. The control validation results showed reliable command delivery under velocity-mode operation. In the physical phantom experiment, centerline guidance showed no obvious improvement over no guidance. In contrast, successful trajectory guidance provided a clear performance benefit. Compared with the no-guidance condition, it reduced task completion time, collision number, rollback number, and rotation number by approximately 66.8%, 34.3%, 55.6%, and 66.7%, respectively. These results indicate that successful trajectories obtained under instrument-vessel interaction can provide practical guidance cues, offering a simple and effective visual assistance strategy for robotic vascular intervention experiments.

cs.RO↗

A VR Training System for Robot-Assisted Vascular Intervention with Dual-Mode Control and Model-Based Interaction Response

Virtual reality training for robot-assisted vascular intervention requires accurate robotic control and effective feedback on guidewire--vessel interactions. This paper presents a VR training system combining asynchronous dual-mode command mapping with sensorless interaction estimation. The system supports velocity-controlled navigation and position-driven incremental manipulation. Guidewire deformation and a Hunt--Crossley-type contact response are combined and temporally filtered to estimate interaction intensity, while trajectory-based visualization supports post-procedure review. Tests confirmed distinct command-dispatch patterns across three velocity gears and the position mode. During hybrid-scene navigation, the estimated response remained low during straight insertion and increased as the guidewire bent within the vascular model. Trajectory analysis yielded a model-derived cumulative trauma work (CTW) value of 15.166 in normalized units and localized regions of elevated interaction. In a preliminary study with 15 novices, physical-phantom task success increased from 53.3% to 93.3% after VR training, while mean completion time decreased from 132.4 s to 96.7 s. These results demonstrate the system's dual-mode operation, deformation-sensitive feedback, and potential to improve subsequent physical-phantom task performance.

cs.RO↗