EconBase
← Back to paper

Channel Estimation with Hierarchical Sparse Bayesian Learning for ODDM Systems

Extracted main text — title through conclusion, appendix excluded. This is what our citation measures are computed over, published so the extraction can be checked by eye.

36,571 characters · 14 sections · 32 citation commands

Rendered from LaTeX for readability, not typeset faithfully. Citation keys are highlighted; maths is left as source; figures, tables and equation environments are summarised rather than reproduced; unrecognised commands are greyed out so nothing is silently dropped. Email addresses are removed.

Channel Estimation with Hierarchical Sparse Bayesian Learning for ODDM Systems

abstractOrthogonal delay-Doppler division multiplexing (ODDM) is a promising modulation technique for reliable communications in high-mobility scenarios. However, the existing channel estimation frameworks for ODDM systems cannot achieve both high accuracy and low complexity simultaneously, due to the inherent coupling of delay and Doppler parameters. To address this problem, a two-dimensional (2D) hierarchical sparse Bayesian learning (HSBL) based channel estimation framework is proposed in this paper. Specifically, we address the inherent coupling between delay and Doppler dimensions in ODDM by developing a partially-decoupled 2D sparse signal recovery (SSR) formulation on a virtual sampling grid defined in the delay-Doppler (DD) domain. With the help of the partially-decoupled formulation, the proposed 2D HSBL framework first performs low-complexity coarse on-grid 2D sparse Bayesian learning (SBL) estimation to identify potential channel paths. Then, high-resolution fine grids are constructed around these regions, where an off-grid 2D SBL estimation is applied to achieve accurate channel estimation. Simulation results demonstrate that the proposed framework achieves performance superior to conventional off-grid 2D SBL with significantly reduced computational complexity.

\IEEEpeerreviewmaketitle

Introduction

The next generation mobile communication systems require ultra-reliable communication in high-mobility scenarios such as high-speed railways (HSR), unmanned aerial vehicles (UAVs), and low earth orbit (LEO) satellites tan2. Orthogonal frequency division multiplexing (OFDM) OFDM, widely adopted in 4G and 5G networks, faces challenges in high-mobility scenarios due to Doppler-induced intercarrier interference (ICI), which leads to significant performance degradation OMP.

To overcome this issue, orthogonal time frequency space (OTFS) modulation has been proposed in OTFS. By modulating information in the delay-Doppler (DD) domain, OTFS exploits the quasi-time-invariant nature of doubly-selective channels, thereby outperforming OFDM under high mobility scenarios. However, OTFS suffers from high out-of-band emission (OOBE) caused by the discontinuity and rectangular pulse shaping OTFS_EP, limiting its practical application. As a promising solution, orthogonal delay-Doppler division multiplexing (ODDM) modulation has been introduced in ODDM, ODDM_HL. ODDM employs a pulse train designed to preserve orthogonality with respect to DD resolutions, demonstrating enhanced performance compared to OTFS.

The DD domain channel estimation plays an important role in ODDM and all the other DD domain modulation schemes, which has been investigated in many literatures pilot, OMP_W, SBL_conf, SBL_OTFS, tan1. An impulse-based DD domain channel estimation method was proposed in pilot. While, the simple thresholding operation in this method severely limits its performance. OMP_W proposed an on-grid orthogonal matching pursuit (OMP) based channel estimation method to estimate the effective channel response. However, the on-grid delay and Doppler assumed in this method do not conform to the actual channel conditions, making it difficult to deal with the off-grid delay and Doppler in real channels. To this end, an one-dimensional (1D) off-grid sparse Bayesian learning (SBL) method was designed in SBL_conf which can estimate the DD domain original channel response more accurately but suffers from high complexity. To address the complexity issue of the 1D SBL method, SBL_OTFS transformed the channel estimation problem into a two-dimensional (2D) sparse signal recovery (SSR) formulation and then solved this problem by using a 2D SBL method, which significantly reduce the complexity. However, the 2D SSR formulation in SBL_OTFS is established based on the bi-orthogonal assumption where the delay domain and Doppler domain are fully-decoupled and can be estimated separately. This ideal bi-orthogonal assumption does not exist in practical DD domain modulation such as ODDM ODDM_general, where the coupling between the delay and Doppler domain cannot be separated, which makes the 2D SBL approach in SBL_OTFS face performance degradation in practical systems.

