Independent domination polynomial of comaximal graphs of commutative rings

1. Problématique et Contexte

L'article se situe à l'intersection de la théorie des graphes et de l'algèbre commutative. L'objet d'étude principal est le graphe comaximal $\Gamma(R)$ d'un anneau commutatif $R$ à unité.

• Définition : Le graphe $\Gamma(R)$ a pour ensemble de sommets l'anneau $R$. Deux sommets distincts $a$ et $b$ sont adjacents si et seulement si les idéaux qu'ils engendrent sont comaximaux, c'est-à-dire $aR + bR = R$.
• Cible spécifique : L'auteur se concentre sur le cas où $R = \mathbb{Z}_n$ (l'anneau des entiers modulo $n$).
• Objectifs : Le papier vise à déterminer et analyser deux polynômes générateurs fondamentaux associés à ces graphes :
  1. Le polynôme de domination indépendante $D_i(G, x)$, qui compte le nombre d'ensembles dominants indépendants de chaque cardinalité.
  2. Le polynôme d'indépendance $I(G, x)$, qui compte le nombre d'ensembles indépendants de chaque cardinalité.
• Propriétés étudiées : Au-delà du calcul explicite, l'article examine les propriétés combinatoires de ces polynômes, notamment leur unimodalité (la suite des coefficients augmente puis diminue) et leur log-concavité, ainsi que la localisation de leurs racines (zéros).

2. Méthodologie

L'approche méthodologique repose sur une décomposition structurelle du graphe $\Gamma(\mathbb{Z}_n)$ basée sur la théorie des nombres et la structure des idéaux.

• Partition des sommets : L'auteur partitionne l'ensemble des sommets de $\Gamma(\mathbb{Z}_n)$ en fonction du plus grand commun diviseur (PGCD) avec $n$. Pour chaque diviseur propre $d_i$ de $n$, on définit l'ensemble $A_{d_i} = \{x \in \mathbb{Z}_n : (x, n) = d_i\}$.
• Structure du graphe : En utilisant des résultats antérieurs (Shamra, Bhatwadekar, etc.), l'article établit que $\Gamma(\mathbb{Z}_n)$ peut être vu comme une réunion jointe (join) d'un graphe complet $K_{\phi(n)}$ (les unités de l'anneau) et d'une structure complexe $G_2$ formée de l'union de sous-graphes complets et de graphes nuls (ensembles de sommets isolés ou indépendants).
• Formules récursives : L'article développe des formules itératives reliant le polynôme de $\Gamma(\mathbb{Z}_n)$ à celui de son sous-graphe $G_2$.
• Analyse des coefficients : Pour les cas spécifiques de $n$ (produits de puissances de nombres premiers), les coefficients des polynômes sont calculés explicitement.
• Outils d'analyse :
  • Utilisation du théorème d'Eneström-Kakeya pour borner les modules des racines des polynômes d'indépendance.
  • Vérification des inégalités de Newton et des conditions de log-concavité ($a_i^2 \ge a_{i-1}a_{i+1}$) pour déterminer la forme des polynômes.

3. Contributions Clés et Résultats Principaux

A. Polynôme de Domination Indépendante ($D_i$)

L'article fournit des formules explicites pour $D_i(\Gamma(\mathbb{Z}_n), x)$ dans plusieurs cas :

1. Cas $n = p$ (premier) : $D_i = px$.
2. Cas $n = pq$ (produit de deux premiers distincts) : Une formule combinant $\phi(n)$ et les puissances de $x$ correspondant aux tailles des ensembles dominants minimaux.
3. Cas $n = p^m$ : Le polynôme est donné par $D_i = (p^m - p^{m-1})x + x^{p^{m-1}}$.
4. Cas $n = p^{n_1}q^{n_2}$ et $n = p^{n_1}q^{n_2}r^{n_3}$ : Des expressions générales sont dérivées en fonction des paramètres des premiers et des exposants.

Propriétés de $D_i$ :

• L'article détermine les conditions exactes sous lesquelles $D_i(\Gamma(\mathbb{Z}_n), x)$ est unimodal et log-concave.
  • Pour $n=p^m$, le polynôme est unimodal si et seulement si $m=1$ ou ($m=p=2$). Il est log-concave si et seulement si $p \neq 3$ et $m \neq 2$.
  • Pour $n=p^{n_1}q^{n_2}$, l'unimodalité est très restrictive (nécessite $p=2, q=3, n_1=n_2=1$).
• Racines réelles : Il est démontré que pour $n=p^m$ avec $m \ge 3$, le polynôme possède une seule racine réelle (en plus de 0).

B. Polynôme d'Indépendance ($I$)

Des formules sont également établies pour $I(\Gamma(\mathbb{Z}_n), x)$ :

1. Cas $n=p$ : $I = 1 + px$.
2. **Cas $n=pq$:**$I = (\phi(n)-1)x + (1+x)^p + (1+x)^q - 1$.
3. Cas $n=p^m$ et $n=p^{n_1}q^{n_2}$ : Des formules fermées sont fournies, exploitant la structure de réunion jointe ($\vee$) et d'union disjointe ($\cup$).

Propriétés de $I$ :

• Contrairement au cas de la domination, le polynôme d'indépendance n'est généralement ni unimodal ni log-concave pour des valeurs arbitraires de $n$ (ex: $n=7 \times 11$).
• Bornes des racines : En appliquant le théorème d'Eneström-Kakeya, l'auteur établit que les racines non nulles de $I(\Gamma(\mathbb{Z}_n), x)$ pour $n=pq$ se situent dans l'anneau $0 < |z| < \frac{q-1}{2}$ (où $q$ est le plus grand facteur premier).
• Observation graphique : Les racines complexes semblent former des motifs circulaires ou des courbes limites, ce qui ouvre une piste de recherche future.

4. Signification et Implications

• Avancement théorique : Ce travail comble un vide dans la littérature en fournissant des expressions explicites pour les polynômes de domination et d'indépendance sur les graphes comaximaux, une classe de graphes algébriques moins étudiée que les graphes de diviseurs de zéro.
• Lien Algèbre-Combinatoire : L'article renforce la connexion entre les propriétés arithmétiques de $n$ (décomposition en facteurs premiers) et les propriétés spectrales/combinatoires du graphe associé (unimodalité, log-concavité).
• Limites et Perspectives :
  • Les résultats sont principalement limités aux cas où $n$ a un nombre restreint de facteurs premiers (jusqu'à 3). La complexité structurelle de $G_2$ rend le calcul explicite difficile pour des $n$ plus généraux.
  • La question de l'unimodalité et de la log-concavité pour des anneaux généraux reste ouverte.
  • L'étude des racines (en particulier la courbe limite des zéros complexes) constitue un domaine prometteur pour des recherches futures.

En résumé, cet article fournit une analyse rigoureuse et des formules précises pour les invariants polynomiaux des graphes comaximaux de $\mathbb{Z}_n$, tout en identifiant les conditions strictes nécessaires à la préservation de propriétés combinatoires classiques comme l'unimodalité.