Una variación en la discrepancia que involucra gráficos aleatorios

9

Supongamos que tenemos un gráfico en nodos. Nos gustaría asignar a cada nodo un o un . Llame a esto una configuración . El número de s que tenemos que asignar es exactamente (por lo tanto, el número de s es ). Dada una configuración , observamos cada nodo y sumamos los valores asignados a sus vecinos, llame esto . Luego contamos el número de nodos para los cuales no es negativo: + 1 - 1 σ { + 1 , - 1 } n + 1 s - 1 n - s σ i ξ i ( σ ) ξ i ( σ ) N ( σ ) : = n i = 1 1 { ξ i ( σ ) 0 } .n+11σ{+1,1}n+1s1nsσiξi(σ)ξi(σ)

N(σ):=i=1n1{ξi(σ)0}.
La pregunta es: ¿cuál es la configuración que maximiza ? Más importante aún, ¿podemos dar un límite en en términos de s / n . Me pregunto si este problema le resulta familiar a alguien, o si se puede reducir a algún problema conocido en la teoría de grafos. Si ayuda, se puede suponer que el gráfico es aleatorio del tipo Erdős-Renyi (digamos, G (n, p) con probabilidad de borde p ~ (\ log n) / n , es decir, un grado promedio de crecimiento como \ log n ). El interés principal es en el caso donde s / n \ in (0,1 / 2) .σN(σ)(maxN)/ns/np (logn)/nlogns/n(0,1/2)
transeúnte51
fuente
1
Cambié el título, porque lo que estás preguntando está relacionado con problemas de discrepancia en espacios de rango. Sin embargo, NO está relacionado con la discrepancia en los gráficos (que trata más sobre las desviaciones de la densidad del borde)
Suresh Venkat
2
enlace simple: tomar al azar; , donde es el grado de vértice y es algo constante. Entonces, . Si dice y el gráfico es -regular, entonces existe tal que . Pr [ ξ i ( σ ) < 0 ] exp ( - C δ i ( s / n - 1 / 2 ) 2 ) δ i i C E [ N ( σ ) ] sigma i 1 - exp ( - C δ i ( s / n - 1 / 2 ) 2σPr[ξi(σ)<0]exp(Cδi(s/n1/2)2)δiiC s = 3 n / 4 ( 16 / C ) log n σ N ( σ ) n - O ( 1 )E[N(σ)]i1exp(Cδi(s/n1/2)2)s=3n/4(16/C)lognσN(σ)nO(1)
Sasho Nikolov
@Suresh: Gracias. Eso es lo que me gusta de preguntarle a los informáticos, ¡aprendes algo nuevo! Entonces, ¿dónde es un buen lugar para aprender sobre problemas de discrepancia en el espacio de rango? (¿Quizás un documento breve y conciso?)
transeúnte51
1
@ Sasho: Gracias. Por alguna razón, no puedo ver las ecuaciones correctamente (han chocado con el texto circundante). Intentaré leerlo y responderle. Pero debo mencionar que el régimen interesante para mí es y el problema parece ser más difícil a medida que acerca a . (Esto se debe a la consideración de la simetría en el problema original de donde vino esto). No creo que mirar un aleatorio lo haga para . s / n 1 / 2 σ s / n ( 0 , 1 / 2 )s/n(0,1/2)s/n1/2σs/n(0,1/2)
passerby51
La conjetura / esperanza es que para decir G (n, p) con o . Acabo de darme cuenta del error tipográfico en mi publicación original con respecto a la . Lo siento por eso. El grado de avarage está creciendo a medida que no . p ( log n ) / n p ( log n ) 1 + ϵ / n p log n p(maxN)/n=o(1)p (logn)/np (logn)1+ϵ/nplognp
passerby51

Respuestas:

8

Podría abordar esto con un cálculo del "método del segundo momento", similar al que usé en Un umbral agudo para un problema de satisfacción de restricción aleatoria , Discrete Mathematics 285 / 1-3 (2004), 301-305.

Cuando el grado promedio crece como tiempos constantes suficientemente grandes , este enfoque a menudo ha sido suficiente para encontrar con precisión el umbral de satisfacción. Posiblemente también podría mostrar la fracción de cláusulas que pueden cumplirse en una instancia insatisfactoria, aunque no he investigado eso.logn

Para que su problema se parezca más al mío general, puede verlo como un "MAX-AT-LEAST-HALF-SAT" con una estructura gráfica especial subyacente a las cláusulas de la fórmula CNF. Sin embargo, no creo que esta estructura especial ayude en el análisis del peor de los casos, y dado que el tamaño de su cláusula no es uniforme y su conjunto de asignaciones "malas" está creciendo, tendrá que pasar por el cálculo y ver si todavía funciona.

Abraham D Flaxman
fuente
mirar esto como un CSP parece realmente mejor que mirarlo como un problema de discrepancia
Sasho Nikolov
Gracias. Esto se ve muy interesante. Lo investigaré.
passerby51
3

Permítanme detallar mi comentario. Primero, esto es similar a la discrepancia, pero por supuesto diferente en varias formas. Dado un sistema de conjuntos , la discrepancia del sistema es . Denotemos. Su definición difiere en que desea saber cuántos conjuntos son positivos y la discrepancia le pregunta qué tan grande es en magnitud en el peor de los casos. Para una introducción rápida, tal vez mis notas de escriba puedan ayudar. Chazelle tiene un buen libro que entra en muchos detalles.S 1 , ... , S m{ 1 , ... n } = [ n ] min σ : [ n ] { ± 1 } max j | i S j σ ( i ) | σ ( S j ) = | i S j σ ( i ) | σmS1,,Sm{1,n}=[n]minσ:[n]{±1}maxj|iSjσ(i)|σ(Sj)=|iSjσ(i)|σ ( S j )σ(Sj)σ(Sj)

Para un límite inferior probabilístico fácil cuando , como en mi comentario, dado un gráfico con secuencia de grados , puede elegir uniforme al azar de todas las secuencias con 's ( no son independientes, pero también debería ser posible probar un límite de Chernoff en este caso). Tenemos , por un límite de Chernoff, para alguna constante . Entonces . Entonces existe algunaG = ( [ n ] , E ) δ 1 , , δ n σ s 1 σ i E [ ξ i ( σ ) ] = δ i s / n Pr [ ξ i ( σ ) < 0 ] exp ( - C δ i ( s / ns>n/2G=([n],E)δ1,,δnσs 1σiE[ξi(σ)]=δis/nC E [ N ( σ ) ] n - Σ i exp ( - C δ i ( s / n - 1 / 2 ) 2 ) σPr[ξi(σ)<0]exp(Cδi(s/n1/2)2)CE[N(σ)]niexp(Cδi(s/n1/2)2)σ que logra este límite.

EDITAR: Parece que está interesado en el caso . Seleccionemos al azar de la misma manera que en el párrafo anterior. Usando una versión del teorema del límite central para el muestreo sin reemplazo ( es una muestra de tamaño sin reemplazo de los vértices del gráfico), debería poder mostrar que comporta como un gaussiano con media y varianza sobre , entonces para algunos C y un parámetro de error del teorema del límite central. Deberíamos tenerσ σ s ξ i ( σ ) δ i ( 2 s / n - 1 ) δ i Pr [ ξ i ( σ ) 0 ] = exp ( - C δ i ( 2 s / n - 1 ) 2 ) ± η ( n ) η ( n )s<n/2σσsξi(σ)δi(2s/n1)δiPr[ξi(σ)0]=exp(Cδi(2s/n1)2)±η(n)η(n)nη(n)=o(n), para que pueda tomar .N(σ)iexp(Cδi(2s/n1)2)o(n)

Descargos de responsabilidad: esto solo tiene sentido si son constantes / pequeños o si está muy cerca de . Además, los cálculos son algo heurísticos y no se realizan con mucho cuidado.δis/nn/2

Sasho Nikolov
fuente
Gracias por los lindos enlaces y el argumento. Me gusta el argumento probabilístico, pero creo que hay algo mal con tu límite. Puede ver esto, estableciendo , para lo cual deberíamos tener . Parece que esto fue lo que salió mal: si elige uniforme al azar del conjunto especificado en el problema, cada tiene un problema. de ser y prob. de de ser . Por lo tanto, que es negativo para ...s=0Pr[ξi(σ)<0]=1σσjγ:=s/n+11γ1E[ξi(σ)]=(2γ1)δiγ(0,1/2)
passerby51
El no será independiente y, estrictamente hablando, no podemos usar la desigualdad de Hoeffding. Pero ignoremos este pequeño detalle y asumámoslo iid. Entonces, el límite sería que se cumple para . No podemos establecer para obtener . {σj}t0t=2γ-1<0Pr[ξi(σ)<0]Pr[1δiξi(σ)<t+2γ1)exp(δit2/2)t0t=2γ1<0Pr[ξi(σ)<0]
passerby51
lo siento, debería haber especificado eso: la suposición aquí era que . de lo contrario, esto no tiene sentido y necesitas algo más fuerte como Berry-Esseen. Creo que se puede suponer que es esencialmente independienteσ js>n/2σj
Sasho Nikolov
@ passerby51 agregó un bosquejo de cómo podría intentar usar una versión cuantitativa del teorema del límite central para extender el límite probabilístico a . s/n<1/2
Sasho Nikolov