Resumo Técnico: Além do Símplex: Geometria de Protótipos Balanceados para Reconhecimento de Conjunto Aberto Independente de Pontuador

Declaração do Problema

O reconhecimento de conjunto aberto (OSR) exige que os classificadores identifiquem amostras de classes conhecidas durante o treinamento, enquanto rejeitam entradas de classes não vistas. Essa capacidade é crítica em domínios de segurança vital, como o diagnóstico por imagem médica, onde diagnosticar erroneamente patologias novas como classes conhecidas pode ter consequências graves. Embora métodos recentes, como o Deep Simplex Classifier (DSC) e o Uncertainty-aware Deep Simplex Classifier (UCDSC), tenham mostrado sucesso empírico ao fixar protótipos de classe nos vértices de um símplex regular, eles carecem de uma justificativa teórica rigorosa. As análises existentes são limitadas a dimensões de incorporação $d \ge C-1$ (onde um símplex regular de $C$ classes existe) e não explicam o comportamento do mecanismo de pontuação de razão de distância quando $d < C-1$ ou quando os protótipos se desviam de um símplex perfeito.

Metodologia

O artigo desenvolve um framework teórico unificado para o OSR de razão de símplex que se estende além do regime do símplex regular para dimensões de incorporação arbitrárias e configurações de protótipos.

Framework Teórico:

1. Hierarquia de Suposições de Protótipo: Os autores introduzem uma hierarquia de suposições que variam da mais fraca (A1: protótipos distintos) à mais forte (A1'': símplex regular).
   • A1: Protótipos são distintos.
   • A1' (Códigos de Norma Igual Balanceados): Protótipos possuem normas iguais ($\|s_j\| = R$) e somam zero ($\sum s_j = 0$). Estes existem para todos os $d \ge 2$.
   • A1'': Protótipos formam um símplex regular (estrutura de quadro estritamente equiangular), exigindo $d \ge C-1$.
2. Mecanismos de Pontuação: A análise foca no escore operacional de razão de distância $U(z) = d_{\min}(z) / \mu(z)$, onde $d_{\min}$ é a distância ao protótipo mais próximo e $\mu$ é a distância média aos protótipos rivais. Para tratabilidade geométrica, os autores introduzem um escore auxiliar de quadrado $U^2(z)$, que admite descrições de forma fechada sob condições de códigos de norma igual balanceados.
3. Análise Geométrica: O núcleo da metodologia envolve a caracterização dos conjuntos de nível inferior (regiões de aceitação) desses escores. Os autores provam que, para códigos de norma igual balanceados, as regiões de aceitação de $U^2$ são uniões exatas de bolas euclidianas centradas ao longo das direções dos protótipos.

Principais Contribuições

1. Análise de Lipschitz Geral e Controle de Bola (Seção 4)
Para quaisquer protótipos distintos (sem suposições de símplex), o artigo estabelece que o escore operacional $U$ é globalmente contínuo de Lipschitz com constante $4/\Delta$ (onde $\Delta$ é a distância mínima entre protótipos). Além disso, prova-se que as regiões de aceitação $\{U \le \theta\}$ são conjuntos compactos, estritamente delimitados por uniões de bolas internas e externas centradas nos protótipos.

