선거 결과 정확성 검증을 위한 사후 감사 표본 설계와 적용

초록

본 논문은 사후 선거 감사를 위한 표본 크기 산정 방법들을 종합적으로 검토하고, 위험 제한(Risk‑Limiting) 감사를 위한 새로운 오차 경계와 가중치, 확률 모델을 제시한다. 또한 상세 데이터가 부족한 상황에서도 활용 가능한 두 가지 간단한 표본 크기 추정식을 제공하고, 기존 방법들의 한계를 보완한 네 가지 개선된 계산 절차와 흔히 발생하는 표본 설계 실수를 논의한다.

상세 분석

이 연구는 사후 선거 감사(RLA)의 핵심 목표인 ‘위험 제한’ 개념을 명확히 정의하고, 이를 실현하기 위한 수학적 기반을 재정립한다. 기존 문헌에서는 주로 전체 투표구(또는 ‘감사 단위’)의 크기가 동일하거나, 단일 후보자 선거에 국한된 경우에만 적용 가능한 오차 경계식을 사용해 왔다. 저자는 이러한 제한을 넘어, 감사 단위의 크기가 서로 다르거나 다수당 선거, 다당제·다수당제 혼합형 선거에서도 적용 가능한 일반화된 ‘마진 오차 상한’(margin error bound)을 도출한다. 이 경계는 각 감사 단위의 투표수와 후보자별 득표 차이를 고려해, 최악의 경우에도 감사를 통해 발견될 수 있는 최대 오차를 보수적으로 추정한다.

새롭게 제시된 ‘표본 가중치’와 ‘표본 추출 확률’은 위의 마진 오차 상한에 기반하여, 각 감사 단위가 표본에 포함될 확률을 최적화한다. 즉, 투표수가 많고 오차 가능성이 큰 단위는 높은 가중치를 부여받아 표본에 더 자주 선택되고, 작은 단위는 낮은 가중치를 받아 효율성을 높인다. 이러한 가중치 설계는 기존의 단순 무작위 표본 추출(SRS)이나 ‘확률 비례 표본 추출’(PPS) 방식보다 표본 크기를 최소화하면서도 위험 제한 수준을 유지할 수 있음을 수치 실험을 통해 입증한다.

또한 저자는 실무에서 데이터가 충분히 제공되지 않거나 전문 도구가 부재한 경우를 대비해, 두 가지 ‘간단 추정식’을 제시한다. 첫 번째는 전체 투표수와 예상 마진(승자와 차기 후보자 간 득표 차이)만을 이용해 보수적인 표본 크기를 계산하는 식이며, 두 번째는 평균 감사 단위 크기와 전체 감사 단위 수를 활용해 근사값을 도출하는 식이다. 두 식 모두 위험 제한 수준(예: 5 %)을 입력값으로 받아, 최소한의 표본 규모를 빠르게 산출한다.

논문은 기존의 네 가지 표본 크기 산정 방법—(1) 고정 오차 한계 기반, (2) 베이즈 사후 확률 기반, (3) 시뮬레이션 기반, (4) 혼합형 접근법—을 재검토하고, 앞서 정의한 마진 오차 상한을 적용함으로써 각 방법의 정확도와 효율성을 향상시킨 ‘개선된 방법’ 네 가지를 제시한다. 특히, 베이즈 접근법에 정확한 사전 분포 대신 보수적인 오차 상한을 삽입함으로써 계산 복잡성을 크게 낮추면서도 위험 제한을 보장한다.

마지막으로 저자는 표본 설계 과정에서 흔히 발생하는 실수를 지적한다. 예를 들어, 감사 단위 간 투표수 차이를 무시하고 균등 표본을 추출하거나, 마진 오차를 과소평가해 위험 제한 수준을 실제보다 낮게 설정하는 경우가 있다. 이러한 오류는 감사 결과의 신뢰성을 크게 저하시킬 수 있으므로, 논문은 실무자에게 체크리스트 형태로 예방 조치를 제시한다. 전체적으로 이 논문은 위험 제한 감사의 이론적 토대를 강화하고, 실무 적용성을 높이는 구체적인 도구와 절차를 제공한다.