ノーゴーイオレム – ウィキペディア

Posted on by
before-content-x4

いつ ノーゴーアイテム 理論物理学およびその他の数学科学の定理であり、その声明は、特定の条件下での特定のプロセスまたは状況の不可能性です。

after-content-x4

よく知られている例は、熱力学の2番目の主要な文（永続的なモバイル2型はありません）、アーンショー定理（マックスウェル方程式は静電界の粒子の安定したバランスを許可しません）、ノークローニング定理（量子力学では、環境に耐えられない環境に耐えられるように環境を築くために環境を築くために環境を築くために環境を築くために環境を削除するプロセスがありません）。

ノーゴーの定理は、特に理論物理学では、科学の多くの強力な数学的分野で発生します。 [初め] 多くの影響力のないノーゴー定義がある分野は、たとえば、熱力学の統計物理学と基本、量子力学の基本と量子場理論または量子情報学です。しかし、電気症や抗ディナモ定理のアーンショー定理などのアプリケーションの例もあります。物理学の外には、哲学に対応する文もあります、 [2] 数学 [3] またはコンピューターサイエンス。 [4]

ノーゴー定理の声明が実験の測定データによって違反されている場合、これは定理の基礎となる理論の反論（偽造）として理解できます。よく知られている例は、ベルの不平等であり、特定の相関関係は地元のリアリズムの仮定の下にあることはできないと述べています。量子力学の予測とベル実験の結果は、障壁の違反を示しており、したがって、私たちの宇宙の定理の少なくとも1つの要件の1つがないことを証明しています。 [5] 一方、仮想マシン（または仮定効果）は、それがノーゴー理論の理論に違反していることを示すことができる場合、特定の理論の文脈よりも反論することができます。これは、提案されたメカニズムの構築においてエラーを求める必要はありません。

  • 熱力学：noはありません 永久に運動すること 2番目の種類。
  • 数学：円の直角：同じ領域の正方形を円から構築することはできません。
  • コンピュータサイエンス：
    • 保持問題：すべてのチューリングマシンと、ある時点で際限なく続行するかどうかにかかわらず、すべての可能な入力を決定するタイイングマシンはありません（質問はアルゴリズム的に決定的ではありません）。
    • Landauerの原則：少なくともエネルギーなしで少し情報を削除することはできません
  • Elektrodynamik
    • カウリング抗ディナモ定理：軸対称磁場も軸対称運動（たとえば、ダイナモの）によって維持することはできません。 [6]
    • アーンショーアイテム：荷重粒子を介してのみ不可能です 静的 電磁界を安定したバランスにするため。
  • 量子力学の基本
    • グリーソンの文章：量子力学の予測は、隠された変数では説明できません。
    • 調理スペッカー定理：量子力学の予測を再現する隠された変数を備えた非コンテキストモデルはありません。 [7]
    • Bellscheの不平等：局所的で現実的なモデルは、量子力学の予測を再現することはできません。 [8]
  • Quantenfeldtheorie
  • Quanteninformatik
    • ノークローニングイオレム：ein 知らない 量子状態は完全にコピーすることはできません。
    • ノープログラミング定理 ：決定論的なユニバーサル量子回路はありません（ 量子ゲートアレイ ）、データとプログラムの量子レジスタに作用し、プログラムレジスタの条件に応じて、データレジスタの望ましい変換を実装します。 [11]
    • 量子ビット通信はありません。 ：量子力学の一環として、無条件に安全なコミットメントプロセスはありません。 [12番目]
  • Andrea Oldofredi： ノーゴーの定理と量子物理学の基礎 。の： J. Gen. Phil。 SCI。 バンド 49 、 いいえ。 3 、2018、 S. 355–370 、arxiv： 1904.10991 （英語）。
  • リチャードJ.リプトン、ケネスW.リーガン： ノーゴー定理。 2013年3月13日 ; （英語）。
  1. ↑ リチャードJ.リプトン、ケネスW.リーガン： ノーゴー定理。 2013年3月13日 ; （英語）。
  2. ↑ マイケルE.カファロ： 実用的な観点からノーゴーの定理を再考します 。
  3. ↑ Maaike Zwart、Dan Marsden： 自宅でこれを試さないでください：分配法のためのノーゴーの定理 。 arxiv： 1811,06460 （英語）。
  4. ↑ M.ズワート、D。マースデン： 分配法のノーゴー定理 。の： 2019年第34回年次ACM/IEEEシンポジウムコンピュータサイエンスの論理（LICS） 。 2019、 S. 1–13 、doi： 10.1109/lics.2019.8785707 、arxiv： 2003.12531 。
  5. ↑ 実験の解釈では、さらなる仮定がまだ可能です。 B.検出器の欠陥と測定方向の選択の独立性について。
  6. ↑ マヌエルヌニェス： 軸対称磁場の減衰：カウリングの定理のレビュー 。の： サイアム牧師 バンド 38 、 いいえ。 4 、 S. 553–564 、doi： 10.1137/s003614594261578 。
  7. ↑ Carsten Hold： コーキングフィッティング定理 。 In：エドワードN.ザルタ（編）： 哲学のスタンフォード百科事典 。 2018年春版。 （英語、 stanford.edu ）。
  8. ↑ ただし、ここでは、ベルと関連する定理は、ノーゴー定理と見なす前に、明示的な理論的コンテキストを依然として提供する必要があるという議論を参照してください。マイケルE.カファロ： 実用的なものからノーゴーの定理を再考します 。の： 科学哲学のための英国ジャーナル 。 バンド 69 、2018、 S. 633–655 、doi： 10.1093/bjps/axw038 、arxiv： 1509,07564 。
  9. ↑ Lochlainn O’Raifeartaigh： 大量の違いと有限順序の代数 。の： Phys。牧師レット バンド 14 、1965年、 S. 575 、doi： 10.1103/physrevlett.14.575 。
  10. ↑ hartmut wittig： 「ノーゴー」定理はどこに行きましたか？ の： CERNクーリエ 。 バンド 40 、 いいえ。 6 、2000、 S. 23 （英語、 cern.ch [PDF]）。
  11. ↑ マイケル・A・ニールセン、アイザック・L・チュアン： プログラム可能な量子ゲートアレイ 。の： Phys。牧師レット バンド 79 、 いいえ。 2 、1997、 S. 321–324 、doi： 10.1103/PhysRevlett.79.321 、arxiv： Quant -PH/9703032 、bibcode： 1997phrvl..79..321n （英語）。
  12. ↑ Giacomo Mauro D’Ariano、Dennis Kretschmann、Dirk Schlingemann、Reinhard F. Werner： 量子ビットコミットメントの再審査：可能性と不可能 。の： Phys。牧師a 。 バンド 76 、 S. 032328 、doi： 10.1103/PhysReva.76.032328 、arxiv： Quant -PH/0605224 。

after-content-x4