The Bi-Orthogonality Condition
When Tx and Rx Pulses Disagree
OTFS transmission sends symbol through transmit pulse and receives it via pulse . For the DD grid to be orthogonal in the receive direction β that is, for the transmitted symbol at DD cell to arrive cleanly at cell and not spread across other cells β the pair 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
Bi-Orthogonality Condition
The bi-orthogonality condition for OTFS transmit pulse and receive pulse is where is the cross-ambiguity function:
Physical meaning: a symbol sent at DD cell appears at the receiver filter output at cell and nowhere else. No ISI, no ICI across the DD grid.
Same-pulse case: . Condition becomes β the auto-ambiguity is a Dirac comb.
Theorem: Existence of Bi-Orthogonal Pulse Pairs
A bi-orthogonal pulse pair with compact support in time and frequency exists if and only if the time-frequency product satisfies (Nyquist crammed).
Weyl-Heisenberg system: the collection forms a Riesz basis of iff (critical sampling).
For (over-sampled): pulses can have any shape; bi-orthogonality is trivial. But spectral efficiency drops.
For (under-sampled): bi-orthogonality is impossible. System is inevitably interfered.
Practical OTFS: operates at (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 : they can pick any pulse pair that forms a Riesz basis. Below , 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.
Forward direction
Construct a bi-orthogonal pair via Zak transform. At , the Zak transform is well-defined and invertible (Chapter 2). Choose arbitrary; define via inverse Zak.
Converse
For , the 2D sampling is too dense: each pulse's Fourier transform aliases into its shifted copies. Orthogonality impossible.
Riesz basis
is the critical density for a Weyl-Heisenberg system to span . At this density, unique bi-orthogonality exists.
Key Takeaway
OTFS operates at critical TF sampling . 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
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 . Their cascade (Tx channel Rx) gives a raised-cosine filter β which has zero ISI at integer symbol times.
For OTFS with RRC:
- Time support: (tapered).
- Frequency: .
- Cross-ambiguity at DD grid samples: (bi-orthogonal).
- Roll-off - typical.
Performance: ISI = 0 at perfect sync. ICI reduced by (the "excess" bandwidth relaxes the sampling). Ideal for mobility.
Cost: extra bandwidth for the roll-off transition. For : 35% bandwidth overhead vs brickwall pulses.
Theorem: RRC Bi-Orthogonality Proof
For two RRC filters with roll-off , applied at Tx and Rx, the cascade is a raised-cosine (RC) filter. The RC filter satisfies the Nyquist ISI criterion: 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 , spectral efficiency is 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.
RRC-RRC cascade
Time-domain convolution of two RRC = RC filter (standard result from filter theory).
RC Nyquist property
has zeros at (by construction).
2D extension
OTFS 2D pulse = separable at critical sampling. Each axis independently Nyquist.
Cross-ambiguity
for by the Nyquist property.
Example: RRC Design for a 6G OTFS Deployment
Design RRC filters for 6G OTFS: 100 MHz total bandwidth, delay bins ( kHz per subcarrier), s per symbol. Choose roll-off for optimal ISI-ICI balance.
Critical sampling check
. Exactly critical. Good starting point.
Roll-off choice
Mobility scenario: favor ICI suppression. gives 25% excess bandwidth but 12-15 dB ICI suppression.
Effective bandwidth
Bandwidth with : kHz per subcarrier. MHz β exceeds 100 MHz budget by 25%.
Adjustment
Reduce to 80 delay bins. Each subcarrier: 1.25 MHz. Total: 100 MHz. With , s.
Performance
ISI dB, ICI dB at 120 km/h mobility. Acceptable for 6G target KPIs.
Cross-Ambiguity Function for RRC Pair
2D plot of for an RRC pulse pair. DD grid samples overlaid in red. Shows bi-orthogonality at grid samples and controlled leakage elsewhere. Sliders: roll-off , pulse type.
Parameters
CommIT Recommended Pulse Choices
CommIT group's pulse shape recommendations by scenario:
Static (indoor, BS-BS backhaul): rectangular + CP. Simple. . ICI acceptable (no Doppler).
Low-mobility (pedestrian, km/h): RRC . Minor ICI suppression.
Vehicular (30-150 km/h, 5G NR mmWave): RRC . Balanced ISI/ICI.
High-mobility (HST, 200-500 km/h): RRC . Aggressive ICI suppression. Tolerable 35% bandwidth cost.
LEO satellite (>7000 km/h, extreme Doppler): Gaussian . Best time-frequency concentration. Bandwidth cost but essential for LEO performance.
ISAC (automotive radar + comms): same as vehicular, with tailored . 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).
- β’
Static: rectangular + CP,
- β’
Vehicular: RRC
- β’
HST: RRC
- β’
LEO: Gaussian
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 . Gaussian pair: both Gaussian with matched . 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 ); changing one forces a retune of the other.