[論文レビュー] An Explicit Upper Bound of Generalized Quadratic Gauss Sums and Its Applications for Asymptotically Optimal Aperiodic Polyphase Sequence Design

Huaning Liu, Zilong Liu|arXiv (Cornell University)|Jan 23, 2026

Quasicrystal Structures and Properties被引用数 0

ひとこと要約

論文は Paris の漸近展開と Fibonacci ζ 関数収束を用いて一般化二次高斯和の明示的上界を示し、その上界を用いて Chu および Alltop シーケンスに基づく四つの「秩序最適」不周期ポリフェーズ列セットを構築する。

ABSTRACT

This work is motivated by the long-standing open problem of designing asymptotically order-optimal aperiodic polyphase sequence sets with respect to the celebrated Welch bound. Attempts were made by Mow over 30 years ago, but a comprehensive understanding to this problem is lacking. Our first key contribution is an explicit upper bound of generalized quadratic Gauss sums which is obtained by recursively applying Paris' asymptotic expansion and then bounding it by leveraging the fast convergence property of the Fibonacci zeta function. Building upon this major finding, our second key contribution includes four systematic constructions of order-optimal sequence sets with low aperiodic correlation and/or ambiguity properties via carefully selected Chu sequences and Alltop sequences. For the first time in the literature, we reveal that the full Alltop sequence set is asymptotically optimal for its low aperiodic correlation sidelobes. Besides, we introduce a novel subset of Alltop sequences possessing both order-optimal aperiodic correlation and ambiguity properties for the entire time-shift window.

研究の動機と目的

• Welch bound に関して長年の問題である、漸近的に秩序最適となる不周期ポリフェーズ列セットの設計を動機づける。
• 一般化二次高斯和の明示的上限を導出し、不周期列の厳密な性能保証を可能にする。
• 低い不周期相関・あいまいさ特性を持つ秩序最適な列セットの体系的構築を行う。
• Alltop シーケンス（全体集合）が低い不周期サイドローブに対して漸近的に最適であることを示し、相関とあいまいさの同時秩序最適性を達成する部分集合を提供する。

提案手法

• Paris の漸近展開を S_N(x, theta) に再帰的に適用し、得られる誤差項を評価する。
• 補助誤差関数 E(x, theta) の場合分け対応の誤差制御を導入し、明示的な界を得る。
• Fibonnaci ζ 関数の収束性を利用して誤差項の蓄積を抑え、数値上の界 |S_N(a/q, theta)| < 20.07 sqrt(q) + 3 を導出する。
• Chu および Alltop シーケンスを用いて四つの列族を構築する：Chu ベースの二つの族 C1, C2 および Alltop ベースの二つの族 A1, A2。
• C1 が秩序最適な低相関集合であることを証明する（delta_max ≤ max{21 sqrt(L), 0.35 sqrt(KL)}）。
• C2 が不周期 LAZ 性質を持つ秩序最適集合を提供し theta_max を界取りすることを証明する；A1 は低い不周期サイドローブで漸近的に最適、A2 は相関とあいまいさの同時漸近最適性を時間シフト窓全体で達成する。

実験結果

リサーチクエスチョン

• RQ1 一般化二次高斯和に対して計算可能な明示的上界を得ることは、列設計の指針になるか。
• RQ2 Chu および Alltop シーケンスに基づく、構成的で漸近的に秩序最適な不周期ポリフェーズ列セットを可能にする上界は得られるか。
• RQ3 提案された Chu- および Alltop ベースの列族の相関とあいまいさの性能保証（漸近的）はどのようになるか。

主な発見

• 明示的な界が証明される：|S_N(a/q, theta)| < 20.07 sqrt(q) + 3 for q ≥ 2, N ≤ q, gcd(a,q)=1。
• Chu ベースの構成 C1 および C2 と Alltop ベースの構成 A1 および A2 の四つの秩序最適列族が、制御された不周期相関/あいまいさを持つ。
• C1 は delta_max(C1) ≤ max{21 sqrt(L), 0.35 sqrt(KL)} の低不周期相関を生み出し、特別なケースとして Mow の Chu 共対（K=2）を含む。
• C2 は theta_max(C2) ≤ (1.35 + 2.035/√m) sqrt(L) + 5 という指定パラメータ下で不周期 LAZ の保証を提供。
• Alltop ベースの A1 セットは低い不周期サイドローブに対して漸近的に最適であることが示され、全時間シフト窓にわたり相関とあいまいさの同時漸近最適性を A2 が達成する。