arXiv subjects

Yi Li

Publications and source records attributed to Yi Li.

At least 253 records · Page 14Linked to original sources

arXiv2025

Intrinsic relationship between synchronisation thresholds and Lyapunov vectors: evidence from large eddy simulations and shell models

An important parameter characterising the synchronisation of turbulent flows is the threshold coupling wavenumber. This study investigates the relationship between the threshold coupling wavenumber and the leading Lyapunov vector using large eddy simulations and the SABRA model. Various subgrid-scale stress models, Reynolds numbers, and different coupling methods are examined. A new scaling relation is identified for the leading Lyapunov exponents in large eddy simulations, showing that they approximate those of filtered direct numerical simulations. This interpretation provides a physical basis for results related to the Lyapunov exponents of large eddy simulations, including those related to synchronisation. Synchronization experiments show that the peak wavenumber of the energy spectrum of the leading Lyapunov vector coincides with the threshold coupling wavenumber, in large eddy simulations of box turbulence with standard Smagorinsky or dynamic mixed models as well as in the SABRA model, replicating results from direct numerical simulations of box turbulence. Although the dynamic Smagorinsky model exhibit different behaviour, the totality of the results suggests that the relationship is an intrinsic property of a certain class of chaotic systems. We also confirm that conditional Lyapunov exponents characterize the synchronization process in indirectly coupled systems as they do in directly coupled ones, with their values insensitive to the nature of the master flow. These findings advance the understanding of the role of the Lyapunov vector in the synchronization of turbulence.

physics.flu-dyn↗

arXiv2025

Holographic Entanglement Entropy as a Probe of Dynamical Criticality in Scalarizing Black Holes

We demonstrate that holographic entanglement entropy (HEE) serves as a powerful diagnostic tool for both static and dynamical critical phenomena in the Einstein-Born-Infeld-Scalar (EBIS) model. While HEE is well-known for capturing static phase transitions, we reveal its novel ability to probe dynamical criticality, particularly the ''flip'' phenomenon-a sign inversion in the scalar field at a critical point. Near the flip, HEE exhibits relaxation dynamics that closely mirror those of the scalar field, with both relaxation times scaling logarithmically with the distance from the critical point. This intimate connection between the relaxation of HEE and the scalar field highlights HEE as a sensitive probe of dynamical critical phenomena. Our findings provide new insights into the interplay between quantum information and gravitational dynamics, offering a deeper understanding of critical behavior in strongly coupled systems.

hep-th↗

arXiv2025

Resistive memory-based zero-shot liquid state machine for multimodal event data learning

The human brain is a complex spiking neural network (SNN), capable of learning multimodal signals in a zero-shot manner by generalizing existing knowledge. Remarkably, it maintains minimal power consumption through event-based signal propagation. However, replicating the human brain in neuromorphic hardware presents both hardware and software challenges. Hardware limitations, such as the slowdown of Moore's law and Von Neumann bottleneck, hinder the efficiency of digital computers. Additionally, SNNs are characterized by their software training complexities. To this end, we propose a hardware-software co-design on a 40 nm 256 Kb in-memory computing macro that physically integrates a fixed and random liquid state machine (LSM) SNN encoder with trainable artificial neural network (ANN) projections. We showcase the zero-shot LSM-based learning of multimodal events on the N-MNIST and N-TIDIGITS datasets, including visual and audio data association, as well as neural and visual data alignment for brain-machine interfaces. Our co-design achieves classification accuracy comparable to fully optimized software models, resulting in a 152.83 and 393.07-fold reduction in training costs compared to SOTA contrastive language-image pre-training (CLIP) and Prototypical networks, and a 23.34 and 160-fold improvement in energy efficiency compared to cutting-edge digital hardware, respectively. These proof-of-principle prototypes demonstrate zero-shot multimodal events learning capability for emerging efficient and compact neuromorphic hardware.

cs.ET↗

arXiv2025

Experimental observation of parity-symmetry-protected phenomena in the quantum Rabi model with a trapped ion

