[논문 리뷰] 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)|2026. 01. 23.

Quasicrystal Structures and Properties인용 수 0

한 줄 요약

이 논문은 Paris’ asymptotic expansion과 Fibonacci zeta convergence를 사용하여 일반화된 이차 가우스 합에 대한 명시적 상한을 증명한 다음, 이 상한을 이용해 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 시퀀스(전체 집합)가 낮은 비주기 사이드로브에 대해 점근적으로 최적임을 보이고, 상관 및 모호성에 대해 동시 오더-최적성을 달성하는 부분 집합을 제공한다.]
• method([
• Apply Paris’ asymptotic expansion recursively to S_N(x, theta) and bound the resulting error terms.
• Introduce a scenario-specific error control for the complementary error function E(x, theta) to obtain an explicit bound.
• Exploit Fibonacci zeta function convergence to bound the accumulation of error terms and derive a numerical bound |S_N(a/q, theta)| < 20.07 sqrt(q) + 3.
• Construct four sequence families using Chu and Alltop sequences: two Chu-based families (C1, C2) and two Alltop-based families (A1, A2).
• Prove C1 is an order-optimal low-correlation set (delta_max <= max{21 sqrt(L), 0.35 sqrt(KL)}).
• Prove C2 provides an order-optimal set with aperiodic LAZ properties and bound theta_max; show A1 is asymptotically optimal for low aperiodic sidelobes and A2 achieves simultaneous asymptotic optimality for correlation and ambiguity.]
• research_questions([
• 명시적이고 계산 가능한 일반화된 이차 가우스 합의 상한을 얻어 시퀀스 설계를 안내할 수 있는가?
• Chu 및 Alltop 시퀀스를 기반으로 한 명시적 상한이 점근적으로 오더-최적의 비주기 다상 페이즈 시퀀스 집합을 가능하게 하는가?
• 제안된 Chu- 및 Alltop 기반 시퀀스 집합의 상관 및 모호성 성능 보증(점근적)이 무엇인가?

제안 방법

• Paris’ 점근 확장을 재귀적으로 S_N(x, theta)에 적용하고 결과로 남는 오차 항을 한정한다.
• 보완 오차 함수 E(x, theta)에 대해 시나리오 특정의 오차 제어를 도입하여 명시적 bound를 얻는다.
• Fibonacci zeta 함수 수렴을 활용하여 오차 항의 누적을 제어하고 수치 상한 |S_N(a/q, theta)| < 20.07 sqrt(q) + 3를 도출한다.
• Chu 및 Alltop 시퀀스를 이용해 네 개의 시퀀스 계열을 구성한다: 두 Chu 기반 계열(C1, C2)과 두 Alltop 기반 계열(A1, A2).
• C1이 오더-최적의 저상관 집합임을 보인다(delta_max(C1) ≤ max{21 sqrt(L), 0.35 sqrt(KL)}이며, K=2인 Mow의 Chu 쌍을 특수한 경우로 포함한다).
• C2가 주기적이지 않은 LAZ 특성을 갖는 오더-최적의 집합을 제공하며 theta_max(C2) ≤ (1.35 + 2.035/√m) sqrt(L) + 5의 범위를 갖는 특정 매개변수 하에서 보장한다.
• Alltop 기반의 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는 상관 및 모호성에서 전체 시간 창에 대해 동시에 점근적 최적성을 달성한다.