Résumé technique : Chemins cachés exacts dans des espaces de chemins bruyants de haute dimension

1. Définition du problème

L'article introduit le Problème de récupération exacte d'un chemin caché bruité, un problème inverse mathématique situé dans des espaces de chemins discrets de haute dimension. Contrairement aux applications physiques standard des intégrales de chemin (par exemple, les intégrales de chemin de Feynman) qui visent à estimer des amplitudes globales, des comportements macroscopiques dominants ou des fonctions de partition via des approximations de point col ou variationnelles, ce travail se concentre sur la récupération exacte d'une unique trajectoire microscopique cachée.

L'objet central est un chemin caché $\gamma^\star = (x_0, x_1, \dots, x_T)$ où $x_i \in \mathbb{Z}_q^n$. Le chemin évolue selon un modèle de transition :
$$x_{i+1} = x_i + \Delta_i + \varepsilon_i + \eta_i \pmod q$$
où :

• $\Delta_i \in D$ représente un incrément macro (trajectoire grossière).
• $\varepsilon_i \in E$ représente une micro-perturbation (déviation fine).
• $\eta_i$ représente le bruit interne, souvent modélisé comme une distribution gaussienne discrète.

Les données publiques ne sont ni le chemin lui-même, ni un court résumé de hachage, mais un grand vecteur d'observables $Y = \Phi(\gamma, \varepsilon, \eta)$. Ces observables peuvent impliquer des projections, des sommes agrégées, une quantification, des transformations non linéaires et des cartes d'observation randomisées. L'objectif est de reconstruire l'objet microscopique exact $X^\star = (x_0, \Delta, \varepsilon, \eta)$ à partir de $Y$ et des paramètres publics.

