Conformal Risk Sharing: Certified Cost Allocation with Participation Guarantees

Resumo Técnico: Conformal Risk Sharing (Compartilhamento de Risco Conformal)

Formulação do Problema: O Problema da Alocação Certificada
O artigo aborda um desafio fundamental em sistemas multiagentes: a redistribuição de custos realizados sob incerteza. Em contextos como seguros paramétricos P2P (ponto a ponto), comunidades de energia cooperativas e infraestrutura de computação compartilhada, os agentes enfrentam vetores de custos aleatórios. Embora o agrupamento desses custos possa reduzir a exposição individual a resultados extremos (risco de cauda), isso cria uma dinâmica de "vencedor-perdedor". Se uma política de redistribuição aumentar o limite de obrigação de alta confiança de um agente em comparação com sua linha de base (arcar com seus próprios custos), esse agente terá incentivo para desertar, potencialmente desfazendo o agrupamento devido à seleção adversa.

Os autores formalizam isso como o Problema da Alocação Certificada. O objetivo é encontrar uma política de redistribuição $A^*$ a partir de dados finitos, sem suposições distributivas paramétricas, que satisfaça três requisitos simultâneos:

1. Validade de Cauda por Agente (R1): Fornecer um limite superior (um "teto") de alta probabilidade e amostra finita para a obrigação futura de cada agente, garantindo que $P(X_i(A^*) \le \hat{c}_i) \ge 1-\delta$.
2. Eficiência Agregada (R2): Garantir que a política reduza a soma ponderada agregada desses tetos em comparação com a política de identidade (baseline).
3. Participação (Dano Limitado) (R3): Verificar se o "dano" total (o aumento nos tetos em relação à linha de base) entre todos os agentes permanece dentro de um orçamento pré-especificado.

Este problema é distinto dos frameworks existentes porque exige certificados de cauda sem dependência de distribuição para múltiplos agentes acoplados por uma restrição de conservação (as obrigações totais devem ser iguais aos custos realizados totais), uma estrutura que não pode ser reduzida a problemas independentes de agente único.

Metodologia: Conformal Risk Sharing
A solução proposta, Conformal Risk Sharing, utiliza um pipeline de "treinar–selecionar–certificar" baseado em predição conformal dividida (split conformal prediction).

1. Classe de Política: O método utiliza uma política de compartilhamento linear interpretável definida como uma combinação convexa da matriz identidade (sem agrupamento) e uma regra de agrupamento base $\bar{A}$:
   $$A(\alpha) = (1-\alpha)I + \alpha\bar{A}$$
   Aqui, $\alpha \in [0,1]$ controla a intensidade da mutualização. A regra base $\bar{A}$ pode ser fixa (ex: agrupamento uniforme, localidade espacial) ou aprendida a partir dos dados (ex: baseline duplamente estocástica ótima em variância).

2. Protocolo de Três Estágios:

   • Estágio 1 (Treinamento): Se $\bar{A}$ for orientado por dados, ele é ajustado em um conjunto de treinamento $T$.
   • Estágio 2 (Seleção): Em um conjunto de validação $V$, o algoritmo busca pelo $\alpha^*$ ótimo que minimize o risco empírico agregado enquanto satisfaz um substituto (proxy) para a restrição de participação (orçamento de dano). Nenhuma garantia estatística é reivindicada nesta fase.
   • Estágio 3 (Certificação): Usando um conjunto de calibração $C$ mantido à parte (disjunto de $T$ e $V$), o método calcula os tetos conformais. Para uma política fixa $A^*$, o teto para o agente $i$ é a $k$-ésima ordem estatística de suas obrigações em $C$, onde $k = \lceil(m+1)(1-\delta)\rceil$.
   • Auditoria: O sistema verifica se os tetos certificados satisfazem a restrição de participação (R3). Se sim, $A^*$ é implantado; caso contrário, o sistema retorna à política de identidade de linha de base.

3. Garantias Teóricas: Sob a suposição de permutabilidade de blocos (block exchangeability, onde blocos representam períodos naturais como anos ou ciclos de faturamento), o método fornece um certificado de cauda marginal por agente. O Teorema 1 garante que, para qualquer agente $i$, a probabilidade de sua obrigação futura exceder o teto certificado é de no máximo $\delta$. O Corolário 1 estende isso para funcionais do sistema (ex: custo agregado total). O framework é livre de distribuição e válido para amostras finitas.

Principais Contribuições

1. Formalização do Problema: O artigo identifica e formaliza o Probleção da Alocação Certificada, unindo compartilhamento de custos cooperativo, inferência conformal e otimização robusta. Ele destaca a lacuna onde métodos existentes falham em fornecer certificados de cauda de amostra finita e livres de distribuição para redistribuição multiagente com restrições de participação.
2. Framework de Solução: Introduz o Conformal Risk Sharing, um pipeline concreto que produz certificados de cauda por agente e garantias de nível de sistema via calibração conformal dividida, aplicando diretamente as restrições de participação nas quantidades certificadas.
3. Validação Empírica: O framework é validado em dados sintéticos de cauda pesada, perdas de precipitação em grade (E-OBS) e dados de consumo de cooperativas de energia.

Resultados Experimentais

• Dados Sintéticos: O método mantém uma cobertura quase nominal (média $\approx 0,91$ para $\delta=0,1$) através de divisões aleatórias e ordenadas no tempo. Ele alcança um alívio de cauda significativo para agentes de alto risco (reduzindo os tetos do décimo superior em $\approx 9\%$ em divisões aleatórias), enquanto a restrição de participação filtra ativamente políticas que prejudicariam muitos agentes (taxa de PASS $\approx 0,77$).
• Dados de Precipitação (E-OBS): Em um cenário com forte dependência espacial e caudas pesadas, o agrupamento global alcançou uma redução de 27% nos tetos certificados agregados e uma redução de quase 50% para o décimo de maior risco. No entanto, o método demonstrou sensibilidade à não-estacionaridade; sob divisões ordenadas no tempo, a cobertura degradou conforme a janela de calibração incluía dados mais antigos e menos representativos, confirmando a necessidade de recertificação periódica.
• Cooperativa de Energia: Em um conjunto de dados com correlações fracas e não estruturadas, o método alcançou até 51% de redução de teto agregado e 82% de redução para o décimo de maior demanda. A taxa de PASS foi de 1,00, indicando que, em cenários de baixa dependência, o agrupamento beneficia quase todos os agentes simultaneamente sem violar as restrições de participação.

Significância e Alegações
O artigo afirma fornecer o primeiro framework de solução que aborda simultaneamente a seleção de política, a certificação de cauda por agente livre de distribuição e a verificação de participação a partir de dados finitos. A significância reside em sua capacidade de:

• Suavizar fardos extremos: Reduz substancialmente as obrigações extremas para agentes de alto risco sem depender de modelos de cauda paramétricos.
• Garantir credibilidade: Ao fornecer uma garantia "legível" (um teto certificado) e uma auditoria explícita de participação, mitiga o risco de seleção adversa que assola o agrupamento voluntário.
• Robustez operacional: O framework lida com caudas pesadas, dados com excesso de zeros e dependência espacial, embora reconheça limitações quanto à dependência forte (que pode tornar as restrições de participação inviáveis) e a necessidade de recertificação periódica em ambientes não estacionários.

Os autores posicionam este trabalho como um passo em direção a mecanismos de compartilhamento de risco confiáveis e orientados por dados, onde os agentes podem participar com confiança certificada em seu passivo futuro máximo.