<?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">ALAMT</journal-id><journal-title-group><journal-title>Advances in Linear Algebra &amp; Matrix Theory</journal-title></journal-title-group><issn pub-type="epub">2165-333X</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/alamt.2015.54015</article-id><article-id pub-id-type="publisher-id">ALAMT-61733</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Trace of Positive Integer Power of Real 2 &#215; 2 Matrices
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>agdish</surname><given-names>Pahade</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Manoj</surname><given-names>Jha</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>Department of Mathematics, Maulana Azad National Institute of Technology, Bhopal, India</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>jai.pahade111@gmail.com(AP)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>19</day><month>11</month><year>2015</year></pub-date><volume>05</volume><issue>04</issue><fpage>150</fpage><lpage>155</lpage><history><date date-type="received"><day>21</day>	<month>September</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>4</month>	<year>December</year>	</date><date date-type="accepted"><day>7</day>	<month>December</month>	<year>2015</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>
 
 
  The purpose of this paper is to discuss the theorems for the trace of any positive integer power of 2 &#215; 2 real matrix. We obtain a new formula to compute trace of any positive integer power of 2 &#215; 2 real matrix 
  A, in the terms of Trace of 
  A (Tr
  A) and Determinant of 
  A (Det
  A), which are based on definition of trace of matrix and multiplication of the matrixn times, where 
  n is positive integer and this formula gives some corollary for Tr
  A<sup>n</sup> when Tr
  A or Det
  A are zero.
 
</p></abstract><kwd-group><kwd>Trace</kwd><kwd> Determinant</kwd><kwd> Matrix Multiplication</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Traces of powers of matrices arise in several fields of mathematics, more specifically, Network Analysis, Numbertheory, Dynamical systems, Matrix theory, and Differential equations [<xref ref-type="bibr" rid="scirp.61733-ref1">1</xref>] . When analyzing a complex network, an important problem is to compute the total number of triangles of a connected simple graph. This number is equal to Tr(A<sup>3</sup>)/6, where A is the adjacency matrix of the graph [<xref ref-type="bibr" rid="scirp.61733-ref2">2</xref>] . Traces of powers of integer matrices are connected with the Euler congruence [<xref ref-type="bibr" rid="scirp.61733-ref3">3</xref>] , an important phenomenon in mathematics, stating that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x7.png" xlink:type="simple"/></inline-formula>,</p><p>for all integer matrices A, all primes p, and all r ∊ Z. The invariants of dynamical systems are described in terms of the traces of powers of integer matrices, for example in studying the Lefschetz numbers [<xref ref-type="bibr" rid="scirp.61733-ref3">3</xref>] . There are many applications in matrix theory and numerical linear algebra. For example, in order to obtain approximations of the smallest and the largest eigenvalues of a symmetric matrix A, a procedure based on estimates of the trace of A<sup>n</sup> and A<sup>−n</sup>, n ∊ Z, is proposed in [<xref ref-type="bibr" rid="scirp.61733-ref4">4</xref>] .</p><p>Trace of a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x9.png" xlink:type="simple"/></inline-formula> matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x10.png" xlink:type="simple"/></inline-formula> is defined to be the sum of the elements on the main diagonal of A, i.e.</p><disp-formula id="scirp.61733-formula303"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x11.png"  xlink:type="simple"/></disp-formula><p>The computation of the trace of matrix powers has received much attention. In [<xref ref-type="bibr" rid="scirp.61733-ref5">5</xref>] , an algorithm for computing <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x12.png" xlink:type="simple"/></inline-formula> is proposed, when A is a lower Hessenberg matrix with a unit codiagonal. In [<xref ref-type="bibr" rid="scirp.61733-ref6">6</xref>] , a symbolic calculation of the trace of powers of tridiagonal matrices is presented. Let A be a symmetric positive definite matrix, and let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x13.png" xlink:type="simple"/></inline-formula> denote its eigenvalues. For q ∊ R, A<sup>q</sup> is also symmetric positive definite, and it holds [<xref ref-type="bibr" rid="scirp.61733-ref7">7</xref>] .</p><disp-formula id="scirp.61733-formula304"><label>(1.1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2230090x14.png"  xlink:type="simple"/></disp-formula><p>This formula is restricted to the matrix A. Also we have other formulae [<xref ref-type="bibr" rid="scirp.61733-ref8">8</xref>] to compute the trace of matrix power such that</p><disp-formula id="scirp.61733-formula305"><label>(1.2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2230090x15.png"  xlink:type="simple"/></disp-formula><p>But for many cases, this formula is time consuming. For example</p><p>Consider a matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x16.png" xlink:type="simple"/></inline-formula> and let we are to find TrA<sup>5</sup>. Eigenvalues of A are<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x17.png" xlink:type="simple"/></inline-formula>, then by (1.2),<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x18.png" xlink:type="simple"/></inline-formula>.</p><p>Computation of this value is time consuming. Therefore, other formulae to compute trace of matrix power are needed. Now we give new theorems and corollaries to compute trace of matrix power. Our estimation for the trace of A<sup>n</sup> is based on the multiplication of matrix.</p></sec><sec id="s2"><title>2. Main Result</title><p>Theorem 1. For even positive integer n and 2 &#215; 2 real matrix A,</p><disp-formula id="scirp.61733-formula306"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x19.png"  xlink:type="simple"/></disp-formula><p>Proof. Consider a matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x20.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x21.png" xlink:type="simple"/></inline-formula> are real.</p><p>Then</p><disp-formula id="scirp.61733-formula307"><label>(2.1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2230090x22.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.61733-formula308"><label>(2.2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2230090x23.png"  xlink:type="simple"/></disp-formula><p>Now</p><disp-formula id="scirp.61733-formula309"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x24.png"  xlink:type="simple"/></disp-formula><p>Then</p><disp-formula id="scirp.61733-formula310"><label>(2.3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2230090x25.png"  xlink:type="simple"/></disp-formula><p>Now again</p><disp-formula id="scirp.61733-formula311"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x26.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61733-formula312"><label>(2.4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2230090x27.png"  xlink:type="simple"/></disp-formula><p>Then</p><disp-formula id="scirp.61733-formula313"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x28.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61733-formula314"><label>(2.5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2230090x29.png"  xlink:type="simple"/></disp-formula><p>Now replace A by A<sup>2</sup> in (2.3), we have</p><disp-formula id="scirp.61733-formula315"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x30.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61733-formula316"><label>(2.6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2230090x31.png"  xlink:type="simple"/></disp-formula><p>Again replace A by A<sup>2</sup> in (2.5), we have</p><disp-formula id="scirp.61733-formula317"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x32.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61733-formula318"><label>(2.7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2230090x33.png"  xlink:type="simple"/></disp-formula><p>Now again replace A by A<sup>2</sup> in (2.6), we have</p><disp-formula id="scirp.61733-formula319"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x34.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61733-formula320"><label>(2.8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2230090x35.png"  xlink:type="simple"/></disp-formula><p>Now we observe from (2.3), (2.6), (2.7) and (2.8) that</p><disp-formula id="scirp.61733-formula321"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x36.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61733-formula322"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x37.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61733-formula323"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x38.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61733-formula324"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x39.png"  xlink:type="simple"/></disp-formula><p>Continuing this process up to n terms we get</p><disp-formula id="scirp.61733-formula325"><label>(2.9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2230090x40.png"  xlink:type="simple"/></disp-formula><p>Finally from above, we get</p><disp-formula id="scirp.61733-formula326"><label>(2.10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2230090x41.png"  xlink:type="simple"/></disp-formula><p>Hence the proof is completed.</p><p>Theorem 2. For odd positive integer n and 2 &#215; 2 real matrix A,</p><disp-formula id="scirp.61733-formula327"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x42.png"  xlink:type="simple"/></disp-formula><p>Proof. Consider a matrix A as in theorem 1, we have from (1.4) and (1.6).</p><disp-formula id="scirp.61733-formula328"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x43.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61733-formula329"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x44.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61733-formula330"><label>(2.11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2230090x45.png"  xlink:type="simple"/></disp-formula><p>Now we observe from (2.5) and (2.11) that</p><disp-formula id="scirp.61733-formula331"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x46.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61733-formula332"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x47.png"  xlink:type="simple"/></disp-formula><p>Now we continuing this as in Theorem 1, we get TrA<sup>n</sup> same as Theorem 1. But here r varies up to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x48.png" xlink:type="simple"/></inline-formula>. Hence the theorem follows.</p><p>Corollary 1: For any positive integer n and 2 &#215; 2 real singular matrix A,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x49.png" xlink:type="simple"/></inline-formula>.</p><p>Proof: For singular matrix A, DetA = 0. Hence proof follows from Theorem 1 and Theorem 2.</p><p>Corollary 2: For 2 &#215; 2 real matrix A with TrA = 0.</p><p>1) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x50.png" xlink:type="simple"/></inline-formula>when n is even and;</p><p>2) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x51.png" xlink:type="simple"/></inline-formula>when n is odd.</p><p>Proof. Proof follows from theorem 1 and theorem 2.</p><p>Corollary 3: For 2 &#215; 2 real matrix A with TrA = 0 and DetA = 0.</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x52.png" xlink:type="simple"/></inline-formula>where n is any positive integer.</p><p>Proof. Proof follows from Corollary 2.</p><p>Example 1. Consider a matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x53.png" xlink:type="simple"/></inline-formula> and let we are to find TrA<sup>5</sup>.</p><p>Here <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x54.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x55.png" xlink:type="simple"/></inline-formula>. then by Theorem 2, we have</p><disp-formula id="scirp.61733-formula333"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x56.png"  xlink:type="simple"/></disp-formula><p>Example 2. Consider a matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x57.png" xlink:type="simple"/></inline-formula> and let we are to find TrA<sup>10</sup>.</p><p>Here <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x58.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x59.png" xlink:type="simple"/></inline-formula>. then by Theorem 1, we have</p><disp-formula id="scirp.61733-formula334"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x60.png"  xlink:type="simple"/></disp-formula><p>Example 3. Consider a matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x61.png" xlink:type="simple"/></inline-formula> and let we are to find TrA<sup>2015</sup>.</p><p>Here TrA = 0, DetA = −2 and n = 2015, which is odd, hence by corollary 2, we get TrA<sup>2015</sup> = 0.</p><p>Example 4. Consider a matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2230090x62.png" xlink:type="simple"/></inline-formula> and let we are to find TrA<sup>100</sup>.</p><p>Here A is a singular matrix with Trace 1, and then by Corollary 1, we have</p><disp-formula id="scirp.61733-formula335"><graphic  xlink:href="http://html.scirp.org/file/3-2230090x63.png"  xlink:type="simple"/></disp-formula></sec><sec id="s3"><title>Conclusion and Future Work</title><p>After to discuss Theorems 1 and 2, Corollaries 1, 2 and 3, we are able to find trace of any integer power of a 2 &#215; 2 real matrix. In future, we can be developed similar results for 3 &#215; 3 real matrices.</p></sec><sec id="s4"><title>Acknowledgements</title><p>We would like to hardly thankful with great attitude to Director, Maulana Azad National Institute of Technology, Bhopal for financial support and we also thankful to HOD, Department of Mathematics of this institute for giving me opportunity to expose my research in scientific world.</p></sec><sec id="s5"><title>Cite this paper</title><p>Jagdish Pahade,Manoj Jha, (2015) Trace of Positive Integer Power of Real 2 &#215; 2 Matrices. Advances in Linear Algebra &amp; Matrix Theory,05,150-155. doi: 10.4236/alamt.2015.54015</p></sec><sec id="s6"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.61733-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Brezinski, C., Fika, P. and Mitrouli, M. (2012) Estimations of the Trace of Powers of Positive Self-Adjoint Operators by Extrapolation of the Moments. Electronic Transactions on Numerical Analysis, 39, 144-155.</mixed-citation></ref><ref id="scirp.61733-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Avron, H. (2010) Counting Triangles in Large Graphs Using Randomized Matrix Trace Estimation. Proceedings of Kdd-Ldmta’10, 2010.</mixed-citation></ref><ref id="scirp.61733-ref3"><label>3</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Zarelua</surname><given-names> A.V. </given-names></name>,<etal>et al</etal>. (<year>2008</year>)<article-title>On Congruences for the Traces of Powers of Some Matrices</article-title><source> Proceedings of the Steklov Institute of Mathematics</source><volume> 263</volume>,<fpage> 78</fpage>-<lpage>98</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.61733-ref4"><label>4</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Pan</surname><given-names> V. </given-names></name>,<etal>et al</etal>. (<year>1990</year>)<article-title>Estimating the Extremal Eigenvalues of a Symmetric Matrix</article-title><source> Computers &amp; Mathematics with Applications</source><volume> 20</volume>,<fpage> 17</fpage>-<lpage>22</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.61733-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Datta, B.N. and Datta, K. (1976) An algorithm for Computing Powers of a Hessenberg Matrix and Its Applications. Linear Algebra and its Applications, 14, 273-284.</mixed-citation></ref><ref id="scirp.61733-ref6"><label>6</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Chu</surname><given-names> M.T. </given-names></name>,<etal>et al</etal>. (<year>1985</year>)<article-title>Symbolic Calculation of the Trace of the Power of a Tridiagonal Matrix</article-title><source> Computing</source><volume> 35</volume>,<fpage> 257</fpage>-<lpage>268</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.61733-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Higham, N. (2008) Functions of Matrices: Theory and Computation. SIAM, Philadelphia.</mixed-citation></ref><ref id="scirp.61733-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Michiel, H. (2001) Trace of a Square Matrix. Encyclopedia of Mathematics, Springer.https://en.wikipedia.org/wiki/Trace_</mixed-citation></ref></ref-list></back></article>