⚛️ quantum physics

Public-Key Quantum Money and Fast Real Transforms

Este artículo propone un esquema de dinero cuántico de clave pública basado en acciones de grupo y la transformada de Hartley, que utiliza amplitudes reales en lugar de complejas, junto con nuevos algoritmos para la verificación, la generación de números de serie y una implementación recursiva eficiente de la transformada de Hartley cuántica.

Autores originales: Jake Doliskani, Morteza Mirzaei, Ali Mousavi

Publicado 2026-03-16

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Jake Doliskani, Morteza Mirzaei, Ali Mousavi

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

¡Claro que sí! Imagina que este artículo es como un manual de instrucciones para crear una nueva generación de billetes digitales cuánticos que son imposibles de falsificar, pero con un "truco" matemático muy especial.

Aquí tienes la explicación en lenguaje sencillo, usando analogías de la vida real:

1. El Problema: ¿Por qué necesitamos billetes cuánticos?

Imagina que el dinero actual es como una foto en papel. Si tienes una fotocopiadora buena, puedes hacer una copia perfecta. Pero en el mundo cuántico, existe una ley fundamental llamada "No Clonación": es como si intentaras fotocopiar un copo de nieve y, en el momento en que lo tocas para copiarlo, se derritiera o cambiara de forma. Por lo tanto, un billete cuántico es un objeto que no puede ser copiado.

El problema de los billetes cuánticos anteriores era que solo el banco podía verificarlos (como si tuvieras que llevar el billete al banco cada vez que quieres comprar un café). Los autores quieren un sistema donde cualquiera pueda verificar si el billete es real, sin necesidad de ir al banco.

2. La Innovación: Cambiar el "Idioma" de los Billetes

Para crear estos billetes, los científicos usan una herramienta matemática llamada Transformada.

El método antiguo (Fourier): Imagina que los billetes anteriores estaban escritos en un "idioma complejo", lleno de números imaginarios (como si tuvieran coordenadas en un mapa 3D con alturas y profundidades). Funcionaba, pero era complicado y a veces fallaba al intentar distinguir un billete real de uno falso.
El nuevo método (Hartley): Los autores proponen cambiar ese idioma complejo por uno real y simple. Imagina que en lugar de escribir en un idioma con acentos extraños, escriben en un idioma plano y directo (como un mapa 2D).

¿Por qué es mejor?
Es como pasar de una receta de cocina que requiere ingredientes exóticos y difíciles de medir (números complejos) a una receta con ingredientes de tu alacena (números reales). Es más fácil de preparar, más rápido de ejecutar y, teóricamente, más robusto.

3. El Obstáculo: El "Ciego" en la Verificación

Al cambiar el idioma a uno "real", surgió un problema. El sistema de verificación (el detector de billetes) se volvió un poco "confuso".

La analogía: Imagina que el detector de billetes es un guardia que mira una huella dactilar. Con el método antiguo, la huella era única y clara. Con el nuevo método (Hartley), la huella del billete real y la de un billete falso (que es una versión "invertida" del real) se ven casi idénticas para el guardia. El guardia no sabe cuál es cuál y podría aceptar un billete falso.

4. La Solución: El "Giro" (Twist) y el Baile Cuántico

Para arreglar esto, los autores introdujeron dos ideas geniales:

A. El "Giro" (Twist)

Imagina que tienes un billete real. Si le das un "giro" especial (una operación matemática que invierte su dirección), el billete real se transforma en algo que se ve diferente al billete falso.

Cómo funciona: El nuevo algoritmo de verificación le da un "giro" al billete sospechoso. Si el billete es real, el giro revela su verdadera identidad. Si es falso, el giro no funciona igual. Es como si el billete tuviera un mecanismo de seguridad que solo se activa si le das la vuelta correcta.

B. Encontrar el Número de Serie con "Pasos Cuánticos"

En el sistema anterior, el número de serie del billete (como el número de serie en un billete de papel) se podía leer directamente. En el nuevo sistema, el número de serie está "oculto" dentro de la forma del billete.

