Riepilogo Tecnico: Percorsi Nascosti Esatti in Spazi di Percorsi ad Alta Dimensione e Rumorosi

1. Definizione del Problema

Il documento introduce il Problema di Recupero Esatto di un Percorso Nascosto Rumoroso, un problema inverso matematico situato in spazi di percorsi discreti ad alta dimensione. A differenza delle applicazioni fisiche standard degli integrali di percorso (ad esempio, gli integrali di percorso di Feynman), che mirano a stimare ampiezze globali, comportamenti macroscopici dominanti o funzioni di partizione tramite approssimazioni di punto di sella o variazionali, questo lavoro si concentra sul recupero esatto di una singola traiettoria microscopica nascosta.

L'oggetto centrale è un percorso nascosto $\gamma^\star = (x_0, x_1, \dots, x_T)$ dove $x_i \in \mathbb{Z}_q^n$. Il percorso evolve secondo un modello di transizione:
$$x_{i+1} = x_i + \Delta_i + \varepsilon_i + \eta_i \pmod q$$
dove:

• $\Delta_i \in D$ rappresenta un incremento macro (traiettoria grezza).
• $\varepsilon_i \in E$ rappresenta una micro-perturbazione (deviazione a grana fine).
• $\eta_i$ rappresenta il rumore interno, spesso modellato come una distribuzione gaussiana discreta.

I dati pubblici non sono il percorso stesso, né un breve digest di hash, ma un grande vettore di osservabili $Y = \Phi(\gamma, \varepsilon, \eta)$. Questi osservabili possono coinvolgere proiezioni, somme aggregate, quantizzazione, trasformazioni non lineari e mappe di osservazione randomizzate. L'obiettivo è ricostruire l'oggetto microscopico esatto $X^\star = (x_0, \Delta, \varepsilon, \eta)$ da $Y$ e dai parametri pubblici.

Una distinzione critica viene fatta tra ricostruzione approssimata (recuperare un percorso vicino in termini di distanza metrica) e recupero esatto (recuperare la sequenza precisa di stati e perturbazioni). In questo contesto discreto, una singola micro-perturbazione errata rende una soluzione approssimata invalida.

2. Metodologia e Quadro Teorico

Il documento formalizza il problema utilizzando l'aritmetica dei campi finiti e il conteggio combinatorio, evitando affermazioni sulla dinamica quantistica mentre utilizza i concetti di integrali di percorso come ispirazione strutturale.

2.1 Formalismo Matematico

• Spazio degli Stati: Definito su $\mathbb{Z}_q^n$ (o $\mathbb{F}_q^n$ se $q$ è primo).
• Spazio dei Percorsi: L'insieme di tutte le sequenze $\Omega_{n,T,q}$ ha cardinalità $q^{n(T+1)}$.
• Mappa di Osservazione: Una funzione $\Phi: \mathcal{X} \to \mathcal{Y}$ mappa un oggetto microscopico in un vettore osservabile. La "fibra" $\Phi^{-1}(Y)$ contiene tutti gli oggetti coerenti con l'osservazione.
• Identificabilità: Il documento stabilisce che il recupero esatto è possibile in senso informativo se e solo se $\Phi$ è iniettiva sul supporto di generazione. Se le fibre sono ampie, il recupero esatto è impossibile senza informazioni aggiuntive, indipendentemente dalla potenza computazionale.

2.2 Il Principio "Nessun Digest Breve"

Un contributo metodologico centrale è l'argomentazione secondo cui il vettore osservabile pubblico $Y$ deve essere grande. Comprimere lo spazio dei percorsi in un digest breve (ad esempio, un hash a 256 bit) collassa il problema inverso in una ricerca di preimmagine dominata dall'entropia del digest piuttosto che dalla struttura del percorso. Il documento sostiene che, per gli studi sul recupero esatto, la chiave pubblica deve essere un vettore strutturato ad alta dimensione che preservi informazioni sufficienti a definire un problema inverso significativo senza collassare lo spazio di ricerca.

2.3 Tassonomia degli Attacchi e Mitigazione

Il documento cataloga sistematicamente potenziali attacchi e debolezze strutturali, trattando il quadro come un candidato per la crittografia post-quantistica ma evitando esplicitamente affermazioni su un sistema implementato. I principali vettori di attacco identificati includono:

• Linearizzazione: Riduzione del problema alla eliminazione di Gauss se gli osservabili sono affini.
• Riduzione del Reticolo: Sfruttamento di strutture lineari approssimate con rumore ridotto (simile a LWE).
• Programmazione Dinamica: Risoluzione del percorso se gli osservabili si decompongono localmente nel tempo con spazi degli stati ridotti.
• Meet-in-the-Middle: Sfruttamento della separabilità del percorso in due metà indipendenti.
• Risoluzione SAT/SMT: Codifica del problema come problema di soddisfacimento dei vincoli.
• Approssimazione/R Arrotondamento: Utilizzo di metodi di punto di sella o gradiente per trovare un percorso grezzo e arrotondarlo a un testimone esatto.
• Fuga Statistica: Correlazioni tra più istanze che rivelano il generatore.

