Matrices bistochastiques, épisode 6

Pour les notations et les résultats précédents : Ep1, Ep2, Ep3, Ep4, Ep5.
Soit {A} une matrice positive magique de somme {\mu>0}.
On sait que {A=\displaystyle\sum_{k=1}^{m}\alpha_{k}P_{k}} (avec {\alpha_k>0}, {\displaystyle\sum_{k=1}^{m}\alpha_k=\mu}, les {P_k} matrices de permutations).
On va montrer que m peut être rendu inférieur ou égal à {(n\!-\!1)^2\!+\!1}.

Pour cela, on suppose {m>(n\!-\!1)^{2}\!+\!1}: l’objectif est de réduire le nombre de matrices {P_{k}} (tout en gardant les propriétés : les {\alpha_{k}>0} et de somme {\mu}).

  1. Montrer que les matrices 0-magiques forment un EV de dimension {(n-1)^{2}}.
  2. Montrer qu’il existe des \beta_{k} non tous nuls, tels que : {\displaystyle\sum_{k=1}^{m}\beta_{k}P_{k}=0\quad\text{et}\quad\displaystyle\sum_{k=1}^{m}\beta_{k}=0}Indication: considérer les matrices {P_{k}-P_{1}}, avec {2\le k\le m}.
  3. Justifier la possibilité de choisir {j\in\{1,\ldots,m\}} tel que : {\dfrac{\alpha_{j}}{\beta_{j}}=\min\biggl\{\dfrac{\alpha_{k}}{\beta_{k}},\;1\le k\le m,\;\beta_{k}>0\biggr\}}Quitte à tout renuméroter, on suppose {j=m}.
  4. Montrer que {A=\displaystyle\sum_{k=1}^{m-1}\delta_{k}P_{k}}, où {\delta_{k}=\alpha_{k}-\alpha_{m}\dfrac{\beta_{k}}{\beta_{m}}}.

    Indiquer le signe des {\delta_{k}}, et leur somme.

    Énoncer le résultat obtenu (en en donner la version bistochastique).

Cliquer ici pour voir (ou cacher) le corrigé
Pour voir ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez : Mathprepa.fr, c'est plus de 2500 exercices et 200 problèmes (tous soigneusement corrigés), un cours complet (maths et info), plus de 400 sujets de concours, etc. dans une présentation fluide et professionnelle adaptée à toutes les tailles d'écrans, pour une souscription de 20€ (un an) ou 30€ (deux ans).