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

A development of stability theory with finite combinatorics

Research Project

Project/Area Number 26800077
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Foundations of mathematics/Applied mathematics
Research InstitutionUniversity of Tsukuba

Principal Investigator

TAKEUCHI Kota  筑波大学, 数理物質系, 助教 (50722485)

Co-Investigator(Renkei-kenkyūsha) TSUBOI Akito  筑波大学, 数理物質系, 教授 (30180045)
Research Collaborator CHERNIKOV Artem  University of California Los Angeles, Mathematics, Assistant Professor
Project Period (FY) 2014-04-01 – 2018-03-31
Project Status Completed (Fiscal Year 2017)
Budget Amount *help
¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2017: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2016: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2015: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2014: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Keywordsn-dependent / 2-order property / Ramsey property / indiscernible / VC-dimension / n-dependent property / Random graph / Ramsey class / monochromatic subgraph / n-dependence / VCn-dimension / PACn-learning
Outline of Final Research Achievements

Several interactions between model theory in logic and finite combinatorics were studied in this project. It was well-known that No Independent Property defined in model theory coincides with the finiteness of VC-dimension in combinatorics. The same concept appears in Machine Learning theory. We studied NIPn, which is a generalization of No Independent Property, and the Ramsey property of infinite graphs, then we applied such results and obtained 2-order property, a generalization of order property. In addition, some applications for combinatorics on hypergraph and higher dimensional PAC-learning were found by this research.

Report

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

    (28 results)

All 2018 2017 2016 2015 2014

