Articulo de referencia

Acciones grupales en anatomía computacional

Las acciones de grupo son fundamentales para la geometría riemanniana y la definición de órbitas (teoría de control) . Las órbitas de la anatomía computacional consisten en form...

Las acciones de grupo son fundamentales para la geometría riemanniana y la definición de órbitas (teoría de control) . Las órbitas de la anatomía computacional consisten en formas anatómicas e imágenes médicas ; las formas anatómicas son subvariedades de geometría diferencial que constan de puntos, curvas, superficies y subvolúmenes. Esto generalizó las ideas de las órbitas más conocidas del álgebra lineal , que son espacios vectoriales lineales . Las imágenes médicas son imágenes escalares y tensoriales de imágenes médicas . Las acciones de grupo se utilizan para definir modelos de la forma humana que se adaptan a la variación. Estas órbitas son plantillas deformables, tal como se formularon originalmente de forma más abstracta en la teoría de patrones .

El modelo orbital de anatomía computacional

El modelo central de anatomía humana en anatomía computacional es un grupo y acción de grupo , una formulación clásica de la geometría diferencial . La órbita se llama espacio de formas y figuras . [ 1 ] El espacio de formas se denotametroMETRO{\displaystyle m\in {\mathcal {M}}}, con el grupo(GRAMO,){\displaystyle ({\mathcal {G}},\circ )}con la ley de composición{\displaystyle \circ }; la acción del grupo sobre las formas se denotagramometro{\displaystyle g\cdot m}donde la acción del grupogramometroMETRO,metroMETRO{\displaystyle g\cdot m\in {\mathcal {M}},m\in {\mathcal {M}}}se define para satisfacer

(gramogramo)metro=gramo(gramometro)METRO.{\displaystyle (g\circ g^{\prime })\cdot m=g\cdot (g^{\prime }\cdot m)\in {\mathcal {M}}.}

La órbitaMETRO{\displaystyle {\mathcal {M}}}de la plantilla se convierte en el espacio de todas las formas,METRO{metro=gramometrotmimetropag,gramoGRAMO}{\displaystyle {\mathcal {M}}\doteq \{m=g\cdot m_{\mathrm {temp} },g\in {\mathcal {G}}\}}.

Varias acciones grupales en anatomía computacional

El grupo central en CA definido en volúmenes en R3{\displaystyle {\mathbb {R} }^{3}}son el grupo de difeomorfismosGRAMODiFF{\displaystyle {\mathcal {G}}\doteq \mathrm {Diff} }que son mapeos con 3 componentesϕ()=(ϕ1(),ϕ2(),ϕ3()){\displaystyle \phi (\cdot )=(\phi _{1}(\cdot ),\phi _{2}(\cdot ),\phi _{3}(\cdot ))}, ley de composición de funcionesϕϕ()ϕ(ϕ()){\displaystyle \phi \circ \phi ^{\prime }(\cdot )\doteq \phi (\phi ^{\prime }(\cdot ))}, con inversaϕϕ1()=ϕ(ϕ1())=identificación{\displaystyle \phi \circ \phi ^{-1}(\cdot )=\phi (\phi ^{-1}(\cdot ))=\operatorname {id} }.

Subvariedades: órganos, estructuras subcorticales, diagramas e inmersiones

Para subvariedadesincógnitaR3METRO{\displaystyle X\subset {\mathbb {R} }^{3}\in {\mathcal {M}}}, parametrizado por una carta o inmersiónmetro(),U{\displaystyle m(u),u\in U}, la acción difeomórfica el flujo de la posición

ϕmetro()ϕmetro(),U{\displaystyle \phi \cdot m(u)\doteq \phi \circ m(u),u\in U}.

Imágenes escalares como resonancia magnética, tomografía computarizada y tomografía por emisión de positrones (PET).

Las imágenes escalares son las más populares.I(incógnita),incógnitaR3{\displaystyle I(x),x\in {\mathbb {R} }^{3}}, con acción a la derecha a través de la inversa.

ϕI(incógnita)=Iϕ1(incógnita),incógnitaR3{\displaystyle \phi \cdot I(x)=I\circ \phi ^{-1}(x),x\in {\mathbb {R} }^{3}}.

Tangentes orientadas en curvas, autovectores de matrices tensoriales

Se utilizan muchas modalidades de imágenes diferentes con diversas acciones. Para imágenes como esasI(incógnita){\displaystyle I(x)}es un vector tridimensional entonces

