4 citations · 11 across the 9 of their papers we have counts for
4 papers · 1 filter
Quantum Nonlocality under Latency Constraints
Dawei Ding, Zhengfeng Ji, Pierre Pocreau +2
Bell inequalities are bounds on the correlations between different parties obeying a local hidden variable theory. Here, "local" refers to spacetime locality: the parties cannot co…
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
Jianling Fu, Hui Jiang, Ming Xu +2
We consider the two categories of termination problems of quantum programs with nondeterminism: 1) Is an input of a program terminating with probability one under all schedulers? I…
A Pattern Matching-Based Framework for Quantum Circuit Rewriting
Hui Jiang, Diankang Li, Yuxin Deng +1
The realization of quantum algorithms relies on specific quantum compilations according to the underlying quantum processors. However, there are various ways to physically implemen…
Quantum Circuit Transformation Based on Tabu Search
Hui Jiang, Yuxin Deng, Ming Xu
The goal of quantum circuit transformation is to map a logical circuit to a physical device by inserting additional gates as few as possible in an acceptable amount of time. We pre…