🔢 mathematics

A sharp lower bound for some reciprocal Rado numbers

Cet article établit des bornes inférieures strictes pour les nombres de Rado réciproques $f_r(k)$ , prouvant des inégalités spécifiques pour $r$ et $k$ généraux, déterminant des valeurs exactes ou des bornes améliorées pour le cas $r=2$ sous certaines conditions sur $k$ , et fournissant de nouveaux résultats computationnels et des généralisations.

Auteurs originaux : Collier Gaiser, Mojtaba Ramezanpour

Publié 2026-07-07

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Collier Gaiser, Mojtaba Ramezanpour

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous avez un sac géant de tuiles numérotées, de 1 jusqu'à un très grand nombre $n$ . Vous avez aussi un ensemble de crayons (couleurs). Votre objectif est de colorier chaque tuile du sac.

Le papier explore un jeu mathématique spécifique impliquant ces tuiles colorées et une règle très précise concernant les « fractions unitaires » (des fractions dont le numérateur est toujours 1, comme 1/2, 1/3, 1/4).

Le Jeu : Le Défi « Rado Réciproque »

La règle du jeu est cette équation :
$\frac{1}{x_1} + \frac{1}{x_2} + \dots + \frac{1}{x_k} = \frac{1}{x_{k+1}}$

Voyez cela comme une recette. Vous devez choisir $k$ nombres (appelons-les ingrédients) dans votre sac. Lorsque vous additionnez leurs « réciproques » (en les retournant tête en bas), elles doivent être parfaitement égales à la réciproque d'un dernier nombre (le « plat »).

Le Piège : Tous les nombres que vous choisissez pour les ingrédients et pour le plat doivent être de la même couleur.

La grande question que les auteurs posent est : Quelle doit être la taille de votre sac de tuiles ( $n$ ) pour que vous soyez garanti de trouver une solution, peu importe la façon dont vous coloriez les tuiles pour l'éviter ?

Ce nombre minimum est appelé un nombre de Rado réciproque, noté $f_r(k)$ .

$r$ est le nombre de couleurs dont vous disposez.
$k$ est le nombre d'ingrédients de votre recette.

La Découverte des Auteurs : « Le Filet de Sécurité »

Les auteurs voulaient trouver une « borne inférieure étroite ». En langage clair, ils voulaient prouver l'existence d'un « filet de sécurité » de taille. Ils voulaient dire : « Si votre sac est plus petit que ce nombre spécifique, vous pouvez toujours trouver une façon de colorier les tuiles pour qu'aucune recette monochrome ne fonctionne. »

Ils ont prouvé deux choses principales :

Pour 2 ingrédients ( $k=2$ ) : Si vous avez $r$ couleurs, votre sac doit être au moins de taille approximativement $4^{r/2}$ pour forcer une solution.
- Analogie : Imaginez que vous essayez de cacher une paire de chaussettes assorties dans un tiroir. Les auteurs ont calculé exactement combien de chaussettes vous devez avoir dans le tiroir avant qu'il ne soit mathématiquement impossible de cacher la paire sans qu'elles ne soient de la même couleur.
Pour 3 ingrédients ou plus ( $k \ge 3$ ) : Si vous avez $r$ couleurs, le sac doit être au moins de taille $(2r - 1) \times k^r$ .
- Analogie : À mesure que la recette devient plus complexe (plus d'ingrédients), la « cachette » devient plus difficile à trouver, mais les auteurs ont trouvé une formule qui garantit que la cachette disparaît une fois que le sac devient assez grand.

Le Cas Particulier : Deux Couleurs ( $r=2$ )

L'article approfondit le scénario où vous n'avez que deux crayons : Rouge et Bleu. C'est la version la plus courante du jeu.

Ils ont trouvé un motif très précis pour quand le « filet de sécurité » est serré (c'est-à-dire quand le nombre est exactement ce que la formule prédit) et quand il est lâche (c'est-à-dire quand vous avez besoin d'un sac plus grand que ce que la formule suggère).

Les Correspondances « Parfaites » : Si le nombre d'ingrédients $k$ $k$ est un multiple de 3 fois une puissance de 2 (comme 6, 12, 24), le nombre magique est exactement $3k^2$ $3 k^{2}$ .
- Exemple : Si vous avez besoin de 6 ingrédients, la taille du sac est exactement $3 \times 6^2 = 108$ .
Le Tour de l'« Impaire Premier » : Si le nombre d'ingrédients $k$ $k$ est une puissance d'un nombre premier impair (comme 3, 5, 7, 9, 11, 25), le nombre magique est légèrement plus élevé : au moins $3k^2 + 1$ $3 k^{2} + 1$ .
- Analogie : C'est comme un puzzle où la plupart des pièces s'insèrent parfaitement dans une boîte, mais si la pièce a une forme de « nombre premier », elle dépasse juste un tout petit peu, nécessant une boîte légèrement plus grande.

Le Travail de Détective Informatique

Les auteurs n'ont pas seulement fait des mathématiques sur papier ; ils ont utilisé des ordinateurs pour agir comme des « détectives ». Ils ont écrit du code pour tester toutes les façons possibles de colorier des sacs de nombres allant jusqu'à la taille 25.

Ils ont confirmé que pour des nombres comme 6, 8, 10, 12, etc., la formule $3k^2$ fonctionne parfaitement.
Ils ont confirmé que pour les puissances de nombres premiers impairs comme 5, 7, 9, 11, la formule nécessite ce supplément de « +1 ».
Ils ont même découvert qu'une étude précédente contenait une erreur (affirmant qu'un nombre était 39 alors qu'il devait être au moins 75) et ils l'ont corrigée.

Sur la base de leurs résultats informatiques, ils ont formulé une Conjecture (une hypothèse forte) :

« Si $k$ n'est pas une puissance de nombre premier impair (et qu'il est au moins égal à 4), alors le nombre magique est exactement $3k^2$ . »

La Recette Généralisée

Enfin, les auteurs ont examiné une version plus complexe du jeu où les ingrédients ont des « poids » (coefficients). Au lieu de simplement ajouter $1/x$ , vous pourriez ajouter $2/x$ ou $5/x$ .

Ils ont prouvé que même avec ces poids, nous pouvons toujours calculer une taille de « filet de sécurité ». Cette taille dépend du plus petit poids et de la somme de tous les poids. C'est comme dire : « Même si votre recette demande des épices lourdes, nous pouvons toujours déterminer la taille exacte dont votre garde-manger a besoin pour garantir que vous trouverez un ensemble de bocaux assortis. »

Résumé

Ce papier traite de la recherche du point de bascule exact où le chaos (coloration aléatoire) se transforme en ordre (une solution monochromatique garantie) pour un type spécifique d'équation de fractions. Les auteurs ont fourni de nouvelles formules plus serrées pour ce point de bascule, ont utilisé des ordinateurs pour vérifier ces formules pour de petits nombres, et ont découvert une règle spéciale qui s'applique lorsque le nombre d'ingrédients est une « puissance de nombre premier impair ».

Résumé Technique : Une borne inférieure aiguë pour certains nombres de Rado réciproques

Énoncé du problème
Cet article traite d'un problème au sein de la théorie de Ramsey arithmétique concernant les « nombres de Rado réciproques ». Plus précisément, il étudie l'équation impliquant des fractions unitaires :
$\frac{1}{x_1} + \frac{1}{x_2} + \cdots + \frac{1}{x_k} = \frac{1}{x_{k+1}}$
où $x_1, \dots, x_k$ sont des entiers positifs qui ne sont pas nécessairement distincts. Soit $f_r(k)$ le plus petit entier positif $n$ tel que tout $r$ -coloration de l'ensemble $\{1, 2, \dots, n\}$ contient une solution monochromatique à cette équation. Bien que Brown et Rödler [4] ainsi que Lefmann [11] aient établi qu'un tel $n$ existe pour des valeurs suffisamment grandes, les bornes précises et les valeurs exactes pour $f_r(k)$ demeurent largement inconnues. L'objectif de l'article est d'améliorer les bornes inférieures existantes pour $f_r(k)$ et de déterminer des valeurs exactes ou des bornes plus serrées pour des cas spécifiques, particulièrement lorsque $r=2$ .

Méthodologie
Les auteurs emploient une combinaison de construction combinatoire, d'arguments de théorie des nombres et de vérification computationnelle :

Bornes inférieures constructives : Pour établir des bornes inférieures pour $f_r(k)$ , les auteurs construisent des $r$ -colorations explicites d'intervalles $\{1, 2, \dots, N\}$ qui évitent les solutions monochromatiques. Ces constructions partitionnent l'ensemble des entiers en intervalles disjoints ( $A_1, A'_i, A''_i$ ) assignant des couleurs spécifiques. Le cœur de la preuve repose sur l'analyse de la magnitude des termes dans l'équation réciproque. Un outil clé est le Lemme 2.1, qui fournit une borne inférieure pour la différence entre les réciproques d'entiers distincts dans une plage spécifique, utilisée pour dériver des contradictions lorsqu'on suppose l'existence d'une solution au sein d'une même classe de couleur.
Analyse de cas pour $r=2$ : Pour le cas de la 2-coloration, les auteurs analysent des formes spécifiques de $k$ . Ils utilisent l'induction et des identités algébriques spécifiques impliquant des puissances de 2 et des multiples de $k$ pour démontrer que certaines colorations de $\{1, \dots, 3k^2\}$ ne parviennent pas à produire de solutions monochromatiques sous certaines conditions (par exemple, lorsque $k$ est une puissance de nombre premier impair).
Vérification computationnelle : Les auteurs ont utilisé des scripts Python assistés par des outils d'IA (ChatGPT 5.5 et ChatGPT Codex) et des solveurs de satisfaction de contraintes booléennes (SAT) (Cadical195 et Glucose3) pour calculer les valeurs exactes de $f_2(k)$ et $f_3(k)$ pour des plages de $k$ non déterminées auparavant. Ces calculs ont été effectués sur un processeur AMD Ryzen 7 9800X3D.

Contributions clés et résultats

Amélioration des bornes inférieures générales :
L'article prouve deux théorèmes principaux améliorant les bornes précédentes (telles que $f_r(k) \ge k^r$ ) :
- Pour $r \ge 1$ , $f_r(2) \ge 4^{r/2}$ .
- Pour $k \ge 3$ et $r \ge 1$ , $f_r(k) \ge (2r - 1)k^r$ .
  Les auteurs notent que pour $r=2$ , la borne $f_2(k) \ge 3k^2$ est aiguë pour une infinité de $k$ .
Valeurs exactes et bornes plus serrées pour $r=2$ :
- Cas $k = 3 \cdot 2^m$ : Les auteurs prouvent que si $k$ est de la forme $3 \cdot 2^m$ (pour un entier positif $m$ ), alors $f_2(k) = 3k^2$ .
- Cas $k = p^m$ (Puissance de nombre premier impair) : Si $k$ est une puissance de nombre premier impair, les auteurs prouvent que $f_2(k) \ge 3k^2 + 1$ .
- Résultats computationnels : L'article fournit un tableau des valeurs calculées pour $f_2(k)$ pour $k \in \{2, \dots, 25\}$ . Ces résultats corrigent une affirmation précédente de Myers et Parrish [12] concernant $f_2(5)$ , montrant que celui-ci est égal à 80 (cohérent avec la nouvelle borne inférieure) plutôt que 39. Les données suggèrent que $f_2(k) = 3k^2$ si et seulement si $k$ n'est pas une puissance de nombre premier impair (pour $k \ge 4$ ).
Généralisation aux coefficients :
Les auteurs généralisent leurs résultats de bornes inférieures à des équations avec des coefficients entiers positifs arbitraires :
$\frac{a_1}{x_1} + \frac{a_2}{x_2} + \cdots + \frac{a_k}{x_k} = \frac{1}{x_{k+1}}$
Ils établissent que pour les 2-colorations, $f(a_1, a_2) \ge 2\min\{a_1, a_2\}(a_1+a_2)^2$ et pour $k \ge 3$ , $f(a_1, \dots, a_k) \ge (2\min\{a_i\} + 1)(\sum a_i)^2$ .
Données computationnelles pour $r=3$ :
De nouveaux résultats computationnels pour $f_3(k)$ sont fournis pour $k \in \{2, 3, 4, 5\}$ . Les auteurs observent que la borne inférieure $f_3(k) \ge 7k^3$ (dérivée de leur théorème général) semble être lâche, car les valeurs calculées dépassent significativement cette borne.

Signification et affirmations
L'article affirme fournir les premières bornes inférieures aiguës pour les nombres de Rado réciproques dans le cas général et identifie des familles infinies spécifiques de $k$ où la borne inférieure pour $f_2(k)$ est exacte. Les auteurs soulignent que leur travail affine la compréhension du seuil auquel les solutions monochromatiques aux équations réciproques deviennent inévitables.

Les auteurs présentent leurs conclusions avec modestie en :

Proposant la Conjecture 1.3 : Que pour $k \ge 4$ , $f_2(k) = 3k^2$ si et seulement si $k$ n'est pas une puissance de nombre premier impair.
Identifiant des problèmes ouverts, incluant l'amélioration de la borne inférieure pour $f_3(k)$ , l'affinement de la borne pour $f_2(k)$ lorsque $k$ est une puissance de nombre premier impair, et la détermination de l'existence d'une borne supérieure quadratique pour $f_2(k)$ pour tout $k \ge 4$ .
Notant que, bien que leurs bornes inférieures soient aiguës pour des cas spécifiques, le comportement général pour $r \ge 3$ reste un domaine de recherche ouvert, comme le suggère la divergence entre leur borne inférieure théorique et les résultats computationnels pour $f_3(k)$ .

L'article conclut en reconnaissant l'utilité du codage assisté par l'IA dans leurs efforts de calcul et invite à poursuivre la recherche sur les propriétés de distance minimale des fractions unitaires (Problème 5.4).