유리 행렬 행렬식의 정확한 적응형 알고리즘을 향하여

초록

본 논문에서는 유리 행렬의 행렬식을 정확히 계산하기 위한 여러 전략을 제안한다. 먼저, 중국 나머지 정리와 유리 복원을 이용해 모듈러 이미지로부터 유리 행렬식을 복원한다. 이어서, 행렬식에 대한 전처리를 통해 유리 복원 과정을 생략하고 정수 결과를 직접 복원하는 방법을 제시한다. 또한, 유리 행렬을 정수 행렬로 변환하는 전처리 방식을 비교하여 정수 행렬식 알고리즘을 유리 행렬식 문제에 적용한다. 특히, 기존 연구

상세 요약

이 논문은 유리 행렬식의 정확한 계산이라는 고전적인 문제에 대해 현대 컴퓨터 대수학적 접근을 체계적으로 정리한다. 첫 번째 핵심 아이디어는 중국 나머지 정리(CRT)를 활용해 행렬식을 여러 소수 모듈러 체계에서 계산하고, 이를 통해 얻은 잉여 정보를 기반으로 유리 복원(rational reconstruction) 과정을 거쳐 원래의 유리값을 복원하는 것이다. 이 방법은 기존에 정수 행렬식 계산에 널리 쓰이던 CRT 기반 알고리즘을 유리 행렬에 그대로 적용할 수 있게 해 주지만, 복원 단계에서 분모와 분자를 동시에 추정해야 하는 추가 비용이 발생한다.

두 번째 전략은 행렬식 자체를 전처리(preconditioning)하여 분모를 미리 제거하고, 결과를 정수 형태로 만들 수 있도록 하는 것이다. 구체적으로, 행렬의 모든 원소를 공통 분모의 배수로 스케일링하거나, 행렬식의 분모를 행렬의 행/열 최소공배수와 연관시켜 정수값만을 남긴다. 이렇게 하면 복원 단계가 생략되고, 정수 CRT만으로 최종 결과를 얻을 수 있어 계산량이 크게 감소한다.

세 번째 접근은 유리 행렬을 정수 행렬로 변환하는 전처리 방법을 도입한다. 행렬의 각 원소를 공통 분모로 곱해 정수 행렬을 만든 뒤, 기존의 고성능 정수 행렬식 알고리즘—특히 LinBox에 구현된 적응형 알고리즘