Xiaodong Yang

Realization of a Quantum Simulator Based Oracle Machine for Solving Quantum Optimal Control Porblem

2016 · arXiv (Cornell University)

A central challenge in quantum computing is to identify more computational problems for which utilization of quantum resources can offer significant speedup. Here, we propose a hybrid quantum-classical scheme to tackle the quantum optimal control …

Robust Dynamical Decoupling for the Manipulation of a Spin Network via a Single Spin

2021 · arXiv (Cornell University)

High-fidelity control of quantum systems is crucial for quantum information processing, but is often limited by perturbations from the environment and imperfections in the applied control fields. Here, we investigate the combination of dynamical decoupling …

Identity-based Data Possession Verification Scheme for Multi-Replica Storage in Cloud

2021 · Journal of Physics Conference Series

Abstract In the cloud storage environment, how to efficiently and dynamically complete the integrity verification of multi-user and multi-replica data is a challenging problem. Based on the bilinear mapping signature mechanism and the multi-branch authentication …

NNV: The Neural Network Verification Tool for Deep Neural Networks and\n Learning-Enabled Cyber-Physical Systems

2020 · arXiv (Cornell University)

This paper presents the Neural Network Verification (NNV) software tool, a\nset-based verification framework for deep neural networks (DNNs) and\nlearning-enabled cyber-physical systems (CPS). The crux of NNV is a collection\nof reachability algorithms that make use of …

Experimental Realization of Criticality-Enhanced Global Quantum Sensing via Non-Equilibrium Dynamics

2025 · arXiv (Cornell University)

Quantum critical systems offer promising advancements in quantum sensing and metrology, yet face limitations like critical slowing down and a restricted criticality-enhanced region. Here, we introduce a critical sensing scheme that mitigate critical slowing down …