You are on page 1of 46

Teselaciones

Federico Ardila
Universidad de Washington
Seattle WA EEUU

Congreso Nacional de Matem´aticas
Bogot´a, 8 de agosto de 2005
1

Teselaciones

Pregunta: ¿Es posible teselar esta regi´on

usando estas fichas?

1

2

6
5

Federico Ardila

4

3

2

7

Teselaciones

4
5

6

3
2

1
7

1

2

4

3

6

7

5

Respuesta: Es posible, pero no muy interesante.

Federico Ardila

3

Teselaciones

El tablero y las fichas deber´ıan ser interesantes matem´aticamente.

E.g., los 12 pentomin´os teselan un tablero de 3 × 20 o dos de 5 × 6

de una forma esencialmente u
´nica.
´
Esto
es un poco m´as interesante, pero no muy profundo.
Federico Ardila

4

¿Qu´e utilidad tiene contestar estas preguntas? Federico Ardila 5 . ¿Qu´e invariantes algebraicos tiene una teselaci´on? 6. ni se salen del tablero.Teselaciones Definici´ on: Una teselaci´on es una forma de llenar un tablero con fichas que no se superponen. ¿Cu´antas teselaciones hay? 3. ¿M´as o menos cu´ antas teselaciones hay? 4. ¿Qu´e tan regular o irregular puede ser una teselaci´on? 7. ¿C´omo es una teselaci´on “t´ıpica”? 5. El plan a seguir: 1. ¿Existe una teselaci´on? 2.

pero m´as interesante: ¿Es posible teselar este tablero con 31 domin´os (o d´ımeros)? Federico Ardila 6 . ¿Existe una teselaci´on? Una pregunta m´as f´acil.Teselaciones 1.

Teselaciones No es posible. • El tablero tiene 32 casillas blancas y 30 negras. ´ Este es el ejemplo m´as sencillo de un argumento de coloraci´ on. Federico Ardila 7 . Coloreemos el tablero como si fuera de ajedrez. • Cualquier domin´o va a cubrir una casilla blanca y una negra.

Teselaciones Si elimino una casilla blanca y una negra. ¿ser´a posible teselar el tablero que resulta? Federico Ardila 8 .

Teselaciones S´ı es posible. sin importar cu´ales casillas sean eliminadas. Federico Ardila 9 .

¿cu´ando puedo teselar el tablero con domin´os? Federico Ardila 10 . y a veces no. Pregunta: Si elimino k casillas blancas y k casillas negras.Teselaciones ¿Qu´e pasa si elimino dos casillas blancas y dos negras? A veces es posible.

este tablero tiene 16 casillas blancas y 16 negras. pero no puede ser teselado con domin´os. Federico Ardila 11 .Teselaciones Por ejemplo.

una especie de cuello de botella.Teselaciones Una explicaci´on: Hay un “conjunto deficiente de casillas” . * * * * * Las seis casillas negras con • son adyacentes a un total de s´ olo cinco casillas blancas ∗! Federico Ardila 12 .

1935. Podemos permitir que cada persona le asigne puntajes a sus posibles parejas. • Muchas aplicaciones en la pr´actica. Para k mujeres necesitamos por lo menos k esposos. y encontrar el mejor emparejamiento posible. ´ Este es el inicio de la teor´ıa de emparejamientos. (Hall. Federico Ardila 13 . • Conexiones con optimizaci´ on y teor´ıa de matroides. Idea: Hombres y mujeres que s´ olo est´an dispuestos a casarse con sus vecinos.) Un tablero puede ser teselado con domin´os si y s´ olo si no existe un “conjunto de casillas infelices”.Teselaciones ´ ¡Esta es la u ´nica explicaci´on posible! Teorema del matrimonio.

) No existe un algoritmo que decida si un tablero puede ser teselado con rect´angulos 1 × 3 y 3 × 1. 1995. ¡Pero esta pregunta es muy dif´ıcil para casi cualquier conjunto de fichas! Por ejemplo: Teorema. (Este problema es NP-completo. (Beauquier et al.Teselaciones Es f´acil determinar si es posible teselar una regi´on dada con domin´os.) Federico Ardila 14 .

1961. (Un computador. El primer resultado interesante: Teorema. (Kasteleyn. Fisher-Temperley.) El n´ umero de teselaciones de un rect´angulo de 2m × 2n con 2mn domin´os es: Federico Ardila 15 . ¿Cu´antas teselaciones hay? Un resultado poco interesante: Teorema.) El n´ umero de teselaciones de un rect´angulo de 6 × 10 con los 12 pentomin´os es 2339.Teselaciones 2. 1965.

) El n´ umero de teselaciones de un rect´angulo de 2m × 2n con 2mn domin´os es:  m Y n  Y jπ kπ mn 2 2 4 + cos .. 1961. y π = 180◦ . (Kasteleyn.3090169938 · · · 5 Federico Ardila 16 . Fisher-Temperley. 2π cos = cos 72◦ = 0. E.Teselaciones El primer resultado interesante: Teorema. cos 2m + 1 2n + 1 j=1 k=1 Ac´a Π denota un producto.g.

. .43◦ ) ×(cos2 36◦ + cos2 77. . . n = 3: 46 (cos2 36◦ + cos2 25.043 .704 . .)(.43◦ )(cos2 72◦ + cos2 51. .Teselaciones Para m = 2.466 .)(1.907 .14◦ ) = 46 (1. .) = 281 • mec´anica estad´ıstica: d´ımeros en una ret´ıcula rectangular • permanente → determinante → vectores y valores propios Federico Ardila 17 .145 .)(.)(. . . . .71◦ ) ×(cos2 36◦ + cos2 51. .14◦ )(cos2 72◦ + cos2 77.)(.71◦ )(cos2 72◦ + cos2 25.484 .

AZ(1) AZ(2) AZ(3) AZ(7) N´ umero de teselaciones de AZ(n): 1 2 3 4 5 6 7 2 8 64 1024 32768 2097152 268435456 Federico Ardila 18 . Por ejemplo. AZ(2) tiene 8 teselaciones.Teselaciones Otra situaci´on interesante: teselar diamantes aztecas con domin´os.

Teselaciones Teorema. ahora hay aproximadamente 12: • evaluaci´on de determinantes • teor´ıa de representaciones del grupo general lineal GL(n. Federico Ardila 19 . Larson. C) • algor´ıtmica • biyectiva Ninguna demostraci´ on es tan sencilla como la respuesta. Kuperberg. EKLP dan cuatro demostraciones. Propp. 1992.) El n´ umero de teselaciones de un diamante azteca AZ(n) con domin´os es 2n(n+1)/2 . (Elkies.

Federico Ardila 20 . Pero. ¿M´as o menos cu´antas teselaciones hay? Ya sabemos cu´ antas formas hay de teselar un rect´angulo. ¿s´ı sabemos? • ¿Qu´e tan grande es T (200 × 200) = 4100000 100 Y 100  Y j=1 k=1  jπ kπ ? + cos2 cos2 201 201 • Un diamante Azteca y un cuadrado “se parecen”. ¿cu´al tiene m´as teselaciones? Si una regi´ on tiene N casillas y T teselaciones. tiene √ N T grados de libertad por casilla. Entre dos “del mismo tama˜ no”.Teselaciones 3.

C=e El tablero cuadrado es “m´ as f´acil de teselar” que el diamante azteca. ya que 1. .189207115 . . Teorema. . el cuadrado es el tablero “m´ as f´acil de teselar”. .. Fisher-Templerley.Teselaciones Por ejemplo. Federico Ardila 21 .) El n´ umero de teselaciones de un cuadrado de 2n × 2n 2 con domin´os es aproximadamente C 4n .3385 . > 1. En cierto sentido. . AZ(n) tiene N = 2n(n + 1) casillas y T = 2n(n+1)/2 teselaciones. El n´ umero de grados de libertad por casilla es: √ √ N 4 T = 2 = 1.1892 . . . (Kasteleyn. . donde 1− 312 + 512 − 712 +··· )/π ( = 1. 1961.338515152 .

¿C´omo es una teselaci´on t´ıpica? El cuadrado y el diamante Azteca son cualitativamente diferentes. Una teselaci´on aleatoria de un cuadrado: Esta teselaci´on no exhibe ninguna estructura obvia.Teselaciones 4. Federico Ardila 22 .

y ca´otica en la mitad! ¿Podemos describir la regi´ on del medio? Federico Ardila 23 .Teselaciones Compar´emosla con una teselaci´on aleatoria de un diamante azteca: ´ ¡Esta es totalmente regular en las esquinas.

Este es s´ olo uno de muchos resultados probabil´ısticos de este tipo. Propp. 1995. Federico Ardila 24 . “casi todas” las teselaciones del diamante azteca AZ(n) exhiben una zona de regularidad “muy cercana” al exterior del c´ırculo ´artico tangente a los cuatro lados del diamante. “casi todas” y “muy cercana” son t´ecnicas.) Para n “muy grande”. Shor. pero explican lo que vemos en los dibujos.Teselaciones Teorema. (Jockusch. Las definiciones de “muy grande”.

M´etodos algebraicos. x = √ 2.Teselaciones 5. por ejemplo. es decir. Pregunta. Sea x > 0.5 2π 1 Para x = 3π Federico Ardila 25 2 3 s´ı es posible. rect´angulos de la forma a × ax? 1 1 2 x = 2/3 4 3 2/3 6 2/3 1. ¿Para cu´ ales x > 0 es posible teselar un cuadrado con rect´angulos semejantes al rect´angulo 1 × x. .

2764 5x2 − 5x + 1 = 0 √ 5+ 5 x= = 0. .7236067977 . 10 1/5 Federico Ardila 26 . .7236 1 x(1 − x) = 5 .Teselaciones 1 .

2764 5x2 − 5x + 1 = 0 √ 5+ 5 x= = 0. . . 10 1/5 La otra ra´ız: √ 5− 5 = 0.2763932023 .Teselaciones 1 .7236067977 . x= 10 Federico Ardila 27 . . .7236 1 x(1 − x) = 5 .

. − 1.5698402910 . . . −1 Federico Ardila 28 .5698 x = 0.215 . .307 .4302 . .2451 . . . .307 . −1 √ x = 0.Teselaciones 1 x3 − x2 + 2x − 1 = 0 x = . . .7549 Las otras dos ra´ıces: √ x = 0. + 1.215 . .

• En cualquier teselaci´on. • Hay una infinidad de nociones (anal´ıticas. 1995) Es posible teselar un cuadrado con rect´angulos semejantes al rect´angulo 1 × x si y s´ olo si: 1. (Freiling-Rinne. y 2. Laczkovich-Szekeres. algebraicas) de “´area” con la misma propiedad. Federico Ardila 29 .Teselaciones Teorema. todas las ra´ıces de P tienen parte real positiva. existe un polinomio (m´ınimo) P de coeficientes enteros tal que P (x) = 0. la suma de las ´areas de las fichas es igual al a´rea de la regi´ on.

+ 1. . . . . . − 1.7236067977 .7236 2 Polinomio m´ınimo: 5x − 5x + 1 = 0 Otra ra´ız: √ 5− 5 10 = 0.215 . .2763932023 .5698402910 . . . −1 Federico Ardila 30 x = . . . . .7549 .2764 1/5 1 • x = 0. Polinomio m´ınimo: x3 − x2 + 2x − 1 = 0 √ Otras ra´ıces: 0.307 . √ 0.215 . −1.4302 . . • x= √ 5+ 5 10 1 = 0.5698 .Teselaciones Ejemplos.2451 . . .307 . .

Teselaciones Ejemplos. Es posible con rect´angulos semejantes al 1 × si y s´ olo si Federico Ardila p q > √ 3 2 2 . Polinomio m´ınimo: x2 − 2 = 0 √ Otra ra´ız: − 2 < 0. √ • x = 3 2 + pq . 31 √ 3 2+ p q  . No es posible con rect´angulos semejantes al 1 × √ 2. Polinomio m´ınimo: (x − pq )3 − 2 = 0   √ √ 3 3 √ √ p 2 Otras ra´ıces: q − 2 ± 22 3 −1. √ • x = 2.

Teselaciones M´etodos algebraicos . 1970) No es posible teselar un cuadrado de a´rea 2n + 1 con 2n + 1 tri´angulos de ´area 1. 1993) No es posible teselar un cuadrado con tri´ angulos 30◦ − 60◦ − 90◦ .otros ejemplos: • (Laczkovich.) Federico Ardila 32 . Thomas. (Otra generalizaci´on de ´area.) • (Monsky. Richman. (Valuaciones.

Teselaciones regulares.Granada.Teselaciones 6a.) Federico Ardila 33 . Ninguna charla sobre teselaciones estar´ıa completa sin los ejemplos m´as famosos: (Palacio de la Alhambra . Espa˜ na. siglos XIII y XIV.

Holanda.Teselaciones (Maurits Cornelis Escher. 1898-1972) Federico Ardila 34 .

Federico Ardila 35 . Schoenflies. Teorema. Barlow. motivan el problema importante de estudiar sus simetr´ıas. y cu´ales son? Respuesta: Depende de la definici´ on de “regulares” y “diferentes”. 1880s) Hay exactamente 17 teselaciones del plano esencialmente diferentes que tienen simetr´ıas en dos direcciones independientes. Hoy en d´ıa. (Fedorov. Pregunta: ¿Cu´antas teselaciones regulares diferentes hay. estos tipos de simetr´ıa se conocen como los 17 grupos cristalogr´aficos planos.Teselaciones Adem´ as de ser teselaciones muy bonitas.

Teselaciones 6b. 1931-) Federico Ardila 36 . Inglaterra. Teselaciones irregulares (Roger Penrose.

Federico Ardila 37 . • Cualquier trozo finito aparece infinitas veces. en cualquier teselaci´on infinita. • Todas son irregulares. ’74) • Hay un n´ umero infinito (no contable) de teselaciones “dardo-cometa” diferentes. (Conway. Penrose. • (# cometas) √/ (# dardos) es igual a 1+2 5 . y muy cerca.Teselaciones Teorema.

Objetivo: investigar las intersecciones de d banderas en Rn . (dim Ei = i) ∅ ⊂ punto ⊂ recta ⊂ plano ⊂ · · · ⊂ hiperplano ⊂ Rn .Teselaciones 7. Teselaciones en la geometr´ıa de banderas: Una bandera E• en Rn es una cadena E−1 ⊂ E0 ⊂ · · · ⊂ En de subespacios afines. Ejemplo: tres banderas en R3 . E 1 0 1 0 11 00 00 11 F Federico Ardila 38 G .

los puntos son los Ei ∩ Fj ∩ Gk con i + j + k = 2n. E 213 033 033 132 123 222 231 303 330 G 213 312 F 303 321 Federico Ardila 132 123 39 231 222 312 321 330 . Como n − dim(Ei ∩ Fj ∩ Gk ) = (n − i) + (n − j) + (n − k).Teselaciones ¿C´omo se intersectan d banderas en posici´on general en Rn ? Para empezar: los puntos de intersecci´ on.

cu´ales (n + 1)-tuplas son bases (afines) de Rn ? E 213 033 033 132 123 222 303 330 G 213 312 F 303 321 Federico Ardila 132 123 231 40 231 222 312 321 330 . La pregunta combinatoria: ¿Cu´al es la matroide? Es decir. coplanares. ¿qu´e relaciones hay entre ellos? ¿Cu´ales son colineales.?  n+1 Pregunta. En esta configuraci´ on de 2 puntos en Rn . obtenemos una configuraci´ on de n(n + 1)/2 puntos.Teselaciones Intersectando tres banderas en Rn . etc.

Teselaciones Conjetura. (Billey) n+1 2 n En esta configuraci´ on de puntos en Rn .  E 213 033 033 132 123 222 303 330 G 213 312 F 303 321 Federico Ardila 132 123 231 41 231 222 312 321 330 . una (n + 1)-tupla de puntos es una base de R si y s´ olo si cada tri´angulo de lado k contiene a lo m´as k puntos.

Teselaciones Un peque˜ no par´ entesis. Supongamos que quiero teselar un tri´angulo equil´atero con rombos: Es imposible: #∆ = n+2 2  #∇ = n+1 2  Ser´ıa posible si hago n + 1 huecos (que miran hacia arriba): Federico Ardila 42 .

2005) Un tri´ angulo equil´atero con huecos puede ser teselado con rombos si y s´ olo si cada tri´ angulo de lado k contiene a lo m´as k huecos. 2005)  n+1 En esta configuraci´ on de 2 puntos en Rn . (Ardila.) Teorema. Usando teselaciones → emparejamientos → matroides: (Conjetura. una (n + 1)-tupla olo si cada tri´angulo de lado k de puntos es una base de Rn si y s´ contiene a lo m´as k puntos. Billey. Federico Ardila 43 .Teselaciones ¿D´onde puedo poner los huecos? Teorema. (Ardila. Billey.

La conjetura en este caso sigue abierta. ¿C´omo generalizar estos resultados? 3. Estas teselaciones son las subdivisiones mixtas de un tri´ angulo.Teselaciones Muchos interrogantes: 1. ¿C´omo usar esto para estudiar la geometr´ıa de banderas? 2. El caso de d banderas corresponde a las subdivisiones mixtas de un s´ımplice d-dimensional. y est´an relacionadas con: • el problema del transporte en optimizaci´ on • el embebimiento de Segre de CPd−1 × CPn−1 en CPdn−1 • la geometr´ıa tropical. Fueron definidas en el contexto de politopos y variedades t´oricas. ¿C´ omo aplicar estas t´ ecnicas al c´ alculo de Schubert? Federico Ardila 44 .

que parametriza k-planos en Cn . ¡Esto se puede hacer armando rompecabezas! (Knutson-Tao ’02) Abierto: “Rompecabezas” en el c´alculo de Schubert de banderas. Soluci´on: Calcular en el anillo de cohomolog´ıa de la variedad Grassmanniana Gr(k. Federico Ardila 45 . n).Teselaciones El c´ alculo de Schubert es una rama de la geometr´ıa algebraica enumerativa. que contesta preguntas como esta: ¿Cu´antas rectas intersectan a cuatro rectas dadas en C3 ? Problema 15 de Hilbert: Formalizar el c´alculo de Schubert.

edu/ ∼federico http://front. Est´ a en: www.ucdavis. Esperamos tener una versi´on en espa˜ nol pronto.Teselaciones Muchas gracias por su atenci´on.washington.math. • Un art´ıculo con Sara Billey. Pflasterungen.CO/0501170 Tambi´en est´a la versi´on en alem´an. Esta charla fue basada en dos art´ıculos: • Un art´ıculo divulgativo.math. Tilings. escrito con Richard Stanley en 2004-5.edu/math. que estar´ a disponible ah´ı en un par de meses. Federico Ardila 46 . traducida por G¨ unter Ziegler.