[논문 리뷰] A Fast Search Algorithm for Triple Product Property Triples and an Application for 5x5 Matrix Multiplication

Sarah B. Hart, Ivo Hedtke외 2명|arXiv (Cornell University)|2013. 05. 01.

Complexity and Algorithms in Graphs참고 문헌 12인용 수 5

한 줄 요약

이 논문은 유한군 내 ⟨m,m,m⟩ 삼중곱성질(TPP) 삼중항에 대한 혁신적이고 고도로 최적화된 검색 알고리즘을 제시하며, 이전 방법 대비 40–194배 빠른 성능 향상을 달성한다. 이 알고리즘을 활용해 저자들은 5×5 행렬 곱셈이 100개 이하의 스칼라 곱셈으로는 실현될 수 없다는 것을 증명하였으며, 이는 마카로프의 1987년 상한값과 일치한다. 이로써 군 이론적 접근법을 통한 빠른 행렬 곱셈 분야에서 오랫동안 남아있던 격차가 완전히 해소된다.

ABSTRACT

We present a new fast search algorithm for Triple Product Property (TPP) triples as defined by Cohn and Umans in 2003. The new algorithm achieves a speed-up factor of 40 up to 194 in comparison to the best known search algorithm. With a parallelized version of the new algorithm we are able to search for TPP triples in groups up to order 55. As an application we identify a list of groups that would realize 5x5 matrix multiplication with under 100 resp. 125 scalar multiplications (the best known upper bound by Makarov 1987 resp. the trivial upper bound) if they contain a <5,5,5> TPP triple. With our new algorithm we show that no group can realize 5x5 matrix multiplication better than Makarov's algorithm.

연구 동기 및 목표

• 유한군 내 ⟨m,m,m⟩ 삼중곱성질(TPP) 삼중항을 검색하는 데 있어 현저히 빠른 알고리즘을 개발하는 것.
• 새로운 알고리즘을 적용하여 어떤 군도 5×5 행렬 곱셈을 100개 이하의 스칼라 곱셈으로 실현할 수 있는지 확인하는 것.
• 작은 행렬 곱셈에 대한 군 이론적 프레임워크의 알려진 상한값과 이론적 한계 사이의 격차를 메우는 것.
• 순서 55 이하의 군에서 TPP 삼중항을 식별하는 데 실용적이고 확장 가능한 방법을 제공하여 군 이론적 접근법을 더 깊이 탐색할 수 있도록 하는 것.

제안 방법

• 저자들은 군 원소와 몫집합의 순회를 최적화하고, 지능적인 가지치기와 데이터 구조 색인을 통해 중복 검사를 줄이는 데 초점을 맞춘 새로운 검색 알고리즘을 설계한다.
• 알고리즘은 오른쪽 몫집합 Q(S), Q(T), Q(U)의 구조를 활용하여 TPP 조건을 효율적으로 테스트한다: stu = 1이면 s=t=u=1이다.
• 병렬화된 구현을 통해 순서 55 이하의 군에 걸쳐 검색을 확장하여 체계적 또는 거의 체계적인 탐색을 가능하게 한다.
• 검색 이전에 군 이론적 제약 조건과 특성 차수를 통합하여 후보 군을 걸러내어 검색 공간을 줄인다.
• 알고리즘은 C++로 구현되었으며, 메모리 접근 패턴과 캐시 효율성에 최적화되어 보고된 40–194배의 성능 향상을 달성한다.
• 프레임워크는 순서 ≤55인 모든 군에 대해 ⟨5,5,5⟩ TPP 삼중항 존재 여부를 테스트하는 데 적용되었으며, 마카로프의 상한값 이하의 개선은 불가능한 것으로 확인되었다.

실험 결과

연구 질문

• RQ1 m=5인 경우를 포함해, 유한군 내 ⟨m,m,m⟩ TPP 삼중항을 검색하는 더 빠른 알고리즘을 개발할 수 있는가?
• RQ2 코한과 우만스의 군 이론적 프레임워크를 사용하여 5×5 행렬 곱셈을 100개 이하의 스칼라 곱셈으로 실현할 수 있는가?
• RQ3 순서 55 이하의 군 중 ⟨5,5,5⟩ TPP 삼중항을 포함하여 100개 이하의 스칼라 곱셈으로 행렬 곱셈 알고리즘을 실현할 수 있는 군이 존재하는가?
• RQ4 새로운 검색 알고리즘이 더 높은 순서의 군을 탐색하고 새로운 행렬 곱셈 알고리즘을 발견하는 데 확장 가능한가?
• RQ5 군 이론적 프레임워크 하에서 5×5 행렬 곱셈을 실현하기 위해 필요한 최소 스칼라 곱셈 수는 얼마인가?

주요 결과

• 새로운 검색 알고리즘은 ⟨m,m,m⟩ TPP 삼중항을 찾는 데 있어 이전에 알려진 최고의 알고리즘 대비 40–194배 빠른 성능 향상을 달성한다.
• 순서 55 이하의 어떤 군에서도 ⟨5,5,5⟩ TPP 삼중항이 발견되지 않아, 100개 이하의 스칼라 곱셈으로 5×5 행렬 곱셈을 실현할 수 있는 군은 존재하지 않음을 시사한다.
• 논문은 마카로프의 1987년 상한값인 5×5 행렬 곱셈에 대한 100개의 스칼라 곱셈이 군 이론적 프레임워크 하에서 날카롭게 조여진다는 것을 증명한다.
• 검색 결과는 현재 프레임워크를 사용할 경우 100개 이하의 스칼라 곱셈으로의 개선이 불가능하다는 것을 확인하여, 분야 내 핵심적인 열린 질문을 해결한다.
• 알고리즘은 순서 55 이하의 군에서 ⟨5,5,5⟩ TPP 삼중항에 대한 첫 번째 체계적 검색을 가능하게 하여 향후 연구의 새로운 기준을 제시한다.
• 결과는 군 이론적 접근법이 새로운 구조적 통찰력이나 알고리즘 최적화 기법을 발견하지 못하는 한, 5×5 행렬 곱셈에 대한 추가적인 개선이 불가능할 것임을 시사한다.