Corrigendum for Han's Corrigendum

Imagine um mundo digital feito de pequenos pixels quadrados, como uma grade gigante de Legos. Matemáticos que estudam esse mundo (chamado de "topologia digital") precisam de regras especiais para descrever como esses blocos se conectam e como você pode viajar de um para outro. Uma das ferramentas mais importantes que eles usam é algo chamado "aplicação de recobrimento".

Pense em uma aplicação de recobrimento como um sistema de elevadores perfeitamente organizado em um arranha-céu.

O prédio é a "base" (a imagem digital que você está observando).
O eixo do elevador é o "recobrimento" (uma versão maior e mais detalhada do prédio).
A regra é: se você sair do elevador em qualquer andar, o corredor que você vê parece exatamente o mesmo que o corredor no andar abaixo. É uma cópia local perfeita.

O Problema: Uma "Correção" que Quebrou as Coisas

Um pesquisador chamado S.-E. Han publicou um artigo afirmando corrigir erros em seu trabalho anterior sobre essas "aplicações de recobrimento". Ele chamou seu novo artigo de "Corrigendum" (que significa apenas "uma correção").

No entanto, Laurence Boxer, autor do artigo que você forneceu, argumenta que a "correção" de Han está, na verdade, cheia de novos erros, ideias copiadas e citações inadequadas. É como alguém tentando consertar um telhado com vazamento pregando uma nova peça de madeira quebrada em cima dele, enquanto também afirma ter inventado a madeira.

Aqui está uma análise das principais queixas de Boxer, usando analogias simples:

1. A Nova Invenção "Falsa"

Han tentou inventar um novo tipo de mapa chamado "pseudo-recobrimento". Ele pensou ter descoberto um novo tipo de sistema de elevadores, ligeiramente diferente.

Descoberta de Boxer: O "novo" sistema de Han não era novo em absoluto. Era, na verdade, apenas o sistema de elevadores original e padrão que ele já havia descrito anos antes.
A Analogia: É como alguém inventar um "novo" tipo de bicicleta que acaba sendo exatamente a mesma que uma bicicleta comum, mas dão a ela um nome novo e chique e afirmam que é uma descoberta revolucionária.
O Reviravolta: Han percebeu mais tarde que sua primeira definição era inútil. Então, em seu artigo de "correção", ele adotou silenciosamente uma definição diferente que já havia sido inventada por outro pesquisador chamado Pakdaman. Han não deu crédito a Pakdaman, agindo como se tivesse criado a definição ele mesmo.

2. A Prova Quebrada

Em seu artigo de "correção", Han tentou provar um fato matemático específico sobre como esses mapas funcionam.

Descoberta de Boxer: A lógica de Han estava errada. Ele tentou provar que um certo padrão não existe, mas Boxer mostrou que o padrão existe e que a prova de Han era falha.
A Analogia: Imagine Han afirmando: "Eu provei que você não pode andar em círculo neste parque." Boxer anda em círculo, aponta para Han e diz: "Você acabou de andar em círculo. Sua prova de que não pode está errada."
O Lado Positivo: Boxer admite que a conclusão de Han (a resposta final) estava, na verdade, correta, embora a prova (os passos para chegar lá) fosse lixo. Boxer então fornece uma prova limpa e correta para corrigir a bagunça.

3. O Escândalo das Citações

Boxer aponta que Han é muito ruim em dar crédito onde é devido.

O Problema: Han frequentemente cita seus próprios artigos incorretamente ou deixa de mencionar que está usando ideias de outras pessoas (ou até mesmo de seu próprio trabalho anterior) sem dizer isso.
A Analogia: É como um chef escrevendo um livro de receitas, afirmando ter inventado uma sopa famosa, mas na verdade copiando a receita do livro de um vizinho e esquecendo de escrever o nome do vizinho na página.

4. O Problema da "Publicação Local"

Boxer destaca um artigo particularmente duvidoso de Han publicado em um periódico que não é realmente um jornal internacional legítimo, mas sim um boletim local da própria universidade de Han.

O Problema: Este artigo foi amplamente plagiado (copiado) de outros matemáticos famosos. Han havia prometido anteriormente não fazer isso, mas fez mesmo assim.
A Analogia: É como um estudante prometendo não trapacear em uma prova, depois copiar as respostas do gabarito do professor e submetê-las como seu próprio trabalho, tudo enquanto esconde o fato de que fez isso em uma sala de aula secreta e não monitorada.

A Conclusão

Boxer não está dizendo que Han é uma pessoa má ou que suas ideias são inúteis. Na verdade, Boxer admite que Han contribuiu com algumas grandes ideias para o campo (como o conceito de aplicações de recobrimento e a medição de caminhos mais curtos).

No entanto, Boxer argumenta que o trabalho recente de Han é matematicamente descuidado e eticamente questionável.

A Mensagem: Quando Han submete um artigo, ele não deve ser rejeitado imediatamente apenas porque é dele. Mas precisa ser verificado com atenção extra por especialistas que conhecem a história do campo, porque Han tem o hábito de cometer erros, copiar outros e falhar em corrigir seus próprios erros adequadamente.

