Desigualdad de Fisher

La desigualdad de Fisher es una condición necesaria para la existencia de un diseño de bloques incompletos equilibrados , es decir, un sistema de subconjuntos que satisfacen ciertas condiciones prescritas en matemáticas combinatorias . Fue descrita por Ronald Fisher , un genetista de poblaciones y estadístico , que se ocupó del diseño de experimentos como el estudio de las diferencias entre varias variedades diferentes de plantas, bajo cada una de una serie de condiciones de crecimiento diferentes, llamadas bloques .

Dejar:

• v sea el número de variedades de plantas;
• b sea el número de bloques.

Para que un diseño de bloque incompleto sea equilibrado se requiere que:

• en cada bloque hay k variedades diferentes, 1 ≤ k < v ; ninguna variedad aparece dos veces en ningún bloque;
• cualesquiera dos variedades ocurren juntas en exactamente λ bloques;
• Cada variedad aparece exactamente en r bloques.

La desigualdad de Fisher establece simplemente que

y .​​

Sea la matriz de incidencia M una matriz v × b definida de modo que M _i,j sea 1 si el elemento i está en el bloque j y 0 en caso contrario. Entonces B  =  MM ^T es una matriz v × v tal que B _i,i = r y B _i,j = λ para i ≠ j . Como r ≠ λ , det( B ) ≠ 0 , entonces rank( B ) = v ; por otro lado, rank( B ) ≤ rank( M ) ≤ b , entonces v ≤ b .

La desigualdad de Fisher es válida para clases más generales de diseños. Un diseño equilibrado por pares (o PBD) es un conjunto X junto con una familia de subconjuntos no vacíos de X (que no necesitan tener el mismo tamaño y pueden contener repeticiones) de modo que cada par de elementos distintos de X esté contenido en exactamente λ (un entero positivo) subconjuntos. Se permite que el conjunto X sea uno de los subconjuntos, y si todos los subconjuntos son copias de X , el PBD se denomina "trivial". El tamaño de X es v y el número de subconjuntos en la familia (contados con multiplicidad) es b .

Teorema: Para cualquier PBD no trivial, v ≤ b . ^[1]

Este resultado también generaliza el teorema de Erdős-De Bruijn :

Para un PBD con λ = 1 que no tiene bloques de tamaño 1 o tamaño v , v ≤ b , con igualdad si y solo si el PBD es un plano proyectivo o un lápiz cercano (lo que significa que exactamente n  − 1 de los puntos son colineales ). ^[2]

En otra dirección, Ray-Chaudhuri y Wilson demostraron en 1975 que en un diseño 2 s -( v , k , λ) , el número de bloques es al menos . ^[3]${\displaystyle {\binom {v}{s}}}$

• RC Bose , "Una nota sobre la desigualdad de Fisher para diseños de bloques incompletos equilibrados", Annals of Mathematical Statistics , 1949, páginas 619–620.
• RA Fisher, "Un examen de las diferentes soluciones posibles de un problema en bloques incompletos", Annals of Eugenics , volumen 10, 1940, páginas 52–75.
• Stinson, Douglas R. (2003), Diseños combinatorios: construcciones y análisis , Nueva York: Springer, ISBN 0-387-95487-2
• Street, Anne Penfold ; Street, Deborah J. (1987). Combinatoria del diseño experimental . Oxford UP [Clarendon]. ISBN 0-19-853256-3.