Agrégation externe de mathématiques

Épreuve de modélisation, option C : algèbre et calcul formel

(Texte public)
Résumé : On étudie la mise en place d’un système de transmission à base d’antennes
multiples ; cela nous conduit à étudier des sous-groupes du groupe des matrices unitaires
de dimension n.
Mots clefs : groupe unitaire, algèbre linéaire

I Il est rappelé que le jury n’exige pas une compréhension exhaustive du texte. Vous êtes
laissé(e) libre d’organiser votre discussion comme vous l’entendez. Des suggestions de
développement, largement indépendantes les unes des autres, vous sont proposées en fin
de texte. Vous n’êtes pas tenu(e) de les suivre. Il vous est conseillé de mettre en lumière
vos connaissances à partir du fil conducteur constitué par le texte. Le jury appréciera
que la discussion soit accompagnée d’exemples traités sur ordinateur.

1. Problèmatique

Avec le développement des transmissions sans-fil (wifi) se pose de façon prégnante la

question d’améliorer leur qualité, et en particulier leur débit, dans un contexte où la mul-
tiplication des transmissions tend à augmenter les probabilités d’erreur.
Une idée qui s’est développée ces dernières années consiste à ne plus utiliser une antenne
en émission et en réception, mais un ensemble de n antennes en émission et n 0 antennes en
réception. Le texte étudie les questions pratiques soulevées par cette idée, et s’intéresse aux
méthodes pour optimiser le débit d’une telle transmission.

2. Modélisation

Nous modélisons la transmission de la façon suivante. À chaque pas de temps i > 0, l’an-
tenne émettrice numéro j émet un signal σi j ∈ C. Lors du même pas de temps, chaque an-
tenne réceptrice observe une superposition des signaux émis par les différentes antennes
émettrices, auquel s’ajoute une erreur de transmission (“bruit”) liée à la présence d’autres
équipements émetteurs, ou encore d’obstacles entre les antennes.
Dans ce texte, nous étudions le traitement du phénomène de bruit, et omettons donc le
phénomène de superposition : nous nous plaçons dans le modèle idéal où n 0 = n, et, lors du
pas de temps i , l’antenne réceptrice numéro j reçoit le signal σi j + b i j , b i j étant le bruit.

Page 1/6
 (Texte public) Option C : algèbre et calcul formel

2.1. Notation matricielle

Au vu des notations ci-dessus, il semble naturel de grouper les pas de temps par paquets
de n, et de représenter l’ensemble ¡des transmissions intervenant entre les pas de temps an
et (a + 1)n − 1 par la matrice Σa = σi +an, j 06i , j 6n−1 . Le bruit est alors également modélisé
¢

par une suite de matrices B a .

2.2. Prise en compte du bruit

