## 1.

## Introduction

Higher-level modulation schemes like polarization-division multiplexed quadrature-phase-shift-keying (PDM-QPSK) have been widely used for high-speed optical fiber communication systems with transmission rate of $100\text{\hspace{0.17em}\hspace{0.17em}}\mathrm{Gb}/\mathrm{s}$ and above for higher spectrum efficiency.^{1}2.^{–}^{3} Coherent optical receivers are required to recover the phase information included in such modulation schemes.^{4}5.^{–}^{6} Instead of using dispersion compensation fiber or optical phase conjugation for fiber dispersion compensation, digital optical coherent receivers with digital channel equalizer have become the dominating choice due to its high flexibility and low cost.

Digital signal processing modules to fulfill channel equalization, carrier phase estimation, and frequency offset estimation are the keys for the implementation of digital optical coherent receivers.^{7}^{,}^{8} The channel equalization for fiber dispersive channel can be implemented either in time-domain or in frequency-domain. For long-fiber transmission length with large amount of accumulated fiber dispersion, a frequency-domain equalizer is more efficient due to its low complexity and high parallel implementation of fast Fourier transform.^{9}^{,}^{10} However, an accurate estimation on the accumulated fiber dispersion is required.^{11}^{,}^{12} Instead, a time-domain equalizer (TDE) can achieve adaptation following the time-varying channel degradation through the iteration on its tap coefficients.

The iterative updating on the tap coefficient is of great importance for the correct working of an adaptive TDE. The data-aided least-mean square (LMS)-based method and the nondata-aided constant modulus algorithm (CMA)-based method are the two most commonly used ways.^{13}14.^{–}^{15} Though there have been a lot of research on the electrical channel equalizers based on simulation or off-line experiments,^{16}17.^{–}^{18} the real-time implementation of such digital equalizers for $100\text{\hspace{0.17em}\hspace{0.17em}}\mathrm{Gb}/\mathrm{s}$ and above rate is difficult due to the bottleneck of the hardware processing speed not available from current chip technology.^{19} The computation delay on the error signal feedback from the parallel and pipelined implementation was found to have detrimental effects on the convergence performance of the adaptive TDE.^{20}21.^{–}^{22}

This paper focuses on the effects of the feedback delay on the TDE’s convergence speed and performance. Section 2 gives a brief introduction to the principle of the TDE studied in this paper. In Sec. 3, a simplified theoretical method is proposed to study the effect of the feedback delay for both LMS- and CMA-based methods, where the mean value and the variance of the tap coefficients are derived. Section 4 compares the convergence performance between the LMS- and CMA-based methods for different step sizes and feedback delays. Numerical simulations are used to verify the results for fiber dispersive channels in Sec. 5. Section 6 concludes the paper.

## 2.

## Principle of Time-Domain Equalizer

The schematic of an adaptive TDE with LMS-based method for coefficient updating is shown in Fig. 1. ${r}_{k}$ is the received signal and ${\tilde{m}}_{k}$ is the output after equalization. ${\u03f5}_{k}={\tilde{m}}_{k}-{\widehat{m}}_{k}$ is the error signal used as a feedback in the adaptation. In practical high-speed optical fiber communication systems, higher-order modulation schemes like QPSK together with polarization-division multiplexing are used to increase the spectrum efficiency. At the digital optical coherent receiver, a butterfly-structured TDE with four subequalizers is commonly used for simultaneous dispersion compensation and polarization-division demultiplexing. Assume that the four subequalizers are named Hxx, Hxy, Hyx, and Hyy, the outputs of the subequalizers can be written as a convolution between the received signals and the tap coefficients of the equalizer as

## (1)

