論文の概要: Rigor with Machine Learning from Field Theory to the Poincar\'e Conjecture

• arxiv url: http://arxiv.org/abs/2402.13321v1
• Date: Tue, 20 Feb 2024 19:00:59 GMT
• ステータス: 処理完了
• システム内更新日: 2024-02-22 18:24:53.327522
• Title: Rigor with Machine Learning from Field Theory to the Poincar\'e Conjecture
• Title（参考訳）: フィールド理論からPoincar\e Conjectureへの機械学習によるリゴール
• Authors: Sergei Gukov, James Halverson, Fabian Ruehle
• Abstract要約: 本稿では,機械学習を用いた自然科学における厳密性獲得手法について論じる。 非厳密な手法は、予想生成や強化学習による検証を通じて厳密な結果をもたらす可能性がある。 また、機械学習理論と数学または理論物理学の間に直接の橋渡しを構築することも想像できる。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Machine learning techniques are increasingly powerful, leading to many breakthroughs in the natural sciences, but they are often stochastic, error-prone, and blackbox. How, then, should they be utilized in fields such as theoretical physics and pure mathematics that place a premium on rigor and understanding? In this Perspective we discuss techniques for obtaining rigor in the natural sciences with machine learning. Non-rigorous methods may lead to rigorous results via conjecture generation or verification by reinforcement learning. We survey applications of these techniques-for-rigor ranging from string theory to the smooth $4$d Poincar\'e conjecture in low-dimensional topology. One can also imagine building direct bridges between machine learning theory and either mathematics or theoretical physics. As examples, we describe a new approach to field theory motivated by neural network theory, and a theory of Riemannian metric flows induced by neural network gradient descent, which encompasses Perelman's formulation of the Ricci flow that was utilized to resolve the $3$d Poincar\'e conjecture.
• Abstract（参考訳）: 機械学習の技術はますます強力になり、自然科学に多くのブレークスルーをもたらすが、それらは確率的、エラーを起こし、ブラックボックスであることが多い。 では、理論物理学や純粋数学など、厳密さと理解に重点を置く分野にどのように活用すべきか? 本稿では,機械学習を用いた自然科学における厳密性獲得手法について論じる。 非厳密な手法は、予想生成や強化学習による検証を通じて厳密な結果をもたらす可能性がある。 弦理論から低次元トポロジーにおける滑らかな4$d Poincar\'e予想まで、これらのテクニックの応用を調査する。 また、機械学習理論と数学または理論物理学の直接的な橋渡しも想像できる。 例として、ニューラルネットワーク理論によって動機付けられた場の理論への新たなアプローチと、ニューラルネットワーク勾配降下によって誘導されるリーマン計量フローの理論について述べる。

関連論文リスト

• Towards a Categorical Foundation of Deep Learning: A Survey [0.0]
  この論文は、機械学習を分類的に研究しようとする最近の研究をカバーしている。 数学と科学の言語フランスとして働く カテゴリー理論は 機械学習の分野に 統一的な構造を与えるかもしれない
  論文  参考訳（メタデータ） (2024-10-07T13:11:16Z)
• Machine Learning Toric Duality in Brane Tilings [0.0]
  4d$mathcalN=1$量子場理論におけるセイベルグ双対性の研究に様々な機械学習手法を適用する。 複雑な赤外双対性のネットワークはそのような理論の空間を相互接続し、それを普遍性類に分割する。 我々は、conifold の $mathbbZ_mtimesmathbbZ_n$ orbifold で実現されたセイベルグ双対理論のクラスを特定するために、完全に連結されたニューラルネットワークを訓練する。
  論文  参考訳（メタデータ） (2024-09-23T17:48:14Z)
• A Geometric Framework for Adversarial Vulnerability in Machine Learning [0.0]
  この研究は、人工知能ネットワークにおけるcitetszegedy2013の興味深い脆弱性を理解するために数学を使う意図から始まった。 その過程で、敵ドメイン以外のアプリケーションを含む新しいツールを開発します。
  論文  参考訳（メタデータ） (2024-07-03T11:01:15Z)
• Machine Learning of the Prime Distribution [49.84018914962972]
  素数の可学習性に関するヤン・フイ・ヘの実験的な観察を説明する理論的論証を提供する。 我々はまた、ErdHos-Kac法が現在の機械学習技術によって発見される可能性は極めて低いと仮定している。
  論文  参考訳（メタデータ） (2024-03-19T09:47:54Z)
• Machine learning and information theory concepts towards an AI Mathematician [77.63761356203105]
  人工知能の現在の最先端技術は、特に言語習得の点で印象的だが、数学的推論の点ではあまり重要ではない。 このエッセイは、現在のディープラーニングが主にシステム1の能力で成功するという考えに基づいている。 興味深い数学的ステートメントを構成するものについて質問するために、情報理論的な姿勢を取る。
  論文  参考訳（メタデータ） (2024-03-07T15:12:06Z)
• Lecture Notes on Quantum Electrical Circuits [49.86749884231445]
  量子電気回路の理論は、回路量子力学または回路QEDと呼ばれる。 この理論の目標は、最も関連する自由度に関する量子記述を提供することである。 これらの講義ノートは、物理学と電気工学における理論指向の修士または博士課程の学生に対して、この主題の教育的概要を提供することを目的としている。
  論文  参考訳（メタデータ） (2023-12-08T19:26:34Z)
• Unified Field Theory for Deep and Recurrent Neural Networks [56.735884560668985]
  本稿では,再帰的ネットワークと深層ネットワークの両方に対する平均場理論の統一的,体系的な導出について述べる。 平均場理論への収束は、ディープネットワークよりもリカレントネットワークの方が典型的に遅い。 提案手法はガウス過程が1/n$の体系的展開の最下位次数であることを示す。
  論文  参考訳（メタデータ） (2021-12-10T15:06:11Z)
• The Autodidactic Universe [0.8795040582681388]
  宇宙が自身の物理法則を学習する宇宙論へのアプローチを提案する。 我々はこれらの行列モデルをゲージ/重力理論と学習機械の数学的モデルの両方に対応づけたマップを発見する。 自律的なシステムでは,教師のいない学習がどのような意味を持つのかを詳細に議論する。
  論文  参考訳（メタデータ） (2021-03-29T02:25:02Z)
• Quantum field-theoretic machine learning [0.0]
  我々は、$phi4$スカラー場理論をマルコフ確率場の数学的に厳密な枠組み内の機械学習アルゴリズムとして再考する。 ニューラルネットワークはまた、従来のニューラルネットワークの一般化と見なせる$phi4$理論から派生している。
  論文  参考訳（メタデータ） (2021-02-18T16:12:51Z)
• Topological Quantum Gravity of the Ricci Flow [62.997667081978825]
  我々は、リッチフローの幾何学理論に関連する位相量子重力理論の族を示す。 まず、BRST量子化を用いて空間計量のみに対する「原始的」トポロジカルリーフシッツ型理論を構築する。 葉保存時空対称性をゲージすることで原始理論を拡張する。
  論文  参考訳（メタデータ） (2020-10-29T06:15:30Z)
• Learning to Prove Theorems by Learning to Generate Theorems [71.46963489866596]
  我々は、定理証明器を訓練するために、定理と証明を自動的に合成するニューラルジェネレータを学習する。 実世界の課題に関する実験は、我々の手法による合成データが定理証明器を改善することを示した。
  論文  参考訳（メタデータ） (2020-02-17T16:06:02Z)

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

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