Compagnon d'Effective Composition
L'article compagnon caractérise, pour un substrat fini sans factorisation de sous-système fournie, la couche possibiliste de support de façon complète et la couche de préparation pour deux classes de référence, et laisse explicitement ouverte la couche états-effets du contrat de composition K4 : les espaces d'effets, leur appariement bilinéaire avec les états, la tomographie locale, et tout produit tensoriel quantique.
Cet article résout le contenu fini, mono-système et de composition bipartite de cette couche, en important le critère de rang un d'Effective Composition exactement tel qu'il le fournit.
Six résultats, chacun une paire forcé/importé
- Obstruction à la convexité primitive. La famille brute de conditionnements cylindriques est finie alors que son enveloppe convexe est un continuum, pour tout ensemble d'issues locales d'au moins deux éléments, sans hypothèse de généricité. Conditionner à l'intérieur d'une fibre de projection ne le rachète pas gratuitement.
- Fermeture simpliciale. Un postulat explicite de randomisation classique ferme la famille sur le simplexe probabiliste complet, localement et conjointement, indépendamment du rang de la mesure de référence.
- Représentation contre disponibilité des effets. Les effets affines sur un simplexe correspondent à un cube de vecteurs — un fait de comptabilité, non une affirmation physique. Un axiome faible de grossissement fournit déjà toute l'algèbre booléenne des effets ; le continuum complet exige un second postulat de randomisation, dual du premier, réalisé par une reconstruction multilinéaire explicite.
- Indépendance des deux randomisations. Les postulats de randomisation côté état et côté effet sont logiquement indépendants. Une ressource de contrôle classique commune ne reproduit les deux qu'à condition d'une clause d'indépendance explicite entre ses deux interfaces — l'omettre brise la cohérence bilinéaire, par un témoin numérique exact.
- Unicité de l'effet composé. Étant donné l'existence physique d'un effet biparti et sa compatibilité avec les états de Dirac joints, il est forcé d'égaler la formule du produit ponctuel : aucun produit tensoriel n'est importé pour le définir. La composition locale n'atteint que les effets rectangulaires, strictement moins nombreux que tous les effets nets joints — un témoin séparateur de type CHSH montre que cela survit à une randomisation locale complète.
- Critère exact de tomographie locale. La tomographie locale tient exactement quand la famille d'effets de chaque côté engendre linéairement son espace ambiant — strictement plus fort que la simple séparation de son propre simplexe — de façon équivalente, quand elle sépare les états et que son enveloppe linéaire contient l'effet unité.
Pourquoi c'est important
Un contrat d'admissibilité fini, livré à lui-même, ne dérive pas vers une structure quantique : il se stabilise, à chaque couche examinée, dans le régime classique et simplicial, et ne le dépasse que lorsqu'un postulat correspondant, tout aussi explicite, est fourni. Ce n'est pas une déficience du contrat — c'est une carte précise de là où s'arrête l'autorité du squelette classique, transmise, axiome typé par axiome typé, à quelque loi de phase ou de module d'amplitude qui serait proposée pour dépasser ce cadre. La couche générale de préparation d'Effective Composition, le produit tensoriel comme structure fournie, et toute loi de phase ou de module restent exactement aussi ouverts que l'article compagnon les avait laissés.
La question de phase/module est reprise, sans être dérivée, par La cohérence par raffinement fait obstacle aux relèvements non linéaires en puissance de mesures d'histoires finies.