---
title: 'IFDM: Dense Interleave Frequency Division Multiplexing'
url: https://www.emergentmind.com/topics/dmfi
type: topic
---

# IFDM: Dense Interleave Frequency Division Multiplexing

Searching arXiv for "DMFI" and related terms to disambiguate the topic.
Searching arXiv for the exact acronym and likely permutations.
DMFI, plausibly referring to Interleave Frequency Division Multiplexing (IFDM), denotes a multicarrier modulation framework in which each information symbol is spread across many subcarriers through a random interleaving before the inverse fast Fourier transform. In the formulation introduced in "Interleave Frequency Division Multiplexing" [2405.02604], the design objective is not to create a sparse equivalent channel, as in OFDM, OTFS, or AFDM, but to establish an equivalent fully dense and right-unitarily invariant channel matrix so that signals undergo sufficient statistical channel fading. The proposal is explicitly motivated by channel-capacity considerations under practical advanced detectors, together with a cross-domain memory approximate message passing detector intended to preserve low implementation complexity.

## 1. Conceptual basis and design objective

IFDM is introduced against a specific design tradition in multicarrier communications. OFDM, OTFS, and AFDM all seek transformed-domain channel representations that are diagonal or sparse enough to make equalization and detection cheap. The paper argues that these designs embody a performance-complexity trade-off: they simplify detection by making the channel easier to recover over, but that simplification is not necessarily aligned with channel-capacity optimality [2405.02604].

The central departure of IFDM is to abandon sparsification of the equivalent channel. Instead, random interleaving is inserted before the IFFT so that each symbol experiences many channel coefficients. This creates a dense, statistically well-mixed effective channel and, importantly, one that the authors state satisfies the right-unitarily invariant assumption used in OAMP/MAMP theory. The underlying claim is that sufficient statistical fading across symbols is more favorable for replica-based optimality arguments than sparse structured transforms.

A common misconception is that a better transformed-domain waveform should always make the equivalent channel sparser. IFDM is constructed around the opposite premise. Its rationale is that sparsity is beneficial primarily for detector design, whereas dense random-like mixing may be preferable when the objective is to approach channel capacity under advanced iterative inference.

## 2. Signal model and equivalent channel construction

In the paper’s notation, the symbol vector $s \in \mathbb{C}^{N\times 1}$ is modulated as
$$
x = U s = \Pi F_N^H s,
$$
where $F_N$ is the normalized $N$-point FFT matrix and $\Pi \in \mathbb{R}^{N\times N}$ is a random interleaver. The modulation operator
$$
U = \Pi F_N^H
$$
is unitary, so that
$$
U U^H = I.
$$

After cyclic-prefix insertion, transmission occurs over a doubly selective baseband channel modeled by
$$
r[n] = \sum_{p=0}^{P-1} x[n-p] g[n,p] + w[n],
$$
with impulse response
$$
g[n,p] = \sum_{i=1}^{L} h_i e^{j2\pi f_i(nT_s-pT_s)} P_{rc}(pT_s-\tau_i).
$$
After cyclic-prefix removal, the receiver observes
$$
y = Hx + w.
$$
Applying inverse IFDM yields
$$
\hat y = U^{-1}y = F_N \Pi^{-1} H \Pi F_N^H s + \tilde w
= H_{\text{eff}} s + \tilde w,
$$
where
$$
H_{\text{eff}} \triangleq F_N \Pi^{-1} H \Pi F_N^H.
$$

This equivalent matrix $H_{\text{eff}}$ is the central mathematical object in the construction. Because the interleaver redistributes symbols across the frequency grid, the resulting interleave-frequency-domain channel is fully dense rather than sparse. The paper connects that density to right-unitary invariance and to the replica-method intuition that a random linear channel with sufficient statistical mixing is favorable for asymptotically optimal iterative detection [2405.02604].

The channel model encompasses both static multipath channels and mobile time-varying channels. The simulations use carrier frequency 4 GHz, subcarrier spacing 15 kHz, velocities 0, 300, and 500 km/h, root-raised-cosine pulse shaping, cyclic-prefix guarding, and Jakes Doppler generation. This suggests that the proposed framework is intended to cover both conventional static frequency-selective channels and doubly selective high-mobility regimes within a single modulation formalism.

## 3. Contrast with OFDM, OTFS, and AFDM

