論文の概要: Null Measurability at the Symmetrization Interface in VC Learning
- arxiv url: http://arxiv.org/abs/2604.25028v1
- Date: Mon, 27 Apr 2026 22:10:34 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-04-29 16:49:17.616135
- Title: Null Measurability at the Symmetrization Interface in VC Learning
- Title(参考訳): VC学習におけるシンメトリゼーションインタフェースにおけるNull測定可能性
- Abstract要約: 近年の統計学習の基本的な定理における可測性の再検討は、ゴーストギャップ上のボレル可測性を課している。
標準対称性証明で実際に使用されている片側ゴーストギャップインタフェースでは、この要件は必要以上に強くなっていることを示す。
結果は、有限VCからPAC学習可能性への対称性化経路に必要な測定可能性仮説を弱める。
- 参考スコア(独自算出の注目度): 0.15229257192293197
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Recent work revisiting measurability in the fundamental theorem of statistical learning imposes Borel measurability of ghost-gap suprema. We show that, at the one-sided ghost-gap interface actually used by the standard symmetrization proof, this requirement is stronger than necessary. For any Borel-parameterized concept class on a Polish domain, the bad event "there exists a hypothesis whose ghost empirical error exceeds its training empirical error by at least ε/2" is analytic. By Choquet capacitability, it is therefore measurable in the completion of every finite Borel measure. We then construct a concept class whose bad event is null-measurable but not Borel, giving a strict separation from the Borel supremum condition. Finally, we prove closure under patching, fixed and countable interpolation, and fiber-product amalgamation, showing that the weaker regularity level is stable under natural concept-class constructors. In the realizable setting, where targets belong to the class and are measurable, these results weaken the measurability hypothesis needed by the symmetrization route from finite VC dimension to PAC learnability. The main results and the descriptive-set-theoretic infrastructure used by them are formalized in Lean 4.
- Abstract(参考訳): 統計学習の基本定理における可測性を再考する最近の研究は、ゴーストギャップ上命題のボレル可測性を課している。
標準対称性証明で実際に使用されている片側ゴーストギャップインタフェースでは、この要件は必要以上に強くなっていることを示す。
ポーランドの領域におけるボレルパラメータ化された概念クラスについて、悪い事象は「幽霊経験誤差が訓練経験誤差を少なくともε/2で上回る仮説が存在する」というものである。
チョーケ容量性により、これはすべての有限ボレル測度を完備化するときに測定可能である。
次に、悪い事象がnull-可測であるがボレルではない概念クラスを構築し、ボレル極小条件から厳密に分離する。
最後に, パッチ, 固定補間, 可算補間, 繊維積アマルガメーションの下での閉包を証明し, より弱い正則性レベルが自然概念クラスコンストラクタの下で安定であることを示す。
対象がクラスに属して測定可能な実現可能な設定では、これらの結果は、有限VC次元からPAC学習可能性への対称性化経路で必要とされる測定可能性仮説を弱める。
主な成果とそれらが使用する記述-セット-理論のインフラストラクチャは、Lean 4.0で形式化されています。
関連論文リスト
- A Borel Concept Class of VC Dimension One with a Non-PAC Consistent Learner in ZFC [0.0]
統計的学習の基本的な定理は、適切な可測性仮定の下では、有限Vapnik--Chervonenkis(VC)次元は全ての適切な一貫した学習規則がほぼ正しい(PAC)ことを保証している。
集合論的な仮定を余分に必要とせず、基本定理における追加の正則性仮定は一般に省略できないことを示す。
論文 参考訳(メタデータ) (2026-08-31T04:56:40Z) - Variational Inference for Evidential Deep Learning [69.9353638875714]
数学的に原理化されたフレームワークである変分推論証拠深層学習(VI-EDL)を提案する。
VI-EDLは、分布外検出、ノイズ検出、自律運転シナリオにおいて最先端の性能を達成する。
論文 参考訳(メタデータ) (2026-05-26T02:32:59Z) - The Price of Robustness: Stable Classifiers Need Overparameterization [17.335490896384265]
クラス安定性で逆改善する有限関数クラスに対して有界な一般化を確立する。
我々は、ブベックとセルケの結果を拡張する分類の堅牢性の法則として導かれる。
実験は我々の理論を支持するが、伝統的なノルムに基づく測度はほとんど非形式的である。
論文 参考訳(メタデータ) (2026-03-03T09:47:06Z) - Unregularized Linear Convergence in Zero-Sum Game from Preference Feedback [50.89125374999765]
NLHFにおける最適乗算重み更新(mathtOMWU$)に対する最初の収束保証を提供する。
本分析では, 稀に発生する行動の確率が指数関数的に小さい値から指数関数的に増大する新たな限界収束挙動を同定する。
論文 参考訳(メタデータ) (2025-12-31T12:08:29Z) - From Tail Universality to Bernstein-von Mises: A Unified Statistical Theory of Semi-Implicit Variational Inference [0.12183405753834557]
半単純変分推論 (SIVI) は$q() = int k(| z) r(dz)$ という形の近似後部を構成する
本稿では,このような家族に対する「近似最適化統計学」を統一的に展開する。
論文 参考訳(メタデータ) (2025-12-05T19:26:25Z) - Stability and List-Replicability for Agnostic Learners [2.061173670995696]
無限のリトルストーン次元を持つクラスは、過大な誤差に依存する安定性パラメータを許容しても、安定してPACを学習できないことを証明している。
また、人口減少の少ない分布に非依存的な設定を限定しても、有限仮説クラスのみがグローバルに安定に学習可能であることも証明した。
論文 参考訳(メタデータ) (2025-01-09T15:59:15Z) - Fat Shattering, Joint Measurability, and PAC Learnability of POVM
Hypothesis Classes [8.594140167290098]
我々は、PAC学習性に必要な条件と十分な条件を整合させることにより、量子測定クラスの学習可能性を特徴づける。
有限次元POVMクラスであっても、前処理におけるVC次元の一般化上界は、しばしば無限大であることが示される。
有限次元ヒルベルト空間上で定義されるすべての測定クラスがPAC学習可能であることを示す。
論文 参考訳(メタデータ) (2023-08-21T18:38:24Z) - Beyond the Edge of Stability via Two-step Gradient Updates [49.03389279816152]
Gradient Descent(GD)は、現代の機械学習の強力な仕事場である。
GDが局所最小値を見つける能力は、リプシッツ勾配の損失に対してのみ保証される。
この研究は、2段階の勾配更新の分析を通じて、単純だが代表的でありながら、学習上の問題に焦点をあてる。
論文 参考訳(メタデータ) (2022-06-08T21:32:50Z) - Lassoed Tree Boosting [53.56229983630983]
有界断面変動のカドラー関数の大きな非パラメトリック空間において,早期に停止するn-1/4$ L2の収束速度を持つ勾配向上木アルゴリズムを証明した。
我々の収束証明は、ネストしたドンスカー類の経験的損失最小化子による早期停止に関する新しい一般定理に基づいている。
論文 参考訳(メタデータ) (2022-05-22T00:34:41Z) - Optimal policy evaluation using kernel-based temporal difference methods [78.83926562536791]
カーネルヒルベルト空間を用いて、無限水平割引マルコフ報酬過程の値関数を推定する。
我々は、関連するカーネル演算子の固有値に明示的に依存した誤差の非漸近上界を導出する。
MRP のサブクラスに対する minimax の下位境界を証明する。
論文 参考訳(メタデータ) (2021-09-24T14:48:20Z) - Causal Inference Under Unmeasured Confounding With Negative Controls: A
Minimax Learning Approach [84.29777236590674]
すべての共同設立者が観察されず、代わりに負の制御が利用可能である場合の因果パラメータの推定について検討する。
最近の研究は、2つのいわゆるブリッジ関数による同定と効率的な推定を可能にする方法を示している。
論文 参考訳(メタデータ) (2021-03-25T17:59:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。