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

Study on convergence rate of weakly computable reals

Research Project

Project/Area Number 22K03408
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 12030:Basic mathematics-related
Research InstitutionMeiji University

Principal Investigator

宮部 賢志  明治大学, 理工学部, 専任准教授 (00583866)

Project Period (FY) 2022-04-01 – 2027-03-31
Project Status Granted (Fiscal Year 2023)
Budget Amount *help
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2026: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2025: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2024: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2023: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2022: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
KeywordsMLランダム性 / 計算可能ランダム性 / 計算近似可能実数 / Solovay次数 / Lipschitz連続関数 / 弱計算可能実数 / Solovay還元 / リプシッツ連続 / 符号付き桁数表示 / 計算可能解析 / ランダムネス
Outline of Research at the Start

実数は複雑な対象であり,しばしばコーシー列などの近似列を通して理解される.実数の複雑性を理解する方法は様々あり,計算可能な近似列の収束速度を通して比較するのがSolovay還元である.またKolmogorov複雑性によってランダム性を比較するのはK還元と呼ばれる.left-c.e.実数と呼ばれる単調に近似できる実数に対してはこれらの関係がよく調べられている.本研究ではd.c.e.実数と呼ばれるより広い実数のクラスについて,近似可能性とランダム性の関係を明らかにすることを目的としている.

Outline of Annual Research Achievements

本研究では,計算近似可能実数(computably approximable real,略してc.a.実数)に対するSolovay次数構造の研究を進めた.c.a.実数とは,計算により近似可能な実数のことである.Solovay還元とは,2つの実数に対して近似可能性によって複雑さを比較する尺度である.前年度までの研究において,c.a.実数に対するSolovay還元がLipschitz連続関数や符号付き桁数表示を用いて特徴付けられることが明らかになった.これらの特徴付けは,c.a.実数に対するSolovay還元が自然な概念であることを意味しており,その重要性を示唆するものである.
左c.e.実数(left-c.e. real)に対するSolovay次数構造については,2000年代に盛んに研究が行われた.左c.e.実数とは,下からの近似列を持つc.a.実数のことである.特に,MLランダム性と最大元であることが同値になることが知られている.また関連してcomputably Lipschitz次数(cL次数)やrelative Kolmogorov次数(rK次数)などとの関連も研究されてきた.cLやrKは左c.e.実数に限らない2進無限列について定義される.そのため,c.a.実数に対するSolovay次数構造はこれらの次数構造と深い関係を持つことが予想される.
c.a.実数に対するSolovay次数構造については,最大元が存在しないことが分かる.これは左c.e.実数の場合と対照的である.またc.a.実数に対するSolovay次数構造の極大元は,MLランダム性と計算可能ランダム性の間に位置する概念であることも分かる.極大元かどうかについては,MLランダム性や計算可能ランダム性の微分可能性による特徴付けの研究およびBarmpaliasとLewis-PyeおよびMillerらによる収束速度の研究と深い関連がある.微分可能性と収束速度は,実数の性質を解析する上で重要な概念であり,これらの研究はc.a.実数に対するSolovay次数構造の理解を深めるために不可欠である.
本研究はまだ進行中のものであり,今後さらなる発展が期待される.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

ランダムな実数の収束速度について,解析するための道具を開発し,また既存研究との関連が分かるようになってきた.このような新しい知見が得られており,順調に進展していると判断する.

Strategy for Future Research Activity

本年度得られた知見を元に,微分可能性や積分検定との関係を明らかにする.

Report

(2 results)
  • 2023 Research-status Report
  • 2022 Research-status Report
  • Research Products

    (11 results)

All 2024 2023 2022 Other

All Int'l Joint Research (1 results) Journal Article (1 results) (of which Peer Reviewed: 1 results) Presentation (8 results) (of which Int'l Joint Research: 5 results,  Invited: 1 results) Remarks (1 results)

  • [Int'l Joint Research] ボルドー大学(フランス)

    • Related Report
      2023 Research-status Report
  • [Journal Article] Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension2022

    • Author(s)
      Hiroyuki Imai, Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa and Toshio Suzuki
    • Journal Title

      Computability Theory and Foundations of Mathematics

      Volume: - Pages: 97-121

    • DOI

      10.1142/9789811259296_0005

    • Related Report
      2022 Research-status Report
    • Peer Reviewed
  • [Presentation] Strong Solovay reducibility2024

    • Author(s)
      Kenshi Miyabe
    • Organizer
      CCR2024: 17th International Conference on Computability, Complexity and Randomness
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Strong Solovay reducibility2023

    • Author(s)
      Kenshi Miyabe
    • Organizer
      RIMS共同研究(公開型)「証明論と計算論の最前線」
    • Related Report
      2023 Research-status Report
  • [Presentation] Solovay reducibility and signed-digit representation2023

    • Author(s)
      Kenshi Miyabe
    • Organizer
      Continuity, Computability, Constructivity From Logic to Algorithms
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] クエリー制限と符号付き桁数表現によるSolovay還元の特徴づけ2023

    • Author(s)
      隈部正博,宮部賢志,鈴木登志雄
    • Organizer
      2023年日本数学会秋季総合分科会
    • Related Report
      2023 Research-status Report
  • [Presentation] Solovay reducibility and signed-digit representation2023

    • Author(s)
      Kenshi Miyabe
    • Organizer
      NUS workshop, From omega to Omega
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] 実閉体を成す弱計算可能実数の部分族2022

    • Author(s)
      宮部賢志
    • Organizer
      日本数学会2022年度秋季総合文科会
    • Related Report
      2022 Research-status Report
  • [Presentation] Subclasses of weakly computable reals2022

    • Author(s)
      Kenshi Miyabe
    • Organizer
      International conference on computability, complexity and randomness 2022
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] Generality of computable measures2022

    • Author(s)
      Kenshi Miyabe
    • Organizer
      Leeds Computability Days 2022
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research / Invited
  • [Remarks] Kenshi Miyabe

    • URL

      http://kenshi.miyabe.name/wordpress/

    • Related Report
      2022 Research-status Report

URL: 

Published: 2022-04-19   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi