Showing 1–19 of 19 results for author: Nozaki, T

Decoding Algorithm Correcting Single-Insertion Plus Single-Deletion for Non-binary Quantum Codes

Authors: Ken Nakamura, Takayuki Nozaki

Abstract: In this paper, we assume an error such that a single insertion occurs and then a single deletion occurs. Under such an error model, this paper provides a decoding algorithm for non-binary quantum codes constructed by Matsumoto and Hagiwara. In this paper, we assume an error such that a single insertion occurs and then a single deletion occurs. Under such an error model, this paper provides a decoding algorithm for non-binary quantum codes constructed by Matsumoto and Hagiwara. △ Less

Submitted 17 September, 2024; originally announced September 2024.

Comments: 6 pages, submitted to ISITA 2024

Efficient Encoding Algorithm of Binary and Non-Binary LDPC Codes Using Block Triangulation

Authors: Yuta Iketo, Takayuki Nozaki

Abstract: We propose an efficient encoding algorithm for the binary and non-binary low-density parity-check codes. This algorithm transforms the parity part of the parity-check matrix into a block triangular matrix with low weight diagonal submatrices by row and column permutations in the preprocessing stage. This algorithm determines the parity part of a codeword by block back-substitution to reduce the en… ▽ More We propose an efficient encoding algorithm for the binary and non-binary low-density parity-check codes. This algorithm transforms the parity part of the parity-check matrix into a block triangular matrix with low weight diagonal submatrices by row and column permutations in the preprocessing stage. This algorithm determines the parity part of a codeword by block back-substitution to reduce the encoding complexity in the encoding stage. Numerical experiments show that this algorithm has a lower encoding complexity than existing encoding algorithms. Moreover, we show that this algorithm encodes the non-binary cycle codes in linear time. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Comments: 10 pages, 10 figures, 3 tables, submitted to IEICE trans. Fundamentals

Distance Enumerators for Number-Theoretic Codes

Authors: Takayuki Nozaki

Abstract: The number-theoretic codes are a class of codes defined by single or multiple congruences and are mainly used for correcting insertion and deletion errors. Since the number-theoretic codes are generally non-linear, the analysis method for such codes is not established enough. The distance enumerator of a code is a unary polynomial whose $i$th coefficient gives the number of the pairs of codewords… ▽ More The number-theoretic codes are a class of codes defined by single or multiple congruences and are mainly used for correcting insertion and deletion errors. Since the number-theoretic codes are generally non-linear, the analysis method for such codes is not established enough. The distance enumerator of a code is a unary polynomial whose $i$th coefficient gives the number of the pairs of codewords with distance $i$. The distance enumerator gives the maximum likelihood decoding error probability of the code. This paper presents an identity of the distance enumerators for the number-theoretic codes. Moreover, as an example, we derive the Hamming distance enumerator for the Varshamov-Tenengolts (VT) codes. △ Less

Submitted 1 February, 2021; originally announced February 2021.

Comments: 7 pages, submitted to IEEE ISIT 2021

Construction and Encoding Algorithm for Maximum Run-Length Limited Single Insertion/Deletion Correcting Code

Authors: Reona Takemoto, Takayuki Nozaki

Abstract: Maximum run-length limited codes are constraint codes used in communication and data storage systems. Insertion/deletion correcting codes correct insertion or deletion errors caused in transmitted sequences and are used for combating synchronization errors. This paper investigates the maximum run-length limited single insertion/deletion correcting (RLL-SIDC) codes. More precisely, we construct eff… ▽ More Maximum run-length limited codes are constraint codes used in communication and data storage systems. Insertion/deletion correcting codes correct insertion or deletion errors caused in transmitted sequences and are used for combating synchronization errors. This paper investigates the maximum run-length limited single insertion/deletion correcting (RLL-SIDC) codes. More precisely, we construct efficiently encodable and decodable RLL-SIDC codes. Moreover, we present its encoding algorithm and show the redundancy of the code. △ Less

Submitted 25 December, 2020; originally announced December 2020.

