論文の概要: A Calibration-Free Fixed Point of Curved Boolean Logic Matching the Fine-Structure Constant

• arxiv url: http://arxiv.org/abs/2510.04716v2
• Date: Wed, 08 Oct 2025 11:54:50 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-10-09 14:21:18.195772
• Title: A Calibration-Free Fixed Point of Curved Boolean Logic Matching the Fine-Structure Constant
• Title（参考訳）: 微細構造定数に一致する曲線論理の校正自由点
• Abstract要約: 曲線 Boolean Logic はキャリブレーションのない固定点を持つ。 2成分系F(delta, gamma_4, gamma_5, gamma_6)を解くことにより、等式を強制する。 有限差分ヤコビアン(英語版)は解における完全階数であり、局所一意性を意味する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We show that Curved Boolean Logic (CBL) admits a calibration-free fixed point at which the per-face holonomy theta_0 is the same across independent minimal faces (CHSH, KCBS, SAT_6). Equality is enforced by solving the two-component system F(delta, gamma_4, gamma_5, gamma_6) = (theta_0^(4) - theta_0^(5), theta_0^(5) - theta_0^(6)) = 0 with a Gauss-Newton method (no external scale). A finite-difference Jacobian is full rank at the solution, implying local uniqueness. Working at the coupling level g = |theta_0|/(2*pi*n) removes hidden length factors; at the equality point our normalization audit shows g = alpha (Thomson limit) within numerical tolerance. The SU(1,1) corner words and overlap placements used to compute theta_0 are specified exactly; we also report a variational minimax analysis on g and a pilot non-backtracking spectral density that coincides numerically with the per-edge coupling, suggesting a purely topological formulation. Scope: the match is to the low-energy (Thomson) limit; a full spectral equality on the contextual complex is left as a short conjecture. These results promote the CBL--alpha connection from a calibrated identification to a calibration-free derivation candidate.
• Abstract（参考訳）: クルブド・ブール論理 (CBL) は、面当たりホロノミーのtheta_0 が独立最小面 (CHSH, KCBS, SAT_6) で同じキャリブレーションのない固定点を持つことを示す。 2成分系F(delta, gamma_4, gamma_5, gamma_6) = (theta_0^(4) -theta_0^(5),theta_0^(5) -theta_0^(6)) = 0をガウス・ニュートン法(外部スケールなし)で解くことにより、等式を強制する。 有限差分ヤコビアン(英語版)は解における完全階数であり、局所一意性を意味する。 結合レベル g = |theta_0|/(2*pi*n) で作業すると、隠れた長さ因子が除去される。 SU(1,1)コーナーワードとtheta_0の計算に使用する重複配置を正確に指定し、また、g上の変動最小値解析と、エッジ間結合と数値的に一致する非バックトラックスペクトル密度をパイロットとして報告し、純粋に位相的定式化を示唆する。 スコープ: 一致は低エネルギー(トムソン)の極限であり、文脈的複体上の完全なスペクトル等式は短い予想として残される。 これらの結果はCBL-アルファ接続を校正識別から校正自由導出候補へ促進する。

関連論文リスト

• Correlated Coherent Errors in Stabilizer Codes: A General Cumulant Framework and Interference-Based Error Suppression [0.15393457051344298]
  安定化器符号のコヒーレントエラーは、しばしばキュービットとQECサイクルの間で相関する。 相関コヒーレントな$Z$ノイズの下で繰り返しQECサイクルによって引き起こされる正確な論理チャネルを導出する。 また,QECに有害と推定されるノイズ相関が資源となることを示す。
  論文  参考訳（メタデータ） (2026-07-24T17:16:19Z)
• QBism Logic [0.0]
  QBismは、量子論をエージェントの確率割り当ての規範的分野として解釈する。 本稿ではその図式を論理的に定式化する。
  論文  参考訳（メタデータ） (2026-07-19T10:20:53Z)
• Weave of Formal Thought [51.56484100374058]
  WoFT(Weave of Formal Thought)は、厳密な構文的検証と学習された構造的表現を結合したパラダイムである。 本稿では,非終端文法記号を直接生成にインターリーブするために,言語モデルを訓練する潜時可変微調整法を提案する。 Pythonでは、RWS目的のStarCoder2-3Bを微調整することで、テキストのみのSFTベースラインと比較して、トーケン毎のクロスエントロピーが14.3%削減される。
  論文  参考訳（メタデータ） (2026-06-24T15:58:11Z)
• Beyond the Simplex: Balanced Prototype Geometry for Scorer-Agnostic Open-Set Recognition [2.9506547907695997]
  我々は、d C-1を含むすべての埋め込み次元で成り立つ単純度OSRの理論的な説明を与える。 プロトタイプは、d >= C-1 であれば、正則単純体のように振る舞う一距離対称性を持つことを示す。 さらに、自然等方性仮定の下で、d において指数関数的に偽比速度が崩壊することを示す。
  論文  参考訳（メタデータ） (2026-06-01T08:28:24Z)
• When Rule Violations Are Rare: Chimera Training for Logical Anomaly Detection [56.362776482614976]
  本研究では,学習した視覚概念に対する制約を論理規則として与える環境での異常検出について検討する。 本稿では,各制約を有向非巡回グラフにコンパイルし,特徴認識サブツリーゲートを学習するニューラルルール評価器を提案する。 CLEVRER、OpenImages、VidOR全体で、結果として得られる評価は、独立イベントと同一イメージのセマンティックトレーニングベースラインよりもルールレベルのAUROCを改善する。
  論文  参考訳（メタデータ） (2026-05-25T02:52:36Z)