φI=((Dφ)I)φ1,{\displaystyle \varphi \cdot I=((D\varphi )\,I)\circ \varphi ^{-1},}
φI=((DφT)1I)φ1{\displaystyle \varphi \star I=((D\varphi ^{T})^{-1}I)\circ \varphi ^{-1}}

Matrices tensoriales

Cao et al. [ 2 ] examinaron acciones para mapear imágenes de resonancia magnética medidas mediante imágenes de tensor de difusión y representadas mediante su vector propio principal. Para campos tensoriales, una base ortonormal orientada positivamente I(incógnita)=(I1(incógnita),I2(incógnita),I3(incógnita)){\displaystyle I(x)=(I_{1}(x),I_{2}(x),I_{3}(x))} deR3{\displaystyle {\mathbb {R} }^{3}}, denominados marcos, producto vectorial cruzado denotadoI1×I2{\displaystyle I_{1}\times I_{2}}entonces

φI=(DφI1DφI1,(DφT)1I3×DφI1(DφT)1I3×DφI1,(DφT)1I3(DφT)1I3)φ1 ,{\displaystyle \varphi \cdot I=\left({\frac {D\varphi I_{1}}{\|D\varphi \,I_{1}\|}},{\frac {(D\varphi ^{T})^{-1}I_{3}\times D\varphi \,I_{1}}{\|(D\varphi ^{T})^{-1}I_{3}\times D\varphi \,I_{1}\|}},{\frac {(D\varphi ^{T})^{-1}I_{3}}{\|(D\varphi ^{T})^{-1}I_{3}\|}}\right)\circ \varphi ^{-1}\ ,}

El marco de Frénet de tres vectores ortonormales,I1{\displaystyle I_{1}}se deforma como una tangente,I3{\displaystyle I_{3}}se deforma como una normal al plano generado porI1×I2{\displaystyle I_{1}\times I_{2}}, yI3{\displaystyle I_{3}}. H está restringido de forma única por el hecho de que la base sea positiva y ortonormal.

Para3×3{\displaystyle 3\times 3}matrices simétricas no negativas, una acción se convertiría enφI=(DφIDφT)φ1{\displaystyle \varphi \cdot I=(D\varphi \,ID\varphi ^{T})\circ \varphi ^{-1}}.

Para mapear imágenes de DTI de resonancia magnética [ 3 ] [ 4 ] (tensores), entonces los valores propios se conservan con el difeomorfismo que rota los vectores propios y conserva los valores propios. Dados los elementos propios {λi,mii,i=1,2,3}{\displaystyle \{\lambda _{i},e_{i},i=1,2,3\}}, entonces la acción se convierte en

