Articulo de referencia

Regularización mediante filtrado espectral

La regularización espectral es una clase de técnicas de regularización utilizadas en el aprendizaje automático para controlar el impacto del ruido y prevenir el sobreajuste . Se...

La regularización espectral es una clase de técnicas de regularización utilizadas en el aprendizaje automático para controlar el impacto del ruido y prevenir el sobreajuste . Se puede utilizar en una amplia gama de aplicaciones, desde la eliminación de desenfoque en imágenes hasta la clasificación de correos electrónicos en carpetas de spam y de correo legítimo. Por ejemplo, en el caso de la clasificación de correos electrónicos, la regularización espectral se puede utilizar para reducir el impacto del ruido y prevenir el sobreajuste cuando se entrena un sistema de aprendizaje automático con un conjunto etiquetado de correos electrónicos para aprender a distinguir entre spam y correo legítimo.

Los algoritmos de regularización espectral se basan en métodos que fueron definidos y estudiados originalmente en la teoría de problemas inversos mal condicionados (por ejemplo, véase [ 1 ] ), centrándose en la inversión de un operador lineal (o una matriz) que posiblemente tenga un número de condición malo o una inversa no acotada. En este contexto, la regularización equivale a sustituir el operador original por un operador acotado llamado "operador de regularización" que tiene un número de condición controlado por un parámetro de regularización, [ 2 ] un ejemplo clásico es la regularización de Tikhonov . Para garantizar la estabilidad, este parámetro de regularización se ajusta en función del nivel de ruido. [ 2 ] La idea principal detrás de la regularización espectral es que cada operador de regularización puede describirse utilizando el cálculo espectral como un filtro apropiado sobre los autovalores del operador que define el problema, y ​​la función del filtro es "suprimir el comportamiento oscilatorio correspondiente a autovalores pequeños". [ 2 ] Por lo tanto, cada algoritmo de la clase de algoritmos de regularización espectral se define mediante una función de filtro adecuada (que debe derivarse para ese algoritmo en particular). Tres de los algoritmos de regularización más utilizados, para los cuales el filtrado espectral está bien estudiado, son la regularización de Tikhonov, la iteración de Landweber y la descomposición en valores singulares truncada (TSVD). En cuanto a la elección del parámetro de regularización, algunos ejemplos de métodos candidatos para calcular este parámetro incluyen el principio de discrepancia, la validación cruzada generalizada y el criterio de la curva L. [ 3 ]

Cabe destacar que la noción de filtrado espectral estudiada en el contexto del aprendizaje automático está estrechamente relacionada con la literatura sobre aproximación de funciones (en el procesamiento de señales).

Notación

El conjunto de entrenamiento se define comoS={(incógnita1,y1),,(incógnitanorte,ynorte)}{\displaystyle S=\{(x_{1},y_{1}),\dots ,(x_{n},y_{n})\}}, dóndeincógnita{\displaystyle X}es elnorte×d{\displaystyle n\times d}matriz de entrada yY=(y1,,ynorte){\displaystyle Y=(y_{1},\dots,y_{n})}es el vector de salida. Cuando corresponda, la función kernel se denota pork{\displaystyle k}y elnorte×norte{\displaystyle n\times n}La matriz del núcleo se denota porK{\displaystyle K}que tiene entradasKij=k(incógnitai,incógnitaj){\displaystyle K_{ij}=k(x_{i},x_{j})}yH{\displaystyle {\mathcal {H}}}denota el espacio de Hilbert con núcleo reproductor (RKHS) con núcleok{\displaystyle k}El parámetro de regularización se denota porλ{\displaystyle \lambda }.

(Nota: ParagramoGRAMO{\displaystyle g\in G}yFF{\displaystyle f\in F}, conGRAMO{\displaystyle G}yF{\displaystyle F}siendo espacios de Hilbert, dado un operador lineal y continuoL{\displaystyle L}, supongamos quegramo=LF{\displaystyle g=Lf}se sostiene. En este contexto, el problema directo sería resolver paragramo{\displaystyle g}dadoF{\displaystyle f}y el problema inverso sería resolver paraF{\displaystyle f}dadogramo{\displaystyle g}. Si la solución existe, es única y estable, el problema inverso (es decir, el problema de resolver paraF{\displaystyle f}) está bien planteado; de lo contrario, está mal planteado.)

