相対化された設定においてプロミス問題が言語と根本的に異なる振る舞いをすることを示す理論的研究。量子古典多項式階層の上界を改善し、堅牢なオラクルアクセスの下でPromiseBQPの自己低性を証明する。

#量子複雑性 #理論計算機科学 #研究