arXiv subjects

Yongming Li

Publications and source records attributed to Yongming Li.

At least 19 recordsLinked to original sources

arXiv2026

Exponentiable Objects and Function spaces in Lowen Fuzzy Topological Spaces

We study exponentiable objects and function spaces in the category of stratified Lowen fuzzy topological spaces over $\I=[0,1]$. Using the Lowen fuzzy Sierpiński object $\Sier$, which identifies $τ_X$ with $C(X,\Sier)$, we explicitly determine the largest splitting topology on this mapping set. Its open weights $Φ:τ_X\to\I$ are precisely those satisfying Scott continuity and a finite-tier compatibility condition induced by finite powers of $\Sier$. This yields an intrinsic characterization: $X$ is exponentiable if and only if every $μ\inτ_X$ satisfies \[ μ=\bigvee_{λ\triangleleftΦ} (\const{Φ(μ)}\wedgeλ), \qquad λ\triangleleftΦ \Longleftrightarrow \const{Φ(ν)}\wedgeλ\leqν \quad(ν\inτ_X). \] When this condition holds, $Y^X$ has underlying set $C(X,Y)$, with topology generated by $[Φ,v](f)=Φ(v\circ f)$. We also obtain a dual closed-set formulation and three applications. Exponentiability implies that $τ_X$ is a continuous lattice, although the converse fails. Moreover, a classical space $X$ is exponentiable exactly when its induced fuzzy space $ωX$ is exponentiable in the entire stratified Lowen category. Finally, Lowen compact, strongly fuzzy compact, and $N$-compact Hausdorff spaces are exponentiable.

math.GN↗

arXiv2026

Possibilistic Computation Tree Logic over Finitely-Valued Kripke Structures: Decidability and Complete Axiomatization

Possibilistic computation tree logic (PoCTL) is a branching-time temporal logic for specifying and verifying systems whose behavior is described by possibility theory. Although the model-checking problem for PoCTL has been investigated, its satisfiability problem and proof-theoretic foundations, particularly the development of a sound and complete axiomatization,remain largely unexplored. We investigate these problems over normalized possibilistic Kripke structures whose transition possibilities take finitely many values; their state spaces may be countably infinite. A counterexample shows that unrestricted countable structures do not have the finite-model property, thereby distinguishing the semantic scope of the present results. For the finitely-valued class, we extract a finite threshold scale from the input formula and define canonical admissible transitions by the set $D(s,t)$. Independent eventuality ranks guide the selection of local witnesses. Finite supported fragments are then spliced cyclically to obtain a model, without requiring the ranks of different eventualities to decrease simultaneously. This yields a finite-model property. Satisfiability for the unbounded language over this class is EXPTIME-complete, and the tableau procedure runs in time $2^{O(n^2)}$. Bounded operators are handled by explicit finite unfolding, with complexity measured after this preprocessing. Finally, we establish a sound and weakly complete finitary axiomatization by translating tableau deletion into formal refutations.

cs.LO↗

arXiv2026

How to improve the discrimination power of classically simulable measurements?

Classically simulable measurements (CSMs) constitute an important class of restricted measurements in the odd-prime-dimensional magic resource theory, referring to those measurements with positive discrete Wigner functions. Since their discrimination power is weaker than that of global measurements, it is necessary to study how to improve the discrimination power of CSMs. In this paper, we consider three methods to improve the discrimination power of CSMs, including adding magic resources, using quantum catalysts, and using quantum memories. Specifically, we relate measurements with positive discrete Wigner functions to completely positive Wigner-preserving measurement channels, thereby transforming the problem of improving the discrimination power of CSMs into the problem of determining how many magic resources are required to simulate quantum channels using free operations. Based on this, we derive the lower and upper bounds of the simulation cost. Moreover, we provide a concrete example for which these bounds coincide and prove that consumable magic resources can enhance the discrimination power of CSMs. Finally, we establish a no-go theorem, which shows that for discriminating a pair of states with positive Wigner functions, neither finite-dimensional quantum catalysts nor finite-dimensional quantum memories can improve the optimal success probability of discrimination using CSMs.

