<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Conditional_dependence</id>
	<title>Conditional dependence - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Conditional_dependence"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Conditional_dependence&amp;action=history"/>
	<updated>2026-04-11T00:02:17Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Conditional_dependence&amp;diff=28070&amp;oldid=prev</id>
		<title>en&gt;ChrisGualtieri: Remove stub template(s). Page is start class or higher. Also check for and do General Fixes + Checkwiki fixes using AWB</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Conditional_dependence&amp;diff=28070&amp;oldid=prev"/>
		<updated>2013-12-27T03:15:49Z</updated>

		<summary type="html">&lt;p&gt;Remove stub template(s). Page is start class or higher. Also check for and do General Fixes + Checkwiki fixes using &lt;a href=&quot;/index.php?title=Testwiki:AWB&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Testwiki:AWB (page does not exist)&quot;&gt;AWB&lt;/a&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{technical|date=August 2012}}&lt;br /&gt;
{{expert|mathematics|date=March 2013}}&lt;br /&gt;
&lt;br /&gt;
If the given [[directed graph]] with boundary is rotation invariant then its hitting matrix is diagonal in Fourier coordinates. Let&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\omega = e^{2 \pi i/N}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
be the &amp;#039;&amp;#039;N&amp;#039;&amp;#039;&amp;#039;th [[root of unity]] or any other root of unity not equal to 1.&lt;br /&gt;
:&amp;lt;math&amp;gt;\omega^N = 1,\quad \omega \ne 1&amp;lt;/math&amp;gt;.&lt;br /&gt;
We consider the following symmetric &amp;#039;&amp;#039;&amp;#039;[[Vandermonde matrix]]&amp;#039;&amp;#039;&amp;#039;:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\mathbf{F}_N =&lt;br /&gt;
\begin{bmatrix}&lt;br /&gt;
 1     &amp;amp; 1     &amp;amp; 1   &amp;amp; \ldots &amp;amp; 1 \\&lt;br /&gt;
 1     &amp;amp; \omega &amp;amp; \omega^2 &amp;amp; \ldots &amp;amp; \omega^{(N-1)} \\&lt;br /&gt;
 1     &amp;amp; \omega^2  &amp;amp; \vdots   &amp;amp; \ldots &amp;amp; \omega^{2(N-1)}     \\&lt;br /&gt;
 \vdots          &amp;amp; \vdots         &amp;amp; \vdots                   &amp;amp; \ddots &amp;amp; \vdots                       \\&lt;br /&gt;
 1 &amp;amp; \omega^{(N-1) } &amp;amp; \omega^{2(N-1)} &amp;amp; \ldots &amp;amp; \omega^{(N-1)^2} \\&lt;br /&gt;
\end{bmatrix}&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
For example,&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\mathbf{F}_5 =&lt;br /&gt;
\begin{bmatrix}&lt;br /&gt;
 1     &amp;amp; 1         &amp;amp; 1        &amp;amp; 1 &amp;amp; 1 \\&lt;br /&gt;
 1     &amp;amp; \omega    &amp;amp; \omega^2 &amp;amp; \omega^3 &amp;amp; \omega^4 \\&lt;br /&gt;
 1     &amp;amp; \omega^2  &amp;amp; \omega^4 &amp;amp; \omega^6 &amp;amp; \omega^8 \\&lt;br /&gt;
 1     &amp;amp; \omega^3  &amp;amp; \omega^6 &amp;amp; \omega^9 &amp;amp; \omega^{12} \\&lt;br /&gt;
 1     &amp;amp; \omega^4  &amp;amp; \omega^8 &amp;amp; \omega^{12} &amp;amp; \omega^{16} \\&lt;br /&gt;
\end{bmatrix}&lt;br /&gt;
 = &lt;br /&gt;
\begin{bmatrix}&lt;br /&gt;
 1     &amp;amp; 1         &amp;amp; 1        &amp;amp; 1 &amp;amp; 1 \\&lt;br /&gt;
 1     &amp;amp; \omega    &amp;amp; \omega^2 &amp;amp; \omega^3 &amp;amp; \omega^4 \\&lt;br /&gt;
 1     &amp;amp; \omega^2  &amp;amp; \omega^4 &amp;amp; \omega &amp;amp; \omega^3 \\&lt;br /&gt;
 1     &amp;amp; \omega^3  &amp;amp; \omega &amp;amp; \omega^4 &amp;amp; \omega^2 \\&lt;br /&gt;
 1     &amp;amp; \omega^4  &amp;amp; \omega^3 &amp;amp; \omega^2 &amp;amp; \omega \\&lt;br /&gt;
\end{bmatrix}.&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
The square of the Fourier transform is the flip permutation matrix: &lt;br /&gt;
:&amp;lt;math&amp;gt;\mathbf{F}^2 = \mathbf{P}.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
The fourth power of the Fourier transform is the identity: &lt;br /&gt;
:&amp;lt;math&amp;gt;\mathbf{F}^4 = \mathbf{I}.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&amp;#039;&amp;#039;Exercise&amp;#039;&amp;#039;: Proof that for any :&amp;lt;math&amp;gt;1 \le k \le N-1 &amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;\mathbf{F(\omega^k)} = \mathbf{P}\mathbf{F(\omega)}.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[Category:Fourier analysis]]&lt;/div&gt;</summary>
		<author><name>en&gt;ChrisGualtieri</name></author>
	</entry>
</feed>