Rational defect conjecture for Butson matrices

Let HCNH\in C_N be a complex Hadamard matrix. Its defect is d(H)d(H), and its rational defect is

dQ(H)=dimQ(T~HCNMN(Q)),d_{\mathbb Q}(H)=\dim_{\mathbb Q}\bigl(\widetilde{T}_H C_N\cap M_N(\mathbb Q)\bigr),

where T~HCN\widetilde{T}_H C_N is the enveloping tangent space at HH. A matrix is a Butson matrix if all its entries are roots of unity of a common finite order.

Rational defect conjecture. For the Butson matrices we have dQ(H)=d(H)d_{\mathbb Q}(H)=d(H).

The rational defect measures the part of the enveloping tangent space defined over Q\mathbb Q, while the defect measures its full dimension. The statement proposes that these dimensions coincide for Butson matrices; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Teodor Banica, “First order deformations of the Fourier matrix”, arXiv:1302.4153 (2013).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.