quant-ph↗

arXiv2026

Talking Head Synthesis with Facial Landmark Guidance via 3D Gaussian Splatting

Audio-driven digital human generation plays an important role in virtual communication, immersive interaction, and media production. With the development of Neural Radiance Fields (NeRF) and 3D Gaussian Splatting (3DGS), recent talking-head systems have obtained more faithful 3D facial geometry and appearance modeling. A remaining difficulty is that speech features mainly describe temporal acoustic patterns rather than explicit facial layouts. As a result, directly driving 3D facial deformation with audio may produce inaccurate mouth motion, weak expression details, and local artifacts. To address this issue, we propose a facial-keypoint-guided spatial enhancement module. The predicted landmarks provide structural cues for selecting and enriching spatial points around expression-sensitive facial regions. We further introduce a global landmark compensation mechanism, where the full set of keypoints is encoded into a conditioning vector to refine 3DGS attributes. This compensation supplies whole-face structural information to the underlying shape representation. Experiments under self-driven and cross-driven settings show that the proposed method improves visual quality, facial realism, and lip synchronization.

cs.AI↗

arXiv2026

MSAVBench: Towards Comprehensive and Reliable Evaluation of Multi-Shot Audio-Video Generation

Video generation is rapidly evolving from single-shot synthesis to complex multi-shot audio-video (MSAV) narratives to meet real-world demands. However, evaluating such frontier models remains a fundamental challenge. Existing benchmarks are limited in scope and data diversity, and rely on rigid evaluation pipelines, preventing systematic and reliable assessment of modern MSAV models. To bridge these gaps, we introduce MSAVBench, the first comprehensive benchmark and adaptive hybrid evaluation framework for multi-shot audio-video generation. Our benchmark spans four key dimensions, video, audio, shot, and reference, covering diverse task settings, varying shot counts of up to 15, and challenging non-realistic scenarios. Our evaluation framework improves robustness through an adaptive self-correction mechanism for shot segmentation, instance-wise rubrics for subjective metrics, and tool-grounded evidence extraction for complex judgments. Furthermore, MSAVBench achieves high alignment with human judgments, reaching a Spearman rank correlation of 91.5%. Our systematic evaluation of 19 state-of-the-art closed- and open-source models shows that current systems still struggle with director-level control and fine-grained audio-visual synchronization, while modular or agentic generation pipelines offer a promising path toward narrowing the gap between open- and closed-source models. The benchmark data and evaluation code are publicly available at https://github.com/ali-vilab/MSAVBench.

cs.CV↗

arXiv2026

Skill-Evolving Grounded Reasoning for Free-Text Promptable 3D Medical Image Segmentation

Free-text promptable 3D medical image segmentation offers an intuitive and clinically flexible interaction paradigm. However, current methods are highly sensitive to linguistic variability: minor changes in phrasing can cause substantial performance degradation despite identical clinical intent. Existing approaches attempt to improve robustness through stronger vision-language fusion or larger vocabularies, yet they lack mechanisms to consistently align ambiguous free-form expressions with anatomically grounded representations. We propose Skill-Evolving grounded Reasoning (SEER), a novel framework for free-text promptable 3D medical image segmentation that explicitly bridges linguistic variability and anatomical precision through a reasoning-driven design. First, we curate the SEER-Trace dataset, which pairs raw clinical requests with image-grounded, skill-tagged reasoning traces, establishing a reproducible benchmark. Second, SEER constructs an evidence-aligned target representation via a vision-language reasoning chain that verifies clinical intent against image-derived anatomical evidence, thereby enforcing semantic consistency before voxel-level decoding. Third, we introduce SEER-Loop, a dynamic skill-evolving strategy that distills high-reward reasoning trajectories into reusable skill artifacts and progressively integrates them into subsequent inference, enabling structured self-refinement and improved robustness to diverse linguistic expressions. Extensive experiments demonstrate superior performance of SEER over state-of-the-art baselines. Under linguistic perturbations, SEER reduces performance variance by 81.94% and improves worst-case Dice by 18.60%. Project page: https://seer-medseg.github.io.

