Curriculum Vitaes

Shibuya Tomoharu

  (澁谷 智治)

Profile Information

Affiliation
Professor, Faculty of Science and Technology, Department of Information and Communication Sciences, Sophia University
(Concurrent)Dean of the Faculty of Science and Technology
Degree
博士(工学)(Apr, 1999, 東京工業大学)

Researcher number
20262280
J-GLOBAL ID
200901097688266540
researchmap Member ID
1000181747

External link

1991- Applications and fundamental aspects on the error correcting codes, especially on the parameters of algebraic codes
2001- On the performance of LDPC codes and their decoding algorithm
2008- On the convergence behavior of the iterative decoding
2010- Efficient encoding algorithm for linear codes and related topics
Coding for Non-volatile memory
2011- Construction of quantum error correcting codes

On the convergence bihavior of the iterative decoding

(Subject of research)
Error Correcting Codes with Iterative Decoding
Researches in the Parameters of Algebraic Codes


Papers

 63
  • Daisuke Hibino, Tomoharu Shibuya
    122(427) 325-330, Mar, 2023  Last authorCorresponding author
  • Mariko FUJII, Tomoharu SHIBUYA
    IEICE TRANSACTIONS on Information and Systems, E.103-D(1) 11-24, Jan 1, 2020  Peer-reviewed
  • Tomoharu Shibuya, Takeru Sudo
    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E100A(12) 2558-2571, Dec 1, 2017  Peer-reviewed
    In this paper, we propose a group theoretic representation suitable for the rank-modulation (RM) scheme over the multi-cell ranking presented by En Gad et al. By introducing an action of the group of all permutation matrices on the set of all permutations, the scheme is clearly reformulated. Moreover, weintroduce the concept ofr-dominating sets over the multi-cell ranking, which is a generalization of conventional dominating sets, inthe design of rank-modulation rewriting codes. The concept together with the proposed group theoretic representation yields an explicit formula of an upper bound on the size of the set of messages that can be stored in the memory by using RM rewriting codes over multi-cell ranking. This bound enables us to consider the trade-off between the size of the storable message set and the rewriting cost more closely. We also provide a concrete example of RM rewriting code that is not available by conventional approaches and whose size of the storable message set can not be achieved by conventional codes.
  • Tomoharu Shibuya, Takeru Sudo
    PROCEEDINGS OF 2016 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS (ISITA 2016), 131-135, 2016  
    In this paper, we study rank-modulation (RM) rewriting codes based on dominating sets. By introducing a special class of dominating sets in a construction of RM rewriting codes and employing the notion of a group action in an analysis of those codes, we succeeded to construct. RM rewriting codes based on the dominating sets that maximize the amount of stored data under the limit of rewriting cost for flash memories with 4 and 5 cells.
  • Keisuke Kodaira, Mihoko Wada, Tomoharu Shibuya
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E97A(11) 2247-2253, Nov, 2014  Peer-reviewed
    The amplitude damping (AD) quantum channel is one of the models describing evolution of quantum states. The construction of quantum error correcting codes for the AD channel based on classical codes has been presented, and Shor et al. proposed a class of classical codes over F-3 which are efficiently applicable to this construction. In this study, we expand Shor's construction to that over F-7, and succeeded to construct an AD code that has better parameters than AD codes constructed by Shor et al.
  • Tomoharu Shibuya, Kazuki Kobayashi
    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E97-A(7) 1556-1567, 2014  Peer-reviewed
    In this paper, we propose a new encoding method applicable to any linear codes over arbitrary finite field whose computational complexity is O(δ*n) where δ* and n denote the maximum column weight of a parity check matrix of a code and the code length, respectively. This means that if a code has a parity check matrix with the constant maximum column weight, such as LDPC codes, it can be encoded with O(n) computation. We also clarify the relation between the proposed method and conventional methods, and compare the computational complexity of those methods. Then we show that the proposed encoding method is much more efficient than the conventional ones. © 2014 The Institute of Electronics, Information and Communication Engineers.
  • Keisuke Kodaira, Tomoharu Shibuya
    2014 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS (ISITA), 167-171, 2014  Peer-reviewed
    The amplitude damping (AD) quantum channel is one of the models describing evolution of quantum states. Several constructions of quantum error correcting codes for the AD channel based on classical codes has been presented, and Shor et al. proposed a class of classical codes over F-3 which are efficiently applicable to this construction. Recently, we succeeded to expand Shor's construction to that based on classical codes over F-7. In this study, we further expand our construction method to that based on classical codes over F-p where p is arbitrary odd prime.
  • Mihoko Wada, Keisuke Kodaira, Tomoharu Shibuya
    2014 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS (ISITA), 158-162, 2014  Peer-reviewed
    Entanglement-assisted quantum error-correcting (EAQEC) codes, a wider class of stabilizer codes, allow us to construct quantum error-correcting codes from arbitrary classical codes with the help of ebits, i.e. maximally entangled quantum states. However, in the construction of EAQEC codes, it is desirable to use as small number of ebits as possible because of the high cost in the preparation of those entangled states. In addition, it is also desired that the error-correcting capability of classical codes from which EAQEC codes are constructed is as high as possible. In order to solve those problems, we consider in this paper a class of EAQEC codes that are based on classical LDPC codes whose parity check matrices are designed by the circulant permutation matrix. Then we give some sufficient conditions on those parity check matrices so that the obtained EAQEC codes need only one ebits. Moreover, we also clarify the condition on which parity check matrices satisfying above sufficient conditions have no 4-cycle, which is one of the important characteristics for the sum-product decoding to exhibit high error-correcting capability.
  • Hiroyuki Ihara, Tomoharu Shibuya
    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E96-A(12) 2447-2451, 2013  Peer-reviewed
    Spatially coupled (SC) low-density parity-check (LDPC) codes are defined by bipartite graphs that are obtained by assembling prototype graphs. The combination and connection of prototype graphs are designated by specifying some parameters, and Kudekar et al. showed that BP threshold of the ensemble of SC LDPC codes agrees with MAP threshold of the ensemble of regular LDPC codes when those parameters are grown up so that the code length tends to infinity. When we design SC LDPC codes with practical code length, however, it is not clear how to set those parameters to enhance the performance of SC LDPC codes. In this paper, we provide the result of numerical experiments that suggest the dependence of error performance of SC LDPC codes over BEC on their design parameters.© 2013 The Institute of Electronics, Information and Communication Engineers.
  • Kazuki Kobayashi, Tomoharu Shibuya
    2012 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS (ISITA 2012), 16-20, 2012  
    In this paper, we propose a new encoding algorithm applicable to any linear codes over arbitrary finite field whose computational complexity is O(w(H)) where w(H) denotes the number of non-zero elements in a parity check matrix H of a code. The proposed algorithm is essentially equivalent to the linear time encoding algorithm presented by Lu et al. when the maximum column weight delta* of H is less than or equal to 3, and is regarded as a natural generalization of the algorithm when delta* > 3. Moreover, the proposed algorithm can encode any linear codes defined by sparse parity check matrices, such as LDPC codes, with O(n) complexity where n denotes the code length.
  • Tomoharu Shibuya
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E94A(11) 2121-2126, Nov, 2011  
    Recently, Haley and Grant introduced the concept of reversible codes a class of binary linear codes that can reuse the decoder architecture as the encoder and encodable by the iterative message-passing algorithm based on the Jacobi method over F-2. They also developed a procedure to construct parity check matrices of a class of reversible codes named type-I reversible codes by utilizing properties specific to circulant matrices. In this paper, we refine a mathematical framework for reversible codes based on circulant matrices through a ring theoretic approach. This approach enables us to clarify the necessary and sufficient condition on which type-I reversible codes exist. Moreover, a systematic procedure to construct all circulant matrices that constitute parity check matrices of type-I reversible codes is also presented.
  • Tomoharu Shibuya
    2011 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY PROCEEDINGS (ISIT), 533-537, 2011  
    In this paper, we propose a new encoding algorithm for linear codes whose computational complexity is O(w( H)) where w(H) denotes the number of non-zero elements in a parity check matrix H of a code. The proposed algorithm is based on the block-triangularization - an efficient technique to solve a system of linear equations - of a parity part of a parity check matrix, combining additional row and column permutations. As a result, the proposed algorithm can encode any linear codes defined by sparse parity check matrices, such as LDPC codes, with O(n) complexity where n denotes the code length.
  • Tomoharu Shibuya
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E93A(11) 2083-2088, Nov, 2010  Peer-reviewed
    Recently Mooij et al proposed new sufficient conditions for convergence of the sum product algorithm and it was also shown that if the factor graph is a tree Mooijs sufficient condition for convergence is always activated. In this letter we show that the converse of the above statement is also true under some assumption and that the assumption holds for the sum product decoding. These newly obtained fact implies that Mooijs sufficient condition for convergence of the sum product decoding is activated if and only if the factor graph of the a posteriori probability of the transmitted codeword is a tree
  • SHIBUYA TOMOHARU
    IEICE transactions on fundamentals of electronics, communications and computer sciences, 93(11) 2083-2088, Nov, 2010  
  • Takayuki Nozaki, Kenta Kasai, Tomoharu Shibuya, Kohichi Sakaniwa
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E91A(10) 2737-2744, Oct, 2008  Peer-reviewed
    Luby et al. derived evolution of degree distributions in residual graphs for irregular LDPC code ensembles. Evolution of degree distributions in residual graphs is important characteristic which is used for finite-length analysis of the expected block and bit error probability over the binary erasure channel. In this paper. we derive detailed evolution of degree distributions in residual graphs for irregular LDPC code ensembles with joint degree distributions.
  • Takayuki Nozaki, Kenta Kasai, Tomoharu Shibuya, Kohichi Sakaniwa
    2008 IEEE International Symposium on Information Theory, ISIT 2008, Toronto, ON, Canada, July 6-11, 2008, 1438-1442, Jul, 2008  Peer-reviewed
  • Tomoharu Awano, Kenta Kasai, Tomoharu Shibuya, Kohichi Sakaniwa
    2008 5TH INTERNATIONAL SYMPOSIUM ON TURBO CODES AND RELATED TOPICS, 25-+, 2008  Peer-reviewed
    Multi-edge type LDPC codes are introduced by Richardson and Urbanke, and they show examples of their ensembles have better performance than other known ensembles. Orlitsky et al. derived the condition for irregular LDPC code ensembles with small linear weight codewords exponentially decreasing in code length. Nakasendo et al. derived the condition in which code ensembles have exponentially decreasing small linear weight codewords for two-edge type LDPC code ensembles which is simple example of mufti-edge type LDPC code ensembles. Our conclusion is the same as that of Nakasendo et al., and although Nakasendo's method is difficult to apply to more than three edge-types, there is a possibility that our method using Hayman approximation as Di et al. do derives the condition for mufti-edge type LDPC codes ensembles.
  • Tomoharu Awano, Kenta Kasai, Tomoharu Shibuya, Kohichi Sakaniwa
    2008 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS, VOLS 1-3, 731-+, 2008  Peer-reviewed
    Multi-edge type LDPC codes are introduced by Richardson and Urbanke, and they show examples of their ensembles have better performance than other known ensembles. Orlitsky et al. derived the condition for irregular LDPC code ensembles with minimum distance linearly increasing in code length. Nakasendo et al. derived the condition that code ensembles have exponentially decreasing small linear weight codewords for two-edge type LDPC code ensembles which is simple example of multi-edge type LDPC code ensembles. In this paper, we derive the condition for three-edge type LDPC code ensembles whose edge-types does not share any variable node and does share all of the check nodes with exponentially decreasing small linear weight codewords. The condition is necessary for the existence of the average relative minimum distance of ensembles. Our method is expected to derive the condition for multi-edge type LDPC codes.
  • Tsuyoshi Nakasendo, Kenta Kasai, Tomoharu Shibuya, Kohichi Sakaniwa
    2008 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY PROCEEDINGS, VOLS 1-6, 1138-+, 2008  Peer-reviewed
    Multi-Edge type LDPC codes are introduced by Richardson and Urbanke, and they show examples of their ensembles has better performance than other known ensembles. Orlitsky et al. derived the condition for irregular LDPC code ensembles with minimum distance linearly increasing in code length. We derive the condition corresponding to Orlitsky's condition for two-edge type LDPC code ensembles which is simple example of Multi-Edge type LDPC code ensembles.
  • Ryuhei Mori, Kenta Kasai, Tomoharu Shibuya, Kohichi Sakaniwa
    2008 5TH INTERNATIONAL SYMPOSIUM ON TURBO CODES AND RELATED TOPICS, 162-+, 2008  Peer-reviewed
    In this paper, we consider communication over the binary erasure channel (BEC) using low-density parity-check (LDPC) codes. We consider MAP decoding not using a whole Wanner graph but only a neighborhood graph of fixed depth preferred to as local-MAP decoding for deriving lower bounds of the error probability under message-passing decoding and bit-flipping decoding. The main result of this paper is to derive an asymptotic performance for regular ensembles under local-MAP decoding and to derive an asymptotic gap of the bit error probability between belief propagation (BP) and local-MAP decoding for irregular ensembles. Finally, we show the limit of the scaling parameter of these decodings when number of iterations tends to infinity.
  • Kenta Kasai, Charly Poulliat, David Declercq, Tomoharu Shibuya, Kohichi Sakaniwa
    2008 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS, VOLS 1-3, 748-+, 2008  Peer-reviewed
    Weight distributions of binary low-density parity-check (LDPC) codes are well studied in [1],[5],[4],[2]. We investigate the average distributions of symbol and binary weight for non-binary LDPC code ensemble. We derive the asymptotic growth rate and its linear approximation for small weight. Moreover, we show the typical minimum distance does not monotonically increase with the size of the field where the codes are defined.
  • Ryuhei Mori, Kenta Kasai, Tomoharu Shibuya, Kohichi Sakaniwa
    2008 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY PROCEEDINGS, VOLS 1-6, 449-+, 2008  Peer-reviewed
    We consider communication over the binary erasure channel (BEC) using low-density parity-check (LDPC) code and belief propagation (BP) decoding. Furthermore, a gap between the bit error probability after finite number of iterations for finite block length n and that for infinite block length is asymptotically alpha/n, where alpha denotes a specific constant determined by a degree distribution, a number of iterations and erasure probability. Our main result is to derive an efficient algorithm for calculating alpha for regular ensembles.
  • Takayuki Nozaki, Kenta Kasai, Tomoharu Shibuya, Kohichi Sakaniwa
    2008 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY PROCEEDINGS, VOLS 1-6, 91(10) 1438-+, 2008  
    Luby et al. derived evolution of degree distributions in residual graphs for irregular LDPC code ensembles. Evolution of degree distributions in residual graphs is an important characteristic which is used for finite-length analysis of the expected block and bit error probabilities over the binary erasure channel. In this paper, we derive detailed evolution of degree distributions in residual graphs for irregular LDPC code ensembles with joint degree distributions.
  • Noritaka Osawa, Katsuji Noda, Satoru Tsukagoshi, Yutaka Noma, Akikazu Ando, Tomoharu Shibuya, Kimio Kondo
    Journal of Educational Multimedia and Hypermedia, 16(4) 411-428, Oct, 2007  
  • Takayuki Itsui, Kenta Kasai, Ryoji Ikegaya, Tomoharu Shibuya, Kohichi Sakaniwa
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E90A(9) 1763-1771, Sep, 2007  
    The average bit erasure probability of a binary linear code ensemble under maximum a-posteriori probability (MAP). decoding over binary erasure channel (BEC) can be calculated with the average support weight distribution of the ensemble via the EXIT function and the shortened information function. In this paper, we formulate the relationship between the average bit erasure probability under MAP decoding over BEC and the average support weight distribution for a binary linear code ensemble. Then, we formulate the average support weight distribution and the average bit erasure probability under MAP decoding over BEC for regular LDPC code ensembles.
  • IKEGAYA Ryoji, KASAI Kenta, SHIBUYA Tomoharu, SAKANIWA Kohichi
    IEICE transactions on fundamentals of electronics, communications and computer sciences, 90(7) 1432-1443, Jul, 2007  
    In this paper, we derive an upper bound for the average block error probability of a standard irregular low-density parity-check (LDPC) code ensemble under the maximum-likelihood (ML) decoding. Moreover, we show that the upper bound asymptotically decreases polynomially with the code length. Furthermore, when we consider several regular LDPC code ensembles as special cases of standard irregular ones over an additive white Gaussian noise channel, we numerically show that the signal-to-noise ratio (SNR) thresholds at which the proposed bound converges to zero as the code length tends to infinity are smaller than those for a bound provided by Miller et al.. We also give an example of a standard irregular LDPC code ensemble which has a lower SNR threshold than a given regular LDPC code ensemble.
  • Shinya Miyamoto, Kenta Kasai, Tomoharu Shibuya, Kohichi Sakaniwa
    2007 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY PROCEEDINGS, VOLS 1-7, 756-+, 2007  
    Upper bounds of minimum distance distributions of Gallger codes and irregular LDPC codes were derived by Gallage and Di, respectively. Di's bounds are tight for irregular LDPC codes which have variable nodes of degree two, however, it is not tight for irregular LDPC codes which do not. In this paper, we derive tight lower and upper bounds of minimum distance distributions of irregular LDPC code ensembles without variable nodes of degree two.
  • 澁谷智治, 大澤範高, 近藤喜美夫, 清水康敬
    教育システム情報学会誌, 24(1) 3-12, Jan, 2007  
  • Kenta Kasai, Shinya Miyamoto, Tomoharu Shibuya, Kohichi Sakaniwa
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E89A(11) 3351-3354, Nov, 2006  
    Irregular Repeat-Accumulate (IRA) codes, introduced by Jin et al., have a linear-time encoding algorithm and their decoding performance is comparable to that of irregular low-density parity-check (LDPC) codes. Meanwhile the authors have introduced detailedly represented irregular LDPC code ensembles specified with joint degree distributions between variable nodes and check nodes. In this paper, by using density evolution method [7], [8], we optimize IRA codes specified with joint degree distributions. Resulting codes have higher thresholds than Jin's IRA codes.
  • Kenta Kasai, Yuji Shimoyama, Tomoharu Shibuya, Kohichi Sakaniwa
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E89A(10) 2519-2525, Oct, 2006  
    Multi-Edge type Low-Density Parity-Check codes (MET-LDPC codes) introduced by Richardson and Urbanke are generalized LDPC codes which can be seen as LDPC codes obtained by concatenating several standard (ir)regular LDPC codes. We prove in this paper that MET-LDPC code ensembles possess a certain symmetry with respect to their Average Coset Weight Distributions (ACWD). Using this symmetry, we drive ACWD of MET-LDPC code ensembles from ACWD of their constituent ensembles.
  • R. Ikegaya, K. Kasai, T. Shibuya, K. Sakaniwa
    Proc. CD-ROM of the 4th International Symposium on Turbo Codes & Related Topics, Sep, 2006  
  • Takayuki Itsui, Kenta Kasai, Ryoji Ikegaya, Tomoharu Shibuya, Kohichi Sakaniwa
    2006 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, VOLS 1-6, PROCEEDINGS, 2879-+, 2006  
    The support weight distribution of a code is the number of unique subspaces of the code with specified dimension and support weight. In this paper, we formulate the average second support weight distribution and its asymptotic exponent of regular LDPC code ensembles.
  • Ryoji Ikegaya, Kenta Kasai, Tomoharu Shibuya, Kohichi Sakaniwa
    2006 IEEE INFORMATION THEORY WORKSHOP, 317-+, 2006  
    In this paper, we have derived the upper bound of the average block error probability of a given detailedly represented irregular low-density parity-check (LDPC) code ensemble under maximum likelihood decoding.
  • Kenta Kasai, Yuji Shimoyama, Tomoharu Shibuya, Kohichi Sakaniwa
    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E89-A(10) 2519-2525, 2006  
    Multi-Edge type Low-Density Parity-Check codes (MET-LDPC codes) introduced by Richardson and Urbanke are generalized LDPC codes which can be seen as LDPC codes obtained by concatenating several standard (ir)regular LDPC codes. We prove in this paper that MET-LDPC code ensembles possess a certain symmetry with respect to their Average Coset Weight Distributions (ACWD). Using this symmetry, we drive ACWD of MET-LDPC code ensembles from ACWD of their constituent ensembles. Copyright © 2006 The Institute of Electronics, Information and Communication Engineers.
  • T. Shibuya, N. Osawa, K. Kondo
    Proceedings of the 56th International Astronautical Congress, IAC-05-E1(P01), Oct, 2005  
  • R Ikegaya, K Kasai, Y Shimoyama, T. Shibuya, K Sakaniwa
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A(10) 2745-2761, Oct, 2005  
    In this paper, we explicitly formulate the average weight and the stopping set distributions and their asymptotic exponents of two-edge type LDPC code ensembles. We also show some characteristics such as the symmetry and the conditions for zero of the weight distributions of two code ensembles. Further we investigate the relation between two code ensembles from the perspectives of the weight and stopping set distributions.
  • T. Shibuya, K Harada, R Tohyama, K Sakaniwa
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A(5) 1346-1364, May, 2005  
    New decoding algorithms for binary linear codes based on the concave-convex procedure are presented. Numerical experiments show that the proposed decoding algorithms surpass Belief Propagation (BP) decoding in error performance. Average computational complexity of one of the proposed decoding algorithms is only a few times greater than that of the BP decoding.
  • Noritaka Osawa, Tomoharu Shibuya, Kiyohiro Yuki, Kimio Kondo, Utoro Sastrokusumo, Tharadol Komolmis, Hiroshi Kuroiwa
    Proceedings of the Eighth IASTED International Conference on Computers and Advanced Technology in Education, 41-46, 2005  Peer-reviewed
    We have been developing an interactive and realtime multimedia distance education system among multiple sites using IP (Internet protocol) -based satellite networks. Video, audio, telepointers, and other data must be efficiently shared among many sites through such a network. We have therefore designed basic multicast-capable networks for efficient communication through satellite communication. We have developed a set of tools, called FocusShare, which include a sender application, a receiver application, a multipoint viewer, and other tools. Using two satellite communication networks and the developed tools, we have conducted experiments in cooperation with groups in other countries to demonstrate the appropriateness of our satellite IP network, and have shown that our tool suite is useful for point-to-point and multipoint conferencing.
  • Noritaka Osawa, Kikuo Asai, Tomoharu Shibuya, Katsuji Noda, Satoru Tsukagoshi, Yutaka Noma, Akikazu Ando
    ITHET 2005: 6th International Conference on Information Technology Based Higher Education and Training, 2005, 2005 C-13-C-18, 2005  Peer-reviewed
    We have developed a prototype system for 3D video distance education using satellite communications and IP multicasting. Our system is based on personal computers and software codecs. The system is inexpensive and flexible for various configurations because it utilizes software modules. Our system can be easily installed outdoors since it does not use special hardware to encode, decode, or transmit multimedia data. Testing of our system implemented between a horticulture farm and an indoor studio, approximately 140 km apart, showed that it effectively supports distance education between indoor and outdoor environments and that it provides an enhanced 3D educational environment. © 2005 IEEE.
  • R Ikegaya, K Kasai, Y Shimoyama, T Shibuya, K Sakaniwa
    2005 IEEE International Symposium on Information Theory (ISIT), Vols 1 and 2, 985-989, 2005  
    In this paper, we explicitly formulate the average stopping set distributions and their asymptotic exponents of two instances of two-edge type LDPC code ensembles. Further we investigate the relation between the asymptotic exponents of those two code ensembles.
  • R Ikegaya, K Kasai, T. Shibuya, K Sakaniwa
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E87A(10) 2484-2492, Oct, 2004  Peer-reviewed
    In this paper, we provide explicit representations of average weight and stopping set distributions and asymptotic expressions of their exponent for detailedly represented irregular LDPC code ensembles. Further we present numerical examples which compare a detailedly represented irregular LDPC code ensemble with a conventional one with respect to both of weight and stopping set distributions. key words: weight distribution, stopping set distribution, detailedly represented irregular LDPC code ensemble with a conventional one with respect to both of weight and stopping set distributions.
  • Tomoharu Shibuya
    Proceedings of ISITA2004, 1175-1180, Oct, 2004  
  • K. Kasai, S. Miyakawa, T. Shibuya, K. Sakaniwa
    Proceedings of ISITA2004, 986-990, Oct, 2004  
  • Ryoji Ikegaya, Kenta Kasai, Tomoharu Shibuya, Kohichi Sakaniwa
    IEICE transactions on fundamentals of electronics, communications and computer sciences, 87(10) 2484-2492, Oct, 2004  
    In this paper, we provide explicit representations of average weight and stopping set distributions and asymptotic expressions of their exponent for detailedly represented irregular LDPC code ensembles. Further we present numerical examples which compare a detailedly represented irregular LDPC code ensemble with a conventional one with respect to both of weight and stopping set distributions.
  • R. Ikegaya, K. Kasai, T. Shibuya, K. Sakaniwa
    Proceedings of ISIT2004, 208-212, Jun, 2004  
  • T. Shibuya, K. Asai, N. Osawa, K. Kondo
    Proceedings of the 24th International Symposium on Space Technology and Science, ISTS2004-u-01, May, 2004  
  • T. Shibuya, M Onikubo, K Sakaniwa
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E86A(10) 2428-2434, Oct, 2003  Peer-reviewed
    In this paper, we investigate Tanner's lower bound for the minimum distance of regular LDPC codes based on combinatorial designs. We first determine Tanner's lower bound for LDPC codes which are defined by modifying bipartite graphs obtained from combinatorial designs known as Steiner systems. Then we show that Tanner's lower bound agrees with or exceeds conventional lower bounds including the BCH bound, and gives the true minimum distance for some EG-LDPC codes.
  • T Shibuya, K Sakaniwa
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E86A(10) 2601-2606, Oct, 2003  
    In this letter, we show the effectiveness of a double-loop algorithm based on the concave-convex procedure (CCCP) in decoding linear codes. For this purpose, we numerically compare the error performance of CCCP-based decoding algorithm with that of a conventional iterative decoding algorithm based on belief propagation (BP). We also investigate computational complexity and its relation to the error performance.
  • K Kasai, T. Shibuya, K Sakaniwa
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E86A(10) 2435-2444, Oct, 2003  
    Richardson and Urbanke developed a powerful method density evolution which determines, for various channels; the capacity of irregular low-density parity-check code ensembles. We develop generalized density evolution for minutely represented ensembles and show it includes conventional representation as a special case. Furthermore, we present an example of code ensembles used over binary erasure channel and binary input. additive white Gaussian noise channel which have better thresholds than highly optimized ensembles with conventional representation.
  • SHIBUYA Tomoharu, ONIKUBO Masatoshi, SAKANIWA Kohichi
    IEICE transactions on fundamentals of electronics, communications and computer sciences, 86(10) 2428-2434, Oct, 2003  
    In this paper, we investigate Tanner's lower bound for the minimum distance of regular LDPC codes based on combinatorial designs We first determine Tanner's lower bound for LDPC codes which are defined by modifying bipartite graphs obtained from combinatorial designs known as Steiner systems Then we show that Tanner's lower bound agrees with or exceeds conventional lower bounds including the BCH bound, and gives the true minimum distance for some EG-LDPC codes.

