論文の概要: A Relative Church-Turing-Deutsch Thesis from Special Relativity and Undecidability

• arxiv url: http://arxiv.org/abs/2206.06419v1
• Date: Mon, 13 Jun 2022 18:58:41 GMT
• ステータス: 処理完了
• システム内更新日: 2022-06-15 15:37:58.294717
• Title: A Relative Church-Turing-Deutsch Thesis from Special Relativity and Undecidability
• Title（参考訳）: 特殊相対性理論と非決定性からの相対的教会修道会論
• Authors: Blake Wilson, Ethan Dickey, Vaishnavi Iyer and Sabre Kais
• Abstract要約: 本研究では,グローバルシミュレータが蓄積した時間,空間,誤差の計算がシミュレーション特性であることを示す。 これらのシミュレーション特性は、チャーチ・チューリング・ドイツ理論の構築に使用する相対モデルに特別な相対論的効果をもたらす。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Beginning with Turing's seminal work in 1950, artificial intelligence proposes that consciousness can be simulated by a Turing machine. This implies a potential theory of everything where the universe is a simulation on a computer, which begs the question of whether we can prove we exist in a simulation. In this work, we construct a relative model of computation where a computable \textit{local} machine is simulated by a \textit{global}, classical Turing machine. We show that the problem of the local machine computing \textbf{simulation properties} of its global simulator is undecidable in the same sense as the Halting problem. Then, we show that computing the time, space, or error accumulated by the global simulator are simulation properties and therefore are undecidable. These simulation properties give rise to special relativistic effects in the relative model which we use to construct a relative Church-Turing-Deutsch thesis where a global, classical Turing machine computes quantum mechanics for a local machine with the same constant-time local computational complexity as experienced in our universe.
• Abstract（参考訳）: 1950年のチューリングの研究から、人工知能はチューリングマシンによって意識をシミュレートできることを提案した。 これは、宇宙がコンピュータ上のシミュレーションである全てのことの潜在的な理論であり、シミュレーションの中に私たちが存在することを証明できるかどうかという疑問を提起する。 本研究では,計算可能な \textit{local} マシンを,古典的チューリングマシンである \textit{global} でシミュレートした相対計算モデルを構築する。 本研究では,Halting問題と同じ意味でグローバルシミュレータのローカル・マシン・コンピューティング \textbf{simulation properties} の問題は決定不能であることを示す。 次に,グローバルシミュレータが蓄積した時間,空間,エラーの計算はシミュレーション特性であり,決定不能であることを示す。 これらのシミュレーション特性は、我々が宇宙で経験したのと同じ定数時間局所計算複雑性を持つローカルマシンの量子力学を大域的チューリングマシンが計算する相対的チャーチ・チューリング・ドイッチュ理論を構築するために使用する相対モデルにおいて、特別な相対論的効果をもたらす。

関連論文リスト

• Computational Dynamical Systems [0.6138671548064356]
  チューリングマシンをシミュレートするスムーズな力学系について、その意味について定義を与える。 カオス的」力学系と「可積分」力学系は普遍チューリングマシンを強くシミュレートできないことを示す。 より広範に、我々の研究は「機械」が他の機械をシミュレートする意味を解明し、低複雑さの「エンコーダ」と「デコーダ」を定義する必要性を強調している。
  論文  参考訳（メタデータ） (2024-09-18T17:51:48Z)
• DrEureka: Language Model Guided Sim-To-Real Transfer [64.14314476811806]
  シミュレーションで学んだ政策を現実世界に伝達することは、ロボットのスキルを大規模に獲得する上で有望な戦略である。 本稿では,Large Language Models (LLMs) を用いてシム・トゥ・リアル設計の自動化と高速化を行う。 本手法では,ヨガボールの上を歩行する四足歩行や四足歩行など,新しいロボットタスクを解くことができる。
  論文  参考訳（メタデータ） (2024-06-04T04:53:05Z)
• On the Representational Capacity of Recurrent Neural Language Models [56.19166912044362]
  計算時間を持つ有理重み付きRLMは、有理重み付き遷移を持つ決定論的確率的チューリングマシン(PTM)をシミュレートできることを示す。 また, 実時間計算の制約下では, 決定論的実時間有理PTMをシミュレートできることを示した。
  論文  参考訳（メタデータ） (2023-10-19T17:39:47Z)
• Towards Complex Dynamic Physics System Simulation with Graph Neural ODEs [75.7104463046767]
  本稿では,粒子系の空間的および時間的依存性を特徴付ける新しい学習ベースシミュレーションモデルを提案する。 我々は,GNSTODEのシミュレーション性能を,重力とクーロンの2つの実世界の粒子系上で実証的に評価した。
  論文  参考訳（メタデータ） (2023-05-21T03:51:03Z)
• Computing spacetime [0.0]
  我々は、時空の複雑性の原理を提唱し、時空が自身の量子力学の計算コストを最適化した結果重力が発生する。 我々は、時空を識別するテンソルネットワークにおいて、量子状態を作成するために必要な操作を表現するローレンツスレッドを用いて、時空の複雑さを可視化する。
  論文  参考訳（メタデータ） (2022-05-11T18:00:10Z)
• Computational Hierarchy of Elementary Cellular Automata [0.0]
  セルラーオートマトンとセルラーオートマトンをエミュレートする能力について検討した。 非自明なオートマトンをエミュレートできないのは,ある種のカオスオートマトンのみであることを示す。 我々の研究は、チューリング完全かつ計算効率のよい並列計算システムの設計に役立つと信じている。
  論文  参考訳（メタデータ） (2021-08-01T10:00:54Z)
• Towards Cosmological Simulations of Dark Matter on Quantum Computers [0.0]
  量子コンピュータは、古典的コンピュータよりも指数関数的に高速に計算を行うことができる。 量子回路は量子状態に線形に作用するため、非線形性(例えば宇宙シミュレーションにおける自己重力)は重要な課題となる。 ここでは、この課題を克服し、自己重力ダークマターの進化のための(非線形)シュロディンガー・ポアソン方程式を解くための潜在的なアプローチを概説する。
  論文  参考訳（メタデータ） (2021-01-14T19:00:06Z)
• Probability and consequences of living inside a computer simulation [77.65665055163332]
  合理的な仮定の下では、ドレーク型方程式は宇宙が故意のシミュレーションの結果であるという確率に対して得られることが示されている。 このようなシミュレーションの外部からの盗聴の可能性について検討し、シミュレーション内の量子暗号の試行を回避できる汎用攻撃を導入する。
  論文  参考訳（メタデータ） (2020-08-21T02:41:33Z)
• Reservoir memory machines [79.79659145328856]
  本稿では,ニューラルチューリングマシンのベンチマークテストのいくつかを解くことができる貯水池メモリマシンを提案する。 我々のモデルは、外部メモリによるエコー状態ネットワークの拡張と見なすことができ、干渉することなく任意の長さの記憶が可能となる。
  論文  参考訳（メタデータ） (2020-02-12T01:45:00Z)
• Simulation of Thermal Relaxation in Spin Chemistry Systems on a Quantum Computer Using Inherent Qubit Decoherence [53.20999552522241]
  我々は,実世界の量子システムの振舞いをシミュレーションする資源として,キュービットデコヒーレンスを活用することを目指している。 熱緩和を行うための3つの方法を提案する。 結果,実験データ,理論的予測との間には,良好な一致が得られた。
  論文  参考訳（メタデータ） (2020-01-03T11:48:11Z)

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

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