$${\tilde{m}}_{xx,k}=\sum _{l=-L}^{L}{C}_{xx,l}{r}_{x,k-l},\phantom{\rule[-0.0ex]{1em}{0.0ex}}{\tilde{m}}_{yx,k}=\sum _{l=-L}^{L}{C}_{yx,l}{r}_{y,k-l}\phantom{\rule{0ex}{0ex}}{\tilde{m}}_{xy,k}=\sum _{l=-L}^{L}{C}_{xy,l}{r}_{x,k-l},\phantom{\rule[-0.0ex]{1em}{0.0ex}}{\tilde{m}}_{yy,k}=\sum _{l=-L}^{L}{C}_{yy,l}{r}_{y,k-l}.$$LMS algorithm is a commonly used data-aided method for tap coefficients’ updating for adaptive TDEs. For this case, error signals used as feedback signals in the iteration are computed as

## (2)

$${\u03f5}_{x,k}={\tilde{m}}_{x,k}-{\widehat{m}}_{x,k},\phantom{\rule[-0.0ex]{2em}{0.0ex}}{\u03f5}_{y,k}={\tilde{m}}_{y,k}-{\widehat{m}}_{y,k},$$## (3)

$${\mathit{C}}_{xx}[k+1]={\mathit{C}}_{xx}[k]-\lambda {\u03f5}_{x,k}\xb7{\mathit{r}}_{x,k}^{*},$$Under the assumption that $D$ clock cycles are required to compute the error feedback signal from the input signals, the LMS-based updating equation for the TDE becomes

## (4)

$${\mathit{C}}_{xx}[k+1]={\mathit{C}}_{xx}[k]-\lambda {\u03f5}_{x,k-D}\xb7{\mathit{r}}_{x,k-D}^{*}.$$CMA is another commonly used method for tap coefficients’ updating for adaptive TDE. The error feedback signal for CMA becomes

where ${R}_{2}$ is a parameter defined as ${R}_{2}=E[{|a(k)|}^{4}]/E[{|a(k)|}^{2}]$. For QPSK modulation, ${R}_{2}=1$ and the corresponding iteration equation is## (6)

$${\mathit{C}}_{xx}[k+1]={\mathit{C}}_{xx}[k]+\lambda {\u03f5}_{x,k-D}\xb7{r}_{x,k-D}^{*}\xb7{\tilde{m}}_{x,k-D}.$$## 3.

## Analysis on the Feedback Delay Effect

To study the effect of the feedback delay on the convergence performance of the TDE, this section proposes a simplified theoretical model under which the convergence speed and the variance of the coefficients can be derived for both LMS- and CMA-based methods with different feedback delays. Suppose that the signal is transmitted on a simplified channel model as

where $\alpha $ is an unknown channel attenuation between the transmitted signal ${x}_{k}$ and the received signal ${r}_{k}$, and ${n}_{k}$ is the noise introduced by the channel. A channel equalizer with a single tap ${\mathit{C}}_{k}$ is used to estimate and compensate for the channel attenuation, and the output of the equalizer is simply ${\mathit{y}}_{k}={\mathit{C}}_{k}\times {\mathit{r}}_{k}$. The tap coefficient ${\mathit{C}}_{k}$ is updated with either LMS- or CMA-based method.First, we study the case with LMS-based method for the tap coefficient updating. For the ideal case without feedback delay, the updating equation is

## (8)

$${\mathit{C}}_{k+1}={\mathit{C}}_{k}-\lambda {\u03f5}_{k}\xb7{\mathit{r}}_{k}^{*}={\mathit{C}}_{k}-\lambda (\alpha {\mathit{C}}_{k}{x}_{k}+{\mathit{C}}_{k}{n}_{k}-{x}_{k})\xb7(\alpha {x}_{k}+{n}_{k}).$$By substituting ${\mathit{C}}_{k}={\overline{\mathit{C}}}_{k}+{\mathrm{\Delta}}_{k}$ into Eq. (8), the iteration equations for the mean value and the variance of the tap coefficient are found to be

## (9)

$${\overline{\mathit{C}}}_{k+1}={\overline{\mathit{C}}}_{k}+\alpha \xb7\lambda -\lambda ({\alpha}^{2}+{\sigma}_{0}^{2}){\overline{\mathit{C}}}_{k},$$## (10)

$${\sigma}_{k+1}^{2}=\{{(1-{\alpha}^{2}\lambda )}^{2}+(6{\alpha}^{2}{\lambda}^{2}-2\lambda ){\sigma}_{0}^{2}+3{\lambda}^{2}{\sigma}_{0}^{4}\}{\sigma}_{k}^{2}+4\alpha {\lambda}^{2}{\overline{\mathit{C}}}_{k}(\alpha {\overline{\mathit{C}}}_{k}-1){\sigma}_{0}^{2}+{\lambda}^{2}{\sigma}_{0}^{2}+2{\lambda}^{2}{\overline{\mathit{C}}}_{k}^{2}{\sigma}_{0}^{4},$$However, if there exists a non-negligible feedback delay of $D$ clock cycles, the above coefficient updating equation becomes

## (11)

$${\mathit{C}}_{k+1}={\mathit{C}}_{k}-\lambda (\alpha {\mathit{C}}_{k-D}{x}_{k-D}+{\mathit{C}}_{k-D}{n}_{k-D}-{x}_{k-D})\xb7(\alpha {x}_{k-D}+{n}_{k-D}).$$## (12)

$${\overline{\mathit{C}}}_{k+1}={\overline{\mathit{C}}}_{k}+\alpha \xb7\lambda -\lambda ({\alpha}^{2}+{\sigma}_{0}^{2}){\overline{\mathit{C}}}_{k-D},$$## (13)

$${\sigma}_{k+1}^{2}={\sigma}_{k}^{2}+{\alpha}^{4}{\lambda}^{2}{\sigma}_{k-D}^{2}+{\lambda}^{2}{\sigma}_{0}^{2}+4{\alpha}^{2}{\lambda}^{2}{\overline{\mathit{C}}}_{k-D}^{2}{\sigma}_{0}^{2}+6{\alpha}^{2}{\lambda}^{2}{\sigma}_{k-D}^{2}{\sigma}_{0}^{2}-4\alpha {\lambda}^{2}{\overline{\mathit{C}}}_{k-D}{\sigma}_{0}^{2}+2{\lambda}^{2}{\overline{\mathit{C}}}_{k-D}^{2}{\sigma}_{0}^{4}+3{\lambda}^{2}{\sigma}_{k-D}^{2}{\sigma}_{0}^{4}-2{\alpha}^{2}\lambda E\{{\mathrm{\Delta}}_{k}{\mathrm{\Delta}}_{k-D}\}-2\lambda {\sigma}_{0}^{2}E\{{\mathrm{\Delta}}_{k}{\mathrm{\Delta}}_{k-D}\}.$$The key to compute ${\sigma}_{k+1}^{2}$ is to compute $E\{{\mathrm{\Delta}}_{k}{\mathrm{\Delta}}_{k-D}\}$, which can be computed iteratively as

## (14)

$$E\{{\mathrm{\Delta}}_{k-D+1}{\mathrm{\Delta}}_{k-D}\}={\sigma}_{k-D}^{2}-\lambda ({\alpha}^{2}+{\sigma}_{0}^{2})E\{{\mathrm{\Delta}}_{k-D}{\mathrm{\Delta}}_{k-2D}\}\phantom{\rule{0ex}{0ex}}E\{{\mathrm{\Delta}}_{k-D+2}{\mathrm{\Delta}}_{k-D}\}=E\{{\mathrm{\Delta}}_{k-D+1}{\mathrm{\Delta}}_{k-D}\}-\lambda ({\alpha}^{2}+{\sigma}_{0}^{2})E\{{\mathrm{\Delta}}_{k-D}{\mathrm{\Delta}}_{k-2D+1}\}\phantom{\rule{0ex}{0ex}}\cdots \phantom{\rule{0ex}{0ex}}E\{{\mathrm{\Delta}}_{k-1}{\mathrm{\Delta}}_{k-D}\}=E\{{\mathrm{\Delta}}_{k-2}{\mathrm{\Delta}}_{k-D}\}-\lambda ({\alpha}^{2}+{\sigma}_{0}^{2})E\{{\mathrm{\Delta}}_{k-D}{\mathrm{\Delta}}_{k-2D-2}\}\phantom{\rule{0ex}{0ex}}E\{{\mathrm{\Delta}}_{k}{\mathrm{\Delta}}_{k-D}\}=E\{{\mathrm{\Delta}}_{k-1}{\mathrm{\Delta}}_{k-D}\}-\lambda ({\alpha}^{2}+{\sigma}_{0}^{2})E\{{\mathrm{\Delta}}_{k-D}{\mathrm{\Delta}}_{k-2D-1}\}.$$Next, the tap coefficient updating with CMA-based method is derived. For the ideal case without feedback delay, the updating equation with the CMA-based method is

## (15)

$${\mathit{C}}_{k+1}={\mathit{C}}_{k}+\lambda {\u03f5}_{k}\xb7{\tilde{m}}_{k}\xb7{r}_{k}^{*}={\mathit{C}}_{k}+\lambda {\mathit{C}}_{k}{(\alpha {x}_{k}+{n}_{k})}^{2}-\lambda {\mathit{C}}_{k}^{3}{(\alpha {x}_{k}+{n}_{k})}^{4}.$$## (16)

$${\overline{\mathit{C}}}_{k+1}={\overline{\mathit{C}}}_{k}+{\alpha}^{2}\lambda {\overline{\mathit{C}}}_{k}-\lambda {\alpha}^{4}{\overline{\mathit{C}}}_{k}^{3}+\lambda {\overline{\mathit{C}}}_{k}{\sigma}_{0}^{2}-6{\alpha}^{2}\lambda {\overline{\mathit{C}}}_{k}^{3}{\sigma}_{0}^{2}-3\lambda {\overline{\mathit{C}}}_{k}^{3}{\sigma}_{0}^{4}.$$## (17)

$${\mathit{C}}_{k+1}=({\overline{\mathit{C}}}_{k}+{\mathrm{\Delta}}_{k})+\lambda ({\overline{\mathit{C}}}_{k}+{\mathrm{\Delta}}_{k}){(\alpha {x}_{k}+{n}_{k})}^{2}-\lambda {({\overline{\mathit{C}}}_{k}+{\mathrm{\Delta}}_{k})}^{3}{(\alpha {x}_{k}+{n}_{k})}^{4}\phantom{\rule{0ex}{0ex}}=({\overline{\mathit{C}}}_{k}+{\mathrm{\Delta}}_{k})+\lambda ({\overline{\mathit{C}}}_{k}+{\mathrm{\Delta}}_{k}){(\alpha {x}_{k}+{n}_{k})}^{2}-\lambda ({\overline{\mathit{C}}}_{k}^{3}+3{\overline{\mathit{C}}}_{k}^{2}{\mathrm{\Delta}}_{k}+3{\overline{\mathit{C}}}_{k}{\mathrm{\Delta}}_{k}^{2}+{\mathrm{\Delta}}_{k}^{3}){(\alpha {x}_{k}+{n}_{k})}^{4}.$$## (18)