La analogía: Imagina que el billete es un laberinto gigante. Para encontrar la salida (el número de serie), no puedes caminar paso a paso como un humano. Tienes que usar un paseo cuántico.
Qué es un paseo cuántico: Imagina a un explorador que, en lugar de caminar por un camino, se convierte en una onda de agua que se expande por todo el laberinto al mismo tiempo, rebotando en las paredes. Gracias a la interferencia de las ondas (como las olas en el mar), el explorador encuentra la salida (el número de serie) muchísimo más rápido que cualquier humano.

5. La Herramienta Extra: El "Martillo" Rápido

Además de los billetes, los autores crearon una nueva forma de calcular la Transformada de Hartley (la herramienta matemática principal) mucho más rápido que antes.

La analogía: Antes, para calcular esto, tenías que usar una herramienta pesada y lenta (como un martillo de hierro). Los autores diseñaron un martillo de precisión que es más ligero, más rápido y hace el mismo trabajo con menos golpes. Esto no solo sirve para los billetes, sino que puede usarse en otras áreas de la computación cuántica para hacer cálculos más eficientes.

En Resumen

Este paper es como un equipo de ingenieros que:

Diseñó un nuevo tipo de billete digital que es más simple y real (usando la Transformada de Hartley en lugar de la compleja).
Descubrió que este nuevo billete era difícil de verificar, así que inventó un truco de "giro" para que el detector sepa diferenciar lo real de lo falso.
Creó un método de "búsqueda cuántica" (paseos cuánticos) para encontrar el número de serie oculto en el billete.
Construyó una herramienta matemática más rápida para que todo el sistema funcione sin gastar demasiada energía.

El resultado es un sistema de dinero cuántico que es más seguro, más rápido y que cualquiera puede verificar, acercándonos un paso más a una economía futura donde el dinero no se puede copiar.

1. El Problema

El dinero cuántico de clave pública permite que cualquiera verifique la autenticidad de un billete, mientras que solo el banco puede emitirlo. Los esquemas existentes basados en acciones de grupo y la Transformada de Fourier (como el de Zhandry) utilizan estados cuánticos con amplitudes complejas.

Los autores identifican dos problemas principales al intentar adaptar este esquema:

Limitaciones Teóricas y Computacionales: Los estados con amplitudes reales (reales) poseen propiedades matemáticas distintas a los complejos. Por ejemplo, ciertas identidades de bases ortonormales que fallan en el caso complejo se cumplen en el caso real, lo que podría ofrecer ventajas teóricas y de seguridad. Sin embargo, la sustitución directa de la QFT por la QHT rompe el algoritmo de verificación original.
Fallo en la Verificación: En el esquema original, el algoritmo de verificación extrae el número de serie (un elemento del grupo) mediante un "kickback" de fase. Al usar la Transformada de Hartley (que produce amplitudes reales), el algoritmo de verificación estándar falla en distinguir entre ciertos billetes legítimos y billetes ilegítimos (acepta billetes falsos con probabilidad 1), ya que el estado resultante tras la medición no permite leer el número de serie de manera directa sin colapsar el estado de forma incorrecta.

2. Metodología

Los autores proponen una nueva construcción basada en tres pilares metodológicos:

Sustitución de Transformadas: Reemplazan la QFT por la Transformada de Hartley Cuántica (QHT) sobre grupos abelianos finitos. La QHT se define usando la función cas ( $\cos(x) + \sin(x)$ ), garantizando que los billetes tengan amplitudes puramente reales.
Nuevo Algoritmo de Verificación con "Twists" (Giros): Para solucionar el fallo de distinción entre billetes, introducen una nueva etapa de verificación que utiliza una propiedad de las acciones de grupo llamada twist (giro). En acciones de grupo criptográficas (como las basadas en isogenias), existe una operación eficiente que mapea $g * x \to (-g) * x$ $g * x \to (- g) * x$ .
- El algoritmo utiliza esta operación para distinguir entre los estados $|Z(h)\rangle$ y $|Z(-h)\rangle$ , que el algoritmo anterior no podía diferenciar.
- Se utiliza un algoritmo de estimación de fase y mediciones proyectivas para verificar si el estado corresponde al número de serie declarado.
Cálculo del Número de Serie mediante Caminatas Cuánticas: Demuestran que, aunque la verificación directa es difícil, el número de serie asociado a un estado de dinero puede calcularse eficientemente utilizando caminatas cuánticas de tiempo continuo sobre grafos de Cayley definidos por la acción del grupo. Esto permite extraer la información del grupo sin necesidad de conocer la clave privada.
Algoritmos Recursivos para Transformadas Reales: Desarrollan un nuevo algoritmo recursivo para calcular la QHT y otras transformadas reales (como la transformada de seno), optimizando la complejidad de puertas lógicas.

