12 de novembro de 2011

Mosaicos

As sorpresas son parte do pracer do paseo. O premio Nobel de química 2011 concedido a Daniel Shechtman polo seu descubrimento dos case-cristais é unha fermosa sorpresa que aporta ademais interesantes cuestións [1]. Nun artigo moi recente, Pierre de la Harpe e Félix Kwok evocaban neste sitio o feito salientable de que «os mosaicos [...] invocados polos teóricos dos case-cristais foran descubertos antes que os propios case-cristais». Velaquí «a irrazonable eficacia das matemáticas nas ciencias naturais» por utilizar as palabras do físico Eugene Wigner. Pero o máis sorprendente é que o achado do profesor Shechtman atopa as súas fontes matemáticas algúns séculos antes.

Conveñamos que un mosaico vén dado por un número finito de polígonos tales que as súas copias por translación (ou por isometría) recubren o plano. Suponse decotío que dous polígonos se tocan sempre lado con lado. Os exemplos máis simples son os mosaicos regulares obtidos a partir dun único polígono regular. Velaquí tres mosaicos deste tipo: 


Idénticos a si mesmos arredor de calquera tesela, posúen a mesma natureza repetitiva das árbores descritas no billete anterior. Esta observación dedúcese tamén doutra propiedade importante: estes mosaicos permanecen invariantes por dúas translacións independentes e daquela abonda con coñecer unha porción finita para reconstruílos (en contra do que lles pasaba ás árbores mencionadas). Dise que son periódicos.

Xurde pois unha cuestión natural: pódense construír outros mosaicos regulares, poñamos a partir dun pentágono regular ? A imposibilidade de tal construción – ligada ao feito de que un mosaico regular só pode permanecer invariante por rotacións de orde 2, 3, 4 ou 6 – interesou a Johannes Kepler a principios do século XVII. No libro II (De Congruentia Figurarum Harmonicarum) da súa obra Harmonices Mundi [2], publicada en Linz en 1619, constrúe un mosaico cunha simetría pentagonal. De feito, Kepler mostra só unha porción do mosaico, pero ten coidado de comprobar que este motivo se prolonga nun mosaico [3]. Tomemos o motivo de Kepler (sen o pequeño erro do impresor no «monstrum»  –«duo Decagoni inter se commissi»– de enriba) : 


O mosaico Aa de Kepler é evidentemente aperiódico, no sentido de que non é respectado por ningunha translación. Pero pódese tamén construír un mosaico periódico coas mesmas teselas. Atoparase neste artigo unha explicación do interese desta discusión. 


Pero retomemos o noso camiño e reformulemos a pregunta proposta nos billetes anteriores: por que é fermoso o mosaico  de Kepler ? Comparte coa aliaxe metálica descuberta por Shectman (da que pode verse o diagrama de difracción na seguinte imaxe) unha simetría decagonal:


Esta mesma simetría aparece no famoso mosaico por dardos e papaventos construído por Roger Penrose en 1974. No seu artigo Pentaplexity [4], constrúe primeiro un mosaico mediante pentágonos, rombos, pentagramas e porcións de pentagramas:


Como antes, estas mesmas pezas serven para construír un mosaico periódico do plano. Para evitar este fenómeno, pódense engadir lingüetas e fendas. É así como Penrose obtén un exemplo de seis prototeselas aperiódicas, é dicir, que só recubren o plano de maneira aperiódica. E grazas a unha hábil división, pode reducir ese número a dous: o dardo e o papaventos. 


Coma a árbore de Kenyon, os mosaicos de Kepler e de Penrose son repetitivos [5], no sentido de que podemos atopar calquera porción finita no interior de calquera outra porción suficientemente grande [6]. Aínda que non sexan respectados por ningunha translación, aseméllanse a si mesmos arredor de calquera tesela. En realidade, estes dous mosaicos son iguais (e polo tanto a proba da anterior afirmación redúcese á bosquexada por Penrose):


Que o achado do profesor Shechtman fora precedido polo de Kepler – 363 anos antes –,  reunindo beleza e utilidade, parece prodixioso. Pero de feito un século antes, no seu segundo libro sobre a xeometría [7], Alberto Durero escribía:

