クリフォード+少数T回路のシミュレーション

少数のTゲートを混在させて、大きなスタビライザー回路（H / S / CNOT / MEASURE /フィードフォワード）をシミュレーションしたい 既存の実装はありますか？

Kiroへのあなたのコメントを論理的な結論に導くと、答えは「はい」です。基本的な考え方は、Tゲートの「マジック」状態を分解することですスタビライザー状態の線形結合として。（これをいくつかの魔法の状態に対して行うと、指数関数的に大きな線形結合が生成されます。）密度演算子として含まれるTゲートの状態を、入力または補助ワークスペースとして導入された他の安定化状態とともに表すと、これを使用できます。 Tゲートの安定化回路とゲートテレポーテーションを実行した後、単一キュービットでの標準基底測定など、特定のパウリ測定結果の確率を計算するための拡張。$\tfrac{1}{\sqrt 2}\bigl(\lvert 0 \rangle + \mathrm{e}^{i \pi / 4} \lvert 1 \rangle \bigr)$

この背後にある基本的な考え方は、Tゲートの状態を線形の組み合わせとして展開する方法が複数あることに注意することで改善できます。特に、各Tゲートを展開するのではなく、一度に複数の Tゲート状態の分解を検討する場合独立して記述し、さらに正確なシミュレーションではなくおおよそのシミュレーションに満足している場合（例：[ Bravyi + Gossett 2016 ]および[ Campbell + Howard 2017 ]を参照）。