arXiv ScienceSearch

arXiv subjects

Hantao Zhang

Publications and source records attributed to Hantao Zhang.

At least 19 recordsLinked to original sources

MultiView-Bench: A Diagnostic Benchmark for World-Centric Multi-View Integration in VLMs

Recent benchmarks for VLMs largely assess single- or limited-view perception, leaving untested the core cognitive ability to integrate observations across viewpoints into a coherent, world-centric (allocentric) 3D mental model. We introduce MultiView-Bench, a diagnostic benchmark expressly designed to evaluate multi-view integration for holistic 3D scene comprehension. Unlike existing datasets that focus on pixel-level mapping or camera-relative navigation, MultiView-Bench requires models to decouple object positioning from transient perspectives and ground them in a fixed global coordinate system. This capability serves as a prerequisite for VLMs before being deployed for downstream tasks such as mechanical part assembly. Our systematic evaluation of frontier VLMs reveals consistent failure modes: strong performance on 2D planar relations from a single image, but marked difficulty with 3D spatial relations and with aggregating information across views. We further identify biases in VLMs, such as struggles with unconventional axis directions and sensitivity to object colorways and texture variations. Acknowledging these limitations, we propose ViewNavigator, which uses active viewpoint selection and evidence fusion to improve four base models by 12.3--20.0 percentage points under a six-image cap matching the fixed-view baseline; budget-extended gains are model-dependent and reach 27 percentage points for GPT-5.

cs.CV

Countability versus Computability

The concept of {\em countable sets} is attributed to Georg Cantor, who established the distinction between countable and uncountable sets in 1874. The concept of {\em computable sets} emerged in the 1930s through the foundational work on computing models by \Godel, Church, and Turing. In this paper, we investigate the connection between countability and computability. A {\em counting bijection} of a set $S$ is a bijection from the set of natural numbers to $S$. We say $S$ is {\em enumerable} if it is either finite or admitting a computable counting bijection. Our initial investigation shows that a set $S$ is enumerable if and only if it is computable. This equivalence offers new insights into set theory and computability theory. We further show that a set is countable if and only if it admits a {\em counting order}, which is a well order satisfying the {\em proximal} property. Based on this concept, we provide a procedure whose existence gives a necessary and sufficient condition for a set to be countable. This procedure is an algorithm if and only if the set is computable. A counting bijection $f$ is {\em increasing} if $f(x)>f(y)$ whenever $x>y$. We prove that an infinite set $S$ of natural numbers is definable in first-order arithmetic if and only if $S$ has an increasing counting bijection. This result has a significant implication: the standard proof that every set $S$ of natural numbers is countable is invalid. This is because the existing proof establishes that $S$ has an increasing counting bijection, which (by our result) would imply that $S$ is definable in first-order arithmetic. This leads to a contradiction with Tarski's undefinability theorem when $S$ is the set of \Godel\ numbers of the true arithmetic sentences.

cs.CC

Stochastic binary networks with asymmetric and time-delayed interactions

Stochastic binary networks are widely used to describe collective dynamics in complex systems and to perform neuromorphic computation, yet realistic networks often contain both asymmetric interactions and finite signal propagation times that fall outside conventional theories. Here we study stochastic binary networks with asymmetric and time-delayed interactions motivated by experimental observations in coupled superparamagnetic tunnel junctions. We find that time delay fundamentally reshapes the dynamics induced by anti-symmetric couplings, producing strong oscillatory temporal correlations consistent with experiment. At the same time, sufficiently long delays drive the steady-state probabilities toward equal state occupations even in strongly coupled systems. These apparently featureless probability distributions coexist with pronounced temporal correlations, distinguishing them from equilibrium high-temperature behavior. We further show analytically that delay-induced uniform distributions emerge in a broad class of stochastic networks, while symmetry-breaking bias fields restore interaction-dependent steady states with qualitatively modified behavior. Simulations of networks with five coupled spins demonstrate that these effects persist beyond minimal systems with only two spins. Our results establish a unified framework for stochastic binary networks in the intermediate regime between symmetric instantaneous interactions and asymmetric or time-delayed interactions, and suggest that asymmetry and delay can be exploited as functional resources in neuromorphic hardware and complex network dynamics.

