Géométrie statistique

Suite à mon article sur ses travaux en 2011, John Shier m’a tenu au courant de l’avancement de ses recherches sur les pavages aléatoires, application esthétique de ce qu’il appelle désormais la “géométrie statistique ”:
J’ai ainsi reçu un exemplaire papier de son livre (non encore publié) “Fractalize That” [1] , deux articles co-écrits avec Paul Bourke [2] , [3] , et tout récemment un article [4] sur lequel je reviendrai plus bas.
L’introduction du livre présente les pavages périodiques et de Penrose , mais aussi les pavages “fractals” comme le Triangle de Sierpiński et les cercles appoloniens avant d’introduire le principe du pavage aléatoire (“random tiling”) par des pavés d’aire \(A_i\) décroissante selon la loi :
\[mathjax\]$$A_i = {A \over \zeta(c,N)(N+i)^{c}}$$où A est l’aire totale à recouvrir, et
$$\zeta(c,N) = \sum_{k=0}^\infty (N+k)^{-c}$$et c et N deux constantes.
L’algorithme du pavage aléatoire de Shier s’énonce alors ainsi:
- l’aire A étant donnée, choisir c>1 et N>0
- évaluer \(f=1/\zeta(c,N)\) et poser i=1
- calculer l’aire du pavé \(A_i = {Af \over (N+i)^{c}}\)
- tirer au hasard des coordonnées x,y uniformément distribuées dans la surface A, plus éventuellement un angle a
- si le pavé positionné en x,y,(a) empiète sur des pavés déjà placés, recommencer l’étape 4
- si non, placer le pavé en x,y,(a)
- incrémenter i et recommencer à l’étape 3

D’autre part, la détection de collisions nécessaire au point 5 de l’algorithme est affreusement lente pour des formes complexes. En fait, l’algorithme est lent même pour la forme la plus simple qui est le cercle. Il a fallu 14,7 heures de calcul à l’ordinateur de John pour placer un million de cercles en faisant 1'690'697'421 essais de placement (étape 4 de l’algorithme). De plus, chaque essai de placement du i-ème pavé nécessite en fait i-1 vérifications à l’étape 5. La complexité de l’algorithme est donc au minimum de \(O(n.log_2{n})\) dans le cas miraculeux où les coordonnées x,y,(a) tirées aux hasard sont possibles du premier coup.
Ce que je trouve génial

Références
- John Shier “Fractalize That : a Visual Essay on Statistical Geometry”, 2014 (disponible sur demande auprès de l’auteur)
- John Shier , Paul Bourke “An Algorithm for Random Fractal Filling of Space ”, 2013, Computer Graphics Forum. The Eurographics Association and John Wiley & Sons Ltd.doi:10.1111/cgf.12163
- John Shier , “Wallpaper Groups and Statistical Geometry ”, 2015
- Christopher Ennis “(Always) Room for One More”, 2016, Math Horizons, february

