Libro de res umenes de las Jornadas de

Seguimiento de Proyectos I+D MTM2006

del Programa Nacional de Matematicas
Universidad de Zaragoza
30 de marzo al 1 de abril de 2009
Comite organizador:
Luis Randez Garca
Antonio Elipe Sanchez
Manuel Alfaro Garca
Organiza:
Instituto Universitario de Matematicas y Aplicaciones
Colaboran:
Ministerio de Ciencia e Innovacion
Universidad de Zaragoza

Indice
Geometra Algebraica y Aritmetica.
MTM2006-10548 1
O. E. Villamayor
Variedades abelianas y teora de Galois.
MTM2006-15038-C02-01 5
J. Quer
Curvas modulares y de Shimura y variedades abelianas.
MTM2006-15038-C02-02 9
J. Gonzalez
Metodos de teora de n umeros en fsica matematica.
MTM2006-04895 13
P. Bayer
Metodos Geometricos y Variacionales en Integrabilidad y Teora de
Control.
MTM2006-10531 17
J. F. Cari nena
Juegos cooperativos y conictos de intereses. Teora y practica.
MTM2006-06064 21
F. Carreras
Motivos mixtos y operads.
MTM2006-14575 25
F. Guillen
Algebras de Lie, teora de invariantes generalizados y aplicaciones a
la Geometra Diferencial.
MTM2006-09152 29
J. M. Ancochea
Sistemas de Calculo Simbolico: nuevos desarrollos en Topologa Alge-
braica y abilidad.
MTM2006-06513 33
J. Rubio
Topologa geometrica, topologa en dimension baja y dinamica to-
pologica.
MTM2006-00825 37
F. Romero
Algunos operadores representables en Analisis Complejo y Ultrametri-
co.
MTM2006-14786 41
J. Araujo
Muestreo en espacios invariantes por traslacion: Aplicaciones.
MTM2006-09737 45
A. Garca

Orbitas regulares y caoticas en sistemas keplerianos perturbados.

MTM2006-06961 49
R. Barrio
Caracterizacion y Construccion, a partir de criterios estructurales, de
Codigos Combinatorios

Optimos (COp).
MTM2006-03250 53
J. Rif` a
Desarrollo de una metodologa estadstica para la caracterizacion de
la persistencia en fondos de inversion.
MTM2006-15433 57
P. Grau
Geometra Algebraica y Analtica y Aplicaciones.
MTM2006-04785 61
E. Arrondo
Metodos de punto interior para optimizacion de gran escala. Aplica-
cion a la proteccion de datos estadsticos.
MTM2006-05550 65
J. Castro
Calculo estocastico para procesos de Levy y para procesos gaussianos.
MTM2006-06427 71
F. Utzet
Tecnicas no parametricas de bondad de ajuste y change-point para
regresiones isotonicas. Aplicaciones en Economa, Ciencias Sociales y
Medio Ambiente.
MTM2006-12755 75
J. S. Domnguez
Modelos estadsticos con efectos aleatorios no gaussianos.
MTM2006-01477 79
P. Puig
Redes funcionales, neuronales y probabilsticas y metodos bayesianos
espacio-temporales para problemas de clasicacion y prediccion. As-
pectos teoricos y aplicaciones.
MTM2006-15671 83
B. Lacruz
Analisis de datos complejos: Metodos parametricos, no parametricos
y basados en distancias.
MTM2006-09920 87
P. Delicado
Polticas de Mantenimiento Basadas en Reparaciones Pospuestas.
MTM2006-01973 91
I. Torres
Algoritmos precisos y estables en

Algebra Lineal Numerica.
MTM2006-06671 95
F. Martnez
Analisis de la Representacion de Curvas y Supercies, Matrices Es-
tructuradas y Error Numerico.
MTM2006-03388 99
J. M. Pe na
Analisis y simulacion de componentes crticas en estructuras tipo red
y su aplicacion a sistemas reales.
MTM2006-10053 103
B. Hernandez
Algoritmos matriciales estructurados para problemas inversos y de
control.
MTM2006-05361 107
J. Moro
Estudio Cualitativo de Problemas Termomecanicos.
MTM2006-03706 111
R. Quintanilla
Dinamica no lineal en ecuaciones en derivadas parciales.
MTM2006-08262 115
A. Rodrguez
Geometra Algebraica y Aritmetica
MTM 2006-10548
Universidad Aut

onoma de Madrid
Miembros del equipo
Angelica Benito (doctoranda)
Ana Bravo
Santiago Encinas
Mari Luz Garca (doctoranda)
Enrique Gonzalez Jimenez
Adolfo Quiros
Orlando E. Villamayor (IP)
1. Tematica, objetivos y nanciacion
Financiacion. El equipo, con esencialmente la misma estructura, viene siendo
nanciado desde 1997. El actual proyecto recibio 43.600e para costes de ejecucion.
1) El problema de Resolucion de Singularidades. Fijada una variedad
algebraica X, se trata de encontrar un morsmo proyectivo X

X
1
tal que
X
1
sea regular y dena un isomorsmo sobre los puntos regulares de X. Nuestros
principales objetivos son la clasicacion de singularidades y la extension al caso de
caracterstica arbitraria. Tambien estudiamos la relacion de la clausura fuerte de
ideales y de los ideales multiplicativos con la resolucion inmersa.
Antecedentes
[Hi] H. Hironaka, Resolution of singularities of an algebraic variety over a eld of
characteristic zero, Ann. Math., 79 (1964), 109 -326.
[BEV] A. Bravo, S. Encinas, and O. Villamayor, A simplied proof of desingulari-
zation, Rev. Mat. Iberoamericana 21 (2005), 349458.
[V00] O. Villamayor, On a question of Zariski, Acta Mathematica, 185 (2000).
2) Aplicaciones de las algebras de operadores diferenciales. Relacionar
la clausura entera con los operadores diferenciales de orden superior. Entender con
detalle la ltracion de Hodge en la cohomologa cristalina de nivel superior y a partir
de ella obtener invariantes geometricos. Estudiar el analogo de los modulos de Higgs
para operadores diferenciales de nivel m y extender a este contexto la Teora de
Hodge no abeliana en caracterstica positiva de Ogus y Vologodsky.
Antecedentes
[B] P. Berthelot, Introduction `a la theorie arithmetique des T-modules. En Coho-
mologies p-adiques et applications arithmetiques, II. Asterisque 279 (2002), 180.
[OV] A. Ogus and V. Vologodsky, Nonabelian Hodge theory in characteristic p. Publ.
Math. Inst. Hautes

Etudes Sci. 106 (2007),1138.
[LSQ01] B. Le Stum and A. Quiros, The exact Poincare lemma in crystalline coho-
mology of higher level, J. of Algebra 240 (2001), 559588.
3) Curvas modulares y Aritmetica. Construir familias de Q-curvas y de va-
riedades abelianas de tipo GL
2
y demostrar que son modulares, as como identicar
1
las curvas modulares nuevas de genero mayor que 2. Ha surgido una nueva linea de
trabajo dedicada a utilizar curvas elpticas para resolver problemas aritmeticos, en
particular ligados a la existencia de cuadrados en diversos contextos.
Antecedentes
[ES] J. S. Ellenberg, C. Skinner. On the modularity of Q-curves. Duke Math. J.,
109(1) (2001), 97122.
[GG] E. Gonzalez-Jimenez, J. Gonzalez. Modular curves of genus 2. Math. Comp.
72, no. 241, 397418, (2003)
[BGGP] M. Baker, E. Gonzalez-Jimenez, J. Gonzalez, B. Poonen. Finiteness results
for modular curves of genus at least 2. Amer. J. Math. 127, no. 6 (2005), 13251387
2. Principales logros e investigadores implicados
1) Resolucion de singularidades: A. Benito, A. Bravo, S. Encinas, M.
L. Garca, O. Villamayor.
[V07]; [BV], [V08] Se introduce una nocion alternativa de induccion para problemas
de resolucion. Este resultado nos ha permitido introducir un enfoque novedoso e
importante en los problemas aun abiertos en caracterstica positiva.
2) Operadores diferenciales: S. Encinas, A. Quiros, O. Villamayor.
[EV] Se obtienen vinculaciones de la clausura entera con los operadores diferenciales
de orden superior.
[LSQ08] Se demuestra que el Lema de Poincare en cohomologa cristalina de nivel
m se comporta bien con respecto a la ltracion de Hodge. Se construye el complejo
cotangente de nivel m para esquemas en grupos y se relaciona con las formas in-
variantes. Se muestra que las extensiones cristalinas de cristales transversales por
grupos algebraicos se pueden calcular mediante complejos de de Rham ltrados. Se
da un nuevo procedimiento para detectar curvas elpticas supersingulares.
[GLSQ] Se demuestra que el anillo de operadores diferenciales de nivel m es un
algebra de Azumaya. Se extienden as algunos resultados de la Teora de Hodge no
abeliana en caracterstica p > 0 de Ogus -Vologodsky y en particular se obtiene un
analogo de la correspondencia de Simpson entre sistemas locales y brados de Higgs.
3) Curvas modulares y Aritmetica: E. Gonzalez-Jmenez, A. Quiros.
[CLQS] Para f(X) Z[X], deg(f) 2, se estima el n umero de enteros 0 n N
tales que F(n) =

n
k=1
f(k) es un cuadrado perfecto. Se obtiene una cota inferior
para el n umero de cuerpos cuadraticos Q(

F(n)), n = M+1, . . . , M+N, distintos.

[GGGSS] Estudio de una generalizacion del problema del n umero congruente sobre
cuerpos de n umeros. Obteniendo resultados explcitos para cuerpos c ubicos.
[GGT] Encontramos una relacion entre el subgrupo de torsion y la imagen de la
representacion de Galois modulo 2 asociada a una curva elptica denida sobre Q.
[GO] Se dan condiciones necesarias y sucientes para determinar si una curva de
genero 3 no hiperelpticas es modular. Se obtiene un conjunto de ecuaciones de 44
curvas modulares nuevas de genero 3 no hiperelpticas, que se conjetura completo.
[GS] Estudio de la existencia de progresiones aritmeticas de cuatro cuadrados sobre
cuerpos de n umeros cuadraticos. Se expone un algoritmo que las calcula si existen.
2
3. Difusion y formacion de recursos humanos.
Artculos aceptados en revistas recogidas en el JCR
[BV] A. Bravo, O. Villamayor, Stratication of Singularities over elds of positive
characteristic, Advances in Math (aceptado salvo correcciones).
[CLQS] J. Cilleruelo, F. Luca, A. Quiros, I. E. Shparlinski, On Squares in Polyno-
mial Products. Monatsh. Math. (2009) 11pp. DOI: 10.1007/s00605-008-0066-y.
[EV] S. Encinas, O. Villamayor, Rees algebras and resolution of singularities,
Rev. Mat. Iberoamericana (2007) 124.
[GGGSS] E. Girondo, G. Gonzalez-Diez, E. Gonzalez-Jmenez, J. Steuding, R.
Steuding, Right triangles with algebraic sides and elliptic curves. Aceptado para su
publicacion en Math. Slovaca
[HSV] H. Hauser, J. Schicho, O. Villamayor, Plain varieties, Bulletin of the London
Math. Soc., 40, No 6 (2008), 965971.
[LSQ08] B. Le Stum, A. Quiros. The ltered Poincare lemma in higher level (with
applications to algebraic groups). Nagoya Math. J. 191 (2008), 79110.
[V06] O. Villamayor, On attening of coherent sheaves and of projective morp-
hisms, Journal of Algebra 295 (2006) 119-140.
[V07] O. Villamayor, Hypersurface singularities in positive characteristic, Advances
in Math., 213, No 3 (2007), 687733.
[V08] O. Villamayor, Elimination with applications to singularities in positive
characteristic, Publ. Res. Inst. Math. Sci. 44, No. 2, (2008), 661697.
Libros
[BHV] H. Brenner, J. Herzog, O. Villamayor. Three Lectures on Commutative
Algebra, University Lecture Series of the American Math. Society, vol 42 (2008).
Artculos sometidos a publicacion en revistas recogidas en el JCR
[GGT] I. Garca-Selfa, E. Gonzalez-Jmenez, J.M. Tornero, Galois theory, discri-
minants and torsion subgroup of elliptic curves. arXiv:0811.1463v2 (2008).
[GO] E. Gonzalez-Jmenez, R. Oyono, Non-hyperelliptic modular curves of genus
3. (2008).
[GS] E. Gonzalez-Jmenez, J. Steuding, Arithmetic progressions of four squares
over quadratic elds. (2009).
[GLSQ] M. Gros, B. Le Stum, A. Quiros, A Simpson correspondence in positive
characteristic.http://es.arxiv.org/abs/0811.1168 (2008).
Principales conferencias internacionales:
1. A. Benito, A. Bravo, O Villamayor. Resolution of singularities. Workshop on
resolution of Singularities. Clay Institute; Cambridge, USA 2008
2. A. Benito, A. Bravo, O Villamayor. On resolution of singularities in positive
characteristic. Workshop on Resolution of Singularities in positive characteristic.
RIMS, Kyoto, Japon. 2008
3. E.Gonzalez-Jimenez. Computing equations of modular curves of low genus suitable
for cryptography. Symp. on Alg. Geometry and its Applications. Papeete (2007).
4. A. Quiros. The local Simpson correspondence in positive characteristic. Seminaire
Arithmetique et geometrie alg

brique. Universite de Strasbourg, Francia. 2009

3
Formaci on de recursos humanos
Tesis Doctorales leidas: Rocio Blanco. Aspectos Algortmicos en Resolucion
de Singularidades. Ideales Monomiales y Binomiales. 2008 (Direccion S. Encinas)
Tesis Doctorales en curso: Angelica Benito (Direccion O. Villamayor), Mari
Luz Garca (Direccion A. Bravo-O. Villamayor).
Trabajos de DEA: E. Pascual, Supercies modulares. 2007 (Direccion A. Quiros)
Tesis de Master: C Martnez; J. von Lucken y O. Vega, estudiantes de la de la
Universidad Nacional de Asuncion (Paraguay) estan realizando sus Tesis de Master
en la UAM (Direccion A. Quiros-O. Villamayor)
Estancias postdoctorales con nuestro equipo: Ricardo Podesta. Universi-
dad de Cordoba, Argentina. 2009 (Direccion A. Quiros-O. Villamayor)
4. Colaboracion con investigadores externos a la UAM
1) Resolucion de singularidades ([HSV]): K. Matsuki, H. Kawanoue (Pur-
due y RIMS); J. Wlodarczyk (Purdue); H. Hauser (Viena) y J. Schicho (Linz).
2) Operadores diferenciales ([LSQ08], [GLSQ]): P. Berthelot, B. Le Stum,
M. Gros (Rennes); F. Baldassarri, B. Chiarelotto (Padua); W. Messing (Minnesota);
K. Matsuki, H. Kawanoue (RIMS).
3) Curvas modulares y Aritmetica ([CLQS], [GGT], [GGGSS], [GO]):
F. Luca (UNAM), I. E. Shparlinski (Macquarie U.); J.M Tornero (Sevilla) e I. Garca
Selfa (Huelva); J. Steuding (W urzburg); R. Oyono (U. de la Polinesia Francesa).
5. Proyecto presentado en la convocatoria de 2009
Nos proponemos abordar nuevos objetivos en las mismas lineas tematicas:
1) Singularidades. Algoritmos de resolucion en caracterstica cero y aplicacio-
nes: estraticaciones equirresolubles, singularidades sobre esquemas reales y conjun-
tos semianalticos. Construccion de ideales con propiedades similares a las de los
ideales multiplicativos sobre variedades no necesariamente lisas y aplicaciones.
2) Operadores diferenciales. Aplicacion de operadores de orden superior a la
eliminacion de variables en problemas de resolucion. Levantamiento de la correspon-
dencia de Simpson en caracterstica p a una correspondencia de Simpson p-adica.
Descomposicion de Hodge p-adica para cohomologa con coecientes en un cristal.
3) Aritmetica. Aspectos teorico-computacionales en Geometra Aritmetica:
aplicacion de la teora de curvas elpticas a la resolucion de problemas aritmeti-
cos, estudio de la torsion de curvas elpticas, construir las formas modulares nuevas
asociadas a familias de Q-curvas y de variedades abelianas de tipo GL
2
.
Financiacion: El inicio de colaboraciones con Japon y America Latina ha su-
frido de una cierta escasez de medios. Queremos intensicar estas colaboraciones
(y ampliar las que tenemos con Estados Unidos), por lo que hemos solicitado un
aumento en la cantidad asignada a viajes con respecto al proyecto actual.
4
Variedades abelianas y teora de Galois
MTM2006-15038-C02-01
Universitat polit
`
ecnica de Catalunya
Miembros del equipo
Gabriel Cardona Juanals
Xavier Guitart Morales
Francesc Fite Naya
Joan-Carles Lario Loyo
Jordi Quer Bosor (IP)
Ana Rio Doval
Montserrat Vela del Olmo
1. Introduccion
En este proyecto se abordan problemas de teora de n umeros, geometra aritmeti-
ca y teora de Galois. El grupo investigador esta formado por seis investigadores a
tiempo completo (cuatro profesores y dos doctorandos con beca FPI), todos ellos
miembros del departamento Matematica Aplicada II de la UPC, mas otro inves-
tigador a tiempo parcial, profesor de la UIB. Todos los profesores son doctores
funcionarios o contratados permanentes. Financiacion: 49.000 euros. Puntuacion del
proyecto: 85 puntos sobre 100.
Se trata de uno de los dos subproyectos de un proyecto coordinado. Los investi-
gadores del otro subproyecto son un grupo de profesores de la misma Universidad
aunque de distinto departamento. En realidad, en la mayora de nuestros traba-
jos de investigacion participan miembros de los dos subproyectos, siendo el motivo
principal de la division administrativo y no cientco.
El conjunto de los investigadores de los dos subproyectos formamos el grupo de
investigacion en teora de n umeros de la UPC. Nuestros temas de interes son:
Curvas algebraicas: curvas elpticas e hiperelpticas, Q-curvas, curvas modula-
res, curvas de Shimura, modelos minimales, curvas y jacobianas sobre cuerpos
nitos y aplicaciones a la criptografa, ...
Variedades abelianas: variedades modulares, variedades de tipo GL
2
y GL
d
,
anillos y algebras de endomorsmos, variedades de moduli, multiplicacion com-
pleja, multiplicacion cuaternionica, multiplicaci on real, modularidad de varie-
dades abelianas, ...
Teora de Galois: problema inverso, problemas de inmersion, condiciones de
ramicacion, representaciones de Galois geometricas, cohomologa de Galois,
descenso galoisiano del cuerpo de denicion, ...
Los objetivos principales que se propusieron en la solicitud del proyecto son:
1. Determinacion de los cocientes elpticos optimales de variedades de tipo GL
2
con multiplicaci on compleja, sus cuerpos de denicion y las direcciones elpticas
correspondientes.
5
2. Elaboracion de una tabla de curvas modulares sobre cuerpos de n umeros de
nivel menor que una cota (en principio la cota N = 500 es el objetivo), usando
el software Magma.
3. Aritmetica, twist y descenso del cuerpo de denicion en curvas y variedades
abelianas.
4. Estudio de la descomposicion de variedades abelianas simples sobre extensiones
algebraicas: generalizaciones de los resultados de Ribet-Pyle para variedades
GL
2
considerando cuerpos mas generales y otras algebras de endomorsmos.
5. Algoritmos para el calculo del grupo de puntos en curvas elpticas y variedades
abelianas sobre cuerpos nitos.
6. Teora de Galois: estudio de la n-division de longitudes de arco de curvas
algebraicas, calculo de sistemas de generadores minimales para extensiones
k-transitivas, obstrucciones a ciertos problemas de inmersion.
2. Logros obtenidos
A continuaci on se describen brevemente los resultados obtenidos en relacion a
dichos objetivos:
1. El problema lo han resuelto completamente J.C. Lario y J. Gonzalez y los
resultados aparecen en el preprint num. 4 citado; estos resultados completan
el caso sin multiplicacion compleja, ya resuelto por los mismos autores y pu-
blicado en Amer. J. Math. en 2001.
2. Tema abordado por J. Quer. Se han implementado funciones en Magma que
permiten calcular la estructura de las algebras de endomorsmos de varieda-
des abelianas modulares simples; estas funciones se incluyen en la distribucion
de Magma a partir de la versi on 13. Los resultados teoricos en que se basan
los algoritmos usados han sido publicados en Math. Comp. Algunos calculos
de ecuaciones de Q-curvas se llevaron a cabo usando Magma, y actualmente
disponemos de tablas parciales de conductor menor que N = 100. En el trans-
curso de esta investigacion se han encontrado problemas de naturaleza teorica
para la determinacion de todos los cocientes optimales de variedades A
f
aso-
ciadas a formas modulares; en estos momentos Gonzalez, Lario y Quer estan
estudiando la manera de resolverlos. Asimismo los calculos realizados han per-
mitido precisar el enunciado de una posible generalizacion de la conjetura de
Manin al contexto de las Q-curvas.
3. Los twist de las curvas de genero 2 con muchos automorsmos han sido cla-
sicados por G. Cardona y J. Quer y los resultados se publicaron en Trans.
Amer. Math. Soc. El objetivo principal de la tesis de F. Fite es el estudio del
comportamiento de las funciones zeta de curvas de genero 2 por efecto de twist,
y se ha avanzado en esta direccion. Los twist de diversas familias de curvas
6
modulares han sido estudiados por J. Fernandez y J.-C. Lario (veanse publica-
ciones). En la tesis doctoral de F. Creixell, dirigida por J. Quer, se estudia el
problema de la existencia de modelos de Weierstrass de curvas hiperelpticas
denidos sobre su cuerpo de moduli. Las tecnicas utilizadas estan relacionados
con los trabajos previos de Cardona para el caso de genero 2. Se ha conseguido
demostrar dicha existencia cuando el grupo reducido de automorsmos no es
cclico; en el caso cclico se conocen contraejemplos a esta existencia, debidos
a Huggins y Poonen; el objetivo de la tesis de Creixell es dar propiedades que
caractericen dicha situacion. Se preve la lectura durante el a no 2010.
4. Este problema es el tema de estudio de X.Guitart para su tesis doctoral, que
se encuentra practicamente nalizada en cuanto a resultados, y actualmente
esta en fase de redaccion. Uno de los resultados obtenidos es la caracterizacion
aritmetico-geometrica de las variedades abelianas denidas sobre cuerpos de
n umeros cuya funcion zeta es un producto de L-series de formas modulares
para grupos
1
(N): la caracterizacion incluye condiciones sobre el cuerpo de
n umeros, sobre el algebra de endomorsmos de la variedad, y sobre un in-
variante que se asocia a la variedad denido a partir de isogenias entre sus
conjugadas.
5. Tema de estudio de Anna Rio en colaboracion con varios investigadores exter-
nos al grupo. El objetivo principal es el dise no de algoritmos para calcular la
estructura de los grupos de puntos de curvas elpticas sobre cuerpos nitos y
su generalizacion a jacobianas. Tambien se interesan por el calculo explcito
de isogenias entre dichas variedades. Los resultados obtenidos se han publi-
cado en una serie de artculos en Math. Comp. Un problema relacionado con
este punto esta siendo estudiado por G. Cardona: se trata de representar los
endomorsmos de jacobianas de curvas hiperelpticas como correspondencias
de una forma que permita el calculo explcito.
6. Tema estudiado por J.C. Lario con su estudiante de doctorado E. Tramuns y en
colaboracion con Gomez-Molleda (veanse preprints). El estudio de problemas
de inmersion es el tema principal de investigacion de M. Vela, que actualmente
trabaja en el calculo de obstrucciones para las extensiones de grado tres del
los grupos simetrico y alternado A
6
y S
6
.
3. Difusion
Los resultados obtenidos durante la realizacion del presente proyecto se presentan
en las publicaciones siguientes:
1. J. Fernandez, J.-C. Lario. On elliptic Galois representations and genus-zero
modular units. J. Theor. Nombres de Bordeaux 19 (2007), pp. 141164.
2. J. Fernandez, J. Gonzalez, J.-C. Lario. Plane quartic twists of X(5, 3). Canad.
Math. Bull. 50, (2007), pp. 196205.
7
3. N. Bruin, J. Fernandez, J. Gonzalez, J.-C. Lario. Rational points on twists of
X
0
(63). Acta Arithmetica 126 (2007), pp. 361385.
4. G. Cardona, J. Quer. Curves of genus 2 with group of automorphisms iso-
morphic to D
8
and D
12
. Trans. Amer. Math. Soc. 359 (2007), pp. 196205.
5. G. Cardona, E. Nart. Zeta function and cryptographic exponent of supersin-
gular curves of genus 2. Lecture notes on computer science vol. 4575, Springer-
Verlag (2007), pp. 132151.
6. J. M. Miret, R. Moreno, A. Rio. Generalization of Velus formulae for isogenies
between elliptic curves. Publ. Mat. Vol extra Actas primeras jornadas de
Teora de N umeros (2007), pp. 147163.
7. J. M. Miret, R. Moreno, A. Rio, M. Valls Computing the -power torsion of an
elliptic curve over a nite eld. Math. Comp. S 0025-5718(08)02201-1 (October
29, 2008)
8. J. Quer. Fields of denition of building blocks. Math. Comp. 78 (2009), 537
554.
Preprints, la mayora sometidos a revistas para su publicacion:
1. M. A. Gomez-Molleda, J.-C. Lario. On sharply k-transitive Galois extensions.
2. M. A. Gomez-Molleda, J.-C. Lario. Polynomial root systems for solvable equa-
tions of prime degree.
3. M. A. Gomez-Molleda, J.-C. Lario. Generalization of a theorem of Dirichlet
on L-series and elliptic units.
4. J. Gonzalez, J.-C. Lario. Modular elliptic directions with Complex Multipli-
cation, with an application to Grosss elliptic curves.
5. Jordi Gu`ardia, Montserrat Vela. Elliptic curves with everywhere good reduc-
tion.
6. X. Guitart. Fields of denition of building blocks with quaternionic multipli-
cation
7. X. Guitart, J. Quer. Modular abelian varieties over number elds.
8. J. M. Miret, R. Moreno, J. Pujol`as, A. Rio. Halving the 2-sylow subgroup of
genus 2 curves over binary elds.
9. J. M. Miret, R. Moreno, A. Rio. Velus formulae for the dual isogeny.
10. J. M. Miret, R. Moreno, A. Rio. Algebraic computation of isogenies between
elliptic curves.
11. J. Quer. Dimensions of spaces of modular forms.
8
Curvas modulares y de Shimura y variedades abelianas
MTM2006-15038-C02-02
Universitat Polit
`
ecnica de Catalunya
Miembros del equipo
Doctores Doctorandos
Julio Fernandez Francesc Creixell
Jorge Jimenez Eul`alia Tramuns
Josep Gonzalez (IP) Santiago Molina
Jordi Gu`ardia Eugenia Torres
Victor Rotger
1. Proyecto
El proyecto se enmarca dentro del area de investigacion de Teora de N ume-
ros, tanto en su vertiente teorica como computacional. Esta compuesto por cinco
doctores (Julio Fernandez, Jorge Jimenez, Josep Gonzalez, Jordi Gu`ardia y Victor
Rotger) y cuatro licenciados en Matematicas que estan realizando la tesis (Francesc
Creixell, Eul`alia Tramuns, Santiago Molina y Eugenia Torres), todos ellos adscritos
al Departamento MA4 (Matematica Aplicada IV). Los cinco doctores forman parte
de la plantilla a tiempo completo, mientras que dos de los cuatro restantes (F. Crei-
xell y Eul`alia Tramuns) son profesores ayudantes, S. Molina es tambien ingeniero en
telecomunicaciones y becario FPI y E. Torres es profesora de ense nanza secundaria,
ocasionalmente profesora a tiempo parcial de la UPC. La nanciacion del proyecto
es de 49.000 euros y la puntuacion del proyecto fue de 83 puntos superior a los 63
puntos de la puntuacion de corte en su programa.
El grupo de Teora de N umeros de la UPC ha investigado en problemas relacio-
nados con los siguientes objetos matematicos:
(i) Las curvas modulares X
0
(N) y X
1
(N), cuyos puntos respresentan curvas eltpti-
cas con estructuras de nivel, y por curvas C de genero > 0 dominadas por estas.
De manera especial, nos hemos interesado por dos clases de familias. Por un
lado, las curvas modulares X*(N), que se obtienen como cociente de las cur-
vas X
0
(N) por el grupo de sus involuciones de Atkin-Lehner y cuyos puntos
racionales clasican las denominadas Q-curvas, un tipo de curvas elpticas que
recientemente se ha demostrado son las unicas curvas modulares. Por otro
lado, las llamadas curvas modulares nuevas.
(ii) Las jacobianas de las curvas modulares X
1
(N) as como las variedades abelia-
nas que se obtienen como cocientes de estas, especialmente los denidas sobre
Q y que estan determinadas por las avriedades abelians A
f
, cuando f recorre
el conjunto de formas nuevas de peso 2 con respecto los grupos
1
(N).
(iii) Las curvas de Shimura X(D, N), que generalizan las curvas modulares ( X
0
(N) =
X(1, N)) y cuyos puntos (D > 1) representan superfcies abelianas con multi-
plicacion por un algebra de cuaterniones de discriminante D.
9
(iv) Las funciones thetanullwerte de las matrices de periodos de variedades abelia-
nas en bases simplecticas. Determinacion de ecuaciones de curvas a traves de
las matrices de periodos de sus jacobianas.
Los objetivos que se planteaban en este proyecto eran los siguientes:
1. Cocientes optimales de variedades abelianas de tipo GL
2
con Multiplicacion
Compleja. Estudio de sus propiedades aritmeticas. Determinacion del cuerpo
de denicion y de las direcciones asociadas en el espacio de las formas diferen-
ciales de la variedad (formas modulares). Calculo de ejemplos y constatacion
numerica de la conjetura de Manin.
2. Grupos de automorsmos de curvas modulares uniformizadas por grupos de
Schottky-Mumford. Conjeturalmente, el grupo de automorsmos de las su-
percies de Riemann uniformizadas por subgrupos de congruencia de SL2(R)
coincide con el normalizador del subgrupo, salvo para un n umero nito de ca-
sos. La conjetura esta probada cuando el grupo no contiene elementos elpticos,
pero permanece abierta en general. Se atacara el caso de las curvas de Shimura
de PEL-type, explotando su condicion de curvas de Mumford uniformizadas
por grupos de Schottky no arquimedianos.
3. Finitud de algebras de endomorsmos de variedades abelianas modulares con
dimension jada. Se conjetura la nitud de las posibles algebras de endomors-
mos de variedades abelianas de dimension jada y denidas sobre Q (o sobre
cuerpos de n umeros). Los unicos resultados conocidos se reeren a super-
cies abelianas cuaternionicas publicados en un artculo en 2006 del cual V.
Rotger y J. Gonzalez son coautores. Se pretende buscar resultados parciales
interesantes, especialmente para supercies abelianas modulares.
4. Tecnicas de criba. Aplicacion de las tecnicas de criba para obtener resultados
cualitativos sobre el n umero de ideales primos tales que la reduccion de una
curva elptica sobre un cuerpo de n umeros tiene cardinal primo o cuasi-primo
(producto de un n umero acotado de primos).
5. Estudio local-global de curvas. Determinacion de curvas elpticas e hiperelpti-
cas con buena reduccion en todos los primos y buenos modelos. Modelos mi-
nimales de curvas en generos 2 y 3.
6. Estudio de las curvas twistadas X(N, p)

de X(N, p) que clasican Q-curvas

cuadraticas de grado N con projectivizada p-torsion dada por una representa-
cion de Galois .
2. Resultados obtenidos
El objetico del apartado 1 se ha alcanzado y ademas se han podido aplicar los
resultados obtenidos a una familia de curvas con multiplicaci on compleja conocida
como las curvas A(p) de Gross, donde p denota un primo > 3 congruente con 3
10
modulo 4. Este trabajo esta contenido en el artculo: Modular elliptic directions with
complex multiplication (with an application to Grosss elliptic curves A(p)). de Josep
Gonzalez y Joan-Carles Lario, actualmente sometido a publicacion (10/2008).
El apartado 2 se ha resuelto en dos artculos publicados: On the non-existence
of exceptional automorphisms on Shimura curves. de A. Kontogeorgis y V. Rotger
en la revista Bull. London Math. Soc. 40 n
o
3, 363-374 (2008); On abelian groups
of automorphisms on Mumford curves. de A. Kontogeorgis, V. Rotger en la revista
Bull. London Math. Soc. 40 n
o
3, 353362 (2008).
Resultados parciales relativos al apartado 3 para el caso de variedades abelianas
con multiplicaci on cuaternionica estan contenidos en el artculo Which quaternion
algebras act on a modular abelian variety?. de Victor Rotger en la revista Math.
Res. Letters. 15 n.2, 252263 (2008).
En relacion al apartado 4, los resultados obtenidos estan contenidos en Almost
prime orders of CM elliptic curves modulo p. de Jorge Jimenez en el libro Algorithmic
Number Theory Symposium, Lecture Notes in Computer Science, 5001, 7487 (2008)
y en los artculos sometidos a publicacion Orders of CM elliptic curves modulo p with
at most two primes. de H. Iwaniec y J. Jimenez (2008); On the Frobenius eld of
elliptic curves. de C. David y J. Jimenez (2008).
Relativo al apartado 5, mencionamos Jacobian Nullwerte, periods and symme-
tric equations for hyperelliptic curves. de Jordi Gu`ardia en la revista Annales de
lInstitut Fourier 57, 12531283 (2007), Thetanullwerte: From periods to good equa-
tions. de Jordi Gu`ardia en Publicacions Matem`atiques UAB, vol. extra, 131146
(2007)y Genus two curves with quaternionic multiplication and modular jacobian.
de Josep Gonzalez y Jordi Gu`ardia en la revista Math. of Computation 78, 575589
(2009). Sometido a publicacion Elliptic curves with everywhere good reduction. de J.
Gu`ardia y M. Vela (2007).
Finalmente y, con relacion al apartado 6, mencionamos los artculos Rational
points on twists of X
0
(63). de Nils Bruin, Julio Fernandez, Josep Gonzalez y Joan-
C. Lario en la revista Acta Aritmetica 126, 361385 (2007), Plane quartic twists of
X(5, 3). de Julio Fernandez, Josep Gonzalez y Joan-C. Lario. en la revista Canadian
Mathematical Bulletin 50, 196205 (2007), On elliptic Galois representations and
genus-zero modular units. de Julio Fernandez y Joan-C. Lario en la revista Journal
de Theorie des Nombres de Bordeaux 19, 141164 (2007). y A moduli approach
to quadratic Q-curves realizing projective mod p Galois representations. de Julio
Fernandez en la revista Rev. Mat. Iberoamericana 24 n
o
1, 130 (2008).
3. Otras publicaciones y nuevas lneas
Ademas de las publicaciones relacionadas con objetivos explcitos descritos en
el proyecto, tambien se han obtenido otros resultados, algunos apuntando a nuevas
lneas de investigacion, que han culminado en artculos publicados, aceptados o
sometidos a publicacion:
On cubic factors of j-invariants of quadratic Q-curves of prime degree. de Josep
Gonzalez en la revista Journal of Number Theory 128, 377389 (2008).
11
Non existence of almost Moore digraphs of diameter three. de J. Conde, J.
Gimbert, J. Gonzalez, J. M. Miret y R. Moreno en la revista Electronic Journal
of Combinatorics 15(1), R-87, 114 (2008).
Generalizations of some zero-sums theorems. Autores: S. Adhikari, C. David
y J. Jimenez. Revista: Integres, 8. 1 n
o
A52 (2008).
Solving Fermat-type equations x
4
+ dy
2
= z
p
via modular Q-curves over poly-
quadratic elds. de L. Dieulefait y J. Jimenez. Aceptado para publicacion en
J. Reine Angew. Math.
Small Primitive roots abd malleability of RSA moduli. de L. Dieulefait y J.
Jimenez. Aceptado para publicacion en Journal of Combinatorics and Number
Theory.
On the equation a
x
x mod b
n
. de J. Jimenez y J. L. A. Yebra (2008).
Sometido a publicacion.
Newton polygons of higher order in algebraic number theory. de J. Gu`ardia, J.
Montes, E. Nart. Sometido a publicacion (2008).
Higher Newton polygons in the computation of discriminants and prime ideal
decomposition in number elds. de J. Gu`ardia, J. Montes, E. Nart, Sometido
a publicacion (2008).
On the bitangent lines of genus three curves. de J. Gu`ardia, Sometido a pu-
blicacion (2008).
Software: Montes Package. Autores: J. Gu`ardia, E. Nart. Lenguaje: Magma.
Direccion: http://http://www-ma4.upc.edu/ guardia/MONTES.htm. Barce-
lona (2008).
El estudio de la multiplicaci on compleja ha abierto la posibilidad de demostrar
la nitud de algebras de endomorsmos para variedades abelianas con CM y para el
caso de superfcies abelianas con multiplicaci on cuaternionica existen nuevas ideas
para abordar el estudio de su nitud.
Se estudia la aplicacion de las tecnicas con funciones tetanullwerte, hasta aho-
ra aplicadas a curvas hiperelpticas de genero 2 y 3, a las curvas de genero 3 no
hiperelpticas.
Las direcciones elpticas modulares tienen L-series y se quiere estudiar su relacion
con la L-serie de las correspondientes cocientes elpticos.
El resultado obtenido por S. Molina respecto de la curvas de Shimura abre la
posibilidad de buscar aplicaciones en la lnea de los resultados de Henri Darmon en
su estudio de la conjetura de Birch y Swinnerton-Dyer.
12
Metodos de teora de n umeros
en fsica matematica
MTM2006-04895
Universidad de Barcelona
Miembros del equipo
Bayer Isant, Pilar (IP), CU
Vila Oliva, N uria, CU
Arenas Sola,

Angela, TU
Crespo Vicente, Teresa, TU
Travesa Grau, Arturo, TU
Hajto, Zbigniew, TU
Dieulefait, Luis Vctor, PCD
Plans Berenguer, Bernat, PCD
Alsina Aubach, Montserrat, TEU
Aranes Maza, M. Teresa, BPre
Arias de Reyna Domnguez, Sara, BPre
Nualart Riera, Joan, BPre
Rem on Adell, Dionisio, BPre
1. Introduccion
a) Tematica
El proyecto gira en torno a temas aritmeticos relacionados con la demostracion
de A. Wiles del Teorema de Fermat [1995]. Asimismo, en el se contempla la
creacion de una lnea transversal para analizar el posible impacto de tecnicas
aritmeticas en ambitos de la fsica matematica.
b) Objetivos previstos
1) Contribuir a una mejor comprension de la demostracion de Wiles y ampliar
su rango de aplicacion a otros problemas aritmeticos concretos, como la
conjetura de Serre, la resolucion de ecuaciones diofanticas y el problema
inverso de la teora de Galois.
2) Dise nar e implementar nuevos algoritmos para el calculo en curvas de
Shimura, que sirvan de base para un conocimiento efectivo de su modelo
can onico.
3) Contribuir al desarrollo de una teora efectiva de formas modulares de
Hilbert nuevas.
4) Obtener realizaciones explcitas de grupos de Galois en caracterstica posi-
tiva y profundizar en la teora de Galois de ecuaciones en derivadas par-
ciales.
5) Promover una nueva lnea de investigacion transversal que establezca rela-
ciones entre metodos aritmeticos e hipotesis de trabajo que aparecen hoy
en el estudio de teoras cuanticas de campos.
c) Financiacion recibida: 143100 euros
13
2. Principales logros obtenidos
1b Publicaciones ( 2007) SCI/clave Miembros del equipo
1 3a6, 3a8; 3c5, 3d2; 3d5; 3f1g; 0.886; 0.989; 0.886 Dieulefait
3a2, 3a7, 3a9; 3c3, 3c4, 3c7; 3d6; 0.375; 0.680 Arias de Reyna, Dieulefait, Vila
3a10, 3a11, 3a12; 0.520; 0.702; 0.316 Plans
2 3a4; 3b2; 3c2; 3d7, 3d8; 0.410; CL; 0.562 Bayer, Nualart, Travesa
3f1b, 3f1d, 3f1e; Bayer, Nualart
3 3a1; 3b1; 3c1; 3d1 0.886 Aranes, Arenas
4 3a5; 3b5; 3d3; 0.350; L Crespo, Hajto
5 3a3; 3b4; 3f1f; 0.233 Bayer, Crespo, Remon, Travesa
3. Difusi on de los resultados
a) Artculos
1) Aranes, M, Arenas, A.: On the dening polynomials of maximal real cyclotomic
extensions. RACSAM 102 (2) (2008), 183191.
2) Arias de Reyna, S.; Vila, N.: Tame Galois realizations of GL
2
(F
l
) over Q. J. Num-
ber Theory, por aparecer. SCI = 0.375.
3) Bayer, P.; Travesa, A.: On local constants associated to arithmetical automorphic
functions. Pure and Appl. Math. Quarterly 4 (2008), 11071132. Special Issue: In
honor of Jean-Pierre Serre, Part 1 of 2. SCI = 0.233.
4) Bayer, P.; Travesa, A.: Uniformizing functions for certain Shimura curves, in the
case D = 6. Acta Arith. 126 (2007), 315339. SCI = 0.410.
5) Crespo, T.; Hajto, Z.: Extensions with Galois group 2
+
S
4
D
8
in characteristic
3. C. R. Acad. Sci. Paris Ser. I Math., 346 (2008), 611614. SCI = 0.350.
6) Dieulefait, L.V.: The level 1 weight 2 case of Serres conjecture. Rev. Mat. Ibero-
americana 23 (2007), no. 3, 11151124. SCI = 0.886.
7) Dieulefait, L.V.: Uniform behavior of families of Galois representations on Siegel
modular forms and the Endoscopy Conjecture. Bol. Soc. Mat. Mexicana 13 (2007),
no. 2.
8) Dieulefait, L.V.; Jimenez, J.: Solving Fermat-type equations x
4
+dy
2
= z
p
via mo-
dular Q-curves over polyquadratic elds. J. reine angew. Math, to appear (2009).
SCI = 0.989.
9) Dieulefait, L.V.; Vila, N.: Geometric families of 4-dimensional Galois representa-
tions with generically large images. Math. Z. 259 (2008), 879893. SCI = 0.680.
10) Kang, M.; Plans, B.: Reduction theorems for Noethers problem. Proc. Amer.
Math. Soc., por aparecer. SCI = 0.520.
11) Plans, B.: Generic Galois extensions for SL(2,5) over Q. Math. Res. Lett. 14 no.
3, (2007), 443452. SCI = 0.702.
12) Plans, B.: Noethers problem for GL(2,3). Manuscripta Math. 124 (2007), 481-
487. SCI = 0.316.
b) Libros y captulos de libros
1) Arenas, A.; Gu`ardia, J. (ed.): Formes modulars de Siegel. Notes del Seminari de
Teoria de Nombres (UB-UAB-UPC) 17. Barcelona, 2008. ISBN: 978-84-934244-
7-3. Con contribuciones de J. Nualart.
14
2) Bayer, P.: Jean-Pierre Serre: An Overwiew on his Work. The Abel Prize. The rst
ve years: 20032007, pp. 2784. H. Holden and R. Piene (editors). Abel Prize
Foundation. Springer, to appear, 2009.
3) Bayer, P.: Ensenyar matem`atiques, aprendre matem`atiques: variacions sobre un
tema de Felix Klein. Lli c o inaugural, curs 20072008, Universitat de Barcelona.
Publicacions i Edicions de la Universitat de Barcelona, 2007. DL: B-47165-2007.
4) Bayer, P. (ed.): Monogr` ac sobre treballs de D. Zagier. Notes del Seminari de
Teoria de Nombres (UB-UAB-UPC) 18. Barcelona, 2009. ISBN: 978-84-934244-
8-0. Con contribuciones de P. Bayer; T. Crespo; A. Travesa.
5) Crespo, T.; Hajto, Z.: Introduction to Dierential Galois Theory. Wydawnictwo
PK, Cracow, Poland, 2007, ISBN: 978-83-7242-453-2.
c) Publicaciones en actas de congresos
1) Arenas, A.: On Hilbert modular forms. Biblioteca de la Rev. Mat. Iberoameri-
cana. Segundas JTN (2008), 2938. SCI = 0.886.
2) Bayer, P.; Travesa, A.: Uniformization of triangle modular curves. Publ. Mat.
Vol. Extra (2007), 43106. PJTN SCI = 0.562.
3) Dieulefait, L.V.: A control theorem for the images of Galois actions on certain
innite families of modular forms. Modular Forms on Schiermonnikoog. Cam-
bridge Univ. Press, 2008.
4) Dieulefait, L.V.: Galois realizations of families of Projective Linear Groups via
cusp forms. Modular Forms on Schiermonnikoog. Cambridge Univ. Press, 2008.
5) Dieulefait, L.V.: How to facet a gemstone: from potential modularity to the
proof of Serres modularity conjecture, Segundas JTN. Biblioteca de la Rev. Mat.
Iberoamericana, 2009. SCI = 0.886.
6) Dieulefait, L.V.; Taixes, X.: Congruences between modular forms and lowering
the level mod l
n
. Proc. of the 25th Journees Arithm. J. de Theorie des Nombres
de Bordeaux, to appear (2009).
7) Vila, N.: Generically large images of geometric Galois representations. Oberwol-
fach Reports-OWR 4 (2007), 15051508.
d) Artculos sometidos para publicacion
1) Arenas, A.; Garca-Roig, J-L.: Calculating Fourier expansions of Hilbert modular
forms.
2) Billerey, N.; Dieulefait, L.V.: Solving Fermat-type equations x
5
+y
5
= dz
p
.
3) Crespo, T.; Hajto, Z.: Picard-Vessiot theory and Jacobian problem.
4) Crespo, T.; Sowa, E.: Quadratic elds and public key cryptography.
5) Dieulefait, L.V.: Remarks on Serres modularity conjecture.
6) Dieulefait, L.V.; Vila, N: The classication of geometric families of 4-dimensional
Galois representations.
7) Nualart, J.; Travesa, A.: Modular-like equations for Shimura curves, in the case
D = 6.
8) Nualart, J.; Travesa, A.: Uniformizing functions for Shimura curves: X(6, 5) and
its quotients.
e) Algunas ponencias presentadas en congresos
1) S. Arias de Reyna, N. Vila: Workshop Diophantine Problems and Abelian Va-
rieties. Universidad de Sevilla, 2006.
2) L. Dieulefait: Summer School on Serres modularity conjecture, CIRM, Luminy
(FRA) July 2007.
3) N. Vila: Congreso WIN: Women in Numbers. Ban (Canada), 2008.
15
f ) Formaci on de recursos humanos
1) Trabajos de postgrado (DEA/Master)
a

