Misplaced Pages

Complex Hadamard matrix

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Complex Hadamard matrices)

A complex Hadamard matrix is any complex N × N {\displaystyle N\times N} matrix H {\displaystyle H} satisfying two conditions:

  • unimodularity (the modulus of each entry is unity): | H j k | = 1  for  j , k = 1 , 2 , , N {\displaystyle |H_{jk}|=1{\text{ for }}j,k=1,2,\dots ,N}
  • orthogonality: H H = N I {\displaystyle HH^{\dagger }=NI} ,

where {\displaystyle \dagger } denotes the Hermitian transpose of H {\displaystyle H} and I {\displaystyle I} is the identity matrix. The concept is a generalization of Hadamard matrices. Note that any complex Hadamard matrix H {\displaystyle H} can be made into a unitary matrix by multiplying it by 1 N {\displaystyle {\frac {1}{\sqrt {N}}}} ; conversely, any unitary matrix whose entries all have modulus 1 N {\displaystyle {\frac {1}{\sqrt {N}}}} becomes a complex Hadamard upon multiplication by N . {\displaystyle {\sqrt {N}}.}

Complex Hadamard matrices arise in the study of operator algebras and the theory of quantum computation. Real Hadamard matrices and Butson-type Hadamard matrices form particular cases of complex Hadamard matrices.

Complex Hadamard matrices exist for any natural number N {\displaystyle N} (compare with the real case, in which Hadamard matrices do not exist for every N {\displaystyle N} and existence is not known for every permissible N {\displaystyle N} ). For instance the Fourier matrices (the complex conjugate of the DFT matrices without the normalizing factor),

[ F N ] j k := exp [ 2 π i ( j 1 ) ( k 1 ) / N ] f o r j , k = 1 , 2 , , N {\displaystyle _{jk}:=\exp{\quad {\rm {for\quad }}}j,k=1,2,\dots ,N}

belong to this class.

Equivalency

Two complex Hadamard matrices are called equivalent, written H 1 H 2 {\displaystyle H_{1}\simeq H_{2}} , if there exist diagonal unitary matrices D 1 , D 2 {\displaystyle D_{1},D_{2}} and permutation matrices P 1 , P 2 {\displaystyle P_{1},P_{2}} such that

H 1 = D 1 P 1 H 2 P 2 D 2 . {\displaystyle H_{1}=D_{1}P_{1}H_{2}P_{2}D_{2}.}

Any complex Hadamard matrix is equivalent to a dephased Hadamard matrix, in which all elements in the first row and first column are equal to unity.

For N = 2 , 3 {\displaystyle N=2,3} and 5 {\displaystyle 5} all complex Hadamard matrices are equivalent to the Fourier matrix F N {\displaystyle F_{N}} . For N = 4 {\displaystyle N=4} there exists a continuous, one-parameter family of inequivalent complex Hadamard matrices,

F 4 ( 1 ) ( a ) := [ 1 1 1 1 1 i e i a 1 i e i a 1 1 1 1 1 i e i a 1 i e i a ] w i t h a [ 0 , π ) . {\displaystyle F_{4}^{(1)}(a):={\begin{bmatrix}1&1&1&1\\1&ie^{ia}&-1&-ie^{ia}\\1&-1&1&-1\\1&-ie^{ia}&-1&ie^{ia}\end{bmatrix}}{\quad {\rm {with\quad }}}a\in [0,\pi ).}

For N = 6 {\displaystyle N=6} the following families of complex Hadamard matrices are known:

  • a single two-parameter family which includes F 6 {\displaystyle F_{6}} ,
  • a single one-parameter family D 6 ( t ) {\displaystyle D_{6}(t)} ,
  • a one-parameter orbit B 6 ( θ ) {\displaystyle B_{6}(\theta )} , including the circulant Hadamard matrix C 6 {\displaystyle C_{6}} ,
  • a two-parameter orbit including the previous two examples X 6 ( α ) {\displaystyle X_{6}(\alpha )} ,
  • a one-parameter orbit M 6 ( x ) {\displaystyle M_{6}(x)} of symmetric matrices,
  • a two-parameter orbit including the previous example K 6 ( x , y ) {\displaystyle K_{6}(x,y)} ,
  • a three-parameter orbit including all the previous examples K 6 ( x , y , z ) {\displaystyle K_{6}(x,y,z)} ,
  • a further construction with four degrees of freedom, G 6 {\displaystyle G_{6}} , yielding other examples than K 6 ( x , y , z ) {\displaystyle K_{6}(x,y,z)} ,
  • a single point - one of the Butson-type Hadamard matrices, S 6 H ( 3 , 6 ) {\displaystyle S_{6}\in H(3,6)} .

It is not known, however, if this list is complete, but it is conjectured that K 6 ( x , y , z ) , G 6 , S 6 {\displaystyle K_{6}(x,y,z),G_{6},S_{6}} is an exhaustive (but not necessarily irredundant) list of all complex Hadamard matrices of order 6.

References

External links

Matrix classes
Explicitly constrained entries
Constant
Conditions on eigenvalues or eigenvectors
Satisfying conditions on products or inverses
With specific applications
Used in statistics
Used in graph theory
Used in science and engineering
Related terms
Category: