arXiv subjects

Bing Wu

Publications and source records attributed to Bing Wu.

At least 19 recordsLinked to original sources

arXiv2026

Trace-Tree Magmas: Proof-Producing Infinite Countermodels and 28 New Order-Five Austin Classifications

Finite model finders cannot witness an Austin law: an identity whose finite models are all trivial but which has a nontrivial infinite model. We introduce rank-decreasing sparse trace-tree magmas, finitely presented total operations on a countably infinite constructor-tree carrier. The default product pairs its arguments; finitely many positive Horn clauses define exceptions. Our main procedure derives clauses from symbolic evaluation traces. For every model found, it proves functionality of the exceptional relation by descent on constructor size, proves the identity by exhaustive symbolic case analysis, and emits a self-contained Lean 4 certificate. A least simultaneous fixed point gives an implementation-independent semantics, so bounded search may miss models but cannot invalidate certified results. On ETP's 96 order-five Austin candidates, we discover and Lean-verify infinite countermodels for 28 identities with no prior public classification in our audit. They form 14 duality classes and establish 28 new Austin classifications. Four ALPS-known cases bring the total to 32 certified candidates. On Canonical-4187, the deduplicated union of Order5-130 and the 4,141-row ALPS pool, a fresh trace run produces 636 certificates, all accepted by Judge v3. At equal resource limits, Vampire 5.0.1, E 3.5.1, and complete Twee 2.6.1 jointly prove implications in 94 canonical classes. Only Twee returns trusted counter-satisfiable outcomes, for 18 classes; independent finite-side certificates force 16 to be infinite. None of these ATPs emits an explicit model or Lean certificate, and none decides the 28 new classifications. To the best of our audit, this is the first automated system to synthesize this trace-tree model family, generate well-founded inversion proofs, and emit self-contained Lean 4 certificates.

cs.LO↗

arXiv2026

An Ultrathin Laterally Conductive Mesh Interphase Enables Spatially Extended Zinc Deposition for Aqueous Zinc Batteries

Zn metal anodes often suffer from nonuniform interfacial reactions during cycling, resulting in uneven deposition and dendrite growth. Existing artificial interphases can mitigate side reactions or regulate nucleation, but rarely achieve regulation of the interfacial electron/field distribution to sustain uniform deposition at the evolving Zn/electrolyte interface. Here, we develop an Au mesh interphase (AuMI), an ultrathin two-dimensional Au aerogel network that couples lateral electron redistribution with open pathways for ions. During Zn plating/stripping, the conductive AuMI distributes electron transport across the Zn surface, while its porous mesh preserves Zn$^{2+}$ access, enabling more uniform interfacial reactions. Experiments and simulations show that AuMI homogenizes the interfacial electric field and current distribution, promotes more uniform Zn plating/stripping, and limits dendrite growth. As a result, this regulated interfacial reaction mode enables AuMI Zn symmetric cells to operate stably for 3000 h at 1 mA cm$^{-2}$/1 mAh cm$^{-2}$ and for 1100 h at 10 mA cm$^{-2}$/10 mAh cm$^{-2}$, while AuMI Zn||NVO (NaV$_3$O$_8$\cdot$1.5H$_2$O) full cells retain 80.8 % capacity after over 5000 cycles at 1 A g$^{-1}$. These findings highlight the importance of combining ultrathin architecture, lateral electron transport, and open Zn2+ access in artificial interphases for stable aqueous Zn metal anodes.

cond-mat.mtrl-sci↗

arXiv2026

Hierarchical 3D Scene Graph Construction and Belief-based Planning for Semantic Navigation

Semantic navigation is a fundamental task for embodied agents operating in unseen environments, requiring both semantic understanding and long-term decision-making. Recent foundation models have empowered agents with rich semantic priors for this task. However, without structured global representations, decision-making often falls back on local observations and greedy strategies, resulting in inefficient exploration and myopic behaviors, especially in long-distance navigation. To address these challenges, we propose a zero-shot semantic navigation framework. Our method incrementally maintains an online Hierarchical 3D Scene Graph (HSG) to form a multi-granular semantic topology over objects, zones, and regions, serving as a compact state abstraction for global planning. Building on this memory, we introduce a hierarchical belief-based planning framework that fuses semantic priors with exploration evidence on the HSG, and performs finite-horizon rollouts on an HSG-based simulator to explicitly estimate the long-term expected returns of candidate macro-actions. This enables globally consistent decisions and reduces redundant backtracking. Extensive experiments in high-fidelity simulation environments across multiple tasks and datasets demonstrate that our method outperforms existing state-of-the-art methods, particularly in long-distance scenarios, where our approach improves SR and SPL by an average of 9.4\% and 5.0\%, respectively.

