Vue d’ensemble
Q5a établissait un cadre limite pour le secteur admissible \(\mathrm{ran}(\Pi_q)\), laissant ouvertes deux hypothèses analytiques centrales : coercivité et compacité de Mosco.
Q5a-O2 analyse le contenu de Fourier de la chaîne de pré-saturation et prouve : les empreintes de pré-saturation et les vecteurs de Gram–Schmidt sélectionnés sont des modes de Fourier purs, de déplacements en \(o(q)\). Les fréquences ne sont en \(o(q)\) que pour des paramètres de bloc fixés indépendamment de \(q\) ; la chaîne implémentée échantillonne les paramètres de bloc uniformément modulo \(q\), de sorte que des fréquences macroscopiques par \(q\) apparaissent (par exemple \(\xi/q\) proche de \(1/2\)) et qu'aucune fréquence limite indépendante de \(q\) n'existe dans aucun des deux régimes.
Deux résultats délimitants sont également prouvés : la réduction à trois coordonnées de la chaîne numérique est une troncature, dont le rang du secteur admissible ne peut pas être mesuré ; et la forme d'énergie est \(O(q^{-2})\) pour tout vecteur unitaire — une conséquence du préfacteur de normalisation en \(q^{-2}\) de la forme —, ce qui exclut la coercivité en \(q^{-1}\). La question du trou spectral pour la forme non normalisée est intacte et ouverte.
Le papier ne ferme pas les hypothèses [H-E1] et [C] de Q5a. La filtration canonique du secteur admissible est la fenêtre de Fourier croissante de Q5a, de dimension \(\min(2n+1,q)\), dont la limite de Mosco est la forme nulle.
Contributions principales
- Structure en modes purs : les empreintes de pré-saturation et les vecteurs de Gram–Schmidt sélectionnés sont des modes de Fourier purs
- Énoncé à deux régimes : les déplacements sont en \(o(q)\) ; les fréquences ne sont en \(o(q)\) que pour des paramètres de bloc fixés indépendamment de \(q\). La chaîne implémentée échantillonne les paramètres de bloc uniformément modulo \(q\), de sorte que des fréquences macroscopiques par \(q\) apparaissent (par exemple \(\xi/q\) proche de \(1/2\)), sans fréquence limite indépendante de \(q\) dans aucun des deux régimes
- Statut de troncature : la réduction à trois coordonnées est une troncature ; le rang du secteur admissible ne peut pas en être mesuré
- Échelle de la forme : \(O(q^{-2})\) pour tout vecteur unitaire — une conséquence du préfacteur de normalisation en \(q^{-2}\) de la forme —, ce qui exclut la coercivité en \(q^{-1}\), la question du trou spectral pour la forme non normalisée demeurant intacte et ouverte
- Filtration canonique : la fenêtre de Fourier croissante de Q5a, de dimension \(\min(2n+1,q)\), de limite de Mosco nulle
Ce que Q5a-O2 n'établit pas
La stratégie originale de Q5a visait à prouver la compacité par des inégalités de Nash, des estimations sur les graphes de Heisenberg filtrés et un théorème de Rellich discret.
Q5a-O2 ne remplace pas cette voie. L'atomicité spectrale du secteur admissible, le lemme de moyenne nulle, une fréquence limite indépendante de \(q\), la coercivité en \(q^{-1}\) et la compacité de Mosco ne sont pas des résultats de ce papier.
En particulier, les hypothèses [H-E1] et [C] de Q5a restent ouvertes : le papier délimite ce que la chaîne mesure, il ne ferme pas le programme de limite continue.
Interprétation
La projection à trois coordonnées utilisée dans la chaîne numérique est une troncature, non une mesure du rang du secteur admissible. Ce qu'elle enregistre fidèlement est la structure en modes de Fourier purs des empreintes de pré-saturation.
Position dans le programme
Q5a-O2 délimite le volet pré-saturation de la chaîne de Q5a et s’articule avec :
- O23 : théorème conditionnel de dimension adjointe sur un porteur spinoriel fourni ; \(\Sigma_c(n_3)=3\) est une règle de sélection fournie
- O28 : dimension effective \(=3\)
- Q5a : cadre limite, dont les hypothèses analytiques restent ouvertes
- Q5b : interprétation géométrique
Statut mis à jour
- [H-w] : prouvée dans W1
- [H-E1] : ouverte ; la coercivité en \(q^{-1}\) est exclue par la borne \(O(q^{-2})\), valable pour tout vecteur unitaire ; la question du trou spectral pour la forme non normalisée est intacte
- [C] : ouverte ; la filtration canonique est la fenêtre de Fourier croissante de Q5a, de limite de Mosco nulle
- [H2] : ouverte : convergence des générateurs renormalisés
Conclusion
La chaîne de pré-saturation possède une structure de Fourier exacte, mais la réduction à trois coordonnées est une troncature : le rang du secteur admissible et la limite continue de Q5a demeurent des questions ouvertes, la filtration canonique étant la fenêtre de Fourier croissante de limite de Mosco nulle.
Référence
Jérôme Beau. Fourier Structure of the Pre-Saturation Admissible Pipeline: What the Three-Coordinate Projection Does and Does Not Measure.