(2013) Le problème des distances de Erdős

Slide 1

Slide 1 text

Le probl` eme des distances d’Erd¨ os Roger Mansuy Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 2

Slide 2 text

Distances Voici 5 points du plan Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 3

Slide 3 text

Distances Voici 5 points du plan ; ils d´ eﬁnissent 10 segments Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 4

Slide 4 text

Distances Voici 5 points du plan ; ils d´ eﬁnissent 10 segments et 9 distances distinctes. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 5

Slide 5 text

Une question naturelle est de savoir combien on obtient de distances diﬀ´ erentes avec un ensemble de n points du plan. Question diﬃcile. Grosse d´ ependance ` a l’ensemble de points de d´ epart. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 6

Slide 6 text

Avec n points de coodonn´ ees (k, 0), on obtient distances. 0 1 2 3 4 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 7

Slide 7 text

Avec n points de coodonn´ ees (k, 0), on obtient n − 1 distances. 0 1 2 3 4 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 8

Slide 8 text

Avec n points de coordonn´ ees (2k, 0), on obtient distances. 1 2 4 8 16 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 9

Slide 9 text

Avec n points de coordonn´ ees (2k, 0), on obtient n(n−1) 2 distances. 1 2 4 8 16 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 10

Slide 10 text

Avec ces 10 points, on obtient distances. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 11

Slide 11 text

Avec ces 10 points, on obtient distances. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 12

Slide 12 text

Avec ces 10 points, on obtient distances. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 13

Slide 13 text

Avec ces 10 points, on obtient distances. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 14

Slide 14 text

Avec ces 10 points, on obtient 7 distances. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 15

Slide 15 text

Avec ces 13 points, on obtient distances. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 16

Slide 16 text

Avec ces 13 points, on obtient distances. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 17

Slide 17 text

Avec ces 13 points, on obtient distances. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 18

Slide 18 text

Avec ces 13 points, on obtient distances. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 19

Slide 19 text

Avec ces 13 points, on obtient distances. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 20

Slide 20 text

Avec ces 13 points, on obtient 6 distances. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 21

Slide 21 text

D´ eﬁnition g(n) d´ esigne le nombre minimal de distances distinctes entre deux points pour un ensemble de n points distincts. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 22

Slide 22 text

D´ eﬁnition g(n) d´ esigne le nombre minimal de distances distinctes entre deux points pour un ensemble de n points distincts. Exemple Voici quelques exemples de calcul de g(n) n 2 3 4 5 6 7 8 9 10 11 12 13 g(n) 1 1 2 2 3 3 4 4 5 5 5 6 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 23

Slide 23 text

Conjecture d’Erd¨ os (1946) Conjecture Pour tout α < 1, g(n) nα. Rappelons que un vn s’il existe une constante C > 0 et un entier N tels que ∀n ≥ N, un ≥ Cvn. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 24

Slide 24 text

Premi` ere preuve pour α = 1 2 Consid´ erons n points A1, . . . , An et tra¸ cons les cercles de centre A1 ou A2 passant par A3, . . . , An. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 25

Slide 25 text

A1 A2 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 26

Slide 26 text

A1 A2 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 27

Slide 27 text

En notant c1 et c2, le nombre de cercles obtenus pour chaque centre, n − 2 ≤ 2c1c2. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 28

Slide 28 text

En notant c1 et c2, le nombre de cercles obtenus pour chaque centre, n − 2 ≤ 2c1c2. Ainsi, c1 ≥ n−2 2 ou c2 ≥ n−2 2 donc il y a au moins n−2 2 distances diﬀ´ erentes. En conclusion, g(n) √ n. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 29

Slide 29 text

Deuxi` eme preuve pour α = 1 2 Consid´ erons n points A1, . . . , An et tra¸ cons les cercles de centre A1 passant par A2, . . . , An. Coupons la ﬁgure en deux avec une droite passant par A1. D’apr` es le principe des tiroirs, l’une de ces deux moiti´ es contient au moins n−1 2 points. On ne consid` ere d´ esormais que cette moiti´ e. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 30