To address the aforementioned issues on existing DD domain channel estimation methods and realize accurate channel estimation with low-complexity in ODDM systems, we propose a 2D hierarchical sparse Bayesian learning (HSBL) framework. A partially-decoupled 2D SSR formulation is first proposed to properly accommodate the coupled delay-Doppler structure in ODDM systems. Building upon this adapted formulation, we further develop a coarse-to-fine grid refinement framework that significantly reduces computational complexity. The method begins with a low-complexity coarse on-grid 2D SBL estimation to identify potential channel path locations, followed by targeted high-resolution fine-grid estimation only in these potential regions using off-grid 2D SBL. Simulation results demonstrate that the proposed approach not only effectively addresses the coupling challenge in ODDM channel estimation but also achieves superior performance with substantially reduced computational complexity compared to conventional off-grid 2D SBL method.

System Model

In this section, we review the basic concepts of ODDM and the corresponding input-output (IO) relation. We consider ODDM systems over general physical channels operating with symbol interval $T_s$ and subcarrier spacing $\frac{1}{NT_s}$, where each ODDM frame consists of $M$ multi-carrier symbols and each symbol has $N$ subcarriers. An ODDM frame carries $MN$ digital symbols $\{{X[m,n]}|m=0,1, \cdots, M-1, n=0,1, \cdots, N-1\}$ in the DD domain, where $X[m,n]$ indicates the data component at the $n$-th ODDM subcarrier of the $m$-th multicarrier symbol. At the transmitter, the ODDM waveform without cyclic prefix (CP) can be represented as

align[align omitted — 151 chars of source]

where \(u(t)\) is a pulse-train defined as \( u(t) = \sum\limits_{\dot{n}=0}^{N-1} a(t - \dot{n} MT_s)\), and the subpulse $a(t)$ is a square-root Nyquist pulse parameterized by its Nyquist interval $T_s$ and its duration \( T_a = 2QT_s\), where $Q$ is a positive integer and \( 2Q \ll M\).

To mitigate inter-frame interference (IFI) between adjacent ODDM frames, a CP is appended, whose length is \( D_{\text{CP}} < M \) and \(D_{\text{CP}} T_s\) is larger than the maximum equivalent delay spread. As indicated in ODDM,ODDM_HL, the continuous-time signal can be approximately obtained by applying the sample-wise pulse shaping as

align[align omitted — 121 chars of source]

where \( x[k] = \frac{1}{\sqrt{N}} \sum\limits_{n=0}^{N-1} X\left[[k]_M,n\right] e^{j \frac{2\pi}{N} n \left\lfloor \frac{k}{M} \right\rfloor} \) is the form of \(X[m,n]\) after inverse discrete Fourier transform (IDFT) and vectorization, and $[\cdot]_M$ is the modulo operation.

When the transmission signal \( x(t) \) passes the time-varying multi-path channel, according to the sparsity of the DD domain channel OTFS, the baseband received signal can be written as

align[align omitted — 95 chars of source]

where \( P \) is the number of propagation paths, \( h_p \), \( \tau_p \), and \( \nu_p \) represent the complex gain, delay, and Doppler shift associated with the \( p \)-th path, and $z(t)$ denotes the additive noise.

For ease of illustration, let $l_p \triangleq \frac{\tau_p}{T_s}$ and $k_p \triangleq \nu_p MNT_s$ denote the normalized delay and Doppler shifts, which are not necessarily integer. The receiver employs correlators based on $MN$ time-frequency shifted $u(t)$, which can be approximated by a combination of an $a(t)$-based matched filtering (MF), $MN$ times sampling, and an $N$-point discrete Fourier transform (DFT). Then, the digital samples \(y[k]\) can be written as

align[align omitted — 211 chars of source]

where $D$ is the total number of delay taps of the equivalent sampled channel and $g(\tau) \triangleq a(\tau) * a^*(-\tau)$ ODDM_general.

figure*[figure* omitted — 418 chars of source]

Define the DD domain output as \(Y[m,n] = \frac{1}{\sqrt{N}} \sum_{\dot{n}=0}^{N-1} y[\dot{n}M + m] e^{-j 2 \pi \frac{\dot{n} n}{N}}\). On this basis, the corresponding input-output relationship is obtained as ((ref)) at the top of next page, where \(Z[m,n]\) denotes the noise in the DD domain, \( \tilde{h}_p = h_p e^{-j2\pi \frac{l_p k_p}{MN}} \) and

