Experimental Quantum Bernoulli Factories via Bell-Basis Measurements

Resumen Técnico: Fábricas de Bernoulli Cuánticas Experimentales mediante Mediciones en la Base de Bell

Planteamiento del Problema
El problema de la fábrica de Bernoulli aborda la transformación de una fuente de aleatoriedad imperfecta (una moneda con un sesgo desconocido $p$, o una moneda-$p$) en una nueva moneda con un sesgo específico $f(p)$ utilizando únicamente un número finito y aleatorio de muestras, sin estimar $p$. En el dominio clásico (Fábricas de Bernoulli Clásicas o CBF, por sus siglas en inglés), el conjunto de funciones construibles exactamente está severamente restringido. Específicamente, las funciones que se aproximan a 0 o 1 demasiado rápido o que alcanzan los valores $\{0, 1\}$ dentro del interior del dominio ($p \in (0,1)$) son inconstruibles mediante cualquier algoritmo que finalice con probabilidad uno. Además, incluso para las funciones construibles, la complejidad esperada de las muestras puede ser grande y depender fuertemente de $p$, divergiendo a medida que $p$ se acerca a 0 o 1.

Metodología
Este trabajo presenta una implementación experimental de una Fábrica de Bernoulli Cuántica (QBF) en hardware superconductor de IBM. El protocolo utiliza dos "quoins" (monedas cuánticas) idénticos de entrada, donde el sesgo $p$ se codifica coherentemente en el estado del qubit $|p\rangle = \sqrt{1-p}|0\rangle + \sqrt{p}|1\rangle$.

El núcleo de la metodología consiste en realizar una única medición de la base de Bell en el sistema de dos qubits $|p\rangle \otimes |p\rangle$. La base de Bell se define como:
$$|\Phi^\pm\rangle = \frac{|00\rangle \pm |11\rangle}{\sqrt{2}}, \quad |\Psi^\pm\rangle = \frac{|01\rangle \pm |10\rangle}{\sqrt{2}}$$
Cuando el estado de entrada se expande en esta base, las amplitudes de probabilidad revelan resultados estadísticos específicos:

• La probabilidad de observar $|\Phi^+\rangle$ es exactamente $1/2$, independientemente de $p$.
• La probabilidad condicional de observar $|\Psi^+\rangle$ dado que el resultado está en el conjunto $\{|\Phi^-\rangle, |\Psi^+\rangle\}$ produce la función $f(p) = 4p(1-p)$.
• Las estadísticas también permiten la realización de la función de "doble de Bernoulli" $f(p) = 2p$ (para $p \leq 1/2$) y $2(1-p)$ (para $p > 1/2$).

El circuito experimental prepara dos qubits mediante rotaciones $Y(\theta)$ donde $\theta = 2\sin^{-1}\sqrt{p}$, aplica una puerta CNOT seguida de una puerta Hadamard para transformar la base computacional a la base de Bell, y realiza mediciones estándar. Los resultados se mapean a los estados de Bell correspondientes para generar las monedas de salida deseadas.

Contribuciones Clave y Resultados
El artículo reporta tres logros experimentales primarios:

1. Realización de Funciones Clásicamente Inconstruibles: Los autores demuestran con éxito la generación de la primitiva de "doble de Bernoulli" $f(p) = 2p$ (y su contraparte simétrica) y la función $f(p) = 4p(1-p)$. Estas funciones son imposibles de construir exactamente mediante algoritmos clásicos que finalicen con probabilidad uno porque alcanzan el valor 1 en $p=1/2$.
2. Generación de Moneda Justa Interna: A diferencia de enfoques previos que pueden requerir fuentes de aleatoriedad clásica externas para subrutinas, este experimento genera una moneda justa exacta ($f(p) = 1/2$) directamente a partir de las estadísticas de la medición de Bell. La probabilidad de observar $|\Phi^+\rangle$ es exactamente $1/2$ independientemente del sesgo de entrada $p$.
3. Eficiencia de Recursos Constante: El experimento demuestra que el número promedio de quoins de entrada requeridos para generar estos resultados es constante e independiente de $p$. Específicamente, la moneda justa requiere dos quoins, y la función $f(p) = 4p(1-p)$ requiere cuatro quoins en promedio. Esto contrasta drásticamente con los métodos clásicos (por ejemplo, el esquema de von Neumann), donde el número de monedas requeridas diverge a medida que $p \to 0$ o $p \to 1$.

Los autores comparan los sesgos de salida medidos con las predicciones teóricas ideales, observando desviaciones atribuidas al ruido del dispositivo inherente al hardware superconductor.

Significancia
Este artículo establece una primitiva experimental simple y eficiente en recursos para el procesamiento de aleatoriedad de cuántica a clásica. Al utilizar el entrelazamiento y las mediciones de la base de Bell, el trabajo demuestra que los recursos cuánticos pueden superar a los clásicos en la generación de variables aleatorias específicas que son estrictamente imposibles de construir clásicamente. Los autores postulan que estos resultados respaldan la viabilidad de las fábricas de Bernoulli cuánticas para futuras tareas de simulación estocástica y muestreo mejoradas por la tecnología cuántica. El enfoque es distinto de demostraciones previas al generar las monedas justas necesarias internamente mediante las mismas estadísticas de medición, evitando así la necesidad de fuentes de aleatoriedad externa adicionales.