Misc.

 44
  • Shibuya Tomoharu, Sudo Takeru
    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 116(33) 115-120, May 19, 2016  
  • Shibuya Tomoharu, Sudo Takeru
    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 116(34) 115-120, May 19, 2016  
  • Kanbayashi Yuya, Shibuya Tomoharu
    Technical report of IEICE. ISEC, 112(461) 113-118, Mar 7, 2013  
    Rank Modulation code is a recoding code expressing information by using the mutual relation between the level of electric charge of each cell constituting a flash memory. Compressed encoding is one of the rank modulation encodings that employ the push up operation to realize a state transition of memory. In this study, we investigate a code constructions based on the dominating set of a transition graph, which is known as one of techniques to inclease the capacity of memory and decrease frequency of the occurrence of the block erasure in the compressed encoding. As a result, we propose a new algorithm to construct a dominating set. Moreover, we show a sufficient condition for the proposed algorithm to generate a minimal dominating set. In addition, we give a concretely an example of minimal dominating set for a memory constituting 5 cells.
  • IHARA Hiroyuki, SHIBUYA Tomoharu
    IEICE technical report. Information theory, 112(124) 85-89, Jul 12, 2012  
    Spatially coupled (SC) low-density parity-check (LDPC) codes are denned by bipartite graphs that are obtained by assembling prototype graphs. The combination and connection of prototype graphs are designated by specifying some parameters, and Kudekar et al. showed that BP threshold of the ensemble of SC LDPC codes agrees with MAP threshold of the ensemble of regular LDPC codes when those parameters are grown up so that the code length tends to infinity. When we design SC LDPC codes with practical code length, however, it is not clear how to set those parameters to enhance the performance of SC LDPC codes. In this paper, we provide the result of numerical experiments that suggest the dependence of error performance of SC LDPC codes over BEC on their design parameters.

