43 citations · 195 across the 16 of their papers we have counts for
16 papers
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…
Optimal Trace Distance and Fidelity Estimations for Pure Quantum States
Qisheng Wang
Measuring the distinguishability between quantum states is a basic problem in quantum information theory. In this paper, we develop optimal quantum algorithms that estimate both th…
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…
Succinct quantum testers for closeness and -wise uniformity of probability distributions
Jingquan Luo, Qisheng Wang, Lvzhou Li
We explore potential quantum speedups for the fundamental problem of testing the properties of closeness and -wise uniformity of probability distributions. Closeness testing is…
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…
Unitarity estimation for quantum channels
Kean Chen, Qisheng Wang, Peixun Long +1
Estimating the unitarity of an unknown quantum channel provides information on how much it is unitary, which is a basic and important problem in quantum device certif…
VeriQBench: A Benchmark for Multiple Types of Quantum Circuits
Kean Chen, Wang Fang, Ji Guan +5
In this paper, we introduce VeriQBench -- an open source benchmark for quantum circuits. It offers high-level quantum circuit abstractions of various circuit types, including 1) co…
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…
Quantum Algorithm for Lexicographically Minimal String Rotation
Qisheng Wang, Mingsheng Ying
Lexicographically minimal string rotation (LMSR) is a problem to find the minimal one among all rotations of a string in the lexicographical order, which is widely used in equality…
An HHL-Based Algorithm for Computing Hitting Probabilities of Quantum Random Walks
Ji Guan, Qisheng Wang, Mingsheng Ying
We present a novel application of the HHL (Harrow-Hassidim-Lloyd) algorithm -- a quantum algorithm solving systems of linear equations -- in solving an open problem about quantum r…
Quantum Random Access Stored-Program Machines
Qisheng Wang, Mingsheng Ying
Random access machines (RAMs) and random access stored-program machines (RASPs) are models of computing that are closer to the architecture of real-world computers than Turing mach…
Equivalence Checking of Quantum Finite-State Machines
Qisheng Wang, Junyi Liu, Mingsheng Ying
In this paper, we introduce the model of quantum Mealy machines and study the equivalence checking and minimisation problems of them. Two efficient algorithms are developed for che…
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…
Quantum Büchi Automata
Qisheng Wang, Mingsheng Ying
Quantum finite automata (QFAs) have been extensively studied in the literature. In this paper, we define and systematically study quantum Büchi automata (QBAs) over infinite words…