43 citations · 128 across the 17 of their papers we have counts for
19 papers · 1 filter
QEDIA: Quantum Program Verification in Lean
Yuanjie, Ren, Zhicheng Zhang +4
Practical quantum programs interleave quantum and classical computation: classical data shape the quantum operations that are performed, and measurement outcomes shape the classica…
Quantisation of Abstract Data Types
Mingsheng Ying, Zhicheng Zhang, Kean Chen
In this paper, we introduce a notion of abstract quantum data type within the framework of universal algebra. This notion provides an algebraic foundation for describing data abstr…
Quantum Data Structure for Range Minimum Query
Qisheng Wang, Zhean Xu, Zhicheng Zhang
Given an array , the Range Minimum Query (RMQ) problem is to maintain a data structure that supports RMQ queries: given a range , find the index of the minimum ele…
A List of Complexity Bounds for Property Testing by Quantum Sample-to-Query Lifting
Kean Chen, Qisheng Wang, Zhicheng Zhang
Quantum sample-to-query lifting, a relation between quantum sample complexity and quantum query complexity presented in Wang and Zhang (SIAM J. Comput. 2025), was significantly str…
Access Control Threatened by Quantum Entanglement
Zhicheng Zhang, Mingsheng Ying
Access control is a cornerstone of computer security that prevents unauthorised access to resources. In this paper, we study access control in quantum computer systems. We present…
Simultaneous Estimation of Nonlinear Functionals of a Quantum State
Kean Chen, Qisheng Wang, Zhan Yu +1
We consider a fundamental task in quantum information theory, estimating the values of , , , for an observable and a quantum state . We…
Sample-Optimal Quantum Estimators for Pure-State Trace Distance and Fidelity via Samplizer
Qisheng Wang, Zhicheng Zhang
We settle the problem of estimating the trace distance and (square root) fidelity between -qubit pure quantum states to within additive error , given their independ…
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
Zhicheng Zhang, Mingsheng Ying
Quantum recursive programming has been recently introduced for describing sophisticated and complicated quantum algorithms in a compact and elegant way. However, implementation of…
Tight Quantum Depth Lower Bound for Solving Systems of Linear Equations
Qisheng Wang, Zhicheng Zhang
Since Harrow, Hassidim, and Lloyd (2009) showed that a system of linear equations with variables and condition number can be solved on a quantum computer in $\operatorname{…
Quantum algorithms for matrix geometric means
Nana Liu, Qisheng Wang, Mark M. Wilde +1
Matrix geometric means between two positive definite matrices can be defined from distinct perspectives - as solutions to certain nonlinear systems of equations, as points along ge…
Atomicity in Distributed Quantum Computing
Zhicheng Zhang, Mingsheng Ying
Atomicity is a ubiquitous assumption in distributed computing, under which actions are indivisible and appear sequential. In classical computing, this assumption has several theore…
Verification of Recursively Defined Quantum Circuits
Mingsheng Ying, Zhicheng Zhang
Recursive techniques have recently been introduced into quantum programming so that a variety of large quantum circuits and algorithms can be elegantly and economically programmed.…
Local Test for Unitarily Invariant Properties of Bipartite Quantum States
Kean Chen, Qisheng Wang, Zhicheng Zhang
We study the power of local test for bipartite quantum states. Our central result is that, for properties of bipartite pure states, unitary invariance on one part implies an \texti…
Time-Efficient Quantum Entropy Estimator via Samplizer
Qisheng Wang, Zhicheng Zhang
Entropy is a measure of the randomness of a system. Estimating the entropy of a quantum state is a basic problem in quantum information. In this paper, we introduce a time-efficien…
Quantum Lower Bounds by Sample-to-Query Lifting
Qisheng Wang, Zhicheng Zhang
The polynomial method by Beals, Buhrman, Cleve, Mosca, and de Wolf (FOCS 1998, J. ACM 2001), the adversary method by Ambainis (STOC 2000, J. Comput. Syst. Sci. 2002), and the compr…
Fast Quantum Algorithms for Trace Distance Estimation
Qisheng Wang, Zhicheng Zhang
In quantum information, trace distance is a basic metric of distinguishability between quantum states. However, there is no known efficient approach to estimate the value of trace…
New Quantum Algorithms for Computing Quantum Entropies and Distances
Qisheng Wang, Ji Guan, Junyi Liu +2
We propose a series of quantum algorithms for computing a wide range of quantum entropies and distances, including the von Neumann entropy, quantum Rényi entropy, trace distance, a…
Parallel Quantum Algorithm for Hamiltonian Simulation
Zhicheng Zhang, Qisheng Wang, Mingsheng Ying
We study how parallelism can speed up quantum simulation. A parallel quantum algorithm is proposed for simulating the dynamics of a large class of Hamiltonians with good sparse str…
Quantum Algorithm for Fidelity Estimation
Qisheng Wang, Zhicheng Zhang, Kean Chen +4
For two unknown mixed quantum states and in an -dimensional Hilbert space, computing their fidelity is a basic problem with many important applications in quant…