---
title: 'AMP-A-AC: Joint Activity Detection & Channel Estimation'
url: https://www.emergentmind.com/topics/amp-a-ac
type: topic
---

# AMP-A-AC: Joint Activity Detection & Channel Estimation

AMP-A-AC is an approximate-message-passing algorithm for joint device activity detection and actual time-domain channel estimation in OFDM-based wideband massive grant-free access under frequency-selective fading [2508.06540]. It is derived from an exact time-domain probabilistic model and a factor graph that couples device activity with all channel taps and antennas, and it is designed to approximate a per-device MAP activity detector together with a conditional MMSE estimator of the actual channel given activity [2508.06540]. The term should not be conflated with AMAPMT, the “Advanced Multiple Access Protocol for Multimedia Transmission” proposed for wireless multimedia MAC scheduling, which is an unrelated data-link-layer protocol [1205.4959].

## 1. Definition and inferential objective

AMP-A-AC is introduced alongside AMP-A-EC in “AMP-based Joint Activity Detection and Channel Estimation for Massive Grant-Free Access in OFDM-based Wideband Systems” [2508.06540]. The suffix “A-AC” denotes **activity + actual channel**, in contrast to AMP-A-EC, which targets **activity + effective channel** estimation. That distinction is central: AMP-A-AC does not estimate the Bernoulli-masked variable \(x_{n,p,m}=a_n h_{n,p,m}\) as its primary output, but instead targets the conditional MMSE estimator
\[
\hat h_{n,p,m}^\star(\mathbf Y)=\int h_{n,p,m}\,p(h_{n,p,m}\mid \mathbf Y,a_n=1)\,dh_{n,p,m}.
\]

The inferential program consists of two coupled tasks. The first is per-device MAP activity detection through the posterior \(p(a_n\mid \mathbf Y)\), or equivalently the log-likelihood ratio
\[
\theta_n=\log \frac{p(a_n=1\mid \mathbf Y)}{p(a_n=0\mid \mathbf Y)}.
\]
The second is MMSE actual-channel estimation conditioned on \(a_n=1\). The paper states that the MAP-based device activity detection problem and one of the MMSE-based channel estimation problems are formulated for the first time [2508.06540].

This framing implies a stricter inferential target than standard sparse recovery on effective channels. The activity variable is device-level, while the channel unknowns are tap- and antenna-resolved. AMP-A-AC therefore uses a device-level activity belief to coordinate estimates across all \(P\) taps and \(M\) antennas of the same device, rather than treating those coefficients as independent latent variables.

## 2. System model and statistical structure

The algorithm is posed for a single-cell uplink with a base station carrying \(M\) antennas and \(N\) single-antenna IoT devices in a wideband OFDM grant-free access system under frequency-selective fading [2508.06540]. The channel for device \(n\), tap \(p\), and BS antenna \(m\) is
\[
h_{n,p,m}=\sqrt{\beta_n}\,g_{n,p,m},\qquad g_{n,p,m}\sim\mathcal{CN}(0,1),
\]
with known large-scale fading power \(\beta_n>0\). Device activity is modeled as
\[
a_n\in\{0,1\},\qquad a_n\overset{\text{i.i.d.}}{\sim}\text{Bernoulli}(\rho_n),
\]
and the effective channel taps are
\[
x_{n,p,m}\triangleq a_n h_{n,p,m}.
\]

The OFDM pilot structure uses \(K\) subcarriers and pilot length \(L=KQ\), with \(Q\) OFDM pilot symbols. After cyclic-prefix removal and Fourier-domain manipulation, the received pilot observations are written in exact time-domain linear form as
\[
\mathbf Y=\mathbf A\mathbf X+\mathbf N.
\]
Here \(\mathbf Y\in\mathbb C^{L\times M}\), \(\mathbf A\in\mathbb C^{L\times NP}\), \(\mathbf X\in\mathbb C^{NP\times M}\), and \(\mathbf N\) is AWGN [2508.06540]. Element-wise,
\[
y_{l,m}=\sum_{n,p}A_{l,n,p}x_{n,p,m}+n_{l,m}.
\]

The prior structure is Bernoulli–Gaussian at the effective-channel level:
\[
p(x_{n,p,m}\mid a_n)=a_n f_{\mathcal{CN}(x_{n,p,m};0,\beta_n)}+(1-a_n)\delta(x_{n,p,m}).
\]
Conditioned on \(a_n\), the variables \(\{x_{n,p,m}\}_{p,m}\) are independent, but marginally they are dependent across taps and antennas because they share the same activity indicator \(a_n\) [2508.06540]. This shared-activity coupling is the main statistical feature exploited by AMP-A-AC.

## 3. Factor graph and AMP approximation

