El análisis de la forma espectral se basa en el espectro ( valores propios y/o funciones propias ) del operador de Laplace-Beltrami para comparar y analizar formas geométricas. Dado que el espectro del operador de Laplace-Beltrami es invariante en isometrías , es muy adecuado para el análisis o la recuperación de formas no rígidas, es decir, objetos flexibles como seres humanos, animales, plantas, etc.
El operador de Laplace-Beltrami interviene en muchas ecuaciones diferenciales importantes, como la ecuación del calor y la ecuación de onda . Se puede definir en una variedad de Riemann como la divergencia del gradiente de una función de valor real f :
Sus componentes espectrales se pueden calcular resolviendo la ecuación de Helmholtz (o problema de valor propio de Laplacio):
Las soluciones son las funciones propias (modos) y los valores propios correspondientes , que representan una secuencia divergente de números reales positivos. El primer valor propio es cero para dominios cerrados o cuando se utiliza la condición de contorno de Neumann . Para algunas formas, el espectro se puede calcular analíticamente (por ejemplo, rectángulo, toro plano, cilindro, disco o esfera). Para la esfera, por ejemplo, las funciones propias son los armónicos esféricos .
Las propiedades más importantes de los valores y funciones propios son que son invariantes de isometría. En otras palabras, si la forma no se estira (por ejemplo, una hoja de papel doblada en la tercera dimensión), los valores espectrales no cambiarán. Los objetos flexibles, como los animales, las plantas y los humanos, pueden moverse en diferentes posturas corporales con solo un estiramiento mínimo en las articulaciones. Las formas resultantes se denominan casi isométricas y se pueden comparar mediante el análisis de formas espectrales.
Las formas geométricas se representan a menudo como superficies curvas 2D, mallas de superficies 2D (normalmente mallas triangulares ) u objetos sólidos 3D (por ejemplo, utilizando vóxeles o mallas de tetraedros ). La ecuación de Helmholtz se puede resolver para todos estos casos. Si existe un límite, por ejemplo, un cuadrado, o el volumen de cualquier forma geométrica 3D, es necesario especificar las condiciones de límite.
Existen varias discretizaciones del operador de Laplace (véase Operador discreto de Laplace ) para los diferentes tipos de representaciones geométricas. Muchos de estos operadores no se aproximan bien al operador continuo subyacente.
ShapeDNA es uno de los primeros descriptores de forma espectral. Es la secuencia inicial normalizada de los valores propios del operador Laplace-Beltrami. [1] [2] Sus principales ventajas son la representación simple (un vector de números) y la comparación, la invariancia de escala y, a pesar de su simplicidad, un muy buen desempeño para la recuperación de formas no rígidas. [3] Los competidores de shapeDNA incluyen valores singulares de la Matriz de Distancia Geodésica (SD-GDM) [4] y la Matriz de Distancia Biarmónica Reducida (R-BiHDM). [5] Sin embargo, los valores propios son descriptores globales, por lo tanto, shapeDNA y otros descriptores espectrales globales no se pueden usar para el análisis de forma local o parcial.
La firma global del punto [6] en un punto es un vector de funciones propias escaladas del operador de Laplace-Beltrami calculado en (es decir, la incrustación espectral de la forma). El GPS es una característica global en el sentido de que no se puede utilizar para la correspondencia parcial de formas.
La firma del núcleo de calor [7] hace uso de la descomposición propia del núcleo de calor :
Para cada punto de la superficie, se toma una muestra de la diagonal del núcleo de calor en valores de tiempo específicos y se obtiene una firma local que también se puede utilizar para la detección de simetría o coincidencia parcial.
La WKS [8] sigue una idea similar a la HKS, reemplazando la ecuación de calor con la ecuación de onda de Schrödinger.
El IWKS [9] mejora el WKS para la recuperación de formas no rígidas introduciendo una nueva función de escala para los valores propios y agregando un nuevo término de curvatura.
SGWS es un descriptor local que no sólo es invariante isométricamente, sino también compacto, fácil de calcular y combina las ventajas de los filtros de paso de banda y de paso bajo. Una faceta importante de SGWS es la capacidad de combinar las ventajas de WKS y HKS en una única firma, permitiendo al mismo tiempo una representación de formas en múltiples resoluciones. [10]
La descomposición espectral del laplaciano gráfico asociado con formas complejas (ver Operador discreto de Laplace ) proporciona funciones propias (modos) que son invariantes a las isometrías. Cada vértice de la forma podría representarse de forma única con una combinación de los valores de los modos propios en cada punto, a veces llamados coordenadas espectrales:
La correspondencia espectral consiste en establecer las correspondencias de puntos mediante el emparejamiento de vértices en diferentes formas que tienen las coordenadas espectrales más similares. Los primeros trabajos [11] [12] [13] se centraron en correspondencias dispersas para estereoscopía. La eficiencia computacional ahora permite correspondencias densas en mallas completas, por ejemplo, entre superficies corticales. [14] La correspondencia espectral también podría usarse para el registro de imágenes no rígidas complejas , lo que es notablemente difícil cuando las imágenes tienen deformaciones muy grandes. [15] Dichos métodos de registro de imágenes basados en valores eigenmodales espectrales capturan de hecho características de forma globales y contrastan con los métodos de registro de imágenes no rígidos convencionales que a menudo se basan en características de forma locales (por ejemplo, gradientes de imagen).