CHAPTER 5: RISKS PERTAINING TO THE IMPLEMENTATION OF A COGNITIVE COMPUTING SYSTEM
5.1 Significant risks at a strategic level
Sea (Al,w) una variedad presimpléctica y sea O un grupo de Lie que actúa presimplécticamente en Al, es decir, d~w = w, Vg E O, donde 4’ : O x Al —. Al es la acción de O. Sea E una
estructura casi-producto E adaptada aw.
Proposición 4.4-1 Sea 4’ : O x Al —* Al una acción presimpléctica de modo que preserve la
estructura casi-producto
E,
es decir,T$2A
=AT@g,
Vg EO.
En este caso, 4’ es una acciónde Poisson para el corchete de Foisson {,}Á.
Demostración: De la definición de corchete de Poisson
{ ,
}A y la O-invarianza de w, se deduce que{f,h}Ao0g = (W(XJÁ,XhÁ))-os2 = 4’(w(X,,Á,XKA))
= 4’;W(T$YXJ,Á, T$flXh,Á) = w(T$gXJÁ,
T$SXK,A),
Ahora, como
ZT!~9XJ.4W = %T49X1,.4$;W =
s;
(ix14w)= tI~;(A*df) = A*4’;df = A*dlb;f
=
4’;XJ,A =
@;ÁxJ,Á
=entonces @X1,A E ¡mA y, en consecuencia, ‘bXÍÁ = X~SJA
Deducimos que
{f,
h}.A o = W(X.Z~*JA,X~.h,Á) ={f
o 0~,ha
4’~}A .U
Una aplicación
J
Al
9 tal que cualquier campo de vectoresEM es un campo hamil- toniano de J~ =<J,E>,
es decir,Z¿MW =
dJ¿,
será llamada un aplicacién momento para la acción presimpléctica (véase [9]).
Proposición 4.4.2 Si J : Al ~ es una aplicación momento para la acción presimpléctica 4’ tal que
1. 4’
preserva la estructura casi-producto (A,B),2. EM
E ImA, VE E g,entonces J es una aplicación momento para la acción de Poisson 4’ : O x Al — Al donde, aqu4 consideramos Al como una variedad de Poissor¿ con corchete de Poisson
{ ,
Demostracion:
Como ~¿MW =
dJE y
EM E ¡mA entonces EM = Xí~A. Ahora,EMI = Xí~Af = df(X~Á) = A*df(Xy~Á)
= iXI~Aw(XJ¿A) =w(XtÁ,XÍ,Á) = {JE,f}A
y, así, J es una aplicación momento para la acción de Poisson 4’.
3
Teorema 4.4.1 Sea (Al,w) una van edad presimpléctica dotada de una estructura casi-producto zntegrable E adaptada a w y sea O un grupo de Lie actuando presimplécticamente en Al. Sea
J : Al —~ una aplicación momento equivariante para esta acción. Supondremos también que (A, 8) es O-invariante yEM E ¡mA, VE E g. Supongamos queji E esun valor regular de J y que el grupo de isotropía O,. actóa libre y propiamente en J1(ji). Entonces, la variedad
cociente Al,. está provista de una tinica forma presimpléctica w,. tal que lr$o,. = iw, y una unica estructura casi-producto E,. adaptada a w,. de modo que el corchete de Poisson inducido
{ ,
}A,. coincide con el corchete de Poisson{ ,
},.
obtenido a partir del Teorema 4.3.1.Demostración: Sea ~ = ir,.(p) con p E J1(ji). Para u~,,v, E T~(J—’)(ji), consideremos
las correspondientes clases de equivalencia en Al,., ñ~= r,.~(u~) y i3~ = ir,.~(v~). Definimos
w,.(i2~,t~) = w(u~,v~)
- Esta forma es única puesto que ir,. es una submersión. Ahora, necesitamos probar quew,. está bien definida, es cerrada y tiene rango constante.
Sabemos que (véase [1])
T~(0,.(p))
= T~(Q(p))n
T~(J’(ji)) ,Vp E J’(ji)donde
O,,(p) y
O(p) denotan las órbitas de p bajo la acción de O,, y 0, respectivamente.Además, el complemento w-ortogonal de T~0(p) = {EM
¡
E
E g} es precisamente T~J’(ji).Entonces, es evidente que la 2-formaw,, está bien definida.
La 2-formaw es cerrada puesto quedlr*w,. = diw = <~dw= O y ir,. es una submersión.
Supongamos que un vector tangente i~ verifica que
=0
,
Vi~7~ET~Al,..Entonces w(u~,v~) = O ,Vv~ ET~J’(ji). Así, deducimos que u~, E T~0,,(p) y, entonces, ~ = O
o, la otra posibilidad, u>, E kerw(p). Como kerw(p)
c
T>,J1(ji), cualquier vector u>,e
kerw(p) proyecta en un vector ~ E kerw,.(~). En efecto, si {(vi)>,,(v2)>,,... ,(vk)>,} es una base de kerw(p), también, {(i31)~,(i32)~,.. .,(i4»i} es una base de kerw,.(~). Así pues,Ahora, probaremos que una estructura casi-producto F restringe a una estructura casi- producto F¡J—i(,,>. De hecho, solamente necesitamos probar que si y>, E
T>,J1(ji)
entonces,también, A>,(v>,) E T>,J1(ji). Pero, y>, E T>,J1(ji) si y solamente si dJE(v>,) = O, VE E g, por lo tanto
dJE(A>,v>,) = A;dJE(v>,) = dJE(v>,)= O
Una condición necesaria y suficiente para que el tensor F¡J—1(,.> proyecte en Al,, es que £ verifique para todop E J’(ji) que (véase [13]):
1.
AP(E~y(p))
ET>,O,.(p) ,VE EO,.
2. Im(L¿M(P)A)
c
T,,O,,(p) ,VE E O,.Como EM E ImA entonces A>,(EM(p)) = EM(P)y, así, la primera condición es trivial. Además
LeMA = O y la segunda condición se verifica también. En consecuencia, existe una estructura casi-producto F,. en la variedad diferenciable Al,..
Ahora, estudiaremos si esta estructura casi producto está adaptada a la forma presimpléctica es decir, si ker A,, = kerw,.. Consideremos
iI~
E kerA,.(Ñ). ComoA,.(ii~)
= O se deduce que A(u>,) = O. Entonces, u>,e
kerw(p) puesto que la estructura casi-productoF
está adaptada a w. Por lo tanto, t~ E kerw,,.La estructura casi-producto E,, es integrable (el -tensor de Nijenhuis NÁproyecta en el tensor de Nijenhuis NA,,) y, así obtenemos una estructura de Poisson en Al,, con corchete de Poisson
{,
}Á,..Para terminar la prueba del Teorema necesitamos asegurar que el corchete de Poisson
{ ,
}A,. es el mismo que el corchete{ , },,
definidoapartir del Teorema 4.3.1. Para cada f,h ECcc(Al,.)
el corchete de Poisson
{ , },,
está definido como sigue:=
y si denotamos por
j :
«Al,.) —.Al/O
la inclusión canónica entonces{(~
l)*f, (~—1)*h}~(M> =P{É,Ñ}M/a
,
donde É y4
son funciones arbitrarias enC~(Al/O)
tales que g’É =y = (&1)h. Ahora, {É,ÑIM/a = {F,JI}Á con F,JI E C¶Al) funciones O-invariantes
proyectables en
É
y4,
respectivamente. Como E y fi son O-invariantes entonces también{
F,O},.~ es O-invariante. Por lo tanto, {F,O}Á es proyectable en Al,,, precisamente sobre{ f,A}~,..
De la conmutatividad del diagrama del Teorema 4.3.¡, se deduce que:= {f,h}M,. ,VJ,h E C~(Al,.) .
E
4.5
Reducción de la dinámica
Sea(Al, w) una variedad presimpléctica y fi : Al —* R una función. En este caso, diremos que (Al,w,JI) es un sistema presimpléctico con función hamiltoniana JI. Buscamos una solución de la ecuación
= dfi . (4-5.2)
Sabemos que como w no es simpléctica, (4.5.2) no tiene solución en general e incluso si existe ésta no es única.
Supondremos primero que (Al,w,JI) no tiene ligaduras secundarias. Así,
dJI(z)(kerw)(x) = 0, Vx E Al
En este caso, si (A,!?) es una estructura casi-producto adaptada aw, A*(dfi) = dfi, y existe un único campo de vectores X en Altal que X E ¡mA e ixw = dJI.
Consideremos un grupo de Lie O actuando presimplécticamente en Al de modo que se verifiquen las hipótesis del Teorema 4.4.1. Supongamos también que JI es O-invariante. Bajo estas hipótesis deducimos que X es O-invariante. Como fi es O-invariante, entonces JI oi,. es O,.-invariante y proyecta en una función fi,, en
Al,..
El campo de vectores X es tangente aJ1(ji) y proyecta en un campo de vectores X,, en Al,.. Se obtiene que
ix,.
w,.=dfi,,.Así, el sistema presimpléctico reducido(Al,,,W,,,JI,.) no tiene ligaduras secundarias y su dinámica está determinada por las curvas integrales de X,,, es decir, X,.f = {H,.,f}, Vf E COc(Al,.).
mos aplicar el método anterior en la variedad presimpléctica (Al1,wj, Hj), donde wj =
y H~ = son las restricciones canónicas. Nótese que el algoritmo preserva la acción de O y, así, obtenemos una acción presimpléctica de