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
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(
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
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
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
[, ]
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
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)
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
ODULO DE RESULTADOS TE
: .
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 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
|
(S) =
|Csd
m
I
Csd
m
= |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
)|
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
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
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