Conformal Risk Sharing: Certified Cost Allocation with Participation Guarantees

Sintesi Tecnica: Conformal Risk Sharing

Formulazione del Problema: Il Problema dell'Allocazione Certificata
Il documento affronta una sfida fondamentale nei sistemi multi-agente: la ridistribuzione dei costi realizzati sotto incertezza. In contesti quali l'assicurazione parametrica peer-to-peer (P2P), le comunità energetiche cooperative e le infrastrutture di calcolo condiviso, gli agenti affrontano vettori di costo casuali. Sebbene l'aggregazione di questi costi possa ridurre l'esposizione individuale a esiti estremi (rischio di coda), essa crea una dinamica "vincitore-perdente". Se una politica di ridistribuzione aumenta il limite superiore dell'obbligazione ad alta confidenza di un agente rispetto al suo baseline (sopportare i propri costi), quell'agente ha l'incentivo a defezionare, potenzialmente distruggendo il pool a causa della selezione avversa.

Gli autori formalizzano questo scenario come il Problema dell'Allocazione Certificata. L'obiettivo è trovare una politica di ridistribuzione $A^*$ partendo da dati finiti, senza assunzioni parametriche sulla distribuzione, che soddisfi tre requisiti simultanei:

1. Validità della Coda per Agente (R1): Fornire un limite superiore (un "cap") su probabilità finita e alta per l'obbligazione futura di ciascun agente, garantendo che $P(X_i(A^*) \le \hat{c}_i) \ge 1-\delta$.
2. Efficienza Aggregata (R2): Garantire che la politica riduca la somma pesata aggregata di questi limiti rispetto al baseline (politica identità).
3. Partecipazione (Danno Limitato) (R3): Verificare che il "danno" totale (l'incremento dei limiti rispetto al baseline) tra tutti gli agenti rimanga entro un budget predefinito.

Questo problema è distinto dai framework esistenti perché richiede simultaneamente certificati di coda distribution-free per più agenti, accoppiati da un vincolo di conservazione (le obbligazioni totali devono eguagliare i costi totali realizzati), una struttura che non può essere ridotta a problemi indipendenti di singolo agente.

Metodologia: Conformal Risk Sharing
La soluzione proposta, Conformal Risk Sharing, impiega una pipeline "train–select–certify" basata sulla previsione conforme divisa (split conformal prediction).

1. Classe di Politiche: Il metodo utilizza una politica di condivisione lineare interpretabile definita come una combinazione convessa della matrice identità (nessun pooling) e di una regola di pooling base $\bar{A}$:
   $$A(\alpha) = (1-\alpha)I + \alpha\bar{A}$$
   Qui, $\alpha \in [0,1]$ controlla l'intensità della mutualizzazione. La regola base $\bar{A}$ può essere fissa (es. pooling uniforme, località spaziale) o appresa dai dati (es. baseline a doppia stocasticità ottimale per la varianza).

2. Protocollo in Tre Fasi:

   • Fase 1 (Training): Se $\bar{A}$ è guidata dai dati, viene adattata su un set di addestramento $T$.
   • Fase 2 (Selezione): Su un set di validazione $V$, l'algoritmo cerca l'ottimale $\alpha^*$ che minimizza il rischio empirico aggregato soddisfacendo un proxy per il vincolo di partecipazione (budget del danno). In questa fase non vengono rivendicate garanzie statistiche.
   • Fase 3 (Certificazione): Utilizzando un set di calibrazione $C$ tenuto separato (disgiunto da $T$ e $V$), il metodo calcola i limiti conformi. Per una politica fissa $A^*$, il limite per l'agente $i$ è l'ordine statistico $k$-esimo delle sue obbligazioni su $C$, dove $k = \lceil(m+1)(1-\delta)\rceil$.
   • Audit: Il sistema verifica se i limiti certificati soddisfano il vincolo di partecipazione (R3). Se lo fanno, $A^*$ viene implementata; altrimenti, il sistema ritorna alla politica identità di base.

3. Garanzie Teoriche: Sotto l'assunzione di scambiabilità a blocchi (dove i blocchi rappresentano periodi naturali come anni o cicli di fatturazione), il metodo fornisce un certificato di coda marginale per agente. Il Teorema 1 garantisce che, per qualsiasi agente $i$, la probabilità che la sua obbligazione futura superi il limite certificato è al massimo $\delta$. Il Corollario 1 estende questo concetto ai funzionali di sistema (es. costo aggregato totale). Il framework è distribution-free ed è valido per campioni finiti.

Contributi Chiave

1. Formalizzazione del Problema: Il documento identifica e formalizza il Problema dell'Allocazione Certificata, colmando il divario tra la condivisione cooperativa dei costi, l'inferenza conforme e l'ottimizzazione robusta. Evidenzia il vuoto in cui i metodi esistenti non riescono a fornire certificati di coda a campioni finiti e distribution-free per la ridistribuzione multi-agente con vincoli di partecipazione.
2. Framework di Soluzione: Introduce il Conformal Risk Sharing, una pipeline concreta che produce certificati di coda per agente e garanzie a livello di sistema tramite calibrazione conforme divisa, imponendo direttamente i vincoli di partecipazione sulle quantità certificate.
3. Validazione Empirica: Il framework è validato su dati sintetici con code pesanti, perdite da precipitazioni su griglia (E-OBS) e dati di consumo di cooperative energetiche.

Risultati Sperimentali

• Dati Sintetici: Il metodo mantiene una copertura quasi nominale (media $\approx 0,91$ per $\delta=0,1$) attraverso split casuali e ordinati nel tempo. Ottiene un significativo sollievo della coda per gli agenti ad alto rischio (riducendo i limiti del decile superiore di circa il 9% negli split casuali), mentre il vincolo di partecipazione filtra attivamente le politiche che danneggerebbero troppi agenti (tasso di PASS $\approx 0,77$).
• Dati di Precipitazione (E-OBS): In un contesto con forte dipendenza spaziale e code pesanti, il pooling globale ha ottenuto una riduzione del 27% dei limiti certificati aggregati e una riduzione di quasi il 50% per il decile a più alto rischio. Tuttavia, il metodo ha mostrato sensibilità alla non stazionarietà; sotto split ordinati nel tempo, la copertura è degradata poiché la finestra di calibrazione includeva dati più vecchi e meno rappresentativi, confermando la necessità di una ricertificazione periodica.
• Cooperativa Energetica: In un dataset con correlazioni deboli e non strutturate, il metodo ha ottenuto fino al 51% di riduzione del limite aggregato e l'82% di riduzione per il decile a più alta domanda. Il tasso di PASS è stato 1,00, indicando che in contesti a bassa dipendenza, il pooling beneficia quasi tutti gli agenti simultaneamente senza violare i vincoli di partecipazione.

Significatività e Rivendicazioni
Il documento sostiene di fornire il primo framework di soluzione che affronta simultaneamente la selezione della politica, la certificazione della coda per agente distribution-free e la verifica della partecipazione da dati finiti. La significatività risiede nella sua capacità di:

• Attenuare gli oneri estremi: Riduce sostanzialmente le obbligazioni estreme per gli agenti ad alto rischio senza fare affidamento su modelli parametrici della coda.
• Garantire credibilità: Fornendo una garanzia "leggibile" (un limite certificato) e un audit esplicito per la partecipazione, mitiga il rischio di selezione avversa che affligge il pooling volontario.
• Robustezza operativa: Il framework gestisce code pesanti, dati con eccesso di zeri e dipendenza spaziale, pur riconoscendo i limiti relativi alla forte dipendenza (che può rendere i vincoli di partecipazione impraticabili) e la necessità di una ricertificazione periodica in ambienti non stazionari.

Gli autori pongono questo lavoro come un passo verso meccanismi di condivisione del rischio basati sui dati e affidabili, dove gli agenti possono partecipare con una fiducia certificata nella propria responsabilità massima futura.