arXiv subjects

Yue Li

Publications and source records attributed to Yue Li.

At least 307 records · Page 17Linked to original sources

arXiv2022

Normal-mode splitting in the optomechanical system with an optical parametric amplifier and coherent feedback

Strong coupling in optomechanical systems is the basic condition for observing many quantum phenomena such as optomechanical squeezing and entanglement. Normal-mode splitting (NMS) is the most evident signature of strong coupling systems. Here we show the NMS in the spectra of the movable mirror and the output field in an optomechanical system can be flexibly engineered by a combination of optical parametric amplifier (OPA) and coherent feedback (CF). Moreover, the NMS could be enhanced by optimizing the parameters such as input optical power, OPA gain and phase, CF strength in terms of amplitude reflectivity of beam splitter.

quant-ph↗

arXiv2022

Entanglement and quantum teleportation under superposed gravitational fields

The influence of gravitational field on entanglement of bipartite states is investigated based on the recent idea of superposition states of gravitational field. Different from earlier considerations, we study the case where the gravitational field cannot be separated unitarily from the bipartite system in the final stage of the interaction. When the different gravitational field states are orthogonal, entanglement cannot be generated for an initial product state. If the different gravitational field states are non-orthogonal, entanglement can be generated and the amount of generated entanglement depends on an overlap parameter between different gravitational field states. The influence of gravitational field on the transfer of the state through quantum teleportation is also studied, which might lead to an observable effect since the quantum teleportation can be performed using macroscopic object.

quant-ph↗

arXiv2022

Spot-on: A Checkpointing Framework for Fault-Tolerant Long-running Workloads on Cloud Spot Instances

Spot instances offer a cost-effective solution for applications running in the cloud computing environment. However, it is challenging to run long-running jobs on spot instances because they are subject to unpredictable evictions. Here, we present Spot-on, a generic software framework that supports fault-tolerant long-running workloads on spot instances through checkpoint and restart. Spot-on leverages existing checkpointing packages and is compatible with the major cloud vendors. Using a genomics application as a test case, we demonstrated that Spot-on supports both application-specific and transparent checkpointing methods. Compared to running applications using on-demand instances, it allows the completion of these workloads for a significant reduction in computing costs. Compared to running applications using application-specific checkpoint mechanisms, transparent checkpoint-protected applications reduce runtime by up to 40%, leading to further cost savings of up to 86%.

cs.DC↗

arXiv2022

Backend Ensemble for Speaker Verification and Spoofing Countermeasure

This paper describes the NPU system submitted to Spoofing Aware Speaker Verification Challenge 2022. We particularly focus on the \textit{backend ensemble} for speaker verification and spoofing countermeasure from three aspects. Firstly, besides simple concatenation, we propose circulant matrix transformation and stacking for speaker embeddings and countermeasure embeddings. With the stacking operation of newly-defined circulant embeddings, we almost explore all the possible interactions between speaker embeddings and countermeasure embeddings. Secondly, we attempt different convolution neural networks to selectively fuse the embeddings' salient regions into channels with convolution kernels. Finally, we design parallel attention in 1D convolution neural networks to learn the global correlation in channel dimensions as well as to learn the important parts in feature dimensions. Meanwhile, we embed squeeze-and-excitation attention in 2D convolutional neural networks to learn the global dependence among speaker embeddings and countermeasure embeddings. Experimental results demonstrate that all the above methods are effective. After fusion of four well-trained models enhanced by the mentioned methods, the best SASV-EER, SPF-EER and SV-EER we achieve are 0.559\%, 0.354\% and 0.857\% on the evaluation set respectively. Together with the above contributions, our submission system achieves the fifth place in this challenge.

cs.SD↗

arXiv2022

Hierarchical Reinforcement Learning Based Video Semantic Coding for Segmentation

The rapid development of intelligent tasks, e.g., segmentation, detection, classification, etc, has brought an urgent need for semantic compression, which aims to reduce the compression cost while maintaining the original semantic information. However, it is impractical to directly integrate the semantic metric into the traditional codecs since they cannot be optimized in an end-to-end manner. To solve this problem, some pioneering works have applied reinforcement learning to implement image-wise semantic compression. Nevertheless, video semantic compression has not been explored since its complex reference architectures and compression modes. In this paper, we take a step forward to video semantic compression and propose the Hierarchical Reinforcement Learning based task-driven Video Semantic Coding, named as HRLVSC. Specifically, to simplify the complex mode decision of video semantic coding, we divided the action space into frame-level and CTU-level spaces in a hierarchical manner, and then explore the best mode selection for them progressively with the cooperation of frame-level and CTU-level agents. Moreover, since the modes of video semantic coding will exponentially increase with the number of frames in a Group of Pictures (GOP), we carefully investigate the effects of different mode selections for video semantic coding and design a simple but effective mode simplification strategy for it. We have validated our HRLVSC on the video segmentation task with HEVC reference software HM16.19. Extensive experimental results demonstrated that our HRLVSC can achieve over 39% BD-rate saving for video semantic coding under the Low Delay P configuration.