align[align omitted — 179 chars of source]

Partially-Decoupled 2D SSR Formulation for ODDM Channel Estimation

In this section, we provide the partially-decoupled 2D SSR formulation for ODDM systems. For notational simplicity, we consider a single pilot case. A pilot symbol is inserted at \( X[m_0,n_0]\) with a value of \( X_0 \). Similar to pilot, the DD domain grids in the range $m_0 - D \leq m \leq m_0 + D$ and $0 \leq n \leq N-1$, with $m \neq m_0$ and $n \neq n_0$, remain null serving as guard space to mitigate interferences from data symbols to pilot symbols. The remained DD domain grids can be used for transmitting data symbols. \footnote{The extension to multiple pilots is essentially the same but with more complex expressions. Hence, we proceed without further elaboration.}

In particular, we only employ the received symbols which are affected by the pilot symbol. As such, the received signal in ((ref)) can be rewritten as

align[align omitted — 194 chars of source]

where we may assume \( m_0 \leq M-D-1 \) without loss of generality, in which case \( \Psi[m, d, \tilde{n}] = 1\), and

align[align omitted — 207 chars of source]

Following the principle of compressed channel sensing SBL, we formulate a partially decoupled 2D SSR problem based on a virtual sampling grid in the DD domain. A virtual sampling grid is defined over the ranges $(0, l_{\max})$ for the delay domain and $(-k_{\max}, k_{\max})$ for the Doppler domain, where \(l_{max}\) and \(k_{max}\) are the maximal normalized delay and Doppler shift of the channel, respectively. First, $N_0$ grid points are established in the Doppler domain, forming a vector $\mathbf{k} = [k_0, \ldots, k_{N_0-1}]^T \in \mathbb{C}^{N_{0} \times 1}$. For each Doppler grid point $k_i$ where $i \in \{0, \ldots, N_0-1\}$, $M_0$ grid points are defined in the delay domain, collectively forming a matrix $\mathbf{L} \in \mathbb{C}^{M_0 \times N_0}$ where each column corresponds to the delay grid points for a specific Doppler frequency.

Considering an equally spaced sampling grid with virtual Doppler resolution $r_{\nu} = \frac{2k_{\max}}{N_0}$ and virtual delay resolution $r_{\tau} = \frac{l_{\max}}{M_0}$, we have \( k_i = i \cdot r_{\nu} - k_{\max} \) and \( l_{j,i} = j \cdot r_{\tau} \), \( \forall i \in \{0, \ldots, N_0-1\} \) and \( \forall j \in \{0, \ldots, M_0-1\} \), where $l_{j,i}$ represents the element at row $j$ and column $i$ of matrix $\mathbf{L}$. \( \Delta \mathbf{k} \in \mathbb{C}^{N_{0} \times 1}\) and \( \Delta \mathbf{L} \in \mathbb{C}^{M_0 \times N_0}\) are defined to represent the corresponding off-grid components of the Doppler and delay grid, respectively. Let \(\Delta k_i\) and \(\Delta l_{j,i}\) denote the $i$-th element of vector \(\Delta \mathbf{k}\) and the \((j,i)\)-th element of matrix \(\Delta \mathbf{L}\), respectively. Their values are confined to the intervals \(\Delta k_i \in \left[ -\frac{1}{2} r_{\nu}, \frac{1}{2} r_{\nu} \right] \) and \(\Delta l_{j,i} \in \left[ -\frac{1}{2} r_{\tau}, \frac{1}{2} r_{\tau} \right] \).

Based on ((ref)), the first-order approximation SBL of the 2D SSR formulation could be written as

align[align omitted — 227 chars of source]

where we assume \( X_0 = 1 \) and

align[align omitted — 273 chars of source]

and \( \tilde{h}_{i,j} \) represents the complex channel gain coefficient at the $(i,j)$-th sampling grid point, where $i$ and $j$ denote the indices in the Doppler and delay dimensions, respectively. If the grid point \( (k_{i}, l_{j,i}) \) is the closest to the delay and Doppler shift \( (k_p, l_p) \) of the $p$-th subpath, then \( \tilde{h}_{i,j} = \tilde{h}_p \), \(k_p = k_i + \Delta k_i\) and \(l_p = l_{j,i} + \Delta l_{j,i}\). Otherwise, \(\tilde{h}_{i,j}\) is zero.