$${\sigma}_{k+1}^{2}=96\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{6}\xb7{\sigma}_{0}^{8}+384\xb7{\alpha}^{2}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{6}\xb7{\sigma}_{0}^{6}+168\xb7{\alpha}^{4}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{6}\xb7{\sigma}_{0}^{4}+16\xb7{\alpha}^{6}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{6}\xb7{\sigma}_{0}^{2}\phantom{\rule{0ex}{0ex}}+945\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{4}\xb7{\sigma}_{0}^{8}\xb7{\sigma}_{k}^{2}+3780\xb7{\alpha}^{2}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{4}\xb7{\sigma}_{0}^{6}\xb7{\sigma}_{k}^{2}+1890\xb7{\alpha}^{4}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{4}\xb7{\sigma}_{0}^{4}\xb7{\sigma}_{k}^{2}\phantom{\rule{0ex}{0ex}}+252\xb7{\alpha}^{6}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{4}\xb7{\sigma}_{0}^{2}\xb7{\sigma}_{k}^{2}+9\xb7{\alpha}^{8}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{4}\xb7{\sigma}_{k}^{2}-24\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{4}\xb7{\sigma}_{0}^{6}-72\xb7{\alpha}^{2}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{4}\xb7{\sigma}_{0}^{4}\phantom{\rule{0ex}{0ex}}-16\xb7{\alpha}^{4}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{4}\xb7{\sigma}_{0}^{2}-90\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{2}\xb7{\sigma}_{0}^{2}\xb7{\sigma}_{k}^{6}-270\xb7{\alpha}^{2}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{2}\xb7{\sigma}_{0}^{4}\xb7{\sigma}_{k}^{2}-18\xb7\lambda \xb7{\overline{\mathit{C}}}_{k}^{2}\xb7{\sigma}_{0}^{4}\xb7{\sigma}_{k}^{2}-90\xb7{\alpha}^{4}{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{2}\xb7{\sigma}_{0}^{2}\xb7{\sigma}_{k}^{2}-36\xb7{\alpha}^{2}\xb7\lambda \xb7{\overline{\mathit{C}}}_{k}^{2}\xb7{\sigma}_{0}^{2}\xb7{\sigma}_{k}^{2}\phantom{\rule{0ex}{0ex}}-6\xb7{\alpha}^{6}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{2}\xb7{\sigma}_{k}^{2}-6\xb7{\alpha}^{4}\xb7\lambda \xb7{\overline{\mathit{C}}}_{k}^{2}\xb7{\sigma}_{k}^{2}+2\xb7{\lambda}^{2}\xb7{\sigma}_{0}^{4}\xb7{\sigma}_{k}^{2}+4\xb7{\alpha}^{2}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k}^{2}\xb7{\sigma}_{0}^{2}\phantom{\rule{0ex}{0ex}}+3\xb7{\lambda}^{2}\xb7{\sigma}_{0}^{4}\xb7{\sigma}_{k}^{2}+6\xb7{\alpha}^{2}\xb7{\lambda}^{2}\xb7{\sigma}_{0}^{2}\xb7{\sigma}_{k}^{2}+2\xb7\lambda \xb7{\sigma}_{0}^{2}\xb7{\sigma}_{k}^{2}+{\alpha}^{4}\xb7{\lambda}^{2}\xb7{\sigma}_{k}^{2}+2\xb7{\alpha}^{2}\xb7\lambda \xb7{\sigma}_{k}^{2}+{\sigma}_{k}^{2}.$$For the case with feedback delays, the above iteration equations become

## (19)

$${\mathit{C}}_{k+1}={\mathit{C}}_{k}+\lambda {\u03f5}_{k-D}\xb7{\tilde{m}}_{k-D}\xb7{r}_{k-D}^{*}={\mathit{C}}_{k}+\lambda {\mathit{C}}_{k-D}{(\alpha {x}_{k-D}+{n}_{k-D})}^{2}-\lambda {\mathit{C}}_{k-D}^{3}{(\alpha {x}_{k-D}+{n}_{k-D})}^{4},$$## (20)

$${\overline{\mathit{C}}}_{k+1}={\overline{\mathit{C}}}_{k}+{\alpha}^{2}\lambda {\overline{\mathit{C}}}_{k-D}-{\alpha}^{4}\lambda {\overline{\mathit{C}}}_{k-D}^{3}+\lambda {\overline{\mathit{C}}}_{k}{\sigma}_{0}^{2}-6{\alpha}^{2}\lambda {\overline{\mathit{C}}}_{k-D}^{3}{\sigma}_{0}^{2}-3\lambda {\overline{\mathit{C}}}_{k-D}^{3}{\sigma}_{0}^{4},$$## (21)

