[논문 리뷰] Risk-Limiting Audits for IRV Elections.

Michelle Blom, Peter J. Stuckey외 1명|arXiv (Cornell University)|2019. 03. 20.

Internet Traffic Analysis and Secure E-voting참고 문헌 12인용 수 4

한 줄 요약

이 논문은 즉각 개표 방식(IRV) 선거에 대한 위험 제한 감사 기법을 제안하며, 표본 추출 및 비교 방법을 통해 최소한의 수작업 계산으로도 선거 결과에 대한 높은 신뢰도를 확보한다. 거의 모든 실제 IRV 선거에서, 계산 오류가 발생하지 않았다면 감사에 필요한 표본 수는 전체 표본의 아주 소수에 불과하다.

ABSTRACT

Risk-limiting post election audits guarantee a high probability of correcting incorrect election results, independent of why the result was incorrect. Ballot-polling audits select ballots at random and interpret those ballots as evidence for and against the reported result, continuing this process until either they support the recorded result, or they fall back to a full manual recount. For elections with digitised scanning and counting of ballots, a comparison audit compares randomly selected digital ballots with their paper versions. Discrepancies are referred to as errors, and are used to build evidence against or in support of the recorded result. Risk-limiting audits for first-past-the-post elections are well understood, and used in some US elections. We define a number of approaches to ballot-polling and comparison risk-limiting audits for Instant Runoff Voting (IRV) elections. We show that for almost all real elections we found, we can perform a risk-limiting audit by looking at only a small fraction of the total ballots (assuming no errors were made in the tallying and distribution of votes).

연구 동기 및 목표

• 오류가 발생하지 않은 결과를 수정할 수 있도록 보장하는 신뢰할 수 있고 통계적으로 타당한 IRV 선거 후속 감사 방법을 개발하는 것.
• 이전에 제1후보자제(First-Past-the-Post) 시스템에서 사용된 바 있는 위험 제한 감사 기법을 더 복잡한 IRV 투표 집계 과정으로 확장하는 것.
• 초기 집계 과정에서 오류가 없다는 가정 하에 수작업으로 검토해야 할 표본 수를 최소화하여 감사의 효율성을 확보하는 것.
• 디지털 표본 이미지와 종이 표본 간의 비교를 통해 실용적인 감사 절차를 정의하는 것.
• 대부분의 실제 IRV 선거가 전체 표본의 아주 소수만을 검토함으로써도 높은 신뢰도로 감사할 수 있음을 입증하는 것.

제안 방법

• 랜덤으로 표본을 추출하여, 선거의 모든 선호도 순서 집계 라운드에서 보고된 승자와 일치하는지를 평가함으로써 IRV에 대한 표본 추출 기반 위험 제한 감사를 제안한다.
• 랜덤으로 선택된 디지털 표본 이미지와 원본 종이 표본 간의 교차 검증을 통해 오류를 탐지하는 비교 감사를 도입한다.
• 표본에서 확보한 통계적 증거를 바탕으로 보고된 결과를 확인하거나, 오류가 있는 결과로 보일 경우 전체 수작업 재검토를 유도한다.
• 위험 제한 원칙을 IRV에 적용하여, 잘못된 결과를 수정하지 못할 수 있는 최대 허용 위험 수준을 설정한다.
• 제거 라운드 동안 관찰된 표본의 선호도가 보고된 승자와 일치하는지 여부를 통계적 추론을 통해 평가한다.
• 초기 집계 및 투표 배분 과정에서 오류가 발생하지 않았다는 가정에 기반하여 감사의 효율성을 확보한다.

실험 결과

연구 질문

• RQ1 순차적 제거와 선호도 집계를 포함하는 IRV 선거에 대해 위험 제한 감사 기법을 효과적으로 적용할 수 있는가?
• RQ2 표본 추출 또는 비교 방법 중 어떤 것이 수작업 검토를 최소화하면서도 IRV 결과에 대한 높은 신뢰도를 확보할 수 있는가?
• RQ3 초기 집계 과정에서 오류가 없다는 가정 하에 실제 IRV 선거의 감사 표본 크기는 얼마나 작아질 수 있는가?
• RQ4 전체 표본의 일부만을 사용하여도 정확한 IRV 결과를 신뢰할 수 있는 통계적 기준은 무엇인가?
• RQ5 IRV에 대한 위험 제한 감사는 어떤 조건에서 전체 재검토 없이 완료될 수 있는가?

주요 결과

• 연구한 거의 모든 실제 IRV 선거에서, 초기 집계 과정에 오류가 없다면 전체 표본의 아주 소수만 검토해도 위험 제한 감사를 완료할 수 있다.
• IRV에 대한 표본 추출 및 비교 감사는 실현 가능하며, 선호도 집계에 적합하게 조정된 표준 위험 제한 감사 프레임워크를 활용해 구현할 수 있다.
• 감사 과정은 보고된 승자가 올바르다는 강력한 통계적 증거를 제공하며, 사용자가 정의한 최대 위험 수준(오류 결과를 탐지하지 못할 가능성이 있는 수준)을 충족한다.
• 이 방법은 감사가 효율적이고 확장 가능하며, 대부분의 경우 결과가 올바를 때 전체 재검토를 피할 수 있도록 보장한다.
• 디지털 표본과 종이 표본 간의 불일치는 보고된 결과에 대한 증거나 되어, 추가 검토를 유도하는 데 사용된다.
• 오류 결과의 원인이 무엇이든 간에 감사의 무결성을 유지하여 다양한 IRV 선거 상황에서의 강건성을 확보한다.