eess.IV↗

arXiv2026

Quantum Monte Carlo algorithm for option pricing and its complexity analysis

In this paper we provide a quantum Monte Carlo algorithm to solve multidimensional Black-Scholes PDEs with correlation for option pricing. The payoff function of the option is of general form and is only required to be continuous and piecewise affine, which covers most of the relevant payoff functions used in finance. We provide a rigorous error analysis and complexity analysis of our algorithm. In particular, we prove that the computational complexity of our algorithm is bounded polynomially in the space dimension $d$ of the PDE and the reciprocal of the prescribed accuracy $\varepsilon$. Moreover, we show that for payoff functions which are bounded, our algorithm indeed has a speed-up compared to classical Monte Carlo methods. Furthermore, we provide numerical simulations in two dimensions using our developed package within the Qiskit framework tailored to price continuous piecewise affine options with respect to the Black-Scholes model, as well as discuss the potential extension of the numerical simulations to arbitrary space dimension.

quant-ph↗

arXiv2025

Asymptotic stability of solitary waves for the 1D focusing cubic Schrödinger equation

We establish the full asymptotic stability of solitary wave solutions for the 1D focusing cubic Schrödinger equation on the line under small perturbations in weighted Sobolev spaces, building upon our results in [58]. The proof integrates the space-time resonances approach, based on the distorted Fourier transform, with modulation techniques to show modified scattering for the radiation term and convergence for the modulation parameters. A key challenge throughout the nonlinear analysis is the slow local decay of the radiation term, caused by threshold resonances in the linearized operator. The presence of favorable null structures in the quadratic nonlinearities mitigates this problem through the use of normal form transformations. Another essential step in the proof involves developing a variant of the local smoothing estimate that incorporates a moving center.

math.AP↗

arXiv2025

Optimal Compilation Strategies for QFT Circuits in Neutral-Atom Quantum Computing

Neutral-atom quantum computing (NAQC) offers distinct advantages such as dynamic qubit reconfigurability, long coherence times, and high gate fidelities, making it a promising platform for scalable quantum computing. Despite these strengths, efficiently implementing quantum circuits like the Quantum Fourier Transform (QFT) remains a significant challenge due to atom movement overheads and connectivity constraints. This paper introduces optimal compilation strategies tailored to QFT circuits and NAQC systems, addressing these challenges for both linear and grid-like architectures. By minimizing atom movements, the proposed methods achieve theoretical lower bounds in atom movements while preserving high circuit fidelity. Comparative evaluations against state-of-the-art compilers demonstrate the superior performance of the proposed methods. These methods could serve as benchmarks for evaluating the performance of NAQC compilers.

quant-ph↗

arXiv2025

All-Angle Scanning Leaky-Wave Antennas and Surface-Wave Routing by Reconfigurable Metasurfaces

In this work, we show that propagating waves can be fully converted into surface waves and back using geometrically periodic arrays of simple electrically small metal elements loaded by adjustable reactive loads. The proposed approach allows the creation of all-angle scanning leaky-wave antennas with perfect or even superdirective aperture efficiency at all scan angles. Moreover, it is possible to co-design such leaky-wave antenna arrays with surface-wave waveguides that can guide the received power to the load or to another leaky-wave antenna section. That second section can either reradiate the received power into any direction or perform some other transformation of the reradiated wave front, for example, focusing the power at a point. These and other functionalities are realized by global optimization of the reactive loads of array elements. This global optimization, together with the use of arrays with a subwavelength geometrical period, allows proper control over both propagating and evanescent-field distributions, ensuring theoretically perfect performance at arbitrary scan angles. The proposed technique can be used in antenna engineering and in advanced designs of reconfigurable intelligent surfaces.

physics.optics↗

arXiv2025

Drug classification based on X-ray spectroscopy combined with machine learning

