論文の概要: RCShift: Certifying When Partial Linkage Suffices for Finite-Sample Decisions
- arxiv url: http://arxiv.org/abs/2609.26207v1
- Date: Tue, 11 Aug 2026 04:16:43 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-28 05:09:55.921605
- Title: RCShift: Certifying When Partial Linkage Suffices for Finite-Sample Decisions
- Title(参考訳): RCShift: 有限サンプル決定に部分リンクが十分である場合の認証
- Abstract要約: RCShiftは、宣言された観測契約の下で2つのルートを認証する。
これは、部分リンクストレージを、宣言された家族、コスト、ターゲット、そして一般的な厳密な肯定的なサポートのための決定校正された測定設計に変換する。
- 参考スコア(独自算出の注目度): 16.888481749003173
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Systems with costly gold outcomes and cheaper auxiliary observations must decide how much record linkage to retain. Complete pairing retains every joint counter, while separate margins retain none. Neither endpoint is calibrated to a declared finite-sample decision. Universal reconstruction can retain cycle directions invisible to the likelihood-ratio family. Family-exact storage can exceed what the decision requires because certified residual loss may fit within finite-sample slack. We introduce RCShift, which certifies two routes to sufficiency under a declared observation contract. Its exact mode characterizes minimum-cost family-exact storage through LR-visible cycle directions. Its approximate mode bounds reverse Le Cam deficiency. Its integer mode certifies whether a chosen set preserves the full experiment's minimum integer record count at specified size and power. In a rank-two witness, one aligned counter preserves a four-record minimum. An equal-cost misaligned counter and the margins require eleven records, while universal reconstruction requires two counters. A local perturbation has positive reverse deficiency yet retains the four-record minimum. Proof-checked scheduling bounds instantiate the contract before gold computation and yield exact reconstruction on the admitted tree support. RCShift turns partial-linkage storage into decision-calibrated measurement design for the declared family, costs, target, and common strictly positive support.
- Abstract(参考訳): 高価な金の成果と安価な補助観測を持つシステムは、記録リンクの保持量を決定する必要がある。
完全なペアリングはすべてのジョイントカウンターを保持し、別々のマージンは保持しない。
どちらのエンドポイントも、宣言された有限サンプル決定に校正されない。
普遍的な再構築は、確率比の家族に見えない周期方向を維持することができる。
家族関係の記憶は、認証された残留損失が有限サンプルスラックに収まる可能性があるため、決定に必要なものを超える可能性がある。
我々は、宣言された観測契約の下で2つの経路を認証するRCShiftを紹介する。
その正確なモードは、LR可視サイクル方向を通した最小コストのファミリーエクササイズストレージを特徴付ける。
その近似モードは逆のル・カム欠損を境界とする。
その整数モードは、選択された集合が、指定されたサイズとパワーで、完全な実験の最小整数レコード数を保存するかどうかを認証する。
ランク2の証人では、一列のカウンターは4レコードの最小値を保持する。
対等なコストのミスアライメントカウンタとマージンには11のレコードが必要ですが、普遍的な再構築には2つのカウンタが必要です。
局所摂動は正の逆の欠損を持つが、4レコードの最小値を保持する。
検証済みのスケジューリングバウンダリは、金の計算の前に契約をインスタンス化し、承認されたツリーのサポートを正確に再構築する。
RCShiftは、部分リンクストレージを、宣言されたファミリー、コスト、ターゲット、そして一般的な厳密な肯定的なサポートのための決定校正された測定設計に変換する。
関連論文リスト
- What Can a Recurrent State Safely Forget? [4.870012761464388]
リカレントモデルは、隠された状態エラーを抑えながら将来の振る舞いを変える情報を保持する必要がある。
我々は、この境界を再帰状態空間の予測商によって定式化する。
監査次元 k の場合、必要なプローブ結果 O(M * Omega-(k+2) は M = |A| となる。
論文 参考訳(メタデータ) (2026-09-20T05:21:16Z) - Available Guardrails: Certifying Selective Prediction across ML Systems [40.57629016626049]
安全, 粒度, サービストラフィックのトレードオフを明らかにする動的プログラムを開発する。
1つの計画上の候補分割を分割し、その中の1つを選択すると、このギャップの一部が回復することを示す。
相補的妥当性保存レバーは、報告ユニット間で家庭的にエラー予算を割り当て、追加のカバレッジを回復する。
論文 参考訳(メタデータ) (2026-09-18T17:36:52Z) - Reservoir Support Sets the Minimum Loss for Non-Hermitian Dynamics [0.0]
我々は3モードの貯水池が非制限の通過閾値に達する位相制御チェーンを構築した。
境界制約は時間依存マルコフ制御を含む厳密な条件軌道である。
連結鎖プロトコルは、キャリブレーションされた有限時間放電による効果的な貯水池支援をテストする。
論文 参考訳(メタデータ) (2026-09-11T20:00:51Z) - Constrained Online Learning with Noisy Constraint Values [55.29259818039367]
一般的な実現可能性の下では、我々のLEDGERアルゴリズムは、期待される損失$O(sqrt T)と期待される予算違反$O(sqrtTlog(eT))を達成します。
スレーター条件、フィードバックチャネル間の独立性、絶対的制約値境界は不要である。
論文 参考訳(メタデータ) (2026-09-07T01:38:41Z) - CFR without Unbiasedness: Deterministic Guarantees for Persistent Public-Chance Schedules [1.0390646006106319]
均一な非負の加法的公切断に対する決定論的目標移動定理を確立する。
定理のコンポーネント解決形式は、実行トレースを数値的なエクスプロイラビリティ証明に変換する。
ディープ・スタディでは、32から64のフルカットの成果予算が交差し、その後、完全なカバレッジが支配される。
論文 参考訳(メタデータ) (2026-08-14T09:28:35Z) - Repeated-Game Security for Restaking-Based Verifiable Inference [2.9661360665913574]
本論文は,1ラウンドスラッシング条件が同一の利害関係下での推論を繰り返すと,セキュリティを過小評価できることを示す。
本稿では,歴史に依存した課題,評価ヘビー級のスラッシュ,利得の優位性を組み合わせた展開可能なメカニズムを提案する。
論文 参考訳(メタデータ) (2026-08-10T03:03:56Z) - DualCert: A Solver for the Traveling Salesman Problem with Constraint-Coupled Learning [4.941039246565574]
大規模走行セールスマン問題 (TSP) では、出力の妥当性を保ちながら限られた計算を割り当てることが求められる。
DualCertは、Emphconstraint-coupled learningを導入し、現在の等級方程式と動的に分離されたサブチュール除去制約がそれぞれの学習遷移を定義する。
1000の保持されたTSP1000インスタンス上で、DualCertは、Lin--Kernighan--Helsgaunバージョン3(LKH-3)からの平均的なツアーコストギャップ(0.0573%)をインスタンス当たり9.55秒のバッチ修正秒で達成した。
論文 参考訳(メタデータ) (2026-08-10T02:48:16Z) - What Accuracy and Gradient Cosine Miss: Evaluating Feedback Alignment via Scale Stability, Reference Validity, and Depth Utility [48.10132234701036]
本稿では,3つのチェック(スケール安定性,参照妥当性,深度ユーティリティ)に基づく診断評価プロトコルを提案する。
複数のアーキテクチャや手法にまたがって、我々のプロトコルは広い校正マージンを持つ全ての障害を識別する。
論文 参考訳(メタデータ) (2026-06-19T06:04:17Z) - Correction and Corruption: A Two-Rate View of Error Flow in LLM Protocols [51.56484100374058]
そこで本研究では,単一プロトコルステップを正確なマッチングタスクで監査するためのペアアウトカム計測インタフェースを提案する。
各インスタンスについて、インターフェースはベースラインの正当性ビットと後ステップの正当性ビットを記録する。
これらのレートは精度の変化を予測し、種、混合物、パイプライン間でテスト可能な再利用可能な経験的インターフェースを定義する。
論文 参考訳(メタデータ) (2026-04-20T13:25:40Z) - Robust Conformal Prediction with a Single Binary Certificate [58.450154976190795]
コンフォーマル予測(CP)は、任意のモデルの出力を、真のラベルを(調整可能な)高い確率でカバーすることを保証した予測セットに変換する。
我々は,MCサンプルが著しく低い場合でも,より小さな集合を生成する頑健な共形予測を提案する。
論文 参考訳(メタデータ) (2025-03-07T08:41:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。