$${\sigma}_{k+1}^{2}={\sigma}_{k}^{2}-\lambda \xb7E\{{\mathrm{\Delta}}_{k}{\mathrm{\Delta}}_{k-D}\}\xb7(18\xb7{\overline{\mathit{C}}}_{k-D}\xb7{\sigma}_{0}^{4}+36\xb7{\alpha}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{2}\xb7{\sigma}_{0}^{2}+6\xb7{\alpha}^{4}\xb7{\overline{\mathit{C}}}_{k-D}^{2}-2\xb7{\sigma}_{0}^{2}-2\xb7{\alpha}^{2})\phantom{\rule{0ex}{0ex}}+{\alpha}^{4}\xb7{\lambda}^{2}\xb7{\sigma}_{k-D}^{2}-6\xb7{\alpha}^{6}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{2}\xb7{\sigma}_{k-D}^{2}+9\xb7{\alpha}^{8}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{4}\xb7{\sigma}_{k-D}^{2}+4\xb7{\alpha}^{2}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{2}\xb7{\sigma}_{0}^{2}+2\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{2}\xb7{\sigma}_{0}^{4}-16\xb7{\alpha}^{4}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{4}\xb7{\sigma}_{0}^{2}-72\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{4}\xb7{\sigma}_{0}^{4}+16\xb7{\alpha}^{6}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{6}\xb7{\sigma}_{0}^{2}\phantom{\rule{0ex}{0ex}}-24\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{4}\xb7{\sigma}_{0}^{6}+168\xb7{\alpha}^{4}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{6}\xb7{\sigma}_{0}^{4}+384\xb7{\alpha}^{2}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{6}\xb7{\sigma}_{0}^{6}+96\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{6}\xb7{\sigma}_{0}^{8}+6\xb7{\alpha}^{2}\xb7{\lambda}^{2}\xb7{\sigma}_{k-D}^{2}\xb7{\sigma}_{0}^{2}+3\xb7{\lambda}^{2}\xb7{\sigma}_{k-D}^{2}\xb7{\sigma}_{0}^{4}-90\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{2}\xb7{\sigma}_{k-D}^{2}\xb7{\sigma}_{0}^{6}\phantom{\rule{0ex}{0ex}}-90\xb7{\alpha}^{4}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{2}\xb7{\sigma}_{k-D}^{2}\xb7{\sigma}_{0}^{2}-270\xb7{\alpha}^{2}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{2}\xb7{\sigma}_{k-D}^{2}\xb7{\sigma}_{0}^{4}\phantom{\rule{0ex}{0ex}}+252\xb7{\alpha}^{6}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{2}\xb7{\sigma}_{k-D}^{2}\xb7{\sigma}_{0}^{2}+1890\xb7{\alpha}^{4}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{4}\xb7{\sigma}_{k-D}^{2}\xb7{\sigma}_{0}^{4}\phantom{\rule{0ex}{0ex}}+3780\xb7{\alpha}^{2}\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{4}\xb7{\sigma}_{k-D}^{2}\xb7{\sigma}_{0}^{6}+945\xb7{\lambda}^{2}\xb7{\overline{\mathit{C}}}_{k-D}^{4}\xb7{\sigma}_{k-D}^{2}\xb7{\sigma}_{0}^{8}.$$## 4.

## Effects of the Feedback Delay on Equalizer Convergence

The step size is an important parameter for the design of an adaptive TDE. A larger step size is usually preferred for a faster convergence speed. However, a too large step size might cause the TDE to diverge. Based on the above equations on the mean value and the variance of tap coefficient, a detailed comparison between the case with and without feedback delays is studied in the following for LMS- and CMA-based methods. In the following numerical analysis, the unknown channel attenuation is assumed to be 1.

