Corrigendum for Han's Corrigendum

Immagina un mondo digitale fatto di piccoli pixel cubici, come una gigantesca griglia di Lego. I matematici che studiano questo mondo (chiamato "topologia digitale") hanno bisogno di regole speciali per descrivere come questi blocchi si connettono e come è possibile viaggiare da uno all'altro. Uno degli strumenti più importanti che utilizzano è qualcosa chiamato "mappa di copertura".

Pensa a una mappa di copertura come a un sistema di ascensori perfettamente organizzato in un grattacielo.

L'edificio è la "base" (l'immagine digitale che stai osservando).
Il pozzo dell'ascensore è la "copertura" (una versione più grande e dettagliata dell'edificio).
La regola è: se esci dall'ascensore su qualsiasi piano, il corridoio che vedi sembra esattamente lo stesso del corridoio del piano sottostante. È una copia locale perfetta.

Il Problema: Una "Risoluzione" che ha Peggiorato le Cose

Un ricercatore di nome S.-E. Han ha pubblicato un articolo affermando di correggere errori nel suo lavoro precedente su queste "mappe di copertura". Ha definito il suo nuovo articolo un "Corrigendum" (che significa semplicemente "una correzione").

Tuttavia, Laurence Boxer, l'autore dell'articolo che hai fornito, sostiene che la "correzione" di Han sia in realtà piena di nuovi errori, idee copiate e citazioni errate. È come se qualcuno tentasse di riparare un tetto che perde inchiodandoci sopra un nuovo pezzo di legno rotto, affermando al contempo di aver inventato quel legno.

Ecco una panoramica delle principali lamentele di Boxer, utilizzando semplici analogie:

1. La "Finta" Nuova Invenzione

Han ha tentato di inventare un nuovo tipo di mappa chiamato "pseudo-copertura". Pensava di aver scoperto un nuovo tipo di sistema di ascensori, leggermente diverso.

La Scoperta di Boxer: Il "nuovo" sistema di Han non era affatto nuovo. In realtà era semplicemente il sistema di ascensori originale e standard che aveva già descritto anni prima.
L'Analogia: È come se qualcuno inventasse un "nuovo" tipo di bicicletta che si rivela essere esattamente uguale a una bicicletta normale, ma gli dà un nuovo nome elegante e afferma che è una scoperta rivoluzionaria.
La Svoltata: Han ha successivamente realizzato che la sua prima definizione era inutile. Quindi, nel suo articolo di "correzione", ha silenziosamente adottato una diversa definizione che era già stata inventata da un altro ricercatore di nome Pakdaman. Han non ha dato credito a Pakdaman, comportandosi come se fosse stato lui a idearla.

2. La Dimostrazione Rotta

Nel suo articolo di "correzione", Han ha tentato di dimostrare un fatto matematico specifico su come funzionano queste mappe.

La Scoperta di Boxer: La logica di Han era errata. Ha tentato di dimostrare che un certo pattern non esiste, ma Boxer ha mostrato che il pattern esiste e che la dimostrazione di Han era difettosa.
L'Analogia: Immagina Han che afferma: "Ho dimostrato che non puoi camminare in cerchio in questo parco". Boxer cammina in cerchio, indica Han e dice: "Hai appena camminato in cerchio. La tua dimostrazione che non puoi è sbagliata".
Il Lato Positivo: Boxer ammette che la conclusione di Han (la risposta finale) era in realtà corretta, anche se la dimostrazione (i passaggi per arrivarci) era spazzatura. Boxer fornisce quindi una dimostrazione pulita e corretta per sistemare il disastro.

3. Lo Scandalo delle Citazioni

Boxer sottolinea che Han è molto bravo a non dare credito dove è dovuto.

Il Problema: Han cita spesso i propri articoli in modo errato o omette di menzionare che sta utilizzando idee di altre persone (o persino del proprio lavoro precedente) senza dirlo.
L'Analogia: È come se uno chef scrivesse un libro di cucina, affermando di aver inventato una famosa zuppa, ma in realtà copiando la ricetta dal libro di un vicino e dimenticando di scrivere il nome del vicino sulla pagina.

4. Il Problema della "Pubblicazione Locale"

Boxer evidenzia un articolo particolarmente losco di Han pubblicato su una rivista che non è davvero una rivista internazionale, ma piuttosto un bollettino locale della stessa università di Han.

Il Problema: Questo articolo è stato in gran parte plagiato (copiato) da altri famosi matematici. Han aveva precedentemente promesso di non farlo, ma lo ha fatto comunque.
L'Analogia: È come se uno studente promettesse di non barare in un esame, poi copiasse le risposte dalla chiave di correzione dell'insegnante e le presentasse come proprio lavoro, nascondendo allo stesso tempo il fatto che l'avesse fatto in una classe segreta e non sorvegliata.

La Conclusione

Boxer non sta dicendo che Han sia una persona cattiva o che le sue idee siano inutili. In effetti, Boxer ammette che Han ha contribuito con alcune grandi idee al campo (come il concetto di mappe di copertura e la misurazione dei percorsi più brevi).

Tuttavia, Boxer sostiene che il lavoro recente di Han sia matematicamente trasandato e eticamente discutibile.

Il Messaggio: Quando Han presenta un articolo, non dovrebbe essere rifiutato immediatamente solo perché è scritto da lui. Ma deve essere controllato con estrema cura da esperti che conoscono la storia del campo, perché Han ha l'abitudine di commettere errori, copiare gli altri e non correggere adeguatamente i propri errori.

