An optimal oracle separation of classical and quantum hybrid schemes
In: Proceedings of the 33rd International Symposium on Algorithms and Computation (ISAAC 2022), pp. 6:1-6:14, 2022; (2022) S. 6
Online
report
Zugriff:
Recently, Chia, Chung and Lai (STOC 2020) and Coudron and Menda (STOC 2020) have shown that there exists an oracle $\mathcal{O}$ such that $\mathsf{BQP}^\mathcal{O} \neq (\mathsf{BPP^{BQNC}})^\mathcal{O} \cup (\mathsf{BQNC^{BPP}})^\mathcal{O}$. In fact, Chia et al. proved a stronger statement: for any depth parameter $d$, there exists an oracle that separates quantum depth $d$ and $2d+1$, when polynomial-time classical computation is allowed. This implies that relative to an oracle, doubling quantum depth gives classical and quantum hybrid schemes more computational power. In this paper, we show that for any depth parameter $d$, there exists an oracle that separates quantum depth $d$ and $d+1$, when polynomial-time classical computation is allowed. This gives an optimal oracle separation of classical and quantum hybrid schemes. To prove our result, we consider $d$-Bijective Shuffling Simon's Problem (which is a variant of $d$-Shuffling Simon's Problem considered by Chia et al.) and an oracle inspired by an "in-place" permutation oracle.
Comment: v2: 14 pages, added references, removed appendix, and improved presentation
Titel: |
An optimal oracle separation of classical and quantum hybrid schemes
|
---|---|
Autor/in / Beteiligte Person: | Hasegawa, Atsuya ; Gall, François Le |
Link: | |
Quelle: | Proceedings of the 33rd International Symposium on Algorithms and Computation (ISAAC 2022), pp. 6:1-6:14, 2022; (2022) S. 6 |
Veröffentlichung: | 2022 |
Medientyp: | report |
DOI: | 10.4230/LIPIcs.ISAAC.2022.6 |
Schlagwort: |
|
Sonstiges: |
|