The proliferation of new types of drugs necessitates the urgent development of faster and more accurate detection methods. Traditional detection methods have high requirements for instruments and environments, making the operation complex. X-ray absorption spectroscopy, a non-destructive detection technique, offers advantages such as ease of operation, penetrative observation, and strong substance differentiation capabilities, making it well-suited for application in the field of drug detection and identification. In this study, we constructed a classification model using Convolutional Neural Networks (CNN), Support Vector Machines (SVM), and Particle Swarm Optimization (PSO) to classify and identify drugs based on their X-ray spectral profiles. In the experiments, we selected 14 chemical reagents with chemical formulas similar to drugs as samples. We utilized CNN to extract features from the spectral data of these 14 chemical reagents and used the extracted features to train an SVM model. We also utilized PSO to optimize two critical initial parameters of the SVM. The experimental results demonstrate that this model achieved higher classification accuracy compared to two other common methods, with a prediction accuracy of 99.14%. Additionally, the model exhibited fast execution speed, mitigating the drawback of a drastic increase in running time and efficiency reduction that may result from the direct fusion of PSO and SVM. Therefore, the combined approach of X-ray absorption spectroscopy with CNN, PSO, and SVM provides a rapid, highly accurate, and reliable classification and identification method for the field of drug detection, holding promising prospects for widespread application.

cs.CV↗

arXiv2025

AMNet: An Acoustic Model Network for Enhanced Mandarin Speech Synthesis

This paper presents AMNet, an Acoustic Model Network designed to improve the performance of Mandarin speech synthesis by incorporating phrase structure annotation and local convolution modules. AMNet builds upon the FastSpeech 2 architecture while addressing the challenge of local context modeling, which is crucial for capturing intricate speech features such as pauses, stress, and intonation. By embedding a phrase structure parser into the model and introducing a local convolution module, AMNet enhances the model's sensitivity to local information. Additionally, AMNet decouples tonal characteristics from phonemes, providing explicit guidance for tone modeling, which improves tone accuracy and pronunciation. Experimental results demonstrate that AMNet outperforms baseline models in subjective and objective evaluations. The proposed model achieves superior Mean Opinion Scores (MOS), lower Mel Cepstral Distortion (MCD), and improved fundamental frequency fitting $F0 (R^2)$, confirming its ability to generate high-quality, natural, and expressive Mandarin speech.

cs.SD↗

arXiv2025

Reconfigurable Superdirective and Superabsorptive Aperiodic Metasurfaces

In this paper, we present a general theory of aperiodic subwavelength arrays for controlling electromagnetic waves. The considered platform is formed by an array of electrically small loaded scatterers above a ground plane. While the array is geometrically periodic, all the loads can be in general different, so that the distributions of currents induced by plane waves are not periodic. To allow analytical solutions, we study arrays of thin wires or strips loaded by bulk loads. We demonstrate a practical way of creating tunable and reconfigurable multifunctional devices, on examples of superdirective beam splitters, focusing lenses establishing subdiffraction focusing, and absorbers going beyond perfect absorption. Contrary to the constraints imposed by the Floquet theorem in periodic counterparts like periodic metasurfaces or metagratings, where a fixed angle of incidence and period dictate the propagating directions of reflected waves, the proposed aperiodic designs allow controlling all propagating modes in any direction, which provides more freedom in manipulating electromagnetic waves. We hope that these results can be useful in multiple applications, such as telecommunications, radar techniques, signal processing, and energy harnessing.

physics.app-ph↗

arXiv2025

BadRefSR: Backdoor Attacks Against Reference-based Image Super Resolution

Reference-based image super-resolution (RefSR) represents a promising advancement in super-resolution (SR). In contrast to single-image super-resolution (SISR), RefSR leverages an additional reference image to help recover high-frequency details, yet its vulnerability to backdoor attacks has not been explored. To fill this research gap, we propose a novel attack framework called BadRefSR, which embeds backdoors in the RefSR model by adding triggers to the reference images and training with a mixed loss function. Extensive experiments across various backdoor attack settings demonstrate the effectiveness of BadRefSR. The compromised RefSR network performs normally on clean input images, while outputting attacker-specified target images on triggered input images. Our study aims to alert researchers to the potential backdoor risks in RefSR. Codes are available at https://github.com/xuefusiji/BadRefSR.

cs.CV↗

arXiv2024