Relación con la teoría de problemas inversos mal planteados

La conexión entre el problema de estimación de mínimos cuadrados regularizados (RLS) (configuración de regularización de Tikhonov) y la teoría de problemas inversos mal condicionados es un ejemplo de cómo los algoritmos de regularización espectral están relacionados con la teoría de problemas inversos mal condicionados.

El estimador RLS resuelve minFH1nortei=1norte(yiF(incógnitai))2+λFH2{\displaystyle \min _{f\in {\mathcal {H}}}{\frac {1}{n}}\sum _{i=1}^{n}(y_{i}-f(x_{i}))^{2}+\lambda \left\|f\right\|_{\mathcal {H}}^{2}} y el RKHS permite expresar este estimador RLS comoFSλ(incógnita)=i=1nortedoik(incógnita,incógnitai){\displaystyle f_{S}^{\lambda }(X)=\sum _{i=1}^{n}c_{i}k(x,x_{i})}dónde(K+norteλI)do=Y{\displaystyle (K+n\lambda I)c=Y}condo=(do1,,donorte){\displaystyle c=(c_{1},\dots ,c_{n})}. [ 4 ] El término de penalización se utiliza para controlar la suavidad y prevenir el sobreajuste. Dado que la solución de minimización del riesgo empíricominFH1nortei=1norte(yiF(incógnitai))2{\displaystyle \min _{f\in {\mathcal {H}}}{\frac {1}{n}}\sum _{i=1}^{n}(y_{i}-f(x_{i}))^{2}}se puede escribir comoFSλ(incógnita)=i=1nortedoik(incógnita,incógnitai){\displaystyle f_{S}^{\lambda }(X)=\sum _{i=1}^{n}c_{i}k(x,x_{i})}de tal manera queKdo=Y{\displaystyle Kc=Y}, agregar la función de penalización equivale al siguiente cambio en el sistema que debe resolverse: [ 5 ]{minFH1nortei=1norte(yiF(incógnitai))2minFH1nortei=1norte(yiF(incógnitai))2+λFH2}{Kdo=Y(K+norteλI)do=Y}.{\displaystyle \left\{\min _{f\in {\mathcal {H}}}{\frac {1}{n}}\sum _{i=1}^{n}\left(y_{i}-f(x_{i})\right)^{2}\rightarrow \min _{f\in {\mathcal {H}}}{\frac {1}{n}}\sum _{i=1}^{n}\left(y_{i}-f(x_{i})\right)^{2}+\lambda \left\|f\right\|_{\mathcal {H}}^{2}\right\}\equiv {\biggl \{}Kc=Y\rightarrow \left(K+n\lambda I\right)c=Y{\biggr \}}.}

En este entorno de aprendizaje, la matriz del núcleo se puede descomponer comoK=QΣQT{\displaystyle K=Q\Sigma Q^{T}}, con Σ=diagnóstico(σ1,,σnorte), σ1σ2σnorte0{\displaystyle \Sigma =\operatorname {diag} (\sigma _{1},\dots ,\sigma _{n}),~\sigma _{1}\geq \sigma _{2}\geq \cdots \geq \sigma _{n}\geq 0} yq1,,qnorte{\displaystyle q_{1},\dots ,q_{n}}son los vectores propios correspondientes. Por lo tanto, en la configuración inicial de aprendizaje, se cumple lo siguiente: do=K1Y=QΣ1QTY=i=1norte1σiqi,Yqi.{\displaystyle c=K^{-1}Y=Q\Sigma ^{-1}Q^{T}Y=\sum _{i=1}^{n}{\frac {1}{\sigma _{i}}}\langle q_{i},Y\rangle q_{i}.}

Por lo tanto, para valores propios pequeños, incluso pequeñas perturbaciones en los datos pueden provocar cambios considerables en la solución. En consecuencia, el problema está mal condicionado, y resolver este problema RLS equivale a estabilizar un problema de inversión de matrices posiblemente mal condicionado, que se estudia en la teoría de problemas inversos mal planteados; en ambos problemas, una preocupación principal es abordar la cuestión de la estabilidad numérica .

Implementación de algoritmos

