Quantum logic

ウィキペディア

量子論理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/06/01 02:39 UTC 版)

この項目では、非古典論理の体系のひとつについて説明しています。量子による論理演算については「量子コンピュータ」をご覧ください。

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年6月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Quantum logic|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

量子論理（りょうしろんり、quantum logic）とは、量子論において見られる現象と相似するような形式論理の体系で、分配律が成り立たない無限多値の論理である^[1]。ギャレット・バーコフとジョン・フォン・ノイマンの1936年の論文^[2]に始まり、1960年代に直交モジュラー束（orthomodular lattice）の研究と並行して多くの研究成果が出された^[3]。

概要

フォン・ノイマンの『量子力学の数学的基礎』により、量子力学のいわゆる「波束の収縮」は、可分複素ヒルベルト空間の線形部分空間への射影と形式化された。そこで、論理における命題を量子力学における観測に対応させる、すなわち、命題を射影と同一視することを考えてみる。

古典力学では、観測可能な物理量は状態の関数であり、状態により一意的に決まる。しかし量子力学では、物理量（オブザーバブル）の決定には相互作用が必ずともなう。特に不確定性原理によりトレードオフの関係にあるものがあり、これは論理において古典論理の一部の法則に従わないものとなることを意味する。

（古典）命題論理がブール束に従う論理であるのに対して、量子論理はヒルベルト空間の閉部分空間の成す直交モジュラー束に従う論理である。H をヒルベルト空間、L(H) を H の閉部分空間全体の集合とする。L(H) に集合の包含関係で順序を入れると、L(H) は完備な直交モジュラー束を成す。具体的には共通部分の成す部分線型空間が∧、和集合の張る部分空間の閉包が∨、直交補空間が¬に対応する。古典論理と大きく異なるのは分配律、すなわち

p ∧ (q ∨ r) = (p ∧ q) ∨ (p ∧ r)

（p、q、r は命題を表す） が必ずしも成り立たない点である。例えば一直線上を動く粒子を考え、次のようにおく。

p = "粒子は右へ動いている"

q = "粒子は原点の左にある"

r = "粒子は原点の右にある"

すると命題"q ∨ r"は恒に真だから、p が真ならば

p ∧ (q ∨ r) = 真

一方、p が真ならば不確定性原理により位置と運動量は同時には確定できないから、2つの命題"p ∧ q"と"p ∧ r"はいずれも偽である。ゆえに

(p ∧ q) ∨ (p ∧ r) = 偽

となって、分配律は成り立たないことになる。

脚注

1. ^ 前田(1980) p.103
2. ^ バーコフ、ノイマン(1936)
3. ^ 前田(1980) p.128

参考文献

• 前田 周一郎『束論と量子論理』槙書店、1980年。 
• G. Birkhoff and J. von Neumann (1936), The Logic of Quantum Mechanics, http://www.fulviofrisone.com/attachments/article/451/the%20logic%20of%20quantum%20mechanics%201936.pdf 
• 小出 昭一郎『量子力学（I）』（改訂版）裳華房、1990年。 
• David Bohm (1951). Quantum theory (Dover版(1989) ed.). Dover Publications 
• 広重 徹『物理学史Ⅱ』培風館、1967年。ISBN 4563024066。 
• 竹内 外史『線形代数と量子力学』裳華房、1981年。ISBN 4-7853-1126-6。 

外部リンク

• Quantum Logic and Probability Theory （英語） - スタンフォード哲学百科事典「量子論理」の項目。

この項目は、物理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:物理学／Portal:物理学）。

• 表示
• 編集

この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。

• 表示
• 編集

表 話 編 歴 量子力学
全般	序論（英語版） 数学的定式化
背景	古典力学 前期量子論 量子論 量子力学の歴史 量子力学の年表
基本概念	量子状態 波動関数 重ね合わせ 不確定性原理 可観測量 相補性 二重性 不確定性 トンネル効果 排他原理 エーレンフェストの定理 量子もつれ デコヒーレンス
定式化	シュレーディンガー描像 ハイゼンベルク描像 相互作用描像 波動力学 行列力学 経路積分 GNS表現
方程式	シュレーディンガー方程式 ハイゼンベルク方程式 パウリ方程式 クライン＝ゴルドン方程式 ディラック方程式
実験	二重スリット実験 シュテルン＝ゲルラッハの実験 デイヴィソン＝ガーマーの実験 ベルの不等式の検証実験（英語版） ポパーの実験（英語版） シュレーディンガーの猫 爆弾検査問題（英語版） 量子消しゴム実験
解釈（英語版）	観測問題 ボーム解釈 無矛盾歴史 コペンハーゲン解釈 アンサンブル解釈 隠れた変数理論 多世界解釈 客観的収縮（英語版） 量子論理 関係性量子力学 (RQM)（英語版） 確率過程量子化 交流解釈（英語版） フォン・ノイマン＝ウィグナー解釈
人物	ジョン・スチュワート・ベル デヴィッド・ボーム ニールス・ボーア マックス・ボルン サティエンドラ・ボース ルイ・ド・ブロイ ポール・ディラック ポール・エーレンフェスト ヒュー・エヴェレット3世 リチャード・P・ファインマン ヴェルナー・ハイゼンベルク パスクアル・ヨルダン ヘンリク・アンソニー・クラマース ジョン・フォン・ノイマン ヴォルフガング・パウリ マックス・プランク エルヴィン・シュレーディンガー アルノルト・ゾンマーフェルト ヴィルヘルム・ヴィーン ユージン・ウィグナー
関連項目	散乱理論 相対論的量子力学 場の量子論 量子情報 量子カオス 量子コンピューター
カテゴリ

表 話 編 歴 新技術（英語版）
分野	量子 量子アルゴリズム（英語版） 量子増幅器（英語版） 量子バス 量子セルラーオートマトン（英語版） 量子チャネル（英語版） 量子回路 量子複雑性理論（英語版） 量子コンピューティング 量子時計（英語版） 量子暗号 ポスト量子暗号 量子ダイナミクス（英語版） 量子エレクトロニクス 量子誤り訂正（英語版） 量子有限オートマトン（英語版） 量子画像処理（英語版） 量子画像（英語版） 量子情報 量子鍵配送 量子論理 量子論理ゲート（英語版） 量子機械（英語版） 量子機械学習（英語版） 量子メタマテリアル（英語版） 量子ネットワーク 量子光学 量子プログラミング 量子センシング 量子シミュレータ（英語版） 量子テレポーテーション
トピック	コリングリッジのジレンマ（英語版） 差別化技術開発（英語版） 破壊的技術 エフェメラリゼーション 技術倫理（英語版） 生命倫理学 サイバー倫理（英語版） 脳神経倫理 ロボット倫理学 探索的エンジニアリング（英語版） 架空の技術（英語版） プロアクション原則（英語版） 技術的変化 技術的失業 技術的収束 技術の進化（英語版） 技術的パラダイム（英語版） 技術予測（英語版） 収穫加速の法則 ホライズンスキャン（英語版） ムーアの法則 技術的特異点 技術スカウト（英語版） 技術成熟度レベル ロードマップ トランスヒューマニズム
ポータル 技術と産業 カテゴリ

Weblio日本語例文用例辞書

「Quantum logic」の例文・使い方・用例・文例

• 【学術名】 logic, music, rhetoric.