Francis Villatoro explica el problema de la distancia unitaria propuesto por Erdős y cómo este llegó a ofrecer un premio económico para su resolución o refutación.
…al principio de todos los no resueltos, de todos los no resueltos todavía, están sistemáticamente dándoles vueltas una y otra vez y eso echa un tiempo y las intereses artificiales mejoran y entonces lo están haciendo con diferentes inteligencias artificiales. O sea que no hay un enorme interés, específicamente por ese tipo de problemas porque la mayoría de los problemas de Erdős son irrelevantes; pero en concreto este problema sí es un problema bastante interesante y bastante atacado. Este es el problema de la distancia unitaria: es un problema que propuso Erdős en 1946, Erdős tenía 33 años, y es un problema que ha generado bastante eco porque Erdős ha recurrido a él muchas veces y lo cita en unos 14 artículos; y aunque como la mitad están específicamente dedicados a cuestiones relativas a este problema, los otros son artículos de revisión en el que menciona el problema como uno de los que más le apasionaba. Erdi llegó a valorar en dinero poner un premio para quien resolviera el problema de 300 euros, que más tarde subió a 500 para quien lo refutara o lo resolviera. El problema de la distancia unitaria es básicamente el problema de: si tú tienes un conjunto de puntos en el plano, este es un problema en el plano; si tienes un conjunto de puntos en el plano, tú puedes ver la distancia entre cada dos pares, las distancias que hay entre cada dos pares y hacer un histograma de distancias. Ir poniendo, pues, de esta distancia hay tres, hay tres pares de puntos que tienen esta distancia, de esta distancia hay dos, de las demás distancias solo hay uno, etc. Claro, entre n números hay n por n-1 partido 2, es decir, el número combinatorio n sobre 2, distancias posibles; hay pares posibles. Entonces, una de las cuestiones interesantes es ver, bueno, Erdős introduce una función para esta, digamos, distribución estadística de distancias, ¿no? De distancias repetidas y se centran en la cuestión de una distancia patrón, vamos a llamarla unitaria, vamos a llamar que es uno, llamémosle uno, vale; cualquiera, que es la más repetida, ¿vale? En una distribución de puntos, entre ellos hay una distancia que es la más repetida, pues esa la vamos a llamar distancia 1. Y lo que queremos es determinar el número máximo de distancias 1 que pueda haber en n puntos. El caso más sencillo. Francis, una pregunta, porque yo no he leído sobre esto, te estoy escuchando ahora la explicación; este es un problema discreto, supongo que eso se refiere a cuando n se hace muy grande. Claro, el problema Ahora lo veremos, ahora veremos el enunciado. Todavía no he dado el enunciado del problema de Erdős; estoy explicando un poco la idea del problema. Entonces si tú tienes dos puntos, pues hay una única distancia, pues esa vale, entre dos puntos hay una única distancia. Entre tres puntos tú puedes formar un triángulo equilátero. Un triángulo equilátero te da tres distancias. Si tú tienes cuatro puntos, no te sirve un cuadrado porque un cuadrado tiene cuatro distancias unitarias pero dos distancias que son la raíz cuadrada de dos; pero tú puedes coger dos triángulos equiláteros y pegarlos y obtienes como un rombo. Ese rombo tiene la ventaja de que todos los lados, los cuatro lados, son de distancia uno y la diagonal también porque son dos triángulos equiláteros, uno pegado al lado. Para cuatro puntos, tú tienes cinco distancias unitarias. Tú te puedes plantear qué pasa con cinco puntos. Pues con cinco puntos lo que puedes es añadir un triángulo equilátero más. Si añades un triángulo equilátero más, has añadido un punto adicional; tienes cinco puntos, pero te aparecen dos lados adicionales. Para cinco puntos, lo máximo que puedes conseguir son seis. Para 6, si metes otro triangulito, puedes conseguir; a ver, yo tenía aquí los números porque si no me voy a liar. Para 5 puntos son 7, para 6 puntos son 9 y también se construye añadiendo triángulos equiláteros, pero para 7 puntos hay una mejor estructura geométrica que es un hexágono regular. En un hexágono regular, tú tienes seis puntos que son los de fuera, separados todos por la distancia 1, la distancia que estás considerando, pero además puedes poner el punto central y el punto central lo puedes conectar con cada uno de los lados con un triángulo equilátero; usted tiene seis triángulos equiláteros puestos en forma de hexágono. Eso te da que si tú empiezas a contar el número de lados, tienes los lados exteriores, seis, y los radios, los que conectan con el punto central, que son otros seis. Tienes doce distancias unitarias en esa estructura geométrica. Si tú quieres considerar, esos son siete puntos, ocho puntos. pues tienes que añadir, puedes añadir un punto fuera y construir un triángulo equilátero, con lo que tienes catorce distancias. Pero si tienes nueve puntos, tú podrías pensar que podrías añadir otro punto y tener otro segundo triángulo equilátero, pero entonces tendrías dieciséis distancias, pero se puede hacer mejor. Con nueve puntos tú puedes conseguir dieciocho distancias. Poniendo un triángulo adentro. Es un poquito más curioso y eso va a ser el reto que voy a plantearle a los oyentes interesados en los retos matemáticos: cómo colocar nueve puntos de tal manera de que sus distancias unitarias sean dieciocho. La clave es mezclar triángulos y cuadrados, pero la estructura geométrica es muy, muy curiosa; no es trivial, no es una cosa que cualquier niño en un ratito te la saque, porque los niños son muy intuitivos en la parte geométrica con puntitos, pero recomiendo que todo el mundo se esfuerce y no lo busque por internet; esto está por internet en todos lados, o sea, si lo buscáis en internet lo vais a encontrar y vais a decir: a mí no se me hubiera ocurrido, pero por lo menos forzaros un poquillo. ¿Cuántos puntos? son nueve puntos y te tienen que salir dieciocho distancias unitarias, ¿vale? O sea, un hexágono y un triángulo. Tampoco, tienes cuadrados y triángulos. Y ya no digo más que te lo voy a desvelar. Lo voy a pensar. Bueno, ya lo digo: una chorrada, pero bueno, vemos que el número va aumentando, pero lo que pasa es que va aumentando porque la estructura es sencilla. Cuando…
Héctor Socas sugiere cambiar de tema para permitir que Gastón Giribet descanse, proponiendo hablar sobre una demostración realizada con un modelo GPT relacionada con el problema de la distancia unitaria en R2.
Habla: Héctor SocasSignificado #13 · Palabras #10modelo gpt problema distancia unitariainteligencia artificial resuelve problemas r2gastón giribet descanso demostración gpt…cuando lo estás viendo desde el plano ecuatorial, porque es ahí donde la asimetría es más notable; pero cuando vos lo estás viendo precisamente de uno de los dos polos, es donde la sombra no se deforma, se deforma en tamaño, pero no en forma. Es más difícil. Curioso, buenísimo, bueno; si quieren para que Gastón descanse un poco podemos saltar ahora, Francis, a esa demostración que se ha hecho con un modelo de GPT del problema de la distancia unitaria, uno de los problemas de R2. Parece que esto han cogido la libreta como quien le coge los apuntes al compañero de clase; cogen los apuntes de R2 y están pasando por todos sus problemas uno detrás de otro y viendo qué cosas interesantes sacan de ahí. Pero es un caso más de una inteligencia artificial ayudando a los matemáticos a resolver problemas que hasta ahora estaban abiertos. Sí, bueno, esa es la gran ventaja del listado de problemas de Erdős, que ahora mismo literalmente decenas como mínimo y probablemente haya cientos de personas están literalmente poniendo primero el primero, después el segundo, después el tercero, después el…
Francis Villatoro explica el problema de la distancia unitaria propuesto por Erdős y cómo este llegó a ofrecer un premio económico para su resolución o refutación.
Habla: Francis VillatoroSignificado #1 · Palabras #1problema distancia unitaria erdőserdős y sus 14 artículosproblema erdős pasión del autorpremio erdős problema distancia unitariadistancia unitaria conjunto de puntos planohistograma de distancias pares de puntosdistancia patrón erdősfunción estadística de distanciasnúmeros y distribución estadísticadistancia unitaria más repetidadistancias unitarias entre n puntosproblema discreto con n grandeexplicación de francis villatoroproblema erdős distancia unitariatriángulo equilátero tres distanciasrombo lados distancia uno diagonalproblema de erdős distancia unitariatriángulos equiláteros distancias unitariasconfiguraciones puntos triángulo equiláteromáximo seis distancias cinco puntostriángulos equiláteros aumentan distancias unitariasestructura geométrica hexágono regular puntoshexágono regular y triángulos equiláterosdistancia unitaria en estructura geométricapunto central conectado con hexágonodoce distancias unitarias francis villatorotriángulos equiláteros catorce distanciasnueve puntos dieciocho distanciasestructura geométrica maximizar distanciasreto matemático francis villatorodistancias unitarias dieciochotriángulos y cuadrados en retosestructura geométrica curiosa puntitos…al principio de todos los no resueltos, de todos los no resueltos todavía, están sistemáticamente dándoles vueltas una y otra vez y eso echa un tiempo y las intereses artificiales mejoran y entonces lo están haciendo con diferentes inteligencias artificiales. O sea que no hay un enorme interés, específicamente por ese tipo de problemas porque la mayoría de los problemas de Erdős son irrelevantes; pero en concreto este problema sí es un problema bastante interesante y bastante atacado. Este es el problema de la distancia unitaria: es un problema que propuso Erdős en 1946, Erdős tenía 33 años, y es un problema que ha generado bastante eco porque Erdős ha recurrido a él muchas veces y lo cita en unos 14 artículos; y aunque como la mitad están específicamente dedicados a cuestiones relativas a este problema, los otros son artículos de revisión en el que menciona el problema como uno de los que más le apasionaba. Erdi llegó a valorar en dinero poner un premio para quien resolviera el problema de 300 euros, que más tarde subió a 500 para quien lo refutara o lo resolviera. El problema de la distancia unitaria es básicamente el problema de: si tú tienes un conjunto de puntos en el plano, este es un problema en el plano; si tienes un conjunto de puntos en el plano, tú puedes ver la distancia entre cada dos pares, las distancias que hay entre cada dos pares y hacer un histograma de distancias. Ir poniendo, pues, de esta distancia hay tres, hay tres pares de puntos que tienen esta distancia, de esta distancia hay dos, de las demás distancias solo hay uno, etc. Claro, entre n números hay n por n-1 partido 2, es decir, el número combinatorio n sobre 2, distancias posibles; hay pares posibles. Entonces, una de las cuestiones interesantes es ver, bueno, Erdős introduce una función para esta, digamos, distribución estadística de distancias, ¿no? De distancias repetidas y se centran en la cuestión de una distancia patrón, vamos a llamarla unitaria, vamos a llamar que es uno, llamémosle uno, vale; cualquiera, que es la más repetida, ¿vale? En una distribución de puntos, entre ellos hay una distancia que es la más repetida, pues esa la vamos a llamar distancia 1. Y lo que queremos es determinar el número máximo de distancias 1 que pueda haber en n puntos. El caso más sencillo. Francis, una pregunta, porque yo no he leído sobre esto, te estoy escuchando ahora la explicación; este es un problema discreto, supongo que eso se refiere a cuando n se hace muy grande. Claro, el problema Ahora lo veremos, ahora veremos el enunciado. Todavía no he dado el enunciado del problema de Erdős; estoy explicando un poco la idea del problema. Entonces si tú tienes dos puntos, pues hay una única distancia, pues esa vale, entre dos puntos hay una única distancia. Entre tres puntos tú puedes formar un triángulo equilátero. Un triángulo equilátero te da tres distancias. Si tú tienes cuatro puntos, no te sirve un cuadrado porque un cuadrado tiene cuatro distancias unitarias pero dos distancias que son la raíz cuadrada de dos; pero tú puedes coger dos triángulos equiláteros y pegarlos y obtienes como un rombo. Ese rombo tiene la ventaja de que todos los lados, los cuatro lados, son de distancia uno y la diagonal también porque son dos triángulos equiláteros, uno pegado al lado. Para cuatro puntos, tú tienes cinco distancias unitarias. Tú te puedes plantear qué pasa con cinco puntos. Pues con cinco puntos lo que puedes es añadir un triángulo equilátero más. Si añades un triángulo equilátero más, has añadido un punto adicional; tienes cinco puntos, pero te aparecen dos lados adicionales. Para cinco puntos, lo máximo que puedes conseguir son seis. Para 6, si metes otro triangulito, puedes conseguir; a ver, yo tenía aquí los números porque si no me voy a liar. Para 5 puntos son 7, para 6 puntos son 9 y también se construye añadiendo triángulos equiláteros, pero para 7 puntos hay una mejor estructura geométrica que es un hexágono regular. En un hexágono regular, tú tienes seis puntos que son los de fuera, separados todos por la distancia 1, la distancia que estás considerando, pero además puedes poner el punto central y el punto central lo puedes conectar con cada uno de los lados con un triángulo equilátero; usted tiene seis triángulos equiláteros puestos en forma de hexágono. Eso te da que si tú empiezas a contar el número de lados, tienes los lados exteriores, seis, y los radios, los que conectan con el punto central, que son otros seis. Tienes doce distancias unitarias en esa estructura geométrica. Si tú quieres considerar, esos son siete puntos, ocho puntos. pues tienes que añadir, puedes añadir un punto fuera y construir un triángulo equilátero, con lo que tienes catorce distancias. Pero si tienes nueve puntos, tú podrías pensar que podrías añadir otro punto y tener otro segundo triángulo equilátero, pero entonces tendrías dieciséis distancias, pero se puede hacer mejor. Con nueve puntos tú puedes conseguir dieciocho distancias. Poniendo un triángulo adentro. Es un poquito más curioso y eso va a ser el reto que voy a plantearle a los oyentes interesados en los retos matemáticos: cómo colocar nueve puntos de tal manera de que sus distancias unitarias sean dieciocho. La clave es mezclar triángulos y cuadrados, pero la estructura geométrica es muy, muy curiosa; no es trivial, no es una cosa que cualquier niño en un ratito te la saque, porque los niños son muy intuitivos en la parte geométrica con puntitos, pero recomiendo que todo el mundo se esfuerce y no lo busque por internet; esto está por internet en todos lados, o sea, si lo buscáis en internet lo vais a encontrar y vais a decir: a mí no se me hubiera ocurrido, pero por lo menos forzaros un poquillo. ¿Cuántos puntos? son nueve puntos y te tienen que salir dieciocho distancias unitarias, ¿vale? O sea, un hexágono y un triángulo. Tampoco, tienes cuadrados y triángulos. Y ya no digo más que te lo voy a desvelar. Lo voy a pensar. Bueno, ya lo digo: una chorrada, pero bueno, vemos que el número va aumentando, pero lo que pasa es que va aumentando porque la estructura es sencilla. Cuando…
Francis Villatoro explica la conjetura de Erdős sobre un intervalo para relacionar el número de puntos y las distancias unitarias, mencionando un límite máximo basado en una potencia fraccionaria.
Habla: Francis VillatoroSignificado #4 · Palabras #4conjetura de erdős distancias unitariaslímite máximo erdős soluciónproblema erdős configuración geométricadistancias unitarias distribución puntosfunción creciente logaritmo de ndistancias unitarias puntos n infinitoconjetura matemática número de distanciasvalor cercano a uno villatoron elevado a 1 epsilon ceroconjetura de erdős número distancias unitariaserdős exponente logaritmo del logaritmo nfrancis villatoro conjetura de erdősproblema erdős geometría combinatoriaerdős reintrodujo problema sencillodoctorado geometría combinatoria demuestra problematécnicas nuevas problemas geometría combinatoriaartículos publicados problema erdős…tenemos dieciocho, tenemos casi el doble, pero ya cuando el número de puntos es muy grande resulta que estos números caen y básicamente caen muy cerca del propio número de puntos. El número de lados que pueden ser iguales es similar al número de puntos. Entonces, en 1946 Erdős conjetura un intervalo en el que se puede encontrar esa relación. Por un lado, un valor máximo, que es el número de puntos elevado a 4 tercios, es decir, a 1 .3333333, y plantea como conjetura que eso es el límite máximo y de la mejor solución. Repito, siempre estamos hablando de la solución que tenga más distancias unitarias, más lados todos iguales entre n puntos con n tendiendo a infinito. Eso se demostró como en 1983, pero eso no es el problema que nos interesa, no. Es el problema 90 de Erdős, que es el de que estamos hablando, sino el otro lado. Erdős presenta una configuración geométrica, una especie de rellenado del plano o una cosa que se repite y observa que, con esa distribución de puntos, la cantidad de distancias unitarias de lados iguales a 1 que hay en una distribución con n teniendo infinitos de puntos es n elevado a 1 más una constante que él nos determina partido el logaritmo de 1. del logaritmo de n. El logaritmo de n es una función creciente, crece menos que n, pero siempre creciente. Y el logaritmo del logaritmo de n es una función también siempre creciente, pero que crece más despacio. Entonces, 1 partido logaritmo del logaritmo de n es una cosa que con n que tiene infinito tiende a cero. Entonces él demuestra esa expresión matemática. Y entonces se le ocurre que, y por qué no lo exageramos al máximo: si para n tendiendo a infinito nos vamos a un valor prácticamente cero, es decir, que el número de distancias unitarias es igual a n, al número de puntos, ¿por qué no conjeturar eso directamente? Conjeturar que el número de distancias unitarias es n elevado a 1 más un épsilon tendiendo a cero, ¿vale? O sea, básicamente 1 más algo muy pequeño respecto a 1. Esa es la conjetura de este problema, el problema de. La distancia unitaria de Erdős es conjeturar que cuando n tiende a infinito, él tiene un ejemplo que es un ejemplo muy bueno. Muy bueno porque el exponente es uno más, repito, del orden de el uno partido del logaritmo del logaritmo de n. Y entonces conjetura que es uno más, pues algo muy pequeño, algo despreciable, algo que es prácticamente uno, ¿vale? N elevado a uno. Entonces, ¿qué pasó con este problema al que varias veces ha reentrado Erdős en su carrera? Y es que este problema, que parece muy sencillo de describir, se ha ido convirtiendo en un problema rodeado de un cierto aura de que en este campo de investigación en el que se enmarca, que es la geometría combinatoria, se ha convertido como el gran problema de la geometría combinatoria. Es decir, prácticamente todo el mundo que hace un doctorado en geometría combinatoria trata de demostrar este problema; desarrolla nuevas técnicas, nuevas cosas, nuevas maneras de ver este tipo de problemas, y se lo voy a probar con este problema de ERDIS. Entonces es un problema bastante trabajado en el que hay bastantes artículos que se han publicado durante mucho tiempo, y lo que ha permeado el campo. Es que ese ejemplo que nos pone Erdős en 1946 es prácticamente el mejor ejemplo conocido. Se ha tratado en varios artículos de modificar, de perturbar esa distribución de puntos, pero no se ha logrado mejorar ese orden asintótico de 1 partido logaritmo de…
Francis Villatoro explica cómo se calcula la distancia euclídea, definiéndola como la raíz cuadrada de x al cuadrado más y al cuadrado, y plantea una ecuación algebraica para encontrar esas distancias.
Habla: Francis VillatoroSignificado #14distancia euclídea raíz cuadradaecuación algebraica distancia alfa al cuadrado…artículos; en esa época podía llegar a producir 20 artículos anuales, que en matemáticas eso es una barbaridad, es una barbaridad. Entonces, muchos estaban escritos con un estilo que hoy en día lo mismo no lo aceptaríamos en muchas revistas con ese estilo. Una de las ideas es, porque claro, aquí estamos hablando de distancia euclídea, ¿vale? O sea, la distancia euclídea básicamente es x al cuadrado más y al cuadrado, y al cuadrado, raíz cuadrado, esa es la distancia Entonces para encontrar las distancias yo tengo que resolver la ecuación x al cuadrado más y al cuadrado igual a la distancia que yo tengo, llámale alfa al cuadrado o llámale 1, 1 al cuadrado O sea tienes que resolver la ecuación algebraica x al cuadrado más y al cuadrado igual a 1 En apariencia es una ecuación fácil de resolver en el plano pero la idea que usa Erdős y que otros matemáticos han tratado también de explotar es ¿por qué no ¿Uso un cuerpo de números racionales? Fijaros que los números enteros forman un anillo, yo puedo sumarlos y multiplicarlos pero no puedo dividir; si yo divido me salgo fuera de los enteros. Pero los racionales, que son cocientes de enteros, forman un cuerpo.…
Francis Villatoro explica cómo el uso de cuerpos matemáticos permite obtener múltiples soluciones a una ecuación y aprovechar propiedades algebraicas para estimar la cantidad de soluciones.
Habla: Francis VillatoroPalabras #20multiplicidad de soluciones cuerpos matemáticospropiedades algebraicas cuerposestimación cantidad de soluciones…yo estoy usando la multiplicación compleja que utilizo con la unidad imaginaria, pero no la estoy usando con la unidad imaginaria; la estoy usando con una expresión irracional como puede ser la raíz cuadrada de 3 o como puede ser la raíz cuadrada de 21. entonces, usando ese tipo de cuerpos lo que se observa es que yo tengo una multiplicidad de soluciones de la ecuación x al cuadrado más y al cuadrado igual a 1, y esa multiplicidad de soluciones me permite aprovechar propiedades estrictamente algebraicas de los cuerpos para determinar una estimación de la cantidad de soluciones que yo tengo, que multiplicado por el número de puntos me dará la cantidad de posibles, el número máximo de distancias unitarias que yo tengo en mi problema. Es decir, yo puedo formular un problema puramente geométrico, de geometría combinatoria; lo puedo formular con un problema puramente algebraico y entonces esa aproximación ha sido propuesta ya en varios artículos y se han hecho cosas pero en la línea de…
Francis Villatoro explica cómo se pueden utilizar teoremas relacionados con ideales en cuerpos para estimar soluciones a un problema.
Habla: Francis VillatoroSignificado #12 · Palabras #12ideales representando distancias unitariasteoremas para contar elementos idealesfactorización de cuerpos no principalestraslación al mundo algebraico cuerpos…los humanos estaban haciendo era utilizar esta estructura algebraica que extiende los puntos que están en el plano y los convierte en una especie de objetos abstractos que se encuentran en un cuerpo. Estos cuerpos se pueden factorizar en ideales y se puede Hacer que haya unos ideales que representen, entre comillas, el número de distancias unitarias que tengo en mi problema. Entonces, puedo utilizar teoremas que me cuentan cuántos elementos tienen los ideales, que no necesariamente son principales; muchos de ellos no son ideales principales que factorizan ese cuerpo, me permiten estimar este problema. Es decir, puedo hacer una especie de traslación al mundo algebraico de los cuerpos, de la teoría de cuerpos. La teoría de cuerpos para la gente joven que no está viendo es una cosa súper desconocida, pero para la gente que tiene mi edad o la de Héctor, pues lo estudiamos en EGB. En EGB nos obligaron a estudiar lo que era un cuerpo, lo que era un grupo, semigrupo,…
Francis Villatoro explica cómo el resultado generado por inteligencia artificial está siendo adoptado por matemáticos y utilizado en investigaciones ajenas a la conjetura original.
Habla: Francis VillatoroPalabras #13matemáticos usan resultado inteligencia artificialconjetura distancia aplicación idea iapremios erdos impacto metálico…invitados por OpenAI a ir allí y ver la demostración y estar con los otros matemáticos, él no es un experto en este tipo de temas y lo reconoce, pero bueno, se ha quedado alucinado de que los expertos se queden alucinados, porque la gente dice, pero ¿cómo? Es que eso se puede hacer. ¿Y qué está pasando con este resultado? Pues lo maravilloso de este resultado es que ahora todos los matemáticos que trabajan en eso dicen si es que esto se nos podía haber ocurrido a nosotros, lo están empezando a usar; están empezando a aparecer artículos que no tienen nada que ver con la conjetura de la distancia que están aplicando esta misma idea y es una buena idea de la inteligencia artificial, con lo que este es el primer resultado demostrado por la inteligencia artificial que está teniendo un impacto más allá de la chorrada de ganar 300 dólares por haber demostrado, porque este es uno de los premios de los premios de Erdos que tiene premio metálico. Entonces, se ha creado ahí un gran bombo mediático. Hay que poner un poco los pies, es decir, lo que ha hecho realmente la inteligencia artificial no es tan revolucionario, no es tan creativo. Pero si es verdad, algunos lo dicen, si lo hubiera hecho un…