論文の概要: 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} の問題は決定不能であることを示す。
次に,グローバルシミュレータが蓄積した時間,空間,エラーの計算はシミュレーション特性であり,決定不能であることを示す。
これらのシミュレーション特性は、我々が宇宙で経験したのと同じ定数時間局所計算複雑性を持つローカルマシンの量子力学を大域的チューリングマシンが計算する相対的チャーチ・チューリング・ドイッチュ理論を構築するために使用する相対モデルにおいて、特別な相対論的効果をもたらす。
関連論文リスト
- Analog classical simulation of closed quantum systems [0.0]
我々は、ノイズレス量子力学のアナログ古典シミュレーションアルゴリズムを開発した。
このようなパラダイムでシュル「オーディンガー方程式」をシミュレートする方法を説明する。
これは、物理コンピューティングデバイスで量子アルゴリズムをエミュレートする方法を舗装するかもしれない。
論文 参考訳(メタデータ) (2025-02-10T10:01:36Z) - Achieving Operational Universality through a Turing Complete Chemputer [0.0]
化学のためのロボットプラットフォームに適用されたチューリング完全性の概念を利用する。
我々は,コンピュータによる計算可能性の概念を,自動合成機械による化学化合物の合成可能性に活用する。
論文 参考訳(メタデータ) (2025-02-05T04:06:32Z) - GauSim: Registering Elastic Objects into Digital World by Gaussian Simulator [55.02281855589641]
GauSimは、ガウスカーネルを通して表現される現実の弾性物体の動的挙動をキャプチャするために設計された、ニューラルネットワークベースの新しいシミュレータである。
我々は連続体力学を活用し、各カーネルを連続体としてモデル化し、理想化された仮定なしに現実的な変形を考慮に入れた。
ガウシムは質量や運動量保存などの明示的な物理制約を取り入れ、解釈可能な結果と堅牢で物理的に妥当なシミュレーションを確実にする。
論文 参考訳(メタデータ) (2024-12-23T18:58:17Z) - 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) - 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) - Simulation of Thermal Relaxation in Spin Chemistry Systems on a Quantum
Computer Using Inherent Qubit Decoherence [53.20999552522241]
我々は,実世界の量子システムの振舞いをシミュレーションする資源として,キュービットデコヒーレンスを活用することを目指している。
熱緩和を行うための3つの方法を提案する。
結果,実験データ,理論的予測との間には,良好な一致が得られた。
論文 参考訳(メタデータ) (2020-01-03T11:48:11Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。