Proportionality Degree in Participatory Budgeting

Questo studio introduce il concetto di grado di proporzionalità nel budgeting partecipativo, dimostrando attraverso risultati teorici e sperimentali che, nonostante il Metodo delle Quote Uguali offra garanzie assiomatiche più forti, esso e la Regola Sequenziale di Phragmen condividono lo stesso grado di proporzionalità quantitativa.

L'essenziale

🗳️ Il Bilancio Partecipativo: Chi ha diritto a cosa?

Immagina che il tuo quartiere abbia un grande paniere di soldi (il budget) da spendere per migliorare la zona: nuovi parchi, illuminazione, asfaltatura, ecc.
Invece di decidere da soli, i cittadini votano: "Voglio il parco", "Voglio le luci".
Il problema è: come si decide quali progetti finanziare in modo equo?

Se diamo tutti i soldi al progetto più popolare (quello che piace a più persone), i gruppi più piccoli (ad esempio, chi vuole solo un campo da basket) non ottengono mai nulla. È come se la maggioranza schiacciasse la minoranza.

Gli autori di questo studio si sono chiesti: "Quali regole matematiche garantiscono che ogni gruppo di persone, anche piccolo, riceva una fetta di torta proporzionale alla sua grandezza?"

🍰 Le Due Stelle della Festa: MES e Phragmèn

Lo studio confronta due "metodi di cottura" molto famosi per dividere questa torta:

1. Il Metodo delle Quote Uguali (MES): Immagina di dare a ogni cittadino una moneta virtuale uguale a tutti. Se un gruppo di persone vuole comprare un progetto, devono mettere insieme le loro monete. Se non ne hanno abbastanza, il progetto non viene scelto. È come un mercato equo: paghi quanto puoi, ma non di più.
2. La Regola Sequenziale di Phragmèn: Immagina che ogni cittadino abbia un rubinetto che versa acqua (crediti) a velocità costante. Appena un gruppo di persone ha raccolto abbastanza acqua per pagare un progetto, il rubinetto si chiude per loro, il progetto viene scelto e l'acqua si resetta. È come una gara di resistenza dove chi accumula abbastanza risorse prima vince il diritto di scegliere.

🔍 La Grande Scoperta: "Sembra diverso, ma è uguale"

Per anni, gli esperti hanno pensato che il Metodo delle Quote (MES) fosse superiore perché soddisfaceva regole matematiche più rigide (garantiva che nessun gruppo venisse "tradito" in casi estremi).
La Regola di Phragmèn, invece, era considerata un po' più "lasca" su queste regole teoriche.

Ma cosa hanno scoperto gli autori?
Hanno fatto due cose:

1. Matematica pura: Hanno calcolato con formule complesse quanto bene queste due regole garantiscono la "giustizia" (proporzionalità).
2. Esperimenti reali: Hanno testato queste regole su 100 casi di budget reali presi da città di tutto il mondo.

Il risultato sorprendente?
Nonostante le differenze teoriche, entrambe le regole offrono esattamente lo stesso livello di giustizia pratica!
È come se avessi due macchine diverse: una ha un motore più potente (MES) e l'altra un telaio più robusto (Phragmèn), ma quando le fai correre su una pista reale, arrivano al traguardo con lo stesso tempo. Entrambe sono eccellenti nel garantire che i gruppi piccoli non vengano ignorati.

