Download - Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Transcript
Page 1: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Preconditioners for Singular Black Box Matrices

William J. Turner

Department of Mathematics & Computer ScienceWabash College

Crawfordsville, IN 47933

ISSAC 2005 : Beijing, China27 July 2005

Page 2: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Outline

Generalized NetworksArbitrary Radix Switching NetworksGeneric Exchange Matrices

Rank Preconditioner

Page 3: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Arbitrary Radix Switches

Generalize butterfly switch to radix-ρ switch:

Example (Radix-ρ switches: ρ = 2, 3, 4)

x1

AAAA

AAAA

A x2

}}}}

}}}}

}

x1 x2

x1

AAAA

AAAA

A

PPPPPPPPPPPPPP x2

}}}}

}}}}

}

AAAA

AAAA

A x3

nnnnnnnnnnnnnn

}}}}

}}}}

}

x1 x2 x3

x1

AAAA

AAAA

A

PPPPPPPPPPPPPP

UUUUUUUUUUUUUUUUUUUU x2

}}}}

}}}}

}

AAAA

AAAA

A

PPPPPPPPPPPPPP x3

nnnnnnnnnnnnnn

}}}}

}}}}

}

AAAA

AAAA

A x4

iiiiiiiiiiiiiiiiiiii

nnnnnnnnnnnnnn

}}}}

}}}}

}

x1 x2 x3 x4

Page 4: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Arbitrary Radix Switches

Generalize butterfly switch to radix-ρ switch:

Example (Radix-ρ switches: ρ = 2, 3, 4)

x1

AAAA

AAAA

A x2

}}}}

}}}}

}

x1 x2

x1

AAAA

AAAA

A

PPPPPPPPPPPPPP x2

}}}}

}}}}

}

AAAA

AAAA

A x3

nnnnnnnnnnnnnn

}}}}

}}}}

}

x1 x2 x3

x1

AAAA

AAAA

A

PPPPPPPPPPPPPP

UUUUUUUUUUUUUUUUUUUU x2

}}}}

}}}}

}

AAAA

AAAA

A

PPPPPPPPPPPPPP x3

nnnnnnnnnnnnnn

}}}}

}}}}

}

AAAA

AAAA

A x4

iiiiiiiiiiiiiiiiiiii

nnnnnnnnnnnnnn

}}}}

}}}}

}

x1 x2 x3 x4

Page 5: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Arbitrary Radix Switching Networks

Definition (`-dimensional radix-ρ switching network)

I Recursively defined

I ρ`−1 radix-ρ switches to merge outputs of ρ radix-ρsubnetworks of dimension `− 1

I Merges ith output of each of the subnetworks

Example (ρ = 3, ` = 2)

0

��

1

$$IIIIIIIII 0

zzuuuuuuuuu0

��

0

$$IIIIIIIII 1

zzuuuuuuuuu0

$$IIIIIIIII 1

zzuuuuuuuuu1

��0

++XXXXXXXXXXXXXXXXXXXXXX 0

++XXXXXXXXXXXXXXXXXXXXXX 1

��

0

++XXXXXXXXXXXXXXXXXXXXXX 1

ssffffffffffffffffffffff 0

��

1

qqccccccccccccccccccccccccccccccccccccccccccc 0

��

1

��1 1 1 0 0 0 0 0 1

Page 6: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Arbitrary Radix Switching Networks

Definition (`-dimensional radix-ρ switching network)

I Recursively defined

I ρ`−1 radix-ρ switches to merge outputs of ρ radix-ρsubnetworks of dimension `− 1

I Merges ith output of each of the subnetworks

Example (ρ = 3, ` = 2)

0

��

1

$$IIIIIIIII 0

zzuuuuuuuuu0

��

0

$$IIIIIIIII 1

zzuuuuuuuuu0

$$IIIIIIIII 1

zzuuuuuuuuu1

��0

++XXXXXXXXXXXXXXXXXXXXXX 0

++XXXXXXXXXXXXXXXXXXXXXX 1

��

0

++XXXXXXXXXXXXXXXXXXXXXX 1

ssffffffffffffffffffffff 0

��

1

qqccccccccccccccccccccccccccccccccccccccccccc 0

��

1

��1 1 1 0 0 0 0 0 1

Page 7: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Arbitrary Radix Switching Networks

LemmaLet n = ρ` where ρ ≥ 2. The `-dimensional radix-ρ switchingnetwork can switch any r indices 1 ≤ i1 < · · · < ir ≤ n into anydesired contiguous block of indices. For our purposes, wrappingthe block around the outside preserves contiguity.