eess.IV↗

arXiv2022

Xscope: Hunting for Cross-Chain Bridge Attacks

Cross-Chain bridges have become the most popular solution to support asset interoperability between heterogeneous blockchains. However, while providing efficient and flexible cross-chain asset transfer, the complex workflow involving both on-chain smart contracts and off-chain programs causes emerging security issues. In the past year, there have been more than ten severe attacks against cross-chain bridges, causing billions of loss. With few studies focusing on the security of cross-chain bridges, the community still lacks the knowledge and tools to mitigate this significant threat. To bridge the gap, we conduct the first study on the security of cross-chain bridges. We document three new classes of security bugs and propose a set of security properties and patterns to characterize them. Based on those patterns, we design Xscope, an automatic tool to find security violations in cross-chain bridges and detect real-world attacks. We evaluate Xscope on four popular cross-chain bridges. It successfully detects all known attacks and finds suspicious attacks unreported before. A video of Xscope is available at https://youtu.be/vMRO_qOqtXY.

cs.SE↗

arXiv2022

Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics

Static analysis is a mature field with applications to bug detection, security analysis, and code optimization, etc. To facilitate these applications, static analysis frameworks play an essential role by providing a series of fundamental services such as program abstraction, control flow graph construction, and points-to/alias information computation, etc. However, despite impressive progress of static analysis, and this field has seen several popular frameworks in the last decades, it is still not clear how a static analysis framework should be designed in a way that analysis developers could benefit more: for example, what a good IR (for analysis) ought to look like? What functionalities should the module of fundamental analyses provide to ease client analyses? How to develop and integrate new analysis conveniently? How to manage multiple analyses? To answer these questions, in this work, we discuss the design trade-offs for the crucial components of a static analysis framework, and argue for the most appropriate design by following the HBDC (Harnessing the Best Designs of Classics) principle: for each crucial component, we compare the design choices made for it (possibly) by different classic frameworks such as Soot, WALA, SpotBugs and Doop, and choose arguably the best one, but if none is good enough, we then propose a better design. These selected or newly proposed designs finally constitute Tai-e, a new static analysis framework for Java. Specifically, Tai-e is novel in the designs of several aspects like IR, pointer analysis and development of new analyses, etc., leading to an easy-to-learn, easy-to-use and efficient system. To our knowledge, this is the first work that systematically explores the designs and implementations of various static analysis frameworks, and we believe it provides useful materials and viewpoints for building better static analysis infrastructures.

cs.PL↗

arXiv2022

A six-point neuron-based ENO (NENO6) scheme for compressible fluid dynamics

In this work, we introduce a deep artificial neural network (ANN) that can detect locations of discontinuity and build a six-point ENO-type scheme based on a set of smooth and discontinuous training data. While a set of candidate stencils of incremental width is constructed, the ANN instead of a classical smoothness indicator is deployed for an ENO-like sub-stencil selection. A convex combination of the candidate fluxes with the re-normalized linear weights forms the six-point neuron-based ENO (NENO6) scheme. The present methodology is inspired by the work [Fu et al., Journal of Computational Physics 305 (2016): 333-359] where contributions of candidate stencils containing discontinuities are removed from the final reconstruction stencil. The binary candidate stencil classification is performed by a well-trained ANN with high fidelity. The proposed framework shows an improved generality and robustness compared with other ANN-based schemes. The generality and performance of the proposed NENO6 scheme are demonstrated by examining one- and two-dimensional benchmark cases with different governing conservation laws and comparing to those of WENO-CU6 and TENO6-opt schemes.

physics.comp-ph↗

arXiv2022

GateNLP-UShef at SemEval-2022 Task 8: Entity-Enriched Siamese Transformer for Multilingual News Article Similarity

This paper describes the second-placed system on the leaderboard of SemEval-2022 Task 8: Multilingual News Article Similarity. We propose an entity-enriched Siamese Transformer which computes news article similarity based on different sub-dimensions, such as the shared narrative, entities, location and time of the event discussed in the news article. Our system exploits a Siamese network architecture using a Transformer encoder to learn document-level representations for the purpose of capturing the narrative together with the auxiliary entity-based features extracted from the news articles. The intuition behind using all these features together is to capture the similarity between news articles at different granularity levels and to assess the extent to which different news outlets write about "the same events". Our experimental results and detailed ablation study demonstrate the effectiveness and the validity of our proposed method.

