Low-Density Parity-Check Decoding Algorithm Based on Symmetric Alternating Direction Method of Multipliers

Abstract

The Alternating Direction Method of Multipliers (ADMM) has proven to be an efficient approach for implementing linear programming (LP) decoding of low-density parity-check (LDPC) codes. By introducing penalty terms into the LP decoding model’s objective function, ADMM-based variable node penalized decoding effectively mitigates non-integral solutions, thereby improving frame error rate (FER) performance, especially in the low signal-to-noise ratio (SNR) region. In this paper, we leverage the ADMM framework to derive explicit iterative steps for solving the LP decoding problem for LDPC codes with penalty functions. To further enhance decoding efficiency and accuracy, We propose an LDPC code decoding algorithm based on the symmetric ADMM (S-ADMM). We also establish some contraction properties satisfied by the iterative sequence of the algorithm. Through simulation experiments, we evaluate the proposed S-ADMM decoder using three standard LDPC codes and three representative fifth-generation (5G) codes. The results show that the S-ADMM decoder consistently outperforms conventional ADMM penalized decoders, offering significant improvements in decoding performance.

1. Introduction

The linear programming (LP) decoder, initially proposed by Feldman et al. [1,2,3], serves as an approximation to maximum-likelihood (ML) decoding and is widely recognized as a key technique for decoding binary linear codes. Despite its theoretical strength, traditional LP decoding, when solved using generic solvers, is computationally demanding and can lead to considerable delays. This makes it less practical for real-time applications, where decoding speed is critical. To overcome this limitation, Barman et al. [4] introduced a more efficient and tractable decoding framework by applying the Alternating Direction Method of Multipliers (ADMM) [5]. This approach significantly improves computational efficiency while retaining the benefits of LP decoding. The ADMM-based LP decoder offers a decoding performance that is comparable to that of belief-propagation (BP) decoders [6], making it a more viable option for practical decoding in real-world systems. Additionally, the ADMM-LP decoder provides a scalable and faster alternative, especially in scenarios where low latency and high throughput are essential.

Currently, research on ADMM decoding can be broadly classified into several key areas. One direction focuses on accelerating the decoding process. Several studies aim to reduce the complexity of ADMM-LP decoding [7,8,9,10,11,12]. Wei et al. proposed an iterative projection algorithm that has linear complexity in the worst case in [11]. Xia et al. proposed a line segment projection algorithm [12] that does not require sorting or iterative operations, and conducted further research to improve this algorithm. The line segment projection algorithm is an approximate projection algorithm with low complexity, which saves more projection time compared to cut search algorithms. However, its decoding performance is somewhat inferior to that of more precise projection algorithms. In addition to improving projection techniques, other studies have taken different approaches to enhance the efficiency of ADMM decoding. Bai et al. proposed a check polytope-free ADMM framework in [13], which bypasses the need for complex check polytope computations, further reducing the overall computational burden. Yang et al. demonstrated in [14] that linear complexity offered a more scalable solution to decoding as the code length increases. In [15], Xia et al. introduced an efficient hybrid projection algorithm based on the even vertex projection algorithm (EVA), which combines different projection techniques to minimize decoding time while maintaining performance. In [16], the author proposed a sparse affine projection algorithm that projects vectors onto the affine shell of vertices, reducing the complexity of each iteration. Hierarchical ADMM decoding [17] and node scheduling [18] have successfully reduced the required decoding iterations by changing the update strategy during the decoding process.

Another critical feature of LDPC codes is their decoding performance. One of the challenges in LDPC decoding arises from the fact that the LP model relaxes the binary constraints typically imposed on the variables, allowing them to take continuous values instead of being strictly binary. As a result, the solution can sometimes be fractional, leading to suboptimal results. To mitigate this issue, researchers have explored various techniques to refine the decoding process and ensure that the decoder outputs integral solutions. In [6], the authors introduced a penalty term. This penalty term is designed to assign smaller values to integral points, making them more favorable compared to fractional solutions. By doing so, the penalty encourages the algorithm to converge toward integer solutions that correspond to valid codewords, thereby improving the decoding accuracy and performance. Building on this idea, Jiao et al. [19] assigned distinct penalty parameters based on the node degree; the method allows for more flexibility in how penalties are applied, leading to better decoding performance, particularly in the context of irregular LDPC code. This approach helps to balance the penalties across the network, further enhancing the likelihood of the decoder outputting a valid codeword. This characteristic enhances the reliability of the decoding process, ensuring that the solutions converge to valid codewords more efficiently. The authors also explored and compared a variety of penalty functions to further optimize decoding performance, considering different strategies for balancing the penalties between valid and invalid solutions. Wang et al. [20] improved performance by allowing for a more nuanced penalization of invalid solutions, thus enhancing the likelihood of finding the correct codeword. In another study, ref. [21] introduced an innovative penalty term that focused on penalizing check nodes rather than variable nodes. This approach targeted the constraints more directly, leading to a more effective decoding strategy, particularly for certain types of error patterns.

Additionally, some researchers have proposed new constraints that perform functions similar to penalty terms but with distinct mathematical formulations. For example, Wu et al. [22] introduced LP-box constraints, which impose bounds on the values that the variables can take, providing a new way of controlling the solution space and improving decoding efficiency. In another work [23], the authors further refined the solution space and enhanced the accuracy of the decoding process. Moreover, ref. [24] proposed a restartable ADMM decoding framework, which allows for periodic resets of the algorithm to avoid local minima and improve overall decoding performance.

Due to the non-convexity of the objective function, the Lagrange multipliers need to be updated in each iteration to handle constraints by applying the ADMM penalty decoding. The convergence speed of the ADMM is slow, resulting in a significant increase in the number of iterations. Especially when the signal-to-noise ratio (SNR) is low, the decoding performance will be worse, which cannot meet the low latency requirements of 5G communication scenarios.

In this paper, unlike ADMM non-convex quadratic penalized decoders, we propose an LDPC code decoding algorithm based on the symmetric ADMM (S-ADMM). The key difference lies in updating the multiplier immediately after minimizing the first variable, followed by minimizing the second variable and updating the multiplier again. Therefore, theoretically, this approach should yield superior numerical results. Additionally, to ensure global convergence of the iterative sequence, we introduce a contraction factor in the multiplier update. There is an intermediate equation for updating the Lagrange multipliers. We refer to the proposed decoding method as the S-ADMM penalized decoder. In this approach, the penalty terms applied to all valid codewords are uniform and smaller compared to those assigned to invalid solutions. The penalty for valid codewords is carefully chosen to encourage solutions that satisfy the desired decoding conditions. On the other hand, invalid solutions, such as binary solutions that fail to meet all parity-check equations or non-binary solutions are assigned significantly larger penalty terms. This differential penalization ensures that invalid solutions are heavily discouraged, effectively reducing their likelihood of attaining the minimum objective function value. Consequently, the decoder is more likely to converge to a valid codeword, as the penalties imposed on invalid solutions make them increasingly unfavorable in the optimization process.