M. Beal: Rational Points on elliptic curves: Computational Aspects. Dir.: N.

Vila, 2008
b

P. Bengoechea: Modulos singulares. Dir.: P. Bayer, 2008.

c

A. Camara: Algoritmes qu`antics de factoritzacio. Dir.: A. Travesa, 2008.

d

J. Nualart: Dominis fonamentals, polinomis modulars i corbes de Shimura.

Dir.: A. Travesa, 2007.
e

J. Nualart: Aixecaments minimals de representacions de Galois diedrals.

Dir.: L. Dieulefait, 2007.
f

D. Remon:Una visio matem`atica de la fsica de partcules.Dir.:P. Bayer, 2008.
g

R. Soares: Familias residuales compatibles de representaciones de Galois.

Dir.: L. Dieulefait, 2008.
2) Tesis doctorales en curso
a

M. Teresa Aranes. Dir.: A. Arenas; J. Cremona. UB & University of Warwick

(UK). Inscripcion: diciembre 2005.
b

Sara Arias de Reyna. Dir.: N. Vila. UB. Inscripcion: octubre 2006.

c

Paloma Bengoechea. Dir.: P. Bayer, D. Zagier. UB & Institut de Mathema-

tiques de Jussieu, Pars (FRA). Inscripcion: octubre de 2008.
d

Ivan Blanco. Dir. P. Bayer, H. Darmon. UCM. Inscripcion: octubre de 2007.

e

Florian Heiderich. Dir. T. Crespo. UB. Inscripcion: diciembre 2007.

f

Joan Nualart. Dir. A. Travesa. UB. Inscripcion: octubre de 2007.
g

Dionisio Remon. Dir. P. Bayer. UB. Inscripcion: junio de 2008.

4. Colaboracion con otros equipos y programas
a) Organizacion de eventos internacionales
1) L. Dieulefait es miembro del Comite Organizador del programa de investigacion
anual Arithmetic Geometry, que se celebrara en el CRM (Bellaterra), 20092010.
2) T. Crespo y Z. Hajto organizaran la ESF Mathematics Conf. Algebraic Methods
in Dynamical Systems, Centro Mat. Int. de Bedlewo (Polonia) en mayo 2010.
3) T. Crespo es miembro del Comite Organizador del congreso nal de la red europea
GTEM, que se celebrara en la Universidad de Barcelona, julio de 2010.
b) Estancias de investigaci on relevantes
1) M. Alsina: CRM, sept.-nov. 2007. U. California en Berkeley, nov.-dic. 2007.
2) M. T. Aranes: Inst. f ur Exp. Math. Essen (DEU), sept.dic. 2007. Inst. de Math.,
Univ. Bordeaux I, (FRA), 20 ene.20 feb. 2009. Warwick University (UK), 2007-.
3) S. Arias de Reyna. Institut f ur Exp. Math., Essen (DEU), sept.-nov. 2008.
4) S. Arias de Reyna, P. Bayer, L. Dieulefait, J. Nualart: Summer school on Serres
modularity conjecture, jul. 2007, CIRM, Luminy (FRA).
5) T. Crespo: Periodo sabatico. Inst. Mat. Univ. Politecnica de Cracovia, Polonia,
curso 200607. Z. Hajto: periodo sabatico. U. Barcelona, 1r cuatr., 200809.
Crespo-Hajto: CIRM, oct. 2008; GTEM meeting, U. Bordeaux I, oct. 2008.
6) L. Dieulefait: Inst. for Pure and Appl. Math. UCLA, Los Angeles (USA); 3 meses
desde septiembre 2006. U. de Harvard (USA); 10 meses desde noviembre 2007.
5. Nuevo proyecto: MTM2009-07024
Ttulo: Contribuciones al programa de Langlands. Miembros del equipo: M. Al-
sina; M. T. Aranes; A. Arenas; S. Arias de Reyna; P. Bayer; P. Bengoechea; T. Crespo; L. V.
Dieulefait; Z. Hajto; F. Heiderich; J. Nualart; B. Plans; D. Remon; A. Travesa; N. Vila (IP).
16
Metodos Geometricos y Variacionales en
Integrabilidad y Teora de Control
MTM2006-10531
Zaragoza
Miembros del equipo
Antonio Bada Majos
Jose F. Cari nena (IP)
Jose Fernandez-N u nez
Juan A. Lazaro
Carlos L opez-Lacasta
Javier de Lucas
Eduardo Martnez
Manuel F. Ra nada
Nuestro equipo esta formado por miembros tanto de Departamentos de Ma-
tematicas como de Fsica, estos ultimos con gran formacion en Matematicas (algu-
nos de ellos han cursado estudios de Matematicas). Nuestro objetivo es aprovechar
la interrelacion entre ellos para conseguir una fructfera colaboracion que permita
resolver problemas ya planteados en Fsica mediante la utilizacion de herramien-
tas matematicas apropiadas, sugerir otros problemas que necesitan una formulacion
matematica mas precisa, e incitar la b usqueda de nuevos modelos y herramientas
que permitan resolver estos nuevos problemas.
El ambito en que se desarrolla nuestro trabajo es en el de los Metodos Geometri-
cos en Fsica, tanto clasica como cuantica. De forma mas precisa, nuestro objetivo
es el estudio mediante tecnicas geometricas de problemas de la Fsica relacionados
con la teora de sistemas dinamicos, provistos en su caso con las correspondientes
estructuras (complejas, Riemanniana, simplectica, de Poisson, etc), y en particular
las cuestiones relacionadas con simetras y reduccion.
El proyecto se ha desarrollado seg un lo previsto y se han obtenido la mayor parte
de los resultados perseguidos, que se han plasmado en la relacion de publicaciones
que se presenta a continuacion. En Abril de 2007 se incorporo al proyecto Javier de
Lucas, becario FPU desde Junio 2006, procedente de la Universidad de Salamanca.
Esta previsto que deenda su tesis doctoral en Septiembre de este a no.
La ayuda economica concedida al proyecto, 57.027,30 e, ha permitido renovar
equipos informaticos y continuar la colaboracion con otras Universidades tanto na-
cionales como extranjeras, con excelentes resultados.
Los objetivos cientcos estaban clasicados en los siguientes apartados: Integra-
bilidad y Superintegrabilidad [IS:JFC+MFR+JFN+JdL+JAL] con aplicaciones en
Mecanica Cuantica que indico como [QM:JFC+MFR], Algebroides de Lie y aplica-
ciones [ALA:EMF+JFC] y Teora de Control [TC:JFC+ABM+CLL]. El apartado
en el que se han conseguido menos resultados es en el ultimo. Por el contrario se
ha profundizado y obtenido resultados interesantes en el estudio de las relaciones
geometricas entre Mecanica Clasica y Cuantica con objeto de relacionar la integra-
bilidad en ambas teoras.
17
Se detalla a continuacion la relacion de publicaciones de los miembros del equipo
en estos dos ultimos a nos, correspondientes al proyecto. Algunos otros resultados
obtenidos estan pendientes de publicacion o sometidos a arbitraje para su publica-
cion.
Artculos publicados en revistas extranjeras
A. Bada-Majos and C. Lopez, Critical-state analysis of orthogonal ux interactions in
pinned superconductors, Phys. Rev B 76, 054504 (2007) [TC]
J.F. Cari nena, M.F. Ra nada, M. Santander, A quantum exactly solvable nonlinear oscillator
with quasi-harmonic behaviour, Ann. Phys. 322, 434-459 (2007) [QM]
J.F. Cari nena, M.F. Ra nada, M. Santander, Three Superintegrable two-dimensional Oscilla-
tors: Super-Integrability, Nonlinearity and Curvature Physics of Atomic Nuclei 70, 505512
(2007)[IS]
J.F. Cari nena, M.F. Ra nada, P. Guha, Quasi-Hamiltonian Structure and Hojman Construc-
tion, J. Math. Anal. Appl. 332, 975988 (2007) [IS]
M. Asorey, J.F. Cari nena, G. Marmo, A. Perelomov, Isoperiodic classical systems and their
quantum counterparts, Ann. Phys. 322, 14441465 (2007) [IS-QM]
J.F. Cari nena, M.F. Ra nada, M. Santander, The quantum harmonic oscillator on the sphere
and the hyperbolic plane, Ann. Phys. 322, 22492278 (2007) [QM]
J.F. Cari nena, J. Clemente-Gallardo, G. Marmo, Geometrization of Quantum Mechanics
Theor. Math. Phys. 152, 894903 (2007) [QM]
J.F. Cari nena, M.F. Ra nada, M. Santander, A super-integrable two-dimensional non-linear
oscillator with an exactly solvable quantum analog, SIGMA 3, 030 (23 p.) (2007) [IS]
E. Martnez, Lie Algebroids in Classical Mechanics and Optimal Control, SIGMA 3 50 (17
p.) (2007) [ALA-TC]
D. Iglesias, J.C. Marrero, D.M. de Diego, E. Martnez, E. Padron, Reduction of Symplectic
Lie Algebroids by a Lie Subalgebroid and a Symmetry Lie Group, SIGMA 3 49, (28 p.)
(2007) [ALA]
J.F. Cari nena, K. Ebrahimi-Fard, H. Figueroa, J.M. Gracia-Bonda, Hopf algebras in dyna-
mical systems theory, Int. J. Geom. Methods Mod. Phys. 4, 577646 (2007)[IS]
J.F. Cari nena, J.M. Nunes da Costa, P. Santos, Quasi-coordinates from the point of view
of Lie algebroid structures, J. Phys. A: Math. Theor. 40, 1003110048 (2007) [ALA]
J.F. Cari nena, J. Grabowski, G. Marmo, Superposition rules, Lie theorem and partial dif-
ferential equations, Rep. Math. Phys. 60, 237258 (2007)[IS]
J.F. Cari nena, J. de Lucas, A. Ramos, A geometric approach to integrability conditions for
Riccati equations, Electronic J. Di. Equations 122, 114 (2007) [IS]
J.F. Cari nena, J. Clemente-Gallardo, G. Marmo, Reduction Procedures in Classical and
Quantum Mechanics, Int. J. Geom. Methods Mod. Phys. 4, 1363-1403 (2007) [QM]
J.F. Cari nena, M.F. Ra nada, M. Santander, The quantum harmonic oscillator on the sphe-
re and the hyperbolic plane: -dependent formalism, polar coordinates and hypergeometric
functions, J. Math. Phys. 48, 102106 (13 p.) (2007) [QM]
J.F. Cari nena, M.F. Ra nada, M. Santander, Superintegrability on curved spaces, orbits and
momentum hodographs: revisiting a classical result by Hamilton, J. Phys. A: Math. Theor.
40, 1364513666 (2007) [IS]
J. Fernandez Nu nez, W. Garca Fuertes, A.M. Perelomov, Explicit computation of low-lying
eigenfunctions for the quantum trigonometric Calogero-Sutherland model related to the
exceptional algebra E7, Theor. Math. Phys. 154, 240249 (2008). [QM]
18
J.F. Cari nena, M.F. Ra nada, M. Santander, Quantization of a nonlinear oscillator as a
model of the harmonic oscillator on spaces of constant curvature: one- and two-dimensional
systems, Physics of Atomic Nuclei 71, 836843 (2008) [QM]
J.F. Cari nena, M.F. Ra nada, M. Santander, The Kepler problem and the Laplace-Runge-
Lenz vector on spaces of constant curvature and arbitrary signature Qualitative Theory of
Dynamical Systems 7, 8799 (2008)[IS]
J.F. Cari nena, M.F. Ra nada, M. Santander, The harmonic oscillator on Riemannian and
Lorentzian conguration spaces of constant curvature, J. Math. Phys. 49, 032703 (27 p.)
(2008) [IS]
J.F. Cari nena, A.M. Perelomov, M.F. Ra nada, M. Santander, A quantum exactly solvable
non-linear oscillator related with the isotonic oscillator, J. Phys. A: Math. Theor. 41, 085301
(10 p.) (2008) [QM]
J.F. Cari nena, J. de Lucas, M.F. Ra nada, Integrability of Lie systems and some of its
applications in physics J. Phys. A: Math. Theor. 41, 304029 (14 p.) (2008) [IS]
J.F. Cari nena, A. Ramos, Generalized Backlund-Darboux transformations in one-dimensional
quantum mechanics, Int. J. Geom. Methods Mod. Phys. 5, 605640 (2008) [QM]
J.F. Cari nena, J. de Lucas, M.F. Ra nada, Recent applications of the theory of Lie systems
in Ermakov systems, SIGMA 4, 031 (18 p.) (2008)[IS]
J.F. Cari nena, J. de Lucas, A nonlinear superposition rule for solutions of Milne-Pinney
equation Phys. Lett. A 372, 53855389 (2008) [IS]
J.F. Cari nena, M.F. Ra nada, P. Guha, 98. Hamiltonian and quasi-Hamiltonian systems,
Nambu-Poisson structures and symmetries J. Phys. A: Math. Theor. 41, 335209 (11 p.)
(2008) [IS]
E. Martnez, Variational Calculus on Lie algebroids, ESAIM: Control, Optimization and
Calculus of Variations 14 356380 (2008) [ALA-TC]
D. Iglesias, J.C. Marrero, D.Martn de Diego, E. Martnez, Discrete nonholonomic Lagran-
gian systems on Lie groupoids, J. Nonlinear Science 18 (2008) 221276 [ALA]
J. Cortes, M. de Leon, J.C. Marrero, E. Martnez, Non-holonomic Lagrangian systems on
Lie algebroids, Discrete and Continuous Dynamical Systems A 24 (2) (2009) 213271.
doi:10.3934/dcds.2009.24.213 [ALA]
Publicaciones de comunicaciones en congresos internacionales:
J.F. Cari nena, J. de Lucas, M.F. Ra nada, Nonlinear superpositions and Ermakov systems,
En: Dierential Geometric Methods in Mechanics and Field Theory, F. Cantrijn, M. Cram-
pin and B. Langerock, eds., pp. 1533, Academia Press, Gent, 2007. [IS]
J.F. Cari nena, A.M. Perelomov, M.F. Ra nada, Isochronous classical systems and quantum
systems with equally spaced spectra, En: Particles and Fields: Classical and Quantum,
Journal of Physics: Conference Series 87, 012007 (2007). [QM]
E. Martnez, Discrete Mechanics and Control on Lie Groupoids, En: Proceedings of the Sixth
International Congress on Industrial Applied Mathematics (ICIAM07) and GAMM Annual
Meeting, Z urich 2007. Proc. Appl. Math. Mech. 7, 10306071030608 (2007) [ALA-TC]
J.F. Cari nena, A new approach to Ermakov systems and applications in quantum physics,
Eur. Phys. J. Special Topics 160, 5160 (2008)
J.F. Cari nena, J. de Lucas, Lie systems and integrability conditions of dierential equations
and some of its applications equations, Proceedings 10 Int. Conf. Di. Geom. and Appl., p.
407417 (2007), O. Kowalski, D. Krupka, O. Krupkova and J. Slovak eds, 2007, World Sci.
Press (2008).[IS]
19
J.F. Cari nena, M.F. Ra nada, M. Santander, Dimensional reduction of curvature-dependent
central potentials on spaces of constant curvature, En: Variations, Geometry and Physics,
O. Krupkova and D. Saunders, eds., pp. 321337, Nova Science Publisher Press, 2008. [IS]
Otras publicaciones
J.F. Cari nena, J. Clemente-Gallardo, G. Marmo, Introduction to Quantum Mechanics and
the Quantum-Classical transition, Publicaciones de la RSME 10, 342 (2007) [QM]
J.F. Cari nena, Sistema de Ermakov y aplicaciones en Fsica Clasica y Cuantica, En: Algunas
cuestiones de Ciencias, p. 555-565, J. Atencia et al. Ed., Prensas Universitarias, Universidad
de Zaragoza (2007)[IS]
a) Colaboracion con Centros nacionales: Las colaboraciones son especialmente
intensas con las Universidades de Valladolid (M. Santander) en [IS], Carlos III de
Madrid (A. Ibort) [QM], Politecnica de Catalu na (M. Mu noz, X. Gr`acia y N. Roman-
Roy) y de La Laguna (J.C. Marrero y E. Padr on) [ALA], junto con miembros del
CSIC de Madrid (M. de Leon, D. Martn de Diego y D. Iglesias) [ALA].
La colaboracion mencionada ha dado lugar a varios artculos conjuntos, y junto
con otras colaboraciones ha cristalizado nalmente en una red tematica: Mecani-
ca, Geometra y Control (en sus comienzos MTM2005-24556E y en la actualidad
MTM2008-03606-E/MTM). Existe una pagina web de la red donde se difunden los
resultados obtenidos (http://www.gmcnetwork.org/).
b) Colaboracion on Centros extranjeros: La de mayor intensidad es con Napo-
les (G. Marmo) pero existen otras importantes con las Universidades de Warsaw
(J. Grabowski), Gante (W. Sarlet), Bolonia (G. Morandi), Franche-Comte (Besan-
con) (J.P. Ortega), Coimbra (J. Nunes da Costa y Patrcia Santos), Manchester
(M. Rodrguez Olmos), Imperial College (A. Lazaro) y U. Costa Rica (H. Figue-
roa). Tambien se han comenzado en los ultimos a nos colaboraciones con diversas
universidades chilenas.
Recientemente se ha solicitado un proyecto continuaci on de este con esencial-
mente el mismo equipo. Se incorporara Kurusch Ebrahimi-Fard que se encuentra
como investigador contratado JdC y aportara su experiencia en metodos algebrai-
cos en el estudio de ecuaciones diferenciales y sistemas de Control. En este momento
con otros miembros del equipo esta organizando para el proximo a no un trimestre
tematico sobre Combinatoria y Control.
Finalmente indicar que ademas de la tesis doctoral que fue recientemente defen-
dida por J.A. Lazaro Cam (codirigida por E. Martnez y J.P. Ortega), se encuentra
practicamente acabada la que esta llevando a cabo Javier de Lucas.
20
Juegos cooperativos y conictos de intereses. Teora y practica
MTM 2006-06064
Universidad Polit

ecnica de Catalu

na
Miembros del equipo
Rafael Amer Ramon
Francisco Carreras Escobar (IP)
Josep Freixas Bosch
Jose Miguel Gimenez Pradales
Maria Dolors Llongueras Arola
Antonio Maga na Nieto (1/2)
Montserrat Pons Vall`es
Mara Albina Puente del Campo
Vicente Sales Ingles
1. Introduccion
Con este Proyecto continuamos nuestra investigacion sobre los fundamentos ma-
tematicos y las aplicaciones de la Teora de Juegos, y mas concretamente acerca
de diferentes temas de actualidad e interes, tanto desde el punto de vista teorico
como desde el de sus implicaciones en otros campos cientcos. La Teora de Juegos
es el marco natural para el estudio de las situaciones de conicto de intereses y se
divide en dos grandes ramas: la de los juegos cooperativos y la de los juegos no
cooperativos. Nuestro Proyecto se encuadra en la rama cooperativa.
Los temas a los que dedicamos nuestro trabajo pueden agruparse en cuatro grandes
lneas relacionadas entre s:
A. Sistemas de decision.
B. Representaci on y eleccion colectiva.
C. Cooperacion restringida.
D. Multiplicidad de alternativas.
Los conceptos utilizados y los resultados obtenidos en cada una de estas lneas son
susceptibles de aplicacion en areas de Economa, Ciencia Poltica, Sociologa, Ad-
ministracion, Organizacion Industrial o Tecnologa, entre otras. La interaccion entre
dichas areas y la Teora de Juegos es muy fructfera. Con vistas a estas aplicaciones
practicas, no descartamos la elaboracion, en caso necesario y como labor adicional,
del software adecuado para cada una de ellas.
Clasicacion UNESCO: teora de juegos, teora de la decision, modelos econometri-
cos, comportamiento poltico.
Financiacion recibida:
84.500,00 euros (costes de ejecucion) + 17.745,00 euros (costes indirectos).
21
2. Resultados obtenidos
La tabla 1 recoge un resumen de los principales logros obtenidos, as como el grado
de consecucion de los objetivos previstos. Hay que se nalar que, en ocasiones, la in-
vestigacion encaminada a un objetivo ha conducido a obtener resultados adicionales,
no previstos inicialmente, sobre cuestiones relacionadas.
La implicacion de los miembros del equipo en estas realizaciones quedara reejada
en las autoras detalladas en la seccion siguiente.
Tabla 1
L

INEA / Palabras clave Objetivos %

A. SISTEMAS DE DECISI

ON/ 6 / 9 67 %
juegos simples: estructura, dimension, representaci on, decisividad,
dise no, automorsmos, aspectos computacionales
B. REPRESENTACI

ON Y ELECCI

ON COLECTIVA / 7 / 7 100 %
reglas de representaci on colectiva, proporcionalidad, estabilidad,
funcion caracterstica, normalidad, regularidad
C. COOPERACI

ON RESTRINGIDA / 9 / 9 100 %
semivalores binomiales, regulares, coalicionales, axiomatizaciones,
poder, potencial, extensiones multilineales, consorcios, alianzas
D. MULTIPLICIDAD DE ALTERNATIVAS / 3 / 7 43 %
extension y axiomatizacion del ndice de ShapleyShubik,
juegos con diferentes niveles de aprobacion
Aplicaciones: ECONOM

IA / 2 / 4 50 %
valor de Shapley y regla proporcional, contexto empresarial
Aplicaciones: CIENCIA POL

ITICA / 4 / 4 100 %
consorcios, reglas de votacion, Parlamento de Catalu na, equivalencia
ordinal, paradojas de los ndices de poder, poder circunstancial
Aplicaciones: TECNOLOG

IAS / 3 / 4 75 %
FIABILIDAD: analisis del valor crtico 1/2, cotas de error para
funciones de abilidad linealmente separables, componentes optimas
CRIPTOLOG

IA: ndices de poder en el reparto de secretos,

accesibilidad de una estructura, accesibilidad ponderada
TEOR

IA DE GRAFOS: ranking de nodos de un grafo orientado,

conectividad de un grafo conexo, accesibilidad en redes orientadas
22
3. Difusion de resultados
La tabla 2 describe las actividades realizadas para la difusion de los resultados ob-
tenidos por el equipo. Incluye artculos de investigacion publicados en revistas con
factor de impacto, artculos de investigacion o divulgacion publicados en otras revis-
tas o como captulos de libros, documentos de trabajo registrados por la Universidad
Politecnica de Catalu na, dos tesis doctorales (cuya autora se adjudica al doctorando
y al director), la participacion en congresos nacionales e internacionales y las comu-
nicaciones presentadas en los mismos. Se detalla en cada caso el n umero de autores
ajenos al equipo que han colaborado en cada tipo de realizaciones (Otros).
Tabla 2
Actividad Total Autoras Otros
Artculos publicados en revistas con FI 26 45 13
Otros artculos o captulos de libros 12 32
Artculos aceptados y pendientes publicacion (FI) 5 6 3
Artculos enviados y pendientes aceptacion (FI) 7 15 1
Documentos de trabajo UPC (research reports) 11 29
Tesis doctorales ledas 1 1+1
Tesis doctorales en preparacion 1 1+1
Participaciones en congresos internacionales 22 en 15
Comunicaciones en congresos internacionales 25 en 15 47 7
Participaciones en congresos nacionales 6 en 3
Comunicaciones en congresos nacionales 6 en 3 12 2
En la tabla 3 se muestran las intervenciones de cada miembro del equipo en las 92
actividades mencionadas (salvo tesis). X indica colaboradores ajenos al equipo.
Tabla 3
1 autor 2 autores 2 autores 3/4 autores
FC 4 RAJMG 9 JFMP 8 RAFCAM 11
JF 1 FCJF 3 JFAP 2 RAJMGAM 9
JMG 3 FCJMG 2 JFX 12 FC-JFAP 6
FCAM 4 DLLAM 1 FCDLLAP 4
FCAP 2 AMX 6 FCAMX 1
FCAPX 2
JFXX 1
FCXXX 1
total equipo 8 total equipo 49 total equipo 35
23
4. Colaboraciones
El equipo esta reconocido como Grupo de Investigacion en Teora de Juegos por la
Universidad Politecnica de Catalu na (acronimo GRTJ y codigo 0000010000) con
fecha 16/07/2004. Y como Grupo de Investigacion Consolidado por la Generalitat
de Catalu na, con nanciacion (codigo SGR 2005-00651) desde 18/10/2005 hasta
31/12/2008. Esta ademas integrado desde 1997 en la Red Tem atica Barcelona-
Jocs y en el Grupo de Trabajo de Teora de Juegos de la SEIO.
F. Carreras, J. Freixas y V. Sales han formado el equipo espa nol en el proyecto de
investigacion hispano-italiano Governabilit`a e indici di potere, subvencionado por
la Universit`a degli Studi del Piamonte Orientale Amedeo Avogadro (Italia) y dirigido
por Guido Ortona como investigador principal, desde 23/03/2006 hasta 31/12/2007.
Colaboradores del equipo en este perodo: G. Owen (Naval Postgraduate School,
Monterey, California), W. S. Zwicker (Schenectady College, Nueva York), G. Gam-
barelli (U. de Bergamo, Italia), J. M. Alonso-Meijide (U. de Santiago de Composte-
la), M. G. Fiestras (U. de Vigo), C. Munuera (U. de Valladolid) y R. Quintanilla, X.
Molinero y S. Roura (UPC). El equipo ha organizado 6 conferencias y seminarios,
a cargo de G. Owen (4), G. Gambarelli y J. M. Alonso-Meijide.
Varios miembros del equipo han actuado como reviewers para diversas revistas: F.
Carreras (10), J. M. Gimenez (3), M. D. Llongueras, A. Maga na y M. A. Puente.
5. Convocatoria 2009
El equipo ha presentado una solicitud en la convocatoria 2009 en la que el Investi-
gador Principal sera el profesor J. Freixas.
6. Comentarios adicionales
Reconocimientos a la labor investigadora del equipo: R. Amer (segundo sexenio,
diciembre 2007), F. Carreras (tercer sexenio, diciembre 2006), J. Freixas (segundo
sexenio, diciembre 2007), J. M. Gimenez (primer sexenio, diciembre 2006, y paso a
TU, septiembre 2007), M. D. Llongueras (doctorado, julio 2008, y paso a profesora
colaboradora, septiembre 2008), A. Maga na (primer sexenio, diciembre 2006) y A.
Puente (paso a TU, octubre 2007 primer sexenio en 2004).
Circunstancias imprevisibles de diversa ndole, que no han perjudicado el desarrollo
cientco del Proyecto ni la consecucion de resultados de interes, han impedido que la
labor de divulgacion y la de colaboracion con otros grupos anes fueran las idoneas.
En consecuencia, el ritmo de los gastos no ha sido el esperado y no agotaremos el
presupuesto concedido.
Francisco Carreras Escobar
24
Motivos mixtos y operads
MTM2006-14575
Universidad de Barcelona
Miembros del equipo
Joana Cirici Nu nez
Francisco Guillen Santos(IP)
Vicente Navarro Aznar
Pedro Pascual Gainza
Lloren c Rubio Pons
Abdo Roig Maranges
Agustn Roig Mart
1. Introduccion
Nuestro proyecto se desarrolla en las areas de Geometra algebraica, Topologa
algebraica y Algebra homologica. Su objetivo es el estudio de las estructuras coho-
mologicas y homotopicas asociadas a las variedades algebraicas sobre cuerpos de
caracterstica cero, con especial enfasis en su formulacion motvica y en los operads
relacionados con ellas. Los objetivos previstos son los siguientes:
Motivos mixtos. Probar la existencia de una ltracion por el peso en una teora
cohomologica generalizada de las variedades algebraicas, y su aplicabilidad a la coho-
mologa motvica, a la teora K-algebraica, etc. Probar que los grupos K
0
de las ca-
tegoras de motivos puros y de motivos mixtos de Voedvosky (Medalla Fields 2002)
son isomorfos. Obtencion del motivo mixto de la bra lmite de una degeneracion y
la comparacion con su caracterstica de Euler universal, obtenida por Denef-Loeser
(Journal A.M.S., 2001).
Algebra homotopica y Operads. Establecer unos axiomas para las categoras de
homotopa, alternativos a los de Quillen, probar un criterio de reconocimiento de
dicha estructura, y un criterio de formalidad, que se adapten a las situaciones no
abelianas y ltradas, como aquellas que nos hemos encontrado en nuestro estudio de
los motivos mixtos y operads. Probar que la categora de operads sobre una categora
de complejos y la de algebras sobre un operad variable son categoras de descenso, y
a partir de aqu dotar de una estructura de E

-algebra a los grupos de cohomologa

motvica.
Financiacion: 27.600 E.
2. Logros obtenidos
1. En (Publ. Math. IHES, 1974) Deligne probo que la cohomologa singular de
las variedades algebraicas complejas con coecientes racionales tiene una ltracion
por el peso. En el trabajo en preparacion [GN] hemos introducido, junto con V. Na-
varro, una estructura de categora de descenso c ubico sobre la categora de complejos
ltrados, en la que las equivalencias debiles son los morsmos ltrados que inducen
25
un isomorsmo en el termino E
2
de la sucesion espectral, con la cual, y utilizando
nuestro criterio de extension (Publ. Math. IHES, 2002), hemos demostrado que la
ltracion por el peso esta bien denida en la cohomologa con coecientes enteros.
Este resultado se extiende a la ltracion por el peso en la cohomologa motvica,
uno de los objetivos del proyecto.
2. En la tesis de L. Rubio [Ru3], dirigida por P. Pascual, se ha aplicado el criterio
de extension de Guillen-Navarro en el contexto de la K-teora algebraica. Esta tesis
ha dado lugar a las publicaciones y prepublicaciones [Ru1], [Ru2] y [PRu]. En [Ru1]
y [Ru2] se demuestra que la categora de espectros simpliciales, con la estructura del
lmite homotopico, es una categora de descenso c ubico y se estudia la extension de
un prehaz de espectros en la categora de variedades algebraicas. En [PRu], mediante
el criterio de extension de Guillen-Navarro, P. Pascual y L. Rubio han probado que
el functor de K-teora superior de las variedades algebraicas lisas se extiende a un
functor KD sobre la categora de los esquemas posiblemente singulares, que verica
la propiedad de descenso. Ademas han denido una ltracion por el peso en KD y
en K
c
. En K
c
la ltracion por el peso coincide con la introducida por Gillet-Soule (J.
Reine Angew. Math, 1996).
3. En los trabajos [GNPR1], [GNPR2] y [GNPR3], conjuntos con V. Navarro, P.
Pascual y Agust Roig, hemos obtenido los logros mas importantes relativos al alge-
bra homotopica. En [GNPR2] henos introducido las categoras de Cartan-Eilenberg,
que son un nuevo marco para el algebra homotopica alternativo a las categoras
de modelos de Quillen, en el cual formulamos, entre otros avances, criterios para
derivar functores no aditivos. En este contexto hemos estudiado la cohomologa de-
nida por un cotriple en [GNPR1], la categora de algebras diferenciales graduadas
conmutativas, la categora de operads y la de operads modulares de nuestro ante-
rior trabajo (Duke Math. J., 2005). Esperamos aplicar tambien las categoras de
Cartan-Eilenberg a las categoras de objetos ltrados (complejos, adgc, estructuras
de Hodge mixtas aditivas y multiplicativas). En [GNPR3] damos un ejemplo natural
en el cual no se pueden aplicar los resultados de Quillen y por el contrario podemos
derivar functores en el sentido de las categoras de Cartan-Eilenberg.
4. En [RRod], Agust Roig y B. Rodriguez proponen, mediante el uso de las
categoras de descenso simplicial ([Rod1]) y el criterio para derivar functores en una
categora de Cartan-Eilenberg ([GNPR2]), una generalizacion de la cohomologa de
haces, que incluye la clasica cohomologa a coecientes en un haz de una categora
abeliana y la cohomologa de haces generalizada de Brown (Trans. AMS, 1974),
as como la cohomologa de haces de adgc de V. Navarro (Invent. Math., 1987).
5. En [Ro1] y [Ro2] Abdo Roig, que se halla en su tercer a no de formacion,
estudia condiciones para tener descenso por blow-ups en un pre-haz de espectros
denido sobre los esquemas lisos y el descenso c ubico de la homologa de Lawson
(Ann. of Math., 1989), de la cohomologa morca y de la teora K semitopologica,
con el objetivo de extender dichas teoras a las variedades singulares y obtener una
ltracion por el peso.
6. En los trabajos en preparacion [C1] y [C2] J. Cirici, becaria asociada al pro-
yecto y que se halla en su segundo a no de formacion, como una etapa preliminar
a su proyecto ha estudiado espacios de moduli y estraticaciones de Whitney del
26
espacio de anidades, generalizando resultados de Mumford y Arnold, y tambien ha
obtenido la classicacion de los tipos de orbitas y la determinacion de las variedades
de subespacios invariantes de las isometras de los espacios de curvatura constante.
3. Difusion
1. Publicaciones
(2007)[GN] F. Guillen, V. Navarro, Weight ltration and cohomological descent.
(2007)[Ru1] L. Rubio, Model categories and cubical descent. Bol. Soc. Mat. Me-
xicana 13 (2007): 293305.
(2007)[PRu] P. Pascual, L. Rubio, Cubical descent and algebraic K-theory. ArXiv
0706.2257.
(2008)[Ru2] L. Rubio, Fibrant presheaves of spectra and Guillen-Navarro exten-
sion. E-prints de la UPC.
(2008)[Ru3] L. Rubio, Categoras de descenso: Aplicaciones a la teora K alge-
braica. Tesis UPC. Direccion P. Pascual.
(2008)[GNPR1] F. Guillen, V. Navarro, P. Pascual, Agust Roig, Acyclic models,
monoidal functors and chain operads. Canad. J. of Math., 60(2): 348378.
(2008)[GNPR2] F. Guillen, V. Navarro, P. Pascual, Agust Roig, A Cartan-
Eilenberg approach to Homotopical Algebra. ArXiv 0707.3704. Aceptado en J. Pure
Appl. Algebra.
(2009)[GNPR3] F. Guillen, V. Navarro, P. Pascual, Agust Roig,The dierentia-
ble chain functor is not homotopy equivalent to the continuous chain functor. Top.
Appl., 156: 658660.
(2009)[RRod] B. Rodriguez, Agust Roig, Operad Sheaf Cohomology.
(2009)[Ro1] Abdo Roig, Descent for blow-ups on smooth schemes.
(2009)[Ro2] Abdo Roig, Descent for Lawson homology. En
(2009) [C1] J. Cirici, Orbit types of ane maps.
(2009)[C2] J. Cirici, Classication of isometries of spaces of constant curvature.
(2009)[HP] H. Hamraoui, P. Pascual, Suites spectrales. Prepub., U. Hassan II.
2. Conferencias
(2007) F. Guillen, Metodos de Algebra homotopica I y II. Univ. de Sevilla.
(2007) F. Guillen, a) A general criterion of cohomological descent. b) De Rham-
Hodge cohomology of singular varieties. En Cohomologie de De Rham algebrique,
D-modules et Theorie de Hodge. CIRM-Luminy, Marsella.
http://grupo.us.es/gfqm218/CIRM/programa.html
(2007) L. Rubio, A weight ltration on KH