I principi di mitigazione includono garantire la non linearità prima dell'aggregazione, aggiungere accoppiamenti temporali globali, utilizzare la quantizzazione per distruggere la continuità e mantenere un'alta entropia nelle distribuzioni di rumore e perturbazione.

3. Contributi Chiave

Il documento apporta i seguenti contributi specifici:

1. Formulazione del Problema: Definisce il Problema di Recupero Esatto di un Percorso Nascosto Rumoroso come un problema inverso distinto che separa l'esattezza microscopica dall'approssimazione macroscopica.
2. Limiti Informativi: Dimostra limiti elementari che mostrano come la difficoltà effettiva di recupero sia limitata dal contenuto informativo degli osservabili. Dimostra che spazi di percorsi ampi non possono essere compressi in digest brevi se l'obiettivo è il recupero esatto.
3. Gerarchia di Recupero: Stabilisce una gerarchia di nozioni di recupero (descrittore grezzo $\to$ approssimato $\to$ recupero della fibra $\to$ stato esatto $\to$ microscopico esatto) e dimostra che le approssimazioni non implicano il recupero esatto.
4. Assunzione Crittografica: Propone l'Assunzione di Unidirezionalità del Percorso Nascosto Rumoroso Esatto, definendo un gioco di ricerca in cui un avversario deve recuperare un testimone piantato da un grande vettore osservabile.
5. Analisi Strutturale: Identifica rischi specifici di fuga strutturale (somme telescopiche, fuga lineare, sistemi sovradeterminati/sottodeterminati) e fornisce una matrice di mitigazione.
6. Roadmap di Ricerca: Delinea un percorso conservativo dalla relazione matematica alle primitive future, affermando esplicitamente che non è attualmente definito alcun schema di crittografia completo o meccanismo di incapsulamento delle chiavi (KEM).

4. Risultati e Scoperte

• Stime di Conteggio: Il documento fornisce conteggi esatti per le storie dei percorsi. Per un fattore di diramazione $b$, dimensione della micro-perturbazione $r$ e supporto del rumore $s$, il numero di storie microscopiche è $(brs)^T$. Anche con parametri moderati (ad esempio, $b=256, r=256, T=256$), lo spazio di ricerca supera $2^{4000}$, rendendo infeasibile l'enumerazione esaustiva, sebbene ciò non escluda attacchi strutturali.
• Ambiguità di Proiezione: Il Teorema 4.2 dimostra che proiettare un percorso dalla dimensione $n$ alla dimensione $k$ crea un'ambiguità di $q^{(n-k)(T+1)}$ percorsi per una singola traiettoria proiettata.
• Quantizzazione e Rumore: Il documento analizza come la quantizzazione fonda oggetti distinti nello stesso bin osservabile e come il rumore gaussiano interno aumenti l'ambiguità microscopica, separando la ricostruzione grezza dal recupero esatto.
• Applicazione della Disuguaglianza di Fano: Il documento applica la disuguaglianza di Fano per dimostrare che un'alta entropia condizionale (fibre ampie) impone un limite inferiore alla probabilità di errore di qualsiasi regola di recupero, anche illimitata.

5. Significato e Affermazioni

Il documento è modesto nelle sue affermazioni. Non propone un sistema crittografico implementabile, uno schema di firma o un KEM. Il suo significato risiede in:

• Definizione di un Problema Difficile Candidato: Isola una relazione matematica precisa (Recupero Esatto di un Percorso Nascosto Rumoroso) distinta dai problemi standard di reticolo o codifica, motivata dalla separazione tra approssimazione ed esattezza.
• Chiarimento del Ruolo degli Osservabili: Mette in discussione la convenzione crittografica di utilizzare digest brevi per le chiavi pubbliche quando la difficoltà sottostante dipende dalla struttura di un grande spazio di percorsi.
• Fornitura di un Quadro di Ricerca: Offre una lista di controllo rigorosa per future implementazioni, inclusi test specifici per linearizzazione, programmazione dinamica e fuga statistica.
• Rilevanza Post-Quantistica: Suggerisce una direzione per la crittografia post-quantistica in cui l'algoritmo di Shor (che si basa su strutture di sottogruppi nascosti in gruppi abeliani) potrebbe non applicarsi direttamente, a condizione che la famiglia di osservabili eviti simmetrie di gruppo nascoste.

Gli autori concludono che il quadro funge da fondamento per la ricerca sia matematica che crittografica. La fase successiva richiede la costruzione di famiglie di osservabili concrete, l'analisi delle loro fibre e il test empirico per determinare se esistono regimi in cui l'approssimazione grezza è fattibile ma il recupero microscopico esatto rimane computazionalmente difficile. Finché tali prove non saranno raccolte, la proposta rimane una relazione candidata, non una primitiva sicura.