En el mundo cuántico, la información se almacena en estados delicados que son notoriamente difíciles de medir. Los científicos a menudo necesitan echar un vistazo a un sistema cuántico para ver qué está haciendo, pero el acto de mirar cambia el sistema, y hacerlo repetidamente requiere enormes cantidades de tiempo y recursos. Para resolver esto, los investigadores desarrollaron una técnica llamada tomografía de sombras, que tiene como objetivo aprender sobre muchas propiedades diferentes de un estado cuántico utilizando la menor cantidad posible de copias de dicho estado. La eficiencia de este proceso depende en gran medida de cómo interactúan las propiedades que se miden entre sí. Algunas propiedades pueden medirse juntas sin conflicto, mientras que otras luchan entre sí, obligando al experimentador a elegir una u otra. Para gestionar esto, los científicos utilizan un mapa matemático llamado grafo de anticonmutación, donde los puntos representan propiedades y las líneas conectan aquellas que no pueden medirse simultáneamente. La complejidad de este mapa determina cuántas muestras se necesitan para obtener una imagen clara. Una hipótesis reciente sugirió que, si las propiedades que se miden son lo suficientemente fuertes como para ser detectadas fácilmente, el mapa que las conecta se volvería naturalmente lo suficientemente simple como para manejarse eficientemente, independientemente de cuán grande crezca el sistema.

Este artículo, sin embargo, demuestra que esta esperanzadora hipótesis es incorrecta. Los autores, Jędrzej Stempin, Santiago Llorens y Felix Huber, construyeron una familia específica de estados cuánticos y mediciones que demuestran que la relación entre la fuerza de la medición y la complejidad del mapa no es tan permisiva como se pensaba anteriormente. Mostraron que es posible crear un escenario donde las mediciones sean fuertes y distintas, pero el mapa subyacente de sus conflictos permanezca obstinadamente complejo, desafiando los límites predichos. Su trabajo no significa que la medición cuántica eficiente sea imposible, pero sí desmantela un atajo matemático específico que muchos investigadores habían esperado que garantizara la eficiencia. Al demostrar que no existe un límite constante para todos los estados cuánticos posibles, han cerrado la puerta a un camino particular hacia la medición ultraeficiente, obligando al campo a buscar soluciones diferentes.

La historia comienza con una observación simple sobre cómo se comportan las propiedades cuánticas. Imagine una colección de interruptores que pueden encenderse o apagarse. En un sistema cuántico, estos interruptores se llaman observables de Pauli y representan diferentes formas de sondear el estado del sistema. Algunos de estos interruptores pueden accionarse juntos sin interferir, mientras que otros son mutuamente excluyentes; accionar uno altera instantáneamente el resultado del otro. Para medir un gran conjunto de estos interruptores de manera eficiente, los científicos agrupan los que son compatibles. Cuantos menos grupos se necesiten, menos copias del estado cuántico se requerirán para obtener datos precisos. La dificultad de este agrupamiento se mide mediante un número conocido como número cromático fraccionario, que esencialmente cuenta cuántos grupos distintos se necesitan para cubrir todos los interruptores sin conflicto.

Hace unos años, un grupo de investigadores propuso una conjetura que habría sido un gran avance. Sugirieron que si solo se observan los interruptores que son lo suficientemente "fuertes" como para ser escuchados claramente —es decir, que tienen una señal fuerte en el estado cuántico— su mapa de conflictos se volvería automáticamente simple. Específicamente, creían que a medida que la fuerza de la señal aumentara, el número de grupos necesarios para medirlos disminuiría de una manera predecible y manejable. Si esto fuera cierto, implicaría que para cualquier conjunto de propiedades cuánticas interesantes, existe un método de medición "triplemente eficiente", que requiere solo un número constante de copias del estado, independientemente del tamaño del sistema. Esta idea era tan convincente que se convirtió en un principio rector para el diseño de futuros algoritmos cuánticos.

Los autores de este artículo decidieron probar los límites de esta idea construyendo un contraejemplo. Comenzaron con una forma conocida en matemáticas como un anti-heptágono, una estructura similar a una estrella de siete puntas donde las conexiones entre los puntos representan conflictos. Descubrieron un conjunto de siete interruptores cuánticos que coincidían perfectamente con esta forma. Cuando midieron estos interruptores en un estado cuántico específico, descubrieron que los interruptores eran todos igualmente fuertes, pero la estructura de sus conflictos era lo suficientemente compleja como para que el número de grupos necesarios para medirlos fuera ligeramente superior a lo que la conjetura permitía. La relación entre la complejidad y la fuerza de la señal estaba justo por encima del límite teórico, pero solo por un margen mínimo.

Para convertir este pequeño margen en una prueba definitiva, los investigadores utilizaron una técnica llamada amplificación. Tomaron su sistema de siete interruptores y lo combinaron consigo mismo repetidamente, creando un sistema mucho más grande donde el patrón original se repetía una y otra vez. En este nuevo y masivo sistema, la fuerza de la señal de los interruptores creció exponencialmente, pero la complejidad del mapa de conflictos creció aún más rápido. Con cada paso de esta amplificación, la brecha entre la complejidad real y el límite predicho se ensanchó. Finalmente, demostraron que, para un sistema suficientemente grande, el número de grupos necesarios para medir los interruptores se volvió tan grande que ninguna regla fija podría contenerlo jamás. El producto de la complejidad y el cuadrado de la fuerza de la señal creció sin límites, demostrando que no existe una constante universal que limite la dificultad de la tarea.

Los investigadores no se detuvieron en este ejemplo específico. Desarrollaron una regla más general basada en una propiedad de los grafos llamada índice de conmutatividad, que mide qué tan bien se puede alinear un conjunto de propiedades con un estado cuántico. Demostraron que cualquier grafo donde este índice sea mayor que el tamaño del grupo más grande de propiedades no conflictivas puede usarse para crear un contraejemplo similar. Dado que tales grafos existen, el fracaso de la conjetura no es un error fortuito de una sola forma, sino una característica fundamental del paisaje matemático de las mediciones cuánticas. Esto significa que la esperanza de una fórmula simple y universal para predecir la eficiencia de la medición basándose únicamente en la fuerza de la señal se ha desvanecido.

A pesar de este resultado negativo, el artículo no declara el fin de la medición cuántica eficiente. Los autores aclaran que, si bien la conjetura específica es falsa, esto no descarta la existencia de protocolos eficientes para todos los casos. Simplemente significa que la relación entre la fuerza de la señal y la dificultad de la medición es más matizada de lo que la conjetura permitía. La puerta permanece abierta para otros métodos para lograr la eficiencia, quizás encontrando diferentes formas de agrupar los interruptores o aceptando que algunos conjuntos de propiedades siempre requerirán más recursos que otros. El trabajo sirve como una corrección necesaria, asegurando que la investigación futura se construya sobre una base que reconozca la verdadera complejidad del mundo cuántico en lugar de una esperanza simplista.

Al final, el artículo proporciona un límite claro para lo que es posible en la tomografía de sombras cuántica. Muestra que la naturaleza no siempre coopera con las suposiciones matemáticas más optimistas. Al construir una familia de estados donde la dificultad de la medición crece más rápido que la fuerza de la señal, los autores han obligado a la comunidad científica a refinar su comprensión de cómo se puede extraer la información cuántica. El viaje desde una conjetura esperanzadora hasta un contraejemplo riguroso resalta la importancia de probar incluso las ideas más elegantes contra la dura realidad de la prueba matemática. El resultado es una imagen más honesta, aunque más complicada, de los recursos necesarios para comprender el mundo cuántico.