In-Situ Mode: Generative AI-Driven Characters Transforming Art Engagement Through Anthropomorphic Narratives

Art appreciation serves as a crucial medium for emotional communication and sociocultural dialogue. In the digital era, fostering deep user engagement on online art appreciation platforms remains a challenge. Leveraging generative AI technologies, we present EyeSee, a system designed to engage users through anthropomorphic characters. We implemented and evaluated three modes (Narrator, Artist, and In-Situ) acting as a third-person narrator, a first-person creator, and first-person created objects, respectively, across two sessions: Narrative and Recommendation. We conducted a within-subject study with 24 participants. In the Narrative session, we found that the In-Situ and Artist modes had higher aesthetic appeal than the Narrator mode, although the Artist mode showed lower perceived usability. Additionally, from the Narrative to Recommendation session, we found that user-perceived relatability and believability within each interaction mode were sustained, but the user-perceived consistency and stereotypicality changed. Our findings suggest novel implications for applying anthropomorphic in-situ narratives to other educational settings.

cs.HC↗

arXiv2024

Asymptotic stability of solitary waves for the 1D focusing cubic Schrödinger equation under even perturbations

We establish the full asymptotic stability of solitary waves for the focusing cubic Schrödinger equation on the line under small even perturbations in weighted Sobolev norms. The strategy of our proof combines a space-time resonances approach based on the distorted Fourier transform to capture modified scattering effects with modulation techniques to take into account the symmetries of the problem, namely the invariance under scaling and phase shifts. A major challenge is the slow local decay of the radiation term caused by the threshold resonances of the non-selfadjoint linearized matrix Schrödinger operator around the solitary waves. Our analysis hinges on two remarkable null structures that we uncover in the quadratic nonlinearities of the evolution equation for the radiation term as well as of the modulation equations.

math.AP↗

arXiv2024

VNet: A GAN-based Multi-Tier Discriminator Network for Speech Synthesis Vocoders

Since the introduction of Generative Adversarial Networks (GANs) in speech synthesis, remarkable achievements have been attained. In a thorough exploration of vocoders, it has been discovered that audio waveforms can be generated at speeds exceeding real-time while maintaining high fidelity, achieved through the utilization of GAN-based models. Typically, the inputs to the vocoder consist of band-limited spectral information, which inevitably sacrifices high-frequency details. To address this, we adopt the full-band Mel spectrogram information as input, aiming to provide the vocoder with the most comprehensive information possible. However, previous studies have revealed that the use of full-band spectral information as input can result in the issue of over-smoothing, compromising the naturalness of the synthesized speech. To tackle this challenge, we propose VNet, a GAN-based neural vocoder network that incorporates full-band spectral information and introduces a Multi-Tier Discriminator (MTD) comprising multiple sub-discriminators to generate high-resolution signals. Additionally, we introduce an asymptotically constrained method that modifies the adversarial loss of the generator and discriminator, enhancing the stability of the training process. Through rigorous experiments, we demonstrate that the VNet model is capable of generating high-fidelity speech and significantly improving the performance of the vocoder.

eess.AS↗

arXiv2024

Going Beyond Perfect Absorption: Reconfigurable Super-directive Absorbers

In the context of electromagnetic absorption, it is obvious that for an infinite planar periodic structure illuminated by a plane wave, the maximum attainable absorptance, i.e., perfect absorption, is theoretically limited to 100% of the incident power. Here we show that an intriguing possibility of overcoming this limit arises in finite-size resonant absorbing arrays. We present a comprehensive analysis of a simple two-dimensional strip array over an infinite perfectly conducting plane, where the strips are loaded by reconfigurable impedance loads. The absorptance is defined as the ratio of the dissipated power per unit length of the strips to the incident power on the unit length of the array width. The results show that even regular arrays of impedance strips can slightly overcome the limit of 100% absorptance, while using aperiodic arrays with optimized loads, absorptance can be significantly increased as compared with the scenario where the strips are identical. In principle, by tuning the reconfigurable loads, high super-unity absorptance can be realized for all angles of illumination.

physics.app-ph↗