Articulo de referencia

fusión aleatoria

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 uniformemen...

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 dek{\displaystyle k}variables aleatorias ,incógnita1,,incógnitak{\displaystyle X_{1},\ldots ,X_{k}}, cada uno distribuido sobre{0,1}norte{\displaystyle \{0,1\}^{n}}Al 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 menosnorte{\displaystyle n}bits de entropía.

La función de la fusión es generar una nueva variable aleatoria, también distribuida sobre{0,1}norte{\displaystyle \{0,1\}^{n}}que 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...incógnita1=incógnita2{\displaystyle X_{1}=X_{2}}y ambos están distribuidos uniformemente, entonces el método no funcionaría.

Definición (fusión):

Una funciónMETRO:({0,1}norte)k×{0,1}d{0,1}norte{\displaystyle M:(\{0,1\}^{n})^{k}\times \{0,1\}^{d}\rightarrow \{0,1\}^{n}}se llama un(metro,ε){\displaystyle (m,\varepsilon)}-merger si para cada conjunto de variables aleatorias(incógnita1,,incógnitak){\displaystyle (X_{1},\ldots ,X_{k})}distribuido sobre{0,1}norte{\displaystyle \{0,1\}^{n}}, al menos una de las cuales es uniforme, la distribución deZ=METRO(incógnita1,,incógnitak,Ud){\displaystyle Z=M(X_{1},\ldots ,X_{k},U_{d})}tiene entropía mínima suaveHε(Z)metro{\displaystyle H_{\infty }^{\varepsilon }(Z)\geq m}. La variableUd{\displaystyle U_{d}}denota la distribución uniforme sobred{\displaystyle d}bits, y representa una semilla verdaderamente aleatoria.

En otras palabras, utilizando una pequeña semilla uniforme de longitudd{\displaystyle d}, la fusión devuelve una cadena que esε{\displaystyle \varepsilon }-cerca de tener al menosmetro{\displaystyle m}min-entropía ; esto significa que su distancia estadística de una cadena conmetro{\displaystyle m}La min-entropía no es mayor queε{\displaystyle \varepsilon }.

Recordatorio : Existen varias nociones para medir la aleatoriedad de una distribución; la min-entropía de una variable aleatoria.Z{\displaystyle Z}se define como el más grandek{\displaystyle k}de tal manera que el valor más probable deZ{\displaystyle Z}ocurre con una probabilidad no mayor que2k{\displaystyle 2^{-k}}La 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:

  1. La min-entropía de la salidametro{\displaystyle m}debe ser lo más alto posible, ya que así se pueden extraer más bits.
  2. ε{\displaystyle \varepsilon }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.
  3. La longitud de la semillad{\displaystyle d}Debe 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 cadaα>0{\displaystyle \alpha >0}y enteronorte{\displaystyle n}, sik2o(norte){\displaystyle k\leq 2^{o(n)}}, existe una explícita(metro,ε){\displaystyle (m,\varepsilon)}-fusiónMETRO:({0,1}norte)k×{0,1}d{0,1}norte{\displaystyle M:(\{0,1\}^{n})^{k}\times \{0,1\}^{d}\rightarrow \{0,1\}^{n}}de tal manera que:

  1. metro=(1α)norte,{\displaystyle m=(1-\alpha )n,}
  2. d=O(registro(norte)+registro(k)),{\displaystyle d=O(\log(n)+\log(k)),}
  3. ε=O(1nortek).{\displaystyle \varepsilon =O\left({\frac {1}{n\cdot k}}\right).}

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

  1. 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.
  2. 1 2 3 Zeev Dvir y Avi Wigderson. "Conjuntos Kakeya, nuevas fusiones y antiguos extractores" (PDF) .
  3. Noam Nissan y Amnon Ta-Shma. "Extrayendo aleatoriedad: una revisión y nuevas construcciones" (PDF) .Sección 4.3.
  4. ^ Amnón Ta-Shma. "Refinando la aleatoriedad" .Tesis doctoral.