Based on Eqs. (8)–(13), Fig. 2 gives the mean value and the variance of the coefficient iteration using different step sizes in the LMS-based method. The variance of the channel noise ${\sigma}_{0}^{2}$ is set to be 0.1, and the feedback delay $D$ is fixed at five clock cycles. It is seen from the figure that a small step size of 0.02 has a slow convergence speed and a feedback delay of five clock cycles has negligible effect on the TDE’s convergence with a slightly increased variance after convergence. As the step size is increased to 0.2, the TDE without feedback delay can achieve a faster convergence at a cost of increased variance after convergence when compared with a step size of 0.02. However, if there exists a feedback delay of five clock cycles, some oscillation is observed during the coefficient updating with increased variance when compared with the ideal case without feedback delay. When the step size is further increased to 0.9, the TDE can still converge under the ideal case. However, the mean value shows large oscillation for the case with feedback delay and the magnitude of the oscillation is increasing with the number of iteration. Apparently, the TDE is divergent for this case. Moreover, the variance of the tap coefficient for this case also grows to infinity with the number of iteration.

It is known from Fig. 2 that a much larger step size can be used for the adaptive TDE under the ideal case for the LMS-based method. However, if the feedback delay is non-negligible as in the practice, the step size has to be decreased to keep the TDE convergent, thus greatly reduces the convergence speed. Figure 3 shows the mean value and the variance of the coefficient under different feedback delays. The step size is fixed at 0.05 for all different feedback delays. As the feedback delay increases from 0 for the ideal case to 10 clock cycles, the TDE can still reach convergent at the cost of slowed down convergence speed and increased variance after convergence. However, if a feedback delay of 20 clock cycles is used, a strong oscillation is observed on both the mean value and the variance of the tap coefficient during the iteration.

Figure 4 gives the mean value and the variance of the tap coefficient for the CMA-based method using Eqs. (15)–(21). The same channel noise and feedback delay are used as in Fig. 2. For small step size of 0.02, a feedback delay of five clock cycles has negligible effect on the TDE’s convergence at a cost of some increased variance. As the step size is increased to 0.06, a faster convergence can be achieved for both the ideal case and the case with feedback delay. However, the variance of the tap coefficient after convergence is more than doubled if there exists a feedback delay. If the step size is further increased to 0.1, the TDE can still converge for the ideal case. Instead, it is seen from the increasing variance of the tap coefficient that the TDE becomes divergent for the case with feedback delay.

Figure 5 shows the mean value and the variance of the coefficient for CMA-based method with different feedback delays. A step size of 0.03 is used in the computation. A similar behavior as the LMS-based method is observed. Negligible effect is found for small feedback delays. However, as the feedback delay is increased to 20 clock cycles, strong oscillation and divergence are also observed on both the mean value and the variance of the tap coefficient in the iteration.

Figure 6 compares the performance of the LMS- and CMA-based methods under two different cases: the ideal case and the case with a feedback delay of 10 clock cycles. For small step size of 0.02, both the LMS- and CMA-based methods can achieve convergence after about 100 iterations. After convergence, the LMS-based method has a better performance since the coefficient obtained using the LMS-based method has a smaller variance than the CMA-based method. For a relatively large step size of 0.1, the LMS-based method can achieve a faster convergence speed for both the ideal case and the case with feedback delay. For comparison, though the CMA-based method can still converge for the ideal case without feedback delay, it fails to converge for the case with feedback delay. A smaller step size is thus required for the CMA-based method than the LMS-based method which implies a slower convergence speed.

It is known from the above analysis that the feedback delay has great influence on the convergence performance of the adaptive equalizer no matter whether LMS- or CMA-based method is used. The larger the feedback delay is, the smaller the step size should be used in the iteration for the equalizer to converge. A comparison between the LMS- and the CMA-based methods is also made. Compared with the data-aided LMS-based method, a smaller step size is allowed for the nondata-aided CMA-based method when the same feedback delay is considered. A slower convergence speed is thus expected for the CMA-based method together with a larger variance after convergence than the LMS-based method.

## 5.

## Simulation Results with Fiber Dispersive Channel