Cada algoritmo de la clase de algoritmos de regularización espectral se define mediante una función de filtro adecuada, denotada aquí porGRAMOλ(){\displaystyle G_{\lambda }(\cdot )}. Si la matriz del núcleo se denota porK{\displaystyle K}, entoncesλ{\displaystyle \lambda }debería controlar la magnitud de los autovalores más pequeños deGRAMOλ(K){\displaystyle G_{\lambda }(K)}En una configuración de filtrado, el objetivo es encontrar estimadores.FSλ(incógnita):=i=1nortedoik(incógnita,incógnitai){\displaystyle f_{S}^{\lambda }(X):=\sum _{i=1}^{n}c_{i}k(x,x_{i})}dóndedo=GRAMOλ(K)Y{\displaystyle c=G_{\lambda }(K)Y}Para ello, se utiliza una función de filtro escalar.GRAMOλ(σ){\displaystyle G_{\lambda }(\sigma )}se define utilizando la descomposición en valores propios de la matriz del núcleo: GRAMOλ(K)=QGRAMOλ(Σ)QT,{\displaystyle G_{\lambda }(K)=QG_{\lambda }(\Sigma )Q^{T},} lo cual produce GRAMOλ(K)Y = i=1norteGRAMOλ(σi)qi,Yqi.{\displaystyle G_{\lambda }(K)Y~=~\sum _{i=1}^{n}G_{\lambda }(\sigma _{i})\langle q_{i},Y\rangle q_{i}.}

Por lo general, una función de filtro apropiada debe tener las siguientes propiedades: [ 5 ]

  1. Comoλ{\displaystyle \lambda }va a cero,GRAMOλ(σ)  1/σ{\displaystyle G_{\lambda }(\sigma )~\rightarrow ~1/\sigma }.
  2. La magnitud de los autovalores (más pequeños) deGRAMOλ{\displaystyle G_{\lambda }}está controlado porλ{\displaystyle \lambda }.

Si bien los puntos anteriores ofrecen una caracterización aproximada de las propiedades generales de las funciones de filtro para todos los algoritmos de regularización espectral, la derivación de la función de filtro (y, por lo tanto, su forma exacta) varía según el método de regularización específico al que se aplique el filtrado espectral.

Función de filtro para la regularización de Tikhonov

En el contexto de la regularización de Tikhonov, la función de filtro para RLS se describe a continuación. Como se muestra en [ 4 ] en este contexto,do=(K+norteλI)1Y{\displaystyle c=\left(K+n\lambda I\right)^{-1}Y}. De este modo, do=(K+norteλI)1Y=Q(Σ+norteλI)1QTY=i=1norte1σi+norteλqi,Yqi.{\displaystyle c=(K+n\lambda I)^{-1}Y=Q(\Sigma +n\lambda I)^{-1}Q^{T}Y=\sum _{i=1}^{n}{\frac {1}{\sigma _{i}+n\lambda }}\langle q_{i},Y\rangle q_{i}.}

Los componentes no deseados se filtran mediante regularización:

  • Siσλnorte{\displaystyle \sigma \gg \lambda n}, entonces1σi+norteλ1σi{\displaystyle {\frac {1}{\sigma _{i}+n\lambda }}\sim {\frac {1}{\sigma _{i}}}}.
  • Siσλnorte{\displaystyle \sigma \ll \lambda n}, entonces1σi+norteλ1λnorte{\displaystyle {\frac {1}{\sigma _{i}+n\lambda }}\sim {\frac {1}{\lambda n}}}.

Por lo tanto, la función de filtro para la regularización de Tikhonov se define como: [ 5 ]GRAMOλ(σ)=1σ+norteλ.{\displaystyle G_{\lambda }(\sigma )={\frac {1}{\sigma +n\lambda }}.}

Función de filtro para la iteración de Landweber

La idea detrás de la iteración de Landweber es el descenso de gradiente : [ 5 ]

c 0 := 0 para i = 1, ..., t − 1 c i := c i −1 + η ( YKc i −1 ) fin

En este contexto, sinorte{\displaystyle n}es más grande queK{\displaystyle K}El mayor valor propio, la iteración anterior converge al elegirη=2/norte{\displaystyle \eta =2/n}como tamaño de paso:. [ 5 ] La iteración anterior es equivalente a minimizar1norteYKdo22{\displaystyle {\frac {1}{n}}\left\|Y-Kc\right\|_{2}^{2}}(es decir, el riesgo empírico) mediante descenso de gradiente; utilizando inducción, se puede demostrar que en elt{\displaystyle t}-ésima iteración, la solución viene dada por [ 5 ]do=ηi=0t1(IηK)iY.{\displaystyle c=\eta \sum _{i=0}^{t-1}\left(I-\eta K\right)^{i}Y.}