«Agora, gustaríame colocar unha con outra varias figuras poligonais, de tal maneira que poidan sevir para pavimentar o chan.»

Tras os triángulos, os cadrados e os rombos, ocúpase dos pentágonos e constrúe un mosaico aperiódico mediante pentágonos e rombos cunha simetría decagonal [8]. Velaquí a porción descrita por Durero:

que se pode estender de maneira evidente:


O mosaico de Durero non parece repetitivo ou case-periódico [9], mais a imaxe mostra que a súa construción segue a ser dunha certa maneira «repetitiva».

Tradución do billete «Pavages»

A LER/VER TAMÉN

A. Alvarez, Fléchettes et cerfs-volants dans le ciel mathématique. Images des Mathématiques, 16 novembre 2010.

P. de la Harpe, F. Kwok, Prix Nobel de chimie, quasi-cristaux, périodicité et pavages de Penrose. Images des Mathématiques, 16 novembre 2010.

E. Janvresse, T. De la Rue, Nobel de chimie et pavages de Penrose. Images des Mathématiques, 10 octobre 2011.

Craig S. Kaplan. A meditation on Kepler's Aa. In Bridges 2006: Mathematical Connections in Art, Music and Science, pages 465-472, 2006.

Á. Lozano Rojo, Decorando el plano. Matematicalia, 7 (2), Junio 2011.

R. Lück, Dürer-Kepler-Penrose, the development of pentagon tilings. Materials Science and Engineering, 294-296 (2000), 263-267.


P.S. : Grazas a Marta Macho Stadler e Álvaro Lozano Rojo polos seus comentarios e tamén a Paul Vigneaux pola súa axuda. Todas as imaxes foron feitas con GeoGebra.


[1] Ao artigo de Pierre de la Harpe e Félix Kwok, gustaríame engadir o billete L’énigme des pentagones escrito por Étienne Ghys.

[2] J. Kepler, Harmonices Mundi. Lincii Austriae, Sumptibus Godofredi Tampachii, excudebat Ioannes Plancus, 1619. Versión francesa : L'harmonie du monde. Trad. et notes J. Peyroux, Librairie A. Blanchard, 1979.

[3] «Et sic consequenter, unaquaelibet forma quinquangula fert novi aliquid. Structura est laboriosissima et artificiosissima, visenda ad eandem literam Aa.» Unha traducción ao galego podería ser: «Así, durante a súa progresión, este motivo de cinco ángulos introduce continuamente novas visións. A estrutura é moi laboriosa e complicada. Véxase o diagrama etiquetado Aa »

[4] R. Penrose, Pentaplexity. Eureka, 39 (1978), 16-32. Artigo reproducido na revista Mathematical Intelligencer, 2 (1979/80), 32-37.

[5] Chámaselles tamén case-periódicos.

[6] Hai mosaicos construídos mediante as teselas de Kepler e de Penrose que non son repetitivos pois combinan motivos dos mosacios periódicos e aperiódicos. Cando introducimos fendas e lingüetas, facemos desaparecer estes mosaicos.

[7] Albrecht Dürer, Underweysung der Messung. Nürnberg, 1525. Versión francesa : Géométrie. Trad. et présentation de Jeanne Peiffer, Seuil, 1995. Versión española: De la medida. Akal, Madrid, 2000. Neste sitio pódese ver unha edición de 1538 que contén o libro De Symetria partium in rectis formis humanorum corporum de 1532.

[8] Durero propón unha segunda construción de tipo aleatorio coa axuda de «pentágonos que forman rosas».

[9] No seu artigo, Reinhard Lück afirma que o mosaico de Durero non é repetitivo. Fala dun núcleo de simetría de orde 5, pero ese tipo de núcleo atópase tamén nos mosaicos Aa de Kepler e de Penrose por dardos e papaventos.

6 de novembro de 2011

Grafos

