---
title: Multi-Edge Type QC-LDPC Graph
url: https://www.emergentmind.com/topics/multi-edge-type-qc-ldpc-graph
type: topic
---

# Multi-Edge Type QC-LDPC Graph

A multi-edge type QC-LDPC graph is the Tanner graph associated with a quasi-cyclic low-density parity-check code whose base description permits either multiple parallel edges between a check node and a variable node, or multiple edge classes whose incidences are fixed before lifting. In the quasi-cyclic realization, the parity-check matrix is assembled from circulant permutation matrices (CPMs) and zero blocks; in the multiple-edge case, a single block position may contain a sum of several CPMs, so the lifted object is naturally a structured bipartite multigraph rather than an ordinary simple graph [1210.3906]. In closely related multi-edge-type (MET) ensemble theory, the same phrase can instead denote a Tanner graph in which “Each node is characterized by the number of connections (sockets) to edges of each edge-type,” and that usage is broader than explicit QC lifting; one paper on MET-LDPC design for CV-QKD states directly that no explicit QC structure is used [1812.05867]. This suggests that the subject sits at the intersection of protograph lifting, graph-cycle control, ensemble threshold analysis, and hardware-oriented structured decoding.

## 1. Terminological scope and defining models

In the protograph-based QC-LDPC literature, the starting point is a block parity-check matrix
\[
H=\left[\begin{array}{cccc}
H_{00}&H_{01}&\cdots &H_{0(n-1)}\\
H_{10}&H_{11}&\cdots &H_{1(n-1)}\\
\vdots &\vdots &\ddots &\vdots \\
H_{(m-1)0}&H_{(m-1)1}&\cdots &H_{(m-1)(n-1)}
\end{array}\right],
\]
where each block is either zero or circulant. A protograph is encoded by the incidence matrix
\[
P=[p_{j,l}], \qquad p_{j,l}=\mathrm{wt}(H_{j,l}),
\]
so \(p_{j,l}\ge 2\) means that the protograph contains multiple edges between check node \(j\) and variable node \(l\) [1210.3906].

A more explicit CPM-based formulation writes each nonzero block as
\[
H_{ij}=I^{p^{1}_{ij}}+I^{p^{2}_{ij}}+\cdots+I^{p^{l}_{ij}},
\]
with distinct shifts \(p^r_{ij}\in\{0,1,\dots,N-1\}\). If \(L=\max_{i,j}\{l\}\), the code is called an \(m\)-level Type-\(L\) CPM-QC-LDPC code; \(L=1\) yields a single-edge protograph code, while \(L>1\) yields a multiple-edge protograph code [1701.06218].

MET ensemble theory uses a different but overlapping language. There, the graph is specified by node classes and edge types rather than only by multiplicities in a base matrix. With \(n_e\) edge types, a variable or check node is described by a degree vector \(\mathbf{d}=(d_1,\ldots,d_{n_e})\), and the ensemble is encoded by multivariable degree polynomials such as
\[
\nu(\mathbf{r,x}) = \sum \nu_{\mathbf{bd}} \,\mathbf{r^b}\mathbf{x^d},
\qquad
\mu(\mathbf{x}) = \sum \mu_{\mathbf{d}} \,\mathbf{x^d}.
\]
In this vocabulary, a protograph is a special case in which no two edges incident to the same VN or CN share the same type [1812.05867; 1112.3730].

## 2. Matrix, exponent, and edge-type representations

The algebraic representation of a multi-edge type QC-LDPC graph is usually mediated by an exponent matrix. In the CPM-QC setting, the parity-check matrix is uniquely represented by
\[
P=\left[\begin{array}{cccc}
\vec{P}_{00}&\vec{P}_{01}&\cdots &\vec{P}_{0(n-1)}\\
\vec{P}_{10}&\vec{P}_{11}&\cdots &\vec{P}_{1(n-1)}\\
\vdots &\vdots &\ddots &\vdots \\
\vec{P}_{(m-1)0}&\vec{P}_{(m-1)1}&\cdots &\vec{P}_{(m-1)(n-1)}
\end{array}\right],
\]
where
\[
\vec{P}_{ij}=\big(p^1_{ij},p^2_{ij},\dots,p^l_{ij}\big)
\]
for a nonzero block and \(\vec{P}_{ij}=(-\infty)\) for a zero block [1701.06218].

An equivalent base-matrix/exponent-matrix description uses an integer base matrix \(W\) and a set-valued exponent matrix \(B\). If \(W_{ij}=l>0\), then
\[
B_{ij}=\{b^{1}_{ij},b^{2}_{ij},\ldots,b^{l}_{ij}\},
\qquad
b^{r}_{ij}\in\{0,1,\ldots,N-1\},
\]
with distinct entries; if \(W_{ij}=0\), then \(B_{ij}=\emptyset\). The lifted QC block is then
\[
H_{ij}=I^{b^{1}_{ij}}+I^{b^{2}_{ij}}+\cdots+I^{b^{l}_{ij}}.
\]
This formulation makes the multigraph interpretation explicit: a single base entry may correspond to several parallel circulant edges [2107.07466].