Slide 30 text

A1 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 31

Slide 31 text

A1 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 32

Slide 32 text

A1 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 33

Slide 33 text

Notons c le nombre de cercles. Le nombre de distances distinctes est sup´ erieur ou ´ egal ` a c. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 34

Slide 34 text

Notons c le nombre de cercles. Le nombre de distances distinctes est sup´ erieur ou ´ egal ` a c. Il y a au moins un demi-cercle qui contient n−1 2c points. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 35

Slide 35 text

Notons c le nombre de cercles. Le nombre de distances distinctes est sup´ erieur ou ´ egal ` a c. Il y a au moins un demi-cercle qui contient n−1 2c points. Ceux-ci d´ eﬁnissent au moins n−1 2c − 1 distances distinctes. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 36

Slide 36 text

Ainsi, le nombre de distances distinctes est sup´ erieur ou ´ egal ` a max c, n − 1 2c − 1 , Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 37

Slide 37 text

Ainsi, le nombre de distances distinctes est sup´ erieur ou ´ egal ` a max c, n − 1 2c − 1 , donc g(n) √ n. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 38

Slide 38 text

Interm` ede : in´ egalit´ e de Cauchy-Schwarz Proposition Soit x1 . . . , xn, y1 . . . , yn ∈ R. Alors, n i=1 xi yi ≤ n i=1 x2 i n i=1 y2 i Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 39

Slide 39 text

Troisi` eme preuve pour α = 1 2 Consid´ erons n points A1, . . . , An et une distance entre deux de ces points. Notons N le nombre de paires de points s´ epar´ es par la distance . Alors, N = n i=1 n j=1 1Ai Aj = = n i=1 1.   n j=1 1Ai Aj =   Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 40

Slide 40 text

Troisi` eme preuve pour α = 1 2 Consid´ erons n points A1, . . . , An et une distance entre deux de ces points. Notons N le nombre de paires de points s´ epar´ es par la distance . Alors, N = n i=1 n j=1 1Ai Aj = = n i=1 1.   n j=1 1Ai Aj =   ≤ n i=1 12 n i=1   n j=1 1Ai Aj =   2 (Cauchy-Schwarz) Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 41

Slide 41 text

Troisi` eme preuve pour α = 1 2 Consid´ erons n points A1, . . . , An et une distance entre deux de ces points. Notons N le nombre de paires de points s´ epar´ es par la distance . Alors, N = n i=1 n j=1 1Ai Aj = = n i=1 1.   n j=1 1Ai Aj =   ≤ n i=1 12 n i=1   n j=1 1Ai Aj =   2 (Cauchy-Schwarz) = √ n n i=1 n j=1 n k=1 1Ai Aj = 1Ai Ak = Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 42

Slide 42 text

Comme il y a au plus deux points ` a distance de Aj et de Ak si j = k n j=1 n k=1 k=j n i=1 1Ai Aj = 1Ai Ak = ≤ n j=1 n k=1 k=j 2 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 43

Slide 43 text

Comme il y a au plus deux points ` a distance de Aj et de Ak si j = k n j=1 n k=1 k=j n i=1 1Ai Aj = 1Ai Ak = ≤ n j=1 n k=1 k=j 2 ≤ 2(n2 − n). Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 44

Slide 44 text

Comme il y a au plus deux points ` a distance de Aj et de Ak si j = k n j=1 n k=1 k=j n i=1 1Ai Aj = 1Ai Ak = ≤ n j=1 n k=1 k=j 2 ≤ 2(n2 − n). Par ailleurs, n j=1 n k=1 k=j n i=1 1Ai Aj = 1Ai Ak = = n j=1 n i=1 1Ai Aj = ≤ n2. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 45

Slide 45 text

