[논문 리뷰] An algorithm for dividing two complex numbers

Aleksandr Cariow|arXiv (Cornell University)|2016. 08. 26.

Numerical Methods and Algorithms참고 문헌 4인용 수 3

한 줄 요약

이 논문은 복소수 나눗셈을 위한 새로운 알고리즘을 제안하며, 표준 방법에서 실수 곱셈의 수를 네 번에서 세 번으로 줄이고, 덧셈의 수를 세 번에서 여섯 번으로 늘린다. 이 방법은 대수적 변환을 통해 나눗셈 과정을 유리화함으로써 계산 효율성을 높이며, 곱셈 연산이 비용이 많이 드는 하드웨어 구현 및 수치 계산 환경에서 성능상의 이점을 제공한다.

ABSTRACT

In this work a rationalized algorithm for calculating the quotient of two complex numbers is presented which reduces the number of underlying real multiplications. The performing of a complex number division using the naive method takes 4 multiplications, 3 additions, 2 squarings and 2 divisions of real numbers while the proposed algorithm can compute the same result in only 3 multiplications ( or multipliers in hardware implementation case), 6 additions, 2 squarings and 2 divisions of real numbers.

연구 동기 및 목표

• 복소수 나눗셈의 계산 비용, 특히 필요한 실수 곱셈의 수를 줄이는 것.
• 곱셈 연산이 비용이 많이 드는 하드웨어 환경에서의 효율성을 향상시키는 것.
• 정확도를 유지하면서 산술 연산 수를 줄이는 표준 복소수 나눗셈 방법의 유리화된 대안을 제공하는 것.
• 복소수 산술에서 곱셈, 덧셈, 제곱, 나눗셈 간의 균형을 최적화하는 것.
• 임베디드 시스템 및 고성능 컴퓨팅 환경에서 실용적으로 사용할 수 있는 알고리즘을 제시하는 것.

제안 방법

• 알고리즘은 실수 곱셈의 수를 최소화하기 위해 대수적 유리화 기법을 사용해 표준 복소수 나눗셈 공식을 재작성한다.
• 두 복소수의 몫을 유리화된 분수 형태로 표현하여 네 번의 직접 곱셈을 피한다.
• 이 방법은 인수 분해 및 대입 기법을 통해 실수 곱셈을 오직 세 번만 사용해 몫의 실수부와 허수부를 계산한다.
• 알고리즘은 분모 크기의 제곱 두 개를 유지하고, 나눗셈은 두 번으로 그대로 유지하며, 덧셈 수를 여섯 번으로 늘려 연산 수의 균형을 개선한다.
• 식 (a + bi)/(c + di) = [(a c + b d) + i(b c - a d)] / (c² + d²) 에 기반한 접근으로, 전략적 그룹화를 통해 최적화된다.
• 이 방법은 면적과 전력 효율성 측면에서 다이오드가 중요한 하드웨어 환경에서 직접 구현 가능한 설계를 목표로 한다.

실험 결과

연구 질문

• RQ1 복소수 나눗셈에 필요한 실수 곱셈의 수를 표준적인 네 번 이하로 줄일 수 있는가?
• RQ2 복소수 나눗셈에서 곱셈 수를 최소화할 경우 덧셈 및 기타 연산에서 발생하는 상충 관계는 무엇인가?
• RQ3 대수적 유리화 기법을 어떻게 적용해 더 효율적인 복소수 나눗셈 알고리즘을 유도할 수 있는가?
• RQ4 제안된 알고리즘이 하드웨어 또는 임베디드 시스템에서 성능 향상에 어느 정도 기여하는가?
• RQ5 실제 응용 분야에서 덧셈 수 증가를 감안할 때 곱셈 수 감소가 충분히 정당화되는가?

주요 결과

• 제안된 알고리즘은 실수 곱셈의 수를 네 번에서 세 번으로 줄여 계산 효율성에서 뚜렷한 향상을 이룬다.
• 기본 방법과 비교해 덧셈 수가 여섯 번으로 증가했으며, 이는 덱셈과 곱셈 간의 상충 관계를 반영한다.
• 제곱 연산 수는 여전히 두 개로 유지되고, 나눗셈의 수 역시 두 번으로 그대로 유지되며, 이는 복소수 나눗셈 과정에서 본질적인 특성이다.
• 알고리즘은 곱셈 횟수 최적화를 위해 정확도를 유지하므로 자원이 제한된 환경에 적합하다.
• 특히 면적과 전력 소모가 큰 다이오드를 사용하는 하드웨어 환경에서 매우 유리하다.
• 곱셈이 주요 계산 비용을 차지하는 상황에서 전체 연산 수가 최적화되어 있다.