cs.CV↗

arXiv2026

In-situ Indexing via Memristive Content-Addressable Memory

Processing-in-Memory (PIM) is a proven paradigm for overcoming the ``memory wall". However, while data indexing is severely bottlenecked by this same wall, it remains unclear how indexing can effectively benefit from PIM's unique capabilities. We present PATH, an in-situ indexing architecture that bridges this gap by leveraging the massive parallelism and inherent data-movement of PIMs. Specifically, we first reformulate the fundamental indexing operations, namely Insert, Search, Update, and Delete, into highly parallel in-situ content-addressable memory operations executed directly within memory arrays. Taking hash indexes as a typical case, we elaborate how PATH breaks the inherent trade-off among memory accesses, load factor, and process latency in conventional hashing schemes. By adopting ultra-large logical buckets and in-memory moving, PATH virtually eliminates the cost of hash collision resolution and significantly reduces resizing overhead. Compared with state-of-the-art schemes, PATH achieves $4.7-7.8\times$ higher throughput, $>14.5\times$ lower tail latency, and $>61.4\%$ fewer memory accesses under insertions, laying a scalable foundation for next-generation data-centric computing.

cs.AR↗

arXiv2026

Interplay of Cl Substitution and He$^{+}$ Irradiation in CrSBr$_{1-x}$Cl$_{x}$

Two-dimensional magnetic semiconductors provide a promising platform for exploring the interplay between disorder, lattice dynamics, and resonant light--matter interactions. Among them, CrSBr exhibits strong in-plane anisotropy and pronounced resonance-enhanced Raman scattering. Here, we investigate the effects of Cl substitution and He$^{+}$ irradiation on the vibrational response of CrSBr using polarization-resolved Raman spectroscopy. Cl substitution activates additional phonon modes associated with local symmetry breaking, while He$^{+}$ irradiation introduces distinct defect-related scattering channels and enhanced phonon broadening. The combined effects of alloy disorder and externally introduced defects lead to strong anisotropic reconstruction of the Raman spectra and modification of the nonlinear Raman response under near-resonant 1.96 eV excitation. Power-dependent measurements reveal robust superlinear scaling of both intrinsic and substitution-induced phonon modes, indicating persistent resonance-enhanced electron--phonon coupling even in defect-engineered samples.

cond-mat.mes-hall↗

arXiv2026

Highly Efficient Exciton Modulation in MoSe$_2$/PdSe$_2$ Heterostructures

Controlling exciton recombination in atomically thin semiconductors is central to their optoelectronic functionality, as the competition between radiative and non-radiative decay channels governs emission efficiency. Existing approaches, such as defect passivation, chemical doping, dielectric engineering, and strain tuning, primarily aim to suppress non-radiative losses. Here, we report a pronounced $\sim$6-fold enhancement of room-temperature A-exciton emission in a type-I MoSe$_2$/PdSe$_2$ van der Waals heterostructure, yielding a photoluminescence quantum yield of 6 %, compared to $\sim$1 % for as-exfoliated monolayer MoSe$_2$. This enhancement is accompanied by strong quenching of the B-exciton, consistent with interlayer electronic coupling that redistributes exciton populations toward the radiative A-exciton channel. Power- and temperature-dependent measurements reveal a suppression of exciton-exciton annihilation and a crossover to quenched emission at low temperature, indicating a redistribution of exciton relaxation pathways. Photoluminescence excitation spectroscopy further reveals a broadband enhancement spanning 450-725 nm, ruling out a resonance-specific mechanism. These results demonstrate that interlayer electronic coupling can be used as an efficient means to redirect exciton populations toward radiative channels, enhancing emission efficiency in two-dimensional semiconductors without chemical modification or strain.

cond-mat.mes-hall↗

arXiv2026

Analysis of the $D_0^*(2300)$ resonance from lattice QCD under chiral symmetry