Symmetry is crucial for gaining insights into the fundamental properties of physical systems, bringing possibilities in studying exotic phenomena such as quantum phase transitions and ground state entanglement. Here, we experimentally simulate a highly controllable extended quantum Rabi model, capable of tuning into the ultra-strong or deep coupling regime, in a spin-motion-coupled trapped ion. We observe that the phonon driven by such a model with parity symmetry preserved (broken) would experience double (single) excitation in the ultra-strong coupling regime. Quantum phenomena such as strong ground state entanglement and quantum superposition in systems occur with parity symmetry, and these phenomena disappear following the symmetry breaking. We also find sensitive responses for the two-level system entropy and phonon Wigner function in the deep coupling regime, depending on the parameter across the symmetry transition point. This work offers the prospect of exploring symmetry-controlled quantum phenomena and their applications in high-precision quantum technologies.

quant-ph↗

arXiv2024

Scaling Inter-procedural Dataflow Analysis on the Cloud

Apart from forming the backbone of compiler optimization, static dataflow analysis has been widely applied in a vast variety of applications, such as bug detection, privacy analysis, program comprehension, etc. Despite its importance, performing interprocedural dataflow analysis on large-scale programs is well known to be challenging. In this paper, we propose a novel distributed analysis framework supporting the general interprocedural dataflow analysis. Inspired by large-scale graph processing, we devise dedicated distributed worklist algorithms for both whole-program analysis and incremental analysis. We implement these algorithms and develop a distributed framework called BigDataflow running on a large-scale cluster. The experimental results validate the promising performance of BigDataflow -- BigDataflow can finish analyzing the program of millions lines of code in minutes. Compared with the state-of-the-art, BigDataflow achieves much more analysis efficiency.

cs.PL↗

arXiv2024

Community-Centric Graph Unlearning

