Búsqueda · 30 momentos en 13 episodios
José EdelsteinIgnacio CrespoFrancis VillatoroHéctor SocasBorja Tosarmhv complejidad simetrías cálculodiagramas feynman teoría cuántica campospark taylor cálculo loopsdixon stanford diagramas feynmancálculos complejos lenguaje programaciónecuación carilla lenguaje diferentelenguaje programación jose edelsteinJosé EdelsteinHéctor SocasMecánica cuánticaMHVMaximal Elicity Violating AmplitudeParkTaylorDixonStanfordLance Dixondiagramas de FeynmanN=4 super Young MillsChatGPTAnastasia BolovichFrancis VillatoroSuper John Mills
Cálculos complejos lenguaje programación
Con
0:000:301:001:302:002:303:003:25
José Edelstein explica cómo ciertos cálculos complejos pueden simplificarse enormemente al cambiar de lenguaje de programación.
…¿Por qué son 6? Bueno, dejando de lado ese caso en el que son todos menos 1. De una licidad y una de la contraria, que es un caso un poco particular y que ya se resolvió. El caso un poco de bandera siempre es cuando son todos menos 2 iguales. Ese caso se llama MHV, Maximal Elicity Violating Amplitude es un caso que tiene; es suficientemente complejo y al mismo tiempo tiene un conjunto de simetrías que permiten hacer el cálculo y fue el caso que permitió darse cuenta hace ya unos cuantos años a gente, Park y Taylor y luego el grupo de Dixon en Stanford que los diagramas de Feynman, de toda la que uno aprende cuando aprende teoría cuántica de campos y que parecen maravillosos. Son maravillosos, pero para cálculos muy complejos de loops empiezan a volverse muy rápidamente muy complejos y por lo tanto es un lenguaje en el cual las expresiones que obtienes lucen horrorosas, ocupan páginas y páginas. y páginas y luego resulta que hay otro lenguaje en el cual todo eso se simplifica a un párrafo, a una ecuación que ocupa unas pocas líneas de una sola carilla. Entonces, obviamente, el lenguaje en el cual está escrita esta última expresión es otro, diferente. Cuando la gente se dio cuenta de esto, es mucho más abstracto. Está escrito. De hecho, esto es lo que en 2003 Witten identificó como algo que se podría obtener en teoría de cuerdas en un espacio muy raro, que es el espacio de twistores. O sea, es algo matemáticamente mucho más complejo, pero que te permite escribir un resultado en un…
Significado #2 · Palabras #1
José Edelstein describe la complejidad de un cálculo realizado por Lance Dixon, quien ha dedicado años a avanzar gradualmente desde 7 hasta 8 lazos, encontrando trucos para simplificar el proceso.
Habla: José EdelsteinSignificado #4cálculo complicadísimo lance dixonlazos cálculo ingenuo imposibleexperto mundial lance dixon…todo lo que la IA utilizó de humanos fue ella misma buscarlo en los papers originales, cosa que hizo, cosa que hizo, que también va a ser importante creo que en la discusión final sobre la parte espectacular y la parte menos espectacular de este resultado. Hay una parte obviamente espectacular porque estamos hablando de un cálculo complicadísimo que el mayor experto mundial de esto que es Lance Dixon le lleva años ir pasando de 7 lazos a 8 lazos por ejemplo y dándose cuenta trucos para que el cálculo sea... el cálculo ingenuo es imposible, es muy muy complejo como dice Dixon que también incluyó una parte, un pequeño comentario en la pieza del blog él dice, a ver, es que además un humano se equivoca y entonces te das cuenta muchos días después que llevas varios días con un error; entonces, bueno, es mucho más tortuoso y también eso te mina el ánimo y hace que te lleve más tiempo, probablemente porque prefiere dedicarle tiempo también a otras…
José Edelstein explica cómo ciertos cálculos complejos pueden simplificarse enormemente al cambiar de lenguaje de programación.
Habla: José EdelsteinSignificado #2 · Palabras #1mhv complejidad simetrías cálculodiagramas feynman teoría cuántica campospark taylor cálculo loopsdixon stanford diagramas feynmancálculos complejos lenguaje programaciónecuación carilla lenguaje diferentelenguaje programación jose edelstein…¿Por qué son 6? Bueno, dejando de lado ese caso en el que son todos menos 1. De una licidad y una de la contraria, que es un caso un poco particular y que ya se resolvió. El caso un poco de bandera siempre es cuando son todos menos 2 iguales. Ese caso se llama MHV, Maximal Elicity Violating Amplitude es un caso que tiene; es suficientemente complejo y al mismo tiempo tiene un conjunto de simetrías que permiten hacer el cálculo y fue el caso que permitió darse cuenta hace ya unos cuantos años a gente, Park y Taylor y luego el grupo de Dixon en Stanford que los diagramas de Feynman, de toda la que uno aprende cuando aprende teoría cuántica de campos y que parecen maravillosos. Son maravillosos, pero para cálculos muy complejos de loops empiezan a volverse muy rápidamente muy complejos y por lo tanto es un lenguaje en el cual las expresiones que obtienes lucen horrorosas, ocupan páginas y páginas. y páginas y luego resulta que hay otro lenguaje en el cual todo eso se simplifica a un párrafo, a una ecuación que ocupa unas pocas líneas de una sola carilla. Entonces, obviamente, el lenguaje en el cual está escrita esta última expresión es otro, diferente. Cuando la gente se dio cuenta de esto, es mucho más abstracto. Está escrito. De hecho, esto es lo que en 2003 Witten identificó como algo que se podría obtener en teoría de cuerdas en un espacio muy raro, que es el espacio de twistores. O sea, es algo matemáticamente mucho más complejo, pero que te permite escribir un resultado en un…
José Edelstein explica cómo el desarrollo de nuevos lenguajes de programación ha impulsado a los investigadores a realizar cálculos más complejos, retomando un punto mencionado por Héctor Socas.
Habla: José EdelsteinSignificado #1 · Palabras #2cálculos complejos nuevos lenguajesnúmero partículas procesos mecánica cuánticahector socas loops cálculos…O sea, es algo matemáticamente mucho más complejo, pero que te permite escribir un resultado en un párrafo en lugar de en ocho páginas, que ningún ser humano puede sacar nada limpio de algo que tiene que pasar de página para ver cómo es la expresión. Entonces la gente con este nuevo lenguaje se animó a hacer cálculos más complejos. ¿Por qué? Voy a lo que decía Héctor. Es cierto que uno no puede decir para qué voy a seguir subiendo en loops. ¿Qué son los loops? Cuando uno tiene un número de partículas que entran y salen en un proceso, la mecánica cuántica nos dice que en el medio las interacciones que están ocurriendo se pueden representar como si en el medio ocurriera todo lo que puede ocurrir. o sea, uno tiene la teoría y si un quark puede, dos quarks pueden intercambiar un glúon y puede pasar algo y cuando digo puede pasar algo les recuerdo que el particle data book tiene un grosor que los que no me están viendo, bueno pues más o menos unos 5…
José Edelstein argumenta que las técnicas y el lenguaje utilizado para realizar cálculos complejos en la teoría N=4 super Young-Mills podrían tener aplicaciones útiles en el futuro, incluso en física convencional.
Habla: José EdelsteinPalabras #4lenguaje simplifica diagramas feynmanfísica convencional gluones cromodinámica cuánticateoría n 4 super young millsaplicaciones útiles física convencional jose edelstein…se puede hacer y que nos ha permitido aprender un montón de cosas en el camino. Luego, por supuesto que el alarde de técnicas de estos cálculos es totalmente excesivo para la física de partículas experimental. Lo es a día de hoy, pero puede que no lo sea en El futuro. Este tipo de las cosas que aprendemos aquí seguro que van a servir en el futuro. En particular el lenguaje que mencioné, que permite simplificar los diagramas de Feynman, sí que se puede utilizar en la física convencional, porque los gluones son gluones en cromodinámica cuántica o en n igual a 4 super Young Mills. Son dos teorías muy diferentes, pero los gluones son el mismo gluón en las dos teorías. Entonces, mucho de lo que estoy calculando es igual en ambas teorías. ¿Por qué 6? Y con esto termino; fíjate que como son todos menos 2, el primer caso no trivial sería 4,…
José Edelstein explica cómo Anastasia Bolovich y su grupo desarrollaron hace unos 15 años un lenguaje para calcular diagramas, comparándolo con la construcción de frases usando letras que recuerdan a las bases del genoma.
Habla: José EdelsteinPalabras #10lenguaje bolovich diagramas cálculoanalogía genoma bases lenguajecálculo reversible letras diagrama…que está ocurriendo de un modo distinto, según cómo lo cortes. Pero el diagrama es el mismo, tiene que darte lo mismo. Entonces ese tipo de simetrías son muy, muy buenas para... aparecen, a veces aparecen de manera incomprensible, una simetría que se usa acá. Hay un lenguaje también para este tipo de diagramas que fue desarrollado hace unos 15 años por el grupo de Anastasia Bolovich, que convierte el cálculo, lo traduce de alguna manera en la construcción de frases con letras que son como si fueran de hecho hacen la analogía al genoma porque son cuatro bases que tú las vas alternando y te dicen qué estás calculando y en un momento se dieron cuenta que da igual si calculas con las letras en un orden o al revés. Da lo mismo, pero es que puestas al revés, las mismas letras que correspondían a cuatro gluones que van a dos gluones, puestas al revés son dos gluones yendo a gluón y Higgs, por ejemplo Y entonces debe dar lo mismo esas dos amplitudes y la gente encontró, quizás estoy…
Héctor Socas y José Edelstein discuten una ventaja inherente de los humanos sobre las máquinas en la realización de cálculos complejos: la capacidad de tomar descansos para actividades como tomar un café.
Habla: Héctor SocasSignificado #6cálculos complejos humanos versus chatgptpausa para café en cálculos humanoschatgpt recomienda pausas calculos…iguales por una simetría en un lenguaje abstracto que utilizaste para expresarlas, o sea, bueno, este es el contexto en el cual ocurre este hallazgo que Francis lo va a poder contar mejor que yo, pero calculo que ya la pausa. Sí, bien calculado, efectivamente Pues sí, porque una ventaja que siempre tendrá el ser humano sobre las máquinas al hacer estos cálculos es que te puedes parar para ir a tomar un café. No lo calculé yo, me dijo ChatGPT que tenía que hacer pausa. Exacto, ya está eso, nos lo vamos a tener que. Programar con ChatGPT. Bueno, pues nada, lo dicho, pausita, volvemos en cinco minutos, pero en la cara B. Si nos están escuchando en la radio, recuerden que el resto del programa no se lo pierdan, que vamos a hablar del lanzamiento de la Starship y vamos a…
Francis Villatoro explica cómo las técnicas modernas evitan el cálculo detallado de diagramas de Feynman al trabajar con un lenguaje abstracto y poderoso.
Habla: Francis VillatoroPalabras #14gluones gluinos escalares supersimétricosdiagramas feynman técnicas modernasestado partícula abstracto supermultiplete…cada gluón hay 2 helicidades y hay 4 gluinos y hay 6 escalares. Entonces, cuando yo dibujo una línea, cuando la línea es exterior, yo sí puedo decir que está asociado a un gluón, entre comillas, de esta teoría de Super John Mills. No, no se te escucha, José. Sino que lo que estoy calculando es una especie de estado de tipo partícula abstracto que corresponde a ese supermultiplete: a ese gluón más esos gluinos, que son el análogo supersimétrico del gluón, son fermiones y esos escalares. Entonces lo que pasa es que en este tipo de técnicas hoy en día ya se trabaja a un nivel en el que nadie calcula los diagramas de Feynman. Si calcularan los diagramas de Feynman tendrías que tener en cuenta todos esos componentes: el gluón, los gluinos y los escalares, pero no los tienes que tener en cuenta porque estamos trabajando en un lenguaje mucho más abstracto, mucho más poderoso, que te permite eliminar ese tipo de, entre comillas, detalles. El primer cálculo a un solo lazo en una teoría de Super-Jarn Mills con cuatro supersimetrías se realizó a mediados de los 90 y lo lideró Dixon con otros colegas, Baird, etc. Y es un cálculo que no tiene la forma actual; estaba muy calculado a nivel de…