論文の概要: If you can distinguish, you can express: Galois theory, Stone--Weierstrass, machine learning, and linguistics
- arxiv url: http://arxiv.org/abs/2510.09902v1
- Date: Fri, 10 Oct 2025 22:26:57 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-14 18:06:29.681003
- Title: If you can distinguish, you can express: Galois theory, Stone--Weierstrass, machine learning, and linguistics
- Title(参考訳): ガロア理論、ストーン-ワイエルストラス、機械学習、言語学
- Authors: Ben Blum-Smith, Claudia Brugman, Thomas Conners, Soledad Villar,
- Abstract要約: 我々は「識別力」という関連する概念を結合する基本定理を提供する。
我々は、これらの定理が現れる機械学習とデータサイエンスの文脈について論じ、より一般的には、パワーの区別と表現力の関係のテーマが現れる。
- 参考スコア(独自算出の注目度): 8.34369101796875
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This essay develops a parallel between the Fundamental Theorem of Galois Theory and the Stone--Weierstrass theorem: both can be viewed as assertions that tie the distinguishing power of a class of objects to their expressive power. We provide an elementary theorem connecting the relevant notions of "distinguishing power". We also discuss machine learning and data science contexts in which these theorems, and more generally the theme of links between distinguishing power and expressive power, appear. Finally, we discuss the same theme in the context of linguistics, where it appears as a foundational principle, and illustrate it with several examples.
- Abstract(参考訳): このエッセイはガロア理論の基本定理とストーン=ワイエルシュトラスの定理の間に平行して発展し、どちらも対象のクラスを区別する力と表現力とを結びつけるアサーションと見なすことができる。
我々は「消火力」という関連する概念を結合する基本定理を提供する。
また、これらの定理が現れる機械学習とデータサイエンスの文脈についても論じる。
最後に,言語学の文脈において,基礎原理として現れる同じテーマについて論じ,いくつかの例を挙げる。
関連論文リスト
- Language as Mathematical Structure: Examining Semantic Field Theory Against Language Games [0.0]
大規模言語モデル(LLM)は、長年の言語的意味の理論を検証可能な、新しい経験的環境を提供する。
我々は、語彙場(Lexfelder)と言語場(Lingofelder)の概念を連続的な意味空間における相互作用構造として定式化する。
意味的規則性を捉える上でのLLMの成功は、言語が基礎となる数学的構造を示すという見方を支持すると論じる。
論文 参考訳(メタデータ) (2026-01-01T19:15:17Z) - A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation [0.0]
本研究では「状態」の概念のための数学的に厳密で統一された形式構造を導入する。
まず、状態深さと写像階層の2つの軸からなる「階層的状態格子」を提案し、数学的、物理的、言語的領域にまたがる統一的な表記体系を提案する。
論文 参考訳(メタデータ) (2025-07-14T11:37:35Z) - DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning [67.93945726549289]
DeepTheoremは、数学的推論を強化するために自然言語を活用する包括的な非公式な定理証明フレームワークである。
DeepTheoremには、121Kの高品質なIMOレベルの非公式な定理と証明からなる大規模なベンチマークデータセットが含まれている。
我々は、証明された定理の変種を利用して堅牢な数学的推論を動機付けることによって、非公式な定理証明に適した新しい強化学習戦略(RL-Zero)を考案する。
論文 参考訳(メタデータ) (2025-05-29T17:59:39Z) - A Complexity-Based Theory of Compositionality [53.025566128892066]
AIでは、構成表現は配布外一般化の強力な形式を可能にすることができる。
ここでは、構成性に関する直観を考慮し、拡張する、表現的構成性と呼ばれる定義を提案する。
私たちは、AIと認知科学の両方において、文学全体から異なる直観を統一する方法を示します。
論文 参考訳(メタデータ) (2024-10-18T18:37:27Z) - Pregeometry, Formal Language and Constructivist Foundations of Physics [0.0]
我々は、量子幾何学の新しい概念と既存の概念が基礎となる前幾何学構造のメタ物理について論じる。
我々は、形式言語、特にホモトピー型理論の枠組みが前幾何学理論の概念的構成要素を提供することを示す証拠に注意を向ける。
論文 参考訳(メタデータ) (2023-11-07T13:19:29Z) - A Category-theoretical Meta-analysis of Definitions of Disentanglement [97.34033555407403]
データの変化の要因を識別することは、機械学習の基本的な概念である。
本稿では,既存の乱れの定義をメタ分析する。
論文 参考訳(メタデータ) (2023-05-11T15:24:20Z) - How Do Transformers Learn Topic Structure: Towards a Mechanistic
Understanding [56.222097640468306]
我々は、トランスフォーマーが「意味構造」を学ぶ方法の機械的理解を提供する
数学的解析とウィキペディアデータの実験を組み合わせることで、埋め込み層と自己保持層がトピック構造をエンコードしていることを示す。
論文 参考訳(メタデータ) (2023-03-07T21:42:17Z) - Generalization-baed similarity [0.0]
我々は、一般化の集合が要素の重要な性質を符号化する観察に基づいて、類似性の抽象的な概念を開発する。
この方法で定義される類似性は、数学的性質に訴えるものであることを示す。
我々は、理論的コンピュータ科学と人工知能への潜在的な応用をスケッチする。
論文 参考訳(メタデータ) (2023-02-13T14:48:59Z) - HyperMiner: Topic Taxonomy Mining with Hyperbolic Embedding [54.52651110749165]
本稿では,単語や話題を表現するために,メタボリック埋め込みを導入した新しいフレームワークを提案する。
双曲空間のツリー様性により、下層のセマンティック階層はより解釈可能なトピックをマイニングするためによりうまく利用することができる。
論文 参考訳(メタデータ) (2022-10-16T02:54:17Z) - Exploring Discourse Structures for Argument Impact Classification [48.909640432326654]
本稿では、文脈経路に沿った2つの議論間の談話関係が、議論の説得力を特定する上で不可欠な要素であることを実証的に示す。
本研究では,文レベルの構造情報を大規模言語モデルから派生した文脈的特徴に注入・融合するDisCOCを提案する。
論文 参考訳(メタデータ) (2021-06-02T06:49:19Z) - Analogical Proportions [0.0]
本稿では、普遍代数学の一般設定において、$a$ is to $b$ to $c$ is to $d$' という形の類比例の抽象的枠組みを紹介する。
類比の概念が数学的性質をアピールしていることが判明した。
本論文は,AI-プロブレムの応用可能性を考慮したアナログ推論と学習システムの理論への第一歩である。
論文 参考訳(メタデータ) (2020-06-04T13:44:36Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。