En la teoría de extractores , una función de fusión de aleatoriedad extrae aleatoriedad de un conjunto de variables aleatorias, siempre que al menos una de ellas sea uniformemente aleatoria. Su nombre proviene del hecho de que puede considerarse un procedimiento que "fusiona" todas las variables en una sola, preservando al menos parte de la entropía contenida en la variable uniformemente aleatoria. Actualmente, las funciones de fusión se utilizan para construir explícitamente extractores de aleatoriedad.
Intuición y definición
Consideremos un conjunto devariables aleatorias ,, cada uno distribuido sobreAl menos una de ellas es aleatoria uniformemente; pero se desconoce cuál. Además, las variables pueden estar correlacionadas arbitrariamente: pueden ser funciones unas de otras, pueden ser constantes, etc. Sin embargo, dado que al menos una de ellas es uniforme, el conjunto en su conjunto contiene al menosbits de entropía.
La función de la fusión es generar una nueva variable aleatoria, también distribuida sobreque conserva la mayor cantidad posible de esa entropía. Idealmente, si se supiera cuál de las variables es uniforme, podría usarse como resultado, pero esa información se desconoce. La idea detrás de las fusiones es que, al usar una pequeña semilla aleatoria adicional, es posible obtener un buen resultado incluso sin saber cuál es la variable uniforme.
Una idea ingenua sería calcular la operación XOR de todas las variables. Si una de ellas tiene una distribución uniforme y es independiente de las demás variables, entonces la salida sería uniforme. Sin embargo, supongamos que...y ambos están distribuidos uniformemente, entonces el método no funcionaría.
Definición (fusión):
Una funciónse llama un-merger si para cada conjunto de variables aleatoriasdistribuido sobre, al menos una de las cuales es uniforme, la distribución detiene entropía mínima suave. La variabledenota la distribución uniforme sobrebits, y representa una semilla verdaderamente aleatoria.
En otras palabras, utilizando una pequeña semilla uniforme de longitud, la fusión devuelve una cadena que es-cerca de tener al menosmin-entropía ; esto significa que su distancia estadística de una cadena conLa min-entropía no es mayor que.
Recordatorio : Existen varias nociones para medir la aleatoriedad de una distribución; la min-entropía de una variable aleatoria.se define como el más grandede tal manera que el valor más probable deocurre con una probabilidad no mayor queLa min-entropía de una cadena es un límite superior a la cantidad de aleatoriedad que se puede extraer de ella. [ 1 ]
Parámetros
Hay tres parámetros que optimizar al construir fusiones:
- La min-entropía de la salidadebe ser lo más alto posible, ya que así se pueden extraer más bits.
- debe ser lo más pequeño posible, ya que después de aplicar un extractor a la salida de la fusión, el resultado será más uniforme.
- La longitud de la semillaDebe ser lo más pequeño posible, ya que así la fusión requiere menos bits iniciales verdaderamente aleatorios para funcionar.
Se conocen construcciones explícitas para fusiones con parámetros relativamente buenos. Por ejemplo, la construcción de Dvir y Wigderson da: [ 2 ] Para caday entero, si, existe una explícita-fusiónde tal manera que:
La demostración es constructiva y permite construir dicha fusión en tiempo polinomial con los parámetros dados.
Uso
Es posible utilizar fusiones para producir extractores de aleatoriedad con buenos parámetros. Recordemos que un extractor es una función que toma una variable aleatoria con alta min-entropía y devuelve una variable aleatoria más pequeña, pero cercana a la distribución uniforme. Se puede obtener un extractor de min-entropía arbitraria utilizando el siguiente esquema basado en fusiones: [ 2 ] [ 3 ]
- Dada una fuente de alta min-entropía, divídala en bloques. Según un resultado conocido, [ 4 ] al menos una de estas particiones también tendrá alta min-entropía como fuente de bloques.
- Aplique un extractor de bloques por separado a todos los bloques. Este es un tipo de extractor más débil, y se conocen buenas construcciones para él. [ 2 ] Dado que al menos uno de los bloques tiene una entropía mínima alta, al menos una de las salidas es muy cercana a la uniformidad.
- Utilice la función de fusión para combinar todas las salidas anteriores en una sola cadena. Si se utiliza una buena función de fusión, la cadena resultante tendrá una entropía mínima muy alta en relación con su longitud.
- Utilice un extractor conocido que funcione únicamente con fuentes de entropía mínima muy alta para extraer la aleatoriedad.
La esencia del método anterior consiste en utilizar la fusión para transformar una cadena con entropía mínima arbitraria en una cadena más corta, sin perder mucha entropía mínima en el proceso. Esta nueva cadena tiene una entropía mínima muy alta en relación con su longitud, lo que permite utilizar extractores antiguos y conocidos que solo funcionan con ese tipo de cadenas.
Véase también
Referencias
- ↑ De, Portmann, Vidick y Renner (2009). "El extractor de Trevisan en presencia de información lateral cuántica". SIAM Journal on Computing . 41 (4): 915– 940. arXiv : 0912.5514 . doi : 10.1137/100813683 . S2CID 5387876 .
{{cite journal}}: CS1 maint: nombres múltiples: lista de autores ( enlace ) Sección 2.2. - 1 2 3 Zeev Dvir y Avi Wigderson. "Conjuntos Kakeya, nuevas fusiones y antiguos extractores" (PDF) .
- ↑ Noam Nissan y Amnon Ta-Shma. "Extrayendo aleatoriedad: una revisión y nuevas construcciones" (PDF) .Sección 4.3.
- ^ Amnón Ta-Shma. "Refinando la aleatoriedad" .Tesis doctoral.
- Teoría de la complejidad computacional
- Algoritmos criptográficos
- generación de números aleatorios