We reanalyze the lattice spectra for $I=1/2$ $D\pi$ scattering in the $A_1^+$ irreducible representation from [Phys. Rev. D 111, 014503 (2025)] to investigate the impact of chiral and SU(3) flavor symmetries in $S$-wave $D\pi$ scattering and the $D_0^*(2300)$ resonance. By fitting the phase shifts obtained via L\"uscher's formula with both traditional and chirally modified effective-range expansion and $K$-matrix parameterizations, we find that the chiral factor shifts the extracted pole mass closer to the threshold (especially for resonances) and substantially reduces the resonance width. These findings are confirmed by unitarized chiral perturbation theory through a direct fit to the lattice spectra with both the single-channel and the $D\pi$-$D\eta$-$D_s\bar{K}$ coupled-channel schemes. Once the coupled channels are incorporated, the two-pole structure of the $D_0^*(2300)$ emerges. The trajectories of the two poles are investigated by varying the pion mass.

hep-ph↗

arXiv2026

Extraction of the pion-nucleon coupling constant using the effective-range expansion with the left-hand cut

We apply the generalized effective-range expansion of Phys. Rev. Lett. 135, 011903(2025), which incorporates the left-hand cut from one-pion exchange, to low-energy neutron-proton scattering in the $^1S_0$ and $^3S_1$ channels. The amplitude zero for the center-of-mass momentum near 0.35 GeV in the $^1S_0$ channel is naturally accommodated within this framework. We extract the pole position, scattering length, effective range, and the pseudoscalar pion-nucleon coupling constant $g_{\pi N}^2/(4\pi)$ at different expansion orders. The low-energy parameters are stable and consistent with established values, while $g_{\pi N}^2/(4\pi)$ exhibits larger uncertainties. The extraction of $g_{\pi N}^2/(4\pi)$ is data-driven, relying on the analytic constraints from the left-hand cut and phase-shift data within the one-pion-exchange approximation. Despite larger uncertainties compared to high-precision extractions, the consistency with established values demonstrates that this framework can probe the left-hand-cut singularity.

hep-ph↗

arXiv2026

Robust phonon engineering and symmetry-selective lattice dynamics in CrSBr$_{1-x}$Cl$_{x}$

Atomic substitution provides a controlled route to engineer lattice dynamics in low-symmetry two-dimensional materials. Here, by combining polarization-resolved Raman spectroscopy and first-principles calculations, we investigate the evolution of phonon characteristics in CrSBr$_{1-x}$Cl$_{x}$ ($0 \leq x \leq \sim 0.5$) upon partial substitution of Br with Cl atoms. Progressive Cl substitution of Br induces systematic shifts of parent CrSBr out-of-plane $A_\textrm{g}$ phonon modes and activates additional Raman features. These features persist across different polarization configurations and excitation energies, reflecting substitution-induced symmetry lowering and local lattice perturbations. Explicit supercell phonon calculations combined with Raman $\Gamma$-density-of-states simulations identify these features as symmetry-lowered descendants of parent modes arising from alloy disorder. Complementary strain-dependent calculations reveal that anisotropic lattice compression plays a key role in renormalizing Cr-S dominated phonons. Under near-resonant excitation, stimulated Raman scattering-like amplification remains observable with increasing Cl content, highlighting the resilience of anisotropic electron-phonon coupling in this system.

cond-mat.mtrl-sci↗

arXiv2026

Effective Range Expansion with the Left-Hand Cut: Higher Order Improvements

A model-independent parameterization of the low-energy scattering amplitude that incorporates the left-hand cut from one-particle exchange, an extension of the conventional effective-range expansion (ERE), was recently proposed and successfully applied to the low-energy $DD^*$ system [Phys. Rev. Lett. 135, 011903 (2025)]. While the original formulation is based on a nonrelativistic approximation and is thus limited to a [1,1] approximant for self-consistency, we extend the framework by explicitly including the higher-order terms up to $\mathcal{O}(k^6)$. We systematically investigate the reliability and robustness of the generalized ERE by incorporating relativistic kinematic effects. In addition, we develop a relativistic version of the ERE that accounts for lhc contributions. These results affirm the generalized ERE as a robust and systematically improvable framework for near-threshold scattering processes, providing both analytical and numerical reliability for applications in two-body scattering problems with a particle exchange.

hep-ph↗

arXiv2026

Van der Waals CrSBr alloys with tunable magnetic and optical properties