physics.app-ph

GenMed: A Pairwise Generative Reformulation of Medical Diagnostic Tasks

Data-driven medical AI is traditionally formulated as a discriminative mapping from input $X$ to output $Y$ via a learned function $f$, which does not generalize well across heterogeneous data and modalities encountered in real-world clinical settings. In this work, we propose a fundamentally different, generative paradigm. We model the joint distribution $P(X,Y)$ using diffusion models and reframe inference as a test-time output optimization problem. By guiding the generative process to match observed inputs, our framework enables flexible, gradient-based conditioning at inference time without architectural changes or retraining, effectively supporting arbitrary and previously unseen combinations of observations. Extensive experiments demonstrate strong performance across standard and cross-modality medical image segmentation, few-shot segmentation with only 2 or 4 training samples, degraded-input segmentation, shape completion from sparse and partial observations, and zero-shot application to demonstrate generality. To support these evaluations, we curated and released a large-scale text-shape dataset derived from MedShapeNet. Our results highlight the versatility of generative joint modeling as a foundation for reusable, task-agnostic medical AI systems.

cs.CV

PhysGen: Physically Grounded 3D Shape Generation for Industrial Design

Existing generative models for 3D shapes can synthesize high-fidelity and visually plausible shapes. For certain classes of shapes that have undergone an engineering design process, the realism of the shape is tightly coupled with the underlying physical properties, e.g., aerodynamic efficiency for automobiles. Since existing methods lack knowledge of such physics, they are unable to use this knowledge to enhance the realism of shape generation. Motivated by this, we propose a unified physics-based 3D shape generation pipeline, with a focus on industrial design applications. Specifically, we introduce a new flow matching model with explicit physical guidance, consisting of an alternating update process. We iteratively perform a velocity-based update and a physics-based refinement, progressively adjusting the latent code to align with the desired 3D shapes and physical properties. We further strengthen physical validity by incorporating a physics-aware regularization term into the velocity-based update step. To support such physics-guided updates, we build a shape-and-physics variational autoencoder (SP-VAE) that jointly encodes shape and physics information into a unified latent space. The experiments on three benchmarks show that this synergistic formulation improves shape realism beyond mere visual plausibility. Our code and model weights are available at https://github.com/kasvii/PhysGen.

cs.CV

Annealed Co-Generation: Disentangling Variables via Progressive Pairwise Modeling

For multivariate co-generation in scientific applications, we advocate pairwise block rather than joint modeling of all variables. This design mitigates the computational burden and data imbalance. To this end, we propose an Annealed Co-Generation (ACG) framework that replaces high-dimensional diffusion modeling with a low-dimensional diffusion model, which enables multivariate co-generation by composing pairwise variable generations. We first train an unconditional diffusion model over causal variables that are disentangled into pairs. At inference time, we recover the joint distribution by coupling these pairwise models through shared common variables, enabling coherent multivariate generation without any additional training. By employing a three-stage annealing process-Consensus, Heating, and Cooling-our method enforces consistency across shared common variables and progressively constrains each pairwise data distribution to lie on a learnable manifold, while maintaining high likelihood within each pair. We demonstrate the framework's flexibility and efficacy on two distinct scientific tasks: flow-field completion and antibody generation. All datasets and code will be made publicly available upon publication.

cs.LG

See it. Say it. Sorted: Agentic System for Compositional Diagram Generation