En rempla¸ cant, N ≤ √ n 3n2 − 2n ≤ √ 3n3. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 46

Slide 46 text

En rempla¸ cant, N ≤ √ n 3n2 − 2n ≤ √ 3n3. En notant D l’ensemble des distances distinctes obtenues, n(n − 1) 2 = ∈D N ≤ |D| √ 3n3. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 47

Slide 47 text

En rempla¸ cant, N ≤ √ n 3n2 − 2n ≤ √ 3n3. En notant D l’ensemble des distances distinctes obtenues, n(n − 1) 2 = ∈D N ≤ |D| √ 3n3. Ainsi, g(n) ≥ n(n−1) 2 √ 3n3 et donc g(n) √ n. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 48

Slide 48 text

Premi` ere preuve pour α = 2 3 Consid´ erons n points A1, . . . , An tels que la distance minimale soit atteinte entre A1 et A2. La droite (A1A2) s´ epare ce nuage de points en deux parties dont l’une contient au moins n−2 2 points. Dor´ enavant, on se limite ` a ces points. Construisons les demi-couronnes successives centr´ ees sur le milieu de [A1A2] de largeur A1A2 qui recouvrent les points. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 49

Slide 49 text

A1 A2 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 50

Slide 50 text

A1 A2 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 51

Slide 51 text

A1 A2 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 52

Slide 52 text

R´ epartissons ces demi-couronnes modulo 3 en trois ensembles. Au moins l’un de ces ensembles contient n−2 6 points. On se limite dor´ enavant ` a ces points. Remarquons que des points appartenant ` a des demi-couronnes distinctes (parmi celles qui restent) ne peuvent ˆ etre ` a la mˆ eme distance de A1 (respectivement A2). Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 53

Slide 53 text

A1 A2 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 54

Slide 54 text

En reprenant, la premi` ere preuve du premier r´ esultat, on obtient que les ni points de la demi-couronne i d´ eﬁnissent au moins √ ni distances distinctes ` a A1 ou A2. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 55

Slide 55 text

En reprenant, la premi` ere preuve du premier r´ esultat, on obtient que les ni points de la demi-couronne i d´ eﬁnissent au moins √ ni distances distinctes ` a A1 ou A2. Ainsi, le nombre d(n) de distances distinctes pour cette conﬁguration est sup´ erieur ou ´ egal ` a (la somme porte sur les demi-couronnes choisies) i √ ni . Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 56

Slide 56 text

En reprenant, la premi` ere preuve du premier r´ esultat, on obtient que les ni points de la demi-couronne i d´ eﬁnissent au moins √ ni distances distinctes ` a A1 ou A2. Ainsi, le nombre d(n) de distances distinctes pour cette conﬁguration est sup´ erieur ou ´ egal ` a (la somme porte sur les demi-couronnes choisies) i √ ni . D’o` u n − 2 6 ≤ i ni ≤ √ max ni . i √ ni ≤ d(n) √ max ni . Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 57

Slide 57 text

Consid´ erons la demi-couronne contenant max ni points, puis la moiti´ e de cette couronne contenant la majorit´ e des points (soit au moins 1 2 max ni ). Soit enﬁn P un point d’ordonn´ ee minimale dans cette zone. Un rapide calcul montre que si Q et R sont ´ equidistants de P dans cette demi-couronne alors QR < 2A1A2. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 58

Slide 58 text

Consid´ erons la demi-couronne contenant max ni points, puis la moiti´ e de cette couronne contenant la majorit´ e des points (soit au moins 1 2 max ni ). Soit enﬁn P un point d’ordonn´ ee minimale dans cette zone. Un rapide calcul montre que si Q et R sont ´ equidistants de P dans cette demi-couronne alors QR < 2A1A2. P Q R Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 59

Slide 59 text

Il y a donc au plus deux points de la zone ` a la mˆ eme distance de P, ce qui nous donne donc au moins 1 2 (1 2 max ni −1) distances diﬀ´ erentes. D’o` u, max ni ≤ 4d(n) + 2. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 60

