¿Qué es un quantum walk y para qué se investiga?
Estado a: 7 de septiembre de 2026.
Un quantum walk (caminata cuántica) es el análogo cuántico de una caminata aleatoria: el caminante se mueve por los nodos de un grafo, pero en vez de elegir un camino al azar se propaga como una onda por todos los caminos a la vez, y los caminos interfieren entre sí. A 7 de septiembre de 2026, las caminatas cuánticas cargan algunas de las ventajas probadas más limpias de la computación cuántica — incluida una de las pocas separaciones exponenciales demostradas del campo — y pueden, en principio, ejecutar cualquier programa cuántico. Lo que nadie tiene es una ventaja medida de extremo a extremo en un problema comercial. Rosetta Q corre una caminata cuántica dentro de su propio motor de investigación, y a igual presupuesto hoy pierde contra su rival clásico (Fisher p = 0,095, no significativo). Este post define el objeto, lista lo probado con fuente por fila e imprime nuestro propio marcador — incluido el lado que pierde.
¿Qué es un quantum walk?
Un quantum walk es una caminata sobre un grafo en la que la posición del caminante es un estado cuántico. Hay dos familias estándar. En la caminata de tiempo discreto, cada paso aplica una "moneda" cuántica y un desplazamiento condicional, de modo que el caminante avanza en superposición de direcciones. En la caminata cuántica de tiempo continuo (CTQW), introducida por Farhi y Gutmann en 1998, no hay pasos: la matriz de conectividad del grafo se usa como hamiltoniano y la amplitud del caminante fluye por las aristas de forma continua bajo la ecuación de Schrödinger.
La diferencia medible con una caminata aleatoria clásica es la velocidad de dispersión. En una línea, el caminante clásico difunde: su desviación estándar crece como la raíz cuadrada del tiempo. El cuántico se mueve balísticamente: la desviación estándar crece linealmente con el tiempo. Esa brecha cuadrática en la dispersión — más la interferencia, que puede concentrar amplitud en el vértice que te interesa — es la materia prima de todos los algoritmos de caminata cuántica.
Dispersarse más rápido en una línea es física, y está probado. Que eso pague algo es una pregunta distinta, y el resto de este post mantiene las dos separadas.
¿Dónde está probada de verdad una ventaja de quantum walk?
En el modelo de consulta (query model) — y el resultado insignia es una de las pocas separaciones exponenciales demostradas de la computación cuántica. En 2003, Childs, Cleve, Deotto, Farhi, Gutmann y Spielman tomaron dos árboles binarios pegados espalda con espalda por un ciclo aleatorio y mostraron que una caminata cuántica de tiempo continuo cruza de la entrada a la salida de forma eficiente, mientras que cualquier algoritmo clásico — no solo los conocidos: cualquiera — necesita un número exponencial de consultas: la separación está demostrada, no conjeturada. La letra chica que define al campo entero: el grafo es un oráculo, una caja negra que pagas por consultar, y la ventaja cuenta consultas.
| Resultado | Ventaja | Modelo | Año | Fuente |
|---|---|---|---|---|
| Cruce de árboles pegados | Exponencial, probada contra cualquier algoritmo clásico | Consulta (oráculo) | 2003 | Childs et al., STOC 2003, arXiv:quant-ph/0209131 |
| Distinción de elementos | O(n^2/3) consultas, luego probado óptimo | Consulta | 2004-2007 | Ambainis, SIAM J. Comput. 37, 210, arXiv:quant-ph/0311001 |
| Búsqueda espacial | O(√n) en grafos aptos | Consulta | 2004 | Childs & Goldstone, Phys. Rev. A 70, 022314 |
| Universalidad | Cualquier circuito cuántico compila a una caminata en algún grafo | Equivalencia de modelos | 2009 | Childs, Phys. Rev. Lett. 102, 180501 |
| Grafos jerárquicos aleatorios | Superpolinomial a exponencial, generalizando árboles pegados | Consulta (oráculo) | 2025 | Balasubramanian, Li & Harrow, Commun. Math. Phys., arXiv:2307.15062 |
Tres notas sobre la tabla. Primera: la distinción de elementos — decidir si una lista tiene un ítem repetido — es donde las caminatas le ganan a la búsqueda tipo Grover a secas (nuestro post de Grover explica por qué lo cuadrático es el techo genérico): la caminata de Ambainis sobre conjuntos de ítems consultados lo resuelve en cerca de n a la dos tercios consultas. Segunda: la universalidad (2009) significa que las caminatas no son un truco de nicho: cualquier computación cuántica puede escribirse como una caminata sobre algún grafo, así que "computador de caminata cuántica" es un modelo completo de computación cuántica, no un aparato de propósito especial. Tercera: la familia sigue creciendo: el resultado de 2025 de Balasubramanian, Li y Harrow — publicado en Communications in Mathematical Physics — extiende la separación de árboles pegados a una clase amplia de grafos jerárquicos aleatorios. El lado teórico de este ledger goza de buena salud.
La letra chica que las versiones de marketing omiten: todas las filas de arriba viven en el modelo de consulta. Nadie te entrega un dataset de negocio como oráculo. Cuando el grafo llega como datos explícitos, cargarlo cuesta al menos su tamaño — el mismo muro que documentamos en nuestro post de QRAM — y los algoritmos clásicos fuertes vuelven a la carrera. Entre "probado en el modelo de consulta" y "gana con tus datos, de extremo a extremo" está la brecha donde, hasta hoy, se ha estancado todo claim aplicado de caminatas cuánticas que conocemos. Nuestro catálogo de ventajas cuánticas probadas cuenta los sobrevivientes por clase; las caminatas aparecen solo del lado de la teoría.
¿Qué ha medido Rosetta Q con su propia caminata cuántica?
Corremos una, y hoy pierde — y publicar ese número es el punto. El RQ-Engine, nuestro pipeline interno de investigación para predecir sitios alostéricos en proteínas, tiene un brazo experimental que usa caminatas cuánticas de tiempo continuo como propagadores sobre grafos de contacto entre residuos: la proteína se vuelve un grafo, la caminata lo explora, y el brazo puntúa bolsillos candidatos según dónde se asienta la amplitud.
Medido, con paridad de presupuesto contra propagadores clásicos sobre los mismos grafos: la corrida sellada RQ-EXP-QMARGIN-001 dio Fisher p = 0,095 — no significativo — con 1 de 86 proteínas individualmente significativa. La última re-medición del brazo (14-08-2026) dio p = 0,0741 y 0,0921 con dos semillas independientes: sigue sin cruzar. El veredicto a hoy es simple: en nuestro problema, a igual presupuesto, gana la matemática clásica. La caminata se vuelve a correr cada vez que el modelo cambia, y todas las versiones hasta ahora han perdido.
Esto no es "las caminatas cuánticas no sirven". Es un dato honesto y fechado en un campo corto de ellos — un negativo con sello. Rosetta Q mantiene este marcador público por la misma razón por la que nuestro marcador de advantaged solves está en cero: un ledger que solo registra victorias no es un ledger. Una caminata que solo gana en el modelo de consulta es, por ahora, un teorema hermoso.
¿Por qué 28 años de teoría no se volvieron un producto?
Porque las victorias probadas son victorias del modelo de consulta, y las corridas en hardware hasta ahora son demostraciones de física. Las dos mitades de esa frase tienen fuente. En hardware, las caminatas cuánticas sí se han implementado a escala respetable:
| Plataforma | Qué se demostró | Qué no fue | Fuente |
|---|---|---|---|
| Superconductores, 62 qubits | Caminatas 2D programables en una grilla de 8x8 | Resolver un problema superando una línea base clásica | Science, mayo 2021, DOI 10.1126/science.abg7812 |
| Superconductores, 12 qubits | Caminatas multipartícula fuertemente correlacionadas | Lo mismo | Science, 2019, DOI 10.1126/science.aaw1611 |
| Chip fotónico 3D | Caminatas multifotón en un grafo tridimensional | Lo mismo | Light: Science & Applications, 2024 |
Una revisión del campo de 2024 (Qiang, Ma & Song, Intelligent Computing) es optimista y honesta a la vez: "progreso notable" en implementaciones, aplicaciones exploradas "desde problemas algebraicos y de optimización hasta simulaciones de hamiltonianos cuánticos y procesos bioquímicos" — y una sección final sobre los desafíos que separan eso de una máquina práctica. Ese encuadre coincide con lo que medimos desde nuestro lado de la mesa.
Qué movería el veredicto, en nuestra lectura: una carga de trabajo cuyo grafo sea naturalmente tipo oráculo — enorme, implícito, barato de consultar localmente, caro de sostener como datos — más hardware con la profundidad para correr la caminata bajo corrección de errores, más una línea base clásica peleada a igual presupuesto. Esa última cláusula es la que nuestro propio experimento hace cumplir, y es la que la mayoría de las aplicaciones publicadas de caminatas se salta.
Qué sabemos / qué no sabemos
Qué sabemos. La definición y el escalamiento balístico-vs-difusivo son física de libro (Farhi & Gutmann, 1998). Las separaciones del modelo de consulta de la tabla son teoremas demostrados, cada uno con su paper y su año, y uno de ellos es exponencial contra cualquier algoritmo clásico. La universalidad (2009) hace de las caminatas un modelo completo de computación cuántica. En nuestra propia mesa: p = 0,095 a paridad de presupuesto, 1 de 86 proteínas significativa, dos semillas, sellado y fechado.
Qué no sabemos. Si alguna carga de trabajo comercial mapea al escenario de oráculo con la precisión suficiente para que una ventaja tipo árboles-pegados sobreviva el contacto con datos reales — ninguna lo ha hecho, medido, a la fecha. Si nuestro propio brazo pierde porque las caminatas cuánticas no cargan señal útil para la estructura alostérica, o porque nuestra construcción del grafo y nuestras features están mal — todavía no podemos distinguir esas dos cosas, y lo decimos. Si la familia de grafos jerárquicos de 2025 se acerca a la estructura de problemas naturales o queda como objeto matemático. Y cuánto costará de extremo a extremo una caminata a escala con corrección de errores, porque nadie ha puesto precio a una.
Fuentes
- Farhi & Gutmann, "Quantum computation and decision trees," Phys. Rev. A 58, 915 (1998) — arxiv.org/abs/quant-ph/9706062 (accedido 2026-09-07)
- Childs, Cleve, Deotto, Farhi, Gutmann & Spielman, "Exponential algorithmic speedup by a quantum walk," STOC 2003 — arxiv.org/abs/quant-ph/0209131 (accedido 2026-09-07)
- Ambainis, "Quantum walk algorithm for element distinctness," SIAM J. Comput. 37, 210 (2007) — arxiv.org/abs/quant-ph/0311001 (accedido 2026-09-07)
- Childs & Goldstone, "Spatial search by quantum walk," Phys. Rev. A 70, 022314 (2004) — arxiv.org/abs/quant-ph/0306054 (accedido 2026-09-07)
- Childs, "Universal computation by quantum walk," Phys. Rev. Lett. 102, 180501 (2009) — arxiv.org/abs/0806.1972 (accedido 2026-09-07)
- Balasubramanian, Li & Harrow, "Exponential speedups for quantum walks in random hierarchical graphs," Commun. Math. Phys. (2025) — arxiv.org/abs/2307.15062 (accedido 2026-09-07)
- "Quantum walks on a programmable two-dimensional 62-qubit superconducting processor," Science (2021) — science.org/doi/10.1126/science.abg7812 (accedido 2026-09-07)
- "Strongly correlated quantum walks with a 12-qubit superconducting processor," Science (2019) — science.org/doi/10.1126/science.aaw1611 (accedido 2026-09-07)
- "Multi-particle quantum walks on 3D integrated photonic chip," Light: Science & Applications (2024) — nature.com/articles/s41377-024-01627-7 (accedido 2026-09-07)
- Qiang, Ma & Song, "Review on Quantum Walk Computing: Theory, Implementation, and Application," Intelligent Computing 3:0097 (2024) — arxiv.org/abs/2404.04178 (accedido 2026-09-07)
Relacionados en este ledger: nuestro catálogo de ventajas probadas, qué es QRAM y por qué cargar datos es el cuello de botella silencioso, qué da Grover de verdad, y qué es un advantaged solve.
Rosetta Q publica veredictos con datos crudos reproducibles. Esto es contenido educativo, no un claim de producto, y no es consejo de inversión. Los p-valores citados de nuestro propio experimento son mediciones internas, selladas y fechadas; los artefactos crudos de la corrida son internos, o sea que este marcador todavía no cumple el estándar de reproducibilidad radical que le exigimos a los demás — lo anotamos como deuda propia. Todos los resultados externos se citan de sus papers originales, accedidos 2026-09-07.