Resumo Técnico: Mascaramento Corico em Sistemas de Liberação Ambiente

Declaração do Problema

O artigo aborda a lacuna entre a não observação formal e a legibilidade prática em sistemas públicos. Muitos sistemas exigem que uma coordenada oculta (um "locus protegido", como um papel, afiliação ou condição) permaneça não observada enquanto o sistema realiza uma sequência visível de ações (entrar, esperar, corrigir, encaminhar). Embora a coordenada protegida não seja explicitamente impressa na superfície pública, traços estatísticos — criados por tempo, repetição, hesitação, roteamento, incompatibilidades de papel e atenção da audiência — podem tornar o locus oculto legível.

O problema central é determinar se dois loci ocultos induzem leis de traço indistinguíveis para uma audiência com um conjunto finito de testes, um orçamento de atenção limitado e, potencialmente, políticas de resposta adaptativas. O artigo argumenta que a indistinguibilidade criptográfica tradicional (baseada em transcrições de protocolos) e a privacidade diferencial (baseada em curadores de bancos de dados) são insuficientes para "sistemas de liberação ambiente", onde o canal de preocupação é a própria coreografia pública.

Metodologia

Os autores desenvolvem um cálculo de traço finito fundamentado em geometria convexa e teoria da probabilidade finita. A metodologia baseia-se nos seguintes pilares:

1. Ambientes Estagiados Finitos: O sistema é modelado como uma tupla contendo loci ocultos ($\Theta$), papéis visíveis ($R$), um espaço de estados ($S$), ações ($A$), observações ($Y$) e um portão de norma ($N$) que dita as ações admissíveis para um papel em uma determinada história.
2. Polítopos de Traço: Para um horizonte fixo $T$, o conjunto de todos os traços públicos admissíveis induzidos por um locus oculto forma um polítopo convexo (o invólucro corico). Este invólucro representa o "coro" de comportamentos admissíveis disponíveis para mascarar um locus específico.
3. Audiência como Operadores de Medição: Uma audiência é definida não como um observador onisciente, mas como uma classe de testes limitados ($F_T$) aplicados ao traço. A segurança de um sistema é medida pela distância entre os polítopos projetados de dois loci sob esses testes.
4. Lentes de Atenção: O modelo incorpora lentes de atenção (kernels de Markov) que afinam o traço antes que ele chegue ao observador (por exemplo, via limites de olhar, tempo de permanência ou compressão de memória). Isso é tratado como um problema de alargamento de kernel, onde resíduos podem desaparecer no espaço projetado mesmo que estejam presentes no traço completo.
5. Dinâmicas de Dívida e Pressão: Para interações repetidas, o artigo introduz uma variável de dívida de risco corico. Ela rastreia o resíduo não resolvido que falha em ser localizado. O modelo analisa como essa dívida impulsiona a "amplitude" (seleção de mais candidatos) e a "diluição" (redução da atenção por candidato) sem necessariamente aumentar o perigo para o portador original.

Contribuições Principais

1. Mascaramento Corico e Não-Singularidade

O artigo define mascaramento corico não como invisibilidade, mas como não-singularidade. Um locus é mascarado se sua lei de traço reside dentro de (ou próximo de) o invólucro convexo de traços admissíveis gerados por outros loci, papéis ou coortes.

• Teorema 8.1 (Equivalência Medição-Polítopo): O mascaramento perfeito para uma audiência finita é equivalente à interseção dos polítopos projetados das leis de traço.
• Teorema 14.5 (Teorema do Coro Convexo): Dois loci são perfeitamente mascarados se, e somente se, seus invólucros coricos se interceptam.

2. Certificados Finitos para Indistinguibilidade

O cálculo fornece certificados construtivos e de dimensão finita para reivindicações de segurança:

• Certificados de Separação: Se o mascaramento falha, existe um hiperplano separador (uma pontuação pública limitada) que distingue os loci.
• Teorema do Resíduo (Teorema 15.1): Se houver vazamento, existe um padrão de traço finito (um evento cilíndrico) que o carrega. O vazamento não é místico; é carregado por gestos concretos.
• Certificados de Localização: O artigo distingue entre detectar um resíduo e localizá-lo em uma camada específica (ex: pessoa vs. objeto vs. coorte). Um resíduo pode ser detectável, mas não localizável se cair dentro do invólucro de medição de múltiplos valores de camada.

3. Efeitos de Atenção e Abertura

