論文の概要: Choric Masking in Ambient Release Systems: A Finite Certificate Calculus for Trace Indistinguishability under Bounded Audiences

• arxiv url: http://arxiv.org/abs/2606.13967v1
• Date: Thu, 11 Jun 2026 23:17:08 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-15 16:00:42.67836
• Title: Choric Masking in Ambient Release Systems: A Finite Certificate Calculus for Trace Indistinguishability under Bounded Audiences
• Title（参考訳）: アンビエントリリースシステムにおける合唱マスキング:境界オーディエンス下でのトレーサビリティを識別するための有限証明書
• Authors: Faruk Alpay, Taylan Alpay,
• Abstract要約: 本稿では,保護された座標を直接観測しない環境リリースシステムのための有限証明書計算を開発した。 正確で近似的なマスクに対する測定・ポリトープの等価性、二重分離証明書、注意レンズのためのデータ処理法則、強制的なユニークなジェスチャーのための下限、連結されたリリースのための構成規則、反復室負債定理を証明している。
• 参考スコア（独自算出の注目度）: 0.2864713389096699
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This paper develops a finite certificate calculus for ambient release systems, staged probabilistic environments in which a protected coordinate is not observed directly but can remain statistically readable through visible roles, timing, repeated movement, bounded attention, linked rooms, and post-release state. The security notion, choric masking, requires the trace law induced by a protected locus to lie inside or near the convex hull of admissible cover traces under the tests available to a specified audience. For finite horizons, trace laws form polytopes, audiences induce measurement operators, and masking becomes intersection in the projected measurement space. Exposure is certified by separating hyperplanes, kernel obstructions, hypothesis-testing bounds, Fano-type localization lower bounds, and support separation in downstream rooms. The calculus distinguishes trace residue from carrier localization, full-trace exposure from attention-filtered exposure, first-room masking from delayed post-release exposure, and unresolved system pressure from carrier hazard. It proves measurement-polytope equivalence for exact and approximate masks, dual separation certificates, data-processing laws for attention lenses, aperture identities for gaze-thinned observation, lower bounds for mandatory unique gestures, composition rules for linked releases, and a repeated-room debt theorem showing how unresolved pressure can broaden selection and shift cost onto cover populations without localizing the source. The result is a finite, checkable language for auditing privacy, unlinkability, side-channel leakage, and accountability in public-facing release systems.
• Abstract（参考訳）: 本稿では,保護された座標を直接観測しないが,可視的役割,タイミング,繰り返し移動,有界注意,連結室,リリース後の状態を通じて統計的に可読性を維持することができるような環境下で,環境リリースシステムのための有限証明計算を開発した。 セキュリティの概念である合唱的マスキングでは、保護された軌跡によって引き起こされたトレース法が、特定の観客に利用可能なテストの下で許容されるカバートレースの凸内または近辺にあることを要求している。 有限地平線の場合、トレース法則はポリトープを形成し、観客は測度演算子を誘導し、マスキングは投影された測度空間の交叉となる。 露光は、超平面、カーネル障害、仮説テスト境界、ファノ型ローカライゼーションローバウンド、下流室での分離のサポートによって認証される。 電卓は、キャリアローカライゼーションからの痕跡残基、アテンションフィルターによる露光からのフルトレース露光、リリース後の遅延露光からのファーストルームマスキング、キャリアハザードからの未解決系の圧力を区別する。 正確で近似的なマスクに対する測定・ポリトープの等価性、二重分離証明書、注意レンズのためのデータ処理法、視線に染まった観察のための開口アイデンティティ、義務的なユニークなジェスチャーの低い境界、連結されたリリースのための構成規則、および未解決の圧力が、ソースを位置づけすることなくカバー人口の選択とシフトのコストをいかに拡大するかを示す繰り返し室負債定理を証明している。 その結果、プライバシ、無リンク性、サイドチャネルリーク、および公開対応リリースシステムの説明責任を監査するための、有限でチェック可能な言語になった。

関連論文リスト

• Counterfactual Likelihood Tests for Indirect Influence in Private Reasoning Channels [51.56484100374058]
  本稿では,私的推論チャネル間の影響を測定するための実証実験について述べる。 この方法は、上流のプライベートブロックを長さマッチングドナーブロックに置き換え、公開トークンシーケンスと下流ターゲットを固定し、下流ターゲットの負のログに似たシフトを測定する。
  論文  参考訳（メタデータ） (2026-05-18T20:27:43Z)
• Observation-Aligned Mask Priors for Learning Physical Dynamics from Authentic Occlusions [5.712248310668237]
  観測適応マスクプライオリティ(英: Observation-Aligned Mask Priors)は、観測マスクの分布を学習するフレームワークである。 この交叉に基づく分割は、すべての有効次元にクエリされる確率が厳密に正であることを示します。
  論文  参考訳（メタデータ） (2026-05-16T05:23:49Z)
• Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification [15.392070935885739]
  我々は、安全な部分的に観測された量子ペトリネットの枠組み内での電流不透明度を定式化する。 我々は,攻撃者の局所化量子状態間のトレース距離として,定量的な後状態漏洩を定義する。 エンタングルメント・スワッピングケーススタディは、正確な漏洩評価を検証し、かなりの計算利得を示す。
  論文  参考訳（メタデータ） (2026-04-20T04:14:26Z)
• Neural Uncertainty Principle: A Unified View of Adversarial Fragility and LLM Hallucination [60.197429875410286]
  大規模言語モデルにおける視覚と幻覚の対立的脆弱性は、伝統的に別の問題と見なされている。 損失誘起状態下でのニューラル不確実性原理(NUP)の定式化により, ほぼバウンド状態においては, さらなる圧縮は感度分散の増大を伴うことが判明した。 視覚では、高度に結合したコンポーネントをマスキングすることで、コストのかかる敵の訓練なしに堅牢性を向上させる。 言語では、任意の応答トークンを生成する前に、同じプレフィルステージプローブが幻覚リスクを検出する。
  論文  参考訳（メタデータ） (2026-03-20T02:07:10Z)
• NeuroFilter: Privacy Guardrails for Conversational LLM Agents [50.75206727081996]
  本研究は,エージェント型大規模言語モデル(LLM)のプライバシを強制する際の計算上の課題に対処する。 NeuroFilterは、標準違反をモデルのアクティベーション空間における単純な方向にマッピングすることで、コンテキスト整合性を運用するガードレールフレームワークである。 7Bから70Bパラメータのモデルをカバーする15万以上のインタラクションに対する包括的な評価は、NeuroFilterの強力なパフォーマンスを示している。
  論文  参考訳（メタデータ） (2026-01-21T05:16:50Z)
• Weakly Supervised Representation Learning with Sparse Perturbations [82.39171485023276]
  潜伏変数のスパース摂動によって生じる観測の監督が弱い場合、未知の連続潜伏分布の下で識別が達成可能であることを示す。 本稿では,この理論に基づく自然な推定手法を提案し,それを低次元の合成および画像に基づく実験で説明する。
  論文  参考訳（メタデータ） (2022-06-02T15:30:07Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。