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

2010 Fiscal Year Final Research Report

Research on Godel's incompleteness theorems for quantum measurements based on a generalization of Chaitin's halting probability Ω

Research Project

  • PDF
Project/Area Number 20540134
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionChuo University

Principal Investigator

TADAKI Kohtaro  Chuo University, 研究開発機構, 機構准教授 (70407881)

Project Period (FY) 2008 – 2010
KeywordsChaitinのΩ / ランダムネス / アルゴリズム的情報理論 / 統計力学 / 情報理論 / 不完全性定理 / 量子論基礎 / 不動点定理
Research Abstract

We try to derive Godel's incompleteness theorems for quantum measurements by generalizing algorithmic information theory and then applying it to the theory of quantum measurements. This research project is part of an effort to accomplish the ultimate goal, and is aimed to understand completely a new research object, called the statistical mechanical interpretation of algorithmic information theory, which was introduced by us in 2007.

  • Research Products

    (24 results)

All 2011 2010 2009 2008 Other

All Journal Article (17 results) (of which Peer Reviewed: 13 results) Presentation (6 results) Remarks (1 results)

  • [Journal Article] Properties of fibers of optimal prefix-free machines, Abstract Booklet of the International Conferences on Computability & Complexity in Analysis (CCA 2011) and Computability2011

    • Author(s)
      只木孝太郎
    • Journal Title

      Complexity & Randomness (CCR 2011)

      Pages: 25-25

    • Peer Reviewed
  • [Journal Article] A Chaitin Ω number based on compressible strings, Abstract Booklet of the International Conferences on Computability & Complexity in Analysis (CCA 2011) and Computability2011

    • Author(s)
      只木孝太郎
    • Journal Title

      Complexity & Randomness (CCR 2011)

      Pages: 24-25

    • Peer Reviewed
  • [Journal Article] アルゴリズム的情報理論の統計力学的解釈2011

    • Author(s)
      只木孝太郎
    • Journal Title

      数学セミナー 2011年2月号(通巻593号)

      Pages: 7-33

  • [Journal Article] Properties of optimal prefix-free machines as instantaneous codes2010

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 2010 IEEE Information Theory Workshop (ITW 2010 Dublin)

    • Peer Reviewed
  • [Journal Article] A new representation of Chaitin Ω number based on compressible strings2010

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 9th International Conference on Unconventional Computation (UC 2010), Lecture Notes in Computer Science, Springer-Verlag 6079

      Pages: 127-139

    • Peer Reviewed
  • [Journal Article] The Hausdorff dimension of the halting self-similar sets of T-universal prefix-free machines2010

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 2010 IEEE International Symposium on Information Theory (ISIT 2010)

      Pages: 1287-1291

    • Peer Reviewed
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory : Total statistical mechanical interpretation based on physical argument2010

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of Kyoto RIMS workshop : "Mathematical Aspects of Generalized Entropies and their Applications," Journal of Physics : Conference Series (JPCS) 201

      Pages: 012006(10)

    • URL

      http://iopscience.iop.org/1742-6596/201/1/012006/

    • Peer Reviewed
  • [Journal Article] Fixed points on partial randomness2009

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 6th Workshop on Fixed Points in Computer Science (FICS 2009)

      Pages: 100-107

    • URL

      http://cs.ioc.ee/fics09/fics09proc.pdf

    • Peer Reviewed
  • [Journal Article] Partial randomness and dimension of recursively enumerable reals2009

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science (MFCS 2009), Lecture Notes in Computer Science, Springer-Verlag 5734

      Pages: 687-699

    • Peer Reviewed
  • [Journal Article] Chaitin Ω numbers and halting problems, Proceedings of the Computability in Europe 2009 (CiE 2009)2009

    • Author(s)
      只木孝太郎
    • Journal Title

      Lecture Notes in Computer Science, Springer-Verlag 5635

      Pages: 447-456

    • Peer Reviewed
  • [Journal Article] Equivalent characterizations of partial randomness for a recursively enumerable real2009

    • Author(s)
      只木孝太郎
    • Journal Title

      京都大学数理解析研究所講究録 1635

      Pages: 103-120

  • [Journal Article] Fixed point theorems on partial randomness2009

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the Symposium on Logical Foundations of Computer Science 2009 (LFCS'09), Lecture Notes in Computer Science, Springer-Verlag 5407

      Pages: 422-440

    • Peer Reviewed
  • [Journal Article] The Tsallis entropy and the Shannon entropy of a universal probability2008

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 2008 IEEE International Symposium on Information Theory (ISIT 2008)

      Pages: 2111-2115

    • Peer Reviewed
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory2008

    • Author(s)
      只木孝太郎
    • Journal Title

      Local Proceedings of the Computability in Europe 2008 (CiE 2008)

      Pages: 425-434

    • URL

      http://www.cs.swan.ac.uk/cie08/cie2008-local.pdf

    • Peer Reviewed
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory III : Composite systems and fixed points

    • Author(s)
      只木孝太郎
    • Journal Title

      Mathematical Structures in Computer Science (掲載決定(印刷中))

    • Peer Reviewed
  • [Journal Article] Robustness of statistical mechanical interpretation of algorithmic information theory

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 33rd Symposium on Information Theory and its Applications (SITA2010)

      Pages: 242-247

  • [Journal Article] Phase transition between one-wayness and two-wayness

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 33rd Symposium on Information Theory and its Applications (SITA2010)

      Pages: 236-241

  • [Presentation] アルゴリズム的情報理論の統計力学的解釈2011

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会2011年度年会数学基礎論および歴史分科会
    • Place of Presentation
      早稲田大学理工学術院(特別講演 招待講演)
    • Year and Date
      2011-03-20
  • [Presentation] A computational complexity-theoretic elaboration of weak truth-table reducibility2011

    • Author(s)
      只木孝太郎
    • Organizer
      Workshop on Proof Theory and Computability Theory
    • Place of Presentation
      Akiu Spa Hotel Iwanumaya, Sendai, Miyagi, Japan(招待講演)
    • Year and Date
      2011-02-22
  • [Presentation] One-wayness and two-wayness in algorithmic randomness2010

    • Author(s)
      只木孝太郎
    • Organizer
      The 5th Conference on Logic, Computability and Randomness (LCR10)
    • Place of Presentation
      University of Notre Dame, Notre Dame, Indiana, USA(招待講演)
    • Year and Date
      2010-05-26
  • [Presentation] Separating notions of partial randomness for thermodynamic quantities in algorithmic information theory2009

    • Author(s)
      只木孝太郎
    • Organizer
      2009年度確率論シンポジウム
    • Place of Presentation
      愛媛大学総合情報メディアセンターメディアホール
    • Year and Date
      2009-12-16
  • [Presentation] A statistical mechanical interpretation of algorithmic information theory2009

    • Author(s)
      只木孝太郎
    • Organizer
      Physics and Computation 2009
    • Place of Presentation
      University of Azores, Ponta Delgada, Azores, Portugal(招待講演)
    • Year and Date
      2009-09-10
  • [Presentation] Equivalent characterizations of partial randomness for a recursively enumerable real2008

    • Author(s)
      只木孝太郎
    • Organizer
      Conference on Computability, Complexity and Randomness (CCR08)
    • Place of Presentation
      Institute of Mathematical Science, Nanjing University, Nanjing, China
    • Year and Date
      2008-05-20
  • [Remarks] ホームページ等

    • URL

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

URL: 

Published: 2012-01-26   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi