• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

A refinement of quantum mechanics by algorithmic randomness

Research Project

Project/Area Number 15K04981
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Foundations of mathematics/Applied mathematics
Research InstitutionChubu University

Principal Investigator

TADAKI Kohtaro  中部大学, 工学部, 教授 (70407881)

Project Period (FY) 2015-04-01 – 2019-03-31
Project Status Completed (Fiscal Year 2018)
Budget Amount *help
¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2017: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2016: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2015: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Keywords典型性原理 / 量子力学 / アルゴリズム的ランダムネス / 確率解釈 / 多世界解釈 / 確率概念の操作的特徴付け / Martin-Loefランダム性 / アルゴリズム的情報理論
Outline of Final Research Achievements

The notion of probability plays a crucial role in quantum mechanics. It appears in quantum mechanics as the Born rule. In modern mathematics which describes quantum mechanics, however, probability theory means nothing other than measure theory, and therefore any operational characterization of the notion of probability is still missing in quantum mechanics. In this research, based on the toolkit of algorithmic randomness, we presented a refinement of the Born rule, called the principle of typicality, as an alternative rule to it, for specifying the property of the results of quantum measurements in an operational way. We did this from the point of view of the many-worlds interpretation of quantum mechanics. We then made applications of our framework to the BB84 quantum key distribution protocol, quantum teleportation, superdense coding, Bell's inequality vs quantum mechanics argument in order to demonstrate how properly our framework works in practical problems in quantum mechanics.

Academic Significance and Societal Importance of the Research Achievements

量子力学の中核にあるボルン則(波動関数の確率解釈)とアルゴリズム的ランダムネスを直接結び付ける試みは、これまでほとんど全く存在しなかった。特に、量子力学の公理系としての形式に深く立ち入り、アルゴリズム的ランダムネスと結び付ける研究は、私の知る限り、本研究が世界的に初めてのものである。本研究はアルゴリズム的ランダムネスに基づいて量子力学の物理理論としての完全化を達成しようとするものであり、量子力学に対する人類の理解を格段に深めるものであると私は考える。本研究の基礎科学に対する貢献、そして本研究の人類の世界認識・宇宙認識に対する貢献は計り知れないものであると私は考える。

Report

(5 results)
  • 2018 Annual Research Report   Final Research Report ( PDF )
  • 2017 Research-status Report
  • 2016 Research-status Report
  • 2015 Research-status Report
  • Research Products

    (41 results)

All 2019 2018 2017 2016 2015 Other

