MIMO-OTFS Channel: The Delay-Doppler-Angle Tensor

From DD to DD-Angle

Chapter 12 treated each target as a point in the delay-Doppler plane: a pair (τi,νi)(\tau_i, \nu_i) with complex amplitude aia_i. That description is complete for a single-antenna transceiver, which can tell how far a scatterer is and how fast it is moving, but cannot tell in which direction it lies. With an antenna array, the third question becomes answerable. The channel becomes a tensor in three dimensions — delay, Doppler, and angle — and the ISAC optimization problem grows a spatial dimension. This section sets up that tensor and states the MIMO DD input-output relation.

,

Definition:

MIMO Delay-Doppler Channel

Consider a transceiver with NtN_t transmit antennas, NrN_r receive antennas, and a scatter environment of PP resolvable paths. Path ii has delay τi\tau_i, Doppler νi\nu_i, angle of departure ϕi\phi_i (azimuth at the transmitter), angle of arrival θi\theta_i (azimuth at the receiver), and complex gain aia_i.

The MIMO delay-Doppler spreading function is the tensor-valued map H(τ,ν)  =  i=1Paiar(θi)at(ϕi)Hδ(ττi)δ(ννi),\mathbf{H}(\tau, \nu) \;=\; \sum_{i=1}^{P} a_i \,\mathbf{a}_r(\theta_i)\,\mathbf{a}_t(\phi_i)^H \,\delta(\tau - \tau_i)\, \delta(\nu - \nu_i), taking values in CNr×Nt\mathbb{C}^{N_r \times N_t}. Here at(ϕ)CNt\mathbf{a}_t(\phi) \in \mathbb{C}^{N_t} and ar(θ)CNr\mathbf{a}_r(\theta) \in \mathbb{C}^{N_r} are the transmit and receive array response vectors — for a uniform linear array with half-wavelength spacing, [a(ϕ)]n=ejπnsinϕ[\mathbf{a}(\phi)]_n = e^{j\pi n\sin\phi}.

The MIMO DD input-output relation is y(τ,ν)  =  H(τ,ν)x(ττ,νν)dτdν+w(τ,ν),\mathbf{y}(\tau, \nu) \;=\; \iint \mathbf{H}(\tau', \nu')\, \mathbf{x}(\tau-\tau', \nu-\nu')\, d\tau'\, d\nu' \,+\, \mathbf{w}(\tau, \nu), with x(τ,ν)CNt\mathbf{x}(\tau, \nu) \in \mathbb{C}^{N_t} the DD transmit signal and y(τ,ν)CNr\mathbf{y}(\tau, \nu) \in \mathbb{C}^{N_r} the DD receive signal.

,

The Three Signal Dimensions

The MIMO DD channel lives in three dimensions: delay τ\tau (discretized to MM bins by bandwidth WW), Doppler ν\nu (discretized to NN bins by frame duration TT), and angle θ,ϕ\theta, \phi (sampled coarsely by the array aperture — angular resolution 2/Nt\sim 2/N_t at the transmitter, 2/Nr2/N_r at the receiver). The channel is still sparse: PP paths place PP points in the M×N×min(Nt,Nr)M \times N \times \min(N_t, N_r) cube. Sparsity is more pronounced than in SISO OTFS because a path that separates in angle need no longer be resolved in delay or Doppler for the receiver to disambiguate it.

Theorem: MIMO-OTFS Channel Parameter Count

The discrete MIMO-OTFS channel over a frame of MNMN DD cells and Nr×NtN_r \times N_t antennas is described by P(1+1+1+2+2)  =  7PP \cdot (1 + 1 + 1 + 2 + 2) \;=\; 7P real parameters: PP complex gains (2P2P real), PP delays, PP Dopplers, PP AoDs, PP AoAs. The full time-varying MIMO channel matrix has NrNtMN2N_r N_t MN \cdot 2 real degrees of freedom.

For a representative automotive scenario (P=6,M=N=64,Nt=Nr=8)(P = 6, M = N = 64, N_t = N_r = 8), the DD-angle parameter count is 4242 versus 524,288524{,}288four orders of magnitude fewer parameters. This is the sparsity the DD-angle representation exposes.

The point is that MIMO does not add complexity proportional to Nt×NrN_t \times N_r; it adds exactly 4P4P new real numbers — two angles per path. This is why the MIMO-OTFS estimator has tractable sample complexity even when the nominal MIMO channel matrix is enormous. The DD-angle representation collapses the combinatorial explosion of time-varying MIMO channels into a handful of geometric parameters.

,

Key Takeaway

MIMO-OTFS is extremely sparse. The channel has 7P7P degrees of freedom, independent of MNNtNrMN N_t N_r. This is the single most important fact driving low-overhead estimation, compressed-sensing channel acquisition, and tractable joint beamforming in the chapters that follow.

Definition:

Discrete MIMO DD Input-Output

With integer delay/Doppler offsets (i,ki)(\ell_i, k_i), the discrete MIMO DD input-output relation at the (,k)(\ell, k) cell is y[,k]  =  i=1Paiar(θi)at(ϕi)Hx[i,kki]ej2πνii/(MN)+w[,k].\mathbf{y}[\ell, k] \;=\; \sum_{i=1}^{P} a_i \,\mathbf{a}_r(\theta_i)\,\mathbf{a}_t(\phi_i)^H \,\mathbf{x}[\ell - \ell_i, k - k_i]\, e^{-j2\pi\nu_i \ell_i / (MN)} \,+\, \mathbf{w}[\ell, k]. Stacking into vectors y,xCMNNr\mathbf{y}, \mathbf{x} \in \mathbb{C}^{MN N_r} (or MNNtMN N_t), this becomes y  =  HDDx+w,\mathbf{y} \;=\; \mathbf{H}_{DD}\, \mathbf{x} \,+\, \mathbf{w}, with HDDCMNNr×MNNt\mathbf{H}_{DD} \in \mathbb{C}^{MN N_r \times MN N_t} a structured block-sparse matrix with PP nonzero blocks.

Example: Automotive MIMO-OTFS Channel Count

A 77 GHz automotive ISAC transceiver has Nt=Nr=16N_t = N_r = 16 antennas, a frame with M=256M = 256, N=32N = 32, and a scene with P=8P = 8 scatterers (vehicles, pedestrians, road infrastructure).

(a) Count the DD-angle parameters. (b) Count the full time-varying MIMO channel degrees of freedom. (c) Compute the compression ratio.

,

MIMO-OTFS Channel Tensor: Delay × Doppler × Angle

Visualize the PP resolvable paths as points in the 3D (τ,ν,θ)(\tau, \nu, \theta) cube. Move sliders for PP (number of paths), AoA spread, and Doppler spread to see how the sparse scene fills the cube. Compare with the dense TF-space representation's parameter count.

Parameters
6
45
800
8

Theorem: Beam-Doppler Coupling

For an ISAC transceiver tracking a target moving with radial velocity vrv_r at angle θ\theta, the Doppler ν=(2vr/λ)\nu = (2 v_r/\lambda) and the angle θ\theta are physically coupled: the same target generates joint (ν,θ)(\nu, \theta) observations.

Consequence. The rank-one model Hi  =  aiar(θi)at(ϕi)Hδ(ττi)δ(ννi)\mathbf{H}_{i} \;=\; a_i \mathbf{a}_r(\theta_i) \mathbf{a}_t(\phi_i)^H \,\delta(\tau - \tau_i)\,\delta(\nu - \nu_i) exploits this coupling: the estimator of θi\theta_i is correlated with the estimator of νi\nu_i through the joint observation. This correlation is quantified by the off-diagonal Fisher information JθνJ_{\theta\nu}, derived in §3.

A target at angle θ\theta moving with velocity vrv_r at that angle radiates the same complex waveform from the array into a specific DD bin. The receiver sees one scattered copy, not two. So the information about θ\theta and ν\nu is mixed in the observation. Exploiting this mixing — rather than estimating θ\theta and ν\nu separately — is the essence of MIMO-OTFS sensing.

Common Mistake: Do Not Force the Angle onto a Grid

Mistake:

Treating AoAs/AoDs as discretized like delays and Dopplers, setting θi{2πk/Nr}k=0Nr1\theta_i \in \{2\pi k/N_r\}_{k=0}^{N_r-1}. This replaces a continuous parameter with a grid and incurs discretization bias that grows as 1/Nr1/N_r — severe for small arrays (Nt=Nr=8N_t = N_r = 8 has 12°\sim 12° grid spacing).

Correction:

Treat angles as continuous parameters and estimate them via super-resolution (Newton iteration on the beamforming gain) or compressed-sensing algorithms (OMP, ANM). The DD delays/Dopplers are grid-aligned (enforced by the OTFS structure) but angles are not. Distinguishing the two is essential for correct algorithm design.

⚠️Engineering Note

Array Calibration for OTFS-ISAC

MIMO-OTFS-ISAC is sensitive to array calibration errors — unknown per-element gain and phase offsets. Practical implications:

  • Communication: The precoder F\mathbf{F} is set using the estimated channel and therefore compensates for calibration errors automatically. Comms performance is robust.
  • Sensing: The AoA/AoD estimates depend directly on the array manifold. A 1° calibration error in the array response translates to a 1° error in every estimated angle.

Engineering practice: run a calibration phase (known pilot from a reference direction) at boot and periodically during operation (e.g., every few seconds for automotive). Kalibration techniques from classical radar (MUSIC with calibration model) apply.

Practical Constraints
  • Comms: robust to calibration (precoder absorbs the error)

  • Sensing: angle errors propagate 1-for-1 from calibration

  • Practical: calibration phase at boot + periodic refresh

Why This Matters: Connection: Telecom Ch. 18-19 MIMO, DD Extension

Telecom Chapter 18 introduced MIMO precoding (SVD, water-filling, BD) under the assumption that the channel matrix H\mathbf{H} is time-invariant within a coherence window. Chapter 19 introduced MIMO-OFDM: apply the SISO-OFDM trick per subcarrier. The MIMO-OTFS framework here neither assumes coherence nor works per subcarrier — it works on the DD grid, where the channel is genuinely sparse even under high Doppler. The precoding design in §2 is a DD-domain generalization of the TF-domain designs you know from Telecom 18-19.