On the automorphisms of numerical power monoids

Résumé Technique : Sur les automorphismes des monoïdes de puissances numériques

Énoncé du Problème
L'article traite du problème de la détermination des groupes d'automorphismes des monoïdes de puissances finitaires réduits associés aux monoïdes numériques. Soit $H$ un monoïde numérique (un sous-monoïde cofini du monoïde additif des entiers non négatifs $\mathbb{N}$). L'objet d'étude est $P_{\text{fin},0}(H)$, le monoïde de tous les sous-ensembles finis de $H$ contenant $0$, muni de l'opération d'addition par ensemble $X + Y = \{x+y : x \in X, y \in Y\}$.

La question centrale est de caractériser $\text{Aut}(P_{\text{fin},0}(H))$, le groupe des automorphismes de cette structure. Des travaux antérieurs par Tringali et Yan ont établi que pour $H = \mathbb{N}$, le groupe d'automorphisme est cyclique d'ordre deux, engendré par l'identité et la « carte de réversion » $X \mapsto \max(X) - X$. Ils ont conjecturé que pour tout monoïde numérique $H \neq \mathbb{N}$, le groupe d'automorphisme est trivial (c'est-à-dire ne consiste qu'en l'application identité). Cet article vise à prouver cette conjecture.

Méthodologie
Les auteurs emploient une combinaison d'arguments combinatoires, de propriétés de théorie des ensembles des monoïdes de puissances et d'une analyse structurelle des monoïdes numériques. La méthodologie repose sur plusieurs outils techniques clés :

1. Isomorphismes de Pullback : En utilisant un résultat de Tringali et Yan, tout isomorphisme $f: P_{\text{fin},1}(H) \to P_{\text{fin},1}(K)$ induit une bijection (le « pullback ») $g: H \to K$. Pour les monoïdes numériques, les auteurs établissent que tout automorphisme de $P_{\text{fin},0}(H)$ possède un pullback trivial (Lemme 3.1), signifiant que $f(\{0, x\}) = \{0, x\}$ pour tout $x \in H$.
2. Préservation de la Cardinalité et Ordre Infini : S'appuyant sur les travaux de Rago, les auteurs généralisent un lemme pour montrer que les isomorphismes entre monoïdes de puissances finitaires réduits de monoïdes cancellatifs (où l'un contient un élément d'ordre infini) préservent la cardinalité des sous-ensembles (Proposition 2.4).
3. Fonctions d'Autocorrélation : Une innovation centrale est l'introduction de la fonction d'h-autocorrélation $\nu_h(A) = |\{a \in A : h+a \in A\}|$. Les auteurs prouvent que pour un automorphisme $f$ avec un pullback trivial, l'autocorrélation est invariante : $\nu_h(A) = \nu_h(f(A))$ (Proposition 2.7). Cet invariant sert de contrainte rigide sur la structure de $f$.
4. Invariance de l'Élément Maximal : Les auteurs prouvent que tout automorphisme de $P_{\text{fin},0}(H)$ préserve l'élément maximal d'un ensemble (Lemme 3.2).
5. Induction Structurelle sur les Monoïdes Numériques : La preuve distingue le cas $H = \mathbb{N}$ du cas $H \neq \mathbb{N}$ en analysant le comportement de $f$ sur des ensembles impliquant le conducteur $c$ de $H$ (le plus petit entier tel que tous les entiers $\ge c$ sont dans $H$).

Contributions Clés et Résultats
L'article fournit une classification complète des groupes d'automorphismes pour les monoïdes de puissances numériques, confirmant la conjecture de Tringali et Yan.

• Théorème Principal (Théorème 1.2) :

  • Si $H = \mathbb{N}$, $\text{Aut}(P_{\text{fin},0}(\mathbb{N}))$ est cyclique d'ordre deux. L'automorphisme non trivial est la carte de réversion $X \mapsto \max(X) - X$.
  • Si $H \neq \mathbb{N}$ (c'est-à-dire que $H$ est un vrai monoïde numérique), $\text{Aut}(P_{\text{fin},0}(H))$ est trivial. Le seul automorphisme est l'application identité.

• Stratégie de Preuve pour le Théorème Principal :
  La preuve procède par l'absurde. En supposant qu'un automorphisme $f$ existe pour $H \neq \mathbb{N}$, les auteurs analysent l'action de $f$ sur des ensembles de la forme $\{0, \alpha, \alpha+1\}$.

  • Lemme 3.3 : Montre que si $f$ ne fixe pas $\{0, \alpha, \alpha+1\}$ pour un certain $\alpha \ge c$, alors $H$ doit être $\mathbb{N}$.
  • Lemmes 3.4 & 3.5 : Établissent que si $f$ fixe un ensemble spécifique $\{0, c+2, c+3\}$, il doit fixer tous les ensembles d'une certaine forme de progression arithmétique, forçant finalement $f$ à être l'identité sur l'ensemble de $P_{\text{fin},0}(H)$.
  • En combinant ces lemmes, les auteurs montrent que pour $H \neq \mathbb{N}$, tout écart par rapport à l'identité mène à une contradiction, prouvant ainsi la trivialité.

• Nouvelle Preuve pour $H=\mathbb{N}$ : L'article offre une preuve nouvelle, plus conceptuelle, que $\text{Aut}(P_{\text{fin},0}(\mathbb{N}))$ est d'ordre deux, en utilisant l'invariance de l'autocorrélation et le comportement de la carte de réversion.

Signification et Revendications
L'article affirme résoudre la conjecture concernant les groupes d'automorphismes des monoïdes de puissances numériques de manière affirmative. La signification réside dans :

1. Compléter la Classification : Il résout la question structurelle pour tous les monoïdes numériques, soulignant une dichotomie tranchée entre le monoïde complet $\mathbb{N}$ et ses sous-monoïdes propres.
2. Avancement Méthodologique : L'introduction de la fonction d'« autocorrélation » et la preuve de son invariance sous les automorphismes (Proposition 2.7) sont présentées comme des contributions indépendantes qui peuvent être utiles dans d'autres contextes impliquant des semi-groupes de puissances.
3. Clarté Conceptuelle : Les auteurs fournissent une preuve rationalisée pour le cas $\mathbb{N}$, améliorant la littérature existante en exploitant explicitement la trivialité du pullback pour les monoïdes numériques.

L'article ne propose pas de nouvelles applications ou directions expérimentales, mais suggère que l'extension de ces résultats aux monoïdes rationnels ou affines constituerait une direction future naturelle. Le travail est présenté comme une résolution définitive d'un problème ouvert spécifique à l'intersection de la combinatoire additive et de la théorie des semi-groupes.