Books and Other Publications

 6

Presentations

 14
  • Daisuke Hibino, Tomoharu Shibuya
    Technical Committee Meeting on Information Theory, Mar 15, 2023
  • Taiyu Kamiyama, Yuta Ugaya, Keisuke Kodaira, Tomoharu Shibuya
    2018 The International Symposium on Information Theory and Its Applications, Oct 28, 2018, Engineering Sciences Society, IEICE
    conventional secret sharing, password protected secret sharing (PPSS) was invented. Recently, Nakahara et al. improved Ogata's multiple-use PPSS (mPPSS), which protects multiple data by one password, by employing secure computation known as CSEC70 method in the user authentication. In this paper, we propose an attack on Nakahara's mPPSS that presumes on a security hall in the adoption of CSEC70 method. Then, we show that the proposed attack enables an administrator of any server of the system to disclose the password of an arbitrary user in Nakahara's mPPSS.
  • Tomoharu Shibuya
    Japan-Singapore Workshop on Coding and Information Theory, Mar 4, 2018, School of Physical & Mathematical Sciences, Nanyang Technological University
    In this talk, a group theoretic representation suitable for the rank-modulation (RM) scheme over the multi-cell ranking developed by En Gad et al. is presented. By introducing an action of the group of all permutation matrices on the set of all permutations, the scheme is clearly reformulated. Moreover, we introduce the concept of r-dominating sets over the multi-cell ranking, which is a generalization of conventional dominating sets, in the design of rank-modulation rewriting codes. The concept together with the presented group theoretic representation helps to yield an explicit formula of an upper bound on the size of the set of messages that can be stored in the memory by using RM rewriting codes over multi-cell ranking. We also note that this bound enables us to consider the trade-off between the size of the storable message set and the rewriting cost more closely.
  • 須藤 尊, 渋谷 智治
    電子情報通信学会情報理論研究会, Jan 20, 2017, 電子情報通信学会
  • Tomoharu Shibuya, Takeru Sudo
    Conference of Technical Committee on Information Theory, May 20, 2016, IEICE

Research Projects

 13