For ordinary QC-LDPC codes, the exponent matrix may also be scalar-valued:
\[
E(H)=
\left[\begin{array}{cccc}
a_{11} & a_{12} & \cdots & a_{1n} \\
a_{21} & a_{22} & \cdots & a_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
a_{m1} & a_{m2} & \cdots & a_{mn}
\end{array}\right],
\]
with \(a_{ij}\in\{-1,0,1,\dots,L-1\}\), where \(-1\) denotes a zero block and nonnegative entries denote CPM shifts. The corresponding protograph mother matrix \(M(H)\) is obtained by replacing \(-1\) by \(0\) and other entries by \(1\) [2401.14749].

In MET ensemble analysis, the same graph is described in edge perspective by normalized derivatives such as
\[
\mathbf{\lambda(r,x)} =
\left(
\frac{\nu_{x_1}(\mathbf{r,x})}{\nu_{x_1}(\mathbbm{1,1})},
\ldots,
\frac{\nu_{x_{n_e}}(\mathbf{r,x})}{\nu_{x_{n_e}}(\mathbbm{1,1})}
\right),
\qquad
\mathbf{\rho(x)} =
\left(
\frac{\mu_{x_1}(\mathbf{x})}{\mu_{x_1}(\mathbbm{1})},
\ldots,
\frac{\mu_{x_{n_e}}(\mathbf{x})}{\mu_{x_{n_e}}(\mathbbm{1})}
\right),
\]
subject to the edge-consistency constraints
\[
\nu_{x_i}(\mathbbm{1,1}) = \mu_{x_i}(\mathbbm{1}),
\qquad i=1,\ldots,n_e.
\]
The graph can therefore be read either as a lifted block-circulant multigraph or as a socket-typed ensemble, depending on the design layer under study [1812.05867].

## 3. Cycle structure, girth, and inevitable subgraphs