We define a specialized tensor-matrix operation denoted by $\circledast$ that transforms a 3D tensor $\mathcal{X} \in \mathbb{C}^{A \times B \times C}$ and a matrix $\mathbf{Y} \in \mathbb{C}^{B \times C}$ into a matrix $\mathbf{Z} \in \mathbb{C}^{A \times C}$. This operation performs $C$ independent matrix-vector multiplications, where for each $k \in \{1, \ldots, C\}$, the $k$-th frontal slice of $\mathcal{X}$ ($\mathcal{X}_{:,:,k}$) is multiplied by the $k$-th column vector of $\mathbf{Y}$ ($\mathbf{Y}_{:,k}$). Formally, the operation is defined element-wise as \( \mathbf{Z}_{i,k} = \sum_{j=1}^{B} \mathcal{X}_{i,j,k} \cdot \mathbf{Y}_{j,k} \), \( \forall i \in \{ 1, \cdots A \} \) and \( \forall k \in \{ 1, \cdots C \} \).

Then the matrix form of ((ref)) could be written as

align[align omitted — 162 chars of source]

where \( \mathbf{Y} \in \mathbb{C}^{N \times D}\), \( \mathbf{Z} \in \mathbb{C}^{N \times D}\), \( {\mathbf{Y}}_{n,m} = Y[m+m_0,n]\), and \( \mathbf{Z}_{n,m} = Z[m+m_0,n]\). The Doppler matrix \( \mathbf{K}(\Delta \mathbf{k}) \in \mathbb{C}^{N \times N_0}\), the delay sensor \( \mathcal{L}(\Delta \mathbf{L}) \in \mathbb{C}^{D \times M_0 \times N_0}\) and the sparse coefficient matrix \( \mathbf{H} \in \mathbb{C}^{M_0 \times N_0}\) are give by \( \mathbf{K}(\Delta \mathbf{k})[n,i] = \overline{w_{\nu}}(n, k_i) \), \( \mathcal{L}(\Delta \mathbf{L})[m, j, i] = \overline{w_{\tau}}(m, l_{j,i}, k_i) \) and \( \mathbf{H}[i,j] = \tilde{h}_{i,j} \), respectively.

Due to the channel sparsity, $\mathbf{H}$ is $P$-sparse, making ((ref)) a 2D SSR problem. It is worth emphasizing that, different from the common fully-decoupled 2D SSR formulation in SBL_OTFS based on the idea bi-orthogonal assumption, the derived 2D SSR formulation in ((ref)) enjoys a partially decoupled structure which describes the practical relationship between the delay and Doppler components in ODDM. This enables a more precise characterization of the channel estimation formulation. By utilizing the partially-decoupled structure, new channel estimation framework can be designed and performance improvements to the original 2D SBL algorithms SBL_OTFS can be expected. To this end, we propose a 2D HSBL based channel estimation framework in the following section.

Proposed Channel Estimation Algorithm

In this section, we first derive both on-grid and off-grid 2D SBL estimation algorithms based on the established partially-decoupled 2D SSR formulation, addressing the limitation of existing methods which rely on a decoupling assumption and are confined to bi-orthogonal OTFS systems SBL_OTFS. Building upon these algorithms, we subsequently propose the 2D HSBL based channel estimation framework. Finally, we analyze the complexity of these algorithms.

On-Grid & Off-Grid 2D SBL Algorithm

We first examine the off-grid case and subsequently demonstrate that the on-grid formulation constitutes a special case of the off-grid framework.

The off-grid 2D SBL algorithm based on the derived partially-decoupled 2D SSR formulation consists of two steps, as illustrated in Algorithm (ref). The first step estimates the composite matrix \( \mathbf{V} = \mathcal{L}(\Delta \mathbf{L}) \circledast \mathbf{H}\) and the second step aims to recover \( \mathbf{H} \) based on the estimated \( \mathbf{V} \).

First Step

The partially-decoupled formulation ((ref)) can be rewritten as

align[align omitted — 99 chars of source]

