Entier friable

En théorie des nombres, un nombre friable, ou lisse, est un entier naturel dont l'ensemble des facteurs premiers sont petits, relativement à une borne donnée.

Les entiers friables sont particulièrement importants dans la cryptographie basée sur la factorisation, qui constitue depuis une vingtaine d'années une branche dynamique de la théorie des nombres, avec des applications dans des domaines aussi variés que l'algorithmique (problème du logarithme discret), la théorie de la sommabilité (sommation friable des séries de Fourier^[1]), la théorie élémentaire des nombres premiers (preuve élémentaire du théorème des nombres premiers de Daboussi en 1984^[2]), la méthode du cercle (problème de Waring), le modèle de Billingsley, le modèle de Kubilius (en), l'inégalité de Turán-Kubilius (en), les théorèmes de type Erdős-Wintner, etc.

Terminologie

Le terme smooth (lisse) est proposé en anglais par le cryptologue américain Ronald Linn Rivest au début des années 1980^[3]. Le terme friable, qui désigne la capacité d'un objet à se réduire en menus fragments, est ensuite proposé par l'ingénieur polytechnicien Jacques Balazard, époux de l'écrivaine Simone Balazard et père du mathématicien Michel Balazard. Il s'impose peu à peu à toute la littérature en français et une partie de celle en anglais^[4].

Définition

Un entier strictement positif est dit B-friable, ou B-lisse, si tous ses facteurs premiers sont inférieurs ou égaux à B.

Par exemple 72 900 000 000 = 2⁸ × 3⁶ × 5⁸ est 5-friable car aucun de ses facteurs premiers ne dépasse 5.

Dans cette définition, B n'est pas nécessairement un facteur premier de l'entier B-friable : 12 est 5-friable, ou 5-lisse, même si 5 n'est pas un facteur de 12. Le nombre B n'a pas non plus besoin d'être premier.

Répartition

D'après Hildebrand-Tenenbaum^[5], pour tout ${\displaystyle \varepsilon >0}$, le nombre ${\displaystyle \Psi (x,y)}$ des entiers y-friables n'excédant pas x vérifie

${\displaystyle (*)\qquad \Psi (x,y)=x\varrho (u)\exp {O(R)}\;}$

dès que ${\displaystyle y>(\log x)^{1+\varepsilon }}$, où ${\displaystyle u:=(\log x)/\log y}$, et

${\displaystyle R:=(\log(u+1))/\log y+u\exp(-(\log y)^{3/5-\varepsilon }).}$

Cela implique notamment

${\displaystyle (**)\qquad \Psi (x,y)=\{1+o(1)\}x\varrho (u)\;}$

si ${\displaystyle y>\exp(\log \log x)^{5/3+\epsilon }}$, où ${\displaystyle \varrho }$ désigne la fonction de Dickman.
De plus, Hildebrand a montré^[6] que la formule ${\displaystyle \Psi (x,y)=x\rho (u)\exp\{O(1)\}}$ est valable dans le domaine

${\displaystyle y>(\log x)^{2+\varepsilon }}$

si et seulement si l'hypothèse de Riemann est vraie.

Entier ultrafriable

Un nombre est dit B-superlisse ou B-ultrafriable si tous ses diviseurs de la forme pⁿ, avec p premier et n entier, sont inférieurs ou égaux à B.

Par exemple, 720 (2⁴3²5¹) est 5-lisse mais pas 5-ultralisse (parce qu'il a des diviseurs primaires plus grands que 5 : 3² = 9 > 5 ou 2³ > 5). Il est par contre 16-ultralisse puisque son plus grand diviseur primaire est 2⁴ = 16. Ce nombre est bien sûr aussi 17-ultralisse, 18-ultralisse, etc.

Les nombres ultrafriables interviennent en algorithmique, en théorie des graphes et bien entendu en théorie des nombres.

Notes et références

Voir aussi

Bibliographie

• Gérald Tenenbaum et Michel Mendès France, Les nombres premiers, entre l'ordre et le chaos, Dunod, 2013 (ISBN 978-2-10-070656-3 et 2-10-070656-X)
• Gérald Tenenbaum, Introduction à la théorie analytique et probabiliste des nombres, Paris, Belin, 2015, 592 p. (ISBN 978-2-7011-9656-5).
• Jean-Paul Delahaye, « Les entiers friables », Pour la science, n^o 539,‎ septembre 2022, p. 80-85

Articles connexes

Liens externes

Suites des nombres y-friables sur l'encyclopédie en ligne des suites de nombres entiers :

• nombres 2-friables :  A000079 (2ⁱ)
• nombres 3-friables :  A003586 (2ⁱ3^j)
• nombres 5-friables :  A051037 (2ⁱ3^j5^k)
• nombres 7-friables :  A002473 (2ⁱ3^j5^k7^l)
• nombres 11-friables :  A051038
• nombres 13-friables :  A080197
• nombres 17-friables :  A080681
• nombres 19-friables :  A080682
• nombres 23-friables :  A080683

(etc.)

• Arithmétique et théorie des nombres