The most direct way to situate IFDM is by its transformed-domain channel structure. OFDM modulates directly in the frequency domain,
$$
x = F_N^H s,
$$
and, in a static multipath channel, its demodulated input-output relation becomes
$$
y = F_N(Hx+w)=\Lambda s+\tilde w,
$$
so the effective channel is diagonal. That property is highly favorable in static channels, but once Doppler appears the diagonalization is destroyed and OFDM suffers severe inter-carrier interference [2405.02604].

OTFS instead maps symbols onto a delay-Doppler grid,
$$
x = (F_L^H \otimes I_K)\,\mathrm{vec}(S),
$$
with received model
$$
y = (F_L \otimes I_K)H(F_L^H\otimes I_K)\,\mathrm{vec}(S) + \tilde w.
$$
Its design goal is a sparse effective channel in the delay-Doppler domain, especially when Doppler support is limited or approximately sparse.

AFDM uses the inverse discrete affine Fourier transform,
$$
x = A^{-1}s = \Lambda_{c_1}^H F_N^H \Lambda_{c_2}^H s,
$$
followed by transformed-domain detection through
$$
y = A(Hx+w)=AHA^{-1}s+\tilde w.
$$
Like OTFS, AFDM seeks a sparse effective channel in an alternative transform domain.

The paper summarizes the distinction as follows: OFDM yields diagonal or dense effective channels depending on the channel, OTFS and AFDM yield sparse effective channels, and IFDM yields a random dense equivalent channel. IFDM is therefore not a sparsifying transform. The source characterizes it instead as a channel-mixing waveform whose purpose is to create statistical mixing rather than structural sparsity [2405.02604].

## 4. Cross-domain memory AMP detection

A dense equivalent channel would ordinarily imply expensive equalization, so the principal algorithmic contribution is the cross-domain memory approximate message passing detector, denoted CD-MAMP. Its detection objective is stated on the dense equivalent model
$$
\hat y = H_{\text{eff}} s + \tilde w,
$$
but its implementation exploits the fact that the physical time-domain channel $H$ remains sparse because the delay spread is limited and $P \ll N$ [2405.02604].

CD-MAMP alternates between two domains. In the time domain it performs memory matched filtering using the sparse channel:
$$
r_t = \gamma_t(X_t) = \frac{1}{\varepsilon_t^\gamma}\big(\hat\gamma_t(X_t)-X_t p_t\big),
$$
where $X_t=[x_1,\dots,x_t]$ and
$$
\hat\gamma_t(X_t)=H^H\tilde\gamma_t(X_t),
$$
with recursion
$$
\tilde\gamma_t(X_t)=B_t\tilde\gamma_{t-1}(X_{t-1})+\xi_t(y-Hx_t),
$$
and
$$
B_t=\theta_t(\lambda^\dagger I - HH^H).
$$
The damping update is
$$
x_t = [x_1,\dots,x_{t-1},\tilde x_t]\cdot \zeta_t.
$$
The paper emphasizes that this stage requires only multiplications by the sparse time-domain matrix $H$.

The output is then mapped to the symbol domain through the inverse IF transform,
$$
\tilde r_t = U^{-1}r_t = F_N\Pi^{-1}r_t.
$$
Because $U$ is unitary, the transformed residual is modeled as
$$
\tilde r_t = s + \tilde z_t^\gamma,\qquad \tilde z_t^\gamma \sim \mathcal{CN}(0,v_{t,t}^\gamma I),
$$
with
$$
v_{t,t}^\gamma \triangleq \frac{1}{N}\mathbb{E}\{\|\gamma_t(X_t)-x\|^2\}.
$$
The paper notes that the inverse IF transform makes the residual noise closer to ideal IID Gaussian, a point illustrated there by a Q-Q plot.

In the IF domain, nonlinear detection is performed symbolwise via MMSE estimation:
$$
\hat{\phi}_t(\tilde r_t)=\mathbb{E}\{s\mid \tilde r_t,\, s\in\mathcal S\},
$$
and the orthogonalized update is
$$
s_{t+1}=\phi_t(\tilde r_t) =\frac{1}{\varepsilon_t^\phi}\big(\hat\phi_t(\tilde r_t)-p_t^\phi \tilde r_t\big).
$$
Its output variance is
$$
v_{t+1,t+1}^\phi \triangleq \frac{1}{N}\mathbb{E}\{\|\phi_t(\tilde r_t)-s\|^2\}.
$$
The refined estimate is then transformed back:
$$
\tilde x_{t+1}=Us_{t+1}=\Pi F_N^H s_{t+1},
$$
and fed again into the memory matched filter.

