<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=130.235.172.20</id>
	<title>formulasearchengine - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=130.235.172.20"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/wiki/Special:Contributions/130.235.172.20"/>
	<updated>2026-09-26T17:02:21Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.47.0-wmf.7</generator>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Stiles%E2%80%93Crawford_effect&amp;diff=13867</id>
		<title>Stiles–Crawford effect</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Stiles%E2%80%93Crawford_effect&amp;diff=13867"/>
		<updated>2014-01-22T13:30:27Z</updated>

		<summary type="html">&lt;p&gt;130.235.172.20: changed double negation + type&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;In mathematics, a complex [[Hadamard matrix]] &#039;&#039;H&#039;&#039; of size &#039;&#039;N&#039;&#039; with all its columns (rows) mutually [[orthogonal]],  belongs  to the &#039;&#039;&#039;Butson-type&#039;&#039;&#039; &#039;&#039;H&#039;&#039;(&#039;&#039;q&#039;&#039;,&amp;amp;nbsp;&#039;&#039;N&#039;&#039;) if all its elements are powers of &#039;&#039;q&#039;&#039;-th root of unity,&lt;br /&gt;
&lt;br /&gt;
:: &amp;lt;math&amp;gt;(H_{jk})^q=1 {\quad \rm for \quad} j,k=1,2,\dots,N. &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Existence ==&lt;br /&gt;
&lt;br /&gt;
If &#039;&#039;p&#039;&#039; is [[Prime number|prime]] then &amp;lt;math&amp;gt;H(p,N)&amp;lt;/math&amp;gt; can exist&lt;br /&gt;
only for &amp;lt;math&amp;gt;N = mp&amp;lt;/math&amp;gt; with integer &#039;&#039;m&#039;&#039; and&lt;br /&gt;
it is conjectured they exist for all such cases &lt;br /&gt;
with &amp;lt;math&amp;gt;p \ge 3&amp;lt;/math&amp;gt;. &lt;br /&gt;
In general, the problem of finding all sets&lt;br /&gt;
&amp;lt;math&amp;gt;\{q,N \}&amp;lt;/math&amp;gt; such that the Butson - type matrices&lt;br /&gt;
&amp;lt;math&amp;gt;H(q,N)&amp;lt;/math&amp;gt; exist, remains open.&lt;br /&gt;
&lt;br /&gt;
== Examples ==&lt;br /&gt;
*&amp;lt;math&amp;gt;H(2,N)&amp;lt;/math&amp;gt; contains real [[Hadamard matrices]] of size &#039;&#039;N&#039;&#039;,&lt;br /&gt;
&lt;br /&gt;
*&amp;lt;math&amp;gt;H(4,N)&amp;lt;/math&amp;gt; contains Hadamard matrices composed of &amp;lt;math&amp;gt;\pm 1, \pm i&amp;lt;/math&amp;gt;  - such matrices were called by Turyn, complex Hadamard matrices. &lt;br /&gt;
&lt;br /&gt;
* in the limit &amp;lt;math&amp;gt;q \to \infty &amp;lt;/math&amp;gt; one can approximate all [[complex Hadamard matrices]].  &lt;br /&gt;
&lt;br /&gt;
*&#039;&#039;&#039;Fourier&#039;&#039;&#039; matrices &amp;lt;math&amp;gt; [F_N]_{jk}:= \exp[(2\pi i(j - 1)(k - 1) / N] &lt;br /&gt;
{\quad \rm for \quad} j,k=1,2,\dots,N &amp;lt;/math&amp;gt;&lt;br /&gt;
belong to the Butson-type, &lt;br /&gt;
&lt;br /&gt;
:: &amp;lt;math&amp;gt;F_N \in H(N,N),&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
: while&lt;br /&gt;
&lt;br /&gt;
:: &amp;lt;math&amp;gt;F_N \otimes F_N \in H(N,N^2),&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
:: &amp;lt;math&amp;gt;F_N \otimes F_N\otimes F_N \in H(N,N^3).&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
:: &amp;lt;math&amp;gt; D_{6} := &lt;br /&gt;
\begin{bmatrix} 1 &amp;amp;  1  &amp;amp; 1  &amp;amp; 1 &amp;amp; 1  &amp;amp; 1\\ &lt;br /&gt;
                1 &amp;amp; -1  &amp;amp; i  &amp;amp; -i&amp;amp; -i &amp;amp; i \\&lt;br /&gt;
                1 &amp;amp;  i  &amp;amp;-1  &amp;amp;  i&amp;amp; -i &amp;amp;-i \\&lt;br /&gt;
                1 &amp;amp; -i  &amp;amp; i  &amp;amp; -1&amp;amp;  i &amp;amp;-i \\&lt;br /&gt;
                1 &amp;amp; -i  &amp;amp;-i  &amp;amp;  i&amp;amp; -1 &amp;amp; i \\&lt;br /&gt;
                1 &amp;amp;  i  &amp;amp;-i  &amp;amp; -i&amp;amp;  i &amp;amp; -1 \\&lt;br /&gt;
                \end{bmatrix}&lt;br /&gt;
\in H(4,6)&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
:: &amp;lt;math&amp;gt; S_{6} := &lt;br /&gt;
\begin{bmatrix} 1 &amp;amp;  1  &amp;amp; 1  &amp;amp; 1 &amp;amp; 1  &amp;amp; 1  \\ &lt;br /&gt;
                1 &amp;amp;  1  &amp;amp; z  &amp;amp; z &amp;amp; z^2 &amp;amp; z^2 \\&lt;br /&gt;
                1 &amp;amp;  z  &amp;amp; 1  &amp;amp; z^2&amp;amp;z^2 &amp;amp; z \\&lt;br /&gt;
                1 &amp;amp;  z  &amp;amp; z^2&amp;amp;  1&amp;amp;  z &amp;amp; z^2 \\&lt;br /&gt;
                1 &amp;amp;  z^2&amp;amp; z^2&amp;amp;  z&amp;amp;  1 &amp;amp; z \\&lt;br /&gt;
                1 &amp;amp;  z^2&amp;amp; z  &amp;amp; z^2&amp;amp; z &amp;amp; 1 \\&lt;br /&gt;
                \end{bmatrix}&lt;br /&gt;
\in H(3,6)&lt;br /&gt;
&amp;lt;/math&amp;gt;,  where  &amp;lt;math&amp;gt;z =\exp(2\pi i/3).&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
&lt;br /&gt;
* A. T. Butson, Generalized Hadamard matrices, Proc. Am. Math. Soc. 13, 894-898 (1962). &lt;br /&gt;
&lt;br /&gt;
* A. T. Butson, Relations among generalized Hadamard matrices, relative difference sets, and maximal length linear recurring sequences, Canad. J. Math. 15, 42-48 (1963).&lt;br /&gt;
&lt;br /&gt;
* R. J. Turyn, Complex Hadamard matrices, pp. 435-437 in Combinatorial Structures and their Applications, Gordon and Breach, London (1970).&lt;br /&gt;
&lt;br /&gt;
==External links==&lt;br /&gt;
*[http://chaos.if.uj.edu.pl/~karol/hadamard/index.php?I=chm_butson Complex Hadamard Matrices of Butson type - a catalogue], by Wojciech Bruzda, Wojciech Tadej and Karol Życzkowski, retrieved October 24, 2006&lt;br /&gt;
&lt;br /&gt;
[[Category:Matrices]]&lt;/div&gt;</summary>
		<author><name>130.235.172.20</name></author>
	</entry>
</feed>