Dopico Zaragoza 2009 PDF

Algoritmos precisos y estables en lgebra
Lineal Numrica (MTM2006-06671)

Froiln Martnez Dopico
Departamento de Matemticas, Universidad Carlos III de Madrid
Jornadas de seguimiento de proyectos I+D MTM2006,

Zaragoza, 30 de marzo a 1 de abril de 2009
F. M. Dopico (U. Carlos III, Madrid)
Algoritmos precisos y estables en ALN
I+D MTM2006
1 / 35
Resumen
El proyecto en nmeros
Contexto matemtico del proyecto
Necesidad de investigar en la precisin de los algoritmos
Principales logros obtenidos-Consecucin objetivos
Conexin con la solicitud MTM2009-09281
Comentarios adicionales
I+D MTM2006
2 / 35
Resumen
I+D MTM2006
3 / 35
El proyecto en nmeros: Datos bsicos
5+1 miembros del equipo:

1
2
3
4
5
6
J. Alcntara (Prof. IES)

M. I. Bueno (Lecturer, California, Santa Brbara)
J. A. Ceballos (Alta 1-6-2008, Becario UC3M)
Froiln M. Dopico (IP) (Prof. Titular UC3M)
J. M. Molera (Prof. Titular UC3M)
M. P. Veiga (Prof. Asociado UC3M, Prof. IES)
Financiacin total obtenida: 49331, 70 Eur
I+D MTM2006
4 / 35
El proyecto en nmeros: Datos bsicos
5+1 miembros del equipo:

1
2
3
4
5
6
J. Alcntara (Prof. IES)

M. I. Bueno (Lecturer, California, Santa Brbara)
J. A. Ceballos (Alta 1-6-2008, Becario UC3M)
Froiln M. Dopico (IP) (Prof. Titular UC3M)
J. M. Molera (Prof. Titular UC3M)
M. P. Veiga (Prof. Asociado UC3M, Prof. IES)
Financiacin total obtenida: 49331, 70 Eur
I+D MTM2006
4 / 35
El proyecto en nmeros: Publicaciones
Publicaciones:
1
14 publicaciones en revistas indexadas en JCR en las categoras

Mathematics, Applied (11) y
Mathematics (3).
Por parmetro de impacto:

4 en revistas situadas en el primer tercio (JCR, 2007),
9 en revistas situadas en el segundo tercio,
1 en revistas situadas en el tercer tercio.
2
5 trabajos enviados a publicar que se encuentran en proceso de

revisin.
4 trabajos estn en proceso avanzado de preparacin.
I+D MTM2006
5 / 35
Publicaciones:
1

Mathematics (3).

2

revisin.
I+D MTM2006
5 / 35
Publicaciones:
1

Mathematics (3).

2

revisin.
I+D MTM2006
5 / 35
Publicaciones:
1

Mathematics (3).

2

revisin.
I+D MTM2006
5 / 35
Publicaciones:
1

Mathematics (3).

2

revisin.
I+D MTM2006
5 / 35
Publicaciones:
1

Mathematics (3).

2

revisin.
I+D MTM2006
5 / 35
El proyecto en nmeros: Presentaciones en

congresos
10 presentaciones en congresos internacionales de
miembros del equipo:
6 invitadas,
3 de stas han sido conferencias plenarias invitadas impartidas
por el IP en congresos de prestigio en el rea.
Adems los colaboradores externos F. De Tern y S. Mackey han

presentado
6 charlas (2 invitadas) sobre trabajos conjuntos.
Adems el colaborador externo P. Koev ha presentado

1 charla plenaria invitada sobre trabajos conjuntos
(ILAS2007-Shanghai).
I+D MTM2006
6 / 35

congresos
6 invitadas,

presentado

I+D MTM2006
6 / 35

congresos
6 invitadas,

presentado

I+D MTM2006
6 / 35

congresos
6 invitadas,

presentado

I+D MTM2006
6 / 35
El proyecto en nmeros: Formacin de recursos

humanos
IP ha codirigido la tesis doctoral:
Problemas de perturbacin de objetos espectrales discontinuos en
haces matriciales de Fernando De Tern (17-12-2007), U. Carlos III
de Madrid. Programa de Doctorado en Ingeniera Matemtica con
Mencin de Calidad del MEC.
Calificacin: Sobresaliente cum laude por unanimidad.
Premio Extraordinario de Doctorado, Univ. Carlos III en 2008.
IP ha dirigido las memorias para obtencin del DEA de los