The main contributions of this paper are summarized as follows:

• We adopt a split optimization strategy to speed up the convergence for the ADMM decoding algorithm in handling non-convex quadratic models. By ensuring the relative independence and stability of each update, we solve the problem of unstable convergence of the ADMM in non-convex problems;
• We propose the S-ADMM decoding algorithm based on penalty terms and derive the algorithm process for the S-ADMM decoding model;
• We establish some contraction properties satisfied by the iterative sequence of the S-ADMM algorithm;
• Simulations demonstrate that the S-ADMM decoding algorithm outperforms the ADMM penalized decoders.

The remainder of this paper is organized as follows. In Section 2, we provide a comprehensive overview of the LP decoding model and introduce the ADMM penalized decoding approach, discussing its foundational principles and applications in decoding. Section 3 is dedicated to the presentation of the S-ADMM decoding model. We outline the specific formulation of the ADMM algorithm tailored to solve this model, and describe the overall decoding framework that integrates the proposed method. In Section 4, we thoroughly analyze the contraction properties of the S-ADMM decoder. Section 5 presents extensive simulation results, where we compare the performance of the S-ADMM decoder against existing methods, demonstrating its superior decoding efficiency and accuracy in various scenarios. Section 6 offers concluding remarks and summarizes the contributions of this work.

2. Preliminaries

Assume we are given an LDPC code of length n and dimension k specified by its $(n-k)\times n$ parity-check matrix H. Use $\mathit{I}=\{1,2,\dots ,n\}$ and $\mathit{J}=\{1,2,\dots ,m\}$ to represent the set of all variable nodes and check nodes, where $m=n-k$. $N_v\left(i\right)$ is the set of all the check nodes connected to variable node $v_i$, $d_{v_i}$ represents the degree of $v_i$, and similarly, $N_c\left(j\right)$ is the set of all variable nodes connected to check node $c_j$, and $d_{c_j}$ represents the degree of $c_j$. For regular LDPC codes, all check nodes have the same degree $d_{c_j}$, and all variable nodes have the same degree $d_{v_i}$.

2.1. LDPC Decoding Algorithm Based on ADMM-LP

Assuming that vector $\mathit{x}$ = $\left(x_1,x_2,\dots ,x_n\right)$ is the codeword to be transmitted, $\mathit{x}\in \mathit{C}$, $\mathit{C}$ is the code set, and the received codeword is $\mathit{w}\in (w_1,w_2,\dots ,w_n)$. By using the maximum-likelihood decoding algorithm, it can be transformed into an optimization problem.

$$\begin{array}{cc}\hfill \underset{x}{min}& {\gamma }^{\mathrm{T}}\mathit{x},\hfill \\ \hfill s.t.T_j\mathbf{x}& \in {PP}_{d_{c_j}},j\in J,\hfill \end{array}$$

(1)

where $\gamma$ represents the logarithmic likelihood ratio (LLR) vector of the codeword after passing through the channel, and its i-th entry is ${\gamma }_i=log{\displaystyle \frac{E\left(w_i\mid x_i=0\right)}{E\left(w_i\mid x_i=1\right)}}$. Each row of the check matrix corresponds to a check node, which is a check equation. Then, the selection matrix $T_j$ can be used to represent the variable node v connected to the check node c, with a size of $d_{c_j}\times n$. For example, for a certain row of the check matrix $h_j=(1,0,0,1,1,0,0,0,1)$, then $T_j$ will be

$$T_j=\left(\begin{array}{ccccccccc}1& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 1& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 1& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 1\end{array}\right).$$

${\mathrm{P}}_{d_{c_j}}$ represents the parity polytope corresponding to the j-th parity node. So, we transformed Equation (1) into the solving framework of the ADMM.

$$\begin{array}{cc}\hfill \underset{x}{min}& {\gamma }^{\mathrm{T}}\mathit{x},\hfill \\ \hfill s.t.T_j\mathit{x}& ={\mathit{z}}_j,{\mathit{z}}_j\in {PP}_{d_{c_j}},j\in \mathit{J},\hfill \end{array}$$

(2)

$\mathit{z}=({\mathit{z}}_1,{\mathit{z}}_2,\dots ,{\mathit{z}}_m)$ is the auxiliary variable. The augmented Lagrangian function of the constrained optimization problem (2) is

$$L_{\beta }(\mathit{x},\mathit{z},\mathit{\lambda })={\gamma }^T\mathit{x}+\sum _j{\mathit{\lambda }}_j^T\left(T_j\mathit{x}-{\mathit{z}}_j\right)+{\displaystyle \frac{\beta }{2}}\sum _j{\parallel T_j\mathit{x}-{\mathit{z}}_j\parallel }_2^2,$$

(3)

where $\mathit{\lambda }=({\mathit{\lambda }}_1,{\mathit{\lambda }}_2,\dots ,{\mathit{\lambda }}_m)$ is Lagrangian multiplier, and $\beta$ is the penalty parameter.

