論文の概要: An AI-Assisted Solution to the Signed BAR Conjecture: Uniqueness in the Harrison--Reiman Class and a Completely-$\mathcal{S}$ Class Obstruction
- arxiv url: http://arxiv.org/abs/2607.03639v1
- Date: Fri, 03 Jul 2026 23:34:23 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-07 22:26:29.670356
- Title: An AI-Assisted Solution to the Signed BAR Conjecture: Uniqueness in the Harrison--Reiman Class and a Completely-$\mathcal{S}$ Class Obstruction
- Title（参考訳）: サイン付きBAR概念に対するAI支援解:Harrison-Reimanクラスにおける特異性と完全に$\mathcal{S}$クラス障害物
- Abstract要約: 我々は、安定なHarrison-Reimanデータに対する有限符号の一意性問題を非特異な$M$matrixリフレクション行列で解決する。
この証明は、反射拡散の経路的微分可能性を使用しており、確率的分解剤の可能な方向微分可能性を示している。
また、非特異な$M$-行列の仮定が構造的であることも示している。
- 参考スコア（独自算出の注目度）: 3.540245474029962
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: For a multidimensional reflected diffusion, determining whether the associated basic adjoint relationship (BAR) uniquely characterizes the stationary distribution is a basic uniqueness problem in the BAR approach. The problem has remained unresolved for more than 35 years since the introduction of the BAR approach. In this paper, we resolve the finite-signed uniqueness problem for stable Harrison--Reiman data with a nonsingular $M$-matrix reflection matrix. The proof uses pathwise differentiability of the reflected diffusion implies feasible directional differentiability of the probabilistic resolvent to show that, at boundary points, its one-sided initial-state derivative factors through the tangent projection and vanishes along active reflection directions. An interior one-sided convolution then yields smooth test functions whose oblique derivatives are uniformly bounded and converge pointwise to zero on each closed face. The interior signed measure is consequently invariant for the reflected semigroup. The proof was discovered with the assistance of ChatGPT 5.5 Pro and subsequently verified by the authors. We also show that the nonsingular $M$-matrix assumption is structural. In the larger completely-$\mathcal{S}$ class, a nonsingular reflection matrix with a singular proper principal block admits boundary gauges supported on lower-dimensional strata. Under standard exponential ergodicity and a mild one-step regulator bound, these gauges produce nonzero zero-mass signed BAR tuples; indeed the zero-mass interior BAR coordinates contain an infinite-dimensional subspace. A four-parameter three-dimensional family, including an explicit rational example, verifies the obstruction. Thus the finite signed version of the Dai--Dieker question has a positive answer in the Harrison--Reiman $M$-matrix class and a negative answer in a natural completely-$\mathcal{S}$ extension.
- Abstract（参考訳）: 多次元反射拡散の場合、関連する基本随伴関係(BAR)が定常分布を一意に特徴づけるかどうかを判断することは、BAR法における基本特異性問題である。
この問題は、BARの導入以来35年以上も未解決のままである。
本稿では,安定なHarrison-Reimanデータに対する有限符号の一意性問題を非特異な$M$-matrixリフレクション行列を用いて解決する。
この証明は、反射拡散の経路的微分可能性を用いて、確率分解剤の可能な方向微分可能性を示し、境界点において、その一方の側にある初期状態微分因子が接射影を通って消失し、活性反射方向に沿って消滅することを示す。
内部の片面の畳み込みは、斜めの微分が一様に有界で、各閉面上で点的に 0 に収束する滑らかなテスト関数を与える。
したがって、内部符号付き測度は、反射半群に対して不変である。
この証明はChatGPT 5.5 Proの助けを借りて発見され、その後著者によって検証された。
また、非特異な$M$-行列の仮定が構造的であることも示している。
より大きい完全$\mathcal{S}$クラスでは、特異な主ブロックを持つ非特異な反射行列は、下次元の成層で支えられる境界ゲージを許容する。
標準指数的エルゴディディティと緩やかな1ステップのレギュレータ境界の下で、これらのゲージは非ゼロ質量符号のBARタプルを生成するが、実際にはゼロ質量内部のBAR座標は無限次元の部分空間を含む。
明示的な有理的な例を含む4パラメータの3次元ファミリーは、障害を検証する。
したがって、ダイ=ディーカー問題(英語版)の有限符号版はハリソン-リーマン$M$-行列クラスにおいて正の解を持ち、自然な完全-$\mathcal{S}$拡張において負の解を持つ。
関連論文リスト
- Fixed-ray escort representations of sandwiched and $α$--$z$ Rényi divergences on von Neumann algebras [0.0]
サンドイッチと$-$z$ Rényi の発散を通常の相対エントロピーの平均として表現する。
この表現は、単調なエスコートプロファイルと凸秩序電位を生じる。
論文 参考訳（メタデータ） (2026-08-21T15:24:29Z) - Intrinsic Structure: Spectral Identifiability for Mechanistic Interpretability [51.56484100374058]
機械論的解釈可能性プリミティブに対する最初の識別可能性定理を証明した。
スペクトルは、正当性分解ではなく、記述されたエラーバーを持つ識別可能なモデル固有の指紋である。
論文 参考訳（メタデータ） (2026-08-10T19:42:01Z) - Finite-Probe Total-Variation Certificates for Finite-Basis Drifting Models [1.2072720711193232]
既知有限密度基底における可積分反対称相互作用と絶対連続法則の凍結測定系について述べる。
ガウス-RBF相互作用では、グローバルエンベロープは無分布および経験的ベルンシュタインラジイをサポートする。
我々は,集団グラム行列によるランダム・プローブの観測性を特徴付け,ランクと対称性のデジェネラを同定し,平均整合に向けて大きな帯域幅の崩壊を証明した。
論文 参考訳（メタデータ） (2026-08-03T00:00:40Z) - The Quantum Correction to Gaussian Information Geometry is the Killing Form of the Symplectic Algebra [0.0]
双対量子ビュール計量と双対フィッシャー-ラオ計量との正確な差は共分散行列とは独立であることを示す。
カルタン分解におけるこの形式の符号は、純粋状態境界における量子計量の異方性強固化を再現する。
論文 参考訳（メタデータ） (2026-07-17T15:35:42Z) - Near-Optimal Mode Scaling for Finite-Dimensional Boson Sampling via Lie-Algebraic Leakage Bounds [0.8594140167290097]
物質ベースのプラットフォーム上のボソンサンプリングは、有限次元局所ヒルベルト空間におけるボゾンモードの符号化を必要とする。
コンパクトリー群の既約表現に対する非相互作用サンプリングのための統一的なフレームワークを開発する。
我々は遷移行列のガウスモデルにおいて、そのスペクトルノルムが以前のスピンベースエミュレーションの$O(n)$最悪の場合よりも$tildeO(stn)$に集中していることを証明する。
論文 参考訳（メタデータ） (2026-07-13T15:36:29Z) - Anisotropic Template Ansätze for Robust Positive Invariance under State-Dependent Uncertainty [1.2234742322758416]
固定楕円体テンプレートをGP由来の正定行列場にマッピングする。
結果として生じるLMI条件は、学習された場をシュール安定力学に結合する。
クアドロレータシミュレーションでは3次元速度管の体積が195倍に削減されている。
論文 参考訳（メタデータ） (2026-06-14T23:52:29Z) - Odds Law: The Decomposition Algebra On How Intelligence Organizes Itself to Solve Difficult Problems Reliably [0.5414847001704247]
信頼性は、合成によって配置された独立した情報で購入され、検証者によって拘束されることを示す。
つまり、信頼性は自由でも魔法でもなく、独立した情報で購入され、構成によって配置され、検証者によって拘束される。
論文 参考訳（メタデータ） (2026-06-14T09:53:11Z) - Self-Normalized Martingales and Uniform Regret Bounds for Linear Regression [65.82017723631897]
自己正規化マルティンガレのスケール不変上界が可能であることを示す。
通常の正規化ペナルティを含まない自己正規化濃度不等式を導出する。
論文 参考訳（メタデータ） (2026-05-02T22:39:00Z) - Identifying Intervenable and Interpretable Features via Orthogonality Regularization [48.938969291033665]
我々はデコーダ行列をほぼ直交的な特徴に分解する。
これにより、ターゲットデータセットのパフォーマンスを本質的に変更することなく、機能間の干渉と重畳を低減することができる。
私たちのコードは、$texttthttps://github.com/mrtzmllr/sae-icm$で利用可能です。
論文 参考訳（メタデータ） (2026-02-04T16:29:14Z) - An approach to Fisher-Rao metric for infinite dimensional non-parametric information geometry [0.6138671548064355]
無限次元であることから、非パラメトリックな情報幾何学は長い間「難易度障壁」に直面してきた。
本稿では,タンジェント空間の直交分解による難易度解決のための新しい枠組みを提案する。
情報キャプチャ比を定義することにより,高次元データの内在次元を推定する厳密な手法を提案する。
論文 参考訳（メタデータ） (2025-12-25T00:18:41Z) - Fault-tolerant mixed boundary punctures on the toric code [2.3966396835567925]
正確に解けるアベリア・エノンモデルとしてよく知られたトーリック符号の欠陥は、非アベリア統計的性質を示すことができる。
本稿では, 句読点とツイストの利点を融合した混合境界句読点モデルを提案する。
論文 参考訳（メタデータ） (2025-08-15T05:35:03Z) - Entropic Mirror Descent for Linear Systems: Polyak's Stepsize and Implicit Bias [55.72269695392027]
本稿では,線形系を解くためにエントロピックミラー降下を適用することに焦点を当てる。
収束解析の主な課題は、領域の非有界性に起因する。
制限的な仮定を課さずにこれを克服するために、Polyak型階段の変種を導入する。
論文 参考訳（メタデータ） (2025-05-05T12:33:18Z) - Learning with Norm Constrained, Over-parameterized, Two-layer Neural Networks [54.177130905659155]
近年の研究では、再生カーネルヒルベルト空間(RKHS)がニューラルネットワークによる関数のモデル化に適した空間ではないことが示されている。
本稿では,有界ノルムを持つオーバーパラメータ化された2層ニューラルネットワークに適した関数空間について検討する。
論文 参考訳（メタデータ） (2024-04-29T15:04:07Z) - Hypothesis testing on invariant subspaces of non-diagonalizable matrices with applications to network statistics [0.0]
不変ベクトルに対するウォルドテストと個々の係数に対する$t$-testはシミュレーションでよく機能する。
統計学者は、不変部分空間推定器の高階への収束率を制御するために、一階のデービス=カハン境界の制御しか必要としない。
論文 参考訳（メタデータ） (2023-03-31T17:48:20Z) - Optimal policy evaluation using kernel-based temporal difference methods [78.83926562536791]
カーネルヒルベルト空間を用いて、無限水平割引マルコフ報酬過程の値関数を推定する。
我々は、関連するカーネル演算子の固有値に明示的に依存した誤差の非漸近上界を導出する。
MRP のサブクラスに対する minimax の下位境界を証明する。
論文 参考訳（メタデータ） (2021-09-24T14:48:20Z) - Feature Cross Search via Submodular Optimization [58.15569071608769]
機能工学の基本的な基礎として機能横断探索について研究する。
この問題に対して単純なgreedy $(1-1/e)$-approximationアルゴリズムが存在することを示す。
論文 参考訳（メタデータ） (2021-07-05T16:58:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。