Slide 60 text

Il y a donc au plus deux points de la zone ` a la mˆ eme distance de P, ce qui nous donne donc au moins 1 2 (1 2 max ni −1) distances diﬀ´ erentes. D’o` u, max ni ≤ 4d(n) + 2. En reportant dans l’in´ egalit´ e n − 2 6 ≤ d(n) √ max ni , on obtient d(n)3 2 n, soit d(n) n2 3 . En conclusion, g(n) n2 3 . Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 61

Slide 61 text

Interm` ede : nombre de croisements D´ eﬁnition Un graphe est un couple (S, A) o` u S est l’ensemble des sommets et A est l’ensemble des arˆ etes non orient´ ees. Le nombre de croisements d’un graphe est le nombre minimal de croisements entre deux arˆ etes dans un dessin du graphe ; si le nombre de croisements est nul, le graphe est dit planaire. Pour un graphe planaire, les faces sont les parties du plan d´ elimit´ ees par un dessin sans croisement du graphe. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 62

Slide 62 text

Le nombre de croisements du graphe suivant est Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 63

Slide 63 text

Le nombre de croisements du graphe suivant est 0. Le graphe est planaire et poss` ede 4 faces. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 64

Slide 64 text

Le nombre de croisements du graphe suivant est Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 65

Slide 65 text

Le nombre de croisements du graphe suivant est 0. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 66

Slide 66 text

Le nombre de croisements du graphe suivant est Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 67

Slide 67 text

Le nombre de croisements du graphe suivant est 588(?). Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 68

Slide 68 text

Le nombre de croisements du graphe suivant est Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 69

Slide 69 text

Le nombre de croisements du graphe suivant est un exercice laiss´ e aux spectateurs ! Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 70

Slide 70 text

Proposition Soit (S, A) un graphe planaire ` a s sommets, a arˆ etes et f faces. Alors, s − a + f = 2 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 71

Slide 71 text

Proposition Soit (S, A) un graphe planaire ` a s sommets, a arˆ etes et f faces. Alors, s − a + f = 2 Preuve Par r´ ecurrence sur a. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 72

Slide 72 text

Proposition Soit (S, A) un graphe planaire ` a s sommets, a arˆ etes et f faces. Alors, s − a + f = 2 Preuve f a s Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 73

Slide 73 text

Proposition Soit (S, A) un graphe planaire ` a s sommets, a arˆ etes et f faces. Alors, s − a + f = 2 Preuve f → f + 1 a → a + 1 s → s Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 74

Slide 74 text

Proposition Soit (S, A) un graphe planaire ` a s sommets, a arˆ etes et f faces. Alors, s − a + f = 2 Preuve f → f a → a + 1 s → s + 1 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 75

Slide 75 text

Proposition Soit (S, A) un graphe planaire ` a s sommets, a arˆ etes et f faces. Alors, 3f ≤ 2a. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 76

Slide 76 text

Proposition Soit (S, A) un graphe planaire ` a s sommets, a arˆ etes et f faces. Alors, 3f ≤ 2a. Preuve Une face est d´ elimit´ ee par au moins 3 arˆ etes et une arˆ ete est le cˆ ot´ e de deux faces. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 77

Slide 77 text

Proposition Soit (S, A) un graphe planaire ` a s sommets, a arˆ etes et f faces. Alors, a ≤ 3s − 6. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 78

Slide 78 text

Proposition Soit (S, A) un graphe planaire ` a s sommets, a arˆ etes et f faces. Alors, a ≤ 3s − 6. Preuve Il suﬃt de combiner les deux r´ esultats pr´ ec´ edents. s − 2 = a − f ≤ 1 3 a. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 79

Slide 79 text

