New frontiers in distributed property testing

Publicly Offered Research

Project Area	Creation and Organization of Innovative Algorithmic Foundations for Leading Social Innovations
Project/Area Number	21H05850
Research Category	Grant-in-Aid for Transformative Research Areas (A)
Allocation Type	Single-year Grants
Review Section	Transformative Research Areas, Section (IV)
Research Institution	Japan Advanced Institute of Science and Technology
Principal Investigator	シュワルツマングレゴリー北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授 (20815261)
Project Period (FY)	2021-09-10 – 2023-03-31
Project Status	Completed (Fiscal Year 2022)
Budget Amount *help	¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000) Fiscal Year 2022: ¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000) Fiscal Year 2021: ¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Keywords	Property testing / Distributed computing / property testing / distributed algorithms / Graph algorithms
Outline of Research at the Start	We aim to further develop the field of distributed property testing by: (1) Considering property testing problems in dynamic networks, which better model the behavior of real-world distributed dynamic systems. (2) Currently, distributed property testing algorithms are studied as standalone problems, and are not used in the development of state-of-the-art distributed algorithms. We aim to change this by using property testing algorithms as building blocks for fundamental distributed algorithms.
Outline of Annual Research Achievements	In this year I worked on 2 new directions in distributed property testing. In the first we define a new notion of distance and apply it to the problem of k-connectivity. We plan to submit it to DISC this year. The second model is that of distributed quantum property testing. We have some preliminary results for testing triangle freeness and we are working on additional results before we can submit for publication.
Research Progress Status	令和4年度が最終年度であるため、記入しない。
Strategy for Future Research Activity	令和4年度が最終年度であるため、記入しない。