Researcher profile

Keigo Takeuchi

Keigo Takeuchi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
13works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2022arXiv

On the Convergence of Orthogonal/Vector AMP: Long-Memory Message-Passing Strategy

This paper proves the convergence of Bayes-optimal orthogonal/vector approximate message-passing (AMP) to a fixed point in the large system limit. The proof is based on Bayes-optimal long-memory (LM) message-passing (MP) that is guaranteed to converge systematically. The dynamics of Bayes-optimal LM-MP is analyzed via an existing state evolution framework. The obtained state evolution recursions are proved to converge. The convergence of Bayes-optimal orthogonal/vector AMP is proved by confirming an exact reduction of the state evolution recursions to those for Bayes-optimal orthogonal/vector AMP.

preprint2022arXiv

On the Convergence of Orthogonal/Vector AMP: Long-Memory Message-Passing Strategy

Orthogonal/vector approximate message-passing (AMP) is a powerful message-passing (MP) algorithm for signal reconstruction in compressed sensing. This paper proves the convergence of Bayes-optimal orthogonal/vector AMP in the large system limit. The proof strategy is based on a novel long-memory (LM) MP approach: A first step is a construction of LM-MP that is guaranteed to converge systematically. A second step is a large-system analysis of LM-MP via an existing framework of state evolution. A third step is to prove the convergence of state evolution recursions for Bayes-optimal LM-MP via a new statistical interpretation of existing LM damping. The last is an exact reduction of the state evolution recursions for Bayes-optimal LM-MP to those for Bayes-optimal orthogonal/vector AMP. The convergence of the state evolution recursions for Bayes-optimal LM-MP implies that for Bayes-optimal orthogonal/vector AMP. Numerical simulations are presented to show the verification of state evolution results for damped orthogonal/vector AMP and a negative aspect of LM-MP in finite-sized systems.

preprint2020arXiv

Convolutional Approximate Message-Passing

This letter proposes a novel message-passing algorithm for signal recovery in compressed sensing. The proposed algorithm solves the disadvantages of approximate message-passing (AMP) and orthogonal/vector AMP, and realizes their advantages. AMP converges only in a limited class of sensing matrices while it has low complexity. Orthogonal/vector AMP requires a high-complexity matrix inversion while it is applicable for a wide class of sensing matrices. The key feature of the proposed algorithm is the so-called Onsager correction via a convolution of messages in all preceding iterations while the conventional message-passing algorithms have correction terms that depend only on messages in the latest iteration. Thus, the proposed algorithm is called convolutional AMP (CAMP). Ill-conditioned sensing matrices are simulated as an example in which the convergence of AMP is not guaranteed. Numerical simulations show that CAMP can improve the convergence property of AMP and achieve high performance comparable to orthogonal/vector AMP in spite of low complexity comparable to AMP.

preprint2014arXiv

A Generalization of Threshold Saturation: Application to Spatially Coupled BICM-ID

Spatial coupling was proved to improve the belief-propagation (BP) performance up to the maximum-a-posteriori (MAP) performance. This paper addresses an extended class of spatially coupled (SC) systems. A potential function is derived for characterizing a lower bound on the BP performance of the extended SC systems, and shown to be different from the potential for the conventional SC systems. This may imply that the BP performance for the extended SC systems does not coincide with the MAP performance for the corresponding uncoupled system. SC bit-interleaved coded modulation with iterative decoding (BICM-ID) is also investigated as an application of the extended SC systems.

preprint2014arXiv

Iterative LMMSE Channel Estimation, Multiuser Detection, and Decoding via Spatial Coupling

Spatial coupling is utilized to improve the performance of iterative channel estimation, multiuser detection, and decoding for multiple-input multiple-input (MIMO) bit-interleaved coded modulation (BICM). Coupling is applied to both coding and BICM---the encoder uses a protograph-based spatially-coupled low-density parity-check (SC LDPC) code. Spatially and temporally coupled (STC) BICM is proposed to enable iterative channel estimation via coupling. Linear minimum mean-squared error (LMMSE) estimation is applied for both channel estimation and detection to reduce the complexity. Tractable density evolution (DE) equations are derived to analyze the convergence property of iterative receivers in the large-system limit, via a tool developed in statistical physics---replica method. The DE analysis implies that the STC BICM can improve the performance of iterative channel estimation especially for higher-order modulation. Numerical simulations show that the STC BICM can provide a significant gain of the performance at high signal-to-noise ratios for 64 quadrature amplitude modulation (QAM), as well as an improvement in the decoding threshold, compared to conventional BICM.

preprint2013arXiv

A Potential Theory of General Spatially-Coupled Systems via a Continuum Approximation

This paper analyzes general spatially-coupled (SC) systems with multi-dimensional coupling. A continuum approximation is used to derive potential functions that characterize the performance of the SC systems. For any dimension of coupling, it is shown that, if the boundary of the SC systems is fixed to the unique stable solution that minimizes the potential over all stationary solutions, the systems can approach the optimal performance as the number of coupled systems tends to infinity.

preprint2013arXiv

Iterative Multiuser Detection and Decoding with Spatially Coupled Interleaving

Spatially coupled (SC) interleaving is proposed to improve the performance of iterative multiuser detection and decoding (MUDD) for quasi-static fading multiple-input multiple-output systems. The linear minimum mean-squared error (LMMSE) demodulator is used to reduce the complexity and to avoid error propagation. Furthermore, sliding window MUDD is proposed to circumvent an increase of the decoding latency due to SC interleaving. Theoretical and numerical analyses show that SC interleaving can improve the performance of the iterative LMMSE MUDD for regular low-density parity-check codes.