Em resumo: Han tentou corrigir seus erros, mas cometeu mais erros, roubou créditos e escreveu provas ruins. Boxer está aqui para limpar a bagunça e esclarecer os fatos.

Resumo Técnico: Corrigendo o Corrigendo de Han

Declaração do Problema
Este artigo aborda falhas significativas no artigo de 2026 de S.-E. Han, "Observações sobre Espaços de Pseudocobertura em um Contexto de Topologia Digital: Um Corrigendo" (referenciado como [19]). Embora o trabalho de Han tenha tido a intenção de corrigir erros em suas publicações anteriores ([16, 18]) relacionados a variantes de espaços de cobertura em topologia digital, o autor atual, Laurence Boxer, demonstra que o "Corrigendo" de Han contém, ele próprio, erros matemáticos, apresenta conteúdo não original sem a devida atribuição e inclui citações inadequadas. Especificamente, o artigo investiga a validade das definições de Han de "aplicações de pseudocobertura" e "isomorfismos locais", argumentando que as correções de Han falham em resolver questões fundamentais e, em alguns casos, introduzem novas imprecisões.

Metodologia
O artigo emprega uma abordagem analítica rigorosa fundamentada na topologia digital, utilizando definições e teoremas da literatura estabelecida (citando especificamente obras como [6], [3], [14] e [21]). A metodologia envolve:

Revisão Crítica de Definições: Comparar as definições de Han de aplicações de cobertura digital, aplicações de pseudocobertura e isomorfismos locais com definições equivalentes previamente estabelecidas encontradas na literatura.
Construção de Contraexemplos: Construir imagens digitais e aplicações específicas para testar a validade das afirmações feitas no artigo [19] de Han. O autor utiliza uma aplicação $p: \mathbb{N}^* \to C_n$ (onde $C_n$ é uma curva fechada simples digital) para refutar afirmações específicas sobre pré-imagens de vizinhanças.
Dedução Lógica: Aplicar teoremas conhecidos (por exemplo, o Teorema 3.4 de [6]) para demonstrar equivalências entre diferentes tipos de aplicações digitais, mostrando assim que os objetos "novos" propostos por Han frequentemente coincidem com conceitos existentes e bem compreendidos.
Auditoria de Citações: Examinar as referências bibliográficas no trabalho de Han para identificar casos em que fontes originais foram omitidas ou atribuídas incorretamente.

Principais Contribuições e Resultados
O artigo identifica e retifica três categorias principais de falhas no artigo [19] de Han:

Correção Matemática: O autor refuta a "Afirmação 4.1" do artigo [19] de Han, que alegava que, para uma aplicação específica, a união das vizinhanças das pré-imagens não é igual à pré-imagem da vizinhança. Por meio de uma análise detalhada de casos (Proposição 4.2), o autor prova que a afirmação é falsa e que a igualdade se mantém. Consequentemente, um corolário derivado por Han a partir dessa afirmação falsa é mostrado como não provado; o autor fornece uma prova correta para o corolário usando teoremas estabelecidos.
Clarificação de Equivalências: O artigo reforça o resultado (originalmente mostrado por Pakdaman em [21]) de que a definição original de Han de uma "aplicação de pseudocobertura digital" (Definição 3.1) é matematicamente equivalente a uma aplicação de cobertura digital padrão. O artigo esclarece ainda que a única definição de pseudocobertura que produz um objeto distinto é a proposta por Pakdaman (Definição 3.5), que carece da propriedade de levantamento único de caminhos.
Atribuição e Ética: O artigo destaca que o artigo [19] de Han apresenta a definição alternativa de Pakdaman de uma aplicação de pseudocobertura (Definição 3.5) como uma nova contribuição sem atribuição, apesar de reconhecer a existência de Pakdaman no texto. Além disso, o artigo observa que a definição de Han de aplicações de cobertura digital (Definição 2.3) é atribuída aos próprios artigos de Han em [19], ignorando sua origem real em trabalhos de Boxer e outros ([3, 14]).

Significado e Alegações
O artigo alega que o "Corrigendo" de Han é fundamentalmente falho e requer sua própria correção. O autor afirma que o trabalho de Han nesta área é caracterizado por:

Erros Matemáticos: Provas e afirmações incorretas.
Falta de Originalidade: A introdução de variantes que são triviais ou idênticas a conceitos existentes, apresentadas sem crédito aos autores originais.
Impropriedades de Citação: Falha em citar as origens verdadeiras das definições e, em um contexto mais amplo, um padrão de práticas de citação antiéticas em vários artigos (incluindo [10], [11], [13], [15], [20]).

O artigo conclui que, embora Han tenha contribuído com ideias úteis para a topologia digital (como aplicações de cobertura e métricas de caminho mais curto), suas submissões exigem a revisão mais rigorosa por especialistas familiarizados com a literatura relevante para prevenir a publicação de "lixo matemático" e garantir que os padrões éticos em citação e originalidade sejam mantidos. O trabalho serve como uma correção necessária à literatura, garantindo que as definições e teoremas relacionados a espaços de cobertura digital sejam corretamente atribuídos e matematicamente sólidos.