In sintesi: Han ha tentato di correggere i suoi errori, ma ne ha commessi di nuovi, ha rubato crediti e ha scritto dimostrazioni scadenti. Boxer è qui per ripulire il disastro e mettere le cose a posto.

Sintesi Tecnica: Correttivo al Correttivo di Han

Enunciato del Problema
Questo lavoro affronta gravi difetti nel paper del 2026 di S.-E. Han, "Osservazioni sugli spazi pseudocoprenti in un contesto di topologia digitale: un Correttivo" (riferito come [19]). Sebbene il lavoro di Han fosse inteso a correggere errori nelle sue pubblicazioni precedenti ([16, 18]) riguardanti varianti degli spazi coprenti nella topologia digitale, l'autore attuale, Laurence Boxer, dimostra che il "Correttivo" di Han stesso contiene errori matematici, presenta contenuti non originali senza la dovuta attribuzione e include citazioni improprie. Nello specifico, il paper esamina la validità delle definizioni di Han di "mappe pseudocoprenti" e "isomorfismi locali", sostenendo che le correzioni di Han non riescono a risolvere questioni fondamentali e, in alcuni casi, introducono nuove imprecisioni.

Metodologia
Il paper adotta un approccio analitico rigoroso fondato sulla topologia digitale, utilizzando definizioni e teoremi dalla letteratura consolidata (citando specificamente opere come [6], [3], [14] e [21]). La metodologia comprende:

Revisione Critica delle Definizioni: Confronto delle definizioni di Han di mappe coprenti digitali, mappe pseudocoprenti e isomorfismi locali con definizioni equivalenti precedentemente stabilite e presenti nella letteratura.
Costruzione di Controesempi: Costruzione di immagini digitali e applicazioni specifiche per testare la validità delle affermazioni fatte nel [19] di Han. L'autore utilizza un'applicazione $p: \mathbb{N}^* \to C_n$ (dove $C_n$ è una curva chiusa semplice digitale) per confutare specifiche affermazioni riguardanti le controimmagini dei vicinati.
Deduzione Logica: Applicazione di teoremi noti (ad esempio, il Teorema 3.4 da [6]) per dimostrare equivalenze tra diversi tipi di mappe digitali, mostrando così che i "nuovi" oggetti proposti da Han spesso coincidono con concetti esistenti e ben compresi.
Audit delle Citazioni: Esame delle referenze bibliografiche nel lavoro di Han per identificare casi in cui le fonti originali sono state omesse o attribuite erroneamente.

Contributi e Risultati Chiave
Il paper identifica e rettifica tre categorie principali di difetti nel [19] di Han:

Correzione Matematica: L'autore confuta l'"Affermazione 4.1" del [19] di Han, che sosteneva che, per un'applicazione specifica, l'unione dei vicinati delle controimmagini non è uguale alla controimmagine del vicinato. Attraverso un'analisi dettagliata dei casi (Proposizione 4.2), l'autore dimostra che l'affermazione è falsa e che l'uguaglianza vale. Di conseguenza, una corollario derivato da Han da questa falsa affermazione risulta non dimostrato; l'autore fornisce una dimostrazione corretta per il corollario utilizzando teoremi consolidati.
Chiarimento delle Equivalenze: Il paper rafforza il risultato (originariamente mostrato da Pakdaman in [21]) secondo cui la definizione originale di Han di "mappa pseudocoprente digitale" (Definizione 3.1) è matematicamente equivalente a una mappa coprente digitale standard. Il paper chiarisce inoltre che l'unica definizione di pseudocopertura che produce un oggetto distinto è quella proposta da Pakdaman (Definizione 3.5), la quale manca della proprietà di sollevamento unico dei cammini.
Attribuzione ed Etica: Il paper evidenzia che il [19] di Han presenta la definizione alternativa di Pakdaman di mappa pseudocoprente (Definizione 3.5) come un nuovo contributo senza attribuzione, nonostante riconosca l'esistenza di Pakdaman nel testo. Inoltre, il paper nota che la definizione di Han di mappe coprenti digitali (Definizione 2.3) è attribuita ai propri paper nel [19], ignorando la sua effettiva origine nei lavori di Boxer e altri ([3, 14]).

Significato e Affermazioni
Il paper afferma che il "Correttivo" di Han è fondamentalmente difettoso e richiede una sua propria correzione. L'autore sostiene che il lavoro di Han in quest'area è caratterizzato da:

Errori Matematici: Dimostrazioni e affermazioni errate.
Mancanza di Originalità: L'introduzione di varianti che sono o banali o identiche a concetti esistenti, presentate senza riconoscere gli autori originali.
Improprietà nelle Citazioni: Mancanza di citare le vere origini delle definizioni e, in un contesto più ampio, un pattern di pratiche di citazione non etiche attraverso molteplici paper (inclusi [10], [11], [13], [15], [20]).

Il paper conclude che, sebbene Han abbia contribuito con idee utili alla topologia digitale (come le mappe coprenti e le metriche del percorso più breve), le sue sottomissioni richiedono la revisione più rigorosa da parte di esperti familiari con la letteratura pertinente per prevenire la pubblicazione di "spazzatura matematica" e garantire che gli standard etici in materia di citazione e originalità siano mantenuti. Il lavoro funge da correzione necessaria alla letteratura, assicurando che le definizioni e i teoremi riguardanti gli spazi coprenti digitali siano correttamente attribuiti e matematicamente solidi.