Paper-Conference

Reconfigurable Quantum Instruction Set Computers for High Performance Attainable on Hardware
The performance of current quantum hardware is severely limited. While expanding the quantum ISA with high-fidelity, expressive basis …
Zhaohui Yang, Dawei Ding, Qi Ye, Cupjin Huang, Jianxin Chen, Yuan Xie
PDF 引用 DOI DOI arXiv
The Curious Case of "XOR Repetition" of Monogamy-Of-Entanglement Games
In this work, we consider “decision” variants of a monogamy-of-entanglement game by Tomamichel, Fehr, Kaniewski, and Wehner …
Andrea Coladangelo, Qipeng Liu, Ziyi Xie
PDF 引用 DOI DOI arXiv
Quantum Instruction Set Architecture: The Good, the Bad, and the Future
引用 DOI DOI
Quantum Hamiltonian Certification
We formalize and study the Hamiltonian certification problem. Given access to $e^{-\mathrm{i} Ht}$ for an unknown Hamiltonian $H$, the …
Minbo Gao, Zhengfeng Ji, Qisheng Wang, Wenjun Yu, Qi Zhao
PDF 引用 DOI arXiv URL DOI
Quantum Speedup for Sampling Random Spanning Trees
We present a quantum algorithm for sampling random spanning trees from a weighted graph in $\widetilde{O}(\sqrt{mn})$ time, where $n$ …
PDF 引用 DOI arXiv URL DOI
Complete Quantum Relational Hoare Logics from Optimal Transport Duality
We introduce a quantitative relational Hoare logic for quantum programs. Assertions of the logic range over a new infinitary extension …
Gilles Barthe, Minbo Gao, Theo Wang, Li Zhou
PDF 引用 DOI DOI arXiv
PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices
Variational quantum algorithms (VQA) based on Hamiltonian simulation represent a specialized class of quantum programs well-suited for …
Zhaohui Yang, Dawei Ding, Chenghong Zhu, Jianxin Chen, Yuan Xie
PDF 引用 DOI arXiv URL DOI
Oracle Separation Between Quantum Commitments and Quantum One-Wayness
We show that there exists an oracle relative to which quantum commitments exist but no (efficiently verifiable) one-way state …
John Bostanci, Boyang Chen, Barak Nehoran
PDF 引用 DOI DOI arXiv
The Power of a Single Haar Random State: Constructing and Separating Quantum Pseudorandomness
In this work, we focus on the following question: what are the cryptographic implications of having access to an oracle that provides a …
Boyang Chen, Andrea Coladangelo, Or Sattath
PDF 引用 DOI DOI arXiv
Control Flow Adaption: An Efficient Simulation Method for Noisy Quantum Networks
引用 DOI