The algorithm by Samuelson-Berkowitz (after Paul A. Samuelson and S. Berkowitz) is a method that determines the coefficients of the characteristic polynomial of for arbitrary quadratic input matrices , i.e. H. especially the determinant of . In contrast to the algorithm of Faddejew-Leverrier, for example , the requirements are less restrictive: matrices are also permitted as input , the entries of which are elements of any commutative ring with one element, so that the method works completely without divisions.
Notation and idea of the procedure
We denote with
-
the - identity matrix
-
the submatrix of consisting of the first rows and columns
-
is the characteristic polynomial of , where
-
the line vector with the components with
-
the column vector with the components with
and consider the following partitioning of :
The basic idea of the procedure is
to compute the characteristic polynomial of recursive. With the above notation, the following applies initially
where denotes the adjuncts of (reason: development after the last line using Laplace's expansion theorem , cf.).
This means especially for the characteristic polynomial of :
In addition, one can easily show that the adjuncts in (*) can be written as follows (see e.g.):
Herein are the coefficients of the characteristic polynomial of .
Samuelson's formula
We now get the desired recursive representation for the characteristic polynomial of ( called Samuelson's formula in literature ) by combining the above two relationships (*) and (**):
Samuelson-Berkowitz method
Matrix vector notation
In order to be able to formulate an effective and more easily readable algorithm, we now transfer Samuelson's formula in matrix notation. To do this, we assign a polynomial of degree
the coefficient vector
as well as the following Toeplitz matrix (which is also a lower triangular matrix):
More precisely, the entry at the position of is given by
We now have defined the polynomial by
then Samuelson's formula can be represented in the following compact form (cf. and):
Algebraic top-level formulation
By successively applying this principle, the following central statement is obtained (see and):
With , well
applies:
- The coefficients of the characteristic polynomial of for are given by:
- In particular, if , we get the coefficients of the characteristic polynomial of by:
algorithm
With this one can now formulate the following algorithm (cf.):
*
*
The algorithm not only calculates the coefficients of the characteristic polynomial of , but also in each loop iteration for the sub-matrix .
Historical
The basic idea of the process was first described and published in 1942 by Paul A. Samuelson . The algorithm in the form presented above and in use today goes back to Berkowitz (parallel version) and Abdeljaoued (description as a serial procedure), which is why the name Samuelson-Berkowitz-Abdeljaoued algorithm (SBA algorithm) is sometimes found in the literature.
Correctness of the algorithm
Since only finite loops occur in the method formulated above, it is clear that the algorithm terminates . The partial correctness follows from Samuelson's formula and the algebraic top-level formulation derived from it in matrix-vector form (see above, cf. e.g.). More precisely, the correctness is based on the following loop invariant : At the end of the -th loop pass, the vector contains the coefficients of the characteristic polynomial of
(formulation as postcondition ).
Effort, efficiency and parallelization
It can be shown that the effort (time complexity) of the algorithm is of the order of magnitude . A more precise limit is given by the number of arithmetic operations . When implementing the method, one can also take advantage of the fact that there are effective methods for the multiplication of Toeplitz matrices. The algorithm can also be parallelized very well; more details can be found specifically in.
Numerical example
We look at the matrix
- We start the recursion with the characteristic polynomial of the matrix for which applies, i.e. H.
-
:
- We now calculate . For this we first need the coefficients of :
-
:
- So
- The Toeplitz matrix now results from this
- and thus
- So the characteristic polynomial of is
-
:
- We find the coefficients of :
-
:
-
-
:
- So
- and
- With that we get
- The characteristic polynomial of is therefore
-
:
- We find the coefficients of :
-
:
-
-
:
-
-
:
- So
- and
- The final matrix-vector multiplication now provides the coefficients of the characteristic polynomial sought for the entire matrix :
- From this you can read off the end result sought:
- In particular one obtains for the determinant of
literature
- J. Abdeljaoued, The Berkowitz algorithm, Maple and computing the characteristic polynomial in an arbitrary commutative ring , MapleTech Vol. 4, no. 3, pp. 21-32, Birkhäuser Boston Basel Berlin, 1997
- Stuart J. Berkowitz: On computing the determinant in small parallel time using a small number of processors , Information Processing Letters, 18, pp. 147-150, 1985, doi : 10.1016 / 0020-0190 (84) 90018-8
- G. Nakos and Robert M. Williams: A Fast Computation of the Characteristic polynomial , Mathematica in Education and Research, Vol. 9, No. 1, 2000
-
Paul A. Samuelson : A method for determining explicitly the characteristic equation , Annals of Mathematical Statistics, 13, pp. 424-429, 1942, doi : 10.1214 / aoms / 1177731540
- Günter Rote: Division-free algorithms for the determinant and the Pfaffian: algebraic and combinatorial approaches , in: Computational Discrete Mathematics , Editor: Helmut Alt, Lecture Notes in Computer Science 2122, Springer-Verlag, 2001, pp. 119-135, online version (PDF; 250 kB)
- Michael Soltys: Berkowitz's Algorithm and Clow Sequences , The Electronic Journal of Linear Algebra (ELA), ISSN 1081-3810 , Volume 9, pp. 42-54, April 2002, online version (PDF; 168 kB)
Individual evidence
-
↑ a b c Michael Soltys: Berkowitz's Algorithm and Clow Sequences , The Electronic Journal of Linear Algebra (ELA), ISSN 1081-3810 , Volume 9, pp. 42-54, April 2002, online version (PDF; 168 kB)
-
↑ a b c d J. Abdeljaoued, The Berkowitz algorithm, Maple and computing the characteristic polynomial in an arbitrary commutative ring , MapleTech Vol. 4, No. 3, pp. 21-32, Birkhäuser Boston Basel Berlin, 1997
-
↑ a b c d Stuart J. Berkowitz: On computing the determinant in small parallel time using a small number of processors , Information Processing Letters, 18, pp. 147-150, 1985, doi : 10.1016 / 0020-0190 (84) 90018-8
-
^ A b G. Nakos and Robert M. Williams: A Fast Computation of the Characteristic polynomial , Mathematica in Education and Research, Vol. 9, No. 1, 2000
-
^ Paul A. Samuelson: A method for determining explicitly the characteristic equation , Annals of Mathematical Statistics, 13, pp. 424-429, 1942, doi: 10.1214 / aoms / 1177731540