Nuovo Metodo per Auditare le Elezioni con Voto Alternativo
AWAIRE offre un modo nuovo per verificare i risultati delle elezioni IRV senza bisogno di registri dettagliati.
― 5 leggere min
Indice
- Cos'è il Voto Istantaneo a Eliminazione?
- La Necessità di Audit con Limiti di Rischio
- Nuovo Approccio: Audit Senza Registri di Voti Espressi
- Come Funziona AWAIRE
- L'Importanza del Campionamento Dati
- Prestazioni nelle Elezioni Reali
- Confronto tra AWAIRE e Metodi Esistenti
- Comprendere le Ipotesi Statistiche
- Conclusione: Il Potenziale di AWAIRE
- Fonte originale
- Link di riferimento
Le elezioni sono fondamentali per la democrazia, e assicurarsi che siano accurate è essenziale. Un modo per farlo è attraverso gli audit elettorali. Un audit elettorale controlla i voti per confermare che i risultati riflettano i voti realmente espressi. Esistono diversi metodi per condurre audit, e questo articolo si concentra su un nuovo metodo progettato per un particolare sistema di voto noto come voto istantaneo a eliminazione (IRV).
Cos'è il Voto Istantaneo a Eliminazione?
Il voto istantaneo a eliminazione è un sistema che permette agli elettori di ordinare i candidati in base alle preferenze anziché sceglierne solo uno. Se nessun candidato ottiene la maggioranza dei voti di prima scelta, il candidato con il minor numero di voti viene eliminato. Gli elettori che hanno scelto quel candidato vedranno i loro voti contati per la loro prossima scelta. Questo processo continua fino a quando un candidato non raggiunge la maggioranza e viene dichiarato vincitore. Molte elezioni politiche in diverse parti del mondo, tra cui Australia e Stati Uniti, usano questo metodo di voto.
La Necessità di Audit con Limiti di Rischio
L'audit è importante per verificare i risultati elettorali, specialmente in sistemi come l'IRV. Un audit con limiti di rischio (RLA) è un tipo di audit che assicura che ci sia un'alta probabilità di correggere eventuali risultati elettorali errati, mentre i risultati correttamente riportati rimangono intatti. I metodi tradizionali di audit delle elezioni IRV spesso dipendono da determinati registri dei voti, che potrebbero non essere sempre disponibili, specialmente in aree dove le schede vengono conteggiate a mano.
Nuovo Approccio: Audit Senza Registri di Voti Espressi
Il nuovo metodo sviluppato per audit delle elezioni IRV non richiede questi registri dettagliati. Invece, utilizza un metodo chiamato AWAIRE, che sta per Audit Pesati Adattivi delle Elezioni di Voto Istantaneo a Eliminazione. Questo metodo tiene conto delle preferenze espresse dagli elettori e regola dinamicamente come valuta i dati man mano che procede.
Come Funziona AWAIRE
AWAIRE funziona creando una media pesata dei test di audit precedenti. Impara quali aspetti dei dati elettorali sono più significativi mentre l'audit procede. Questo gli consente di concentrarsi sul testare le ipotesi più rilevanti, fornendo un audit più efficiente.
Quando si svolge un audit, il metodo cerca altri possibili scenari di vincitori in base ai candidati eliminati. Se l'audit scopre che certi scenari sono improbabili, può concludere che il vincitore riportato è corretto senza dover esaminare ogni singola scheda.
L'Importanza del Campionamento Dati
Invece di esaminare tutte le schede, AWAIRE utilizza una tecnica chiamata Campionamento casuale. Seleziona casualmente una parte delle schede da analizzare. Questo aiuta gli auditor a determinare se il risultato elettorale riportato è accurato senza dover condurre un numero opprimente di controlli dettagliati.
Prendendo campioni, il metodo AWAIRE tiene traccia di come i suoi risultati evolvono man mano che esamina più schede. Questo approccio passo dopo passo significa che, se i risultati sono sicuri, gli auditor possono fermarsi prima senza dover riconteggiare tutti i voti.
Prestazioni nelle Elezioni Reali
I primi test di AWAIRE hanno mostrato risultati promettenti. Le simulazioni che utilizzavano dati di voto reali hanno indicato che questo metodo è efficiente ed efficace per audit elettorali. Nei trial, AWAIRE è stato in grado di confermare l'accuratezza dei risultati elettorali in modo tempestivo, utilizzando meno risorse rispetto ai metodi tradizionali.
Confronto tra AWAIRE e Metodi Esistenti
Il metodo tradizionale per audit delle elezioni IRV chiamato RAIRE dipende dalla disponibilità di registri di voti espressi dettagliati e genera quelle che vengono chiamate affermazioni. Queste affermazioni devono essere vere affinché il vincitore riportato sia valido. AWAIRE, d'altra parte, non dipende da questi registri, fornendo così un'alternativa vitale per i casi in cui quei registri non sono disponibili.
Quando entrambi i metodi sono stati testati in condizioni di perfetta accuratezza dei dati, hanno avuto prestazioni comparabili. Tuttavia, AWAIRE si è distinto quando la qualità dei dati era discutibile. Se i registri includevano errori, AWAIRE era migliore nell'adattare la sua strategia per verificare correttamente il risultato elettorale.
Comprendere le Ipotesi Statistiche
Sia AWAIRE che i metodi tradizionali, come RAIRE, utilizzano ipotesi statistiche per determinare se i risultati elettorali sono accurati. Queste ipotesi sono affermazioni che possono essere testate usando i dati elettorali disponibili. Se le evidenze dei dati contraddicono un'ipotesi, questo suggerisce che l'esito potrebbe non essere esatto come riportato.
Nel contesto di AWAIRE, il metodo considera i possibili ordini di eliminazione dei candidati per formare le sue ipotesi. Analizzando le schede, il metodo di audit può sfidare o confermare l'accuratezza di questi ordini di eliminazione.
Conclusione: Il Potenziale di AWAIRE
Lo sviluppo di AWAIRE rappresenta un passo significativo in avanti nel modo in cui possono essere auditati gli elezioni, in particolare le elezioni IRV, dove è difficile individuare le imprecisioni. La sua capacità di funzionare senza registri dettagliati dei voti espressi, combinata con la sua natura adattiva, lo rende uno strumento efficace per garantire l'integrità delle elezioni.
In futuro, AWAIRE potrebbe essere implementato più ampiamente mentre le giurisdizioni cercano modi efficienti per verificare i risultati elettorali. In generale, questo metodo aumenta la fiducia pubblica nel processo elettorale e dimostra l'importanza di approcci innovativi agli audit elettorali.
Titolo: Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE
Estratto: An election audit is risk-limiting if the audit limits (to a pre-specified threshold) the chance that an erroneous electoral outcome will be certified. Extant methods for auditing instant-runoff voting (IRV) elections are either not risk-limiting or require cast vote records (CVRs), the voting system's electronic record of the votes on each ballot. CVRs are not always available, for instance, in jurisdictions that tabulate IRV contests manually. We develop an RLA method (AWAIRE) that uses adaptively weighted averages of test supermartingales to efficiently audit IRV elections when CVRs are not available. The adaptive weighting 'learns' an efficient set of hypotheses to test to confirm the election outcome. When accurate CVRs are available, AWAIRE can use them to increase the efficiency to match the performance of existing methods that require CVRs. We provide an open-source prototype implementation that can handle elections with up to six candidates. Simulations using data from real elections show that AWAIRE is likely to be efficient in practice. We discuss how to extend the computational approach to handle elections with more candidates. Adaptively weighted averages of test supermartingales are a general tool, useful beyond election audits to test collections of hypotheses sequentially while rigorously controlling the familywise error rate.
Autori: Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
Ultimo aggiornamento: 2023-10-05 00:00:00
Lingua: English
URL di origine: https://arxiv.org/abs/2307.10972
Fonte PDF: https://arxiv.org/pdf/2307.10972
Licenza: https://creativecommons.org/licenses/by/4.0/
Modifiche: Questa sintesi è stata creata con l'assistenza di AI e potrebbe presentare delle imprecisioni. Per informazioni accurate, consultare i documenti originali collegati qui.
Si ringrazia arxiv per l'utilizzo della sua interoperabilità ad accesso aperto.
Link di riferimento
- https://doi.org/10.1007/978-3-031-43756-4_3
- https://fairvote.org/resources/data-on-rcv/
- https://www.pbs.org/newshour/arts/how-are-oscars-winners-decided-heres-how-the-voting-process-works
- https://www.ncsl.org/elections-and-campaigns/risk-limiting-audits
- https://github.com/michelleblom/margin-irv
- https://github.com/aekh/AWAIRE