Conjecture de Kepler | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

vignette|250x250px|Empilement compact de 35 sphères. La conjecture de Kepler est une ancienne conjecture (démontrée en 1998 et certifiée en 2014) formulée par le physicien, astronome et mathématicien Johannes Kepler en 1611. Cette conjecture énonce que, pour un empilement de sphères égales, en espace libre, la densité maximale est atteinte pour un empilement compact de plans compacts. Cette densité d vaut environ 74 % : vignette|250x250px|empilement de trois plans compacts de sphères: succession A,B,C ou succession A,B,A. Dans un plan compact chaque sphère est au contact de six autres. Dans l'empilement compact de deux plans compacts chaque sphère du plan supérieur est posée dans le creux formé par trois sphères du plan inférieur en contact deux à deux. Si un plan compact est noté A, les autres plans compacts peuvent être de type A, B ou C selon leur décalage horizontal par rapport au plan A. L'empilement compact est réalisé par l'empilement de plans A, B ou C de telle sorte que deux plans successifs ne soient pas du même type : ABABAB... (empilement hc, pour hexagonal compact), ABCABCABC... (empilement cfc, pour cubique à faces centrées) mais aussi ABCBABCBABCB... et n'importe quel autre succession vérifiant la condition ci-dessus, même non périodique. László Fejes Tóth démontre en 1953 que la conjecture de Kepler peut être réduite à un problème à un nombre fini de paramètres. En 1998, Thomas Hales annonce avoir démontré cette conjecture. Pour ce faire, il suit la voie ouverte par Tóth et réduit la démonstration à la recherche d'une borne inférieure à une fonction à 150 variables, pour un nombre élevé de configurations (plus de 5000), effectuée à l'aide de calculs par ordinateur impliquant la résolution d'environ problèmes d'optimisation linéaire. Cette preuve reposait sur deux parties : l'une, classique, en forme de démonstration mathématique, l'autre basée sur des calculs fait à l'ordinateur. Mais la partie informatique n'était pas vérifiable, laissant un doute sur la validé du travail.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (28)

Personnes associées (3)

Unités associées (2)

Concepts associés (6)

Séances de cours associées (13)

Six-dimensional sphere packing and linear programming

Maryna Viazovska, Matthew De Courcy-Ireland, Maria Margarethe Dostert

We prove that the Cohn-Elkies linear programming bound for sphere packing is not sharp in dimension 6. The proof uses duality and optimization over a space of modular forms, generalizing a construction of Cohn- Triantafillou [Math. Comp. 91 (2021), pp. 491 ...

Amer Mathematical Soc2024

The rule of four: anomalous distributions in the stoichiometries of inorganic compounds

Nicola Marzari, Marnik Bercx, Elena Gazzarrini, Carl Simon Adorf

Why are materials with specific characteristics more abundant than others? This is a fundamental question in materials science and one that is traditionally difficult to tackle, given the vastness of compositional and configurational space. We highlight he ...

Nature Portfolio2024

Six-dimensional sphere packing and linear programming

Maryna Viazovska, Matthew De Courcy-Ireland, Maria Margarethe Dostert

arXiv2022

Empilement compact

Un empilement compact d'une collection d'objets est un agencement de ces objets de telle sorte qu'ils occupent le moins d'espace possible (donc qu'ils laissent le moins de vide possible). Le problème peut se poser dans un espace (euclidien ou non) de dimension n quelconque, les objets étant eux-mêmes de dimension n. Les applications pratiques sont concernées par les cas (plan et autres surfaces) et (espace ordinaire).

Packing problems

Packing problems are a class of optimization problems in mathematics that involve attempting to pack objects together into containers. The goal is to either pack a single container as densely as possible or pack all objects using as few containers as possible. Many of these problems can be related to real-life packaging, storage and transportation issues. Each packing problem has a dual covering problem, which asks how many of the same objects are required to completely cover every region of the container, where objects are allowed to overlap.

László Fejes Tóth

László Fejes Tóth (-) est un mathématicien hongrois spécialiste en géométrie. Il a démontré le théorème du nid d'abeille sous l'hypothèse de convexité des tuiles du pavage. Persuadé que le théorème resterait vrai sans cette hypothèse il ne parvint néanmoins pas à le démontrer, affirmant que cela soulèverait des . Il est également connu pour son travail sur les empilements de sphères ; László Fejes Tóth a démontré en 1953 que la conjecture de Kepler pouvait être réduite à un problème à un nombre fini de paramètres.

Emballage en cristal de molécules conjuguées MSE-486: Organic electronic materials

Explore l'emballage cristallin des molécules conjuguées, en discutant des formes, des structures et des arrangements d'emballage à l'état solide.

Emballage en cristal de molécules conjuguées MSE-486: Organic electronic materials

Explore les formes et les structures cristallines des molécules conjuguées, en discutant des arrangements d'emballage, du polymorphisme et de l'impact des substituants sur l'emballage cristallin.

Organisation supramoléculaire : État solide MSE-486: Organic electronic materials

Explore l'organisation supramoléculaire des molécules conjuguées π à l'état solide, couvrant les structures cristallines et les préférences d'emballage.