Table of Contents
Fetching ...

Asymptotically Optimal Aperiodic Doppler Resilient Complementary Sequence Sets Via Generalized Quasi-Florentine Rectangles

Zheng Wang, Zhiye Yang, Yang Yang, Avik Ranjan Adhikary, Keqin Feng

TL;DR

This work tackles the design of Doppler-resilient aperiodic DRCS sets for high-mobility channels by introducing generalized quasi-Florentine rectangles, a broader combinatorial framework that extends Florentine and quasi-Florentine structures. It pairs these rectangles with Butson-type Hadamard matrices to construct DRCS sets that achieve asymptotic optimality with respect to established lower bounds on the aperiodic ambiguity function, formalized through the optimality factor $\hat{\rho}$ and the bound $\hat{\theta}_{\max} \ge \sqrt{MN \left( 1 - 2 \sqrt{M/(3KZ_y)} \right)}$. The paper provides rigorous construction theorems showing DRCS sets with parameters $(K,N,L,N,\Pi)$ where $\Pi = (-L,L) \times (-L,L)$, and demonstrates that for certain $N$ the sets are exactly optimal, while in general they are asymptotically optimal as $N$ grows. The results extend the parameter flexibility and set sizes beyond prior work, with explicit corollaries and comparisons that highlight practical gains for ISAC and high-Doppler applications.

Abstract

Doppler-resilient complementary sequence (DRCS) sets play a vital role in modern communication and sensing systems, particularly in high-mobility environments. This work makes two primary contributions. First, we refine the definition of quasi-Florentine rectangles to a more general form,termed generalized quasi-Florentine rectangles, and propose a systematic method for their construction. Second, we propose several sets of aperiodic DRCS based on generalized quasi Florentine rectangles and Butson-type Hadamard matrices. The proposed aperiodic DRCS sets are shown to be asymptotically optimal with respect to the lower bound of aperiodic DRCS sets.

Asymptotically Optimal Aperiodic Doppler Resilient Complementary Sequence Sets Via Generalized Quasi-Florentine Rectangles

TL;DR

This work tackles the design of Doppler-resilient aperiodic DRCS sets for high-mobility channels by introducing generalized quasi-Florentine rectangles, a broader combinatorial framework that extends Florentine and quasi-Florentine structures. It pairs these rectangles with Butson-type Hadamard matrices to construct DRCS sets that achieve asymptotic optimality with respect to established lower bounds on the aperiodic ambiguity function, formalized through the optimality factor and the bound . The paper provides rigorous construction theorems showing DRCS sets with parameters where , and demonstrates that for certain the sets are exactly optimal, while in general they are asymptotically optimal as grows. The results extend the parameter flexibility and set sizes beyond prior work, with explicit corollaries and comparisons that highlight practical gains for ISAC and high-Doppler applications.

Abstract

Doppler-resilient complementary sequence (DRCS) sets play a vital role in modern communication and sensing systems, particularly in high-mobility environments. This work makes two primary contributions. First, we refine the definition of quasi-Florentine rectangles to a more general form,termed generalized quasi-Florentine rectangles, and propose a systematic method for their construction. Second, we propose several sets of aperiodic DRCS based on generalized quasi Florentine rectangles and Butson-type Hadamard matrices. The proposed aperiodic DRCS sets are shown to be asymptotically optimal with respect to the lower bound of aperiodic DRCS sets.
Paper Structure (10 sections, 13 theorems, 49 equations, 1 figure, 6 tables)

This paper contains 10 sections, 13 theorems, 49 equations, 1 figure, 6 tables.

Key Result

Lemma 1

For an aperiodic $\left(K, M, N, \hat{\theta}_{\max }, \Pi\right)$-DRCS set, where $\Pi=\left(-Z_x, Z_x\right) \times\left(-Z_y, Z_y\right), 1 \leq Z_x, Z_y \leq N$, the lower bound of the aperiodic AF magnitude is given by where $K > \frac{3M}{Z_y}$ and $N \sqrt{\frac{3M}{KZ_y}} \leq Z_x \leq N$.

Figures (1)

  • Figure 1: A glimpse of the aperiodic auto-AF and cross-AF of the sequence set $\mathcal{C}$ in Example \ref{['ex1']}.

Theorems & Definitions (30)

  • Lemma 1: wang2025doppler
  • Definition 1: Optimality Factor
  • Definition 2: had1973complex
  • Remark 1
  • Lemma 2: had1973complex
  • Definition 3
  • Example 1
  • Remark 2
  • Lemma 3: song1992aspects
  • Lemma 4: adhikary2025periodic
  • ...and 20 more