The Bi-Orthogonality Condition

When Tx and Rx Pulses Disagree

OTFS transmission sends symbol s[β„“,m]s[\ell, m] through transmit pulse gtxg_{\mathrm{tx}} and receives it via pulse grxg_{\mathrm{rx}}. For the DD grid to be orthogonal in the receive direction β€” that is, for the transmitted symbol at DD cell (β„“,m)(\ell, m) to arrive cleanly at cell (β„“,m)(\ell, m) and not spread across other cells β€” the pair (gtx,grx)(g_{\mathrm{tx}}, g_{\mathrm{rx}}) must satisfy the bi-orthogonality condition. This is the formal counterpart of the Nyquist ISI criterion in single-carrier systems, lifted to the 2D DD plane.

,

Definition:

Bi-Orthogonality Condition

The bi-orthogonality condition for OTFS transmit pulse gtxg_{\mathrm{tx}} and receive pulse grxg_{\mathrm{rx}} is Agrx,gtx(β„“Ts,mWs)β€…β€Š=β€…β€ŠΞ΄[β„“,m],β„“,m∈Z,A_{g_{\mathrm{rx}}, g_{\mathrm{tx}}}(\ell T_s, m W_s) \;=\; \delta[\ell, m], \qquad \ell, m \in \mathbb{Z}, where Agrx,gtx(Ο„,Ξ½)A_{g_{\mathrm{rx}}, g_{\mathrm{tx}}}(\tau, \nu) is the cross-ambiguity function: Agrx,gtx(Ο„,Ξ½)β€…β€Š=β€…β€Šβˆ«grx(t)βˆ—gtx(tβˆ’Ο„)ej2πνtdt.A_{g_{\mathrm{rx}}, g_{\mathrm{tx}}}(\tau, \nu) \;=\; \int g_{\mathrm{rx}}(t)^* g_{\mathrm{tx}}(t - \tau) e^{j 2\pi \nu t} dt.

Physical meaning: a symbol sent at DD cell (β„“0,m0)(\ell_0, m_0) appears at the receiver filter output at cell (β„“0,m0)(\ell_0, m_0) and nowhere else. No ISI, no ICI across the DD grid.

Same-pulse case: gtx=grx=gg_{\mathrm{tx}} = g_{\mathrm{rx}} = g. Condition becomes Ag,g(β„“Ts,mWs)=Ξ΄[β„“,m]A_{g, g}(\ell T_s, m W_s) = \delta[\ell, m] β€” the auto-ambiguity is a Dirac comb.

,

Theorem: Existence of Bi-Orthogonal Pulse Pairs

A bi-orthogonal pulse pair (gtx,grx)(g_{\mathrm{tx}}, g_{\mathrm{rx}}) with compact support in time and frequency exists if and only if the time-frequency product satisfies TsWs=1T_s W_s = 1 (Nyquist crammed).

Weyl-Heisenberg system: the collection {gtx(tβˆ’β„“Ts)ej2Ο€mWst}β„“,m\{g_{\mathrm{tx}}(t - \ell T_s) e^{j 2\pi m W_s t}\}_{\ell, m} forms a Riesz basis of L2(R)L^2(\mathbb{R}) iff TsWs=1T_s W_s = 1 (critical sampling).

For TsWs>1T_s W_s > 1 (over-sampled): pulses can have any shape; bi-orthogonality is trivial. But spectral efficiency drops.

For TsWs<1T_s W_s < 1 (under-sampled): bi-orthogonality is impossible. System is inevitably interfered.

Practical OTFS: operates at TsWs=1T_s W_s = 1 (or slightly above for safety). Uses Hermite, Gaussian, or RRC pulses that achieve near-bi-orthogonality.

The existence result formalizes why OTFS designers have so much freedom at critical sampling TsWs=1T_s W_s = 1: they can pick any pulse pair that forms a Riesz basis. Below TsWs=1T_s W_s = 1, no such pair exists, and OTFS necessarily leaks. Above, the pulses are "easy" but spectral efficiency suffers. This is the counterpart of Nyquist's theorem for 2D DD signaling.

,

Key Takeaway

OTFS operates at critical TF sampling TsWs=1T_s W_s = 1. This is the design sweet spot: ideal bi-orthogonality exists (with the right pulse choice), and spectral efficiency is maximized. Departures cost either bi-orthogonality (sub-critical) or spectral efficiency (super-critical).

Definition:

RRC Bi-Orthogonal Pair

Root-raised cosine pair: widely-used bi-orthogonal design. Transmit and receive are both root-raised-cosine (RRC) filters with the same roll-off Ξ³\gamma. Their cascade (Tx β†’\to channel β†’\to Rx) gives a raised-cosine filter β€” which has zero ISI at integer symbol times.