miembros del equipo J. Alcntara y M. P. Veiga.
F. M. Dopico (Chair Organizing Committe y Member Steering
Committee) y J. M. Molera han organizado en colaboracin con
SIAM y el proyecto SIMUMAT (CM)
SIAG/LA-SIMUMAT International Summer School on Numerical
Linear Algebra 21-25 de Julio de 2008 CIEM, Castro-Urdiales
52 asistentes de 12 pases distintos, todos jvenes investigadores
Financiacin: 27500 Eur + 15500$
I+D MTM2006
7 / 35

humanos

I+D MTM2006
7 / 35

humanos

I+D MTM2006
7 / 35
El proyecto en nmeros: Colaboraciones

Publicaciones conjuntas con
C. R. Johnson (The College of William and Mary, Virginia, USA),
P. Koev (San Jose State University, California, USA)
D. S. Mackey (Western Michigan University, Michigan, USA).
F. Dopico y J. Molera participan en la red temtica Algebra

Lineal, Anlisis Matricial y Aplicaciones (ALAMA) del M.C.I.
(Ref. MTM2007-30535-E) y cuyo IP es J. M. Gracia (ahora R.
Bru). 85 investigadores participantes.
F. Dopico participa en el proyecto Modelizacin matemtica y
simulacin numrica en ciencia y tecnologa (SIMUMAT), del
IV PRICIT de la Comunidad de Madrid (Ref. S-0505/ESP/0158) y
cuyo IP es M. de Len (Importe del proyecto: 803000 Eur). 23
investigadores participantes.
F. Dopico participa en la Accin Integrada Hispano-Italiana
HI2008-0173 (UAM/Universita degli Studi di Pavia y UC3M-MOX,
Milano-Universita di Bologna). IPs: B. Ayuso-L. D. Marini.
I+D MTM2006
8 / 35


I+D MTM2006
8 / 35


I+D MTM2006
8 / 35


I+D MTM2006
8 / 35
Otras actividades de los investigadores del equipo
El IP del proyecto ha sido miembro del Comit Cientfico del

Encuentro de lgebra Lineal, Anlisis Matricial y Aplicaciones,
ALAMA2008, celebrado en la Universidad del Pas Vasco,
Vitoria-Gasteiz, 25-26 de Septiembre de 2008.
IP ha sido Editor Asociado de SIAM Journal on Matrix
Analysis and Applications para el nmero especial sobre
Accurate Solution of Eigenvalue Problems publicado en el
Volume 31, Issue 1 del ao 2009.
I+D MTM2006
9 / 35
Resumen
I+D MTM2006
10 / 35
Contexto matemtico del proyecto (I)

Tradicionalmente, el lgebra Lineal Numrica es la parte del
Anlisis Numrico que desarrolla algoritmos eficientes y estables
para
resolver sistemas de ecuaciones lineales,
problemas de mnimos cuadrados,
para calcular autovalores y autovectores de matrices (valores
singulares).
Hoy en da estos problemas siguen de actualidad pues:
las matrices que aparecen en las aplicaciones cada vez son ms
"grandes",
las arquitecturas de los ordenadores estn en continua evolucin,
los requerimientos de precisin cada vez son mayores,
aparecen continuamente nuevas clases de matrices
estructuradas.
I+D MTM2006
11 / 35

para
singulares).
"grandes",
estructuradas.
I+D MTM2006
11 / 35

para
singulares).
"grandes",
estructuradas.
I+D MTM2006
11 / 35

para
singulares).
"grandes",
estructuradas.
I+D MTM2006
11 / 35

para
singulares).
"grandes",
estructuradas.
I+D MTM2006
11 / 35

para
singulares).
"grandes",
estructuradas.
I+D MTM2006
11 / 35

para
singulares).
"grandes",
estructuradas.
I+D MTM2006
11 / 35

para
singulares).
"grandes",
estructuradas.
I+D MTM2006
11 / 35