Comments: 8 pages, 3 figures, 7 tables, submitted to IEICE transaction on Fundamentals

Stability and Robustness of the Disturbance Observer-based Motion Control Systems in Discrete-Time Domain

Authors: Emre Sariyildiz, Satoshi Hangai, Tarik Uzunovic, Takahiro Nozaki, Kouhei Ohnishi

Abstract: This paper analyses the robust stability and performance of the Disturbance Observer- (DOb-) based digital motion control systems in discrete-time domain. It is shown that the phase margin and the robustness of the digital motion controller can be directly adjusted by tuning the nominal plant model and the bandwidth of the observer. However, they have upper and lower bounds due to robust stability… ▽ More This paper analyses the robust stability and performance of the Disturbance Observer- (DOb-) based digital motion control systems in discrete-time domain. It is shown that the phase margin and the robustness of the digital motion controller can be directly adjusted by tuning the nominal plant model and the bandwidth of the observer. However, they have upper and lower bounds due to robust stability and performance constraints as well as noise-sensitivity. The constraints on the design parameters of the DOb change when the digital motion controller is synthesised by measuring different states of a servo system. For example, the bandwidth of the DOb is limited by noise-sensitivity and waterbed effect when velocity and position measurements are employed in the digital robust motion controller synthesis. The robustness constraint due to the waterbed effect is removed when the DOb is implemented by acceleration measurement. The design constraints on the nominal plant model and the bandwidth of the observer are analytically derived by employing the generalised Bode Integral Theorem in discrete-time. The proposed design constraints allow one to systematically synthesise a high-performance DOb-based digital robust motion controller. Experimental results are given to verify the proposed analysis and synthesis methods. △ Less

Submitted 15 October, 2020; originally announced October 2020.

Comments: 11 pages, 17 figures

Journal ref: IEEE/ASME Transactions on Mechatronics, 2020

Weight Enumerators and Cardinalities for Number-Theoretic Codes

Authors: Takayuki Nozaki

Abstract: The number-theoretic codes are a class of codes defined by single or multiple congruences. These codes are mainly used for correcting insertion and deletion errors, and for correcting asymmetric errors. This paper presents a formula for a generalization of the complete weight enumerator for the number-theoretic codes. This formula allows us to derive the weight enumerators and cardinalities for th… ▽ More The number-theoretic codes are a class of codes defined by single or multiple congruences. These codes are mainly used for correcting insertion and deletion errors, and for correcting asymmetric errors. This paper presents a formula for a generalization of the complete weight enumerator for the number-theoretic codes. This formula allows us to derive the weight enumerators and cardinalities for the number-theoretic codes. As a special case, this paper provides the Hamming weight enumerators and cardinalities of the non-binary Tenengolts' codes, correcting single insertion or deletion. Moreover, we show that the formula deduces the MacWilliams identity for the linear codes over the ring of integers modulo $r$. △ Less

Submitted 24 October, 2022; v1 submitted 16 January, 2020; originally announced January 2020.

Comments: 9 pages, accepted to IEEE Transactions on Information Theory

Journal ref: IEEE Transactions on Information Theory, vol. 68, no. 11, pp. 7165-7173, Nov. 2022

A Stability Analysis for the Acceleration-based Robust Position Control of Robot Manipulators via Disturbance Observer

Authors: Emre Sariyildiz, Hiromu Sekiguchi, Takahiro Nozaki, Barkan Ugurlu, Kouhei Ohnishi

