新しい量子回路シミュレータ「SymFT」は、耐障害（フォールトトレラント）プロトコルに多くみられる「Clifford（クリフォード）優勢」な回路を効率よくサンプリングします。クリフォード操作やパウリ（Pauli）測定が中心で、必要最小限の非クリフォード回転（例：Tゲートに相当するパウリ回転）や確率的なパウリ雑音、途中計測とその計測結果に基づく制御フィードバックを含む回路を扱えます。著者らは、テストした回路群で既存のツールより高速にサンプリングできると報告しています（単一CPUコアでSurfaceコード回路はStimより約2.5倍高速、マジックステート育成・蒸留回路ではClifftより約1.9–3.5倍高速、育成回路では以前の自分たちのSOFTより100倍以上高速）。

背景にある問題はこうです。クリフォードゲートとパウリ測定だけなら「安定化子形式」と呼ばれる手法で効率よく古典シミュレーションできます。しかし計算可能な全領域に到達するには非クリフォード操作が必要で、これが正確なサンプリングを高コストにします。SymFTは、その多くがクリフォードで占められる回路構造を利用して、非クリフォード成分の扱いを効率化することを目指しています。対応できる操作には、クリフォードゲート、パウリ回転（パウリ演算子による回転）、プロジェクティブなパウリ測定、確率的パウリ雑音、そして測定記録に基づくパウリ条件付きフィードバックが含まれます。

実装の核は二つのアイデアです。第一は「記号的クリフォード–パウリフレーム因数分解」です。回路を一度順にたどり、クリフォード操作は“フレーム”としてまとめ、パウリに関わる雑音やフィードバックは符号などの記号データだけで表します。非クリフォード回転や測定はこれらのフレームのもとに引き戻して順序を保ったまま並べ替えます。残ったクリフォードやパウリのフレームはすべて単位ary（ユニタリ）なので、測定分岐の確率値を変えません。したがって毎ショットでそれらを適用し直す必要がなく、計算を節約できます。

第二は「適応的安定化子座標計画」です。ここでは安定化子–不安定化子（stabilizer–destabilizer）表（タブロー）を共有して基底を定義し、その基底に対する“活動中の非安定化子自由度”だけを、動的に大きさを変える密なアクティブ状態ベクトルとして持ちます。タブロー上での基底変換や座標の昇格・降格は計画段階で一度だけ解決し、サンプリング段階では直接使う多座標の更新命令を吐き出します。これによりショットごとのタブロー更新や、密なベクトルに対する局所化によるクリフォード変換を避けられます。

SymFTはPythonパッケージとして提供され、C++によるCPU実装とCUDA（NVIDIAのGPU用並列処理プラットフォーム）によるGPU実装を含みます。論文の抜粋にあるベンチマークでは、前述の通りStimやClifft、以前のSOFTに比べて高いサンプリングスループットを示しました。ただしこれらの数値は「テストした純クリフォードあるいは準クリフォード回路」に対する結果です。回路構造や非クリフォードの割合、雑音モデルによって性能は変わる可能性があります。

注意点として、論文抜粋は全文が入っていない可能性があります。SymFTの設計はパウリ系の回路要素に強く依存しており、より一般的な古典制御（パリティ以外のブール関数による制御）や非パウリのフィードバックへ拡張することは可能ですが、著者はそれらは一般に効率が落ち、追加の非クリフォード操作を生むと述べています。したがって、SymFTの利点は対象とする「クリフォード優勢でパウリ表現が有効な」回路群に対して明確に現れる、という点を押さえておく必要があります。