Teselado aperiódico
Un teselado aperiódico es un tipo de teselado no periódico con la propiedad adicional de que no contiene zonas periódicas arbitrariamente grandes. Un conjunto de tipos de mosaicos (o prototeselas) es aperiodico si las copias de estos mosaicos solo pueden formar enlosados que no sean periódicas. Las teselaciones de Penrose[1][2] son los ejemplos más conocidos de mosaicos aperiódicos.
![](../I/Rhombus_Penrose_tiling_with_arcs.svg.png.webp)
Los mosaicos aperiódicos sirven como modelos matemáticos para cuasicristales, sólidos físicos que fueron descubiertos en 1982 por Dan Shechtman,[3] quien posteriormente ganó el premio Nobel en 2011.[4] Sin embargo, la estructura local específica de estos materiales todavía no se comprende bien.
Se conocen varios métodos para construir revestimientos del plano aperiódicos.
Definición e ilustración
Considérese un mosaico periódico por unidades cuadradas (algo parecido a un papel milimetrado infinito). Ahora, se corta un cuadrado en dos rectángulos. El mosaico obtenido de esta manera ya no es periódico: no hay un desplazamiento distinto de cero que deje el mosaico como estaba inicialmente. Pero claramente este ejemplo es mucho menos interesante que el mosaico de Penrose. Para descartar ejemplos tan triviales, se define un mosaico aperiódico como uno que no contiene partes periódicas arbitrariamente grandes.
Un mosaico se llama aperiódico si su envolvente contiene solo mosaicos no periódicos. La envolvente de un mosaico contiene todas las traslaciones T+x de T, junto con todos los mosaicos que se pueden aproximar mediante traslaciones de T. Formalmente, este es el cierre del conjunto en la topología local.[5] En la topología local (respecto a la métrica correspondiente) dos teselados están -cerca si coinciden en una bola de radio alrededor del origen (posiblemente después de desplazar uno de los teselados en una cantidad menor que ).
Para dar un ejemplo aún más simple que el anterior, considérese un mosaico unidimensional T sobre una línea como ...aaaaaabaaaaa... donde a representa un intervalo de longitud uno, b representa un intervalo de longitud dos. Así, el mosaico T consta de un número infinito de copias de a y una copia de b (con centro, por ejemplo, en 0). Ahora, todas las traslaciones de T son las teselaciones con una b en alguna parte y a en el resto. La secuencia de mosaicos donde b se centra en converge, en la topología local, al mosaico periódico que consta de solo a. Por lo tanto, T no es un mosaico aperiódico, ya que su envolvente contiene el mosaico periódico ...aaaaaa....
Para los mosaicos con buen comportamiento (por ejemplo, mosaicos de sustitución con un número finito de patrones locales) se cumple que: si un mosaico no es periódico y repetitivo (es decir, cada zona es uniformemente densa en todo el mosaico), entonces es aperiódico.[5]
Historia
La primera aparición específica de teselaciones aperiódicas surgió en 1961, cuando el lógico Hao Wang trató de determinar si el problema del dominó es decidible, es decir, si existe un algoritmo para decidir si un conjunto finito dado de prototeselas admite una teselación del plano. Wang encontró algoritmos para enumerar los conjuntos de mosaicos que no pueden enlosar el plano y los conjuntos de mosaicos que lo enlosan periódicamente; con esto demostró que tal algoritmo de decisión existe si cada conjunto finito de prototeselas que permite recubrir el plano también admite un mosaico periódico.
En 1964, Robert Berger encontró un conjunto aperiódico de prototeselas a partir del cual demostró que el problema del mosaico no es decidible.[6][7] Este primer conjunto de este tipo, utilizado por Berger en su prueba de indecidibilidad, requirió 20.426 fichas de Wang. Berger luego redujo su conjunto a 104, y Hans Läuchli posteriormente encontró un conjunto aperiódico que requería solo 40 fichas de Wang.[8]
Raphael M. Robinson descubrió un conjunto todavía más pequeño de seis teselas aperiódico (basado en mosaicos de Wang) en 1971.[9] Roger Penrose descubrió tres juegos más en 1973 y 1974, reduciendo el número de mosaicos necesarios a dos, y Robert Ammann descubrió varios juegos nuevos en 1977.[8]
Las teselaciones aperiódicas de Penrose pueden generarse no solo mediante un conjunto aperiódico de prototeselas, sino también mediante una sustitución y un método de corte y proyección. Después del descubrimiento de los cuasicristales, los materiales aperiódicos son estudiados intensamente por físicos y matemáticos. El método de cortar y proyectar de N.G. de Bruijn para los mosaicos de Penrose finalmente resultó ser una instancia de la teoría del conjunto de Meyer.[10][11] Hoy en día existe una gran cantidad de bibliografía sobre revestimientos aperiódicos.[5]
Construcciones
Se conocen algunas construcciones de mosaicos aperiódicos. Algunas se basan en familias infinitas de conjuntos aperiódicos de teselas.[12][13] Las construcciones que se han encontrado se disponen en su mayoría de varias formas, principalmente forzando algún tipo de estructura jerárquica no periódica. A pesar de esto, la indecidibilidad del problema del dominó asegura que debe haber una infinidad de principios de construcción distintos y que, de hecho, existen conjuntos aperiódicos de baldosas para los que no puede haber prueba de su aperiodicidad.
Mosaicos jerárquicos aperiódicos
Hasta la fecha, no existe una definición formal que describa cuándo un mosaico tiene una estructura jerárquica; sin embargo, está claro que los mosaicos de sustitución la tienen, al igual que los mosaicos de Berger, Knuth, Läuchli y Robinson. Al igual que con el término "mosaico aperiódico", el término "mosaico aperiódico" jerárquico es una abreviatura conveniente, que significa algo así como un conjunto de mosaicos que solo admiten teselados no periódicos con una estructura jerárquica.
Cada uno de estos conjuntos de mosaicos, en cualquier teselado que admitan, fuerza una estructura jerárquica particular. En muchos ejemplos posteriores, esta estructura se puede describir como un sistema de mosaico de sustitución. Ningún mosaico admitido por tal conjunto de teselados puede ser periódico, simplemente porque ninguna traslación única puede dejar invariable la estructura jerárquica completa. Considérense las teselas ideadas por Robinson en 1971:
![](../I/Robinson_tiles.svg.png.webp)
Cualquier enlosado con estas teselas solo puede exhibir una jerarquía de celosías cuadradas: cada cuadrado naranja está en la esquina de un cuadrado naranja más grande, ad infinitum. Cualquier traslación debe ser más pequeña que algún tamaño de cuadrado y, por lo tanto, no puede dejar invariable dicho mosaico.
![](../I/Robinson_tiling.jpg.webp)
Robinson demuestra que estos mosaicos deben formar esta estructura de manera inductiva: en efecto, los mosaicos deben formar bloques que encajen entre sí como versiones más grandes de los mosaicos originales, y así sucesivamente. Esta idea, encontrar conjuntos de teselas que solo pueden admitir estructuras jerárquicas, se ha utilizado en la construcción de los conjuntos aperiódicos de mosaicos más conocidos hasta la fecha.
Sustituciones
Los sistemas de teselados de sustitución proporcionan una rica fuente de revestimientos aperiódicos. Se dice que un conjunto de mosaicos que fuerza a emerger una estructura de sustitución aplica la estructura de sustitución. Por ejemplo, los mosaicos de sillas que se muestran a continuación admiten una sustitución, y una parte de un mosaico de sustitución se muestra a la derecha a continuación. Estos mosaicos de sustitución son necesariamente no periódicos, exactamente de la misma manera que se describió anteriormente, pero el mosaico de la silla en sí no es aperiódico; es fácil encontrar mosaicos periódicos con mosaicos de silla sin marcar.
![](../I/L_substitution_system.jpg.webp)
Sin embargo, los mosaicos que se muestran a continuación fuerzan a emerger la estructura de sustitución de la silla, por lo que son aperiódicos.[14]
![](../I/Trilobite_and_crab.svg.png.webp)
Los mosaicos de Penrose, y poco después los diferentes conjuntos de mosaicos de Amán,[15] fueron el primer ejemplo basado en forzar explícitamente la aparición de una estructura de mosaico de sustitución. Joshua Socolar,[16][17] Roger Penrose,[18] Ludwig Danzer,[19] y Chaim Goodman-Strauss[14] han encontrado varios conjuntos posteriormente. Shahar Mozes dio la primera construcción general, mostrando que todos los productos de los sistemas de sustitución unidimensionales se pueden aplicar mediante reglas de coincidencia.[13] Charles Radin encontró reglas que hacen cumplir el sistema teselados de sustitución del molinillo de Conway.[20] En 1998, Goodman-Strauss mostró que se pueden encontrar reglas de emparejamiento locales para forzar cualquier estructura de mosaico de sustitución, sujeto a algunas condiciones leves.[12]
Método de cortar y proyectar
Los mosaicos no periódicos también se pueden obtener mediante la proyección de estructuras de mayor dimensión en espacios con menor dimensión, y en algunas circunstancias, puede haber mosaicos que refuercen esta estructura no periódica, y por lo tanto, sean aperiódicos. Los mosaicos de Penrose son el primer y más famoso ejemplo de esto, como se señaló por primera vez en el trabajo pionero de de Bruijn.[21] Aún no existe una caracterización completa (algebraica) de los mosaicos de corte y proyección que se pueda hacer cumplir mediante reglas de coincidencia, aunque se conocen numerosas condiciones necesarias o suficientes.[22]
![](../I/Penrose_LI_classes.svg.png.webp)
Otras técnicas
Solo se han encontrado algunos tipos diferentes de construcciones. En particular, Jarkko Kari proporcionó un conjunto aperiódico de mosaicos de Wang basado en multiplicaciones por 2 o 2/3 de números reales codificados por líneas de mosaicos (la codificación está relacionada con las secuencias sturmianas a partir de las diferencias de elementos consecutivos según el teorema de Beatty), con la aperiodicidad principalmente basada sobre el hecho de que 2n/3m nunca es igual a 1 para ninguna pareja de enteros positivos n y m.[23] Este método fue posteriormente adaptado por Goodman-Strauss para dar un conjunto de mosaicos fuertemente aperiódicos en el plano hiperbólico.[24] Shahar Mozes ha encontrado muchas construcciones alternativas de conjuntos aperiódicos de mosaicos, algunos en entornos más exóticos; por ejemplo, en grupos de Lie semi-simples.[25] Block y Weinberger utilizaron métodos homológicos para construir conjuntos aperiódicos de mosaicos para todos los que no eran variedades promediables.[26] Joshua Socolar también dio otra forma de hacer cumplir la aperiodicidad, en términos de "condición alterna".[27] Esto generalmente conduce a conjuntos de mosaicos mucho más pequeños que los obtenidos a partir de sustituciones.
Física
Los mosaicos aperiódicos se consideraron entidades puramente matemáticas hasta 1984, cuando el físico Dan Shechtman anunció el descubrimiento de una fase de una aleación de aluminio-manganeso que produjo un difractograma nítido con una simetría quíntuple inequívoca,[3] por lo que tenía que ser una sustancia cristalina con simetría icosaédrica. En 1975, Robert Ammann ya había ampliado la construcción de Penrose a un equivalente icosaédrico tridimensional. En tales casos, el término "embaldosado" significa "llenar el espacio". Los dispositivos fotónicos se construyen actualmente como secuencias aperiódicas de diferentes capas, siendo así aperiódicas en una dirección y periódicas en las otras dos. Las estructuras cuasicristalinas de Cd-Te parecen consistir en capas atómicas en las que los átomos están dispuestos en un patrón aperiódico plano. A veces se produce un mínimo energético o un máximo de entropía para tales estructuras aperiódicas. Steinhardt ha demostrado que los decágonos superpuestos de Gummelt permiten la aplicación de un principio extremo y, por lo tanto, proporcionan el vínculo entre las matemáticas del revestimiento aperiódico y la estructura de los cuasicristales.[28] Se ha observado que las ondas de Faraday forman grandes zonas de patrones aperiódicos.[29] La física de este descubrimiento ha revivido el interés en estructuras y frecuencias inconmensurables que sugieren vincular teselaciones aperiódicas con fenómenos de interferencia.[30]
Confusión con respecto a la terminología
El término aperiódico se ha utilizado en una amplia variedad de formas en la literatura matemática sobre teselaciones (y también en otros campos matemáticos, como los sistemas dinámicos o la teoría de grafos, con significados completamente diferentes). Con respecto a las teselaciones, el término aperiódico se utilizó a veces como sinónimo del término no periódico. Un mosaico "no periódico" es simplemente uno que no está fijado por ninguna traslación no trivial. A veces, el término describe, implícita o explícitamente, un mosaico generado por un conjunto aperiódico de prototeselas. Con frecuencia, el término aperiódico se usó vagamente para describir las estructuras en consideración, refiriéndose a sólidos físicos aperiódicos, a saber, cuasicristales, o algo no periódico con algún tipo de orden global.
El uso de la palabra mosaico también es problemático, a pesar de su sencilla definición. No hay una sola teselación de Penrose, por ejemplo: los rombos de Penrose admiten infinitas teselaciones (que no se pueden distinguir localmente). Una solución común es tratar de usar los términos con cuidado en la redacción técnica, pero reconociendo el uso generalizado de los términos informales.
Véase también
- Teselas girih
- Anexo:Conjuntos de teselas aperiódicos
- Cuasicristal
- Zellige
Referencias
- Gardner, Martin (January 1977). «Mathematical Games». Scientific American 236 (1): 111-119. Bibcode:1977SciAm.236a.110G. doi:10.1038/scientificamerican0177-110.
- Gardner, Martin (1988). Penrose Tiles to Trapdoor Ciphers. W H Freeman & Co. ISBN 978-0-7167-1987-8.
- Schechtman, D.; Blech, I.; Gratias, D.; Cahn, J.W. (1984). «Metallic Phase with long-range orientational order and no translational symmetry». Physical Review Letters 53 (20): 1951-1953. Bibcode:1984PhRvL..53.1951S. doi:10.1103/PhysRevLett.53.1951.
- «The Nobel Prize in Chemistry 2011». Nobelprize.org. Consultado el 6 de octubre de 2011.
- Baake, M.; Grimm, Uwe (2013). Aperiodic Order. Vol 1: A Mathematical Invitation. Cambridge University Press.
- Teselado aperiódico en el Mathematics Genealogy Project..
- Berger, Robert (1966). «The undecidability of the domino problem». Memoirs of the American Mathematical Society (66): 1-72.
- Grünbaum and Shephard, section 11.1.
- Robinson, Raphael M. (1971). «Undecidability and Nonperiodicity for Tilings of the Plane». Inventiones Mathematicae 12 (3): 177-209 (s2cid:14259496). Bibcode:1971InMat..12..177R. doi:10.1007/BF01418780.
- Lagarias, J.C. (1996). «Meyer's concept of quasicrystal and quasiregular sets». Commun. Math. Phys. 179 (2): 356-376 (s2cid:122753893). Bibcode:1996CMaPh.179..365L. doi:10.1007/BF02102593.
- Moody, R.V. (1997). Meyer sets and their duals. «The Mathematics of Long-Range Aperiodic Order». The Mathematics of Long Range Aperiodic Order, NATO ASI Series C (489). pp. 403-441. ISBN 978-90-481-4832-5. doi:10.1007/978-94-015-8784-6_16.
- Goodman-Strauss, Chaim (1998). «Matching rules and substitution tilings». Annals of Mathematics 147 (1): 181-223. JSTOR 120988. doi:10.2307/120988. «(citeseerx: 10.1.1.173.8436) ».
- Mozes, S. (1989). «Tilings, substitution systems and dynamical systems generated by them». Journal d'Analyse Mathématique 53 (1): 139-186 (s2cid: 121775031). doi:10.1007/BF02793412.
- Goodman-Strauss, Chaim (1999). «A small aperiodic set of planar tiles». European Journal of Combinatorics 20 (5): 375-384. doi:10.1006/eujc.1998.0281.
- Grünbaum, Branko; Geoffrey C. Shephard (1986). Tilings and Patterns. W.H. Freeman & Company. ISBN 978-0-7167-1194-0.
- Senechal, Marjorie (1996 (1ª ed. 1995)). Quasicrystals and geometry (corrected paperback edición). Cambridge University Press. ISBN 978-0-521-57541-6.
- Socolar, J.E.S. (1989). «Simple octagonal and dodecagonal quasicrystals». Phys. Rev. B 39 (15): 10519-51. Bibcode:1989PhRvB..3910519S. PMID 9947860. doi:10.1103/PhysRevB.39.10519.
- Penrose, R. (1997). «Remarks on Tiling: details of a 1 + ε + ε2-aperiodic set». The Mathematics Long Range Aperiodic Order, NATO Adv. Sci. Inst. Ser. C. Math. Phys. Sci. 489: 467-497.
- Nischke, K.-P.; Danzer, L. (1996). «A construction of inflation rules based on n-fold symmetry». Disc. And Comp. Geom. 15 (2): 221-236. doi:10.1007/BF02717732.
- Radin, Charles (1994). «The pinwheel tilings of the plane». Annals of Mathematics 139 (3): 661-702. JSTOR 2118575. doi:10.2307/2118575.
- N. G. de Bruijn, Nederl. Akad. Wetensch. Indag. Math. 43, 39–52, 53–66 (1981). Algebraic theory of Penrose's nonperiodic tilings of the plane, I, II
- Véase, por ejemplo, la investigación de T. T. Q. Le en Le, T.T.Q. (1997). Local rules for quasiperiodic tilings. «The Mathematics of Long-Range Aperiodic Order». The Mathematics Long Range Aperiodic Order, NATO Adv. Sci. Inst. Ser. C. Math. Phys. Sci. 489. pp. 331-366. ISBN 978-90-481-4832-5. doi:10.1007/978-94-015-8784-6_13.
- Kari, Jarkko (1996). «A small aperiodic set of Wang tiles». Discrete Mathematics 160 (1–3): 259-264. doi:10.1016/0012-365X(95)00120-L.
- Goodman-Strauss, Chaim (2005). «A strongly aperiodic set of tiles in the hyperbolic plane». Inventiones Mathematicae. 159 (s2cid: 5348203) (1): 119-132. Bibcode:2004InMat.159..119G. doi:10.1007/s00222-004-0384-1. «(citeseerx: 10.1.1.477.1974) ».
- Mozes, Shahar (1997). «Aperiodic tilings». Inventiones Mathematicae 128 (3): 603-611 (s2cid: 189819776). Bibcode:1997InMat.128..603M. doi:10.1007/s002220050153.
- Block, J.; Weinberger, S. (1992). «Aperiodic tilings, positive scalar curvature and amenability of spaces». Journal of the AMS 5 (4): 907-918. doi:10.1090/s0894-0347-1992-1145337-x.
- Socolar, Joshua (1990). «Weak matching rules for quasicrystals». Comm. Math. Phys. 129 (3): 599-619 (s2cid: 123629334). Bibcode:1990CMaPh.129..599S. doi:10.1007/BF02097107.
- Steinhardt, Paul J. «A New Paradigm for the Structure of Quasicrystals». Archivado desde el original el 23 de febrero de 2007. Consultado el 26 de marzo de 2007.
- Edwards, W.; Fauve, S. (1993). «Parametrically excited quasicrystalline surface waves». Physical Review E 47 (2): R788-R791. Bibcode:1993PhRvE..47..788E. PMID 9960162. doi:10.1103/PhysRevE.47.R788.
- Levy, J-C. S.; Mercier, D. (2006). «Stable quasicrystals». Acta Phys. Superficierum 8: 115.