Proposition Soit (S, A) un graphe ` a s sommets et a arˆ etes. Alors, le nombre de croisements c v´ eriﬁe c ≥ a − 3s + 6. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 80

Slide 80 text

Proposition Soit (S, A) un graphe ` a s sommets et a arˆ etes. Alors, le nombre de croisements c v´ eriﬁe c ≥ a − 3s + 6. Preuve En retirant les (au plus) c arˆ etes qui forment des croisements, on obtient un graphe planaire ` a s sommets et a − c arˆ etes donc a − c ≤ 3s − 6. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 81

Slide 81 text

Proposition Soit (S, A) un graphe ` a s sommets et a arˆ etes tel que a > 4s. Alors, le nombre de croisements c v´ eriﬁe c ≥ a3 64s2 . Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 82

Slide 82 text

Proposition Soit (S, A) un graphe ` a s sommets et a arˆ etes tel que a > 4s. Alors, le nombre de croisements c v´ eriﬁe c ≥ a3 64s2 . Preuve Construisons un graphe al´ eatoire (S , A ) en choisissant chaque som- met ind´ ependamment des autres avec probabilit´ e p puis en ne gar- dant que les arˆ etes dont les sommets ont ´ et´ e choisis. Notons s , a et c les variables al´ eatoires ´ egales au nombre de sommets, d’arˆ etes, de croisements de ce graphe. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 83

Slide 83 text

Preuve Alors, c ≥ a − 3s + 6 Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 84

Slide 84 text

Preuve Alors, c ≥ a − 3s Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 85

Slide 85 text

Preuve Alors, c ≥ a − 3s En passant ` a l’esp´ erance, E(c ) ≥ E(a ) − 3E(s ). Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 86

Slide 86 text

Preuve Alors, c ≥ a − 3s En passant ` a l’esp´ erance, E(c ) ≥ E(a ) − 3E(s ). Par construction, E(s ) = ps Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 87

Slide 87 text

Preuve Alors, c ≥ a − 3s En passant ` a l’esp´ erance, E(c ) ≥ E(a ) − 3E(s ). Par construction, E(s ) = ps E(a ) = p2a Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 88

Slide 88 text

Preuve Alors, c ≥ a − 3s En passant ` a l’esp´ erance, E(c ) ≥ E(a ) − 3E(s ). Par construction, E(s ) = ps E(a ) = p2a E(c ) ≤ p4c Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 89

Slide 89 text

Preuve Alors, c ≥ a − 3s En passant ` a l’esp´ erance, E(c ) ≥ E(a ) − 3E(s ). Par construction, E(s ) = ps E(a ) = p2a E(c ) ≤ p4c D’o` u c ≥ pa−3s p3 et donc, pour p = 4s a , c ≥ a3 64s2 . Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 90

Slide 90 text

On peut g´ en´ eraliser ce r´ esultat sur les croisements ` a certains multi- graphes. Proposition Soit (S, A) un multigraphe avec s sommets, a arˆ etes, c croisements et tel qu’il y ait au plus M arˆ etes entre deux sommets quelconques. Alors, c a3 Ms2 . Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 91

Slide 91 text

Deuxi` eme preuve pour α = 2 3 Consid´ erons un ensemble P de n points A1, . . . , An d´ eﬁnissant d distances et consid´ erons le multigraphe dont les sommets sont ces points, les arˆ etes sont les arcs des cercles centr´ es sur un point de P, passant par au moins 3 points de P et d´ elimit´ es par deux points de P. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 92

Slide 92 text

Il y a s = n sommets et a > n(n − 1) − 2nd arˆ etes. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 93

Slide 93 text

Il y a s = n sommets et a > n(n − 1) − 2nd arˆ etes. Le nombre de croisements est inf´ erieur ` a 2(nd)2. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 94

Slide 94 text

