57 citations · 183 across the 17 of their papers we have counts for
18 papers
ConQEC: Concolic Testing for Quantum Error-Correcting Code Implementations
Zihao Li, Ji Guan, Mingsheng Ying
Quantum error-correcting code (QECC) implementations are hybrid software-control systems: measured syndromes drive decoder dispatch, recovery actions, and logical checks. Existing…
Optimal classical shadow estimation of unitary channels at Heisenberg limit
Entong He, Zihao Li, Noam Scully +2
Full tomography of an unknown quantum evolution is resource-intensive and often unnecessary when the goal is only to predict selected properties. This motivates the study of classi…
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
Zihao Li, Ji Guan, Mingsheng Ying
We present a tool QSeqSim, a Qiskit-integrated symbolic backend that fills the current gap of having no Qiskit-native support for simulating while-loop quantum programs and their i…
Quantum Nonlinear Properties from a Single Measurement Setting
Zihao Li, Datong Chen, Dayue Qin +2
Nonlinear properties of quantum states are essential to quantum information and many-body physics, but assessing them experimentally is challenging, as it typically requires multi-…
High-Precision Fidelity Estimation with Common Randomized Measurements
Zhongyi Yang, Datong Chen, Zihao Li +1
Efficient fidelity estimation of multiqubit quantum states is crucial to many applications in quantum information processing. However, to estimate the infidelity with multiplic…
Efficient certification of high-dimensional entanglement
Yiwen Wu, Zihao Li, Huangjun Zhu
High-dimensional entanglement (HDE) is a valuable resource in quantum information processing, and efficient certification of HDE is crucial to many applications. In this work, we p…
Experimental Verification of Entangled States in the Adversarial Scenario
Wen-Hao Zhang, Zihao Li, Gong-Chu Li +5
Efficient verification of entangled states is crucial to many applications in quantum information processing. However, the effectiveness of standard quantum state verification (QSV…
Nearly query-optimal classical shadow estimation of unitary channels
Zihao Li, Changhao Yi, You Zhou +1
Classical shadow estimation (CSE) is a powerful tool for learning the properties of quantum states and quantum processes. Here we consider the CSE task for quantum unitary channels…
Robust and efficient verification of graph states in blind measurement-based quantum computation
Zihao Li, Huangjun Zhu, Masahito Hayashi
Blind quantum computation (BQC) is a secure quantum computation method that protects the privacy of clients. Measurement-based quantum computation (MBQC) is a promising approach fo…
Significance improvement by randomized test in random sampling without replacement
Zihao Li, Huangjun Zhu, Masahito Hayashi
This paper studies one-sided hypothesis testing under random sampling without replacement. That is, when binary random variables are subject to a permut…
Nearly tight universal bounds for the binomial tail probabilities
Huangjun Zhu, Zihao Li, Masahito Hayashi
We derive simple but nearly tight upper and lower bounds for the binomial lower tail probability (with straightforward generalization to the upper tail probability) that apply to t…
Minimum number of experimental settings required to verify bipartite pure states and unitaries
Yunting Li, Haoyu Zhang, Zihao Li +1
Efficient verification of quantum states and gates is crucial to the development of quantum technologies. Although the sample complexities of quantum state verification and quantum…
Optimal Verification of the Bell State and Greenberger-Horne-Zeilinger States in Untrusted Quantum Networks
Yun-Guang Han, Zihao Li, Yukun Wang +1
Bipartite and multipartite entangled states are basic ingredients for constructing quantum networks and their accurate verification is crucial to the functioning of the networks, e…
Experimental Masking of Real Quantum States
Rui-Qi Zhang, Zhibo Hou, Zihao Li +4
Masking of quantum information is a way of hiding information in correlations such that no information is accessible to any local observer. Although the set of all quantum states a…
Verification of phased Dicke states
Zihao Li, Yun-Guang Han, Hao-Feng Sun +2
Dicke states are typical examples of quantum states with genuine multipartite entanglement. They are valuable resources in many quantum information processing tasks, including mult…
Optimal Verification of Greenberger-Horne-Zeilinger States
Zihao Li, Yun-Guang Han, Huangjun Zhu
We construct optimal protocols for verifying qubit and qudit GHZ states using local projective measurements. When the local dimension is a prime, an optimal protocol is constructed…
Implementation of generalized measurements on a qudit via quantum walks
Zihao Li, Haoyu Zhang, Huangjun Zhu
Quantum measurements play a fundamental role in quantum mechanics and quantum information processing, but it is not easy to implement generalized measurements, the most powerful me…
Efficient verification of bipartite pure states
Zihao Li, Yun-Guang Han, Huangjun Zhu
We propose practical and efficient protocols for verifying bipartite pure states for any finite dimension, which can also be applied to fidelity estimation. Our protocols are based…