Espérance de la trace et du déterminant
Bonsoir à tous
Je sèche actuellement sur le problème de probabilités suivant.
Soient $n \in \mathbb{N}^*$, $A_{i,j}$, pour $1 \leq i,j \leq n$ des variables aléatoires indépendantes, identiquement distribuées, telles que $\mathbb{P}(A_{i,j}=1)=\mathbb{P}(A_{i,j}=-1)=\frac{1}{2}$. On note $A$ la matrice $(A_{i,j})_{1 \leq i,j \leq n}$.
a) Déterminer l'espérance de $\mathrm{tr}(A)$, $\mathrm{tr}(A^2)$, $\mathrm{tr}(A^3)$ et $\mathrm{tr}(A^4)$.
b) Déterminer l'espérance de $\det(A)$ et de $\det(A^2)$.
Il semble assez facile de montrer que l'espérance de $\mathrm{tr}(A)$ est nulle, mais je ne vois pas comment faire pour l'espérance de $\mathrm{tr}(A^2)$, $\mathrm{tr}(A^3)$ et $\mathrm{tr}(A^4)$. De plus, si j'arrive à trouver l'espérance de $\det(A)$, est-ce que l'espérance de $\det(A^2)$ est juste le carré de l'espérance de $\det(A)$ ?
Je vous remercie d'avance pour votre aide !
Je sèche actuellement sur le problème de probabilités suivant.
Soient $n \in \mathbb{N}^*$, $A_{i,j}$, pour $1 \leq i,j \leq n$ des variables aléatoires indépendantes, identiquement distribuées, telles que $\mathbb{P}(A_{i,j}=1)=\mathbb{P}(A_{i,j}=-1)=\frac{1}{2}$. On note $A$ la matrice $(A_{i,j})_{1 \leq i,j \leq n}$.
a) Déterminer l'espérance de $\mathrm{tr}(A)$, $\mathrm{tr}(A^2)$, $\mathrm{tr}(A^3)$ et $\mathrm{tr}(A^4)$.
b) Déterminer l'espérance de $\det(A)$ et de $\det(A^2)$.
Il semble assez facile de montrer que l'espérance de $\mathrm{tr}(A)$ est nulle, mais je ne vois pas comment faire pour l'espérance de $\mathrm{tr}(A^2)$, $\mathrm{tr}(A^3)$ et $\mathrm{tr}(A^4)$. De plus, si j'arrive à trouver l'espérance de $\det(A)$, est-ce que l'espérance de $\det(A^2)$ est juste le carré de l'espérance de $\det(A)$ ?
Je vous remercie d'avance pour votre aide !
Réponses
-
Bonjour,
on peut exprimer la trace de $A^2$ à l'aide des coefficients de $A$ puis prendre l’espérance. Pour la trace de $A^3$, on peut exploiter des propriétés de symétrie.
Pour le déterminant de $A$, on peut utiliser la formule avec les permutations et voir que chaque terme est d'espérance nulle. -
$\def\tr{\mathrm{tr}}%
\def\det{\mathrm{det}}%
\def\var{\mathrm{var}}%
\def\E{\mathbb{E}}%
$L'espérance de $\tr(A)$ est nulle : oui en effet, car en moyenne chaque coefficient vaut $0$, $\to$ s'ensuit par linéarité.
L'espérance de $\tr(A^2)$ ?
Le coefficient $(i,i)$ dans $A^2$ s'écrit
$
\underbrace{
a_{i,1} \cdot a_{1,i}
+ \dots+
a_{i,i-1} \cdot a_{i-1,i}
}_{\E=0}
+
\underbrace{a_{i,i} \cdot a_{i,i}}_{=1}
+
\underbrace{
a_{i,i+1} \cdot a_{i+1,i}
+\dots
a_{i,n} \cdot a_{n,i}
}_{\E=0}
$
(Si je ne me trompe pas)
En tout, on doit trouver : $\E\big[\tr(A^2)\big] = n$.
L'espérance de $\tr(A^3)$ ?
Eh bien, je ne connais pas la loi de $A^3$, mais je vois une symétrie centrale en loi autour de $0$ (imparité).
Donc $\E\big[\tr(A^3)\big] = 0$.
L'espérance de $\tr(A^4)$ ?
(je ne sais pas :-(.)
L'espérance de $\det(A)$ ?
Comme tout à l'heure, par symétrie par rapport à chaque vecteur colonne, l'espérance doit donner 0.
L'espérance de $\det(A^2)$ ?
Je ne sais pas :-(, mais on a : $\det(A^2) = \det(A)^2$, donc $\E[\det(A^2)] = \var(\det(A)) > 0$.
-- oups même réponse que girdav -
Soit $C=\{(i_1,j_1),\ldots (i_N.j_N)\}$ une collection de paires de $\{1,\ldots,n\}$ (qu'on peut voir comme une collection de fleches, ou aretes orientees , y compris les boucles $(i,i)$). Soit la va $$A_C=\prod_{k=1}^NA_{i_k,j_k}$$ Alors $\mathbb{E}(A_C)=1$ si toutes les aretes orientees sont de multiplicite paire et $\mathbb{E}(A_C)=0$ sinon. Applications
1) Si $C$ est un cycle $(i_1, i_2),(i_2,i_3),\ldots, (i_N,i_1)$ alors les aretes orientees sont de multiplicite paire si et seulement si $i_1=i_2=\ldots=i_N$ et si $N$ est pair. Consequence, puisque $\mathrm{Trace}(A^N)=\sum_C A_C$ en sommant pour tous les cycles $C$ alors $\mathbb{E}(\mathrm{Trace}(A^N))=0$ ou $n$ suivant que $N$ est impair ou pair.
2) Si $\sigma$ est une permutation de $\{1,\ldots,n\}$ soit $C(\sigma)= \{(1,\sigma(1)),\ldots (n,\sigma(n))\}$ qui a des aretes de mutiplicite impaire. Consequence $\mathbb{E}(\det A)=0.$
3) $C(\sigma)\cup C(\sigma_1)$ n'a que des aretes de mutiplicite paire si et seulement si $\sigma=\sigma_1.$ Consequence $\mathbb{E}(\det A^2)=n!$
Ajoute 2 jours plus tard: aie, grosse betise pour l'application 1! Continuons a reflechir au nombre de cycles usant toute arete un nombre pair de fois. -
Intéressant comme problème.
Si je ne dis pas de bêtises pour la trace de $A^4$ il s'agit de regarder
\[
\mathbb E \left (\sum_{1\leq i,j,k,l\leq n } a_{ik}a_{kj}a_{jl}a_{li}\right)
\]
Regardons l'espérance d'un seul terme $a_{ik}a_{kj}a_{jl}a_{li}$, par indépendances des coefficients de $A$ on voit que cette espérance est non nulle si et seulement si l'on a deux paires disjointes d'indices égaux, auquel cas l'espérance vaut $1$. Il suffit alors de compter...
Je trouve que la seule façon d'avoir deux paires disjointes d'indices égaux est de prendre $i=j$ et $k=l$, cela donne donc $n^2$ choix possibles et $\mathbb E(\mathrm{tr}(A^4))= n^2$ si je ne me suis pas trompé. -
Empiriquement, je trouve pour $n=4$, que l'espérance de $\mathrm{tr}(A^4) \simeq 16$.
-
En effet. Pour $n=5$, cela donne $\sim5$ pour la trace de $A^2$ et $\sim25$ pour celle de $A^4$ (pour $100\,000$ tirages).
Pour la puissance sixième, ça continue à augmenter. En notant $E_n^6$ l'espérance de la trace de $A^6$ en dimension $n$, je parie pour $E_2^6=20$, $E_3^6=63$ et $E_4^6=136\pm1$.
Le problème dans le point 1 du message de P. est dans la caractérisation des cycles qui contribuent, dès que l'exposant/la longueur vaut au moins $4$. Si par exemple un cycle de longueur $2$ est répété deux fois (ex. : $1\to2\to1\to2\to1$), cela donne un cycle de longueur $4$ où la multiplicité des arêtes orientées est paire qui n'a pas été compté. Il semble raisonnable que ce soient les seuls, ce qui donne $n^2$ cycles $i\to j\to i\to j\to i$ et explique l'espérance trouvée expérimentalement. -
Je crois que $E_n^6=n^3+6n^2-6n$.
-
Mathcoss et JLT : c'est triste j'aurais conjecturé qu'on avait $\mathbb E (\mathrm{tr}(A^{2k}))=n^k$ avec $n$ la dimension de la matrice. :-(
-
Question pour JLT : d'où tiens tu ta formule ? C'est une interpolation de Lagrange sur les $E^6_i$ avec $i=1,\ldots 4$ ? :-D
-
L'espérance de $A_{ab}A_{bc}A_{cd}A_{de}A_{ef}A_{fa}$ est non nulle dans les cas suivants :
1) $a=b=c=d=e=f$ ($n$ possibilités).
2) $(a,b,c)=(d,e,f)$ avec $a,b,c,d,e,f$ non tous égaux ($n^3-n$ possibilités).
2) $a=c$, $b=d=e=f$ avec $a\ne b$ et permutations circulaires ($n^2-n$ possibilités pour chaque).
Ces ensembles sont deux à deux disjoints, on ajoute leurs cardinaux : $n+(n^3-n)+6(n^2-n)$. -
D'accord. Cela correspond à :
- $\mathsf{A}_n^3=n(n-1)(n-2)$ chemins sur trois points $i\to j\to k\to i\to j\to k\to i$ ;
- $9\mathsf{A}_n^2=9n(n-1)$ chemins sur deux points obtenus en ajoutant deux $i$ ou deux $j$ à $i\to j\to i\to j\to i$ ($6$ façons d'ajouter deux $i$, $3$ d'ajouter deux $j$) ;
- $n$ chemins $i\to\cdots\to i$.
-
J'ai trouvé dans un livre la réponse pour l'espérance de $\det(A^2)$. Il s'agit effectivement bien de $n!$. Ils utilisent la formule de développement du déterminant.
-
Quel livre ? Merci
-
Bonjour,
Il s'agit du livre "Probabilités - Prépas scientifiques - 1ère et 2e année" par Roger Mansuy et Igor Kortchemski. L'énoncé est page 62, le corrigé est page 72. -
De plus, d'après ce document http://magnoludoviciens.craym.eu/oraux/00_Oraux_2018_probas.pdf l'espérance la trace de $A^4$ serait égale à $n^3$ (voir exercice 9). À mon avis, il y a une erreur dans son résultat, étant donné qu'il ne correspond pas avec ce que vous trouvez (théoriquement comme expérimentalement).
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres