¿Cuál es la probabilidad de que una función booleana aleatoria tenga un grupo trivial de automorfismo?

9

Dada una función booleana , tenemos el grupo de automorfismo .A u t ( f ) = { σ S nx , f ( σ ( x ) ) = f ( x ) }fAut(f)={σSn x,f(σ(x))=f(x)}

¿Hay algún conocido en ? ¿Hay algo conocido para las cantidades de la forma para algún grupo ?P r f ( G A u t ( f ) ) GPrf(Aut(f)1)Prf(GAut(f))G

Samuel Schlesinger
fuente

Respuestas:

4

Si. A su primera pregunta, la probabilidad va a cero doble exponencialmente rápido. Esto se puede calcular de la siguiente manera. Para cada permutación , podemos limitar la probabilidad de que π A u t ( f ) , es decir, que f ( π ( x ) ) = f ( x ) para todo x { 0 , 1 } n . Considere las órbitas de π que actúan sobre { 0 , 1 } n . Tenemos que πππAut(f)f(π(x))=f(x)x{0,1}nπ{0,1}nπes un automorfismo de si f es constante en las órbitas π . Si π no es trivial, tiene al menos una órbita en [ n ] que no es un singleton y, por lo tanto, al menos en órbita en { 0 , 1 } n que no es un singleton. Suponga que la órbita tiene k elementos en ella. La probabilidad de que f sea ​​constante en esa órbita es, por lo tanto, precisamente 2 - ( k - 1 ) . Supongamos que π actuando sobre [ n ] tieneffππ[n]{0,1}nkf2(k1)π[n] puntos fijos, c 2 ciclos de longitud 2, etc. (en particularn i = 1 i c i = n ). Entonces, el número de puntos de { 0 , 1 } n fijado por π es precisamente 2 i c i . Todos los puntos restantes de { 0 , 1 } n están en órbitas no triviales de π . Al límite superior la probabilidad de que π A u t (c1c2i=1nici=n{0,1}nπ2ici{0,1}nπ , tenga en cuenta que la mejor posibilidad es si todos los elementos no fijos de { 0 , 1 } n vienen en órbitas de tamaño 2. Entonces obtenemos que P r ( π A u t ( f ) ) ( 1 / 2 ) M / 2 donde M = 2 n - 2 i c i . Ahora, queremos un límite inferior en M , lo que significa que queremos un límite superior eni cπAut(f){0,1}nPr(πAut(f))(1/2)M/2M=2n2iciM . Desde pi 1 , el mayor Σ c i puedo ser es cuando c 1 = n - 2 y c 2 = 1 , es decir, Σ c i = n - 1 y M = 2 n - 2 n - 1 = 2 n - 1 , entonces M 2 n - 1 y P r ( π iciπ1cic1=n2c2=1ci=n1M=2n2n1=2n1M2n1 . Ahora aplique el enlace de unión: | S n | = n ! , entonces P r ( ( π S n ) [ π 1  y  π A u t ( f ) ] ) n ! 2 - 2 nPr(πAut(f))(1/2)2n2|Sn|=n! , que es básicamente2nlgn- 2 n - 20comon, bastante rápido.PAGSr((πSnorte)[π1 y πUNAtut(F)])norte!2-2norte-22nortelgnorte-2norte-20 0norte

Para cualquier puede usar un razonamiento similar, pero la probabilidad también irá a cero muy rápidamente.solSnorte

Joshua Grochow
fuente
¿No sería la probabilidad de que f sea constante en la órbita $ 2 ^ {- k}?
Samuel Schlesinger el
1
Por cierto, gracias por esto, me recuerda mucho la prueba de la versión gráfica.
Samuel Schlesinger el
1
Oh, ya veo por qué son 2-(k-1)
Samuel Schlesinger el
1
@SamuelSchlesinger: Sí, similar. Creo que es aún más fácil en este caso porque el número de funciones booleanas es doblemente exponencial, mientras que el número de gráficos es solo . 2norte2-nortelgnorte
Joshua Grochow