Abstract: This paper proposes a new nonlinear stability analysis for the acceleration-based robust position control of robot manipulators by using Disturbance Observer (DOb). It is shown that if the nominal inertia matrix is properly tuned in the design of DOb, then the position error asymptotically goes to zero in regulation control and is uniformly ultimately bounded in trajectory tracking control. As the… ▽ More This paper proposes a new nonlinear stability analysis for the acceleration-based robust position control of robot manipulators by using Disturbance Observer (DOb). It is shown that if the nominal inertia matrix is properly tuned in the design of DOb, then the position error asymptotically goes to zero in regulation control and is uniformly ultimately bounded in trajectory tracking control. As the bandwidth of DOb and the nominal inertia matrix are increased, the bound of error shrinks, i.e., the robust stability and performance of the position control system are improved. However, neither the bandwidth of DOb nor the nominal inertia matrix can be freely increased due to practical design constraints, e.g., the robust position controller becomes more noise sensitive when they are increased. The proposed stability analysis provides insights regarding the dynamic behavior of DOb-based robust motion control systems. It is theoretically and experimentally proved that non-diagonal elements of the nominal inertia matrix are useful to improve the stability and adjust the trade-off between the robustness and noise sensitivity. The validity of the proposal is verified by simulation and experimental results. △ Less

Submitted 19 February, 2019; originally announced February 2019.

Comments: 9 pages, 9 figures, Journal

Journal ref: IEEE/ASME Transactions On Mechatronics, Vol. 23, No. 5, October 2018

Efficient Scheduling of Serial Iterative Decoding for Zigzag Decodable Fountain Codes

Authors: Yoshihiro Murayama, Takayuki Nozaki

Abstract: Fountain codes are erasure correcting codes realizing reliable communication systems for the multicast on the Internet. The zigzag decodable fountain (ZDF) code is one of generalization of the Raptor code, i.e, applying shift operation to generate the output packets. The ZDF code is decoded by a two-stage iterative decoding algorithm, which combines the packet-wise peeling algorithm and the bit-wi… ▽ More Fountain codes are erasure correcting codes realizing reliable communication systems for the multicast on the Internet. The zigzag decodable fountain (ZDF) code is one of generalization of the Raptor code, i.e, applying shift operation to generate the output packets. The ZDF code is decoded by a two-stage iterative decoding algorithm, which combines the packet-wise peeling algorithm and the bit-wise peeling algorithm. By the bit-wise peeling algorithm and shift operation, ZDF codes outperform Raptor codes under iterative decoding in terms of decoding erasure rate and overhead. However, the bit-wise peeling algorithm spends long decoding time. This paper proposes a fast bit-wise decoding algorithm for the ZDF codes. Simulation results show that the proposed algorithm drastically reduces the decoding time compared with the existing algorithm. △ Less

Submitted 16 April, 2018; originally announced April 2018.

Comments: 5 pages, 5 figures, submitted to ISITA 2018

Shifted Coded Slotted ALOHA

Authors: Tomokazu Emoto, Takayuki Nozaki

Abstract: The random access scheme is a fundamental scenario in which users transmit through a shared channel and cannot coordinate each other. In recent years, successive interference cancellation (SIC) was introduced into the random access scheme. It is possible to decode transmitted packets using collided packets by the SIC. The coded slotted ALOHA (CSA) is a random access scheme using the SIC. The CSA e… ▽ More The random access scheme is a fundamental scenario in which users transmit through a shared channel and cannot coordinate each other. In recent years, successive interference cancellation (SIC) was introduced into the random access scheme. It is possible to decode transmitted packets using collided packets by the SIC. The coded slotted ALOHA (CSA) is a random access scheme using the SIC. The CSA encodes each packet using a local code prior to transmission. It is known that the CSA achieves excellent throughput. On the other hand, it is reported that in the coding theory time shift improves the decoding performance for packet-oriented erasure correcting codes. In this paper, we propose a random access scheme which applies the time shift to the CSA in order to achieve better throughput. Numerical examples show that our proposed random access scheme achieves better throughput and packet loss rate than the CSA. △ Less

Submitted 13 April, 2018; originally announced April 2018.

Comments: 5 pages, 7 figures, submitted to ISITA 2018

Erasure Correcting Codes by Using Shift Operation and Exclusive OR

Authors: Yuta Hanaki, Takayuki Nozaki

