Integer vs Fractional Doppler

The Convenient Fiction

Chapters 4-9 presented OTFS under the assumption that each path's Doppler shift Ξ½i\nu_i and delay Ο„i\tau_i land exactly on a DD-grid point: Ξ½iT∈Z\nu_i T \in \mathbb{Z} and Ο„iW∈Z\tau_i W \in \mathbb{Z}. The math is clean, the diversity theorem is PP, and the detectors of Chapter 8 achieve it.

The point is that this integer assumption is a convenient fiction. Real channels produce paths with arbitrary real-valued Dopplers; each Ξ½iT\nu_i T is almost surely non-integer. When Ξ½iT=kiint+Ο΅i\nu_i T = k_i^{\text{int}} + \epsilon_i with ∣ϡi∣<1/2|\epsilon_i| < 1/2, the path's response in the DD grid is no longer a single point but a smeared response spread across neighboring Doppler bins β€” the inter-Doppler interference (IDI).

This section defines fractional offsets, examines how they arise physically, and motivates the treatment of Sections 2-5.

Definition:

Fractional Delay and Doppler Offsets

A physical path with continuous delay Ο„i\tau_i and Doppler Ξ½i\nu_i decomposes into integer and fractional parts on the (M,N)(M, N) DD grid: Ο„iWβ€…β€Š=β€…β€Šβ„“iint+Ο΅i(Ο„),Ξ½iTβ€…β€Š=β€…β€Škiint+Ο΅i.\tau_i W \;=\; \ell_i^{\text{int}} + \epsilon_i^{(\tau)}, \qquad \nu_i T \;=\; k_i^{\text{int}} + \epsilon_i. with β„“iint,kiint∈Z\ell_i^{\text{int}}, k_i^{\text{int}} \in \mathbb{Z} and ∣ϡi(Ο„)∣,∣ϡi∣<1/2|\epsilon_i^{(\tau)}|, |\epsilon_i| < 1/2. The integer part is the nearest DD grid cell; the fractional part quantifies how far off-grid the path is.

We typically assume Ο΅i(Ο„)=0\epsilon_i^{(\tau)} = 0 (delay resolution Δτ=1/W\Delta\tau = 1/W is fine enough at realistic bandwidths; see Β§1.2) and focus on fractional Doppler Ο΅i\epsilon_i as the dominant effect.

,

Why Delay Is Usually Fine, Doppler Rarely Is

Two asymmetries make fractional Doppler the practical problem, not fractional delay:

  1. Resolution scale: Δτ=1/W\Delta\tau = 1/W (bandwidth-limited); Δν=1/T\Delta\nu = 1/T (frame-duration-limited). At W=10W = 10 MHz, Δτ=100\Delta\tau = 100 ns β€” finer than typical path delay separations. At T=4T = 4 ms, Δν=250\Delta\nu = 250 Hz β€” comparable to or coarser than individual path Dopplers.
  2. Parameter range: Ο„i∈[0,Ο„max⁑]β‰ˆ[0,10 μs]\tau_i \in [0, \tau_{\max}] \approx [0, 10\,\mu\text{s}] gives β„“i∈{0,…,100}\ell_i \in \{0, \ldots, 100\} β€” plenty of integer bins to land on. Ξ½i∈[βˆ’fD,fD]β‰ˆΒ±500\nu_i \in [-f_D, f_D] \approx \pm 500 Hz gives ki∈{βˆ’2,…,2}k_i \in \{-2, \ldots, 2\} β€” only 5 bins to quantize across. A typical path has Ο΅i∈(0,0.5)\epsilon_i \in (0, 0.5) with high probability.

Consequence: fractional delay is usually a perturbation of order <10%< 10\% of the delay resolution; fractional Doppler is routinely 50% of the Doppler resolution. The treatment below focuses on fractional Doppler; analogous arguments handle fractional delay at lower-bandwidth systems.

Theorem: DD Response Under Fractional Doppler

Consider a single path with delay Ο„i=β„“i/W\tau_i = \ell_i/W (integer delay) and Doppler Ξ½i=(ki+Ο΅i)/T\nu_i = (k_i + \epsilon_i)/T with fractional offset Ο΅i\epsilon_i. Let XDD[β„“p,kp]=1X_{DD}[\ell_p, k_p] = 1 be an embedded-pilot impulse. The received DD response is YDD[β„“p+β„“i,kp+k]β€…β€Š=β€…β€Šhi KIDI(kβˆ’ki,Ο΅i)β€…β€Š+β€…β€ŠW[β‹…],Y_{DD}[\ell_p + \ell_i, k_p + k] \;=\; h_i\,K_{\text{IDI}}(k - k_i, \epsilon_i) \;+\; W[\cdot], where the inter-Doppler interference (IDI) kernel is KIDI(k,Ο΅)β€…β€Š=β€…β€Š1N sin⁑(Ο€(kβˆ’Ο΅))sin⁑(Ο€(kβˆ’Ο΅)/N) eβˆ’jΟ€(Nβˆ’1)(kβˆ’Ο΅)/N.K_{\text{IDI}}(k, \epsilon) \;=\; \frac{1}{N}\,\frac{\sin(\pi(k - \epsilon))}{\sin(\pi(k - \epsilon)/N)}\,e^{-j\pi(N - 1)(k - \epsilon)/N}. The kernel magnitude has a peak of ∣KIDI(0,0)∣=1|K_{\text{IDI}}(0, 0)| = 1 at k=0,Ο΅=0k = 0, \epsilon = 0 and falls off as ∣1/(kβˆ’Ο΅)∣|1/(k - \epsilon)| for distant kk β€” a Dirichlet-kernel shape.

