¿Cuál es el significado del XOR Lemma de Yao?

Estudié esto en un contexto particular, y creo que el lema tiene una variedad de formas; Pero puedo explicar lo que sé.

El lema XOR dice que dadas dos distribuciones C0 y C1 con una diferencia estadística particular, puede encontrar un par de distribuciones D0 y D1 con diferencia estadística reducida intercalando las dos distribuciones con XOR.

Defina muestras de D0 y D1 como k-tuplas de muestras de C0 y C1, donde k-tuplas en D0 contienen un número par de muestras de C0, y k-tuplas en D1 contienen un número impar. Si hace esto, sucede que la nueva diferencia estadística es exactamente la original elevada a una potencia de k.

Una cosa a tener en cuenta sobre el proceso anterior es que las pequeñas diferencias estadísticas se hacen más pequeñas más rápido que las grandes. Entonces hay un tipo de amplificación.

Hay un lema muy relacionado, el lema directo del producto. Dice que dado C0 y C1, puede encontrar un par D0 y D1 que aumenta la diferencia estadística. Para hacer eso, define D0 como el producto tensorial de C0 consigo mismo, y de manera similar para D1 y C1. Aquí, el caso es que las grandes diferencias estadísticas se hacen más grandes más rápido que las pequeñas.

Hay algo llamado el lema de polarización, que, al alternar el lema XOR y el lema directo del producto, toma dos distribuciones que se prometen estar muy cerca o muy separadas, y genera un par de distribuciones que están respectivamente muy cerca o muy lejos. Una cosa en la que se usa, que también es donde lo vi, es en la prueba de que la diferencia estadística está completa con SZK.

More Interesting

¿Podría un genio aleatorio resolver el problema P vs NP o pasará a través de avances muy lentos en la ciencia por un grupo de personas que trabajan juntas?

Cómo construir una computadora fuera del agua, y cómo ayuda esto con Navier-Stokes

¿Cómo va NP-hard dentro de NP-complete? Si encontramos un algoritmo no determinista para NP-hard, ¿sería un NP-complete?

¿Cuál es la mejor manera de resolver una matriz de 5 × 5?

¿Se puede descifrar algún código?

¿Existe un algoritmo generalizado para convertir una malla de superficie triangular 3D en una malla de volumen tetraédrico?

¿Cómo escribiría una función que encuentre la entrada máxima n tal que f (n) <c en el tiempo O (lg n)?

Si una solución correcta a la Hipótesis de Riemann, P = NP, o la Teoría de campo unificada se presentara de forma anónima, ¿cuántas personas podrían ser consideradas sospechosas?

Cómo salir de la culpa de buscar la solución del problema

¿Por qué identificamos algoritmos que actúan en diferentes tamaños de entrada?

¿Por qué es importante considerar las anotaciones asintóticas (como límite superior, límite inferior y límite estrecho)?

Ciencias de la computación teóricas: ¿Hay una prueba para: "La mejora personal recursiva es posible"?

Teóricamente, ¿se puede implementar algún algoritmo en el marco de MapReduce?

¿Qué significa una garantía teórica en el aprendizaje automático?

¿Existe una función que crece más rápido que cualquier función computable, pero que crece a un ritmo fundamentalmente más lento que el de la función Busy Beaver?