preprint2013arXiv

Multi-Dimensional Spatially-Coupled Codes

Spatially-coupled (SC) codes are constructed by coupling many regular low-density parity-check codes in a chain. The decoding chain of SC codes stops when facing burst erasures. This problem can not be overcome by increasing coupling number. In this paper, we introduce multi-dimensional (MD) SC codes. Numerical results show that 2D-SC codes are more robust to the burst erasures than 1D-SC codes. Furthermore, we consider designing MD-SC codes with smaller rateloss.

preprint2012arXiv

A Greedy Algorithm of Data-Dependent User Selection for Fast Fading Gaussian Vector Broadcast Channels

User selection (US) with Zero-forcing beamforming is considered in fast fading Gaussian vector broadcast channels with perfect channel state information (CSI) at the transmitter. A novel criterion for US is proposed, which depends on both CSI and the data symbols, while conventional criteria only depend on CSI. Since the optimization of US based on the proposed criterion is infeasible, a greedy algorithm of data-dependent US is proposed to perform the optimization approximately. An overhead issue arises in fast fading channels: On every update of US, the transmitter might inform each user whether he/she has been selected, using a certain fraction of resources. This overhead results in a significant rate loss for fast fading channels. In order to circumvent this overhead issue, iterative detection and decoding schemes are proposed on the basis of belief propagation. The proposed iterative schemes require no information about whether each user has been selected. The proposed US scheme is compared to a data-independent US scheme. The complexity of the two schemes is comparable to each other for fast fading channels. Numerical simulations show that the proposed scheme can outperform the data-independent scheme for fast fading channels in terms of energy efficiency, bit error rate, and achievable sum rate.

preprint2012arXiv

Large-System Analysis of Joint User Selection and Vector Precoding for Multiuser MIMO Downlink

Joint user selection (US) and vector precoding (US-VP) is proposed for multiuser multiple-input multiple-output (MU-MIMO) downlink. The main difference between joint US-VP and conventional US is that US depends on data symbols for joint US-VP, whereas conventional US is independent of data symbols. The replica method is used to analyze the performance of joint US-VP in the large-system limit, where the numbers of transmit antennas, users, and selected users tend to infinity while their ratios are kept constant. The analysis under the assumptions of replica symmetry (RS) and 1-step replica symmetry breaking (1RSB) implies that optimal data-independent US provides nothing but the same performance as random US in the large-system limit, whereas data-independent US is capacity-achieving as only the number of users tends to infinity. It is shown that joint US-VP can provide a substantial reduction of the energy penalty in the large-system limit. Consequently, joint US-VP outperforms separate US-VP in terms of the achievable sum rate, which consists of a combination of vector precoding (VP) and data-independent US. In particular, data-dependent US can be applied to general modulation, and implemented with a greedy algorithm.

preprint2012arXiv

Large-System Analysis of Joint User Selection and Vector Precoding with Zero-Forcing Transmit Beamforming for MIMO Broadcast Channels

Multiple-input multiple-output (MIMO) broadcast channels (BCs) (MIMO-BCs) with perfect channel state information (CSI) at the transmitter are considered. As joint user selection (US) and vector precoding (VP) (US-VP) with zero-forcing transmit beamforming (ZF-BF), US and continuous VP (CVP) (US-CVP) and data-dependent US (DD-US) are investigated. The replica method, developed in statistical physics, is used to analyze the energy penalties for the two US-VP schemes in the large-system limit, where the number of users, the number of selected users, and the number of transmit antennas tend to infinity with their ratios kept constant. Four observations are obtained in the large-system limit: First, the assumptions of replica symmetry (RS) and 1-step replica symmetry breaking (1RSB) for DD-US can provide acceptable approximations for low and moderate system loads, respectively. Secondly, DD-US outperforms CVP with random US in terms of the energy penalty for low-to-moderate system loads. Thirdly, the asymptotic energy penalty of DD-US is indistinguishable from that of US-CVP for low system loads. Finally, a greedy algorithm of DD-US proposed in authors' previous work can achieve nearly optimal performance for low-to-moderate system loads.

preprint2011arXiv

A Phenomenological Study on Threshold Improvement via Spatial Coupling

Kudekar et al. proved an interesting result in low-density parity-check (LDPC) convolutional codes: The belief-propagation (BP) threshold is boosted to the maximum-a-posteriori (MAP) threshold by spatial coupling. Furthermore, the authors showed that the BP threshold for code-division multiple-access (CDMA) systems is improved up to the optimal one via spatial coupling. In this letter, a phenomenological model for elucidating the essence of these phenomenon, called threshold improvement, is proposed. The main result implies that threshold improvement occurs for spatially-coupled general graphical models.

preprint2011arXiv

Improvement of BP-Based CDMA Multiuser Detection by Spatial Coupling

Kudekar et al. proved that the belief-propagation (BP) threshold for low-density parity-check codes can be boosted up to the maximum-a-posteriori (MAP) threshold by spatial coupling. In this paper, spatial coupling is applied to randomly-spread code-division multiple-access (CDMA) systems in order to improve the performance of BP-based multiuser detection (MUD). Spatially-coupled CDMA systems can be regarded as multi-code CDMA systems with two transmission phases. The large-system analysis shows that spatial coupling can improve the BP performance, while there is a gap between the BP performance and the individually-optimal (IO) performance.