⧼exchistory⧽
10 exercise(s) shown, 0 hidden
Apr 22'25
[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Prove that the Hadamard matrix manifold

[[math]] X_N=M_N(\mathbb T)\cap\sqrt{N}U_N [[/math]]

is in general not smooth, and nor it is a complex algebraic manifold.

Apr 22'25
[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Prove that the dephased Hadamard matrix manifold

[[math]] Z_N=\left\{H\in X_N\Big|H_{1j}=H_{i1}=1\right\} [[/math]]

is in general not smooth, and not a complex algebraic manifold either.

Apr 22'25
[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Prove that the set [math]E_N[/math] formed by the [math]N\times N[/math] complex Hadamard matrices modulo the equivalence relation is given by

[[math]] E_N=Z_N\Big/(S_{N-1}\times S_{N-1}) [[/math]]

and compute this set at [math]N=2,3,4,5[/math].

Apr 22'25
[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Work out the formula of the dephased defect of the Fourier matrix [math]F_N[/math], and then of the generalized Fourier matrix [math]F_G[/math].

Apr 22'25
[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Find an alternative proof for the formula

[[math]] d(H)=\frac{N(N+1)}{2} [[/math]]

for the real Hadamard matrices, [math]H\in M_N(\pm1)[/math].

Apr 22'25
[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Find the defect of the following matrix,

[[math]] K_4=\begin{pmatrix} -1&1&1&1\\ 1&-1&1&1\\ 1&1&-1&1\\ 1&1&1&-1 \end{pmatrix} [[/math]]

via the simplest possible proof.

Apr 22'25
[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Prove that the Tao matrix,

[[math]] T_6=\begin{pmatrix} 1&1&1&1&1&1\\ 1&1&w&w&w^2&w^2\\ 1&w&1&w^2&w^2&w\\ 1&w&w^2&1&w&w^2\\ 1&w^2&w^2&w&1&w\\ 1&w^2&w&w^2&w&1 \end{pmatrix} [[/math]]

with [math]w=e^{2\pi i/3}[/math], is isolated in the dephased Hadamard matrix manifold.

Apr 22'25
[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Is the defect always equal to the number of [math]1[/math] entries?

Apr 22'25
[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Prove that given two Hadamard matrices [math]H,K[/math], we have:

[[math]] d(H\otimes K)\geq d(H)d(K) [[/math]]

Is this actually always an equality, or not?

Apr 22'25
[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Develop a defect theory for the partial Hadamard matrices

[[math]] H\in M_{M\times N}(\mathbb T) [[/math]]

notably by finding the defect equations, in this setting.