$$\left\{\begin{array}{c}{\mathit{x}}^{k+1}=\underset{\mathit{x}}{argmin}\left\{L_{\beta }\left(\mathit{x},{\mathit{z}}^k,{\mathit{\lambda }}_j^k\right)\right\},\hfill \\ {\mathit{z}}_j^{k+1}=\underset{\mathit{z}}{argmin}\left\{L_{\beta }\left({\mathit{x}}^{k+1},{\mathit{z}}_j,{\mathit{\lambda }}_j^k\right)\right\},\hfill \\ {\mathit{\lambda }}_j^{k+1}={\mathit{\lambda }}_j^k+\beta (T_j{\mathit{x}}^{k+1}-{\mathit{z}}_j^{k+1}).\hfill \end{array}\right.$$

(4)

The update rules for each iteration are shown in Equations (5a)–(5c).

$$\begin{array}{cc}\hfill x_i^{k+1}& =\prod _{[0,1]}\left({\displaystyle \frac{1}{d_{v_i}}}(\sum _{j\in N_v\left(i\right)}{\left((z_j^{\left(i\right)}\right)}^k-{\displaystyle \frac{{\left({\lambda }_j^{\left(i\right)}\right)}^k}{\beta }})-{\displaystyle \frac{{\gamma }_i}{\beta }})\right),\hfill \end{array}$$

(5a)

$$\begin{array}{cc}\hfill {\mathit{z}}_j^{k+1}& =\prod _{{\mathrm{PP}}_{d_{c_j}}}\left(T_j{\mathit{x}}^{k+1}+{\displaystyle \frac{{\mathit{\lambda }}_j^k}{\beta }}\right),\hfill \end{array}$$

(5b)

$$\begin{array}{cc}\hfill {\mathit{\lambda }}_j^{k+1}& ={\mathit{\lambda }}_j^k+\beta (T_j{\mathit{x}}^{k+1}-{\mathit{z}}_j^{k+1}).\hfill \end{array}$$

(5c)

In the update operation of $x_i^{k+1}$, we use ${\left(T\right)}_{i,j}=\mid d_{v_i}\mid {\delta }_{i,j}$. For simplicity, we use $z_j^{\left(i\right)}$ to represent the i-th component of $T_j^T{\mathit{z}}_j$. Similarly, we use ${\lambda }_j^{\left(i\right)}$ to represent the i-th component of $T_j^T{\mathit{\lambda }}_j$. The ${\prod }_{[0,1]}\left(\mathit{q}\right)$ operation represents projecting the vector q onto the unit polyhedron. In the update operation of ${\mathit{z}}_j^{k+1}$, the ${\prod }_{{\mathrm{PP}}_{d_{c_j}}}\left(\mathit{q}\right)$ represents the Euclidean projection algorithm of vector $\mathit{q}$ on the test polytope ${\prod }_{{\mathrm{PP}}_{d_{c_j}}}$. But it is not the focus of this paper. In this paper, the projection algorithm proposed in the literature will be directly adopted. For more information on the projection algorithm, please refer to the literature [25].

2.2. ADMM-LP Decoding Algorithm with Penalty Term

Although the ADMM-LP decoding algorithm overcomes the problem of error platform in the Message Passing (MP) decoding algorithm, experiments have shown that under low signal-to-noise ratio conditions, the error correction performance of the ADMM-LP algorithm is often lower than that of the MP algorithm under the same conditions. To overcome this drawback, Liu et al. [6] proposed the ADMM algorithm with a penalty term. The core of this algorithm is to add a penalty term to the objective function of Equation (2), making it ${\gamma }^{\mathrm{T}}\mathit{x}+\sum g\left(x_i\right)$, and for the ADMM-PD, its mathematical expression is

$$\begin{array}{cc}\hfill \underset{x}{min}& {\gamma }^{\mathrm{T}}\mathit{x}+\sum _{i}g\left(x_i\right),\hfill \\ \hfill s.t.T_j\mathbf{x}& ={\mathit{z}}_j,{\mathit{z}}_j\in P_{d_{c_j}},j\in \mathit{J}.\hfill \end{array}$$

(6)

For Equation (6), after substituting the ADMM template, the updates of $\mathit{\lambda }$ and $\mathit{z}$ remain unchanged, except for the update of $\mathit{x}$, which is transformed from Equation (5a) to Equation (7).

$$x_i^{k+1}=\prod _{[0,1]}[{\displaystyle \frac{1}{d_{v_i}}}(\sum _{j\in N_v\left(i\right)}({(z_j^{\left(i\right)})}^k-{\displaystyle \frac{{\left({\lambda }_j^{\left(i\right)}\right)}^k}{\beta }}))-{\displaystyle \frac{{\gamma }_i}{\beta }}-{\displaystyle \frac{1}{\beta }}{\left({\nabla }_{x}g\right)}_i)].$$

(7)

Regarding the selection of the penalty function $g\left(x\right)$, Liu proposed several different penalty functions. For the penalty function $g\left(x\right)=-\alpha |x-0.5|$, it is referred to as the $L_1$ penalty function; for $g\left(x\right)={-\alpha \parallel x-0.5\parallel }_2^2$, it is denoted as ADMM-$L_2$. For the penalty function of $L_2$, Equation (7) becomes Equation (8).

$$x_i=\prod _{[0,1]}{\displaystyle \frac{t_i-\frac{\alpha }{\beta }}{d_{v_i}-2\frac{\alpha }{\beta }}},$$

(8)

where $t_i$ is defined as $t_i={\sum }_{j\in N_v\left(i\right)}(z_j^{\left(i\right)}-{\displaystyle \frac{1}{\beta }}{\lambda }_j^{\left(i\right)})-{\displaystyle \frac{1}{\beta }}{\gamma }_i$. The parameter $\alpha$ of the penalty function $g\left(x\right)$ is a constant greater than 0, and when a is equal to 0, the ADMM-PD decoding algorithm will degenerate into the ADMM-LP decoding algorithm. In the ADMM decoding process, the Over Relaxation (OR) technique can be used to make the algorithm converge to the optimal solution faster. The specific approach of the OR acceleration strategy is to replace $T_j\mathit{x}$ in Formulas (5b) and (5c) with

$$\rho T_j\mathit{x}+(1-\rho ){\mathit{z}}_j,$$

(9)

where $\rho$ is the relaxation coefficient for $\rho >1$; this technique is called hyper relaxation. The main idea is to perform weighted correction on the latest value of the current iteration and the value of the previous iteration to obtain the best convergence speed.

3. S-ADMM Decoder

As we all know, sparsity leads to each variable node being constrained by only a few validation nodes, resulting in weak global coupling. The single dual variable update of the traditional ADMM may not fully coordinate local conflicts, resulting in slow convergence. In addition, in sparse structures, the dependency chains between variable nodes are relatively short, and a single dual variable update may not be able to transmit information in a timely manner, resulting in delayed information transmission. In response to this situation, we adopted a phased strategy to coordinate local conflicts based on the current original variables and historical auxiliary variables. We prioritized the resolving conflicts among some verification nodes based on the differences, and then made further adjustments based on the updated ones. On the basis of the ADMM, some algorithm improvements were made, and the update steps in the ADMM algorithm were changed by introducing a new relaxation factor, so that the selection range of parameters is wider.

Consider the model with $L_2$ penalty function

$$\begin{array}{cc}\hfill \underset{x}{min}& {\gamma }^{\mathrm{T}}\mathit{x}-\alpha {(\mathit{x}-0.5)}^2,\hfill \\ \hfill s.t.T_j\mathbf{x}& ={\mathit{z}}_j,j\in \mathit{J}.\hfill \end{array}$$

(10)

Due to the $L_2$ penalty function we used, the model becomes a non-convex function. In this paper, we propose an S-ADMM for solving the possibly non-convex optimization problem (10), whose iterative scheme is

$$\left\{\begin{array}{c}{\mathit{x}}^{k+1}=\underset{\mathit{x}}{argmin}{L}_{\beta }(\mathit{x},{\mathit{z}}^k,{\mathit{\lambda }}_j^k),\hfill \\ {\mathit{\lambda }}_j^{k+{\displaystyle \frac{1}{2}}}={\mathit{\lambda }}_j^k+\eta \beta (T_j{\mathit{x}}^{k+1}-{\mathit{z}}_j^k),\hfill \\ {\mathit{z}}_j^{k+1}=\underset{\mathit{z}}{argmin}{L}_{\beta }({\mathit{x}}^{k+1},{\mathit{z}}_j,{\mathit{\lambda }}_j^{k+{\displaystyle \frac{1}{2}}}),\hfill \\ {\mathit{\lambda }}_j^{k+1}={\mathit{\lambda }}_j^{k+{\displaystyle \frac{1}{2}}}+\beta (T_j{\mathit{x}}^{k+1}-{\mathit{z}}_j^{k+1}).\hfill \end{array}\right.$$

(11)

In the S-ADMM iterative format (11), we added an update to the Lagrange multiplier (i.e., ${\lambda }^{k+{\displaystyle \frac{1}{2}}}$). At the same time, in order to improve the numerical performance of the algorithm, we introduced a parameter $\eta$ for this term. For different codes in the simulation, the value of $\eta$ makes the iteration more representative. Here $\eta \in (-1,1)$. Note that for $\eta =0$, the iterative scheme (11) reduces to the classic ADMM (4). As we will demonstrate, introducing an additional relaxation factor into the S-ADMM scheme (11) plays a crucial role in ensuring that the sequence generated by the algorithm exhibits a strictly contractive behavior relative to the solution set of (10). This contraction property allows us to establish rigorous worst-case convergence rates for the S-ADMM method. Importantly, this analysis can be conducted without the need for further assumptions or modifications to the underlying model (10), highlighting the robustness of the scheme’s convergence guarantees.

For model (10), the specific iteration rules for each variable are as follows:

$$\begin{array}{cc}\hfill {\mathit{x}}^{k+1}& =\underset{\mathit{x}}{argmin}{L}_{\beta }(\mathit{x},{\mathit{z}}_j^k,{\mathit{\lambda }}_j^k)\hfill \\ \hfill & =\prod _{[0,1]}{\displaystyle \frac{{\sum }_{j\in N_v\left(i\right)}({\left(z_j^{\left(i\right)}\right)}^k-\frac{1}{\beta }{\left({\lambda }_j^{\left(i\right)}\right)}^k)-\frac{{\gamma }_i}{\beta }-\frac{\alpha }{\beta }}{d_{v_i}-2\frac{\alpha }{\beta }}},\hfill \end{array}$$

(12)

$${\mathit{\lambda }}_j^{k+{\displaystyle \frac{1}{2}}}={\mathit{\lambda }}_j^k+\eta \beta (T_j{\mathit{x}}^{k+1}-{\mathit{z}}_j^k),$$

(13)

$$\begin{array}{cc}\hfill {\mathit{z}}_j^{k+1}& =\underset{\mathit{z}}{argmin}{L}_{\beta }({\mathit{x}}^{k+1},\mathit{z},{\mathit{\lambda }}_j^{k+{\displaystyle \frac{1}{2}}})\hfill \\ \hfill & =\prod _{{\mathrm{P}}_{d_{c_j}}}\left(T_j{\mathit{x}}^{k+1}+{\displaystyle \frac{{\mathit{\lambda }}_j^{k+\frac{1}{2}}}{\beta }}\right),\hfill \end{array}$$

(14)

$${\mathit{\lambda }}_j^{k+1}={\mathit{\lambda }}_j^{k+{\displaystyle \frac{1}{2}}}+\beta (T_j{\mathit{x}}^{k+1}-{\mathit{z}}_j^{k+1}).$$

(15)

Algorithm 1 provides the specific process of the S-ADMM decoding algorithm. From the specific implementation of the algorithm, it can be seen that the entire decoding algorithm is still an iterative architecture, similar to the BP decoding algorithm, where data are still passed back and forth between variable nodes and check nodes for iterative operations.

Algorithm 1 Decoding Algorithm Based on S-ADMM.

1. Construct a non-negative LLR vector; $\gamma$ is based on the received vector w. 2. Construct the selection matrix; $T_j$ corresponds to each row of the check matrix. 3. Initialization, ${\lambda }^0$ is a full 0 vector and $z^0$ is a full 0.5 vector. 4. repeat 5. iter← iter+1 6.     for all $i\in \mathit{I}$ do 7.        ${\mathit{x}}^{k+1}={\prod }_{[0,1]}{\displaystyle \frac{{\sum }_{j\in N_v\left(i\right)}({\left(z_j^{\left(i\right)}\right)}^k-\frac{1}{\beta }{\left({\lambda }_j^{\left(i\right)}\right)}^k)-\frac{{\gamma }_i}{\beta }-\frac{\alpha }{\beta }}{d_{v_i}-2\frac{\alpha }{\beta }}}$ 8.     end for 9.     for all $j\in \mathit{J}$ do 10.         ${\mathit{\lambda }}_j^{k+{\displaystyle \frac{1}{2}}}={\mathit{\lambda }}_j^k+\eta \beta (T_j{\mathit{x}}^{k+1}-{\mathit{z}}_j^k)$ 11.         ${\mathit{z}}_j^{k+1}={\prod }_{{\mathrm{P}}_{d_{c_j}}}\left(T_j{\mathit{x}}^{k+1}+{\displaystyle \frac{{\mathit{\lambda }}_j^{k+\frac{1}{2}}}{\beta }}\right)$ 12.         ${\mathit{\lambda }}_j^{k+1}={\mathit{\lambda }}_j^{k+{\displaystyle \frac{1}{2}}}+\beta (T_j{\mathit{x}}^{k+1}-{\mathit{z}}_j^{k+1})$ 13.     end for 14. until ${\sum }_j{\parallel T_j{\mathit{x}}^k-{\mathit{z}}_j^k\parallel }_2^2<{ϵ}^2$ or iter $\ge I_{max}$ 15. return $\mathit{x}$

In each iteration of the ADMM algorithm, the computational complexity for updating the variable x is $O\left(n\right)$. Similarly, the update of the auxiliary variable $\mathit{z}$ involves a complexity of $O\left(m\right)$. The update of the Lagrange multiplier $\mathit{\lambda }$ also incurs a complexity of $O\left(m\right)$. When we incorporate the S-ADMM scheme, an additional step is introduced where the intermediate variable $\mathit{\lambda }$ is updated. However, the complexity of this update remains $O\left(m\right)$, which is consistent with the complexity of updating $\mathit{z}$ and $\mathit{\lambda }$ in the ADMM scheme. In

Table 1. The number of operations and the complexity of the algorithm execution.

Step	Number of Operations	Complexity
1	n	-
2	m	-
3	$d_{c_j}$	-
6	$d_{v_i}$	$O(n·D_v)$
9	$d_{c_j}$	$O(m·D_c)$
10	$d_{c_j}$	$O(m·D_c)$
11	$d_{c_j}$	$O(m·D_c)$

, we provide the number of operations and complexity for each step of the S-ADMM algorithm, where $D_v$ represents the maximum column weight in the matrix H and $D_c$ represents the maximum row weight in the matrix H. Thus, the overall complexity of the S-ADMM method is dominated by the updates of $\mathit{x}$, $\mathit{z}$, and $\mathit{\lambda }$, with the intermediate update of $\mathit{\lambda }$ not significantly affecting the total computational cost. In addition, in

Table 2. Comparison of complexity between S-ADMM algorithm and A-ADMM-$L_2$ algorithm.

Algorithm	S-ADMM	A-ADMM-${\mathit{l}}_2$	Comparison of Complexity
Update of x	$\mathit{O}(n·D_v)$	$O(n·D_v)$	Same, both have linear complexity.
Update of z	$O(m·D_c)$	$O(m·D_c)$	The projection algorithms used are all from reference [25], with the same complexity.
Update of $\lambda$	$2\times O\left(m\right)$	$1\times O\left(m\right)$	S-ADMM has an additional dual update, but it is only a linear operation and the actual cost can be ignored.
Average number of iterations	Less (Due to the two-stage balance adjustment, oscillation is suppressed.)	Many, due to the single update direction being prone to oscillation.	Symmetrical design balances the adjustment direction of dual variables and accelerates convergence.
Convergence stability	Theorem 1 guarantees strict monotonic convergence.	Relying on the convergence of the traditional ADMM may lead to local oscillations.	S-ADMM suppresses oscillations and reduces ineffective iterations.

, we list the updates of variables, average iteration times, and complexity of shrinkage properties for the S-ADMM algorithm and A-ADMM-$L_2$ algorithm.

In the following analysis, we turn our attention to comparing the average number of iterations required for the algorithm to converge to the correct codeword, providing insight into the efficiency of the S-ADMM scheme in practical applications.

4. Algorithm and Contraction Analysis

4.1. Variational Reformulation of Equation (10)

The Lagrangian function of the model (10) is as follows:

$$L(\mathit{x},\mathit{z},\mathit{\lambda })={\gamma }^T\mathit{x}-\alpha {(\mathit{x}-0.5)}^2+\sum _j{\mathit{\lambda }}_j^T\left(T_j\mathit{x}-{\mathit{z}}_j\right)+{\displaystyle \frac{\beta }{2}}\sum _j{\parallel T_j\mathit{x}-{\mathit{z}}_j\parallel }_2^2.$$

(16)

To solve problem (10), we need to find a solution $y^{\star }=({\mathit{x}}^{\star },{\mathit{z}}^{\star },{\mathit{\lambda }}^{\star })$ that [26]

$$\varphi \left(u\right)-\varphi \left(u^{\star }\right)+{(y-y^{\star })}^{T}F\left(y^{\star }\right)\ge 0.$$

(17)

Suppose

$${\varphi }_1\left(x\right)={\gamma }^T\mathit{x}-\alpha {(\mathit{x}-0.5)}^2,{\varphi }_2\left(\mathit{z}\right)=0·\mathit{z},\varphi \left(u\right)={\varphi }_1\left(\mathit{x}\right)+{\varphi }_2\left(\mathit{z}\right),$$

where

$$u=\left(\begin{array}{c}\mathit{x}\\ \mathit{z}\end{array}\right),y=\left(\begin{array}{c}\mathit{x}\\ \mathit{z}\\ \mathit{\lambda }\end{array}\right),F\left(y\right)=\left(\begin{array}{c}\sum _j{T}_j^T{\mathit{\lambda }}_j\\ -\sum _j{\mathit{\lambda }}_j\\ -(T_j\mathit{x}-{\mathit{z}}_j)\end{array}\right).$$

(18)

Theorem 1.

If ${\mathsf{\Omega }}^{\star }$ represent the solution set of the optimization problem $\mathrm{V}(\mathsf{\Omega },F,\varphi )$, then

$${\mathsf{\Omega }}^{*}=\bigcap _{y\in \mathsf{\Omega }}\left\{\tilde{y}\in \mathsf{\Omega }:\varphi \left(u\right)-\varphi \left(\tilde{u}\right)+{(y-\tilde{y})}^{T}F\left(y\right)\ge 0\right\}.$$

(19)

Its proof can be seen in [27]. Theorem 1 states that if $\tilde{y}\in \mathsf{\Omega }$ satisfies

$$\underset{y\in \mathcal{D}}{sup}\{\varphi \left(\tilde{u}\right)-\varphi \left(u\right)+{(\tilde{y}-y)}^{T}F\left(y\right)\}\le ϵ,$$

(20)

with $\mathcal{D}\in \mathsf{\Omega }$, then $\tilde{y}$ is an approximate solution to the set $\mathrm{V}(\mathsf{\Omega },F,\varphi )$.

4.2. Some Notation

For the S-ADMM, when solving for variable ${\mathit{x}}^{k+1}$, it is related to ${\mathit{z}}^k$ and ${\mathit{\lambda }}^k$ in (12), so we define a set $s^k$ such that $s^k=({\mathit{z}}^k,{\mathit{\lambda }}^k)$,

$$S^{\star }:=\left\{s^{\star }=({\mathit{z}}^{\star },{\mathit{\lambda }}^{\star })|y^{\star }=({\mathit{x}}^{\star },{\mathit{z}}^{\star },{\mathit{\lambda }}^{\star })\right\}.$$

(21)

For convenience, we define the following matrices.

$$M=\left(\begin{array}{cc}{I}_{d_{c_j}}& 0\\ -\beta I_{d_{c_j}}& (\eta +1)I_{d_{c_j}}\end{array}\right),$$

(22)

and

$$Q_O=\left(\begin{array}{cc}0& 0\\ \beta I_{d_{c_j}}& -\eta I_{d_{c_j}}\\ -I_{d_{c_j}}& {\displaystyle \frac{1}{\beta }}{I}_{d_{c_j}}\end{array}\right),$$

(23)

We further define

$$Q=\left(\begin{array}{cc}\beta I_{d_{c_j}}& -\eta I_{d_{c_j}}\\ -I_{d_{c_j}}& {\displaystyle \frac{1}{\beta }}{I}_{d_{c_j}}\end{array}\right),$$

(24)

$$A={\displaystyle \frac{1}{\eta +1}}\left(\begin{array}{cc}\beta I_{d_{c_j}}& -\eta I_{d_{c_j}}\\ -\eta I_{d_{c_j}}& {\displaystyle \frac{1}{\beta }}{I}_{d_{c_j}}\end{array}\right).$$

(25)

Notice that

$$A={\displaystyle \frac{1}{\eta +1}}{\left(\begin{array}{cc}\sqrt{\beta }{I}_{d_{c_j}}& 0\\ 0& \sqrt{{\displaystyle \frac{1}{\beta }}}{I}_{d_{c_j}}\end{array}\right)}^T\left(\begin{array}{cc}{I}_{d_{c_j}}& -\eta I_{d_{c_j}}\\ -\eta I_{d_{c_j}}& I_{d_{c_j}}\end{array}\right)\left(\begin{array}{cc}\sqrt{\beta }{I}_{d_{c_j}}& 0\\ 0& \sqrt{{\displaystyle \frac{1}{\beta }}}{I}_{d_{c_j}}\end{array}\right),$$

(26)

and the matrix

$$\left(\begin{array}{cc}1& -\eta \\ -\eta & 1\end{array}\right)$$

is positive definite for $\eta \in (-1,1)$ and positive semidefinite for $\eta =1$.

The convergence rate analysis of the iterative process defined in Equation (11) relies heavily on this contraction property. By examining the contraction behavior of the sequence, we can establish the conditions under which the sequence $s^k$ converges to the optimal solution and derive the associated convergence rate. This contraction analysis for Equation (11) is crucial because it provides a rigorous mathematical framework to quantify how quickly the iterates $s^k$ approach the optimal set $S^{*}$. More specifically, we investigate the rate of decay of the distance between successive iterates and the optimal solution set, ensuring that each step of the S-ADMM method brings the sequence closer to convergence. This analysis will form the foundation for deriving the convergence rate, as it characterizes the speed at which the algorithm converges under appropriate conditions. We focus here solely on the contraction properties of Equation (11), as these properties directly influence the overall efficiency and convergence speed of the S-ADMM scheme.

4.3. Contraction Analysis

In this section, we establish the contraction property of the sequence $s^k$, generated by (11), with respect to the set $S^{\star }$.

Here we define a set ${\tilde{y}}^k$ as

$${\tilde{y}}^k=\left(\begin{array}{c}{\tilde{\mathit{x}}}^k\\ {\tilde{\mathit{z}}}_j^k\\ {\tilde{\mathit{\lambda }}}_j^k\end{array}\right)=\left(\begin{array}{c}{\mathit{x}}^{k+1}\\ {\mathit{z}}_j^{k+1}\\ {\mathit{\lambda }}_j^k+\beta (T_j{\mathit{x}}^{k+1}-z_j^k)\end{array}\right),$$

(27)

where $({\mathit{x}}^{k+1},{\mathit{z}}_j^{k+1})$ is generated by (11). Note that with the notation of ${\tilde{y}}^k$, we immediately have

$${\mathit{x}}^{k+1}={\tilde{\mathit{x}}}^k,z_j^{k+1}={\tilde{\mathit{z}}}_j^k,{\mathit{\lambda }}_j^{k+{\displaystyle \frac{1}{2}}}={\mathit{\lambda }}_j^k-\eta ({\mathit{\lambda }}_j^k-{\tilde{\mathit{\lambda }}}_j^k).$$

(28)

Then, based on (11) and (28), we immediately get

$$\begin{array}{cc}\hfill {\mathit{\lambda }}_j^{k+1}& ={\mathit{\lambda }}_j^{k+{\displaystyle \frac{1}{2}}}+\beta (T_j{\tilde{\mathit{x}}}^k-{\tilde{\mathit{z}}}_j^k)\hfill \\ \hfill & ={\mathit{\lambda }}_j^k-\eta ({\mathit{\lambda }}_j^k-{\tilde{\mathit{\lambda }}}_j^k)+[\beta (T_j{\tilde{\mathit{x}}}^k-{\mathit{z}}_j^k)+\beta ({\mathit{z}}_j^k-{\tilde{\mathit{z}}}_j^k)]\hfill \\ \hfill & ={\mathit{\lambda }}_j^k-\eta ({\mathit{\lambda }}_j^k-{\tilde{\mathit{\lambda }}}_j^k)+[(-{\mathit{\lambda }}_j^k+{\tilde{\mathit{\lambda }}}_j^k)+\beta ({\mathit{z}}_j^k-{\tilde{\mathit{z}}}_j^k)]\hfill \\ \hfill & ={\mathit{\lambda }}_j^k-(\eta +1)({\mathit{\lambda }}_j^k-{\tilde{\mathit{\lambda }}}_j^k)+\beta ({\mathit{z}}_j^k-{\tilde{\mathit{z}}}_j^k).\hfill \end{array}$$

(29)

Furthermore, together with ${\mathit{z}}^{k+1}={\tilde{\mathit{z}}}^k$, we have the relationship

$$\left(\begin{array}{c}{\mathit{z}}_j^{k+1}\\ {\mathit{\lambda }}_j^{k+1}\end{array}\right)=\left(\begin{array}{c}{\mathit{z}}_j^k\\ {\mathit{\lambda }}_j^k\end{array}\right)-\left(\begin{array}{cc}{I}_{d_{c_j}}& 0\\ -\beta I_{d_{c_j}}& (\eta +1)I_{d_{c_j}}\end{array}\right)\left(\begin{array}{c}{\mathit{z}}_j^k-{\tilde{\mathit{z}}}_j^k\\ {\mathit{\lambda }}_j^k-{\tilde{\mathit{\lambda }}}_j^k\end{array}\right),$$

(30)

which can be rewritten compactly as

$$s^{k+1}=s^k-M(s^k-{\tilde{s}}^k).$$

(31)

Next, we will explain that the algorithm (11) is convergent.

Lemma 1.

For given $s^k$, let $y^{k+1}$ be generated by the S-ADMM scheme. Then,

$$\varphi \left(u\right)-\varphi \left({\tilde{u}}^k\right)+{(y-{\tilde{y}}^k)}^{T}F\left({\tilde{y}}^k\right)\ge {(s-{\tilde{s}}^k)}^{T}Q(s^k-{\tilde{s}}^k),$$

(32)

and ${\tilde{y}}^k$ is a solution of $\mathrm{V}(\mathsf{\Omega },F,\varphi )$ if $\parallel s^k-s^{k+1}{\parallel }_A^2=0$.

Proof. 

Since ${\mathit{x}}^{k+1}={\tilde{\mathit{x}}}^k$, for the update of $\mathit{x}$ in Equation (11), we have

$$\varphi \left(\mathit{x}\right)-\varphi \left({\tilde{\mathit{x}}}^k\right)+{(\mathit{x}-{\tilde{\mathit{x}}}^k)}^T\left\{\sum _j{T}_j^T[{\mathit{\lambda }}_j^k+\beta (T_j{\tilde{\mathit{x}}}^k-{\mathit{z}}_j^k)]\right\}\ge 0.$$

(33)

According to the definition (27), we have

$${\tilde{\mathit{\lambda }}}_j^k={\mathit{\lambda }}_j^k+\beta (T_j{\mathit{x}}^{k+1}-{\mathit{z}}_j^k).$$

(34)

Using (34), the inequality (33) will become

$$\varphi \left(\mathit{x}\right)-\varphi \left({\tilde{\mathit{x}}}^k\right)+{(\mathit{x}-{\tilde{\mathit{x}}}^k)}^T(\sum _j{T}_j^T{\tilde{\mathit{\lambda }}}_j^k)\ge 0.$$

(35)

Similarly, for the update of $\mathit{z}$ in Equation (11), we have

$${(\mathit{z}-{\tilde{\mathit{z}}}^k)}^T\left(-\sum _j[{\mathit{\lambda }}_j^k-\eta ({\mathit{\lambda }}_j^k-{\tilde{\mathit{\lambda }}}_j^k)]-\beta \sum _j(T_j{\tilde{\mathit{x}}}^k-{\tilde{\mathit{z}}}^k)\right)\ge 0.$$

(36)

Reusing (34),we have

$$\begin{array}{c}\hfill {\mathit{\lambda }}_j^k-\eta ({\mathit{\lambda }}_j^k-{\tilde{\mathit{\lambda }}}_j^k)+\beta (T_j{\tilde{\mathit{x}}}^k-{\tilde{\mathit{z}}}^k)\\ \hfill ={\mathit{\lambda }}_j^k+\eta ({\tilde{\mathit{\lambda }}}_j^k-{\mathit{\lambda }}_j^k)-\beta ({\tilde{\mathit{z}}}_j^k-{\mathit{z}}_j^k)+({\tilde{\mathit{\lambda }}}_j^k-{\mathit{\lambda }}_j^k)\\ \hfill ={\tilde{\mathit{\lambda }}}_j^k+\eta ({\tilde{\mathit{\lambda }}}_j^k-{\mathit{\lambda }}_j^k)-\beta ({\tilde{\mathit{z}}}_j^k-{\mathit{z}}_j^k).\end{array}$$

(37)

Consequently, it follows from (36) that

$${(\mathit{z}-{\tilde{\mathit{z}}}^k)}^T\left\{\sum _j[-{\tilde{\mathit{\lambda }}}_j^k-\eta ({\tilde{\mathit{\lambda }}}_j^k-{\mathit{\lambda }}_j^k)+\beta ({\tilde{\mathit{z}}}_j^k-{\mathit{z}}_j^k)]\right\}\ge 0.$$

(38)

Meanwhile,

$$(T_j{\tilde{\mathit{x}}}^k-{\tilde{\mathit{z}}}_j^k)+({\tilde{\mathit{z}}}_j^k-{\mathit{z}}_j^k)-{\displaystyle \frac{1}{\beta }}({\tilde{\mathit{\lambda }}}^k-{\mathit{\lambda }}^k)=0.$$

(39)

Combining (35), (38), and (39), we get

$$\varphi \left(u\right)-\varphi \left({\tilde{u}}^k\right)+{\left(\begin{array}{c}\mathit{x}-{\tilde{\mathit{x}}}^k\\ \mathit{z}-{\tilde{\mathit{z}}}^k\\ \mathit{\lambda }-{\tilde{\mathit{\lambda }}}^k\end{array}\right)}^T\left(\left(\begin{array}{c}\sum _j{T}_j^T{\tilde{\mathit{\lambda }}}_j^k\\ -\sum _j{\tilde{\mathit{\lambda }}}_j^k\\ -(T_j{\tilde{\mathit{x}}}^k-{\tilde{z}}_j^k)\end{array}\right)+\left(\begin{array}{c}0\\ \beta ({\tilde{\mathit{z}}}^k-{\mathit{z}}^k)-\eta ({\tilde{\mathit{\lambda }}}^k-{\mathit{\lambda }}^k)\\ -({\tilde{\mathit{z}}}^k-{\mathit{z}}^k)+{\displaystyle \frac{1}{\beta }}({\tilde{\mathit{\lambda }}}^k-{\mathit{\lambda }}^k)\end{array}\right)\right)\ge 0.$$

(40)

Equation (32) represents only one form of the above inequality. At last, we get

$$\varphi \left(u\right)-\varphi \left({\tilde{u}}^k\right)+{(y-{\tilde{y}}^k)}^{T}F\left({\tilde{y}}^k\right)\ge {(s-{\tilde{s}}^k)}^{T}Q(s^k-{\tilde{s}}^k).$$

Based on this, from $Q=AM$ and ${\mathit{s}}^{k+1}={\mathit{s}}^k-M({\mathit{s}}^k-{\tilde{\mathit{s}}}^k)$, we obtain

$${(s-{\tilde{s}}^k)}^{T}Q(s^k-{\tilde{s}}^k)={(s-{\tilde{s}}^k)}^{T}A(s^k-s^{k+1}).$$

(41)

Apply the above equation to (32):

$$\varphi \left(u\right)-\varphi \left({\tilde{u}}^k\right)+{(y-{\tilde{y}}^k)}^{T}F\left({\tilde{y}}^k\right)\ge {(s-{\tilde{s}}^k)}^{T}A(s^k-s^{k+1}).$$

(42)

Note that A is a symmetric positive definite matrix. From (32) and $\parallel s^k-s^{k+1}{\parallel }_A^2=0$, it can be inferred that $A(s^k-s^{k+1})=0$, and thus $\varphi \left(u\right)-\varphi \left(\tilde{u}\right)+{(y-\tilde{y})}^{T}F\left({\tilde{y}}^k\right)\ge 0$. According to (19), ${\tilde{y}}^k$ is the solution. The proof is completed. □

5. Simulation Result

5.1. Parameter Selection

In this section, we selected several different codes for experimentation and compared the reliability and complexity of the designed S-ADMM decoding algorithm with the ADMM-$L_2$ algorithm and A-ADMM-$L_2$ algorithm. Among them, the A-ADMM-$L_2$ represents the optimization-based ADMM-$L_2$ algorithm, which uses the differential evolution (DE) algorithm. They are, respectively, referred to as ${\mathcal{C}}_1$ (WIMAX (576,288), rate ${\displaystyle \frac{1}{2}}$), ${\mathcal{C}}_2$ (802.11n (648,216), rate ${\displaystyle \frac{3}{4}}$), ${\mathcal{C}}_3$((1152,288), rate ${\displaystyle \frac{3}{4}}$), and three types of 5G LDPC codes with the information length 320 but different rates. In the 5G standard, the performance requirements for the design of 5G LDPC codes are higher. In

Table 3. Six types of LDPC codes.

Code	Symbol	Rate	Column Redistribution
(576,288)	${\mathcal{C}}_1$	${\displaystyle \frac{1}{2}}$	{2,3,6}
(648,216)	${\mathcal{C}}_2$	${\displaystyle \frac{3}{4}}$	{2,3,4,6,8}
(1,152,288)	${\mathcal{C}}_3$	${\displaystyle \frac{3}{4}}$	{2,3,6}
320	${\mathcal{C}}_4$	${\displaystyle \frac{1}{2}}$	{1,2,3,4,5,7,8}
320	${\mathcal{C}}_5$	${\displaystyle \frac{2}{5}}$	{1,2,3,4,5,7,8,10,11}
320	${\mathcal{C}}_6$	${\displaystyle \frac{2}{3}}$	{1,2,3,4,5}

, we list the parameter information for six types of codes.

Since the codes are all irregular codes, we assign a different parameter to each variable node when doing the simulation, i.e., parameter $\alpha$. For code ${\mathcal{C}}_1$, the parameters for ADMM-$L_2$ are directly selected from the parameters provided in reference [20]. In this paper, $\mu =4.0$ and $\alpha =2.2$. Here, we provide the FER corresponding to different parameters of ${\mathcal{C}}_1$, ${\mathcal{C}}_2$, and ${\mathcal{C}}_4$ codes, and similar methods are also used for other codes. The SNR of code ${\mathcal{C}}_1$ is 2.0 dB, the SNR of code ${\mathcal{C}}_2$ is 2.8 dB, and the SNR of code ${\mathcal{C}}_4$ is 2.8 dB. The FER performances of the three codes are evaluated over the additive white Gaussian noise channel (AWGNC) using binary phase-shift keying (BPSK) modulation. The corresponding results for each code are depicted in

Table 4. ${\mathcal{C}}_1$ code improves the parameter values of the penalty function and the S-ADMM decoding algorithm.

Decoding Algorithm	A-ADMM-${\mathit{L}}_2$	S-ADMM
${\alpha }_1$	5.11368	0.00001
${\alpha }_2$	1.00586	1.90024
${\alpha }_3$	0.30138	5.42336
$\beta$	3.29866	4.15607

,

Table 5. ${\mathcal{C}}_2$ code improves the parameter values of the penalty function and the S-ADMM decoding algorithm.

Decoding Algorithm	A-ADMM-${\mathit{L}}_2$	S-ADMM
${\alpha }_1$	0.12794	0.06876
${\alpha }_2$	0.76466	1.13234
${\alpha }_3$	1.90017	1.60122
${\alpha }_4$	2.94728	5.29668
${\alpha }_5$	6.16048	6.44272
$\beta$	3.60323	3.17501

and

Table 6. ${\mathcal{C}}_4$ code improves the parameter values of the penalty function and the S-ADMM decoding algorithm.

Decoding Algorithm	A-ADMM-${\mathit{L}}_2$	S-ADMM
${\alpha }_1$	0.00001	0.00290
${\alpha }_2$	0.00001	0.00001
${\alpha }_3$	1.45949	1.53340
${\alpha }_4$	0.00001	4.09405
${\alpha }_5$	2.56477	2.17151
${\alpha }_6$	6.49895	3.05173
${\alpha }_7$	10.14689	7.49879
$\beta$	9.48708	5.93976

, respectively. These tables illustrate the impact of different values of parameters on the error performance, providing a comparative analysis of the effectiveness of each code in mitigating frame errors under the given channel conditions.

In Figure 1, the SNR and penalty parameters are fixed, and the FER of the parameters at different values is plotted. At least 200 errors were collected for each data point at three fixed SNRs (SNR = 2 dB, 2.2 dB, 2.4 dB). The maximum number of iterations in Figure 1 is set to 1000 times, and it can be seen from the figure that when the value is less than −0.3, the FER curve of the S-ADMM decoding algorithm decreases with the increase in the value, and when the parameter value is between −0.3 and 0.4, the FER reaches a lower peak, and when the value is greater than 0.3, the FER curve has a tendency to rise and increase after that. It can be found that when the parameter value is between −0.3 and 0.2, the S-ADMM decoder has better error correction performance. So, we choose a relatively stable value of −0.15. Similarly, for the ${\mathcal{C}}_2$ code in Figure 2, we find a stable value of −0.3 and a similar one for ${\mathcal{C}}_4$ in Figure 3. In the following performance analysis, we will conduct experiments using the analyzed optimal parameters.

5.2. Performance Analysis

Figure 4 compares the FER performance of several decoding algorithms for different codes. From Figure 4a, it can be seen that for code ${\mathcal{C}}_1$, compared to the ordinary ADMM-$L_2$ and A-ADMM-$L_2$ decoding algorithms, the S-ADMM decoding algorithm can achieve a decoding performance improvement of nearly 0.1 dB. For example, at a frame error rate of ${10}^{-3}$, the SNR corresponding to the ADMM-$L_2$ decoding algorithms is approximately 3 dB. The SNR corresponding to the A-ADMM-$L_2$ decoding algorithms is approximately 2.5 dB. The corresponding SNR of the S-ADMM decoding algorithm is about 2.4 dB. Similarly, from Figure 4b, it can be seen that for code ${\mathcal{C}}_2$, compared to other decoding algorithms, the S-ADMM decoding algorithm still has better decoding performance, which is also true for the high-rate ${\mathcal{C}}_3$ code in Figure 4c. On the other hand, for the 5G LDPC codes in Figure 4d, compared with S-ADMM and BP decoding algorithms, under high SNR conditions, it can be clearly seen that the BP algorithm has the problem of error platform, while the S-ADMM decoding algorithm can still maintain good decoding performance. At a frame error rate of ${10}^{-2}$, the S-ADMM decoding algorithm can achieve a decoding performance improvement of nearly 1.5 dB more than BP.

5.3. Average Number of Decoding Iterations

Figure 5 illustrates the average number of decoding iterations required by the ADMM-$L_2$, the A-ADMM-$L_2$, and the S-ADMM decoding algorithms for different codes. Specifically, when the SNR is 2.8 dB, the ADMM-$L_2$ requires an average of 11.8 and 22.6 iterations, respectively, for codes ${\mathcal{C}}_1$ in Figure 5a and ${\mathcal{C}}_2$ in Figure 5b. For the A-ADMM-$L_2$, the average number of iterations decreases to 10.4 and 21.4, respectively. However, the S-ADMM decoding algorithm achieves even faster convergence, with average iteration counts of 9.2 and 18.2 for the same codes. This represents a reduction of approximately $22.1\%$ and $19.5\%$, respectively, in the average number of decoding iterations compared to the ADMM-$L_2$. For high-rate ${\mathcal{C}}_3$, the S-ADMM algorithm also reduces the average number of decoding iterations in Figure 5c. Figure 5d further demonstrates the comparative performance of the S-ADMM and A-ADMM-$L_2$ decoding algorithms for 5G LDPC codes. It is clear from the results that the S-ADMM decoding algorithm significantly accelerates convergence relative to A-ADMM-$L_2$ decoding, further emphasizing its efficiency in iterative decoding scenarios. These findings highlight the superior performance of the S-ADMM decoding approach, not only in terms of decoding speed but also in its ability to reduce computational complexity.

6. Conclusions

In this paper, we addressed the issue of slow convergence speed in the ADMM when applied to LP models with penalty functions. Specifically, we proposed an enhanced ADMM decoding algorithm, where we introduced an intermediate update of the multipliers within the ADMM iteration scheme to accelerate convergence and improve performance.

Based on the proof framework of variational inequalities, we studied the contraction properties of algorithms, analyzed the complexity and optimal parameter values of algorithms, and verified the feasibility of the algorithms. Additionally, we presented a brief performance analysis of LDPC codes over the AWGNC, highlighting the advantages of our approach in comparison to existing methods.

Furthermore, we described the detailed algorithmic process for implementing the S-ADMM algorithm, outlining its key steps and computational considerations. Numerical results demonstrated that the S-ADMM algorithm significantly outperforms traditional ADMM penalized decoders. These findings suggested that our approach offers a promising solution for improving the efficiency of ADMM decoding algorithms, particularly in the context of LP models with penalty functions.

The symmetric ADMM algorithm presented in this paper provides an efficient and stable new method for LDPC code decoding, but its practical deployment still requires continuous breakthroughs in theoretical completeness, hardware optimization, and cross technology integration. Future research can focus on the full chain innovation of theory algorithm system scenario, promoting the deep application of the ADMM framework in next-generation communication systems.