where \( \mathbf{U} = \mathbf{V}^T \). \( \mathbf{Z} \) is a complex Gaussian noise with \( \beta_0 = \frac{1}{\sigma^2} \) and \( \sigma^2 \) being the noise variance. The distribution of \( \mathbf{Y} \) is therefore described by the probability distribution function of \( p(\mathbf{Y}|\mathbf{U};\Delta \mathbf{k}, \beta_0) = \prod\limits_{m=0}^{D-1} \mathcal{CN}(\mathbf{Y}[:,m]|\mathbf{K}(\Delta \mathbf{k}) \mathbf{U}[:,m], \beta_0^{-1}\mathbf{I}) \), where \( \beta_0 \) adopts a Gamma hyper-prior as \( p(\beta_0|a,b) = \Gamma(\beta_0|a,b) \) SBL_OTFS. Let \( \mathbf{U} \in \mathbb{C}^{N_0 \times D} \) follows a two-stage hierarchical prior as \( p(\mathbf{U}|\bm{\alpha}) = \prod\limits_{m=0}^{D-1} \mathcal{CN}(\mathbf{U}[:,m]|\mathbf{0}, \bm{\Lambda}) \), where \( \bm{\Lambda} = \text{diag}(\bm{\alpha}) \) denotes the covariance matrix, \( \bm{\alpha} = [\alpha_1, \cdots, \alpha_{N_0}]^T \), \( p(\bm{\alpha}|\rho) = \prod\limits_{n_0=0}^{N_0-1} \Gamma(\bm{\alpha}[n_0]|1, \frac{\rho}{2}) \). The unknown off-grid Doppler variables follow a uniform distribution within their bounds as \( \Delta k_i \sim \mathcal{U}\left[ -\frac{1}{2} r_{\nu}, \frac{1}{2} r_{\nu} \right]\).

As such, the Bayesian framework can be used to obtain the conditional posterior distribution \( p(\mathbf{U}|\mathbf{Y}; \bm{\alpha}, \Delta \mathbf{k}, \beta_0) = \prod\limits_{m=0}^{D-1} \mathcal{CN}(\mathbf{U}|\bm{\mu}[:,m], \bm{\Sigma}) \). Note that 2D SBL is an iterative algorithm, the expressions of the expectation \( \bm{\mu} \) and variance \( \bm{\Sigma} \) of \(\mathbf{U}\) can be obtained as

align[align omitted — 461 chars of source]

where $t$ is the number of iterations. Denoting \(\mathbf{K} = \mathbf{K}\left( \Delta \mathbf{k}^{(t)} \right)\) for simplicity. The hyper-parameters \( \bm{\alpha} \), \( \beta_0 \) and off-grid components in DD domain \( \Delta \mathbf{k} \) can be updated by

align[align omitted — 523 chars of source]

where the specific expression of \( \mathbf{A} \) and \( \mathbf{b} \) in ((ref)) are given in ((ref)) and ((ref)) at the top of next page, with \(\mathbf{K}_0[n,i] = w_{\nu}(n, k_i)\) and \( \mathbf{K}_1[n,i] = \frac{\partial w_{\nu}}{\partial k_i}(n, k_i) \Delta k_i^{(t)}\).

figure*[figure* omitted — 597 chars of source]

The stopping criteria is attained if \( \frac{\|\bm{\alpha}^{(t)} - \bm{\alpha}^{(t-1)}\|}{\|\bm{\alpha}^{(t-1)}\|} < \delta \) or the number of iterations reaches the maximum number \(T_{\max}\), where \(\delta\) is a settled tolerance.

Second Step

Based on the output of the first step $\mathbf{V}=(\bm{\mu}^{(t)})^T$, the channel estimation problem in the second step can be expressed as

equation[equation omitted — 201 chars of source]

which can be solved by performing the procedure outlined in the first step for \( N_0 \) times, incorporating the corresponding \(k_i\) estimated in the first step each time. As the aforementioned details have been discussed, they will not be reiterated here.

If the off-grid variables \(\Delta\mathbf{k}\) and \(\Delta\mathbf{L}\) are fixed to zero and are not updated, we can obtain the on-grid 2D SBL algorithm, as illustrated in Algorithm (ref), which is a simplified case of the off-grid framework.

algorithm[algorithm omitted — 1,746 chars of source]

2D Hierarchical SBL Algorithm