All Journal Article (8 results) (of which Int'l Joint Research: 1 results,  Open Access: 3 results,  Peer Reviewed: 3 results,  Acknowledgement Compliant: 2 results) Presentation (20 results) (of which Int'l Joint Research: 4 results,  Invited: 4 results)

  • [Journal Article] On the speed of hereditary properties of graphs2018

    • Author(s)
      Kota Takeuchi
    • Journal Title

      RIMS Kokyuroku

      Volume: 印刷中

    • Related Report
      2017 Annual Research Report
    • Open Access
  • [Journal Article] On the infinite Ramsey property for random graph2017

    • Author(s)
      Kota Takeuchi
    • Journal Title

      RIMS Kokyuroku

      Volume: 印刷中

    • Related Report
      2016 Research-status Report
    • Open Access
  • [Journal Article] Properties Characterized by generalized indiscernible2017

    • Author(s)
      Kota Takeuchi
    • Journal Title

      RIMS Kokyuroku

      Volume: 印刷中

    • Related Report
      2016 Research-status Report
    • Open Access
  • [Journal Article] On n-dependence2017

    • Author(s)
      Artem Chernikov, Daniel Palacin and Kota Takeuchi
    • Journal Title

      Notre Dame Journal of Formal Logic

      Volume: 印刷中

    • Related Report
      2016 Research-status Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] The partite construction with forbidden structures2016

    • Author(s)
      Kota Takeuchi
    • Journal Title

      RIMS Kokyuroku

      Volume: 印刷中

    • Related Report
      2015 Research-status Report
  • [Journal Article] Higher dimensional PACn-learning2015

    • Author(s)
      Munehiro Kobayashi, Takayuki Kuriyama and Kota Takeuchi
    • Journal Title

      Congressus Numerantium

      Volume: Vol.223 Pages: 227-236

    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Model companions of theories of graphs2015

    • Author(s)
      Kota Takeuchi, Yu-ichi Tanaka and Akito Tsuboi
    • Journal Title

      Mathematical Logic Quarterly

      Volume: 印刷中

    • Related Report
      2014 Research-status Report
    • Peer Reviewed
  • [Journal Article] On the PACn-learning2015

    • Author(s)
      Takayuki Kuriyama and Kota Takeuchi
    • Journal Title

      RIMS Kokyuroku

      Volume: 1938 Pages: 54-58

    • Related Report
      2014 Research-status Report
  • [Presentation] On the number of independent strict orders2017

    • Author(s)
      Akito Tsuboi
    • Organizer
      日本数学会
    • Place of Presentation
      首都大学東京(東京都八王子市)
    • Year and Date
      2017-03-24
    • Related Report
      2016 Research-status Report
  • [Presentation] A simple proof of Terry's result on hereditary L-property2017

    • Author(s)
      Kota Takeuchi
    • Organizer
      Kagoshima Model Theory Workshop
    • Place of Presentation
      鹿児島国際大学(鹿児島県鹿児島市)
    • Year and Date
      2017-03-09
    • Related Report
      2016 Research-status Report
  • [Presentation] Recent interactions between model theory and finite combinatorics2017

    • Author(s)
      Kota Takeuchi
    • Organizer
      日本数学会特別講演
    • Related Report
      2017 Annual Research Report
    • Invited
  • [Presentation] On 2-order property2017

    • Author(s)
      Kota Takeuchi
    • Organizer
      Asian Logic Conference
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] On the speed of hereditary properties of graphs2017

    • Author(s)
      Kota Takeuchi
    • Organizer
      RIMS Workshop on Model Theory
    • Related Report
      2017 Annual Research Report
  • [Presentation] Ramsey property and 2-order property2017

    • Author(s)
      Kota Takeuchi
    • Organizer
      Caltech-UCLA logic seminar
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] On the infinite Ramsey property for random graph2016

    • Author(s)
      Kota Takeuchi
    • Organizer
      RIMS workshop
    • Place of Presentation
      京都大学数理解析研究所(京都府京都市)
    • Year and Date
      2016-12-12
    • Related Report
      2016 Research-status Report
  • [Presentation] Atomless Probability Algebraの理論における量化子消去アルゴリズム2016

    • Author(s)
      Munehiro Kobayashi
    • Organizer
      RIMS workshop
    • Place of Presentation
      京都大学数理解析研究所(京都府京都市)
    • Year and Date
      2016-12-07
    • Related Report
      2016 Research-status Report
  • [Presentation] Properties Characterized by generalized indiscernible2016

    • Author(s)
      Kota Takeuchi
    • Organizer
      RIMS workshop
    • Place of Presentation
      京都大学数理解析研究所(京都府京都市)
    • Year and Date
      2016-09-26
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] The partite construction with forbidden structures2015

    • Author(s)
      Kota Takeuchi
    • Organizer
      RIMS workshop
    • Place of Presentation
      京都大学数理解析研究所(京都府京都市)
    • Year and Date
      2015-12-14
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] Ramsey property of free amalgamation classes2015

    • Author(s)
      Kota Takeuchi
    • Organizer
      日本数学会
    • Place of Presentation
      京都産業大学(京都府京都市)
    • Year and Date
      2015-09-14
    • Related Report
      2015 Research-status Report
  • [Presentation] Ramsey property of the Random graph2015

    • Author(s)
      Kota Takeuchi
    • Organizer
      モデル理論夏の学校2015
    • Place of Presentation
      法政大学(東京都千代田区)
    • Year and Date
      2015-08-22
    • Related Report
      2015 Research-status Report
  • [Presentation] n-dependent theories2015

    • Author(s)
      Kota Takeuchi
    • Organizer
      日本数学会
    • Place of Presentation
      明治大学
    • Year and Date
      2015-03-21 – 2015-03-24
    • Related Report
      2014 Research-status Report
  • [Presentation] VC-dimension and PAC-learnability for higher dimensional spaces2015

    • Author(s)
      Munehiro Kobayashi, Takayuki Kuriyama and Kota Takeuchi
    • Organizer
      日本数学会
    • Place of Presentation
      明治大学
    • Year and Date
      2015-03-21 – 2015-03-24
    • Related Report
      2014 Research-status Report
  • [Presentation] Higher dimensional PAC-learning and VC-dimension2015

    • Author(s)
      Munehiro Kobayashi, Takayuki Kuriyama and Kota Takeuchi
    • Organizer
      Forty-Sixth Southeastern International Conference on Combinatorics, Graph Theory, and Computing
    • Place of Presentation
      Florida Atlantic University, USA
    • Year and Date
      2015-03-02 – 2015-03-06
    • Related Report
      2014 Research-status Report
  • [Presentation] On the existence of epsilon-nets2014

    • Author(s)
      Takayuki Kuriyama and Kota Takeuchi
    • Organizer
      RIMS meeting
    • Place of Presentation
      京都大学
    • Year and Date
      2014-11-25 – 2014-11-27
    • Related Report
      2014 Research-status Report
  • [Presentation] Model theory, graph theory and computational learning theory2014

    • Author(s)
      Kota Takeuchi
    • Organizer
      数学基礎論若手の会
    • Place of Presentation
      鳥取市サイクリングターミナル砂丘の家
    • Year and Date
      2014-11-18 – 2014-11-20
    • Related Report
      2014 Research-status Report
  • [Presentation] Generalized VC-dimension and Zarankiewicz number2014

    • Author(s)
      Kota Takeuchi
    • Organizer
      モデル理論夏の学校
    • Place of Presentation
      筑波大学
    • Year and Date
      2014-09-12 – 2014-09-14
    • Related Report
      2014 Research-status Report
  • [Presentation] Generalized VC dimension and Sauer lemma for classes of subsets of product sets2014

    • Author(s)
      Kota Takeuchi
    • Organizer
      The Japanese Conference on Combinatorics and its Applications
    • Place of Presentation
      文部科学省研究交流センター(つくば市)
    • Year and Date
      2014-08-25 – 2014-08-29
    • Related Report
      2014 Research-status Report
  • [Presentation] Model theory and finite combinatorics2014

    • Author(s)
      Kota Takeuchi
    • Organizer
      東北大学純粋・応用数学研究センター組み合わせ論セミナー
    • Place of Presentation
      東北大学
    • Year and Date
      2014-06-06
    • Related Report
      2014 Research-status Report

URL: 

Published: 2014-04-04   Modified: 2019-03-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi