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

Expanding and Deepning Probabilistic Method in Coding Theory

Research Project

Project/Area Number 25289114
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypePartial Multi-year Fund
Section一般
Research Field Communication/Network engineering
Research InstitutionNagoya Institute of Technology

Principal Investigator

Wadayama Tadashi  名古屋工業大学, 工学(系)研究科(研究院), 教授 (20275374)

Co-Investigator(Kenkyū-buntansha) IZUMI Taisuke  名古屋工業大学, 大学院工学研究科, 准教授 (20432461)
MIMURA Kazushi  広島市立大学, 情報科学研究科, 准教授 (40353297)
Co-Investigator(Renkei-kenkyūsha) WATANABE Osamu  東京工業大学, 情報理工学研究科, 教授 (80158617)
IWATA Kenichi  福井大学, 工学研究科, 准教授 (80284313)
HAYASHI Kazunori  京都大学, 情報科学科, 准教授 (50346102)
Project Period (FY) 2013-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥16,510,000 (Direct Cost: ¥12,700,000、Indirect Cost: ¥3,810,000)
Fiscal Year 2015: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2014: ¥5,980,000 (Direct Cost: ¥4,600,000、Indirect Cost: ¥1,380,000)
Fiscal Year 2013: ¥5,850,000 (Direct Cost: ¥4,500,000、Indirect Cost: ¥1,350,000)
Keywords符号理論 / 情報理論 / 統計力学 / 理論計算機科学 / LDPC符号 / 疎グラフ / ランダムグラフ / 情報統計力学 / アルゴリズム / 確率的手法 / グラフ / グループテスト / 分散アルゴリズム / ランダム
Outline of Final Research Achievements

The goal of this project is to deepen and to expand modern coding theory with respect to probabilistic methods. The three main threads of the project consists of: (1) analysis on LDPC/LDGM codes based statistical mechanical methods (Mimura and Wadayama), (2) establishment of theory of non-linear observation systems based on sparse graphs, (3) sparse random graphs (Wadayama and Izumi). We have conducted corroborative research works and obtained some theoretical results. Some examples of our contributions are following: information theoretical analysis on group testing based sparse graphs, statistical mechanical analysis on non-linear codes based sparse graphs, several problems on random graphs, applications of Lovasz lemma, and communication complexity and its applications to distributed algorithms.

Report

