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

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

Simulation Techniques and Applications참고 문헌 12인용 수 9

한 줄 요약

이 논문은 즉각적 투표(Instant Runoff Voting, IRV) 선거에서 위험 제한 감사(Risk-limiting Audits, RLAs)를 위한 첫 번째 실용적 프레임워크인 RAIRE를 소개한다. RAIRE는 첫 번째 후보자 승리 제도에서 개발된 표본 투표 및 표준 수준 비교 감사 기법을 IRV의 순차적 제거 및 우선순위 계산 구조에 맞게 적응시켜, 보다 최소한의 예상 감사 작업량을 달성하기 위한 새로운 알고리즘을 사용한다. RAIRE는 일부 경우에서 최소 10%의 표본만 검토함으로써 올바른 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).

연구 동기 및 목표

• 즉각적 투표(Instant Runoff Voting, IRV) 선거를 위한 첫 번째 실용적 위험 제한 감사(Risk-limiting Audit, RLA) 프레임워크를 개발하는 것.
• 기존의 첫 번째 후보자 승리 제도에서 설계된 표본 투표 및 표준 수준 비교 RLA 방법을, IRV의 우선순위 계산 구조에 맞게 적응시키는 것.
• 지정된 위험 한도 하에서 보고된 IRV 승자 결과의 정확성을 확인하기 위해 필요한 표본 검토의 기대 수를 최소화하는 알고리즘을 설계하는 것.
• 실제 IRV 선거 데이터를 기반으로 RAIRE의 효율성을 다양한 대안 감사 전략과 비교하여 평가하고, 조밀한 경선에서 전체 재검표를 피할 수 있음을 입증하는 것.

제안 방법

• RAIRE는 각 IRV 제거 라운드의 결과 정확성에 대한 주장에 대한 통계적 검정으로 감사를 설정하며, 각 라운드를 다수의 승자 존재 제도로 간주한다.
• 보고된 결과가 올바를 경우, 보고된 IRV 승자가 정확하다는 것을 보장하는 최소한의 주장 집합을 선택하기 위해 맞춤형 최적화 알고리즘을 사용한다.
• 표본 투표 감사의 경우, RAIRE는 BRAVO 방법을 적응시켜 어떤 단계에서나 보고된 지지자 수가 보고된 승자보다 많을 수 있다는 가설을 검증한다.
• 표준 수준 비교 감사의 경우, RAIRE는 MACRO 방법을 확장하여 스캔된 전자 표본과 그에 해당하는 종이 표본을 비교하고 결과에 영향을 줄 수 있는 불일치를 탐지한다.
• 각 감사 구성에 대해 예상 표본 검토 수(ASN)를 계산하고, 보고된 결과가 올바르다고 가정할 때 기대 수가 가장 낮은 구성으로 선택한다.
• RAIRE는 실제 IRV 선거 데이터를 기반으로 평가되었으며, 위험 한도 1%와 5%로 설계된 감사를 오류 없는 조건과 오류가 포함된 조건에서 모두 테스트하였다.

실험 결과

연구 질문

• RQ1 순차적 제거와 우선순위 계산을 포함하는 즉각적 투표(Instant Runoff Voting, IRV) 선거에 대해 위험 제한 감사를 효과적으로 적응시킬 수 있는가?
• RQ2 지정된 위험 한도 하에서 IRV 선거 결과의 정확성을 확인하기 위해 필요한 최소 기대 표본 검토 수는 얼마인가?
• RQ3 표본 추출 요구사항 측면에서 RAIRE의 효율성은 EO, SE, WO와 같은 대안 감사 전략과 비교해 어떻게 되는가?
• RQ4 전자 표본과 종이 표본 간의 불일치가 감사 효율성에 어떤 영향을 미치며, 이러한 조건 하에서도 RAIRE는 여전히 효율적인 감사를 생성할 수 있는가?
• RQ5 RAIRE는 표본을 소수의 표본만 검토함으로써 조밀한 IRV 선거에서 전체 재검표를 피할 수 있는가?

주요 결과

• RAIRE는 다른 방법보다 훨씬 적은 표본 검토 수를 요구하는 감사 구성(configuration)을 생성한다. 2009년 애스펜 시의회 선거의 경우, 비교 감사에서 평균 표본 검토 수를 2,112(83%)건에서 254(10%)건으로 줄였다.
• 테스트한 26개의 실제 IRV 선거 중 22개에서는 RAIRE의 표본 투표 감사가 최선의 대안 방법(EO, SE, 또는 WO)과 유사한 표본 수를 요구했으며, 오akland 2012와 Pierce 2008를 포함한 4개의 경우에서 평균 17% 이내의 표본만으로 전체 재검표를 피할 수 있었다.
• 2014년 오클랜드 시장 선거의 경우, RAIRE는 최적의 감사 구성 설정에 최대 139초가 소요되었지만, 여전히 매우 효율적인 감사 계획을 도출했다.
• 전자 표본과 종이 표본 간의 불일치가 발생한 경우에도, RAIRE가 생성한 비교 감사는 표본 투표 감사보다 더 효율적이었으며, 여전히 소수의 표본만 검토했다.
• 모든 경우를 제외한 가장 복잡한 사례를 제외하고, RAIRE는 1분 이내에 효율적인 감사 구성 설정을 완료했으며, 계산 시간은 선거 및 감사 유형에 따라 0.002초에서 139초 사이로 변동했다.
• 이 연구는 RAIRE가 IRV 선거에서 위험 제한 감사를 실천 가능한 방법으로 제공할 수 있음을 확인하며, 최소한의 수동 노력으로도 결과에 대한 높은 신뢰도를 확보할 수 있음을 입증한다.