Búsqueda · 31 momentos en 17 episodios
Luisa AchaerandioSilvana TapiaJosé EdelsteinFrancis VillatoroHéctor SocasJuan Carlos GilGastón Giribetalgoritmos validados por teoremas matemáticosteorema pbr simulado en ordenador ibmvalidación del funcionamiento de ordenadores cuánticosibm y su ordenador funcionaIBMteorema PBRFrancis VillatoroNature PhysicsArxiv
Algoritmos validados por teoremas Matemáticos
Con
0:000:301:001:302:002:303:003:29
Francis Villatoro explica cómo IBM busca validar el funcionamiento de sus ordenadores cuánticos utilizando algoritmos basados en teoremas matemáticos.
…clásico te llega hasta 50 cúbics, estirando mucho, en casos muy concretos 60, 70 cúbics, pero 156 es imposible. Entonces es imposible verificar con un ordenador clásico si ese ordenador funciona o no funciona. Entonces IBM está muy interesada en ejecutar. Algoritmos que estén validados por cosas como un teorema matemático. Porque si yo tengo un algoritmo que estaba, digamos, fundamentado en un teorema matemático, pues eso le da soporte a mi idea de soy IBM y mi ordenador funciona. Que fijaros que el teorema PBR se acaba de simular en mi ordenador y ha funcionado; se cumple lo que dice el teorema con el algoritmo implementado en mi ordenador. Luego mi ordenador funciona, señores, funciona, porque es un teorema matemático; aquí no hay nadie que dude. Vosotros me diréis, pero ¿y por qué no se resuelve un problema de verdad? ¿por qué no se resuelve un problema de tipo NP en el que tú sepas de manera eficiente si la respuesta es correcta o no es correcta? Porque son ordenadores de juguete, porque están llenos de ruido, son ordenadores absolutamente ridículos, estamos…
Significado #1 · Palabras #1
Francis Villatoro reflexiona sobre un teorema matemático aplicado a la física cuántica y plantea la posibilidad de conciliar diferentes interpretaciones de la función de onda.
Habla: Francis VillatoroPalabras #9función de onda epistémicainterpretación óptica de la función de ondateorema matemático física cuántica villatororealidad óntica subyacente función de onda…tuvo muchísimo eco y habló de él todo el mundo. Hubo gente que estaba muy a favor y decía: ¿qué maravilla de artículo?, y hubo gente muy en contra, acusando a los autores de que no tenían ni zorra idea de mecánica cuántica y que estaban diciendo tonterías. Este teorema matemático, bien, en física, ¿vale? En el teorema matemático de físicos. Bien, la idea es no distinguir entre la interpretación epistémica o epistemológica de la función de onda, que solamente es información sobre el sistema físico y la interpretación óptica, sino una cosa que está en medio de ambas cosas. ¿Puede ser la función de onda epistémica pero existir una realidad óntica subyacente? Fijaros la diferencia. ¿Puede existir una realidad óntica subyacente, es decir, una teoría de variables ocultas que subyaga a la mecánica cuántica? Y la mecánica cuántica nos muestra solamente una interpretación puramente epistémica, solo nos da información,…
Francis Villatoro plantea la posibilidad de diseñar un protocolo experimental para determinar la probabilidad de un resultado y validar una afirmación, interpretando así el teorema en cuestión.
Habla: Francis VillatoroPalabras #11protocolo experimental probabilidad resultadoteorema y función de ondamecánica cuántica interpretación epistémicavariables ocultas subyacentes…totalmente epistemológica y una cuestión de actualizar información, sería equivalente mi descripción que la de Gastón. El hecho de que una funcione y la otra no quiere decir que hay algo subyacente que hace que una pueda estar más cerca y la otra no, supongo. ¿Vas a hacer un protocolo experimental para determinar una cierta probabilidad de un resultado y decidir si una cosa es verdad o falsa? Pues ellos lo interpretan de esta manera, o sea, interpretan que su teorema se puede interpretar como que la mecánica cuántica prohíbe una interpretación que sea epistémica para la función de onda si existe una teoría de variables ocultas subyacentes. ¿Vale? Ahora, ¿esto qué tiene que ver con que la función de onda sea epistémica o la función de onda sea ontológica? Óntica. No tiene nada que ver. O sea, la mayor parte de la gente que ha publicado esto, sobre todo en prensa y en medios, confunde eso. Dice, a ver,…
Francis Villatoro explica cómo IBM busca validar el funcionamiento de sus ordenadores cuánticos utilizando algoritmos basados en teoremas matemáticos.
Habla: Francis VillatoroSignificado #1 · Palabras #1algoritmos validados por teoremas matemáticosteorema pbr simulado en ordenador ibmvalidación del funcionamiento de ordenadores cuánticosibm y su ordenador funciona…clásico te llega hasta 50 cúbics, estirando mucho, en casos muy concretos 60, 70 cúbics, pero 156 es imposible. Entonces es imposible verificar con un ordenador clásico si ese ordenador funciona o no funciona. Entonces IBM está muy interesada en ejecutar. Algoritmos que estén validados por cosas como un teorema matemático. Porque si yo tengo un algoritmo que estaba, digamos, fundamentado en un teorema matemático, pues eso le da soporte a mi idea de soy IBM y mi ordenador funciona. Que fijaros que el teorema PBR se acaba de simular en mi ordenador y ha funcionado; se cumple lo que dice el teorema con el algoritmo implementado en mi ordenador. Luego mi ordenador funciona, señores, funciona, porque es un teorema matemático; aquí no hay nadie que dude. Vosotros me diréis, pero ¿y por qué no se resuelve un problema de verdad? ¿por qué no se resuelve un problema de tipo NP en el que tú sepas de manera eficiente si la respuesta es correcta o no es correcta? Porque son ordenadores de juguete, porque están llenos de ruido, son ordenadores absolutamente ridículos, estamos…
Francis Villatoro explica que IBM está ejecutando algoritmos basados en teoremas matemáticos en sus ordenadores cuánticos.
Habla: Francis VillatoroSignificado #2 · Palabras #2algoritmos de ibm basados teoremasordenadores cuánticos de ibm ejecutan algoritmosteorema matemático sin sentido experimentallimitaciones prácticas ordenadores cuánticosnúmero de qubits y operaciones lógicasfrancis villatoro y teoremas matemáticos…las respuestas son de tipo estadístico y digo, la distribución estadística se parece a lo esperado, pero ¿y qué es exactamente lo esperado? No lo puedo calcular porque esto tiene ventaja cuántica, es incalculable Entonces, te lo tienes que creer, ¿vale? Entonces estamos en eso. Entonces, IBM está interesada en ejecutar, en ese tipo de ordenadores, algoritmos que estén soportados por un teorema. Pero este teorema, en una chorrada, en una casa, quiero decir, no tiene sentido implementar experimentalmente este teorema, ¿vale? Es un teorema que es un pequeño calculito, pero bueno, han cogido ese algoritmo y lo han implementado en este ordenador. con 156 cubos que barbaridad no no no no no no vamos a ver no podemos usar este este para implementar un algoritmo no sólo es necesario el número de cubos sino también el número de operaciones de puertas lógicas que yo puedo ejecutar sobre esos cubos la ventaja de Un ordenador de 156 cubos es que en pocos cubos yo puedo ejecutar muchas más operaciones. Si tengo uno de 950 cubos con dos cubos de ellos de Pongamos 100, pero si tengo uno de los 156, tiene que ser suficientemente bueno para que yo pueda ejecutar más…
Francis Villatoro explica los resultados de experimentos realizados con ordenadores cuánticos de IBM para verificar un teorema matemático.
Habla: Francis VillatoroSignificado #5simulación cuántica con dos qubitsalgoritmos cuánticos adyacentes a qubitspuertas lógicas de dos entradasteorema y verificación del resultadoexperimentos con ordenadores cuánticos ibmteorema matemático verificado en 78 de 80 experimentoscúbics adyacentes en topología ibmfrancis villatoro y los resultados de ibm…operaciones. Si tengo uno de 950 cubos con dos cubos de ellos de Pongamos 100, pero si tengo uno de los 156, tiene que ser suficientemente bueno para que yo pueda ejecutar más operaciones, porque 100 operaciones sobre 156 cúbics no cubren los 156 cúbics. ¿Ok? La medida, hay que repetirla muchas veces; ese n que yo he comentado antes de repetir la medida. Pero eso sí se podría simular clásicamente, ¿no? Dos qubits. Sí, o sea, aquí no se habla de ventaja cuántica, ¿eh?; aquí no hay ventaja cuántica, ¿vale?. Entonces, lo que pasa es que, claro, el resultado corresponde a lo que predice el teorema con lo que es fácil de verificar que el resultado es correcto, ¿vale?. Se ha trabajado con dos qubits adyacentes, dos qubits que están uno al lado del otro y con lo que el algoritmo es mucho más fácil de aplicar porque puede aplicar puertas lógicas de dos entradas que son más fáciles de aplicar y se ha comprobado que el algoritmo da. El resultado del teorema alrededor del 97%. Bueno, se han hecho 80 experimentos y lo da en 78 de los 80 experimentos. En 78 de los 80 experimentos con 2 cúbics, elegido la parejita en diferentes lugares, pero siempre que estén adyacentes con la topología de este ordenador cuántico de IBM, se verifica el resultado del teorema. Se obtiene lo que predice el teorema. Seguro que en los dos que no se verifica le dice, oye, que no se te verifica el resultado; dice, uy, sí, discúlpame, lo siento mucho, espera, ahora lo voy a repetir y seguro que sale el... y después lo han hecho con 5 cúbics, también adyacentes, en diferentes topologías de adyacencia, todos en línea, dos de ellos para arriba, dos de abajo, pero sorprendentemente en ese artículo que está en Arcai no dicen cuántas veces ha acertado, es posible…
Francis Villatoro resume un experimento realizado por IBM, donde se simuló un algoritmo en un ordenador cuántico de 156 qubits para verificar un teorema matemático.
Habla: Francis VillatoroSignificado #3 · Palabras #3cúbics separados y porcentaje aciertopuerta lógica entre cúbics alejadosordenador ibm de 156 cubitsoperaciones adyacentes y cúbics alejadosalgoritmo ibm en ordenador cuánticoteorema matemático y 156 cubitssimulación de algoritmo en qubits…en ese artículo que está en Arcai no dicen cuántas veces ha acertado, es posible que casi ninguna, no lo dicen, no dicen cuántas veces se cumple el teorema con 5 cúbics, con lo que una mala lengua como yo diría, no lo han logrado nunca, no lo han logrado. Lo que han hecho ha sido también considerar dos cúbics separados, dos cúbics separados entre sí por un cúbic, por dos, por tres, hasta ocho. Entonces, conforme separan los cúbics para aplicar este algoritmo, tienen que aplicar alguna puerta lógica que comunique a ambos cúbics. o sea, tú tienes que hacer una operación sobre ambos cúbics, pero como están alejados, tienes que simular esa operación alejada como un conjunto de operaciones entre parejitas de cúbics adyacentes entonces eso limita el número de operaciones y eso reduce, por ejemplo, para 8, reduce el porcentaje de acierto con el teorema al 25% entonces, cuando están adyacentes casi llegas al 100% pero conforme aleja la parejita de cúbics, el porcentaje cae tremendamente lo que te dice que, hombre, todavía este ordenador de IBM de 156 cubits, pues es un poquito de juguete, ¿vale? Pero bueno, ya os digo, en resumen, lo que se ha hecho es simular con un algoritmo del que sabemos qué resultado tiene que dar, porque hay un teorema que me dice qué resultado me tiene que dar en un ordenador cuántico de 156 cubits; aplicar ese algoritmo a solo dos cubits y se ha obtenido un resultado compatible con lo esperado por el teorema. ¿Para qué te dice la prensa? La prensa te dice: se ha logrado demostrar experimentalmente el teorema PBR, la función cuántica es óptica, señores, ¿cómo? ¿El periodista ha leído el paper? ¿Se ha enterado de algo? ¿De qué está hablando? ¿Qué tontería está diciendo? Eso es lo que te vas a…
Francis Villatoro explica que la única utilidad de simular algoritmos en ordenadores cuánticos radica en el beneficio que obtiene IBM al ejecutar algoritmos basados en un teorema.
Habla: Francis VillatoroSignificado #6 · Palabras #4simulación de algoritmos en ordenadores cuánticosbeneficio para ibm al ejecutar algoritmosteorema como base del algoritmoalgoritmo sencillo con dos cubits…artículo acabará publicado en PRL o puede que incluso en Nature Physics y cuando se acabe publicado en una buena revista se va a volver otra vez a montar toda la movida y todas las críticas sobre lo que significa que el ordenador cuántico simule el algoritmo. Aquí lo que tenemos que recordar es eso, la única utilidad de simular esto en un ordenador cuántico es la chorrada de que a IBM le conviene ejecutar algoritmos que estén apoyados en un teorema, y entonces este es un algoritmo sencillo, entre comillas, que se puede con dos cubis, que algún día se podrá con tres cubis o con Cinco cubis, pero por ahora solo se puede hacer con dos cubis en un ordenador tan pequeñito, tan de juguete, y que, bueno, es lo que es la realidad; es que la realidad es la que vivimos; es que los ordenadores cuánticos tienen mucho ruido. Entonces una de las…