Il y a s = n sommets et a > n(n − 1) − 2nd arˆ etes. Le nombre de croisements est inf´ erieur ` a 2(nd)2. Il y a au plus M = 2d arˆ etes entre deux sommets. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 95

Slide 95 text

Il y a s = n sommets et a > n(n − 1) − 2nd arˆ etes. Le nombre de croisements est inf´ erieur ` a 2(nd)2. Il y a au plus M = 2d arˆ etes entre deux sommets. L’in´ egalit´ e sur le nombre de croisements d’un multigraphe donne (nd)2 c a3 Ms2 n6 2dn2 , donc d n2 3 . Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 96

Slide 96 text

Interm` ede : incidence Consid´ erons P un ensemble de n points et D un ensemble de m droites. Le nombre d’incidences est l’entier I = card{(A, D), A ∈ P, D ∈ D, A ∈ D}. Comment majorer correctement I en fonction de n et m ? Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 97

Slide 97 text

Proposition I m √ n + n √ m. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 98

Slide 98 text

I = A∈P D∈D 1A∈D = A∈P 1. D∈D 1A∈D Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 99

Slide 99 text

I = A∈P D∈D 1A∈D = A∈P 1. D∈D 1A∈D ≤ A∈P 12 A∈P D∈D 1A∈D 2 (Cauchy-Schwarz) Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 100

Slide 100 text

I = A∈P D∈D 1A∈D = A∈P 1. D∈D 1A∈D ≤ A∈P 12 A∈P D∈D 1A∈D 2 (Cauchy-Schwarz) = √ n A∈P D∈D D ∈D 1A∈D 1A∈D Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 101

Slide 101 text

I = A∈P D∈D 1A∈D = A∈P 1. D∈D 1A∈D ≤ A∈P 12 A∈P D∈D 1A∈D 2 (Cauchy-Schwarz) = √ n A∈P D∈D D ∈D 1A∈D 1A∈D = √ n D∈D D ∈D A∈P 1A∈D 1A∈D Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 102

Slide 102 text

On s´ epare alors les cas o` u D = D et D = D . I ≤ n Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 103

Slide 103 text

On s´ epare alors les cas o` u D = D et D = D . I ≤ n nm Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 104

Slide 104 text

On s´ epare alors les cas o` u D = D et D = D . I ≤ n nm + m(m − 1) Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 105

Slide 105 text