• Neural Information Causality [0.0]
  我々はニューラル情報因果性(Neural-IC)と呼ばれる枠組みを開発する。 本稿では,Neural-ICがクエリリーク,精度リーク,エピソード固有メモリの操作診断であることを示す。 また、1ビットの古典的RACベンチマークも提供し、関連する量子エンハンスメントがボトルネックを超える完全な情報ではないことを示す。
  論文  参考訳（メタデータ） (2026-05-10T04:25:11Z)
• From Grounding to Skolemization: A Logic-Constrained Vector Symbolic Architecture for Complex Query Answering [14.380920038542287]
  不完全知識グラフ(KG)上の複素クエリアンサーリング(CQA)は、論理的健全性と計算効率の基本的なトレードオフに直面している。 この研究は、形式論理のレンズを通してCQA法を体系的に解析するグラウンディング・スコレム化二分法を確立する。 本稿では,Skolemizationモジュールとニューラルネガレータを統一したニューロシンボリック・シンボリック・ベクター・アーキテクチャ(LVSA)を提案する。
  論文  参考訳（メタデータ） (2025-09-13T14:59:00Z)
• SAT-Based Bounded Fitting for the Description Logic ALC [7.193373053157516]
  記述論理ALCとその構文的断片に対する有界適合性について検討する。 検討されたすべてのフラグメントに対して,基礎となるサイズ制限フィッティング問題はNP完全であることを示す。 本稿では,SATソルバに基づくALCとそのフラグメントにおける有界フィッティングの実装について述べる。
  論文  参考訳（メタデータ） (2025-07-29T12:32:16Z)
• Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation [24.081573908824353]
  一階述語論理(FOL)推論はインテリジェントシステムにおいて重要である。 既存のベンチマークは、広範囲の人間のアノテーションや手作りテンプレートに依存していることが多い。 本稿では,大言語モデルの生成強度を記号型プローサの厳密性と精度で相乗化するProverGenという新しいフレームワークを提案する。
  論文  参考訳（メタデータ） (2025-02-10T15:31:54Z)
• TabVer: Tabular Fact Verification with Natural Logic [11.002475880349452]
  本稿では,自然論理の文脈における数値と算術関数の集合論的解釈を提案する。 大規模言語モデルを用いて,テーブル上で関数を実行することで応答するクレームの健全な部分に関する質問を生成することにより,算術式を生成する。 FEVEROUS上の数ショット設定では、71.4の精度を達成し、完全な神経的および象徴的推論モデルの両方を3.4ポイント上回る。
  論文  参考訳（メタデータ） (2024-11-02T00:36:34Z)
• LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers [60.009969929857704]
  論理的推論は、科学、数学、社会に潜在的影響を与える可能性のある人工知能にとって重要なタスクである。 本研究では、LINCと呼ばれるモジュール型ニューロシンボリックプログラミングのようなタスクを再構成する。 我々は,FOLIOとProofWriterのバランスの取れたサブセットに対して,ほぼすべての実験条件下で,3つの異なるモデルに対して顕著な性能向上を観察した。
  論文  参考訳（メタデータ） (2023-10-23T17:58:40Z)
• Efficient Computation of Counterfactual Bounds [44.4263314637532]
  我々は,構造因果モデルのサブクラスにおけるクレダルネットのアルゴリズムを用いて,正確な反ファクト境界を計算する。 近似の精度を信頼性のある間隔で評価する。
  論文  参考訳（メタデータ） (2023-07-17T07:59:47Z)
• Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
  本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。 具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
  論文  参考訳（メタデータ） (2023-06-21T07:34:27Z)
• Contextual Bandits with Packing and Covering Constraints: A Modular Lagrangian Approach via Regression [65.8785736964253]
  本稿では,線形制約付きコンテキスト帯域(CBwLC)について考察する。これは,アルゴリズムが全消費の線形制約を受ける複数のリソースを消費するコンテキスト帯域の変種である。 この問題はknapsacks (CBwK) を用いてコンテキスト的帯域幅を一般化し、制約のパッケージ化とカバー、および正および負のリソース消費を可能にする。 本稿では,回帰オラクルに基づくCBwLC(CBwK)のアルゴリズムについて述べる。このアルゴリズムは単純で,計算効率が良く,統計的に最適である。
  論文  参考訳（メタデータ） (2022-11-14T16:08:44Z)
• Structural Learning of Probabilistic Sentential Decision Diagrams under Partial Closed-World Assumption [127.439030701253]
  確率感性決定図は構造化分解可能な回路のクラスである。 本稿では,回路の論理的基盤を暗黙的に提供する部分閉世界仮定に基づく新しいスキームを提案する。 予備実験では、提案手法がトレーニングデータに適切に適合し、基礎となる論理的基盤と整合性を維持した上で、テストデータによく適合することを示した。
  論文  参考訳（メタデータ） (2021-07-26T12:01:56Z)
• Tractable Inference in Credal Sentential Decision Diagrams [116.6516175350871]
  確率感性決定図は、解離ゲートの入力が確率値によってアノテートされる論理回路である。 我々は、局所確率を質量関数のクレーダル集合に置き換えることができる確率の一般化である、クレーダル感性決定図を開発する。 まず,ノイズの多い7セグメント表示画像に基づく簡単なアプリケーションについて検討する。
  論文  参考訳（メタデータ） (2020-08-19T16:04:34Z)
• Best Arm Identification for Cascading Bandits in the Fixed Confidence Setting [81.70513857417106]
  CascadeBAIを設計し、分析する。これは、$K$アイテムのベストセットを見つけるアルゴリズムである。 CascadeBAIの時間的複雑さの上限は、決定的な分析課題を克服することによって導かれる。 その結果,カスケードBAIの性能は,時間的複雑性の低い境界の導出により,いくつかの実践的状況において最適であることが示唆された。
  論文  参考訳（メタデータ） (2020-01-23T16:47:52Z)

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

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