Van der Waals magnets are attracting a lot of attention for their potential integration in spintronic and magnonic technologies. CrSBr is an A-type antiferromagnet that shows a coupling between its electronic band structure and magnetic properties. This property is appealing for applications and it also offers the possibility to investigate magnetic ground states and GHz magnons using visible optics techniques. Using Raman scattering and (magneto)-optical experiments, we describe the magnetic and optical properties of alloys of CrSBr$_{(1-x)}$Cl$_x$ with $x<0.46$. Similar to CrSBr, these alloys are direct band gap semiconductors with a coupling of their electronic and magnetic properties. Exciton energies evolve weakly with composition and we describe the large changes in the saturation magnetic fields and their implications on the magnetic properties. We show that both the interlayer magnetic exchange and electronic interactions are modified by the halogen mixing, offering the possibility to tune magnon energies with alloy composition.

cond-mat.mtrl-sci↗

arXiv2025

HunyuanVideo 1.5 Technical Report

We present HunyuanVideo 1.5, a lightweight yet powerful open-source video generation model that achieves state-of-the-art visual quality and motion coherence with only 8.3 billion parameters, enabling efficient inference on consumer-grade GPUs. This achievement is built upon several key components, including meticulous data curation, an advanced DiT architecture featuring selective and sliding tile attention (SSTA), enhanced bilingual understanding through glyph-aware text encoding, progressive pre-training and post-training, and an efficient video super-resolution network. Leveraging these designs, we developed a unified framework capable of high-quality text-to-video and image-to-video generation across multiple durations and resolutions. Extensive experiments demonstrate that this compact and proficient model establishes a new state-of-the-art among open-source video generation models. By releasing the code and model weights, we provide the community with a high-performance foundation that lowers the barrier to video creation and research, making advanced video generation accessible to a broader audience. All open-source assets are publicly available at https://github.com/Tencent-Hunyuan/HunyuanVideo-1.5.

cs.CV↗

arXiv2025

The $J/\psi$-nucleon interaction mechanism: A theoretical study based on scattering length

The low-energy $J/\psi N$ scattering is of significant importance for various reasons. It is deeply interconnected with the hidden-charm $P_c$ pentaquark states, provides insights into the role of gluons in nucleon structures, and is pertinent to the properties of $J/\psi$ in nuclear medium. The scattering can occur through two distinct mechanisms: the coupled-channel mechanism involving open-charm meson-baryon intermediate states $\Lambda_c \bar D^{(*)}$ and $ \Sigma_c^{(*)}\bar D^{(*)}$, and the soft-gluon exchange mechanism. In this study, we investigate the $S$-wave $J/\psi N$ scattering length arising from both mechanisms. Our findings indicate that both mechanisms lead to attractive interactions, yielding scattering lengths of $[-10, -0.1] \times 10^{-3}$ fm for the coupled-channel mechanism and $<-0.16$ fm for the soft-gluon exchange mechanism, respectively. Notably, the soft-gluon exchange mechanism produces a scattering length that is at least one order of magnitude larger than that from the coupled-channel mechanism, indicating its predominance. These findings can be corroborated through lattice calculations and will enhance our understanding of scattering processes that violate the Okubo-Zweig-Iizuka rule.

hep-ph↗

arXiv2025

Effective range expansion with the left-hand cut and its application to the $T_{cc}(3875)$

The validity range of the widely used traditional effective range expansion can be severely limited by the presence of a left-hand cut near the two-particle threshold. Such a left-hand cut emerges in two-particle scattering processes involving either a light particle exchange in the $t$-channel or a particle exchange with a mass slightly heavier than the mass difference of the two particles in the $u$-channel, which occurs in a wide range of physical systems. We propose a new parameterization for the low-energy scattering amplitude that incorporates these left-hand cuts arising from particle exchange diagrams. This parameterization extends the convergence radius of the effective range expansion beyond the branch point of the left-hand cut and is applicable to a broad range of systems. The parameterization enables the extraction of coupling strengths between the exchange particle and the scattering particles, and reveals amplitude zeros resulting from the interplay between short- and long-range interactions. We demonstrate the effectiveness of this new parameterization through its application to $DD^*$ scattering with meson masses obtained in a lattice QCD calculation.

hep-ph↗

arXiv2024

Deciphering the mechanism of $J/\psi$-nucleon scattering