Abstract: This paper proposes an erasure correcting code and its systematic form for the distributed storage system. The proposed codes are encoded by exclusive OR and bit-level shift operation. By the shift operation, the encoded packets are slightly longer than the source packets. This paper evaluates the extra length of encoded packets, called overhead, and shows that the proposed codes have smalle… ▽ More This paper proposes an erasure correcting code and its systematic form for the distributed storage system. The proposed codes are encoded by exclusive OR and bit-level shift operation. By the shift operation, the encoded packets are slightly longer than the source packets. This paper evaluates the extra length of encoded packets, called overhead, and shows that the proposed codes have smaller overheads than the zigzag decodable code, which is an existing code using exclusive OR and bit-level shift operation. △ Less

Submitted 13 April, 2018; originally announced April 2018.

Comments: 6 pages, 1 figure, 3 tables, submitted to ISITA 2018

An Improvement of Non-binary Code Correcting Single b-Burst of Insertions or Deletions

Authors: Toyohiko Saeki, Takayuki Nozaki

Abstract: This paper constructs a non-binary code correcting a single $b$-burst of insertions or deletions with a large cardinality. This paper also proposes a decoding algorithm of this code and evaluates a lower bound of the cardinality of this code. Moreover, we evaluate an asymptotic upper bound on the cardinality of codes which correct a single burst of insertions or deletions. This paper constructs a non-binary code correcting a single $b$-burst of insertions or deletions with a large cardinality. This paper also proposes a decoding algorithm of this code and evaluates a lower bound of the cardinality of this code. Moreover, we evaluate an asymptotic upper bound on the cardinality of codes which correct a single burst of insertions or deletions. △ Less

Submitted 9 August, 2018; v1 submitted 13 April, 2018; originally announced April 2018.

Comments: 7 pages, accepted to ISITA 2018

Analysis of Breakdown Probability of Wireless Sensor Networks with Unreliable Relay Nodes

Authors: Takayuki Nozaki, Takafumi Nakano, Tadashi Wadayama

Abstract: In the present paper, we derive an upper bound of the average network breakdown probability of packet networks with unreliable relay nodes. We here assume that relay nodes get independently broken with a given node breakdown probability. A survivor graph is the induced subgraph obtained by removing the broken relay nodes and their connecting edges from the original graph. If the survivor network i… ▽ More In the present paper, we derive an upper bound of the average network breakdown probability of packet networks with unreliable relay nodes. We here assume that relay nodes get independently broken with a given node breakdown probability. A survivor graph is the induced subgraph obtained by removing the broken relay nodes and their connecting edges from the original graph. If the survivor network is disconnected, we consider a network breakdown happens. The primal contribution of the paper is to derive an upper bound of the average network breakdown probability, where the expectation is taken over a regular graph ensemble. The proof of the bound is based on a natural one-to-one correspondence between a regular graph and a regular bipartite graph, and also on enumeration of bipartite graphs satisfying certain conditions. This proof argument is inspired by the analysis of weight distribution for low-density parity-check codes. Compared with estimates of the average network breakdown probability obtained by computer experiments, it is observed that the upper bound provides the values which are not only upper bounds but also precise estimates of the network breakdown probability when the node breakdown probability is small. △ Less

Submitted 24 January, 2017; originally announced January 2017.

Comments: 5 pages, 4 figures, submitted to ISIT2017

Cutsize Distributions of Balanced Hypergraph Bipartitions for Random Hypergraphs

Authors: Takayuki Nozaki

Abstract: In a previous work, we presented a parallel encoding algorithm for low-density parity-check (LDPC) codes by partitioning hypergraph representation for the LDPC codes. The aim of this research is to analyze the processing time of this encoding algorithm. This paper clarifies that the processing time of the encoding algorithm depends on the minimum cutsize of balanced hypergraph partitions. Moreover… ▽ More In a previous work, we presented a parallel encoding algorithm for low-density parity-check (LDPC) codes by partitioning hypergraph representation for the LDPC codes. The aim of this research is to analyze the processing time of this encoding algorithm. This paper clarifies that the processing time of the encoding algorithm depends on the minimum cutsize of balanced hypergraph partitions. Moreover, this paper gives the typical minimum cutsize and cutsize distribution for balanced hypergraph bipartitions of random hypergraphs defined from a regular LDPC ensemble. △ Less