All Journal Article (4 results) (of which Open Access: 2 results,  Acknowledgement Compliant: 1 results) Presentation (36 results) (of which Int'l Joint Research: 6 results) Remarks (1 results)

  • [Journal Article] A refinement of quantum mechanics by algorithmic randomness2018

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      arXiv.org

      Volume: arXiv:1804.10174 [quant-ph]

    • Related Report
      2018 Annual Research Report
    • Open Access
  • [Journal Article] An operational characterization of the notion of probability by algorithmic randomness and its applications2016

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      arXiv.org

      Volume: arXiv:1611.06201

    • Related Report
      2016 Research-status Report
    • Open Access / Acknowledgement Compliant
  • [Journal Article] An operational characterization of the notion of probability by algorithmic randomness and its applications2015

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      証明論・計算論とその周辺 RIMS研究集会報告集, 京都大学数理解析研究所講究録

      Volume: 1950 Pages: 52-72

    • Related Report
      2015 Research-status Report
  • [Journal Article] A refinement of quantum mechanics by algorithmic randomness: extended abstract2015

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      確率論シンポジウム RIMS研究集会報告集, 京都大学数理解析研究所講究録

      Volume: 1952 Pages: 112-116

    • Related Report
      2015 Research-status Report
  • [Presentation] A refinement of Bell's inequality versus quantum mechanics argument by algorithmic randomness2019

    • Author(s)
      只木孝太郎
    • Organizer
      新潟確率論ワークショップ
    • Related Report
      2018 Annual Research Report
  • [Presentation] アルゴリズム的ランダムネスによる量子情報理論の精密化I2019

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2019年度年会
    • Related Report
      2018 Annual Research Report
  • [Presentation] アルゴリズム的ランダムネスによる量子力学の再構成III: その物理的帰結2018

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2018年度秋季総合分科会
    • Related Report
      2018 Annual Research Report
  • [Presentation] A refinement of the argument of Bell's inequality versus quantum mechanics by algorithmic randomness2018

    • Author(s)
      只木孝太郎
    • Organizer
      証明論研究集会2018
    • Related Report
      2018 Annual Research Report
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness and its application to the BB84 QKD protocol2018

    • Author(s)
      只木孝太郎
    • Organizer
      KEK研究会『弱値・弱測定、エンタングルメント、量子コヒーレンスの新地平』<ポスター発表>
    • Related Report
      2017 Research-status Report
  • [Presentation] An operational characterization of the notion of probability and its consequences2018

    • Author(s)
      只木孝太郎
    • Organizer
      新潟確率論ワークショップ
    • Related Report
      2017 Research-status Report
  • [Presentation] 量子力学では確率1の事象は必ず起こる2018

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2018年度年会
    • Related Report
      2017 Research-status Report
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2017

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Workshop: Quantum Contextuality in Quantum Mechanics and Beyond (QCQMB)
    • Related Report
      2017 Research-status Report
    • Int'l Joint Research
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness II: Discrete probability spaces2017

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      The 15th Asian Logic Conference (ALC2017)
    • Related Report
      2017 Research-status Report
    • Int'l Joint Research
  • [Presentation] 典型性原理の量子情報処理への適用: BB84量子暗号プロトコルの精密化2017

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2017年度秋季総合分科会
    • Related Report
      2017 Research-status Report
  • [Presentation] アルゴリズム的ランダムネスによる確率概念の操作的特徴付け II: 離散確率空間2017

    • Author(s)
      只木孝太郎
    • Organizer
      第15回情報学ワークショップ(WiNF 2017)
    • Related Report
      2017 Research-status Report
  • [Presentation] アルゴリズム的ランダムネスによるBB84量子鍵共有プロトコルの精密化2017

    • Author(s)
      只木孝太郎
    • Organizer
      第15回情報学ワークショップ(WiNF 2017)
    • Related Report
      2017 Research-status Report
  • [Presentation] A physical and mathematical refinement of the postulates of quantum mechanics about mixed states by algorithmic randomness2017

    • Author(s)
      只木孝太郎
    • Organizer
      RIMS共同研究(公開型)「証明論と証明活動」(証明論研究会2017)
    • Related Report
      2017 Research-status Report
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness and its application to quantum cryptography2017

    • Author(s)
      只木孝太郎
    • Organizer
      2017年 暗号と情報セキュリティシンポジウム(SCIS2017)
    • Place of Presentation
      ロワジールホテル那覇(沖縄県・那覇市)
    • Related Report
      2016 Research-status Report
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2017

    • Author(s)
      只木孝太郎
    • Organizer
      2016年度冬のLAシンポジウム
    • Place of Presentation
      京都大学 数理解析研究所(京都府・京都市)
    • Related Report
      2016 Research-status Report
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness and its applications2017

    • Author(s)
      只木孝太郎
    • Organizer
      津田一郎教授退職記念研究集会 -複雑系数理の新展開-
    • Place of Presentation
      北海道大学大学院 理学研究院数学部門(北海道・札幌市)
    • Related Report
      2016 Research-status Report
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness and its applications2017

    • Author(s)
      只木孝太郎
    • Organizer
      科研費シンポジウム「統計的モデリングと計算アルゴリズムの数理と展開」
    • Place of Presentation
      名古屋大学 情報科学研究科棟(愛知県・名古屋市)
    • Related Report
      2016 Research-status Report
  • [Presentation] The principle of typicality2017

    • Author(s)
      只木孝太郎
    • Organizer
      新潟確率論ワークショップ
    • Place of Presentation
      新潟大学 駅南キャンパス 「ときめいと」(新潟県・新潟市)
    • Related Report
      2016 Research-status Report
  • [Presentation] アルゴリズム的ランダムネスによる量子力学の再構成II: 離散スペクトル2017

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2017年度年会
    • Place of Presentation
      首都大学東京 南大沢キャンパス(東京都・八王子市)
    • Related Report
      2016 Research-status Report
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2016

    • Author(s)
      只木孝太郎
    • Organizer
      理研シンポジウム・iTHES研究会 「熱場の量子論とその応用」(TQFT 2016)
    • Place of Presentation
      理化学研究所(埼玉県・和光市)
    • Year and Date
      2016-08-22
    • Related Report
      2016 Research-status Report
  • [Presentation] アルゴリズム的ランダムネスによる確率概念の操作的特徴付けII2016

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2016年度年会
    • Place of Presentation
      筑波大学(つくば市)
    • Year and Date
      2016-03-17
    • Related Report
      2015 Research-status Report
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2016

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Symposium: New Generation Quantum Theory -Particle Physics, Cosmology, and Chemistry-
    • Place of Presentation
      Kyoto University, Kyoto, Japan
    • Year and Date
      2016-03-08
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness II2016

    • Author(s)
      只木孝太郎
    • Organizer
      新潟確率論ワークショップ
    • Place of Presentation
      新潟大学 駅南キャンパス「ときめいと」(新潟市中央区)
    • Year and Date
      2016-01-22
    • Related Report
      2015 Research-status Report
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2016

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      19th Conference on Quantum Information Processing (QIP 2016)
    • Place of Presentation
      The Banff Centre, Banff, Canada
    • Year and Date
      2016-01-14
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] The principle of typicality2016

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Eleventh International Conference on Computability, Complexity and Randomness (CCR 2016)
    • Place of Presentation
      The University of Hawai'i, Honolulu, USA
    • Year and Date
      2016-01-08
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] アルゴリズム的ランダムネスによる確率概念の操作的特徴付け2016

    • Author(s)
      只木孝太郎
    • Organizer
      2016年夏のLAシンポジウム
    • Place of Presentation
      かんぽの宿 大和平群(奈良県・平群町)
    • Related Report
      2016 Research-status Report
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness: Discrete probability spaces2016

    • Author(s)
      只木孝太郎
    • Organizer
      2016年度 記号論理と情報科学研究集会(SLACS2016)
    • Place of Presentation
      名古屋大学 ベンチャービジネスラボラトリー(愛知県・名古屋市)
    • Related Report
      2016 Research-status Report
  • [Presentation] アルゴリズム的ランダムネスによる確率概念の操作的特徴付けIII2016

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2016年度秋季総合分科会
    • Place of Presentation
      関西大学 千里山キャンパス(大阪府・吹田市)
    • Related Report
      2016 Research-status Report
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2016

    • Author(s)
      只木孝太郎
    • Organizer
      第35回量子情報技術研究会(QIT35)
    • Place of Presentation
      高エネルギー加速器研究機構 つくばキャンパス(茨城県・つくば市)
    • Related Report
      2016 Research-status Report
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness II: Discrete probability spaces2016

    • Author(s)
      只木孝太郎
    • Organizer
      エルゴード理論とその周辺
    • Place of Presentation
      筑波大学 筑波キャンパス(茨城県・つくば市)
    • Related Report
      2016 Research-status Report
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness2015

    • Author(s)
      只木孝太郎
    • Organizer
      2015年度確率論シンポジウム
    • Place of Presentation
      岡山大学 津島キャンパス(岡山市北区)
    • Year and Date
      2015-12-18
    • Related Report
      2015 Research-status Report
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness and its applications to science and technology2015

    • Author(s)
      只木孝太郎
    • Organizer
      2015年度 証明論研究集会・記号論理と情報科学研究集会(SLACS)
    • Place of Presentation
      南山大学 名古屋キャンパス(名古屋市昭和区)
    • Year and Date
      2015-12-15
    • Related Report
      2015 Research-status Report
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2015

    • Author(s)
      只木孝太郎
    • Organizer
      第13回情報学ワークショップ(WiNF 2015)
    • Place of Presentation
      名城大学 天白キャンパス(名古屋市天白区)
    • Year and Date
      2015-12-05
    • Related Report
      2015 Research-status Report
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness and its application to science and technology2015

    • Author(s)
      只木孝太郎
    • Organizer
      第13回情報学ワークショップ(WiNF 2015)
    • Place of Presentation
      名城大学 天白キャンパス(名古屋市天白区)
    • Year and Date
      2015-12-05
    • Related Report
      2015 Research-status Report
  • [Presentation] 典型性原理:量子力学の確率解釈の精密化2015

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2015年度秋季総合分科会
    • Place of Presentation
      京都産業大学(京都市北区)
    • Year and Date
      2015-09-16
    • Related Report
      2015 Research-status Report
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness and its applications2015

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Tenth International Conference on Computability, Complexity and Randomness (CCR 2015)
    • Place of Presentation
      Heidelberg University, Heidelberg, Germany
    • Year and Date
      2015-06-24
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Remarks] 科研費電子申請システムの入力文字数制限により、タイトルはここに記載できず、タイトルは下記に記載した。

    • URL

      http://www2.odn.ne.jp/tadaki/

    • Related Report
      2018 Annual Research Report 2017 Research-status Report 2016 Research-status Report 2015 Research-status Report

URL: 

Published: 2015-04-16   Modified: 2020-03-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi