Régularité de partition et théorie de Ramsey structurelle

La théorie de Ramsey structurelle démontre que chaque fois que les entiers ou d'autres structures riches sont partitionnés en un nombre fini de classes, l'une de ces classes doit contenir des motifs arithmétiques ou combinatoires prescrits.

Definition

Un système ou un motif est à régularité de partition (partition regular) si, pour toute partition de l'ensemble sous-jacent en un nombre fini de classes, au moins une classe contient une solution ou une instance du motif ; la théorie de Ramsey structurelle étudie quels motifs possèdent cette propriété.

Scope

Ce sujet aborde la régularité de partition sur les entiers – le théorème de Schur, le théorème de van der Waerden sur les progressions arithmétiques monochromatiques et la caractérisation de Rado des équations à régularité de partition – ainsi que le théorème de Hales-Jewett, le résultat abstrait sur les lignes combinatoires dont découlent nombre de ces théorèmes. Il situe la théorie de Ramsey au sein de la combinatoire additive.

Core questions

• Quels motifs arithmétiques doivent apparaître dans une classe de toute coloration finie des entiers ?
• Quand une équation linéaire a-t-elle une solution monochromatique sous toute coloration ?
• Comment le théorème de Hales-Jewett unifie-t-il ces résultats de partition ?
• Comment ces résultats se connectent-ils aux densités et à la combinatoire additive ?

Key concepts

• Régularité de partition
• Théorème de Schur
• Théorème de van der Waerden
• Théorème de Rado
• Théorème de Hales-Jewett
• Lignes combinatoires

Key theories

Théorème de van der Waerden

Pour tout nombre de couleurs et toute longueur cible, il existe un entier N tel que toute coloration des entiers de un à N contient une progression arithmétique monochromatique de cette longueur.

Théorème de Hales-Jewett

Dans un cube combinatoire de haute dimension sur un alphabet fixe, toute coloration finie contient une ligne combinatoire monochromatique, un théorème maître qui implique celui de van der Waerden et de nombreux autres résultats de partition.

Clinical relevance

Ces résultats de régularité de partition sont des pierres angulaires de la combinatoire additive et de la théorie des nombres, se connectant au théorème de Szemeredi sur les progressions arithmétiques et au théorème de Green-Tao sur les nombres premiers, et ils éclairent les arguments de structure contre le hasard (structure-versus-randomness) dans l'ensemble des mathématiques.

History

Le théorème de Schur de 1916 et le théorème de van der Waerden de 1927 sur les progressions arithmétiques ont initié la théorie de la partition des entiers, que Rado a systématisée et que le théorème de Hales-Jewett de 1963 a unifiée de manière abstraite.

Key figures

• Bartel van der Waerden
• Issai Schur
• Richard Rado

Seminal works

• graham1990
• landman2003

Frequently asked questions

Que garantit le théorème de van der Waerden ?

Quelle que soit la manière dont les nombres entiers jusqu'à une certaine limite supérieure sont répartis en quelques classes de couleurs, une classe est contrainte de contenir une séquence équidistante de toute longueur souhaitée.

Pourquoi le théorème de Hales-Jewett est-il appelé un théorème maître ?

Parce que le théorème de van der Waerden et plusieurs autres résultats de partition découlent comme des cas particuliers de son énoncé sur les lignes combinatoires monochromatiques.