Submitted 6 June, 2016; originally announced June 2016.

Comments: 5 pages, 2 figures, to appear at ISIT 2016

Zigzag Decodable Fountain Codes

Authors: Takayuki Nozaki

Abstract: This paper proposes a fountain coding system which has lower space decoding complexity and lower decoding erasure rate than the Raptor coding systems. The main idea of the proposed fountain code is employing shift and exclusive OR to generate the output packets. This technique is known as the zigzag decodable code, which is efficiently decoded by the zigzag decoder. In other words, we propose a fo… ▽ More This paper proposes a fountain coding system which has lower space decoding complexity and lower decoding erasure rate than the Raptor coding systems. The main idea of the proposed fountain code is employing shift and exclusive OR to generate the output packets. This technique is known as the zigzag decodable code, which is efficiently decoded by the zigzag decoder. In other words, we propose a fountain code based on the zigzag decodable code in this paper. Moreover, we analyze the overhead for the received packets, decoding erasure rate, decoding complexity, and asymptotic overhead of the proposed fountain code. As the result, we show that the proposed fountain code outperforms the Raptor codes in terms of the overhead and decoding erasure rate. Simulation results show that the proposed fountain coding system outperforms Raptor coding system in terms of the overhead and the space decoding complexity. △ Less

Submitted 14 October, 2016; v1 submitted 30 May, 2016; originally announced May 2016.

Comments: 11 pages, 15 figures, submitted to IEICETransactions, Oct. 2016

Journal ref: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Vol.E100-A No.8 (2017) pp.1693-1704

Weight Distribution for Non-binary Cluster LDPC Code Ensemble

Authors: Takayuki Nozaki, Masaki Maehara, Kenta Kasai, Kohichi Sakaniwa

Abstract: In this paper, we derive the average weight distributions for the irregular non-binary cluster low-density parity-check (LDPC) code ensembles. Moreover, we give the exponential growth rate of the average weight distribution in the limit of large code length. We show that there exist $(2,d_c)$-regular non-binary cluster LDPC code ensembles whose normalized typical minimum distances are strictly pos… ▽ More In this paper, we derive the average weight distributions for the irregular non-binary cluster low-density parity-check (LDPC) code ensembles. Moreover, we give the exponential growth rate of the average weight distribution in the limit of large code length. We show that there exist $(2,d_c)$-regular non-binary cluster LDPC code ensembles whose normalized typical minimum distances are strictly positive. △ Less

Submitted 16 May, 2013; v1 submitted 11 May, 2013; originally announced May 2013.

Comments: 12pages, 6 figures, To be presented in ISIT2013, Submitted to IEICE Trans. Fundamentals

Spatially-Coupled Binary MacKay-Neal Codes for Channels with Non-Binary Inputs and Affine Subspace Outputs

Authors: Kenta Kasai, Takayuki Nozaki, Kohichi Sakaniwa

Abstract: We study LDPC codes for the channel with $2^m$-ary input $\underline{x}\in \mathbb{F}_2^m$ and output $\underline{y}=\underline{x}+\underline{z}\in \mathbb{F}_2^m$. The receiver knows a subspace $V\subset \mathbb{F}_2^m$ from which $\underline{z}=\underline{y}-\underline{x}$ is uniformly chosen. Or equivalently, the receiver receives an affine subspace $\underline{y}-V$ where $\underline{x}$ lies.… ▽ More We study LDPC codes for the channel with $2^m$-ary input $\underline{x}\in \mathbb{F}_2^m$ and output $\underline{y}=\underline{x}+\underline{z}\in \mathbb{F}_2^m$. The receiver knows a subspace $V\subset \mathbb{F}_2^m$ from which $\underline{z}=\underline{y}-\underline{x}$ is uniformly chosen. Or equivalently, the receiver receives an affine subspace $\underline{y}-V$ where $\underline{x}$ lies. We consider a joint iterative decoder involving the channel detector and the LDPC decoder. The decoding system considered in this paper can be viewed as a simplified model of the joint iterative decoder over non-binary modulated signal inputs e.g., $2^m$-QAM. We evaluate the performance of binary spatially-coupled MacKay-Neal codes by density evolution. The iterative decoding threshold is seriously degraded by increasing $m$. EXIT-like function curve calculations reveal that this degradation is caused by wiggles and can be mitigated by increasing the randomized window size. The resultant iterative decoding threshold values are very close to the Shannon limit. △ Less

