57 citations · 183 across the 17 of their papers we have counts for
4 papers · 1 filter
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-…