Disc Rile Bart
Disc Rile Bart
1
Señalamos en la literatura de lengua inglesa a la obra de síntesis (con más de 1200 referencias) de
McLachlan (1992) y los artículos, igualmente de síntesis, de Lachenbruch y Goldstein (1979), de
Gnanadesikan (1989); entre los manuales clásicos generalistas que tratan el análisis discriminante,
Anderson (1958, 2da Ed. 1984), Cacoullos (1973), Krishnaiah y Kanal (1982), entre los manuales más
especializados, Goldstein y Dillon (1978), Hand (1981). En el dominio de los métodos estadísticos de
reconocimiento de formas, de nuevo la obra precitada de McLachlan, las obras de base son Fukunaga (1972),
Duda y Hart (1973), Devijver y Kittler (1982). Agravala (1977) contienen las reimpreiones de referencias
histótocas.
2
En este capítulo el vector y tiene sus componentes enteros que corresponden a los números de las clases, y
Y designa a la tabla disyuntiva de oreden (n,q) correspondiente.
x, x, x1, x2,...,xp
n observaciones 1
(muestra de Funciones 1
aprendizaje) X discriminantes k
q
n’observaciones
(suplementarias) afectación ?
Para fijar ideas considérese una tabla de datos (200, 30) que contiene, para 200 enfermos,
los valores de p=30 variables resultados de análisis biológicos y de exámenes clínicos.
Adicionalmente existe una partición de estos 200 enfermos en q=3 categorías de
diagnósticos realizados a partir de intervenciones mucho más costosas que las 30 medidas
precedentes. Aparece la siguiente pregunta: teniendo datos para pacientes suplementarios
(cantidad n’) sobre los que se realizan los 30 análisis y exámenes, se pueden prever sus
categorías de diagnóstico?. La pregunta respondida aquí tiene una connotación paráctica1:
las numerosas medidas pero fáciles de tomar pueden contener una información sobre un
fenómeno o un estado más difícil de identificar?.
Sea la tabla de datos X con n filas (individuos u observaciones) y p columnas (variables), de
termino general xij. Los n individuos están particionados en q clases. Cada clase k caracteriza
a una subnube Ik de nk individuos i, con:
q
∑n
k =1
k =n
1
Los ejemplos más clásicos del análisis discriminante aparecen sin duda en el dominio médico (ayuda al
diagnóstico, ayuda a una decisión en materia de intervención) pero numerosas aplicaciones se desarrollan en
el dominio de puntaje bancario (previsión de un eventual incumplimiento de un deudor), en el control de
calidad (previsión de la calidad de un producto en agroindustria a partir de medidas externas) y sobre todo
del reconocimiento de formas (reconocimiento de caracteres manuscritos o de imágenes de radar, etc).
I3 I1
G3 × G ×
× G1
G2
×
I2
Figura 3.3.2 Representación de la nube de individuos particionados.
p
a (i ) = ∑ a j ( xij − x j )
j =1
La varianza var(a) de la nueva variable sintética a(i) será, ya que a(i) está centrada:
2
1 n p
var (a) = ∑ a (i ) = ∑ ∑ a j (xij − x j )
1 n 2
n i =1 n i =1 j =1
Intercambiando las sumatorias y denominando:
j =1 j ' =1
donde a designa al vector en donde las p componentes son a1, a2,..., ap y T la matriz de
covarianzas de las p variables, de término general tjj’.
Se va a mostrar que la varianza de a se descompone en varianza intra-clases y en varianza
inter-clases, que aquí corresponde a una descomposición análoga de la matriz de covarianzas
T.
∑ (x
i∈I k
ij − x kj )(x kj ' − x j ' ) = (x kj ' − x j ' )∑ (xij − x kj ) = 0
i∈I k
∑ (x
i∈I k
kj − x j )(xij ' − x kj ' ) = 0
con:
1
La matriz de covarianzas total T se descompone en una matriz de inercia intraclases D (en las clases) y en
una matriz de inter-clases E (entre clases).
Ea = λTa [3-.3-3]
Como la matriz de covarianza T es invertible, se obtiene:
T-1E a = λa
- a es el vector propio de T-1E asociado al valor propio λ más grande.
Premultiplicando los dos miembros de [3.3-3] por el vector a’ se constata que a’Ea, el
máximo buscado, no es otro que λ.
El valor propio más grande λ, cociente de la varianza externa de la función discriminante
sobre la varianza total, es inferior a 1 según la relación [3.3-1]. Se llamará algunas veces
poder discriminante de la función a.
Notas:
Encontrar el máximo del cociente b’Eb/b’Db las combinaciones lineales discriminantes b
será entonces los vectores propios de la matriz D-1E donde la matriz D-1 define la métrica de
Mahalanobis. El valor propio µ correspondiente, solución de D-1Eb=µb está relacionado
con por la fórmula:
µ = λ/(1-λ)
Se tiene evidentemente µ ≥ λ, ya que la varianza interna es siempre inferior a la varianza
total.
El vector b es como a solución de la ecuación [3.3-3] pero debe respetar la restricción
b’Db=1.
Los vectores a y b están ligados por la relación2:
a= ( 1 − λ )b
c - Diagonalización de una matriz simétrica
La matriz T-1E no es simétrica. Pero es posible recurrir a la diagonalización de una matriz
(q,q) simétrica. (Recordemos que p es el número de variables y q el número de clases, que
cumplen en la mayoría de aplicaciones q < p).
En efecto la matriz E, de término general:
1
Como en análisis general (sección 1.1) o en análisis canónico (sección 3.1), estas sumas conducen a anular
el vector de derivadas parciales del lagrangiano L =a’Ea-λ(a’Ta-1) con respecto a a, de donde resulta la
relación 2Ea – 2λTa = 0, de donde finalmente Ea = λTa.
2
Haciendo a = ξb, las dos relaciones a’Ea=λ y b’Eb =µ conducen a la relación ξ2b’Eb = λ, de donde:
ξ µ=λ y ξ=√(1-λ)
2
c jk =
nk
(x kj − x j )
n
Con la descomposición E = CC’, la relación [3.3-3] se escribe:
CC’a = λTa
Llegando a:
a = T-1Cw
esta relación se escribe entonces:
CC’T-1Cw = λCw
Es claro que todo vector propio w relativo a un valor propio (diferente de 0) de la matriz
simétrica CC’T-1C de orden (q,q) verifica igualmente [3-3-6].
El vector a y el escalar λ verifican entonces la relación [3.3-3]. En la practica se efectúa la
diagonalización de esta matriz simétrica1, después se deduce a a partir de la transformación
[3.3-5].
a - El análisis canónico
Como en el análisis de correspondencias múltiples, la variable nominal con q clases será
representada por un código disyuntivo completo. Se construye entonces una matriz Y con n
filas y q columnas de término general yik de valor 1 si el individuo i pertenece a la clase k y 0
si no. Dicho de otra forma se agregan a las variables iniciales X variables artificiales Y que
indican la pertenencia a las diversas clases.
1
Además esta matriz simétrica de orden (q,q) será en general notablemente más pequeña que la matriz no
simétrica T-1E de orden (p,p).
p q
j k
X Y
n
xi1, xi2,……...,xip 00010
Nótese que a diferencia con el análisis canónico, las columnas de Y no están centradas: la
suma de los elementos de su k-ésima columna vale nk.
El análisis canónico de la tabla [ X̂ ,Y] conduce a buscar el vector propio a de la matriz N
(fórmula [3.1 – 4] de 3.1.2.a):
N = ( X̂ ´ X̂ )-1 X̂ Y(Y’Y)-1Y´ X̂
Explicitemos los diferentes elementos de la matriz N teniendo en cuenta la naturaleza
particular de las columnas de Y:
1 ˆ ˆ
- la matriz X' X es la matriz de covarianzas empíricas denominada antes como T.
n
- Las matriz D = Y’Y es diagonal y su k-ésimo elemento diagonal vale nk, frecuencia
de la k-ésima clase1.
- La matriz de p filas y q columnas H = X̂ ’Y tiene por termino general:
h jk = ∑ xˆ ij y ik = ∑ (x ij − x j )y ik = ∑ (xij − x j ) = n k (x kj − x j )
n n
i =1 i =1 i∈I k
o sea:
ˆ ' Y = nC(Y' Y )1 / 2
H=X
n
1
En efecto se tiene la relación ∑y
i =1
ik y ik ' = δ kk ' n k cuando el individuo i pertenece a la clase k o a la clase
k’; δkk’=1 si k=k’ y vale 0 si no. Para k=k’, habrá términos no nulos en la suma de los individuos en la
clase k.
Puesto que:
(Xˆ ' Xˆ )
−1
=
1 −1
n
T
La matriz N queda finalmente N = T-1E y el vector a buscado verifica bien la relación [3.3-
3]:
Ea = λTa
Se puede igualmente notar que se tienen para los dos tipos de análisis, la misma restricción
de normalización:
a’Ta = 1
Hay entonces coincidencia entre la variable canónica y la función discriminante. El análisis
discriminante aparece entonces como un caso particular del análisis canónico (sin centrado
previo de las variables indicadoras) cuando uno de los dos conjuntos está constituido de
vectores booleanos que describen la partición del conjunto de los individuos.
b - El análisis de correspondencias
Cuando la tabla subtabla X describe también una partición en p clases, los resultados del
parágrafo precedente muestran inmediatamente que el análisis de correspondencias es un
caso particular del análisis factorial discrimínante.
p q
k k'
X Y
n
01000 00010
1
n es aquí la frecuencia total que se ha denominado k en la sección 1.3.
2
La primera raíz canónica λ2 es homologada al primer valor propio notado λ precedentemente para el
análisis de correspondencias.
1
La suma de las columnas de X y la suma de las columnas de Y constituyen el vector que tiene todas las
componentes iguales a 1.
2
Esta presentación permite mostrar directamente que los valores propios del análisis de correspondencias,
que son los coeficientes de la correlación canónica (o de los poderes discriminantes) son inferiores o iguales
a 1. Se podrán interpretar los valores propios del análisis de correspondencias en termino del poder
discrimínate de los factores (ejes factoriales) con respecto las particiones estudiadas.
B
A G3
×
I1 × I3
G1
G2
×
I2
1
Es claro que esta métrica tiene en cuenta una cierta anisotropia (orientación preferencial) de la densidad.
Solo tiene sentido entonces si los elipsoides de densidad son los mismos al interior de cada clase. Esto es
precisamente lo que caracteriza al análisis discriminante lineal, en oposición al análisis discriminante
cuadrático, que permite densidades de formas diferentes, y entonces métricas diferentes para cada clase.
1
Para una exposición del enfoque bayesiano que tiene un cuadro conceptual específico en la teoría de la
estimación y la decisión estadística, ver Robert (1992).
P (x I k ) P ( I k )
P ( I k x) = q
∑ P (x I
k =1
k ) P( I k )
El denominador es el mismo para todas las clases. La clase de afectación de x será aquella
para la cual el producto P(x I k ) P( I k ) es máximo. Si las probabilidades a priori P( Ik) son
iguales para todos los valores de k, las clasificaciones según P(Ik |x) y P(x | Ik) son idénticas.
Para validar la eficacia de las reglas de afectación, se miden los errores de clasificación por
los métodos de remuestreo, específicamente mediante la validación cruzada o el bootstrap
(cf. §4.2.2). Al igual que en el caso del modelo lineal, la selección de variables explicativas
es una operación delicada. El estudio de la estabilidad de funciones discriminantes es difícil.
Las reglas de afectación así como la estimación de las tasas de error de clasificación
dependen a menudo del tamaño de la muestra de aprendizaje.
que es equivalente a minimizar sobre k la función sc k (x) llamada puntaje discriminante (sc
= score discriminant):
sc k ( x) = ( x − µ k ) ′Σ k−1 (x − µ k ) + log Σ k − 2 log[P ( I k )] [3.3 – 7]
En el caso en que se suponga que las distribuciones en cada clase tengan la misma matriz de
covarianzas (caso ilustrado por la figura 3.3 – 5), la densidad se escribe:
−p − 12 1
f k ( x) = 2π ) 2
Σ exp − (x − µ k ) ′Σ −1 ( x − µ k )
2
Si además las probabilidades a priori son iguales, el puntaje discriminante coincide con la
distancia de Mahalanobis:
sc k (x) = (x − µ k ) ′Σ −1 (x − µ k ) [3.3 – 9]
En la práctica se sugiere sustituir estos parámetros por las estimaciones empíricas. Esta
sustitución es igualmente justificada por el enfoque descriptivo desarrollado antes de esta
sección, en la que la distancia de Mahalanobis aparece de manera natural, al buscar el
máximo del cociente de la varianza externa sobre la varianza interna, sin recurrir a la
hipótesis de normalidad.
Los puntajes discriminantes utilizados en la práctica, cuando la hipótesis de normalidad es
plausible, son entonces los presentados aquí con la utilización de los estimadores empíricos
de los parámetros.
La validación cruzada
La medida de la calidad de una discriminación se hace a partir de los porcentajes de bien
clasificados (o de mal clasificados) en cada clase y del porcentaje global de bien clasificados.
Esta medida puede incluir, en ciertas aplicaciones, los costos de mala clasificación.
Se puede calcular un porcentaje de bien clasificados sobre la muestra de aprendizaje, lo que
dará una idea optimista de la calidad de la discriminación. Este porcentaje de bien
clasificados aumenta con el número de parámetros del modelo, y puede ser excelente si el
número de parámetros es considerable, hecho que no asegura que el modelo permitirá
1
El origen de ésta práctica se puede deber a Higheyman (1962), pero probablemente fue utilizada
anteriormente, ya que sus principios gozan de buen sentido. Ha sido exaltada notablemente por Romeder
(1973).
2
Atribuida a Lachenbruch y Mickey, 1968, este método (cross-validation) se ha utilizado desde 1964 por los
investigadores rusos, según Toussaint (1974). Sus propiedades han sido estudiadas por Stone (1974) y
Geisser (1975). Hand (1986) realizó una revisión.
3
Cf.,por ejemplo, Celeux (1990) para el caso de funciones lineales discriminantes.
2
Cf. por ejemplo: Wilkinson (1965); Kato (1966) y los trabajos de Escofier y Leroux (1972) que utilizan los
resultados de estas teorías en análisis factorial.
1
Cf. los trabajos de Wold (1976). Benzécri (1977a) recomienda que los análisis discriminantes se realicen
sobre los ejes de un análisis factorial previo.
2
Encadenamiento conocido en particular con el nombre de método DISQUAL (Saporta 1977).
1
Lo que es aceptable para el análisis discriminante cualitativo y, como veremos, para el análisis discrimínate
baricéntrico, se aconseja a proceder previamente haciendo una primera selección de variables nominales
explicativas cruzando por ejemplo cada una de ellas con la partición a explicar y, y calculando las χ2
correspondiente, y guardando aquellas que correspondan a los χ2 más significativos.
(x1, x2,...,xp) (apilamiento de tablas de contingencia): las filas son las categorías de y y las
columnas corresponden a la yuxtaposición de las categorías de (x1, x2,...,xp).
Se trata, en efecto, de la banda de la tabla de Burt que permite describir las relaciones
existentes entre la variable a explicar y el conjunto de variables explicatrivas (cf. §1.4.7.b;
Saporta 1975a; Leclerc 1976).
Colocando como elementos suplementarios a la nube de individuos caracterizados por las
variables explicativas, se realiza una reafectación similar a la del análisis discriminante (cf.
Nakache et al. 1977).
Cuando las variables son independientes dos a dos, el análisis discriminante baricéntrico es
equivalente al análisis factorial discriminante cualitativo (ya que el análisis de una banda de la
tabla de Buró es entonces equivalente al análisis de la tabla completa). En el caso general, el
es en teoría, menos apropiado porque, como se ha visto en §1.4.7.b, no tiene en cuenta las
relaciones entre las variables explicativas. Se utiliza, sin embargo, ampliamente en razón a su
simplicidad y robustez (cf. Carlier, en: Celeux y Nakache 1994).
1
Cf. en el caso de análisis aplicados a la detección de quiebras de empresas (a partir de la selección de
variables continuas): Bardos (1984, 1989).
2
Los encadenamientos para el cálculo del análisis discriminante cualitativo, la función de puntaje y el
análisis baricéntrico (construcción de una banda de la tabla de Burt) están previstos en el programa
SPAD.N.
3
Son los informáticos industriales quienes han originado estos métodos.
1
Citamos en particular los artículos de síntesis de Ripley (1993, 1994) y de Cheng y Titterington (1994).
x1 wjm
vmk
y1
x2
x3 y2
x4
y3
x5
Capa
oculta
Entrada Salida
Figura 3.3 - 8
Perceptrón con una capa oculta
c p
y k = Φ 0 a k + ∑ v mk Φ a m + ∑ w jm x j
m= 1 j =1 [3.3 - 17]
La función Φo puede ser, según los casos, lineal. logística o un umbral (por ejemplo Φo(z)=0
si z ≤ 0 y Φo(z) = 1 si z>0).
Se ve que la figura 3.3 - 8 es útil para visualizar el encadenamiento de las funciones
correspondientes a las etapas de tratamiento. La lectura de derecha a izquierda de la figura
corresponde naturalmente a una lectura de izquierda a derecha de la fórmula [3.3 - 17]. Hay
{c(p+1)+q(c+1)} parámetros a estimar.
La ecuación [3.3 - 17] corresponde a una observación (i). Se tienen en realidad n ecuaciones
de este tipo, cada una hace intervenir q valores yk(i) (valores 0 o 1 si se trata de la
pertenencia a una clase de una partición en q clases) y p valores xj(i).
La estimación de los parámetros se hace minimizando una función de pérdida, que puede ser
simplemente la suma de cuadrados de las desviaciones entre los valores calculados y los
valores observados yk(i) en la muestra de aprendizaje1.
Notemos que para una salida binaria (dos clases posibles para y que puede entonces ser un
escalar que toma los valores 0 o 1) y un perceptrón sin capa oculta , se encuentra en el
cuadro del modelo de la regresión logística evocada en la sección 3.4.4.
La fórmula [3.3 - 17] se escribe entonces:
p
y = Φ 0 Φ a m + ∑ w jm x j
j =1 [3.3 - 18]
Aquí la función Φo puede ser una función de umbral, que convierte la probabilidad dada por
el modelo logístico propiamente dicho (al interior de los corchetes) en uno de dos valores 0
o 1.
Si se reducen las dos funciones Φo y Φ a la función idéntica Φ(x)=x, se reencuentra la
regresión múltiple (cf. sección 3.2) y el análisis discriminante en dos grupos (cf. parágrafo
3.3.3) que son casos particulares.
Este ejemplo muy simple de un perceptrón multicapas muestra entonces que las
generalizaciones más evidentes con respecto a los modelos explicativos usuales de la
estadística conciernen con la presencia eventual de las funciones Φo y Φ y la existencia de
una o varias capas ocultas que autorizan las intervenciones no lineales de los parámetros1 .
1
La estimación numérica se hace por un método de descenso del gradiente llamado de back-propagation.
(cf. Werbos, 1974, 1990; Rumelhart et al., 1986). Para un programa de calculo, cf. Proriol, o el
procedimiento NEURO del programa SPAD.N.
1
Notemos que en un modelo general como el de la fórmula [3.3 - 17], no es necesario retener todas las
flechas entre dos capas consecutivas (ciertos pesos sinapticos pueden ser nulos a priori, otros pueden tener
un valor fijo y así reducir el número de parámetros a estimar).
c p p c
y k = ∑ vmk ∑ w jm x j = ∑ ∑ vmk w jm x j
m=1 j =1 j =1 m=1 [3.3 - 19]
Hay otros trabajos relativos a los algoritmos con lectura directa, como el algoritmo de
diagonalización mediante aproximación estocática propuesto por Benzécri (1969 b), anterior
a las aproximaciones neuronales1.
Estos algoritmos se pueden, en efecto, interpretar en términos de aprendizaje y de auto-
organización: Un algoritmo idéntico con una normalización previa fue propuesto
independientemente por Oja y Karhunen (1981), luego mejorado sucesivamente por estos
autores y otros neuromimetistas. Este dominio, que tiene aplicaciones potenciales en la
compresión de imágen, se ha desarrollado mucho posteriomente. Sobre las relaciones entre
redes neuronales y análisis en componentes principales, cf. Oja (1982), Bourlard et Kamp
(1988), Sirat (1991), Oja(1992).
Otra aproximación no supervisada, más próxima de los métodos de clasificación, es la de las
cartas auto-organizadas (self organizing maps) de Kononen (Kohonen, 1989; Cottrell et
Fort, 1987). El algoritmos es muy similar al de los métodos de agregación alrededor de los
centros móviles (k-means) (arranque aleatorio, afectación a los centros de distancias
minimales, obtención de mínimos locales) pero conducen a una representación plana (cf.
Ritter et al., 1992).
1
Se encuentra un estudio más numérico de la convergencia del algoritmo en Lebart (1974), y el programa
correspondiente en Lebart et al. (1977).
5. Algoritmos iterativos como el descenso del gradiente (con tasas de errores) podrán evitar
ajustes muy complicados
6. Nosotros (los estadísticos) deveremos por lo menos vendernos…”
Estas notas no perdonan a los estadísticos, quienes tienen al frente una profusión de ideas
novedosas en una gran cantera abierta. De ellos los que se consagren al análisis exploratorio
de grandes tablas se sienten menos aludidos por las dos primeras críticas de Tibshirani.
Otras referencias
Además de los artículos de síntesis precitados, se mencionará, siempre para un lector de
estadística: la obra de base de Hertz et al (1991), el artículo más teórico de Amari (1990),
sobre los fundamentos matemáticos de los métodos. Mencionemos igualmente el artículo de
Hornik (1994), describiendo con la intención de los estadísticos, el perceptrón multicapa y
los algoritmos del análisis en componentes principales mediante aprendizaje, como dos
intersecciones importantes entre las dos disciplinas. En Francés se consultarán las obras
generalísticas de Bourret et al. (1991) y de Milgram (1993). Para las exposiciones hechas en
relación con la aproximación “análisis de datos”, Gallinari et al. (1988), Lelu (1991),
Chabanon y Dubuisson (1991).