Une distinction critique est établie entre la reconstruction approximative (récupérer un chemin proche en distance métrique) et la récupération exacte (récupérer la séquence précise d'états et de perturbations). Dans ce contexte discret, une seule micro-perturbation incorrecte rend une solution approximative invalide.

2. Méthodologie et cadre

L'article formalise le problème en utilisant l'arithmétique des corps finis et le dénombrement combinatoire, en évitant toute affirmation concernant la dynamique quantique tout en utilisant les concepts d'intégrale de chemin comme inspiration structurelle.

2.1 Formalisme mathématique

• Espace d'état : Défini sur $\mathbb{Z}_q^n$ (ou $\mathbb{F}_q^n$ si $q$ est premier).
• Espace de chemins : L'ensemble de toutes les séquences $\Omega_{n,T,q}$ a pour cardinalité $q^{n(T+1)}$.
• Carte d'observation : Une fonction $\Phi: \mathcal{X} \to \mathcal{Y}$ mappe un objet microscopique vers un vecteur observable. La « fibre » $\Phi^{-1}(Y)$ contient tous les objets cohérents avec l'observation.
• Identifiabilité : L'article établit que la récupération exacte est possible informationnellement si et seulement si $\Phi$ est injective sur le support de génération. Si les fibres sont grandes, la récupération exacte est impossible sans information supplémentaire, quelle que soit la puissance de calcul.

2.2 Le principe « Pas de court résumé »

Une contribution méthodologique centrale est l'argument selon lequel le vecteur observable public $Y$ doit être grand. Compresser l'espace des chemins en un court résumé (par exemple, un hachage de 256 bits) réduit le problème inverse à une recherche de préimage dominée par l'entropie du résumé plutôt que par la structure du chemin. L'article soutient que pour les études de récupération exacte, la clé publique doit être un vecteur structuré de haute dimension préservant suffisamment d'informations pour définir un problème inverse significatif sans effondrer l'espace de recherche.

2.3 Taxonomie des attaques et atténuation

L'article recense systématiquement les attaques potentielles et les faiblesses structurelles, traitant le cadre comme un candidat pour la cryptographie post-quantique tout en évitant explicitement toute affirmation concernant un système déployé. Les vecteurs d'attaque clés identifiés incluent :

• Linéarisation : Réduire le problème à l'élimination de Gauss si les observables sont affines.
• Réduction de réseau : Exploiter des structures linéaires approximatives avec un bruit faible (similaire à LWE).
• Programmation dynamique : Résoudre le chemin si les observables se décomposent localement dans le temps avec de petits espaces d'état.
• Rencontre au milieu : Exploiter la séparabilité du chemin en deux moitiés indépendantes.
• Résolution SAT/SMT : Encoder le problème comme un problème de satisfaction de contraintes.
• Approximation/Arrondi : Utiliser des méthodes de point col ou de gradient pour trouver un chemin grossier et l'arrondir en un témoin exact.
• Fuite statistique : Des corrélations sur plusieurs instances révélant le générateur.

Les principes d'atténuation consistent à assurer la non-linéarité avant l'agrégation, à ajouter des couplages temporels globaux, à utiliser la quantification pour détruire la continuité, et à maintenir une entropie élevée dans les distributions de bruit et de perturbation.

3. Contributions clés

L'article apporte les contributions spécifiques suivantes :

1. Formulation du problème : Définit le Problème de récupération exacte d'un chemin caché bruité comme un problème inverse distinct séparant l'exactitude microscopique de l'approximation macroscopique.
2. Bornes informationnelles : Prouve des bornes élémentaires montrant que la difficulté effective de récupération est limitée par le contenu informationnel des observables. Il démontre que les grands espaces de chemins ne peuvent pas être compressés en de courts résumés si l'objectif est la récupération exacte.
3. Hiérarchie de récupération : Établit une hiérarchie des notions de récupération (descripteur grossier $\to$ approximatif $\to$ récupération de fibre $\to$ état exact $\to$ microscopique exact) et prouve que les approximations n'impliquent pas la récupération exacte.
4. Hypothèse cryptographique : Propose l'Hypothèse de fonction à sens unique pour le chemin caché bruité exact, définissant un jeu de recherche où un adversaire doit récupérer un témoin planté à partir d'un grand vecteur observable.
5. Analyse structurelle : Identifie des risques spécifiques de fuite structurelle (sommes télescopiques, fuite linéaire, systèmes surdéterminés/sous-déterminés) et fournit une matrice d'atténuation.
6. Feuille de route de recherche : Esquisse une voie prudente allant des relations mathématiques aux primitives futures, en déclarant explicitement qu'aucun schéma de chiffrement complet ou mécanisme d'encapsulation de clés (KEM) n'est actuellement défini.

4. Résultats et découvertes

• Estimations de dénombrement : L'article fournit des comptes exacts pour les histoires de chemins. Pour un facteur de branchement $b$, une taille de micro-perturbation $r$ et un support de bruit $s$, le nombre d'histoires microscopiques est $(brs)^T$. Même avec des paramètres modérés (par exemple, $b=256, r=256, T=256$), l'espace de recherche dépasse $2^{4000}$, rendant l'énumération exhaustive irréalisable, bien que cela n'exclue pas les attaques structurelles.
• Ambiguïté de projection : Le théorème 4.2 prouve que projeter un chemin de la dimension $n$ vers $k$ crée une ambiguïté de $q^{(n-k)(T+1)}$ chemins pour une seule trajectoire projetée.
• Quantification et bruit : L'article analyse comment la quantification fusionne des objets distincts dans le même bac observable et comment le bruit gaussien interne augmente l'ambiguïté microscopique, séparant la reconstruction grossière de la récupération exacte.
• Application de l'inégalité de Fano : L'article applique l'inégalité de Fano pour montrer qu'une entropie conditionnelle élevée (grandes fibres) impose une borne inférieure sur la probabilité d'erreur de toute règle de récupération, même celles non bornées.

5. Signification et affirmations

L'article est modeste dans ses affirmations. Il ne propose pas un système cryptographique déployable, un schéma de signature ou un KEM. Sa signification réside dans :

• Définition d'un problème difficile candidat : Il isole une relation mathématique précise (Récupération exacte d'un chemin caché bruité) distincte des problèmes de réseau ou de codage standards, motivée par la séparation entre approximation et exactitude.
• Clarification du rôle des observables : Il remet en question la convention cryptographique d'utiliser de courts résumés pour les clés publiques lorsque la difficulté sous-jacente repose sur la structure d'un grand espace de chemins.
• Fourniture d'un cadre de recherche : Il offre une liste de contrôle rigoureuse pour les futures implémentations, incluant des tests spécifiques pour la linéarisation, la programmation dynamique et la fuite statistique.
• Pertinence post-quantique : Il suggère une direction pour la cryptographie post-quantique où l'algorithme de Shor (qui repose sur des structures de sous-groupes cachés dans des groupes abéliens) pourrait ne pas s'appliquer directement, à condition que la famille d'observables évite les symétries de groupes cachés.

Les auteurs concluent que le cadre sert de fondement à la fois pour la recherche mathématique et cryptographique. La prochaine étape nécessite la construction de familles d'observables concrètes, l'analyse de leurs fibres et la vérification empirique de l'existence de régimes où l'approximation grossière est réalisable mais où la récupération microscopique exacte reste computationnellement difficile. Tant que de telles preuves ne seront pas réunies, la proposition reste une relation candidate, et non une primitive sécurisée.