We study sketch-to-diagram generation: converting rough hand sketches into precise, compositional diagrams. Diffusion models excel at photorealism but struggle with the spatial precision, alignment, and symbolic structure required for flowcharts. We introduce See it. Say it. Sorted., a training-free agentic system that couples a Vision-Language Model (VLM) with Large Language Models (LLMs) to produce editable Scalable Vector Graphics (SVG) programs. The system runs an iterative loop in which a Critic VLM proposes a small set of qualitative, relational edits; multiple candidate LLMs synthesize SVG updates with diverse strategies (conservative->aggressive, alternative, focused); and a Judge VLM selects the best candidate, ensuring stable improvement. This design prioritizes qualitative reasoning over brittle numerical estimates, preserves global constraints (e.g., alignment, connectivity), and naturally supports human-in-the-loop corrections. On 10 sketches derived from flowcharts in published papers, our method more faithfully reconstructs layout and structure than two frontier closed-source image generation LLMs (GPT-5 and Gemini-2.5-Pro), accurately composing primitives (e.g., multi-headed arrows) without inserting unwanted text. Because outputs are programmatic SVGs, the approach is readily extensible to presentation tools (e.g., PowerPoint) via APIs and can be specialized with improved prompts and task-specific tools. The codebase is open-sourced at https://github.com/hantaoZhangrichard/see_it_say_it_sorted.git.

cs.AI

High-speed antiferromagnetic domain walls driven by coherent spin waves

The ability to rapidly manipulate domain walls (DWs) in magnetic materials is key to developing novel high-speed spintronic memory and computing devices. Antiferromagnetic (AFM) materials present a particularly promising platform due to their robustness against stray fields and their potential for exceptional DW velocities. Among various proposed driving mechanisms, coherent spin waves could potentially propel AFM DWs to the magnon group velocity while minimizing dissipation from Joule heating. However, experimental realization has remained elusive due to the dual challenges of generating coherent AFM spin waves near isolated mobile AFM DWs and simultaneously measuring high-speed DW dynamics. Here we experimentally realize an approach where ultrafast laser pulses generate coherent spin waves that drive AFM DWs and develop a technique to directly map the spatiotemporal DW dynamics. Using the room-temperature AFM insulator Sr$_2$Cu$_3$O$_4$Cl$_2$, we observe AFM DW motion with record-high velocities up to ~50 km/s. Remarkably, the direction of DW propagation is controllable through both the pump laser helicity and the sign of the DW winding number. This bidirectional control can be theoretically explained, and numerically reproduced, by the DW dynamics induced by coherent spin waves of the in-plane magnon mode - a phenomenon unique to magnets with an easy-plane anisotropy. Our work uncovers a novel DW propulsion mechanism that is generalizable to a wide range of AFM materials, unlocking new opportunities for ultrafast coherent AFM spintronics.

cond-mat.mes-hall

Characterizing Spin-Orbit Torques by Tensorial Spin Hall Magnetoresistance

Magnetoresistance (MR) provides a crucial tool for experimentally studying spin torques. While MR is well established in the device geometry of the spin Hall effect (SHE), as exemplified by the magnet/heavy-metal heterostructures, its role and manifestation beyond the SHE paradigm remain elusive. We propose a hitherto unknown form of MR where the underlying charge-to-spin conversion and its inverse process violate the simple geometry of the SHE, calling for tensorial descriptions. This MR can generate a series of unique harmonic responses essential for the experimental characterization of unconventional spin-orbit torques in non-SHE materials. We demonstrate these harmonic signals with semimetal WTe$_2$ in mind but the results are not restricted to specific materials.

cond-mat.mes-hall

Data-driven trap theory for nuclear scattering

We present a novel data-driven trap theory (abbreviated as DDTT) for nuclear scattering, which aims to overcome the limitations of the traditional trap method in dealing with narrow potential wells, while also providing a more efficient framework for handling long-range Coulomb interactions. As proof-of-concept examples, we employ this unified theory to analyze the elastic scattering of nucleon-nucleon and nucleon-α systems. DDTT can successfully produce results consistent with those from traditional approaches, highlighting its significance for ab initio light nuclei scattering studies and potential for applications in the heavier mass region.

nucl-th

Néel Spin-Orbit Torque in Antiferromagnetic Quantum Spin and Anomalous Hall Insulators

