Por Fernando Acero
En este artículo pretendo reflexionar sobre algunos riesgos de seguridad que pueden afectar a la criptografía cuántica, algo que tenia pendiente desde hace algún tiempo y que por diversos motivos no había podido hacer hasta ahora por falta de tiempo material. No es más que un poco de ciencia ficción, pero muy real, ya que se basa en los últimos avances en criptografía y mecánica cuánticas...
LA BASE
En teoría, la criptografía cuántica es segura por definición, pero digo en teoría, ya que las cosas pueden torcerse en la práctica, principalmente, por la fragilidad intrínseca del concepto teoría, en el campo de la física cuántica.
Los principios de esta novedosa técnica criptográfica los vimos en el artículo Sistemas de cifrado cuántico, pero vamos a repasar un poco.
La seguridad de un sistema cuántico, se basa en la imposibilidad de que alguien escuche el mensaje, en este caso la clave de cifrado, sin que ello suponga el aumento de tasa de errores en la determinación de los parámetros cuánticos en un 50% adicional. Si el error es superior al esperado en un 50%, no hay duda, nos están espiando y debemos desechar la clave transmitida.
Lo anterior se basa en tres principios (Criptografía Cuántica M. Baig):
- Teorema de "no clonación" que nos asegura que un estado cuántico determinado no puede ser copiado. De forma algo alegre, podemos decir que un texto cuántico no puede ser "fotocopiado", ya que no existe la "fotocopiadora" cuántica, al menos en teoría.
- Cualquier intento de obtener toda la información cuántica de un qbit puede implicar una cierta modificación del mismo, o destrucción de la información que porta. Por lo que no se puede obtener información sin modificación de los datos transmitidos.
- Las medidas cuánticas son irreversibles. Después de realizar una medida, el sistema colapsa a uno de los estados propios del operador correspondiente a la magnitud que se ha medido y ese proceso es irreversible, es decir, no se puede volver el sistema manipulado al estado que tenía antes de la medición. Es decir, un espía siempre deja rastro y no lo puede camuflar.
LA PRIMERA DUDA
La primera alerta de que las cosas podían cambiar, vino de la mano del Prof. Lucena con su articulo "El fin de la criptografía cuántica". En dicho articulo, se hacia referencia a la posibilidad de atacar el teorema de "no clonación" a partir de los avances en "teleclonación cuántica" logrados por científicos de la Universidad de Tokio, la Agencia Tecnología y Científica de Japón y la Universidad de York.
He de decir, que para lograr esta proeza, se usa el entrelazamiento múltiple, basado en “estados gráficos”, o estados de Greenberger-Horne-Zeilinger (GHZ), algo en lo que se está avanzando mucho últimamente, y que ha servido para demostrar la paradoja del "Gato de Schrödinger".
Aquí también tenemos un buen ejemplo de teorías físicas fallidas, ya que este avance invalida la paradoja EPR de Einstein, pero esto es otra historia. Este trabajo no es otra cosa que una ampliación del teorema de Bell, con aplicaciones en la criptografía cuántica y en teoría de la comunicación.
EL ANÁLISIS
Creo que todavía es pronto para decir que la teleclonación es un riesgo para la criptografía cuántica, ya que la precisión de la "copia" de los parámetros cuánticos, es de solamente un 58%.
Se estima que el máximo teórico, por culpa del principio de incertidumbre de Heisenberg, será del 66%, algo a tener en cuenta. No obstante, tener el 66% de la clave, o del mensaje, puede estar muy bien en algunos casos.
Afortunadamente, nadie nos asegura que las cosas no cambien en un futuro en lo que respecta a las teorías cuánticas, ya que si no queremos que en un teletransporte nuestra "reconstrucción" sea de un misero 66% de nuestro cuerpo serrano, las cosas han de cambiar y mucho. Está claro que todavía hay que esperar un poco para que nos puedan teletransportar al estilo "Star Trek".
LA INCERTIDUMBRE
Si analizamos las palabras del Prof. Sam Braunstein, del Departamento de Ciencias de la Computación en York, en relación con la tele-clonación cuántica:
Los protocolos de criptografía cuántica son tan seguros que no sólo pueden descubrir a un fisgón, sino que también conocen dónde y cuánta información se está filtrando. Ahora, usando la tele-clonación, la identidad y la localización del espía puede ocultarse.
He de decir que hay algo que me desconcierta en estas palabras. Los protocolos transmisión de claves cuánticas que conozco (como el BB84, B92, B92 modificado, o incluso el E91), comprueban la presencia de un eventual espía mediante el cálculo de la tasa de errores, que se incrementa en un 50% si hay espía. Pero estos protocolos no dicen nada de la posición, o de la identidad del espía, por lo que está claro que hay algo que se me escapa en todo esto, ya que por más que lo pienso, no encuentro correlación entre la afirmación anterior y el proceso de transmisión de la clave.
LA ESPERANZA
Pero en este punto quiero hacer un brindis a la esperanza (que no al sol) y dar un aviso a los que se aferran a las teorías físicas como a clavos ardiendo. Un teorema es una afirmación que puede ser demostrada como verdadera dentro de un marco lógico, algo muy conveniente en las ciencias puras y que le proporciona una solidez a prueba de bombas.
Sin embargo, con los teoremas físicos es frecuente que afirmaciones importantes, a diferencia de en las teorías matemáticas, se deduzcan, o se justifiquen, a partir de otras afirmaciones no demostradas, o incluso a partir de hipótesis, lo que tiene sus riesgos evidentes.
Por las dificultades para establecer experimentos comprobatorios, o para disponer de un aparato matemático adecuado, es frecuente que en algunas áreas del conocimiento, como es el caso de la mecánica cuántica, se tengan que hacer afirmaciones que no han sido formalizadas adecuadamente en forma de un sistema axiomático (sistema matemático con las propiedades de Coherencia, Completud y Decibilidad).
Por ello, el término "teorema" en física, y en especial, en física cuántica, se debe manejar con cierta cautela. Es evidente, que cuando hablamos de física cuántica, no tenemos mas remedio que hacer nuestras afirmaciones a partir de supuestos o de deducciones menos rigurosas, que las que nos proporciona un sólido aparato matemático. De hecho, éste es el motivo principal por el que han caído algunas teorías físicas, incluso pareciendo sólidas a priori y tan pocas matemáticas, pero esto tiene sus ventajas e inconvenientes.
Creo que es el momento de recordar las palabras de Richard Feynman, premio Nobel de física: "No comprendemos la mecánica cuántica". La consecuencia es clara, las cosas pueden cambiar en este panorama actual y eso lo mejor de todo.
EL GRAN PROBLEMA
Pero ¿que ocurre si no es necesario recurrir a la clonación cuántica para leer un qbit de la clave?.
Veamos, todo lo que hemos dicho sobre la seguridad de los sistemas cuánticos es cierto, pero solo y exclusivamente, si el emisor envía por el canal cuántico un único fotón por cada qbit de información.
Para lograrlo, el tamaño de la superficie de emisión de fotones del emisor, debe ser lo suficientemente pequeña, como para que solamente haya un electrón con el nivel energético adecuado.
En teoría, esto se estaba logrando, pero se ha descubierto que eso no siempre es así en los sistemas existentes en la actualidad. Cuando se aumenta la energía en el transmisor, para subir la velocidad de transmisión, o para aumentar la distancia del vano, científicos del Toshiba Research Europe han descubierto que los emisores cuánticos actuales emiten dos o más fotones idénticos por cada qbit.
Esto es un grave problema, ya que en estas condiciones se puede recuperar el 100% de la clave usando uno de los fotones extra, sin que seamos detectados por el sistema. Esto se denomina "Pulse Spliting".
La solución al problema puede venir de la mano de las investigaciones de los físicos del Instituto Max Planck de Óptica Cuántica. Estos científicos han logrado, al mando del profesor Gerhard Rempe, la emisión de un único fotón mediante la estimulación con un pulso láser de un único átomo de rubidio confinado y superenfriado. Cada átomo puede generar hasta 300.000 fotones. Pero esta solución todavía no está madura para su uso comercial.
LA SOLUCIÓN PROPUESTA, ALGO TEMPORAL
Dicho esto, es evidente que el problema no esta en los principios cuánticos, esta en la dificultad técnica para crear un emisor de fotones adecuado, algo coyuntural, pero que pone en tela de juicio la seguridad de esta novedosa tecnología de cifrado, al menos, temporalmente.
Para solucionarlo, los científicos de Toshiba han propuesto la transmisión de fotones extra de "baja intensidad", para asegurar que son únicos y medir su tasa de errores, para verificar que no hay un espía en la línea.
EL COMENTARIO
De nuevo, la solución parece plausible sobre el papel, pero creo que tiene inconvenientes. En primer lugar, ahora la seguridad se aparta de la comprobación de la tasa de errores en los qbits de la clave. Ahora nos basamos en un flujo paralelo, que nada tiene que ver, de fotones emitidos a baja intensidad, entendiendo que la transmisión de los qbits de la clave sigue siendo insegura (se sigue produciendo la duplicidad de fotones por qbit).
En resumen, nos apartamos de los protocolos que conocemos como seguros, y pasamos de tener una clave intrínsecamente segura, a tener un canal que consideramos seguro, lo que evidentemente no es lo mismo.
Veamos esto con un ejemplo. Imaginemos una sala de museo con un único cuadro protegido por una alarma que suena si se descuelga. Supongamos que se descubre que dicha alarma puede ser burlada de alguna forma. La solución propuesta, es equivalente a dejar la alarma defectuosa y colocar otras alarmas en las ventanas.
Ahora, en lugar de proteger el cuadro, protegemos el perímetro, con lo que es posible que evite el robo del cuadro, pero no que se descuelgue y se cambie de sitio, lo que abre el camino a otras posibilidades delictivas igualmente jugosas.
Además, hay otros problemas y amenazas a tener en cuenta. Hay que asegurarse de que estos fotones "de control" son únicos, por lo que se generan con baja energía, lo que como veremos, abre otras inquietantes dudas.
También hay que asegurarse de que estos fotones no se diferencian en nada de los fotones que transmiten la clave. Si no es así, podrían ser detectados y "filtrados" sin variar sus propiedades cuánticas, invalidando así su utilidad para detectar un eventual observador. Pero lograr que sean idénticos puede ser difícil si las condiciones de generación no son las mismas.
Recordemos que para generar estos fotones de control se usa una menor energía. Es decir, que cabría la posibilidad de poder diferenciar los fotones de cada flujo por sus características y usar los que tienen la clave, sin tocar los usados para detectar intrusos. Esto se podría lograr midiendo características que no impliquen la determinación de su polarización, evitando así consiguiente colapso irreversible de su forma de onda. Ahora un poco más de ciencia ficción cuántica.
Veamos esto de otro modo; supongamos que existen diferencias en la longitud de onda o en la energía (conceptos sinónimos por la constante de Planck y que permite eventualmente el ataque en el dominio de la frecuencia) o en la sincronización temporal entre los dos flujos (que permite un eventual ataque en el dominio del tiempo).
Recordemos que ninguna de las dos opciones anteriores implica la determinación de la polarización, lo que permitiría separar los flujos de fotones (el de la clave y el de detección) sin ser descubiertos, al menos, en nuestra ficción científica, puesto que necesitamos los medios técnicos que lo hagan posible.
El ataque en el dominio de la frecuencia depende de la fuente de fotones usada. Si es un diodo, podemos pensar que la frecuencia es constante (depende de la banda prohibida, es decir del espacio entre los electrones de la banda de conducción y la banda de valencia, algo que depende del material y no de la intensidad o del voltaje). Lo cierto es que cuando hablamos de frecuencia de un diodo, hablamos realmente de un espectro de unos 300 nm de ancho para los visibles, de 100 nm para los del IR cercano y 50 nm para ultravioleta. La intensidad en cada frecuencia, equivale a la cantidad de fotones que se emiten en la misma.
Pero cuando hablamos de fotones individuales la cosa puede cambiar y mucho, ya que como hemos visto fotones distintos pueden tener frecuencias ligeramente distintas, sobre todo si se generan con intensidades o tensiones distintas. Además, puede haber desviaciones en la frecuencia, por impurezas o contaminaciones del material semiconductor y que "caractericen" su respuesta espectral con cambios en la tensión o en la intensidad de generación.
Si hablamos de otros tipos de emisores, es posible que se tenga que recurrir a una estabilización en frecuencia, que puede ser complicada de lograr, al menos si se quiere una elevada precisión.
Supongamos también, que podemos medir estas diferencias en el dominio de la frecuencia, o del tiempo, sin destruir el fotón. En ese caso, se podrían separar los dos flujos y utilizar uno de los fotones extra del flujo de la clave para decodificarla, recordemos que este problema de los fotones múltiples no esta solucionado en base a la propuesta de Toshiba.
Esto es plausible, al menos sobre el papel, ya que en el mundo cuántico solamente se fijan los parámetros que se determinan. Es decir, si no determino la polarización, no puedo ser detectado en base a un sistema que detecta cambios en la polarización.
Podemos pensar que esto es complicado de lograr, pero los pero recientes avances logrados por Ferdinand Schmidt-Kaler, de la Universidad de Ulm (Alemania), abren una posible puerta para lograrlo.
Cuando un fotón es registrado por un fotodetector, el efecto colateral es su destrucción automática. Sin embargo, Ferdinand ha logrado que esto no sea así, logrando "ver" los fotones sin destruirlos en el proceso. Para ello, usa un flujo de átomos de rubidio, que atraviesa un detector cuyas paredes son espejos ultrarreflectivos enfriados a bajísimas temperaturas.
Los fotones interaccionan con los átomos de rubidio, alterando sus niveles de energía pero sin ser absorbidos. Luego se analiza con precisión el átomo de rubidio y se obtiene información sobre el fotón.
Se han realizado hasta 100 medidas consecutivas de un fotón, sin que se destruya. Si logramos que en el proceso no se cambie la polarización de los fotones, no seremos detectados y tendremos una herramienta optima para medir su energía, lo que nos permitiría separar los flujos y atacar el sistema.
También tenemos que tener en cuenta, que la detección de un observador se hace midiendo la tasa de errores, lo que ahora se hace sobre un flujo paralelo, no sobre el que transporta la clave, lo que reduce la eficiencia del sistema y como hemos visto, es una solución que también puede reducir la fiabilidad general del sistema o como poco, su concepto de seguridad.
EL RESUMEN
Está claro que no podemos decir que la criptografía cuántica está en peligro, pero se han cambiado algunos conceptos básicos y se han abierto algunas puertas, por lo que debemos estar atentos.
Como en la lucha entre el proyectil y la coraza, es posible que los avances se decanten en ocasiones en el lado de los criptógrafos y en ocasiones en los criptólogos, por lo que cabe la posibilidad de que las debilidades estén en ocasiones por delante de las fortalezas, sobre todo en un terreno tan movedizo como es el de la mecánica cuántica.
"Copyleft 2007 Fernando Acero Martín. Verbatim copying, translation and distribution of this entire article is permitted in any digital medium, provided this notice is preserved".
En relación con el último debate sobre la ciencia
Fernando Acero24 Marzo 2007 - 1:04pm
En relación con el último debate sobre la ciencia y el método, he encontrado este interesante artículo de Roberto Follari Profesor titular de Epistemología. de la Univ. Nacional de Cuyo (Mendoza, Argentina), publicado en Red Científica.
"Copyleft 2007 Fernando Acero Martín. Verbatim copying, translation and distribution of this entire article is permitted in any digital medium, provided this notice is preserved".
Que quede claro que me encantó
slylittl3lio21 Marzo 2007 - 1:43pm
slylittl3lio
Fernando, sólo quiero que quede claro que, pese a lo que pueda parecer, el artículo me encantó, y como tu comparto esa esperanza en el futuro, en los cambios y en la ciencia. Por lo que a mi respecta me alegro de que escribieras cada punto y cada coma. Si me sentí ofendido era únicamente cosa mia, y si quisiste disculparte únicamente cosa tuya. A la larga compruebo que la ofensa no era tal, pues no había intención alguna parecida a la que yo vi en aquellas líneas, en cuanto a tu disculpa, sencillamente te honra. Con esto pretendo disculparme contigo por haber generado en ti esa sensación a la que aludes de si lo sé no escribo nada, gracias a gente que como tu, se toma esa molestia, otros se tomán interés. Y a mi me interesa que la gente se interese por la ciencia.
Sinceramente, gracias.
P.D:
En cuanto a lo de encasillarte por tu anterior trabajo...¿qué ex infante de marina lo haría?
Felicidades por el artículo
Modo Niger21 Marzo 2007 - 2:19am
De verdad, felicidades sin reservas.
Y para ser yo también puntualizador (al mismo tiempo que sigo con el sombrero quitado), hay más superficies tridimensionales con una cara; mira la botella de Klein.
Un saludo, y espero que sigas escribiendo.
_________________________
In trutina mentis dubia
fluctuant contraria
lascivus amor et pudicitia.
Tienes razón en parte ;-)
Fernando Acero21 Marzo 2007 - 10:23am
Ya va la tercera disculpa... gracias "Modo Niger", tienes razón pero me puedo escapar de la quema. Bueno, parece que se me quedaba en el tintero la botella, o superficie de Klein, con su sorprendente característica Euler = 0. Pudo ser la hora, el intenso día que llevaba, o seguramente, lo divertido que me parece meterle las tijeras a la famosa banda, pero no, había intención.
Podría intentar escaparme de la quema, diciendo que la "botella" no es otra cosa que la unión de dos cintas de Möbius que comparten su característica Euler = 0, pegadas por los bordes (corta una botella por la mitad y lo verás). El paso de la forma básica a la compleja.
Pero creo que lo más interesante para escaparme de tu buena puntualización, es decir que su peculiar topología solamente se puede representar de forma realista en cuatro dimensiones, no en tres. Al margen de que su origen sigue siendo la cinta o banda de Möbius como la unión de dos de ellas por sus aristas, la forma básica más alucinante/divertida que conozco (experimento de la tijera) intentaremos rizar el rizo.
He dicho en mi comentario que el único objeto tridimensional con una cara es la cinta de Möbius y ello debería excluir a la "superficie de Klein", que solamente es una "botella", cuando la "encerramos" en un espacio tridimensional de forma artificiosa y conveniente a nuestras mentes limitadas y solamente es superficie con todos sus derechos dinásticos, en un espacio de cuatro.
De hecho, para representar la "botella" en el espacio que conocemos, se ha hecho trampa, ya que cortamos un pedazo de nuestro querido espacio que debería ser continuo, para que pase una parte de la botella a través (mala solución).
En resumen, la "botella" de Klein se puede representar en el espacio tridimensional que nos rodea, pero solamente es posible como superficie, en un espacio equivalente de cuatro dimensiones esto es, en un espacio en el que podamos hacer el pegado de las circunferencias de los extremos, sin necesidad de cortar ningúna parte de la botella ¿Díficil? ya lo creo.
Mi vida orientada a las tres dimensiones, y en la que cuando hablamos de la cuarta, se me antoja el tiempo, me cuesta imaginar su forma como superficie de la famosa "botella", en ese exraño mundo de cuatro dimensiones.
Gracias por tu post, ha sido interesante.
Recomiendo, A. W. Tucker y H. S. Bailey, Jr., Topología, en Matemáticas en el Mundo Moderno, Selecciones de Scientific American Editorial Blume, Madrid y Barcelona, 1974.
"Copyleft 2007 Fernando Acero Martín. Verbatim copying, translation and distribution of this entire article is permitted in any digital medium, provided this notice is preserved".
OK
slylittl3lio20 Marzo 2007 - 8:15pm
slylittl3lio
En ningún momento he pretendido ser estricto, solo ponerte algunos ejemplos de porque me había sentido ofendido por la forma de tratar a mi campo de estudio en tu texto, con ese único objetivo he comenzado a hablar de Gödel, para poner un ejemplo que ilustrase fallas en el edificio lógico de las matemáticas(que pasan por ser lo más lógico del mundo). Fue tu forma de querer aleccionarme sobre mi propio campo lo que me terminó de crispar. Yo tengo poco tiempo también, me gustaría escribir un texto completo y coherente que tratase estos asuntos, pero no es ni el momento ni el lugar de escribir una tesis.
Creo Fernándo que nos unen más cosas que las que nos separan:
Ambos tenemos una mente científica, los dos usamos software libre(de esto tu sabes mucho más que yo, eso seguro, gracias por tu blog en hispalinux, por hacerlo en livejournal y por escribir aquí) y los dos tenemos una gran cantidad de celulosa en nuestras estanterías... seguro que se me podrían ocurrir muchas más, para enfrentarlas a unas cuantas valoraciones semánticas(no estoy de acuerdo en que la RAE deba tener la última palabra, muchas veces no usan los términos científicos adecuados) y al deje despectivo hacia la ciencia que estudio que revelaba tu post, así como el tonillo con tufo aleccionador que me dió la sensación que usaste al dirigirte a mi en tu primer mensaje de respuesta(permiteme decir en mi descargo que, aunque no sepa cuanto sabes tu sobre mecánica cuántica, si sé lo que yo sé, y sé que no hay tantos físicos teóricos en España, así que por estadística existían muchas posibilidades de que supiera algo más que tu sobre ese asunto-si se que tu no eres profesor en la universidad, ni yo comandante de la fuerza aérea-)
Por supuesto nada más lejos de mi intención que menospreciarte, no lo hago, jamás entro a discutir término alguno con alguien cuya opinión no valoro o menosprecio, pero me molesta de veras que alguien a quien concedo valor intelectual tache a la ciencia que estudio de ser poco precisa, o carente de rigor científico y esa fue la sensación que saqué de ese parrafo al que hacía alusión.
Bueno las cosas se aclaran...
Fernando Acero21 Marzo 2007 - 12:25am
En primer lugar, espero que no me encasilles por el que crees que es mi trabajo, puesto que para mi es una afición que se traduce en hacer lo mismo en gran parte de mi tiempo libre. Igualmente, he de decir que esta ocupación actual, no me ha impedido que me dedique durante más de 13 años años a la docencia, ocupación a la que puede que vuelva en un futuro próximo, si las cosas no cambian.
Sin embargo, aunque parezca raro, mi trabajo actual no sido este mi trabajo de siempre, por lo que yo digo que ha habido una segunda reencarnación en mi vida, un antes y un después. Mi vida anterior, tenía relación con la electrónica, la informática y las comunicaciones. Pero lo que nunca he hecho, es dejar de estudiar. Siempre me he apuntado a estudiar todo lo que he podido, tanto oficial, como extraoficialmente, algo que me ha llevado a las disciplinas más diversas y todo hay que decirlo, a cambios radicales en mi vida. Ahora mismo, estoy haciendo un curso que puede que provoque un nuevo giro de 180º en mi vida, otro más que se une a los seis que que ya ha habido en ella.
En relación con el método científico, quiero hacer un pequeño homenaje a un buen profesor de mi instituto, el Ramiro de Maeztu, su nombre D. Ramón de Dios, que también trabajaba en el CSIC y al que he visitado muchas tardes de verano en el laboratorio, para ver los primeros experimentos de resonancia magnética (con un caro y gigantesco equipo de origen alemán) sobre muestras de agua con distintos contaminantes y el análisis de Fourier posterior (que se realizaba con unas de las primeras calculadoras programables de HP). Esta técnica permitía predecir lo que pasaba en los primeros instantes de la prueba, cuando el pulso de energía "cegaba la sonda". Me maravillaba esa inmensa bobina que creaba campo magnético de una intensidad que en aquel momento se escapaba claramente de mi imaginación.
La semana que viene está previsto que a un familiar le hagan una resonancia, heredera de esas tardes de verano en un laboratorio del CSIC en la calle Serrano. Cuando alguien me dice que le van a hacer una resonancia, me acuerdo de mis tardes en el CSIC y me siento satisfecho. Yo no era más que un estudiante que ayudaba y miraba, pero estaba allí, he sido parte de la historia. Creo recordar que en aquella época tenía 16 años y en mis viajes en el metro pensaba en la forma de mejorar el programa de aquella HP. Para ello, con el dinero que saqué dando clases particulares de matemáticas y física a otros compañeros del curso, me compré mi primera HP programable, una 33E, calculadora que guardo por casa y que me acompañó toda la carrera.
He de decir, que en mi entorno del instituto había chavales que ahora son eminentes científicos y técnicos. Alumnos igualmente estimulados por ese hombre singular, que nos dejaba pasar los recreos en el laboratorio de física o química y que comenzaba las clases en castellano y las acababa en alemán o inglés, según le daba, todavía recuerdo que me impactó contra la pizarra para explicarme, quizás demasiado gráficamente, el funcionamiento de un ciclotrón. Sin duda, soy la oveja negra de este selecto grupo, envidia me dan algunos de ellos. A estos compañeros de clase no los nombraré, para no hacer desprecio al que se me olvide de la lista, pero aseguro que hay muchas eminencias y materia gris de calidad entre la mayoría de ellos.
Ni que decir, que este instituto fue un gran catalizador en mi vida y abrió las puertas de mi mente a la electrónica, la informática y la física, las primeras disciplinas a las que dediqué mi esfuerzo académico y mis ratos libres, casi a tiempo completo. Poco después afición y trabajo se hicieron la misma cosa cuando me encargué del servicio postventa de Sperry/Unisis en Albacete y allí fue, en 1985 en lugar en el que entré en contacto con el mundo Unix, con un Xenix de SCO y un caro, carísimo 286 de 256K y disco duro de 10 MB. En aquella época, ni existía la carrera de Informática en Albacete, pero cuando la pusieron con profesores de las disciplinas más diversas, lo primero que hice fue matricularme y pedir la convalidación de asignaturas, algo que no me salió como yo esperaba.
Por todo lo anterior, como persona no ajena a tu mundo, creo que te has tomado mis palabras a la tremenda, cuando mi intención era más bien otra. Después de tus reproches me siento como si hubiera sido yo el autor del libro "Imposturas científicas" ( Editorial Cátedra, 2003), del controvertido Sokal, libro que también es conocido por los iniciados como "La trampa de Sokal". Realmente, si ves el título del apartado que tanto te disgusta en mi artículo, pone "La esperanza" algo que creo que es bastante descriptivo y que poco tiene que ver con la impresión que te ha causado.
Mi intención, lejos de dar una idea de que la ciencia es poco precisa, o carente de rigor como me achacas (Dios me aleje de semejante herejía), era la de abrir la esperanza al descubrimiento de otros horizontes, decir que que no todo estaba hecho y había cosas que podían cambiar en la física cuántica por que no eran inmutables y valía la pena investigar en ello. El rigor y la precisión no está reñido con descubrir nuevas cosas y con el cambio de horizontes, que evidentemente, la Tierra no es plana y no quiero ser ahora un talibán de la ciencia, como en cierta época lo fui del software libre.
No quería usar los argumentos de Gödel para acabar diciendo que es imposible lograr la "Superfórmula" de la Teoría Unificada de Campos, ni caer en el posibilismo de Popper (autor de la Lógica de la Investigación Científica) o de Peirce (Fundador del pragmatismo) y decir alegremente, que algún día nos saltaremos el principio de indeterminación, que para eso es un principio y no una Ley (lo que no quita que sería bueno para lograr muchas cosas que ahora no podemos).
Desde luego, en esto hay tantos gustos como escuelas de pensamiento y no hemos de sentirnos heridos por ello, aunque alguna de estas posturas "traicione" nuestros convencimientos más profundos.
Digamos que en el término medio estaba la virtud, en la línea del Profesor D. Alfredo Deaño, que me llevó de la mano de la lógica formal con su excelente libro "Introducción a la lógica formal", de Alianza Universidad, 1992. Libro que cayó en mis manos, cuando estaba estudiando BUP, poco después de su triste fallecimiento en accidente de automóvil, sin duda, una gran pérdida para la ciencia y para mi, ya que me impidió conocer a una persona que admiraba. He de decir que lo admiraba tanto como a mis rusos favoritos; Laurentiev, Aleksandrov y Kolmogorov, chicos que me enseñaron que no todas las geometrías son euclídeas y que la cinta de Moebius podía ser divertida, algo que se comprueba con una simple tijera, maravillas del único objeto tridimensional con una sola cara.
Otros, me estimularon con la elegante teoría del caos, pero como ocurrió con el profesor Deaño, mi mentor y profesor particular en esta materia, falleció en un desgraciado accidente de aviación y de ello, no me recuperé ni yo, ni mi teoría del caos, que quedó congelada en el tiempo, pero fue algo que me abrió nuevos horizontes en criptología y que me gustaría explorar algún día.
En este punto, descubrí que mi ignorancia era enciclopédica, es decir, que abarcaba todas las ramas del saber humano, y que por mucho que quisiera, no podía abarcar todo, pese a que en este punto lo parezca. Lástima de días de 24 horas, cada día me acuerdo más del anuncio de Mercedes, ese que habla de los 1440 minutos del día, lo que me lleva a dormir poco, realmente poco, menos de 5 horas al día.
Desgraciadamente, por lo tanto, ante la falta material de tiempo, no he tenido más remedio que priorizar y dedicarme a cosas que me llamaban más la atención y de las que he hecho todos los cursos que he podido; la criptografía, con su teoría de números asociada, la programación y los sistemas libres. Pero hay algo a lo que me cuesta renunciar y no es otra cosa que la mecánica cuántica, al menos, intento estudiar y divulgar de ella lo que puedo, procurando estar al día de todo lo que sale y estudiar las posibles implicaciones que pueden tener esos avances.
También he de decir, que por mi actual horario laboral y otros compromisos que no vienen a cuento, no he podido matricularme en Derecho, que es otra de mis pasiones y que era algo que tenía planeado llevar a cabo para este año. Mi ilusión, matricularme junto con mi hija mayor en Derecho y compartir algunas cosas.... Por ello, cuando alguien me pregunta ¿qué es lo que haría si me tocase la lotería?, lo tengo claro, no dudo y digo que me matricularía en la Universidad para estudiar más.
He de decir, que mi relación con la lógica fue doble, desde el método científico y desde la óptica de la programación y del diseño de circuitos digitales, conocimientos que me permitieron, a partir de la realización de un máster en tecnología y transmisión digital en 1987, colaborar con la revista Elektor y así como en varias publicaciones sobre programación, que en aquella época, se basaban en el Commodore 64/128 y el Amstrad CPC, todas de la editorial Ingelek. Durante muchos años, más de 18, he escrito, con un claro fin de lucro, que todo hay que decirlo, programas, proyectos, libros e enciclopedias sobre electrónica, informática a través de la empresa de servicios editoriales LH, pero esto es algo que he dejado en este momento, así como mis conferencias y la redacción de libros sobre el software libre (como el manual de Linex u OpenOffice), para dedicarme a mis tres pasiones con toda la intensidad que puedo en mi tiempo libre, mi familia, estudiar y volar.
Siento sinceramente la interpretación que has hecho de mis palabras, como ves, mi intención ha sido otra y creo que así lo ha visto la mayoría de la gente, lo que me tranquiliza un poco, por lo que te ruego que reconsideres mis palabras, que como te he comentado parten en un 100% de gente más cualificada que yo, aunque posiblemente y visto lo visto, con ideas algo distintas a las tuyas.
Cuando acabé el artículo, que me ha costado bastante, por motivos que tampoco vienen al caso, me sentía orgulloso de él. Creo que todas las cosas que cuestan mucho provocan alguna satisfacción, como el que sube una montaña o aprueba un examen complicado. Pero ahora siento la pena de que parezca que lo importante de mi artículo es esta discusión sobre la filosofía de la ciencia y el método, algo que sinceramente no era lo más importante ni mucho menos y que solamente lo puse para adornar y estimular al lector a pensar de otro modo sobre la ciencia y la tecnología, casi me arrepiento de ello, de verdad, mala hora.
Respecto al "tufo aleccionador" de mi respuesta, bueno, deberías recapacitar en lo que podía pensar yo de tu primer post reprochando mis palabras, pero eso es agua pasada que no mueve molino. Tampoco y por el mismo agua y molino, tampoco no discutiré aquí lo que pienso de Gödel y sus teorías, así como de su posible impacto real en las ciencias puras (que no es tanto), o sobre la frecuencia con la que se interpretan mal sus palabras, y se sacan del su contexto, que no es otro, que la lógica pura y dura, pero esto es otra historia.
"Copyleft 2007 Fernando Acero Martín. Verbatim copying, translation and distribution of this entire article is permitted in any digital medium, provided this notice is preserved".
Yo tampoco quiero entrar en polémica...
Fernando Acero20 Marzo 2007 - 4:59pm
Lo de la Wikipedia ha sido un "golpe bajo" ya que estaba en el trabajo y no tenía nada mejor a mano para argumentar, pero al margen de los dimes y diretes en torno a su validez científica, considero que la información que muestra en este caso es correcta, bastante correcta.
De hecho, si no estás de acuerdo, puede ser un buen momento para proponer una redacción alternativa, de la que nos podamos beneficiar todos, aunque sea en este foro.
Para una definición precisa no hay más remedio que ir a la RAE, referencia para todas las ciencias y disciplinas:
Teorema:
A pesar de lo que comentas, considero que hay diferencias claras entre las matemáticas y la física, pero para gustos los colores, en las definiciones anteriores queda patente que tiene un sentido algo distinto en matemáticas, que en otros campos, pero lo dicho, puede haber opiniones que no pienso discutir.
Pero algo no funciona en nuestros hilos argumentales cuando comentas:
"En cuanto a la falibilidad de las matemáticas... busca "conjetura" en google, o mejor aun, "conjecture" o "refused conjectures" y tal vez empieces a saber de lo que estoy hablandote y de porque me siento tan dolido con tu forma de escribir."
Y mucho menos, cuando a pesar de que yo no he usado la palabra Ley por ninguna parte... escribes:
"NINGUNA LEY FÍSICA HA DEJADO DE TENER VALIDEZ NUNCA."
Las conjeturas son conjeturas y por definición, es algo que no está respaldado por observaciones, pero ni en las matemáticas, ni en la física, ni en la biología, lo que tiene una categoría algo inferior a una hipóptesis, que sí está avalada por una observación. Pero esto es filosofía barata.
La mejor fuente de Gödel, no son los artículos que comentas, está:
Dicho esto, comprenderás que dicho libro está en mi estantería hace unos años y aunque también hace años que lo hice, lo he leído. Soy relativamente viejo y en mis años académicos no existía internet, por lo que gran parte de los conocimientos que ahora amueblan mi cabeza, se encuentran en mi casa en soporte celulósico y adornando una gran librería que mantengo a pesar de las críticas de mi señora. La fecha de la edición, muestra claramente las fechas en las que comencé la carrera y en la que entré en contacto con estos conocimientos a través de la revista CA, vamos que era un chaval.
No se si dicho libro está disponible actualmente en las librerías, o si hay alguna edición más reciente. pero supongo que esta es una fuente más precisa que los comentarios interpretativos de la misma, que se puedan encontrar en Internet.
Como su propio nombre indica, se trata de un tipo especial de proposiciones usadas en matemática, no un caso general de las matemática aplicable a todas las proposiciones. En otras palabras, Gödel demostraba, o quería demostrar, que en todo sistema axiomático que hace uso de la aritmética (o aparato matemático superior), hay proposiciones metamatemáticas que no pueden probarse, o refutarse, mediante deducciones formales basadas en los axiomas del sistema. Que conste que hablo de memoria, pero creo que por este sitio marchaban los tiros en este complejo libro, que a pesar de todo, recomiendo por ser fuente directa de una persona clave en las matemáticas.
Gödel sostiene que "hay proposiciones", no que todas las proposiciones matemáticas tienen este problema de la Incompletud, algo que también es aplicable a otros campos de la ciencia, siempre que se use un lenguaje formal para modelizarlo.
Pero el caso es que yo no he hablado de esto ni nada que se le parezca en mi artículo, ni veo relación con mis afirmaciones anteriores o posteriores, como tampoco tambalea mi convencimiento en la fortaleza del razonamiento matemático y sus consecuencias.
Finalmente, banalizar como lo haces sobre los conocimientos, el alcance de las lecturas científicas/ténicas, o sobre la preparación académica del interlocutor, sin conocerle ni saber de su vida y virtudes, es algo arriesgado, quizás injusto y además de mal gusto a todas luces. Pero quizás ambos hemos tocado esta frontera, o al menos, nos hemos aproximado mucho, por lo que pido disculpas si es el caso... vaya escribo un artículo para que la gente se lo pase bien y ya van dos disculpas... si lo se no lo hago.
Entiendo que una cosa es discrepar y otra bien distinta insultar, aunque sea veladamente ya que no está bien. Pero diré en mi descargo y como he dicho antes, todo, absolutamente todo lo que hay en este artículo se basa en textos, definiciones y trabajos de otros, yo no soy el autor de las ideas, definiciones o los trabajos, soy el mensajero de todo ello, simplemente he investigado, me ha convencido y lo he recopilado en un artículo de divulgación, ni más ni menos... que ya me gustaría tener tiempo y más conocimientos para investigar y aportar mi granito de arena a todo este.
Como decía Groucho, en este punto... podría decir "si no le gusta mi opinión, no importa tengo más". Y ya que estamos con los consejos, uno muy bueno del amigo Descartes y qye considero inofensivo en este caso...
"No admitir jamás cosa alguna como verdadera sin haber conocido con evidencia que así era.”
"Copyleft 2007 Fernando Acero Martín. Verbatim copying, translation and distribution of this entire article is permitted in any digital medium, provided this notice is preserved".
sin ánimo de polémicas
slylittl3lio20 Marzo 2007 - 3:36pm
slylittl3lio
No tengo ánimo ni tiempo para entrar en polémicas.
Estudia libros sobre lógica y enterate de lo que es un teorema(por favor, no uses wikipedia como fuente académica, puede estar bien como primera consulta, pero no definas un teorema usandola como fuente) en física y en matemáticas son exactamente lo mismo (formalmente hablando).
En cuanto a la supuesta coherencia de las matemáticas como edificio construido sobre unos sólidos cimientos axiomáticos...
visita por ejemplo:
http://www.math.hawaii.edu/~dale/godel/godel.html
o lee por ejemplo:
http://arxiv.org/html/math.HO/0203002
o realiza busquedas en repositorios de artículos matemáticos sobre los teoremas de incompletitud de Gödel (1º y 2º).
Espero que en el futuro asumas mejor las críticas constructivas, como ya te dije antes estoy completamente deacuerdo contigo en el fondo del artículo, y en esa esperanza en el futuro:
"Escucha siempre a los expertos. Ellos te dirán que no puede hacerse y por qué. Después, hazlo."
Un poco molesto
slylittl3lio20 Marzo 2007 - 12:19pm
slylittl3lio
Me resultan un tanto molestas algunas de las afirmaciones que realizas aunque, te anticipo, no están relacionadas con el fondo del artículo, si no más bien con la forma:
Un teorema es un teorema, es por tanto demostrable en base a un número fínito de axiomas y/o teoremas previamente demostrados, independientemente del campo de aplicación del mismo.
Siento ponerme un poco borde, pero creo que faltas al respeto del mayor avance científico teórico de la humanidad, y eso me resulta ofensivo, habida cuenta que soy físico teórico.
La física cuántica resulta ser, además, la rama de conocimiento que más predicciones correctas ha realizado en la historia de la ciencia y aunque hay, como en todo núcleo de conocimiento en desarrollo constante, grupos de teorías dentro del paradigma, existe una base perfectamente coherente con los hechos (la matemática, a la que normalmente se eleva al pedestal de las ciencias en lo que a coherencia se refiere, carece de una base tan sólida como la de la mecánica cuántica desde que a Gödel se le ocurrió contestar a ciertos problemas de Hilbert).
Volvemos a mi párrafo anterior y completamos diciendo que una teoría es una vía de investigación abierta, que podría explicar cirerto fenómeno o grupo de fenómenos, pero que a falta de ser contrastada aun no se ha convertido en Ley. NINGUNA LEY FÍSICA HA DEJADO DE TENER VALIDEZ NUNCA.
En cuanto a la falibilidad de las matemáticas... busca "conjetura" en google, o mejor aun, "conjecture" o "refused conjectures" y tal vez empieces a saber de lo que estoy hablandote y de porque me siento tan dolido con tu forma de escribir.
En cuanto las palabras de Feynman, creo que no conviene sacarlas del contexto en que se dijeron. De manera filosófica la probabilidad que impregna la física a raiz de la teoría cuántica ha parecido aberrante a las generaciones de físicos anteriores, es natural, rompe con el determinismo absoluto. La cuántica tiene su medio de aplicación en una escala que nos es totalmente ajena << 1E-10 m, nuestro cerebro ha evolucionado para que podamos manejarnos en relación con nuestro entorno inmediato donde la cuántica pierde su aplicación por el solapamiento de las funciones de onda que rompe los fenómenos probabilísticos.
Sin más, y felicitándote por el fondo del artículo.
slylittl3lio.
Siento que te sientas ofendido, pero
Fernando Acero20 Marzo 2007 - 1:05pm
Las afirmaciones anteriores no son mias y están sacadas de otros documentos, definiciones de teoria, teorema o Ley física, por supuesto, adaptadas al caso concreto de la física, puesto que en matemáticas tienen otro sentido muy distinto ;-)
Por ejemplo, si miramos teoría en la Wikipedia (es lo que tengo más a mano para compartir en este momento)...
Desgraciadamente, en ocasiones ese experimento crítico muestra lo contrario de lo que se esperaba y se genera un nuevo conocimiento. Sin embargo, en mecánica cuántica no siempre es sencillo lograr un experimento que verifique las cosas.
Pero si miramos teorema en la Wikipedia...
Creo que este párrafo es más que descriptivo en torno al concepto de teorema aplicado a la física teórica, , que a diferencia de las ciencias puras como las matemáticas no tiene una "solidez" tan acusada. Yo no he dicho nada que no esté en el método científico. La recomendación de cautela también aparece en este párrafo que por cierto, creo recordar que ha sido sacado o inspirado en un conocido texto sobre el método científico, bienvenido D. Rene Descartes.
Avancemos un poco más, yo hablo de teoremas, no de leyes. Hay diferencias bastante claras entrre los dos conceptos, como también las hay entre los conceptos teoría y teorema, que recomiendo revisar detenidamente, antes de hablar sobre lo adecuado o no de mis afirmaciones. Afirmaciones que se sustentan en textos básicos sobre el método científico, que deberían ser la herramienta básica de cualquiera que se considere uno de ellos y recomiendo repasar puesto que son interesantes.
Veamos, yo no he dicho nunca que una Ley física haya caído nunca, no soy tonto y se lo que es una Ley física. Es un matiz más que importante, puesto que por definición una Ley no puede caer. Las leyes físicas son modelos de la realidad, algo que no puede caer nunca, están mas que verificadas y se inscriben como una "simplificación" de una realidad observabrle y reproducible una y otra vez. Sin embargo, obtener leyes en el campo de la mecánica cuántica, es un trabajo árduo que se va logrando poco a poco pero por el momento, ganan teorías y teoremas, algunos por verificar experimentalmente.
De nuevo, la Wikipedia....
Desgraciadamente, no siempre se logra en Física un sistema axiomático con las siguientes características, pero que es algo que siempre se logra en matemáticas:
Un ejemplo de teoría fallida en el ámbito de la física cuántica, está en la paradoja EPR de Einstein, en mi texto hay un enlace muy interesante en relación al Teorema de Bell.
Los avances físicos teóricos se han de confirmar con la experimentación, algo que no siempre es posible, o simplemente se demuestra con la experimentación que no era una buena "teoría". Hasta que la teoría es confirmada por la experimentación, es un modelo teórico, aunque nos parezca un avance enorme.
Es necesario revisar todos estos conceptos si queremos avanzar en el metodo científico, los "conocimientos sin método" me recuerdan aquel anuncio de neumáticos que decía "no hay potencia sin control".
Lo dicho, siento que interpretes mal mis palabras, espero que con esto te haya aclarado un poco mis palabras. Para mi, que algunos "problemas" de la física cuántica no sean Leyes inmutables me abren la puerta a la esperanza y creo que es lo que anima a seguir investigando en la verificación de los teoremas y teorías.
"Copyleft 2007 Fernando Acero Martín. Verbatim copying, translation and distribution of this entire article is permitted in any digital medium, provided this notice is preserved".
Actualización de datos....
Fernando Acero20 Marzo 2007 - 10:42am
Hola:
Algunas personas me han comentado que los diodos láser no tienen variación en frecuencia, por lo que no cabe la posibilidad de un ataque en el dominio de la frecuencia, pero eso no es cierto del todo. El ancho de banda es estrecho, pero existe y varía de una forma muy adecuada para nuestros propósitos. De todas formas, por definición, un láser es un emisor de fotones múltiples, algo no adecuado para nuestros fines del cifrado cuántico . De todos modos, aquí hay unos datos para los más interesados.
En esta página, se pueden visualizar los espectros de varias fuentes luminosas, entre las que se incluyen algunos láseres.
Un láser tiene una menor dispersión en frecuencia que un diodo LED y en condiciones estáticas de potencia y temperatura, el ancho de banda es de aproximadamente 5 nm . Pero hay cambios en la frecuencia, cuando hay cambios en la temperatura ambiente o en la potencia de emisión que es lo que más nos interesa para atacar nuestro sistema, si es que el láser nos sirviera.
En general, al reducirse la potencia, la frecuencia del láser se desplaza unos nm a la izquierda y al aumentarse a la derecha, algo interesante. Asimismo, con el aumento de la potencia de emisión también aumenta ligeramente el ancho de banda, lo que también es interesante.
Mi conclusión es la que se refleja en el artículo, se tiene que avanzar en el diseño de los sistemas emisores de fotones únicos, es necesario que solamente emitan un fotón y que dicho fotón, no se pueda diferenciar de otro emitido, salvo en la polarización.
De nuevo, los avances en la medición en la energía (frecuencia) de un fotón y en la separación de flujos, nos permitirán atacar con mayor precisión un sistema de cifrado cuántico, por lo que hay que estar atentos a estos avances.
Tampoco debemos olvidar la posibilidad de un ataque en el dominio del tiempo, si el atacante puede reconocer el patrón de emisión de fotones de detección. Algo plausible, ya que el sistema debe reconocer estos fotones al otro lado de la línea para calcular su tasa de errores y detectar al "espía".
También quiero señalar que Toshiba es una empresa pionera en los sistemas de cifrado cuántico comerciales.
"Copyleft 2007 Fernando Acero Martín. Verbatim copying, translation and distribution of this entire article is permitted in any digital medium, provided this notice is preserved".
Impresionante.
Octavio20 Marzo 2007 - 2:24am
Creo que tengo que releerlo. Un par de veces, como poco.
Gracias por la crítica... pero pido disculpas.
Fernando Acero20 Marzo 2007 - 11:29am
Hola Octavio, gracias por la crítica, pero.....
Siento que sea un poco más complicado de leer por algunos fallos en los signos de puntuación, en especial con las comas.
En mi descargo he de decir que lo he escrito, por mi falta de tiempo, usando una PDA en mis desplazamientos del Cercanías de 35 minutos de ida y vuelta del trabajo a casa (no veas el peñazo que es el texto predictivo y el puntero con trazos naturales cuando el entorno está en movimiento).
Como la letra es pequeña y yo tengo 47 años.... el resultado es que es complicado corregir los signos de puntuación sobre la PDA (realmente no los veo bien ni con gafas de "viejete" con el tren en movimiento), pido mis disculpas al respetable, pero no he podido hacer más en esta ocasión.
Ahora, el único que lo puede arreglar es nuestro querido editor, que me consta que en otras ocasiones ha salido al quite de mis patinazos gramaticales, también mis disculpas para él y mi agradecimiento por adelantado.
"Copyleft 2007 Fernando Acero Martín. Verbatim copying, translation and distribution of this entire article is permitted in any digital medium, provided this notice is preserved".
Pues entonces también es culpa mía
admin20 Marzo 2007 - 11:44am
Porque lo revisé antes de publicarlo y creía haber resuelto por completo esos detalles.
En mi descargo, que también tengo 47 y que eran casi las doce de la noche.
Lo repasaré bien... despierto ;)
Disculparte de nada
Octavio20 Marzo 2007 - 1:09pm
No era mi intención criticar. Nada más lejos de la realidad. Es un pedazo de artículo. Me quito el sombrero.
Me refería a que tengo que releerlo y volver sobre los links para poder hacerme una idea formada de todo lo que expones que no es poco.
Lo dicho, para nada una crítica, sino todos mis elogios.
Muchas gracias por tu labor. De corazón.