The low-energy $J/\psi N$ scattering is important for various reasons: it is related to the hidden-charm $P_c$ pentaquark states, provides insights into the role of gluons in nucleon structures, and is relevant to the $J/\psi$ properties in nuclear medium. The scattering can happen through two distinct mechanisms: the coupled-channel mechanism via open-charm meson-baryon intermediate states, and the soft-gluon exchange mechanism. We investigate the $J/\psi N$ $S$-wave scattering length through both mechanisms, and find that the soft-gluon exchange mechanism leads to a scattering length at least one order of magnitude larger than that from the coupled-channel mechanism and thus is the predominant one. The findings can be verified by lattice calculations and will enhance our understanding of the scattering processes breaking the Okubo-Zweig-Iizuka rule.

hep-ph↗

arXiv2024

TactileAR: Active Tactile Pattern Reconstruction

High-resolution (HR) contact surface information is essential for robotic grasping and precise manipulation tasks. However, it remains a challenge for current taxel-based sensors to obtain HR tactile information. In this paper, we focus on utilizing low-resolution (LR) tactile sensors to reconstruct the localized, dense, and HR representation of contact surfaces. In particular, we build a Gaussian triaxial tactile sensor degradation model and propose a tactile pattern reconstruction framework based on the Kalman filter. This framework enables the reconstruction of 2-D HR contact surface shapes using collected LR tactile sequences. In addition, we present an active exploration strategy to enhance the reconstruction efficiency. We evaluate the proposed method in real-world scenarios with comparison to existing prior-information-based approaches. Experimental results confirm the efficiency of the proposed approach and demonstrate satisfactory reconstructions of complex contact surface shapes. Code: https://github.com/wmtlab/tactileAR

cs.RO↗

arXiv2024

Near-Field Coupling Coil System: A Novel Radiofrequency Coil Solution for MRI

The performance of radiofrequency (RF) coils has a significant impact on the quality and speed of magnetic resonance imaging (MRI). Consequently, rigid coils with attached cables are commonly employed to achieve optimal SNR performance and parallel imaging capability. However, since the adoption of MRI in clinical imaging, both patients and doctors have long suffered from the poor examination experience and physical strain caused by the bulky housings and cumbersome cables of traditional coils. This paper presents a new architectural concept, the Near-Field Coupling (NFC) coil system, which integrates a pickup coil array within the magnet with an NFC coil worn by the patient. In contrast to conventional coils, the NFC coil system obviates the necessity for bed-mounted connectors. It provides a lightweight, cost-effective solution that enhances patient comfort and supports disposable, custom designs for the NFC coils. The paper also derives the SNR expression for the NFC coil system, proposes two key design principles, and demonstrates the system's potential in SNR and parallel imaging through an implementation case.

physics.med-ph↗

arXiv2024

CMD: A Cache-assisted GPU Memory Deduplication Architecture

Massive off-chip accesses in GPUs are the main performance bottleneck, and we divided these accesses into three types: (1) Write, (2) Data-Read, and (3) Read-Only. Besides, We find that many writes are duplicate, and the duplication can be inter-dup and intra-dup. While inter-dup means different memory blocks are identical, and intra-dup means all the 4B elements in a line are the same. In this work, we propose a cache-assisted GPU memory deduplication architecture named CMD to reduce the off-chip accesses via utilizing the data duplication in GPU applications. CMD includes three key design contributions which aim to reduce the three kinds of accesses: (1) A novel GPU memory deduplication architecture that removes the inter-dup and inter-dup lines. As for the inter-dup detection, we reduce the extra read requests caused by the traditional read-verify hash process. Besides, we design several techniques to manage duplicate blocks. (2) We propose a cache-assisted read scheme to reduce the reads to duplicate data. When an L2 cache miss wants to read the duplicate block, if the reference block has been fetched to L2 and it is clean, we can copy it to the L2 missed block without accessing off-chip DRAM. As for the reads to intra-dup data, CMD uses the on-chip metadata cache to get the data. (3) When a cache line is evicted, the clean sectors in the line are invalidated while the dirty sectors are written back. However, most read-only victims are re-referenced from DRAM more than twice. Therefore, we add a full-associate FIFO to accommodate the read-only (it is also clean) victims to reduce the re-reference counts. Experiments show that CMD can decrease the off-chip accesses by 31.01%, reduce the energy by 32.78% and improve performance by 37.79%. Besides, CMD can improve the performance of memory-intensive workloads by 50.18%.

cs.AR↗