A fractional-Doppler path does not produce a clean single-cell response. Instead, its energy spreads across many Doppler bins according to the Dirichlet kernel. At Ο΅=0\epsilon = 0 (integer Doppler), the kernel collapses to Ξ΄k,0\delta_{k, 0} β€” the familiar integer case. At Ο΅=0.5\epsilon = 0.5 (worst case), the kernel is evenly split between k=0k = 0 and k=1k = 1, with ∼40%\sim 40\% spillover to k=βˆ’1,2k = -1, 2.

This smearing is the single most important practical correction to the clean Chapter 4 theory. The rest of this chapter develops methods to handle it.

Key Takeaway

Fractional Doppler smears path energy across Doppler bins according to a Dirichlet kernel. A single path no longer produces a single DD-grid response; it produces a sinc-shaped pattern centered at the nearest integer bin, with energy leaking to Β±1,Β±2,…\pm 1, \pm 2, \ldots neighbors. At Ο΅=0.5\epsilon = 0.5 (worst case), the leakage is roughly 40%40\% to neighbors. This is the fundamental OTFS problem addressed throughout this chapter.

Fractional Doppler and the IDI Kernel

The IDI kernel ∣KIDI(k,ϡ)∣2|K_{\text{IDI}}(k, \epsilon)|^2 as ϡ\epsilon sweeps from 0 to 0.5. At ϡ=0\epsilon = 0: main lobe captures all energy. As ϡ\epsilon grows: main lobe shrinks, sidelobes appear at k=±1,±2k = \pm 1, \pm 2. This is the source of inter-Doppler interference and the motivation for fractional-aware detection.

Inter-Doppler Interference Kernel ∣KIDI(k,ϡ)∣2|K_{\text{IDI}}(k, \epsilon)|^2

Plot the IDI kernel magnitude as a function of Doppler offset kk for several fractional values ϡ∈{0,0.1,0.25,0.5}\epsilon \in \{0, 0.1, 0.25, 0.5\}. At ϡ=0\epsilon = 0, perfect single-bin localization. As ϡ\epsilon grows, the kernel spreads, and at ϡ=0.5\epsilon = 0.5 the energy is evenly split between k=0k = 0 and k=1k = 1. Observe the sinc-like sidelobe structure that decays as 1/k21/k^2.

Parameters
0.25
16
5

Example: Fractional Doppler in a Vehicular Channel

A vehicle at v=60v = 60 km/h at 3.5 GHz produces a single-LOS-path Doppler Ξ½1=195\nu_1 = 195 Hz. The OTFS frame has T=2T = 2 ms. Compute (β„“1int,k1int,Ο΅1)(\ell_1^{\text{int}}, k_1^{\text{int}}, \epsilon_1), and estimate the IDI power fraction to neighboring bins.

⚠️Engineering Note

When to Worry About Fractional Doppler

Fractional Doppler is consequential when:

  • fDT≳1f_D T \gtrsim 1: the maximum Doppler index covers more than one bin. Very common at vehicular mobility (100 km/h at 3.5 GHz, T=2T = 2 ms gives fDTβ‰ˆ0.65f_D T \approx 0.65).
  • Single-path dominant channel: when LOS accounts for β‰₯70%\geq 70\% of channel energy, fractional offsets in the single dominant path dominate detection error.
  • Low SNR operation: at SNR <10< 10 dB, the IDI sidelobes mask paths that would otherwise be detected. Threshold-based estimators fail silently.
  • Long frames: LEO satellite with T=10T = 10 ms pushes fDTf_D T into the tens β€” deeply fractional regime.

Fractional Doppler is not critical when:

  • Short frames: T<0.5T < 0.5 ms keeps fDTβ‰ͺ1f_D T \ll 1 for typical terrestrial channels; rounding to the nearest integer bin is adequate.
  • Rich multipath: when many paths have IDI, the leakage averages out across DD cells and the per-cell impact is modest.

The rule of thumb: integer-Doppler assumption is fine for single-OFDM-symbol frames (N=1N = 1), degrades at N∈[4,16]N \in [4, 16], becomes unusable at Nβ‰₯32N \geq 32.

Practical Constraints
  • β€’

    Integer assumption valid when fDT≀0.2f_D T \leq 0.2

  • β€’

    IDI becomes 30%+ of signal when fDT>0.5f_D T > 0.5

  • β€’

    Frame duration TT is the lever β€” larger TT means finer Doppler but worse IDI

Integer vs Fractional Doppler: Summary

AspectInteger DopplerFractional Doppler
Channel response at pathSingle DD cellDirichlet kernel across ~5 cells
Detector complexitySparse sum over PP pathsDense coupling across 5-10 cells per path
Diversity order (§9 result)PPmin⁑(P,kmax⁑)\min(P, k_{\max})
Pilot estimationSingle threshold testInterpolation / super-resolution
PrevalenceOnly under special geometryGeneric case
Practical impactIdeal baselineReal-world mitigation needed
TreatmentChapters 4-9This chapter

IDI Kernel in the Doppler Axis

IDI Kernel in the Doppler Axis
The inter-Doppler interference kernel ∣KIDI(k,Ο΅)∣2|K_{\text{IDI}}(k, \epsilon)|^2 as a function of Doppler bin offset kk for several fractional offsets. At Ο΅=0\epsilon = 0: single spike at k=0k = 0. At Ο΅=0.5\epsilon = 0.5: bimodal split between k=0k = 0 and k=1k = 1 with significant sidelobes. The kernel magnitude is bounded by 11 at the main lobe and decays as 1/k21/k^2 at distant bins β€” a classic Dirichlet / sinc pattern.