The phrase “replica MAP-optimal” is used in a specific asymptotic sense. Under right-unitarily invariant matrix assumptions and the OAMP/MAMP framework, the asymptotic fixed point is argued to match the replica prediction for MAP estimation. The paper explicitly treats this as a replica-based optimality notion rather than a finite-dimensional rigorous proof.

## 5. Computational profile and empirical results

The low-complexity claim arises from the detector structure rather than from any simplification of the equivalent channel. CD-MAMP never inverts the dense matrix $H_{\text{eff}}$ directly; instead it works with the sparse physical channel $H$ and applies only unitary FFT-based transforms between domains. Its stated complexity is
$$
\mathcal{O}(PN\mathcal T + 2N\mathcal T\log N),
$$
where $P \ll N$ is the channel tap length and $\mathcal T$ is the iteration count [2405.02604].

The paper compares this with the following detector complexities.

| Detector | Stated complexity |
|---|---|
| LMMSE | $\mathcal{O}(N^3)$ |
| GMP | $\mathcal{O}(N^2\mathcal T)$ |
| CD-OAMP | $\mathcal{O}(N^3\mathcal T + 2N\mathcal T\log N)$ |
| DD-OAMP | $\mathcal{O}(N^3\mathcal T)$ |
| DD-MAMP | $\mathcal{O}(N^2\mathcal T)$ |

Within that comparison set, CD-MAMP is presented as the lowest-complexity advanced detector while still targeting replica-MAP-level behavior.

The numerical results are reported as follows. At 300 km/h, IFDM with CD-MAMP gains about 3 dB over OTFS/AFDM with CD/DD-OAMP and about 9 dB over OTFS/AFDM with DD-MAMP at BER $10^{-5}$. In MIMO, IFDM outperforms OFDM, OTFS, and AFDM by more than 5 dB. For static multipath channels, IFDM achieves up to 16 dB gain relative to the baselines. Even at 500 km/h, it maintains more than 2 dB advantage. The paper emphasizes that the advantage is especially strong in the low-velocity regime, which it attributes to interleaving-induced statistical mixing rather than to mobility-induced diversity.

Runtime results are also reported. For MIMO with 512 subcarriers, CD-MAMP is about 100 times faster than OTFS with CD/DD-OAMP and over 10 times faster than OTFS with DD-MAMP, while being roughly 2 times faster than AFDM with CD-MAMP. For 16QAM, CD-MAMP is reported to be only about 0.1 dB away from CD-OAMP performance but at lower complexity, whereas GMP is 2–5 dB worse and unstable without manually tuned damping [2405.02604].

## 6. Limitations, practical considerations, and research status

The strongest claims attached to IFDM are explicitly qualified in the source. The assertion of “replica MAP/capacity optimal” behavior depends on replica-method predictions and right-unitarily invariant random-matrix assumptions. The paper notes that a full proof for broad unitarily invariant ensembles remains open. Accordingly, the optimality language should be interpreted as asymptotic and theory-guided rather than universally established [2405.02604].

Several implementation issues also remain practical rather than purely theoretical. Because IFDM relies on random interleaving, the interleaver and corresponding deinterleaver must be managed carefully, particularly in coded systems and MIMO configurations. Although CD-MAMP is low-complexity relative to dense-matrix alternatives, it is still iterative and depends on normalization and damping. The paper notes that CD-MAMP uses closed-form damping solutions, contrasting this with heuristic damping in GMP.

The assumed system model also matters. The scheme uses a cyclic prefix long enough to cover the delay spread and practical pulse shaping. The source identifies robustness to synchronization errors, channel estimation errors, and hardware impairments as issues that would require further study. A plausible implication is that IFDM’s dense equivalent-channel philosophy alters the traditional balance between waveform design and equalization design: rather than engineering an easily invertible transformed-domain channel, it engineers a statistically favorable one and then relies on AMP-style inference to recover tractability.

In that sense, IFDM occupies a distinct position among contemporary multicarrier waveforms. OFDM, OTFS, and AFDM are organized around sparsity or diagonalization in an appropriate transform domain. IFDM is organized around dense statistical mixing, with CD-MAMP providing the mechanism that makes such a design operationally feasible [2405.02604].

Source: https://www.emergentmind.com/topics/dmfi