행렬 곱 검증을 위한 프리발드스 기법의 간단한 증명

본 논문은 행렬 곱셈 검증 문제, 즉 주어진 n×n 행렬 A, B, C에 대해 AB = C 인지를 확인하는 작업에 프리발드스(Freivalds) 기법을 적용하는 기존 방법을 보다 간단하고 직관적인 증명으로 대체하고자 한다. 서론에서는 “fingerprinting”이라는 용어를 도입하며, 큰 집합 U 에서 원소 x, y 를 비교할 때 직접 비교는 Ω(log |U|) 시간이 소요되지만, 작은 집합 V 로의 무작위 매핑 r: U→V 를 통해 비교하면 오류 확률을 낮출 수 있음을 설명한다. 이 아이디어를 행렬 곱 검증에 적용하면, 무작위 벡터 r 를 이용해 (AB)r 와 Cr 를 비교함으로써 O(n²) 시간 안에 검증이 가능해진다. 논문은 두 개의 주요 정리를 제시한다. **정리 1**은 r 가 {0,1}ⁿ 에서 균등하게 선택된 경우, AB ≠ C 일 때 (AB)r = Cr 가 될 확률이 ≤ ½ 임을 보인다. 증명은 다음과 같다. 먼저 D = AB 라고 두고, D와 C의 열 벡터를 각각 d₁,…,dₙ 와 c₁,…,cₙ 로 표기한다. D와 C가 다르므로 적어도 하나의 열 인덱스 j 가 dⱼ ≠ cⱼ 를 만족한다. 이러한 인덱스들의 집합을 Y 로 정의하고, |Y|≥1 임을 확인한다. (AB)r 와 Cr 가 동일하려면 rᵢ = 0 이어야 하는 인덱스 i∈Y 가 존재한다. rᵢ 가 독립적인 베르누이(½) 변수이므로, 모든 i∈Y 에 대해 rᵢ = 0 가 될 확률은 (½)^{|Y|} ≤ ½ 이다. 따라서 오류 확률은 ½ 이하가 된다. **정리 2**는 r 의 각 성분이 동일한 임의의 확률분포 f(r) 를 따를 때, 오류 확률이 f(r) 로 제한된다고 주장한다. 여기서 f(r) 는 rᵢ 가 0 혹은 1 일 확률을 의미한다. 증명은 정리 1과 동일한 구조를 따르며, P