Le paresseux et le déterminant
La question est reliée au fil arbres et matrices symétriques, mais est détachable.
Soit $$M_n=\left[\begin{array}{ccccccc}0&a&0&0&\cdots&0&1\\ a&0&1&0&\cdots&0&0\\ 0 &1&0&1&\cdots&0&0\\ 0&0&1&0&\cdots&0&0\\ \cdots &\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\ 0&0&0&0&\cdots&0&1\\ 1 &0&0&0&\cdots&1&0 \end{array}\right]
$$ C'est une sorte de matrice circulante symétrique mais où le premier 1 est remplace par $a.$ Je cherche une démonstration élégante pour $p>1$ de $$\det M_{2p}=(a-1)^2,\quad \det M_{2p-1}=2a.$$
Soit $$M_n=\left[\begin{array}{ccccccc}0&a&0&0&\cdots&0&1\\ a&0&1&0&\cdots&0&0\\ 0 &1&0&1&\cdots&0&0\\ 0&0&1&0&\cdots&0&0\\ \cdots &\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\ 0&0&0&0&\cdots&0&1\\ 1 &0&0&0&\cdots&1&0 \end{array}\right]
$$ C'est une sorte de matrice circulante symétrique mais où le premier 1 est remplace par $a.$ Je cherche une démonstration élégante pour $p>1$ de $$\det M_{2p}=(a-1)^2,\quad \det M_{2p-1}=2a.$$
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Je n'arrive pas vraiment a visualiser la matrice....
Mais si on considère le déterminant comme un polynôme en a,et en dérivant deux (trois) fois on se rendra compte que ce polynôme est de degré au plus 2. Il ne restera plus qu'a l’évaluer en deux points biens choisis.
Cordialement.
Pour $M_{2p}$, les deux vecteurs indépendants de $a$ suivants sont dans le noyau de la matrice pour $a=1$ : \[e'_1=(1,0,-1,0,1,0,-1,\dots,0)\quad\text{et}\quad e'_2=(0,1,0,-1,\dots,0,\pm1).\] Ça doit suffire pour montrer que $(a-1)^2$ divise le déterminant mais voici un argument élémentaire. On a : $M_{2p}e'_1=(a-1)e_2$ et $M_{2p}e'_2=(a-1)e_1$ donc si on écrit la matrice de l'application linéaire associée à $M_{2p}$ dans la base canonique $(e_1,\dots,e_{2p})$ à l'arrivée et dans la base $(e'_1,e'_2,e_3,\dots)$ au départ, les deux premières colonnes sont nulles à part le mineur $\left(\begin{smallmatrix}0&a-1\\a-1&0\end{smallmatrix}\right)$ en haut.
Prenons désormais $a=0$. Si on développe la matrice $M_{2p}$ par rapport à la première colonne puis par rapport à la première ligne, on doit trouver une matrice connue... dont le déterminant vaut évidemment $1$. Sans doute...
$$E^{-1}=\left[\begin{array}{cc}A&B\\B^T&C\end{array}\right]$$ alors $$M_n=E+\left[\begin{array}{cc}\left[\begin{array}{cc}0&a-1\\a-1&0\end{array}\right]&0\\0&0\end{array}\right]
=E\left(I_n+\left[\begin{array}{cc}A&B\\B^T&C\end{array}\right]\left[\begin{array}{cc}\left[\begin{array}{cc}0&a-1\\a-1&0\end{array}\right]&0\\0&0\end{array}\right]\right)$$ et donc $$\det M_n=\det E \times \det \left(I_2+ A \left[\begin{array}{cc}0&a-1\\a-1&0\end{array}\right] \right)$$
Plus tard: methode problematique, car $E_4^{-1}$ par exemple n'existe point...
En fait, je ne comprends pas bien ce que tu veux. Méthode élégante pour un calcul dans un article ? Et pourquoi faire du Schur (je crois dans ton dernier post) ? Voici mon point de vue sur la combinatoire d'un résultat plus général. Je ne fournis aucune preuve car c'est fatiguant sur le forum. D'abord, en un premier temps, je m'intéresse à la FORME de la matrice, pas aux coefficients. C'est la matrice du graphe $n$-cycle standard $c = (1,2, \cdots,n)$. Quelles sont les permutations zig-zag de cette matrice ? Si $n$ est impair, il y a deux, à savoir $c$ et $c^{-1}$, qui sont de signature 1 (car $n$ est impair). Si maintenant, je monte une matrice $A$ de cette forme i.e. si je remplace les 1 par des coefficients et ne touche pas aux 0, on obtient $\det(A) = a_c + a_{c^{-1}}$ où $a_\sigma$ est le produit $a_{\sigma(1),1} a_{\sigma(2),2} \cdots a_{\sigma(n),n}$. Si $n$ est pair, c'est un peu plus compliqué. Il y a 4 permutations zig-zag. Toujours $c$ et $c^{-1}$ qui sont maintenant de signature $-1$. Et il faut ajouter $t, t'$ qui sont les involutions correspondant aux deux couplages parfaits du $n$-cycle : $t = (1,2)(3,4) \cdots$ et $t' = (2,3)(4,5) \cdots$. Note : pour $t$, j'ai imposé $12$ dans le couplage et pour $t'$, j'ai imposé $23$. On a aussi que $t'$ est le conjugué de $c$ ou $c^-1$ dans le sens que l'on veut. Et $t,t'$ qui sont des produits de $n/2$ transpositions sont de signature $(-1)^{n / 2}$. Et si je monte une matrice $A$ de cette forme, on a:
$$
\det(A) = - (a_c + a_{c^{-1}}) + (-1)^{n/2} (a_t + a_{t'})
$$ PS : j'ai retrouvé d'autres notes liées aux permutations zig zag, en particulier sur les arbres. J'y retrouve des résultats de la section 3.6 Nonsingular trees de Bapat, en particulier que la matrice d'adjacence d'un arbre est inversible si et seulement si l'arbre admet un couplage parfait (auquel cas il est unique). Je n'ai aucune référence sur tout ce binz mais cela doit bien se trouver quelque part. J'avais ``inventé'' mes histoires de permutations zig zag dans le cadre de certains complexes simpliciaux.
La vilaine methode que j'ai indiquee marche pour le cas impair, et pour le cas pair il faut tronquer de sorte qu'il y ait une matrice carree du genre $J+J^{-1}$ d'ordre $n-1.$
Je suis aussi interesse par $a\mapsto \det(2I_n+M_n(a))$ et les valeurs de $a$ qui rendent $2I_n+M_n(a)$ semi definie positive....