Rényi Multi-Entropies: Geometries and Generalizations

• Rényi multi-entropies are a family of entropic measures defined via Sₐ = (1/(1-α)) log Tr(ρ^α) that extend classical entropy to multipartite and multi-order contexts.
• They reveal distinct geometric structures in quantum versus classical systems, with universal non-negativity and monotonicity by inclusion shaping entropy vectors.
• They underpin diverse applications in quantum information, CFT holography, and multi-parametric generalizations (e.g., Z-entropies), linking operational divergences and algebraic formulations.

Les multi-entropies de Rényi ne constituent pas un objet unique dans la littérature, mais une famille de constructions reliées par le même noyau entropique, à savoir

$$S_\alpha(\rho)=\frac{1}{1-\alpha}\log \operatorname{Tr}\rho^\alpha$$

dans le cadre quantique, ou

$$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$

pour une loi discrète. Selon le contexte, l’expression renvoie à des vecteurs d’entropies de marges multipartites, à des plages jointes d’ordres de Rényi multiples, à des mesures multipartites définies par des monodromies de réplication non cycliques, ou encore à des généralisations multi-paramétriques de type $Z$-entropy (Linden et al., 2012, 0904.2477, Harper et al., 2024, Tempesta, 2015).

1. Champ sémantique et objets mathématiques

Les travaux disponibles emploient l’expression dans plusieurs sens techniquement distincts. Le point commun est l’étude simultanée de plusieurs entropies de Rényi, soit parce que plusieurs sous-systèmes sont considérés, soit parce que plusieurs ordres $\alpha$ interviennent, soit parce que la structure entropique elle-même dépend de plusieurs paramètres (Linden et al., 2012, 0904.2477, Tempesta, 2015).

Usage	Objet	Source représentative
Vecteur entropique multipartite	$$\bigl(S_\alpha(\rho_I)\bigr)_{\emptyset\neq I\subseteq[n]}$$	(Linden et al., 2012)
Plage jointe de plusieurs ordres	$\bigl(H_{\alpha_1}(P),\ldots,H_{\alpha_m}(P)\bigr)$	(0904.2477)
Multi-entropie en CFT 2d	$S_n^{(q)}$ via twist fields et monodromies finies	(Harper et al., 2024)
Généralisation multi-paramétrique	$Z_{G,a}$, $H_{\mathrm{GR}}(a,\beta)$	(Tempesta, 2015, Bodnarchuk et al., 2024)

Dans la version multipartite fixe-$\alpha$, l’objet central est le vecteur complet des entropies de toutes les marges non vides,

$$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$0

qui généralise le cône entropique de Shannon/von Neumann au cas $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$1 (Linden et al., 2012). Dans la version multi-ordres, l’étude porte plutôt sur la géométrie de l’application

$$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$2

c’est-à-dire sur les contraintes entre plusieurs ordres de Rényi appliqués à une même distribution (0904.2477).

Une autre acception, propre aux CFT bidimensionnelles et à l’holographie, définit une multi-entropie de Rényi $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$3-partite à partir de corrélateurs de twist operators associés à un groupe fini $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$4, avec

$$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$5

et une limite $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$6 donnant la multi-entropie proprement dite (Harper et al., 2024).

2. Géométrie des vecteurs entropiques et contraintes universelles

La structure des multi-entropies marginales de Rényi diffère radicalement du cas $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$7. Pour un état quantique $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$8-partite, le résultat central est qu’en régime $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$9, la clôture de l’ensemble des vecteurs entropiques est exactement l’orthant positif,

$Z$0

de sorte que la seule inégalité universelle est la non-négativité $Z$1 (Linden et al., 2012). Pour $Z$2, il n’existe pas d’inégalités homogènes non triviales au-delà de cette non-négativité; en particulier, aucune structure analogue à la forte sous-additivité ne subsiste à ce niveau (Linden et al., 2012).

Le contraste avec l’entropie de von Neumann est explicite. À $Z$3, le paysage est gouverné par la sous-additivité, la forte sous-additivité, la monotonie faible et d’autres inégalités linéaires. Pour $Z$4, ces contraintes s’effondrent en grande partie; le formalisme multi-entropique devient donc beaucoup moins rigide (Linden et al., 2012). Une conséquence importante est qu’un remplacement naïf des objets entropiques de Shannon/von Neumann par leurs analogues de Rényi ne préserve généralement pas la même géométrie des marges.

Dans le cas classique, la situation est légèrement plus structurée. En plus de la non-négativité, la monotonie par inclusion

$Z$5

fournit l’unique autre contrainte homogène universelle pour $Z$6 (Linden et al., 2012). Cela sépare nettement les cas quantique et classique.

Une géométrie différente apparaît lorsqu’on fixe la distribution et qu’on varie l’ordre de Rényi. La plage jointe de plusieurs entropies

$Z$7

admet une frontière décrite par des mélanges de distributions uniformes $Z$8 (0904.2477). Pour deux ordres $Z$9, la borne supérieure de $\alpha$0 à $\alpha$1 fixé est atteinte par un mélange $\alpha$2, tandis que la borne inférieure dépend de la taille de l’alphabet et, à alphabet non borné, de la position de $\alpha$3 par rapport à $\alpha$4 (0904.2477). Pour trois ordres, la frontière devient une surface engendrée par des mélanges de trois lois uniformes; la démonstration repose sur un argument topologique d’orientation et sur un déterminant de Vandermonde généralisé (0904.2477).

Ainsi, le terme « multi-entropies de Rényi » recouvre au moins deux géométries différentes: la géométrie des marges multipartites à ordre fixé, et la géométrie des ordres multiples pour une même loi.

3. Multi-entropie multipartite en CFT bidimensionnelle et holographie

Dans les CFT 2d, la multi-entropie de Rényi est proposée comme mesure de corrélations multipartites au-delà du cadre bipartite habituel. L’idée directrice consiste à remplacer la monodromie cyclique $\alpha$5, utilisée pour l’entropie d’intrication standard, par une monodromie de groupe fini plus riche, typiquement $\alpha$6, agissant sur $\alpha$7 copies de la théorie (Harper et al., 2024). Les twist operators $\alpha$8 imposent

$\alpha$9

et le corrélateur est non nul seulement si $$\bigl(S_\alpha(\rho_I)\bigr)_{\emptyset\neq I\subseteq[n]}$$0 (Harper et al., 2024).

La surface de réplication associée est une surface de Riemann $$\bigl(S_\alpha(\rho_I)\bigr)_{\emptyset\neq I\subseteq[n]}$$1 de genre

$$\bigl(S_\alpha(\rho_I)\bigr)_{\emptyset\neq I\subseteq[n]}$$2

où $$\bigl(S_\alpha(\rho_I)\bigr)_{\emptyset\neq I\subseteq[n]}$$3 sont les longueurs de cycles des monodromies (Harper et al., 2024). La difficulté calculatoire croît donc rapidement avec $$\bigl(S_\alpha(\rho_I)\bigr)_{\emptyset\neq I\subseteq[n]}$$4 et $$\bigl(S_\alpha(\rho_I)\bigr)_{\emptyset\neq I\subseteq[n]}$$5, ce qui explique l’accent mis sur les cas de bas genre, notamment $$\bigl(S_\alpha(\rho_I)\bigr)_{\emptyset\neq I\subseteq[n]}$$6, $$\bigl(S_\alpha(\rho_I)\bigr)_{\emptyset\neq I\subseteq[n]}$$7 et $$\bigl(S_\alpha(\rho_I)\bigr)_{\emptyset\neq I\subseteq[n]}$$8 (Harper et al., 2024).

Le dual holographique proposé dans AdS$$\bigl(S_\alpha(\rho_I)\bigr)_{\emptyset\neq I\subseteq[n]}$$9 n’est plus simplement une surface de Ryu–Takayanagi, mais un réseau minimal de géodésiques formant un arbre de Steiner trivalent. Pour une partition en $\bigl(H_{\alpha_1}(P),\ldots,H_{\alpha_m}(P)\bigr)$0 régions, la multi-entropie est reliée à l’aire du réseau minimal $\bigl(H_{\alpha_1}(P),\ldots,H_{\alpha_m}(P)\bigr)$1 par

$\bigl(H_{\alpha_1}(P),\ldots,H_{\alpha_m}(P)\bigr)$2

et, pour le cas tripartite, la contribution purement multipartite après soustraction des termes de type information mutuelle vaut

$\bigl(H_{\alpha_1}(P),\ldots,H_{\alpha_m}(P)\bigr)$3

constante entièrement fixée par l’angle $\bigl(H_{\alpha_1}(P),\ldots,H_{\alpha_m}(P)\bigr)$4 de la jonction trivalente (Harper et al., 2024).

Les calculs explicites montrent que la théorie n’est pas une simple reformulation de l’entropie de Rényi ordinaire. Dans le cas $\bigl(H_{\alpha_1}(P),\ldots,H_{\alpha_m}(P)\bigr)$5, le corrélateur à trois points est fixé par la symétrie conforme à une constante de structure près, et la quantité correspondante contient déjà une contribution multipartite non triviale (Harper et al., 2024). Pour $\bigl(H_{\alpha_1}(P),\ldots,H_{\alpha_m}(P)\bigr)$6, la surface de réplication est un tore uniformisé par une fonction elliptique de Weierstrass, ce qui illustre que le problème est intrinsèquement de géométrie complexe, et non une extension combinatoire immédiate du replica trick standard (Harper et al., 2024).

Une difficulté importante concerne la théorie des fermions libres. Il est montré que la bosonisation standard, efficace pour l’entropie d’intrication usuelle, échoue en général pour les twist operators de multi-entropie: les corrélateurs obtenus violent soit la conservation de charge, soit les dimensions conformes correctes (Harper et al., 2024). Cela constitue une limite technique significative de la formulation actuelle.

4. Information quantique: familles multipartites, divergences sandwiched et règles de chaîne

Dans l’information quantique, les multi-entropies de Rényi apparaissent surtout comme familles cohérentes de mesures conditionnelles, relatives et multipartites. Le pivot moderne est la divergence quantique de Rényi « sandwiched »

$\bigl(H_{\alpha_1}(P),\ldots,H_{\alpha_m}(P)\bigr)$7

qui unifie l’entropie de von Neumann, l’entropie de collision, la min-entropie et la max-entropie dans un même schéma paramétrique (Müller-Lennert et al., 2013). Cette construction répare précisément l’incompatibilité entre les quasi-entropies de Petz et les entropies opérationnelles min/max/collision soulignée pour les extensions quantiques antérieures (Müller-Lennert et al., 2013).

À partir de cette divergence, l’entropie conditionnelle de Rényi est définie par optimisation sur le système conditionnant,

$\bigl(H_{\alpha_1}(P),\ldots,H_{\alpha_m}(P)\bigr)$8

et satisfait des propriétés structurelles telles que le data processing, la monotonie en $\bigl(H_{\alpha_1}(P),\ldots,H_{\alpha_m}(P)\bigr)$9, une dualité pour les états purs tripartites et une relation d’incertitude entropique (Müller-Lennert et al., 2013). Dans cette perspective, la « multi-entropie » désigne moins un nouvel invariant que l’organisation simultanée de plusieurs mesures entropiques reliées par une même divergence parent.

Cette logique est prolongée pour les quantités informationnelles composées d’une combinaison linéaire d’entropies avec coefficients dans $S_n^{(q)}$0. Une substitution directe $S_n^{(q)}$1 est jugée insatisfaisante; pour l’information mutuelle conditionnelle quantique, par exemple,

$S_n^{(q)}$2

ne préserve pas en général la non-négativité (Berta et al., 2015). La prescription retenue consiste à réécrire la quantité de von Neumann comme une divergence relative, puis à remplacer celle-ci par une divergence de Rényi selon une construction de type Lie–Trotter. Il en résulte des versions de Rényi de l’information mutuelle conditionnelle quantique, de l’information conditionnelle multipartite et de l’entropie topologique, avec convergence vers les quantités usuelles lorsque $S_n^{(q)}$3 (Berta et al., 2015).

Un développement récent relie ces entropies à des normes de Schatten à multi-indices. Pour $S_n^{(q)}$4, l’entropie conditionnelle sandwiched optimisée s’identifie à un logarithme de norme opératorielle,

$S_n^{(q)}$5

ce qui permet d’établir des théorèmes d’additivité pour les canaux quantiques produits et des règles de chaîne pour les entropies conditionnelles de Rényi (Fawzi et al., 3 Feb 2025). Dans cette formulation, la multi-indexation n’est pas seulement notationnelle: elle est l’outil technique qui rend possible une factorisation exacte des problèmes entropiques sur des produits tensoriels.

Enfin, pour l’intrication bipartite pure issue d’un état initialement séparable, toute la famille des entropies de Rényi partage la même échelle de temps d’émergence,

$S_n^{(q)}$6

indépendamment de l’ordre de Rényi (Cresswell, 2017). Cela renforce l’idée que la famille entière, et non un ordre isolé, code le spectre d’intrication.

5. Généralisations multi-paramétriques et formulations algébriques

Une autre tradition emploie « multi-entropies de Rényi » pour désigner des généralisations où plusieurs paramètres ou plusieurs structures de référence interviennent. Le cas le plus explicite est celui des $S_n^{(q)}$7-entropies, définies par

$S_n^{(q)}$8

où $S_n^{(q)}$9 est un logarithme de groupe associé à une loi de groupe formel (Tempesta, 2015). Lorsque $Z_{G,a}$0, on retrouve exactement l’entropie de Rényi; le cadre est donc présenté comme une hiérarchie où Rényi est le premier exemple non trivial (Tempesta, 2015).

L’intérêt principal de cette généralisation est la composabilité stricte. Pour des systèmes statistiquement indépendants $Z_{G,a}$1 et $Z_{G,a}$2,

$Z_{G,a}$3

où $Z_{G,a}$4 est une loi de groupe symétrique, associative et possédant $Z_{G,a}$5 comme élément neutre (Tempesta, 2015). Cette propriété remplace l’additivité au sens de Shannon–Khinchin par une structure plus générale, enracinée dans la théorie des groupes formels et le groupe universel de Lazard (Tempesta, 2015).

Dans un registre différent, l’extension $Z_{G,a}$6-algébrique de type $Z_{G,a}$7-mixing définit, pour un système de référence $Z_{G,a}$8,

$Z_{G,a}$9

où l’infimum porte sur les décompositions extrémales de l’état $H_{\mathrm{GR}}(a,\beta)$0 (Mukhamedov et al., 2019). Cette quantité dépend explicitement du système de référence choisi; pour $H_{\mathrm{GR}}(a,\beta)$1, elle reproduit l’entropie quantique de Rényi usuelle lorsqu’un état est représenté par un opérateur densité, tandis que pour $H_{\mathrm{GR}}(a,\beta)$2 elle lui est inférieure (Mukhamedov et al., 2019). Le terme « multi » renvoie ici à la coexistence de plusieurs espaces de référence, et non à une multipartition spatiale.

La littérature statistique récente considère aussi des variantes à plusieurs paramètres issues du même noyau $H_{\mathrm{GR}}(a,\beta)$3. Outre l’entropie de Rényi

$H_{\mathrm{GR}}(a,\beta)$4

on y trouve une entropie de Rényi généralisée d’escorte

$H_{\mathrm{GR}}(a,\beta)$5

ainsi qu’une version à deux paramètres

$H_{\mathrm{GR}}(a,\beta)$6

liée aux familles de Tsallis et de Sharma–Mittal (Bodnarchuk et al., 2024). Ces objets ne sont pas des multi-entropies multipartites au sens des marges quantiques; ils relèvent plutôt d’une multi-paramétrisation de la sensibilité entropique.

6. Réalisations physiques, asymptotiques et usages opérationnels

Les familles de Rényi interviennent dans des régimes physiques où la dépendance en l’ordre joue un rôle structurel. Pour les états hydrogénoïdes de Rydberg, l’entropie se scinde en partie radiale et angulaire,

$H_{\mathrm{GR}}(a,\beta)$7

et le calcul asymptotique est réduit aux normes $H_{\mathrm{GR}}(a,\beta)$8 de polynômes de Laguerre (Toranzo et al., 2016). Trois régimes dominants apparaissent: régime cosinus pour $H_{\mathrm{GR}}(a,\beta)$9, régime de transition logarithmique à $\alpha$0, et régime de Bessel pour $\alpha$1 (Toranzo et al., 2016). Une structure analogue vaut pour l’oscillateur harmonique isotrope $\alpha$2-dimensionnel, où les contributions Bessel, cosinus et Airy se partagent la dominance selon $\alpha$3 et $\alpha$4; le seuil principal est $\alpha$5 pour $\alpha$6, et l’article souligne en particulier que la puissance entropique de Rényi décroît monotoniquement avec $\alpha$7 (Aptekarev et al., 2016).

Dans les systèmes intégrables après quench, les entropies de Rényi d’un macroétat thermodynamique ne sont pas gouvernées par le même point selle que l’entropie de von Neumann. Le formalisme TBA conduit à un point selle $\alpha$8-dépendant pour

$\alpha$9

ce qui signifie que la famille des ordres de Rényi sonde un macroétat de façon plus fine que l’entropie seule (Mestyán et al., 2018). Cette dépendance en $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$00 est un trait distinctif des « multi-entropies » dans les modèles intégrables.

Pour le gaz de Fermi libre en température positive, les entropies locales et d’intrication de Rényi sont définies via des opérateurs de Wiener–Hopf tronqués. Un résultat non asymptotique important est la positivité de l’entropie d’intrication pour $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$01, alors que cette positivité n’est pas garantie pour $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$02 (Leschke et al., 2022). Le régime haute température exhibe une loi de bord

$$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$03

accompagnée d’un facteur $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$04, ce qui montre que la dépendance en l’ordre de Rényi et la dépendance géométrique restent couplées (Leschke et al., 2022).

Dans les systèmes désordonnés de champ moyen, la complexité de Rényi

$$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$05

est reliée à un potentiel de Franz–Parisi généralisé par

$$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$06

et s’annule à la température de Kauzmann $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$07 pour tout $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$08 dans les modèles étudiés (Javerzat et al., 2024). Ici encore, la famille des ordres de Rényi n’est pas redondante: elle met en évidence des structures de brisure de symétrie de réplique qui peuvent apparaître même dans la phase liquide (Javerzat et al., 2024).

Enfin, dans les critères d’intrication à variables continues, la littérature parle parfois de construction « multi-entropique » alors qu’il ne s’agit pas d’un nouveau fonctionnel, mais d’une contrainte portant sur une somme de deux entropies de Rényi à indices liés,

$$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$09

pour les états $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$10-séparables (Rastegin, 2016). Cette terminologie souligne que la notion de multi-entropie de Rényi reste contextuelle: elle peut désigner un vecteur d’entropies, une mesure multipartite nouvelle, une famille multi-paramétrique, ou simplement l’usage conjoint de plusieurs ordres dans une même inégalité.

Dans l’ensemble, les multi-entropies de Rényi décrivent moins un invariant canonique qu’un programme mathématique et physique unifié par la dépendance en l’ordre de Rényi, l’étude simultanée de plusieurs composantes entropiques et la recherche de structures géométriques, algébriques ou opératoires absentes du point $$H_\alpha(P)=\frac{1}{1-\alpha}\log\sum_i p_i^\alpha$$11.