ATLAS Ouvrir dans l'atlas →

AnnalesÉcoles d'ingénieurs

Mines-Ponts MP 2018 — Maths 1

Lemme de Fekete et théorème de Erdös-Szekeres · 6 pages

PDF hébergé hors du site officiel — source : archive officielle (ZIP)

Le sujet démontre le lemme de sous-additivité de Fekete après avoir étudié limites inférieure et supérieure d'une suite bornée, puis l'applique pour montrer que P(Yn⩾x)1/nP(Y_n \geqslant x)^{1/n} converge, où YnY_n est la moyenne empirique de variables i.i.d. Il prouve ensuite le théorème d'Erdös-Szekeres par un algorithme de rangement en piles, et l'utilise avec une majoration de P(Cn⩾k)P(C_n \geqslant k) par (nk)/k!\binom{n}{k}/k! pour encadrer l'espérance de la longueur CnC_n de la plus longue sous-suite croissante d'une permutation aléatoire uniforme : n/2⩽E(Cn)\sqrt{n}/2 \leqslant \mathrm{E}(C_n) et lim sup⁡E(Cn)/n⩽e\limsup \mathrm{E}(C_n)/\sqrt{n} \leqslant e.

Le sujet, partie par partie

Partie A — Préliminaires p. 2

Espérance, variance, moments · Comparaison série-intégrale · Formule de Stirling — majoration d'une espérance, comparaison somme-intégrale, minoration de n!n!, somme des ln⁡(k)\ln(k)

Partie B — Le lemme de sous-additivité de Fekete p. 2–3

Suites numériques — lemme de Fekete, suite sous-additive, limite inférieure, limite supérieure, suites adjacentes, division euclidienne

Partie C — Une application probabiliste p. 3–4

Grandes déviations · Conditionnement et indépendance · Suites numériques · Espaces probabilisés — moyenne empirique, variables indépendantes de même loi, probabilité de déviation, inclusion d'événements, sous-additivité

Partie D — Le théorème de Erdös-Szekeres p. 4–5

Dénombrement et combinatoire · Suites numériques — théorème d'Erdös-Szekeres, sous-suite monotone, suite extraite croissante, rangement en piles, raisonnement par récurrence

Partie E — Comportement asymptotique d'une suite aléatoire p. 5–6

Groupe symétrique · Espérance, variance, moments · Espaces probabilisés · Coefficients binomiaux · Conditionnement et indépendance — permutation aléatoire uniforme, plus longue sous-suite croissante, loi uniforme sur SnS_n, CnC_n et DnD_n de même loi, majoration de P(Cn⩾k)P(C_n \geqslant k), limite supérieure de E(Cn)/n\mathrm{E}(C_n)/\sqrt{n}

Ouvrir dans l'atlas interactif →