2
Frage zu zwei Matrizen: Hadamard v. "Der Magische" im Beweis der Sensitivitätsvermutung
Der kürzliche und unglaublich glatte Beweis der Sensitivitätsvermutung beruht auf der expliziten * Konstruktion einer Matrix , die rekursiv wie folgt definiert wird: , und für , Insbesondere ist leicht zu erkennen, dass für alle .An∈{−1,0,1}2n×2nAn∈{−1,0,1}2n×2nA_n\in\{-1,0,1\}^{2^n\times 2^n}A1=(0110)A1=(0110)A_1 = \begin{pmatrix} 0&1\\1&0\end{pmatrix}n≥2n≥2n\geq 2An=(An−1In−1In−1−An−1)An=(An−1In−1In−1−An−1)A_{n} = \begin{pmatrix} A_{n-1}&I_{n-1}\\I_{n-1}&-A_{n-1}\end{pmatrix}A2n=nInAn2=nInA_n^2 = n I_nn≥1n≥1n\geq 1 Vielleicht lese …