cs.CL↗

arXiv2022

Modeling electronic health record data using a knowledge-graph-embedded topic model

The rapid growth of electronic health record (EHR) datasets opens up promising opportunities to understand human diseases in a systematic way. However, effective extraction of clinical knowledge from the EHR data has been hindered by its sparsity and noisy information. We present KG-ETM, an end-to-end knowledge graph-based multimodal embedded topic model. KG-ETM distills latent disease topics from EHR data by learning the embedding from the medical knowledge graphs. We applied KG-ETM to a large-scale EHR dataset consisting of over 1 million patients. We evaluated its performance based on EHR reconstruction and drug imputation. KG-ETM demonstrated superior performance over the alternative methods on both tasks. Moreover, our model learned clinically meaningful graph-informed embedding of the EHR codes. In additional, our model is also able to discover interpretable and accurate patient representations for patient stratification and drug recommendations.

cs.LG↗

arXiv2022

Multi-wavelength magnetic coding of helical luminescence in ferromagnetic 2D layered CrI3

Two-dimensional (2D) van der Waals (vdW) ferromagnets have opened new avenues for manipulating spin at the limits of single or few atomic layers, and for creating unique magneto-exciton devices through the coupling of long-range ferromagnetic (FM) orders and excitons. However, 2D vdW ferromagnets explored so far have rarely possessed exciton behaviors; to date, FM CrI3 have been recently revealed to show ligand-field photoluminescence correlated with FM ordering, but typically with a broad emission peak. Alternatively, many-body excitons have been observed in antiferromagnetic (AFM) NiPS3, but the coupling of excitons with AFM orders is exponentially more difficult, owing to extremely high coercivity. Here, we report a straightforward approach to realize strong coupling of narrow helical emission and FM orders at a low magnetic field in CrI3 through a relatively simple microsphere cavity. We show that the resonant whispering-gallery-modes (WGM) of SiO2 microspheres give rising to a series of strong oscillation helical emissions with a full width at half-maximum (FWHM) of ~5 nm under continuous wave excitation. Reversible magnetic control and coding of helical luminescence with multiwavelength is realized in the range of 950-1100 nm. This work enables plenty of opportunities for creating magnetic encoding lasing for photonic integrated chips.

cond-mat.mtrl-sci↗

arXiv2022

Observation of intrinsic crystal phase in bare CrI3 ferromagnetism

Intrinsic structural phase is a crucial foundation for the fundamental physical properties, and for creating innovative devices with unprecedented performances and unique functionalities. Long-range ferromagnetic orders of van der Waals CrI3 are strongly tied with interlayer stacking orders. However, the intrinsic structure of few-layer CrI3 still remains elusive; the predicted monoclinic phase has not yet been experimentally detected in bare few-layer CrI3. Here we uncover the intrinsic structure of few-layer CrI3 with interlayer antiferromagnetic coupling, which unambiguously show monoclinic stacking in both bare and hBN-encapsulated bilayer and tri-five-layer CrI3 throughout an entire temperature range from 300 to 10 K. An exotic spring damping effect from hBN encapsulation layers is experimentally observed in hBN/CrI3/hBN heterostructures, which partly hinders interlayer sliding of CrI3. This work demonstrates the intrinsic monoclinic crystal phase of few-layer CrI3 and associated correlation with magnetic orders, opening up numerous opportunities for creating magnetic texture by stacking design.

cond-mat.mtrl-sci↗

arXiv2022

Revisiting the transient coarsening kinetics: a new framework in the Lifshitz-Slyozov-Wagner space

Phase coarsening is a fundamental process of microstructure evolution in multiphase materials. A thorough understanding of its kinetics is of great significance for material processing and performance. Generally, coarsening can be divided into the transient stage and the steady stage. Compared with steady coarsening kinetics, the current understanding of transient coarsening is rather limited and contradictory. In the present work, a new framework in the dimensionless Lifshitz-Slyozov-Wagner space is developed to study transient coarsening kinetics co-controlled by interface migration/reaction and matrix diffusion, where the dynamic equation for individual particles is derived from the thermodynamic extremal principle.

cond-mat.mtrl-sci↗

arXiv2022

Geometrical bounds on irreversibility in squeezed thermal bath