φI(λ1mi^1mi^1T+λ2mi^2mi^2T+λ3mi^3mi^3T)φ1{\displaystyle \varphi \cdot I\doteq (\lambda _{1}{\hat {e}}_{1}{\hat {e}}_{1}^{T}+\lambda _{2}{\hat {e}}_{2}{\hat {e}}_{2}^{T}+\lambda _{3}{\hat {e}}_{3}{\hat {e}}_{3}^{T})\circ \varphi ^{-1}}
mi^1=Dφmi1Dφmi1 ,mi^2=Dφmi2mi^1,(Dφmi2mi^1Dφmi2mi^1,(Dφmi2mi^1 , mi^3mi^1×mi^2 .{\displaystyle {\hat {e}}_{1}={\frac {D\varphi e_{1}}{\|D\varphi e_{1}\|}}\ ,{\hat {e}}_{2}={\frac {D\varphi e_{2}-\langle {\hat {e}}_{1},(D\varphi e_{2}\rangle {\hat {e}}_{1}}{\|D\varphi e_{2}-\langle {\hat {e}}_{1},(D\varphi e_{2}\rangle {\hat {e}}_{1}\|}}\ ,\ {\hat {e}}_{3}\doteq {\hat {e}}_{1}\times {\hat {e}}_{2}\ .}

Función de distribución de orientación y HARDI de alta resolución angular

La función de distribución de orientación (FDO) caracteriza el perfil angular de la función de densidad de probabilidad de difusión de las moléculas de agua y puede reconstruirse a partir de imágenes de difusión de alta resolución angular (HARDI). La FDO es una función de densidad de probabilidad definida en una esfera unitaria ,S2{\displaystyle {\mathbb {S} }^{2}}. En el campo de la geometría de la información , [ 5 ] el espacio de ODF forma una variedad riemanniana con la métrica de Fisher-Rao. Para el propósito del mapeo LDDMM ODF, se elige la representación de raíz cuadrada porque es una de las representaciones más eficientes encontradas hasta la fecha, ya que las diversas operaciones riemannianas, como geodésicas, mapas exponenciales y mapas logarítmicos, están disponibles en forma cerrada. En lo que sigue, denotaremos raíz cuadrada ODF (ODF{\displaystyle {\sqrt {\text{ODF}}}}) comoψ(s){\displaystyle \psi ({\bf {s}})}, dóndeψ(s){\displaystyle \psi ({\bf {s}})}es no negativo para asegurar la singularidad ysS2ψ2(s)ds=1{\displaystyle \int _{{\bf {s}}\in {\mathbb {S} }^{2}}\psi ^{2}({\bf {s}})d{\bf {s}}=1}.

Denotemos la transformación difeomórfica comoϕ{\displaystyle \phi }. Acción de grupo del difeomorfismo sobreψ(s){\displaystyle \psi ({\bf {s}})}, ϕψ{\displaystyle \phi \cdot \psi }, necesita garantizar la no negatividad ysS2ϕψ2(s)ds=1{\displaystyle \int _{{\bf {s}}\in {\mathbb {S} }^{2}}\phi \cdot \psi ^{2}({\bf {s}})d{\bf {s}}=1}. Basándose en la derivación en [ 6 ] , esta acción de grupo se define como

(Dϕ)ψϕ1(incógnita)=det(Dϕ1ϕ)1(Dϕ1ϕ)1s3ψ((Dϕ1ϕ)1s(Dϕ1ϕ)1s,ϕ1(incógnita)),{\displaystyle {\begin{aligned}(D\phi )\psi \circ \phi ^{-1}(x)={\sqrt {\frac {\det {{\bigl (}D_{\phi ^{-1}}\phi {\bigr )}^{-1}}}{\left\|{{\bigl (}D_{\phi ^{-1}}\phi {\bigr )}^{-1}}{\bf {s}}\right\|^{3}}}}\quad \psi \left({\frac {(D_{\phi ^{-1}}\phi {\bigr )}^{-1}{\bf {s}}}{\|(D_{\phi ^{-1}}\phi {\bigr )}^{-1}{\bf {s}}\|}},\phi ^{-1}(x)\right),\end{aligned}}}

dónde(Dϕ){\displaystyle (D\phi )}es el jacobiano deϕ{\displaystyle \phi }.

Referencias

  1. Miller, Michael I.; Younes, Laurent; Trouvé, Alain (2014-03-01). "Difeomorfometría y sistemas de posicionamiento geodésico para anatomía humana" . Technology . 2 ( 1): 36. doi : 10.1142/S2339547814500010 . ISSN 2339-5478 . PMC 4041578. PMID 24904924 .   
  2. Cao Y1, Miller MI, Winslow RL, Younes, Mapeo métrico difeomórfico de grandes deformaciones de campos vectoriales. IEEE Trans Med Imaging. 2005 Sep;24(9):1216-30.
  3. Alexander, DC; Pierpaoli, C.; Basser, PJ; Gee, JC (2001-11-01). "Transformaciones espaciales de imágenes de resonancia magnética de tensor de difusión" ( PDF) . IEEE Transactions on Medical Imaging . 20 (11): 1131– 1139. doi : 10.1109/42.963816 . ISSN 0278-0062 . PMID 11700739. S2CID 6559551 .   
  4. Cao, Yan; Miller, Michael I.; Mori, Susumu; Winslow, Raimond L.; Younes, Laurent (5 de julio de 2006). "Coincidencia difeomórfica de imágenes de tensor de difusión". Taller de la Conferencia de 2006 sobre Visión por Computadora y Reconocimiento de Patrones (CVPRW'06) . Vol. 2006. pág. 67. doi : 10.1109/CVPRW.2006.65 . ISBN   978-0-7695-2646-1. ISSN 1063-6919 . PMC 2920614 . PMID 20711423 .   
  5. Amari, S (1985). Métodos geométrico-diferenciales en estadística . Springer.
  6. Du, J; Goh, A; Qiu, A (2012). "Mapeo métrico difeomórfico de imágenes de difusión de alta resolución angular basado en la estructura riemanniana de las funciones de distribución de orientación". IEEE Trans Med Imaging . 31 (5): 1021– 1033. doi : 10.1109/TMI.2011.2178253 . PMID 22156979 . S2CID 11533837 .