For OTFS with RRC:

  • Time support: [βˆ’2Ts,2Ts][-2T_s, 2T_s] (tapered).
  • Frequency: ∣fβˆ£β‰€(1+Ξ³)Ws/2|f| \leq (1 + \gamma) W_s/2.
  • Cross-ambiguity at DD grid samples: Ξ΄\delta (bi-orthogonal).
  • Roll-off Ξ³=0.2\gamma = 0.2-0.350.35 typical.

Performance: ISI = 0 at perfect sync. ICI reduced by Ξ³\gamma (the "excess" bandwidth relaxes the sampling). Ideal for mobility.

Cost: Ξ³β‹…100%\gamma \cdot 100\% extra bandwidth for the roll-off transition. For Ξ³=0.35\gamma = 0.35: 35% bandwidth overhead vs brickwall pulses.

Theorem: RRC Bi-Orthogonality Proof

For two RRC filters with roll-off Ξ³\gamma, applied at Tx and Rx, the cascade is a raised-cosine (RC) filter. The RC filter satisfies the Nyquist ISI criterion: RC(β„“Ts)β€…β€Š=β€…β€ŠΞ΄β„“.\mathrm{RC}(\ell T_s) \;=\; \delta_\ell. Equivalently: the cross-ambiguity function of the RRC pair is zero at all non-zero DD grid samples.

Consequence: RRC pair is bi-orthogonal. At critical sampling TsWs=1+Ξ³T_s W_s = 1 + \gamma, spectral efficiency is 1/(1+Ξ³)1/(1 + \gamma) of brickwall.

The raised cosine's zero-crossings at integer sample times is the key to ISI-free single-carrier transmission. In OTFS, the same property extends to 2D: zero-crossings at all DD grid samples except origin. This is why RRC is the natural choice for OTFS β€” and the same reason it dominates DFT-s-OFDM uplink in 5G.

Example: RRC Design for a 6G OTFS Deployment

Design RRC filters for 6G OTFS: 100 MHz total bandwidth, M=128M = 128 delay bins (Ws=780W_s = 780 kHz per subcarrier), Ts=1.28ΞΌT_s = 1.28 \mus per symbol. Choose roll-off Ξ³\gamma for optimal ISI-ICI balance.

Cross-Ambiguity Function for RRC Pair

2D plot of ∣Agrx,gtx(Ο„,Ξ½)∣2|A_{g_{\mathrm{rx}}, g_{\mathrm{tx}}}(\tau, \nu)|^2 for an RRC pulse pair. DD grid samples overlaid in red. Shows bi-orthogonality at grid samples and controlled leakage elsewhere. Sliders: roll-off Ξ³\gamma, pulse type.

Parameters
0.35
πŸ”§Engineering Note

CommIT Recommended Pulse Choices

CommIT group's pulse shape recommendations by scenario:

Static (indoor, BS-BS backhaul): rectangular + CP. Simple. Ξ³=0\gamma = 0. ICI acceptable (no Doppler).

Low-mobility (pedestrian, <10< 10 km/h): RRC Ξ³=0.15\gamma = 0.15. Minor ICI suppression.

Vehicular (30-150 km/h, 5G NR mmWave): RRC Ξ³=0.25\gamma = 0.25. Balanced ISI/ICI.

High-mobility (HST, 200-500 km/h): RRC Ξ³=0.35\gamma = 0.35. Aggressive ICI suppression. Tolerable 35% bandwidth cost.

LEO satellite (>7000 km/h, extreme Doppler): Gaussian Οƒ=0.3Ts\sigma = 0.3 T_s. Best time-frequency concentration. Bandwidth cost ∼40%\sim 40\% but essential for LEO performance.

ISAC (automotive radar + comms): same as vehicular, with tailored Ξ³=0.2βˆ’0.35\gamma = 0.2-0.35. Ambiguity function tuned for sensing (Chapter 11).

Deployment: CommIT reference designs use these per-scenario defaults. Adaptive pulse selection in 6G gNB (picks per UE based on profile).

Practical Constraints
  • β€’

    Static: rectangular + CP, Ξ³=0\gamma = 0

  • β€’

    Vehicular: RRC Ξ³=0.25\gamma = 0.25

  • β€’

    HST: RRC Ξ³=0.35\gamma = 0.35

  • β€’

    LEO: Gaussian Οƒ=0.3Ts\sigma = 0.3 T_s

Common Mistake: Tx and Rx Pulses Must Be Designed Together

Mistake:

Picking transmit pulse optimally without considering the receive filter. Bi-orthogonality is a property of the pair, not the individual pulses.

Correction:

Design Tx and Rx pulses jointly. For RRC pair: both Tx and Rx are RRC with the same Ξ³\gamma. Gaussian pair: both Gaussian with matched Οƒ\sigma. Hermite pair: matched orders. Adjusting one without the other breaks bi-orthogonality and introduces interference. Commercial OTFS implementations fix both Tx and Rx to a single reference pulse (e.g., RRC Ξ³=0.25\gamma = 0.25); changing one forces a retune of the other.