技術要約：時空における量子ビットの追跡方法

1. 問題提起

位置ベース暗号（PBC）は、ある当事者の物理的な位置をその暗号学的資格として利用することを目指している。標準的なプリミティブである量子位置検証（QPV）は、検証者が主張された位置 $L$ にいる証明者に対して量子チャレンジを送り、厳格なタイミング制約内にレスポンスが到着することを検証するものである。

しかし、既存のQPVのセキュリティ定義には概念的なギャップが存在する。現在の定義は、分散した敵対的チームのうち「少なくとも一員」が $L$ に位置していることのみを保証する。これにより、適切な量子情報を空間と時間に分散させることで、 $L$ には誰もいないにもかかわらず、分散した敵対的チームが共同で証明者をシミュレートするという「スプーフィング（なりすまし）」シナリオが可能になってしまう。その結果、成功したQPVの証明は、必ずしも単一の持続的な実体がその場所にいたことを証明するものではなく、また、分散したチームが移動する証明者をシミュレートすることを防ぐこともできない。

この制限は、軌跡検証（trajectory verification）、すなわち、証明者が時空における特定の経路 $L(\cdot)$ を通過したことを検証する能力の実現を妨げている。軌跡上の異なる点において個別のQPVプロトコルを実行しても、個々のQPVプロ的可証性が時間を通じて量子状態をリンクさせないため、単一の移動する証明者と、静止した証明者の連鎖を区別することはできない。

2. 手法と核となる概念

著者らは、敵対者の挙動を特定の時空点 $(L, t)$ に「ピンポイントで特定」することを要求し、その点に特定の複製不可能なオブジェクトが存在することを求める、より強力なセキュリティ概念である**量子局在化（Quantum Localization）**を導入する。彼らは3種類の局在化を定義している：

1. もつれ局在化（Entanglement Localization）: $(L, t)$ における証明者の状態から、検証者の持つもつれペアの片方を抽出する能力。
2. 状態局在化（State Localization）: $(L, t)$ における特定の複製不可能な量子状態（例：余剰部分群状態のファミリー）を抽出する能力。
3. 機能局在化（Functionality Localization）: 秘密の関数 $f_k$ を $(L, t)$ で計算する能力を抽出する能力。これは、この能力が他の場所では計算できないことを保証する。

量子アンカー状態（The Quantum Anchor State）

この構成は、量子アンカー状態と呼ばれるプリミティブに基づいている。これは以下の性質を持つ二部グラフ状態 $|\Psi\rangle_{\mathcal{A}\mathcal{V}}$ である：

• $\mathcal{A}$ （アンカー）は検証者が保持する。
• $\mathcal{V}$ （ヴェッセル/器）は証明者に送られる。
• この状態は、EPRペアと「デコイ」量子ビットから構成され、ランダムな基底変換ユニタリ $U_{shift}$ によってスクランブルされている。
• 構造は部分空間 $S \le T \le \mathbb{F}_2^{3n}$ とシフト $u, v$ によって定義される。ヴェッセル・レジスタは、これらの部分空間に対する余剰部分群状態の重ね合わせを含んでいる。

非崩壊型 vs 崩壊型オラクル

中心的な技術的革新は、もつれを破壊することなく検証するための**非崩壊型テスト（non-collapsing tests）**の使用である。

• 崩壊型テスト（Collapsing Test）: もつれ状態の標準的な測定（例：標準基底またはアダマール基底での測定）であり、波動関数を崩壊させる。
• 非崩壊型テスト（Non-Collapsing Test）: 証明者は、部分空間（例：$T+v$ または $S^\perp + u$）への所属を確認し、クエリが有効な場合に秘密の値を返す古典的オラクル（理想的な難読化としてモデル化される）へのアクセス権を与えられる。証明者はこのオラクルに対してコヒーレントなクエリを実行する。
• 不可識別性（Indistinguishability）: **圧縮オラクル（Compressed Oracle）**技術と部分空間の不可識別性補題を用いることで、著者らは、状態を崩壊させない非崩壊型テストをパスした証明者が、対応する崩壊型テストをパスするであろう証明者と区別不能であることを証明している。これにより、プロトコル自体が状態を破壊することなく、検証者がプロトコルの後に、もつれまたは状態を抽出することが可能になる。

もつれ単一性のゲーム（Monogamy-of-Entanglement Games）

セキュリティを証明するために、著者らは**多段階もつれ単一性のゲーム（Multi-Stage Monogamy-of-Entanglement Games）**を定義する。これらのゲームは、異なる時空点においてチャレンジに答えようとする敵対者（左、中央、右のコンポーネントに分割される）をモデル化している。

