Hace poco leer sobre cuasicristales y me sorprendió mucho saber que, aunque no tienen una estructura periódica y sólo presentan un orden de largo alcance en un sentido muy diferente al habitual, pueden detectarse mediante técnicas cristalográficas que utilizan patrones de difracción de Bragg.
Más concretamente, los cuasicristales son como Tilings de Penrose en que
Es autosimilar, por lo que los mismos patrones se producen a escalas cada vez mayores. Así, el mosaico puede obtenerse mediante "inflación" (o "deflación") y cualquier parche finito del mosaico aparece infinitas veces.
El texto enfatizado también significa que si tengo un trozo finito de cuasicristal al que quiero añadir átomos para hacer el patrón completo, entonces habrá un número infinito de formas diferentes de hacerlo. Por lo tanto, el proceso de añadir átomos a un fragmento finito no es determinista: está limitado por ciertas reglas, pero siempre hay alguna opción.
Para ser más preciso sobre lo que me molesta, creo que esto "se salta" un paso intermedio. Puedo imaginarme un mosaico que no sea periódico, pero que sea determinista en el sentido de que, dada una "semilla" inicial, todo el patrón está determinado. En un patrón así no hay invariancia de traslación, pero sí un sentido muy rígido del orden a largo plazo.
Edita:
Hace poco me enseñaron una construcción que entra en este caso. Consideremos el conjunto unidimensional discreto de puntos $\mathbb Z\cup r\mathbb Z=\{\ldots,-1,0,1,\ldots,\ldots,-r,0,r,\ldots\}$ donde $r$ es irracional. Este conjunto no es periódico (aunque cualquier parche finito tiene otros infinitos parches que son arbitrariamente similares a él), pero tiene una transformada de Fourier bien definida: es simplemente la suma de las transformadas de $\mathbb Z$ y $r\mathbb Z$ que son picos únicos. Sin embargo, dada una mancha inicial de longitud mayor que $r$ y $1$ el resto del patrón está completamente determinado, y el orden de largo alcance es "rígido" sin que el patrón sea periódico.
En el caso de los cuasicristales, en cambio, los órdenes locales de dos manchas distantes están correlacionados, pero sólo vagamente. En este caso, me cuesta visualizar cómo es posible obtener patrones de difracción a partir de ellos, y entender si tienen transformadas de Fourier bien definidas.
Para situar esta cuestión sobre una base más precisa, permítanme que les pregunte lo siguiente: dado un fragmento inicial de cuasicristal y una regla (no determinista) para añadirle átomos, ¿está bien definida la transformada de Fourier del patrón completo e infinito? En caso afirmativo, ¿cuál es la intuición que permite que esto ocurra?
Si en realidad esto es mucho más complicado de lo que creo, también estaría de acuerdo con una referencia a un recurso de nivel de entrada sobre el tema, pero realmente me gustaría una buena explicación de esto.