Although the aforementioned SBL algorithms can effectively solve problem ((ref)), uniform sampling of the DD domain results in prohibitively high complexity. To reduce the channel estimation complexity, we propose a 2D HSBL channel estimation framework, as summarized in Algorithm (ref), building upon the above SBL estimation algorithms. The core idea of 2D HSBL is to replace the exhaustive high-resolution search over the entire DD domain with a coarse-to-fine two-stage strategy, thereby confining the computationally expensive off-grid operations to a small number of likely regions.

Stage I

A coarse virtual sampling grid is constructed with significantly fewer points \( N_c < N_0 \) and \( M_c < M_0 \). This defines a grid with resolutions \( r_{\nu}^{(c)} = \frac{2k_{\max}}{N_c} \) and \( r_{\tau}^{(c)} = \frac{l_{\max}}{M_c} \). An on-grid 2D SBL estimation is then performed on this coarse grid. After convergence, the estimates of the channel gains can be obtained as \( \hat{\mathbf{H}}_c \).

Define a set \( \mathcal{I} \) including the grid points whose estimated gains exceed a threshold \( \eta \) as

align[align omitted — 202 chars of source]

where \( \eta \in (0, 1) \) is a pre-defined threshold ratio. This set \( \mathcal{I} \) corresponds to the regions in the DD domain where true paths are likely to exist.

Stage II

Define a high-resolution search window centered at each significant coarse grid point \( \left(k_i, l_{j,i}\right) \). The Doppler and delay resolutions within this window are the desired fine resolutions \( r_{\nu}^{(f)} = \frac{2k_{max}}{N_f} \) and \( r_{\tau}^{(f)} = \frac{l_{max}}{M_f} \). The composite fine grid \( \mathcal{G}_{f} \) is formally defined as the union of all local fine grids constructed around each significant coarse grid point as

align[align omitted — 286 chars of source]

where \( W \) defines the window size in grid points.

The union of all these local fine windows forms a new, highly reduced, virtual sampling grid. An off-grid 2D SBL algorithm is applied only on this reduced grid. The result of this second stage is the final estimate of the sparse channel matrix \( \hat{\mathbf{H}} \) and the corresponding off-grid parameters.

algorithm[algorithm omitted — 1,187 chars of source]

Complexity Analysis

Here, we analyze the comlexity of the proposed 2D HSBL framework. Firstly, the complexity of the 2D SBL algorithm in Algorithm (ref) is provided. In each iteration, we first calculate Eqs. ((ref)) and ((ref)) with the complexity order \( \mathcal{O}(NN_0^2)\). Updating the parameters \( \bm{\alpha} \) and \( \beta_0\) by Eqs. ((ref)) and ((ref)) costs \( \mathcal{O}(NN_0^2) \). Calculating the off-grid parameters by Eq. ((ref)) costs \( \mathcal{O}(P^3) \) by discarding the negligible components as mentioned in SBL_OTFS, where \(P\) is the number of paths and \(P \ll N_0\). As such, the complexity order of this step is \( \mathcal{O}(NN_0^2) \). Similarly, the complexity order of solving Eq. ((ref)) is \( \mathcal{O}(DM_0^2) \) for \( i = 1, \cdots, N_0 \), respectively. Thus, the complexity order of off-grid 2D SBL is \( \mathcal{O}(NN_0^2) + \mathcal{O}(DN_0M_0^2) = \mathcal{O}(DN_0M_0^2)\), since \(M_0 \approx N_0\). Despite the additional off-grid parameter update in off-grid 2D SBL, the overall complexity order remains dominated by the same higher-order term \( \mathcal{O}(DN_0M_0^2) \). Therefore, the complexity order of on-grid 2D SBL is approximately the same as that of off-grid 2D SBL.