For a practical fiber dispersive channel, the feedback delay is also expected to have great impact on the TDE’s convergence performance. Though closed-form expressions for the mean and the variance of the tap coefficients cannot be obtained for fiber dispersive channels, numerical simulations are used in this section to study the effects of feedback delay on the TDE convergence performance. PDM-QPSK signals with a bit rate of $112\text{\hspace{0.17em}\hspace{0.17em}}\mathrm{Gb}/\mathrm{s}$ are assumed to transmit over 100 km uncompensated standard single-mode fiber in the simulations. For such a fiber transmission length, 22 taps are enough for the TDE.

Figure 7 shows the convergence performance under different feedback delays up to 20 clock cycles if a small step size of 0.02 is used in the iteration for both the LMS- and CMA-based methods. Such a small step size guarantees that the equalizers using both methods can achieve convergence. It is found that different values of feedback delay have negligible effects on the convergence performance no matter whether the LMS- or CMA-based method is used. However, there still exists obvious difference between the LMS- and the CMA-based methods where the data-aided LMS-based method is found to achieve a much faster convergence than the CMA-based method.

Similar behaviors as the previous section are observed as the step size is increased for a faster convergence speed. For the LMS-based method, Fig. 8 shows the convergence performance of the TDE using a step size of 0.12. For feedback delays less than 10 clock cycles, a faster convergence speed is obtained as compared with a small step size of 0.02. However, the TDE becomes divergent if the feedback delay is increased to 20 clock cycles. Figure 8 also shows the convergence performance of the TDE using a step size of 0.07 for the CMA-based method. Though the TDE can still reach convergence for small feedback delay less than 10 clock cycles, a large feedback delay of 20 clock cycles induces the TDE to diverge. Note that a smaller step size of 0.07 is used for the CMA-based method in Fig. 8 because the same step size of 0.12 as in the LMS-based method causes the CMA-based method to diverge even at small feedback delay.

From the comparison on the different step sizes used in Fig. 8 for the LMS- and CMA-based methods, it is clear that the data-aided LMS-based method has a better tolerance on the effect of feedback delay if the step size is increased for faster convergence than the nondata-aided CMA-based method. For practical application in the equalizer design for digital optical coherent receiver, it is important to know the maximum allowed step size that can guarantee the convergence of the equalizer. For this purpose, Fig. 9 gives the simulation results on the maximum allowed step size for different feedback delays for both the LMS- and CMA-based methods. The same parameters as in Figs. 7 and 8 are used in the simulations. It is confirmed that a larger step size can be used for the data-aided LMS-based method than the nondata-aided CMA-based method.

## 6.

## Conclusions

Adaptive TDE is one of the most important modules for high-speed digital optical coherent receivers. For both the LMS- and CMA-based methods, the coefficient updating on the TDE requires computation of error signals as feedback. The feedback delay in practical implementation has serious impacts on the convergence performance of the TDE.

This paper proposes a simplified theoretical model based on which the mean value and the variance of the tap coefficient during iteration are derived for both the LMS- and CMA-based methods. The equation on variance is crucial for the study of the convergence performance of the adaptive TDE. Based on the equations, it is found that the existence of channel noise in the received signals might cause the tap coefficient to become divergent if a large step size is used. The effects of the feedback delay on the convergence performance are studied in detail for both LMS- and CMA-based methods using the theoretical results. It is found that as the feedback delay increases, a smaller step size has to be used for the TDE to converge and a slower convergence speed cannot be avoided. The CMA-based method has a slower convergence speed and larger variance after convergence, if the same step size is used as in the LMS-based method.

Based on numerical simulations, consistent results on the effects of the feedback delay on the TDE’s convergence are obtained for fiber dispersive channel for both LMS- and CMA-based methods. For small step size, the feedback delay has negligible effect. However, as the step size increases for a faster convergence speed, a feedback delay of 20 clock cycles might cause the TDE to diverge. Compared with the CMA-based method, the data-aided LMS-based method has a higher tolerance on the feedback delay and allows a larger step size for faster convergence speed.

## References

## Biography

**Qun Guo** is currently a graduate student at the University of Electronic Science and Technology of China, School of Communication and Information Engineering. His current research interests include high-speed optical fiber coherent communications and digital signal processing technologies for optical fiber communications.