(X). Poster en Winter School in

K-theory, Sedano (Burgos), Universidad de Valladolid.
http://cms.dm.uba.ar/Members/gcorti/workgroup.swisk/index html.html
(2007) P. Pascual, Cartan-Eilenberg categories. Workshop on Derived categories.
CRM, Barcelona.
(2008) P. Pascual, a) Mod`eles acycliques et categories de Cartan-Eilenberg. b)
Descente cohomologique et K-theorie. Univ. Hassan II de Casablanca.
(2009) P. Pascual, Sur les categories triangulees. Univ. Hassan II de Casablanca.
27
4. Colaboracion con otros equipos
1. Nuestra colaboracion mas activa es con el equipo de Luis Narvaez de la
Univ. de Sevilla, IP del proyecto D-Modulos, singularidades y geometra algebraica
aritmetica. MTM2007-66929. El resultado principal de esta colaboracion es la tesis
doctoral [Rod1], donde Rodriguez extiende el concepto de categora de descenso al
contexto simplicial y demuestra que la categora homotopica de una categora de
descenso aditiva simplicial estable es triangulada y que la categora de estructuras
de Hodge mixtas es una categora de descenso simplicial. La nocion de categora
de descenso simplicial juega un papel clave para derivar functores respecto de un
cotriple. Los resultados, pendientes de publicacion, se recogen en [Rod2]y [Rod3].
(2007)[Rod1] Beatriz Rodriguez, Categoras de descenso simplicial. Tesis docto-
ral. Universidad de Sevilla. Codireccion: Luis Narvaez y Vicente Navarro
(2008)[Rod2] B. Rodriguez, (Co)Simplicial Descent Categories, arXiv:0808.3684v1
(2008)[Rod3] B. Rodriguez, Triangulated Structures Induced By Simplicial Des-
cent Categories, arXiv:0808.3681v1.
2. Hemos mantenido contactos con los profesores Cisinski, Kahn y Maltsiniotis
de la Univ. de Paris 7, que se han concretado en la Adv. School on Homotopy
Theory and Algebraic Geometry, organizada por el Inst. Univ. de Invest. de Mat.
de la Univ. de Sevilla prevista para septiembre de 2009. Ver la siguiente web
http://congreso.us.es/htag09/php/index.php
3. Hemos desarrollado varios seminarios conjuntos, sobre

Algebra homotopica,
con el equipo del proyecto MTM2007-63277 Estructuras homotopicas de orden
superior, cuyo IP es C. Casacuberta, de la Univ. de Barcelona.
4. P. Pascual ha inicado una colaboracion con Hinda Hamraoui de la Univ.
Hassan II de Casablanca, con el objetivo de promocionar el estudio de la teora K
en dicha Universidad. El trabajo [HP] se enmarca en este programa.
5. Abdo Roig ha realizado una estancia de tres meses en la Univ. of Southern
California con E. Friedlander en Oto no de 2008.
5. Proyecto 2009
La continuaci on de este proyecto, si es aprobada, tendra como I.P. a P. Pascual,
y como objetivo el estudio de las Estructuras no abelianas en geometria y topologia
algebraicas. Nos proponemos utilizar las teoras del descenso cohomologico y de las
categoras de Cartan-Eilenberg, para avanzar en el estudio de las seis operaciones de
Grothendieck en situaciones no abelianas y ltradas, incluyendo tambien el estudio
de la formalidad de los operads asociados a las variedades algebraicas. En este pro-
yecto esta previsto que realice su tesis doctoral bajo mi direccion J. Cirici, becaria
asociada al proyecto, con el trabajo Modelos minimales de diagramas de Hodge de
algebras. Tambien se enmarca en el el proyecto de tesis Cohomologa de Lawson y
descenso, del becario de la Generalidad de Catalu na Abdo Roig y que esta dirigida
por P. Pascual. Asmismo han de encontrar apoyo para el desarrollo de su actividad
de investigacion los recientes doctores L. Rubio y B. Rodriguez.
28
Algebras de Lie, teora de invariantes generalizados
y aplicaciones a la Geometra Diferencial
MTM2006-09152
Universidad Complutense de Madrid
Miembros del equipo
J. M. Ancochea Berm udez (IP)
R. Campoamor Stursberg
L. Garca Vergnolle
1. Introduccion
En las algebras y grupos de Lie de dimension nita, se pretende completar el
estudio de la teora de operadores de Casimir generalizados por la representaci on
coadjunta, y analizar la existencia y estructura de tales operadores respecto a es-
tructuras diferenciables adicionales, tales como las formas simplecticas o producto.
Se han desarrollado metodos determinantales y matriciales para tales operadores,
as como para aquellos grupos resolubles dotados de estructuras suplementarias. De
ello se han deducido criterios que permiten establecer la existencia de bases funda-
mentales formadas por operadores. Por otra parte, se han estudiado que propiedades
geometricas se conservan por contracciones de Inon u-Wigner generalizadas y por
contracciones discretas, as como el comportamiento de las estructuras simplecticas
compatibles con estructuras complejas respecto de tales operaciones. Ademas, se
ha aplicado la teora de contracciones a variedades de leyes de tipo no-Lie, tales
como de Leibniz y de Jordan, tratando de extrapolar el estudio geometrico de la
variedad de leyes de algebras de Lie a estos objetos, con el n de obtener resultados
estructurales y de clasicacion.
Financiacion recibida: 11090 euros.
2. Resultados
El objetivo principal ha sido el estudio pormenorizado de la teora de invariantes
y semi-invariantes en las aplicaciones geometricas y fsicas de los grupos de Lie. Dos
grandes bloques se han considerado a estos efectos:
1. Se ha procedido a generalizar y completar el metodo analtico de Peccia y
Sharp para el problema de la etiqueta extraviada, desde el punto de vista de
las contracciones asociadas a la ruptura de la simetra. El estudio de las condi-
ciones de resolubilidad completa del problema llevan a considerar estructuras
de Poisson generalizadas, asi como otras estructuras geometricas expresadas
por medio de operadores tensoriales. Entre otros objetivos, se han obtenido las
soluciones completas a los problemas de etiquetado clasicos, y se ha obtenido
una interpretacion intrnseca de estos operadores a partir de los datos iniciales.
29
2. Se han estudiado y clasicado grupos de Lie (resolubles) dotados de estructuras
geometricas suplementarias, tales como estructuras complejas e hipercomple-
jas, simplecticas o Kahler. Se han obtenido nuevos resultados referentes a la
completitud de grupos resolubles en dependencia de la estructura de su nilra-
dical, as como sus propiedades de rigidez cohomologica. En relacion con este
problema, se han estudiado las relaciones de las leyes de algebras de Lie con
otros tipos de estructuras, tales como las algebras de Jordan y de Leibniz. La
teora de contracciones ha permitido establecer los diagramas de contracci on y
deformacion de tales estructuras, as como determinar las orbitas rgidas de las
mismas. Utilizando estos resultados, se han clasicado las algebras de Jordan
y Leibniz nilpotentes en baja dimension, permitiendo asimismo analizar las
deformaciones entre variedades de leyes de distinta naturaleza.
Los resultados obtenidos son originales, y amplian o generalizan objetivos de
proyectos anteriores. Especcamente, los principales resultados en la ejecucion de
este proyecto pueden resumirse en la lista siguiente:
1. Analisis del problema de etiquetado mediante contracciones inducidas por
la ruptura de simetra y descomposicion asociada de operadores tensoriales
(RCS).
2. Clasicacion de copias virtualesde algebras simples en envolventes (RCS).
3. Clasicacion supersimetrica de extensiones del grupo de Poincare por contrac-
ciones (RCS).
4. Teoremas de decoloracion para estructuras ternarias de color (RCS)
5. Clasicacion de estructuras graduadas y sus contracciones
6. Criterios de existencia y clasicacion de estructuras complejas en algebras
tangentes y cotangentes
7. Clasicacion modelos resolubles con nilradical de tipo (n-2,1,1) (LGV)
8. Clasicacion de estructuras completas con nilradical de tipo (n-2,1,1) (JMA,
LGV).
9. Estudio de la reducibilidad de las variedades de leyes de Leibniz y sus contrac-
ciones (JMA).
10. Clasicacion de algebras de Jordan y Leibniz y diagramas de contracci on
(JMA, LGV).
30
3. Difusion
Dentro de los parametros de calidad exigidos, los frutos de las investigaciones
realizadas por este grupo han sido publicadas en revistas de reconocido prestigio,
que se citan a continuacion:
1. Journal of Mathematical Physics,
2. International Journal of Theoretical Physics,
3. Linear Algebra and his Applications,
4. Journal of Physics A: Mathematical and Theoretical,
5. Physics of Atomic Nuclei,
6. Monatshefte f ur Mathematik,
7. Manuscripta Mathematica,
8. Journal of Algebra,
9. Journal of Lie Theory.
En ellas han aparecido los logros mas relevantes del proyecto, concernientes a las
estructuras geometricas subyacientes tanto a las aplicaciones fsicas como a las de
matematica aplicada.
Por otra parte, se han presentado los resultados en diversas conferencias de ambi-
to internacional, tales como
1. V Rencontres Alsaciennes de Mathematique et Physique, Mulhouse (Francia),
79 de junio de 2007,
2. Quantum Theory and Symmetry V, Valladolid, 2229 de julio de 2007,
3. Invariants in Low-Dimensional Topology, Oberwolfach (Alemania), 410 de
mayo de 2008,
4. XXVII Colloquium on Group Theoretical Methods in Physics, Yerevan (Ar-
menia), 1319 de agosto de 2008.
4. Colaboraciones
Los miembros del equipo forman parte del grupo de investigacion Complutense
Geometra Diferencial y Simetras de Sistemas, Ref. 920920, del que asimismo
forma parte M. Castrillon (MTM2007-60017, Calculo de variaciones con ligaduras
no holonomas. Aplicaciones geometricas y fsicas). Durante el a no 2008, el grupo
obtuvo la concesion del proyecto de investigacion CCG07UCM-ESP/2922.
31
En el marco de este proyecto, la profesora G. P. Ovando, del CONICET-Universidad
de Rosario (Rep. Argentina), impartio un curso de 20 horas titulado Geometra
Simplectica, durante el mes de febrero de 2008.
Parte de los resultados de investigacion fueron presentados por el miembro R.
Campoamor en diversos seminarios celebrados en la Universidad Nacional de Rosario
(mayo de 2007), en la Universidad Tecnica de Praga (febrero de 2008) y en el
Instituto de Astronomia y Fsica del Espacio de la Universidad de Buenos Aires
(abril de 2008).
32
Sistemas de Calculo Simb olico:
nuevos desarrollos en Topologa Algebraica y abilidad
MTM200606513
Universidad de La Rioja
Miembros del equipo
J. Rubio (IP)
L. Lamb an
J. Aransay
A. Romero
F. Sergeraert (Universite de Grenoble)
C. Domnguez
1. Introduccion
El proyecto estaba dedicado a los Sistemas de Calculo Simb olico, con dos aspectos
diferenciados: por una parte, la mejora del sistema de Kenzo (creado por Francis
Sergeraert) y, por otra, el incremento de su abilidad utilizando metodos formales
(y, mas concretamente, herramientas de razonamiento mecanizado como Isabelle,
Coq o ACL2).
Los objetivos concretos planteados fueron:
Objetivo 1a: Nuevo algoritmo para el calculo de grupos de homotopa, basado
en ideas de Bouseld y Kan.
Objetivo 1b: Desarrollar componentes de Kenzo para las sucesiones espectrales.
Objetivo 2a: Modelos para la especicacion y analisis de sistemas de calculo
simb olico.
Objetivo 2b: Razonamiento mecanizado en calculo simb olico.
Objetivo 3: Integraci on de calculo, especicacion y deduccion.
El proyecto obtuvo una nanciacion de 21780 euros (contando los costes indirec-
tos).
2. Grado de cumplimiento de objetivos
Objetivo 1a: Nuevo algoritmo para el calculo de grupos de homotopa, basado
en ideas de Bouseld y Kan.
Grado de cumplimiento: 50 %
Calculo de las dos primeras hojas de la sucesion espectral de Bouseld-Kan.
Nueva lnea: pares exactos constructivos.
33
Objetivo 1b: Desarrollar componentes de Kenzo para las sucesiones espectrales.
Grado de cumplimiento: 100 %
Nueva lnea: aplicaciones a la homologa de grupos.
Objetivo 2a: Modelos para la especicacion y analisis de sistemas de calculo
simbolico.
Grado de cumplimiento: 75 %
Especicacion algebraica: 100 %.
Nueva lnea: modelizacion en Coq.
Objetivo 2b: Razonamiento mecanizado en calculo simbolico.
Grado de cumplimiento: 75 %
Demostracion completa del Lema de Perturbacion en Isabelle.
Desarrollos en Isabelle y ACL2.
Nuevas lneas: estructuras graduadas, generacion de codigo.
Objetivo 3: Integraci on de calculo, especicacion y deduccion.
Grado de cumplimiento: 25 %
Primeros intentos de integraci on de Kenzo y ACL2.
(En colaboracion con el grupo de Jose Luis RuizReina,
Universidad de Sevilla.)
Nueva lnea: MathML, OpenMath, interfaces inteligentes.
(Relacion con el proyecto de transferencia TutorMates.)
3. Difusion y transferencia
Publicaciones indexadas en el JCR:
1. Ana Romero, Julio Rubio, Francis Sergeraert. Computing Spectral Sequences.
Journal of Symbolic Computation 41 (10) (2006) 10591079.
2. C. Domnguez, J. Rubio, F. Sergeraert. Modeling Inheritance as Coercion in
the Kenzo System. Journal of Universal Computer Science, 12 (12) (2006)
17011730.
3. C. Domnguez, L. Lamban, J. Rubio. Object Oriented Institutions to Specify
Symbolic Computation Systems. Rairo-Theoretical Informatics and Applica-
tions 41(2007) 191215.
34
4. E. Mata, P.

Alvarez, J. A. Ba nares, J. Rubio. Formal Modelling of a Coordi-
nation System: From Practice to Theory, and Back Again. Lecture Notes in
Articial Intelligence 4457 (2007) 229244.
5. M. Andres, L. Lamban, J. Rubio. Executing in Common Lisp, proving in
ACL2. Lecture Notes in Articial Intelligence 4573 (2007) 112.
6. E. Mata, P.

Alvarez, J. A. Ba nares, J. Rubio. Formal Reasoning on a Web
Coordination System. Lecture Notes in Computer Science 4739 (2007) 329
336.
7. C. Domnguez. Formalizing in Coq Hidden Algebras to Specify Symbolic Compu-
tation Systems. Lecture Notes in Articial Intelligente 5144 (2008) 270284.
8. J. Heras, V. Pascual, J. Rubio. Mediated Acces to Symbolic Computation
Systems. Lecture Notes in Articial Intelligente 5144 (2008) 446461.
9. S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, F. Wiedijk (eds). In-
telligent Computer Mathematics. Lecture Notes in Articial Intelligente 5144,
2008.
10. J. Aransay, C. Ballarin, J. Rubio. A Mechanized Proof of the Basic Perturba-
tion Lemma. Journal of Automated Reasoning 40 (4) (2008) 271292.
11. J. Aransay. Mechanized Reasoning in Homological Algebra. Articial Intelli-
gence Communications 21 (4) (2008) 265267.
12. J. Aransay, C. Domnguez. A Case-Study In Algebraic Manipulation Using
Mechanized Reasoning Tools. Aparecera en International Journal of Computer
Mathematics. DOI: 10.1080/00207160802676604
Ademas, 25 comunicaciones en congresos (19 de ellos internacionales).
Tesis defendidas:
Ana Romero, Homologa Efectiva y Sucesiones Espectrales, leda el da 13 de
noviembre de 2007. Sobresaliente Cum Laude. Mencion Tesis Europea. Miem-
bros extranjeros del tribunal de tesis: Jean Louis Koszul, John McCleary y
Marc Giusti.
Eloy Mata, Coordinacion de Servicios Web: de las Aplicaciones a los Mode-
los Formales, leda el da 13 de marzo de 2009. Sobresaliente Cum Laude.
(Codirigida por Julio Rubio.)
Otros indicadores del IP:
Chair del Comite de Programa de Calculemus 2008 (Birmingham, UK).
Presidente del Comite Cientco del Workshop Applicable Algebra and Com-
puter Science.
35
Miembro del Comite Cientco de:
Calculemus 2009.
Taller de Programacion Funcional en el congreso PROLE 2009.
Red EACA.
Editor de un volumen especial sobre Applicable Algebra and Articial Inte-
lligence de la revista Annals of Mathematics and Articial Intelligence.
Transferencia: Proyecto de transferencia TutorMates: 350000 euros.
Empresa Addlink Research: 247000 euros (41000 euros UR).
Proyecto Ministerio Trace/Prot: 75000 euros (37500 euros UR).
Consolider i-math: 28000 euros (17000 euros UR).
4. Colaboracion con otros equipos
Estancias de investigacion:
J. Aransay, Certied algorithms from mechanized proofs in Homological Al-
gebra using Isabelle, del 1 Marzo al 31 de Mayo de 2007, Leopold-Franzens-
Universitat Innsbruck, Austria.
A.Romero, Symbolic Computation and Group Homology, del 1 al 29 de
febrero de 2008, National University of Ireland, Galway (Irlanda).
C. Dominguez, Diagrammatic Specications, del 9 al 13 de junio de 2008,
Laboratoire de Modelisation et Calcul, Universite Joseph Fourier, Grenoble,
Francia.
J. Aransay, Certied programs in Homological Algebra, del 1 de Junio al 31
de Julio de 2008, Technische Universitat M unchen, Alemania.
5. Nuevo proyecto
Proyecto coordinado desde la Universidad de La Rioja (en MTM), con un sub-
proyecto de la Universidad de Sevilla (en TIN). Ttulo del proyecto coordinado:
Gestion Mecanizada del Conocimiento Matematico. Aplicaciones en Topologa Al-
gebraica y en Logica.
36
Topologa geometrica, topologa en dimension baja
y dinamica topologica
MTM2006-00825
Universidad Complutense de Madrid.
Miembros del equipo
Manuel Alonso Moron (UCM)
Eduardo Cuchillo Iba nez (UPM)
Jerzy Dydak (UT)
Antonio Giraldo Carbajo (UPM)
Jose Manuel Higes Lopez (UCM) (Becario FPU)
Juan Margalef Roig (CSIC)

Alvaro Martnez Perez (UCM)(Becario FPI)

Jose Mara Montesinos Amilibia (UCM)
Jes us Pascual Moreno Damas (UCM)(Becario FPU)
Jose Manuel Rodrguez Sanjurjo (UCM)
Francisco Romero Ruiz del Portal (IP) (UCM)
Jose Manuel Salazar Crespo (UAH)
Jaime Jorge Sanchez Gabites (UCM)(Becario FPU)
1. Introduccion
-Nuestro grupo obtuvo una nanciacion de 92.200 euros y un becario predoctoral.
1.1. Objetivos.
-Estudio de la dinamica de homeomorsmos en dimensiones 2 y 3.
-Estudio de propiedades topologico-geometricas de atractores de ujos y su re-
lacion con las propiedades globales de la region de atraccion y de su frontera.
-Empleo de los hiperespacios de compactos metricos para obtener informacion
geometrica de los propios espacios: Teora de la forma y Topologa computacional.
Geometra coarse.
-Estudio de las posibles degeneraciones de estructuras conicas de un nudo.
1.2. Resultados en el bienio 2007-2008.
Uno de los objetivos centrales del proyecto es estudiar el problema de Ulam, muy
relacionado con el estudio de los ndices de las iteraciones de homeomorsmos de
R
n
en un entorno de puntos jos aislados. Se trata de un problema abierto duran-
te decadas resuelto en dimension 2 por Le Calvez y Yoccoz (Annals of Math. 146
(1997), 241-293 y Annales Sci. Ecole Normale Sup. 36 (2003), 139-171) para homeo-
morsmos que conservan orientaci on y por miembros de nuestro equipo (Topology,
41 (2002), 1199-1212) para los que la invierten. Hemos abordado el problema en
dimension n, con n > 2. Se ha demostrado que si el punto jo no es un conjunto
invariante aislado, cualquier sucesion de Dold se realiza por homeomorsmos de R
n
en puntos jos Lyapunov estables. Este hecho representa una diferencia muy sus-
tancial respecto del caso bidimensional. Finalmente hemos resuelto completamente
el problema del calculo de la sucesion, en dimension 3, en el caso que nos restaba:
37
el caso invariante aislado. Si un punto jo es aislado como compacto invariante, la
sucesion de ndices es periodica y, recprocamente, cualquier sucesion periodica que
cumple las congruencias de Dold se realiza como sucesion de ndices de un homeo-
morsmo en las condiciones anteriores. Este trabajo se materializa en un artculo
conjunto con P. Le Calvez (Univ. Pars VI).
Por otra parte, en colaboracion con R. Ortega (Univ. Granada) hemos demos-
trado un teorema de punto jo para homeomorsmos planos que es de aplicacion
a ecuaciones diferenciales diversas (periodicas con simetras, osciladores forzados
o dinamica de poblaciones) para las que se obtiene una dicotoma interesante: un
punto jo que es atractor local, lo es global si y solo si no existen otras orbitas
periodicas.
Tambien hemos estudiado singularidades de las continuaciones de atractores en
el marco de la teora del indice de Conley. En este contexto hemos introducido la
nocion de espectro de un atractor, que recoge informacion de todas las posibles con-
tinuaciones de tal atractor. Hemos desarrollado una teora general de continuaciones
y de sus singularidades y la hemos aplicado al atractor de Lorenz en las cercanas de
los valores clasicos de los parametros, y hemos estudiado su evolucion en la region
de preturbulencia e, inmediatamente despues, para los valores de los parametros
anteriores a la bifurcacion de Hopf.
En lo que a nuestros propositos en Topologa geometrica respecta se consiguio,
efectivamente, construir un isomorsmo de categoras entre la topologica de los es-
pacios compactos metrizables y la categora Co-coarse de variedades contractibles,
no compactas y con metricas totalmente acotadas, modeladas sobre el cubo de Hil-
bert. Se probo la intrnsica relacion entre la dimension topologica y la dimension
asintotica. Se demostro, en este marco, la estrecha relacion entre el concepto de
homeomorsmo en topologa y el de casi-isometra en el marco de la geometra coar-
se. Tambien se consiguio describir la categora de homotopa de compactos metricos
desde el exterior as como una caracterizacion de los ANRs compactos en los mismos
terminos.
El estudio de la geometra coarse de los R-arboles en terminos de sus espacios
ultrametricos de nales es otro marco, relacionado con la geometra coarse, que nos
permitio construir distintas equivalencias de categoras con ciertas clases de espacios
ultrametricos y diferentes clases de aplicaiones (uniformemente continuas, Lipschitz,
bi-Holder, cuasi-conformes) entre ellos.
Respecto de nuestra propuesta en Topologa en dimension baja, se ha demostrado
que toda 3-variedad es cubierta ramicada de los anillos de Borromeo con ndices de
ramicacion, 2p, 2q, 2r donde p,q,r son enteros mayores que 1. De modo equivalente
el orbifold (B, 2p, 2p, 2r) es universal. Ademas es un orbifold hiperbolico lo que
implica la existencia de grupos Kleinianos aritmeticos o no, universales. Tambien se
han hallado las representaciones de nudos de dos puentes en algebras de cuaterniones,
mediante el estudio de una cierta variedad algebraica asociada al nudo.
2. Difusion e indicadores de calidad.
2.1. Artculos y preprints (bienio 20072008).
38
-N. Brodskiy, J.Dydak, J. Higes, A. Mitra. Assouad-Nagata dimension via
Lipschitz extensions. Israel Journal of Mathematics (aceptado).
-P. Le Calvez, F. R. Ruiz del Portal, J.M. Salazar. Fixed point indices of
the iterates of R
3
-homeomorphisms at isolated invariant sets (preprint).
-E. Cuchillo,, J. Dydak, A. Koyama, M.A. Moron. Co-coarse geometry of
complements of Z-sets in the Hilbert cube. Transactions AMS 360 (2008), 52295246.
-E. Cuchillo, M.A. Moron. Canonical covers and dimension of Z-sets in the
Hilbert cube. Proceedings AMS 136(2008) n
o
10, 37093716.
-J.Dydak, J. Higes. Asymptotic cones and Assouad-Nagata dimension. Pro-
ceedings AMS (aceptado).
-A. Giraldo, R. Jimenez, M.A. Moron, F.R. Ruiz del Portal y J.M.R.
Sanjurjo. Pointed shape and global attractors for metrizable spaces. Topology Appl.
(aceptado).
-A. Giraldo, J.M.R. Sanjurjo. Singular continuations of attractors. SIAM
Journal of Appl. Dynamical Systems (aceptado).
-H. M. Hilden, M.T. Lozano, J. M. Montesinos. On 2-universal knots (pre-
print).
-H. M. Hilden, M.T. Lozano, J. M. Montesinos. On representations of 2-bridge
knot groups in quaternion algebras (preprint).
-A. Luzon, M. A. Moron. Ultrametrics, Banachs xed point Theorem and the
Riordan Group. Discrete Appl. Math. 156, 14 (2008) 26202635.
- A. Martnez y M.A. Moron. Uniformly continuous maps between ends of
R-trees. Math. Zeitschrift (aceptado).
- M. A. Moron, E. Cuchillo A. Luzon. -connectedness, nite approximations,
shape theory and coarse training in hyperspaces. Physica D 237, (2008) 31093122.
-M.A. Moron, J. Sanchez-Gabites, J.M.R. Sanjurjo. Topology and dyna-
mics of unstable attractors. Fund. Math. 197 (2007), 239252.
-Rafael Ortega, F. R. Ruiz del Portal. Attractors with non-vanishing rotation
number (preprint).
-F. R. Ruiz del Portal, J. M. Salazar. A Poincare formula for the xed
point indices of the iterates of planar homeomorphisms. Discrete Cont. Dyn. Syst.
(aceptado).
-*F.R.Ruiz del Portal, J. M. Salazar. Indices of the iterates of R
3
-homeo-
morphisms at Lyapunov stable xed points. Journal of Dierential Equations 244, 5
(2008). 11411156.
-F. R. Ruiz del Portal, J.M. Salazar. Realization of all Dolds congruentes
with stability (preprint).
-*J.J. Sanchez-Gabites, J.M.R. Sanjurjo. On the topology of the boundary
of a basin of attraction. Proceedings AMS, 135(2007), 40874098.
-J.M.R. Sanjurjo. Global topological properties of the Hopf bifurcation. J. Dif-
ferential Equations 243 (2007), 238255.
- Nuestros trabajos recientes han sido citados en revistas de prestigio como An-
nals of Math., J. Pure and Appl. Algebra, Ergodic Th, Dyn. Systems, Proc. AMS.
Journal of Di. Equations, Discrete and Cont. Dyn. Syst. o Chaos, solitons and frac-
tals, entre otras, y en el Handbook of Fixed Point Theory y Handbook of General
39
Topology . Ademas, aparecemos identicados como grupo en obras como History of
Topology o Encyclopedia of General Topology.
-(*) Muy buenas recensiones en MathReviews.
2.2. Seleccion de conferencias en congresos (por invitacion).
-M.A. Moron. Conferenciante plenario y Chairman de sesion en el VI Geome-
tric Topology Conference, celebrado en Dubrovnik en Octubre de 2007.
-F.R. Ruiz del Portal. Conferenciante plenario y Chairman de sesion en el
congreso internacional Topological Theory of Fixed and Periodic Points, Banach
Center (Bedlewo, Polonia) en Julio del 2007.
-J. M. R. Sanjurjo. Conferenciante plenario y Chairman de sesion en el VI
Geometric Topology Conference, celebrado en Dubrovnik en Octubre de 2007.
2.3. Tesis doctorales y formacion.
Se han presentado las siguientes tesis:
Autor: Alvaro Martnez Perez. R-arboles, estructuras metricas en sus espa-
cios de nales y algunas aplicaciones a la topologa geometrica. Director: Manuel
Alonso Moron.
Autor: Jaime Jorge Sanchez Gabites. Aplicaciones de la Topologa Geometri-
ca. Director: J.M. R. Sanjurjo.
Proximamente: E. Blanco (Director: F.R. Ruiz del Portal), J.M. Higes (J. Dydak
y J.M.R. Sanjurjo) y J. P. Moreno (M.A. Moron).
Ademas, durante estos ultimos meses se han incorporado dos nuevos estudiantes:
L. Hernandez (F.R. Ruiz del Portal) y D. Mondejar (M.A. Moron).
3. Relaciones con otros grupos.
-Colaboramos cientcamente con grupos nacionales representativos liderados
por M.T. Lozano (Zaragoza) y R. Ortega (Granada). Hemos iniciado colaboracio-
nes con notable proyeccion con miembros de otros grupos internacionales punteros
por ejemplo los liderados por P. Le Calvez (Pars VI), B. Hughes y G. Yu (Vander-
bilt) y A. Dranishnikov (Florida). En los casos mencionados las relaciones se han
materializado en trabajos de investigacion conjuntos y/o con estancias de nuestros
estudiantes en sus respectivas universidades.
4. Nuevo proyecto: MTM2009-07030.
-Estudio de los homeomorsmos del espacio que invierten orientacion y abordar
problemas dinamicos locales inversos de los ya resueltos: dada una sucesion deter-
minar, en la medida de lo posible, la dinamica local.
-Determinar si todo compacto de dimension nita con forma poliedral se puede
sumergir como atractor de un ujo en un espacio eucldeo. Propiedades dinamicas de
la compacticacion de Freudenthal de la variedad inestable de un conjunto invariante
aislado dotada de la topologa intrnseca.
-Tratar la nocion de homologa persistente y desde nuestra aproximacion, usando
hiperespacios, la correspondencia de Alexandro-McCord.
- Continuacion con el estudio de la degeneracion de las geometras genericas de
una cone-manifold.
40
Algunos operadores representables en
Analisis Complejo y Ultrametrico
MTM2006-14786
Universidad de Cantabria
Miembros del equipo
Jes us Araujo Gomez (IP)
Jose Manuel Bayod Bayod
Luis Dubarbie Fernandez
Mara Cristina Perez Garca
1. Introduccion
El Proyecto ha sido nanciado con 25773 euros (21300 euros de costes de ejecu-
cion).
El tema central del Proyecto gira en torno a ciertos tipos de operadores entre
espacios de funciones; como objetivos, nos encontramos de un lado la b usqueda de
su representaci on cuando sea posible y, por otra parte el estudio de la relacion entre
los espacios topologicos base donde se hallan denidas las funciones. En este ambito,
un objetivo fundamental del Proyecto consiste en ocuparse en contextos concretos
de dos tipos de operadores para los cuales ya haba resultados conocidos en otros
contextos. Se trata, en primer lugar, de las aplicaciones separadoras y de operadores
proximos a ellas y, en segundo lugar, de las isometras shift.
Uno de los temas ligados estrechamente con las aplicaciones separadoras es el de
continuidad automatica. Caba prever que, en algunos casos al menos, la obtencion
de una representaci on conducira a resultados de continuidad de los operadores.
Conjuntamente con las aplicaciones separadoras, tenemos el problema de los
operadores que son proximos a estos en alg un sentido. En cierto modo, teniendo en
cuenta que la representacion habitual de las aplicaciones separadoras viene dada por
una aplicacion composicion con peso, se trataba aqu de ver como una perturbacion
del caracter separador poda traducirse en una mnima distancia a una aplicacion
composicion con peso.
En cuanto al estudio de las isometras shift, nuestro objetivo era encontrar condi-
ciones sobre espacios X que garantizaran la existencia de tales operadores. Igualmen-
te, se propona el estudio en el caso de espacios de funciones con valores vectoriales.
Recordemos que apenas se conocan ejemplos de un cierto tipo de isometras shift
(tipo I) y que permaneca abierto un problema desde 1991.
El ultimo objetivo previsto en este Proyecto se enmarca dentro del analisis ul-
trametrico, es decir, aquel desarrollado sobre cuerpos K dotados de una valuacion
no arquimediana. Centraba nuestro objetivo el estudio de los operadores de Fred-
holm y, en la medida de lo posible, el estudio de problemas similares a los dados en
el caso real o complejo. Aparte de esto, considerabamos la posibilidad de estudiar
cuestiones de dinamica p-adica.
41
2. Resultados obtenidos hasta el momento
De acuerdo con los objetivos previstos, en el perodo transcurrido se han aborda-
do diversos problemas relacionados con la representaci on de operadores en distintos
ambitos; principalmente se han analizado los asuntos siguientes.
Las aplicaciones biseparadoras entre espacios de funciones absolutamente con-
tinuas y de funciones de Lipschitz con valores vectoriales.
A este respecto, cabe indicar que en ambos casos los resultados obtenidos han
sido satisfactorios: en particular se ha conseguido la representacion completa de los
operadores biseparadores como aplicaciones composicion con peso. En general, la
continuidad automatica se concluye de manera natural. Hemos de indicar que, en el
caso particular de los espacios de funciones de Lipschitz, el resultado ha sido objeto
de intentos por diferentes investigadores sin llegar a la conclusion denitiva.
En cuanto al problema de la perturbacion de los operadores separadores, hemos
estudiado las distancias maxima y mnima a las aplicaciones composicion con peso
en el caso general y en el caso de funcionales lineales. En todos los casos, las cotas
obtenidas son optimas. Por ejemplo, en el caso general, la cota superior conocida
hasta ahora, para un cierto , era 20

; nosotros la hemos rebajado hasta

17/2.
Asimismo, de acuerdo igualmente a lo previsto, se ha abordado el problema de
las isometras shift T : C(X) C(X) entre espacios de funciones continuas. Mas
concretamente, nos hemos concentrado en los dos problemas siguientes:
Si existe una isometra shift T : C(X) C(X), se puede concluir que X es
separable? (abierto desde 1991).
Encontrar espacios separables que admiten una isometra shift de tipo I.
En cuanto a la primera cuestion, obviamente nuestro objetivo era resolverla por
completo, pero evidentemente no haba ninguna garanta de exito. En cualquier
caso, s que se proporciono una respuesta, por otra parte inesperada: contra lo que
se pensaba, la respuesta es negativa.
En lo que respecta a la segunda cuestion, nuestra contribucion a este estudio
consiste no ya en nuevos ejemplos sino en la sistematizacion de dos metodos inde-
pendientes que conducen a sendas familias de ejemplos.
Finalmente indicaremos que tambien se ha estudiado el caso vectorial y, a este
respecto, se ha logrado representar en todos los casos posibles (cuando los espacios
de Banach son estrictamente convexos) la forma de una isometras de codimension
nita.
Sin constituir expresamente uno de los objetivos iniciales del Proyecto, pero
ntimamente relacionado con aquellos, debemos mencionar lo siguiente.
El estudio de los operadores multiplicativos entre espacios de funciones con
valores en el intervalo [0, 1].
Un resultado reciente de Marovt (aparecido en Proc. Amer. Math. Soc. 134
(2006), 1065-1075) establece la representaci on general de todos los operadores mul-
tiplicativos biyectivos denidos en espacios C(X, [0, 1]) cuando es X compacto y
42
satisface el primer axioma de numerabilidad. Marovt conjeturo que la misma repre-
sentacion poda darse para cualquier espacio compacto X. Nosotros hemos dado una
respuesta negativa a esa cuestion. En realidad, hemos caracterizado completamente
los espacios para los cuales la representaci on anterior se satisface.
Por ultimo analizaremos los resultados que se enmarcan en el analisis sobre cuer-
pos p-adicos. En primer lugar, cabe destacar el estudio de los operadores Fredholm
separadores sobre espacios de funciones continuas (acotadas o no). Sin necesidad de
asumir compacidad de los espacios ni continuidad de los operadores, se obtiene una
representacion de estos, nuevamente completa.
Asimismo en el caso ultrametrico, se han estudiado tambien lmites inductivos
regulares y se ha investigado la validez en el caso p-adico del clasico Teorema de
Dieudonne-Schwartz. En este mismo contexto, se ha construido un ejemplo de una
sucesion inductiva no regular de espacios de Frechet reexivos (cuyas aplicaciones
inclusiones son operadores compactos). Finalmente tambien hemos probado que toda
sucesion inductiva de espacios de Banach reexivos es regular si K es esfericamente
completo (en contra del caso clasico) y que esto no es cierto en general.
Por ultimo, hemos estudiado la relacion entre el hecho de que E y F sean espacios
ultrametricos dotados de la topologa localmente convexa mas na con que el pro-
ducto tensorial proyectivo de E y F tambien esta dotado de la topologa localmente
convexa mas na.
3. Difusion
El fruto de la investigacion desarrollada ha dado lugar hasta el momento a las
siguientes publicaciones (impresas o aceptadas). Se detallan los ndices de impacto
JCR y MathSciNet del a no 2007. Como referencia se indica que la media del ndice
MathSciNet en 2007 fue 0.26)
J. Araujo, On the separability problem for isometric shifts on C(X). J. Funct.
Anal. 256 (2009), 11061117. Impacto 2007 (JCR: 0.893; MathSciNet: 0.98)
J. Araujo, Multiplicative bijections of semigroups of interval-valued continuous
function. Proc. Amer. Math. Soc. 137 (2009), 171178. Impacto 2007 (JCR:
0.520; MathSciNet: 0.51)
J. Araujo, Disjointness preserving Fredholm operators in ultrametric spaces
of continuous functions. Bull. of the Belgian Math. Soc. 14 (2007), 799810.
Impacto 2007 (JCR: 0.174; MathSciNet: 0.29)
J. Araujo, J. J. Font, Stability of weighted composition operators between spaces
of continuous functions. Journal of the London Math. Soc., en prensa (publica-
do en web en febrero de 2009. doi:10.1112/jlms/jdn079). Impacto 2007 (JCR:
0.733; MathSciNet: 0.83)
L. Dubarbie, Separating maps between spaces of vector-valued absolutely con-
tinuous functions, Canad. Math. Bull., aceptado para publicacion. Impacto
2007 (JCR: 0.336; MathSciNet: 0.36)
N. De Grande-De Kimpe, C. Perez-Garcia, The Dieudonne-Schwartz Theorem
for p-adic inductive limits. Bull. of the Belgian Math. Soc. 14 (2007), 3350.
Impacto 2007 (JCR : 0.174; MathSciNet: 0.29)
43
N. De Grande-De Kimpe, C. Perez-Garcia, Regularity in p-adic inductive li-
mits. Bull. of the Belgian Math. Soc. 14 (2007), 823844. Impacto 2007 (JCR:
0.174; MathSciNet: 0.29)
N. De Grande-De Kimpe, C. Perez-Garcia. A counterexample on non-Archimedean
regularity. Monatsh. Math. 153 (2008), 105113. Impacto 2007 (JCR: 0.382;
MathSciNet: 0.48)
C. Perez-Garca, W. H. Schikhof. Tensor products of p-adic locally convex spa-
ces having the strongest locally convex topology. Contemporary Math, aceptado
para publicacion. Impacto 2007 (JCR: no incluida; MathSciNet: no incluida)
Aparte de estos, hay otros dos trabajos enviados (uno de ellos en una segunda
version tras la revision sugerida por el referee en Journal Math. Anal. Appl. Im-
pacto 2007 JCR: 0.872; MathSciNet: 0.64), tres a punto de ser enviados y otro mas
en fase avanzada de elaboracion. La difusion dada en congresos es la siguiente:
Jes us Araujo (y Juan J. Font) (Conferencia invitada). Estabilidad e inestabi-
lidad de operadores composici on con peso. IV Encuentro de Analisis Funcional
y Aplicaciones. Salobre na, 2008.
Jes us Araujo (y Juan J. Font) (Comunicacion). Stability and instability of
operators between spaces of continuous functions. 23nd Summer Conference
on Topology and its Applications. Mexico, 2008.
Jes us Araujo (Conferencia invitada) Isometric shifts between spaces of conti-
nuous functions. 22nd Summer Conference on Topology and its Applications.
Castellon, 2007.
Jes us Araujo (y Juan J. Font) (Comunicacion). Stability and instability of
operators between spaces of continuous functions. X Conference on Function
Theory on Innite Dimensional Spaces. Madrid, 2007.
Luis Dubarbie (y Jes us Araujo) (Comunicacion). Aplicaciones biseparadoras
entre espacios de funciones de Lipschitz. Espacios de Banach, Castro-Urdiales
(CIEM), 2008.
Luis Dubarbie (y Jes us Araujo) (Poster). Disjointness preserving operators
of AC(X, E). 22nd Summer Conference on Topology and its Applications.
Castellon, 2007.
Cristina Perez-Garca (y Wim H. Schikhof) (Comunicacion). Tensor products
of p-adic locally convex spaces having the strongest locally convex topology. 10th
International Conference on p-Adic and Non-Archimedean Analysis. Michigan
State University, USA, 2008.
4. Colaboraciones
Parte de los trabajos publicados y en fase de elaboracion se han desarrollado en
colaboracion con investigadores con los cuales el grupo ha mantenido una relacion
estrecha en el pasado. Nos referimos a Juan J. Font (Universitat Jaume I, Castellon),
Nicole De Grande-De Kimpe (Vrije Universiteit, Bruselas), fallecida el pasado a no,
y Wim H. Schikhof (Universidad de Nimega). Se trata de investigadores conocedores
de los temas del proyecto y la colaboracion ha sido una vez mas fructfera.
44
Muestreo en espacios invariantes por traslacion: Aplicaciones
MTM2006-09737
Universidad Carlos III de Madrid
Miembros del equipo
Antonio Garca Garca (IP)
Miguel Angel Hernandez-Medina
Gerardo Perez-Villalon
Alberto Portal Ruiz
1. Motivacion matematica del problema y objeti-
vos propuestos
Dada una se nal (funcion) x en un cierto espacio de Hilbert H (en general, de
energa nita, i.e., perteneciente al espacio de Hilbert L
2
(R) ya que la energa de
una se nal f L
2
(R) puede estimarse a partir de |f|
2
), se muestrea, utilizando para
ello, un operador de muestreo lineal y acotado :
: H
2
(N)
x x(n) = 'x, x
n
`

n=1
,
(aplicando el teorema de representacion de Riesz). La sucesion x(n)

n=1
es la
informacion de la se nal x que se utilizara para almacenarla y, eventualmente, trans-
mitirla a traves de un cierto canal. La cuestion radica en que propiedad debe vericar
la sucesion x
n

n=1
para que el receptor pueda recuperar la se nal x, de manera esta-
ble a partir de la sucesion 'x, x
n
`

n=1
. Decimos que la sucesion x
n

n=1
es
2
-estable
en H si para todos x, y H se verica: |'x, x
n
`

n=1
'y, x
n
`

n=1
|

2
(N)
|xy|
H
,
i.e., el concepto de
2
-estabilidad nos lleva a la denicion de frame en un espacio de
Hilbert, concepto introducido por Dun y Shaeer en 1952: Decimos que la sucesion
x
n

n=1
es un frame en el espacio de Hilbert H si existen dos constantes positivas
0 < A B (llamadas cotas frame) tales que: A|x|
2

n=1
['x, x
n
`[
2
B|x|
2
para todo x H. El concepto de frame engloba, en particular, a los de base orto-
normal y base de Riesz. La teora de frames nos permite recuperar x H a partir
de la sucesion de escalares 'x, x
n
`

n=1
de manera estable. En el caso de frames que
no son base, los denominados overcomplete frames, la manera de recuperar x no es
unica e involucra los llamados frame duales.
Lo anterior se aplica a la teora de muestreo cuando H es un espacio de Hilbert de
funciones continuas y la sucesion 'x, x
n
`

n=1
se reduce a una sucesion de muestras
de la funcion x y/o de alguna funcion relacionada con ella. Hablando de manera
generica, la teora de muestreo trata sobre el problema de la recuperacion (estable)
de una funcion, perteneciente a un cierto espacio funcional, a partir de una sucesion
de sus valores o, en general, a partir de una sucesion de valores de ciertas funciones
relacionadas con ella (muestreo generalizado o multicanal).
45
En el caso de la teora de muestreo clasica de Shannon, toda funcion perteneciente
al espacio de PaleyWiener (funciones bandalimitada a [, ], i.e., con transforma-
da de Fourier soportada en [, ]) denido como: PW

:=

f L
2
(R) [ sop

f
[, ]

= T
1

L
2
[, ]

, se puede escribir como f(t) = '

f,
e
itw

2
`
L
2
[,]
, t R.
En particular, la sucesion f(a + n)
nZ
se corresponde con la base ortonormal
e
i(n+a)w
/

2
nZ
de L
2
[, ]. El teorema de muestreo de Shannon nos permite
recuperar f PW

a partir de la formula: f(t) =

nZ
f(a+n)senc (tna), t R
(senc t := sen t/(t)). Aunque el teorema de Shannon es un resultado teorico que
ha tenido un gran impacto tecnologico, presenta, desde el punto de vista practico,
los siguientes problemas: se basa en el uso de un ltro paso-bajo ideal; la hipotesis de
ser una se nal bandalimitada esta en contradicci on con la idea de se nal de duracion -
nita; la operacion de bandalimitar una se nal genera oscilaciones de Gibbs; la funcion
seno cardinal decrece a cero muy lentamente lo que hace muy inecientes los calcu-
los en el dominio temporal. Todos estos inconvenientes han llevado, en los ultimos
a nos, a estudiar los problemas de muestreo y reconstruccion en espacios invariantes
por traslacion donde el generador sea una funcion con mejores propiedades que el
seno cardinal: V
2

nZ
a
n
(t n) [ a
n

2
(Z)

. Bajo ciertas hipotesis, toda

funcion f V
2

puede escribirse como f(t) = 'F, K

t
`, t R, donde F es la funcion
de L
2
(0, 1) tal que T

F = f mediante el isomorsmo T

: L
2
(0, 1) V
2

que trans-
forma la base ortonormal e
2inx

nZ
de L
2
(0, 1) en la base de Riesz (t n)
nZ
de V
2

, y el n ucleo K
t
viene dado por: K
t
(x) =

nZ
(t +n)e
2inx
.
Bajo este marco conceptual, en el proyecto MTM2006-09737 nos propusimos los
siguientes objetivos:
1. Estudio de muestreo generalizado (las muestras se toman de versiones ltradas,
L
j
f = h
j
f, de la funcion a reconstruir), tanto regular como irregular, en
espacios invariantes por traslacion en el caso multidimensional.
2. Estudio del muestreo, regular e irregular, en espacios invariantes por traslacion
con varios generadores: Aplicacion a las multiwavelets.
3. Aplicaciones concretas: Estudio de los errores de aliasing y truncamiento.
4. Caracterizacion de formulas de muestreo tipo-Lagrange en el caso de muestreo
analtico.
Para llevar a cabo estos objetivos nos fue concedida la cantidad de 22.022,00 Euros.
2. Principales logros obtenidos
A fecha de hoy, ademas de cumplir, casi en su totalidad, los objetivos inicialmente
propuestos, hemos emprendido nuevas vas de investigacion que se concretaran en
el proyecto solicitado en 2009. Se nalamos lo siguientes logros originales:
1. Hemos encontrado formulas de muestreo generalizado, regular como irregular,
en el caso multidimensional, con un solo generador, utilizando la teora de
46
frames duales. En el caso de overcomplete frames hemos obtenido innitas
funciones de reconstruccion para unas muestras dadas. El caso irregular ha
sido tratado mediante la teora perturbativa de frames.
2. Hemos encontrado formulas de muestreo generalizado, regular como irregular,
en el caso de espacios invariantes por traslacion con varios generadores.
3. Estudio del error de aliasing cometido para subespacios wavelet.
4. Existencia y calculo de funciones de reconstruccion con soporte compacto.
5. Hemos caracterizado cuando una formula de muestreo, asociada a un n ucleo
analtico de Kramer, se puede escribir como una serie interpolatoria tipo-
Lagrange.
6. Construccion de esquemas de aproximacion a partir de formulas de muestreo.
3. Difusion de resultados
La investigacion referida a este proyecto ha dado origen a los siguientes trabajos
publicados o enviados (8 artculos JCR2007: 4 en el primer tercio, 2 en el segundo
y 2 en el tercero de su categora, y 4 artculos MathScinet):
1. A matrix pencil approach to the existence of compactly suppor-
ted reconstruction functions in average sampling. A.G. Garca, M.A.
Hernandez-Medina y G. Perez-Villalon. Enviado a Linear Algebra Appl., (2008).
2. Oversampling in shift-invariant spaces with a rational sampling pe-
riod. A.G. Garca, M.A. Hernandez-Medina y G. Perez-Villalon. Enviada su
revision a IEEE Trans. Signal Process., (2008).
3. El uso de bases y frames en teora de muestreo. A.G. Garca. Apare-
cera en la Gaceta de la RSME (2009).
4. Multivariate generalized sampling in shift-invariant spaces and its
approximation properties. A.G. Garca y G. Perez-Villalon. J. Math. Anal.
Appl., 355, 397413 (2009).
5. Oversampling and reconstruction functions with compact support.
A.G. Garca, M.A. Hernandez-Medina y G. Perez-Villalon. J. Comp. Appl.
Math., In press, doi:10.1016/j.cam.2008.03.013 (2008).
6. Approximation from shift-invariant spaces by generalized sampling
formulas. A.G. Garca y G. Perez-Villalon. Appl. Comput. Harmon. Anal.,
24, 5869 (2008).
7. Generalized sampling in shift-invariant spaces with multiple stable
generators. A.G. Garca, M.A. Hernandez-Medina y G. Perez-Villalon. J.
Math. Anal. Appl., 337, 6984 (2008).
47
8. Aliasing error of sampling series in wavelet subspaces. A.G. Garca,
J.M. Kim, K.H. Kwon y G. Perez-Villalon. Numer. Funct. Anal. Optim.,
29(1-2), 126144 (2008).
9. A general sampling theory in the functional Hilbert space induced
by a Hilbert space valued kernel. A.G. Garca y A. Portal. J. Appl. Funct.
Anal., 3(3), 299313 (2008).
10. On Lagrange-type interpolation series and analytic Kramer kernels.
W.N. Everitt, A.G. Garca y M.A. Hernandez-Medina. Result. Math., 51(3-
4), 215228 (2008).
11. An approximation property of the functions dened through a resol-
vent sampling kernel. A.G. Garca, M.A. Hernandez-Medina y A. Portal.
Far East J. Math. Sci., 26(1), 6590 (2007).
12. Generalized irregular sampling in shift-invariant spaces. A.G. Garca
y G. Perez-Villalon. Int. J. Wavelets Multiresolut. Inf. Process., 5(3), 369387
(2007).
Tambien hemos presentado nuestros resultados en el congreso mas importante
de nuestra especialidad: SampTA (Sampling Theory and Applications) SampTA07
(Tesal onica, Grecia) y SampTA09 (Marsella, Francia).
4. Colaboraciones
Durante la ejecucion del proyecto hemos colaborado con el profesor W.N. Everitt
(Department of Mathematics, University of Birmingham, England), con el grupo del
profesor P. Ferreira (Departamento de Electronica y Telecomunicaciones, Universi-
dad de Aveiro, Portugal), y con el grupo del profesor K.Kwon (Division of Applied
Mathematics, KAIST, Daejon, Korea).
5. Proyecto convocatoria 2009
Todo el trabajo llevado a cabo en el marco de este proyecto tiene una continuaci on
natural en el proyecto solicitado en 2009, donde queremos ahondar en los esquemas
de aproximaci on asociados a formulas de muestreo, y en sus potenciales aplicaciones.
Entre los objetivos marcados se nalemos los siguientes:
1. Muestreo y reconstruccion de funciones en espacios invariantes por traslacion
muestreadas en lattices multidimensionales: Propiedades de aproximaci on.
2. Estudio del oversampling racional y bancos de ltros FIR.
3. Muestreo en una union de subespacios invariantes por traslacion.
48

Orbitas regulares y caoticas en sistemas keplerianos perturbados

MTM2006-06961
Universidad de Zaragoza
Miembros del equipo
Abad Medina, Alberto
Arribas Jimenez, M. Mercedes
Barrio Gil, Roberto (IP)
Flora Gimeno, Luis
Palacios Latasa, Manuel P.
Rodrguez Rodrguez, Marcos (desde el 20/05/2008)
Serrano Pastor, Sergio
Ferrer Martnez, Sebastian (U. Murcia)
San Juan Daz, Juan Felix (U. de la Rioja)
1. Tematica, objetivos previstos y la nanciacion
recibida
El actual proyecto es un proyecto con un marcado caracter multidisciplinar que
trata tematicas de Mecanica Celeste, Analisis Numerico y Sistemas Dinamicos. La
tematica del proyecto se centra en el estudio sistematico de sistemas dinamicos
procedentes de sistemas keplerianos perturbados, lnea que tiene numerosas apli-
caciones practicas en determinados campos, como en la Astrodinamica, Qumica
Te orica, etc. Las tecnicas analticas ya desarrolladas por el equipo permiten realizar
estudios teoricos de los sistemas. Ademas, a las tecnicas ya existentes se le a naden
nuevos metodos introducidos recientemente para el analisis de las regiones caoticas
y regulares como son los indicadores de caos en sistemas hamiltonianos. Piezas clave
en dichos analisis son los metodos numericos especialmente dise nados para su uso en
sistemas dinamicos. Entre ellos gura el metodo de Taylor en la integraci on numerica
de EDOs, que nos permite realizar los calculos con una precision arbitraria.
En la solicitud se marcaron cinco objetivos concretos: (1) Desarrollo de teoras
analticas para diversos problemas keplerianos perturbados (desarrollo y puesta a
punto de una librera denominada LibSAT y su aplicacion en la obtencion de teoras
analticas), (2) Estudio de la integrabilidad, equilibrios y bifurcaciones parametri-
cas (analisis cualitativo de diversos sistemas), (3) Desarrollo de metodos numericos
adaptados (desarrollo del metodo de Taylor y de metodos numericos adaptados al
problema del satelite articial), (4) Estudio de regiones ca oticas y regulares usando
indicadores de caos (estudio detallado de diversos indicadores de caos y su aplicacion
al analisis detallado de diversos sistemas keplerianos perturbados, comenzando un
estudio con problemas disipativos clasicos), (5) Obtencion de familias de orbitas pe-
riodicas (obtener un nuevo metodo enfocado a la determinacion de forma automatica
de las distintas familias de orbitas periodicas simetricas).
La nanciacion recibida para el desarrollo del presente proyecto asciende a 42.500
Euros.
49
2. Presentacion de los principales logros
Se han completado los hitos propuestos en la memoria del proyecto en todos los
objetivos concretos marcados.
Desarrollo de teoras analticas para diversos problemas keplerianos
Se ha terminado de desarrollar la librera de clases C++ para el tratamien-
to simb olico de problemas de Mecanica no lineal denominada LibSAT (Dres.
Abad, San Juan y Serrano). Se ha aplicado al desarrollo de teoras analticas
para satelites articiales alrededor de Marte y de la Luna (el centro CNES
se encuentra muy interesado en dichos resultados) (Dres. Abad, San Juan y
Serrano) y alrededor de un satelite natural de J upiter, Europa (Dres. Ferrer y
San Juan)
Estudio de la integrabilidad, equilibrios y bifurcaciones parametricas
Se han estudiado cualitativamente diversos sistemas keplerianos perturbados
como el problema del anillo de (n + 1) cuerpos (con aplicaciones en constela-
ciones de satelites y en planetas con anillos) estableciendo nuevas cotas sobre
la estabilidad (Dres. Arribas y Palacios) y bifurcaciones del sistema (Dres.
Barrio y Serrano), el Hamiltoniano de Henon-Heiles (Dres. Barrio y Serrano)
determinando regiones seguras dentro de la region de escape, la dinamica de
satelites alrededor de planetas y asteroides (Dres. Abad, Ferrer y San Juan),
se ha estudiado la bifurcacion de Hopf Hamiltoniana en sistemas de 4 grados
de libertad denidos por osciladores en resonancia (1-1-1-1) (Dr. Ferrer), etc.
Desarrollo de metodos numericos adaptados
Se ha estudiado con detalle la formulacion del problema del satelite arti-
cial. Para ello se han desarrollado formulaciones basadas en modicaciones del
metodo de variacion de los parametros (Dres. Barrio, Flora y Serrano) y en
metodos basados en cuaternios en la representaci on de las rotaciones (Dres.
Arribas y Palacios). Se han desarrollado tecnicas de diferenciacion automatica
para la obtencion directa de los coecientes de Taylor de las derivadas parcia-
les a un orden generico de la solucion de sistemas diferenciales ordinarios y en
ecuaciones diferenciales algebraicas. Esto ha permitido establecer una formu-
lacion extendida de los metodos de integraci on de EDOs basados en las series
de Taylor. Dichos metodos permiten precisiones arbitrarias y compiten con los
metodos mas habituales en la literatura para precisiones normales (Dr. Barrio
y becario Rodrguez).
Estudio de regiones ca oticas y regulares usando indicadores de caos
Se ha mejorado la formulacion de diversos indicadores de caos (OFLI2) (Dres.
Barrio y Serrano), se ha estudiado teoricamente la aparicion de estructuras
esp ureas (Dr. Barrio) y se han aplicado al estudio de diversos sistemas hamil-
tonianos (Dres. Barrio y Serrano). Se ha comenzado su aplicacion a problemas
disipativos clasicos, obteniendo nuevas cotas de la region caotica para el pro-
blema de Lorenz (Dres. Barrio y Serrano).
50
Obtencion de familias de orbitas peri odicas
Se ha estudiado y modernizado el metodo de la b usqueda sistematica de orbitas
periodicas simetricas en sistemas de 2 grados de libertad (Dr. Barrio). Se ha
aplicado dicho metodo en la construccion del esqueleto de orbitas periodicas
simetricas de diversos sistemas dinamicos de dos grados de libertad (Dres.
Arribas, Barrio y Palacios). Se ha empezado a estudiar el uso de tecnicas
geneticas en algoritmos de b usqueda de orbitas periodicas (Dr. Abad).
3. Difusion hecha de los resultados
Los resultados obtenidos han sido presentados en numerosos congresos nacionales
e internacionales y publicados en revistas indexadas en el JCR.
Artculos publicados o aceptados para publicacion (2006-2009): 34.
Revistas en las que se ha publicado:
CELESTIAL MECHANICS & DYNAMICAL ASTRONOMY, JOURNAL OF GUIDANCE
CONTROL AND DYNAMICS, MECHANICS RESEARCH COMMUNICATIONS, CHAOS
SOLITONS & FRACTALS, ASTRONOMY & ASTROPHYSICS, PLANETARY AND SPA-
CE SCIENCE, DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES S,
REGULAR & CHAOTIC DYNAMICS, EUROPHYSICS LETTERS, MATHEMATICAL
AND COMPUTER MODELLING, JOURNAL OF THE ASTRONAUTICAL SCIENCES,
PHYSICA D, SIAM JOURNAL ON SCIENTIFIC COMPUTING, COMPUTERS & MAT-
HEMATICS WITH APPLICATIONS, INTERNATIONAL JOURNAL OF BIFURCATION
AND CHAOS, COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SI-
MULATION, ACTA ACADEMIAE ABOENSIS, MONOGRAFIAS DE LA ACADEMIA
DE CIENCIAS DE ZARAGOZA.
Detallamos como ilustracion los ndices de calidad de cinco revistas
1. SIAM JOURNAL ON SCIENTIFIC COMPUTING. Indice de impacto
(2007): 1.784 (posicion 8/165 en MATHEMATICS, APPLIED)
2. PHYSICA D. Indice de impacto (2007): 1.735 (posicion 10/165 en MAT-
HEMATICS, APPLIED)
3. CHAOS SOLITONS & FRACTALS. Indice de impacto (2007): 3.025 (po-
sicion 2/74 en MATHEMATICS, INTERDISCIPLINARY APPLS.)
4. JOURNAL OF GUIDANCE CONTROL AND DYNAMICS. Indice de
impacto (2007): 1.150 (posicion 3/24 en ENGINEERING, AEROSPACE)
5. ASTRONOMY & ASTROPHYSICS. Indice de impacto (2007): 4.259
(posicion 10/48 en ASTRONOMY & ASTROPHYSICS)
Artculos enviados a publicacion: 11
Presentaciones en congresos: 33 (de ellas 20 en congresos de caracter interna-
cional). Detallamos como ilustracion los cinco congresos mas relevantes
51
1. SIAM Conf. on Applications of Dynamical Systems, Snowbird, USA (2007).
2. International Conf. on Scientic Computation and Dierential Equations
SCICADE07, Saint-Malo, Francia (2007).
3. 18th AAS/AIAA Spaceight Mechanics meeting, Galveston, USA (2007).
4. Foundations of Comput. Mathematics, FoCM08, Hong-Kong, China (2008).
5. Workshop on Stability and Instability in Mechanical Systems, Barcelona
(2008).
Tesis leidas: 1.
Presentaci on de resultados a la agencia espacial francesa CNES: LibSAT.
4. Colaboracion con otros equipos
Durante el presente proyecto se han establecido diversas colaboraciones y con-
tactos. Se ha colaborado en la realizacion de artculos con los prof. S. Breiter y H.
Pretka-Ziomek de la Adam Mickiewicz University de Poznan, Polonia, con los prof.
J.A. Docobo y V.S. Tamazian de la universidad de Santiago de Compostela, con los
prof. D. Schertl y G. Weigelt del Max-Planck Institute en Alemania, con el prof. J.C.
van der Meer de la Technische Universiteit de Eindhoven, con el prof. A. Shilnikov
de la Universidad de Georgia (USA) (en la organizacion de un minisimposium en
el proximo congreso SIAM Conference on Applications of Dynamical Systems), etc.
As mismo, se ha participado en la red DANCE que agrupa a la mayor parte de
los grupos que trabajan en sistemas dinamicos en Espa na y se ha contactado con
diversos grupos que trabajan en temas anes, como el grupo de Barcelona UB-UPC
Dynamical Systems Group, el grupo de Grupo de Dinamica No Lineal de la Uni-
versidad de La Rioja y la Universidad P ublica de Navarra con quienes organizamos
anualmente un workshop centrado en mecanica celeste y sistemas dinamicos, el gru-
po de Dinamica Nolineal y Teora del Caos de la Universidad Rey Juan Carlos de
Madrid, etc.
5. Proyecto presentado en la convocatoria 2009
En la convocatoria del a no 2009 se ha presentado el proyecto de investigacion
titulado: Bifurcaciones y caos en sistemas hamiltonianos y en sistemas disipativos
(Codigo del proyecto: MTM2009-10767).
Este nuevo proyecto pretende continuar diversos aspectos iniciados en el actual,
as como iniciar alg un tema nuevo. As lo objetivos propuestos son: (1) Desarrollo de
una librera de software libre sobre un integrador basado en metodos extendidos de
Taylor, (2) Desarrollo de metodos numericos adaptados, (3) Obtencion de familias
de orbitas peri odicas: nuevos metodos y metodos rigurosos, (4) Estudio de sistemas
hamiltonianos: bifurcaciones, caos y orbitas peri odicas y de escape, (5) Estudio de
sistemas disipativos: bifurcaciones, caos y atractores ca oticos.
52
Caracterizacion y Construccion,
a partir de criterios estructurales,
de Codigos Combinatorios

Optimos (COp)
MTM2006-03250
Universitat Aut
`
onoma de Barcelona
Miembros del equipo
J. Borges
C. Fernandez
J. Pujol
J. Rif`a (IP)
M. Villanueva
1. Finalidad
El proyecto trata sobre la teora de la codicacion combinatoria, mas correcta-
mente llamada teora combinatoria de codigos correctores de errores.
La meta principal es caracterizar y construir algunos tipos especcos de codigos
optimos usando criterios estructurales como el valor del rango y la dimension del
n ucleo.
El segundo principal interes consiste en desarrollar nuevas herramientas de soft-
ware, que presentaremos como un paquete de Magma, para construir estos codigos
optimos.
2. Objetivos y resultados del Proyecto
1. Codigos regulares.
2. Codigos de Hadamard y de Reed-Muller.
3. Codigos Z
2
Z
4
-lineales.
4. Soluciones Aplicadas.
5. Librera Magma.
2.1. Codigos regulares
Resultados:
No existencia de codigos binarios no-antipodales completamente regulares con
distancia mnima d 3.
Construccion del codigo completamente regular con la mayor distancia mnima
posible d = 8 y radio de recubrimiento = 7.
Construcciones especcas de codigos completamente regulares usando produc-
tos directos de codigos perfectos, productos tensoriales de matrices de control
de codigos de Hamming y codigos combinatorios.
53
Participantes implicados: J. Rif`a, J. Borges y V. Zinoviev.
Grado de consecucion de los objetivos: 100 %. Los objetivos han dado lugar a
nuevas herramientas que vamos a intentar desarrollar en nuevos proyectos.
Comunicaciones a congresos: 4. Artculos en revistas no indexadas: 1.
Artculos en proceso: 1.
Artculos en revistas indexadas: 2
J. Borges, J. Rif`a, V. Zinoviev, On non-antipodal completely regular codes. Discrete Mathema-
tics. 308 (Agosto 2008), no. 16, 35083525. (JCR tercer cuartil).
J. Rifa, V. Zinoviev. On a class of binary linear completely transitive codes with arbitrary
covering. To appear in Discrete Mathematics. 2009. (JCR tercer cuartil).
2.2. Codigos de Hadamard y de Reed-Muller
Resultados:
Rango y n ucleo de codigos de Hadamard.
Rango y n ucleo de codigos Reed-Muller no lineales. Codigos ZRM. Codigos
QRM.
Interseccion de codigos de Hadamard y de Reed-Muller. Se han determinado los
valores posibles de la interseccion de codigos de Hadamard y algunas familias
de codigos de Reed-Muller.
Construccion de codigos Reed-Muller cuaternarios con los mismos parametros
que los codigos clasicos.
Participantes implicados: J. Borges, C. Fernandez-Cordoba, J. Pujol, J. Rif`a, M.
Villanueva, F. Soloveva.
Grado de consecucion de los objetivos: 100 %. Se han conseguido mas resulta-
dos de los previstos que van a dar lugar a una profundizacion futura.
Comunicaciones a congresos: 11.
Artculos en revistas indexadas: 5:
K.T.Phelps and M.Villanueva. Intersection of Hadamard codes. IEEE Tran. Inf. Theory. 53
(May 2007), no. 5, pp. 19241928. (JCR Impact factor: 2,31. Posici on 8/92, primer cuartil).
J. Borges, C. Fernandez-C ordoba and K.T. Phelps. ZRM Codes. IEEE Tran. Inf. Theory.
54 (January 2008), no. 1, pp. 380386. (JCR Impact factor: 2,31. Posici on 8/92, primer
cuartil).
J.Rif`a, F.I.Soloveva and M.Villanueva. On the intersection of Z
2
Z
4
-additive perfect codes.
IEEE Tran. Inf. Theory. 54 (March 2008), no. 3, pp. 13461356. (JCR Impact factor: 2,31.
Posici on 8/92, primer cuartil).
J. Pujol, J. Rif`a and F. Soloveva. Construction of Z
4
-Linear Reed-Muller Codes. IEEE Tran-
sactions on Information Theory, 55 (January 2009), no. 1, pp. 99104. (JCR Impact factor:
2,31. Posici on 8/92, primer cuartil).
J.Rif`a, F.I.Soloveva and M.Villanueva. On the intersection of Z
2
Z
4
-additive Hadamard codes.
IEEE Transactions on Information Theory. 55 (April 2009), no. 4 (JCR Impact factor: 2,31.
Posici on 8/92, primer cuartil).
2.3. Codigos Z
2
Z
4
-lineales
Resultados:
Codigos propelineales cuaternionicos (No hay publicaciones asociadas. Hemos
obtenido un contraejemplo respecto de la conjetura que todo codigo propelineal
invariante por traslaciones es Z
2
Z
4
-lineal).
54
Z
2
Z
4
-dualidad. Teora general para los codigos Z
2
Z
4
-lineales, parametros de
codigos Z
2
Z
4
-lineales duales, matrices generadora y de control canonicas. Al-
goritmos.
Rangos y n ucleos de codigos Z
2
Z
4
-lineales. Codigos Z
2
Z
4
-lineales con rango
y/o dimension de n ucleo dados.
Clasicar codigos Z
2
Z
4
-lineales autoduales (No hay publicaciones. Sera la tesis
doctoral de un doctorando incorporado al grupo en 2008).
Participantes implicados: J. Borges, C. Fernandez-Cordoba, J. Pujol, J. Rif`a, M.
Villanueva.
Grado de consecucion de los objetivos: 80 %. Hemos producido una teora
general para los codigos Z
2
Z
4
-lineales con mas rigor y profundidad de la inicialmente
prevista. No se ha llegado a cerrar el tema de los codigos cuaternionicos, aunque
se ha conseguido encontrar un contraejemplo que puede marcar una direccion de
investigacion futura.
Comunicaciones a congresos: 4. Artculos en proceso: 1.
Artculos en revistas indexadas: 1:
J. Borges, C. Fernandez-C ordoba, J. Pujol, J. Rif`a, M. Villanueva. Z
2
Z
4
-linear codes: generator
matrices and duality,Designs, Codes and Cryptography, 2009, to appear. (JCR Impact
Factor: 0.68. Posici on 48/79, tercer cuartil).
2.4. Soluciones Aplicadas
Resultados:
Dise nar y desarrollar aplicaciones usando los codigos combinatorios estudiados
en las tareas previas.
Fingerprinting y Digital fountain.
Participantes implicados: J. Rif`a, H. Rif` a-Pous.
Grado de consecucion de los objetivos: 80 %. Se ha derivado el tema propuesto
de la esteganografa al ambito del data hiding en lugar del inicialmente previsto de
la Digital Fountain.
Comunicaciones a congresos: 1.
Artculos en revistas indexadas: 1:
H. Rifa-Pous, J. Rifa. Product Perfect Codes and Steganography. Digital Signal Processing,
DOI 10.1016/j.dsp.2008.11.005, 2008. SCI, JCR Impact Factor 0.85, cuartil: 2 (Position
102/227).
2.5. Librera Magma
Resultados: Desarrollo de herramientas para extender el Modulo de Co-
ding Theory de Magma.
Codigos binarios no restringidos (representaci on de codigos binarios basado en
el concepto de codigo superdual).
Invariantes de codigos binarios: rango (rank) y n ucleo (kernel).
Construccion de codigos. Hemos incorporado dos libreras al sistema Magma:
Codes over Z
4
y Z
2
Z
4
-additive Codes.
55
Participantes implicados: J. Borges, C. Fernandez-Cordoba, J. Pujol, J. Rif`a, M.
Villanueva.
Grado de consecucion de los objetivos: 100 %. Hemos iniciado el desarrollo
de herramientas para extender el sistema Magma (concretamente, del modulo de
Coding Theory). Nuestro trabajo se ha centrado en la extension de la librera de
Codigos lineales sobre anillos nitos y el desarrollo de una nueva librera de Codigos
binarios no restringidos. Dara lugar a nuevas propuestas de proyecto.
Comunicaciones a congresos: 1.
Libreras desarrolladas en Magma: 2:
J. Borges, C. Fernandez-C ordoba, J. Pujol, J. Rif`a and M. Villanueva, Z
2
Z
4
-additive
codes. A Magma package. Autonomous University of Barcelona (UAB), 2007.
http://www.ccg.uab.cat.
J. Pernas, J. Pujol and M. Villanueva, Codes over Z
4
. A Magma package. Autonomous
University of Barcelona (UAB), 2008. http://www.ccg.uab.cat
3. Difusion y transferencia de tecnologa
Sumario de la difusion de resultados
Artculos revistas indexadas 9 (mas de la mitad en el primer cuartil)
Artculos congresos 21
Artculos en revistas no indexadas 1
Artculos en proceso 2
Software 2
Transferencia de tecnologa: Parte del trabajo elaborado en el proyecto se ha
transferido a la empresa a traves de dos proyectos del Plan AVANZA del Ministerio
de Industria, Turismo y Comercio:
Sistema de integridad de registro para tarjetas de credito (PCI-DSS) y datos personales (LOPD)
(TSI-020100-2008-540).
MyCity, interaccion de las administraciones p ublicas con sus ciudadanos a traves de las redes
sociales (TSI-020501-2008-191).
4. Colaboracion con otros equipos
K. Phelps (Universidad de Auburn, Alabama, EEUU)
V. Zinoviev (Academia Rusa de Ciencias, Inst. Problems of Trans. Inf., Mosc u, Rusia)
F. Solovyeva (Academia Rusa de Ciencias, Sobolev Institute, Novosibirsk, Rusia)
H. Rif`a-Pous (Grupo KISON, Universitat Oberta de Catalunya).
5. Continuidad del proyecto
El proyecto debera tener continuidad. Desde un punto de vista teorico y de
aplicaciones basicas hemos presentado una propuesta recientemente en el programa
de matematicas. Otros aspectos del proyecto derivan hacia la ingeniera informatica
y, parte del equipo actual, ha decidido enfocar esta lnea y poner todos los esfuerzos
en el uso de tecnicas ingenieriles para conseguir productos que puedan transferirse
al mundo empresarial. Para ello se ha presentado una propuesta en el programa de
Informatica.
56
Desarrollo de una metodologa estadstica para la
caracterizacion de la persistencia en fondos de inversi on
MTM2006-15433
Universidad Rey Juan Carlos
Miembros del equipo
Pilar Grau Carles (IP)
Luis Miguel Doncel
Javier Otamendi
Jorge Sainz
1. Introduccion
Tem atica: Contrastar la persistencia en los fondos de inversion mediante nuevas
tecnicas estadsticas con el objetivo de poder clasicar la ecacia en la gestion
de los mismos.
Objetivos:
1. Desarrollo de una nueva metodologa para el contraste de persistencia en
los fondos de inversion.
2. Contrastacion de la hipotesis de persistencia para el caso de los fondos
de inversi on europeos.
3. Elaboracion de rankings de gestion para los fondos de inversion espa noles
seg un gestores y tipos de gestion.
Financiacion recibida: 11.450 Euros
2. Principales logros obtenidos
Los principales logros obtenidos se pueden resumir en los siguientes:
Creacion de la base de datos: Se ha creado una base de datos que contiene
datos homogeneos de fondos de inversi on europeos, en concreto de Francia,
Alemania, Luxemburgo, Reino Unido y Espa na lo que permite la comparacion
de resultados. Ademas, la base de datos incluye, para el mismo periodo, datos
sobre el tipo de interes a corto plazo (un mes) y el precio del ndice bursatil
relevante (market factor) para cada periodo. Tambien incluye los diferentes
factores de Fama y French, como son el tama no y el book to market ademas
del llamado factor momento.
Medidas de performance: Se han calculado las medidas tradicionales, como
la ratio de Sharpe, el ndice de Treynor y el alpha de Jensen que permiten
ordenar los fondos de mas a menos rentables. Estas medidas estan basadas en
57
el esquema media-varianza. Parece, sin embargo, que para la gestion del riesgo,
es mas apropiado utilizar otras medidas que solo tengan en cuenta las perdidas,
como es el caso del Valor en Riesgo (Value-at-Risk). El trabajo en el proyecto
ha permitido aportar nuevas medidas que tienen en cuenta la asimetra y la
curtosis de la distribucion de rendimientos. Ademas se ha construido un ndice
similar al de Sharpe pero utilizando el Valor en Riesgo lo que permite una
ordenacion mas precisa de los fondos de inversion.
Medidas de persistencia: El estudio sobre la persistencia se esta llevando a
cabo mediante dos lneas de investigacion diferentes. La primera a nade a las
medidas usuales, como el alpha de Jensen, el modelo de tres factores de Fama
y French, el modelo del factor momento de Carhart y el metodo de timing
abilityde Treynor-Mazuy, la contrastacion de la persistencia mediante tests
de memoria larga, tanto en el dominio de tiempos (metodo de rango-desviacion
tpica, analisis de uctuacion sin tendencia), como en el dominio de frecuen-
cias (metodos basados en el periodograma) y utilizando tecnicas de bootstrap
para evitar las distorsiones debidas al tama no muestral. La segunda, por su
parte se centra en tratar de solucionar los problemas estadsticos que presenta
el contraste conjunto de m ultiples hipotesis. Se trata de obtener un umbral
que delimite lo que se considera como hipotesis nula cierta. Esta aportacion
ha permitido comprobar que los metodos tradicionales tienden a sobreestimar
la persistencia de los gestores de fondos, tanto positivamente como negativa-
mente.
3. Difusion de resultados
De ese proyecto ha dado lugar a las siguientes publicaciones:
Doncel, L. M., Grau P. y Sainz, J. (2006) The need for regulation in mutual
fund disclosure, The Empirical Economics Letters, 5, 4, 221228.
Doncel, L. M., Reinhart, W. y Sainz, J. (2008) A behavioural approach to
MiFID. Banks and Banks Systems, 3, 1, 2225.
Doncel, L. M., Grau P. y Sainz, J. (2009) On the long term behaviour of
mutual funds returns. Quantitative Finance. En prensa.
Otamendi, J., Doncel, L.M., Grau, P. y Sainz, J. (2008) An evaluation on the
true statistical relevance of Jensens alpha trough simulation: An application
for Germany, Economics Bulletin, 7, 10, 19.
Sainz, J., Doncel, L. M. y Grau-Carles, P. (2006) Mutual Fund Performan-
ce and Benchmark Choice: The Spanish Case, Applied Financial Economic
Letters, 2, 317321.
Grau-Carles, P (2006) Bootstrap testing for detrended uctuation analysis,
Physica A, 360, 1, 8998.
58
Doncel, L. M. y Gomez D. (2008) Aplicacion de las TIC en el sector nanciero
espa nol, en S. Berumen y Arriza K. (eds.), Evolucion y desarrollo de las TIC
en la economa del conocimiento, Ecobook, Madrid.
Barbera, R. A., Doncel, L. M. y Sainz, J. (2006) Es posible predecir el com-
portamiento del tipo de cambio? Una aplicacion del Modelo de Lucas al caso
espa nol, Estudios de Economa Aplicada, 24, 1, 427452.
Tambien cabe mencionar los siguientes trabajos en curso:
Otamendi, J., Grau, P. , Doncel, L. M., y Sainz, J. Persistence Measures: Long
Memory vs. Jensens alpha.
Sainz, J., Otamendi, J., Doncel, L. M., y Grau, P. A comparison amongst
Mutual Fund markets across Europe.
Doncel, L. M., Grau, P., Sainz, J, y Otamendi, J.,. El Mercado de Gestores de
Fondo en Espan na
Grau, P., Otamendi, J., Doncel, L. M., y Sainz, J. New VaR measures to deal
with risk.
Los resultados de la investigacion realizada se han presentado en diversos foros
y congresos tanto del ambito nanciero como del matematico. Los principales han
sido:
Sainz, J.; Doncel Pedrera, L. M.; Grau, P. Risk Policy in Mutual Funds: Sear-
ching for valid performance measures as a policy instrument. Congreso: VIII
Jornadas de Poltica Economica. Valencia 25/10/2007 - 26/10/2007
Doncel Pedrera, L. M.; Otamendi Fernandez de la Puebla, F. J.; Grau, P. ;
Sainz, J. Selecting Mutual Fund Persistence: The German Case. Discovering
Persistent Managers in Germany. 22nd European Conference on Modelling
and Simulation. Nicosia, Chipre, 03/06/2008 - 06/06/2008.
Este ultimo congreso es de especial relevancia en el ambito de la Simulacion y Mo-
delizacion en el area de ingeniera. En el a no 2008 se presentaron por primera vez
al mismo aplicaciones a los mercados nancieros. A raz de los trabajos presentados
y del exito obtenido, se ha establecido un nuevo track en el congreso dedicado al
ambito de la Economa y Finanzas y logrando ademas que la siguiente edicion, 23
European Conference on Modelling and Simulation se celebre por primera vez en
Espa na, mas en concreto en Madrid en la propia sede de la Facultad de Ciencias
Jurdicas y Sociales de la Universidad Rey Juan Carlos en Junio de 2009.
4. Colaboracion con otros equipos
Se han abierto nuevas vas de investigacion con investigadores de Universidades
del Reino Unido, a traves de la participacion como ponentes en el congreso UKSim09,
que contiene una sesion especial sobre Economa Global.
59
5. Proyecto presentado en la convocatoria 2009
El ttulo del proyecto presentado en la convocatoria 2009 es Analisis estadstico
de indicadores de riesgo en nanzas: nuevas propuestas basadas en el control de
procesos. Dicho proyecto pretende ser una continuacion del proyecto obtenido en
la convocatoria del 2006, pero centrando su atencion principalmente en el estudio del
riesgo en las nanzas. El principal objetivo del mismo es mejorar la comprension y las
medidas de riesgo desarrollando nuevos indicadores. El contexto de la crisis nanciera
actual ha demostrado que las medidas de riesgo utilizadas no son adecuadas. Tanto
los resultados relacionados con el riesgo obtenidos con la actual investigacion, como
la utilizacion de nuevas medidas basadas en el control optimo de procesos son el
punto de partida para el desarrollo de los nuevos indicadores.
60
Geometra Algebraica y Analtica y Aplicaciones
MTM2006-04785
Universidad Complutense de Madrid
Miembros del equipo
Enrique Arrondo Esteban (IP)

Alvaro Bustinduy Candelas (1/2 ded.)

Sofa Cobo Pablos
Francisco Javier Gallego Rodrigo
Miguel Gonzalez Andres
Sonia Gonzalez Pascual
Raquel Mallavibarrena Martnez de Castro
Roberto Mu noz Izquierdo
Jose Carlos Sierra Garca
Luis Eduardo Sola Conde
1. Introduccion.
Nuestro equipo se ocupa del estudio de propiedades especiales que puedan ca-
racterizar a las variedades algebraicas. Estudiamos preferentemente propiedades de
sabor clasico de las variedades proyectivas, con tecnicas modernas tanto de geometra
algebraica como analtica.
As por ejemplo, nos dedicamos al estudio de subvariedades de codimension baja
(tema en el que el principal problema abierto es la conjetura de Hartshorne), con
tecnicas como el estudio de brados vectoriales o propiedades de proyectabilidad.
Caracterizamos tambien variedades por otras propiedades especiales, como el
tipo de subvariedades que contengan, sus variedades duales, sus espacios osculantes o
posibles foliaciones. Para este estudio, usamos tecnicas como la teora de Mori, teora
de adjuncion, espacios de curvas racionales o propiedades diferenciales y analticas
de variedades algebraicas.
Finalmente, tambien nos ocupamos de la construccion de variedades particula-
res, especialmente supercies (es muy importante contar con ejemplos de supercies
de tipo general con invariantes dados). Los metodos que utilizamos son la construc-
cion de variedades como cubiertas de otras variedades y, como caso especial, como
alisamiento de estructuras m ultiples de variedades dadas.
2. Principales resultados y su difusion.
En codimension peque na, hemos demostrado el analogo del teorema de Barth-
Larsen cambiando P
N
por otras variedades ambiente de dimension N, como el pro-
ducto de espacios proyectivos de la misma dimension, una grassmanniana de rectas
G(1, m) o una cuadrica (ver [2]). Tambien hemos estudiado la estabilidad del brado
universal restringido a supercies de G(1, 3) (ver [5] y [26]) y la amplitud del bra-
do normal de subvariedades de dimension n 1 en G(1, n) (ver [1]). Siguiendo con
61
subvariedades de grassmannianas, hemos acotado el grado que pueden alcanzar, es-
tudiando aquellas subvariedades con grado mnimo (ver [19]). Sobre proyectabilidad,
en [17] hemos caracterizado las subvariedades de dimension n en P
n
2
+3n2
2
proyec-
tables a P
2n
y en [6] demostramos que las subvariedades de codimension dos en P
5
cuya proyeccion a P
4
tiene lugar triple irreducible son cuadraticamente normales.
En codimension dos, la correspondencia de Hartshorne-Serre (redemostrada de
forma elemental en [23]) relaciona la conjetura de Hartshorne con la teora de bra-
dos. En este campo, hemos clasicado los brados vectoriales globalmente generados,
de rango arbitrario y con primera clase de Chern igual a 2 sobre P
N
(ver [22]) y los
de rango bajo sin cohomologa intermedia en una hipersupercie general de grado
cuatro en P
4
(ver [3]).
Respecto a variedades con subvariedades especiales, en [24] demostramos que
(salvo las excepciones evidentes en dimension peque na) las unicas variedades que
contienen sucientes subvariedades de codimension dos isomorfas a grassmannianas
de rectas son las propias grassmannianas de rectas. Tambien estudiamos subvarie-
dades con muchas curvas racionales (ver [4]), con muchas subvariedades degeneradas
(ver [25], [18] y [20]) o con secciones hiperplanas reducibles (ver [21]). Finalmente,
en [16] obtenemos algunas restricciones sobre las supercies elpticas que pueden ser
seccion hiperplana de una variedad de forma no trivial.
Respecto a propiedades diferenciales de variedades, en [13] y [12] estudiamos
caracterizaciones de distintas variedades por medio de sus propiedades osculantes,
mientras que en [14] y [15] estudiamos la variedades discriminantes de sistemas linea-
les (generalizacion abstracta de la teora clasica de las variedades duales). Tambien
en [11] damos una demostracion simple de un resultado de Bogomolov y McQuillan
sobre variedades con una foliacion regular sobre una curva lisa.
Respecto a la construccion de variedades particulares, en [9] y [10] hemos cla-
sicado las supercies de tipo general que aparecen como recubrimiento nito de
grado cuatro de una supercie de grado mnimo. Por otra parte, en [7] y [8] hemos
estudiado el alisamiento de cierto tipo de estructuras m ultiples de dimension uno y
dos.
Todos estos resultados han dado lugar a las siguientes publicaciones:
Con ndice de impacto:
1. E. Arrondo, M. Bertolini, C. Turrini: On the ampleness of the normal bundle
of line congruences, aceptado en Forum Mathematicum.
2. E. Arrondo, J. Caravantes: On the Picard group of low-codimension subva-
rieties, aceptado en Indiana University Mathematics Journal.
3. E. Arrondo, C. Madonna: Curves and bundles on the quartic threefold,
Journal of the Korean Mathematical Society, 46 no.3 (2009), 589607.
4. E. Ballico, R. Mu noz: Varieties swept by rational normal curves, Commu-
nications in Algebra, 36, no.11 (2008), 42574262.
62
5. S. Cobo: Simplicity of the universal quotient bundle restricted to congruences
of lines in P3, Advances in Geometry, 6 (2006), 495501.
6. P. De Poi, E. Mezzetti, J.C. Sierra: On the quadratic normality and the
triple curve of three dimensional subvarieties of P
5
, aceptado en Advances in
Geometry.
7. F.J. Gallego, M. Gonzalez, B.P. Purnaprajna: Deformation of nite morp-
hisms and smoothing of ropes, Compositio Math. 144 (2008), 673688.
8. F.J. Gallego, M. Gonzalez, B.P. Purnaprajna: K3 double structures on En-
riques surfaces and their smoothings, Journal of Pure and Applied Algebra
212 (2008), 981993.
9. F.J. Gallego, B.P. Purnaprajna: Classication of quadruple Galois canonical
covers, I, Transactions AMS, 360 (2008), 54895507.
10. F.J. Gallego, B.P. Purnaprajna: Classication of quadruple canonical curves,
II, Journal of Algebra, 312 (2007), 798828.
11. S. Kebekus, L.E. Sola-Conde, M. Toma: Rationally connected foliations after
Bogomolov and McQuillan, Journal of Algebraic Geometry,16 (2007), 6581.
12. A. Lanteri, R. Mallavibarrena: Osculating properties of decomposable scro-
lls, aceptado en Mathematische Nachrichten.
13. A. Lanteri, R. Mallavibarrena, R. Piene: Inectional loci of scrolls, Mathe-
matische Zeitschrift, 258 (2008), 557564.
14. A. Lanteri, R. Mu noz: Discriminant loci of ample and spanned line bundles,
Journal of Pure and Applied Algebra 212 (2008) 808831.
15. A. Lanteri, R. Mu noz: Low dimensional discriminant loci and scrolls, acep-
tado en Idiana Univ. Math. J.
16. A. Lopez, R. Mu noz, J.C. Sierra: On the extendability of elliptic surfaces of
rank two and higher, Annales de lInstitut Fourier, 59(1) (2009), 311346.
17. R. Mu noz, J.C. Sierra, L.E. Sola: Tangential projections and secant defective
varieties, Bulletin of the London Mathematical Society, 39 (2007), 949961.
18. J.C. Sierra: Smooth n-dimensional subvarieties of P
2n1
containing a family of
very degenerate divisors, International Journal of Mathematics, 20(1) (2009),
109122.
19. J.C. Sierra: A degree bound for globally generated vector bundles, aceptado
en Mathematische Zeitschrift.
20. J.C. Sierra, A.L. Tironi: Some remarks on smooth surfaces in P
4
containing
a family of plane curves, Journal of Pure and Applied Algebra, 209(2007),
361369.
63
21. J.C. Sierra, A.L. Tironi: Varieties with a reducible hyperplane section whose
two components are hypersurfaces, Proceedings of the American Mathema-
tical Society, 135 (2007), 12631269.
22. J.C. Sierra, L. Ugaglia: On globally generated vector bundles on projective
spaces, aceptado en Journal of Pure and Applied Algebra.
Sin ndice de impacto (aunque en publicaciones de evidente calidad):
23. E. Arrondo: A home-made Hartshorne-Serre correspondence, Revista Mate-
matica Complutense, 20 (2007), 423443.
24. R. Mu noz, L.E. Sola: Varieties swept out by Grassmannians of lines, acep-
tado en Contemporary Mathematics: volume of the conference Interactions of
Classical and Numerical Algebraic Geometry.
25. J.C. Sierra: Low codimensional subvarieties of projective spaces containing
a family of very degenerate divisors, aceptado en Vector Bundles and Low
Codimensional Subvarieties: State of the Art and Recent Developments(G.
Casnati, F. Catanese and R. Notari eds.) Serie: Quaderni di Matematica.
Tesis doctorales:
26. Sofa Cobo Pablos: Estabilidad del brado universal restringido a congruen-
cias(2008, UCM); dirigida por Enrique Arrondo Esteban.
3. Colaboracion con otros equipos y programas.
La composicion de nuestro equipo coincide basicamente con la del grupo de
investigacion Geometra de las variedades proyectivas de la UCM, que con n umero
de referencia 910772, ha sido nanciado en todas las convocatorias resueltas hasta
la fecha. Tambien hemos obtenido nanciacion (hasta 2007) a traves del proyecto
Santander/Complutense PR27/05-13876, y formamos parte de EAGER, red europea
de geometra algebraica.
Aparte de los colaboradores de los que queda constancia en las publicaciones,
hemos invitado con cargo al proyecto a los siguientes investigadores: F. Repetto, P.
Ionescu, E. Carlini, N. Perrin, I. Choe, A. Bernardi, X. Roulleau y G. Occhetta. Con
cargo a otros fondos, hemos invitado tambien a J.-M. Hwang y F. Malaspina.
4. Proyecto presentado en la convocatoria 2009.
El proyecto presentado es una continuacion del actual, aunque con un enfoque
mas marcadamente algebraico. Se dan de baja

Alvaro Bustinduy (por paso a dedi-
cacion completa al otro proyecto del que formaba parte) y Sofa Cobo (que termina
su beca). Se incorporan, en cambio, Juan Francisco Pons Llopis (becario FPI del
proyecto) y Simone Marchesi (becario de Milan que esta en la UCM en el marco de
una cooperacion de los programas de doctorado).
64
Metodos de punto interior para optimizacion de gran escala.
Aplicacion a la proteccion de datos estadsticos
MTM2006-05550
Universitat Polit
`
ecnica de Catalunya
Miembros del equipo
Adebayo Alabi;
Jordi Castro (IP);
Jordi Cuesta;
Antonio Frangioni;
Claudio Gentile;
Jose Antonio Gonzalez
1. Introduccion
Tematica: Metodos de optimizacion (programacion matematica) basados en
algoritmos polinomicos de punto interior para programacion lineal, cuadratica
y convexa. Aplicacion a un problema real de proteccion de datos estadsticos
publicados, principalmente, por Institutos Nacionales de Estadstica.
Objetivos previstos. Objetivos teoricos: Mejora de algoritmos de punto in-
terior basados en metodos iterativos para solucionar los sistemas de ecuaciones
normales que aparecen a cada iteracion de punto interior mediante precondi-
cionadores y regularizaciones cuadraticas. Objetivos aplicados: aplicacion de
dichos metodos de punto interior al problema de proteccion de datos estadsti-
cos usando la tecnica CTA (controlled tabular adjustment); aproximacion al
problema CTA con variables binarias.
Financiacion recibida: 38030.0 euros.
2. Principales logros En la lnea metodologica de algoritmos de punto interior
los logros principales han sido:
(J. Castro y J. Cuesta) Se ha desarrollado un procedimiento de regulariza-
cion cuadratica eciente para un metodo de punto interior para problemas
con estructura primal por bloques. Se ha implementado y aplicado con exito a
diversos problemas con dicha estructura. Entre los resultados computaciona-
les, destacamos que en problemas CTA cuadraticos en tablas tridimensionales
de gran dimension (problemas de optimizacion cuadraticos de 10 millones de
variables y 210000 restricciones), ha sido 700 veces mas eciente que el me-
jor software comercial (CPLEX) actual. Para este tipo de problemas puede
considerarse en mejor metodo de la actualidad. Se ha generado un artculo,
condicionalmente aceptado sujeto a revision a Mathematical Programming
(JCR, mejor revistas del area). Este trabajo se enmarca en la tesis docto-
ral del miembro del equipo Jordi Cuesta. Ha generado varias presentaciones
internacionales por invitacion.
65
(J. Castro) El procedimiento anterior ha sido aplicado con exito a un problema
convexo de enrutamiento de datos en redes multiartculo de telecomunicacio-
nes, en una colaboracion entre el investigador principal y Adam Ouorou (R&D
France Telecom). El metodo de punto interior especializado ha podido solucio-
nar ecientemente problemas no lineales convexos de hasta 100000 variables y
12000 restricciones en pocos segundos usando una implementacion Matlab; se
esta desarrollando una implementaci on C++. Este trabajo ha sido y sera pre-
sentado por invitacion en varios congresos internacionales.
(A. Alabi y J. Castro) El procedimiento anterior tambien se aplico, sin exito, a
un problema de planicacion en el campo de la ingeniera qumica, en el mar-
co de la tesis doctoral del miembro del equipo Adebayo Alabi. Este problema
de planicacion es de muy gran escala, resultando en instancias de hasta un
millon de restricciones y 2.5 millones de variables. Finalmente, el problema
ha sido solucionado mediante la descomposicion de Dantzig-Wolfe, y descen-
so coordenado por bloques. Este ultimo, heurstico, ha obtenido siempre un
punto factible razonablemente bueno con los mejores tiempos de ejecucion.
Este trabajo ha sido aceptado a Computers and Operations Research (12/60
en JCR 2007).
En la lnea de aplicacion a la de solucion del problema de proteccion de
datos los logros principales han sido:
(J. Castro y J.A.Gonzalez) Se ha planteado la solucion optima de CTA (Con-
trolled Tabular Adjustment, una tecnica de proteccion de datos desarrollada
por el grupo) como problema MILP mediante el metodo de Benders. Se ha
desarrollado un prototipo previo y ha mostrado ser una estrategia eciente
en tablas bidimensionales (para tablas multidimensionales no lo ha sido, sin
embargo). Este trabajo fue presentado en el congreso Privacy in Statistical
Databases 2008, Istanbul (Turkey), septiembre 2008, donde el IP era miembro
del Comite de Programa. Y ha aparecido en un volumen de Lecture Notes in
Computer Sciences.
(J. Castro y J.A. Gonzalez) Se ha aplicado un metodo heursticos de descen-
so coordenado por bloques, que permite hallar una secuencia de soluciones al
problema de CTA. Esta basado en la resolucion de subproblemas MILP de
peque na dimension en las variables binarias, con la propiedad de que cada
subproblema obtiene una solucion mejor que la del anterior. En algunas tablas
reales ha proporcionado buenas soluciones en un tiempo razonable. Tambien
se ha aplicado la estrategia Minisatpara intentar hallar una solucion factible
para CTA. Este ultimo procedimiento resuelve el problema de satisfacibilidad
booleana, y se basa en explorar las restricciones del problema CTA y cons-
truir clausulas logicas para las que determinar una asignacion de las variables
binarias que haga factible tales restricciones. Aunque no garantiza un punto
inicial factible, las pruebas realizadas muestran que el ndice de exitos es alto
Este trabajo fue presentado en febrero de 2009 en el XXXI Congreso Nacional
de Estadstica e Investigacion Operativa, Murcia.
66
(J. Castro, A. Frangioni, y C. Gentile) Claudio Gentile, miembro extranjero
del equipo, visito en 2008 el Dpto. de Estadstica e Investigacion de la UPC.
Fruto de esta visita se ha iniciado una lnea de trabajo no prevista inicialmen-
te, para solucionar el problema combinatorio CTA con una funcion de coste
cuadratica (problema combinatorio cuadratico MIQP) utilizando la estrategia
de cortes perspectivos. En experimentos preliminares se ha observado que
CPLEX (mejor software comercial actual) no puede solucionar ecientemente
las instancias reales MIQP proporcionadas por CTA. En esta lnea de traba-
jo se hallan involucrados el IP, y los dos miembros extranjeros, con amplia
experiencia previa en el uso de cortes perspectivos en problemas MIQP. Este
trabajo se concluira probablemente en un proyecto futuro (se ha incluido como
tarea en la solicitud de la convocatoria de 2009).
3. Difusion de resultados
Publicaciones
J. Castro, A. Frangioni, C. Gentile. Perspective reformulations of the CTA
problem with L2 distances. Working paper.
J. Castro, A. Ouorou. An interior-point algorithm for routing in data telecom-
munications networks. Working paper.
J. Castro, J.A. Gonzalez. A Benders decomposition approach to CTA. Wor-
king paper.
J. Castro, J. Cuesta. Quadratic regularizations in an interior-point method for
primal block-angular problems, Research Report DR 2008/07, Dept. of Sta-
tistics and Operations Research, Universitat Polit`ecnica de Catalunya, 2008.
Conditionally accepted to Mathematical Programming (JCR) subject to revi-
sion.
J. Castro, D. Baena. Using a mathematical programming modeling language
for optimal CTA, Lecture Notes in Computer Science, 5262 (2008) 112, eds.
J. Domingo-Ferrer and Y. Saigin, Springer.
A. Alabi, J. Castro. Dantzig-Wolfe and block coordinate-descent decompo-
sition in large-scale integrated renery-planning, Computers and Operations
Research (JCR), 36 (2009) 24722483. Previously appeared as Research Re-
port DR 2008/01, Dept. of Statistics and Operations Research, Universitat
Polit`ecnica de Catalunya, 2008.
J. Castro, J.A. Gonzalez, D. Baena. Users and programmers manual of the
RCTA package, Technical Report DR 2009/01, Dept. of Statistics and Opera-
tions Research, Universitat Polit`ecnica de Catalunya, 2009.
67
Publicaciones parcialmente relacionadas con el proyecto
D. Rosas, J. Castro and L. Montero. Using ACCPM in a simplicial decom-
position algorithm for the trac assignment problem, Computational Opti-
mization and Applications (JCR). Major revision in 2007, accepted in 2007,
doi:10.1007/s10589-007-9153-6.
J. Castro. A stochastic programming approach to cash management in ban-
king, European Journal of Operational Research (JCR), 192 (2009) 963974.
Major revision in 2007, accepted in 2007, doi:10.1016/j.ejor.2007.10.015.
Presentaciones y actividades en congresos y seminarios
J. Castro, A. Ouorou, An Interior-Point Algorithm for routing in data telecom-
munications networks, International Network Optimization Conference, Pisa,
April 2009. Invited presentation.
J. Castro, J. Cuesta, Improving an interior-point algorithm for multicommo-
dity ows by quadratic regularizations, International Network Optimization
Conference, Pisa, April 2009. Invited presentation.
J. Castro, J.A. Gonzalez, Metodos heursticos y exactos para el problema de
ajuste controlado de tablas, XXXI Congreso Nacional de Estadstica e Inves-
tigacion Operativa, Murcia, Spain, February 2009.
J. Castro, J. Cuesta, Mejora de metodos iterativos en algoritmos de punto
interior a traves de regularizaciones cuadr`aticas, XXXI Congreso Nacional de
Estadstica e Investigacion Operativa, Murcia, Spain, February 2009.
J. Castro, A stochastic programming approach to cash management in ban-
king, Seminar of the Faculty of Mathematics, Universidad de Sevilla, Sevilla
(Spain), November 18, 2008. Invited presentation.
J. Castro, Improving iterative solvers in IPMs for structured problems through
quadratic regularizations, Research seminar of the Department of Statistics,
Universidad Carlos III de Madrid, Getafe (Spain), October 3, 2008. Invited
presentation.
J. Castro, D. Baena, Using a Mathematical Programming Modeling Language
for Optimal CTA, Privacy in Statistical Databases 2008, Istanbul (Turkey),
September 2008.
J. Castro. Miembro del comite de programa de la conferencia Privacy in Sta-
tistical Databases, PSD2008, Estambul, Turqua, septiembre 2008.
J. Castro and J. Cuesta, Improving iterative solvers in IPMs for structured
problems through quadratic regularizations, International Conference on Ap-
plied Mathematical Programming and Modelling APMOD, Bratislava (Slovak
Republic), May 2008. Invited presentation.
68
J. Castro, Iterative solvers in interior-point methods for structured problems,
Research seminar of The Computer and Automation Research Institute, Hun-
garian Academy of Sciences, Budapest (Hungary), April 17 2008. Invited
presentation.
J. Castro Interior point methods for LP, QP and convex problems: theory, im-
plementation, and applications, First Intensive School on Mathematical Pro-
gramming and Applications, CIEM Castro-Urdiales (Spain), January 30-31
2008. Invited presentation.
S. Giessing, A. Hundepool and J. Castro, Rounding methods for protecting
EU-aggregates, Joint UNECE/Eurostat Work Session on Statistical Data Con-
dentiality, Manchester (United Kingdom), December 2007. Invited presen-
tation.
J. Castro and A. Ouorou, An interior-point approach for convex routing pro-
blems in data telecommunication networks, Second Mathematical Program-
ming Society International Conference on Continuous Optimization, McMas-
ter University, Hamilton (Ontario, Canada), August 2007. Invited presen-
tation.
J. Castro and J. Cuesta, Improving preconditioners in interior-point methods
for optimization through quadratic regularizations, 2007 International Confe-
rence On Preconditioning Techniques For Large Sparse Matrix Problems In
Scientic And Industrial Applications, Toulouse (France), July 2007.
Transferencia de tecnologa
2007. Convenio de transferencia de tecnologa con Statistics Netherlands (en
colaboracion con Statistics Germany para participar en proyecto nanciado
por Eurostat) para analizar la viabilidad de la tecnica CTA para proteger los
datos de las empresas europeas publicados por EUROSTAT. Los resultados
fueron satisfactorios.
2008. Convenio de transferencia de tecnologa con Statistics Netherlands (en
colaboracion con Statistics Germany para participar en proyecto nanciado
por Eurostat) para desarrollar una herramienta que implementa CTA y pueda
ser usada por Eurostat.
2008. Convenio de transferencia de tecnologa con IDESCAT (Institut dEstadsti-
ca de Catalunya) para la implantaci on de un protocolo de proteccion de datos
tabulares en dicho INE.
Tesis doctorales
Jordi Cuesta. Contribucions als algorismes de punt interior basats en m`etodes
iteratius per a sistemes dequacions. Tesis nalizada. A ser defendida durante
primer semestre de 2009.
69
Adebayo Alabi. Large-scale optimization algorithms with applications in oil
renery. En fase nal de elaboracion.
4. Colaboracion con otros equipos internacionales
Junto con DESTATIS (INE de Alemania), CBS (INE de Holanda) y 20 institucio-
nes mas (8 universidades/centros de investigacion y 12 INEs europeos) se elaboro una
propuesta para el 7 Programa Marco de la UE. El proyecto, denominado EURA-
SI (European Access to Statistical Information) se enmarcaba en el Work-Program
Topic INFRA-2008-1.1.2.27. La propuesta, enviada en febrero de 2008, tuvo una
evaluacion positiva, pero no fue aceptada. Durante 2009 se intentar a reelaborar la
propuesta y someterla de nuevo. Las tareas seran complementarias a las del proyec-
to (y el propuesto en la convocatoria de 2009): desarrollo de los algoritmos generados
(implementacion e inclusion en software de uso p ublico por Institutos Nacionales de
Estadstica de la UE).
5. Proyecto convocatoria 2009
Contin ua la lnea de trabajo del actual. Entre otras tareas destacamos que, a
diferencia del proyecto actual, los metodos de punto interior a ser desarrollados no
seran particulares a un tipo de problema estructurado, sino a casos mas generales.
Esto permitira su aplicacion en proteccion de datos a un espectro mas amplio de
tablas. Adicionalmente, en el problema de proteccion de datos se mejorara la des-
composicion de Benders en el marco de la tesis doctoral de un nuevo miembro del
grupo; y se abordara una nueva tecnica de proteccion (proteccion por intervalos)
usando un metodo de punto interior estructurado para problemas masivos.
70
Calculo estocastico para procesos de Levy y para procesos gaussianos
MTM2006-06427
Universitat Aut
`
onoma de Barcelona
Miembros del equipo
Alabert Romero, Aureli (UAB)
Alos Alcalde, Elisa (UPF)
Bardina Simorra, Xavier (UAB)
Bascompte Viladrich, David (UAB, becario)
Delgado De la Torre, Rosario (UAB)
Farre Cervello, Merc`e (UAB)
Ferreiro Castilla, Albert (UAB, becario)
Jolis Jimenez, Maria (UAB)
Quer Sardanyons, Llus (UAB)
Sole Clivilles, Josep Llus (UAB)
Utzet Civit, Frederic (IP, UAB)
Viles Cuadros No`elia (UAB, doctoranda)
Vives SantaEulalia, Josep (UB)
1. Introduccion
Tematica
El proyecto trata de extender en dos direcciones varias construcciones dise nadas
para el movimiento browniano. Por un lado, a los procesos de Levy, cuya importan-
cia aumenta continuamente debido a que permiten incorporar saltos en los modelos.
Por otro lado, al movimiento browniano fraccionario, el cual tiene numerosas apli-
caciones y que es un proceso gaussiano con propiedades muy interesantes. Tambien
se estudian varias propiedades de las ecuaciones en derivadas parciales estocasticas.
Objetivos
1. Desarrollar las propiedades del calculo de Malliavin para procesos de Levy.
2. Demostrar una formula de Taylor estocastica para procesos de Levy generales.
3. Desarrollar aplicaciones a las matematicas nancieras de la derivada de Ma-
lliavin en tiempo-espacio.
4. Calibrar un proceso de Levy tipo jump-difusion mediante tecnicas wavelets.
5. Generalizacion de los resultados obtenidos por el equipo para ecuaciones
diferenciales-algebraicas estocasticas lineales a ecuaciones mas generales.
6. En relacion con las ecuaciones diferenciales-algebraicas estocasticas, extensio-
nes y estudio probabilstico de las soluciones.
7. Estudio de la convergencia en ley a las soluciones de ecuaciones diferenciales
en derivadas parciales estocasticas.
8. Extension de la formula de Ito de Eisenbaum para difusiones elpticas e hi-
poelpticas.
9. Estudio de la continuidad en ley de funcionales del movimiento browniano
fraccionario al variar el parametro de Hurst.
10. Valoracion de opciones en mercados dirigidos por un movimiento browniano
fraccionario.
71
Financiacion
Personal 12.000
Complementos salariales 0
Gastos ejecucion 67.100
Costes indirectos 16.611
Total 95.711
Y un becario.
2. Principales logros
Se agrupan los objetivos en tres grandes bloques.
Procesos de Levy. El objectivo 1 se ha alcanzado casi completamente. Los
resultados obtenidos son muy buenos, pero es un tema con una fuerte competencia,
especialmente con el grupo dirigido por Bernt Oksendal (Universidad de Oslo) Se
trata de un equipo muy potente y en diversas cuestiones se nos ha adelantado.
El principal artculo en esta lnea es [15]. Se ha avanzado mucho en el objetivo 2.
De momento se ha ha publicado un artculo en esta direccion. En relacion a las
aplicaciones a las nanzas, se ha alcanzado el objetivo 3 con la publicacion, entre
otros, de [2]. Se ha empezado a trabajar en la lnea del objetivo 4, pero no se han
obtenido a un resultados importantes.
Por otra parte, a raz de una visita de Giovanni Peccatti de la universidad de
Paris 6, se ha abierto una nueva lnea de investigacion sobre el Metodo de Stein y
calculo de Malliavin para procesos de Levy. Colaboramos tambien con Murad
Taqqu de la Universidad de Boston. Se ha redactado un preprint.
Finalmente, se ha abierto una nueva lnea sobre Polinomios ortogonales e
integrales m ultiples para procesos de Levy. Hemos obtenido resultados muy
satisfactorios y muy bien recibidos por la comunidad matematica. Los artculos mas
importantes han sido [16] y [17]. Ademas, se ha redactado un preprint.
Han colaborado en estas investigaciones Al`os, Farre, Jolis, Sole, Utzet y Vives.
Ecuaciones diferenciales estocasticas y en derivadas parciales estocasti-
cas. En relacion a los objetivos 5 y 6 se ha publicado un artculo [3], pero actualmente
consideramos el planteamiento demasiado ambicioso; han aparecido numerosas di-
cultades tecnicas y se avanza mas lentamente de lo previsto. Sobre el objetivo 7 se
han obtenido avances signicativos y de manera inminente se nalizara un preprint.
Los resultados son muy satisfactorios ya que se trabaja en una lnea de gran interes
teorico y aplicado, pero a la que se dedican pocos investigadores. El objetivo 8 se
ha nalizado y se ha publicado [4], y ya se esta trabajando en las generalizaciones;
se ha redactado un preprint. Finalmente, en esta tematica se han publicado [13] i
[14]. Participan en estas investigaciones Alabert, Bardina, Jolis y Quer.
Movimiento browniano fraccionario. El objetivo 9 se ha alcanzado plena-
mente y se han publicado los artculos [11] y [12]. En relacion al movimiento brow-
niano fraccionario se han desarrollado otras investigaciones, que han dado lugar a
las publicaciones [5], [6], [9] y [10]; cabe remarcar este ultimo trabajo de Jolis, de
una extraordinaria profundidad matematica. En relacion al objetivo 10, se pretenda
72
combinar la experiencia que tenamos con el movimiento browniano fraccionario con
el conocimiento de matematicas nancieras. Sin embargo, al empezar a trabajar en
estos aspectos se vio mucho mas interesante y prometedor profundizar en los mode-
los clasicos de volatilidad estocastica. El principal resultado se ha publicado en [1].
Hay diversos trabajos en curso y preprints.
Se ha abierto una nueva lnea de trabajo sobre Procesos de colas sobre redes
(Queuing Networks) y movimiento browniano fraccional con reexion. A
partir de la conu`encia de los trabajos con procesos de colas sobre redes y con el
movimiento browniano fraccionario, hemos abierto una prometedora lnea donde un
movimiento browniano fraccional con reexion aparece como lmite del ujo de una
red de colas. Se han publicado, entre otros, los trabajos [7] y [8].
Participan en estas investigaciones Al`os, Bardina, Bascompte, Delgado, Jolis,
Ferreiro, Sole, Utzet y Vives.
Referencias
[1] Al` os, E. and Ewald, C. O., Malliavin Dierentiability of the Heston Volatility and Appli-
cations to Option Pricing. Advances in Applied Probability, 40 (1) (2008), 144-162.
[2] Al` os, E., Le on, J., and Vives, J., On the short time behaviour of the implied volatility
for jump diusion models with stochastic volatility, Finance and Stochastics, 11 (40), 2007
pp. 571-589
[3] Alabert, A., Ferrante, M., Linear stochastic dierential-algebraic equations with cons-
tant coecients, Electronic Comm. in Probability, 11 (December 2006) 316-335.
[4] Bardina, X., Rovira, C., On Itos formula for elliptic diusion processes Bernoulli, 13
(2007), pp. 820830.
[5] Bardina, X., Tudor, C., The law of a stochastic integral with two independent fractional
Brownian motions, Boletn de la Sociedad Matematica Mexicana, 13 (2007).
[6] Bardina, X. Jolis, M. and Tudor, C. On the convergence to the multiple Wiener-Ito
integral. Aparecera en Bulletin des Sciences Mathematiques.
[7] Delgado, R., A reected fBm limit for uid models with ON/OFF sources under heavy
trac, Stochastic Processes Appl., 17 (2007) pp. 188-201.
[8] Delgado, R., State space collapse for asymptotically critical multi-class uid networks.
Queueing Systems 59 (2008) pp. 157-184.
[9] Eddahbi, M., Lacayo, R., Sol e, J. L., Tudor, C. A. and Vives J. Renormalization of
the local time for the d-dimensional fractional Brownian motion with N parameters. Nagoya
Mathematical Journal, 186 (2007) 173-191
[10] Jolis, M., On the Wiener integral with respect to the fractional Brownian motion on an
interval. J. Math. Anal. Appl., 30 (2007) 11151127.
[11] Jolis, M. and Viles, N., Continuity with respect to the Hurst parameter of the laws of the
multiple fractional integrals. Stochastic Processes Appl. 117 (2007) pp. 11891207.
[12] Jolis, M. and Viles, N., Continuity in law with respect to the Hurst parameter of the local
time of the fractional Brownian motion.J. Theoret. Probab., 20 (2007) pp. 133152.
[13] Nualart, D. and Quer-Sardanyons, L., Existence and smoothness of the density for
spatially homogeneous SPDEs. Potential Anal.,27 (2007) pp. 281-299.
73
[14] Quer-Sardanyons, L. and Tindel, S., The 1-d stochastic wave equation driven by a
fractional Brownian sheet, Stochastic Processes. Appl., 117 (2007) pp. 1448-1472.
[15] Sole, J.Ll., Utzet, F. and Vives, J., Malliavin Calculus for canonical Levy processes,
Stochastic Processes Appl., 117 (2007) 165187
[16] Sol e, J. L. and Utzet, F. Timespace harmonic polynomials relative to a Levy process,
Bernoulli, 14 (2008) pp. 1-13.
[17] Sol e, J. L. and Utzet, F., On the orthogonal polynomials associated with a Levy process,
Annals of Probability, 36 (2008) pp. 765795.
3. Difusion
Artculos publicados en revistas indexadas en ISI.
Revista Artc. Ranking Revista Artc. Ranking
J. Math. Anal. Appl. 1 37/207 Potential Anal. 1 107/207
Nagoya Math. Jour. 1 50/207 Queueing Systems 1 48/92
Annals Prob. 1 24/91 Bul. Sc. Math. 1 41/62
Bernoulli 2 34/91 J. Theoret. Prob. 1 68/91
Adv. Applied Prob 1 37/91 Elect. Comm. Prob. 1 76/91
Stochastic Proc. Appl 4 38/91 Bol. Soc. Mat. Mex. 1 201/207
Finance and Stochastics 1 39/91
En junio de 2009 leera la tesis doctoral la Sra. No`elia Viles Cuadros, bajo la
direccion de la Dra. Maria Jolis.
4. Colaboracion con otros equipos
Colaboramos con el equipo de la Universidad de Barcelona dirigido por la Dra.
Marta Sanz Sole, con quien organizamos conjuntamente del Seminario de Probabi-
lidades de Barcelona. Ademas, colaboramos con los siguientes investigadores:
David Nualar, Kansas University Samy Tindel, Universite Nancy
Giovanni Peccati, Universite Paris 6 Ciprian Tudor, Universite Paris 1
Robert Dalang, Ecole Pol. Fed. Laussane Jorge Leon, CINVESTAV (Mexico)
Murad Taqqu, Boston University Mohamed Eddabi, Univ. Marrakech
Christian-O. Ewald, Univ. St. Andrews Monique Pointier, Univ. Toulouse
Evsey Morozov, Russian Academy of Sciences
5. Relacion con el proyecto de 2009
La mayora de los temas de investigacion se contin uan en el proyecto de 2009,
especialmente las nuevas lneas abiertas. Por otro lado, Alabert y Farre no estan en
el nuevo proyecto, ya que solicitan un proyecto con otra orientaci on. Se incorpora
Sebastian del Ba no Rollin, investigador del Centre de Recerca Matem`atica. Doctor
en Matematicas, ha desarrollado su carrera profesional durante 10 a nos en distintos
bancos en la city de Londres como Royal Bank of Scotland o Nomura.
74
Tecnicas no parametricas de bondad de ajuste
y change-point para regresiones isotonicas.
Aplicaciones en Economa, Ciencias Sociales y Medio Ambiente.
MTM2006-12755
Universidad de Oviedo
Miembros del equipo
Domnguez Menchero, Jose Santos (IP)
Lopez Palomo, Mara Jes us
Torres Manzanera, Emilio
1. Objetivos del proyecto
El contexto general del proyecto se enmarca en la Inferencia Estadstica y cons
tituye el campo de investigacion conocido como Inferencia bajo restricciones de
orden, y de forma mas precisa las tecnicas de Regresion Isotonica. Se tratan situa-
ciones donde la relacion entre dos variables aleatorias, formalizada en terminos de la
funcion de regresion, se presupone o se sospecha no decreciente (o isotonica). El pro-
yecto ha sido nanciado con 15.391,20 euros (12.720 euros de gastos de ejecucion).
Sus principales objetivos se pueden clasicar en un Modulo de resultados teoricos y
en un Modulo de aplicaciones.
El M

ODULO DE RESULTADOS TE

ORICOS se centra en obtener contrastes de

bondad de ajuste de una regresion m que se presupone isotonica a una regresion
determinada o a un determinado modelo, esto es, contrastar H
0
: m = m
0
frente a
H
1
: m = m
0
y contrastar H
0
: m S frente a H
1
: m / S con S = m

: .
Por su relevancia, se debe prestar singular atencion al caso S = k : k R,
conocido como contraste de isotona estricta. As mismo, sera de especial interes
que los procedimientos fueran aplicables a datos dependientes y con observaciones
heterocedasticas, y que se dispusiera de metodos bootstrap aplicables a peque nos
vol umenes de datos. La literatura ya dispone de soluciones para isotona estricta
bajo independencia y homocedasticidad, fundamentalmente aportados por nuestro
grupo. Un caso fundamental es el conocido como Problema del Change-Point, al
que se ha dedicado un importante esfuerzo en la literatura en los ultimos a nos. En
nuestro contexto, se dispondra de la informacion adicional de isotona sobre la se nal.
Existen solo tmidas aproximaciones en la literaura, que no incluyen bootstrap.
El M

ODULO DE APLICACIONES se centra en dos ambitos. En Economa y Cien-

cias Sociales, con el desarrollo de modelos que expliquen el impacto economico en
Espa na de las diferentes tipologas tursticas (analizando el gasto fuera del aloja-
miento), as como su efecto en la poltica de tasas locales. En Medio Ambiente, con
el estudio de series termometricas y la determinacion de posibles cambios climaticos,
as como la obtencion de procedimientos que aumenten la efectividad en la extincion
de incendios (analizando el efecto del tiempo de llegada de los equipos de extincion).
75
2. Logros obtenidos
El primer logro en el M

ODULO DE RESULTADOS TE

ORICOS es la obtencion de
los primeros estadsticos en la literatura para los contrastes de bondad de ajuste. En
el han intervenido tanto el IP como la investigadora Lopez Palomo. Se basan en la
incorporacion de la informacion de isotona a los procedimientos de bondad de ajuste
que ofrece la literatura basados en la estimacion de la funcion de regresion integrada.
Se supone un modelo de dise no jo Y (x
i,n
) = m(x
i,n
) + (x
i,n
), 1 i n, con m
isotonica, extrapolable a observaciones completamente aleatorias bajo independencia
y variable explicativa continua, y no se hacen restricciones respecto al n umero r
i,n
de observaciones de Y (x
i,n
), Y
j
(x
i,n
)
r
i,n
j=1
, con Y
j
(x
i,n
) = m(x
i,n
) +
j
(x
i,n
).
La funcion de regresion integrada se estima en la literatura a traves del diagrama
acumulado o Csd de la estimacion natural de m, dada por m(x
i,n
) =

r
i,n
j=1
Y
j
(x
i,n
)
r
i,n
,
esto es, Csd
m
. Nuestra idea consiste en sustituir Csd
m
por Csd
m
I
, donde m
I
repre
senta la isotonizacion de m, es decir, la mejor funcion isotonica que la aproxima por
mnimos cuadrados. La bondad de ajuste para una hipotesis simple se basara en
D

(m
0
) = |Csd
m
I
Csd
m
0
|

. En la hipotesis compuesta se usara D

(S) =
|Csd
m
I
Csd
m

. Y en el contraste de isotona estricta, D

= |Csd
m
I


Y|

,
donde

Y es la media total de las observaciones.
El segundo logro consiste en la representaci on de estos estadsticos en terminos
de funcionales y procesos estocasticos mas manejables tecnicamente (desarrollados
fundamentalmente por el IP). En particular, el funcional Gcm o mayor convexa
minorante y el proceso estocastico dado por: Z
n
(t) = Csd
m
(t) tCsd
m
(1), t
[0, 1] . Por ejemplo, D

= |Gcm(Z
n
)|

. De esta manera se pueden obtener las

distribuciones asint oticas a partir de las propiedades del proceso estocastico.
Como tercer logro se ha obtenido un resultado muy general sobre la distribucion
asintotica de D

(tanto en este como en el resto de logros del modulo, ha intervenido

fundamentalmente el IP). Se supone una condicion tipo Donsker sobre los errores.
Esto es, si T
n
: [0, 1] R es la interpolacion lineal a partir de los valores T
n
(0) = 0
y T
n
(i/n) =

i
k=1

r
k,n
j=1

j
(x
k,n
)
nr
k,n
, 1 i n, supondremos que existe una sucesion

nN
R y un proceso estocastico sobre C [0, 1] tales que
n
T
n
L
. La
condicion es sumamente general y cubre con creces las situaciones de interes tan-
to en independencia como en series temporales. Bajo esa condicion, y suponiendo
regresion constante,
n
D

L
|Gcm( (1)I )|

, donde I es la identidad en
C[0, 1]. Lo cual deja el evidente test de isotona estricta, aplicable a datos indepen-
dientes, dependientes y en particular al Problema del Change-point. El cuarto logro
es precisamente un estudio sobre alternativas locales, cuyo atractivo es que permite
comprobar la velocidad a la que el test es capaz de detectar la isotona estricta. En
el se deduce que el nuevo test mejora a todos los existentes hasta el momento.
Como quinto logro se han obtenido procedimientos bootstrap de contraste. En el
caso de isotona estricta y observaciones independientes es asint oticamente correcto
y consistente, y el primer bootstrap aplicable a heterocedasticidad. Basados en el
anterior, se desarrolla un test bootstrap para isotona estricta y errores siguiendo
un modelo ARMA(p, q). Es el primer bootstrap para este problema en la literatura.
76
Finalmente se han desarrollado procedimientos bootstrap en algunos otros modelos,
en concreto el lineal, con comportamientos similares en las simulaciones.
En el ambito economico del M

ODULO DE APLICACIONES se han obtenido en

primer lugar funciones explicativas (isotonicas) del gasto fuera del alojamiento res
pecto al gasto en alojamiento. Ello ha permitido valorar la repercusion economica
de cada tipo de alojamiento en una region, y deducir polticas tursticas adecuadas.
En el trabajo ha intervenido tanto el IP como el investigador Torres Manzanera. Un
segundo logro es un estudio explicativo de las tasas locales en terminos de crecimiento
turstico. En el han intervenido todos los miembros del equipo.
En el ambito del Medio Ambiente, un tercer logro es el estudio de series ter-
mometricas. Los procedimientos bootstrap para series temporales se han aplicado
a la deteccion de cambios en la temperatura del hemimensferio norte. Un cuarto
logro ha sido desarrollar modelos explicativos (isotonicos) del tiempo de extincion
de un incendio en base al tiempo de llegada del equipo de extincion. En ellos han
intervenido todos los miembros del equipo.
Finalmente, se nalar que se han obtenido tambien aplicaciones en un nuevo ambito
no previsto inicialmente, el de la violencia de genero, como parte de la relacion con
otros grupos de trabajo (que se especica en la Seccion 4). En particular, se han
obtenido resultados sobre la deteccion de la tasa de violencia oculta.
3. Difusion
Los logros han dado lugar hasta el momento a las siguientes publicaciones:
Domnguez Menchero, J.S., Gonzalez Rodrguez, G. (2007). Analyzing an ex-
tension of the isotonic regression problem. Metrika, 66, 1930. Impacto (JCR
2007): 0.510. 66 de 91 (Statistics & Probability).
Torres Manzanera, E., Domnguez Menchero, J.S. (2007). Impact of second
home on local taxes. Fiscal Studies, 27, 231250. Impacto (JCR 2007): 0.439.
132 de 191 (Economics), 33 de 45 (Business, Finance).
Valdes, L., Torres Manzanera, E., Domnguez Menchero, J.S. (2007). A model
to study the economic impact of collective accommodation in a region. Tourism
Management, 28, 152161. Impacto (JCR 2007): 0.890. 5 de 14 (Hosp., Leis., Sport
& Tourism), 28 de 52 (Environmental stud.), 45 de 81 (Management).
Colubi, A., Domnguez Menchero, J.S., Gonzalez Rodrguez, G. (2008). Testing
constancy for isotonic regressions using the integrated regression function. En
primera revision en Bernoulli. Impacto (JCR 2007): 1.029. 34 de 91 (Statistics &
Probability).
Hay dos artculos mas enviados, y uno en preparacion. La difusion a traves de
ponencias en congresos internacionales viene dada por:
Colubi, A., Domnguez Menchero, J.S., Gonzalez Rodrguez, G. (2008). On a
new method for testing constancy of isotonic regressions. COMPSTAT2008.
Porto. Book of Abstracts, 91.
Domnguez Menchero, J.S., Lopez Palomo, M.J., Torres Manzanera, E. (2007).
Isotonic regression in estimating the impact of second homes on local taxes.
ISI2007. Lisboa. Book of abstracts, 608609.
77
Torres Manzanera, E., Natal, C. Muslera, E. (2007). An approach to statis-
tical information sources about violence against women in the public health.
ISI2007. Lisboa. Book of abstracts, 609610.
Valdes, L., Aza, R., Ba nos, J., Torres Manzanera, E., Valle, E. del (2007). A
methodology to evaluate the economic impact of tourism in a region. First
Conference of the International Association For Tourism Economics. Palma
de Mallorca.
Valdes, L., Aza, R., Ba nos, J., Torres Manzanera, E., Valle, E. del (2008).
Economic impact of tourism. Knowledge as value advantage of tourism desti-
nation. Malaga.
Valle, E. del, Valdes, L., Aza, R., Ba nos, J., Torres Manzanera, E. (2007). A
methodology to measure economic impact of tourism in Asturias. ISI2007.
Lisboa. Book of abstracts, 478.
Hay otra comunicacion a congreso internacional prevista y una ponencia invitada.
Tambien se ha realizado una comunicacion en un congreso nacional:
Torres Manzanera, E., Natal, C. Muslera, E. (2007). Registros administrativos
sanitarios en violencia de genero. SEIO2007. Valladolid. Actas, 160.
4. Colaboraciones
En primer lugar, se han mantenido diversos contactos con el grupo de Regresion
Isotonica de la Universidad de Valladolid. Nuestras lneas de trabajo son hasta la
fecha diferentes, y la mayor parte de la labor realizada ha sido la puesta en com un
de las investigaciones a traves de seminarios. Fue especialmente util la experiencia
en datos dependientes del profesor Shyamal Peddada del Biostatistics Branch del
National Institute of Environmental Health Sciences, USA.
Por otro lado, se han potenciado las colaboraciones con grupos en los ambitos
de aplicacion practica del proyecto, en una doble direccion, obteniendo casos reales
de aplicacion, a la vez que aportando soluciones a problemas de interes para ellos.
En ese sentido, mantenemos una uida relacion con el Sistema de Informacion
Turstica de Asturias, SITA, grupo multidisciplinar de la Universidad de Oviedo,
que canaliza sus investigaciones a traves de contratos de investigacion regionales.
Ls relacion se pone de maniesto en nuestras aportaciones en el ambito economico.
Beneciarios directos han sido la Consejera de Economa del Principado, el Ayun-
tamiento de Gijon o la Mancomunidad del Nalon.
Con el Instituto INDUROT de Recursos Naturales y Ordenacion del Territo-
rio, de la Universidad de Oviedo, se han establecido contactos puntuales, que han
repercutido en las aplicaciones a series termometricas y extincion de incendios.
Se ha producido tambien una intensa colaboracion con un grupo multidisciplinar
en violencia de genero que agrupa investigadores de la Universidad de Oviedo, y en el
que participa el Servicio de Salud del Principado de Asturias y el Instituto Asturiano
de la Mujer. El grupo trabaja a traves de proyectos de convocatoria p ublica del
Principado (FICYT), exigiendose la transferencia de resultados al sector productivo
(en la actualidad a la empresa Telecyl, de investigacion sociologica y de mercados).
78
Modelos estadsticos con efectos aleatorios no gaussianos
MTM2006-01477
Universidad Aut

onoma de Barcelona
Miembros del equipo
Badiella, Lloren c
Castillo, Joan
Daoudi, Jalila
Espinal, Anna
Puig, Pedro (IP)
Valero, Jordi
1. Introduccion
Los modelos con efectos aleatorios constituyen un tema clasico en Estadstica
que a un dista mucho de estar cerrado. Este tema aparece en la literatura especiali-
zada con m ultiples nombres: Modelos de componentes de la varianza, modelos con
medidas repetidas, modelos (lineales) mixtos, modelos longitudinales, modelos con
correlacion serial, modelos jerarquicos, etc. Podemos armar sin temor a equivocar-
nos que los modelos lineales con efectos aleatorios Gaussianos estan esencialmente
resueltos en la practica, principalmente analizados mediante el denominado modelo
marginal. As, por ejemplo, el procedimiento MIXED de SAS resolvera muchas de
las necesidades basicas. La situacion es distinta cuando la variable de interes no es
Gaussiana, donde en general no se dispone de una metodologa estandard ni de un
software comercial de uso generalizado. Los modelos estadsticos con efectos alea-
torios no gaussianos constituyen uno de los temas calientesdentro de las lneas de
investigacion de nuestra area de conocimiento. Este proyecto esta enfocado de cara
al desarrollo de este tipo de modelos estadsticos, aplicandolos a diversos ambitos
como los ensayos clnicos, analisis biomedicos, agricultura y nanzas. Un camino
previo a esta tarea es la b usqueda de nuevas distribuciones a traves de teoremas de
caracterizacion.
En este proyecto nos hemos concentrado en los siguientes objetivos basicos:
1. Desarrollo de modelos para datos de conteo adecuados para la Agricultura. La
idea es utilizar conceptos de perdida de informacionmediante el denominado
p-thinning, junto con ideas de aditividad a n de caracterizar las correspon-
dientes distribuciones.
2. Desarrollo de un algoritmo de estimacion de parametros para un modelo de
volatilidad estocastica, donde el logaritmo de la volatilidad sigue un proceso
de Levy autoregresivo. Este algoritmo se enfocara a traves de los metodos de
h-verosimilitud para modelos jerarquicos de Lee y Nelder.
79
3. Desarrollo de modelos de efectos aleatorios para datos de conteo adecuados
para la Agricultura y Ciencias de la Vida. Los analisis se realizaran utili-
zando datos reales provenientes de diversos grupos relacionados con el Servei
dEstadstica de la UAB.
4. Desarrollo de modelos estadsticos adecuados para cocientes de precios de ac-
ciones (returns) y tasas de cambio euro/dollar. Se utilizaran propiedades de
los returns como la invariancia bajo cambio de escala y la invariancia bajo
recprocos.
Tambien tenamos especicados en el proyecto dos objetivos secundarios: la con-
secucion de las tesis doctorales de dos de los miembros del grupo y la organizacion
del congreso internacional IWSM 2007.
La nanciacion recibida para este proyecto ha sido de 40317, 20 euros.
2. Principales Resultados y Difusion
Los objetivos se nalados en la seccion 1 se han materializado a traves de diversas
publicaciones y comunicaciones en congresos que se describiran mas adelante. Igual-
mente, la celebracion del IWSM 2007 organizado por nuestro equipo fue un rotundo
exito. Hay que se nalar tambien la nalizacion de las tesis doctorales de dos de los
miembros del grupo, Jordi Valero y Jalila Daoudi, cuyos ttulos respectivos son:
Caracterizaciones de distribuciones de recuento con aplicaciones (leda en Julio de
2007) y Nuevos modelos en el estudio de las colas en analisis nancieros (sera leda
en Julio de 2009).
Principales publicaciones de los miembros del grupo en el periodo
2007-2009 relacionadas con este proyecto. Al nal de cada referencia de
cada artculo aparece entre parentesis el Impact Factor (IF).
Calsamiglia, M., Segales, J., Fraile, L., Espinal, A., Cuxart, A., Semiati, C., Martin,
M., Mateu, E. and Domingo, M. (2007). Sow eect on litter mortality in a swine
system experiencing postweaning multisystemic wasting syndrome (PMWS).
Research in Veterinary Science, 82, p. 299304. (IF: 1.274)
Castillo, J. and Lee, Y. (2008). GLM-methods for volatility models. Statistical
Modelling, 8, p. 263283. (IF: 0.650)
Castillo, J. and Daoudi, J. (2009). Estimation of the generalized Pareto distribu-
tion. Statistics and Probability Letters, 79, 5, p. 684688. (IF: 0.328)
Castillo, J. and Daoudi, J. (2009). The Mixture of Left-Right Truncated Normal
distributions. Journal of Statistical Planning and Inference. To appear.(IF:
0.559)
Castillo, R., Valero, J., Casa nas, F., Costell, E. (2008). Training, validation and
maintenance of a panel to evaluate the texture of dry beans (Phaseolus vulgaris
L.). Journal of Sensory Studies, 23, p. 303319. (IF: 0.773)
80
Castillo, J., Espinal, A., Puig, P. (Editors) (2007). Proceedings of the 22nd Inter-
national Workshop on Statistical Modeling. Editorial: Institut dEstadstica de
Catalunya (IDESCAT). 610 pag. ISBN: 978-84-690-5943-2.
Florez, A; Pujol`a, M.; Valero, J., Centelles, E.; Almirall, A.; Casa nas, F. (2009).
Genetic and environmental eects on chemical composition related to sensory
traits in common beans (Phaseolus vulgaris L.) Food Chemistry, 113, 4, p.
950956 (IF: 3.052)
Martnez-Vilalta, J.; Lopez, B. C.; Adell, N.; Badiella, L.; Ninyerola, M. (2008).
Twentieth century increase of Scots pine radial growth in NE Spain shows
strong climate interactions. Global Change Biology, 14, p. 28682881. (IF:
4.786)
Mateu-Figueras, G., Puig, P. and Pewsey, A. (2007). Goodness-of-t Tests for the
Skew-normal Distribution when the Parameters are Estimated from the Data.
Communications in Statistics. Theory and Methods, 36, 9 (Special Issue on
Skew-elliptical Distributions and their Application), p. 1735-1755.(IF: 0.240)
Puig, P. and Valero, J. (2007). Characterization of count data distributions invol-
ving additivity and binomial subsampling. Bernoulli, 13, 2, p. 544555. (IF:
1.029)
Puig, P. (2008). A note on the harmonic law: A two-parameter family of distribu-
tions for ratios. Statistics and Probability Letters, 78, p. 320326. (IF: 0.328)
Sibila, M., Nofrares, M., Lopez-Soria, S., Segales, J., Valero, O., Espinal, A.,
Calsamilglia, M. (2007). Chronological study of Mycoplasma hyopneumoniae
infection, seroconversion and associated lung lesions in vaccinated and non-
vaccinated pigs. Veterinary Microbiology, 122, p. 97107. (IF: 2.010)
Principales comunicaciones de los miembros del grupo en congresos
internacionales, en el periodo 2007-2009, relacionadas con este proyecto.
Puig, P., Adell, N., Rojas-Olivares, Caja, G., Carne, S. and Salama, A.A.K.
Statistical models for retinal image matching
Congreso: 24th International Workshop on Statistical Modelling. Ithaca (USA).
A no: 2009 (en Julio).
A. Espinal ; P.Puig.
On parsimonious higher-order binary Markov chain models.
Congreso: 23th International Workshop on Statistical Modelling. Utrecht (Ho-
landa). A no: 2008
Valero, O., Espinal, A., Puig, P.
Analysis of labor spells in Social Security contributors.
Congreso: 23th International Workshop on Statistical Modelling. Utrecht (Ho-
landa). A no:2008
81
Joan del Castillo
Estimation of Stochastic Volatility Models Using H-likelihood.
Congreso: 4th World Conference of the International Association on Statistical
Computing. Yokohama (Japon). A no: 2008
Joan del Castillo
GLM-methods for volatility models.
Congreso: Bachelier Congress. London (Inglaterra). A no: 2008
Valero, O., Espinal, A., Jaramillo, D., Trujillo, A.
Study of ewes milk composition using a combination of multivariate techni-
ques and linear mixed models with random eects.
Congreso: 22th International Workshop on Statistical Modelling (IWSM 2007).
Barcelona. A no: 2007.
3. Colaboraciones internacionales
Existen varios grupos en todo el mundo que trabajan en modelizacion estadstica
en general y en modelos estadsticos con efectos aleatorios en particular, teniendo
muchos de ellos como nexo com un el International Workshop on Statistical Modelling
que se celebra cada a no desde hace 23 en diferentes lugares del mundo. Nuestro grupo
fue el encargado de organizar la edicion de 2007 celebrada en Barcelona. En este
sentido, P. Puig, el IP de este proyecto, es tambien miembro electo del Executive
Committee de la Statistical Modelling Society.
A nivel de formacion mantenemos una relacion frecuente con G. Molensberghs y
G. Verbeke, dos conocidos especialistas internacionales en analisis de datos longitu-
dinales, quienes ya impartieron en nuestra universidad, en Junio de 2005, el curso
Longitudinal Data, Mixed models and Incomplete Data
2
en Julio de 2007 el curso
Models for repeated discrete data.
A nivel de investigaci on tenemos una estrecha relacion con el profesor Youngjo
Lee (Department of Statistics, College of Natural Sciences, Seoul National Univer-
sity, Korea) el cual, juntamente con Nelder, es el padre de los modelos lineales
generalizados jerarquicos. El profesor Lee impartio en junio de 2006 en nuestra uni-
versidad el curso Modelos lineales generalizados con efectos aleatorios, es coautor
junto con Joan del Castillo de uno de los artculos referenciados anteriormente y
colabora habitualmente con el. Tambien hay que destacar la relacion con el grupo
de la Simon Fraser University que trabaja en Goodness of Fit Tests. Estas colabora-
ciones fueron iniciadas durante la estancia de P. Puig en dicha universidad en 1998 y
materializada a traves de tres artculos conjuntos con el profesor Michael Stephens.
El pasado mas de marzo, Richard Lockhart fue invitado por nosotros por una corta
estancia de investigaci on en la que se inicio la colaboracion en relacion a algunos
de los objetivos previstos en el proximo proyecto (convocatoria de 2009), que son
en concreto los tests de exponencialidad contra alternativas con colas pesadas y los
tests de aleatoriedad especcos para los Quantum Random Number Generators.
82
Redes funcionales, neuronales y probabilsticas y metodos
bayesianos espacio-temporales para problemas de clasicacion
y prediccion. Aspectos teoricos y aplicaciones
MTM2006-15671
Universidad de Zaragoza
Miembros del equipo
Mara Asuncion Beamonte San Agustn
Pilar Gargallo Valero
Beatriz Lacruz Casaucau (IP)
David Lahoz Arnedo
Rosa Eva Pruneda Gonzalez
Cristina Solares Martnez
1. Introduccion y objetivos
Este proyecto es continuaci on del BFM2003-05695 y su objetivo principal es me-
jorar las tecnicas de clasicacion y prediccion existentes tanto desde el punto de vista
teorico, proponiendo nuevos modelos y estudiando sus propiedades probabilsticas,
como desde el punto de vista practico, aplicando los modelos obtenidos a conjuntos
de datos y situaciones reales.
El proyecto se desarrolla siguiendo cuatro lneas. La lnea 1 trabaja con modelos
de redes funcionales, la lnea 2 esta dedicada al aprendizaje de redes neuronales
mediante algoritmos evolutivos multiobjetivo y su aplicacion a la prediccion de la
velocidad y direccion del viento en parques eolicos, en la lnea 3 se dise nan modelos
bayesianos espacio-temporales para el analisis del mercado inmobiliario espa nol, y en
la lnea 4 se trabaja con redes probabilsticas para la clasicacion digital de imagenes
del terreno procedentes de sensores remotos.
La nanciacion recibida ha sido de 25.894,00 euros.
2. Logros alcanzados
2.1. Lnea 1: Redes funcionales
Los objetivos concretos de esta lnea comprenden el estudio de las propiedades
de los modelos de regresion y clasicacion basados en redes funcionales. Las respon-
sables de esta lnea son Beatriz Lacruz y Rosa Eva Pruneda y han colaborado los
profesores Ali S. Hadi de la Universidad Americana del Cairo y Ana Perez-Palomares
del departamento de Metodos Estadsticos de la Universidad de Zaragoza. Se han
cumplido todos los objetivos propuestos excepto los correspondientes a las tecnicas
de clasicacion que se desarrollaron dentro del proyecto anterior y se ha abierto una
nueva lnea de investigacion.
83
Se han adaptado los modelos de redes funcionales aditivo y separable para rela-
ciones no lineales del tipo f(Y ) = h(X
1
, . . . , X
k
) + , obteniendo una nueva herra-
mienta automatica que permite determinar la contribucion lineal o no lineal de cada
variable en el modelo, es computacionalmente rapida y proporciona buenas aproxi-
maciones. Una parte de este trabajo fue comunicacion invitada en el World Congress
on Engineering en julio de 2007 y los resultados se han publicado en Computational
Statistics and Data Analysis y Lecture Notes in Engineering and Computer Science.
Como aplicacion de estos resultados se ha obtenido un modelo de red funcional para
problemas de regresion lineal y no lineal con heteroscedasticidad que proporciona un
nuevo metodo que permite relajar la hipotesis de que la varianza tenga una forma
conocida y proporciona estimaciones mas ecientes en situaciones de heteroscedas-
ticidad severa. El desarrollo de este trabajo se ha presentado en tres congresos y
se esta terminando un artculo que se enviara para su posible publicacion en las
proximas semanas.
El estudio de los modelos de regresion ha supuesto la apertura de una nueva lnea
basada en el metodo de proyecci on ortogonal completa con el que se ha desarrollado
un nuevo metodo para el calculo de la inversa generalizada que permite obtener
simultaneamente la submatriz de rango maximo de la matriz dada, la inversa de
dicha submatriz, y los coecientes de las combinaciones lineales presentes entre sus
las. Se ha comparado su eciencia computacional con otros metodos de proyecci on y
se ha aplicado a la deteccion de problemas de colinearidad en problemas de regresion
lineal. Los resultados se han publicado en el libro Advances in Mathematical and
Statistical Modeling, se ha enviado un trabajo a Linear Algebra and its Applications
y hay otro en preparacion. Ademas se han presentado comunicaciones relacionadas
en cinco congresos. Esta teora se ha aplicado asimismo a problemas de estimacion
de estado en sistemas de potencia y clasicacion de medidas en colaboracion con
Antonio Conejo de la Universidad de Castilla-La Mancha y Enrique Castillo de la
Universidad de Cantabria, dando lugar a cinco artculos.
2.2. Lnea 2: Redes neuronales
Los objetivos concretos de esta lnea consisten en desarrollar algoritmos evo-
lutivos multiobjetivo para el aprendizaje de redes neuronales para problemas de
clasicacion con objeto de obtener buenos metodos de prediccion eolica. El respon-
sable de esta lnea es David Lahoz que ha desarrollado este trabajo en colaboracion
con Pedro Mateo del departamento de Metodos Estadsticos de la Universidad de
Zaragoza, cumpliendo todos los objetivos planteados. Se ha propuesto un nuevo
metodo de aprendizaje de redes neuronales de tipo perceptron multicapa para cla-
sicacion supervisada basado en la division del conjunto de aprendizaje en varios
subconjuntos y la aplicacion de un algoritmo evolutivo multiobjetivo para encontrar
el mejor modelo combinando los mejores submodelos obtenidos con cada subconjun-
to de datos. Ademas, se han incorporado tecnicas de regresion lineal al aprendizaje
que combinadas con un algoritmo evolutivo multiobjetivo permiten determinar el
n umero de nodos ocultos y el menor error de ajuste. Las tecnicas propuestas se han
aplicado a la construccion de un modelo de prediccion de la direccion y la veloci-
84
dad del viento. Los resultados han sido publicados en Monografas del Seminario
Matematico Garca de Galdeano y Lecture Notes in Computer Science y han sido
presentados en cinco congresos.
2.3. Lnea 3: Modelos bayesianos espacio-temporales
Los objetivos concretos de esta lnea es desarrollo de una metodologa estadstico-
informatica que permita analizar los datos de precios de la vivienda con el n de
construir un modelo espacio-temporal con metodologa bayesiana. Los objetivos de
esta lnea se han cumplido en su totalidad y han dado lugar a la tesis doctoral de una
de sus responsables, Mara Asuncion Beamonte (julio de 2008), que ha desarrollado
el trabajo en colaboracion con Pilar Gargallo (miembro de este equipo) y el profesor
Manuel Salvador del departamento de Estructura e Historia Economica y Economa
Publica la Universidad de Zaragoza. Se ha trabajado en el desarrollo de modelos
espacio-temporales autoregresivos con efectos de vecindad, para la modelizacion y
prediccion de precio de vivienda en Zaragoza. Los resultados se han publicado en
Statistical Modelling y Revista de Estadstica Espa nola. Hay un trabajo en periodo
de revision en Journal of Geographical Systems y tres mas en preparacion. Ademas
se han presentado en trece congresos.
2.4. Lnea 4: Redes probabilsticas
Los objetivos de esta lnea son el estudio de los modelos de redes bayesianas y
su aplicacion a datos reales. La responsable de esta lnea es Cristina Solares que
ha trabajado en colaboracion con la profesora Ana Mara Sanz del departamento
de Ingeniera Geologica y Minera de la Universidad de Castilla-La Mancha. Se ha
estudiado la aplicacion de diferentes modelos de redes Bayesianas para la clasica-
cion de imagenes procedentes de sensores remotos, considerando conjuntos de datos
multiespectrales e hiperespectrales. El trabajo ha sido publicado en Lecture Notes
in Computer Science y ha sido presentado en un congreso.
3. Difusion
Se ha colaborado con una Unidad de Tabaquismo desarrollando modelos de clasi-
cacion y prediccion con objeto de mejorar sus estrategias terapeuticas. Este trabajo
ha dado lugar a 4 artculos y 12 comunicaciones en congresos. Por otra parte, la O-
cina Regional del Catastro ha mostrado su interes en los modelos aplicados a la
prediccion del precio de la vivienda para la imputacion de valor a bienes inmuebles
y se ha establecido la colaboracion con la Fundacion CIRCE. Asimismo se ha cola-
borado con la Fundacion MAPFRE, la Fundacion Economa Aragonesa, el Colegio
de Registradores de la Propiedad, Mercantiles y Bienes Muebles, las empresas Pi-
koln, NFC y Sue no, Vodafone, MercaZaragoza, Product Sensory Consulting Group
y Arstic Audiovisual Solutions en varios contratos OTRI de asesora y formacion.
La principal difusion de los resultados se ha realizado a traves de su presenta-
cion en congresos tanto nacionales como internacionales (42 comunicaciones) y su
85
publicacion en revistas (23 artculos, 11 de ellos en el JCR) y libros de prestigio
internacional. Ademas, el grupo dispone de una pagina web propia.
En cuanto a las acciones de formacion el proyecto ha dado lugar a la tesis doctoral
de Mara Asuncion Beamonte que fue defendida en julio de 2008 y esta en periodo
de realizacion la tesis de David Lahoz. Ademas, las tecnicas que se desarrollan
se imparten dentro del programa de la asignatura Minera de Datos en el Master
Interuniversitario en Modelizacion Matematica, Estadstica y Computacion de la
que es profesora Beatriz Lacruz.
4. Colaboracion con otros equipos y programas
nacionales, europeos o internacionales
Ademas de las colaboraciones con los investigadores mencionados en cada una
de las lneas, este grupo forma parte de iMath Consolider, siendo miembros activos
de la plataforma iMath Consulting. Tambien ha sido miembro de la Red tematica de
Redes Probabilsticas durante 2008.
Los miembros de la Universidad de Zaragoza forman parte del grupo consolida-
do reconocido por el Gobierno de Aragon Modelos Estoc asticos, a traves del que se
fraguado la colaboracion con Ana Perez-Palomares, y han participado en tres pro-
yectos nanciados por la Comision de Trabajo de los Pirineos, Gobierno de Aragon y
Fondos Estructurales de la UE, en los que participan las Universidades de Zaragoza,
P ublica de Navarra, Pau et des Pays de lAdour y Toulouse, que han dado lugar
a la colaboracion con profesores de la Universidad P ublica de Navarra. Ademas,
forman parte del Comite Organizador de The Pyrenees International Workshop on
Statistics, Probability and Operations Research (2007 y 2009), siendo Beatriz Lacruz
coeditora de una seleccion de los trabajos publicados por el Seminario Garca de
Galdeano. Beatriz Lacruz ha sido asimismo miembro del Program Committee del
20th IEEE International Conference on Tools with Articial Intelligence en 2008 y
Rosa Eva Pruneda miembro del Program Committee del World Congress on Engi-
neering en 2007, 2008 y 2009.
La colaboracion de Mara Asuncion Beamonte y Pilar Gargallo con el profesor
Alan E. Gelfand de la Universidad de Duke (Durham, NC, EEUU) y Pilar Alon-
so, geografa de la Universidad de Lleida, ha dado lugar a la publicacion del libro
Mercados Locales de Trabajo en Aragon.
5. Proyecto 2009
Nos proponemos continuar con el trabajo en esta misma lnea en colaboracion
con dos investigadores mas de la Universidad de Zaragoza y cinco de la Universidad
P ublica de Navarra que aportaran su experiencia en temas de simulacion y optimi-
zacion con simulacion. En esta peticion se cuenta con dos EPOs: las empresas de
energas renovables CENER y CIRCE. Asimismo se continuara la colaboracion con
la Unidad de Tabaquismo.
86
Analisis de datos complejos: Metodos parametricos,
no parametricos y basados en distancias
MTM2006-09920
Universitat Polit
`
ecnica de Catalunya
Miembros del equipo
Delicado Useros, Pedro (UPC) (IP)
Ginebra Molins, Josep (UPC), Perez Casany, Marta (UPC)
Riba Civil, Alexandre (UPC), Comas, Rodrguez Carlos (UPC)
Puig Oriol, Xavier (UPC), Rodero Del Amo, Lourdes (UPC)
Giraldo Henao, Ramon (UPC), Broner, Sonia (UPC)
Smrekar, Marcelo (UPC), Hernandez Estrada, Adolfo (UCM)
Grane Chavez, Aurea (U. Carlos III), Fortiana Gregori, Josep (UB)
Claramunt Bielsa, M. Merc`e (UB), Boj Del Val, Eva (UB)
Gonzalez Davila, Enrique (U. La Laguna), Dorta Guerra, Roberto (U. La Laguna)
1. Introduccion
El proyecto toma como punto de partida el Analisis de Datos Multivariante, y
se centra en al estudio de datos que presentan una especial complejidad, entendien-
do por tales, aquellos para los cuales los metodos multivariantes clasicos no son
aplicables o resultan inadecuados por su poca capacidad descriptiva o predictiva.
Ejemplos de datos complejos a considerar son los datos funcionales, los datos re-
cogidos en forma de matriz de distancias, los datos multivariantes no normales y
los datos textuales. El objetivo principal del proyecto es aportar soluciones a los
problemas mas comunes de analisis multivariante que sean validas para estos tipos
de datos complejos, estudiar sus propiedades teoricas y utilizar dichas soluciones
en aplicaciones relevantes. Entre los problemas a estudiar se incluye la reduccion
de la dimensionalidad, el analisis discriminante, la clasicacion no supervisada, la
regresion y la cuanticacion de la relacion entre grupos de variables.
El equipo investigador constaba de 13 investigadores (11,5 EDP) en el momen-
to de realizar la solicitud. Con posterioridad se han incorporado 4 investigadores
mas.

Estos pertenecen a 5 universidades: Universitat Polit`ecnica de Catalunya (10),
Universitat de Barcelona (3), Universidad de La Laguna (2), Universidad Carlos III
de Madrid (1) y Universidad Complutense de Madrid (1). La nanciacion recibida
por el proyecto fue de 89.250 euros. A lo largo del desarrollo de este proyecto se ha
construido una pagina web (http://www-eio.upc.es/research/cda/) en la que
se reeja la actividad del equipo de investigacion. En ella pueden consultarse las
publicaciones que se mencionan en este documento.
2. Principales logros obtenidos
A continuaci on se enumeran los objetivos concretos que se persiguen en el pro-
yecto. Se especica su grado de consecucion y los principales logros obtenidos.
1. Proponer, estudiar y aplicar generalizaciones no lineales no parametricas del
An alisis de Correlaciones Canonicas. Se ha propuesto una medida de relacion no li-
87
ne-al entre dos variables aleatorias basada en la estimacion de curvas principales. Ello
ha dado lugar a la publicacion de un artculo (Delicado & Smrekar 2009, Statistics
& Computing). Por motivos personales el doctorando M. Smrekar tuvo que volver
a Argentina de forma denitiva antes de concluir su tesis. Esto ha hecho que la
consecucion de este objetivo se haya visto ralentizada.
2. Establecer un procedimiento automatico de preprocesado ISOMAP de una ma-
triz de distancias. En esta tarea trabajan P. Delicado y A. Hernandez. Ya han
presentado una comunicacion en un congreso y es previsible que en los proximos
meses concluyan un artculo para enviar a publicar.
3. Utilizacion de metodos de predicci on basados en distancias en el An alisis de
Datos Funcionales. Este es uno de los objetivos donde mas se ha avanzado. Por
una parte P. Delicado ha publicado un artculo sobre el contraste de hipotesis de la
igualdad de distribucion en k muestras de datos funcionales (Delicado 2007, Comput.
Stats.). Se centra en el caso de que los datos sean funciones de densidad, pero el
metodo propuesto (que se basa en la matriz de distancias entre observaciones) es
extensible a otros tipos de funciones. Ademas, E. Boj, P. Delicado y J. Fortiana
han propuesto un estimador no parametrico de la regresion cuando la respuesta es
escalar y los predictores son funcionales. El metodo se basa en la regresion lineal
local basada en distancias entre funciones. En estos momentos el trabajo ha sido
enviado a publicar. De forma paralela, A. Grane (en colaboracion con A. Ballo,
UAM) ha trabajado en el mismo problema proponiendo estimadores alternativos
(Ballo y Grane, 2009, J. Multivaraite Analysis). Por ultimo, E. Boj, P. Delicado
y J. Fortiana (en colaboracion con A. Esteve, ICO) estan trabajando en modelos
lineales generalizados basados en distancias, que seran aplicables al caso de respuesta
real generica (binaria, ordinal, etc.) y predictores funcionales.
4. Extender al analisis discriminante basado en distancias los estadsticos y la
estrategia de selecci on de variables para el caso de la regresion. En este problema
trabajan E. Boj, J. Fortiana i M. Claramunt (en colaboracion con A. Esteve, ICO).
Recientemente han presentado una comunicacion en un congreso. Es de esperar que
esta sea el germen de un artculo. En esta lnea esta tambien el trabajo de E. Boj,
M. Claramunt, A. Grane y J. Fortiana (2009, Journal of Statistical Planning &
Inference) sobre el termino del error de proyecci on en la interpolacion de Gower,
que es un paso necesario en los metodos basados en distancias.
5. Dise nar algoritmos especcos para tratar grandes bases de datos mediante
metodos basados en distancias. Este objetivo queda consolidado con el artculo Boj,
E., Grane, A., Fortiana, J., Claramunt, M. M. (2007, Comput. Stats.). Aqu se pro-
ponen algoritmos para tratar grandes bases de datos mediante metodos de prediccion
basados en distancias. Aunque la implementacion concreta se hace para el problema
de regresion PLS, las ideas son extensibles a otros contextos.
6. Implementar modelos lineales jerarquicos para respuestas politomicas y para
respuestas enteras no-negativas (y aplicarlos en estilometra). En este objetivo se
enmarcan las tesis de X. Puig y L. Rodero, que dirige J. Ginebra. Ambos esperan
defenderlas a nales de 2009. En los trabajos relacionados con estilometra colabora
A. Riba. Por su parte M. Perez tambien ha colaborado Con X. Puig y J. Ginebra.
88
7. Resolver problemas especcos de la recogida de datos con respuestas discretas.
Este objetivo se da por consolidado con los artculos publicados por J. Ginebra y E.
Gonzalez y R. Dorta (CSDA 2007, 2008; Model Assisted Stats. & Appl. 2007; J. of
Appl. Stats. 2008).
8. Implementar la utilizacion de distribuciones discretas ponderadas en modelos
con covariantes para solventar el problema de la sobredispersi on. En este objetivo
colaboran M. Perez y E. Boj. Han presentado varias comunicaciones en congresos y
han elaborado un manuscrito que esta practicamente listo para enviar a publicar.
9. Cuanticar y describir la relaci on no lineal existente entre el comportamiento
electoral y las caractersticas sociodemogracas. En esta lnea se inscribe la tesis que
realiza S. Broner bajo la direccion de P. Delicado (lectura prevista a nales de 2009).
En esta tesis se esta considerando la dependencia espacial en los datos electorales a
nivel de seccion censal. Este tratamiento no estaba contemplado en el planteamiento
original pero se ha visto la necesidad de incorporarlo en nuestro trabajo.
Se nalemos por ultimo que la inclusion de nuevos miembros en el equipo inves-
tigador ha hecho que nuestros objetivos se ampliasen. En concreto, R. Giraldo ha
realizado su tesis (que espera defender en junio de 2009) bajo la direccion de P.
Delicado y J. Mateu (U. Jaume I de Castellon) en el tema de geoestadstica para
datos funcionales. Por su parte, C. Comas (que se ha incorporado a la UPC con un
contrato Beatriu de Pinos) aporta su conocimiento sobre procesos puntuales. Esto
nos ha hecho plantearnos el estudio de procesos puntuales marcados con funciones.
Hay un documento que se enviar a proximamente a publicar sobre este tema.
3. Difusion de los resultados
Desde 2006 el equipo investigador ha publicado 35 artculos en revistas inter-
nacionales indexadas en el Journal of Citations Report (JCR). De ellos, 25 estan
en revistas del area de Stats. & Prob., con el siguiente reparto entre cuartiles den-
tro de este area (que en 2007 constaba de 91 revistas). En el primer cuartil hay 2
artculos (ambos en Multivariate Behavioural Research, IF 1, 619, 14 de 91). En el
segundo cuartil hemos publicado 12 artculos (1 en Biometrika, 2 en Statistics &
Computing, 5 en CSDA, 1 en J. of Agricultural, Biological, & Environmental Stats.
y 3 en Stochastic Environmental Research & Risk Assessment). Tenemos 3 artculos
en el tercer cuartil (en revistas bien consideradas dentro del area: J. of Multivariate
Analysis, J. of Stat. Planning & Inference y Metrika) y 8 en el cuarto cuartil. Cabe
mencionar tambien el artculo de Ginebra, J. (2007) On the measure of the informa-
tion in a statistical experiment, Bayesian Analysis, 2, 167-212. La revista es nueva y
no esta incluida a un en el JCR, pero el autor (y el grupo en su conjunto) considera
este artculo como el mas relevante de su carrera.
Fuera del area de Stats. & Prob. hemos publicado en areas anes con resultados
notables: 1 artculo en el primer cuartil del area Comput. Science, Theory & Methods
(IF 1, 500) y otro en el primer cuartil de Oper. Research & Management Sciences
(IF 1,096). Tambien hemos publicado 1 artculo en revistas del segundo cuartil de
las areas Business & Finance y Comput. Science, Interdisciplinary Applications.
89
Aparte de los artculos publicados en revistas internacionales, tambien se han
publicado 10 artculos en revistas nacionales o como captulos de libro, y otros 14
han aparecido en los libros de procedings de congresos internacionales con proceso
de revision. A esto hay que a nadir la publicacion de un libro: Ballo, A. y Grane,
A. (2007) 100 Problemas resueltos de Estadstica Multivariante (implementados en
Matlab). Delta Publicaciones. ISBN: 978-84-96477-73-8.
En cuanto a formacion de recursos humanos, desde 2006 en el grupo se han di-
rigido las siguientes tesis doctorales. Pedro Delicado ha dirigido una tesis doctoral
(J.R. Gonzalez, 2006, codirigida con Edsel Pe na, USA). En este momento esta diri-
giendo tres tesis doctorales (previsiblemente R. Giraldo defendera en junio de 2009,
Sonia Broner en diciembre de 2009, al igual que M. Smrekar). Josep Ginebra ha
dirigido 2 tesis doctorales (R. Dorta 2006, codirigida con E. Gonzalez Davila, y A.
de Zan, 2006) durante los ultimos cuatro a nos y ha tutorizado una tercera (J.M.
Martnez 2006). En estos momentos esta dirigiendo 3 tesis doctorales (X. Puig y L.
Rodero, que previsiblemente leeran a nales de 2009, y M. Font, que se encuentra
en una fase menos avanzada). Marta Perez-Casany ha codirigido una tesis doctoral
(V. Muntes Mulero, 2007). Josep Fortiana en estos momentos esta dirigiendo dos
tesis doctorales que se leeran previsiblemente durante 2010.
4. Colaboracion con otros equipos
A. Grane colabora de forma habitual con Amparo Ballo (que es miembro de
los equipos de investigacion Modelizacion Matematica y Simulacion Numerica en
Ciencia y Tecnologa (SIMUMAT), de la Comunidad de Madrid, y del MTM2004-
00098) y con Helena Veiga (que esta en el proyecto SEJ2006-03919 del Ministerio
de Educacion y Ciencia). M. Perez colabora con el equipo de investigacion dirigido
por J. L. Larriba, en el campo de la arquitectura de computadores.
5. Proyecto presentado en la convocatoria 2009
Se ha presentado el proyecto titulado An alisis de datos complejos, que es la con-
tinuacion natural del proyecto en curso. El equipo investigador actual se mantiene
(salvo dos bajas: A. Hernandez y M. Smrekar) y se ampla en 6 personas. El grupo
de la U. de La Laguna pide un proyecto coordinado con el grupo liderado desde
la UPC. Se hace mas enfasis en el analisis de datos funcionales, de datos recogidos
en forma de matriz de distancias, de datos con dependencia espacial y/o temporal,
de conteos de frecuencias, de datos longitudinales y de datos geneticos. Se abor-
daran problemas que abarcan todo el espectro del analisis estadstico incluyendo
problemas relacionados con la obtencion de datos, problemas de fundamentos de
estadstica, problemas de estimacion, problemas de validacion de modelos, proble-
ma de prediccion, problemas de clasicacion no supervisada y de reduccion de la
dimensionalidad, y problemas de presentacion de los resultados de analisis Baye-
sianos. Todo ello sera ilustrado con aplicaciones en biomedicina, ciencias sociales,
ecologa, economa, estadstica ocial y estilometra.
90
Polticas de Mantenimiento Basadas en Reparaciones Pospuestas
MTM2006-01973
Universidad de Extremadura
Miembros del equipo
Inmaculada Torres Castro (IP)
Eva Teresa Lopez Sanjuan
1. Introduccion
1.1. Tematica del proyecto
El estudio de polticas o estrategias de mantenimiento para sistemas es un te-
ma de gran interes que se ha convertido en imprescindible en abilidad debido al
crecimiento en la complejidad de los sistemas que se encuentran en la practica. Por
poltica o estrategia de mantenimiento entendemos un conjunto de acciones (ins-
pecciones, reparaciones, reemplazamientos, etc..) dise nadas para establecer el meca-
nismo de funcionamiento del sistema. Generalmente, el analisis de una poltica de
mantenimiento consiste en establecer un modelo que describe el funcionamiento del
sistema y que incluye tanto costes como benecios con el objetivo de obtener un
equilibrio optimo entre ambos.
La mayor parte de las estrategias de mantenimiento que se encuentran en la
literatura se sustentan sobre la hipotesis de que los mecanismos de reparacion se en-
cuentran siempre disponibles. Sin embargo, en la practica, podra suceder que estos
mecanismos de reparacion no siempre estuvieran accesibles debido principalmente
a cuestiones tecnicas y de coste, ya que una accesibilidad instant anea de la repa-
racion originara un alto coste que no se reeja en las polticas de mantenimiento
existentes en la literatura. Estas cuestiones motivaron la introduccion por parte del
equipo integrante de este proyecto de diversas estrategias de mantenimiento que
consideraran la posibilidad de que los mecanismos de reparacion no se encontraran
siempre disponibles. En base al instante de no disponibilidad de los mecanismos de
reparacion, en este proyecto se consideraron dos tipos diferentes de estrategias
Estrategias de mantenimiento Tipo I. No disponibilidad de los mecanismos de
reparacion a partir de un instante de tiempo determinado.
Estrategias de mantenimiento Tipo II. No disponibilidad de los mecanismos
de reparacion despues de completar un n umero determinado de reparaciones.
1.2. Objetivos globales y parciales del proyecto
El objetivo general del proyecto consiste en el analisis y desarrollo de diversas
estrategias de mantenimiento cuya caracterstica principal es que los mecanismos de
reparacion no se encuentran siempre disponibles. Para lograr este objetivo global se
plantearon la siguiente secuencia de objetivos parciales.
91
1. Introduccion. Establecer la losofa de la estrategia de mantenimiento y las
hipotesis sobre las que sustenta analizando las ventajas e inconvenientes del
uso de la misma.
2. Modelacion estocastica. Identicar el proceso estocastico que describe el com-
portamiento del sistema obteniendo ciertas medidas de abilidad del mismo.
3. Estrategias de mantenimiento optimas. Analisis de estrategias que maximicen
la ganancia esperada bajo una estructura de costes/benecios.
4. Comparacion. Comparacion de estas estrategias de mantenimiento con otras
existentes en la literatura
1.3. Financiacion del proyecto
El plazo de ejecucion de este proyecto es del 1/10/2006 al 30/09/2009 con una
nanciacion total de 12100 euros costes indirectos incluidos.
2. Principales logros obtenidos
El analisis de estas estrategias de mantenimiento se encuentra ntimamente li-
gado a la distribucion de probabilidad seleccionada para modelar los tiempos de
operatividad y de reparacion del sistema. En una primera fase de desarrollo del pro-
yecto, la distribucion utilizada fue la distribucion exponencial. Posteriormente, se
extendio este analisis al caso en el que las distribuciones del proceso fueran de tipo
general.
Actividad 1. Analisis de la estrategia tipo I con tiempos de operatividad y
reparacion exponenciales.
Hitos alcanzados: Establecer las hipotesis de partida, modelacion es-
tocastica, analisis de estrategias de mantenimiento optimas.
Originalidad de los resultados. No se han encontrado en la bibliografa
referencias similares a los hitos alcanzados en esta actividad.
Actividad 2. Analisis de la estrategia tipo II con tiempos de operatividad y
reparacion exponenciales.
Hitos alcanzados: Establecer las hipotesis de la estrategia, modelacion
estocastica, analisis de las estrategias de mantenimiento optimas.
Originalidad de los resultados. No se han encontrado en la bibliografa
referencias similares a los hitos alcanzados en esta actividad
Actividad 3. Analisis de la estrategia tipo I con tiempos de operatividad y
reparacion de tipo general
92
Hitos alcanzados: Establecer las hipotesis de la estrategia, modelacion
estocastica, analisis de las estrategias de mantenimiento optimas
Originalidad de los resultados. No se han encontrado en la bibliografa
referencias similares a los hitos alcanzados en esta actividad
Actividad 4. Analisis de la estrategia tipo II con tiempos de operatividad y
reparacion de tipo general (en curso)
2.1. Plan de difusion
Los resultados relativos a cada una de las actividades mencionadas anteriormente
fueron difundidos en las siguientes revistas de impacto y presentados en diversos
reuniones de caracter cientco
1. Castro, I.T., Sanjuan, E.L. (2007) The type I delayed repair policy, Asia-
Pacic Journal of Operational Research
1
, vol. 24, 5781.
2. Castro I.T., Sanjuan E.L. (2007) A repair policy for systems with a limi-
ted number of repairs, Proceedings of the 56th Session of the Internacional
Statistics Institute, Lisboa 2007.
3. Castro, I.T., Sanjuan, E.L. (2008) An optimal repair policy for systems with
a limited number of repairs, European Journal of Operational Research
2
, 187,
8497.
4. Castro I.T., Sanjuan E.L. (2008) Optimal maintenance policies for repairable
systems with repair facilities not always available Proceedings of the Safety
and Reliability Conference, Stanvager (Noruega) 2007.
5. Castro I.T., Sanjuan E.L. (2008) An optimal maintenance policy for repaira-
ble systems with delayed repairs Operations Research Letters
3
, vol. 36, 561
564.
6. Castro I.T. (2009) A model of imperfect preventive maintenance with de-
pendent failure modes, European Journal of Operational Research, vol. 196,
261267.
junto con los trabajos 7, 8, 9, 10 que se detallaran en la seccion 2.2.
2.2. Integracion y colaboracion con grupos de investigacion
internacionales
En el tiempo de desarrollo de este proyecto, el IP del mismo realizo dos estan-
cias de investigacion. La primera de ellas se realizo en la Universidad de Stavanger
1
Categora Operations Research & Management Science, factor de impacto 0.258 (2007).
2
Categora Operations Research & Management Science, factor de impacto 1.096 (2007).
3
Categora Operations Research & Management Science, factor de impacto 0.517 (2007).
93
(Stavanger, Noruega) durante los meses de Noviembre 2006 y Enero de 2007, bajo la
supervision del Professor Terje Aven. El tema principal que se trato en esta colabo-
racion fue el analisis de estrategias de mantenimiento en sistemas con restricciones
de seguridad. La segunda estancia se se llevo a cabo en la Universidad Tecnologica de
Troyes (Troyes, Francia) bajo la supervision del Professor Christophe Berenguer en
Noviembre de 2007 y en dicha estancia se analizaron diversas estrategias de mante-
nimiento bajo entornos dinamicos. Los resultados obtenidos, hasta el momento, de
dichas colaboraciones son los siguientes
7. Terje Aven, Castro I.T. (2008) A minimal repair replacement model with
two types of failure and a safety constraint European Journal of Operational
Research
4
, vol. 188, 506515.
8. Terje Aven, Castro I.T. (2009) A delay time model with safety constraint
Reliability Engineering and System Safety Journal
5
, vol. 94, 261267.
9. Castro I.T., Barros A., Grall A. (2009) A maintenance policy for passive
components submitted to stress corrosion cracking, Safety and Reliability
Conference Esrel 2009, Praga (Rep ublica Checa)
10. Huynh K.T., Barros A., Berenguer C., Castro I.T. (2009) Value of condition
monitoring for a single-unit system subject to competing failures modes due to
wear and traumatic events Mathematical Methods in Reliability MMR2009,
Mosc u (Rusia).
El IP de este proyecto forma parte de un proyecto de investigacion denominado
Mod`eles de abilite bases sur la deterioration et application en maintenance en
la Universidad Tecnologica de Troyes (Troyes, Francia) liderado por los catedraticos
Christophe Berenguer y Antoine Grall.
Ademas, los dos componentes de este proyecto pertenecen al grupo de trabajo
internacional Maintenance Modelling PG (Maintenance Modelling Project Group)
perteneciente a la organizacion ESReDA/ESRA European Safety, Reliability and
Data Association (http://www.esreda.org/) que actualmente se encuentran inmersos
en la redaccion del libro Maintenance Modelling and Applications.
3. Proyecto 2009
En la Convocatoria del a no 2009 se ha solicitado un proyecto en continuacion
con la investigacion iniciada en Francia y que lleva por ttulo Estrategias de mante-
nimiento para sistemas en funcionamiento bajo entornos dinamicos. Para validar
y aplicar los resultados de este futuro proyecto, se contar a con la supervision y el
asesoramiento de una empresa lder en Ingeniera y Construccion para el Desarrollo
Sostenible como es ABENER y que participa como EPO de este proyecto.
4
Categora Operations Research & Management Science, factor de impacto 1.096 (2007).
5
Categora Operations Research & Management Science, factor de impacto 1.004 (2007).
94
Algoritmos precisos y estables en

Algebra Lineal Numerica
MTM2006-06671
Universidad Carlos III de Madrid
Miembros del equipo
Javier Alcantara Ortega
Mara Isabel Bueno Cachadi na
Johan Armando Ceballos Ca n on (Alta 1-6-2008)
Froilan Martnez Dopico (IP)
Juan Manuel Molera Molera
Mara del Pilar Veiga Veiga
1. Introduccion
Clasicamente, el

Algebra Lineal Numerica (ALN) es una disciplina que desarrolla
algoritmos ecientes y estables para resolver sistemas de ecuaciones lineales, proble-
mas de mnimos cuadrados y para calcular autovalores y autovectores de matrices.
Hoy en da el ALN incluye otros muchos problemas como, por ejemplo, problemas
no lineales de autovalores, algebra multilineal y aproximaci on matricial. Una de las
dicultades que a un persiste en el ALN es que los mejores algoritmos existentes pue-
den cometer errores muy grandes cuando se aplican a ciertas matrices importantes
en la practica. Dise nar algoritmos que cometan errores menores para estas matrices
es el objetivo nal del proyecto. Ello exige el desarrollo de teoras de perturbaciones
estructuradas. La nanciacion obtenida para ello fueron 49331, 70 Eur.
2. Principales logros obtenidos
Uno de los objetivos propuestos en la memoria del proyecto era el desarrollo de un
algoritmo ortogonal de alta precision relativa y que preserve la simetra para calcular
autovalores y autovectores de matrices simetricas. Dicho algoritmo se ha desarrollado
en [17] (ver referencias en Seccion 3) y resuelve un problema que llevaba abierto
18 a nos. En [17] se introduce el nuevo algoritmo implcito de Jacobi y se prueban co-
tas de error optimas para el mismo. Tambien mostramos como precondicionarlo para
acelerar su convergencia sin afectar a sus cotas de error. Consideramos que [17] es la
contribucion mas relevante del proyecto pues presenta el primer algoritmo de coste
O(n
3
) para calcular con alta precision todos los autovalores y autovectores de una
matriz simetrica indenida factorizada preservando la simetra y usando solamen-
te transformaciones ortogonales. El algoritmo puede aplicarse a las siguientes clases
de matrices simetricas: Vandermonde, Cauchy, diagonalmente dominantes, denidas
positivas bien condicionadas bajo escalamiento, ciertas matrices simetricas indeni-
das bien condicionadas bajo escalamiento, M-matrices diagonalmente dominantes,
etc.
A continuacion citamos otros objetivos concretos propuestos en la memoria tecni-
ca inicial del proyecto y referenciamos los trabajos realizados en cada uno de ellos.
95
(1) Una implementacion optimizada y un analisis de errores a posteriori de nuestro
algoritmo SSVD (Signed Singular Value Decomposition): ref. [20]; (2) Algoritmos
precisos para calculos espectrales con matrices signo regulares: ref. [5]; (3) Algorit-
mos para factorizaciones tipo LU que revelen el rango de matrices estructuradas:
refs. [3] y [14]; (4) Algoritmo y propiedades de la factorizacion QR de matrices to-
talmente positivas: refs. [10] y [23]; (5) An alisis de errores y n umeros de condici on
de factorizaciones LU: refs. [1] y [22]; (6) Algoritmos estables para calcular matrices
de Jacobi asociadas a polinomios ortogonales: ref. [16].
3. Difusion de resultados y acciones de formacion
Incluimos para cada revista su parametro de impacto (p.i.) en JCR (2007) y su
posicion relativa por p.i. Hemos publicado 14 trabajos en revistas indexadas en JCR
(4 en revistas situadas en el primer tercio, 9 en revistas situadas en el segundo y 1
en revistas situadas en el tercero). Hemos enviado 5 trabajos que a un se encuentran
en proceso de revision, y otros 4 estan en proceso avanzado de preparacion.
Trabajos publicados (orden cronologico)
[1] C. Brittin y M. I. Bueno. Numerical properties of shifted tridiagonal LU factori-
zations. Mediterranean Journal of Mathematics, 4 (2007), pp. 275288. (p.i.: 0.414.
Posicion: 140 de 207 en Mathematics).
[2] M. I. Bueno, S. Furtado y C. R. Johnson. Congruence of Hermitian matrices by
Hermitian matrices. Linear Algebra and its Applications, 425 (2007), pp. 6376.
(p.i.: 0.702. Posicion: 76 de 165 en Mathematics, Applied)
[3] M. I. Bueno y C. R. Johnson. Minimum deviation, quasi-LU factorization of non-
singular matrices. Linear Algebra and its Applications, 427 (2007), pp. 99118. (p.i.:
0.702. Posicion: 76 de 165 en Mathematics, Applied)
[4] F. De Ter an y F. M. Dopico. Low rank perturbation of Kronecker structures without
full rank. SIAM Journal on Matrix Analysis and Applications, 29 (2007), pp. 496
529. (p.i.: 0.984. Posicion: 48 de 165 en Mathematics, Applied)
[5] P. Koev y F. M. Dopico. Accurate eigenvalues of certain sign regular matrices.
Linear Algebra and its Applications, 424 (2007), pp. 435447. (p.i.: 0.702. Posicion:
76 de 165 en Mathematics, Applied)
[6] M.I. Bueno y S. Furtado, On the exponent of r-regular primitive matrices. Electro-
nic Journal of Linear Algebra 17, pp. 2847 (2008). (p.i.: 0.603. Posicion: 84 de 207
en Mathematics)
[7] F. De Ter an y F.M. Dopico, A note on generic Kronecker orbits of matrix pencils
with xed rank. SIAM Journal on Matrix Analysis and Applications 30, pp. 491496
(2008). (p.i.: 0.984. Posicion: 48 de 165 en Mathematics, Applied)
[8] F. De Ter an, F.M. Dopico y J. Moro, Low rank perturbation of Weierstrass struc-
ture. SIAM Journal on Matrix Analysis and Applications 30, pp. 538547 (2008).
(p.i.: 0.984. Posicion: 48 de 165 en Mathematics, Applied)
[9] E.S. Coakley, F.M. Dopico y C.R Johnson, Matrices with orthogonal groups ad-
mitting only determinant one. Linear Algebra and its Applications 428, pp. 796813
(2008). (p.i.: 0.702. Posicion: 76 de 165 en Mathematics, Applied)
96
[10] F.M. Dopico y P. Koev, Bidiagonal decompositions of oscillating systems of vectors.
Linear Algebra and its Applications 428, pp. 25362548 (2008). (p.i.: 0.702. Posicion:
76 de 165 en Mathematics, Applied)
[11] F. De Ter an, F.M. Dopico y J. Moro, First order spectral perturbation theory of
square singular matrix pencils. Linear Algebra and its Applications 429, pp. 548576
(2008). (p.i.: 0.702. Posicion: 76 de 165 en Mathematics, Applied)
[12] F. De Ter an y F.M. Dopico, Sharp lower bounds for the dimension of linearizations
of matrix polynomials. Electronic Journal of Linear Algebra 17, pp. 518531 (2008).
(p.i.: 0.603. Posicion: 84 de 207 en Mathematics)
[13] F. De Ter an y F.M. Dopico, Low rank perturbation of regular matrix polynomials.
Linear Algebra and its Applications 430, pp. 579586 (2009). (p.i.: 0.702. Posicion
76 de 165 en Mathematics, Applied)
[14] F. M. Dopico y C. R. Johnson. Parametrization of the matrix symplectic group and
applications, aceptado para publicacion en SIAM Journal on Matrix Analysis and
Applications. (p.i.: 0.984. Posicion: 48 de 165 en Mathematics, Applied)
Trabajos enviados a publicar y que estan en proceso de revision
[15] M.I. Bueno, S. Furtado y N. Sherer, Maximum exponent of boolean circulant ma-
trices with constant number of nonzero entries in its generating vector, enviado a
Electronic Journal of Combinatorics.
[16] M. I. Bueno, A. Dea no y E. Tavernetti, An algorithm for computing the Geronimus
transformation with large shifts, enviado a Numerical Algorithms.
[17] F. M. Dopico, P. Koev y J. M. Molera, Implicit standard Jacobi gives high relative
accuracy, enviado para publicacion a Numerische Mathematik.
[18] F. De Ter an, F.M. Dopico y D. S. Mackey, Linearizations of singular matrix poly-
nomials and the recovery of minimal indices, enviado para publicacion a Electronic
Journal of Linear Algebra.
[19] F. De Ter an y F.M. Dopico, First order spectral perturbation theory of square
singular matrix polynomials, enviado para publicacion a Linear Algebra and its
Applications.
Trabajos en estado avanzado de preparacion
[20] F. M. Dopico y J. M. Molera, Computing eigenvectors with full high relative accu-
racy in the SSVD algorithm, en preparacion.
[21] F. De Ter an, F. M. Dopico y D. S. Mackey, Fiedler companion linearizations and
the recovery of minimal indices, en preparacion.
[22] F. M. Dopico y P. Koev, Perturbation theory of the LDU factorization of diagonally
dominant matrices and its application to accurate computations of singular values,
en preparacion.
[23] F. M. Dopico y P. Koev, Perturbation theory and accurate computation of the Q
factor of totally positive matrices, en preparacion.
Presentaciones en Congresos Internacionales: Hemos presentado 10 charlas
(6 han sido invitadas y, de estas, 3 conferencias plenarias en congresos de gran pres-
tigio). Ademas nuestros colaboradores F. De Teran y S. Mackey han presentado 6
charlas (2 invitadas) sobre trabajos conjuntos. Listamos solo las 3 conferencias ple-
narias invitadas impartidas por el IP del proyecto, pues constituyen un indicador
97
del reconocimiento obtenido en nuestra actividad: (i) An orthogonal and symmetric
high relative accuracy algorithm for the symmetric eigenproblem, Householder Sym-
posium XVII, Zeuthen, Alemania, 16 junio 2008; (ii) Implicit standard Jacobi gives
high relative accuracy on rank revealing decompositions, VII International Workshop
on Accurate Solution of Eigenvalue Problems, Dubrovnik, Croatia, 912 junio 2008;
(iii) Implicit Jacobi algorithms for the symmetric eigenproblem, 15th International
Linear Algebra Society Conference, Canc un, Mexico, 1620 junio 2008.
Formacion de recursos humanos: El IP del proyecto ha codirigido la Tesis
Doctoral Problemas de perturbacion de objetos espectrales discontinuos en haces
matriciales de Fernando De Teran (17-12-2007, Universidad Carlos III de Madrid;
calicacion: Sobresaliente cum laude por unanimidad). La tesis obtuvo el Premio
Extraordinario de Doctorado de la Univ. Carlos III en la convocatoria de 2008.
El IP del proyecto ha dirigido las Memorias de Investigacion para el Diploma de
Estudios Avanzados en el Doctorado en Ingeniera Matematica de la Universidad
Carlos III de los miembros del equipo J. Alcantara (Errores en Algoritmos Numericos
para Problemas Defectivos: N umeros de Condicion, Residuos y Geometra, octubre
2006, calicacion de sobresaliente) y M. P. Veiga (Factorizaciones tipo LU que reve-
lan el rango en matrices estructuradas, febrero 2007, calicacion de sobresaliente).
4. Colaboraciones
(a) Colaboramos con los profesores C. R. Johnson (The College of William and
Mary, Virginia, USA), P. Koev (San Jose State University, California, USA) y D.
S. Mackey (Western Michigan University, Michigan, USA). (b) F. Dopico y J. Mo-
lera participan en la red tematica Algebra Lineal, An alisis Matricial y Aplicaciones
(ALAMA) del M.C.I. (Ref. MTM2007-30535-E) y cuyo IP es J. M. Gracia. (c) F.
Dopico participa en el proyecto Modelizacion matematica y simulacion numerica en
ciencia y tecnologa (SIMUMAT), del IV PRICIT de la Comunidad de Madrid (Ref.
S-0505/ESP/0158) y cuyo IP es M. de Leon (Importe del proyecto: 803000 Eur).
5. Conexion con la solicitud MTM2009-09281
Un equipo formado por cuatro investigadores del proyecto MTM2006-06671
(Bueno, Ceballos, Martnez-Dopico (IP) y Molera) y otros dos nuevos investiga-
dores con dedicacion unica (F. De Teran y H. Oulad, Ayudantes Doctores del Dpto.
de Matematicas de la Univ. Carlos III) ha solicitado el nuevo proyecto

Algebra
Lineal Numerica: teora, estructuras y algoritmos (Ref. MTM2009-09281). En di-
cho proyecto se proponen dos bloques de problemas relacionados con el proyecto
MTM2006-06671 centrados en nuevas clases matrices, y un tercer bloque que trata
con problemas matriciales polin omicos de autovalores. Esta es una lnea completa-
mente nueva de investigacion para el grupo pero de gran impacto a nivel interna-
cional. Ya hemos publicado en este tema varios trabajos en colaboracion con F. De
Teran y D. S. Mackey: ver [4], [7], [11], [12], [13], [18], [19] y [21] en la Seccion 3.
98
Analisis de la Representacion de Curvas y Supercies,
Matrices Estructuradas y Error Numerico
MTM2006-03388
Universidad de Zaragoza
Miembros del equipo
Juan Manuel Pe na Ferrandez (IP)
Mariano Gasca Gonzalez
Jes us Carnicer Alvarez
Mara Cruz Lopez de Silanes Busto
Marta Garca Esnaola
Mara Cruz Parra Lucan
Carmen Godes Blanco
Vanesa Cortes Utrillas
Esmeralda Mainar Maza
Jose Javier Martnez Fernandez de las Heras
Ana Marco Garca
Jorge Delgado Gracia
Juan Jose Torrens I nigo
Diego Izquierdo Sirera (becario F.P.I. asociado al proyecto)
1. Introduccion
El proyecto trata de Analisis Numerico y, mas concretamente, de Dise no asistido
por ordenador, Teora de Aproximacion y Algebra Lineal Numerica. Subvencion
total del proyecto: 115.083,10 euros, de los que 25.200 euros corresponden a comple-
mentos salariales. El proyecto recibio una puntuaci on de 95 puntos (sobre 100).
Objetivos del Proyecto
1. Metodos numericos en CAGD. Obtencion y analisis de modelos alternati-
vos al racional y al de Bezier. Analisis de error en CAGD y en la representaci on
de curvas y supercies. Calculo de la ecuacion implcita de curvas de Bezier
racionales usando matrices resultantes de Bernstein-Bezout.
2. Representacion explcita de supercies polinomicas. Completar la cla-
sicacion de los retculos que verican la caracterizacion geometrica. Bus-
car la relacion entre los retculos principales generalizados, la caracterizacion
geometrica y haces algebraicos. Estudio de los retculos principales generaliza-
dos en varias variables y formulas del error de interpolacion.
3. Aproximaci on de funciones multivariadas y reconstruccion de super-
cies. Desarrollo y analisis de metodos de aproximaci on de funciones multiva-
riadas. Desarrollo de algoritmos de reconstruccion de supercies y de deteccion
de fallas.
4. Metodos numericos para matrices estructuradas. Obtencion de algorit-
mos y tests para matrices con estructura especial. Localizacion y aproximaci on
de valores propios y valores singulares.
99
2. Principales logros obtenidos y difusion
En total se han publicado casi 50 artculos en revistas de investigacion que apa-
recen en el Journal Citation Reports del SCI, estando muchas de ellas situadas en
el primer tercio de su lista (para la mayora la lista de Mathematics, Applied,
aunque para algunas la lista Mathematics). Pasamos a comentar resultados y
publicaciones por objetivos.
Objetivo 1. Se han podido construir modelos alternativos al racional y en los
que se han obtenido bases con optimas propiedades de preservacion de forma y de
estabilidad, que se han usado en la obtencion de algoritmos para CAGD. Tambien
se han obtenido algoritmos mas ecientes que el de Casteljau (pero consevando sus
buenas propiedades) para la evaluacion de curvas y supercies polinomicas mediante
la obtencion de modelos alternativos al de Bezier. Ademas se ha podido llevar a
cabo un analisis de error satisfactorio de todos los algoritmos anteriores y otros
emblematicos de CAGD para los que a un no se haba llevado a cabo. En este objetivo
han colaborado en la publicacion de artculos los miembros del proyecto Carnicer,
Delgado, Mainar, Marco, Martnez, y Pe na. Se han publicado con los resultados 15
artculos en revistas de investigacion que aparecen en el Journal Citation Reports
del SCI, incluyendo revistas del primer tercio de la lista de Mathematics, Applied,
como Numerische Mathematik (que ocupa el lugar 20 en el a no 2007 y en la que
aparecen varios artculos de este grupo), Computer Aided Geometric Design (que
ocupa el lugar 18 en el a no 2007 y en la que aparecen varios artculos de este grupo),
Journal of Computational and Applied Mathematics o SIAM Journal on Scientic
Computing (que ocupa el lugar 8 en el a no 2007). Tambien se han publicado artculos
de este grupo en revistas del primer tercio de la lista de Mathematics, como el
Journal of Approximation Theory.
Objetivo 2. Se ha avanzado en la clasicacion de los retculos que verican la
caracterizacion geometrica y en el estudio de los retculos principales generalizados
en varias variables y formulas del error de interpolacion. En este objetivo han cola-
borado en la publicacion de artculos los miembros del proyecto Carnicer, Gasca y
Godes. Se han publicado con los resultados 6 artculos en revistas de investigacion
que aparecen en el Journal Citation Reports del SCI, incluyendo revistas del primer
tercio de la lista de Mathematics, Applied, como Numerische Mathematik o revis-
tas del primer tercio de la lista de Mathematics, como el Journal of Approximation
Theory.
Objetivo 3. Se ha avanzado en el desarrollo y analisis de metodos de apro-
ximacion de funciones multivariadas, as como en el desarrollo de algoritmos de
reconstruccion de supercies y de deteccion de fallas. En este objetivo han colabora-
do en la publicacion de artculos los miembros del proyecto Lopez de Silanes, Parra
y Torrens. Se han publicado con los resultados 3 artculos en revistas de investiga-
cion que aparecen en el Journal Citation Reports del SCI, incluyendo revistas del
primer tercio de la lista de Mathematics, Applied, como Numerische Mathematik
o revistas del primer tercio de la lista de Mathematics, como el Journal of Appro-
ximation Theory. Ademas, Lopez de Silanes y Torrens han escrito (en colaboracion
con el famoso investigador Arcangeli) un libro en la editorial Kluwer.
100
Objetivo 4. Se han obtenido metodos numericos ecientes y adaptados las clases
de las matrices signo-regulares, M-matrices e importantes subclases de matrices
totalmente positivas. Tambien se han obtenido tests estables para detectar estas
importantes clases de matrices. Ademas se han conseguido para ciertas subclases de
las matrices anteriores algoritmos con alta precision relativa para la aproximaci on de
valores propios o singulares. Finalmente, se han desarrollado metodos de localizacion
de valores propios alternativos a los discos de Gerschgorin que han suscitado el
interes de muchos investigadores de otros pases. En este objetivo han colaborado
en la publicacion de artculos los miembros del proyecto Cortes, Garca Esnaola,
Gasca, Marco, Martnez, y Pe na. Se han publicado con los resultados 19 artculos
en revistas de investigacion que aparecen en el Journal Citation Reports del SCI,
incluyendo revistas del primer tercio de la lista de Mathematics, Applied, como
SIAM Journal on Matrix Analysis and its Applications (que ocupo el lugar 8 en
el a no 2006 de publicacion del artculo), Mathematics of Computation (que ocupa
el lugar 28 en el a no 2007), Journal of Computational and Applied Mathematics
o SIAM Journal on Numerical Analysis (que ocupa el lugar 20 en el a no 2007).
Tambien se han publicado artculos de este grupo en revistas del primer tercio de la
lista de Mathematics, como el Numerical Linear Algebra with Applications.
En estos a nos los miembros de nuestro equipo han actuado frecuentemente miem-
bros del equipo como conferenciantes invitados en importantes congresos, se ha par-
ticipado en numerosos comites cientcos y se han editado 2 n umeros especiales de
revistas cientcas: un n umero especial del Journal of Approximation Theory y un
n umero especial de Advances in Computational Mathematics. Ademas, M. Gasca
y J.M. Pe na son editores de la muy prestigiosa revista Advances in Computatio-
nal Mathematics ademas de en otras 4 revistas mas (2 cada uno) internacionales.
En cuanto a formacion, desde 2006 han defendido sus tesis doctorales as profeso-
ras C. Godes y V. Cortes, pertenecientes al equipo y dirigidas por miembros del
equipo (Carnicer y Pe na, respectivamente). Actualmente, el becario F.P.I. Izquierdo
esta realizando su Tesis Doctoral dirigido por Lopez de Silanes.
3. Colaboracion con otros equipos
El proyecto ha dado lugar a las siguientes colaboraciones con otros grupos:
-Con T. Sauer, de la Universidad de Giessen (Alemania), con el que tanto Pe na,
Carnicer y Gasca han publicado varios trabajos. Ademas, estan realizando otros
trabajos con el.
-Con T.N.T. Goodman, de la Universidad de Dundee (Escocia), con el que los
profesores Carnicer y Pe na han realizado un trabajo y contin uan colaborando con
el en otro trabajo.
-Con C.R. Johnson (del William and Mary College, de Virginia), con el que J.M.
Pe na ha publicado un trabajo de investigacion y ha continuado colaborando con el
en un trabajo de investigacion.
-Con R. Arcangeli (frances), con el que M. Cruz Lopez de Silanes y J Torrens
han escrito un libro y han realizado dos trabajos.
101
-Con D. Bini (de la Universidad de Pisa) con el que A. Marco ha escrito un
artculo de investigacion.
-Con T. Szulc, de la Universidad de Poznan (Polonia), con el que J.M. Pe na
esta realizando un trabajo. Proximamente (en mayo de 2009) visitara la Universidad
de Zaragoza.
-Con L. Cvetkovic y V. Kostic, de la Universidad de Novi Sad (Serbia). Con la
primera, que visito Zaragoza en mayo de 2008, esta terminando J.M. Pe na trabajo.
Ademas, ha comenzado otro trabajo con ambos.
-Con R. Bru (de la Universidad Politecnica de Valencia). De hecho, con su grupo,
el nuestro y los dos anteriores de Polonia y Serbia hemos rmado un acuerdo de
colaboracion en la investigacion.
-Con M. Bozzini, L. Rossini y L. Romani, con las que J.M. Pe na esta realizando
un trabajo.
-Con M. Madaune-Tort, de la Universidad de Pau, con la que M. Cruz Lopez de
Silanes ha colaborado en una red europea.
-Con J. Garlo (de la Universidad de Constanza, Alemania), con el que Pe na
esta organizando una sesion de Total Positividad en el congreso POSTA 09 que
tendra lugar en 2009 en Valencia, con M. Buhmann (de la Universidad de Giessen,
Alemania), con el que Pe na edito en el primer a no del proyecto un n umero especial
de la revista Journal Approximation Theory, y con A. Cuyt (de la Universidad de
Amberes, Belgica), con la que Carnicer esta organizando una sesion de Aproxima-
cion Polin omica y Racional en el congreso 2nd DOLOMITES WORKSHOP ON
CONSTRUCTIVE APPROXIMATION AND APPLICATIONS, que tendra lugar
en 2009 en Trento, Italia.
-Con C.A. Micchelli (de la Universidad del Eastado de Nueva York), que vi-
sito en septiembre la unviersidad de Zaragoza. Es editor jefe de la revista Advances
in Computational Mathematics (que ocupa una posicion destacada en la lista Mat-
hematics, Applied del Journal Citation Reports del SCI), de la que tambien son
editores M. Gasca y J.M. Pe na. Con este ultimo esta planeando un n umero especial
de la revista.
-Con los profesores P. Alonso y R. Gallego, de la Universidad de Oviedo, con los
que los profesores Delgado y Pe na ya han realizado un trabajo que se menciona en
la seccion A1, y estan colaborando en otros trabajos.
-Los profesores V. Cortes, M. Garca Esnaola, A. Marco, J.J. Martnez y J.M.
Pe na se han integrado con otros investigadores espa noles de Algebra Lineal para
constituir la red nacional ALAMA.
4. Proyecto presentado en la convocatoria 2009
Acabamos de solicitar el proyecto Metodos Numericos en la representaci on de
curvas y supercies, matrices estructuradas y aplicaciones, que es una continua-
cion natural del anterior y en el que continuamos todos los miembros del proyecto
anterior.
102
Analisis y simulaci on de componentes crticas en
estructuras tipo red y su aplicacion a sistemas reales
MTM2006-10053
Universidad Rey Juan Carlos
Miembros del equipo
Benito Hernandez Bermejo (IP)
Regino Criado Herrero
Miguel Romance del Ro
M. Angustias Alvarez Cubero
Jorge Marco Blanco
1. RESUMEN Y RESULTADOS
BREVE DESCRIPCION DEL TEMA DE PROYECTO
Se pretende estudiar las propiedades estructurales de las redes complejas, sobre
la base de la denicion de parametros computables que describan la topologa de las
mismas as como su respuesta frente a fallos aleatorios o ataques intencionados. Dicho
analisis parte de algunas magnitudes de red previamente denidas por otros autores
(tales como la eciencia de la red) pero incluye otras nuevas, como la vulnerabilidad.
Ademas de hacer un estudio de corte fundamental, se pretende asmismo aplicar los
metodos desarrollados a sistemas reales, esencialmente redes de comunicaciones.
ACTIVIDADES REALIZADAS
Se han realizado actividades de investigacion matematica, estudiando las propie-
dades estructurales de redes complejas, tanto desde el punto de vista analtico como
asintotico, considerando modelos probabilsticos de construccion de redes (modelos
de Erdos-Renji y Albert-Barabasi). De cara a este objetivo se ha participado en di-
ferentes foros internacionales para establecer relaciones con otros investigadores de
reconocido prestigio al tiempo que se ha llevado a cabo una considerable actividad
investigadora que ha cristalizado en diferentes trabajos de investigacion publicados
en revistas cientcas de relevancia. Los reultados obtenidos van en las siguientes
lneas:
Estudio de propiedades estructurales de familias aleatorias de redes complejas.
Se ha estudiado redes aleatorias generadas con los modelos de Erdos-Renji y
Albert-Barabasi, mostrando una vez mas las profundas diferencias estrucura-
les de ambos modelos. Se han empleado metodos probabilsticos, analticos e
incluso de la mecanica estadstica (teora de campo medio), completando una
perspetiva completa de varios parametros estructurales como la eciencia o la
vulnerabilidad en familias aleatorias de redes. En esta linea destaca el desarro-
llo de la tesis doctoral (en fase de realizacion), de J. Marco Blanco, codirigida
por B. Hernandez y M. Romance.
103
Optimizacion discreta y mejora optima de redes complejas. Se han estudia-
do metodos computacionalmente ecientes para localizar de forma efectiva las
mejoras que optimizan la eciencia y/o vulnerabilidad (ya sea entendida como
un parametro instrnseco o como una caida de la eciencia) de una red comple-
ja, para lo cual se han necesitado, entre otras, la conjuncion de herramientas
del analisis geometrico convexo y la teora clasica de grafos.
En una lnea paralela, se han desarrollado aplicaciones basadas en modelos
tipo e.d.o. para la optimizacion (ajuste de funciones cineticas, optimizacion en
evolucion de transitorios y calculo de sensibilidades, fundamentalmente) y la
simulacion de redes geneticas y metabolicas, mediante funciones de ajuste de
tipo racional que mejoran los modelos clasicos, basados en el uso de funciones
tipo ley de potencias.
Analisis unicado de la vulnerabilidad de redes complejas. En la literatura se
han introducido diferentes enfoques del concepto de vulnerabilidad y robustez
de una red compleja. En el ultimo a no se han presentado diferentes trabajos
que muestran la correlacion entre los diferentes enfoques, llegando a conformar
un marco unicado de una teora de vulnerabilidad, en el que instribir todas
los parametros desde un punto de vista com un. Se han establecido estima-
ciones analticas precisas entre los diferentes parametros y se ha desarrallado
un modelo matematico para dise nar parametros de medida de vulnerabilidad
adaptado a las necesidades propias de cada tipologa de rede compleja del
mundo real.
Hiper-estructuras complejas. Se ha cimentado un nuevo modelo matematico
para el estudio de redes complejas con relaciones multinivel, de gran aplica-
cion real en campos como las redes de comunicaciones, redes sociales o redes
biologicas donde la multi-funcionalidad esta presente. En esta linea destaca
el desarrollo de la tesis doctoral Networks and Hyper-networks: structures,
models and applications (en fase de realizacion), de M. Vela Perez, codirigida
por R. Criado y M. Romance.
RESULTADOS OBTENIDOS EN EL ULTIMO A

NO
Artculos impactados:
R. Criado, B. Hernandez-Bermejo, J. Marco-Blanco, M. Romance. Probabilis-
tic analysis of eciency and vulnerability in the Erdos-Renji model. Interna-
tional Journal of Computer Mathematics 85(3,4), 411419 (2008).
R. Alves, E. Vilapriny o, B. Hernandez-Bermejo, A. Sorribas. Mathematical
formalisms based on approximated kinetic representations for modeling genetic
and metabolic pathways. Biotechnology and Genetic Engineering Reviews 25,
140 (2008).
104
R. Criado, J. Pello, M. Romance, M. Vela-Perez. Improvements in perfor-
mance and security for complex networks. International Journal of Computer
Mathematics 86(2), 209218 (2009).
B. Hernandez-Bermejo, J. Marco-Blanco, M. Romance. Analytical estimates
and proof of the scale-free character of eciency and improvement in Barabasi-
Albert trees. Physics Letters A 373(89), 838843 (2009).
R. Criado, J. Pello, M. Romance, M. Vela-Perez. A node-based multi-scale
vulnerability of complex networks, por aparecer en International Journal of
Bifurcation and Chaos.
S. Boccaletti, R. Criado, J. Pello, M. Romance, M. Vela-Perez. Vulnerability
and fall of eciency in complex networks: A new approach with computational
advantages. Por aparecer en International Journal of Bifurcation and Chaos.
R. Criado, J. Pello, M. Romance y M. Vela-Perez. (?,p,q)-vulnerabilities: A
unied approach to network robustness. Por aparecer en Chaos.
R. Criado, M. Romance y M. Vela-Perez. Hyper-structures: a new approach to
complex networks. Por aparecer en International Journal of Bifurcation and
Chaos.
Proyectos de Fin de Carrera leidos:
Alumno: Miguel Angel Lopez Molero. Titulacion: Ingeniera Tecnica en In-
formatica de Sistemas (URJC). Tutores: Benito Hernandez Bermejo, Miguel
Romance del Ro. Defensa: 1 de Julio de 2008, con calicacion de Sobresaliente.
Alumno: Jorge Freijeiro Camara. Titulacion: Ingeniera Tecnica en Informatica
de Sistemas (URJC). Tutor: Benito Hernandez Bermejo. Defensa: 1 de Julio
de 2008, con calicacion de Sobresaliente.
Tesis Doctorales en Curso:
Alumno: Jorge Marco Blanco. Tutores: Benito Hernandez Bermejo, Miguel
Romance del Ro. Centro: Departamento de Fsica, Universidad Rey Juan
Carlos.
Alumna: Mara Vela Perez. Tutores: Regino Criado Herrero, Miguel Roman-
ce del Ro. Centro: Departamento de Matematica Aplicada, Universidad Rey
Juan Carlos.
105
106
Algoritmos matriciales estructurados para
problemas inversos y de control
MTM 2006-05361
Universidad Carlos III de madrid
Miembros del equipo
Alberto Borobia Vizmanos
Roberto Canogar Mackenzie
Julio Moro Carre no (IP)
Mara Jose Pelaez Montalvo
Fernando de Teran Vergara
El objetivo principal del proyecto, nanciado con 35.500 euros, es desarrollar nue-
vos algoritmos para tres problemas concretos del

Algebra Lineal en que las matrices
involucradas tienen propiedades muy rgidas de estructura que cualquier algoritmo
debera preservar en la medida de lo posible. De ah el enfasis en que los algoritmos
sean estructurados, esto es, que preserven la estructura intrnseca que subyace a cada
problema.
Los tres problemas que aborda el proyecto son:
Problema 1. Algoritmos numericos para problemas de aislamiento de fre-
cuencias: El objetivo de los problemas de aislamiento de frecuencias es, dado un
sistema vibratorio con frecuencias resonantes, redise narlo de modo que para el nuevo
sistema ya no haya resonancia. En nuestro modelo, consideramos un sistema masa-
resorte Mx

+Cx

+Kx = 0, donde M es una matriz diagonal positiva, y K y C son

tridiagonales simetricas (o antisimetricas) con K semidenida positiva. Buscamos
nuevas matrices M, C, K que respeten las condiciones de estructura anteriores, y
para las que ning un autovalor del problema cuadratico (
2
M + C + K)v = 0 sea
resonante. El objetivo que en su da planteamos para este problema es:
1.1) Desarrollo de un algoritmo numerico de aislamiento de frecuencias para el caso no
amortiguado (C = 0), y comparacion con los algoritmos ya existentes. Extension,
si es posible, al caso no amortiguado con C = 0.
Problema 2. Algoritmos racionales nitos para problemas de completa-
cion de matrices: Un problema de completaci on es un problema espectral inverso
que consiste en construir una matriz con elementos en un cuerpo F a la que se
imponen restricciones tanto estructurales (ciertos elementos de la matriz estan pre-
jados) como espectrales (se conocen los autovalores, o el polinomio caracterstico, o
los factores invariantes de la matriz). La estructura matricial a preservar ahora es la
dada por las restricciones estructurales. Para muchos de estos problemas se puede
construir una solucion mediante un algoritmo racional nito (que solo emplea ope-
raciones aritmeticas sobre el cuerpo F). Nos centramos en los problemas propuestos
por de Oliveira en los a nos setenta, en que la matriz esta particionada por bloques,
algunos de ellos prescritos. El objetivo planteado en su da para este problema es:
2.1) Desarrollo de algoritmos racionales nitos para los problemas 2 2 por bloques
propuestos por de Oliveira y resueltos desde el punto de vista teorico, mejorando
los algoritmos ya existentes si es el caso.
107
Problema 3. Algoritmos espectrales para matrices hamiltonianas con au-
tovalores imaginarios puros: En este caso, la estructura matricial relevante es la
hamiltoniana: diversos problemas de la Teora de Control tienen en com un el hecho
de que la presencia de autovalores imaginarios puros en el espectro de una cierta
matriz hamiltoniana determina si el problema tiene o no solucion. Cualquier algo-
ritmo que pretenda decidir esa presencia debe preservar la estructura hamiltoniana
para mantener dichos autovalores, pero en general los algoritmos que preservan la
estructura hamiltoniana experimentan serias dicultades numericas en presencia de
autovalores imaginarios m ultiples, un caso muy frecuente en los problemas de con-
trol, ya que a menudo los optimizadores se obtienen cuando hay coalescencia de
autovalores. Los objetivos planteados para este problema fueron dos:
3.1) Desarrollar una teora de perturbacion espectral estructurada hamiltoniana con
especial atencion a los autovalores imaginarios.
3.2) Desarrollar algoritmos espectrales que preserven la estructura hamiltoniana y sean
robustos en presencia de autovalores imaginarios m ultiples.
1. Logros obtenidos
Podemos decir que a fecha de hoy se han alcanzado plenamente los Objetivos
1.1, 2.1 y 3.1, mientras que el Objetivo 3.2 se ha conseguido solo de manera parcial:
Problema 1. Algoritmos numericos para problemas de aislamiento de fre-
cuencias: Se ha desarrollado, implementado y puesto a prueba un nuevo algoritmo
de aislamiento de frecuencias en sistemas masa-resorte no amortiguados. El artculo
[8] contiene la derivacion matematica, una descripcion completa en pseudocodigo, y
pruebas numericas exhaustivas en FORTRAN que muestran que el nuevo algorit-
mo es no solo mucho mas robusto que algoritmos previos, sino tambien entre 10 y
500 veces mas rapido, dependiendo del ejemplo concreto.
Ademas, se ha desarrollado un algoritmo para sistemas vibratorios amortiguados
[10], tanto giroscopicos como hiperb olicos. La clave de esta extension es que los
sistemas hiperbolicos admiten un algoritmo tipo biseccion, similar al empleado en
el caso no amortiguado, para localizar autovalores de manera barata y eciente.
Hasta donde sabemos, este es el primer algoritmo de aislamiento de frecuencias en
la literatura para sistemas con amortiguamiento.
Problema 2. Algoritmos racionales nitos para problemas de completa-
cion de matrices: Se han desarrollado algoritmos nitos para cuatro problemas
distintos de completacion 2 2 por bloques: cuando se jan el bloque superior iz-
quierdo y el polinomio caracterstico [2], el bloque inferior izquierdo y el polinomio
caracterstico [3], cuando se jan la forma de Jordan y el bloque inferior izquierdo,
tanto para cuerpos de caracterstica distinta de 2 [4], como para cuerpos arbitrarios
[5]. Por ultimo, se ha desarrollado un algoritmo que permite construir una matriz
n n con entradas en un anillo arbitrario cuando su espectro y a lo mas 2n 3
entradas de la matriz estan prescritas [6]. Los algoritmos en [2, 4] son computacional-
mente mas baratos y conceptualmente mas sencillos que los previamente existentes.
Los algoritmos en [5, 6, 3] son los primeros conocidos para el problema correspon-
diente.
108
Problema 3. Algoritmos espectrales para matrices hamiltonianas con au-
tovalores imaginarios puros: Se ha llevado a cabo [7] un estudio de la sensibilidad
de autovalores arbitrarios de matrices estructuradas con respecto a perturbaciones
igualmente estructuradas. Aunque, en principio, la estructura que mas nos interesa
es la hamiltoniana, tecnicas similares a las empleadas para el caso hamiltoniano nos
han permitido determinar los n umeros de condicion estructurados de autovalores de-
fectivos para diversas clases estructuradas de matrices. Entre otras, para las matrices
Toeplitz, Hankel, simetricas y antisimetricas complejas, hamiltonianas y antihamil-
tonianas, e incluso para haces de matrices. Este tipo de resultados son los primeros
en la literatura validos para autovalores m ultiples. Ademas de este artculo, que tra-
ta el caso de perturbaciones genericas, hemos avanzado en el analisis de n umeros
de condicion estructurados de autovalores m ultiples para familias no genericas de
perturbaciones[9].
En cuanto a metodos numericos para el problema hamiltoniano, hemos avanzado
en el desarrollo de algoritmos para el problema de pasivacion: dado un sistema
de control inicial que no es pasivo, el algoritmo identica un sistema cercano que
s lo es, preservando las propiedades de estructura fundamentales del sistema. Desde
el punto de vista matricial, se parte de una matriz hamiltoniana con autovalores
imaginarios puros, y el objetivo del algoritmo es hallar la perturbacion hamiltonia-
na mas peque na posible tal que la matriz hamiltoniana resultante de perturbar ya
no tenga autovalores imaginarios. El dise no y analisis de un algoritmo de este tipo
obliga a realizar un analisis de perturbaciones muy detallado, ya que la estructura
hamiltoniana impone fuertes restricciones de simetra en el comportamiento de los
autovalores. Estas restricciones deben tenerse muy en cuenta a la hora de elegir
la perturbacion minimal que expulse los autovalores imaginarios puros del eje. Los
resultados obtenidos se presentar an en el artculo [1], que esta a un en proceso de
redaccion.
Ademas de los problemas propuestos en el proyecto, se han publicado tres artcu-
los
1
, que contin uan lneas de investigacion anteriores al proyecto
La difusion de los resultados obtenidos se esta llevando a cabo mediante publica-
cion en las revistas cientcas del area (SIAM J. Matrix Anal. Appl., ndice de impacto
0.984, Linear Algebra Appl., ndice 0.702 y Numer. Linear Algebra Appl., ndice 0.696,
todos ellos seg un la lista de 2007 JCR), as como la presentaci on de charlas en con-
ferencias internacionales del area. Como indicio de calidad de la labor realizada se
hallan la participacion del IP como conferenciante plenario (Householder Symposium
XVII, junio 08), como organizador de minisimposios (XV Conference of the Inter-
national Linear Algebra Society, junio 08), como miembro del comite organizador
de diversos congresos (XIV y XVI Conference of the International Linear Algebra
Society), as como el haber sido nombrado miembro del jurado del SIAG/LA Prize,
1
F. de Ter an, F.M. Dopico & J. Moro, Low rank perturbation of Weierstrass structure,
SIAM J. Matrix Anal. Appl., 30 (2008), pp. 538-547.
F. de Ter an, F.M. Dopico & J. Moro, First order spectral perturbation theory of square
singular matrix pencils, Linear Algebra Appl., 429 (2008), pp. 548-576,
A. Borobia, J. Moro & R.L. Soto, A unied view on compensation criteria in the real non-
negative inverse eigenvalue problem, Linear Algebra Appl., 428 (2008), pp. 2574-2584
109
que SIAM otorga cada tres a nos al mejor artculo publicado en revistas de

Algebra
Lineal en ese periodo.
El trabajo de estos tres a nos ha dado lugar a colaboraciones con los profesores
Juan Ega na, de la Universidad Catolica del Norte, en Antofagasta (Chile), Helena
Smigoc, de University College Dublin (Irlanda), Michael Karow y Volker Mehrmann
de la Technische Universitat Berlin (Alemania), Daniel Kressner de la ETH Z urich
(Suiza), y Rakul Alam y Shreemayee Bora, del Instituto Tecnologico de Guwaha-
ti (India). En cuanto a acciones de formacion, dos miembros del equipo, Mara
Jose Pelaez y Fernando de Teran concluyeron sus tesis doctorales en abril y diciem-
bre de 2007, respectivamente, dirigidos por el IP, siendo codirigida la segunda por
el profesor Froil an Martnez Dopico de la Universidad Carlos III de Madrid.
En la convocatoria 2009 se ha presentado un nuevo proyecto, con el ttulo Algo-
ritmos para matrices estructuradas en problemas de completaci on y de control, que
es continuacion del presente proyecto, y cuyo IP sera Alberto Borobia.
Referencias
[1] R. Alam, S. Bora, M. Karow, V. Mehrmann & J. Moro, Numerical
methods for computing the distance to bounded-realness, en proceso de redac-
cion.
[2] A. Borobia, Constructing matrices with prescribed main-diagonal submatrix
and characteristic polynomial, Linear Algebra Appl., 418 (2006), pp. 886-890.
[3] A. Borobia, Constructing matrices with prescribed o-diagonal submatrix and
characteristic polynomial, en proceso de redaccion
[4] A. Borobia & R. Canogar, Constructing matrices with prescribed o-
diagonal submatrix and invariant polynomial, Linear Algebra Appl., 424 (2007),
pp. 615633.
[5] A. Borobia & R. Canogar, A note on Constructing matrices with pres-
cribed o-diagonal submatrix and invariant polynomia, Linear Algebra Appl.,
429 (2008), pp. 16841686.
[6] A. Borobia, R. Canogar & H. Smigoc, A matrix completion problem over
rings with 2n3 prescribed entries, enviado para publicacion a Linear Algebra
Appl.
[7] D. Kressner, M.J. Pel

aez & J. Moro, Structured Holder condition num-

bers for multiple eigenvalues, SIAM J. Matrix Anal. Appl., 31 (2009), pp. 175
201.
[8] J. Moro & J.C. Ega

na: Directional algorithms for the frequency isolation

problem in undamped vibrational systems, en proceso de revision en Numerical
Linear Algebra.
[9] M.J. Pel

aez & J. Moro, Holder condition numbers for eigenvalues under

fully nongeneric structured perturbation, en proceso de redaccion
[10] F. de Ter

an & J. Moro, Frequency isolation algorithms for gyroscopic sys-

tems, en proceso de redaccion.
110
Estudio Cualitativo de Problemas Termomecanicos
MTM2006-03706
Universidad Polit

ecnica de Catalu

na
Miembros del equipo
Francesc Boll
Mari Carme Leseduarte
Antonio Maga na
Ramon Quintanilla (IP)
Andrea Zamora
1. Introduccion
El objetivo de nuestro proyecto es el estudio de los problemas matematicos que
aparecen en la Termomecanica de medios continuos. Concretamente, nuestro
interes es el analisis cualitativo de las ecuaciones en derivadas parciales que
gobiernan el comportamiento de diferentes problemas.
Estudiamos problemas de la Termomecanica y de la Ingeniera con la ayuda
de herramientas matematicas. Los materiales evolucionan rapidamente. Por
lo tanto, los modelos matematicos que describen su comportamiento tambien
deben evolucionar. Esto nos lleva al planteamiento de nuevos sistemas de ecua-
ciones en derivadas parciales que requieren de nuevos metodos para analizar
las propiedades de sus soluciones. Tambien es necesario determinar si el com-
portamiento teorico de las soluciones se ajusta a los resultados empricos.
Nuestra investigacion esta orientada no solo hacia los materiales cuya con-
duccion del calor viene descrita por la clasica ley de Fourier, sino que tam-
bien consideramos otros modelos, como los de Lord-Shulman, Green-Lindsay,
Green-Naghdi, Tzou, etc.
Entre las propiedades mecanicas, nos interesan los materiales poro-elasticos,
las mezclas de solidos elasticos, los solidos con micro-estructura, los materiales
elasticos no simples y distintos tipos de uidos, como los uidos con micro-
estructura, los uidos no simples y las mezclas de uidos.
2. Ejes de estudio
1. Establecimiento y validacion de diferentes modelos.
En la actualidad se proponen muchos modelos para describir diferentes
situaciones termomecanicas. Algunos de ellos provienen de argumentos
heursticos. Es necesario un estudio cualitativo que nos permita determi-
nar la adecuacion del modelo a la realidad.
111
Es necesario profundizar en el estudio de diferentes teoras (aceptadas)
y compatibilizar estas propuestas con diferentes mecanismos que no se
haban considerado previamente.
Hemos publicado o estan pendientes de publicacion 16 artculos en este
eje. Todos en revistas que estan clasicadas en el JCR. Los siguientes
corresponden a aquellos que estan publicados en revistas que estan en el
primer cuartil de su categora:
Referencias
[1] R. Quintanilla, R. Racke. Qualitative aspects in dual-phase-lag heat con-
duction. Proc. Royal Soc. London A. 463, 659674, 2007.
[2] D. Iesan, R. Quintanilla. Some theorems in the theory of microstretch
thermopiezoelectricity. Int. Jour. Eng. Sci., 45, 116, 2007.
[3] R. Quintanilla, R. Racke. A note on stability in three-phase-lag heat con-
duction. Int. Jour. Heat Mass Trans., 51, 2429, 2008.
[4] R. Quintanilla, B. Straughan. Nonlinear waves in a Green-Naghdi dissi-
pationless uid. Jour. Non-Newtonian Fluid Mech., 154, 207210, 2008.
[5] D. Iesan, R. Quintanilla. On thermoelastic bodies with inner structure
and microtemperatures. Jour. Math. Anal. Appl. 354, 1223, 2009.
[6] A. Miranville, R. Quintanilla. A generalization of the Caginalp phase-eld
system based on the Cattaneo law. Nonlinear Analysis A, Aceptado 2009.
2. Estudio temporal de decaimiento.
Estudiamos problemas en los que se combinan mecanismos de disipacion
con mecanismos conservativos. Es importante claricar si el mecanismo
disipativo es sucientemente fuerte para hacer decaer todo el sistema
al estado de equilibrio de una forma rapida o lenta. Aunque algunas
situaciones han sido ya resueltas, la respuesta completa esta a un lejos de
obtenerse.
Mediante las variables macroscopicas y microscopicas podemos describir
el comportamiento de diferentes tipos de materiales. En el caso que un
mecanismo de disipacion macroscopico (respectivamente, microscopico)
este presente, nos podemos preguntar si el acoplamiento es suciente-
mente fuerte para arrastrar la parte microscopica (respectivamente, ma-
croscopica) para obtener el decaimiento rapido de las soluciones.
Hemos publicado o estan pendientes de publicacion 10 artculos. Todos
ellos corresponden a revistas que estan clasicadas en el JCR. A con-
tinuaci on recordamos los artculos que estan publicados en revistas que
estan en el primer cuartil de su categora:
112
Referencias
[1] M. C. Leseduarte, R. Quintanilla. Some qualitative properties of solutions
of the system of the acoustic waves in bubbly liquids. Int. Jour. Eng. Sci.,
44, 11461155, 2006.
[2] A. Maga na, R. Quintanilla. On the time decay of solutions in porous-
elasticity with quasi-static microvoids. Jour. Math. Anal. Appl. 331, 617
630, 2007.
[3] R. Quintanilla. Impossibility of localization in linear thermoelasticity.
Proc. Royal Soc. London A. 463, 33113322, 2007.
[4] J. Mu noz-Rivera, R. Quintanilla. On the time polynomial decay in elastic
solids with voids. Jour. Math. Anal. Appl. 338, 12961309, 2008.
[5] R. Quintanilla, G. Saccomandi. Quasistatic anti-plane motion in the sim-
plest theory of nonlinear viscoelasticity. Nonlinear Analysis B, 9, 1499
1517, 2008.
[6] P. X. Pamplona, J. Mu noz-Rivera, R. Quintanilla. Stabilization in elastic
solids with voids. Jour. Math. Anal. Appl. 350, 3749, 2009.
[7] M. Alves, J. Mu noz-Rivera, R. Quintanilla. Exponential decay in a ther-
moelastic mixture of solids. Int. Jour. Sol. Struc., 46, 16591666, 2009.
3. Estudio del comportamiento espacial.
Queremos claricar la dependencia continua de las soluciones respecto
de parametros, geometra, etc. cuando se considera el comportamiento
espacial para el problema dinamico de la elasticidad.
Si bien el estudio espacial de las soluciones de diversos problemas de la
elasticidad y sus diferentes extensiones ha sido muy importante, existen
a un muchos aspectos que deben ser analizados. Por ejemplo, el estudio
del decaimiento con respecto a la no homogeneidad y a la anisotropa
estan empezando a ser analizados
Hemos publicado o estan pendientes de publicacion un total 8 artculos.
Siete de ellos han sido publicados en revistas que estan clasicadas en el
JCR. Los siguientes corresponden a revistas que estan en el primer cuartil
de su categora:
Referencias
[1] M. C. Leseduarte, R. Quintanilla. Saint-Venant decay rates for an aniso-
tropic and non-homogeneous mixture of elastic solids in anti-plane shear.
Inter. Jour. Sol. Struc., 45, 16971712, 2008.
[2] R. J. Knops, R. Quintanilla. Continuous dependence on initial geometry
in linear elastodynamics on a half cylinder. Int. Jour. Eng. Sci. (2009).
113
3. Colaboraciones
Nuestro equipo es peque no. Sin embargo intentamos publicar la maxima cantidad
de artculos cientcos. Creemos que una buena estrategia consiste en desarrollar
nuestro trabajo en colaboracion con profesores de otras universidades espa nolas y
extranjeras. En este periodo hemos colaborado con:
M. Alves, J. Mu noz-Rivera, P. X. Pamplona (Federal University of Rio de
Janeiro (Brasil))
J. I. Daz (Universidad Complutense de Madrid)
M. Dreher, R. Racke (Univesity of Konstanz(Germany))
D. Iesan (University of Iasi (Romania))
P. M. Jordan (Naval Research Laboratory, Stennis Space Center (USA))
R. J. Knops (Heriot-Watt University (U.K.))
Z. Liu (University of Minnesota at Duluth (U.S.A.))
A. Miranville (University of Poitiers (France))
V. Patta (Politechnical of Milano (Italy))
K. R. Rajagopal (A. and M. Texas University (U.S.A.))
G. Saccomandi (University of Lecce, University of Perugia (Italy))
M. Slemrod (University of Wisconsin (U.S.A.))
B. Straughan (University of Durham (U.K.))
4. Proyecto Presentado
El proyecto que nuestro grupo ha presentado para el trienio 2010-2012 sigue unas
lneas de investigacion similares a las desarrolladas hasta la fecha. Nuestro proyecto
es continuista con la lnea desarrollada en los proyectos:
Tratamiento matematico de procesos termomecanicos para materiales elasticos
no clasicos, (PB96-0497)
Aspectos matematicos en las teoras termomecanicas generalizadas, (BFM2000-
0809)
Aspectos de estabilidad en termomecanica, (BFM2003-00309).
114
Dinamica no lineal en ecuaciones en derivadas parciales
MTM2006-08262
Universidad Complutense de Madrid
Miembros del equipo
Arrieta Algarra, Jose
Brauer, Uwe
Dager Salomon, Rene
Jimenez Casas, Angela
Oca na Davila, Antonio
Negreanu, Mihaela
Pardo Sangil, Rosa
Rodrguez Bernal, Anbal (IP)
Santamara Martn, Esperanza
Vidal Lopez, Alejandro
1. Introduccion
La tematica del proyecto se centra en el estudio del comportamiento a largo plazo
de ciertos modelos autonomos y no autonomos de ecuaciones en derivadas parciales
no lineales y en el estudio de la inuencia en la dinamica de las soluciones de ciertas
perturbaciones en la ecuacion o en el dominio del problema.
El proyecto se desarrolla entorno a tres grandes bloques de problemas:
A) Soluciones extremales de problemas autonomos.
B) Problemas no autonomos
C) Ecuaciones con terminos concentrados
La dotacion concedida fueron 48.000 C
2. Logros
Practicamente todos los hitos establecidos en los tres bloques de problemas se
han cumplido o, al menos, se han desarrollado en gran medida.
Algunos subapartados no han sido abordados, debido fundamentalmente a la
menor actividad de la prevista mantenida por algunos miembros del equipo.
Otros apartados, se estan desarrollando en la actualidad y previsiblemente se
nalizaran una vez haya concluido el presente proyecto.
En su conjunto puede decirse que en el momento de nalizacion del proyecto se
habran cumplido entorno al 80 % de los objetivos globales.
De la relevancia y originalidad de los resultados obtenidos dan cuenta tanto
el numero de artculos publicados y aceptados, como los ndices de calidad de las
revistas en que han aparecido, tal y como se describe en el siguiente epgrafe.
115
3. Difusion
Desde la entrada en vigor del Proyecto, se ha seguido una estrcta poltica de
difusion de resultados, cuyos resultados resumimos como sigue:
Articulos publicados o aceptados 29
En revistas del JCR 24
Proceedings con revisor 5
En la actualidad se han sometido ademas 6 artculos y han aparecido 4 actas de
congresos sin revision.
En cuanto a las revistas del JCR, las publicaciones (aparecidas o aceptadas a
fecha de Marzo de 2009) se reparten de la siguiente manera:
JCR, MATHEMATICS
REVISTA N.Art.
Rank 2007
sobre 207
J DIFFER EQUATIONS 6 17
NONLINEAR ANAL-THEOR 2 18
REV MAT IBEROAM 1 33
J MATH ANAL APPL 1 37
DISCRET CONTIN DYN S 3 41
P ROY SOC EDINB A 2 103
MATH NACHR 1 139
CR ACAD SCI I-MATH 1 163
Total: 17
JCR, MATHEMATICS, APPLIED
REVISTA N.Art.
Rank 2007
sobre 165
PHYSICA D 1 10
MATH. MOD. METH APPL SCI 2 12
SIAM J NUMER ANAL 1 17
SIAM J MATH ANAL 1 33
NONLINEAR ANAL-THEOR 2 36
J MATH ANAL APPL 1 56
DISCRET CONTIN DYN S 3 60
MATH METHOD APPL SCI 1 99
P ROY SOC EDINB A 2 112
P AM MATH SOC 1 118
Total: 15
Adicionalmente se han presentado una treintena de comunicaciones en congresos
y reuniones nacionales e internacionales, mas de la mitad de las cuales ha sido por
invitacion.
116
4. Colaboraciones
Fuera del ambito de las universidades de Madrid, el equipo investigador de es-
te proyecto mantiene solidas y continuadas relaciones cientcas con grupos de las
Universidades de Sao Paulo (Brasil), Comenius (Bratislava, Eslovaquia), Silesia (Ka-
towitze, Polonia), Warwick (Reino Unido), plasmadas en publicaciones conjuntas y
visitas recprocas.
En el ambito nacional destacan las relaciones con grupos de investigacion de las
Universidades de Sevilla y Politecnica de Catalunya.
Recientemente se han comenzado colaboraciones con investigadores de la U.de
Cantabria.
5. Convocatoria 2009
Algunos de los temas propuestos en este proyecto han tenido continuacion natural
en la solicitud en la convocatoria de proyectos de 2009. En particular en la nueva
solicitud se propone profundizar el estudio de problemas no autonomos y el estudio
de ciertos modelos relacionados con los problemas con terminos concentrados.
Tres de lo miembros del equipo actual no guran en la solicitud del a no 2009.
6. Comentarios
Incorporaciones posteriores a la concesion del proyecto:
E. Santamara (becaria FPI)
A. Vidal
La menor actividad de la prevista de algunos miembros del proyecto ha sido el
mayor contratiempo desde el punto de vista cientco, pues ha imposibilitado el
abordar todos los objetivos propuestos.
Desde el punto de vista de la gestion, encontramos que sera conveniente una mayor
exibilidad para poder cubrir gastos de jovenes doctorandos que sin pertenecer al
equipo del proyecto, se esten formando en temas relacionados y que colaboran con
los miembros del equipo.
En este tipo de proyectos que no requieren grandes adquisiciones de equipos,
creemos que una distribucion mas homogenea de las anualidades, permitira una
gestion mas ecaz de los recursos.
117