A teoría de grafos é un bo exemplo de teoría matemática pegada á realidade desde a súa orixe. O problema das pontes de Könisberg [1] resolto por Leonhard Euler en 1736, o estudo das redes eléctricas [2] por Gustav Kirchhoff en 1847 ou a enumeración dos isómeros dos hidrocarburos saturados acíclicos [3] por Arthur Cayley en 1874 ilustran ben esta idea. Pero agora vou interesarme noutra observación da vida ordinaria: en calquera grupo de seis persoas, hai sempre polo menos tres persoas que se coñecen, ou ben tres persoas que non se coñecen. Representemos cada unha destas persoas por un punto e depois unamos dous puntos cun segmento rectilíneo de color vermella se as dúas persoas se coñecen ou azul se non se coñecen.


A observación convértese agora nun teorema, chamado teorema de Ramsey, que se pode reformular da seguinte maneira: o grafo bicolor G que se obtén así [4] contén un triángulo vermello ou azul. Ou aínda mellor, ou ben o grafo vermello dos amigos A, ou ben o grafo azul dos estraños E (chamado  complementario de A) contén un triángulo.


 En realidade, Frank P. Ramsey demostrou un teorema máis xeral : para cada par de enteiros positivos m e n, existe un número enteiro R(m,n), chamado número de Ramsey [5], tal que calquera grafo completo bicolor G que teña polo menos este número de vértices contén un subgrafo completo con m vértices ou n vértices e coas arestas da mesma color. Como antes, o grafo vermello A contén un subgrafo completo con m vértices, ou ben o seu complementario azul E contén un subgrafo completo con n vértices.

A proba da nosa observación é moi simple. Fixemos un vértice calquera P. Está unido aos outros cinco vértices por arestas de color vermella ou azul. Hai polo menos tres arestas da mesma color, poñamos vermella. Os extremos A, B e C están unidos por aristas das dúas colores. Se unha das arestas (poñamos AB) é vermella, temos daquela un triángulo vermello PAB. Pola contra, se ningunha é vermella, temos un triángulo azul ABC. Observemos ademáis que esta demostración non é certa se consideramos un grupo de cinco persoas. Velaí un grafo bicolor que non contén ningún triángulo da mesma color:


Temos comprobado que R(3,3) = 6. Pero voltemos á nosa cuestión orixinal [6]: de onde provén a beleza da árbore de Kenyon?


Poderiamos pensar nas simetrías, pero non son moi numerosas: catro xiros, catro reflexións e as súas composicións. Cambiemos logo de idea e tentemos construir unha árbore da seguinte maneira. Partamos dun punto
e despois fixemos un dos catro puntos cardinais Norte, Sur, Este e Oeste, N, S, E e O en abreviatura, poñamos O. Esta elección determina unha aresta (coloreada en vermello) que podemos repetir nas tres outras direccións N, E e S :
 A elección dun segundo punto cardinal (poñamos S) permite trazar un camiño (formado por dúas arestas vermellas) e repetir a figura nas outras direccións:


Cada sucesión de puntos cardinais determina unha árbore enraizada. Por exemplo, a da figura, que crece cara ao oeste, corresponde á sucesión OSNE…
Velaquí a súa construcción:
Non é a árbore de Kenyon pois non hai máis ca unha maneira de partir cara ao infinito sen idas e voltas, namentres que hai catro maneiras diferentes de facelo na árbore de Kenyon. Tamén é menos simétrica [7]. Pero é igualmente fermosa cá árbore de Kenyon.


Semellantes a elas mesmas arredor de calquera punto, as dúas árbores son indistinguibles a pequena escala. Aventuremos unha resposta: fainas fermosas a súa natureza repetitiva.

Tradución do billete «Graphes»

[1] L. Euler, Solutio problematis ad geometriam situs pertinentis. Commentarii academiae scientiarum imperialis Petropolitanae, 8 (1736), 128-140.


[2] G. Kirchhoff, Über die Auflösung der Gleichungen, auf welche man bei der Unter-suchung der linearen Verteilung galvanischer Ströme geführt wird. Ann. Phys. Chem., 72 (1847), 497-508.


[3] A. Cayley, On the mathematical theory of isomers. Philos. Mag., 67 (1874), 444-467.


[4] Trátase dun grafo completo onde cada par de vértices está unido por unha aresta.


[5] Véxase tamén este sitio.


[6] Proposta no primeiro billete Comezo da serie.


[7] Pois non posúe ningunha simetría como árbore enraizada e só unha reflexión horizontal se esquecemos a orixe.