The proposed 2D HSBL algorithm first performs a coarse-grid estimation using \(M_c\) delay grid points and \(N_c\) Doppler grid points. It then refines the estimation within localized regions, containing \(M_f = (2W+1)\eta M_c\) delay points and \(N_f = (2W+1)\eta N_c\) Doppler points. Therefore, the complexity order of constructing fine grid is \( \mathcal{O}\left( W M_c N_c \right) \), leading to a total complexity order of \( \mathcal{O}\left( DN_c M_c^2\right) + \mathcal{O}\left( DN_f M_f^2\right) + \mathcal{O}\left( W M_c N_c \right) = \mathcal{O}\left( k DN_c M_c^2\right) \), where \(k = (2W + 1)^3 \eta^3 + 1\). The complexity order comparison between the proposed 2D HSBL algorithm and some benchmark algorithms are summarized in TABLE (ref). Under the parameter configuration employed in the next section's simulations (\( M_0 = M_f = 2.5M_c \), \( N_0 = N_f = N_c \), \( W=2 \), \( \eta=0.15 \)), it can be found that the 2D SBL algorithm in SBL_OTFS imposes approximately an order of magnitude higher computational complexity than the proposed 2D HSBL.

table[table omitted — 431 chars of source]

Simulation Results

In this section, we present the simulation results of the proposed channel estimation algorithm. The simulation parameters include a carrier frequency of $5$ GHz, $\frac{1}{NT_s} = 15 \text{kHz}$, ODDM frame size of $(256, 64)$, maximum speed of $500$ km/h, cyclic prefix length of $32$ and modulation of 4-QAM. The delay-power profile follows the Tapped Delay Line-C (TDL-C) model, as specified in 3gpp_ts_25_221. We define $E_b$ as the energy per bit and $N_0$ as the noise power per unit bandwidth. The ratio \( \frac{E_b}{N_0} \) is adopted as the signal-to-noise ratio (SNR) metric for the system. The power of the pilot symbol is \(30\) dB higher than that of the data symbols. In our proposed Algorithm (ref), we set \( r_{\nu}^{(f)} = r_{\tau}^{(f)} = 0.2 \), \( r_{\nu}^{(c)} = r_{\tau}^{(c)} = 0.5 \), \(\eta = 0.15\), \(W=2\), \(\delta = 10^{-3}\), \( \rho = 10^{-2} \) and \(a=b=10^{-4}\). For all the other algorithms, we set \( r_{\nu} = r_{\tau} = 0.2 \) as comparison. The traditional threshold-based channel estimation and the OMP algorithm are described by pilot, OMP_W, respectively.

figure[figure omitted — 152 chars of source]
figure[figure omitted — 172 chars of source]

Fig. (ref) illustrates the normalized mean squared error (NMSE) performance against SNR. The 2D HSBL algorithm achieves superior accuracy even compared to the off-grid 2D SBL, despite its significantly lower complexity. This enhancement stems from the hierarchical structure. The coarse estimation stage effectively eliminates irrelevant grid points, allowing the subsequent fine estimation to focus only on promising regions. In contrast, the off-grid 2D SBL estimates the entire grid, introducing collective noise from spurious non-zero entries, while 2D HSBL avoids for a cleaner reconstruction.

Fig. (ref) illustrates the bit error rate (BER) performance under 4-QAM modulation versus SNR, where the SIC-LMMSE detection algorithm LMMSE is utilized for signal detection. 2D HSBL achieves performance close to that of perfect CSI, reaching a BER of $10^{-6}$ at $32$ dB SNR, which outperforms the off-grid 2D SBL. Both OMP and on-grid 2D SBL incur an SNR loss of about 1 dB relative to 2D HSBL at a BER of $10^{-5}$. The conventional thresholds-based method exhibits a high error floor around $10^{-3}$.

Conclusion

To address the coupled delay-Doppler channel estimation challenge in ODDM systems, this paper developed a partially-decoupled 2D SSR formulation and proposed a 2D HSBL framework. The 2D HSBL employs a two-stage coarse-to-fine strategy: first, potential path locations are detected through a low-complexity coarse-grid estimation; subsequently, a super-resolution off-grid refinement is applied exclusively to these identified regions. Simulations demonstrate that 2D HSBL not only significantly reduces computational complexity but also achieves superior NMSE performance over conventional off-grid 2D SBL, by avoiding spurious estimates on irrelevant grid points. The proposed 2D HSBL offers an efficient and high-accuracy solution for ODDM channel estimation.

\appendices

Acknowledgment

This work was supported in part by the Beijing Natural Science Foundation under Grants QY25034 and L242083, in part by the National Natural Science Foundation of China under Grant 62401315, and in part by the Japan Society for the Promotion of Science (JSPS) Grants-in-Aid for Scientific Research (KAKENHI) under Grant 22H01491.