Академический Документы
Профессиональный Документы
Культура Документы
Lexplosion continue
Mathmatiques,
lexplosion
continue
Photos :
thinkstock (2013).
Collections cole polytechnique (page 162).
O. Boulanger, J. Cotera, FSMP.
Cration
Comit de rdaction
Nalini Anantharaman, Jean-Marc Bardet, Anne de Bouard,
Anne Ggout-Petit, Frdric Lagoutire, Gal Octavia,
Yann Ollivier, Filippo Santambrogio
Coordination
Anne de Bouard
Maquette et couverture
Centre Polymdia, cole polytechnique
FSMP Institut Henri Poincar 11 rue Pierre et Marie Curie 75231 Paris CEDEX 05, France
Tel. 0144276803 http://www.sciencesmaths-paris.fr
SFDS Institut Henri Poincar 11 rue Pierre et Marie Curie 75231 Paris CEDEX 05, France
Tl. 0144276660 http://www.sfds.asso.fr
SMAI Institut Henri Poincar 11 rue Pierre et Marie Curie 75231 Paris CEDEX 05, France
Tl. 0144276661 http://www.smai.emath.fr
SMF Institut Henri Poincar 11 rue Pierre et Marie Curie 75231 Paris CEDEX 05, France
Tl. 0144276796 http://smf.emath.fr
Sommaire
11 Avant-propos
23 Garder le contrle
Karine Beauchard, charge de recherche CNRS lcole polytechnique
Jean-Michel Coron, professeur lUniversit Pierre et Marie Curie
Pierre Rouchon, professeur Mines-ParisTech
Contraindre la trajectoire dun satellite, rguler la temprature de sa maison,
stabiliser le niveau deau dun canal les situations ncessitant que lon contrle
une donne, une quantit, une position, sont omniprsentes. Ces problmes sont
lobjet dune thorie mathmatique trs riche: la thorie du contrle.
37 La supraconductivit
L a supraconductivit, capacit dun mtal laisser passer le courant lectrique sans perte dnergie, peut avoir des applications tonnantes. Ltude
de ce phnomne fait intervenir divers domaines des mathmatiques, comme
le calcul des variations, les quations aux drives partielles, lanalyse
asymptotique. Plusieurs questions ouvertes y sont associes.
43 Inspiration mathmatique :
la modlisation du poumon
Cline Grandmont, directrice de recherche Inria
La complexit de notre systme respiratoire en fait un joli sujet dapplication des
mathmatiques. Le fonctionnement de lappareil respiratoire est dcrit par des
quations qui servent effectuer des simulations venant complter lexprience
et permettant de mieux comprendre ou prvoir les phnomnes qui se produisent
lorsque nous respirons.
le point commun
Marie Thret, matre de confrences lUniversit Paris Diderot
Echanges de donnes entre internautes, propagation dun feu de fort, infiltration
de leau dans une roche : un modle mathmatique simple utilisant des graphes
permet de mieux comprendre ces phnomnes.
Grgoire Allaire, professeur lcole polytechnique
Franois Jouve, professeur lUniversit Paris Diderot
Les objets issus de la fabrication industrielle sont penss de faon optimiser
un certain nombre de paramtres comme le poids ou la solidit. Pour viter de
chercher ttons la meilleure forme possible, on peut aujourdhui compter sur
plusieurs mthodes mathmatiques doptimisation.
ou presque
Sylvie Mlard, professeur lcole polytechnique
Prdire lvolution dune population animale sur une longue priode, connatre
le fonctionnement dun cosystme, comprendre lavantage de la reproduction
sexue pour la survie des espces les problmes issus de la biodiversit sont
complexes et leur rsolution fait appel des outils mathmatiques sophistiqus.
Julie Delon, charge de recherche Telecom ParisTech
Agns Desolneux, directrice de recherche CNRS lcole Normale
Suprieure de Cachan
Le papillonnage fait partie des dfauts qui affectent couramment les bandes abmes. travers ce cas particulier, voyons comment les mathmatiques aident
crer des algorithmespermettant de corriger automatiquement les imperfections
des vieux films.
en toute scurit
Jean-Louis Nicolas, professeur lUniversit Claude Bernard Lyon 1
Christophe Delaunay, professeur lUniversit de Franche-Comt
La scurisation de nos cartes bleues, ainsi que dautres procds de cryptages utiliss couramment, se basent sur limpossibilit, en pratique, de factoriser de trs
grands nombres. Ce type de cryptage pourrait cependant tre dtrn par dautres
mthodes, sa fiabilit tant sans cesse remise en question par les progrs de linformatique.
Sommaire 7
tienne Ghys, directeur de recherche CNRS lcole Normale Suprieure de Lyon
Une rgle, un crayon, du carton, des ciseaux et de la colle: il nen faut gure
plus pour procurer aux mathmaticiens du plaisir et de jolis problmes dont
ltude se rvle souvent, aprs coup et de manire inattendue, utile dans dautres
mtiers.
Tristan Mary-Huard, charg de recherche Inra Inra-AgroParisTech
Comment distinguer automatiquement un spam dun message normal? Les filtres
anti-spams analysent le texte des messages en utilisant des algorithmes de classification en forme darbres. Ceux-ci comportent un nombre optimal de nuds
correspondant autant de questions pertinentes permettant de dterminer la
nature dun message.
Erwan Le Pennec, charg de recherche Inria lUniversit Paris-Sud
Le principe du scanner implique de savoir retrouver un objet partir dune collection de radiographies de cet objet. Il sagit de ce que lon appelle, en mathmatiques, un problme inverse. Sa rsolution savre difficile et constitue toujours
une source de questions pour les mathmaticiens.
Pascal Yiou, directeur de recherche au CEA
Philippe Naveau, charg de recherche CNRS lInstitut Pierre Simon Laplace
Ltude du climat et de ses variations est base sur un grand nombre doutils et
concepts statistiques. Ceci se reflte dans le langage employ par les diffrents
rapports du GIEC (Groupe International dExperts sur le Climat), qui mettent
beaucoup laccent sur les incertitudes et leur quantification.
et quelques algorithmes
Juliette Chabassier, charge de recherche, quipe Magique 3D, Inria
Comme de nombreux phnomnes physiques, le fonctionnement dun piano peut
tre modlis grce aux mathmatiques. Mais le modle obtenu permet aussi
daller plus loin, de rver de pianos impossibles ou dimaginer des sons nouveaux.
La recherche offre ainsi au compositeur un formidable champ dexploration et de
cration.
Yannick Viossat, matre de confrences lUniversit Paris-Dauphine
La coopration est au cur de nombreux comportements sociaux ou biologiques.
La thorie des jeux permet dexpliquer le choix de stratgies coopratives et den
comprendre les mcanismes dans des contextes o les individus se trouvent en
concurrence, des situations de guerre la rgulation de la pche.
Emmanuel Grenier, professeur lcole Normale Suprieure de Lyon
LAVC, qui touche des milliers de personnes chaque anne, est une pathologie
complexe dont le diagnostic et le traitement ncessitent encore dtre amliors.
Cest un des domaines o la modlisation mathmatique peut venir en aide
la recherche mdicale, en compltant notamment lexprimentation sur les animaux.
Sommaire 9
161
165
EDP la franaise
169
Avant-propos
Maria J. Esteban, prsidente de la Socit de Mathmatiques Appliques
et Industrielles 2009-2012
Bernard Helffer, prsident de la Socit Mathmatique de France 2010-2012
Jean-Michel Poggi, prsident de la Socit Franaise de Statistique 2011-2013
Avant-propos 11
Avant-propos 13
Couper, attendrir,
trancher, rduire:
Comment rpartir ses invits sur deux tables sans placer ensemble ceux
qui se dtestent? Rsoudre ce casse-tte quel que soit le nombre dinvits
est un problme extrmement difficile resoudre quand le nombre dinvits
augmente. laide dun peu de programmation gomtrique, on peut trouver
une rponse approche de garantie prsume optimale.
Ce soir, je convie mes amis dner. Cependant, je ne dispose pas dune table assez
grande et je vais devoir les rpartir sur deux
tables. Quels groupes former?
Fermement dcid rsoudre ce problme
de faon rationnelle, jattrape un crayon et
mon bloc-note et appelle Maelys, toujours
la premire informe des derniers potins,
pour savoir qui sest fch avec qui dernirement. Tout en tenant le tlphone dune
main, je me retrouve reprsenter chaque
invit par un petit rond (on dit un sommet en
thorie des graphes) et tracer un trait (une
arte, cest plus chic) entre chaque paire
dinvits quil vaudrait mieux sparer en ce
moment. Je me rends rapidement compte
que la situation est assez complique: il y a
beaucoup plus danimosits entre eux que
Je vais donc essayer de trouver la rpartition de mes amis en deux groupes qui minimise le nombre dinimitis lintrieur de
chaque table, ce qui revient maximiser le
nombre dartes allant dune table lautre.
Mathmatiquement, je cherche partitionner les sommets de mon graphe en deux
parties de sorte maximiser le nombre
dartes casses par cette partition, cest-dire cheval entre les deux tables. (Pour
ne pas compliquer inutilement, nous ne
chercherons pas obtenir deux parties de
mme taille. Les techniques de rsolutions
avec ou sans cette contrainte ne diffrent
dailleurs pas significativement.)
Or, il se trouve que notre problme de placement dinvit (Max-Cut) fait parti du club des
problmes auxquels on peut rduire nimporte quel problme raisonnable: si vous
me fournissez une recette efficace notre
problme Max-Cut, je peux vous crire une
recette qui rsout nimporte quel problme
raisonnable. Cela veut dire que parmi les
une solution efficace pour le club des problmes les plus durs? La plupart des chercheurs pensent que non, mais nous navons
pas de rponse claire pour linstant (voir
lencadr P =? NP: la mcanisation de lintuition est-elle possible?).
toujours au moins 87,8 % du nombre optimal dartes. Jai donc rempli ma mission
avec une marge derreur relativement faible,
garantie infrieure 12,2%.
Coupe toujours
De nombreuses variantes de ce problme
existent: on peut chercher couper en deux
parties gales, en k morceaux, ou bien ajouter des poids sur les artes pour pondrer
les inimitis entre individus: la solution propose ci-dessus peut tre adapte.
Figure 3. Une fois tranche suivant une direction alatoire, nous obtenons la partition des
invits ci-dessus, qui coupe effectivement un grand nombre dinimitis (en noir), certifi en
moyenne suprieur 87,8% de loptimum!
Garder le contrle
laide
des mathmatiques
Karine Beauchard, charge de recherche CNRS lcole polytechnique
Jean-Michel Coron, professeur lUniversit Pierre et Marie Curie
Pierre Rouchon, professeur Mines-ParisTech
Contraindre la trajectoire dun satellite, rguler la temprature de sa maison, stabiliser le niveau deau dun canal les situations ncessitant que
lon contrle une donne, une quantit, une position, sont omniprsentes.
Ces problmes sont lobjet dune thorie mathmatique trs riche: la thorie
du contrle.
Garder le contrle 23
Le premier rgulateur
industriel
Le premier rgulateur utilis au niveau
industriel est le rgulateur de James Watt
(1736-1819), qui sert rguler la vitesse de
rotation des machines vapeur. On le voit
sur limage 3 et le schma 4. Son fonctionnement est le suivant. Lorsque la machine
tourne, elle transmet (par un systme non
reprsent) son mouvement laxe du rgulateur, qui tourne alors autour de la verticale
une vitesse proportionnelle la vitesse de
rotation de la machine. Le cadre du rgulateur est solidaire de son axe et tourne donc
la mme vitesse. Quand la vitesse de
rotation augmente, les deux boules, sous
laction de la force centrifuge, scartent de
laxe vertical et le manchon rouge monte.
Ce manchon rouge, par un jeu de tringles
non reprsent, agit sur la vanne dadmission de la vapeur dans la machine. Ainsi, si
la machine tourne plus vite que souhait, le
vers le rcipient 1
rcipient 2
rcipient 3
Garder le contrle 25
de toucher le fond, ce qui impose de rguler le niveau de leau avec prcision car les
canaux sont souvent peu profonds. Ensuite,
il faut garantir lapprovisionnement des centrales lectriques et des industries consommatrices deau situes sur les berges, ce
qui ncessite une rgulation du dbit.
Figure5. Vannes mobiles pour la rgulation des canaux. A droite, la vanne a t sortie de leau
pour une opration de maintenance.
Garder le contrle 27
Figure6: Les tats quantiques stabiliser sont des tats avec un nombre entier et bien dtermin de photons. Ces derniers rebondissent entre les deux miroirs. La difficult pour le
feedback, ici reprsent de faon allgorique par les deux mains du jongleur, vient du fait
que lobservation de ces photons par le jongleur les perturbe ncessairement. Cette action
en retour supplmentaire due la mesure doit tre prise en compte ds la conception dun
feedback stabilisant.
Garder le contrle 29
Remerciements
Les auteurs remercient Michel Brune pour
les figures6 et7 illustrant le contrle dtats
quantiques.
Bibliographie
Coron J.-M., dAndra-Novel B., BastinG.,
(mars 2008). Penser globalement, agir localement. La Recherche, n417, p.82-83.
Mayr O., (1970). The origins of feedback
control. The M.I.T. Press (Cambridge
Massachusetts, and London, England),
p.vii +151.
Sayrin C., Dotsenko I., Zhou X., Peaudecerf B., Rybarczyk T., Gleyzes S.,
Rouchon P., Mirrahimi M., Amini H.,
Brune M., Raimond J.-M., Haroche S.,
(septembre 2011). Real time quantum
feedback prepares and stabilizes photon
number states. Nature, vol.477, p.73-77.
Le thorme de Green-Tao
et autres secrets
des nombres premiers
Michel Waldschmidt, professeur mrite lUniversit Pierre et Marie Curie
Progressions arithmtiques
Ltude des diffrences entre les nombres
premiers peut tre gnralise dune autre
manire, en tudiant les progressions arithmtiques composes de nombres premiers.
Une suite de nombres forme une progression arithmtique si la diffrence entre deux
termes conscutifs de la suite est toujours
la mme: cette valeur est alors la raison de
la progression.
Par exemple la suite 5, 11, 17, 23, 29 est une
progression arithmtique de 5 termes de
raison 6.
La suite 7, 37, 67, 97, 127, 157 est une progression arithmtique de 6 termes de raison 30 et la suite 199, 409, 619, 829, 1039,
1249, 1459, 1669, 1879, 2089 est une progression arithmtique de 10 termes de raison 2100. Dans ces exemples, les termes
de ces suites sont tous des nombres premiers.
Ben Green
Terence Tao
Sur Internet
http://www.mersenne.org/
http://primes.utm.edu/largest.html
https://oeis.org/
Le blog de Terence Tao:
http://terrytao.wordpress.com/
La supraconductivit
Sylvia Serfaty, professeur lUniversit Pierre et Marie Curie
La supraconductivit, capacit dun mtal laisser passer le courant lectrique sans perte dnergie, peut avoir des applications tonnantes. Ltude
de ce phnomne fait intervenir divers domaines des mathmatiques, comme
le calcul des variations, les quations aux drives partielles, lanalyse
asymptotique. Plusieurs questions ouvertes y sont associes.
Lvitation et tourbillons
La supraconductivit, qui concerne de nombreux mtaux et alliages, entrane dautres
phnomnes surprenants, notamment en
rponse un champ magntique. Lorsquun
supraconducteur, refroidi en-dessous de
La supraconductivit 37
Lune des consquences les plus spectaculaires de cet effet est quun aimant pos sur
un supraconducteur est soumis une force
magntique qui le repousse: on voit laimant
lviter au-dessus du supraconducteur!
La supraconductivit 39
Analyse asymptotique
La meilleure disposition
possible
Lanalyse mathmatique de la supraconductivit fait donc intervenir le calcul des variations, la thorie des quations aux drives
partielles, la thorie spectrale, mais aussi de
manire importante, un autre ingrdient qui
sappelle lanalyse asymptotique. Dans les
supraconducteurs, le comportement des
vortex dpend dune constante K, appele
le paramtre de Ginzburg-Landau, qui est
propre chaque matriau et qui apparat
naturellement dans le calcul de lnergie de
Ginzburg-Landau. En fait, ce nest que dans
les matriaux pour lesquels cette constante
est assez grande que les vortex apparaissent.
La supraconductivit 41
qui dicte la rpartition. Par analogie, imaginez des personnes nombreuses qui se
dtestent mais qui sont forces de rester
toutes ensemble dans la mme pice
:
quelle est la meilleure manire que toutes
ont de se positionner pour tre le plus loin
possible les unes des autres?
Ce dernier problme ne se limite pas la
supraconductivit, cest en fait un type de
question courant dans la nature. Pourquoi
les atomes dans un cristal se disposent-ils
exactement selon un rseau cristallin (en
gnral cubique), cest--dire de manire
priodique? De nouveau, cest la somme
de toutes les interactions lectrostatiques
entre les atomes, et entre les atomes et
les lectrons, qui doit dicter la disposition.
On peut mesurer le cot de chaque rpartition via une nergie, dont on pense que
le minimum est justement atteint par un tel
arrangement en rseau. Hlas, on ne sait
pas dmontrer que ces structures cristallines sont bien celles qui minimisent cette
nergie, mme si on les observe clairement
dans la nature Le seul cas o lon sache
dmontrer quelque chose danalogue est
celui o lon cherche la meilleure distribution de boules rigides toutes identiques
dans un plan, telles des boules de billard,
lorsquon veut en mettre le maximum possible par unit de volume. Dans ce cas, il
a t dmontr assez rcemment que la
meilleure configuration est celle en rseau
hexagonal (en dimension 3, le rsultat analogue donne la meilleure manire dempiler
des oranges sur ltal dun marchand!)
Ces questions de priodicit sont donc
gnrales, fondamentales dans la nature,
La meilleure distribution de
boules rigides identiques dans
un plan, telles des boules de billard, est celle en rseau hexagonal (en dimension 3, le rsultat
analogue donne la meilleure
manire dempiler des oranges
sur ltal dun marchand!)
Inspiration
mathmatique:
la modlisation du poumon
Cline Grandmont, directrice de recherche Inria
Larbre bronchique:
une gomtrie complexe
La respiration fait intervenir des phnomnes physiques nombreux, des chelles
trs diffrentes. La fonction principale
de lappareil respiratoire est dassurer les
changes gazeux entre lair et le sang. Lair,
inspir par le nez ou la bouche, est ensuite
transport dans les voies ariennes: pharynx, larynx, trache, bronches Larbre
bronchique humain prsente une gomtrie dune grande complexit: il se prsente
sous la forme dun arbre dyadique (dont
chaque branche se divise en deux, et ainsi
de suite) environ 23 niveaux de bifurcations, chaque gnration tant constitue
de conduits plus petits que la prcdente,
Un modle simplifi
Reprenons limage du soufflet. Imaginons
que lon cherche reproduire les rsultats
dune exprience de spiromtrie (du latin
spiro, respirer, et du grec metron, mesure:
mesure de la respiration). Au cours de cette
exprience, on demande au patient dinspirer et dexpirer le plus intensment possible
et on mesure le volume respir, que lon
note V, et le dbit associ (qui nest autre
que la vitesse de variation du volume au
cours du temps), not V .
Patm Pa = RV
Par ailleurs le volume du ballon dpend
de llastance des tissus (note E ) et des
forces qui lui sont appliques (ici la pression
alvolaire Pa et la pression P exerce par le
diaphragme). Cela sexprime par une autre
quation traduisant lquilibre lastique du
ballon:
Pa P = EV
Patm P = RV + EV
qui dcrit lvolution au cours du temps du
volume du ballon.
P = Patm RV EV
o V et V nous sont donns par lexprience.
Ainsi, une fois les paramtres cals, en
rsolvant notre quation diffrentielle, on
dispose dune formule mathmatique exprimant le volume en fonction du temps et de
Patm, Pa, P et E:
V (t) = V (0)e R t +
Figure3. Zone
des artes. Cest ce que lon appelle un maillage. On va prendre limage issue dune IRM
ou de scanner et on va la segmenter et
la mailler, ce qui ncessite ici encore des
dveloppements mathmatiques importants, tout particulirement pour ces gomtries complexes, courbes avec plusieurs
embranchements telles celle de larbre
bronchique.
t u + (u )u u + p = 0
u=0
Figure1. Vue dartiste des botes de calcul dun modle de prvision du temps ou du climat.
(L. Fairhead LMD/CNRS)
quelques annes, des outils issus du croisement entre la thorie des systmes dynamiques et celle des probabilits ont permis
de dvelopper ce qui sappelle la prvision
densemble: celle-ci consiste ne plus faire
une prvision partir dun seul tat initial
mais faire en parallle un grand nombre
de prvisions (50 en gnral) partir dtat
initiaux perturbs. La thorie des systmes
dynamiques permet de choisir les perturbations initiales les plus sensibles, alors que
la thorie des probabilits permet dextraire
de la divergence des simulations une information sur la fiabilit de celles-ci et de calculer la probabilit quun vnement prcis
se produise.
Figure2. Concentrations dozone en surface le 6 juillet 2011 donnes par le systme de prvision national de la qualit de lair PREVAIR (INERIS/IPSL/Mto-France). En couleurs, les
concentrations prvues par le modle de chimie-transport CHIMERE; les valeurs numriques
sont les pics de concentration observs dans la journe par le rseau de surveillance.
de temps pour les mtorologues. Elle permet aussi de savoir quels sont les rgimes
de temps les plus prvisibles et ceux qui
sont les plus instables. Dans les situations
dinstabilit, un bon outil serait la modlisation probabiliste du climat, cest--dire la
conception de modles prenant explicitement en compte le caractre alatoire de
la prvision. Encore peu dveloppes, les
modlisations de ce type doivent sappuyer
sur des outils trs rcents de la thorie des
quations aux drives partielles stochastiques et des statistiques.
Des prvisions
mtorologiques
aux prvisions climatiques
Les modles numriques de prvision du
climat ressemblent comme des frres aux
modles de prvision du temps, deux
diffrences essentielles prs. Pour des raisons de temps de calcul, leurs botes
sont ncessairement plus grandes (100
300 km de ct); les temps simuls allant
de quelques mois des centaines voire des
milliers dannes, il est impossible dtre
plus prcis. Mais la diffrence importante
tient au fait que les variations climatiques
ont lieu de longues chelles de temps,
et quil nest alors plus possible de ngliger
dans les interactions entre latmosphre,
locan, les glaces de mer, la biosphre les
volutions de ces autres domaines. Cest
pourquoi un modle de climat doit combiner un modle datmosphre, un modle
docan, un modle de glaces de mer, un
modle de biosphre et tous les cycles
dchanges dnergie, de quantit de mou-
Bibliographie
Jouzel J., Debroise A., (2004). Le climat:
jeu dangereux, quelques prvisions pour
les sicles venir, d. Dunod.
Le Treut H., Jancovici J.-M., (2004). Leffet de serre: allons-nous changer le climat?, d. Flammarion.
Sadourny R., (2002). Le climat est-il devenu fou?, d. Le Pommier.
, (2003). Peut-on croire la mto?,
d. Le Pommier.
, (2005). Do viennent les temptes?,
d. Le Pommier
Echanges de donnes entre internautes, propagation dun feu de fort, infiltration de leau dans une roche : un modle mathmatique simple utilisant
des graphes permet de mieux comprendre ces phnomnes.
Figure1. Deux graphes trs utiliss en thorie de la percolation : le rseau carr et le rseau
triangulaire
Le graphe obtenu dcrit comment la maladie pourrait se propager dans le pire scnario, si chaque arbre infectait tous ses voisins. Mais on veut tenir compte du fait que
la transmission de la maladie ne se produit
Figure 2. Les artes sont colories alatoirement, indpendamment les unes des autres,
lorsque la contamination entre deux arbres voisins a lieu. Cette contamination est suppose
instantane: en particulier, lordre dans lequel on colorie les artes na pas dimportance.
gauche: Larbre A contamine larbre B, ainsi que dautres arbres situs plus loin. Ceci se produit
typiquement quand la probabilit de transmission est leve. droite: Larbre A ne contamine
que 3 autres arbres. Il ne contamine pas B. Ceci se produit typiquement quand la probabilit
de transmission est faible.
contaminations entre voisins ont lieu simultanment, instantanment, et indpendamment les unes des autres. Les artes
non colories correspondent aux couples
darbres entre lesquels la maladie ne se
transmet pas.
Pour une tude plus prcise de ces phnomnes, Hammersley et Welsh ont introduit en 1965 un modle plus complexe, le
modle de percolation de premier passage.
Au lieu de colorier alatoirement les artes
du graphe, ils leur associent un temps ala-
(a)
(b)
(c)
A la recherche
de la forme idale
Grgoire Allaire, professeur lcole polytechnique
Franois Jouve, professeur lUniversit Paris Diderot
Les objets issus de la fabrication industrielle sont penss de faon optimiser un certain nombre de paramtres comme le poids ou la solidit. Pour
viter de chercher ttons la meilleure forme possible, on peut aujourdhui
compter sur plusieurs mthodes mathmatiques doptimisation.
Optimiser la gomtrie
avec la mthode dHadamard
Tout algorithme doptimisation est itratif:
on construit une nouvelle forme partir
dune variation de la prcdente. Puis on
calcule la performance de cette nouvelle
forme, que lon compare celle de la premire. Enfin, si la performance de la structure savre amliore, on retravaille partir
de la nouvelle forme.
Figure1. Initialisation ( gauche), itration intermdiaire (au centre) et forme optimale ( droite)
dune console, obtenues par la mthode dHadamard.
Un autre avantage de la mthode dhomognisation est que sa rsolution numrique est plus rapide: elle demande moins
de calculs. Lune des raisons cela est que
pour changer la densit en un point donn,
lalgorithme ne va utiliser que les valeurs
de la densit autour de ce point, et non les
valeurs des points plus loigns, comme
ctait le cas pour la mthode dHadamard.
Nous traons la densit de matire, reprsente par un niveau de gris (le noir correspondant du matriau plein, le blanc
du vide). La solution optimale prsente de
larges zones de gris, correspondant du
matriau composite, quil est difficile dinterprter comme une forme. Pour retrouver une forme classique proche de la
forme composite optimale, une solution est
de pnaliser les matriaux composites
la fin de loptimisation numrique, cest-dire de rajouter des contraintes dans lalgorithme pour que la solution optimale soit
plutt compose de zones soit pleines, soit
vides, que de zones composites.
La console optimale
Voici un problme doptimisation de forme
classique, celui de la console optimale. Ici,
le bord de gauche de la console est fix tandis quune force verticale est applique au
milieu du bord de droite.
Figure 4. Console optimale composite
(le niveau de gris indique la densit de
matire).
La biodiversit mise
en quations
ou presque
Sylvie Mlard, professeur lcole polytechnique
ces problmes une motivation et une inspiration pour crer de nouveaux modles
et thormes dune grande richesse, qui
permettront de comprendre certains phnomnes cologiques.
Quelques problmatiques
dcologie
Voici quelques exemples de questions
poses par les cologues et auxquelles les
mathmaticiens sefforcent de donner des
lments de rponses:
Quel est le comportement dune population en temps long? Va-t-elle se stabiliser
ou steindre? Si elle steint, quel sera le
temps dextinction?
Les espces cohabitent et interagissent
dans une comptition pour les ressources,
dans un rseau hte-parasite ou une
chane alimentaire, ou au contraire cooprent pour leur survie. Comment ces
rseaux voluent-ils?
Quel est limpact de la migration et de
la fragmentation de lhabitat sur la biodiversit?
Quel est lavantage de la reproduction
sexue pour la biodiversit et la survie
des espces? En effet, mme si la reproduction sexue apporte de la variation
gntique par recombinaison, nourrir les
mles, rechercher des partenaires, sexposer la prdation pendant lacte sexuel
sont des arguments qui rendent plus favorable la reproduction asexue.
La notion despce
et les modles probabilistes
Pour comprendre la biodiversit, il faut
commencer par comprendre ce quest une
espce.
La notion despce a volu au cours du
temps. Dj, Maupertuis (1698-1759),
mathmaticien et naturaliste, soulignait
lapparition au hasard de mutants qui se
dveloppent et forment une nouvelle population: Nous voyons paratre des races de
chiens, de pigeons, de serins qui ntaient
point auparavant dans la nature. Ce nont
t dabord que des individus fortuits; lart
et les gnrations rptes en ont fait des
espces. Dans luvre de Lamarck (17441829), limage linaire de la grande chane
des tres est remplace par un arbre buissonnant . Finalement, dans son fameux
ouvrage On the origin of species by natural selection, Darwin (1809-1882) introduit
lide de slection naturelle et darbre des
espces, avec disparition de certaines
espces par slection des plus adaptes,
et apparition de nouvelles, telles les diffrentes espces de pinsons quil met en vidence sur les les Galapagos.
Figure1. Arbre des espces, avec disparition de certaines espces et apparition de nouvelles,
daprs C. Darwin, On the origin of species by means of natural slection.
Dans cet exemple, les individus sont caractriss par leur taille x la naissance, qui
varie par exemple entre 0 et 4. Le temps
quun individu de taille x met se reproduire est une variable alatoire de moyenne
b(x). On peut supposer par exemple que
b(x) = 1/(4 x), ce qui traduit le fait quun
grand individu dpense beaucoup dnergie
se nourrir et en a moins pour se reproduire.
A chaque reproduction, lindividu transmet
hrditairement son type x, mais il arrive
que son descendant mute en un individu de
type y. Ce dernier va se reproduire et crer
ensuite sa propre sous-population de type y.
Les mutations introduisent ainsi de la variabilit gntique dans le modle. Par ailleurs,
la mort de lindividu dpend de ses propres
paramtres gntiques, mais aussi de la
comptition pour les ressources quil subit
de la part de ses congnres. Par exemple,
un individu de type y > x consommera plus
de ressources, au dpend de celui de trait
x qui va ainsi voir ses possibilits de survie
samoindrir.
La slection naturelle, qui va permettre la
population de sadapter et entrainer son volution, est donc le rsultat dun compromis
entre le fait de favoriser les petits individus
pour accrotre leurs capacits de reproduction et celui de favoriser les gros individus
pour leur permettre dtre plus forts dans
la comptition pour les ressources. Cest
ce type doptimisation volutive que les
mathmaticiens cherchent comprendre
Le processus
de Galton-Watson
Le processus de Galton-Watson est une
suite de variables alatoires ( Zn) dcrivant
lvolution dune population qui, chaque
gnration, se reproduit alatoirement. Si
Zn est la taille de la population la nime
gnration, alors Zn+1 = X1 + + X Zn , o
Xi est le nombre denfants du i me individu. Les variables Xi ont toutes la mme
loi X, et en particulier le nombre moyen
m denfants par individu est constant.
La probabilit dextinction est alors obtenue comme limite dune suite rcurrente
(dont le terme gnral donne la probabilit dextinction la gnration n), et est
Le modle de Wright-Fisher
Dans ce modle, la taille de la population N est constante et, chaque gnration,
chaque individu choisit son anctre uniformment au hasard dans la gnration prcdente. Ainsi la probabilit que deux individus aient le mme parent est 1/N, qui tend
vers 0 quand N tend vers linfini. Il faut donc changer lchelle de temps pour observer
les gnalogies pour une grande population et prendre des temps de gnration proportionnels N. Dans ce cas, on construit un objet limite appel coalescent de Kingman
qui est un objet gomtrique probabiliste dcrivant les lignes ancestrales.
Istas J., (2000). Introduction aux modlisations mathmatiques pour les sciences
du vivant. Springer.
Mallein B., (2011). Gnalogie de populations: le coalescent de Kingman, Culture
Math, ENS Ulm.
Darwin online
h t t p: / / d a r w i n - o n l i n e . o r g . u k / c o n te n t /
frameset?pageseq=60&itemID=F1497&viewtype=side
La restauration
de vieux films
Julie Delon, charge de recherche CNRS Telecom ParisTech
Agns Desolneux, directrice de recherche CNRS lcole Normale Suprieure
de Cachan
Le papillonnage fait partie des dfauts qui affectent couramment les bandes
abmes. travers ce cas particulier, voyons comment les mathmatiques
aident crer des algorithmespermettant de corriger automatiquement les
imperfections des vieux films.
Concentrons-nous sur un dfaut trs frquent dans les films anciens: le papillonnage (ou flicker). Ce dfaut consiste en
Le papillonnage
Figure1. Trois images extraites du film The Cure (1917) de Charlie Chaplin. Limage centrale
est nettement plus sombre que les deux autres. Cest ce dfaut de luminosit, appel papillonnage ou flicker, qui donne limpression que le film clignote, et que lon va chercher
corriger de faon automatique.
Changement de contraste
Une fois le film numris, on peut appliquer
toutes ses images ce quon appelle des
changements de contraste (nous verrons
plus loin comment les construire pour li-
Figure2. Une image numrique et un zoom sur un petit morceau de cette image, faisant apparatre quelques pixels et leurs niveaux de gris.
Un changement de contraste ne
modifie pas le contenu gomtrique dune image, cest--dire
quon voit la mme chose dans
limage avant et aprs un changement de contraste.
Les changements de contraste utiliss pour
supprimer le papillonnage dun film sont
construits de la manire suivante. Imaginons que lon souhaite restaurer la nime
image du film, note In. Pour chaque pixel
Figure3. Changement de contraste. Limage de droite est obtenue en appliquant un changement de contraste limage de gauche. On peut observer que le contenu gomtrique de
limage na pas chang.
Figure4. Les trois images du film de Charlot The Cure aprs restauration automatique du
contraste par la mthode dcrite dans cet article. Ces trois images ont maintenant des luminosits similaires, et leffet de papillonnage (qui se traduisait par une impression de clignotement) du film a disparu.
Bibliographie
Cet article est inspir de celui que nous
avions crit pour le site Images des Mathmatiques:
Le nombre dimages
Le nombre dimages utilises pour la restauration (on a pris ici les 10 images prcdentes et les 10 images suivantes) est un choix heuristique que lon peut faire varier.
Plus ce nombre est grand, plus on prend en compte un grand nombre dimages dans le
film pour restaurer limage courante, et plus on limine les fluctuations dues au papillonnage. En contrepartie, prendre un nombre trop grand dimages na pas forcment
de sens si le film comporte beaucoup de mouvements de camra ou dobjets qui se
dplacent.
h1
H1
m1
h2
H2
m2
m1
m2
h
m1
m2
m1
m2
m1
m2
m1
m2
Figure 1 Dierence entre moyenne arithmetique et moyenne harmonique des histogrammes cumules. Exemple sur deux degrades.
Figure 5. (a) Image dun dgrad sombre, avec son histogramme et son histogramme cumul.
(b) Image dun dgrad clair, avec son histogramme et son histogramme cumul. (c) Image
obtenue si on avait utilis la moyenne arithmtique pour changer le contraste: on a ici cr
une discontinuit dans le dgrad. (d) Image obtenue avec la moyenne harmonique des histogrammes cumuls: le rsultat est conforme ce quon attend - cest un dgrad de niveau
de gris moyen.
Cryptage et dcryptage:
communiquer
en toute scurit
Jean-Louis Nicolas, professeur lUniversit Claude Bernard Lyon 1
Christophe Delaunay, professeur lUniversit de Franche-Comt
La scurisation de nos cartes bleues, ainsi que dautres procds de cryptages utiliss couramment, se basent sur limpossibilit, en pratique, de factoriser de trs grands nombres. Ce type de cryptage pourrait cependant
tre dtrn par dautres mthodes, sa fiabilit tant sans cesse remise en
question par les progrs de linformatique.
La cryptographie moderne, au
croisement des mathmatiques
et de linformatique
Cette priptie illustre limportance considrable que revt aujourdhui la science du
cryptage, cest--dire du codage de messages en vue de les rendre illisibles par des
personnes indiscrtes. Crypter et dcrypter des messages secrets est une activit
dans un domaine parfaitement pur, larithmtique, et de navoir rien fait qui puisse
tre considr comme utile. Ses travaux
taient peut-tre inutiles son poque.
Cest faux aujourdhui.
Courbes elliptiques:
la gomtrie algbrique
au service des agents secrets
Et cela ne concerne pas uniquement la
thorie des nombres. Dautres domaines
des mathmatiques, auparavant considrs comme dpourvus dapplications,
contribuent la science du cryptage. Des
mthodes cryptographiques prometteuses
et fondes sur des principes voisins de ceux
du protocole RSA sont apparues au cours
des dernires annes. Il en est ainsi de la
mthode dite du logarithme discret. Celle-ci
a servi son tour concevoir des mthodes
qui sappuient sur les proprits des courbes
elliptiques. Il ne sagit pas de courbes ayant
la forme dune ellipse, mais de courbes dont
ltude a dbut au xixesicle pour rsoudre
Plus gnralement, les objets gomtriques que sont les courbes elliptiques possdent des proprits arithmtiques que
lon continue dexplorer susceptibles de
rendre service la cryptographie. Cest ainsi
qua t dveloppe une mthode cryptographique intitule logarithme discret sur les
courbes elliptiques. De faon anecdotique,
les courbes elliptiques fournissent aussi une
mthode originale pour factoriser les entiers
(cependant, des mthodes bien plus techniques sont ncessaires pour obtenir les
records actuels).
Pourquoi et comment
nager dans le miel?
Franois Alouges, Guilhem Blanchard, Sylvain Calisti, Simon Calvet, Paul
Fourment, Christian Glusa, Romain Leblanc et Mario Quillas-Saavedra,
respectivement professeur et lves de lcole polytechnique
La nage dans des milieux trs visqueux comme le miel est un sujet de recherches actuel, qui touche des disciplines aussi diverses que la mcanique
des fluides, les mathmatiques appliques ou la biologie. Mais pourquoi
donc sintresser la natation dans du miel? Et quelles sont les diffrences
entre la nage dans du miel et celle dans de leau?
Inertie et viscosit
Quelles sont donc les diffrences entre la
nage de Michael Phelps, 1m93, et celle de
la bactrie Escherichia Coli (voir figure1), qui
mesure quelques micromtres (millimes
de millimtres)? Pourquoi ne peut-on pas
tudier le mouvement de ces deux tres
vivants de la mme faon?
Dune faon gnrale, les deux types deffets qui interviennent lors du mouvement
Ces deux effets ont des intensits trs diffrentes en fonction de lchelle laquelle
on se place. Pour mesurer leur importance relative, on utilise un nombre sans
dimension appel nombre de Reynolds.
Le nombre de Reynolds dun coulement
est donn par la formule Re = rUL/, dans
laquelle r et n reprsentent la densit et la
viscosit du fluide, et L et U sont respectivement une taille et une vitesse caractristiques de lcoulement (celles du nageur
par exemple): un nombre de Reynolds trs
grand (par rapport 1) signifiera que les
effets inertiels sont beaucoup plus importants que les effets visqueux, que lon
ngligera alors; au contraire, si le nombre
de Reynolds est trs petit, on se contentera
de prendre en compte la viscosit, et pas
linertie. Cest donc l que se situe toute la
diffrence entre Michael Phelps et E. Coli:
le nombre de Reynolds caractrisant la nage
du champion olympique vaut environ 10millions, tandis que celui caractrisant la nage
dune bactrie est de lordre de 0,00001.
Le thorme de la Coquille
Saint-Jacques
La nage faible nombre de Reynolds, avant
tout lie aux effets de viscosit, a des proprits intressantes et parfois inattendues.
Lcoulement du fluide est dcrit par des
quations appeles quations de Stokes
qui sont en fait une version simplifie des
quations de Navier-Stokes dans lesquelles
linertie a t nglige. Elles ont une particularit extrmement importante du point
de vue mathmatique: elles sont linaires,
cest--dire que la modification dun paramtre (pression, vitesse, etc.) entrane une
modification proportionnelle de tous les
autres paramtres.
Cette linarit a des consquences importantes pour la nage faible nombre de
Reynolds, comme la rversibilit
: si un
objet se dforme dune certaine faon,
puis reprend sa forme initiale nouveau de
faon exactement inverse on dit alors que
le mouvement est rciproque il reviendra
aussi sa position initiale et ne se sera pas
dplac. Cest le thorme de la Coquille
Saint-Jacques , tabli par E.M. Purcell en
1977: ces coquillages nageant en ouvrant
et fermant leur coquille ne peuvent pas se
dplacer dans des milieux domins par la
viscosit.
Optimiser sa natation
Le problme de la natation consiste chercher des changements de forme priodiques, des brasses, qui produisent, par
interaction avec le fluide, un dplacement
du nageur. Le nageur (ou le robot-nageur)
peut ensuite enchaner les brasses de
faon avancer dans le fluide. Mathmatiquement, ce problme revient chercher un
chemin ferm dans lensemble des formes
que peut prendre lobjet qui conduise un
changement de sa position.
Figure3. Le Three-Link-Swimmer de
Purcell est un robot-nageur deux batteurs. En actionnant successivement les
deux batteurs selon le schma du bas,
le nageur progresse latralement dans
un coulement domin par la viscosit.
Ces recherches en thorie du contrle optimal sont trs actuelles (voir Pour aller plus
loin). Qui sait, peut-tre permettront-elles
de concevoir les micro-robots de demain!
Figure 4. Simulation numrique dune course entre trois nageurs composs de sphres alignes et relies par des vrins extensibles. Le nageur au premier plan est calcul de faon
nager optimalement, et nage plus vite que les deux autres pour la mme nergie dpense. La
course a lieu de la gauche vers la droite.
Le thorme
du soufflet
tienne Ghys, directeur de recherche CNRS lcole Normale Suprieure de Lyon
Le thorme du soufflet 95
Le thorme du soufflet 97
Lancien, le simple
et lappliqu
Ce problme est-il utile, intressant
?
Quest ce quun problme mathmatique
intressant? Question difficile laquelle les
mathmaticiens rflchissent depuis longtemps, bien sr. Voici quelques lments
de rponse, quelques indices de qualit . Lanciennet est un premier critre:
les mathmaticiens sont trs sensibles la
tradition. Un bon problme doit galement
snoncer simplement, sa solution doit
mener des dveloppements surprenants,
si possible mettant en jeu des domaines
trs diffrents. De ces points de vue, le problme de la rigidit que nous venons dabor-
Ce genre de recherche ne manquera pas, dans un avenir indtermin, de permettre une meilleure comprhension globale de
la rigidit des vastes structures
constitues dun grand nombre
dlments individuels.
Le thorme du soufflet 99
La dtection
de spams:
un jeu denfant?
Tristan Mary-Huard, charg de recherche INRA INRA-AgroParisTech
Gagner, loterie:
les mots typiques des spams
Sur quelles informations lalgorithme de
classification peut-il se baser? Tout message contient un texte. Cest donc partir
de lanalyse du contenu de ce texte quil faut
dcider de classer un message en spam ou
rgulier. Bien souvent, un spam capte lattention du destinataire par la promesse dun
gain quelconque (gnralement dordre
financier), et propose de rcuprer ce gain
en se connectant sur un site internet qui
sera ainsi frquemment visit. Ces courriers se caractrisent donc par la prsence
de mots comme gagner, loterie, ou
encore cliquer dans le corps du texte.
Il existe donc des mots rvlateurs de la
nature du message. De ce fait, une possibilit est de classer les messages partir
de ltude des frquences dapparition de
certains mots.
Message 2
Salut Benot,
Demain je joue contre Bruno.
Si je gagne la partie je me qualifie
directement.
Si je ne gagne pas demain mais que
je gagne la suivante,
je monte en pool 3 lanne prochaine!
Bises, Sandra
Amliorer le filtrage
La longvit des arbres de classification,
utiliss depuis maintenant 25 ans, ainsi que
la diversit des applications qui leur ont
(http://
Lart de couper
les ttes sans faire mal
Erwan Le Pennec, charg de recherche Inria lUniversit Paris-Sud
Problme direct,
problme inverse
A linverse de la radiographie classique
rayons X, limage dun scanner nest pas
obtenue directement par une mesure physique mais est cre par un ordinateur
laide dalgorithmes mathmatiques partir dune collection de radiographies de la
tte du patient prise sous des angles diffrents. Pour raliser une telle prouesse, il
faut savoir rsoudre deux problmes: comprendre comment cette collection de radiographies dpend de lintrieur de la tte
du patient, on parle de problme direct, et
comprendre comment remonter de la collection de radiographies ce qui se passe
lintrieur de la tte, on parle alors de problme inverse.
Le problme direct est ici le mme que celui
de la radiographie rayons X. Son principe
a t dcouvert par Wilhelm Conrad Roentgen en 1895 et a immdiatement t utilis
pour diagnostiquer des blessures internes.
Il a t largement tudi dun point de vue
physique: on sait ainsi que la radiographie
obtenue dpend essentiellement de la
quantit de matire absorbante rencontre
par le rayonnement X entre la source et le
capteur. Cest pour cela que les os, plus
absorbants que les tissus, sont les structures naturelles les plus visibles. En prenant
en compte les caractristiques physiques
des instruments de radiographie utiliss,
on sait alors prvoir mathmatiquement de
manire trs fine la radiographie dun objet
suppos entirement connu. Il en est donc
de mme pour la collection de radiographies
obtenue par le scanner.
Une bonne solution est une solution cohrente avec les donnes
observes tout en ntant pas
inutilement complexe.
+ Bruit
Dirence
Non observ
Incohrence
avec
les mesures
Complexit
de la solution
Meilleur compromis
Figure1. Compltement gauche se trouve une image test appele fantme de Logan-Shepp,
souvent utilise pour valuer les mthodes; limage immdiatement sa droite correspond
aux mesures dun scanner parfait (cette image bidimensionnelle est obtenue en juxtaposant
les tranches correspondant diffrents plans de coupe). Limage suivante correspond
des mesures lgrement perturbes; enfin on a reprsent au dessous trois quilibres diffrents entre lincohrence (limage de la colonne de gauche est dautant plus blanche que
lincohrence avec les mesures est grande) et la complexit (limage de la colonne de droite
correspond des solutions de complexit croissante du haut vers le bas).
R = F (O ) + B
et lon souhaite retrouver au mieux O
partir de la collection de radiographies R.
Une ide naturelle pour un mathmaticien est de dterminer linverse F-1 de
la fonction F et de lappliquer R pour
retrouver O. Malheureusement, on vrifie
que lobjet ainsi obtenu
F-1( R ) = F-1(F(O )+B ))
peut tre trs diffrent de O mme si B
est petit. On dit que linversion est instable.
Pour appliquer le principe dOckham, il
faut dfinir le critre de cohrence ainsi
que de complexit.
Le mathmaticien dfinit ainsi une fonction dincohrence F ( R,O ) qui quantifie
F ( R,O ) + C (O )
est la plus petite possible.
Les expriences numriques de la figure
ont t obtenues en choisissant pour
critre de cohrence essentiellement la
distance usuelle entre limage de lobjet
F(O ) et R, et pour critre de complexit,
la parcimonie, le nombre de coordonnes
non nulles, dans une reprsentation adapte. Ce choix permet dobtenir des garanties thoriques sur la reconstruction ainsi
quun algorithme efficace de dtermination du meilleur compromis.
Climatologie
et statistiques
Pascal Yiou, directeur de recherche au CEA
Philippe Naveau, charg de recherche CNRS lInstitut Pierre Simon Laplace
Ltude du climat et de ses variations est base sur un grand nombre doutils
et concepts statistiques. Ceci se reflte dans le langage employ par les diffrents rapports du GIEC (Groupe International dExperts sur le Climat), qui
mettent largement laccent sur les incertitudes et leur quantification.
sicle.
Annes
Figure 2. Densit de probabilit des lois de Frchet (--), Weibull (-) et Gumbel (..).
Maximum de n
variables alatoires
Loi de Frchet,
Weibull ou Gumbel
Les manires dont les proprits de ces lois dextrmes voluent dans le
temps sont des sujets de
recherche trs actifs dans
le domaine de la climatologie statistique. Une estimation de ces extrmes,
W. Weibull
et des incertitudes associes, est indispensable pour faire des prvisions climatiques dont se servent des secteurs conomiques aussi varis que
lnergie, lagriculture, lassurance et les
transports.
Le Web met notre disposition une masse considrable dinformation, plusieurs dizaines de milliards de documents. Sans les moteurs de recherche,
ces systmes de plus en plus sophistiqus qui nous aident nous focaliser
sur un petit nombre de pages, le Web ne serait quune poubelle ciel ouvert,
gigantesque et inutilisable. Le rle de ces systmes est de faire surgir de la
masse des internautes une intelligence collective pour valuer, classer, filtrer
les informations. Comment les moteurs de recherche grent-ils ces volumes
dinformation vritablement phnomnaux? Comment aident-ils les utilisateurs trouver ce quils cherchent dans cette masse? Retour sur un des plus
beaux succs du Web.
Un index du Web
Tout dbute par un index. Il sagit dune
liste ordonne dans le style dun index
en fin de livre, qui associe chaque mot
la liste des pages du Web qui contiennent
ce mot. Par exemple, une entre dans cet
index serait:
Casablanca http://www.imdb.com/title/
tt0034583/
0.091
0.065
0.095
0.234
0.050
0.149
0.142
0.019
0.058
0.097
Figure1. Pagerank: calcul de la popularit des images du web. Chaque cercle reprsente une
image, les flches et leur paisseur reprsentent le nombre de liens dune page vers lautre.
Les nombres dans chaque cercle, et la couleur, indiquent la popularit.
PageRank
Le cur du problme reste maintenant
de choisir, parmi les millions de pages qui
contiennent les mots dune requte, lesquelles sont les plus intressantes. Cest
essentiel car un utilisateur ira rarement
au-del des dix ou vingt premiers rsultats
affichs.
Au dpart, les moteurs de recherche comme
AltaVista utilisaient pour classer les pages
uniquement des techniques statistiques
de recherche dinformation. Une page tait
juge plus intressante si le terme apparaissait dans un titre, ou en caractre gras.
Plus un terme est rpt dans le document
plus il pse. Et galement, plus le terme
est rare dans lensemble des documents,
plus il pse lorsquil apparat. Ce genre de
techniques qui marchent bien sur de petits
corpus savraient assez dcevantes pour le
Web.
La marche alatoire
Le point fixe
pop = Q pop,
une notation bien compacte pour un systme de dix milliards dquations dix
milliards dinconnues (une inconnue pour
chaque page Web)
Et l, banco! Une technique connue va nous
permettre de calculer cette solution. Partons du vecteur pop0 dfini par
pop0[i] = 1/N,
cest--dire quau dpart toutes les pages sont
supposes aussi importantes. Et dfinissons:
La brouette de Monge
ou le transport optimal
Yann Brenier, directeur de recherche CNRS lcole polytechnique
Un problme doptimisation
combinatoire
Tel que nous lavons formul, notre problme de transport optimal appartient
une branche importante des mathmatiques
: loptimisation combinatoire. Dans
cette discipline, notre problme est considr comme facile . En effet, il existe
des algorithmes qui permettent de trouver
B3
A4
A4
A3
A1
B4
B3
B1
A1
B2
A2
B4
B3
B1
A3
A4
A3
A1
B2
A2
B4
B1
B2
A2
solution optimale
quelques points
beaucoup plus de points
( X )
( X)
T ( x) T ( y)
La combinatoire
La combinatoire est le domaine des problmes mathmatiques o lon numre
et classifie les manires de relier ou
darranger un nombre fini, mais souvent
lev, dobjets. Par exemple:
Combien de plaques minralogiques diffrentes du type LL CCC LL peuvent tre
mises?
Et si lon veut que deux plaques diffrentes se distinguent par deux caractres
au moins?
Combien de couleurs sont ncessaires
au minimum pour colorier un planisphre
de manire ce que deux tats ayant une
frontire commune naient pas la mme
couleur?
Les altrations chromosomiques sont responsables de nombreuses maladies, parmi lesquelles certains cancers. La dtection de petites altrations,
essentielle pour le diagnostic du mdecin, fait appel un modle classique
en statistiques: la segmentation.
Dautres maladies sont lies des altrations qui ne touchent pas des chromosomes entiers mais seulement des portions de chromosomes. Certaines portions
sont perdues (absentes ou prsentes
en une seule copie) ou amplifies (prsentes en trois ou quatre copies, voire plus
encore). Cest notamment le cas dun grand
nombre de cancers. Les cellules du tissu
malade prsentent typiquement des pertes
de rgions contenant des gnes suppresseurs de tumeurs ou, au contraire, des
amplifications de rgions contenant des
oncognes qui favorisent le dveloppement tumoral.
Quand elles sont trop petites, ces altrations peuvent malheureusement passer
inaperues dans ltude du caryotype. Leur
dtection est donc un enjeu essentiel de
la recherche mdicale afin didentifier les
gnes affects, dessayer de comprendre
leur implication dans le dveloppement de
la maladie et de concevoir ainsi des thrapies adaptes.
(a)
(b)
(c)
Figure1. (a) Rapports thoriques entre le nombre de copies dun individu malade et celui
dun individu sain (2 copies) suivant le numro du locus pour cinq locus fictifs. (b) Ces rapports
thoriques dcoups suivant des rgions, obtenus aprs travail statistique pour 93 locus rels.
(c) Rapports empiriques de copies mesurs exprimentalement suivant le locus pour ces
93 locus.
Un modle mathmatique
Comme souvent en statistique, la rsolution
de ce problme passe par la dfinition dun
modle, cest--dire, dune traduction aussi
fidle que possible du processus biologique
en langage mathmatique (et suffisamment simple pour permettre une rsolution
mathmatique). Un modle classique en statistique ddi la dtection de rgions (ou
segments) est le modle de segmentation.
Il consiste supposer que la vraie valeur
du nombre de copies est la mme au sein
de chaque rgion, que cette valeur change
quand on change de rgion, et que la valeur
observe un locus donn est gale la
vraie valeur de la rgion auquel il appartient
plus un terme alatoire, lerreur. Lobjectif
statistique consiste alors rpondre trois
questions: Combien il y a de rgions? O
se trouvent-elles (cest--dire quelles sont
les limites entre les rgions)? Quelles sont
les vraies valeurs au sein de chaque rgion?
La troisime question se rsout simplement: de faon naturelle, la vraie valeur de
chaque rgion sera estime par la moyenne
des observations dans cette rgion. La
rsolution statistique des deux autres questions se droule en sens contraire. Pour un
nombre de rgions fix notons-le k - on
cherche le positionnement de ces rgions
le mieux ajust aux donnes. Cest un problme de nature algorithmique. Sa rsolution va nous fournir un algorithme qui nous
donnera la meilleure segmentation des
donnes pour k rgions.
Bien sr, en gnral, k nest pas connu.
Mme si lon dispose dinformation a priori
(a)
(b)
(c)
Figure2. (a) Deux segmentations en trois rgions. (b) Evolution de lajustement en fonction du
nombre de rgions. (c) Meilleures segmentations en trois et dix rgions.
[t1+1; t2], [tk2+1; tk 1], [tk 1+1; n], la meilleure segmentation correspond alors au
chemin qui permet:
daller du point 1 au point n,
en faisant (k1) tapes des points t1,
t2, tk2, tk1 dterminer,
pour le plus faible cot total.
Un tel problme est un problme de plus
court chemin, que lon sait rsoudre avec
un algorithme qui ncessite k n2 oprations. Pour n = 1000 locus et k = 10 segments, il faut donc faire 107 oprations, ce
qui est bien moins que 10138. Sur la figure
2a, la segmentation bleue est la meilleure
de toutes les segmentations possibles en
trois rgions.
Le piano rv
des mathmaticiens
Juliette Chabassier, charge de recherche Inria, quipe Magique-3D
Cordes aigus
Cordes graves
Chevalet
Agrafe
Table
dharmonie
Marteaux
Clavier
0.02
0.04
0.06
0.08
0.1
0.12
temps (secondes)
0.14
0.16
0.18
0.2
Pianos virtuels
Lune des applications les plus enthousiasmantes de ce modle et de sa discrtisation
numrique est laide la facture instrumentale. Aujourdhui, la facture du piano est
majoritairement base sur un savoir empirique issu de sicles dexprimentations,
dchecs, de succs Les facteurs, cest-dire ceux qui conoivent et ralisent les
instruments, ont ainsi acquis un ensemble
de connaissances extrmement prcises.
On trouve par exemple dans la littrature
spcialise des affirmations telles que
:
les rouleaux des marteaux influent sur
le toucher du piano queue de faon dcisive, ou encore la table dharmonie est
Comment faire
cooprer
des individus gostes?
Yannick Viossat, matre de confrences lUniversit Paris-Dauphine
La coopration est au cur de nombreux comportements sociaux ou biologiques. La thorie des jeux permet dexpliquer le choix de stratgies coopratives et den comprendre les mcanismes dans des contextes o les individus se trouvent en concurrence, des situations de guerre la rgulation de
la pche.
J2 Si J2 coopre
Si J2 fait
J1
(C)
dfection (D)
Si J1 coopre (C)
3,3
1,4
4, 1
0,0
Assurer lavenir
La thorie des jeux a permis didentifier
plusieurs mcanismes qui permettent de
surmonter les conflits entre intrt collectif
et intrts individuels. Voyons maintenant le
Dautres mcanismes
de coopration
La pche ou la tempte
de neige: dautres types
de modles
Joueur 1
Joueur 2
CCDCDCDCC
CCCDCDCCC
Nous avons jusquici suppos que linteraction se rptait mais que les paiements au
cours du jeu ne changeaient pas. Or, imaginons un modle de rgulation volontaire
de la pche, o un grand nombre dacteurs
doivent dcider de la quantit de poisson
quils pcheront chaque anne. Pcher peu
permet de laisser les stocks de poissons
se renouveler, et est analogue cooprer. Pcher le plus possible puise les ressources et est analogue faire dfection.
Chaque acteur ayant une influence faible sur
lvolution du stock de poissons, il a intrt
pcher le plus possible mme si, collectivement, il est prfrable de limiter la quantit pche. La situation est donc analogue
celle du dilemme du prisonnier.
Toutefois, une modlisation plus prcise
devrait tenir compte de lvolution du stock
de poisson. Pcher le plus possible, par
exemple, rapporte de moins en moins au
fur et mesure que les stocks de poissons
spuisent. Les gains des acteurs un instant donn ne dpendent donc pas seule-
AVC:
les mathmatiques
la rescousse
Emmanuel Grenier, professeur lcole Normale Suprieure de Lyon
LAVC, qui touche des milliers de personnes chaque anne, est une pathologie complexe dont le diagnostic et le traitement ncessitent encore dtre
amliors. Cest un des domaines o la modlisation mathmatique peut
venir en aide la recherche mdicale, en compltant notamment lexprimentation sur les animaux.
Le mathmaticien va traduire
les connaissances biologiques
et mdicales sous forme dquations. Puis, partir de ces quations, il va faire des simulations
sur son ordinateur.
Pour faire avancer la recherche dans ce
domaine, les mdecins et les biologistes
travaillent sur des modles animaux ,
en provoquant des AVC chez des rongeurs
(rats, gerbilles) et en les tudiant par imagerie ou biopsie. Le problme survient lors du
passage lessai clinique chez lhomme, o
les rsultats peuvent tre diffrents de ceux
observs sur les animaux, et contraires au
but recherch, comme nous le verrons par
la suite.
Modliser et simuler
les phnomnes
En quoi les mathmatiques peuvent-elles
aider la recherche clinique
? Le principal
avantage des mathmatiques est quelles
permettent de quantifier des phnomnes.
Le mdecin et le biologiste pensent et analysent les systmes vivants travers des
relations, influences, rseaux Mais ils
ne peuvent pas toujours quantifier prcisment les effets, leur donner une valeur
numrique.
Confront un systme complexe, un biologiste ou un mdecin aura lintuition de
son fonctionnement. Il va dvelopper des
scnarios. Toutefois, les systmes vivants
sont tellement complexes quil est difficile
davoir une intuition correcte et complte de
leur fonctionnement.
Le mathmaticien va pour sa part tenter
de modliser mathmatiquement les phnomnes. Autrement dit, il va traduire les
connaissances biologiques et mdicales
sous forme dquations. Puis, partir de
ces quations, il va faire des simulations sur
son ordinateur. Au lieu davoir un modle
animal, il va donc construire un modle
abstrait (des quations). Au lieu de faire
des expriences, il va faire des calculs.
Bien sr, modle abstrait et modle animal
sont deux approximations de la ralit. Le
modle abstrait ne saurait rendre compte
de toute la complexit du vivant. Il est par
essence faux, approximatif, en progression
constante et est seulement une mise en
scne dune partie des connaissances.
sagit dtablir tous les paramtres physiologiques lis aux objets lists (concentrations, nombre de portes, potentiels douverture). Ensuite, le tout est mis en quation
(on utilise les quations de Nernst, les
potentiels de membrane). Ce travail long
et dlicat est bas sur une dmarche dveloppe depuis quelques dcennies, notamment pour le cur, entre autres par lquipe
du Professeur Denis Noble, dOxford.
Figure1: Rsultats de simulations obtenus avec le modle de lAVC permettant de voir lvolution des diffrentes zones ischmies sur 40 minutes suite une obstruction artrielle ( t =0
min) et suite lintroduction dun bloqueur dun canal ionique sodique spcifique ( t =20min)
pour le modle rongeur et pour le modle homme (diffrant par leur proportion de cellulesgliales). La zone infarcie (o les cellules sont totalement mortes) est en bleu, la zone de
pnombre (o les cellules sont endommages ou affaiblies, et peuvent soit mourir, soit se rparer et survivre) en vert et la zone saine en rouge. Lenjeu de tout traitement est videmment
la zone de pnombre, le but tant quelle volue au maximum vers ltat sain. Les rsultats de
ces simulations montrent que, suite lintroduction de ce bloqueur, la rcupration de la zone
de pnombre est trs importante dans le cas du rongeuralors quelle est assez faible dans le
cas de lhomme. (daprs M.A. Dronne, E.Grenier, G.Chapuisat, M.Hommel, J.-P.Boissel,
Progress in Biophysics and Molecular Biology, 2008, vol. 97).
Point de vue
sur les mathmatiques
franaises depuis ltranger
John Ball, professeur lUniversit dOxford
beaucoup de prudence. Elles sont symptomatiques de cette tendance moderne vouloir tablir un ordre pour tout, que ce soit en
classant les gens les plus grands, les plus
riches ou les plus puissants du monde, les
meilleurs footballeurs de tous les temps,
les meilleures universits, et ainsi de suite.
Les mathmatiques ne sont pas un sport
o saffrontent divers pays du monde. Il
ny a pas de vainqueur de la Coupe du
Monde de Mathmatiques. Il est plus juste
de considrer que les pays possdent des
communauts mathmatiques distinctes,
avec des styles mathmatiques diffrents
et des points forts dans des disciplines diffrentes. Quelques indicateurs, cependant,
viennent confirmer lide dune suprmatie
franaise. Par exemple, le palmars des
mdailles Fields, distinctions les plus pres-
Hritage intellectuel
et organisation acadmique
Comment expliquer ce caractre exceptionnel des mathmatiques franaises? Il y a
en premier lieu lhritage intellectuel dun
nombre extraordinaire de grands mathmaticiens franais, comme dAlembert,
Cauchy, Fermat, Fourier, Galois, Hermite,
Laplace, Lagrange, Liouville, Monge, Poisson et, dans la premire moiti du xxe sicle,
Poincar, Hadamard, Lebesgue et Leray.
La plupart dentre eux ont donn leurs
noms des rues de Paris, un honneur rarement accord des mathmaticiens dans
dautres pays.
Comme les joueurs de football, les mathmaticiens, quelle que soit leur origine, sont
de plus en plus internationaux. Par exemple,
mon propre dpartement Oxford compte
parmi ses membres des citoyens allemands,
amricains, chinois, corens, costariciens,
danois, franais, grecs, hongrois, roumains
et russes. De nombreux dpartements de
mathmatiques aux tats-Unis ont des
compositions semblables. Cet effet est
beaucoup moins prononc en France, o les
universitaires des meilleurs dpartements
sont majoritairement franais. Ceci est largement, on peut le supposer, d la barrire de la langue, et on voit des situations
similaires dans dautres pays europens.
Cela a des aspects positifs et ngatifs.
Sylvia Serfaty
(copyright Olivier Boulanger)
EDP la franaise
John Ball, professeur lUniversit dOxford
Spcialiste des quations aux drives partielles, John Ball raconte ici comment ce domaine des mathmatiques appliques a connu un formidable essor en France, grce en particulier une figure emblmatique: le professeur
Jacques-Louis Lions.
Equations
de Maxwell
Gomtries
complexes
Elasticit
Equations
de Navier-Stokes
Le rle essentiel
de Jacques-Louis Lions
La cration de cette cole a t en grande
partie le travail dun homme, Jacques-Louis
Lions. Aprs des tudes lcole normale
Mathmatiques pures
ou appliques?
Je nai jamais bien compris ce qui a conduit
la polarisation des mathmatiques pures
dun ct et appliques de lautre pendant
la majeure partie du xxesicle, tant celle-ci
me semble en contradiction avec lesprit
de lunit de la science et des mathmatiques reprsentes par plusieurs des plus
grands mathmaticiens universels, comme
Archimde, Newton, Euler, Gauss, Riemann, Poincar et Cauchy. En Grande-Bretagne, G.H. Hardy en fut peut-tre en partie
responsable, mme si, ironiquement, ses
mathmatiques ont trouv de nombreuses
applications aux quations aux drives partielles rsultant des sciences de la matire.
En France, lcole Bourbaki a adopt dans
ses traits (souvent prcieux) une approche
pure sans compromis, distanciant systmatiquement les mathmatiques fondamentales des applications. Quand jtais tudiant en doctorat dans les annes 1960 et
au dbut des annes 1970, jai certainement
ressenti en Grande-Bretagne que la majorit des mathmaticiens appliqus naccordaient pas aux thormes une grande valeur
(et inversement, les spcialistes de mathmatiques dites pures ne sintressaient
gure aux applications). Cest pourquoi, si
les travaux de Lions et dautres analystes
appliqus ont t une source dinspiration
mathmatique, ils mont aussi apport
le rconfort psychologique de savoir quil
ny avait pas lieu dopposer bonnes mathmatiques appliques et raisonnements
rigoureux!
F.A.Q.
(et ides reues) sur
les mathmaticiens
Quels sont les dbouchs des cursus de mathmatiques? Comment devient-on
mathmaticien(ne)? En quoi consiste ce mtier? Des professionnels, hommes
et femmes, rpondent ces questions et tordent le cou aux ides reues.
Facult de Jussieu
Amlie Rambaud,
thse lInstitut Camille Jordan sous
la direction de Francis Filbet:
Trois ans, a parat long, mais cest ce quil
faut ! Pour explorer, se familiariser avec
le monde de la recherche (en maths jentends!). Il sagit de sattaquer un problme
ouvert de mathmatiques propos par un
directeur, mais qui peut conduire en cours
de route dautres pistes, si par exemple
le sujet initial soulve des questions semblant plus pertinentes. En fait, cest assez
subjectif, instinctif. Dans une thse, il y a
souvent des moments o lon est perdu,
bloqu dans des calculs par exemple Ce
brouillard peut durer
! Mais en persvrant, en travaillant, il arrive un moment de
dblocage, et on accouche dun rsultat,
cest limpression que jai du moins ! Puis
vient une phase de rdaction, de dfense
de son rsultat devant dautres chercheurs.
Cest un exercice difficile et en anglais,
mais trs intressant, qui permet de resituer son travail dans son contexte, le mettre
en perspective, bref, lui trouver sa place
dans le foisonnement des publications de
mathmatiques. Lorsque lon a termin, on
en retire une grande satisfaction: voir son
travail publi est un accomplissement, motivant pour poursuivre ses recherches! Ainsi,
je dirais que faire une thse, cest mettre un
pied dans lunivers fou de la recherche. Quel
quen soit le rsultat, cest enrichissant,
Marc Bernot,
ingnieur de recherche chez Thales Alenia
Space, Cannes:
Absolument
! Jai rejoint le service de
recherche de Thales Alenia Space (une
entreprise qui fabrique des satellites de
toute sorte) il y a quatre ans. Je travaille sur
la qualit optique des tlescopes, ce qui me
met en contact avec des collgues aux profils varis (opticiens, mcaniciens). Cette
diversit sest rvle trs stimulante aprs
une formation 100% mathmatiques (cole
normale suprieure, agrgation, M2, doctorat) sans passer par une cole dingnieur.
Mais que font les mathmatiques l-dedans, si la modlisation dun tlescope se
base sur la physique? Eh bien cest que
souvent, la seule connaissance du modle
ne suffit pas Une tape importante est
la modlisation numrique, et sa mise en
uvre rapide et prcise ouvre un monde de
questionnement. Les techniques ne sont
pas toujours les plus complexes que jai
vues lors de ma formation: cest le cadre
dapplication qui est complexe et multi
mtier. Pourtant ma formation (mme la
thorie de Galois, dont je ne me sers plus
du tout) est essentielle: cest grce elle
que je ne ressens pas deffroi face la technicit, mais un dsir de clarifier et trouver
lessentiel.
Sbastien Marque,
directeur du dpartement Biomtrie
de Danone Research:
Stphane Mallat,
professeur lcole normale suprieure
et crateur de lentreprise Let it Wave:
Clairement oui, et de nombreux mathmaticiens lont fait avec succs aussi bien en
France qu ltranger, et surtout aux tatsUnis. Les mathmatiques sont une source
extraordinaire dinnovation technologique
permettant de mettre au point de nouveaux
produits et damliorer les processus industriels. Cest le cas en informatique, dans
les tlcommunications, laronautique,
la sant et dans la plupart des domaines
industriels.
Le mtier denseignant-chercheur est une
excellente formation pour devenir entrepreneur, contrairement beaucoup dides
reues. Crer une entreprise est aussi un
projet de recherche. On part dune premire
ide pour aborder la recherche du march,
de limplmentation technologique et crer
une quipe, avec beaucoup de surprises et
de tournants en chemin. Lexprience denseignant aide expliquer et convaincre de la
valeur de ses ides.
Il nest pas ncessaire de connatre la
finance, le commerce, le marketing ou le
management, mais simplement davoir envie
dapprendre, pour dcouvrir de nouveaux
horizons. Cest ainsi que je lai vcu.
Mais quoi a sert ? Cette question, les collgiens la posent souvent leur
professeur de mathmatiques. Elle est bien sr lgitime pour des lves, mais
lest tout autant pour des tudiants et des adultes, quils exercent ou non une
activit lie la science, et encore plus pour des adultes investis de responsabilits collectives.
En effet, mme si de tout temps, les mathmatiques ont t lies de multiples activits : administratives, techniques, scientifiques ou culturelles, on assiste depuis une quarantaine dannes une explosion continue du nombre de
domaines dans lesquels la recherche mathmatique la plus avance se rvle
indispensable.
De la cryptographie au traitement dimages, de la comprhension du climat
celle de la biodiversit, de la lutte contre les spams au fonctionnement des moteurs de recherche, de la dtection des maladies gntiques la prvention
des AVC, de lunivers acadmique celui des entreprises, les applications des
mathmatiques ne se comptent plus et couvrent un large spectre de plus en
plus tendu. Inversement, de faon concomitante, les questions poses par le
dveloppement de la technologie, de la biologie ou de la gestion des donnes
massives pour ne citer que ceux-l suscitent la cration et le dveloppement
de nouvelles thories mathmatiques.
Socit Franaise
de Statistique
Socit de Mathmatiques
Appliques et Industrielles
Socit Mathmatique
de France
Fondation Sciences
Mathmatiques de Paris
ISBN 978-2-85629-375-1
9 782856 293751