The central structural problem for multi-edge type QC-LDPC graphs is the control of short cycles. In exponent form, the standard multiple-edge QC-LDPC cycle condition is
\[
\sum_{i=0}^{k-1}\left(P^{r_i}_{m_i n_i}-P^{r'_i}_{m_i n_{i+1}}\right)\equiv 0 \pmod N,
\]
with \(n_k=n_0\), where \(r_i,r'_i\) select specific CPMs inside the multi-edge blocks [1701.06218]. An equivalent formulation used elsewhere is
\[
\sum_{i=0}^{k-1} \left( b^{r_i}_{m_i n_i} - b^{r'_i}_{m_i n_{i+1}} \right) \equiv 0 \pmod N,
\qquad n_k=n_0,
\]
which is the basis for difference-matrix cycle screening [2107.07466].

Some cycles are unavoidable regardless of lift size and shift assignment. In the graph-theoretic treatment of multiple-edge protographs, these are induced by specific irreducible inevitable-cycle-inducing subgraphs. The complete classification is given by theta graphs \(T(x_1,x_2,x_3)\) and dumbbell graphs \(D(z_1,z_2;y)\), whose simple abelian-forcing tailless non-reversing closed walk lengths are
\[
\ell(T)=2(x_1+x_2+x_3),
\qquad
\ell(D)=2(z_1+z_2)+4y.
\]
Avoiding \(\mathcal{P}_6,\mathcal{P}_8,\mathcal{P}_{10}\) is necessary for girth at least \(12\), and avoiding the \(\mathcal{P}_{12}\) patterns as well is needed for girth at least \(14\) [1210.3906].

A separate algebraic route analyzes girth through the matrix sequence
\[
B_t(H)=\bigl(HH^T\bigr)^{\lfloor t/2\rfloor}H^{(t\bmod 2)},
\qquad t\ge 1,
\]
and the associated square matrix \(C_H\) extracted from \(HH^T\). For protograph-based QC-LDPC matrices, the criterion
\[
(H)>2l \Longleftrightarrow B_t(H)\triangle B_{t-2}(H)=0,\qquad t=2,3,\dots,l,
\]
yields necessary and sufficient conditions for girths between \(6\) and \(12\); for girth larger than \(12\), multi-step lifting or pre-lifting is used to break the standard circulant limitation [2108.01637].

Difference matrices \(D\) and \(DD\) provide a third framework. In this setting, \(D\) records pairwise differences inside exponent tuples, and \(DD\) records differences of those differences. These matrices yield necessary and sufficient conditions for single-edge QC-LDPC codes with girth \(6\), \(10\), and \(12\), and they also produce, for the first time in that work, a lower bound on the lifting degree for regular and irregular multiple-edge QC-LDPC codes with girth \(6\). The same approach reduces the conditions for considering \(6\)-cycles in the multiple-edge setting from seven states to five states [1709.00825].

## 4. Construction methodologies

One major design line uses combinatorial designs to generate the base multigraph. Perfect difference families (PDFs) and quasi-perfect difference families (QPDFs) produce \(1\)-level Type-\(k\) CPM-QC-LDPC codes via Construction 1. If the underlying design is a PDF and \(N\ge v\), or a QPDF with \(N=v-1,v+1,v+2,\dots\), the resulting code has girth at least \(6\). Construction 2 then applies the column dispersion technique (CDT), which redistributes the same CPM shifts vertically across several levels; if \(P^*\) is obtained from \(P\) by \(m\)-CDT, then the new code satisfies
\[
L^*\le L, \qquad \mathbf g^*\ge \mathbf g, \qquad d_{\min}^*\ge d_{\min}.
\]
A notable empirical conclusion is that for short to moderate lengths, “the higher the number of short simple cycles is, the better (sharper) the waterfall is,” although too many short cycles can worsen the error floor [1701.06218].

A second construction line uses trades from super-simple directed designs. The trade-based method forms a sparse matrix \(C\) from pair–block incidences, then uses row-shifted copies to build a base matrix \(W\) for a multiple-edge protograph. The key structural condition is the absence of any all-one \(2\times2\) submatrix in the concatenated seed matrix \(P=[C_1|C_2|\cdots|C_r]\). A theorem identifies cyclical trades \(CT_s\) with Tanner-graph \(2s\)-cycles, so the smallest cyclical trade volume controls girth directly. The same structure removes the \(\mathcal Z\) term from the girth-\(6\) lifting-degree bound and the \(\mathcal Z'\) term from the girth-\(8\) bound, and it reduces exponent-matrix search dramatically; one example in the paper states that a generic \((3,24)\)-regular QC-LDPC design may require search space \(N^{120}\), whereas the trade-based method reduces it to \(N^{24}\) [2107.07466].

A third line uses explicit avoidance of inevitable-cycle-inducing subgraphs. For regular multiple-edge protographs of girth at least \(12\) or \(14\), balanced ternary designs, Steiner systems, configurations, difference triangle sets, and pairwise balanced designs are used to construct incidence matrices free of the required \(\mathcal{P}_{2i}\) patterns. The same work adapts a greedy shift-assignment algorithm to the multi-edge setting by choosing column shifts as
\[
s_{l,i}=r_i m_l,
\]
with \(r_i\) from \(\{0,1,3,7,12,20,\dots\}\), and then selecting the smallest lift \(z\) that keeps all relevant tailless non-reversing closed walks of lengths \(4,6,\dots,g-2\) at nonzero shift sum modulo \(z\) [1210.3906].

Progressive edge-growth methods provide a more local, graph-construction view. The metric-constrained PEG framework unifies PEG and ACE-constrained PEG through
\[
f_{x, y}^{(G)} =
\begin{cases}
d_{x,y}^{(G)},\\
(d_{x,y}^{(G)}, a_{x,y}^{(G)}),
\end{cases}
\]
and then extends to multi-edge lookahead through the multi-edge local girth and the edge-trials parameter \(r\). For a candidate check node \(c_i\), the \(r\)-edge local girth
\[
g_{c_i,v_c}^{(r,G)}
\]
evaluates not just the current edge but the best achievable local girth after several future insertions. In the QC version, one inserts an entire cyclic orbit
\[
\{(c_i,v_j)_N\}
=
\{(c_{\pi(i,N,t)},v_{\pi(j,N,t)})\mid t=0,\ldots,N-1\}
\]
rather than a single Tanner edge, and the algorithm detects cycles that QC-PEG and CP-PEGA can miss. The reported QC-specific examples include undetectable \(4\)-cycles in QC-PEG and undetectable \(8\)-cycles in CP-PEG; increasing edge-trials improves cycle structure and often BER [1605.05123].

## 5. Ensemble analysis, stability, and threshold optimization

When the same graph family is viewed as a MET ensemble, asymptotic analysis shifts from girth conditions to density evolution and EXIT-type tools. In the CV-QKD setting, MET-LDPC codes are designed through multilevel coding and multistage decoding, with levelwise rates constrained by
\[
R^s_i \geq H(X_{B}^i|X_A, X_{B}^{i-1},\ldots, X_{B}^0),
\qquad
R_i^{ch} = 1 - R_i^s,
\]
and convergence analyzed by generalized EXIT charts. The MET density-evolution recursion is
\[
\mathbf{P}^{l+1} = \mathbf{\lambda}(\mathbf{R},\mathbf{\rho}(\mathbf{P}^{l})),
\qquad
\mathbf{Q}^{l+1} = \mathbf{\rho}(\mathbf{P}^{l}),
\]
while the G-EXIT and dual G-EXIT curves are used as a fast threshold test. Example designed rates \(0.02\), \(0.05\), and \(0.1\) were reported within \(0.03\) dB, \(0.12\) dB, and \(0.06\) dB of capacity, respectively; the same paper emphasizes that this is MET-LDPC Tanner-graph design rather than an explicit QC construction [1812.05867].

A local dynamical-systems view is given by the stability theory of MET D-GLDPC ensembles on the BEC. If \(\mathbf{P}(\epsilon)\) captures the variable-node weight-2 contribution and \(\mathbf{C}\) the check-node weight-2 contribution, then the erasure-free fixed point is locally stable if and only if
\[
\sigma\!\left(\mathbf{P}(\epsilon)\mathbf{C}\right)<1,
\]
where \(\sigma(\cdot)\) is the spectral radius. In the single-edge case this reduces to the classical scalar condition \(P(\epsilon)C<1\), while protograph-like representations force \(P^{l,l}(\epsilon)=0\) and \(C^{l,l}=0\) because no two sockets at the same node share the same edge type [1112.3730].

Threshold optimization of the edge-type structure can then be posed as a constrained search over degree distributions or node-type fractions. One reported approach is Adaptive Range (AR), which restricts the search around the current best candidate and adapts the local range according to the gap between the best and next-best solutions. The method is applied to both irregular LDPC and MET-LDPC ensembles; for MET-LDPC, the recommendation is AR for inner degree-distribution optimization and Differential Evolution for outer structure search. A cited example reports an improvement from \(\sigma^*=0.9682\) to \(\sigma^*=0.9692\) on the BI-AWGN channel [1605.04661].

## 6. Decoding architectures, performance trade-offs, and application domains

The quasi-cyclic form of the graph is particularly important for implementation. In a GPU layered decoder for QC-METLDPC codes in CV-QKD, the base matrix entries are either a non-negative integer, denoting a \(Z\times Z\) circulant permutation matrix obtained by cyclically shifting the identity matrix, or \(-1\), denoting a zero block. Layered belief propagation updates
\[
L^{(0,0)}_{q_n}=\frac{2R_n}{\sigma^2}
\]
at initialization, then reuses updated messages immediately from one layer to the next. The implementation stores a compact parity-check representation, merges unrelated submatrices, and decodes multiple codewords simultaneously on an NVIDIA TITAN Xp GPU. For block length \(10^6\), expansion factor \(2500\), and \(128\) simultaneously decoded codewords without early termination, the reported throughputs are \(64.11\) Mbits/s at rate \(0.1\), \(48.65\) Mbits/s at rate \(0.05\), and \(39.51\) Mbits/s at rate \(0.02\) [2004.09084].

The principal application domain in the cited MET/QC-MET literature is low-SNR reconciliation for continuous-variable quantum key distribution. MET-LDPC codes are described there as particularly suitable for very low code rates because of degree-one variable nodes, and the practical design target is the low-SNR regime needed for long-distance CV-QKD. In that context, QC regularity supports parallel hardware decoding, while MET flexibility supports very low thresholds [1812.05867; 2004.09084].

Performance comparisons across the literature show that graph structure is not governed by a single scalar criterion. Larger edge-trials in MM-PEGA and MM-QC-PEGA improve ACE spectra, VN-local-girth distributions, and BER in the reported simulations [1605.05123]. Multiple-edge protographs can yield larger upper bounds on minimum Hamming distance than comparable single-edge protographs, while structured QC constructions can perform as well as PEG LDPC and PEG QC-LDPC comparators under BP decoding over the BIAWGN channel [1210.3906]. At the same time, the combinatorial-design literature reports a nuanced finite-length trade-off: higher multiplicities of short simple cycles can sharpen the waterfall, but excessive short cycles can worsen the error floor [1701.06218].

A broader extension appears in work that explicitly generalizes a QC-LDPC Tanner graph to a multigraph by allowing block entries such as \(I^1+I^2+I^7\), then reuses that representation in spatially coupled, toric, and hyperbolic settings. That usage remains faithful to the same block-circulant graph model—CPMs, exponent matrices, base graphs, and trapping sets—but exports it beyond conventional coding problems [2401.14749]. This suggests that the multi-edge type QC-LDPC graph is best understood not merely as a parity-check pattern, but as a structured multigraph formalism in which local edge multiplicity, global cyclic symmetry, and edge-class semantics can be tuned independently.

Source: https://www.emergentmind.com/topics/multi-edge-type-qc-ldpc-graph