Vue d'ensemble
Cet article fait suite à O19 dans le programme d'admissibilité spectrale. Tel qu'il est rédigé, il hérite d'un observable de paire canonique, d'un appariement de fibre, et d'un exposant de paire numérique de O16–O19. Aucun de ces éléments n'est établi : O19 ne construit pas d'observable canonique indépendant du pipeline, O16/O18 laissent l'appariement de fibre ouvert, et aucun exposant de paire sourcé proche de $7.44$ n'existe dans le corpus corrigé. L'analyse de franchissement de seuil propre à O20 est néanmoins séparable de cet héritage, et une partie de celle-ci tient par elle-même.
Une fois cet héritage écarté, O20 énonce un modèle algébrique conditionnel. Supposons, séparément et comme hypothèses :
- un observable de paire au niveau fibre décroissant en loi de puissance exacte, $\sigma_{\mathrm{pair}}(n)=C\,n^{-\delta_{\mathrm{pair}}}$ ;
- un seuil constant, indépendant de $n$, $\sigma_{\mathrm{BI}}>0$ ;
- une fenêtre de coquilles fixe $1\lt n_0\lt n_1$ ;
alors la condition selon laquelle $\sigma_{\mathrm{pair}}$ franchit $\sigma_{\mathrm{BI}}$ à l'intérieur de $[n_0,n_1]$ est algébriquement équivalente au fait que $\delta_{\mathrm{pair}}$ appartient à un intervalle déterminé par $C$, $\sigma_{\mathrm{BI}}$, $n_0$, et $n_1$. Cette équivalence est correcte et constitue le contenu véritable de l'article. Elle ne dit rien, en elle-même, sur le seuil, l'amplitude, ou la fenêtre qui seraient physiquement les bons.
Sur cette question, O20 fournit deux hypothèses supplémentaires — une application des incréments de rang vers une amplitude de Born–Infeld au niveau fibre, et l'héritage de l'enveloppe modale de Born–Infeld par cet observable de fibre — dont aucune n'est dérivée. Le seuil lui-même n'est pas non plus intrinsèque tel qu'il est écrit : $A_{\max}=c_{\mathrm{BI}}/\sqrt{\lambda_n}$ dépend de $n$, si bien que $\sigma_{\mathrm{BI}}=\Phi(A_{\max})$ est en général une courbe dépendant de $n$, et non la constante utilisée dans la formule de franchissement. En conséquence, l'intervalle numérique spécifique $\delta_{\mathrm{pair}}\in[7.4,10.6]$ n'est pas dérivé : son extrémité inférieure réutilise le nombre à $q$ fini non étayé $2\times3.72$, et non l'exposant asymptotique exact $\delta=3$ que O12 démontre, et son extrémité supérieure est simplement importée de la fenêtre $\beta$ phénoménologique que la construction était censée expliquer.
Ce qu'établit O20
- Un modèle conditionnel d'inversion d'intervalle : étant donné une décroissance exacte en loi de puissance $\sigma_{\mathrm{pair}}(n)=C\,n^{-\delta_{\mathrm{pair}}}$, un seuil constant positif $\sigma_{\mathrm{BI}}$, une fenêtre de coquilles fixe $1\lt n_0\lt n_1$, et les conditions de signe correspondantes, l'énoncé selon lequel $\sigma_{\mathrm{pair}}$ franchit $\sigma_{\mathrm{BI}}$ à l'intérieur de $[n_0,n_1]$ est algébriquement équivalent au fait que $\delta_{\mathrm{pair}}$ appartient à un intervalle explicite construit à partir de $C$, $\sigma_{\mathrm{BI}}$, $n_0$, $n_1$. Cette équivalence est correcte et réutilisable comme modèle abstrait, explicitement hypothétique — indépendamment du fait que ses entrées soient un jour sourcées.
- La forme en rang de franchissement : sous les mêmes hypothèses, la coquille de franchissement est \[ n^*=\left(\frac{C}{\sigma_{\mathrm{BI}}}\right)^{1/\delta_{\mathrm{pair}}}, \] conséquence élémentaire et correcte de l'inversion de la loi de puissance au seuil.
- Une liste explicite des hypothèses requises par le modèle : O20 énonce, plutôt que de dissimuler, exactement les quatre ingrédients — le seuil constant, la loi de puissance exacte, et les deux extrémités de la fenêtre — dont dépend l'équivalence.
Ce que n'établit pas O20
- Son point de départ hérité : il n'existe aucun observable de paire canonique établi (O19), aucun appariement de fibre dérivé (O16/O18), aucun exposant de paire sourcé proche de $7.44$, et aucun théorème d'impossibilité d'agrégation inconditionnel issu de O15. O20 importe ces quatre éléments comme s'ils étaient établis.
- Ses deux propres hypothèses déclarées : une application des incréments de rang vers une amplitude de Born–Infeld au niveau fibre, et l'héritage de l'enveloppe modale de Born–Infeld par cet observable de fibre, sont toutes deux énoncées comme hypothèses et aucune n'est dérivée.
- Un seuil intrinsèque et constant : $A_{\max}=c_{\mathrm{BI}}/\sqrt{\lambda_n}$ dépend de $n$, si bien que $\sigma_{\mathrm{BI}}=\Phi(A_{\max})$ est en général une courbe dépendant de $n$, et non le seuil constant qu'exige la formule de franchissement — une incohérence interne entre les deux parties de l'article.
- La monotonie en $n$ : la monotonie de la fonction de réponse $\Phi$ en fonction de l'amplitude n'implique pas la monotonie de $\Phi(A_n^{\mathrm{fib}})$ en $n$, à moins que la monotonie de la suite d'amplitudes $A_n^{\mathrm{fib}}$ elle-même ne soit supposée séparément — ce qui n'est pas le cas.
- La fenêtre numérique $[7.4,10.6]$ : l'extrémité inférieure est identifiée au nombre à $q$ fini non étayé $2\times3.72$, et non à l'exposant asymptotique exact $\delta=3$ que démontre O12 ; l'extrémité supérieure est importée directement de la fenêtre $\beta$ phénoménologique que la construction était censée expliquer. Aucune valeur de $\sigma_{\mathrm{BI}}$, $C$, $n_0$, ou $n_1$ n'est dérivée indépendamment qui produise ces extrémités spécifiques.
Interprétation
O20 ne répare pas les ponts ouverts laissés en amont. Il ajoute une pièce d'algèbre authentique par-dessus ceux-ci : un modèle permettant de convertir une condition de franchissement de seuil en un intervalle d'exposant, une fois qu'un seuil, une loi de puissance, et une fenêtre sont tous séparément en main.
- O16 : les blocs conjugués ne sont les fibres de $\Pi$ que sous deux hypothèses indépendantes et ouvertes
- O18 : l'action de Born–Infeld est paire ; cela ne dérive pas la structure de fibre de $\Pi$
- O19 : aucun observable de paire canonique indépendant du pipeline n'est construit
- O20 : étant donné un seuil constant et une loi de puissance exacte, le franchissement à l'intérieur d'une fenêtre fixe est algébriquement équivalent à un intervalle d'exposant — le seuil, l'application d'amplitude, et les extrémités de l'intervalle ne sont pas dérivés
Le contenu conceptuel qui subsiste est la forme de l'argument, non sa sortie numérique. En tant que modèle, il mérite d'être conservé : si un observable de paire canonique, un seuil intrinsèque, et une loi de puissance sourcée sont un jour établis indépendamment, voici l'algèbre qui les transformerait en une fenêtre d'exposant. Tel qu'il est écrit, aucune de ces trois entrées n'existe encore, si bien que la fenêtre $[7.4,10.6]$ est une instance illustrative du modèle, non un résultat physique.
Relation avec le programme Cosmochronie
Le registre du programme consigne O20 comme suit : « Modèle conditionnel de franchissement de seuil. Étant donné un seuil constant et une loi de puissance décroissante exacte, le franchissement à l'intérieur d'une fenêtre de cascade fixe est algébriquement équivalent à un intervalle d'exposant. L'application des incréments de rang vers une amplitude de fibre, l'enveloppe héritée de Born–Infeld, et le seuil lui-même sont ouverts ; l'intervalle numérique $[7.4,10.6]$ n'est pas dérivé » (structurel).
Le statut de O20 demeure structurel plutôt que totalement ouvert, contrairement à l'affirmation centrale d'invariance de O21 : l'algèbre d'inversion d'intervalle est un modèle abstrait valide et retenu, elle ne constitue simplement pas une dérivation qui sélectionne $[7.4,10.6]$, ni aucune autre fenêtre spécifique, comme physique. La chaîne de dépendance du programme se lit : O12–O13 (extraction exacte de bloc), O16 (hypothèses de fibre, ouvertes), O18 (parité de l'action démontrée, dérivation de fibre ouverte), O19 (canonicalisation tentée, non construite), O20 (modèle conditionnel de franchissement de seuil, non une sélection de fenêtre).
Résultat actuel et directions ouvertes
O20 est retenable comme modèle abstrait, explicitement hypothétique, de franchissement de seuil, une fois écartées les entrées fausses héritées de O16–O19. Il ne sélectionne pas de sous-spectre physique d'exposants et n'établit aucune valeur proche de $7.44$.
Plusieurs lacunes indépendantes devraient être comblées avant que le modèle ne puisse produire un résultat physique :
- un observable de paire canonique, indépendant du pipeline (ouvert depuis O16 et O19)
- une application dérivée des incréments de rang vers une amplitude de Born–Infeld au niveau fibre
- une dérivation établissant que l'observable de fibre hérite de l'enveloppe modale de Born–Infeld
- un seuil intrinsèque, indépendant de $n$, remplaçant le $\sigma_{\mathrm{BI}}=\Phi(A_{\max})$ actuellement dépendant de $n$
- une valeur sourcée de l'exposant de décroissance, à la place du nombre à $q$ fini non étayé $2\times3.72$ utilisé pour l'extrémité inférieure
D'ici là, $[7.4,10.6]$ doit être lu comme une instance numérique illustrative du modèle, non comme une fenêtre d'exposant dérivée ou sélectionnée.
Références
Jérôme Beau. Projective Persistence and the Physical Sub-Spectrum: A Dynamical Selection Criterion for the Capacity Exponent.