The joint distribution factors as
\[
p(\mathbf X,\mathbf a,\mathbf Y)
=
\prod_{l\in\mathcal L}\prod_{m\in\mathcal M} p(y_{l,m}\mid \mathbf X_{:,m})
\prod_{n\in\mathcal N} p(a_n)
\prod_{p\in\mathcal P}\prod_{m\in\mathcal M} p(x_{n,p,m}\mid a_n),
\]
which induces a tripartite factor graph \(a_n \leftrightarrow q_{n,p,m} \leftrightarrow x_{n,p,m} \leftrightarrow f_{l,m}\) [2508.06540]. The exact posterior marginals required for MAP detection and MMSE channel estimation are high-dimensional and computationally intractable.

AMP-A-AC arises by replacing exact sum–product messages with tractable parametric approximations. Messages associated with \(x_{n,p,m}\) are approximated as complex Gaussian, while messages associated with \(a_n\) are approximated as Bernoulli. Likelihood-to-variable messages are approximated through central-limit arguments, and the product of Gaussian likelihood messages yields Gaussian messages of the form
\[
\mu^{(t)}_{x_{n,p,m}\to q_{n,p,m}}(x)=\mathcal{CN}(x;\hat r^{(t)}_{x_{n,p,m}},\hat\sigma^{(t)}_{x_{n,p,m}}).
\]

The estimator that differentiates AMP-A-AC from AMP-A-EC is the conditional MMSE estimator for the actual channel:
\[
\hat h(\hat r,\hat\sigma;\beta_n)=\frac{\beta_n \hat r}{\hat\sigma+\beta_n}.
\]
AMP-A-EC instead denoises the effective channel \(x_{n,p,m}\) directly. AMP-A-AC compresses the activity inference from \(NPM\) activity parameters to a single device-level activity parameter \(\hat\lambda_n\), while retaining per-tap, per-antenna channel estimates \(\hat h_{n,p,m}\) [2508.06540]. This suggests a more explicit exploitation of the shared device activity structure than an effective-channel formulation.

## 4. Iterative recursion and decision mechanism

The operational AMP-A-AC recursion is given in simplified form by a sequence of residual, activity, and channel updates [2508.06540]. For each iteration \(t\), the per-antenna residual variance is
\[
\hat\tau_m^{(t)}=\frac{1}{L}\sum_{l=1}^L \left|\tilde z^{(t)}_{f_{l,m}}\right|^2.
\]

Device activity is represented through a device-level probability
\[
\hat\lambda_n^{(t)}=\frac{\exp(\theta_n^{(t)})}{1+\exp(\theta_n^{(t)})},
\]
where \(\theta_n^{(t)}\) is an approximate LLR assembled from all taps and antennas of device \(n\):
\[
\begin{aligned}
\theta_n^{(t+1)}
&= \log\left(\frac{\rho_n}{1-\rho_n}\right) \\
&\quad + \sum_{m=1}^M\sum_{p=1}^P
\log\frac{
f_{\mathcal{CN}\big(0;\hat\lambda_n^{(t)} \hat h^{(t)}_{n,p,m} + \sum_l A^{*}_{l,n,p}\tilde z^{(t)}_{f_{l,m}},\,\hat\tau_m^{(t)}+\beta_n\big)}
}{
f_{\mathcal{CN}\big(0;\hat\lambda_n^{(t)} \hat h^{(t)}_{n,p,m} + \sum_l A^{*}_{l,n,p}\tilde z^{(t)}_{f_{l,m}},\,\hat\tau_m^{(t)}\big)}
}.
\end{aligned}
\]

The actual channel update is
\[
\hat h^{(t+1)}_{n,p,m}
=
\frac{\beta_n\big(\hat\lambda_n^{(t)}\hat h^{(t)}_{n,p,m}+\sum_{l=1}^L A^{*}_{l,n,p}\tilde z^{(t)}_{f_{l,m}}\big)}
{\hat\tau_m^{(t)}+\beta_n}.
\]
The residual is then updated with an Onsager term:
\[
\begin{aligned}
\tilde z^{(t+1)}_{f_{l,m}}
&= y_{l,m} - \sum_{n,p} A_{l,n,p}\hat\lambda_n^{(t+1)}\hat h^{(t+1)}_{n,p,m} \\
&\quad + \frac{1}{L}\tilde z^{(t)}_{f_{l,m}}
\sum_{n,p}\hat\lambda_n^{(t+1)}\frac{\beta_n}{\hat\tau_m^{(t)}+\beta_n}.
\end{aligned}
\]