Irreversible entropy production (IEP) plays an important role in quantum thermodynamic processes. Here we investigate the geometrical bounds of IEP in nonequilibrium thermodynamics by exemplifying a system coupled to a squeezed thermal bath subject to dissipation and dephasing, respectively. We find that the geometrical bounds of the IEP always shift in contrary way under dissipation and dephasing, where the lower and upper bounds turning to be tighter occurs in the situation of dephasing and dissipation, respectively. However, either under dissipation or under dephasing, we may reduce both the critical time of the IEP itself and the critical time of the bounds for reaching an equilibrium by harvesting the benefits of squeezing effects, in which the values of the IEP, quantifying the degree of thermodynamic irreversibility, also becomes smaller. Therefore, due to the nonequilibrium nature of the squeezed thermal bath, the system-bath interaction energy brings prominent impact on the IEP, leading to tightness of its bounds. Our results are not contradictory with the second law of thermodynamics by involving squeezing of the bath as an available resource, which can improve the performance of quantum thermodynamic devices.

quant-ph↗

arXiv2022

Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses

We establish proof-theoretic, constructive and coalgebraic foundations for proof search in coinductive Horn clause theories. Operational semantics of coinductive Horn clause resolution is cast in terms of coinductive uniform proofs; its constructive content is exposed via soundness relative to an intuitionistic first-order logic with recursion controlled by the later modality; and soundness of both proof systems is proven relative to a novel coalgebraic description of complete Herbrand models.

cs.LO↗

arXiv2022

Thermal Hysteresis Behavior of Skyrmion Lattices in the van der Waals Ferromagnet Fe3GeTe2

Understanding the physics of phase transitions in two-dimensional (2D) systems underpins the research in diverse fields including statistical mechanics, quantum systems, nanomagnetism, and soft condensed matter. However, many fundamental aspects of 2D phase transitions are still not well understood, including the effects of interparticle potential, polydispersity, and particle shape. Magnetic skyrmions, which are non-trivial chiral spin structures, can be considered as quasi-particles that form two-dimensional lattices. Here we show, by real-space imaging using in situ cryo-Lorentz transmission electron microscopy coupled with machine learning, the ordering behavior of Néel skyrmion lattices in van der Waals Fe3GeTe2. We demonstrate a distinct change in the skyrmion size distribution during field-cooling, which leads to a loss of lattice order and an evolution of the skyrmion liquid phase. Remarkably, the lattice order is restored during field heating and demonstrates a thermal hysteresis. Our quantitative analysis explains this behavior based on the energy landscape of skyrmions and demonstrates the potential to control the lattice order in 2D phase transitions.

cond-mat.mtrl-sci↗

arXiv2022

Preserving multi-level quantum coherence by dynamical decoupling

Quantum information processing with multi-level systems (qudits) provides additional features and applications than the two-level systems. However, qudits are more prone to dephasing and dynamical decoupling for qudits has never been experimentally demonstrated. Here, as a proof-of-principle demonstration, we experimentally apply dynamical decoupling to protect superpositions with three levels of a trapped $^9\rm{Be}^+$ ion from ambient noisy magnetic field, prolonging coherence by up to approximately an order of magnitude. Our demonstration, straightforwardly scalable to more levels, may open up a path toward long coherence quantum memory, metrology and information processing with qudits.

quant-ph↗

arXiv2022

Field-Dependent Magnetic Domain Behavior in van der Waals Fe$_3$GeTe$_2$

Two-dimensional magnetic van der Waals (vdW) materials can show a variety of topological nontrivial spin textures, such as Bloch- or Néel-type stripe, skyrmion or bubble domains under certain external stimuli. It is critical to understand the magnetic domain behavior in vdW materials in order to control their size, and density in response to external stimuli such as electric and magnetic fields. Here we examine the magnetic field dependence of topologically non-trivial magnetization spin textures in vdW Fe$_3$GeTe$_2$. Néel-type stripe domains and skyrmions are formed depending on the magnetic field-cooling protocol used during in-situ Lorentz transmission electron microscopy (LTEM) experiments. Use of quantitative reconstruction of magnetic induction maps, and micromagnetic simulations, allow for understanding the LTEM results of Néel-type stripe domains as well as skyrmions. In addition, the deformation of skyrmion contrast is observed as a result of the introduction of an in-plane magnetic field. We demonstrate the stability of the stripe domains and skyrmions in response to externally applied magnetic field due to energy barrier for domain wall annihilation. Our results establish an understanding of the energy landscape that governs the behavior of the topologically non-trivial spin textures in vdW materials which can be harnessed for spintronic applications.

cond-mat.mtrl-sci↗