Por lo tanto, la función de filtro apropiada se define mediante: GRAMOλ(σ)=ηi=0t1(Iησ)i.{\displaystyle G_{\lambda }(\sigma )=\eta \sum _{i=0}^{t-1}\left(I-\eta \sigma \right)^{i}.}

Se puede demostrar que esta función de filtro corresponde a una expansión de potencia truncada deK1{\displaystyle K^{-1}}; [ 5 ] para ver esto, observe que la relacióni0incógnitai=1/(1incógnita){\displaystyle \sum _{i\geq 0}x^{i}=1/(1-x)}, seguiría siendo válido siincógnita{\displaystyle x}se reemplaza por una matriz; por lo tanto, siK{\displaystyle K}(la matriz del núcleo), o más bienIηK{\displaystyle I-\eta K}Se considera que, en tal caso, se cumple lo siguiente: K1=ηi=0(IηK)iηi=0t1(IηK)i.{\displaystyle K^{-1}=\eta \sum _{i=0}^{\infty }\left(I-\eta K\right)^{i}\sim \eta \sum _{i=0}^{t-1}\left(I-\eta K\right)^{i}.}

En este contexto, el número de iteraciones da el parámetro de regularización; en términos generales,t1/λ{\displaystyle t\sim 1/\lambda }. [ 5 ] Sit{\displaystyle t}es grande, el sobreajuste puede ser un problema.t{\displaystyle t}Si el tamaño es pequeño, un suavizado excesivo puede ser un problema. Por lo tanto, elegir un momento adecuado para detener las iteraciones de forma temprana proporciona un efecto de regularización.

Función de filtro para TSVD

En el entorno TSVD, dada la descomposición de valores propiosK=QΣQT{\displaystyle K=Q\Sigma Q^{T}}y utilizando un umbral preestablecidoλnorte{\displaystyle \lambda n}, se puede formar una inversa regularizada para la matriz del núcleo descartando todos los valores propios que sean menores que este umbral. [ 5 ] Por lo tanto, la función de filtro para TSVD se puede definir como GRAMOλ(σ)={1/σ,si σλnorte0,de lo contrario{\displaystyle G_{\lambda }(\sigma )={\begin{cases}1/\sigma ,&{\text{if }}\sigma \geq \lambda n\\[1ex]0,&{\text{otherwise}}\end{cases}}}

Se puede demostrar que TSVD es equivalente a la proyección (no supervisada) de los datos mediante el análisis de componentes principales (PCA) (con kernel), y que también es equivalente a minimizar el riesgo empírico en los datos proyectados (sin regularización). [ 5 ] Cabe señalar que el número de componentes conservados para la proyección es el único parámetro libre en este caso.

Referencias

  1. HW Engl , M. Hanke y A. Neubauer. Regularización de problemas inversos . Kluwer, 1996.
  2. 1 2 3 L. Lo Gerfo, L. Rosasco, F. Odone, E. De Vito y A. Verri. Algoritmos espectrales para aprendizaje supervisado, computación neuronal , 20 (7), 2008.
  3. PC Hansen, JG Nagy y DP O'Leary. Desenfoque de imágenes: matrices, espectros y filtrado , Fundamentos de algoritmos 3, SIAM, Filadelfia, 2006.
  4. 1 2 L. Rosasco. Lección 6 de las Notas de clase para 9.520: Teoría y aplicaciones del aprendizaje estadístico. Instituto Tecnológico de Massachusetts, otoño de 2013. Disponible en https://www.mit.edu/~9.520/fall13/slides/class06/class06_RLSSVM.pdf
  5. 1 2 3 4 5 6 7 8 9 10 L. Rosasco. Lección 7 de las Notas de clase para 9.520: Teoría y aplicaciones del aprendizaje estadístico. Instituto Tecnológico de Massachusetts, otoño de 2013. Disponible en https://www.mit.edu/~9.520/fall13/slides/class07/class07_spectral.pdf