2. Geometria Exata de $U^2$ para Códigos Balanceados (Seção 5)
Sob a condição de norma igual balanceada (A1'), os autores caracterizam os conjuntos de nível inferior do escore auxiliar $U^2$ como uniões exatas de no máximo $C$ bolas euclidianas fechadas com centros e raios explícitos. Esta geometria mantém-se para todos os $d \ge 2$, incluindo regimes onde $d < C-1$. A região de aceitação operacional $\{U \le \theta\}$ é mostrada como situada entre as uniões de bolas correspondentes derivadas de $U^2$.

3. Dicotomia Nítida e Parâmetro de Defeito (Seção 5.1)
O artigo introduz o "parâmetro de defeito de símplex" $\lambda_j = \sqrt{B_j/A_j}$, medindo o desvio das distâncias rivais em relação à igualdade. Uma dicotomia nítida é provada: $\lambda_j = 1$ para todo $j$ se, e somente se, os protótipos formam um símplex regular, o que necessita de $d \ge C-1$. Abaixo deste limiar, o artigo fornece limites de equivalência local entre $U$ e $\sqrt{U^2}$ governados por $\lambda_j$, quantificando a degradação na geometria quando um símplex perfeito não pode ser formado.

4. Construções de Baixa Dimensão (Seção 5.2)
Os autores fornecem uma construção universal para códigos de norma igual balanceados em qualquer dimensão $d \ge 2$ usando um $C$-gon regular (ou quadros harmônicos de múltiplas frequências) incorporado em $\mathbb{R}^d$. Isso demonstra que o framework teórico possui conteúdo substantivo mesmo em regimes de baixa dimensão onde símplex regulares são impossíveis.

5. Limites de Taxa de Falsa Aceitação (FAR) (Seção 6)
Sob suposições de isotropia para características desconhecidas, o artigo deriva limites superiores exponenciais em $d$ para a FAR. Especificamente, para direções desconhecidas normalizadas, a FAR é limitada por um termo envolvendo calotas esféricas e um parâmetro de discrepância $\delta_{cap}$. Isso fornece uma garantia teórica de que o desempenho de rejeição melhora exponencialmente conforme a dimensão de incorporação aumenta.

6. Análise de Perda UCDSC (Seção 7)
O artigo analisa os três componentes da função de perda UCDSC. Demonstra que a perda intra-classe controla os escores médios de treinamento, o termo de exposição de outliers garante a separação de amostras de fundo auxiliares, e o termo de consciência de incerteza ($L_u$) fornece um mecanismo de gradiente negativo local que combina a atração ao protótipo mais próximo com um aumento na distância média não-vizinha.

7. Corolários Práticos e Estimativa (Seção 8)
Os autores derivam orientação de forma fechada para a seleção de limiar para garantir um recall alvo de classe conhecida. Eles também propõem um procedimento baseado em dados (Algoritmo 1) para estimar o parâmetro de cauda de escore $\sigma$ e o parâmetro de anisotropia $\delta_{cap}$ a partir de dados de validação, tornando esses limiares teóricos operacionais.

Resultados

Resultados Teóricos:

• Estabilidade de Lipschitz: O escore $U$ é globalmente Lipschitz, garantindo variação limitada de escore sob pequenas perturbações de entrada.
• Estrutura Geométrica: Regiões de aceitação são compactas e podem ser aproximadas de forma justa por uniões de bolas, mesmo sem um símplex regular.
• Escalonamento Dimensional: A FAR decai exponencialmente com a dimensão de incorporação $d$ sob suposições isotrópicas.
• Transição de Fase: Existe uma transição nítida em $d = C-1$ quanto à existência de simetria perfeita de uma única distância (símplex regular), mas a geometria central de rejeição (compactação, uniões de bolas) persiste abaixo deste limiar.

Validação Empírica (Seção 9):
Os autores conduziram experimentos de scorer-agnostic em benchmarks CIFAR e MedMNIST para testar as afirmações estruturais da teoria, em vez de reivindicar desempenho de detecção estado-da-arte.

• Diagnósticos de Geometria: Representações treinadas com protótipos (Simplex e Harmonic) exibiram com sucesso a geometria balanceada prevista (baricentro próximo de zero, normas iguais) e menor variação de distância par em comparação ao treinamento padrão de Cross-Entropy (CE).
• Regime Abaixo do Símplex: No caso extremo de $C=80$ classes em $d=8$ dimensões (onde $d < C-1$), construções harmônicas produziram representações utilizáveis, embora com maior variabilidade de distância par e menor precisão que o CE. Protótipos aprendidos, inicializados a partir de códigos harmônicos, recuperaram a precisão do nível de CE.
• Desempenho do Scorer: Os escores de razão brutos ($U$ e $U^2$) foram frequentemente superados por scorers pós-hoc modernos (ex: KNN, MSP, ODIN) nos mesmos embeddings. No entanto, em datasets médicos específicos (PathMNIST), os escores de razão permaneceram competitivos. O artigo conclui que, embora os escores de razão sejam analiticamente tratáveis e forneçam limites de FAR prováveis, eles não são necessariamente detectores empíricos ótimos comparados a métodos baseados em logits ou vizinhos mais próximos.

Significância e Alegações

O artigo alega fornecer o primeiro relato teórico de OSR de razão de símplex que se aplica a todas as dimensões de incorporação, incluindo o regime de interesse prático onde $d < C-1$. Ao introduzir códigos de norma igual balanceados, os autores demonstram que as garantias geométricas centrais dos métodos baseados em símplex (regiões de aceitação compactas, estabilidade de Lipschitz e decaimento exponencial de FAR) não dependem estritamente da existência de um símplex regular.

A significância reside em:

1. Rigor Teórico: Fornecer garantias formais para a geometria das regiões de rejeição de conjunto aberto, abordando a "lacuna teórica" existente nos métodos baseados em símplex.
2. Insight Independente de Pontuador: Enquadrar a geometria de protótipo balanceada como uma ferramenta analítica e um prior de aprendizado de representação, em vez de um detector autônomo. O artigo afirma explicitamente que os escores de razão servem para produzir uma geometria analiticamente tratável com limites prováveis, mesmo que nem sempre dominem as métricas de detecção empírica.
3. Orientação Prática: Oferecer procedimentos concretos e baseados em dados para seleção de limiar e estimativa de dimensão, unindo os limites teóricos à implementação operacional.

Os autores mantêm a modéstia, reconhecendo que seus limites teóricos dependem de suposições (ex: caudas sub-gaussianas, isotropia) que podem não se sustentar perfeitamente na prática, e que o desempenho empírico é fortemente dependente da escolha da regra de pontuação e das características específicas do dataset.