The activity hard decision is made through
\[
\hat a_n^{(t)}=
\begin{cases}
0, & \theta_n^{(t)}<0,\\
1, & \theta_n^{(t)}\ge 0.
\end{cases}
\]
The paper also introduces best-iterate tracking through the surrogate objective
\[
f(\mathbf X)=\frac12\|\mathbf Y-\mathbf A\mathbf X\|_F^2 + \sum_{i=1}^{NP}\|\mathbf X_{i,:}\|_2,
\]
with \(\mathbf X\) built from \(\hat a_n^{(t)}\hat h_{n,p,m}^{(t)}\), and retains the iterate with minimal \(f(\cdot)\) so far [2508.06540]. This is used to mitigate non-monotonic MSE behavior and the lack of convergence guarantees.

## 5. Computational profile, state evolution, and empirical operating regions

AMP-A-AC has dominant per-iteration complexity
\[
2L N P M + N P M^2,
\]
and asymptotic order \(\mathcal O(LNPM)\) [2508.06540]. The corresponding dominant term for AMP-A-EC is
\[
2 L N P M + 2 L M^2 + 8 N P M^2,
\]
so AMP-A-AC has lower per-iteration complexity and fewer scalar activity parameters than AMP-A-EC.

A notable theoretical distinction is that AMP-A-EC admits state-evolution analysis, whereas AMP-A-AC does not fit the standard SE framework because of its modified residual definition and the Onsager term tied to \(\hat\lambda_n\) [2508.06540]. The paper therefore evaluates AMP-A-AC empirically rather than through a closed-form SE characterization.

The numerical study compares against AMP-FL-ext, AMP-FS, OMP-based sparse recovery, and ML-MMSE, using activity detection error probability, false alarm and missed detection, channel estimation MSE, and computation time [2508.06540]. The reported findings are:

- AMP-A-EC and AMP-A-AC significantly outperform AMP-FL-ext, AMP-FS, and OMP-ext in activity detection and channel MSE.
- The paper reports reductions up to **94%** in error probability and **33%** in MSE relative to existing AMP-based and OMP-based schemes.
- Compared to ML-MMSE, AMP-A-AC achieves essentially comparable accuracy in both detection and channel estimation, but with much lower complexity, approximately **96% less computation time**.

The preferred operating regions are differentiated rather than universal. AMP-A-EC is stated to be slightly better in accuracy when pilot length \(L\) is short or slightly above \(N\rho\), or when the number of antennas \(M\) is small. AMP-A-AC is stated to be slightly better in accuracy and clearly better in complexity when \(L\) is larger and \(M\) is larger, which makes it more favorable in massive MIMO settings with longer pilot budgets [2508.06540].

## 6. Relation to AMP theory, assumptions, and recurrent sources of confusion

AMP-A-AC inherits the standard AMP reliance on Gaussian approximations and Onsager-style residual correction. In the broader AMP literature, the Onsager term is used to cancel first-order correlations induced by repeated application of the same random matrix, so that the denoiser input behaves like an effective Gaussian observation under large i.i.d. matrix assumptions [1907.04235]. AMP-A-AC follows that general design pattern but departs from classical AMP in a way that prevents standard Bayati–Montanari-style state evolution, which is why its analysis remains simulation-based rather than SE-based [2508.06540].

This places AMP-A-AC within a broader line of AMP-based grant-free access and sparse activity inference. Earlier work used AMP to detect device activity and embedded information bits in massive MIMO random access [1709.05161], and later work incorporated spatially correlated channels into AMP-based joint user identification and channel estimation for mMTC [2112.04295]. This suggests that AMP-A-AC extends the same methodological family to an exact time-domain OFDM model under frequency-selective fading, with the additional distinction between effective-channel and actual-channel estimation.

Several interpretive issues recur in discussions of the name. First, AMP-A-AC is not the multimedia MAC protocol of the 2012 paper “A Multiple Access Protocol for Multimedia Transmission over Wireless Networks”; that work concerns AMAPMT, a data-link-layer scheduling protocol based on TTL, traffic priority, and CSI, and the query string “AMP-A-AC” is explicitly stated not to appear there [1205.4959]. Second, AMP-A-AC is not the effective-channel algorithm AMP-A-EC; the two are paired in the 2025 wideband grant-free access paper but target different MMSE estimators [2508.06540].

The main stated limitations are also specific. AMP-A-AC relies on large-system approximations with large \(L\) and \(N\), small i.i.d. entries \(A_{l,n,p}\sim\mathcal O(1/\sqrt L)\), Gaussian channel priors, and Bernoulli activity. It assumes known \(\beta_n\) and \(\rho_n\). No rigorous SE-based performance guarantees are available, and although the algorithm targets MAP/MMSE quantities, its optimality is approximate rather than exact [2508.06540].

Source: https://www.emergentmind.com/topics/amp-a-ac