arXiv論文メモ
新着一覧
quant-ph / cs.CC / cs.CR · 査読状況未確認

秘密情報を使ってクリフォード演算を高速に実装する

Trapdoored Clifford Operators and Applications

Minki Hhan, Hojune Lee

この論文をやさしく読む

ひとことで言うと

一様ランダムな演算と計算上区別できない量子演算を、秘密の補助情報があれば高速に実装できるようにする理論研究です。

何に役立つ?

ランダムなクリフォード演算を使う量子認証や評価プロトコルの計算負担を減らす構成につながります。また、回路合成の高速化にどのような困難性があるかを理解するのにも役立ちます。

この研究の面白いところ

暗号で使うトラップドアの考え方を量子演算の効率化に持ち込み、有限体上の行列とその逆行列の高速な乗算にも結び付けています。高速な構成だけでなく、同じ演算を複数箇所へまとめて実装する問題の難しさも扱います。

どこまで分かった?

ほぼ線形時間の構成は、ノイズ付きパリティ学習に関する仮定の一変種に依存します。一様ランダム分布そのものを生成するという主張ではなく、計算量的な識別困難性を用います。要旨に量子実機での測定結果はありません。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

ランダムなクリフォード演算子は、ランダム化ベンチマーキング、古典シャドウ、量子認証など、量子計算で多くの用途を持つ。しかし、一様ランダムなn量子ビットのクリフォード演算子のサンプリングと実装には、クリフォード群の大きさに起因するほぼ二次の計算量がかかる。本研究では、この障壁を克服する暗号学的な方法として、トラップドア付きクリフォード演算子分布を導入する。その標本は一様ランダムなクリフォード演算子と計算量的に識別できない一方、トラップドアが与えられれば、はるかに高速に実装できる。 ノイズ付きパリティ学習の仮定の一変種の下で、要素をほぼ線形時間でサンプリング・実装できるトラップドア付きクリフォード演算子分布を構成する。この構成は、古典シミュレーションでパウリラベルに作用するタブロー操作を高速に行え、さらに多重対数の深さで実装できるよう最適化することもできる。その過程で、行列自身とその逆行列の両方による乗算を効率よく行える有限体上のトラップドア付き行列を構成し、VaikuntanathanとZamir[SODA 2026]が残した未解決問題を解決する。これらの構成を使って、ランダムなクリフォード演算子に基づくプロトコルを高速化する。また、反復行列乗算やクリフォード回路合成を含む、行列およびクリフォードの問題における最悪時から平均時への帰着への応用も調べる。 特に、クリフォード回路の一括処理の困難性を示す。同じクリフォード演算を複数のレジスタに適用する回路の合成は、ランダムなクリフォード演算子のうち小さな定数割合で合成に成功するだけの場合でも、少なくとも最悪時の行列乗算と同程度に難しい。この結果は、一般の量子回路による近似実装にも拡張される。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-10-01(UTC)
最新改訂
2026-10-01 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

Random Clifford operators have numerous applications in quantum computing, including randomized benchmarking, classical shadows, and quantum authentication. However, sampling and implementing uniformly random $n$-qubit Clifford incur near-quadratic complexity due to the size of Clifford group. We introduce a cryptographic way to overcome these barriers: trapdoored Clifford operator distributions whose samples are computationally indistinguishable from uniformly random Cliffords, yet implementing them can be much faster given the trapdoor. We construct a distribution of trapdoored Clifford operators whose elements can be sampled and implemented in near-linear time under a variant of the learning parity with noise assumption. Our constructions allow fast tableau action on Pauli labels for classical simulation, and also can be optimized to admit polylogarithmic-depth implementation. Along the way, we construct trapdoored matrices over finite fields that support efficient multiplication by both a matrix and its inverse, resolving an open question left by Vaikuntanathan and Zamir [SODA'26]. We use these constructions to obtain faster protocols based on random Cliffords. We also explore their applications to the worst-case to average-case reductions for matrix and Clifford problems including the iterated matrix multiplication and Clifford circuit synthesis. In particular, we show the hardness of batching Clifford circuits: synthesizing circuits that apply the same Clifford to multiple registers is at least as hard as worst-case matrix multiplication, even when synthesis succeeds on a small constant fraction of random Cliffords. This extends to approximate implementations by general quantum circuits.

arXiv ID: 2610.01848 / 要約の誤りについて