Example (ρ = 3)

Page 8: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Arbitrary Radix Switching Networks

LemmaLet n = ρ` where ρ ≥ 2. The `-dimensional radix-ρ switchingnetwork can switch any r indices 1 ≤ i1 < · · · < ir ≤ n into anydesired contiguous block of indices. For our purposes, wrappingthe block around the outside preserves contiguity.

Example (ρ = 3)

Page 9: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Generalized Arbitrary Radix Switching Networks

Definition (Generalized radix-ρ switching network)

I Let n =

p∑i=1

ni where

ni = ci ρ`i

ci ∈ {1, . . . , ρ− 1}`1 < `2 < · · · < `p

I Radix-(ck + 1) switches to merge∑k−1

i=1 ni subnetwork withfar right nodes of ρ`k blocks

I Radix-ck switches to merge other nodes of ρ`k blocks

Page 10: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Generalized Arbitrary Radix Switching Networks

Definition (Generalized radix-ρ switching network)

I Let n =

p∑i=1

ni where

ni = ci ρ`i

ci ∈ {1, . . . , ρ− 1}`1 < `2 < · · · < `p

I Radix-(ck + 1) switches to merge∑k−1

i=1 ni subnetwork withfar right nodes of ρ`k blocks

I Radix-ck switches to merge other nodes of ρ`k blocks

Page 11: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Generalized Arbitrary Radix Switching Networks

Example (ρ = 3, n = 7 = 1 ρ0 + 2 ρ1)

0

��

0

��

1

$$IIIIIIIII 0

zzuuuuuuuuu0

**TTTTTTTTTTTTTTTT 1

zzuuuuuuuuu1

zzuuuuuuuuu

0

++XXXXXXXXXXXXXXXXXXXXXX 0

++XXXXXXXXXXXXXXXXXXXXXX 0

++XXXXXXXXXXXXXXXXXXXXXX 1

ssffffffffffffffffffffff 1

ssffffffffffffffffffffff 1

ssffffffffffffffffffffff 0

��1 1 1 0 0 0 0

TheoremSuppose ρ ≥ 2. The generalized radix-ρ switching networkdescribed above can switch any r indices 1 ≤ i1 < · · · < ir ≤ n intothe contiguous block 1, 2, . . . , r . Furthermore, it has a depth ofdlogρ(n)e and a total of no more than ρdlogρ(n)edlogρ(n)e/ρswitches of radix at most ρ. The network attains this bound onlywhen n = ρdlogρ(n)e or n < ρ.

Page 12: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Generalized Arbitrary Radix Switching Networks

Example (ρ = 3, n = 7 = 1 ρ0 + 2 ρ1)

0

��

0

��

1

$$IIIIIIIII 0

zzuuuuuuuuu0

**TTTTTTTTTTTTTTTT 1

zzuuuuuuuuu1

zzuuuuuuuuu

0

++XXXXXXXXXXXXXXXXXXXXXX 0

++XXXXXXXXXXXXXXXXXXXXXX 0

++XXXXXXXXXXXXXXXXXXXXXX 1

ssffffffffffffffffffffff 1

ssffffffffffffffffffffff 1

ssffffffffffffffffffffff 0

��1 1 1 0 0 0 0

TheoremSuppose ρ ≥ 2. The generalized radix-ρ switching networkdescribed above can switch any r indices 1 ≤ i1 < · · · < ir ≤ n intothe contiguous block 1, 2, . . . , r . Furthermore, it has a depth ofdlogρ(n)e and a total of no more than ρdlogρ(n)edlogρ(n)e/ρswitches of radix at most ρ. The network attains this bound onlywhen n = ρdlogρ(n)e or n < ρ.

Page 13: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Building Preconditioners

I Replace each switch by ρ× ρ symbolic exchange matrix Sk tomerge columns (not mix)

I Embed each exchange matrix as principal minor of n × nidentity matrix to create Sk

I Symbolic preconditioner is product: L =∏s

k=1 Sk

I Randomly choose values for symbols to create probabilisticpreconditioner: A = AL where L =

∏sk=1 Sk

Page 14: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Building Preconditioners

Example (ρ = 3)

Sk =

α1,1,k α1,2,k α1,3,k

α2,1,k α2,2,k α2,3,k

α3,1,k α3,2,k α3,3,k

Sk =

1. . .

α1,1,k α1,2,k α1,3,k

. . .

α2,1,k α2,2,k α2,3,k

. . .

α3,1,k α3,2,k α3,3,k