O artigo formaliza como a atenção limitada altera a segurança:

• Distância Filtrada pela Atenção: Um resíduo visível no traço completo pode desaparecer para um observador limitado. O Teorema 11.7 fornece um limite de abertura, mostrando que o resíduo percebido é proporcional à probabilidade de o olhar do observador atingir as coordenadas diagnósticas.
• Pares Divididos (Split Pairs): Um par de leis pode ser exposto a uma audiência de traço completo, mas perfeitamente mascarado para uma audiência filtrada pela atenção.

4. Dinâmicas de Pós-Liberação e Salas Vinculadas

O modelo contabiliza resíduos que emergem após o portão inicial:

• Exposição Induzida pelo Fardo: Um objeto ou estado carregado pode decair ou criar um perigo em uma "sala" subsequente, estreitando futuros roteiros e criando um segundo piso de exposição mesmo que a primeira sala tenha sido mascarada (Teorema 21.9).
• Contabilidade de Salas Vinculadas: O artigo fornece uma regra de contabilidade que separa o resíduo da primeira sala da discrepância de ligação (Teorema 20.3).

5. Pressão Não Resolvida e Dívida Repetida

Uma contribuição significativa é a análise de interações repetidas onde o resíduo não é localizado:

• Dívida de Risco Corico: O resíduo não resolvido acumula-se como uma variável de dívida ($D_k$).
• Tricotomia da Externalização (Teorema 18.20): Quando a dívida aumenta, o sistema deve ou liquidar a dívida, localizar a fonte ou externalizar o risco.
• Mascaramento de Risco Deslocado: Se o sistema não consegue localizar a fonte, ele pode ampliar sua seleção (aumentando o tamanho da célula de cobertura $m_k$) para gerenciar a dívida. Isso dilui a atenção por candidato, potencialmente diminuindo o perigo para o verdadeiro portador enquanto aumenta a probabilidade de seleção de não-portadores (falsos positivos). O Teorema 18.12 prova que aumentar a amplitude sem localização pode levar o perigo garantido ao portador real a zero, mesmo enquanto a pressão da sala aumenta.

Resultados e Limites Teóricos

• Limite Inferior de Gesto Único (Teorema 16.3): Se um locus oculto é forçado a realizar um gesto (evento) que outros não conseguem igualar com massa suficiente, o mascaramento é impossível. O piso de exposição é determinado pela lacuna nos intervalos de massa atingíveis.
• Limite de Localização do Tipo Fano (Teorema 8.6): Para garantir a localização correta com probabilidade $q$, o canal de observação deve carregar informação mútua $I(\Sigma; Z) \ge q \log m - \log 2$, onde $m$ é o tamanho da cobertura.
• Certificado de Helly (Teorema 10.10): Para um grupo de $k$ medições, um máscara comum pode ser certificada verificando apenas as interseções $(k+1)$-vias dos invólucros de medição.
• Orçamento Necessário para Derrotar a Diluição (Teorema 18.14): Para garantir um perigo $\zeta$ para cada portador em uma célula de cobertura de tamanho $m$, o orçamento de atenção deve escalar linearmente com $m$.

Significância e Alegações

O artigo afirma fornecer um framework finito, inspecionável e composicional para auditar sistemas de face pública. Sua significância reside em:

1. Operacionalizar a Privacidade: Move-se além de slogans assintóticos para reivindicações de horizonte finito sobre o que uma audiência limitada pode inferir.
2. Separar Conceitos: Distingue rigorosamente entre a ausência de resíduo, resíduo fora da abertura e resíduo deslocado para uma população de cobertura.
3. Auditabilidade: Cada asserção de mascaramento possui uma testemunha finita (um acoplamento ou interseção de invólucros), e cada asserção de exposição possui um portador público (um teste separador).
4. Design Institucional: Os "teoremas de dívida" servem como um instrumento de auditoria, mostrando que respostas amplas a resíduos não resolvidos sem certificados de localização apenas externalizam o risco para populações de cobertura sem resolver a ameaça original.

Os autores afirmam que a teoria não assume malícia ou culpa, mas foca na separação estatística de leis de traço. O cálculo é desenhado para certificar quando uma sala pode atribuir um resíduo e quando ela não pode, garantindo que a pressão seja ou localizada ou reconhecida como deslocada. O artigo conclui que um sistema é seguro apenas quando sua gramática visível fornece cobertura suficiente e seu modelo de audiência reflete com precisão o que é realmente percebido.