技術要約：アンビエント・リリース・システムにおけるコーリック・マスキング（Choric Masking）

問題提起

本論文は、形式的な非観測性と、実用的な可読性の間にある乖離に対処している。多くのシステムでは、公開された一連の動作（進入、待機、修正、転送）が行われている間、隠された座標（役割、所属、あるいは状態といった「保護されたロカス（protected locus）」）が観測されないことが求められる。この保護された座標自体は公開された表面に明示的に印字されないが、タイミング、反復、躊躇、ルーティング、役割の不一致、および観客の注意といった要素によって生成される統計的なトレース（痕跡）により、隠されたロカスが読み取り可能になってしまう場合がある。

核心となる問題は、二つの隠されたロカスが、有限のテストセット、限定された注意予算、および潜在的な適応型応答ポリシーを持つ観客に対して、区別不可能なトレース法則を誘発するかどうかを判断することである。本論文は、従来の暗号学的不可識別性（プロトコル・トランスクリプトに基づくもの）や差分プライバシー（データベース・キュレーターに基づくもの）は、懸念されるチャネルが公開されたコレオグラフィー（振付）そのものである「アンビエント・リリース・システム」においては不十分であると論じている。

方法論

著者らは、凸幾何学と有限確率論に根ざした**有限トレース計算論（finite trace calculus）**を開発している。その手法は以下の柱に基づいている：

1. 有限ステージ環境（Finite Staged Environments）: システムは、隠されたロカス ($\Theta$)、可視的な役割 ($R$)、状態空間 ($S$)、アクション ($A$)、観測 ($Y$)、および特定の履歴における役割に対して許容されるアクションを規定する**ノルム・ゲート（norm gate, $N$）**を含むタプルとしてモデル化される。
2. トレース・ポリトープ（Trace Polytopes）: 固定されたホライゾン $T$ に対して、隠されたロカスによって誘発されるすべての許容可能な公開トレースの集合は、凸多面体（コーリック・ハル（choric hull/合唱の包絡））を形成する。このハルは、特定のロカスを隠蔽するために利用可能な、許容される振る舞いの「コーラス（合唱）」を表す。
3. 測定演算子としての観客: 観客は全知の観測者ではなく、トレースに適用される限定されたテストのクラス ($F_T$) として定義される。システムの安全性は、これらのテスト下における二つのロカスの投影されたポリトープ間の距離によって測定される。
4. アテンション・レンズ（Attention Lenses）: モデルには、観測者に届く前にトレースを希薄化させるアテンション・レンズ（マルコフ核）が組み込まれている（例：注視制限、滞留時間、またはメモリ圧縮によるもの）。これはカーネル拡大問題として扱われ、フル・トレースには存在しても、投影された空間では消失する可能性がある残差（residue）を扱う。
5. 負債とプレッシャーの力学: 繰り返される相互作用において、論文は**コーリック・リスク・デット（choric risk debt/合唱的リスク負債）**という変数を導入している。これは、局在化に失敗した未解決の残差を追跡するものである。モデルは、この負債がどのように「広がり（breadth）」（より多くの候補の選択）や「希釈（dilution）」（候補あたりの注意の減少）を駆動するかを分析しており、これらは元のキャリアへの危害を必ずしも増大させることなく行われる。

主要な貢献

1. コーリック・マスキングと非特異性

論文は、コーリック・マスキングを不可視性ではなく、**非特異性（non-singularity）**として定義している。ロカスは、他のロカス、役割、またはコホートによって生成される許容されるトレースの凸包内（またはその近傍）にそのトレース法則が存在する場合に、マスキングされているとされる。

• 定理 8.1（測定・ポリトープ等価性）: 有限の観客に対する完全なマスキングは、トレース法則の投影されたポリトープの交差と等価である。
• 定理 14.5（凸コーラス定理）: 二つのロカスが完全にマスキングされているための必要十分条件は、それらのコーリック・ハルが交差することである。

2. 不可識別性のための有限証明書

この計算論は、セキュリティ主張のための構成的かつ有限次元の証明書を提供する：

• 分離証明書（Separation Certificates）: マスキングが失敗する場合、ロカスを区別する分離超平面（限定された公開スコア）が存在する。
• 残差定理（定理 15.1）: リークが存在する場合、それを運ぶ有限のトレースパターン（シリンダー・イベント）が存在する。リークは神秘的なものではなく、具体的なジェスチャーによって運ばれる。
• 局在化証明書（Localization Certificates）: 論文は、残差を検出することと、それを特定のレイヤー（例：人物、物体、あるいはコホート）に局在化させることの区別を行う。残差は検出可能であっても、それが複数のレイヤーの値の測定ハル内に収まっている場合、局在化できない可能性がある。