On s´ epare alors les cas o` u D = D et D = D . I ≤ n nm + m(m − 1) m √ n + n √ m. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 106

Slide 106 text

Avec la th´ eorie des graphes, Szemeredi et Trotter (1983) ont montr´ e la majoration suivante. Proposition I n + m + (nm)2 3 . Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 107

Slide 107 text

Preuve On construit un graphe dont les sommets sont les points de P et les arˆ etes sont les portions des droites de D joignant deux sommets. Pour ce graphe, s = n, a = I − m. si a < 4s, I ≤ m + 4n. sinon, m2 ≥ c ≥ (I − m)3 64n2 donc I ≤ (64n2m2)1 3 + m (nm)2 3 + m. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 108

Slide 108 text

Avec les points [[1, 2N2]]×[[1, N]] et les droites passant par les points (k, 0) avec k ∈ [[1, N2]] et de pente dans [[1, N]] Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 109

Slide 109 text

Avec les points [[1, 2N2]]×[[1, N]] et les droites passant par les points (k, 0) avec k ∈ [[1, N2]] et de pente dans [[1, N]] m = 2N3, n = N3, n + m + (nm)2 3 ∼ cN4, Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 110

Slide 110 text

Avec les points [[1, 2N2]]×[[1, N]] et les droites passant par les points (k, 0) avec k ∈ [[1, N2]] et de pente dans [[1, N]] m = 2N3, n = N3, n + m + (nm)2 3 ∼ cN4, I = N4. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 111

Slide 111 text

Id´ ee d’une preuve pour α = 4 5 Consid´ erons un ensemble P de n points A1, . . . , An et consid´ erons le multigraphe dont les sommets sont ces points, les arˆ etes sont initialement les arcs des cercles centr´ es sur un point de P, passant par au moins 3 de P et d´ elimit´ es par deux points de P, Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 112

Slide 112 text

Id´ ee d’une preuve pour α = 4 5 Consid´ erons un ensemble P de n points A1, . . . , An et consid´ erons le multigraphe dont les sommets sont ces points, les arˆ etes sont initialement les arcs des cercles centr´ es sur un point de P, passant par au moins 3 de P et d´ elimit´ es par deux points de P, on a enlev´ e les arˆ etes entre deux sommets connect´ es au moins k fois (avec k un entier ﬁx´ e de l’ordre de √ n). Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 113

Slide 113 text

On a born´ e le nombre d’arˆ etes entre deux sommets pour avoir un meilleur minorant dans l’in´ egalit´ e du nombre de croisements. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 114

Slide 114 text

Slide 115

Slide 115 text

Slide 116

Slide 116 text

On a born´ e le nombre d’arˆ etes entre deux sommets pour avoir un meilleur minorant dans l’in´ egalit´ e du nombre de croisements. On doit estimer le nombre d’arˆ etes restantes donc le nombre d’arˆ etes enlev´ ees. On remarque qu’il y a k arˆ etes entre deux sommets A et B ∈ P si la m´ ediatrice de [AB] contient k points de P. On est ramen´ e ` a un probl` eme d’incidence d’ordre k avec l’ensemble des droites m´ ediatrices et l’ensemble des points de P. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 117

Slide 117 text

On a born´ e le nombre d’arˆ etes entre deux sommets pour avoir un meilleur minorant dans l’in´ egalit´ e du nombre de croisements. On doit estimer le nombre d’arˆ etes restantes donc le nombre d’arˆ etes enlev´ ees. On remarque qu’il y a k arˆ etes entre deux sommets A et B ∈ P si la m´ ediatrice de [AB] contient k points de P. On est ramen´ e ` a un probl` eme d’incidence d’ordre k avec l’ensemble des droites m´ ediatrices et l’ensemble des points de P. On applique l’in´ egalit´ e sur le nombre de croisements ` a ce multigraphe. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 118

Slide 118 text

Aujourd’hui Voici le dernier r´ esultat en date dans une pr´ epublication de Guth- Katz en 2010. Proposition g(n) n ln n . Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 119

Slide 119 text

P. Erd¨ os. On sets of distances of n points. The American Mathematical Monthly, 53 :248-250, 1946. P. Erd¨ os. On some metric and combinatorial geometric problems. Discrete Mathematics, 60 :147-153, 1986. L. Moser. On the diﬀerent distances determined by n points. The American Mathematical Monthly, 59 :85-91, 1952. L. Sz´ ekely. Crossing numbers and hard Erd¨ os problems in discrete geometry. Combinatorics, Probability and Computing, 11 :1-10, 1993. L. Guth, N. H. Katz. On the Erd¨ os distinct distance problem on the plane. ArXiV 2010. J. Garibaldi, A. Iosevich, S. Senger. The Erd¨ os Distance Problem. Student Mathematical Library, AMS. 2010. Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 120

Slide 120 text

Merci ` a tous ! Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 121

Slide 121 text

Addendum (apr` es l’expos´ e) Erd¨ os a ´ etabli dans l’article de 1946 la majoration. Proposition g(n) n √ ln n . Roger Mansuy Le probl` eme des distances d’Erd¨ os

Slide 122

Slide 122 text

Addendum (apr` es l’expos´ e) Dans cet expos´ e, on a choisi d’ˆ etre d´ elib´ er´ ement ﬂou sur la no- tion de dessin de graphe (les arˆ etes sont-elles des segments ou des courbes) et ce ﬂou entraˆ ıne une incertitude sur le nombre de croisements ; dans le cas o` u l’on impose que les arˆ etes sont des segments le nombre de croisements du graphe complet ` a 16 sommets est 603 et non 588. Roger Mansuy Le probl` eme des distances d’Erd¨ os