• セキュリティ証明は、もし敵対者が高い確率で成功した場合、「中央」のコンポーネント（検証された位置にいるもの）が、局所的に状態を崩壊させるような測定（またはオラクルクエリ）を実質的に行ったことになる、という点に基づいている。
• **もつれの単一性（Monogamy of Entanglement）**を活用することで、敵対者が複数の場所で同時に検証者のアンカーと相関を維持することはできないことを示す。もし敵対者が成功した場合、もつれはクエリが発生した特定の時空点に局在化していなければならない。

3. 主な貢献と結果

1. もつれ局在化

本論文は、検証者が特定の時空点 $(L, t)$ における証明者の状態から、自身のアンカー状態の対となるもつれ状態を抽出できるプロトコルを構築している。

• 結果: 証明者の戦略が非無視可能な確率で受理される場合、元のもつれ状態への高い忠実度を持つレジスタを出力する抽出器が、$(L, t)$ における状態に対して存在する。
• 領域: このプロトコルは、理想的な難読化モデル（Ideal Obfuscation Model）（古典的オラクルモデル）において安全であり、これはポスト量子不可識別難読化（iO）や一方向関数を用いてヒューリスティックに実装可能である。

2. 軌跡検証

もつれ局在化に基づき、著者らは**軌跡検証（Trajectory Verification）**を定義している。

• メカニズム: 検証者は「ヴェッセル」レジスタを証明者に送り、主張された軌跡に沿った離散的な点 $(L(t_i), t_i)$ において一連の量子局在化プロトコルを実行する。
• 結果: 証明者が受理された場合、もつれは軌跡上のすべての点に局在化している。もつれの単一性により、これは単一の量子システム（ヴェッセル）が経路 $L(\cdot)$ に沿って移動したことを意味する。これにより、「静止した証明者の連鎖」攻撃は排除される。なぜなら、そのような連鎖は、全軌跡にわたって必要なもつれを同時に維持することができないからである。

3. 状態および機能の局在化

• 状態局在化: 著者らは、もつれだけでなく、特定の量子状態（例：BB84状態や余剰部分群状態）を局在化させるために、これらの手法を適応できることを示している。抽出器は、検証された位置における特定の状態 $|\psi_k\rangle$ を回収する。
• 機能局在化: 著者らは、証明者が検証された位置において秘密の関数 $f_k$ を計算する能力を保持していなければならないという概念を導入している。これは、局在化技術を量子状態難読化（Quantum State Obfuscation）（最良のコピー保護）と組み合わせることで達成される。この結果は、計算能力が $(L, t)$ に局在しており、他の場所では計算できないことを保証する。

4. 負の結果：$f$-BB84の非局在化可能性

本論文は、すべてのQPVプロトコルが局在化を満たすわけではないことを示している。著者らは、よく知られた $f$-BB84プロトコル（$f(x,y)$ に基づいてEPRペアを測定するプロトコル）が、もつれ局在化を満たさないことを示している。

• 攻撃: 分散した3人の証明者チームは、量子ワンタイムパッドを共有することで、このプロトコルを完全にシミュレートできる。中央の証明者は正しい測定を行うが、もつれは3人の証明者の間に非局所的に分散されており、単一の抽出器がいかなる方法を用いても、中央の位置で完全なもつれ状態を回収することはできない。これは、新しい局在化定義の強力さを際立たせている。

4. 意義と主張

著者らは、直感的な目標（物理的な実体を追跡すること）と形式的なセキュリティ定義の間のギャップに対処することで、彼らの研究が位置ベース暗号のより強力な基礎を提供するものであると主張している。

• 概念的転換: 本論文は、PBCを「誰かがそこにいるか？」というバイナリな検証から、「この特定の量子情報がここにあるか？」という連続的な検証へと移行させている。
• 軌跡検証: これは、これまで標準的なQPVのセキュリティ下では定義不可能、あるいは不可能と考えられてきたタスクである、エンティティの時空を通じた軌跡の検証に関する初の実現可能性を示す結果である。
• 物理的時空と情報: これらの結果は、位置と情報の密接な関係を探求しており、計算能力が量子力学を介して物理的な時空制約に根本的に結びつけられる可能性があることを示唆している。
• モデル: セキュリティは理想的な難読化モデルにおいて証明されている。著者らは、これが（iOによってインスタンス化される）ヒューリスティックな仮定であることを認めているが、これは古典暗号におけるランダムオラクルモデルの使用と同様に、このような強力なプリミティブにとって標準的かつ必要なステップであると主張している。彼らは、プレーンモデル（オラクルなし）でのセキュリティ証明は依然として大きな未解決問題であることを明記している。

結論として、著者らは、現在のプロトコルはノイズのない伝送と正確なタイミングを想定しているものの、このフレームワークは、将来の堅牢で現実的な実装のための理論的基礎を提供するものであると述べている。