<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	
	xmlns:georss="http://www.georss.org/georss"
	xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#"
	>

<channel>
	<title>circulant matrix &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/circulant-matrix/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Sun, 19 Nov 2017 03:19:14 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=5.3.6</generator>

<image>
	<url>https://i2.wp.com/yutsumura.com/wp-content/uploads/2016/12/cropped-question-logo.jpg?fit=32%2C32&#038;ssl=1</url>
	<title>circulant matrix &#8211; Problems in Mathematics</title>
	<link>https://yutsumura.com</link>
	<width>32</width>
	<height>32</height>
</image> 
<site xmlns="com-wordpress:feed-additions:1">114989322</site>	<item>
		<title>Determinant of a General Circulant Matrix</title>
		<link>https://yutsumura.com/determinant-of-a-general-circulant-matrix/</link>
				<comments>https://yutsumura.com/determinant-of-a-general-circulant-matrix/#comments</comments>
				<pubDate>Tue, 11 Apr 2017 04:18:28 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[circulant matrix]]></category>
		<category><![CDATA[determinant]]></category>
		<category><![CDATA[determinant of a matrix]]></category>
		<category><![CDATA[eigenvalue]]></category>
		<category><![CDATA[eigenvector]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linearly independent]]></category>
		<category><![CDATA[root of unity]]></category>
		<category><![CDATA[Vandermonde determinant]]></category>
		<category><![CDATA[Vandermonde matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2662</guid>
				<description><![CDATA[<p>Let \[A=\begin{bmatrix} a_0 &#038; a_1 &#038; \dots &#038; a_{n-2} &#038;a_{n-1} \\ a_{n-1} &#038; a_0 &#038; \dots &#038; a_{n-3} &#038; a_{n-2} \\ a_{n-2} &#038; a_{n-1} &#038; \dots &#038; a_{n-4} &#038; a_{n-3} \\ \vdots &#038; \vdots&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/determinant-of-a-general-circulant-matrix/" target="_blank">Determinant of a General Circulant Matrix</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 374</h2>
<p> Let \[A=\begin{bmatrix}<br />
	  a_0 &#038; a_1 &#038; \dots &#038; a_{n-2} &#038;a_{n-1} \\<br />
	  a_{n-1} &#038; a_0 &#038; \dots &#038; a_{n-3} &#038; a_{n-2} \\<br />
	  a_{n-2} &#038; a_{n-1} &#038; \dots &#038; a_{n-4} &#038; a_{n-3} \\<br />
	  \vdots &#038; \vdots &#038; \dots &#038; \vdots &#038; \vdots \\<br />
	  a_{2} &#038; a_3 &#038; \dots &#038; a_{0} &#038; a_{1}\\<br />
	   a_{1} &#038; a_2 &#038; \dots &#038; a_{n-1} &#038; a_{0}<br />
	  \end{bmatrix}\]
	  be a complex $n \times n$ matrix.<br />
	  Such a matrix is called <strong>circulant</strong> matrix.<br />
	  Then prove that the determinant of the circulant matrix $A$ is given by<br />
	  \[\det(A)=\prod_{k=0}^{n-1}(a_0+a_1\zeta^k+a_2 \zeta^{2k}+\cdots+a_{n-1}\zeta^{k(n-1)}),\]
	  where $\zeta=e^{2 \pi i/n}$ is a primitive $n$-th root of unity.</p>
<p>&nbsp;<br />
<span id="more-2662"></span></p>
<h2> Proof. </h2>
<p>	  	Let $\omega$ be any $n$-th root of unity.<br />
	  	Consider the vector<br />
	  	\[\mathbf{v}=\begin{bmatrix}<br />
	  1 \\<br />
	   \omega \\<br />
	    \omega^2 \\<br />
	   \vdots \\<br />
	   \omega^{n-1}<br />
	   \end{bmatrix}.\]
	   We show that the vector $\mathbf{v}$ is an eigenvector of $A$.<br />
	   We compute<br />
	   \begin{align*}<br />
	A\mathbf{v}=\<br />
	\begin{bmatrix}<br />
	  a_0 &#038; a_1 &#038; \dots &#038; a_{n-2} &#038;a_{n-1} \\<br />
	  a_{n-1} &#038; a_0 &#038; \dots &#038; a_{n-3} &#038; a_{n-2} \\<br />
	  a_{n-2} &#038; a_{n-1} &#038; \dots &#038; a_{n-4} &#038; a_{n-3} \\<br />
	  \vdots &#038; \vdots &#038; \dots &#038; \vdots &#038; \vdots \\<br />
	  a_{2} &#038; a_3 &#038; \dots &#038; a_{0} &#038; a_{1}\\<br />
	   a_{1} &#038; a_2 &#038; \dots &#038; a_{n-1} &#038; a_{0}<br />
	  \end{bmatrix}<br />
	  \begin{bmatrix}<br />
	  1 \\<br />
	   \omega \\<br />
	    \omega^2 \\<br />
	   \vdots \\<br />
	   \omega^{n-1}\\<br />
	   \end{bmatrix}.<br />
	\end{align*}</p>
<p>	The first entry of the vector  $A\mathbf{v}$ is<br />
	\[a_0+a_1\omega+a_2\omega^2+\cdots a_{n-2}\omega^{n-2}+a_{n-1}\omega^{n-1}=:\lambda.\]
	We define $\lambda$ to be this number.</p>
<hr />
<p>	The second entry is<br />
	\begin{align*}<br />
	&#038;a_{n-1}+a_0\omega+\cdots+a_{n-3}\omega^{n-2}+a_{n-2}\omega^{n-1}\\<br />
	&#038;=(a_{n-1}\omega^{n-1}+a_0+\cdots+a_{n-3}\omega^{n-3}+a_{n-2}\omega^{n-2})\omega \\<br />
	&#038;=(a_0+\cdots+a_{n-3}\omega^{n-3}+a_{n-2}\omega^{n-2}+a_{n-1}\omega^{n-1})\omega \\<br />
	&#038;=\lambda \omega<br />
	\end{align*}</p>
<hr />
<p>	Similarly the $i$-th entry of the vector $A\mathbf{v}$ is<br />
	\begin{align*}<br />
	&#038;a_{n-i+1}+a_{n-i+2}\omega +\cdots+ a_{n-i}\omega^{n-1}\\<br />
	&#038;= (a_{n-i+1}\omega^{n-i+1}+a_{n-i+2}\omega^{n-i+2} +\cdots+ a_{n-i}\omega^{n-i})\omega^{i-1}\\<br />
	&#038;=\lambda \omega^{i-1} .<br />
	\end{align*}<br />
	Therefore we obtain<br />
	\[A\mathbf{v}=\begin{bmatrix}<br />
	  \lambda \\<br />
	   \lambda\omega \\<br />
	   \lambda \omega^2 \\<br />
	   \vdots \\<br />
	   \lambda\omega^{n-1}<br />
	   \end{bmatrix}=\lambda \mathbf{v}.\]
<hr />
<p>	   Since $\mathbf{v}$ is a nonzero vector, it follows that $\lambda$ is an eigenvalue of $A$ and $\mathbf{v}$ is an eigenvector corresponding to $\lambda$.</p>
<hr />
<p>	   The above argument holds for any $n$-th root of unity $\omega$.<br />
	   We take $\omega=\zeta^k$, where $k$ runs from $0$ to $n-1$.<br />
	   It follows that the vector<br />
	   \[\mathbf{v}_k:=\begin{bmatrix}<br />
	  1 \\<br />
	   \zeta^k \\<br />
	    \zeta^{2k} \\<br />
	   \vdots \\<br />
	   \zeta^{k(n-1)}<br />
	   \end{bmatrix}\]
	   is eigenvector corresponding to the eigenvalue<br />
	   \[\lambda_k:=a_0+a_1\zeta^k+a_2\zeta^{2k}+\cdots a_{n-2}\zeta^{k(n-2)}+a_{n-1}\zeta^{k(n-1)}\]
	   for each $k=0,1, \dots, n-1$.</p>
<hr />
<p>	   We claim that the vectors $\mathbf{v}_k$ are linearly independent.</p>
<p>	   To see this, form a matrix whose column vectors are these vectors. That is, we consider<br />
	   \[B=\begin{bmatrix}<br />
	 1&#038; 1 &#038; 1 &#038; \dots &#038; 1 &#038;1 \\<br />
	  1&#038;\zeta &#038; \zeta^{2} &#038; \dots &#038; \zeta^{n-2} &#038; \zeta^{n-1} \\<br />
	  1&#038;\zeta^{2} &#038; \zeta^{4} &#038; \dots &#038; \zeta^{2(n-2)} &#038; \zeta^{2(n-1)} \\<br />
	 1&#038; \zeta^{3} &#038; \zeta^{6} &#038; \dots &#038; \zeta^{3(n-2)} &#038; \zeta^{3(n-1)} \\<br />
	 \vdots&#038; \vdots &#038; \vdots  &#038; \dots &#038; \vdots &#038; \vdots \\<br />
	 1&#038; \zeta^{n-1} &#038; \zeta^{2(n-1)} &#038; \dots &#038; \zeta^{(n-1)(n-2)} &#038;\zeta^{(n-1)(n-1)}<br />
	  \end{bmatrix}.\]
<hr />
<p>	  This is the Vandermonde matrix and its determinant is<br />
	  \[\det(B)=\prod_{i < j }(\zeta^j-\zeta^i)\neq 0.\]
	  Thus, the matrix $B$ is nonsingular, hence its column vectors are linearly independent.
	  
	  It follows that $\lambda_k$, $k=0, 1, \dots, n$ are all the eigenvalues of $A$.
	  
	  Since the determinant is the product of all the eigenvalues of $A$, we have
	  \begin{align*}
	\det(A)&#038;=\prod_{k=0}^{n-1}\lambda_k\\
	&#038;=\prod_{k=0}^{n-1}(a_0+a_1\zeta^k+a_2 \zeta^{2k}+\cdots+a_{n-1}\zeta^{k(n-1)}),
	\end{align*}
	as required. This completes the proof.
</p>
<button class="simplefavorite-button has-count" data-postid="2662" data-siteid="1" data-groupid="1" data-favoritecount="23" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">23</span></button><p>The post <a href="https://yutsumura.com/determinant-of-a-general-circulant-matrix/" target="_blank">Determinant of a General Circulant Matrix</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/determinant-of-a-general-circulant-matrix/feed/</wfw:commentRss>
		<slash:comments>6</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2662</post-id>	</item>
	</channel>
</rss>
