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 ...
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 ...
satisfying two conditions:
*unimodularity (the
modulus of each entry is unity):
*
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 ...
:
,
where
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
and
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
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
;
conversely, any unitary matrix whose entries all have modulus
becomes a complex Hadamard upon multiplication by
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 ...
(compare with the real case, in which Hadamard matrices do not exist for every
and
existence is not known for every permissible ). 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),
:
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
, 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
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 ...
such that
:
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
and
all complex Hadamard matrices are equivalent to the Fourier matrix
. For
there exists
a continuous, one-parameter family of inequivalent complex Hadamard matrices,
:
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)