HOME

TheInfoList



OR:

A complex Hadamard matrix is any
complex Complex commonly refers to: * Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe ** Complex system, a system composed of many components which may interact with each ...
N \times N
matrix Matrix (: matrices or matrixes) or MATRIX may refer to: Science and mathematics * Matrix (mathematics), a rectangular array of numbers, symbols or expressions * Matrix (logic), part of a formula in prenex normal form * Matrix (biology), the m ...
H satisfying two conditions: *unimodularity (the modulus of each entry is unity): , H_, = 1 \text j,k = 1,2,\dots,N *
orthogonality In mathematics, orthogonality is the generalization of the geometric notion of '' perpendicularity''. Although many authors use the two terms ''perpendicular'' and ''orthogonal'' interchangeably, the term ''perpendicular'' is more specifically ...
: HH^ = NI, where \dagger denotes the
Hermitian transpose In mathematics, the conjugate transpose, also known as the Hermitian transpose, of an m \times n complex matrix \mathbf is an n \times m matrix obtained by transposing \mathbf and applying complex conjugation to each entry (the complex conjugate ...
of H and I is the
identity matrix In linear algebra, the identity matrix of size n is the n\times n square matrix with ones on the main diagonal and zeros elsewhere. It has unique properties, for example when the identity matrix represents a geometric transformation, the obje ...
. The concept is a generalization of Hadamard matrices. Note that any complex Hadamard matrix H can be made into a
unitary matrix In linear algebra, an invertible complex square matrix is unitary if its matrix inverse equals its conjugate transpose , that is, if U^* U = UU^* = I, where is the identity matrix. In physics, especially in quantum mechanics, the conjugate ...
by multiplying it by \frac; conversely, any unitary matrix whose entries all have modulus \frac becomes a complex Hadamard upon multiplication by \sqrt. Complex Hadamard matrices arise in the study of
operator algebra In functional analysis, a branch of mathematics, an operator algebra is an algebra of continuous linear operators on a topological vector space, with the multiplication given by the composition of mappings. The results obtained in the study o ...
s and the theory of
quantum computation A quantum computer is a computer that exploits quantum mechanical phenomena. On small scales, physical matter exhibits properties of both particles and waves, and quantum computing takes advantage of this behavior using specialized hardware. C ...
. Real Hadamard matrices and Butson-type Hadamard matrices form particular cases of complex Hadamard matrices. Complex Hadamard matrices exist for any
natural number In mathematics, the natural numbers are the numbers 0, 1, 2, 3, and so on, possibly excluding 0. Some start counting with 0, defining the natural numbers as the non-negative integers , while others start with 1, defining them as the positive in ...
N (compare with the real case, in which Hadamard matrices do not exist for every N and existence is not known for every permissible N). For instance the Fourier matrices (the
complex conjugate In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, if a and b are real numbers, then the complex conjugate of a + bi is a - ...
of the DFT matrices without the normalizing factor), : _N:= \exp \pi i (j-1)(k-1)/N j,k=1,2,\dots,N belong to this class.


Equivalency

Two complex Hadamard matrices are called
equivalent Equivalence or Equivalent may refer to: Arts and entertainment *Album-equivalent unit, a measurement unit in the music industry *Equivalence class (music) *'' Equivalent VIII'', or ''The Bricks'', a minimalist sculpture by Carl Andre *'' Equiva ...
, written H_1 \simeq H_2, if there exist
diagonal In geometry, a diagonal is a line segment joining two vertices of a polygon or polyhedron, when those vertices are not on the same edge. Informally, any sloping line is called diagonal. The word ''diagonal'' derives from the ancient Greek � ...
unitary matrices D_1, D_2 and
permutation matrices In mathematics, particularly in Matrix (mathematics), matrix theory, a permutation matrix is a square binary matrix that has exactly one entry of 1 in each row and each column with all other entries 0. An permutation matrix can represent a permu ...
P_1, P_2 such that : 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 and 5 all complex Hadamard matrices are equivalent to the Fourier matrix F_. For N=4 there exists a continuous, one-parameter family of inequivalent complex Hadamard matrices, : F_^(a):= \begin 1 & 1 & 1 & 1 \\ 1 & ie^ & -1 & -ie^ \\ 1 & -1 & 1 &-1 \\ 1 & -ie^& -1 & i e^ \end a\in circulant Hadamard matrix C_6, * a two-parameter orbit including the previous two examples X_6(\alpha), * a one-parameter orbit M_6(x) of symmetric matrices, * a two-parameter orbit including the previous example K_6(x,y), * a three-parameter orbit including all the previous examples K_6(x,y,z), * a further construction with four degrees of freedom, G_6, yielding other examples than K_6(x,y,z), * a single point - one of the Butson-type Hadamard matrices, S_6 \in H(3,6). It is not known, however, if this list is complete, but it is
conjecture In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis or Fermat's conjecture (now a theorem, proven in 1995 by Andrew Wiles), ha ...
d that 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

*For an explicit list of known N=6 complex Hadamard matrices and several examples of Hadamard matrices of size 7-16 se
Catalogue of Complex Hadamard Matrices
{{Matrix classes Matrices (mathematics)