[논문 리뷰] Derivation of a low multiplicative complexity algorithm for multiplying hyperbolic octonions

Aleksandr Cariow, Galina Cariowa외 1명|arXiv (Cornell University)|2015. 02. 22.

Algebraic and Geometric Analysis참고 문헌 21인용 수 11

한 줄 요약

이 논문은 직접 계산에 필요한 64개의 실수 곱셈과 56개의 덧셈을 사용하는 것과는 달리, 단지 26개의 실수 곱셈과 92개의 실수 덧셈으로 hyperbolic octonion의 곱셈을 수행하는 새로운 알고리즘을 제안한다. 이 방법은 hyperbolic octonion 곱셈의 행렬-벡터 표현을 활용하고, 변환 행렬의 고유한 구조적 분해를 통해 곱셈 복잡도를 낮춘다.

ABSTRACT

We present an efficient algorithm to multiply two hyperbolic octonions. The direct multiplication of two hyperbolic octonions requires 64 real multiplications and 56 real additions. More effective solutions still do not exist. We show how to compute a product of the hyperbolic octonions with 26 real multiplications and 92 real additions. During synthesis of the discussed algorithm we use the fact that product of two hyperbolic octonions may be represented as a matrix - vector product. The matrix multiplicand that participates in the product calculating has unique structural properties that allow performing its advantageous factorization. Namely this factorization leads to significant reducing of the computational complexity of hyperbolic octonions multiplication.

연구 동기 및 목표

• 현재 64개의 실수 곱셈이 필요한 hyperbolic octonion 곱셈을 위한 효율적인 알고리즘이 부족한 문제를 해결하기 위해.
• 관련된 변환 행렬의 구조적 성질을 활용하여 hyperbolic octonion 곱셈의 계산 복잡도를 감소시키기 위해.
• 정확성과 효율성을 유지하면서 최소한의 곱셈 복잡도를 갖는 실용적인 알고리즘을 도출하기 위해.
• hyperbolic octonion 곱셈의 행렬 표현을 체계적으로 분해하여 최적화를 가능하게 하는 방법을 제공하기 위해.

제안 방법

• 곱셈 규칙을 코딩한 행렬을 사용하여 두 hyperbolic octonion의 곱을 행렬-벡터 곱으로 표현하기.
• 변환 행렬의 구조적 성질을 분석하여 이용 가능한 대칭성과 중복성을 식별하기.
• 희소하거나 구조적인 행렬의 곱으로 변환 행렬을 분해하여 필요한 곱셈 수를 감소시키기.
• 알제브라적 최적화를 통해 중간 항의 재사용을 전략적으로 계획하여 곱셈 수를 최소화하면서도 최종 결과를 재구성하기.
• 표준 hyperbolic octonion 곱셈 공식과의 동치성을 확보하여 유도된 알고리즘의 정확성을 검증하기.
• 중간 항의 체계적 조합과 재사용을 통해 덧셈 수를 92로 최적화하면서 곱셈 연산을 최소화하기.

실험 결과

연구 질문

• RQ1 direct 방법의 64개 곱셈보다 낮은 곱셈 복잡도로 hyperbolic octonion 곱셈의 복잡도를 낮출 수 있는가?
• RQ2 hyperbolic octonion 곱셈 행렬의 어떤 구조적 성질이 효율적인 분해를 가능하게 하는가?
• RQ3 덧셈 수를 합리적으로 유지하면서 곱셈 수를 크게 줄일 수 있는가?
• RQ4 hyperbolic octonions와 같이 비결합 대수에서, 행렬 분해 기법을 체계적으로 적용할 수 있는가?

주요 결과

• 제안된 알고리즘은 hyperbolic octonion 곱셈에 필요한 실수 곱셈 수를 64개에서 26개로 줄였다.
• 행렬-벡터 표현과 유효한 분해를 통해 대수적 구조를 유지함으로써 알고리즘의 정확성이 유지된다.
• 실수 덧셈 수는 92개로 증가되었지만, 곱셈 수의 상당한 감소와의 상호 교환은 타당한 것이다.
• 핵심 혁신은 변환 행렬 내 고유한 구조적 성질을 식별하고 이를 효율적인 분해에 활용한 데 있다.
• 비결합 대수일지라도, 행렬 표현을 통해 상당한 알고리즘 최적화가 가능하다는 것이 이 방법을 통해 입증되었다.