
TL;DR
This paper presents a simple, explicit two-step algorithm to extend Fillmore's Theorem to integer matrices, allowing the construction of similar matrices with prescribed integer diagonals.
Contribution
It introduces a straightforward, two-step similarity algorithm that extends Fillmore's Theorem to integer matrices, simplifying previous methods.
Findings
The algorithm completes in only two similarity steps.
It guarantees the existence of an integer similar matrix with any prescribed diagonal summing to the trace.
The method simplifies the construction process for integer matrices.
Abstract
Fillmore Theorem says that if is a nonscalar matrix of order over a field and are such that , then there is a matrix similar to with diagonal . Fillmore proof works by induction on the size of and implicitly provides an algorithm to construct . We develop an explicit and extremely simple algorithm that finish in two steps (two similarities), and with its help we extend Fillmore Theorem to integers (if is integer then we can require to to be integer).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicsadvanced mathematical theories · Matrix Theory and Algorithms · Mathematical and Theoretical Analysis
Fillmore Theorem for integers
111Keywords: Inverse problem, field, similarity, diagonal.
222Mathematics subject classification: 15A83. 333Supported by the Spanish Ministerio de Ciencia y Tecnología MTM2015-68805-REDT.
Alberto Borobia
Dpto. Matemáticas, Universidad Nacional de Educación a Distancia (UNED), Spain
e-mail:
Abstract
Fillmore Theorem says that if is a nonscalar matrix of order over a field and are such that , then there is a matrix similar to with diagonal . Fillmore proof works by induction on the size of and implicitly provides an algorithm to construct . We develop an explicit and extremely simple algorithm that finish in two steps (two similarities), and with its help we extend Fillmore Theorem to integers (if is integer then we can require to to be integer).
1 Introduction
An inverse problem asks for the existence of a matrix with prescribed structural and spectral constraints. The following is an early inverse problem result stated by Fillmore in 1969.
Theorem 1**.**
Let be a nonscalar matrix of order over a field and let such that . Then there is a matrix similar to with diagonal .
The proof given in [1] is by induction on the size of and implicitly provides an algorithm to construct a matrix similar to with diagonal . Tough the algorithm is elementary, it requires some tedious calculus for each induction step. For completeness we will include this proof, remaining as faithful as possible to Fillmore presentation. As the original proof has some inaccuracy then we will incorporate some modifications taken from Zhan [2, Theorem 1.5].
Lemma 2**.**
Let be a nonscalar matrix of order over a field and let . Then there is a nonsingular such that where is nonscalar of order .
Proof.
Since is nonscalar, there is a vector such that and are linearly independent. Such a vector can be taken to be a standard basis vector if is not diagonal, or the sum of a pair of standard basis vectors otherwise. Let be a basis of . If is the matrix of in this basis, then , and . Let be equal to the identity except on its entry . Then has on its entry and on its entry. ∎
Proof of Fillmore Theorem: The proof is by induction on the size of . The conclusion of Lemma 2 allows it to be applied repeatedly, leaving the case of the theorem for consideration. Again let be a vector such that and are linearly independent. Then form a basis, and in this basis the diagonal of is .
2 Alternative algorithm
We present a two steps algorithm that minimizes the required computation. Namely, it starts with and performs two similarities to reach a matrix with diagonal . On each step the matrix that performs the similarity differs from the identity by one line (row or column). Some results, which can be demonstrated by routine check, are necessary.
Lemma 3**.**
Let be a nonscalar diagonal matrix over a field , let such that , and let be equal to the identity except on its entry . Then is equal to except on its entry that is equal to 1.
Lemma 4**.**
Let be a non-diagonal matrix over a field , let such that , and let be equal to the identity except on its row where , , and for . Then all off-diagonal entries of the row of are equal to 1.
Lemma 5**.**
Let be a matrix over a field such that for some the off-diagonal entries of row are equal to 1, let with , and let be equal to the identity except on its column where , and for . Then the diagonal of is .
Proof of Fillmore Theorem: If is nondiagonal then we construct a matrix similar to with diagonal by the successive application of Lemma 4 and Lemma 5. If is diagonal nonscalar then first apply Lemma 3 to obtain a nondiagonal matrix.
Example 6**.**
We wish to construct a matrix with diagonal and similar to
[TABLE]
The trace condition is satisfied. We apply Lemma 4 to with respect to , so
[TABLE]
And we apply Lemma 5 to with respect to its third row, so
[TABLE]
3 Fillmore Theorem for integers
In Example 6, if we start applying Lemma 4 to with respect to and after that we apply Lemma 5 to the resulting matrix with respect to its fourth row we obtain the sequence
[TABLE]
This last matrix is integer, similar to , and has diagonal . In order to obtain an integer matrix it was important that had an off-diagonal entry equal to 1.
Lemma 7**.**
Let be a nonscalar integer matrix. Then there is an integer matrix similar to with an off-diagonal entry equal to .
Proof.
If is diagonal then the result follows from Lemma 3, and if is nondiagonal and has a nonzero entry equal to then there is nothing to prove. So suppose that is nondiagonal with none of its off-diagonal entries equal to . Without loss of generality assume that . We develop a simple algorithm:
Step 1.
If then go to Step 2. Otherwise go to Step 3.
Step 2.
Let be the minimum integer of such that . Let , , and . As and are coprimes then let and two integers such that . Let be equal to the identity except on its entries , , , and . Then is integer and its first row is equal to . If then we have finished. Otherwise do and go to Step 1.
Step 3.
Let be equal to the identity except on its entry . Then is an integer matrix with first row . And we have finished.
∎
Theorem 8**.**
Let be a nonscalar integer matrix of order and let such that . Then there is an integer matrix similar to with diagonal .
Proof.
By Lemma 7 is similar to an integer matrix with an off-diagonal entry equal to 1. Applying Lemma 4 to with respect to its entry we obtain a similar matrix which is also integer (since is integer and ) and has the off-diagonal entries of its row equal to 1. Applying Lemma 5 to with respect to its row then we obtain a similar matrix which is also integer (since is integer and ) and has diagonal . ∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] P. A. Fillmore, On similarity and the diagonal of a matrix, Amer. Math. Monthly 76 (1969) 167–169.
- 2[2] X. Zhan, Matrix Theory, Graduate Studies in Mathematics 147, American Mathematical Society, 2013.