Graph unlearning technology has become increasingly important since the advent of the `right to be forgotten' and the growing concerns about the privacy and security of artificial intelligence. Graph unlearning aims to quickly eliminate the effects of specific data on graph neural networks (GNNs). However, most existing deterministic graph unlearning frameworks follow a balanced partition-submodel training-aggregation paradigm, resulting in a lack of structural information between subgraph neighborhoods and redundant unlearning parameter calculations. To address this issue, we propose a novel Graph Structure Mapping Unlearning paradigm (GSMU) and a novel method based on it named Community-centric Graph Eraser (CGE). CGE maps community subgraphs to nodes, thereby enabling the reconstruction of a node-level unlearning operation within a reduced mapped graph. CGE makes the exponential reduction of both the amount of training data and the number of unlearning parameters. Extensive experiments conducted on five real-world datasets and three widely used GNN backbones have verified the high performance and efficiency of our CGE method, highlighting its potential in the field of graph unlearning.

cs.LG↗

arXiv2024

Programmable simulation of high-order exceptional point with a trapped ion

The nontrivial degeneracies in non-Hermitian systems, exceptional points (EPs), have attracted extensive attention due to intriguing phenomena. Compared with commonly observed second-order EPs, high-order EPs show rich physics due to their extended dimension and parameter space, ranging from the coalescence of EPs into higher order to potential applications in topological properties. However, these features also pose challenges in controlling multiple coherent and dissipative elements in a scaled system. Here we experimentally demonstrate a native programmable control to simulate a high-order non-Hermitian Hamiltonian in a multi-dimensional trapped ion system. We simulate a series of non-Hermitian systems with varied parameters and observe the coalescence of second-order EPs into a fourth-order EP. Our results pave the way for scalable quantum simulation of high-dimensional dissipative systems and can be beneficial for the application of high-order EPs in quantum sensing and quantum control.

quant-ph↗

arXiv2024

Complex-Cycle-Consistent Diffusion Model for Monaural Speech Enhancement

In this paper, we present a novel diffusion model-based monaural speech enhancement method. Our approach incorporates the separate estimation of speech spectra's magnitude and phase in two diffusion networks. Throughout the diffusion process, noise clips from real-world noise interferences are added gradually to the clean speech spectra and a noise-aware reverse process is proposed to learn how to generate both clean speech spectra and noise spectra. Furthermore, to fully leverage the intrinsic relationship between magnitude and phase, we introduce a complex-cycle-consistent (CCC) mechanism that uses the estimated magnitude to map the phase, and vice versa. We implement this algorithm within a phase-aware speech enhancement diffusion model (SEDM). We conduct extensive experiments on public datasets to demonstrate the effectiveness of our method, highlighting the significant benefits of exploiting the intrinsic relationship between phase and magnitude information to enhance speech. The comparison to conventional diffusion models demonstrates the superiority of SEDM.

cs.SD↗

arXiv2024

Zeitgebers-Based User Time Perception Analysis and Data-Driven Modeling via Transformer in VR

Virtual Reality (VR) creates a highly realistic and controllable simulation environment that can manipulate users' sense of space and time. While the sensation of "losing track of time" is often associated with enjoyable experiences, the link between time perception and user experience in VR and its underlying mechanisms remains largely unexplored. This study investigates how different zeitgebers-light color, music tempo, and task factor-influence time perception. We introduced the Relative Subjective Time Change (RSTC) method to explore the relationship between time perception and user experience. Additionally, we applied a data-driven approach called the Time Perception Modeling Network (TPM-Net), which integrates Convolutional Neural Network (CNN) and Transformer architectures to model time perception based on multimodal physiological and zeitgebers data. With 56 participants in a between-subject experiment, our results show that task factors significantly influence time perception, with red light and slow-tempo music further contributing to time underestimation. The RSTC method reveals that underestimating time in VR is strongly associated with improved user experience, presence, and engagement. Furthermore, TPM-Net shows potential for modeling time perception in VR, enabling inference of relative changes in users' time perception and corresponding changes in user experience. This study provides insights into the relationship between time perception and user experience in VR, with applications in VR-based therapy and specialized training.

cs.HC↗

arXiv2024

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

With recent advances in large language models (LLMs), this paper explores the potential of leveraging state-of-the-art LLMs,such as GPT-4, to transfer existing human-written properties (e.g.,those from Certora auditing reports) and automatically generate customized properties for unknown code. To this end, we embed existing properties into a vector database and retrieve a reference property for LLM-based in-context learning to generate a new property for a given code. While this basic process is relatively straightforward, ensuring that the generated properties are (i) compilable, (ii) appropriate, and (iii) verifiable presents challenges. To address (i), we use the compilation and static analysis feedback as an external oracle to guide LLMs in iteratively revising the generated properties. For (ii), we consider multiple dimensions of similarity to rank the properties and employ a weighted algorithm to identify the top-K properties as the final result. For (iii), we design a dedicated prover to formally verify the correctness of the generated properties. We have implemented these strategies into a novel LLM-based property generation tool called PropertyGPT. Our experiments show that PropertyGPT can generate comprehensive and high-quality properties, achieving an 80% recall compared to the ground truth. It successfully detected 26 CVEs/attack incidents out of 37 tested and also uncovered 12 zero-day vulnerabilities, leading to $8,256 in bug bounty rewards.

cs.SE↗

arXiv2024

Dynamics of spontaneous scalarization of black holes with nonlinear electromagnetic fields in anti-de Sitter spacetime

We investigate spontaneous scalarization in the Einstein-Born-Infeld-Scalar (EBIS) model with asymptotically AdS boundary conditions, revealing novel dynamical critical phenomena in black hole evolution. Through numerical analysis, we discover a distinctive ``flip" phenomenon where the scalar field exhibits critical transitions between different stable configurations. These transitions manifest in two forms: a single flip under variations in initial perturbation amplitude or scalar-electromagnetic coupling, and a double flip when varying black hole charge. Near critical points, the system displays universal relaxation behavior characterized by logarithmic scaling of relaxation time, $τ\propto \ln |p - p_s|$, where $p_s$ denotes the critical initial amplitude. We demonstrate that these transitions arise from the system's approach to unstable AdS-Born-Infeld black hole configurations, which serve as separatrices between distinct stable phases. The Born-Infeld parameter plays a crucial role in this dynamics, with scalar hair vanishing in the strong nonlinearity limit. These results reveal fundamental aspects of black hole phase transitions in theories with nonlinear electromagnetic couplings and provide new insights into critical phenomena in gravitational systems.

hep-th↗

arXiv2024

Phase-resolving spin-wave microscopy using infrared strobe light

The needs for sensitively and reliably probing magnetization dynamics have been increasing in various contexts such as studying novel hybrid magnonic systems, in which the spin dynamics strongly and coherently couple to other excitations, including microwave photons, light photons, or phonons. Recent advances in quantum magnonics also highlight the need for employing magnon phase as quantum state variables, which is to be detected and mapped out with high precision in on-chip micro- and nano-scale magnonic devices. Here, we demonstrate a facile optical technique that can directly perform concurrent spectroscopic and imaging functionalities with spatial- and phase-resolutions, using infrared strobe light operating at 1550-nm wavelength. To showcase the methodology, we spectroscopically studied the phase-resolved spin dynamics in a bilayer of Permalloy and Y3Fe5O12 (YIG), and spatially imaged the backward volume spin wave modes of YIG in the dipolar spin wave regime. Using the strobe light probe, the detected precessional phase contrast can be directly used to construct the map of the spin wave wavefront, in the continuous-wave regime of spin-wave propagation and in the stationary state, without needing any optical reference path. By selecting the applied field, frequency, and detection phase, the spin wave images can be made sensitive to the precession amplitude and phase. Our results demonstrate that infrared optical strobe light can serve as a versatile platform for magneto-optical probing of magnetization dynamics, with potential implications in investigating hybrid magnonic systems.

cond-mat.mtrl-sci↗

arXiv2024

Dynamic Attention and Bi-directional Fusion for Safety Helmet Wearing Detection

Ensuring construction site safety requires accurate and real-time detection of workers' safety helmet use, despite challenges posed by cluttered environments, densely populated work areas, and hard-to-detect small or overlapping objects caused by building obstructions. This paper proposes a novel algorithm for safety helmet wearing detection, incorporating a dynamic attention within the detection head to enhance multi-scale perception. The mechanism combines feature-level attention for scale adaptation, spatial attention for spatial localization, and channel attention for task-specific insights, improving small object detection without additional computational overhead. Furthermore, a two-way fusion strategy enables bidirectional information flow, refining feature fusion through adaptive multi-scale weighting, and enhancing recognition of occluded targets. Experimental results demonstrate a 1.7% improvement in mAP@[.5:.95] compared to the best baseline while reducing GFLOPs by 11.9% on larger sizes. The proposed method surpasses existing models, providing an efficient and practical solution for real-world construction safety monitoring.

cs.CV↗

arXiv2024

Neural-Network-Enhanced Metalens Camera for High-Definition, Dynamic Imaging in the Long-Wave Infrared Spectrum

To provide a lightweight and cost-effective solution for the long-wave infrared imaging using a singlet, we develop a camera by integrating a High-Frequency-Enhancing Cycle-GAN neural network into a metalens imaging system. The High-Frequency-Enhancing Cycle-GAN improves the quality of the original metalens images by addressing inherent frequency loss introduced by the metalens. In addition to the bidirectional cyclic generative adversarial network, it incorporates a high-frequency adversarial learning module. This module utilizes wavelet transform to extract high-frequency components, and then establishes a high-frequency feedback loop. It enables the generator to enhance the camera outputs by integrating adversarial feedback from the high-frequency discriminator. This ensures that the generator adheres to the constraints imposed by the high-frequency adversarial loss, thereby effectively recovering the camera's frequency loss. This recovery guarantees high-fidelity image output from the camera, facilitating smooth video production. Our camera is capable of achieving dynamic imaging at 125 frames per second with an End Point Error value of 12.58. We also achieve 0.42 for Fréchet Inception Distance, 30.62 for Peak Signal to Noise Ratio, and 0.69 for Structural Similarity in the recorded videos.

eess.IV↗

arXiv2024

Designing Phase Sensitive Probes of Monopole Superconducting Order

Distinct from familiar $s$-, $p$-, or $d$-wave pairings, the monopole superconducting order represents a novel class of pairing order arising from nontrivial monopole charge of the Cooper pair. In the weak-coupling regime, this order can emerge when pairing occurs between Fermi surfaces with different Chern numbers in, for example, doped Weyl semimetal systems. However, the phase of monopole pairing order is not well-defined over an entire Fermi surface, making it challenging to design experiments sensitive to both its symmetry and topology. To address this, we propose a scheme based on symmetry and topological principles to identify this elusive pairing order through a set of phase-sensitive Josephson experiments. By examining the discrepancy between global and local angular momentum of the pairing order, we can unveil the monopole charge of the pairing order. We demonstrate the proposed probe of monopole pairing order through analytic and numerical studies of Josephson coupling in models of monopole superconductor junctions. This work opens a promising avenue to uncover the unique topological properties of monopole pairing orders and to distinguish them from known pairing orders based on spherical harmonic symmetry.

cond-mat.supr-con↗

arXiv2024

Detecting Multi-Parameter Constraint Inconsistencies in Python Data Science Libraries

Modern AI- and Data-intensive software systems rely heavily on data science and machine learning libraries that provide essential algorithmic implementations and computational frameworks. These libraries expose complex APIs whose correct usage has to follow constraints among multiple interdependent parameters. Developers using these APIs are expected to learn about the constraints through the provided documentations and any discrepancy may lead to unexpected behaviors. However, maintaining correct and consistent multi-parameter constraints in API documentations remains a significant challenge for API compatibility and reliability. To address this challenge, we propose MPDetector, for detecting inconsistencies between code and documentation, specifically focusing on multi-parameter constraints. MPDetector identifies these constraints at the code level by exploring execution paths through symbolic execution and further extracts corresponding constraints from documentation using large language models (LLMs). We propose a customized fuzzy constraint logic to reconcile the unpredictability of LLM outputs and detects logical inconsistencies between the code and documentation constraints. We collected and constructed two datasets from four popular data science libraries and evaluated MPDetector on them. The results demonstrate that MPDetector can effectively detect inconsistency issues with the precision of 92.8%. We further reported 14 detected inconsistency issues to the library developers, who have confirmed 11 issues at the time of writing.

cs.SE↗

arXiv2024

One-Sided Device-Independent Random Number Generation Through Fiber Channels

Randomness is an essential resource and plays important roles in various applications ranging from cryptography to simulation of complex systems. Certified randomness from quantum process is ensured to have the element of privacy but usually relies on the device's behavior. To certify randomness without the characterization for device, it is crucial to realize the one-sided device-independent random number generation based on quantum steering, which guarantees security of randomness and relaxes the demands of one party's device. Here, we distribute quantum steering between two distant users through a 2 km fiber channel and generate quantum random numbers at the remote station with untrustworthy device. We certify the steering-based randomness by reconstructing covariance matrix of the Gaussian entangled state shared between distant parties. Then, the quantum random numbers with a generation rate of 7.06 Mbits/s are extracted from the measured amplitude quadrature fluctuation of the state owned by the remote party. Our results demonstrate the first realization of steering-based random numbers extraction in a practical fiber channel, which paves the way to the quantum random numbers generation in asymmetric networks.

quant-ph↗

arXiv2024

City Foundation Models for Learning General Purpose Representations from OpenStreetMap

Pre-trained Foundation Models (PFMs) have ushered in a paradigm-shift in Artificial Intelligence, due to their ability to learn general-purpose representations that can be readily employed in a wide range of downstream tasks. While PFMs have been successfully adopted in various fields such as Natural Language Processing and Computer Vision, their capacity in handling geospatial data and answering urban questions remains limited. This can be attributed to the intrinsic heterogeneity of geospatial data, which encompasses different data types, including points, segments and regions, as well as multiple information modalities, such as a spatial position, visual characteristics and textual annotations. The proliferation of Volunteered Geographic Information initiatives, and the ever-increasing availability of open geospatial data sources, like OpenStreetMap, which is freely accessible globally, unveil a promising opportunity to bridge this gap. In this paper, we present CityFM, a self-supervised framework to train a foundation model within a selected geographical area of interest, such as a city. CityFM relies solely on open data from OSM, and produces multimodal representations of entities of different types, incorporating spatial, visual, and textual information. We analyse the entity representations generated using our foundation models from a qualitative perspective, and conduct quantitative experiments on road, building, and region-level downstream tasks. We compare its results to algorithms tailored specifically for the respective applications. In all the experiments, CityFM achieves performance superior to, or on par with, the baselines.

cs.DB↗