arxiv: v2 [math.sp] 5 Aug 2017

Transcription

1 Realizable lists via the spectra of structured matrices arxiv: v [mathsp] 5 Aug 07 Cristina Manzaneda Departamento de Matemáticas, Facultad de Ciencias Universidad Católica del Norte Av Angamos 060 Antofagasta, Chile Enide Andrade CIDMA-Center for Research and Development in Mathematics and Applications Departamento de Matemática, Universidade de Aveiro, , Aveiro, Portugal María Robbiano Departamento de Matemáticas, Facultad de Ciencias Universidad Católica del Norte Av Angamos 060 Antofagasta, Chile Abstract A square matrix of order n with n is called a permutative matrix or permutative when all its rows up to the first one are permutations of precisely its first row In this paper, the spectra of a class of permutative matrices are studied In particular, spectral results for matrices partitioned into -by- symmetric blocks are presented and, using these results sufficient conditions on a given list to be the list of eigenvalues of a nonnegative permutative matrix are obtained and the corresponding permutative matrices are constructed Guo perturbations on given lists are exhibited Keywords: permutative matrix; symmetric matrix; inverse eigenvalue problem; nonnegative matrix 000 MSC: 5A8, 5A9, 5B99 Corresponding author addresses: cmanzaneda@ucncl Cristina Manzaneda, enide@uapt Enide Andrade, mrobbiano@ucncl María Robbiano Preprint submitted to Linear Algebra and Its Applications July, 08

2 Introduction We present here a short overview related with the nonnegative inverse eigenvalue problem NIEP that is the problem of determining necessary and sufficient conditions for a list of complex numbers σ = λ,λ,,λ n to be the spectrum of a n-by-n entrywise nonnegative matrix A If a list σ is thespectrumofanonnegativematrixa, thenσisrealizable andthematrixa realizes σ, or, that is a realizing matrix for the list This problem attracted the attention of many authors over 50+ years and it was firstly considered by Suleĭmanova [5] in 949 Although some partial results were obtained the NIEP is an open problem for n 5 In [] this problem was solved for n = 3 and for matrices of order n = 4 the problem was solved in [4] and [5] It has been studied in its general form in eg [, 6, 8, 9,,, 3, 6] When the realizing nonnegative matrix is required to be symmetric with, of course, real eigenvalues the problem is designated by symmetric nonnegative inverse eigenvalue problem SNIEP and it is also an open problem It has also been the subject of considerable attention eg [3, 7,, 4] The problem of which lists of n real numbers can occur as eigenvalues of an n-by-n nonnegative matrix is called real nonnegative inverse eigenvalue problem RNIEP, and some results can be seen in eg [, 4, 7, 0, ] In what follows σa denotes the set of eigenvalues of a square matrix A Below are listed some necessary conditions on a list of complex numbers σ = λ,λ,,λ n to be the spectrum of a nonnegative matrix The Perron eigenvalue max{ λ : λ σa} belongs to σ The list σ is closed under complex conjugation 3 s k σ = n λ k i 0 i= 4 s m k σ nm s km σ for k,m =,, The first condition listed above follows from the Perron-Frobenius theorem, which is an important theorem in the theory of nonnegative matrices The last condition was proved by Johnson [6] and independently by Loewy and London [] The necessary conditions that were presented for the NIEP are sufficient only when the list σ has at most three elements The solution for NIEP was also found for lists with four elements, while the problem for lists with five or more elements is still open

3 Definition The list σ in is a Suleĭmanova spectrum if the λ s are real numbers, λ > 0 λ λ n and s σ 0 Suleĭmanova, [5] stated and loosely proved that every such spectrum is realizable Fiedler [3] proved that every Suleĭmanova spectrum is symmetrically realizable ie realizable by a symmetric nonnegative matrix One of the most promising attempts to solve the NIEP is to identify the spectra of certain structured matrices with known characteristic polynomials Friedland in [4] and Perfect in [8] proved Suleĭmanova s result via companion matrices of certain polynomials However, constructing the companion matrix of a Suleĭmanova s spectrum is computationally difficult Recently, Paparella [6] gave a constructive proof of Suleĭmanova s result The author defined permutative matrix as follows Definition [6] Let x =x,,x n T C n Let P,,P n be permutation matrices A permutative matrix P is a matrix which takes the form x T P x T P = P n x T P n x T In [6], explicit permutative matrices which realize Suleĭmanova spectra were found A few remarks concerning the brief history of permutative matrices are in order Ranks of permutative matrices were studied by Hu et al [5] Moreover, the author [6] proposed the interesting problem which asks if all realizable spectra can be realizable by a permutative matrix or by a direct sum of permutative matrices An equivalent problem communicated to the author by R Loewy is to find an extreme nonnegative matrix [8] with real spectrum that can not be realized by a permutative matrix or a direct sum of permutative matrices Loewy [3] resolved this problem in the negative by showing that the list σ =, 8 + 5, , 4 5, 5 is realizable but cannot be realized by a permutative matrix or by a direct sum of permutative matrices 3

4 In this paper we call the problem as PNIEP when the NIEP involves permutative matrices Note that the lists considered along the paper are equivalent up to a permutation of its elements Therefore, unless we say the contrary, we call a given n-tuple σ or any permutation resulting from it, as the list In consequence, any of these lists can be used In this work we will find spectral results for partitioned into -by- blocks matrices and using these results sufficient conditions on given lists to be the list of eigenvalues of a nonnegative permutative matrix are obtained The paper is organized as follows: At Section some definitions and facts related to permutative matrices are given At Section 3 spectral results for matrices partitioned into -by- blocks are presented and the results are applied to NIEP, SNIEP and PNIEP Some illustrative examples are provided At Section 4 results for matrices with odd order are presented Finally, at Section 5 Guo perturbations on lists of eigenvalues of this class of permutative matrices in order to obtain a new permutative matrix are studied Permutatively equivalent matrices In this section some auxiliary results from [6] and some new definitions are introduced In [6] the following results were proven Lemma 3 [6, Lemma 3] For x = x,x,,x n T C n, let x x x i x n x n x x x i x n x n X = x i x x x n x x x n x n x x i x n x Then, the set of eigenvalues of X is given by { n } σx = x i,x x,x x 3,,x x n 3 i= 4

5 Theorem 4 [6] Let σ = λ,,λ n be a Suleĭmanova spectrum and consider the n-tuple x =x,x,,x n, where x = λ + +λ n n and x i = x λ i, i n, then the matrix in realizes σ In particular, if λ + + λ n = 0 the solution matrix, X 0 becomes 0 λ λ i λ n λ n λ 0 λ i λ n λ n X 0 = λ i λ 0 λ n λ 0 λ n λ n λ λ i λ n 0 Remark 5 By previous results and the proof of above Theorem 4 in [6], it is clear that for any set σ = {α,,α n } there exists a permutative matrix with the shape of X in whose set of eigenvalues is σ The following notions will be used in the sequel Definition 6 Let τ = τ,,τ n be an n-tuple whose elements are permutations in the symmetric group S n, with τ = id Let a =a,,a n C n Define the row-vector, τ j a = a τj,,a τj n and consider the matrix τ a τ a τ a = 4 τ n a τ n a An n-by-n matrix A, is called τ-permutative if A = τ a for some n-tuple a 5

6 Remark 7 Although the statement in Definition is precisely the statement found in [6, Definiton ], it is clear that Definition 6 of this work is the proper definition of a permutative matrix indeed, since every permutation matrix is a permutative matrix, it is not ideal to define the latter with the former Thus, Definition 6 is a better definition of a permutative matrix than the one given at Definition Definition 8 If A and B are τ-permutative by a common vector τ = τ,,τ n then they are called permutatively equivalent Definition 9 Let ϕ S n and the n-tuple τ = id,ϕ,ϕ,,ϕ n S n n Then a τ-permutative matrix is called ϕ-permutative It is clear from the definitions that two ϕ-permutative matrices are permutatively equivalent matrices Remark 0 If permutations are regarded as bijective maps from the set {0,,,n }toitself, thenacirculant respectively, leftcirculant matrix is a ϕ-permutative matrix where ϕi i mod n resp ϕi i + mod n Indeed, notice that the 3-by-3 circulant matrix a b c c a b b c a is ϕ- permutative with ϕ = 0 0 and the 3-by-3 left circulant matrix a b c b c a c a b is ϕ- permutative with ϕ = 0 0 6

7 Remark A permutative matrix A defines the class of permutatively equivalent matrices Let σ,σ be two Suleĭmanova spectra, then the corresponding realizing matrices X σ and X σ given by Theorem 4 are permutatively equivalent matrices Furthermore, by Lemma 3 and Remark 5 it is easy to check that given two arbitrary inverse eigenvalue problems not necessarily NIEP there exist a solution which is permutatively equivalent to the matrix X in For τ-permutative matrices an analogous property related with circulant matrices is given below Proposition Let {A i } k i= be a family of permutatively equivalent matrices in C n n Let {γ i } k i= be a set of complex numbers Consider A = k γ i A i 5 i= Then A and A are permutatively equivalent matrices Proof Let τ = τ,,τ n be an n-tuple whose elements are permutations in the symmetric group S n and suppose that the family {A i } are permutatively equivalent by τ Let e,e,,e n be the canonical row vectors in C n The result is an immediate consequence of the fact that for any a =a,,a n C n the matrix τ a in 4 can be decomposed as τ a = a τ e +a τ e + +a n τ e n, where e j τ e j τ e j = τ n e j τ n e j 7

8 3 Eigenpairs for some into block matrices In this section we exhibit spectral results for matrices that are partitioned into -by- symmetric blocks and we apply the results to NIEP, SNIEP and PNIEP The next theorem is valid in an algebraic closed field K of characteristic 0 For instance, K = C Theorem 3 Let K be an algebraically closed field of characteristic 0 and suppose that A = A ij is a block matrix of order n, where aij b A ij = ij, a b ij a ij, b ij K 6 ij If and Then where s ij = a ij +b ij, i,j n c ij = a ij b ij, i,j n σa = σs σc S = s ij and C = c ij Proof Let λ,v be an eigenpair of S, with v = v,,v n T, and consider the n-by- block vector w = w j, where w j := v j e and e =, T Since aij b A ij w j = ij aij +b v b ij a j e = ij v ij b ij +a j = s ij v j e, ij notice that, for every i =,,n, n n A ij w j = s ij v j e =λv i e =λv i e = λw i j= j= ie λ,w be an eigenpair of A Thus σs σa Similarly, let µ,x be an eigenpair of C, with x = x,,x n T and consider the n-by- block vector y = y j, where y j := x j f and f =, T Since aij b A ij y j = ij x b ij a j f = ij 8 aij b ij b ij a ij x j = c ij x j f,

9 notice that, for every i =,,n, n n A ij y j = c ij x j f =λx i f =λx i f = λy i j= j= ie µ,y is also an eigenpair of A Thus σc σa Suppose that { } Θ s = x i,x i,,x ni T : i =,,n and Θ c = { } y i,y i,,y ni T : i =,,n are bases formed with eigenvectors of S and C, respectively The result will follow after proving the linear independence of the set Υ = Υ Υ, where: { x Υ = e T,x e T,,x } ne T T : x,x,,x n T Θ s and Υ = { y f T,y f T,,y } nf T T : y,y,,y n T Θ c Therefore, we consider the following determinant, y y n x x n y y n x x n d = y n y nn x n x nn y n y nn x n x nn Note that d stands for the determinant of a n-by-n matrix obtained from thecoordinatesof thevectors inυ Byadding rows andaftermaking suitable row permutations we conclude that the absolute value of d coincides with the absolute value of the following determinant y y n x x n y n y nn x n x nn 0 0 x x n x n x nn 9

10 which is nonzero by the linear independence of the sets Θ s and Θ c respectively Theorem 4 Let S = s ij and C = c ij be matrices of order n whose spectra counted with their multiplicities are σs = λ,λ,,λ n and σc = µ,µ,,µ n, respectively Let 0 γ If c ij s ij, i,j n, 7 or equivalently if S, S +C and S C are nonnegative matrices, then the matrices S +γc and S γc are nonnegative and the nonnegative matrices sij ±γc ij s ij γc ij M ±γ = M ij±γ,with M ij±γ =, i,j n 8 realize, respectively, the following lists and s ij γc ij s ij ±γc ij σs γσc := λ,λ,,λ n,γµ,γµ,,γµ n σs γσc := λ,λ,,λ n, γµ, γµ,, γµ n Proof By the definitions of S +γc and S γc and the condition in 7 it is clear that M ±γ in 8 are nonnegative matrices By conditions of Theorem 3 one can see that each i,j-block of the matrix takes the form xij y ij and its spectrum is partitioned into the union of the spectra of y ij x ij the n-by-n matrices x ij +y ij n i,j= and x ij y ij n i,j= If we impose that S = x ij +y ij n i,j= and ±γc = x ij y ij n i,j= we obtain s ij = x ij +y ij and ±γc ij = x ij y ij Thus, for both cases x ij = s ij±γc ij and y ij = s ij γc ij, as it is required for the respective realization of the spectra σs ±γσc Remark 5 Note that in the previous result if S = s ij and C = c ij, then s ±γc s γc s n ±γc n s n γc n s γc s ±γc s n γc n s n ±γc n M ±γ = 9 s n ±γc n s n γc n s nn±γc nn s nn γc nn s n γc n s n ±γc n s nn γc nn s nn±γc nn 0

11 The next corollary establishes the result when the matrices S and C are symmetric, both with prescribed list of eigenvalues Corollary 6 Let S = s ij and C = c ij be symmetric matrices of orders n whose spectra counted with their multiplicities are σs = λ,λ,,λ n and σc = µ,µ,,µ n, respectively Let 0 γ Moreover, suppose that c ij s ij for all i,j n Then S +γc and S γc are symmetric nonnegative matrices and M ±γ = M ij±γ with M ij±γ = sij ±γc ij s ij γc ij s ij γc ij s ij ±γc ij, for i,j n are symmetric nonnegative matrices such that, respectively, realize the following lists σs ±γσc = λ,λ,,λ n,±γµ,±γµ,,±γµ n Proof It is an immediate consequence of Theorem 4 that if the matrices S and C are symmetric, then the matrices M ±γ obtained in 9 are also symmetric Remark 7 We remark that for two permutatively equivalent n-by-n matrices S = s ij and C = c ij whose first row, are the an n-tuple s,,s n, and c,,c n, respectively, the inequalities c ij s ij hold if and only if c i s i, i n Theorem 8 LetS = s ij and C = c ij be permutativelyequivalentmatrices whose first row are the n-tuples s,,s n and c,,c n, respectively, such that c i s i, i n Moreover, their spectra counted with their multiplicities are the lists σs = λ,λ,,λ n and σc = µ,µ,,µ n, respectively Let 0 γ Then, S +γc and S γc are nonnegative matrices, permutatively equivalent matrices and the following matrices: M ±γ = M ij±γ with M ij±γ = sij ±γc ij s ij γc ij s ij γc ij s ij ±γc ij are permutative and realize, respectively, the following lists, i,j n 0 σs ±γσc = λ,λ,,λ n,±γµ,±γµ,,±γµ n

12 In particular, if the list λ,λ,,λ n is a Suleĭmanova s type list and µ,µ,,µ n satisfies the condition µ +µ + +µ n λ +λ + +λ n, and µ +µ + +µ n λ +λ + +λ n µ i λ i for i n, n n then, the lists σs ±γσc are respectively, realizable by the matrices M ±γ in 0, where S = s ij and C = c ij are the correspondingpermutative matrices obtained from Theorem 4 and Lemma 3 by replacing with the lists of eigenvalues Proof Is an immediate consequence of the fact that if the matrices S and C in Theorem 4 are considered to be permutatively equivalent matrices then, by Proposition, both S +γc and S γc are permutatively to S Therefore, by the shape of the matrices in 9 the matrices M ±γ in 0 become permutative matrices In particular, if the matrices S and C and its spectra σs and σc, respectively, are as in the statement, by last statement of Remark the matrices S and ±γc that realize the spectra σs and ±γσc are permutatively equivalent matrices Then S +γc and S γc are nonnegative permutative matrices, implying, by the above reasoning that the matrices M ±γ in 9, with the given description by 0, will be also nonnegative permutative matrices The conditions in and are derived from the condition c i s i, for all i n when the n-tuples s,,s n and c,,c n are the first row of S and C, respectively, where the corresponding descriptions of s,,s n and c,,c n are obtained from Lemma 3 and Theorem 4 Note that it is important that the matrices S and C are permutatively equivalent otherwise we can not guarantee that the matrices M ±γ are permutative In fact consider the following example: Example 9 Both matrices S and C are not permutatively equivalent and

13 M constructed as in the previous theorem is not permutative 3 S = 3, C = M = In the next examples S and C are permutatively equivalent 5 Example 0 Let S and C be the following circulant matrices, in consequence, they are permutatively equivalent matrices 0 0 S = and C = whose spectra, respectively, are the following lists 5, +i 3, i 3 and, +i 3, i 3 It is easy to see that the conditions of Theorem 8 are verified In consequence, the 6-by-6 matrix 0 0 M =

14 is a permutative matrix and realizes the list 5, +i 3, i 3,, +i 3, i 3 Example Let S and C be the following circulant matrices, in consequence, they are permutatively equivalent matrices 0 0 S = and C = whose spectra, respectively, are 5, +i 3, i 3 and, i 3, +i 3 It is easy to see that the conditions of Theorem 8 are verified In consequence, the 6-by-6 matrix 0 0 M = is nonnegative permutative and realizes the spectrum 5, +i 3, i 3,, i 3, +i 3 Example Letσ = 0,7, 3, 3,,, ThefollowingSuleĭmanova sub-lists 7, 3,, and 0, 3,, can be obtained from σ Thus, the conditions of Theorem 8 holdand by Theorem 4 the matrix that realizes 0, 3,, is 3 4 S =

15 and the matrix that realizes 7, 3,, is 0 3 C = Therefore, the matrix M in 9 becomes M = which is a permutative matrix and realizes the initial list 4 Real odd spectra We now present spectral results for matrices partitioned into blocks and with odd order We start with the following spectral result that is presented in an algebraic closed field, K, for instance K = C Theorem 3 Let K be an algebraically closed field of characteristic 0 and suppose that A = A ij is an into block square matrix of order n+, where aij b ij i,j n b ij a ij aij A ij = i n, j = n+ a ij aij b ij i = n+, j n i = n+, j = n+ a ij If s ij = a ij +b ij i,j n a ij i n, j = n+ a ij +b ij i = n+, j n a ij i = n+, j = n+ 5

16 and Then where c ij = a ij b ij, i,j n σa = σs σc, S = s ij and C = c ij Proof Let λ,v be an eigenpair of S, with v = v,,v n,v n+ T, and wj consider the n+-by- block vector w =, where by an abuse of notation, we have Since A ij w j = A i,n+ w n+ = Finally, aij b ij w n+ { vj e j n w j = j = n+ b ij a ij aij a ij v n+ v j e = aij +b ij b ij +a ij w n+ = s i,n+ v n+ e, i n v j = s ij v j e, i,j n A n+,j w j = a n+,j b n+,j wj = a n+,j b n+,j vj e = a n+,j +b n+,j v j = s n+,j v j, j n A n+, n+ w n+ = s n+,n+ v n+ Notice that, for every i {,,n}, n+ n A ij w j = A ij w j +A i,n+ w n+ and j= = j= n+ A n+,j w j = j= n s ij v j +s i,n+ v n+ e =λv i e =λv i e = λw i = j= n s n+,j v j +A n+,n+ w n+ j= n s n+,j v j +s n+,n+ v n+ =λv n+ =λw n+ j= 6

17 ie λ,w is an eigenpair of A Thus σs σa Similarly, let µ,x be an eigenpair of C, with x = x,,x n T and yj consider the n+-by- block vector y =, where y 0 j := x j f and f =, T Since aij b A ij y j = ij x b ij a j f = ij aij b ij b ij a ij x j = c ij x j f, notice that, for every i =,,n, n+ n A ij y j = c ij x j f+a i,n+ y n+ =λx i f =λx i f = λy i j= j= ie µ,y be an eigenpair of A Thus σc σa Suppose that { } Θ s = x i,x i,,x ni,x n+,i T : i =,,n+ and Θ c = { } y i,y i,,y ni T : i =,,n are bases of eigenvectors of S and C, respectively The result will follow after proving the linear independence of the following set Υ = Υ Υ where { x Υ = e T,x e T,,x ne T,x } T n+ : x,x,x n,x n+ T Θ s and Υ = { y f T,y f T,,y n f T,0 T : η,y,y,,y n T Θ c } To this aim, we study the next determinant: y y n x x n x,n+ y y n x x n x,n+ d = y n y nn x n x nn x n,n+ y n y nn x n x nn x n,n+ 0 0 x n+, x n+,n x n+,n+ 7

18 Note that d stands for the determinant of a n + -by-n + matrix obtained from the coordinates of the vectors in Υ As before, adding rows and making suitable row permutations we conclude that the absolute value of d coincides with the absolute value of the following determinant y y n x x n x,n+ y n y nn x n x nn x n,n+ 0 0 x x n x,n x n, x n,n x n,n+ 0 0 x n+, x n+,n x n+,n+ which is nonzero by the linear independence of the set Θ s and Θ c Thus the statement follows Theorem 4 Let S = s ij be a matrix of order n + and C = c ij a matrix of order n whose spectra counted with their multiplicities are σs = λ,λ,,λ n+ and σc = µ,µ,,µ n, respectively Moreover, suppose thats ij c ij for all i,j n,s i,n+ 0, for i =,,n+ and ϕ j n+,i 0, for j =, and for i =,,n Then, for all 0 γ, the nonnegative matrices M ±γ = s ±γc s γc s n ±γc n s n γc n s γc s n ±γc n s ±γc s n γc n s n γc n s nn±γc nn s n ±γc n s nn γc nn ϕ n+, ϕ n+, ϕ n+,n ϕ n+,n s n γc n s,n+ s n ±γc n s,n+ s nn γc nn s n,n+ s nn±γc nn s n,n+ s n+,n+, 6 have spectra ϕ n+,i +ϕ n+,i = s n+,i, i =,,,n σs ±γσc = λ,λ,,λ n+,±γµ,±γµ,,±γµ n 8

19 Proof The result follows from a direct application of Theorem 3 to the matrix M in 6 0 Example 5 Let S = 0 and C = be matrices which 0 0 spectrum are,0,3 and,, respectively Let M = Then, M has eigenvalues σm = 3,0,,, Theorem 6 Let A = a i,j and B = b i,j be matrices of order n Moreover, consider the n-tuples and Let x = x,,x n T y T = y,,y n T A+B x S = and C = A B 7 y u with A+B and A B nonnegative matrices and with x, y and u also nonnegative and, consider the matrix partitioned into blocks M M M n x M M M n x M =, 8 M n M n M nn x n y y y n u 9

20 where, for i,j n aij b M ij = ij, x b ij a i = x i,x i T and y i = y i,y i ij Then σm = σs σc Moreover, the matrix M is nonnegative symmetric when A, B are symmetric matrices and x T = y Proof This result is a clear consequence of Theorem 3 Example 7 Let usconsider thelist σ =, + 5, + 5, 5, 5 If we want to apply the known sufficient conditions of Laffey and Smigoc, [0], it is not possible to obtain a partition of σ where each of its subset has cardinality three Nevertheless, the matrices 0 S = 0 and C = have respectively, the following list of eigenvalues, + 5, and, 5 In consequence, we consider the matrix M in M = , and by Theorem 6 this matrix M realizes the list, + 5, + 5 0, 5, 5

21 In [] it was proven that if σ = λ,,λ n is a list of complex numbers whoseperronrootisλ andwithλ i Υ = { z C:Rez < 0, 3Rez } Imz, for i =,,n, then there exists a nonnegative matrix realizing the list σ if n and only if λ i 0 The example below shows that the set Υ can widen out i= Example 8 Let S = and C = whose spectra are σs =,i 3, i 3 and σc = 4+3i,4 3i 9 Both matrices satisfy the conditions of Theorem 4 and, the matrix M obtained from S and C with the techniques above M = realizes the complex list σm = ,i 3, i 3,4+3i,4 3i where, i 3, i 3,4+3i,4 3i / Υ With this example we illustrate the fact that it is possible to find a nonnegative matrix that realizes a certain list of complex numbers that are not only in Υ Moreover, note that the list at the example also verifies the condition that the sum of its elements is greater or equal than zero The next example shows that accordingly to Theorem 4 the next matrix M also realizes the complex list and, therefore it is worth to notice that there is more than one matrix that realizes it

22 Example 9 Let S = and C = be the matrices as previous example, whose spectra are as in 9 Both matrices satisfy the conditions of Theorem 4 and, the matrix M obtained from S and C with the techniques above recall that the construction of M in M = realizes the same complex list 5 Guo Perturbations In what follows the lists are considered as ordered an n-tuples Guo [6], in a partial continuation of a work by Fiedler extended some spectral properties of symmetric nonnegative matrices to general nonnegative matrices Moreover, he introduced the following interesting question: If the list σ = λ,λ,,λ n is symmetrically realizable that is, σ is the spectrum of a symmetric nonnegative matrix, and t > 0, whether or not the list σ t = λ +t,λ ±t,λ 3,,λ n is also symmetrically realizable? In [9] the authors gave an affirmative answer to this question in the case that the realizing matrix is circulant or left circulant They also presented a necessary and sufficient condition for σ to be the spectrum of a nonnegative circulant matrix The following result was presented Theorem 30 [9] Let σ = λ,λ,λ 3,,λ 3,λ be the spectrum of an n- by-n nonnegative circulant matrix Let t 0 and θ R Then σ t = λ +t,λ ±texpiθ,λ 3,,λ 3,λ ±texp iθ is also the spectrum of an n-by-n nonnegative circulant matrix Moreover, if n = m+, then

23 σ t = λ +t,λ,λ 3,,λ m+,λ m+ ±t,λ m+,,λ 3,λ is also the the spectrum of an n-by-n nonnegative circulant matrix Theorem 3 Let n = m + and consider the n-tuples σ = σs = λ,λ,λ 3,,λ 3,λ and σ = σc = β,β,β 3,,β 3,β with, respectively, realizing matrices S and C being ciculant matrices and such that the matrices S, S + C and S C are nonnegative matrices see necessary and sufficient conditions to this fact, for instance, in [9] Let t and t such that t t, 0 then, there exists a nonnegative permutative matrix M realizing the list σ s,t σ c,t, where σ s,t = λ +t,λ,λ 3,,λ m+,λ m+ ±t,λ m+,,λ 3,λ and σ c,t = β +t,β,β 3,,β m+,β m+ ±t,β m+,,β 3,β Proof Let r s = s,,s n T and r c = c,,c n T be the first row of matrices S and C, respectively In [9], it is shown that these rows satisfy where F is the n by n matrix, r s = n FσT and r c = n FσT F = ω k j k,j n and ω = exp πi n and F is the matrix conjugate of F Then, if r s and r c are the first row of the realizing matrices of the spectra σ s,t and σ c,t those rows satisfy r s = n FσT s,t and r c = n FσT c,t Let e and e m+ be the first and the m+-nd canonical vectors of C n Adding, at first, and after taking difference on the expressions in we obtain r s + r c = n F σ T s,t +σ T c,t = r s +r c +t +t Fe ±t +t Fe m+ 3

24 and r s r c = r s r c +t t Fe ±t t Fe m+ Since S + C and S C are nonnegative then r s + r c and r s r c are nonnegative Moreover both t +t 0,t t 0 due to 0 by Theorem 30, thereforeboth r s + r c and r s r c arenonnegative columns Inconsequence the circulant matrices S, S +C and S C, whose first rows, respectively, are r s, r s + r c and r s r c, are nonnegative matrices and by Theorem 30 they are still circulant matrices and nonnegative In consequence, using the techniques from the above section the matrix M obtained from the circulant matrices S +C and S C is a permutative circulant by blocks matrix whose spectrum is σ s,t σ c,t as required Acknowledgments The authors would like to thank the anonymous referee for his/her careful reading and for several valuable comments which have improved the paper Enide Andrade was supported in part by the Portuguese Foundation for Science and TechnologyFCT-Fundação para a Ciência e a Tecnologia, through CIDMA - Center for Research and Development in Mathematics and Applications, within project UID/MAT/0406/03 M Robbiano was partially supported by project VRIDT UCN References [] A Borobia On nonnegative eigenvalue problem, Lin Algebra Appl 3/4 995: 3-40, Special Issue honoring Miroslav Fiedler and Vlastimil Pták [] M Boyle, D Handelman The spectra of nonnegative matrices via symbolic dynamics, Ann of Math 33 99:49-36 [3] M Fiedler Eigenvalues of nonnegative symmetric matrices, Lin Algebra Appl 9 974: 9-4 [4] S Friedland On an inverse problem for nonnegative and eventually nonnegative matrices, Israel T Math 9 978: [5] X Hu, C R Johnson, C E Davis, and Y Zhang Ranks of permutative matrices Spec Matrices, 4 06:

25 [6] C R Johnson Row stochastic matrices similar to doubly stochastic matrices, Lin and Multilin Algebra 98: 3-30 [7] C Johnson, T Laffey, R Loewy The real and symmetric nonnegative inverse eigenvalue problems are different, Proc Amer Math Soc, 4 996: [8] T Laffey Extreme nonnegative matrices, Lin Algebra Appl 75/76 998: Proceedings of the sixth conference of the international Linear Algebra Society Chemnitz, 996 [9] T Laffey Realizing matrices in the nonnegative inverse eigenvalue problem, Matrices and group representations Coimbra, 998, Textos Mat Sér B, 9, Univ Coimbra, Coimbra, 999: -3 [0] T Laffey, H Šmigoc Construction of nonnegative symmetric matrices with given spectrum Linear Algebra Appl 4 007: [] R Loewy, J J Mc Donald The symmetric nonnegative inverse eigenvalue problem for 5 5 matrices, Linear Algebra Appl : [] R Loewy, D London A note on an inverse problem for nonnegative matrices, Lin and Multilin Algebra 6, 978/79: [3] R Loewy A note on the real nonnegative inverse eigenvalue problem Electron J Linear Algebra, 3 06: [4] M E Meehan Some results on matrix spectra, Phd thesis, National University of Ireland, Dublin, 998 [5] J Mayo Torre, M R Abril, E Alarcia Estévez, C Marijuán, M Pisonero The nonnegative inverse problema from the coeficientes of the characteristic polynomial EBL digraphs, Linear Algebra Appl : [6] P Paparella Realizing Suleĭmanova-type Spectra via Permutative Matrices, Electron J Linear Algebra, 3 06: [7] H Perfect On positive stochastic matrices with real characteristic roots, Proc Cambridge Philos Soc 48 95:

26 [8] H Perfect Methods of constructing certain stochastic matrices, Duke Math J 0 953: [9] O Rojo, R L Soto Guo perturbations for symmetric nonnegative circulant matrices, Linear Algebra Appl : [0] O Rojo, R L Soto Applications of a Brauer Theorem in the nonnegative inverse eigenvalue problem, Linear Algebra Appl : -8 [] R Soto, O Rojo, C Manzaneda On the nonnegative realization of partitioned spectra, Electron J Linear Algebra, 0: [] H Šmigoc The inverse eigenvalue problem for nonnegative matrices, Linear Algebra Appl : [3] H Šmigoc Construction of nonnegative matrices and the inverse eigenvalue problem, Lin and Multilin Algebra 53, 005: [4] G W Soules Constructing symmetric nonnegative matrices, Lin and Multilin Algebra : 4-5 [5] H R Suleĭmanova Stochastic matrices with real characteristic numbers, Doklady, Akad Nuk SSSR N S : [6] G Wuwen Eigenvalues of nonnegative matrices, Linear Algebra Appl :