Una breve introducción a la teoría de retículos

[justify]¿Se puede observar algún patrón en estas imágenes? ¿Hay elementos comunes? ¿Y si dijera que tienen relación con la criptografía post-cuántica? Pero, ¿Qué es la criptografía post-cuántica?[/justify]
Criptografía Post-Cuántica
[justify]La amenaza de la computación cuántica ya está aquí. Los ordenadores cuánticos representan una evolución revolucionaria en el campo de la computación. A diferencia de los ordenadores clásicos, que utilizan bits convencionales para almacenar y procesar información en forma de 0 y 1, los ordenadores cuánticos aprovechan los principios de la mecánica cuántica para representar y manipular datos en forma de qubits. Estos qubits pueden existir en múltiples estados simultáneamente gracias al fenómeno de superposición, lo que permite a los ordenadores cuánticos procesar y analizar enormes cantidades de información de manera exponencialmente más rápida que los sistemas tradicionales. Sin embargo, también plantea desafíos importantes en términos de seguridad informática, ya que los algoritmos de cifrado actuales podrían volverse vulnerables ante la capacidad de los ordenadores cuánticos para realizar operaciones de factorización y búsqueda más rápidas. [br][br]La criptografía post-cuántica es una rama de la seguridad informática completamente novedosa que aborda la creciente preocupación sobre la vulnerabilidad de los sistemas de cifrado actuales frente a los futuros avances en la computación cuántica. Para abordar esta preocupación, el Instituto Nacional de Estándares y Tecnología (NIST) de los Estados Unidos ha liderado un proceso de evaluación y estandarización de algoritmos de criptografía post-cuántica. Este proceso implica la identificación, evaluación y selección de nuevos algoritmos que sean resistentes a los ataques cuánticos, con el objetivo de establecer normas robustas para la seguridad de la información en el futuro. En el 2022, dos esquemas tanto de cifrado como de firma se estandarizaron, CRYSTALS-Kyber y CRYSTALS-Dilithium, ambos basados en la teoría de retículos.[br][/justify]
Definición formal
Sea [math]V[/math] un espacio vectorial sobre [math]K[/math] con [math]K[/math] cuerpo y [math]B=\left\{v_{1,}v_{2,}\dots,v_n\right\}[/math] una base de un subespacio vectorial de [math]V[/math], y [math]A[/math] un anillo contenido en [math]K[/math], [math]A\subset K[/math]. Entonces, el retículo[math]\Lambda\subset V[/math] generado por [math]\left\{v_{1,}v_{2,}\dots,v_n\right\}[/math] es el conjunto:[br][center][br][math]\Lambda\left(v_1,v_2,\dots,v_n\right)=\left\{\Sigma_{i=1}a_i\cdot v_i\slash a_i\in A\right\}[/math][/center]
[justify]A la definición formal de retículo, no se le debe hacer demasiado caso, pues esta aportación es meramente simbólica. No obstante, lo que debe quedar claro, es que un retículo es un conjunto (la mayoría de veces infinito), el cuál está compuesto por la combinación de sumas de vectores, pero ¿Cómo se construye un retículo?[/justify]
Ejemplo
Supongamos que se tienen los vectores [math]\left(1,0\right),\left(0,1\right)[/math], entonces el retículo se ve de la siguiente forma: [left][math]\Lambda\left(\left(1,0\right),\left(0,1\right)\right)=\left\{\left(0,0\right),\left(1,0\right),\left(0,1\right),\left(1,1\right),\left(2,0\right),\left(2,1\right)\left(2,2\right),\dots\right\}[/math][br][br]Por otro lado, si se consideran los vectores [math]\left(2,1\right),\left(0,3\right)[/math], por ejemplo:[br][math]\Lambda\left(\left(2,1\right),\left(0,3\right)\right)=\left\{\left(0,0\right),\left(2,1\right),\left(0,3\right),\left(4,2\right),\left(0,6\right),\left(2,4\right),\dots\right\}[/math][br][br][br]Al fin y al cabo, es claro que [b]para construir un retículo, basta con saber sumar y multiplicar los vectores que tengan por números enteros.[/b][/left]
Experimenta. Juega con los vectores
Pregunta
Si se quisiera obtener el vector (1, 3), ¿Cómo se tendrían que combinar los vectores [b]u[/b] y [b]v[/b]?
Pregunta
¿Puedes describir un nuevo elemento del retículo? Combina [b]u [/b]y [b]v.[/b]
En el anterior ejemplo se utilizaron los vectores [math]u=\left(1,0\right)[/math] y [math]v=\left(0,1\right)[/math]. Sin embargo, se pueden utilizar otros vectores como veremos a continuación.
Experimenta. En este caso, se han utilizado los vectores (2,0) y (0,1). Para iniciar la construcción se pulsa el botón de play y se ve como se van construyendo los puntos del retículo
Ejercicio. Construye un retículo
Curiosidad
[justify]¿Sabías que el único retículo que no tiene infinitos elementos es el retículo [math]\left\{0\right\}[/math]?[br][br]Es decir, el único retículo que no tiene infinitos elementos, y que además, solo tiene un elemento, es aquel cuyo vector es el vector 0. ¿Tiene sentido?[br]Supongamos que se tienen dos vectores, si estos son iguales a cero y se hacen las combinaciones enteras nos queda únicamente el cero, porque [math]a\cdot0+b\cdot0=0,[/math] [math]\forall a,b\in\mathbb{Z}[/math][br]En cambio, si se tiene un vector distinto de cero, como por ejemplo, [math]\left(1,0\right)[/math], como se tiene que hay infinitos números enteros, si se combinan, se obtienen infinitos puntos del retículo.[/justify]
Pregunta
Supongamos que tenemos un retículo formado por los vectores [math]u=\left(-1,5\right)[/math] y [math]v=\left(2,3\right)[/math]. Introduce al menos diez elementos del retículo.
Experimenta
Pregunta
Ahora que ya se ha visto cómo se construye un retículo y se ha visto su apariencia, ¿Se puede relacionar este concepto con las imágenes de portada? En ese caso, describe las similitudes. ¿Se pueden encontrar algún objeto de la naturaleza o el entorno similar a estas estructuras?
Relacionando conceptos
En la geometría, un concepto muy conocido es el [b]producto escalar[/b]. El producto escalar de dos vectores, sean [b]u[/b] y [b]v, [/b]considerando [math]\alpha[/math] el ángulo entre los dos vectores. Se puede calcular de la siguiente manera:[br][br][center][math]u\cdot v=|u|\cdot|v|\cdot cos\left(\alpha\right)[/math][/center][br]
[justify]En los ejemplos que se han presentado, todos los productos escalares de los vectores han sido cero, pues [math]u=\left(1,0\right)[/math] y [math]v=\left(0,1\right)[/math]. En este caso, el producto escalar es igual a cero, pues [math]u\cdot v=1\cdot1\cdot cos\left(\frac{\pi}{2}\right)=1\cdot1\cdot0=0[/math]. Cuando esto ocurre, se dice que los vectores son [b]ortogonales. [/b]Ahora bien, se puede plantear la idea de construir retículos [b]no ortogonales[/b], o lo que es lo mismo, que sus vectores no sean perpendiculares.[/justify]
Experimenta deslizando los puntos B y C
[justify]En este ejemplo podemos apreciar que los vectores [b]AB [/b]y [b]AC[/b] no son perpendiculares, o como lo hemos mencionado anteriormente, no son ortogonales. Si se arrastran los puntos A, B y C, se puede apreciar como varía el retículo formado.[/justify]
Pregunta ¿Te animas a crear un retículo no ortogonal?
Curiosidad
[justify]Aunque parezca que siempre se trazan y se esbozan funciones en un plano, con un eje de referencia [b]OX[/b] y [b]OY, [/b]en realidad solo se trata de un eje de [b]referencia cartesiano[/b], y hay más ejes de referencia. Un eje de referencia, es el sistema de [b]referencia afín[/b]. Este consiste en, teniendo 3 puntos no alineados, A, B y C, se consideran los vectores [b]AB [/b]y [b]BC[/b]. En este caso, cuando tengamos los 'números' sobre el eje para poder contar, no iremos de uno en uno, sino dando saltos de longitud [math]\mid AB\mid[/math] y [math]|BC|[/math].[/justify]
Pregunta
¿Puedes identificar algún sistema de referencia afín en esta actividad? ¿Cuál? De ser así, ¿Puedes hablar sobre la relación con los retículos no ortogonales?
[justify]Las matemáticas están compuestas de diferentes áreas de estudio:[br][/justify][list][*][b]Álgebra[/b] (matrices, ecuaciones, determinantes,...)[/*][*][b]Análisis [/b](funciones, integrales, derivadas,...)[/*][*][b]Estadística[/b] (poblaciones, frecuencias, probabilidades,...)[/*][*][b]Geometría y topología[/b][/*][/list][justify][/justify][justify]La diferencia entre la geometría y la topología es que la primera estudia las propiedades cuantitativas de los objetos geométricos (calcular áreas, perímetros, etc.), mientras que la topología estudia las propiedades cualitativas. Por ejemplo, para una persona que estudia la topología, ¡Un donut y una taza son prácticamente idénticos![br]Dentro de la topología, se dedica tiempo y esfuerzo a medir y estudiar distancias (entre otras cosas). Hasta ahora, solo hemos conocido la [b]distancia euclídea[/b], que es la usual y la del día a día, la que utilizamos con la regla de nuestro estuche. No obstante, hay una distancia que es la [b]distancia taxi (o distancia Manhattan)[/b]. [/justify][br][justify]En la distancia taxi no podemos movernos de un punto a otro en línea recta (al no ser que esté justo al lado), sino que tenemos que hacerlo como si nos moviésemos en una cuadrícula, como por una ciudad. Obviamente, esta denominación de la distancia taxi viene de como se mueven los taxis por la metrópoli, rodeando edificios a través de largas calles. ¿No recuerdan estas ciudades a las estructuras reticulares? Veamos una imagen de Barcelona:[/justify]
Experimenta
Pregunta
¿Puedes encontrar estructuras reticulares en tu entorno? Te doy una pista, las baldosas del suelo.
La línea recta no es una opción
Nos gustaría poder ir desde el punto A hasta B mediante una línea recta, sin embargo, no podemos atravesar edificios, luego, la mejor opción que tenemos es la taxi. Para ir desde A hasta B nos tenemos que desplazar a través del retículo.
¿El camino se sigue es único?
Resumen
[justify]Para finalizar esta actividad, se debe destacar que se ha introducido un nuevo concepto, el de retículo, cimiento de la novedosa criptografía post-cuántica. Se han establecido conexiones desde los retículos con diferentes conceptos, como la ortogonalidad, las referencias afines y la distancia taxi. Además, se ha acercado al alumno este interesante objeto matemático, mostrando que está en la naturaleza, intentando que tome perspectiva de las matemáticas y que esta está más presente de lo que se cree.[/justify]
Close

Information: Una breve introducción a la teoría de retículos