3. Contribuciones Clave

Esquema de Dinero Cuántico con Amplitudes Reales:
- Primera propuesta exitosa de dinero cuántico de clave pública que utiliza la Transformada de Hartley.
- Introduce un nuevo algoritmo de verificación (Vernew) que supera las limitaciones de las amplitudes reales mediante el uso de operaciones de twist en acciones de grupo.
Algoritmo de Verificación Robusto:
- Resuelve el problema de la indistinguibilidad de estados en el esquema de Hartley.
- Demuestra que, dado un billete $(h, |\psi\rangle)$ , la probabilidad de aceptación es $|\langle \psi | Z(h) \rangle|^2$ , garantizando la corrección del esquema.
Cálculo del Número de Serie (Serial Number):
- Presentan un algoritmo eficiente basado en caminatas cuánticas de tiempo continuo para computar el número de serie $h$ a partir del estado cuántico del billete $|Z(h)\rangle$ . Esto es crucial para la funcionalidad del sistema, ya que permite la verificación sin intervención del banco emisor.
Optimización de Transformadas Cuánticas Reales:
- QHT Recursiva: Proponen un algoritmo recursivo para la Transformada de Hartley Cuántica que tiene una complejidad de puertas de $2 \log^2 N + O(\log N)$ .
- Comparación de Eficiencia: Su algoritmo es aproximadamente un 1.25 veces más eficiente (en complejidad de puertas) que los algoritmos anteriores de [3] y [22], y es conceptualmente más simple de implementar.
- Subrutinas: Muestran cómo usar la QHT como subrutina para implementar eficientemente la Transformada de Seno Cuántica ($QSI$) con la misma complejidad óptima.

4. Resultados

Corrección y Seguridad: El esquema es correcto (los billetes genuinos son aceptados con alta probabilidad) y se basa en la suposición de que el Problema del Logaritmo Discreto (DLP) para acciones de grupo es difícil para algoritmos cuánticos de tiempo polinomial.
Complejidad Computacional:
- El algoritmo de QHT propuesto reduce la complejidad de puertas respecto a métodos basados en QFT o descomposiciones anteriores.
- La simulación de caminatas cuánticas en acciones de grupo se realiza con precisión polinomial en tiempo polinomial, permitiendo la recuperación del número de serie.
Validación Teórica: Se demuestra que la identidad de bases ortonormales reales (mencionada en la motivación) tiene implicaciones directas en la seguridad y la estructura de los estados, diferenciando este esquema de los esquemas de "quantum lightning" anteriores que fallaron con bases complejas.

5. Significado e Impacto

Avance en Criptografía Cuántica: Este trabajo abre una nueva dirección en el diseño de dinero cuántico, explorando el espacio de las amplitudes reales. Esto podría ofrecer ventajas teóricas en la demostración de seguridad y en la resistencia a ciertos ataques que explotan la estructura de las fases complejas.
Optimización de Hardware Cuántico: Al reducir la complejidad de puertas para la QHT y otras transformadas reales, el trabajo facilita la implementación práctica de estos algoritmos en hardware cuántico con recursos limitados.
Nuevas Herramientas para Computación Cuántica: La introducción de la QHT como una herramienta fundamental en construcciones criptográficas y la demostración de su uso para calcular números de serie mediante caminatas cuánticas enriquece el conjunto de herramientas disponibles para algoritmos cuánticos más allá de la QFT.
Fundamento para Futuras Investigaciones: El trabajo sirve como punto de partida para investigar transformadas cuánticas reales y su aplicación en otros protocolos criptográficos, sugiriendo que el uso de amplitudes reales podría ser una vía prometedora para esquemas más eficientes y seguros.

En conclusión, Doliskani et al. han logrado adaptar un esquema de dinero cuántico de vanguardia al dominio de las amplitudes reales, resolviendo los desafíos de verificación mediante técnicas de acciones de grupo y proporcionando algoritmos más eficientes para las transformadas matemáticas subyacentes.