Démonstration de la conjecture de Dumont

Bodo Lass

doi:10.1016/j.crma.2005.10.018

Théorie des nombres/Combinatoire

Démonstration de la conjecture de Dumont

Présenté par : Étienne Ghys

Bodo Lass ¹

¹ Institut Camille Jordan, UMR 5208 du CNRS, Université Claude Bernard Lyon 1, 43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex, France

Comptes Rendus. Mathématique, Volume 341 (2005) no. 12, pp. 713-718.

Résumé
Abstract

Soit

r_{k}^{1 (2)} (n) : = | {(x_{1}, x_{2}, \dots, x_{k}) \in N^{k} | n = x_{1}^{2} + x_{2}^{2} + \dots + x_{k}^{2}, x_{i} \equiv 1 (\mod 2), 1 ⩽ i ⩽ k} |,

c_{k}^{1 (4)} (n) : = | {(x_{1}, x_{2}, \dots, x_{k}) \in N^{k} | n = x_{1} x_{2} + x_{2} x_{3} + \dots + x_{k - 1} x_{k} + x_{k} x_{1}, x_{i} \equiv 1 (4)} |,

c_{k}^{3 (4)} (n) : = | {(x_{1}, x_{2}, \dots, x_{k}) \in N^{k} | n = x_{1} x_{2} + x_{2} x_{3} + \dots + x_{k - 1} x_{k} + x_{k} x_{1}, x_{i} \equiv 3 (4)} | .

Dumont a conjecturé l'identité

r_{k}^{1 (2)} (n) = c_{k}^{1 (4)} (n) - {(- 1)}^{k} c_{k}^{3 (4)} (n)

qui généralise, notamment, les résultats classiques de Lagrange, Gauß, Jacobi et Kronecker sur les décompositions de tout entier en deux, trois et quatre carrés. Nous donnons une preuve combinatoire de la conjecture de Dumont.

Let

r_{k}^{1 (2)} (n) : = | {(x_{1}, x_{2}, \dots, x_{k}) \in N^{k} | n = x_{1}^{2} + x_{2}^{2} + \dots + x_{k}^{2}, x_{i} \equiv 1 (\mod 2), 1 ⩽ i ⩽ k} |,

c_{k}^{1 (4)} (n) : = | {(x_{1}, x_{2}, \dots, x_{k}) \in N^{k} | n = x_{1} x_{2} + x_{2} x_{3} + \dots + x_{k - 1} x_{k} + x_{k} x_{1}, x_{i} \equiv 1 (4)} |,

c_{k}^{3 (4)} (n) : = | {(x_{1}, x_{2}, \dots, x_{k}) \in N^{k} | n = x_{1} x_{2} + x_{2} x_{3} + \dots + x_{k - 1} x_{k} + x_{k} x_{1}, x_{i} \equiv 3 (4)} | .

Dumont has conjectured the identity

r_{k}^{1 (2)} (n) = c_{k}^{1 (4)} (n) - {(- 1)}^{k} c_{k}^{3 (4)} (n)

, which generalizes, in particular, the classical results of Lagrange, Gauß, Jacobi and Kronecker on the sums of two, three and four squares. We give a combinatorial proof of Dumont's conjecture.

Reçu le : 2005-07-11
Accepté le : 2005-10-11
Publié le : 2005-11-14

DOI : 10.1016/j.crma.2005.10.018

Affiliations des auteurs :

Bodo Lass ¹

¹ Institut Camille Jordan, UMR 5208 du CNRS, Université Claude Bernard Lyon 1, 43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex, France

@article{CRMATH_2005__341_12_713_0,
     author = {Bodo Lass},
     title = {D\'emonstration de la conjecture de {Dumont}},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {713--718},
     publisher = {Elsevier},
     volume = {341},
     number = {12},
     year = {2005},
     doi = {10.1016/j.crma.2005.10.018},
     language = {fr},
}

TY  - JOUR
AU  - Bodo Lass
TI  - Démonstration de la conjecture de Dumont
JO  - Comptes Rendus. Mathématique
PY  - 2005
SP  - 713
EP  - 718
VL  - 341
IS  - 12
PB  - Elsevier
DO  - 10.1016/j.crma.2005.10.018
LA  - fr
ID  - CRMATH_2005__341_12_713_0
ER  -

%0 Journal Article
%A Bodo Lass
%T Démonstration de la conjecture de Dumont
%J Comptes Rendus. Mathématique
%D 2005
%P 713-718
%V 341
%N 12
%I Elsevier
%R 10.1016/j.crma.2005.10.018
%G fr
%F CRMATH_2005__341_12_713_0

Bodo Lass. Démonstration de la conjecture de Dumont. Comptes Rendus. Mathématique, Volume 341 (2005) no. 12, pp. 713-718. doi : 10.1016/j.crma.2005.10.018. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2005.10.018/

Bibliographie
Cité par

[1] G. Andrews The Theory of Partitions, Teoriya razbienii, Cambridge University Press, 1998 (en russe)

[2] D. Dumont, A conjecture on sums of any number of odd squares, Prépublication

[3] A. Weil Sur les sommes de trois et quatre carrés, Enseign. Math. II. Sér., Volume 20 (1974), pp. 215-222

Cité par Sources :

Commentaires - Politique