Delay-Doppler Duality: Simplifying Exact Equalization of Zak-OTFS in Time or in Frequency

Abstract

The Zak-OTFS carrier waveform is a pulse in the delay-Doppler (DD) domain, and given the input-output (I/O) relation at one DD point in a frame, we can predict the I/O relation at all other points. While it is simple to acquire the effective wireless channel with Zak-OTFS, the cost of embracing inter-carrier interference is equalization complexity. The cost of linear minimum mean-square error (LMMSE) equalization grows cubically with the frame size. We describe how to use channel knowledge to reduce equalization complexity. For any pulse shaping filter, and for fractional delays and Dopplers, we show that the DD channel matrix is unitarily similar, through the discrete Zak transform, to a time-domain (TD) matrix that is a weighted sum of cyclic delay and Doppler operators, where the weights are the taps of the effective channel. We also obtain a dual frequency-domain (FD) form through an additional Fourier transform. The TD matrix is banded with a width set by the delay spread that is independent of the Doppler spread, whereas the FD matrix is banded with a width set only by the Doppler spread. We design a receiver that reads off the two widths from the channel estimate, selects the cheaper domain, and solves the banded system exactly, using a bordered Cholesky factorization that treats the quasi-periodic wrap-around without sacrificing degrees of freedom. Filters that decay slowly need a few preconditioned conjugate gradient steps. We show that the complexity of equalization becomes linear in the frame size. Simulations match direct DD-LMMSE error rates with three to four orders of magnitude fewer multiplications. A single receiver handles channels with very different delay and Doppler characteristics.