3. 注意とアパーチャの効果

論文は、限定された注意がいかにセキュリティを変化させるかを定式化している：

• アテンション・フィルタリングによる距離: フル・トレースでは可視である残差が、限定された観測者にとっては消失する場合がある。定理 11.7 は、観測者の注視が診断座標に当たる確率に比例して、知覚される残差が決まることを示す**アパーチャ境界（aperture bound）**を提供している。
• スプリット・ペア（Split Pairs）: 一方の法則のペアは、フル・トレースの観客には露呈するが、アテンション・フィルタリングされた観客に対しては完全にマスキングされている。

4. リリース後および連結ルームの力学

モデルは、初期ゲートの後に発生する残差を考慮している：

• 負担誘発型露出（Burden-Induced Exposure）: 運ばれた物体や状態は、ダウンストリームの「ルーム（部屋）」において減衰したり、新たなハザードを生み出したりすることで、将来のスクリプトを狭め、最初のルームがマスキングされていたとしても、第二の露出フロアを作り出す（定理 21.9）。
• 連結ルーム・アカウンティング: 論文は、第一のルームの残差とリンクの不一致を分離する会計規則を提供している（定理 20.3）。

5. 繰り返される未解決の圧力と負債

未解決の残差が局在化されない繰り返される相互作用に関する分析は、重要な貢献である：

• コーリック・リスク・デット: 未解決の残差は、負債変数 ($D_k$) として蓄積される。
• 外部化の三項関係（定理 18.20）: 負債が増加する場合、システムは負債を解消するか、ソースを局在化するか、あるいはリスクを外部化しなければならない。
• 置換リスク・マスキング（Displaced-Risk Masking）: システムがソースを局在化できない場合、負債を管理するために、カバー・セルのサイズ ($m_k$) を拡大（広がりを持たせる）することができる。これにより、候補あたりの注意が希釈され、真のキャリアへの危害を低減させる一方で、非キャリアの選択確率（偽陽性）を高める可能性がある。定理 18.12 は、局在化なしに広がりを増やすことが、ルームの圧力が上昇しても、保証されたキャリアの危害をゼロにできることを証明している。

結果と理論的境界

• 一意のジェスチャー下限（定理 16.3）: もし隠されたロカスが、他者が十分な質量で一致させることができないジェスチャー（イベント）を行うことを強制された場合、マスキングは不可能である。露出フロアは、到達可能な質量区間のギャップによって決定される。
• ファノ型の局在化境界（定理 8.6）: 確率 $q$ で正しい局在化を保証するためには、観測チャネルは相互情報量 $I(\Sigma; Z) \ge q \log m - \log 2$ を運ぶ必要がある（ここで $m$ はカバー・サイズである）。
• ヘリー証明書（定理 10.10）: $k$ 個の測定のグループに対して、共通のマスクは、測定ハルの $(k+1)$ 次の交差のみをチェックすることで証明できる。
• 希釈を打破するために必要な予算（定理 18.14）: サイズ $m$ のカバー・セル内のすべてのキャリアに対して危害 $\zeta$ を保証するには、注意の予算は $m$ に対して線形にスケールする必要がある。

意義と主張

本論文は、公開されるシステムを監査するための、有限、検査可能、かつ構成的な枠組みを提供すると主張している。その意義は以下の点にある：

1. プライバシーの操作化: 非対称的なスローガンを超え、限定された観客が何を推論できるかについての、有限のホライゾンに基づく主張を行う。
2. 概念の分離: 残差の不在、アパーチャ外の残差、およびカバー集団へ置換された残差を厳密に区別する。
3. 監査可能性: すべてのマスキングの主張には有限の証拠（結合またはハルの交差）があり、すべての露出の主張には公開されたキャリア（分離テスト）が存在する。
4. 制度設計: 「負債の定理」は監査ツールとして機能し、局在化の証明なしに未解決の残差に対して広範な対応を行うことは、元の脅威を解決することなく、単にカバー集団へとリスクを外部化しているに過ぎないことを示す。

著者らは、この理論が悪意や罪を想定するのではなく、トレース法則の統計的な分離に焦点を当てていると断言している。この計算論は、ある「ルーム」が残差を帰属させることができるのか、あるいは帰属させられないのかを証明するように設計されており、圧力が局在化されるべきものか、あるいは置換されたものとして認識されるべきものかを明確にする。論文は、システムが安全であるためには、その可視的な文法が十分なカバーを提供し、かつ観客モデルが実際に知覚されている内容を正確に反映している必要があると結論付けている。