Interplay between magnetic ordering and topological electrons not only enables new topological phases but also underpins electrical control of magnetism. Here we extend the Kane-Mele model to include the exchange coupling to a collinear background antiferromagnetic (AFM) order, which can describe transition metal trichalcogenides. Owing to the spin-orbit coupling and staggered on-site potential, the system could exhibit the quantum anomalous Hall and quantum spin Hall effects in the absence of a net magnetization. Besides the chiral edge states, these topological phases support a staggered Edelstein effect through which an applied electric field can generate opposite non-equilibrium spins on the two AFM sublattices, realizing the Néel-type spin-orbit torque (NSOT). Contrary to known NSOTs in AFM metals driven by conduction currents, our NSOT arises from pure adiabatic currents devoid of Joule heating, while being a bulk effect not carried by the edge currents. By virtue of the NSOT, the electric field of a microwave can drive the AFM dynamics with a remarkably high efficiency. Compared to the ordinary AFM resonance driven by the magnetic field, the new mechanism can enhance the resonance amplitude by more than one order of magnitude and the absorption rate of the microwave power by over two orders of magnitude. Our findings unravel an incredible way to exploit AFM topological phases to achieve ultrafast magnetic dynamics.

cond-mat.mes-hall

Studying few cluster resonances with quantum neural network driven iterative Harrow-Hassidim-Lloyd algorithm

By using the quantum computing the properties of hypernuclei ${}^5_Λ$He, ${}^{\ 6}_{ΛΛ}$He and ${}^9_Λ$Be can be investigated within microscopic cluster model. Our approach combines quantum neural network (QNN) with iterative Harrow-Hassidim-Lloyd (IHHL) algorithm (abbreviated as QNN-IHHL) to solve the quantum many-body problem. To efficiently describe resonance phenomena, we employ complex scaling and eigenvector continuation techniques, providing a robust framework for identifying few-cluster resonance parameters within quantum computing. To validate our quantum algorithm, the resonant $4^{+}$ state of ${}^9_Λ$Be is chosen as a core example. With QNN-IHHL algorithm we realize a fully quantum workflow, which provides a novel framework and some ground work for exploring resonance properties in complex nuclear many-body systems.

quant-ph

Iterative Harrow-Hassidim-Lloyd quantum algorithm for solving resonances with eigenvector continuation

We propose a novel quantum algorithm for solving nuclear resonances, which is based on the iterative Harrow-Hassidim-Lloyd algorithm and eigenvector continuation with complex scaling. To validate this approach, we compute the resonant states of $α-α$ system and achieve results in good agreement with traditional methods. Our study offers a new perspective on calculating eigenvalues of non-Hermitian operators and lays some groundwork for further exploration of nuclear resonances using quantum computing.

quant-ph

Interpolating Neural Network-Tensor Decomposition (INN-TD): a scalable and interpretable approach for large-scale physics-based problems

Deep learning has been extensively employed as a powerful function approximator for modeling physics-based problems described by partial differential equations (PDEs). Despite their popularity, standard deep learning models often demand prohibitively large computational resources and yield limited accuracy when scaling to large-scale, high-dimensional physical problems. Their black-box nature further hinders the application in industrial problems where interpretability and high precision are critical. To overcome these challenges, this paper introduces Interpolating Neural Network-Tensor Decomposition (INN-TD), a scalable and interpretable framework that has the merits of both machine learning and finite element methods for modeling large-scale physical systems. By integrating locally supported interpolation functions from finite element into the network architecture, INN-TD achieves a sparse learning structure with enhanced accuracy, faster training/solving speed, and reduced memory footprint. This makes it particularly effective for tackling large-scale high-dimensional parametric PDEs in training, solving, and inverse optimization tasks in physical problems where high precision is required.

cs.CE

Anisotropic Field Suppression of Morin Transition Temperature in Epitaxially Grown Hematite Thin Films

We have demonstrated the existence of the Morin transition in epitaxially grown hematite thin films exceeding a critical thickness. The Morin transition temperature can be suppressed by magnetic fields applied both parallel and perpendicular to the Dzyaloshinskii-Moriya (DM) vector, exhibiting a distinct anisotropic behavior that is consistent with bulk hematite crystals. Detailed analysis explains the anisotropic behavior and provides a method for determining the DM strength, which remains nearly constant across the sample thickness over four orders of magnitude. Our findings obtained with transport measurements offer a valuable approach for studying antiferromagnetic spin configurations in thin films and nanodevices.

