• Aucun résultat trouvé

R` egles locales

N/A
N/A
Protected

Academic year: 2022

Partager "R` egles locales"

Copied!
16
0
0

Texte intégral

(1)

Thomas Fernique

Laboratoire d’Informatique de Paris Nord CNRS & Univ. Paris 13

(2)

Pavages par coupe et projection

Soient~v1, . . . , ~vn∈Rd d´efinissant des tuiles d’int´erieur non vide Ti1,...,id :={X

λij~vij |0≤λij ≤1}.

D´efinition (pavage n→d)

Un pavage n→d est un pavage “face-`a-face” deRd par ces tuiles.

Il se rel`eve naturellement en une surfaced-dim. de Rn via~vi 7→~ei.

D´efinition (pavage planaire)

Un pavage n→d est ditplanaires’il se rel`eve dans E + [0,t]n, o`u E est un d -plan affine deRn appel´e penteet t ≥1est l’´epaisseur.

(3)

Un plan discret `a l’abbaye Saint-´Etienne de Marmoutier (Alsace).

(4)

Exemples

Chez Michael Baake & inconnu : des pavages d’Ammann-Beenker.

(5)

Chez moi `a Montparnasse : un pavage de Penrose.

(6)

R` egles locales

D´efinition (r`egles locales)

Soit E ⊂Rn. S’il existe t ≥1 et un ensemble fini de motifs t.q.

I il y a un pavage sans ces motifs qui se rel`eve dans E+ [0,1]n;

I tout pavage sans ces motifs se rel`eve dans E+ [0,t]n; alors E est dit admettre desr`egles locales.

En dynamique symbolique : sous-shift de type fini.

En physique de la mati`ere condens´ee : quasicristaux.

(7)

Les pavages de Penrose sont ceux sans les motifs (`a isom´etrie pr`es)

On les d´efinit plus souvent par leurvertex-atlas

Les pavages d’Ammann-Beenker ne peuvent pas ˆetre d´efinis ainsi !

(8)

Motifs et fenˆ etre

D´efinition (fenˆetre)

Lafenˆetre d’un pavage planaire de pente E ⊂Rnet d’´epaisseur 1 est le polytope obtenu en projetant orthogonalement[0,1]n sur E.

Proposition

A tout motif point´` e correspond une r´egion de la fenˆetre o`u se projettent les sommets qui, dans le pavage, pointent ce motif.

(9)
(10)

Exemples

(11)

D´efinition (co¨ıncidence)

Uneco¨ıncidenced’un pavage planaire n→d , ce sont n−d + 1 faces unit´e n−d−1-dim. deZn concourantes dans la fenˆetre.

C’est la plus petite r´egion correspondant `a un motif point´e. . .

Proposition (B´edaride-F.)

Toute pente caract´eris´ee par motifs interdits l’est par co¨ıncidences.

(12)

Une condition n´ ecessaire

Proposition (B´edaride-F.)

Une co¨ıncidence d’un pavage planaire correspond `a une ´equation alg´ebrique sur les coordonn´ees grassmanniennes de sa pente.

Pour un pavagen→d, l’´equation est homog`ene de degr´e n−d.

Th´eor`eme (Le 1995, B´edaride-F.)

Un pavage planaire avec des r`egles locales a une pente alg´ebrique.

(13)

~x0 =

 1 r1 2 5

~x1 =

 2 3 1 r2

~x2 =

 4 1 r3 2

3G12G13+G14G23=G12G14+ 2G13G14+ 3G13G24.

~x0=

 r1

1 r2

3 1

~x1 =

 r3

3 1 1 r4

~x2 =

 0 r5

r6

0 1

~ x3 =

 3 1 0 r7 r8

3G15G23G24+2G12G23G45+G12G24G45= 3G23G24G45+2G12G34G45.

(14)

Une condition suffisante ?

Proposition (B´edaride-F.)

Toute pente caract´eris´ee par co¨ıncidences l’est par motifs interdits.

La planarit´e n’est cependant pas garantie (travail en cours).

(15)

Proposition (B´edaride-F.)

Toute pente caract´eris´ee par co¨ıncidences l’est par motifs interdits.

La planarit´e n’est cependant pas garantie (travail en cours).

(16)

Bibliographie

L. S. Levitov,Local rules for quasicrystals, Comm. Math.

Phys.119 (1988)

J. E. S. Socolar,Weak matching rules for quasicrystals, Comm. Math. Phys. 129(1990)

T. Q. T. Le,Local rules for quasiperiodic tilings, NATO Adv.

Sci. Inst. Ser. C. Math. Phys. Sci.489(1995)

N. B´edaride, Th. Fernique,When periodicities enforce aperiodicity, Comm. Math. Phys. 335 (2015)

N. B´edaride, Th. Fernique,No weak local rules for the 4p-fold tilings, Disc. Comput. Geom.54 (2015)

N. B´edaride, Th. Fernique,Weak local rules for octagonal tilings, to appear in Israel J. Math.

Références

Documents relatifs

– Un sondage a ´et´e fait aupr`es de 40 ´el`eves de Louise Michel, pour savoir s’ils regardaient le foot `a la t´el´evision.. Quel pourcentage de filles ne regardent pas

Il se peut que le probl` eme n’ait pas de solution int´ eressante (si l’´ equation est homog` ene, il y a toujours la s´ erie enti` ere 0 pour laquelle tous les coefficients

Pour trouver les coordonn´ ees d’un point dans un rep` ere, on ´ ecrit l’´ equation (vectorielle) caract´ eristique on convertit cette ´ equation en syst` eme num´ erique on

Donn´ ee: une machine de Turing M , qui ne revient jamais en d´ ebut de ruban, ne revient jamais dans l’´ etat initial, n’´ ecrit jamais de blancs?. Question: M ne s’arrˆ ete

Le dénombrement des orbites de l’action de T sur les centres de rotations de G revient alors à compter le nombre de ces centres de rotations dans chaque parallélogramme porté par

ayant un lit presque rectiligne et étroit, qui trans- porte un fort débit solide, avec des matériaux grossiers semblant rouler ou glisser sur un fond de matériaux plus fins, unc

– Si l’un des triangles couvre le sommet du cube en l’ayant sur un de ses cˆ ot´ es mais pas en un de ses sommets, alors il couvre π et il reste π/2 ` a couvrir avec un ou

[r]