para
singulares).
"grandes",
estructuradas.
I+D MTM2006
11 / 35
Contexto matemtico del proyecto (II)
Actualmente el lgebra Lineal Numrica incluye el desarrollo de

algoritmos para muchos otros problemas, por ejemplo,
problemas polinmicos de autovalores,
(Ak k + Ak1 k1 + + A0 )v = 0,
Ai Cnn , v Cn ,
con aplicaciones en mecnica y control.

lgebra MULTILINEAL Numrica, con aplicaciones a minera de
datos.
Problemas de aproximacin matricial (matrix nearness problems),
con aplicaciones a minera de datos, reconocimiento de patrones.
I+D MTM2006
12 / 35

(Ak k + Ak1 k1 + + A0 )v = 0,
Ai Cnn , v Cn ,

datos.
I+D MTM2006
12 / 35

(Ak k + Ak1 k1 + + A0 )v = 0,
Ai Cnn , v Cn ,

datos.
I+D MTM2006
12 / 35

(Ak k + Ak1 k1 + + A0 )v = 0,
Ai Cnn , v Cn ,

datos.
I+D MTM2006
12 / 35
Resumen
I+D MTM2006
13 / 35
Un ejemplo famoso: La matriz de Hilbert 100 100

hij =
1
,
x(i) + x(j)
x(i) = i 1/2 para 1 i 100
1 > 2 > . . . > 100 > 0.

EXACTO
MATLAB (eig)
100
5.779700862834802 10151
1.216072660266760 1019
Los errores son muy grandes a partir del autovalor 20 .

Podemos hacer algo mejor?
EXACT
Implicit Jacobi
100
5.779700862834802 10151
5.779700862834813 10151
Dificultades similares en otros problemas (sistemas de

ecuaciones, autovectores, DVS,...), en la presentacin nos
centramos en autovalores.
I+D MTM2006
14 / 35

hij =
1
,
x(i) + x(j)
x(i) = i 1/2 para 1 i 100
1 > 2 > . . . > 100 > 0.

EXACTO
MATLAB (eig)
100
5.779700862834802 10151
1.216072660266760 1019

EXACT
Implicit Jacobi
100
5.779700862834802 10151
5.779700862834813 10151

I+D MTM2006
14 / 35

hij =
1
,
x(i) + x(j)
x(i) = i 1/2 para 1 i 100
1 > 2 > . . . > 100 > 0.

EXACTO
MATLAB (eig)
100
5.779700862834802 10151
1.216072660266760 1019

EXACT
Implicit Jacobi
100
5.779700862834802 10151
5.779700862834813 10151

I+D MTM2006
14 / 35

hij =
1
,
x(i) + x(j)
x(i) = i 1/2 para 1 i 100
1 > 2 > . . . > 100 > 0.

EXACTO
MATLAB (eig)
100
5.779700862834802 10151
1.216072660266760 1019

EXACT
Implicit Jacobi
100
5.779700862834802 10151
5.779700862834813 10151

I+D MTM2006
14 / 35

hij =
1
,
x(i) + x(j)
x(i) = i 1/2 para 1 i 100
1 > 2 > . . . > 100 > 0.

EXACTO
MATLAB (eig)
100
5.779700862834802 10151
1.216072660266760 1019

EXACT
Implicit Jacobi
100
5.779700862834802 10151
5.779700862834813 10151

I+D MTM2006
14 / 35

hij =
1
,
x(i) + x(j)
x(i) = i 1/2 para 1 i 100
1 > 2 > . . . > 100 > 0.

EXACTO
MATLAB (eig)
100
5.779700862834802 10151
1.216072660266760 1019

EXACT
Implicit Jacobi
100
5.779700862834802 10151
5.779700862834813 10151

I+D MTM2006
14 / 35

hij =
1
,
x(i) + x(j)
x(i) = i 1/2 para 1 i 100
1 > 2 > . . . > 100 > 0.

EXACTO
MATLAB (eig)
100
5.779700862834802 10151
1.216072660266760 1019

EXACT
Implicit Jacobi
100
5.779700862834802 10151
5.779700862834813 10151

I+D MTM2006
14 / 35
Errores en algoritmos tradicionales de autovalores

Dada A = AT Rnn , los algoritmos tradicionales (MATLAB) son
estables en sentido regresivo. Esto es, los autovalores
b1 . . .
bn son los autovalores exactos de
calculados
A + E,
con kEk2 = O()kAk2
donde 1016 en doble precisin, es la unidad de redondeo del

ordenador.
Si 1 . . . n son los autovalores de A entonces el teorema de
perturbacin de Weyl implica que
bi i | kEk2 = O()kAk2
|
b i i |
|
|max |
= O()
|i |
|i |
Muy grande siempre que
en Hilbert 100 100).
|max |
|i |
para todo i
para todo i.
max |
150
1016 o mayor ( |
|min | = 3.8 10
I+D MTM2006
15 / 35

b1 . . .
calculados
A + E,
con kEk2 = O()kAk2

ordenador.
|
b i i |
|
|max |
= O()
|i |
|i |
|max |
|i |
para todo i
para todo i.
max |
150
1016 o mayor ( |
|min | = 3.8 10
I+D MTM2006
15 / 35

b1 . . .
calculados
A + E,
con kEk2 = O()kAk2

ordenador.
|
b i i |
|
|max |
= O()
|i |
|i |
|max |
|i |
para todo i
para todo i.
max |
150
1016 o mayor ( |
|min | = 3.8 10
I+D MTM2006
15 / 35

b1 . . .
calculados
A + E,
con kEk2 = O()kAk2

ordenador.
|
b i i |
|
|max |
= O()
|i |
|i |
|max |
|i |
para todo i
para todo i.
max |
150
1016 o mayor ( |
|min | = 3.8 10
I+D MTM2006
15 / 35
Objetivo de un algoritmo de alta precisin (I)
Dada A = AT Rnn , se dice que un algoritmo calcula todos sus

autovalores con alta precisin relativa (apr) si los autovalores
calculados satisfacen
bi i | = O() |i |
|
para todo i
y, adems,
1
el coste es O(n3 ) (del mismo orden que los algoritmos

tradicionales),
y no utiliza precisin extra o clculos simblicos.
I+D MTM2006
16 / 35

bi i | = O() |i |
|
para todo i
y, adems,
1

tradicionales),
I+D MTM2006
16 / 35

bi i | = O() |i |
|
para todo i
y, adems,
1

tradicionales),
I+D MTM2006
16 / 35

bi i | = O() |i |
|
para todo i
y, adems,
1

tradicionales),
I+D MTM2006
16 / 35

bi i | = O() |i |
|
para todo i
y, adems,
1

tradicionales),
I+D MTM2006
16 / 35
Objetivo de un algoritmo de alta precisin (II)
APR en autovalores slo es posible para tipos especiales de

matrices para las que se pueden calcular factorizaciones (tipo
LU) con precisin.
Estas matrices incluyen entre otras (por ahora) las matrices
simtricas: definidas positivas bien escaladas, diagonalmente
dominantes, Cauchy y Cauchy escaladas, Vandermonde,
totalmente no negativas (TN),........
Para TN no simtricas tambin es posible APR (nico caso no
simtrico en autovalores).
I+D MTM2006
17 / 35

LU) con precisin.
I+D MTM2006
17 / 35

LU) con precisin.
I+D MTM2006
17 / 35
Resumen
I+D MTM2006
18 / 35
Logro principal: Algoritmo implcito de Jacobi (I)
Objetivo concreto del proyecto:

Desarrollo de un algoritmo ortogonal de alta precisin relativa y que
preserve la simetra para calcular autovalores y autovectores de
matrices simtricas.
Resuelto en:
F. M. Dopico, P. Koev y J. M. Molera, Implicit standard Jacobi gives
high relative accuracy, enviado para publicacin a Numerische
Mathematik.
I+D MTM2006
19 / 35
Logro principal: Algoritmo implcito de Jacobi (I)

Desarrollo de un algoritmo ortogonal de alta precisin relativa y que
preserve la simetra para calcular autovalores y autovectores de
matrices simtricas.
Resuelto en:
F. M. Dopico, P. Koev y J. M. Molera, Implicit standard Jacobi gives
high relative accuracy, enviado para publicacin a Numerische
Mathematik.
I+D MTM2006
19 / 35
Logro principal: Algoritmo implcito de Jacobi (II)
Presentado por IP en charla plenarias invitadas:

An orthogonal and symmetric high relative accuracy algorithm for
the symmetric eigenproblem. Householder Symposium XVII,
Zeuthen, Alemania, 1-6 de Junio del 2008.
Implicit standard Jacobi gives high relative accuracy on rank
revealing decompositions. VII International Workshop on Accurate
Solution of Eigenvalue Problems, CAAS, Dubrovnik, Croatia, 9-12
de Junio del 2008.
Implicit Jacobi algorithms for the symmetric eigenproblem. 15th
International Linear Algebra Society Conference, Cancn, Mxico,
16-20 de Junio del 2008.
I+D MTM2006
20 / 35
Idea bsica del algoritmo implcito de Jacobi (I)
El algoritmo clsico de Jacobi

INPUT: Dada A0 = A Rnn simtrica.
PASO BSICO: Calcular una matriz ortogonal R tal que
(RkT Ak Rk )ij = 0, para algn i 6= j (diagonalizacin 2 2),
entonces
Ak Ak+1 = RkT Ak Rk .
Seguir hasta que Ak es suficientemente diagonal.
OUTPUT: los autovalores son los elementos diagonales.
I+D MTM2006
21 / 35
Idea bsica del algoritmo implcito de Jacobi (II)

El algoritmo implcito de Jacobi
INPUT: Factores X0 = X y D diagonal de una descomposicin
A = XDX T de A simtrica.
PASO BSICO: Calcular un matriz ortogonal R tal que
(RkT (Xk DXkT )Rk )ij = 0, para i 6= j (diagonalizacin 2 2),
entonces
Xk DXkT (RkT Xk )D(RkT Xk )T .
Seguir hasta que Xk DXkT es suficientemente diagonal.
Observacin
La iteracin es sobre el factor X: D no cambia y las matrices Ak
nunca se forman.
X0 X1 = R0T X0 X2 = R1T X1
I+D MTM2006
22 / 35
Idea bsica del algoritmo implcito de Jacobi (II)

El algoritmo implcito de Jacobi
INPUT: Factores X0 = X y D diagonal de una descomposicin
A = XDX T de A simtrica.
PASO BSICO: Calcular un matriz ortogonal R tal que
(RkT (Xk DXkT )Rk )ij = 0, para i 6= j (diagonalizacin 2 2),
entonces
Xk DXkT (RkT Xk )D(RkT Xk )T .
Seguir hasta que Xk DXkT es suficientemente diagonal.
Observacin
La iteracin es sobre el factor X: D no cambia y las matrices Ak
nunca se forman.
X0 X1 = R0T X0 X2 = R1T X1
I+D MTM2006
22 / 35
Errores en el algoritmo implcito de Jacobi (I)

Theorem (Estabilidad en sentido regresivo multiplicativo)
Sea N el nmero de diagonalizaciones 2 2 aplicadas a
byU
b las matrices de
A = XDX T hasta la convergencia, y
autovalores y autovectores calculados. Entonces existe una matriz
ortogonal exacta U tal que
b T = (I + E) XDX T (I + E)T ,
U U
con
b U kF = O(N ).
kEkF = O( N (X)) y kU
Corollary (Errores en autovalores-teora perturbaciones
multiplicativas)
i i |
|
O( N (X))
|i |
para todo
i,
I+D MTM2006
23 / 35
Errores en el algoritmo implcito de Jacobi (I)

Theorem (Estabilidad en sentido regresivo multiplicativo)
Sea N el nmero de diagonalizaciones 2 2 aplicadas a
byU
b las matrices de
A = XDX T hasta la convergencia, y
autovalores y autovectores calculados. Entonces existe una matriz
ortogonal exacta U tal que
b T = (I + E) XDX T (I + E)T ,
U U
con
b U kF = O(N ).
kEkF = O( N (X)) y kU
multiplicativas)
i i |
|
O( N (X))
|i |
para todo
i,
I+D MTM2006
23 / 35
Errores en el algoritmo implcito de Jacobi (II)

multiplicativas)
i i |
|
O( N (X))
|i |
para todo
i,
Factorizaciones con X bien condicionada

Variantes simtricas de la eliminacin Gaussiana con pivote
completo factorizan A = AT Rnn
A = XDX T
con
(X) n,
en general.
I+D MTM2006
24 / 35
Errores en el algoritmo implcito de Jacobi (II)

multiplicativas)
i i |
|
O( N (X))
|i |
para todo
i,
Factorizaciones con X bien condicionada

Variantes simtricas de la eliminacin Gaussiana con pivote
completo factorizan A = AT Rnn
A = XDX T
con
(X) n,
en general.
I+D MTM2006
24 / 35
Otros logros del proyecto (I)

Una implementacin optimizada y un anlisis de errores a posteriori
de nuestro algoritmo SSVD (Signed Singular Value Decomposition).
Resuelto en:
F. M. Dopico y J. M. Molera. Computing eigenvectors with full high
relative accuracy in the SSVD algorithm, casi finalizada la
redaccin y presentado en dos congresos.
I+D MTM2006
25 / 35
Otros logros del proyecto (I)

Una implementacin optimizada y un anlisis de errores a posteriori
de nuestro algoritmo SSVD (Signed Singular Value Decomposition).
Resuelto en:
F. M. Dopico y J. M. Molera. Computing eigenvectors with full high
relative accuracy in the SSVD algorithm, casi finalizada la
redaccin y presentado en dos congresos.
I+D MTM2006
25 / 35
Otros logros del proyecto (II)

Algoritmos precisos para clculos espectrales con matrices signo
regulares.
Resuelto para un caso particular en:

P. Koev y F. M. Dopico. Accurate eigenvalues of certain sign
regular matrices. Linear Algebra and its Applications, 424 (2007),
pp. 435-447.
I+D MTM2006
26 / 35
Otros logros del proyecto (II)

Algoritmos precisos para clculos espectrales con matrices signo
regulares.
Resuelto para un caso particular en:

P. Koev y F. M. Dopico. Accurate eigenvalues of certain sign
regular matrices. Linear Algebra and its Applications, 424 (2007),
pp. 435-447.
I+D MTM2006
26 / 35
Otros logros del proyecto (III)

Algoritmos para factorizaciones tipo LU que revelen el rango de
matrices estructuradas.
Tratado en:
F. M. Dopico y C. R. Johnson. Parametrization of the matrix
symplectic group and applications, aceptado para publicacin en
SIAM Journal on Matrix Analysis and Applications.
M. I. Bueno y C. R. Johnson. Minimum deviation, quasi-LU
factorization of nonsingular matrices. Linear Algebra and its
Applications, 427 (2007), pp. 99-118.
I+D MTM2006
27 / 35
Otros logros del proyecto (III)

Algoritmos para factorizaciones tipo LU que revelen el rango de
matrices estructuradas.
Tratado en:
F. M. Dopico y C. R. Johnson. Parametrization of the matrix
symplectic group and applications, aceptado para publicacin en
SIAM Journal on Matrix Analysis and Applications.
M. I. Bueno y C. R. Johnson. Minimum deviation, quasi-LU
factorization of nonsingular matrices. Linear Algebra and its
Applications, 427 (2007), pp. 99-118.
I+D MTM2006
27 / 35
Otros logros del proyecto (IV)

Algoritmo y propiedades de la factorizacin QR de matrices totalmente
positivas.
Resuelto en:
F.M. Dopico y P. Koev, Bidiagonal decompositions of oscillating
systems of vectors. Linear Algebra and its Applications 428, pp.
2536-2548 (2008).
F. M. Dopico y P. Koev. Perturbation theory and accurate
computation of the Q factor of totally positive matrices, en
preparacin.
I+D MTM2006
28 / 35
Otros logros del proyecto (IV)

Algoritmo y propiedades de la factorizacin QR de matrices totalmente
positivas.
Resuelto en:
F.M. Dopico y P. Koev, Bidiagonal decompositions of oscillating
systems of vectors. Linear Algebra and its Applications 428, pp.
2536-2548 (2008).
F. M. Dopico y P. Koev. Perturbation theory and accurate
computation of the Q factor of totally positive matrices, en
preparacin.
I+D MTM2006
28 / 35
Otros logros del proyecto (V)

Anlisis de errores y nmeros de condicin de factorizaciones LU.
Tratado en:
C. Brittin y M. I. Bueno. Numerical properties of shifted tridiagonal
LU factorizations. Mediterranean Journal of Mathematics, 4
(2007), pp. 275-288.
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 preparacin.
I+D MTM2006
29 / 35
Otros logros del proyecto (V)

Anlisis de errores y nmeros de condicin de factorizaciones LU.
Tratado en:
C. Brittin y M. I. Bueno. Numerical properties of shifted tridiagonal
LU factorizations. Mediterranean Journal of Mathematics, 4
(2007), pp. 275-288.
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 preparacin.
I+D MTM2006
29 / 35
Otros logros del proyecto (VI)

Algoritmos estables para calcular matrices de Jacobi asociadas a
relaciones de recurrencia a tres trminos de familias de polinomios
ortogonales.
Tratado en:
M. I. Bueno, A. Deao y E. Tavernetti, An algorithm for computing
the Geronimus transformation with large shifts, enviado a
Numerical Algorithms.
I+D MTM2006
30 / 35
Otros logros del proyecto (VI)

Algoritmos estables para calcular matrices de Jacobi asociadas a
relaciones de recurrencia a tres trminos de familias de polinomios
ortogonales.
Tratado en:
M. I. Bueno, A. Deao y E. Tavernetti, An algorithm for computing
the Geronimus transformation with large shifts, enviado a
Numerical Algorithms.
I+D MTM2006
30 / 35
Resumen
I+D MTM2006
31 / 35
MTM2009-09281. lgebra Lineal Numrica: teora,

estructuras y algoritmos
Solicitantes: M. I. Bueno, J. A. Ceballos, Froiln M. Dopico (IP),
J. M. Molera, y los nuevos investigadores, F. De Tern y H. Oulad
(A. Doctores, UC3M).
Tres temas principales:
Algoritmos de alta precisin para sistemas de ecuaciones lineales,
para autovalores, autovectores y descomposiciones en valores
singulares de matrices estructuradas.
Estabilidad de algoritmos rpidos para problemas matriciales
quasiseparables.
Polinomios matriciales singulares: teora, linealizaciones y
algoritmos estructurados.
Este es un tema completamente nuevo en nuestras
solicitudes!
I+D MTM2006
32 / 35

quasiseparables.
solicitudes!
I+D MTM2006
32 / 35

quasiseparables.
solicitudes!
I+D MTM2006
32 / 35
Publicaciones del equipo en polinomios matriciales

F. De Tern, F. M. Dopico y D. S. Mackey, Fiedler companion linearizations and
the recovery of minimal indices, en preparacin.
F. De Tern y F.M. Dopico, First order spectral perturbation theory of square
singular matrix polynomials, enviado para publicacin a Linear Algebra and its
Applications.
F. De Tern, F.M. Dopico y D. S. Mackey, Linearizations of singular matrix
polynomials and the recovery of minimal indices, aceptado para publicacin a
Electronic Journal of Linear Algebra.
F. De Tern y F.M. Dopico, Low rank perturbation of regular matrix polynomials.
Linear Algebra and its Applications 430, pp. 579-586 (2009).
F. De Tern y F.M. Dopico, Sharp lower bounds for the dimension of
linearizations of matrix polynomials. Electronic Journal of Linear Algebra 17, pp.
518-531 (2008).
F. De Tern, F.M. Dopico y J. Moro, First order spectral perturbation theory of
square singular matrix pencils. Linear Algebra and its Applications 429, pp.
548-576 (2008).
F. De Tern 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.
I+D MTM2006
33 / 35
Publicaciones del equipo en polinomios matriciales

F. De Tern, F. M. Dopico y D. S. Mackey, Fiedler companion linearizations and
the recovery of minimal indices, en preparacin.
F. De Tern y F.M. Dopico, First order spectral perturbation theory of square
singular matrix polynomials, enviado para publicacin a Linear Algebra and its
Applications.
F. De Tern, F.M. Dopico y D. S. Mackey, Linearizations of singular matrix
polynomials and the recovery of minimal indices, aceptado para publicacin a
Electronic Journal of Linear Algebra.
F. De Tern y F.M. Dopico, Low rank perturbation of regular matrix polynomials.
Linear Algebra and its Applications 430, pp. 579-586 (2009).
F. De Tern y F.M. Dopico, Sharp lower bounds for the dimension of
linearizations of matrix polynomials. Electronic Journal of Linear Algebra 17, pp.
518-531 (2008).
F. De Tern, F.M. Dopico y J. Moro, First order spectral perturbation theory of
square singular matrix pencils. Linear Algebra and its Applications 429, pp.
548-576 (2008).
F. De Tern 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.
I+D MTM2006
33 / 35
Resumen
I+D MTM2006
34 / 35
Simplificacin de trmites en proyectos de

matemticas o de cuanta similar
Escribir 4 informes (inicial+anual+anual+final) es innecesario.

Si vienes a la reunin de Zaragoza: 2 documentos ms.
Aumentar el periodo de duracin de proyectos de 3 a 4 aos.

La memoria tcnica de la solicitud es simplificable. Ej:
Metodologa y plan de trabajo, Cronograma, difusin,....
I+D MTM2006
35 / 35



I+D MTM2006
35 / 35



I+D MTM2006
35 / 35



I+D MTM2006
35 / 35

Dopico Zaragoza 2009 PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Dopico Zaragoza 2009 PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Algoritmos precisos y estables en lgebra

Lineal Numrica (MTM2006-06671)

Jornadas de seguimiento de proyectos I+D MTM2006,

F. M. Dopico (U. Carlos III, Madrid)

Algoritmos precisos y estables en ALN

Contexto matemtico del proyecto

Necesidad de investigar en la precisin de los algoritmos

Principales logros obtenidos-Consecucin objetivos

Conexin con la solicitud MTM2009-09281

F. M. Dopico (U. Carlos III, Madrid)

Algoritmos precisos y estables en ALN

Contexto matemtico del proyecto

Necesidad de investigar en la precisin de los algoritmos

Principales logros obtenidos-Consecucin objetivos

Conexin con la solicitud MTM2009-09281

F. M. Dopico (U. Carlos III, Madrid)

Algoritmos precisos y estables en ALN

El proyecto en nmeros: Datos bsicos

5+1 miembros del equipo:

J. Alcntara (Prof. IES)

Financiacin total obtenida: 49331, 70 Eur

F. M. Dopico (U. Carlos III, Madrid)

Algoritmos precisos y estables en ALN

El proyecto en nmeros: Datos bsicos

5+1 miembros del equipo:

J. Alcntara (Prof. IES)

Financiacin total obtenida: 49331, 70 Eur

F. M. Dopico (U. Carlos III, Madrid)

Algoritmos precisos y estables en ALN

El proyecto en nmeros: Publicaciones

14 publicaciones en revistas indexadas en JCR en las categoras

Por parmetro de impacto:

5 trabajos enviados a publicar que se encuentran en proceso de

F. M. Dopico (U. Carlos III, Madrid)

Algoritmos precisos y estables en ALN

El proyecto en nmeros: Publicaciones

14 publicaciones en revistas indexadas en JCR en las categoras

Por parmetro de impacto:

5 trabajos enviados a publicar que se encuentran en proceso de

F. M. Dopico (U. Carlos III, Madrid)

Algoritmos precisos y estables en ALN

El proyecto en nmeros: Publicaciones

14 publicaciones en revistas indexadas en JCR en las categoras

Por parmetro de impacto:

5 trabajos enviados a publicar que se encuentran en proceso de

F. M. Dopico (U. Carlos III, Madrid)

Algoritmos precisos y estables en ALN

El proyecto en nmeros: Publicaciones

14 publicaciones en revistas indexadas en JCR en las categoras

Por parmetro de impacto:

5 trabajos enviados a publicar que se encuentran en proceso de

F. M. Dopico (U. Carlos III, Madrid)

Algoritmos precisos y estables en ALN

El proyecto en nmeros: Publicaciones

14 publicaciones en revistas indexadas en JCR en las categoras

Por parmetro de impacto:

5 trabajos enviados a publicar que se encuentran en proceso de

F. M. Dopico (U. Carlos III, Madrid)

Algoritmos precisos y estables en ALN

El proyecto en nmeros: Publicaciones

14 publicaciones en revistas indexadas en JCR en las categoras

Por parmetro de impacto:

5 trabajos enviados a publicar que se encuentran en proceso de