. . .

1

Page 15: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Symbolic Toeplitz Matrix

T =

αρ αρ+1 . . . α2ρ−1

αρ−1 αρ . . . α2ρ−2...

.... . .

...α1 α2 . . . αρ

Using the lexicographic monomial ordering withα1 ≺ α2 ≺ · · · ≺ α2n−1:

lt(det

(T[i1,...,im;j1,...,jm]

))= (−1)bm/2c

m∏k=1

αn+jm+1−k−ik

Page 16: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Symbolic Toeplitz Matrix

T =

αρ αρ+1 . . . α2ρ−1

αρ−1 αρ . . . α2ρ−2...

.... . .

...α1 α2 . . . αρ

Using the lexicographic monomial ordering withα1 ≺ α2 ≺ · · · ≺ α2n−1:

lt(det

(T[i1,...,im;j1,...,jm]

))= (−1)bm/2c

m∏k=1

αn+jm+1−k−ik

Page 17: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Toeplitz Exchange Matrix

Let A′ be submatrix of A affected by T .

I A′ includes a subset of r ′ of the r linearly independentcolumns of A where 0 ≤ r ′ ≤ r .

I det((A′T )[I ,J ]) =∑

K ={k1,...,km}1≤k1<···<km≤n

det(A′[I ,K ]) det(T[K ,J ])

I Every set of m ≤ r ′ columns of A′T linearly independent

I Embedded Toeplitz exchange matrix T can move linearindependence freely within one switch.

I Each Tk uses different symbols =⇒ first r columns ofA(

∏Tk) linearly independent.

Page 18: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Toeplitz Exchange Matrix

Let A′ be submatrix of A affected by T .

I A′ includes a subset of r ′ of the r linearly independentcolumns of A where 0 ≤ r ′ ≤ r .

I det((A′T )[I ,J ]) =∑

K ={k1,...,km}1≤k1<···<km≤n

det(A′[I ,K ]) det(T[K ,J ])

I Every set of m ≤ r ′ columns of A′T linearly independent

I Embedded Toeplitz exchange matrix T can move linearindependence freely within one switch.

I Each Tk uses different symbols =⇒ first r columns ofA(

∏Tk) linearly independent.

Page 19: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Toeplitz Exchange Matrix

Let A′ be submatrix of A affected by T .

I A′ includes a subset of r ′ of the r linearly independentcolumns of A where 0 ≤ r ′ ≤ r .

I det((A′T )[I ,J ]) =∑

K ={k1,...,km}1≤k1<···<km≤n

det(A′[I ,K ]) det(T[K ,J ])

I Every set of m ≤ r ′ columns of A′T linearly independent

I Embedded Toeplitz exchange matrix T can move linearindependence freely within one switch.

I Each Tk uses different symbols =⇒ first r columns ofA(

∏Tk) linearly independent.

Page 20: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Toeplitz Exchange Matrix

Let A′ be submatrix of A affected by T .

I A′ includes a subset of r ′ of the r linearly independentcolumns of A where 0 ≤ r ′ ≤ r .

I det((A′T )[I ,J ]) =∑

K ={k1,...,km}1≤k1<···<km≤n

det(A′[I ,K ]) det(T[K ,J ])

I Every set of m ≤ r ′ columns of A′T linearly independent

I Embedded Toeplitz exchange matrix T can move linearindependence freely within one switch.

I Each Tk uses different symbols =⇒ first r columns ofA(

∏Tk) linearly independent.

Page 21: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Toeplitz Exchange Matrix

Let A′ be submatrix of A affected by T .

I A′ includes a subset of r ′ of the r linearly independentcolumns of A where 0 ≤ r ′ ≤ r .

I det((A′T )[I ,J ]) =∑

K ={k1,...,km}1≤k1<···<km≤n

det(A′[I ,K ]) det(T[K ,J ])

I Every set of m ≤ r ′ columns of A′T linearly independent

I Embedded Toeplitz exchange matrix T can move linearindependence freely within one switch.

I Each Tk uses different symbols =⇒ first r columns ofA(

∏Tk) linearly independent.

Page 22: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Toeplitz Exchange Matrix

Let A′ be submatrix of A affected by T .

I A′ includes a subset of r ′ of the r linearly independentcolumns of A where 0 ≤ r ′ ≤ r .

I det((A′T )[I ,J ]) =∑

K ={k1,...,km}1≤k1<···<km≤n

det(A′[I ,K ]) det(T[K ,J ])

I Every set of m ≤ r ′ columns of A′T linearly independent

I Embedded Toeplitz exchange matrix T can move linearindependence freely within one switch.

I Each Tk uses different symbols =⇒ first r columns ofA(

∏Tk) linearly independent.

Page 23: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Toeplitz Exchange Matrix

TheoremLet F be a field, let A ∈ Fn×n have r linearly independent columns,let s be the number of switches in the generalized radix-ρswitching network, and let S be a finite subset of F. Let N be thenumber of random numbers required in this network. If a1, . . . , aN

are randomly chosen uniformly and independently from S, then thefirst r columns of A(

∏sk=1 Tk) are linearly independent with

probability at least

1−rdlogρ(n)e

|S |≥ 1−

ndlogρ(n)e|S |

.

Page 24: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Toeplitz Rank Preconditioner

I ρ = n =⇒ any r columns of AT linearly independent

I Some r × r principal minor of AT nonzero

I ATD preconditioner for Kaltofen-Saunders rank algorithm[Turner(2002), Ch.3]

I Do not need D!

Page 25: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Toeplitz Rank Preconditioner

I ρ = n =⇒ any r columns of AT linearly independent

I Some r × r principal minor of AT nonzero

I ATD preconditioner for Kaltofen-Saunders rank algorithm[Turner(2002), Ch.3]

I Do not need D!

Page 26: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Toeplitz Rank Preconditioner

I ρ = n =⇒ any r columns of AT linearly independent

I Some r × r principal minor of AT nonzero

I ATD preconditioner for Kaltofen-Saunders rank algorithm[Turner(2002), Ch.3]

I Do not need D!

Page 27: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Toeplitz Rank Preconditioner

I ρ = n =⇒ any r columns of AT linearly independent

I Some r × r principal minor of AT nonzero

I ATD preconditioner for Kaltofen-Saunders rank algorithm[Turner(2002), Ch.3]

I Do not need D!

Page 28: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Characteristic Polynomial

I det(λI − AT ) =n∑

m=0

(−1)mEm(AT )λn−m

I Em(AT ) =∑

I ={i1,...,im}1≤i1<···<im≤n

det((AT )[I ,I ])

I m > r =⇒ Em(AT ) = 0

I λn−r divides det(λI − AT )

Page 29: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Characteristic Polynomial

I det(λI − AT ) =n∑

m=0

(−1)mEm(AT )λn−m

I Em(AT ) =∑

I ={i1,...,im}1≤i1<···<im≤n

det((AT )[I ,I ])

I m > r =⇒ Em(AT ) = 0

I λn−r divides det(λI − AT )

Page 30: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Characteristic Polynomial

I det(λI − AT ) =n∑

m=0

(−1)mEm(AT )λn−m

I Em(AT ) =∑

I ={i1,...,im}1≤i1<···<im≤n

det((AT )[I ,I ])

I m > r =⇒ Em(AT ) = 0

I λn−r divides det(λI − AT )

Page 31: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Leading Term of Characteristic Polynomial

Let

I P = {p1, . . . , pr} where 1 ≤ p1 < · · · < pr ≤ n be the pivotcolumn indices of A

I Q = {q1, . . . , qr} where 1 ≤ q1 < · · · < qr ≤ n be the indicesof the last r linearly independent rows of A

Then, under the lexicographic monomial ordering withλ ≺ α1 ≺ α2 ≺ · · · ≺ α2n−1,

lt(det(λI − AT )) = (−1)b3r/2cA[Q,P]λn−r

r∏k=1

αn+pm+1−k−qk

Page 32: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Characteristic Polynomial

I det(λI − AT ) = λn−rg where degλ(g) = r and λ does notdivide g

I lt(g) constant in λ and at most linear in each αi

I g squarefree

I f AT = λpg where p ≥ 1

I degλ(f AT ) ≥ r + 1

Page 33: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Characteristic Polynomial

I det(λI − AT ) = λn−rg where degλ(g) = r and λ does notdivide g

I lt(g) constant in λ and at most linear in each αi

I g squarefree

I f AT = λpg where p ≥ 1

I degλ(f AT ) ≥ r + 1

Page 34: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Characteristic Polynomial

I det(λI − AT ) = λn−rg where degλ(g) = r and λ does notdivide g

I lt(g) constant in λ and at most linear in each αi

I g squarefree

I f AT = λpg where p ≥ 1

I degλ(f AT ) ≥ r + 1

Page 35: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Characteristic Polynomial

I det(λI − AT ) = λn−rg where degλ(g) = r and λ does notdivide g

I lt(g) constant in λ and at most linear in each αi

I g squarefree

I f AT = λpg where p ≥ 1

I degλ(f AT ) ≥ r + 1

Page 36: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Characteristic Polynomial

I det(λI − AT ) = λn−rg where degλ(g) = r and λ does notdivide g

I lt(g) constant in λ and at most linear in each αi

I g squarefree

I f AT = λpg where p ≥ 1

I degλ(f AT ) ≥ r + 1

Page 37: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Degree Upper Bound

I Sylvester’s inequality: rank(AT ) ≤ r

I λ divides the n − r largest invariant factors sk(λI − AT )

I deg(f AT ) ≤ r + 1

I deg(f AT ) = r + 1

Page 38: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Degree Upper Bound

I Sylvester’s inequality: rank(AT ) ≤ r

I λ divides the n − r largest invariant factors sk(λI − AT )

I deg(f AT ) ≤ r + 1

I deg(f AT ) = r + 1

Page 39: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Degree Upper Bound

I Sylvester’s inequality: rank(AT ) ≤ r

I λ divides the n − r largest invariant factors sk(λI − AT )

I deg(f AT ) ≤ r + 1

I deg(f AT ) = r + 1

Page 40: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Degree Upper Bound

I Sylvester’s inequality: rank(AT ) ≤ r

I λ divides the n − r largest invariant factors sk(λI − AT )

I deg(f AT ) ≤ r + 1

I deg(f AT ) = r + 1

Page 41: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Toeplitz Rank Preconditioner

TheoremLet F be a field, A ∈ Fn×n have rank r with r ≤ n − 1, and S be afinite subset of F. If

T =

an an+1 . . . a2n−1

an−1 an . . . a2n−2...

.... . .

...a1 a2 . . . an

∈ Fn×n,

where a1, . . . , a2n−1 are chosen uniformly and independently fromS, then the matrix AT has characteristic polynomialdet(λI − AT ) = λn−rg(λ) and minimal polynomial f AT = λ g(λ)where g(0) 6= 0 and deg(f AT ) = r + 1, all with probability at least

1− r(r + 1)

2|S |≥ 1− n(n − 1)

2|S |.

Page 42: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Conclusion

I Generalization of Chen et al. butterfly preconditioners toarbitrary radix switches

I Small increase in probability bound for successI ρ → n allows search for other rank preconditioners

I Monomial ordering and leading term arguments

I Toeplitz matrices as arbitrary radix exchange matricesI Toeplitz matrix as rank preconditioner

I Better probability of successI Asymptotically slower than butterfly preconditioner

I Apply to other matrices?

Page 43: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Conclusion

I Generalization of Chen et al. butterfly preconditioners toarbitrary radix switches

I Small increase in probability bound for successI ρ → n allows search for other rank preconditioners

I Monomial ordering and leading term arguments

I Toeplitz matrices as arbitrary radix exchange matricesI Toeplitz matrix as rank preconditioner

I Better probability of successI Asymptotically slower than butterfly preconditioner

I Apply to other matrices?

Page 44: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Conclusion

I Generalization of Chen et al. butterfly preconditioners toarbitrary radix switches

I Small increase in probability bound for successI ρ → n allows search for other rank preconditioners

I Monomial ordering and leading term arguments

I Toeplitz matrices as arbitrary radix exchange matricesI Toeplitz matrix as rank preconditioner

I Better probability of successI Asymptotically slower than butterfly preconditioner

I Apply to other matrices?

Page 45: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

Conclusion

I Generalization of Chen et al. butterfly preconditioners toarbitrary radix switches

I Small increase in probability bound for successI ρ → n allows search for other rank preconditioners

I Monomial ordering and leading term arguments

I Toeplitz matrices as arbitrary radix exchange matricesI Toeplitz matrix as rank preconditioner

I Better probability of successI Asymptotically slower than butterfly preconditioner

I Apply to other matrices?

Page 46: Preconditioners for Singular Black Box Matrices · Preconditioners for Singular Black Box Matrices William J. Turner Department of Mathematics & Computer Science Wabash College Crawfordsville,

References

L. Chen, W. Eberly, E. Kaltofen, B. D. Saunders,W. J. Turner, & G. Villard (2002).Efficient Matrix Preconditioners for Black Box Linear Algebra.Linear Algebra and its Applications, 343-344:119–146.Special issue on Infinite Systems of Linear Equations FinitelySpecified.

W. J. Turner (2002).Black Box Linear Algebra with the LinBox Library.Ph.D. thesis, Raleigh, North Carolina.