cond-mat.mtrl-sci

Tensor-decomposition-based A Priori Surrogate (TAPS) modeling for ultra large-scale simulations

A data-free, predictive scientific AI model, Tensor-decomposition-based A Priori Surrogate (TAPS), is proposed for tackling ultra large-scale engineering simulations with significant speedup, memory savings, and storage gain. TAPS can effectively obtain surrogate models for high-dimensional parametric problems with equivalent zetta-scale ($10^{21}$) degrees of freedom (DoFs). TAPS achieves this by directly obtaining reduced-order models through solving governing equations with multiple independent variables such as spatial coordinates, parameters, and time. The paper first introduces an AI-enhanced finite element-type interpolation function called convolution hierarchical deep-learning neural network (C-HiDeNN) with tensor decomposition (TD). Subsequently, the generalized space-parameter-time Galerkin weak form and the corresponding matrix form are derived. Through the choice of TAPS hyperparameters, an arbitrary convergence rate can be achieved. To show the capabilities of this framework, TAPS is then used to simulate a large-scale additive manufacturing process as an example and achieves around 1,370x speedup, 14.8x memory savings, and 955x storage gain compared to the finite difference method with $3.46$ billion spatial degrees of freedom (DoFs). As a result, the TAPS framework opens a new avenue for many challenging ultra large-scale engineering problems, such as additive manufacturing and integrated circuit design, among others.

cs.CE

Voltage-Controlled Magnetoelectric Devices for Neuromorphic Diffusion Process

Stochastic diffusion processes are pervasive in nature, from the seemingly erratic Brownian motion to the complex interactions of synaptically-coupled spiking neurons. Recently, drawing inspiration from Langevin dynamics, neuromorphic diffusion models were proposed and have become one of the major breakthroughs in the field of generative artificial intelligence. Unlike discriminative models that have been well developed to tackle classification or regression tasks, diffusion models as well as other generative models such as ChatGPT aim at creating content based upon contexts learned. However, the more complex algorithms of these models result in high computational costs using today's technologies, creating a bottleneck in their efficiency, and impeding further development. Here, we develop a spintronic voltage-controlled magnetoelectric memory hardware for the neuromorphic diffusion process. The in-memory computing capability of our spintronic devices goes beyond current Von Neumann architecture, where memory and computing units are separated. Together with the non-volatility of magnetic memory, we can achieve high-speed and low-cost computing, which is desirable for the increasing scale of generative models in the current era. We experimentally demonstrate that the hardware-based true random diffusion process can be implemented for image generation and achieve comparable image quality to software-based training as measured by the Frechet inception distance (FID) score, achieving ~10^3 better energy-per-bit-per-area over traditional hardware.

cs.NE

CAFusion: Controllable Anatomical Synthesis of Perirectal Lymph Nodes via SDF-guided Diffusion

Lesion synthesis methods have made significant progress in generating large-scale synthetic datasets. However, existing approaches predominantly focus on texture synthesis and often fail to accurately model masks for anatomically complex lesions. Additionally, these methods typically lack precise control over the synthesis process. For example, perirectal lymph nodes, which range in diameter from 1 mm to 10 mm, exhibit irregular and intricate contours that are challenging for current techniques to replicate faithfully. To address these limitations, we introduce CAFusion, a novel approach for synthesizing perirectal lymph nodes. By leveraging Signed Distance Functions (SDF), CAFusion generates highly realistic 3D anatomical structures. Furthermore, it offers flexible control over both anatomical and textural features by decoupling the generation of morphological attributes (such as shape, size, and position) from textural characteristics, including signal intensity. Experimental results demonstrate that our synthetic data substantially improve segmentation performance, achieving a 6.45% increase in the Dice coefficient. In the visual Turing test, experienced radiologists found it challenging to distinguish between synthetic and real lesions, highlighting the high degree of realism and anatomical accuracy achieved by our approach. These findings validate the effectiveness of our method in generating high-quality synthetic lesions for advancing medical image processing applications.

eess.IV