(4 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Annual Research Report
  • 2013 Annual Research Report
  • Research Products

    (32 results)

All 2015 2014 2013

All Journal Article (13 results) (of which Peer Reviewed: 13 results,  Acknowledgement Compliant: 7 results) Presentation (19 results) (of which Int'l Joint Research: 7 results,  Invited: 3 results)

  • [Journal Article] Listing Center Strings Under the Edit Dis- tance Metric2015

    • Author(s)
      Hiromitsu Maji, Taisuke Izumi
    • Journal Title

      Proc. of International Con- ference on Combinatorial Optimization and Applications

      Volume: LNCS9486 Pages: 771-782

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Approximability of Minimum Certificate Dispersal with Tree Structures2015

    • Author(s)
      Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada
    • Journal Title

      Theoretical Computer Science

      Volume: Vol.591 Pages: 5-14

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] On Space and Time Complexity of Loosely-Stabilizing Leader Election2015

    • Author(s)
      Taisuke Izumi
    • Journal Title

      Proc. of 22nd International Colloquium on Structural Information and Communication Complexity (SIROCCO)

      Volume: LNCS9439 Pages: 299-312

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Faster Enumeration of All Maximal Cliques in Unit Disk Graphs using Geometric Structure2015

    • Author(s)
      Taisuke Izumi, Daisuke Suzuki
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: Vol. E98-D Pages: 490-496

    • NAID

      130004841866

    • Related Report
      2015 Annual Research Report 2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] High-Quality Recovery of Non-Sparse Signals from Compressed Sensing -- Beyond \ell_1 Norm Minimization --2015

    • Author(s)
      A. Hirabayasi, N. Inamuro, A. Nishiyama, and K. Mimura
    • Journal Title

      IEICE Trans. Fundamentals.

      Volume: vol. E98-A

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Probabilistic Analysis on Minimum s-t Cut Capacity of Random Graphs with Specified Degree Distribution2014

    • Author(s)
      Yuki Fujii, Tadashi Wadayama
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E97A Pages: 2317-2324

    • NAID

      130004706390

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Finite Length Analysis on Listing Failure Probability of In- vertible Bloom Lookup Tables2014

    • Author(s)
      Daichi Yugawa, Tadashi Wadayama
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communi- cations and Computer Sciences

      Volume: E97A Pages: 2309-2316

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Generating Functional Analysis for Iterative CDMA Multiuser Detectors2014

    • Author(s)
      Kazushi Mimura, Masato Okada
    • Journal Title

      IEEE Transactions on Information Theory

      Volume: 60 Pages: 3645-3670

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Space-efficient Self-stabilizing Count- ing Population Protocols on mobile sensor networks2014

    • Author(s)
      Tomoko Izumi, Keigo Kinpara, Taisuke Izumi, Koichi Wada
    • Journal Title

      Theoretical Computer Science

      Volume: 552 Pages: 99-108

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Generating Functional Analysis for Iterative CDMA Multiuser Detectors2014

    • Author(s)
      Mimura,K. and Okada,M
    • Journal Title

      IEEE Transactions on Information Theory

      Volume: 0 Pages: 0-0

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Complex approximate message passing algorithm for two-dimensional compressed sensing2013

    • Author(s)
      Hirabayashi,A. Sugimoto,J., and Mimura,K
    • Journal Title

      IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E96-A Pages: 2391-2397

    • NAID

      130003385288

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Weight Distribution of a Nonlinear Code2013

    • Author(s)
      Osugi,A., Kashisako,M., and Mimura,K
    • Journal Title

      Journal of the Physical Society of Japan

      Volume: 82

    • NAID

      210000132850

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 最適化手法に基づく誤り訂正符号の復号アルゴリズムについて2013

    • Author(s)
      和田山正
    • Journal Title

      統計数理

      Volume: 61

    • NAID

      120006020789

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Presentation] On Introducing Damping to Bayes Optimal Approximate Message Passing for Compressed Sensing2015

    • Author(s)
      K. Mimura
    • Organizer
      Proc. of APSIPA Annual Summit and Conference 2015 (APSIPA ASC 2015)
    • Place of Presentation
      香港
    • Year and Date
      2015-12-16
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Evaluation of symmetric mutual information of the simplified TDMR channel model,2015

    • Author(s)
      Tadashi Wadayama, Taisuke Izumi, and Kazushi Mimura
    • Organizer
      IEEE Globecom
    • Place of Presentation
      San Diego, USA
    • Year and Date
      2015-12-06
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Local Algorithms for Mobile Robots: From Solvability to Complexiity2015

    • Author(s)
      Taisuke Izumi
    • Organizer
      DISC2015 Workshop on Distributed Robotic Swarms
    • Place of Presentation
      東京、日本
    • Year and Date
      2015-10-05
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Improving lower bound on opaque set for regular triangle,2015

    • Author(s)
      Taisuke Izumi
    • Organizer
      The 18th Japan Conference on Discrete and Computational Geometry and Graphs
    • Place of Presentation
      京都、日本
    • Year and Date
      2015-09-14
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Coding and combinatorial optimization2015

    • Author(s)
      Tadashi Wadahyama
    • Organizer
      IEEE Seminar on Future Directions in Information Theory and Communications,
    • Place of Presentation
      South Africa
    • Year and Date
      2015-08-16
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Subgraph domatic problem and writing capacity of devices with restricted state transitions,2015

    • Author(s)
      Tadashi Wadayama, Taisuke Izumi and Hirotaka Ono,
    • Organizer
      IEEE International Symposium on Information Theory
    • Place of Presentation
      Hong Kong
    • Year and Date
      2015-07-14
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Bitwise MAP estimation for group testing based on holographic transformation,2015

    • Author(s)
      Tadashi Wadayama, Taisuke Izumi and Kazushi Mimura
    • Organizer
      IEEE International Symposium on Information Theory
    • Place of Presentation
      Hong Kong
    • Year and Date
      2015-07-14
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Subgraph Domatic Problem and Writing Capacity of Memory Devices with Restricted State Transitions2015

    • Author(s)
      T.Wadayama, T. Izumi, and H. Ono,
    • Organizer
      IEEE International Symposium on Information Theory 2015
    • Place of Presentation
      Hongkong
    • Year and Date
      2015-06-14 – 2015-06-19
    • Related Report
      2014 Annual Research Report
  • [Presentation] Bitwise MAP Estimation for Group Testing based on Holographic Transformation2015

    • Author(s)
      Tadashi Wadayama, Taisuke Izumi, and Kazushi Mimura
    • Organizer
      IEEE International Symposium on Information Theory 2015
    • Place of Presentation
      Hongkong
    • Year and Date
      2015-06-14 – 2015-06-19
    • Related Report
      2014 Annual Research Report
  • [Presentation] Filling Logarithmic Gaps in Distributed Complexity for Global Problems2015

    • Author(s)
      Hiroaki Ookawa, Taisuke Izumi
    • Organizer
      International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)
    • Place of Presentation
      Czech
    • Year and Date
      2015-01-23 – 2015-01-28
    • Related Report
      2014 Annual Research Report
  • [Presentation] Beyond L1 norm minimization – High quality recovery of non-sparse compressible signals2014

    • Author(s)
      Aiko Nishiyama, Yuki Yamanaka, Akira Hirabayashi, and Kazushi Mimura
    • Organizer
      Asia- Pacific Signal and Information Processing Association
    • Place of Presentation
      Cambodia
    • Year and Date
      2014-12-09 – 2014-12-12
    • Related Report
      2014 Annual Research Report
  • [Presentation] A Method for Single Frame Super Resolution with Inpainting Based on Sparse Dictionary Learning2014

    • Author(s)
      Takuya Umehara, Kazushi Mimura, and Akira Hirabayashi
    • Organizer
      Asia- Pacific Signal and Information Processing Association
    • Place of Presentation
      Cambodia
    • Year and Date
      2014-12-09 – 2014-12-12
    • Related Report
      2014 Annual Research Report
  • [Presentation] Randomized Lower Bound for Distributed Spanning-Tree Verification,” 21st Inter- national Colloquium on Structural Information and Communication Complexity2014

    • Author(s)
      Taisuke Izumi,
    • Organizer
      Inter- national Colloquium on Structural Information and Communication Complexity
    • Place of Presentation
      Japan
    • Year and Date
      2014-07-23 – 2014-07-25
    • Related Report
      2014 Annual Research Report
  • [Presentation] Enumerating All Maximal Cliques in Unit Disk2014

    • Author(s)
      Daisuke Suzuki, Taisuke Izumi
    • Organizer
      40th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)
    • Place of Presentation
      Slovakia
    • Related Report
      2013 Annual Research Report
  • [Presentation] Approximate Message Passing Algorithm for Complex Separable Compressed Imaging2013

    • Author(s)
      Hirabayshi,A., Sugimoto,J., and Mimura,K
    • Organizer
      2013 Asia-Pacific Signal and Information Processing Association (APSIPA2013)
    • Place of Presentation
      Taiwan
    • Related Report
      2013 Annual Research Report
  • [Presentation] Scalable Estimation of Network Average Degree2013

    • Author(s)
      Taisuke Izumi, Hironobu Kanzaki
    • Organizer
      5th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • Place of Presentation
      大阪
    • Related Report
      2013 Annual Research Report
  • [Presentation] An Analysis on Non-Adaptive Group Testing based on Sparse Pooling Graphs2013

    • Author(s)
      Tadashi Wadayama
    • Organizer
      IEEE International Symposium on Information Theory (ISIT2013)
    • Place of Presentation
      Istanbul
    • Related Report
      2013 Annual Research Report
  • [Presentation] An Analysis on Minimum s-t Cut Capacity of Random Graphs with Specified Degree Distribution2013

    • Author(s)
      Yuki Fujii, Tadashi Wadayama
    • Organizer
      IEEE International Symposium on Information Theory (ISIT2013)
    • Place of Presentation
      Istanbul
    • Related Report
      2013 Annual Research Report
  • [Presentation] Finite Length Analysis on Listing Failure Probability of Invertible Bloom Lookup Tables2013

    • Author(s)
      Daichi Yugawa, Tadashi Wadayama
    • Organizer
      IEEE International Symposium on Information Theory (ISIT2013)
    • Place of Presentation
      Istanbul
    • Related Report
      2013 Annual Research Report

URL: 

Published: 2013-05-21   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi