<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">OALibJ</journal-id><journal-title-group><journal-title>Open Access Library Journal</journal-title></journal-title-group><issn pub-type="epub">2333-9705</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/oalib.1111067</article-id><article-id pub-id-type="publisher-id">OALibJ-130205</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Biomedical&amp;Life Sciences</subject><subject> Business&amp;Economics</subject><subject> Chemistry&amp;Materials Science</subject><subject> Computer Science&amp;Communications</subject><subject> Earth&amp;Environmental Sciences</subject><subject> Engineering</subject><subject> Medicine&amp;Healthcare</subject><subject> Physics&amp;Mathematics</subject><subject> Social Sciences&amp;Humanities</subject></subj-group></article-categories><title-group><article-title>
 
 
  An Inverse Eigenproblems for Pseudo-Symmetric Matrices
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Ran</surname><given-names>Su</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Yingjie</surname><given-names>Lei</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Fanhua</surname><given-names>Li</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>School of mathematics, North University of China, Taiyuan, China</addr-line></aff><pub-date pub-type="epub"><day>04</day><month>12</month><year>2023</year></pub-date><volume>10</volume><issue>12</issue><fpage>1</fpage><lpage>12</lpage><history><date date-type="received"><day>1,</day>	<month>December</month>	<year>2023</year></date><date date-type="rev-recd"><day>25,</day>	<month>December</month>	<year>2023</year>	</date><date date-type="accepted"><day>28,</day>	<month>December</month>	<year>2023</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  In this paper, we explore the inverse spectral problem for a kind of pseudo-symmetric matrix A(ε,c,s) that corresponds to a graph of a banana tree when all ε=1. The problem of reconstructing pseudo-symmetric matrices from their spectra was considered. The sufficient and necessary conditions for the existence of these matrices are provided, and an algorithm and numerical example were provided to illustrate their characteristics. In addition, the effectiveness of the solution was validated using MatlabR2021b.
 
</p></abstract><kwd-group><kwd>Inverse Spectral Problem</kwd><kwd> Pseudo-Symmetric</kwd><kwd> A Banana Tree</kwd><kwd> Spectral Data</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The inverse eigenvalue problem for pseudo-symmetric matrices (PIEP) is the issue of reconstructing a matrix with a prespecified structure from given eigendata. For example, Xu [<xref ref-type="bibr" rid="scirp.130205-ref1">1</xref>] reconstructed the pseudo-Jacobi matrix using its spectrum and the spectra of the two complementary principal matrices. Following this, Xu [<xref ref-type="bibr" rid="scirp.130205-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.130205-ref3">3</xref>] reconstructed both the modified pseudo-Jacobi matrix and the doubly periodic pseudo-Jacobi matrix. Su [<xref ref-type="bibr" rid="scirp.130205-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.130205-ref5">5</xref>] reconstructed the pseudo-Jacobi matrix and a special acyclic matrix using the spectral data obtained from its matrix. In addition to the previously discussed inverse spectral problem for pseudo-symmetric matrices, we know that one means of describing the structuring of a matrix is to denote it by its corresponding graph, and several authors have investigated the problem of describing the inverse of a constructed matrix in terms of a graph. As in references [<xref ref-type="bibr" rid="scirp.130205-ref6">6</xref>] [<xref ref-type="bibr" rid="scirp.130205-ref7">7</xref>] [<xref ref-type="bibr" rid="scirp.130205-ref8">8</xref>] [<xref ref-type="bibr" rid="scirp.130205-ref9">9</xref>] has investigated inverse eigenvalue problems for certain matrices with special graphics. Moreover, the literature [<xref ref-type="bibr" rid="scirp.130205-ref10">10</xref>] [<xref ref-type="bibr" rid="scirp.130205-ref11">11</xref>] [<xref ref-type="bibr" rid="scirp.130205-ref12">12</xref>] [<xref ref-type="bibr" rid="scirp.130205-ref13">13</xref>] has examined inverse eigenvalue problems for matrices utilized in different fields, including mechanical vibration, control theory, pole distribution and graph theory.</p><p>Given an n &#215; n symmetric matrices A = ( a i j ) n &#215; n , the graph of A, denoted as G ( A ) , is a graph that comprises vertex set V ( G ) = { 1 , 2 , ⋯ , n − 1 , n } and edge set E ( G ) = { i j : a i j ≠ 0 , i ≠ j } . For a graph G with n vertices, S ( G ) denotes the set of all n &#215; n symmetric matrices which have G as their graph. An acyclic matrix is a matrix whose graph forms a double starlike tree [<xref ref-type="bibr" rid="scirp.130205-ref13">13</xref>] . Simple examples of acyclic matrices include those with graph representations as paths, stars, and banana trees.</p><p>The focal point of this paper is to investigate the inverse eigenvalue problem for pseudo-symmetric matrices with the graph as an ( c , s ) -banana tree when all ϵ = 1 and referred to as PIEPB ( ϵ , c , s ) . An ( c , s ) -banana tree, is a graph created by attaching one leaf of each of c copies of a s-star graph with a single root vertex that is distinct from all the stars, where c ≥ 1 , s ≥ 3 and n = c s + 1 , marked as follows: the root vertex is labeled by 1, the vertices of distance 1 from the root vertex as the intermediate vertices is labeled by ( i − 1 ) s + 2 , the center of every ( S s ) is labeled by ( i − 1 ) s + 3 and leaves of the center is labeled by j = ( i − 1 ) s + 4 , ⋯ , i s + 1 , i = 1 , 2 , ⋯ , c (<xref ref-type="fig" rid="fig1">Figure 1</xref>), defined in [<xref ref-type="bibr" rid="scirp.130205-ref14">14</xref>] , research on banana trees in literature [<xref ref-type="bibr" rid="scirp.130205-ref15">15</xref>] [<xref ref-type="bibr" rid="scirp.130205-ref16">16</xref>] . For example matrix A 9 ∈ A ( 2 , 4 ) of an ( 2 , 4 ) -banana tree is of the following form:</p><p>A 9 = [ a 1 b 1 , 2 b 1 , 6 b 1 , 2 a 2 b 2 , 3 b 2 , 3 a 3 b 3 , 4 b 3 , 5 b 3 , 4 a 4 b 3 , 5 a 5 b 1 , 6 a 6 b 6 , 7 b 6 , 7 a 7 b 7 , 8 b 7 , 9 b 7 , 8 a 8 b 7 , 9 a 9 ] ,</p><p>Based on the inverse spectral problem for matrices whose graph is a banana tree, we improve their matrices and continue to study the inverse spectral problem for the pseudo-symmetric matrices. For example pseudo-symmetric matrix A 9 ∈ A ( ϵ , 2 , 4 ) is of the following form</p><p>A 9 = [ a 1 b 1 , 2 b 1 , 6 ϵ 1 , 2 b 1 , 2 a 2 b 2 , 3 ϵ 2 , 3 b 2 , 3 a 3 b 3 , 4 b 3 , 5 ϵ 3 , 4 b 3 , 4 a 4 ϵ 3.5 b 3 , 5 a 5 ϵ 1 , 6 b 1 , 6 a 6 b 6 , 7 ϵ 6 , 7 b 6 , 7 a 7 b 7 , 8 b 7 , 9 ϵ 7 , 8 b 7 , 8 a 8 ϵ 7 , 9 b 7 , 9 a 9 ] ,</p><p>where main diagonal a = ( a 1 , a 2 , ⋯ , a 9 ) ∈ ℝ and the two first lower and upper off-diagonals b − 1 = ( b 1 , 2 , ⋯ , b 7 , 9 ) and b 1 = ( ϵ 1 , 2 b 1 , 2 , ⋯ , ϵ 7 , 9 b 7 , 9 ) , with all b &gt; 0 and all ϵ ∈ { 1 , − 1 } . If all ϵ = 1 , the pseudo-symmetric matrix A ( ϵ , c , s ) changed to the symmetric matrix A ( c , s ) .</p><p>PIEPB ( ϵ , c , s ) . Given different numbers</p><p>{ λ n ( 1 ) , ⋯ , λ j ( 1 ) , ⋯ , λ 1 ( 1 ) , ⋯ , λ j ( j ) , ⋯ , λ n ( n ) } ∈ ℝ ,</p><p>construct an n &#215; n matrix A n ∈ A ( ϵ , c , s ) such that λ j ( 1 ) and λ j ( j ) are the eigenvalues of A j , j = 1 , 2 , ⋯ , n , the leading principal submatrix of A, respectively.</p><p>The structure of this work is organized as follows. In Sect.2, some properties of pseudo-symmetric matrix A ( ϵ , c , s ) were given. In Sect.3, the necessary and sufficient conditions for the solvability of an inverse eigenvalue problems of pseudo-symmetric matrix A ( ϵ , c , s ) . In Sect.4, the evolutionary plots of the distribution of eigenvalues of low-order leading principal submatrix were drawn through algorithm and numerical simulation, indicating the accuracy of the result. Finally, in Sect.5, the conclusions are presented.</p></sec><sec id="s2"><title>2. Preliminaries</title><p>Lemma 2.1. Let A n ∈ A ( ϵ , c , s ) and let A j be the j &#215; j leading principal submatrix of A, with characteristic polynomial φ j ( λ ) = det ( λ I j − A j ) , j = 1 , ⋯ , n . Then the sequence { φ j ( λ ) } j = 1 n satisfies the recurrence formulae</p><p>φ 1 ( λ ) = λ − a 1 ,</p><p>φ j ( λ ) = ( λ − a j ) φ j − 1 ( λ ) − ϵ 1 , j b 1 , j 2 det ( B j λ ) , j = ( i − 1 ) s + 2 , i = 1 , 2 , ⋯ , c ,</p><p>φ j ( λ ) = ( λ − a j ) φ j − 1 ( λ ) − ϵ ( j − 1 ) , j b ( j − 1 ) , j 2 φ j − 2 ( λ ) , j = ( i − 1 ) s + 3 , i = 1 , 2 , ⋯ , c ,</p><p>φ j ( λ ) = ( λ − a j ) φ j − 1 ( λ ) − ϵ ( i − 1 ) s + 3 , j b ( i − 1 ) s + 3 , j 2 φ ( i − 1 ) s + 2 ( λ ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ − a k ) ,</p><p>j = ( i − 1 ) s + 4 , ⋯ , i s + 1 , i = 1 , 2 , ⋯ , c .</p><p>where B j λ is the submatrix row and columns 2 , 3 , ⋯ , n − 1 of the matrix λ I n − A n , φ 0 ( λ ) = 1 and ∏ k = ( i − 1 ) s + 4 j − 1 ( λ − a k ) = 1 when j = ( i − 1 ) s + 4 .</p><p>Lemma 2.2. Let A n ∈ A ( ϵ , c , s ) , then φ j ( λ ) and φ j − 1 ( λ ) have no common root.</p><p>Proof. Supposing that λ 0 is a common root of φ j ( λ ) and φ j − 1 ( λ ) , by Lemma 2.1, we get that λ 0 is also a root of φ j − 2 ( λ ) , and so we have φ 0 ( λ ) = 0 ≠ 1 , Which is a contradiction. Hence φ j ( λ ) and φ j − 1 ( λ ) have no common root.</p><p>Lemma 2.3. ( [<xref ref-type="bibr" rid="scirp.130205-ref8">8</xref>] ) Let P ( λ ) be a monic polynomial of degree n, with all real zeroes. If λ 1 and λ n are, respectively, the smallest and largest zero of P ( λ ) , then</p><p>(1) If μ &lt; λ 1 , we have that ( − 1 ) n φ ( μ ) &gt; 0 ,</p><p>(2) If μ &gt; λ n , we have that φ ( μ ) &gt; 0 .</p><p>Lemma 2.4. ( [<xref ref-type="bibr" rid="scirp.130205-ref15">15</xref>] ) Let all ϵ = 1 for A n ∈ A ( ϵ , c , s ) , λ j ( 1 ) and λ j ( j ) , respectively, be the smallest and largest eigenvalues of its j &#215; j leading principal submatrix A j , j = 1 , ⋯ , n . Then we have</p><p>λ n ( 1 ) &lt; λ n − 1 ( 1 ) &lt; ⋯ &lt; λ 2 ( 1 ) &lt; λ 1 ( 1 ) &lt; λ 2 ( 2 ) &lt; λ 3 ( 3 ) &lt; ⋯ &lt; λ n − 1 ( n − 1 ) &lt; λ n ( n ) ,</p><p>and</p><p>λ j ( 1 ) &lt; a i &lt; λ j ( j ) , i = 2 , ⋯ , j ; j = 2 , ⋯ , n .</p><p>Lemma 2.5. The sufficient and necessary conditions for the existence of symmetric matrix A n ∈ A ( c , s ) whose graph is an ( c , s ) -banana tree, such that λ j ( 1 ) and λ j ( j ) are the smallest and largest eigenvalue of A j , the leading principal submatrix of A, respectively, is</p><p>λ n ( 1 ) &lt; λ n − 1 ( 1 ) &lt; ⋯ &lt; λ 3 ( 1 ) &lt; λ 2 ( 1 ) &lt; λ 1 ( 1 ) &lt; λ 2 ( 2 ) &lt; ⋯ &lt; λ n − 1 ( n − 1 ) &lt; λ n ( n ) . (1)</p><p>Proof. Sufficiency: suppose that { λ j ( 1 ) , λ j ( j ) } j = 1 n satisfies (1) for j = 1 , ⋯ , n . To prove the existence of a symmetric matrix A n ∈ A ( c , s ) with the required properties is equivalent to going to prove that the system</p><p>{ P j ( λ j ( 1 ) ) = 0 P j ( λ j ( j ) ) = 0 , j = 1 , ⋯ , n , (2)</p><p>For j = 1 , it is immediate that a 1 = λ 1 ( 1 ) .</p><p>According to Lemma 2.1, ϵ 1 , j = 1 for j = ( i − 1 ) s + 2 , i = 1 , 2 , ⋯ , c , system (2) can be written as</p><p>{ φ j ( λ j ( 1 ) ) = ( λ j ( 1 ) − a j ) φ j − 1 ( λ j ( 1 ) ) − b 1 , j 2 det ( B j λ j ( 1 ) ) = 0 φ j ( λ j ( j ) ) = ( λ j ( j ) − a j ) φ j − 1 ( λ j ( j ) ) − b 1 , j 2 det ( B j λ j ( j ) ) = 0 , j = ( i − 1 ) s + 2 , i = 1 , 2 , ⋯ , c ,</p><p>by condition (1) and Lemma 2.3, we get ( − 1 ) j − 1 φ j − 1 ( λ j ( 1 ) ) &gt; 0 , det ( B j λ j ( 1 ) ) &gt; 0 , φ j − 1 ( λ j ( j ) ) &gt; 0 , and ( − 1 ) j − 2 det ( B j λ j ( 1 ) ) &gt; 0 , then</p><p>a j = λ j ( 1 ) φ j − 1 ( λ j ( 1 ) ) det ( B j λ j ( j ) ) − λ j ( j ) φ j − 1 ( λ j ( j ) ) det ( B j λ j ( 1 ) ) φ j − 1 ( λ j ( 1 ) ) det ( B j λ j ( j ) ) − φ j − 1 ( λ j ( j ) ) det ( B j λ j ( 1 ) ) ,</p><p>b 1 , j 2 = ( λ j ( j ) − λ j ( 1 ) ) φ j − 1 ( λ j ( 1 ) ) φ j − 1 ( λ j ( j ) ) φ j − 1 ( λ j ( 1 ) ) det ( B j λ j ( j ) ) − φ j − 1 ( λ j ( j ) ) det ( B j λ j ( 1 ) ) &gt; 0 .</p><p>According to Lemma 2.1, ϵ ( j − 1 ) , j = 1 for j = ( i − 1 ) s + 3 , i = 1 , 2 , ⋯ , c , system (2) can be written as</p><p>{ φ j ( λ j ( 1 ) ) = ( λ j ( 1 ) − a j ) φ j − 1 ( λ j ( 1 ) ) − b ( j − 1 ) , j 2 φ j − 2 ( λ j ( 1 ) ) = 0 φ j ( λ j ( j ) ) = ( λ j ( j ) − a j ) φ j − 1 ( λ j ( j ) ) − b ( j − 1 ) , j 2 φ j − 2 ( λ j ( j ) ) = 0 , j = ( i − 1 ) s + 3 , i = 1 , 2 , ⋯ , c</p><p>by condition (1) and Lemma 2.3, we have ( − 1 ) j − 1 φ j − 1 ( λ j ( 1 ) ) &gt; 0 and φ j − 1 ( λ j ( j ) ) &gt; 0 then</p><p>a j = λ j ( 1 ) φ j − 1 ( λ j ( 1 ) ) φ j − 2 ( λ j ( j ) ) − λ j ( j ) φ j − 1 ( λ j ( j ) ) φ j − 2 ( λ j ( 1 ) ) φ j − 1 ( λ j ( 1 ) ) φ j − 2 ( λ j ( j ) ) − φ j − 1 ( λ j ( j ) ) φ j − 2 ( λ j ( 1 ) ) ,</p><p>b ( j − 1 ) , j 2 = λ j ( j ) − λ j ( 1 ) φ j − 1 ( λ j ( 1 ) ) φ j − 1 ( λ j ( j ) ) φ j − 1 ( λ j ( 1 ) ) φ j − 2 ( λ j ( j ) ) − φ j − 1 ( λ j ( j ) ) φ j − 2 ( λ j ( 1 ) ) &gt; 0 .</p><p>According to Lemma 2.1, ϵ ( i − 1 ) s + 3 , j = 1 for j = ( i − 1 ) s + 4 , ⋯ , i s + 1 , i = 1 , 2 , ⋯ , c , system (2) can be written as</p><p>{ φ j ( λ j ( 1 ) ) = ( λ j ( 1 ) − a j ) φ j − 1 ( λ j ( 1 ) ) − b ( i − 1 ) s + 3 , j 2 φ ( i − 1 ) s + 2 ( λ j ( 1 ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( 1 ) − a k ) = 0 φ j ( λ j ( j ) ) = ( λ j ( j ) − a j ) φ j − 1 ( λ j ( j ) ) − b ( i − 1 ) s + 3 , j 2 φ ( i − 1 ) s + 2 ( λ j ( j ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( j ) − a k ) = 0 ,</p><p>by condition (1), Lemma 2.3 and Lemma 2.4, we get ( − 1 ) j − 1 φ j − 1 ( λ j ( 1 ) ) &gt; 0 , φ j − 1 ( λ j ( j ) ) &gt; 0 , ( − 1 ) ( i − 1 ) s + 2 φ ( i − 1 ) s + 2 ( λ j ( 1 ) ) &gt; 0 , φ ( i − 1 ) s + 2 ( λ j ( j ) ) &gt; 0 , ( − 1 ) j − ( i − 1 ) s − 4 ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( 1 ) − a k ) &gt; 0 , ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( j ) − a k ) &gt; 0 , then</p><p>a j = λ j ( 1 ) φ j − 1 ( λ j ( 1 ) ) φ ( i − 1 ) s + 2 ( λ j ( j ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( j ) − a k ) − λ j ( j ) φ j − 1 ( λ j ( j ) ) φ ( i − 1 ) s + 2 ( λ j ( 1 ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( 1 ) − a k ) φ j − 1 ( λ j ( 1 ) ) φ ( i − 1 ) s + 2 ( λ j ( j ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( j ) − a k ) − φ j − 1 ( λ j ( j ) ) φ ( i − 1 ) s + 2 ( λ j ( 1 ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( 1 ) − a k ) ,</p><p>b ( i − 1 ) s + 3 , j 2 = ( λ j ( h ) − λ j ( 1 ) ) φ j − 1 ( λ j ( 1 ) ) φ j − 1 ( λ j ( j ) ) φ j − 1 ( λ j ( 1 ) ) φ ( i − 1 ) s + 2 ( λ j ( j ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( j ) − a k ) − φ j − 1 ( λ j ( j ) ) φ ( i − 1 ) s + 2 ( λ j ( 1 ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( 1 ) − a k ) &gt; 0 .</p><p>Necessity: Assuming that there exists a unique matrix A n ∈ A ( c , s ) such that λ j ( 1 ) and λ j ( j ) are the smallest and maximal eigenvalues of their corresponding principal submatrices, respectively, and by Cauchy's alternating theorem and Lemma 2.4, (1) holds.</p></sec><sec id="s3"><title>3. Results</title><sec id="s3_1"><title>3.1. The Solution of PIEPB ( ϵ , c , s )</title><p>Theorem 3.1. Let different numbers { λ n ( 1 ) , λ n − 1 ( 1 ) , ⋯ , λ 1 ( 1 ) , λ 2 ( 2 ) , ⋯ , λ n ( n ) } ∈ ℝ , if</p><p>φ j − 1 ( λ j ( 1 ) ) det ( B j λ j ( j ) ) − φ j − 1 ( λ j ( j ) ) det ( B j λ j ( 1 ) ) ≠ 0 , (3)</p><p>φ j − 1 ( λ j ( 1 ) ) φ j − 2 ( λ j ( j ) ) − φ j − 1 ( λ j ( j ) ) φ j − 2 ( λ j ( 1 ) ) ≠ 0 , (4)</p><p>φ j − 1 ( λ j ( 1 ) ) φ ( i − 1 ) s + 2 ( λ j ( j ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( j ) − a k )   − φ j − 1 ( λ j ( j ) ) φ ( i − 1 ) s + 2 ( λ j ( 1 ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( 1 ) − a k ) ≠ 0 , (5)</p><p>where j = 2 , 3 , ⋯ , n , then there exists a matrix A n ∈ A ( ϵ , c , s ) , such that λ j ( 1 ) and λ j ( j ) are, respectively, the eigenvalues of A j , j = 1 , ⋯ , n .</p><p>Proof. Sufficiency: suppose the conditions (3) (4) and (5) hold. To prove the existence of a pseudo-symmetric matrix A n ∈ A ( ϵ , c , s ) is equivalent to proving that</p><p>{ φ j ( λ j ( 1 ) ) = 0 φ j ( λ j ( j ) ) = 0 , j = 1 , ⋯ , n , (6)</p><p>When j = 1 , it is immediate that a 1 = λ 1 ( 1 ) .</p><p>According to Lemma 2.1 for j = ( i − 1 ) s + 2 , i = 1 , 2 , ⋯ , c , system (6) can be written as</p><p>{ φ j ( λ j ( 1 ) ) = ( λ j ( 1 ) − a j ) φ j − 1 ( λ j ( 1 ) ) − ϵ 1 , j b 1 , j 2 det ( B j λ j ( 1 ) ) = 0 φ j ( λ j ( j ) ) = ( λ j ( j ) − a j ) φ j − 1 ( λ j ( j ) ) − ϵ 1 , j b 1 , j 2 det ( B j λ j ( j ) ) = 0 , j = ( i − 1 ) s + 2 , i = 1 , 2 , ⋯ , c ,</p><p>by Lemma 2.3, we have</p><p>a j = λ j ( 1 ) φ j − 1 ( λ j ( 1 ) ) det ( B j λ j ( j ) ) − λ j ( j ) φ j − 1 ( λ j ( j ) ) det ( B j λ j ( 1 ) ) φ j − 1 ( λ j ( 1 ) ) det ( B j λ j ( j ) ) − φ j − 1 ( λ j ( j ) ) det ( B j λ j ( 1 ) ) , (7)</p><p><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/130205x147.png" xlink:type="simple"/></inline-formula>.</p><p>according to Lemma 2.2, ( λ j ( j ) − λ j ( 1 ) ) φ j − 1 ( λ j ( 1 ) ) φ j − 1 ( λ j ( j ) ) ≠ 0 , added to condition (3), we get α ≠ 0 , and</p><p>b 1 , j = | α | &gt; 0 , ϵ 1 , j = α | α | . (8)</p><p>According to Lemma 2.1 for j = ( i − 1 ) s + 3 , i = 1 , 2 , ⋯ , c , system (6) can be written as</p><p>{ φ j ( λ j ( 1 ) ) = ( λ j ( 1 ) − a j ) φ j − 1 ( λ j ( 1 ) ) − ϵ ( j − 1 ) , j b ( j − 1 ) , j 2 φ j − 2 ( λ j ( 1 ) ) = 0 φ j ( λ j ( j ) ) = ( λ j ( j ) − a j ) φ j − 1 ( λ j ( j ) ) − ϵ ( j − 1 ) , j b ( j − 1 ) , j 2 φ j − 2 ( λ j ( j ) ) = 0 , j = ( i − 1 ) s + 3 , i = 1 , 2 , ⋯ , c ,</p><p>by Lemma 2.3, we get</p><p>a j = λ j ( 1 ) φ j − 1 ( λ j ( 1 ) ) φ j − 2 ( λ j ( j ) ) − λ j ( j ) φ j − 1 ( λ j ( j ) ) φ j − 2 ( λ j ( 1 ) ) φ j − 1 ( λ j ( 1 ) ) φ j − 2 ( λ j ( j ) ) − φ j − 1 ( λ j ( j ) ) φ j − 2 ( λ j ( 1 ) ) , (9)</p><p>ϵ ( j − 1 ) , j b ( j − 1 ) , j 2 = ( λ j ( j ) − λ j ( 1 ) ) φ j − 1 ( λ j ( 1 ) ) φ j − 1 ( λ j ( j ) ) φ j − 1 ( λ j ( 1 ) ) φ j − 2 ( λ j ( j ) ) − φ j − 1 ( λ j ( j ) ) φ j − 2 ( λ j ( 1 ) ) = β .</p><p>according to Lemma 2.2, ( λ j ( j ) − λ j ( 1 ) ) φ j − 1 ( λ j ( 1 ) ) φ j − 1 ( λ j ( j ) ) ≠ 0 , added to condition (4), we get β ≠ 0 , and</p><p>b ( j − 1 ) , j = | β | &gt; 0 , ϵ ( j − 1 ) , j = β | β | . (10)</p><p>According to Lemma 2.1 for j = ( i − 1 ) s + 4 , ⋯ , i s + 1 , i = 1 , 2 , ⋯ , c , system (6) can be written as</p><p>{ φ j ( λ j ( 1 ) ) = ( λ j ( 1 ) − a j ) φ j − 1 ( λ j ( 1 ) ) − ϵ ( i − 1 ) s + 3 , j b ( i − 1 ) s + 3 , j 2 φ ( i − 1 ) s + 2 ( λ j ( 1 ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( 1 ) − a k ) = 0 φ j ( λ j ( j ) ) = ( λ j ( j ) − a j ) φ j − 1 ( λ j ( j ) ) − ϵ ( i − 1 ) s + 3 , j b ( i − 1 ) s + 3 , j 2 φ ( i − 1 ) s + 2 ( λ j ( j ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( j ) − a k ) = 0 ,</p><p>by Lemma 2.3, we have</p><p>a j = λ j ( 1 ) φ j − 1 ( λ j ( 1 ) ) φ ( i − 1 ) s + 2 ( λ j ( j ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( j ) − a k ) − λ j ( j ) φ j − 1 ( λ j ( j ) ) φ ( i − 1 ) s + 2 ( λ j ( 1 ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( 1 ) − a k ) φ j − 1 ( λ j ( 1 ) ) φ ( i − 1 ) s + 2 ( λ j ( j ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( j ) − a k ) − φ j − 1 ( λ j ( j ) ) φ ( i − 1 ) s + 2 ( λ j ( 1 ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( 1 ) − a k ) , (11)</p><p>ϵ ( i − 1 ) s + 3 , j b ( i − 1 ) s + 3 , j 2 = ( λ j ( j ) − λ j ( 1 ) ) φ j − 1 ( λ j ( 1 ) ) φ j − 1 ( λ j ( j ) ) φ j − 1 ( λ j ( 1 ) ) φ ( i − 1 ) s + 2 ( λ j ( j ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( j ) − a k ) − φ j − 1 ( λ j ( j ) ) φ ( i − 1 ) s + 2 ( λ j ( 1 ) ) ∏ k = ( i − 1 ) s + 4 j − 1 ( λ j ( 1 ) − a k ) = θ .</p><p>according to Lemma 2.2, ( λ j ( j ) − λ j ( 1 ) ) φ j − 1 ( λ j ( 1 ) ) φ j − 1 ( λ j ( j ) ) ≠ 0 , added to condition (5), we get θ ≠ 0 , and</p><p>b ( i − 1 ) s + 3 , j = | θ | &gt; 0 , ϵ ( i − 1 ) s + 3 , j = θ | θ | . (12)</p><p>Conversely. Suppose that PIEPB ( ϵ , c , s ) has a unique solution, i.e., the system (6) has solutions a j , b and satisfies all b &gt; 0 . In the same way that we proved the sufficiency, we get (7)-(12). Thus (3), (4) and (5) hold.</p></sec><sec id="s3_2"><title>3.2. Algorithm 1</title></sec></sec><sec id="s4"><title>4. Numerical Examples</title><sec id="s4_1"><title>4.1. Example 1</title><p><xref ref-type="table" rid="table1">Table 1</xref>, which satisfy conditions (1). By applying MatlabR2021b, we compute the following matrix.</p><table-wrap id="table1" ><label><xref ref-type="table" rid="table1">Table 1</xref></label><caption><title> Spectral data for Lemma 2.5</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >j</th><th align="center" valign="middle" >1</th><th align="center" valign="middle" >2</th><th align="center" valign="middle" >3</th><th align="center" valign="middle" >4</th><th align="center" valign="middle" >5</th><th align="center" valign="middle" >6</th><th align="center" valign="middle" >7</th><th align="center" valign="middle" >8</th><th align="center" valign="middle" >9</th></tr></thead><tr><td align="center" valign="middle" >λ j ( 1 )</td><td align="center" valign="middle" >1.0000</td><td align="center" valign="middle" >−2.0000</td><td align="center" valign="middle" >−3.0000</td><td align="center" valign="middle" >−4.0000</td><td align="center" valign="middle" >−5.0000</td><td align="center" valign="middle" >−6.0000</td><td align="center" valign="middle" >−7.0000</td><td align="center" valign="middle" >−8.0000</td><td align="center" valign="middle" >−9.0000</td></tr><tr><td align="center" valign="middle" >λ j ( j )</td><td align="center" valign="middle" >1.0000</td><td align="center" valign="middle" >2.5000</td><td align="center" valign="middle" >4.0000</td><td align="center" valign="middle" >4.5000</td><td align="center" valign="middle" >5.0000</td><td align="center" valign="middle" >6.0000</td><td align="center" valign="middle" >7.0000</td><td align="center" valign="middle" >8.0000</td><td align="center" valign="middle" >9.0000</td></tr></tbody></table></table-wrap><p>A 9 = [ 1.0000 1.9364 0 0 0 5.7852 0 0 0 1.9364 0 2.8722 0 0 0 0 0 0 0 2.8722 1.0000 3.1378 3.5966 0 0 0 0 0 0 3.1378 0 0 0 0 0 0 0 0 3.5966 0 − 1.2364 0 0 0 0 5.7852 0 0 0 0 − 1.4279 4.1556 0 0 0 0 0 0 0 4.1556 2.0115 5.7833 4.9181 0 0 0 0 0 0 5.7833 − 2.2485 0 0 0 0 0 0 0 4.9181 0 − 2.0778 ] .</p><p>Recompute that: the eigenvalues of its the leading principal submatrices A j , j = 1 , ⋯ , 9 , are:</p><p>Λ ( A 1 ) = { 1.0000 _ } ,</p><p>Λ ( A 2 ) = { − 1.5000 _ , 2.5000 _ } ,</p><p>Λ ( A 3 ) = { − 3.0000 _ , 1.0000 , 4.0000 _ } ,</p><p>Λ ( A 4 ) = { − 4.0000 _ , − 0.9478 , 1.9478 , 5.0000 _ } ,</p><p>Λ ( A 5 ) = { − 5.5000 _ , − 1.4288 , − 0.4516 , 2.1439 , 6.0000 _ } ,</p><p>Λ ( A 6 ) = { − 6.5000 _ , − 5.2765 , − 0.7170 , − 0.0754 , 5.4045 , 6.5000 _ } ,</p><p>Λ ( A 7 ) = { − 7.5000 _ , − 5.3941 , − 0.8648 , − 0.2904 , 2.0710 , 5.8255 , 7.5000 _ } ,</p><p>Λ ( A 8 ) = { − 8.5000 _ , − 5.5735 , − 4.7300 , − 0.7334 , − 0.1191 , 4.2519 , 6.0028 , 8.5000 _ } ,</p><p>Λ ( A 9 ) = { − 9.5000 _ , − 5.8133 , − 5.0707 , − 2.1488 , − 0.7265 , − 0.1021 , 4.7635 , 6.1190 , 9.5000 _ } .</p></sec><sec id="s4_2"><title>4.1. Example 2</title><p>Given different real number λ 6 ( 1 ) = 4 , λ 5 ( 1 ) = 5 , λ 4 ( 1 ) = − 0.1 , λ 3 ( 1 ) = 2 , λ 2 ( 1 ) = 0.1 , λ 1 ( 1 ) = 1 , λ 2 ( 2 ) = − 8 , λ 3 ( 3 ) = 3 , λ 4 ( 4 ) = 0.6 , λ 5 ( 5 ) = − 7 , λ 6 ( 6 ) = − 9 . construct a matrix A 6 ∈ A ( ϵ , 1 , 5 ) , such that λ j ( 1 ) and λ j ( j ) are the eigenvalues of A j , j = 1 , 2 , ⋯ , 6 , respectively. In particular, this matrix corresponds to the graph is an (1, 5)-banana tree when all ϵ = 1 (<xref ref-type="fig" rid="fig2">Figure 2</xref>).</p><p>By applying algorithm 1 and matlabR2021b, we compute the following matrix</p><p>A 6 = [ 1.0000 2.8460 0 0 0 0 − 2.8460 − 8.9000 9.9680 0 0 0 0 9.9680 − 3.2295 2.7638 2.3389 4.4658 0 0 2.7638 0.0157 0 0 0 0 2.3389 0 − 6.9523 0 0 0 − 4.4658 0 0 − 8.8135 ] .</p><p>Recompute that: the eigenvalues of its the leading principal submatrices A j , j = 1 , ⋯ , 6 , are:</p><p>Λ ( A 1 ) = { 1.0000 _ } .</p><p>Λ ( A 2 ) = { 0.1000 _ , − 8.0000 _ } .</p><p>Λ ( A 3 ) = { 3.0000 _ , 2.0000 _ , − 16.1295 } .</p><p>Λ ( A 4 ) = { 4.6961 , 0.6000 _ , − 0.1000 _ , − 16.3100 } .</p><p>Λ ( A 5 ) = { 5.0000 _ , 0.5656 , − 0.0974 , − 7.0000 _ , − 16.5343 } .</p><p>Λ ( A 6 ) = { 4.0000 _ , 0.6886 , − 0.1053 , − 7.0048 , − 9.0000 _ , , − 15.4581 } .</p><p><xref ref-type="fig" rid="fig3">Figure 3</xref> displays the extreme eigenvalues of A j , j = 1 , ⋯ , 9 , as presented in example 1. These are in line with the recomputed eigenvalues of A j , j = 1 , ⋯ , 9 . Likewise, <xref ref-type="fig" rid="fig4">Figure 4</xref> presents the eigenvalues of A j , j = 1 , ⋯ , 6 , as featured in example 4.2, which are consistent with the recomputed eigenvalues of A j , j = 1 , ⋯ , 6 .</p></sec></sec><sec id="s5"><title>5. Conclusion</title><p>Based on matrices whose graph is a banana tree, we study the inverse spectral problem for pseudo-symmetric matrices. It is obviously difficult to reconstruct the pseudo-symmetric matrix given the eigenvalues, and in order to achieve this deficiency, other constraints are added on top of the eigendata, which in turn enables the reconstruction of the pseudo-symmetric matrix. We obtained sufficient necessary conditions to solve the problem.</p></sec><sec id="s6"><title>Acknowledgements</title><p>This research was supported by the National Nature Science Foundation of China and Shanxi Province Basic Research Program Grant (202203021211088).</p></sec><sec id="s7"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest.</p></sec><sec id="s8"><title>Cite this paper</title><p>Su, R., Lei, Y.J. and Li, F.H. (2023) An Inverse Eigenproblems for Pseudo-Symmetric Matrices. Open Access Library Journal, 10: e11067. https://doi.org/10.4236/oalib.1111067</p></sec></body><back><ref-list><title>References</title><ref id="scirp.130205-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Xu, W.R., Bebiano, N. and Chen, G.L. (2019) An Inverse Eigenvalue Problem for Pseudo-Jacobi Matrices. Applied Mathematics and Computation, 346, 423-435.  
https://doi.org/10.1016/j.amc.2018.10.051</mixed-citation></ref><ref id="scirp.130205-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Xu, W.R., Bebiano, N. and Chen, G.L. (2021) An Inverse Eigenvalue Problem for Modified Pseudo-Jacobi Matrices. Journal of Computational and Applied Mathematics, 389, Article ID: 113361. https://doi.org/10.1016/j.cam.2020.113361</mixed-citation></ref><ref id="scirp.130205-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Xu, W.R., Bebiano, N. and Chen, G.L. (2022) An Inverse Eigenvalue Problem for Doubly Periodic Pseudo-Jacobi Matrices. Journal of Computational and Applied Mathematics, 405, Article ID: 113957. https://doi.org/10.1016/j.cam.2021.113957</mixed-citation></ref><ref id="scirp.130205-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Su, Q. (2016) Inverse Spectral Problem for Pseudo-Jacobi Matrices with Partial Spectral Data. Journal of Computational and Applied Mathematics, 297, 1-12. 
https://doi.org/10.1016/j.cam.2015.11.011</mixed-citation></ref><ref id="scirp.130205-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Su, Q. (2023) Inverse Spectral Problems for a Special Acyclic Matrix. International Journal of Foundations of Computer Science, 1-14. 
https://doi.org/10.1142/S0129054123460048</mixed-citation></ref><ref id="scirp.130205-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Johnson, C. R. and Wakhare, T. (2022) The inverse eigenvalue problem for linear trees. Discrete Mathematics, 345, Article ID: 112737 
https://doi.org/10.1016/j.disc.2021.112737</mixed-citation></ref><ref id="scirp.130205-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Arela-Pérez, S., Ega&amp;ntilde;a, J., Pasten, G. and Pickmann-Soto, H. (2023) Extremal Realization Spectra by Two Acyclic Matrices Whose Graphs Are Caterpillars. Linear and Multilinear Algebra, 71, 1657-1680.  
https://doi.org/10.1080/03081087.2022.2069222</mixed-citation></ref><ref id="scirp.130205-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Bardhan, B., Sen, M. and Sharma, D. (2023) Two Inverse Eigenvalue Problems for Matrices Whose Graphs Are Trees. AKCE International Journal of Graphs and Combinatorics, 20, 120-124. https://doi.org/10.1080/09728600.2023.2234011</mixed-citation></ref><ref id="scirp.130205-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Lin, J.C.H., Oblak, P. and Smigoc, H. (2023) The Liberation Set in the Inverse Eigenvalue Problem of a Graph. Linear Algebra and its Applications, 675, 1-28. 
https://doi.org/10.1016/j.laa.2023.06.009</mixed-citation></ref><ref id="scirp.130205-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Gladwell, G.M.L. (1986) Inverse Problems in Vibration. Springer Dordrecht, Dordrecht. https://doi.org/10.1007/978-94-015-1178-0</mixed-citation></ref><ref id="scirp.130205-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Monfared, K.H. and Shader, B.L. (2013) Construction of Matrices with a Given Graph and Prescribed Interlaced Spectral Data. Linear Algebra and its Applications, 438, 4348-4358. https://doi.org/10.1016/j.laa.2013.01.036</mixed-citation></ref><ref id="scirp.130205-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Nylen, P. and Uhlig, F. (1997) Inverse Eigenvalue Problems Associated with Spring- Mass Systems. Linear Algebra and Its Applications, 254, 409-425. 
https://doi.org/10.1016/S0024-3795(96)00316-3</mixed-citation></ref><ref id="scirp.130205-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Babaei Zarch, M. and Shahzadeh Fazeli, S.A. (2019) Inverse Eigenvalue Problem for a Kind of Acyclic Matrices. Iranian Journal of Science and Technology, Transactions A: Science, 43, 2531-2539. https://doi.org/10.1007/s40995-019-00737-x</mixed-citation></ref><ref id="scirp.130205-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Chen, W.C., Lu, H.I. and Yeh, Y.N. (1997) Operations of Interlaced Trees and Graceful Trees. Southeast Asian Bulletin of Mathematics, 21, 337-348.</mixed-citation></ref><ref id="scirp.130205-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Babaei Zarch, M., Shahzadeh Fazeli, S.A. and Karbassi, S.M. (2018) Inverse Eigenvalue Problem for Matrices Whose Graph Is a Banana Tree. Journal of Algorithms and Computation, 50, 89-101.</mixed-citation></ref><ref id="scirp.130205-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Asmiati (2017) Locating Chromatic Number of Banana Tree. International Mathematical Forum, 12, 39-45. https://doi.org/10.12988/imf.2017.610138</mixed-citation></ref></ref-list></back></article>