A five-species counterexample to the Hofbauer--Kon--Saito conjecture on qualitative permanence

Beldiman Miruna-Mihaela; Halanay Andrei-Dan

Résumé IA · arXiv: 2610.38374v1 · math.DS

A five-species counterexample to the Hofbauer--Kon--Saito conjecture on qualitative permanence

Beldiman Miruna-Mihaela, Halanay Andrei-Dan

Article original Soumis à arXiv le 28 Oct. 2026 11 pages, 1 figure. Ancillary file: exact-arithmetic verification script (Julia) Licence : NONEXCLUSIVE-DISTRIB 1.0 Aussi en : en

Comment lire ce résumé ? Guide illustré

L’essentiel

Un contre-exemple à cinq espèces montre que les conditions de Hofbauer–Kon–Saito ne suffisent pas à garantir la permanence qualitative.

Question

Les conditions nécessaires (C1) et (C2), conjecturées suffisantes pour la permanence qualitative des systèmes de Lotka–Volterra, le sont-elles pour tout nombre d’espèces ?

Méthode

Les auteurs construisent une matrice entière 5 × 5 avec sept coefficients d’interaction hors diagonale non nuls, et choisissent un vecteur de croissance entier pour lequel le système possède un équilibre intérieur explicite. Ils établissent les connexions d’un cycle hétéroclinique au moyen de fonctions de Lyapunov dans trois faces et d’un lemme fondé sur les graphes d’invasion dans la quatrième, puis vérifient sa stabilité asymptotique à partir de sa matrice caractéristique. Ils étendent le contre-exemple à tout n ≥ 5 en ajoutant des espèces non interactives.

Résultats

Résultat La matrice construite satisfait les conditions (C1) et (C2), et le système associé possède un équilibre intérieur.
Résultat Le système possède un cycle hétéroclinique asymptotiquement stable situé sur la frontière de l’orthant.
Voir le passage dans l’article
$\Gamma$ is asymptotically stable.
Résultat Le cycle attire des trajectoires intérieures, ce qui établit que le système n’est pas permanent et que la matrice n’est pas qualitativement permanente.
Voir le passage dans l’article
An asymptotically stable $\Gamma\subset\partial X$ attracts every point of a neighbourhood, including interior points, so (1) is not permanent.
Résultat L’ajout d’espèces sans interactions avec les cinq premières étend le contre-exemple à tous les nombres d’espèces n ≥ 5.
Voir le passage dans l’article
The conjecture is false for every $n\geq 5$.
Interprétation des auteurs Les auteurs proposent que la boucle unidirectionnelle à trois espèces et un prédateur présent tout au long du cycle forment le mécanisme général de l’échec à cinq espèces.
Voir le passage dans l’article
We expect this to be the general mechanism at $n=5$.

Limites

La question de la validité de la conjecture pour quatre espèces, y compris lorsque le vecteur de croissance est non générique, reste ouverte.
Voir le passage dans l’article
Is the conjecture true for $n=4$, including non-generic $r$?
Les observations sur les motifs à quatre et cinq espèces reposent sur des expériences informatiques que les auteurs ne détaillent pas.
Voir le passage dans l’article
Computer experiments, which we do not report in detail here, suggest
Le mécanisme général proposé pour cinq espèces est une attente des auteurs, et non un résultat démontré dans l’article.
Voir le passage dans l’article
We expect this to be the general mechanism at $n=5$.

Portée

L’article réfute la conjecture de suffisance de (C1) et (C2) dès cinq espèces, tout en préservant leur statut de conditions nécessaires. Il fournit aussi un lemme de connexion par graphes d’invasion pour établir une connexion dans une face qui n’est pas stable au sens de Volterra–Lyapunov.

Rédigé par une IA à partir de l’article. Les passages cités sont vérifiés mot pour mot dans le texte analysé ; le reste peut contenir des erreurs.

Mots clés générés par l'IA : Systèmes de Lotka–Volterra ; permanence qualitative ; cycles d’interactions ; cycle hétéroclinique ; stabilité asymptotique

Pour aller plus loin

Résumé Complet
Résumé vulgarisé
Article de blog
Abstract original

L’article étudie une conjecture de Hofbauer, Kon et Saito sur la permanence qualitative des systèmes de Lotka–Volterra. Ces systèmes décrivent l’évolution de populations en fonction de leurs taux de croissance et de leurs interactions. La permanence signifie que, pour toute condition initiale où toutes les espèces sont présentes, leurs populations restent, à long terme, à distance de zéro et demeurent bornées. La permanence qualitative exige que cette propriété soit vérifiée pour toute matrice ayant le même motif de signes d’interaction et pour tout vecteur de croissance compatible avec l’existence d’un équilibre intérieur. Deux conditions sur les cycles d’interactions étaient déjà connues comme nécessaires : le produit des interactions le long de chaque cycle doit être non positif, et tout cycle de produit négatif doit comporter exactement une interaction négative. Les auteurs cherchent à déterminer si ces conditions sont également suffisantes, quel que soit le nombre d’espèces. Ils réfutent la conjecture à l’aide d’un exemple à cinq espèces. La matrice d’interaction est entière, ses termes diagonaux valent −1 et elle ne comporte que sept interactions non nulles hors diagonale. Ses seuls cycles non nuls sont deux cycles de longueur deux, chacun de produit −2, et un cycle de longueur trois, de produit −3456. Ces cycles ont tous un produit négatif et ne comportent chacun qu’un seul terme négatif : les deux conditions conjecturées sont donc satisfaites. Pourtant, avec le vecteur de croissance $(1, 3, 3, 1, -2)$, le système possède un équilibre intérieur dont les coordonnées sont $(24797, 1759, 6331, 1832, 356)/10376$, mais il n’est pas permanent. La démonstration repose sur un cycle hétéroclinique situé à la frontière de l’orthant positif. Ce cycle passe successivement par quatre équilibres, de supports $\{1,3\}$, $\{1,3,4\}$, $\{1,2,4\}$ et $\{1,2,5\}$. Les espèces qui envahissent successivement sont les espèces 4, 2, 5, puis 3. L’espèce 1 reste présente tout au long du cycle. Les interactions entre les espèces 2, 4 et 5 forment une boucle de rétroaction à sens unique, tandis que l’espèce 1 joue le rôle de prédateur de deux proies. Les taux d’invasion correspondants sont $1$, $31/3$, $37$ et $7/4$. Les auteurs vérifient que les quatre équilibres sont intérieurement stables et hyperboliques, puis établissent l’existence des connexions entre eux. Ils démontrent trois de ces connexions à l’aide de fonctions de Lyapunov, les matrices des faces concernées étant stables au sens de Volterra–Lyapunov. La quatrième connexion se trouve dans une face contenant la boucle unidirectionnelle, qui ne possède pas cette stabilité. Le gain de boucle, égal à 3456, dépasse largement le seuil de 8 indiqué pour la stabilité diagonale du système cyclique considéré. Pour établir cette dernière connexion, les auteurs introduisent un lemme fondé sur le graphe d’invasion. Une fois la stabilité du cycle à la frontière établie, ils utilisent sa matrice caractéristique et un vecteur négatif dont le produit par cette matrice a pour composantes $13/3$, $1/3$, $19$ et $15$, toutes positives.

Un contre-exemple à cinq espèces pour la permanence des systèmes de Lotka–Volterra

La permanence est une idée simple, mais essentielle en écologie mathématique : si plusieurs espèces sont présentes au départ, aucune ne devrait finir par disparaître, et aucune population ne devrait croître sans limite. Dans leur article, « A five-species counterexample to the Hofbauer--Kon--Saito conjecture on qualitative permanence », Beldiman Miruna-Mihaela et Halanay Andrei-Dan remettent en question une conjecture sur les conditions permettant de garantir cette propriété dans les systèmes de Lotka–Volterra.

Quand un système est-il permanent ?

Les systèmes de Lotka–Volterra modélisent l’évolution de populations à partir de deux ingrédients : le taux de croissance propre de chaque espèce et les effets de ses interactions avec les autres. Ces effets peuvent représenter, par exemple, la compétition ou la prédation. Un équilibre intérieur est un état où toutes les espèces coexistent à des niveaux strictement positifs.

La permanence signifie que, pour toute condition initiale où chaque espèce est présente, les populations restent à long terme bornées et éloignées de zéro. La permanence qualitative pose une exigence plus forte : la propriété doit rester vraie pour toutes les matrices d’interaction ayant le même motif de signes, ainsi que pour tout vecteur de croissance compatible avec un équilibre intérieur. Autrement dit, c’est la structure des interactions, plutôt que leurs valeurs précises, qui devrait suffire à prédire la persistance des espèces.

Deux règles de cycles mises à l’épreuve

La conjecture étudiée s’appuie sur des conditions portant sur les cycles d’interactions. Un cycle est une boucle dans laquelle les effets d’une espèce se transmettent à d’autres avant de revenir à la première. Deux critères étaient déjà connus comme nécessaires :

Le produit des coefficients d’interaction le long de chaque cycle doit être non positif.
Tout cycle dont le produit est négatif doit comporter exactement une interaction négative.

La question est de savoir si ces règles sont également suffisantes, quel que soit le nombre d’espèces. Les auteurs apportent une réponse négative en construisant un système à cinq espèces qui respecte les deux critères, tout en échouant à être permanent.

Un exemple précis à cinq espèces

La matrice d’interaction de l’exemple est entière, avec des termes diagonaux égaux à −1 et seulement sept interactions non nulles hors diagonale. Elle comporte trois cycles non nuls : deux cycles de longueur deux, dont les produits valent −2, et un cycle de longueur trois, dont le produit vaut −3456. Chacun a donc un produit négatif et une seule interaction négative. Les deux conditions conjecturées sont bien satisfaites.

Les auteurs choisissent le vecteur de croissance $(1, 3, 3, 1, -2)$. Avec ces paramètres, le système possède un équilibre intérieur dont les coordonnées sont $(24797, 1759, 6331, 1832, 356)/10376$. Pourtant, l’existence de cet équilibre ne garantit pas la permanence : le système n’est pas permanent.

Un cycle d’extinctions potentielles à la frontière

La non-permanence est démontrée à l’aide d’un cycle hétéroclinique situé à la frontière de l’orthant positif. Ce cycle relie quatre équilibres, où certaines espèces sont absentes. Leurs supports — les ensembles d’espèces présentes — sont successivement $\{1,3\}$, $\{1,3,4\}$, $\{1,2,4\}$ et $\{1,2,5\}$.

À chaque étape, une nouvelle espèce envahit la communauté : d’abord l’espèce 4, puis l’espèce 2, ensuite l’espèce 5, et enfin l’espèce 3. L’espèce 1, elle, reste présente pendant tout le cycle. Les taux d’invasion associés sont respectivement $1$, $31/3$, $37$ et $7/4$. La succession des invasions montre comment la dynamique peut s’organiser autour d’états où certaines populations sont absentes, malgré la présence d’un équilibre intérieur.

Comment les auteurs établissent le cycle

La preuve vérifie d’abord que les quatre équilibres sont intérieurement stables et hyperboliques. Il faut ensuite établir les connexions qui forment le cycle hétéroclinique. Trois d’entre elles sont démontrées à l’aide de fonctions de Lyapunov, car les matrices des faces correspondantes sont stables au sens de Volterra–Lyapunov.

La quatrième connexion est plus délicate. Elle se trouve dans une face contenant une boucle unidirectionnelle entre les espèces 2, 4 et 5. Cette boucle ne possède pas la stabilité nécessaire à la méthode précédente : son gain, égal à 3456, dépasse largement le seuil de 8 associé à la stabilité diagonale du système cyclique considéré. Les auteurs introduisent alors un lemme fondé sur le graphe d’invasion pour établir cette connexion. Une fois la stabilité du cycle à la frontière démontrée, ils la vérifient à l’aide de sa matrice caractéristique et d’un vecteur négatif dont le produit par cette matrice a quatre composantes positives : $13/3$, $1/3$, $19$ et $15$.

Une leçon pour la théorie de la permanence

Ce contre-exemple montre que les deux conditions sur les cycles, bien que nécessaires, ne suffisent pas à garantir la permanence qualitative. Une structure de signes apparemment favorable peut coexister avec une dynamique qui s’approche d’états frontières où certaines espèces disparaissent. Le résultat souligne ainsi l’importance d’étudier les voies d’invasion et les connexions entre équilibres, et pas seulement les produits associés aux cycles d’interaction.

En proposant un exemple concret à cinq espèces, l’article précise les limites des critères structurels simples et ouvre la voie à des conditions plus complètes pour comprendre quand une communauté écologique peut réellement persister.

Créé le 02 Nov. 2026

Cette synthèse vous a-t-elle été utile ?

Note : 0

Posez des questions sur cet article à notre assistant IA

Comment discuter avec cet article ? Guide illustré

Comparer avec le PDF

Vous pouvez aussi discutez avec plusieurs papiers à la fois ici.

Instructions pour utiliser l'assistant IA ?

Outils pour cet article

Expliquer autrement 3 réécritures gratuites restantes aujourd'hui

Enregistrer dans une collection Regroupez des articles en collections pour les comparer, les interroger et les exporter. Créer un compte gratuit Se connecter

Exporter BibTeX · RIS (Zotero, Mendeley, EndNote) · Obsidian (Markdown) · Notion (Markdown)

Outils avancés Premium

Pour suivre un domaine de près : alertes de citations, diapositives de journal club, comparaison des versions et envoi vers Zotero. Découvrir Premium

Zotero

Alertes de citation Guide des alertes de citations

Qui travaille dessus ? Les personnes et institutions qui publient sur son sujet

Lettre hebdomadaire Présenté dans « Mathématiques et statistiques cette semaine » du 2 novembre 2026. Mathématiques et statistiques cette semaine : les conjectures à l’épreuve des preuves

Journal club Premium+ Des slides pour le présenter Proposer pour le journal club

Versions Ce qui a changé entre les versions

En parler en public Premium+ Kit presse : communiqué, questions, détecteur de hype Guide du kit presse

Avertissement : Notre outil de synthèse basé sur l'IA et l'assistant virtuel fournis sur ce site Web peuvent ne pas toujours fournir des résumés complets ou des réponses exactes. Nous vous encourageons à examiner attentivement et à évaluer le contenu généré pour vous assurer de sa qualité et de sa pertinence par rapport à vos besoins.

A five-species counterexample to the Hofbauer--Kon--Saito conjecture on qualitative permanence

L’essentiel

Question

Méthode

Résultats

Limites

Portée

Pour aller plus loin

Definitions

Un contre-exemple à cinq espèces pour la permanence des systèmes de Lotka–Volterra

Quand un système est-il permanent ?

Deux règles de cycles mises à l’épreuve

Un exemple précis à cinq espèces

Un cycle d’extinctions potentielles à la frontière

Comment les auteurs établissent le cycle

Une leçon pour la théorie de la permanence

Posez des questions sur cet article à notre assistant IA

Outils pour cet article

Outils avancés Premium

Les articles autour de celui-ci

Les articles les plus proches

Les travaux antérieurs sur lesquels il s’appuie

Aller plus loin

Citer cet article (BibTeX)