論文の概要: Dynamic Level Sets
- arxiv url: http://arxiv.org/abs/2602.22530v1
- Date: Thu, 26 Feb 2026 02:09:43 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-02-27 18:41:22.477081
- Title: Dynamic Level Sets
- Title(参考訳): 動的レベルセット
- Authors: Michael Stephen Fiske,
- Abstract要約: 数学の概念は、2012年の論文 Turing Incomputable Computation で暗黙的に特定され分析される。
動的レベル集合と呼ばれるこの概念は、力学系、トポロジー、計算可能性理論に関する標準的な文献における数学的概念とは異なっている。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: A mathematical concept is identified and analyzed that is implicit in the 2012 paper Turing Incomputable Computation, presented at the Alan Turing Centenary Conference (Turing 100, Manchester). The concept, called dynamic level sets, is distinct from mathematical concepts in the standard literature on dynamical systems, topology, and computability theory. A new mathematical object is explained and why it may have escaped prior characterizations, including the classical result of de Leeuw, Moore, Shannon, and Shapiro (1956) that probabilistic Turing machines compute no more than deterministic ones.
- Abstract(参考訳): 数学の概念は、2012年のアラン・チューリング・センテナリー・カンファレンス(マンチェスター、Turing 100)で発表されたチューリング計算不可能計算(Turing Incomputable Computation)で暗黙的に特定され分析される。
動的レベル集合と呼ばれるこの概念は、力学系、トポロジー、計算可能性理論に関する標準的な文献における数学的概念とは異なっている。
新しい数学的対象が説明され、なぜデ・リュー、ムーア、シャノン、シャピロ(1956年)の古典的な結果を含む以前の特徴づけから逃れたのかが説明される。
関連論文リスト
- Free Quantum Computing [0.0]
我々は、量子コンピューティングの公理化を開発し、標準的な連続普遍性仮定を少数の離散方程式に置き換える。
また、標準線形代数モデルを圏論的モデルに置き換える自由モデルも開発する。
論文 参考訳(メタデータ) (2026-02-18T22:39:58Z) - Solving Linear Systems of Equations with the Quantum HHL Algorithm: A Tutorial on the Physical and Mathematical Foundations for Undergraduate Students [36.94429692322632]
2009年、ハロー、ハシディム、ロイドは、$poly(log N)$の複雑性を持つ方程式の線形系を解くアルゴリズムを提案した。
本稿では,学部生を対象としたHHLアルゴリズムの物理・数学的基礎を論じるチュートリアルについて述べる。
論文 参考訳(メタデータ) (2025-09-20T11:37:48Z) - Programs as Singularities [0.6906005491572401]
我々はチューリングマシンの構造と実解析関数の特異点の構造との対応性を開発する。
以上の結果から,オッカムのカミソリと帰納的推論における単純さの意味について,より微妙な理解が示唆された。
論文 参考訳(メタデータ) (2025-04-10T19:04:31Z) - On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning [87.73401758641089]
CoT推論による現代言語モデル(LM)の性能向上
LMは弦上の分布の族を確率的チューリングマシンと同一に表現できることを示す。
論文 参考訳(メタデータ) (2024-06-20T10:59:02Z) - The Stochastic-Quantum Theorem [0.0]
本稿では、任意の一般化されたシステムとユニタリ進化量子システムとの間の正確な対応を確立する新しい定理を述べ、証明する。
この定理はまた、なぜ量子系が複素数、ヒルベルト空間、線型単位時間発展、ボルン則に基づいているのかを第一原理で説明する。
論文 参考訳(メタデータ) (2023-09-03T15:28:07Z) - A Categorical Framework of General Intelligence [12.134564449202708]
1950年にアラン・チューリングがこの質問をしたので、直接答えることはできない。
2つの主要な結果とともに、この目標に向けてカテゴリ的なフレームワークを導入します。
論文 参考訳(メタデータ) (2023-03-08T13:37:01Z) - Correspondence between open bosonic systems and stochastic differential
equations [77.34726150561087]
ボゾン系が環境との相互作用を含むように一般化されたとき、有限$n$で正確な対応も可能であることを示す。
離散非線形シュル「オーディンガー方程式」の形をした特定の系をより詳細に分析する。
論文 参考訳(メタデータ) (2023-02-03T19:17:37Z) - Formalising Concepts as Grounded Abstractions [68.24080871981869]
このレポートは、表現学習が生データから概念を誘導する方法を示しています。
このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
論文 参考訳(メタデータ) (2021-01-13T15:22:01Z) - Three computational models and its equivalence [0.0]
計算可能性の研究は、1900年のヒルベルトの会議(英語版)においてアルゴリズムの概念を正確に記述することに由来する。
数学的詳細を忘れずに、現代の方法で証明を提示するこのギャップを埋めるつもりです。
論文 参考訳(メタデータ) (2020-10-26T05:55:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。