2018 Fiscal Year Research-status Report
A refinement of quantum information theory by algorithmic randomness
Project/Area Number |
18K03405
|
Research Institution | Chubu University |
Principal Investigator |
只木 孝太郎 中部大学, 工学部, 教授 (70407881)
|
Project Period (FY) |
2018-04-01 – 2022-03-31
|
Keywords | 典型性原理 / 量子情報理論 / アルゴリズム的ランダムネス / 量子力学 / 多世界解釈 / 確率解釈 / ベルの不等式 / アルゴリズム的情報理論 |
Outline of Annual Research Achievements |
量子力学では確率概念が本質的な役割を果たす。この確率概念はボルン則として量子力学に導入される。しかしながら、量子力学を記述する今日の数学において確率論とは測度論のことであり、ボルン則が基づく“確率概念”に関して、操作的な特徴付けは見当たらない。その意味で量子力学は、本来操作主義的であるべき物理理論としては不完全であると考えられる。これまでの研究で私は、アルゴリズム的ランダムネスの概念装置ならびに量子力学の多世界解釈に基づいて、“典型性原理”と呼ぶボルン則を操作主義的に明確化した代替規則を導入した。 近年、量子力学の原理に基づく新しい情報処理技術として“量子情報理論”が注目を集めている。本研究では、典型性原理に基づく我々の枠組が、量子力学の実際の問題の取扱いとその解析において適切に機能することの実証を目的として、典型性原理を量子暗号など量子情報理論の主要な技術に適用し、その精密化を行い、量子情報理論の再構成を行う。 2018年度は、「交付申請書」に記載した「研究実施計画」の通りに、量子情報理論の中心技術である量子テレポーテーションおよびスーパーデンスコーディングについて、典型性原理からの導出・精密化に成功した。 更に、想定外の成果として、ベルの不等式対量子力学論争の典型性原理からの導出・精密化にも成功した。ここで、ベルの不等式の精密化は、確率概念の操作主義的な精密化に関する私の先行研究の成果を利用して達成した。すなわち、隠れた変数理論に立脚し、“古典的な”確率概念を操作主義的に精密に扱い、ベルの不等式を導いたのである。一方、ベルの不等式に対応し、かつ対立する量子力学における“等式”は、典型性原理に基づいて精密な導出を行った。このようにして、ベルの不等式対量子力学論争が精密に再構成されることを明らかにした。 以上の研究成果により、典型性原理の有効性と妥当性を追認し、実証した。
|
Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
本研究の目的は、典型性原理の有効性と妥当性を確証するために、典型性原理を量子情報理論の主要な技術に適用し、その精密化を行い、量子情報理論の再構成を行うことであるが、本研究課題初年度である2018年度の研究において、「交付申請書」に記載した「研究実施計画」の通りに、量子情報理論の中心技術である量子テレポーテーションとスーパーデンスコーディングについて、典型性原理からの導出・精密化に既に成功した。更に想定外の成果として、2018年度中に、ベルの不等式対量子力学論争の典型性原理による精密化・再構成にも成功した。 従って、本研究は当初の計画以上に進展している。
|
Strategy for Future Research Activity |
今後の研究は以下のように行い、典型性原理による量子情報理論の主要な技術の精密化と再構成を推進する: 量子操作の再構成を行う。量子操作は、量子状態を別の量子状態に変換する最も一般的な操作であり、量子情報理論全般で本質的な役割を果たす。量子状態は、最も一般的な設定では、“混合状態”と呼ぶ物理的な実体で与えられる。先行研究で私は、それまで曖昧であった“混合状態”という概念に対して、アルゴリズム的ランダムネスに基づく数学的な定義を与えた。そして、これに基づいて典型性原理を導入した。この典型性原理に立脚し量子操作を再構成することは、量子操作をより精密に捉えることであり、大きな発展が期待できる。 このようにして再構成された量子操作などに立脚し、まず量子誤り訂正理論を再構成する。そしてその上で、量子情報源符号化、量子通信路上での古典情報の通信路符号化、量子通信路上での量子情報の通信路符号化などに対し、次々と典型性原理を適用し、それらの再構成と精密化を行う。なお、これら量子通信路における通信路符号化の再構成を行う前提として、シャノンによって示された古典通信路上での古典情報の通信路符号化に関する主定理である“通信路符号化定理”を、アルゴリズム的ランダムネスに基づいて再構成する。これには、確率概念の操作主義的な精密化に関する、私の先行研究の成果を利用する。 ところで、量子暗号BB84の安全性証明は、量子情報理論全体にわたる種々の結果を総動員して行われる。本研究の最後では、典型性原理に基づいてこの安全性証明を再構成し、その精密化を行う。 このようにして、典型性原理により量子情報理論の主要技術の再構成を行い、典型性原理の有効性を確固たるものにする。
|
Causes of Carryover |
(理由)当初は、国際会議への参加等を通じて研究を推進し、量子テレポーテーションおよびスーパーデンスコーディングについての典型性原理からの導出・精密化を行うつもりであった。しかし実際には、2018年度中に、国際会議への参加無しにこれを達成してしまった。更に、想定外の成果として、ベルの不等式対量子力学論争の典型性原理からの導出・精密化にも成功した。国際会議への参加無しに、当初計画では2018年度中に達成すべきであった以上のことを達成してしまったのである。これにより状況は大幅に変わった。国民の血税たる本助成金を有効活用するため、2018年度中の国際会議への参加は抑止した。これは、既に得られた研究成果を大幅に拡充した上で、成果報告を兼ね、2019年度以降に国際会議で発表し、参加者と議論を行った方が効率が良いと考えたからである。これが次年度使用額が生じた理由である。 (使用計画)2019年度以降において、2018年度の研究成果を大幅に拡充した上で、それを国際会議・国内会議で発表し、参加者と議論を行って本研究を推進し、本研究成果を大々的に宣伝する。本研究を遂行するにあたっては、情報収集が肝要である。そのために、量子情報理論等に関連する様々な研究資料を確保する必要がある。また、国際会議・国内会議での発表や論文作成のため、ノートパソコン等の電子機器類を購入する。これらの目的に次年度使用額は使用する。
|
Remarks |
上記webページのタイトルは「Research on Algorithmic Randomness and Its Extensions over Physics」である。(科研費電子申請システムにおける、webページの“タイトル”欄の入力文字数制限(50文字以内)により、ここに記す。)
|