Submitted 20 May, 2012; v1 submitted 5 February, 2012; originally announced February 2012.

Analysis of Error Floors of Non-Binary LDPC Codes over MBIOS Channel

Authors: Takayuki Nozaki, Kenta Kasai, Kohichi Sakaniwa

Abstract: In this paper, we investigate the error floors of non-binary low-density parity-check (LDPC) codes transmitted over the memoryless binary-input output-symmetric (MBIOS) channels. We provide a necessary and sufficient condition for successful decoding of zigzag cycle codes over the MBIOS channel by the belief propagation decoder. We consider an expurgated ensemble of non-binary LDPC codes by using… ▽ More In this paper, we investigate the error floors of non-binary low-density parity-check (LDPC) codes transmitted over the memoryless binary-input output-symmetric (MBIOS) channels. We provide a necessary and sufficient condition for successful decoding of zigzag cycle codes over the MBIOS channel by the belief propagation decoder. We consider an expurgated ensemble of non-binary LDPC codes by using the above necessary and sufficient condition, and hence exhibit lower error floors. Finally, we show lower bounds of the error floors for the expurgated LDPC code ensembles over the MBIOS channel. △ Less

Submitted 10 June, 2011; originally announced June 2011.

Comments: 15 pages, 9 figures, The material in this paper was presented in part at IEEE International Conference on Communications, submitted in IEICE transaction fundamentals

Analytical Solution of Covariance Evolution for Irregular LDPC Codes

Authors: Takayuki Nozaki, Kenta Kasai, Kohichi Sakaniwa

Abstract: A scaling law developed by Amraoui et al. is a powerful technique to estimate the block error probability of finite length low-density parity-check (LDPC) codes. Solving a system of differential equations called covariance evolution is a method to obtain the scaling parameter. However, the covariance evolution has not been analytically solved. In this paper, we present the analytical solution of t… ▽ More A scaling law developed by Amraoui et al. is a powerful technique to estimate the block error probability of finite length low-density parity-check (LDPC) codes. Solving a system of differential equations called covariance evolution is a method to obtain the scaling parameter. However, the covariance evolution has not been analytically solved. In this paper, we present the analytical solution of the covariance evolution for irregular LDPC code ensembles. △ Less

Submitted 10 June, 2011; v1 submitted 7 November, 2010; originally announced November 2010.

Comments: 13pages, submitted to IEEE trans. on information theory, January 2010

Journal ref: IEEE Transactions on Information Theory (Volume:58, Issue: 7, pp.4770 - 4780, July 2012)

Analytical Solution of Covariance Evolution for Regular LDPC Codes

Authors: Takayuki Nozaki, Kenta Kasai, Kohichi Sakaniwa

Abstract: The covariance evolution is a system of differential equations with respect to the covariance of the number of edges connecting to the nodes of each residual degree. Solving the covariance evolution, we can derive distributions of the number of check nodes of residual degree 1, which helps us to estimate the block error probability for finite-length LDPC code. Amraoui et al.\ resorted to numeric… ▽ More The covariance evolution is a system of differential equations with respect to the covariance of the number of edges connecting to the nodes of each residual degree. Solving the covariance evolution, we can derive distributions of the number of check nodes of residual degree 1, which helps us to estimate the block error probability for finite-length LDPC code. Amraoui et al.\ resorted to numerical computations to solve the covariance evolution. In this paper, we give the analytical solution of the covariance evolution. △ Less

Submitted 19 January, 2009; originally announced January 2009.

Comments: 5 pages, 3 figures, submitted to ISIT2009