Explore

IQP回路を用いた検証可能な量子的優位性のための新しいスキーム。3次多項式における埋め込まれた独立空間を用いており、多項式的な検証シミュレーションギャップを達成している。約100個の論理キュービットで実装可能であり、エラー率は約10^-6程度である。認定ランダムへの応用の可能性を持つ...

研究者は、単一ビットおよびペア相関を使用した量子サンプリング優位に対する無条件検証テストを開発し、Lean 4における機械検証済み証明を伴い、完全な健全性への道筋を特定した。

コンパイル非局所ゲームと計算的自己テストを用いた量子計算検証のための最初の準線形リソースプロトコル。従来研究の3次複雑性と比べてO(poly(λ,log g)·g)のオーバーヘッドを達成し、量子回路の実用的な委譲を可能にする。

対角線テストが量子健全性分析からグローバル互換性を破らずに削除できないことを証明しています。軸並列一貫性だけでは、必要な測定交換性を強制できないことを示す明示的な反例を構築しています。

超伝導回路におけるトリジェミニハミルトニアンは多者もつれとウィグナー負性を生成する。ディスプレイスド・パリティ測定を使用した測定効率的な検証プロトコルにより、非ガウス量子リソースの実用的な実験的認証が可能になる。