Estudio métrico de la forma y la figura en la anatomía computacional
La difeomorfometría es el estudio métrico de imágenes, formas y figuras en la disciplina de la anatomía computacional (AC) en imágenes médicas . El estudio de imágenes en anatomía computacional se basa en grupos de difeomorfismos de alta dimensión que generan órbitas de la forma , en las que las imágenes pueden ser imágenes densas de resonancia magnética escalar o tomografía axial computarizada . Para formas deformables , estas son la colección de variedades , puntos, curvas y superficies . Los difeomorfismos mueven las imágenes y formas a través de la órbita según la cual se definen como las acciones grupales de la anatomía computacional .
La órbita de formas y figuras se convierte en un espacio métrico induciendo una métrica en el grupo de difeomorfismos. El estudio de métricas en grupos de difeomorfismos y el estudio de métricas entre variedades y superficies ha sido un área de investigación significativa. [1] [2] [3] [4] [5] [6] [7] [8] [9] En anatomía computacional, la métrica de difeomorfometría mide qué tan cerca y lejos están dos formas o imágenes entre sí. De manera informal, la métrica se construye definiendo un flujo de difeomorfismos que conectan los elementos del grupo entre sí, por lo que para entonces . La métrica entre dos sistemas de coordenadas o difeomorfismos es entonces la longitud más corta o flujo geodésico que los conecta. La métrica en el espacio asociado a las geodésicas está dada por . Las métricas en las órbitas se heredan de la métrica inducida en el grupo de difeomorfismos.
El grupo se convierte así en una variedad riemanniana suave con métrica riemanniana asociada a los espacios tangentes en todos los . La métrica riemanniana satisface que en cada punto de la variedad hay un producto interno que induce la norma en el espacio tangente que varía suavemente a lo largo de .
A menudo, la métrica euclidiana familiar no es directamente aplicable porque los patrones de formas e imágenes no forman un espacio vectorial . En el modelo de órbita de Riemann de la anatomía computacional , los difeomorfismos que actúan sobre las formas no actúan linealmente. Hay muchas formas de definir métricas, y para los conjuntos asociados a formas, la métrica de Hausdorff es otra. El método utilizado para inducir la métrica de Riemann es inducir la métrica en la órbita de las formas definiéndola en términos de la longitud métrica entre las transformaciones del sistema de coordenadas difeomórficas de los flujos. La medición de las longitudes del flujo geodésico entre sistemas de coordenadas en la órbita de las formas se llama difeomorfometría .
El grupo de difeomorfismos generados como flujos lagrangianos y eulerianos
Los difeomorfismos en la anatomía computacional se generan para satisfacer la especificación lagrangiana y euleriana de los campos de flujo , generados a través de la ecuación diferencial ordinaria.
con los campos vectoriales eulerianos en para . La inversa para el flujo está dada por
y la matriz jacobiana para flujos en está dada como
Para asegurar flujos suaves de difeomorfismos con inversa, los campos vectoriales deben ser al menos 1 vez continuamente diferenciables en el espacio [10] [11] que se modelan como elementos del espacio de Hilbert utilizando los teoremas de incrustación de Sobolev de modo que cada elemento tiene derivadas integrables al cuadrado 3, lo que implica incrustaciones suaves en funciones 1 vez continuamente diferenciables. [10] [11] El grupo de difeomorfismos son flujos con campos vectoriales absolutamente integrables en la norma de Sobolev:
El modelo de órbita de Riemann
Las formas en la anatomía computacional (AC) se estudian mediante el uso de mapeo difeomórfico para establecer correspondencias entre sistemas de coordenadas anatómicas. En este contexto, las imágenes médicas tridimensionales se modelan como transformaciones difeomórficas de algún ejemplar, denominado plantilla , lo que da como resultado que las imágenes observadas sean elementos del modelo de órbita aleatoria de AC . Para las imágenes, se definen como , y para los gráficos que representan subvariedades se denotan como .
La métrica de Riemann
Las órbitas de formas y figuras en Anatomía Computacional son generadas por la acción de grupo , . Estas se convierten en órbitas riemannianas introduciendo una métrica asociada a cada punto y espacio tangente asociado. Para ello se define una métrica en el grupo que induce la métrica en la órbita. Se toma como métrica para Anatomía Computacional en cada elemento del espacio tangente en el grupo de difeomorfismos
con los campos vectoriales modelados para estar en un espacio de Hilbert con la norma en el espacio de Hilbert . Modelamos como un espacio de Hilbert de núcleo reproductor (RKHS) definido por un operador diferencial 1-1 , donde es el espacio dual. En general, es una función o distribución generalizada, la forma lineal asociada al producto interno y la norma para funciones generalizadas se interpretan por integración por partes de acuerdo con para ,
Cuando , una densidad vectorial,
El operador diferencial se selecciona de modo que el núcleo de Green asociado a la inversa sea lo suficientemente suave para que los campos vectoriales admitan una derivada 1-continua . Los argumentos del teorema de incrustación de Sobolev se utilizaron para demostrar que se requiere una derivada 1-continua para flujos suaves. El operador de Green generado a partir de la función de Green (caso escalar) asociada al operador diferencial suaviza.
Para la elección adecuada de entonces es un RKHS con el operador . Los núcleos de Green asociados al operador diferencial suavizan ya que para controlar suficientes derivadas en el sentido de la integral cuadrada el núcleo es continuamente diferenciable en ambas variables lo que implica
La difeomorfometría del espacio de formas y figuras
La métrica invariante por la derecha en difeomorfismos
La métrica del grupo de difeomorfismos se define por la distancia definida en pares de elementos en el grupo de difeomorfismos según
Esta distancia proporciona una métrica invariante a la derecha de difeomorfometría, [12] [13] [14] invariante a la reparametrización del espacio ya que para todo ,
La métrica de las formas y figuras
La distancia en las imágenes, [15] ,
La distancia en las formas y figuras, [16] ,
La métrica de los flujos geodésicos de puntos de referencia, superficies y volúmenes dentro de la órbita.
Para calcular la métrica, las geodésicas son un sistema dinámico, el flujo de coordenadas y el control del campo vectorial se relacionan a través de la vista hamiltoniana [17] [18] [19] [20] [21] reparametriza la distribución del momento en términos del momento hamiltoniano , un multiplicador de Lagrange que restringe la velocidad lagrangiana . En consecuencia:
El principio del máximo de Pontryagin [17] proporciona el hamiltoniano
El campo vectorial optimizador con dinámica . A lo largo de la geodésica el hamiltoniano es constante: [22] . La distancia métrica entre sistemas de coordenadas conectados a través de la geodésica determinada por la distancia inducida entre el elemento identidad y el elemento de grupo:
Geodésicas de puntos de referencia o de conjunto de puntos
Para los puntos de referencia , el momento hamiltoniano
con la dinámica hamiltoniana tomando la forma
con
La métrica entre puntos de referencia
La dinámica asociada a estas geodésicas se muestra en la figura adjunta.
Geodésicas de superficie
Para las superficies , el momento hamiltoniano se define a través de la superficie como hamiltoniano.
y dinámica
- La métrica entre coordenadas de superficie
Geodésicas de volumen
Para volúmenes el hamiltoniano
con dinámica
- La métrica entre volúmenes
Software para mapeo difeomórfico
Los paquetes de software que contienen una variedad de algoritmos de mapeo difeomórfico incluyen los siguientes:
Software en la nube
- Nube de resonancia magnética [29]
Referencias
- ^ Miller, MI; Younes, L. (1 de enero de 2001). "Acciones grupales, homeomorfismos y emparejamiento: un marco general". Revista internacional de visión por computadora . 41 (1–2): 61–84. doi :10.1023/A:1011161132514. ISSN 0920-5691. S2CID 15423783.
- ^ Younes, L. (1 de abril de 1998). "Distancias elásticas computables entre formas". Revista SIAM de Matemáticas Aplicadas . 58 (2): 565–586. CiteSeerX 10.1.1.45.503 . doi :10.1137/S0036139995287685.
- ^ Mio, Washington; Srivastava, Anuj; Joshi, Shantanu (25 de septiembre de 2006). "Sobre la forma de las curvas elásticas planas". Revista internacional de visión artificial . 73 (3): 307–324. CiteSeerX 10.1.1.138.2219 . doi :10.1007/s11263-006-9968-0. S2CID 15202271.
- ^ Michor, Peter W.; Mumford, David; Shah, Jayant; Younes, Laurent (2008). "Una métrica en el espacio de formas con geodésicas explícitas". Rend. Lincei Mat. Appl. () . 9 (2008): 25–57. arXiv : 0706.4299 . Código Bibliográfico :2007arXiv0706.4299M.
- ^ Michor, Peter W.; Mumford, David (2007). "Una visión general de las métricas de Riemann en espacios de curvas utilizando el enfoque hamiltoniano". Análisis armónico computacional y aplicado . 23 (1): 74–113. arXiv : math/0605009 . doi :10.1016/j.acha.2006.07.004. S2CID 732281.
- ^ Kurtek, Sebastian; Klassen, Eric; Gore, John C.; Ding, Zhaohua; Srivastava, Anuj (1 de septiembre de 2012). "Trayectorias geodésicas elásticas en el espacio de formas de superficies parametrizadas". IEEE Transactions on Pattern Analysis and Machine Intelligence . 34 (9): 1717–1730. doi :10.1109/TPAMI.2011.233. PMID 22144521. S2CID 7178535.
- ^ Srivastava, Anuj; Klassen, Eric; Joshi, Shantanu H.; Jermyn, Ian H. (2011). "Análisis de forma de curvas elásticas en espacios euclidianos". IEEE Transactions on Pattern Analysis and Machine Intelligence . 33 (7): 1415–1428. doi :10.1109/TPAMI.2010.184. ISSN 1939-3539. PMID 20921581. S2CID 12578618.
- ^ Jermyn, Ian H.; Kurtek, Sebastian; Klassen, Eric; Srivastava, Anuj (2012), Fitzgibbon, Andrew; Lazebnik, Svetlana; Perona, Pietro; Sato, Yoichi (eds.), "Correspondencia elástica de formas de superficies parametrizadas utilizando campos normales de raíz cuadrada", Computer Vision – ECCV 2012 , vol. 7576, Berlín, Heidelberg: Springer Berlin Heidelberg, págs. 804–817, doi : 10.1007/978-3-642-33715-4_58 , ISBN 978-3-642-33714-7
- ^ Jermyn, Ian H.; Kurtek, Sebastian; Laga, Hamid; Srivastava, Anuj (15 de septiembre de 2017). "Análisis de forma elástica de objetos tridimensionales". Synthesis Lectures on Computer Vision . 7 (3): 1–185. doi :10.2200/s00785ed1v01y201707cov012. ISSN 2153-1056. S2CID 52096321.
- ^ ab P. Dupuis, U. Grenander, MI Miller, Existencia de soluciones en flujos de difeomorfismos, Quarterly of Applied Math, 1997.
- ^ ab A. Trouvé. Acción de grupo de dimensión infinita y reconocimiento de formas. CR Acad Sci Paris Sér I Math, 321(8):1031– 1034, 1995.
- ^ Miller, MI; Younes, L. (1 de enero de 2001). "Acciones grupales, homeomorfismos y emparejamiento: un marco general". Revista internacional de visión por computadora . 41 : 61–84. CiteSeerX 10.1.1.37.4816 . doi :10.1023/A:1011161132514. S2CID 15423783.
- ^ Miller, M. I; Younes, L; Trouvé, A (2014). "Diffeomorfometría y sistemas de posicionamiento geodésico para la anatomía humana". Tecnología . 2 (1): 36. doi :10.1142/S2339547814500010. PMC 4041578 . PMID 24904924.
- ^ Miller, Michael I.; Trouvé, Alain; Younes, Laurent (1 de enero de 2015). "Sistemas hamiltonianos y control óptimo en anatomía computacional: 100 años desde D'Arcy Thompson". Revisión anual de ingeniería biomédica . 17 (1): 447–509. doi :10.1146/annurev-bioeng-071114-040601. PMID 26643025.
- ^ Miller, MI; Younes, L. (1 de enero de 2001). "Acciones grupales, homeomorfismos y emparejamiento: un marco general". Revista internacional de visión por computadora . 41 : 61–84. CiteSeerX 10.1.1.37.4816 . doi :10.1023/A:1011161132514. S2CID 15423783.
- ^ Miller, Michael I.; Younes, Laurent; Trouvé, Alain (marzo de 2014). "Diffeomorfometría y sistemas de posicionamiento geodésico para la anatomía humana". Tecnología . 2 (1): 36. doi :10.1142/S2339547814500010. ISSN 2339-5478. PMC 4041578 . PMID 24904924.
- ^ ab Miller, Michael I.; Trouvé, Alain; Younes, Laurent (1 de enero de 2015). "Sistemas hamiltonianos y control óptimo en anatomía computacional: 100 años desde D'arcy Thompson". Revisión anual de ingeniería biomédica . 17 (1): 447–509. doi :10.1146/annurev-bioeng-071114-040601. PMID 26643025.
- ^ Glaunès J, Trouvé A, Younes L. 2006. Modelado de la variación de la forma plana mediante flujos hamiltonianos de curvas. En Statistics and Analysis of Shapes, ed. H Krim, A Yezzi Jr, págs. 335–61. Modelo. Simul. Sci. Eng. Technol. Boston: Birkhauser
- ^ Arguillère S, Trélat E, Trouvé A, Younes L. 2014. Análisis de deformación de forma desde el punto de vista del control óptimo. arXiv : 1401.0661 [matemáticas.OC]
- ^ Miller, MI; Younes, L; Trouvé, A (2014). "Diffeomorfometría y sistemas de posicionamiento geodésico para la anatomía humana". Tecnología (Singap World Sci) . 2 (1): 36. doi :10.1142/S2339547814500010. PMC 4041578. PMID 24904924 .
- ^ Michor, Peter W.; Mumford, David (1 de julio de 2007). "Una descripción general de las métricas de Riemann en espacios de curvas utilizando el enfoque hamiltoniano". Análisis armónico computacional y aplicado . Número especial sobre imágenes matemáticas. 23 (1): 74–113. arXiv : math/0605009 . doi :10.1016/j.acha.2006.07.004. S2CID 732281.
- ^ Miller, Michael I.; Trouvé, Alain; Younes, Laurent (1 de enero de 2015). "Sistemas hamiltonianos y control óptimo en anatomía computacional: 100 años desde D'Arcy Thompson". Revisión anual de ingeniería biomédica . 17 (1): 447–509. doi :10.1146/annurev-bioeng-071114-040601. PMID 26643025.
- ^ Software - Stanley Durrleman (Informe).
- ^ Avants, Brian B.; Tustison, Nicholas J.; Song, Gang; Cook, Philip A.; Klein, Arno; Gee, James C. (1 de febrero de 2011). "Una evaluación reproducible del rendimiento de la métrica de similitud de ANT en el registro de imágenes cerebrales". NeuroImage . 54 (3): 2033–2044. doi :10.1016/j.neuroimage.2010.09.025. ISSN 1053-8119. PMC 3065962 . PMID 20851191.
- ^ Ashburner, John (15 de octubre de 2007). "Un algoritmo rápido de registro de imágenes difeomórficas". NeuroImage . 38 (1): 95–113. doi :10.1016/j.neuroimage.2007.07.007. PMID 17761438. S2CID 545830.
- ^ "Software: Tom Vercauteren". sitios.google.com . Consultado el 11 de diciembre de 2015 .
- ^ Beg, M. Faisal; Miller, Michael I.; Trouvé, Alain; Younes, Laurent (1 de febrero de 2005). "Cálculo de asignaciones métricas de deformación a gran escala mediante flujos geodésicos de difeomorfismos". Revista internacional de visión artificial . 61 (2): 139–157. doi :10.1023/B:VISI.0000043755.93987.aa. ISSN 0920-5691. S2CID 17772076.
- ^ "Comparación de algoritmos para el registro difeomórfico: LDDMM estacionario y demonios difeomórficos (Descarga en PDF disponible)". ResearchGate . Consultado el 2 de diciembre de 2017 .
- ^ "MRICloud". Universidad Johns Hopkins . Consultado el 1 de enero de 2015 .