🏆 La Regola "Greedy" (L'Avidità) vs. Le Regole Giuste

Lo studio ha anche confrontato queste due regole con un metodo molto semplice usato spesso nella realtà: la Regola Greedy (Avida).

• Come funziona: Prende il progetto che piace a più persone, lo compra, poi prende il secondo più popolare, e così via.
• Il risultato: È come se il gruppo più numeroso prendesse tutta la torta e lasciasse solo le briciole agli altri.
• Conclusione: Sia MES che Phragmèn sono molto meglio della regola "Avida". La regola Avida è veloce, ma ingiusta per le minoranze.

💡 Le Metafore Chiave per Ricordare

• Il Paniere dei Soldi: È il budget pubblico. Non è infinito, bisogna dividerlo.
• I Gruppi Coesi: Immagina un gruppo di amici che vuole tutti la stessa cosa (es. "vogliamo tutti il campo da calcio"). Se sono abbastanza numerosi, hanno diritto a una parte del budget proporzionale al loro numero.
• La "Proporzionalità": È la misura di quanto bene una regola rispetta questo diritto. Più è alta, più la torta è tagliata equamente.
• L'Esaurimento del Budget: A volte, dopo aver scelto i progetti principali, avanzano pochi spiccioli. Le regole "con esaurimento" usano quei pochi spiccioli per comprare qualcos'altro con un metodo semplice, migliorando leggermente il risultato finale.

🚀 In Sintesi: Perché ci importa?

Questo studio ci dice che:

1. Non dobbiamo preoccuparci troppo di scegliere tra MES e Phragmèn: sono entrambi ottimi per garantire equità.
2. Dobbiamo smettere di usare il metodo "chi ha più voti vince tutto" (Greedy) per i bilanci partecipativi, perché è ingiusto.
3. La matematica e i dati reali si sono incontrati: la teoria dice che sono uguali, e la realtà conferma che funzionano benissimo.

Quindi, la prossima volta che il tuo comune organizza un bilancio partecipativo, puoi stare tranquillo: se usano uno di questi due metodi, la tua voce (anche se fai parte di un piccolo gruppo) verrà ascoltata e rispettata! 🎉

Sommario tecnico

Ecco una sintesi tecnica dettagliata del documento di ricerca "Proportionality Degree in Participatory Budgeting" di Filos-Ratsikas, Gogulapati e Kalantzis, redatta in italiano.

1. Il Problema e il Contesto

Il Budgeting Partecipativo (PB) è un processo democratico in cui i cittadini influenzano direttamente l'allocazione dei fondi pubblici. Sebbene esistano numerosi studi sulle proprietà assiomatiche (qualitative) delle regole di PB, come la Giustificata Rappresentanza Estesa (EJR) o la Giustificata Rappresentanza Proporzionale (PJR), manca una valutazione quantitativa rigorosa su quanto bene queste regole garantiscano una rappresentanza proporzionale.

L'articolo si concentra sul Grado di Proporzionalità, una misura quantitativa che stima la soddisfazione media (in termini di numero di progetti approvati) che un gruppo coeso di elettori può ottenere rispetto alla sua dimensione e al costo dei progetti che supporta. Lo studio analizza due regole popolari:

1. Metodo delle Quote Uguali (Method of Equal Shares - MES): Nota per soddisfare forti garanzie assiomatiche (inclusa l'EJR).
2. Regola Sequenziale di Phragmén: Nota per soddisfare la PJR ma non l'EJR.

L'obiettivo è determinare se la superiorità assiomatica del MES si traduca in un grado di proporzionalità quantitativamente superiore rispetto a Phragmén.

2. Metodologia

Gli autori adottano un approccio ibrido che combina analisi teorica e valutazione sperimentale.

Analisi Teorica

• Definizioni Formali: Vengono utilizzati concetti di gruppi T-coesi (gruppi di elettori che approvano unanimemente un insieme di progetti $T$ tali che il costo totale di $T$ è proporzionale alla dimensione del gruppo) e soddisfazione media.
• Limiti Teorici: Gli autori derivano limiti inferiori e superiori (tight bounds) per il grado di proporzionalità di MES e Phragmén.
  • Per il MES, viene dimostrato un limite inferiore basato su un lemma che limita il pagamento massimo richiesto a un elettore in un gruppo coeso durante l'esecuzione dell'algoritmo.
  • Per Phragmén, viene utilizzato un argomento basato su una funzione potenziale (simile a quello usato per le elezioni multi-vincitore) per analizzare lo spreco di crediti virtuali e la spesa media.
  • Vengono costruite istanze specifiche (casi pessimi) per dimostrare i limiti superiori, mostrando scenari in cui la soddisfazione media è massimamente limitata.

Valutazione Sperimentale

• Dataset: Utilizzo di 100 istanze reali provenienti dalla libreria Pabulib.
• Regole Testate:
  1. MES (standard).
  2. Phragmén Sequenziale (standard).
  3. MES con exhaustion (esaurimento del budget: se avanza budget, vengono aggiunti progetti con la regola greedy).
  4. Phragmén con exhaustion.
  5. Regola Greedy (seleziona progetti in base al punteggio di approvazione cumulativo, usata spesso nella pratica).
• Metodo di Calcolo: Poiché calcolare il grado di proporzionalità per tutti i sottoinsiemi è esponenziale, gli autori campionano 5000 sottoinsiemi casuali di progetti per ogni dimensione $k$ (da 1 a 15). Per ogni sottoinsieme, identificano il gruppo coeso con la soddisfazione media più bassa e ne calcolano la media su tutti i campioni.

3. Contributi Chiave

1. Equivalenza Quantitativa: Il risultato teorico più sorprendente è che, nonostante il MES soddisfi l'EJR (una proprietà più forte) e Phragmén no, entrambe le regole hanno lo stesso grado di proporzionalità (a meno di fattori costanti piccoli).
   • Il limite inferiore teorico per entrambe è: $d(T) \ge \frac{1}{2} \left( \frac{\text{cost}(T)}{\max_{t \in T} \text{cost}(t)} - 1 \right)$.
   • Il limite superiore teorico è: $d(T) \le \frac{1}{2} \left( \frac{\text{cost}(T)}{\max_{t \in T} \text{cost}(t)} + 1 \right)$.
2. Generalizzazione per l'EJR: Viene dimostrato che qualsiasi regola che soddisfa l'EJR in un'istanza "ordinaria" (dove nessun progetto è così economico da essere finanziato da una singola quota di budget) garantisce lo stesso grado di proporzionalità di MES.
3. Confronto Sperimentale: Le sperimentazioni confermano la teoria: MES e Phragmén (con o senza esaurimento) performano in modo molto simile e significativamente meglio della regola greedy.

4. Risultati

Risultati Teorici

• Stessa Proporzionalità: La superiorità assiomatica del MES (EJR) non si traduce in una migliore rappresentanza quantitativa rispetto a Phragmén. Questo suggerisce una profonda similarità strutturale tra le due regole nel contesto del PB.
• Ottimalità Congetturale: Gli autori congetturano che queste regole siano ottimali per il problema, poiché nessun'altra regola può superare il limite superiore derivato (che è molto vicino ai limiti inferiori ottenuti).

Risultati Sperimentali

• Performance: Su 100 dataset reali, sia MES che Phragmén (specialmente con la versione "con esaurimento") mostrano un grado di proporzionalità superiore rispetto alla regola greedy.
• Confronto MES vs Phragmén:
  • In generale, le performance sono comparabili.
  • In alcuni dataset, Phragmén con esaurimento performa leggermente meglio di MES con esaurimento.
  • Senza esaurimento, Phragmén spesso supera MES.
• Regola Greedy: Performato nettamente peggio in termini di proporzionalità, confermando che l'approccio puramente greedy non è adatto per garantire equità di rappresentanza.
• Eccezioni: In solo 2 casi su 100, la regola greedy è risultata la migliore, ma in quei casi MES e Phragmén producevano lo stesso risultato, venendo solo marginalmente superati.

5. Significato e Implicazioni

Questo lavoro colma un vuoto significativo nella letteratura sul Budgeting Partecipativo, passando da garanzie qualitative (soddisfa o non soddisfa un assioma) a garanzie quantitative (quanto bene soddisfa la proporzionalità).

• Implicazioni Pratiche: Fornisce una forte evidenza teorica ed empirica a supporto dell'uso di MES e Phragmén nelle implementazioni reali di PB, sconsigliando l'uso di regole greedy semplici che, sebbene intuitive, falliscono nel garantire una rappresentanza proporzionale ai gruppi di elettori.
• Implicazioni Teoriche: Dimostra che l'EJR, sebbene sia un assioma forte, non è un indicatore necessario per un alto grado di proporzionalità quantitativa. Suggerisce che la ricerca futura dovrebbe concentrarsi sulla prova dell'ottimalità stretta di queste regole, poiché i limiti attuali sono molto vicini.

In sintesi, il paper stabilisce che MES e Phragmén sono equivalenti dal punto di vista del grado di proporzionalità, offrendo entrambe garanzie quantitative robuste che le rendono superiori alle alternative greedy nella pratica.