[논문 리뷰] Exact bounds on the amplitude and phase of the interval discrete Fourier transform in polynomial time

Marco de Angelis|arXiv (Cornell University)|2022. 05. 27.

Numerical Methods and Algorithms인용 수 4

한 줄 요약

이 논문은 간격 이산 푸리에 변환(DFT)의 진폭과 위상에 대한 정확한 경계를 계산하는 다항식 시간 알고리즘의 수학적 기초를 확립한다. 입력 불확실성을 간격으로 모델링하고 복소수 간격 대각선의 민코프스키 합을 사용함으로써 간격 산술에서의 종속성 문제를 완전히 해결하여 각 조화분량에 대해 엄밀하고 볼록한 단일 집합을 보장하며, 복소수 DFT 계산에서 검증된 진폭 및 위상 경계를 가능하게 한다.

ABSTRACT

We elucidate why an interval algorithm that computes the exact bounds on the amplitude and phase of the discrete Fourier transform can run in polynomial time. We address this question from a formal perspective to provide the mathematical foundations underpinning such an algorithm. We show that the procedure set out by the algorithm fully addresses the dependency problem of interval arithmetic, making it usable in a variety of applications involving the discrete Fourier transform. For example when analysing signals with poor precision, signals with missing data, and for automatic error propagation and verified computations.

연구 동기 및 목표

• 이산 푸리에 변환(DFT)의 진폭과 위상에 대한 정확한 경계를 계산하는 간격 알고리즘의 공식적인 수학적 기초를 제공하는 것.
• 입력 불확실성 하에서 DFT를 계산할 때 간격 산술에서의 종속성 문제를 다루는 것.
• 간격 DFT의 단일 집합이 볼록임을 보이고, 중첩된 민코프스키 덧셈을 통해 계산될 수 있음을 보여주는 것.
• 정밀도가 떨어지거나 데이터가 누락되거나 불확실한 신호 처리 응용 분야에서 엄밀하고 검증 가능한 계산을 가능하게 하는 것.
• DFT 기반 신호 분석에서 자동 오차 전파와 검증 가능한 수치 계산을 지원하는 것.

제안 방법

• 입력 신호를 ℝ^N 내의 간격 벡터로 모델링하여 구간으로 제한된 구간을 통해 불확실성을 표현한다.
• DFT를 간격 값 입력과 고정된 복소수 푸리에 계수의 복소수 내적으로 표현한다.
• DFT 합의 각 항을 복소평면 내의 복소수 간격 대각선(두 꼭짓점을 가진 볼록 다각형)으로 표현한다.
• 이러한 간격 대각선의 중첩 민코프스키 덧셈을 통해 DFT 출력의 단일 집합을 구성한다.
• 민코프스키 덧셈의 성질을 이용하여 ℂ 내에서 결과 단일 집합의 볼록성과 정확성을 보장한다.
• 민코프스키 덧셈 알고리즘을 사용하여 선형 시간 내에 단일 집합의 꼭짓점을 계산하기 위해 정리 4.13을 적용한다.

실험 결과

연구 질문

• RQ1 입력 불확실성 하에서 DFT를 계산할 때 간격 산술에서의 종속성 문제를 완전히 해결할 수 있는가?
• RQ2 입력 불확실성 하에서 DFT의 진폭과 위상에 대한 정확한 경계를 다항식 시간 내에 계산할 수 있는가?
• RQ3 간격 DFT의 단일 집합은 어떤 기하학적 구조를 보이며, 어떻게 특성화할 수 있는가?
• RQ4 복소수 간격 대각선의 민코프스키 합은 DFT 출력의 전체 범위를 어떻게 표현할 수 있는가?
• RQ5 단일 집합 전역에서 DFT의 위상이 잘 정의되기 위해 충족되어야 할 조건은 무엇인가?

주요 결과

• 간격 DFT의 단일 집합은 복소평면 내의 볼록 다각형이며, 진폭과 위상에 대한 정확하고 엄밀한 경계를 보장한다.
• 단일 집합은 복소수 간격 대각선의 중첩 민코프스키 덧셈으로 계산될 수 있으며, 종속성 정보를 완전히 유지한다.
• 단일 집합의 꼭짓점 수는 최대 2N개이며, 민코프스키 덧셈 알고리즘을 사용해 선형 시간 내에 계산될 수 있다.
• 이 방법은 간격 산술에서의 종속성 문제를 완전히 해결하여 검증 가능하고 엄밀한 DFT 계산을 가능하게 한다.
• 단일 집합이 원점을 포함하는 경우 위상은 정의되지 않으며, 이는 볼록 집합의 기하학적 성질을 통해 감지할 수 있다.
• 이 접근법은 자동 오차 전파를 지원하며, 정밀도가 낮거나 데이터가 누락된 신호에 적용 가능하다.