Publications (7)
Quantum Teleportation-Inspired Algorithm for Sampling Large Random Quantum Circuits
Ming-Cheng Chen, Riling Li, Lin Gan +4
We show that low-depth random quantum circuits can be efficiently simulated by a quantum teleportation-inspired algorithm. By using logical qubits to redirect and teleport the quan…
Equivalence Checking of Sequential Quantum Circuits
Qisheng Wang, Riling Li, Mingsheng Ying
We define a formal framework for equivalence checking of sequential quantum circuits. The model we adopt is a quantum state machine, which is a natural quantum generalisation of Me…
isQ: Towards a Practical Software Stack for Quantum Programming
Jingzhe Guo, Huazhe Lou, Riling Li +5
We introduce isQ, a new software stack for quantum programming in an imperative programming language, also named isQ. The aim of isQ is to make the programmers write quantum progra…
SymFT: Universal Fault-Tolerant Quantum Circuit Simulation via Symbolic Clifford--Pauli Frames and Stabilizer Coordinates
Wang Fang, Huazhe Lou, Riling Li
SymFT is a high‑throughput simulator for fault‑tolerant quantum circuits that are dominated by Clifford operations with Pauli rotations and measurements, using symbolic Clifford‑Pa…
A Single-Ion Information Engine for Charging Quantum Battery
Jialiang Zhang, Pengfei Wang, Wentao Chen +12
Information engines produce mechanical work through measurement and adaptive control. For information engines, the principal challenge lies in how to store the generated work for s…
SOFT: a high-performance simulator for universal fault-tolerant quantum circuits
Riling Li, Keli Zheng, Yiming Zhang +4
Circuit simulation tools are critical for developing and assessing quantum-error-correcting and fault-tolerant strategies. In this work, we present SOFT, a high-performance Simulat…
Quantum Supremacy Circuit Simulation on Sunway TaihuLight
Riling Li, Bujiao Wu, Mingsheng Ying +2
With the rapid progress made by industry and academia, quantum computers with dozens of qubits or even larger size are being realized. However, the fidelity of existing quantum com…