Pour traiter le phénomène de bruit, une idée classique est d’imposer une structure au si-
gnal émis. Ici, nous fixons un ensemble fini de matrices S = {M 1 , . . . , M cardS } ⊂ Mn (C), et
imposons aux matrices Σa émises d’être des éléments de S . On supposera de plus les si-
gnaux normalisés, i.e. S ⊂ Un (C), où Un (C) est le groupe des matrices n × n unitaires.
L’information transmise par l’émission de la matrice Σa = M k est alors simplement l’entier
k. Si l’on considère que l’information constituée par un entier k ∈ [1, cardS ] est mesurée par
son nombre de chiffres binaires, on peut mesurer l’efficacité de la transmission de la façon
suivante :
Définition 1. Le “taux de transmission” obtenu dans ce modèle est log cardS /(n log 2) bits par
pas de temps.
À la réception d’une matrice M , on suppose que le bruit B k est “faible”, et on fait donc
l’hypothèse que l’élément de S effectivement émis est celui qui est le plus proche de M , i.e.
la matrice M k ∈ S qui minimise kM − M k k∞ . Sous un modèle de bruit réaliste, une analyse
probabiliste conduit alors au théorème suivant, dont la démonstration sort du cadre de cette
épreuve :
Théorème 1. Soit `, `0 deux entiers de [1, card S ]. La probabilité que M ` ait été émis et que
M `0 soit la matrice de S la plus proche de la matrice reçue est une fonction décroissante de
| det(M ` − M `0 )|1/n .
Dans la suite, nous allons chercher des ensembles S ⊂ Un (C) rendant la quantité
ζS := min | det(M ` − M `0 )|1/n
16`<`0 6cardS
la plus grande possible, avec cardS le plus élevé possible pour maximiser le taux de trans-
mission.
Nous allons nous restreindre au cas où S est un sous-groupe de Un (C). On peut penser
que cela permet d’obtenir de meilleures valeurs de ζS . En effet, si S est quelconque, ζS
est le minimum d’un ensemble de card S (card S − 1)/2 valeurs ; si S est un groupe et I n la
matrice identité d’ordre n, on a
ζS = min | det(I n − M ` )|1/n
16`6cardS
M ` 6= I n

et ζS est le minimum d’un ensemble de valeurs de plus petit cardinal ; on peut donc penser
obtenir ainsi de plus grandes valeurs de ζS , ce que la pratique confirme.
On peut déjà faire la remarque suivante :

Page 2/6
 (Texte public) Option C : algèbre et calcul formel

Lemme 1. Pour que ζS > 0, il faut et il suffit que la seule matrice de S ayant 1 pour valeur
propre soit I n .

3. Cas abélien
Dans cette partie, nous nous intéressons au cas où S est un groupe abélien ; commençons
par un résultat classique :
Proposition 1. Si S ⊂ Un (C) est un groupe abélien fini, il existe une matrice P ∈ GL n (C) telle
que P M i P −1 est diagonale pour tout M i ∈ S .
Dans la suite, nous supposerons donc M ` = diag(exp(2i πx `,k /s))16k 6n , pour des entiers
x `,k et s. On obtient alors une estimation directe de ζS en fonction des x `,k :
Théorème 2. On a ¯ ¯1/n
¯Y n ¯
ζS = 2 min ¯ sin(πx `,k /s)¯ .
¯ ¯
16`6s ¯
k=1
¯
M ` 6= I n

L’ensemble des x `,k est toutefois contraint : pour chaque k, {x `,k mod s, 1 6 ` 6 s} est un
sous-groupe de Z/sZ. On déduit de cette remarque la proposition suivante :
Proposition 2. Une condition nécessaire pour que ζS 6= 0 est que S soit cyclique.
Réciproquement, la donnée de n racines primitives s-èmes de l’unité ξ1 , . . . , ξn fournit un
sous-groupe S de Un (C) isomorphe à Z/sZ, à savoir le sous-groupe engendré par la matrice
diag(ξ1 , . . . , ξn ), pour lequel ζS > 0.
Pour s fixé, on peut alors former tous les ensembles S possibles en testant les ϕ(s)n gé-
nérateurs possibles, et pour chacun évaluer sur ordinateur la valeur ζS correspondante. On
peut exploiter les symétries du problème pour restreindre (un peu) l’espace d’exploration.
Pour un taux de transmission de 2 avec trois antennes (c’est-à-dire pour n = 3 et s = 64), le
meilleur choix possible des ξi donne ζS ≈ 0.553.

4. Étude d’un cas non abélien : le groupe SL 2 (Z/5Z)

Nous allons dans cette partie construire un sous-groupe de U2 (C) isomorphe µ au groupe¶
0 −1
SL 2 (Z/5Z), de cardinal 120. Ce groupe est engendré par les deux éléments σ = et
1 0
µ ¶
0 −1
τ= , qui vérifient σ2 = τ3 = (στ)5 6= I 2 , σ4 = I 2 .
1 1
Pour construire un sous-groupe de U2 (C) isomorphe à SL 2 (Z/5Z), il nous suffit donc de
construire des matrices S et T de U2 (C) vérifiant ces mêmes propriétés. Comme précédem-
ment, on peut supposer que ST ¶ 1 , η 2 ), où η i sont des racines 10-èmes de l’unité.
µ = diag(η
s0 s1
Cherchons S sous la forme . Le fait que S 2 = (ST )5 soit diagonale implique
s2 s3
s 1 (s 0 + s 3 ) = 0, s 2 (s 0 + s 3 ) = 0.

Page 3/6
 (Texte public) Option C : algèbre et calcul formel

Le choix s 0 + s 3 6= 0 conduirait à une matrice S diagonale, qui commuterait avec ST , ce qui

implique que le groupe engendré par S et T est commutatif, ce que SL 2 (Z/5Z) n’est pas. On
a donc s 0 = −s 3 , et on vérifie qu’alors S 2 est une homothétie de rapport s 02 + s 1 s 2 . Comme S 2
est d’ordre 2, on a S 2 = −I 2 et on en déduit que s 02 + s 1 s 2 = −1 et donc det S = 1.
µ ¶
t0 t1
On cherche maintenant T sous la forme . De l’identité T 3 = (ST )5 = S 2 , on déduit
t2 t3
que det T 3 = det T 5 = 1 et donc det T = 1. Par suite en utilisant le fait T 3 = (ST )5 est diagonale
et en éliminant t 1 (puisque det T = 1), on trouve
t 2 ((t 0 + t 3 )2 − 1) = 0.
Parmi les solutions possibles à cette équation, on choisit de prendre t 0 + t 3 = 1 ; on a alors
t 32 − t 3 + 1 = −t 1 t 2 .
Remarquons que, comme det S = det T = 1, on a det ST = 1 et donc η 2 = η−1 1 .
La contrainte sur ST implique t 1 s 0 +t 3 s 1 = 0. Le choix t 1 = 0 entraîne s 1 = 0 et les contraintes
précédemment obtenues sur S et T conduisent à une contradiction avec le fait que η 1 est une
racine 10-ème de l’unité distincte de 1. De même on peut montrer que t 0 6= 0. En résumé, on
a
η1 0
µ ¶ µ ¶ µ ¶
s0 s1 t0 t1
S= , T= , avec t 0 6= 0, t 1 6= 0, et ST =
s 2 −s 0 t2 1 − t0 0 η−11
et le calcul des coefficients de ST permet de proche en proche de trouver le résultat suivant,
où l’on a posé α = t 1 (1 − η21 ) :
η1 −η 1 α
à !
−η21 α
µ ¶
1 1
S= 4 2
η 1 −η 1 +1 , T= .
1 − η21 −(η 1 − η 1 + 1)/α 1
4 2
1 − η21 αη 1 −η 1
r
1
Le choix de |α| s’effectue en imposant que S, T ∈ U2 (C). Prenons par exemple α = 2 2
− 1.
|1−η 1 |
On vérifie alors par énumération, grâce au lemme suivant, qu’on obtient bien un groupe de
cardinal 120, de facto isomorphe à SL 2 (Z/5Z).
Lemme 2. Soit S, T deux éléments d’ordre fini d’un groupe G. On construit la suite d’ensembles
E 0 := {e}, E k+1 = E k ∪ {M S, M ∈ E k } ∪ {M T, M ∈ E k }. S’il existe k tel que E k+1 = E k , le sous-
groupe de G engendré par S et T est fini et égal à E k . Réciproquement, si < S, T > est fini, il
existe k tel que < S, T >= E k = E k+1 .
La même énumération montre que ζS ≈ 0.618..., pour un taux de transmission de ≈ 3.45
avec deux antennes.

5. Étude d’une famille de groupes non abéliens

Nous allons dans cette partie construire une famille de groupes non abéliens pour tenter
d’améliorer les résultats de la partie précédente. Commençons par décrire le cadre abstrait
dans lequel nous nous plaçons, en un sens le plus simple après les groupes abéliens : soit H

Page 4/6
 (Texte public) Option C : algèbre et calcul formel

un groupe abélien engendré par un élément σ, et G un groupe contenant H comme sous-

groupe distingué, tel que G/H soit cyclique.
Au vu des résultats du paragraphe 3, comme H :=< σ > est cyclique, on peut trouver pour
tout k un sous-groupe de Uk (C) isomorphe au sous-groupe H ; on va s’intéresser au cas k = 1.
Nous allons nous appuyer sur le sous-groupe de U1 (C) isomorphe à H pour construire un
sous-groupe isomorphe à G :

Proposition 3. Soit G un groupe, H un sous-groupe distingué de G, et notons n = cardG/H .

D’un morphisme injectif φ : H → Uk (C) on peut déduire un morphisme injectif φ̃ : G →
Unk (C).

Démonstration. Notons G/H = {x 1 , . . . , x n }. Pour tout x ∈ G, on définit φ̃(x) comme une ma-
trice constituée de n 2 blocs (βi j (x))16i , j 6n de taille k, définis par

x i−1 xx j 6∈ H
½
0
βi j (x) =
φ(x i xx j ) x i−1 xx j ∈ H .
−1

Le fait que φ̃ est un morphisme se prouve par multiplication par blocs, en notant qu’exacte-
ment un bloc par ligne ou par colonne est non nul. 
À titre d’exemple, considérons le cas où G/H est cyclique d’ordre n ; en d’autres termes, on
cherche à construire un groupe G mn contenant un sous-groupe cyclique distingué H =< σ >
d’ordre m et tel que G/H =< τ > est cyclique d’ordre n. En particulier, par construction on
doit avoir σm = 1, τn = σt pour un certain t et τσ = σr τ pour un certain r .
m
Proposition 4. Nécessairement, pgcd(r, m) = 1, r n = 1 mod m et pgcd(r −1,m)
|t .
n
Démonstration. On doit avoir τn σ = σr τn et τσt = σt r τ. 
On peut dès lors poser G mn := {σi τ j , 0 6 i < m, 0 6 j < n} ; il reste à prouver que muni de la
loi “définie” par les règles données plus haut, G mn est bien un groupe de cardinal mn. Cela
sort du cadre de ce texte. En tout état de cause, sur les exemples que nous étudions, nous
construisons de fait un sous-ensemble de Un (C) “isomorphe” à G mn ; sur ce cas, on peut
donc vérifier par énumération (cf. §7) sur chaque exemple que le sous-ensemble de Un (C)
obtenu est bien un groupe.
Exemples.
Premier cas. m = 21, r = 4, n = 3, t = 7. On obtient le sous-groupe de U3 (C) engendré par
t 
0 0 ξ21


A := diag(ξ21 , ξ421 , ξ16

21 ), B :=
 1 0 0 ,
0 1 0
où ξ21 := exp(2i π/21), qui conduit, par énumération, à ζS ≈ 0.77... pour un taux de trans-
mission de ≈ 1.99....
Second cas. m = 57, r = 4, n = 9, t = 19. On obtient un sous-groupe S ⊂ U9 (C), avec ζS ≈
0.73..., pour un taux de transmission de 1.00031....

Page 5/6
 (Texte public) Option C : algèbre et calcul formel

Suggestions pour le développement

I Soulignons qu’il s’agit d’un menu à la carte et que vous pouvez choisir d’étudier certains
points, pas tous, pas nécessairement dans l’ordre, et de façon plus ou moins fouillée.
Vous pouvez aussi vous poser d’autres questions que celles indiquées plus bas. Il est très
vivement souhaité que vos investigations comportent une partie traitée sur ordinateur
et, si possible, des représentations graphiques de vos résultats.
— Comment la qualité d’un sous-groupe S change-t-elle par “changement de base” (ie.
en remplaçant Vi par P −1Vi P pour tout i ) ;
— Montrer que modifier α dans la dernière partie revient à un tel “changement de base” ;
— Interpréter le cas abélien en termes d’émission-réception : que se passe-t-il à chaque
pas de temps ?
— Construire à l’aide d’un logiciel des ensembles de matrices unitaires “au hasard” et
évaluer les ζS obtenus ;
— Vérifier à l’aide d’un système de calcul formel que les ensembles G 21,4 et G 57,4 munis
de la loi décrite sont bien des groupes ; µ ¶
1 1
— Prouver que SL 2 (Z/5Z) est bien engendré par σ et γ = , ou de façon équiva-
0 1
lente par σ et τ = σ−1 γ ;
— Vérifier les calculs de la partie 4 à l’aide d’un logiciel de calcul formel ; vérifier que le
groupe < S, T > obtenu a bien 120 éléments.
— Imiter la partie 4 pour le groupe SL 2 (Z/3Z) ;
— Retrouver les différentes valeurs de ζS annoncées dans le texte ;
— Retrouver des groupes que vous connaissez dans la famille G mn ; le groupe SL 2 (Z/5Z)
est-il dans la famille G mn ?
— Chercher les symétries du problème d’énumération dans le cas abélien ;
— Rechercher des solutions optimales en petite dimension dans le cas abélien ;
— Peut-on combiner G ⊂ Un (C) et H ⊂ Um (C) ? Comparer taux de transmission et valeurs
de ζ.
— Comment prendre en compte l’effet de superposition dans le modèle ?

Page 6/6