Μετάβαση στο περιεχόμενο

Εικασία Έρντος για τις αριθμητικές προόδους

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Άλυτο πρόβλημα στα μαθηματικά:

Μήπως κάθε μεγάλο σύνολο φυσικών
αριθμών περιέχει αυθαίρετα
μεγάλες αριθμητικές προόδους;

Η εικασία του Έρντος για τις αριθμητικές προόδους, που συχνά αναφέρεται ως εικασία Έρντος-Τουράν, είναι μια εικασία στην αριθμητική συνδυαστική (δεν πρέπει να συγχέεται με την εικασία Έρντος-Τουράν για τις προσθετικές βάσεις). Δηλώνει ότι αν το άθροισμα των αμοιβαίων των μελών ενός συνόλου Α θετικών ακεραίων αποκλίνει, τότε το Α περιέχει αυθαίρετα μεγάλες αριθμητικές προόδους.

Τυπικά, η εικασία δηλώνει ότι αν το Α είναι ένα μεγάλο σύνολο με την έννοια ότι

τότε το Α περιέχει αριθμητικές προόδους οποιουδήποτε μήκους, που σημαίνει ότι για κάθε θετικό ακέραιο k υπάρχει ένας ακέραιος a και ένας μη μηδενικός ακέραιος c τέτοιος ώστε .

Το θεώρημα Γκριν-Τάο[1] για τις αριθμητικές πρόοδους πρώτων αριθμών είναι μια ειδική περίπτωση αυτής της εικασίας.

Το 1936, οι Έρντος και Τουράν διατύπωσαν την ασθενέστερη εικασία ότι κάθε σύνολο ακεραίων με θετική φυσική πυκνότητα περιέχει άπειρο αριθμό αριθμητικών προόδων 3 όρων.[2] Αυτό αποδείχθηκε από τον Κλάους Ροθ το 1952 και γενικεύτηκε σε αυθαίρετα μεγάλες αριθμητικές προόδους από τον Ζεμερέντι το 1975 σε αυτό που σήμερα είναι γνωστό ως θεώρημα του Ζεμερέντι.

Σε μια ομιλία του 1976 με τίτλο «Στη μνήμη του φίλου και μόνιμου συνεργάτη μου Πολ Τουράν», ο Πολ Έρντος προσέφερε βραβείο 3000 δολαρίων ΗΠΑ για την απόδειξη αυτής της εικασίας[3] Από το 2008 το πρόβλημα αξίζει 5000 δολάρια ΗΠΑ[4].

Πρόοδος και συναφή αποτελέσματα

[Επεξεργασία | επεξεργασία κώδικα]

Η εικασία του Έρντος για την αριθμητική πρόοδο μπορεί να θεωρηθεί ως μια ισχυρότερη εκδοχή του θεωρήματος του Ζεμερέντι. Επειδή το άθροισμα των αντίστροφων των πρώτων αριθμών αποκλίνει, το θεώρημα Γκριν-Τάο για την αριθμητική πρόοδο αποτελεί ειδική περίπτωση της εικασίας.

Ο ασθενέστερος ισχυρισμός ότι το Α πρέπει να περιέχει άπειρες αριθμητικές πρόοδους μήκους 3 είναι συνέπεια ενός βελτιωμένου ορίου στο θεώρημα του Ροθ. Μια εργασία του 2016 από τον Μπλουμ[5] απέδειξε ότι αν δεν περιέχει καμία μη τετριμμένη αριθμητική πρόοδο τριών όρων τότε .

Το 2020 μια προδημοσίευση των Μπλουμ και Σίσασκ[6] βελτίωσε το όριο σε για κάποια απόλυτη σταθερά .

Το 2023 βρέθηκε ένα νέο όριο του [7][8][9] από τους επιστήμονες υπολογιστών Κέλεϊ και Μέκα, με μια έκθεση που δόθηκε σε πιο οικεία μαθηματική γλώσσα από τους Μπλουμ και Σίσασκ,[10][11] οι οποίοι έκτοτε βελτίωσαν τον εκθέτη του ορίου Κέλι-Μέκα σε και υπέθεσαν το σε ένα προτυπωμένο κείμενο.[12]

Εξωτερικοί σύνδεσμοι

[Επεξεργασία | επεξεργασία κώδικα]
  1. Ben J. Green et Terence Tao, « The primes contain arbitrarily long arithmetic progressions », Annals of Mathematics, vol. 167, 2008, p. 481-547 (arXiv math.NT/0404188).
  2. Erdős, Paul; Turán, Paul (1936), «On some sequences of integers», Journal of the London Mathematical Society 11 (4): 261–264, doi:10.1112/jlms/s1-11.4.261, http://www.renyi.hu/~p_erdos/1936-05.pdf.
  3. Problems in number theory and Combinatorics, in Proceedings of the Sixth Manitoba Conference on Numerical Mathematics (Univ. Manitoba, Winnipeg, Man., 1976), Congress. Numer. XVIII, 35–58, Utilitas Math., Winnipeg, Man., 1977
  4. p. 354, Soifer, Alexander (2008); The Mathematical Coloring Book: Mathematics of Coloring and the Colorful Life of its Creators; New York: Springer. ISBN 978-0-387-74640-1
  5. Bloom, Thomas F. (2016). «A quantitative improvement for Roth's theorem on arithmetic progressions». Journal of the London Mathematical Society. Second Series 93 (3): 643–663. doi:10.1112/jlms/jdw010. .
  6. Bloom, Thomas F.; Sisask, Olof (2020). «Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions». .
  7. Kelley, Zander· Meka, Raghu (6 Νοεμβρίου 2023). «Strong Bounds for 3-Progressions». 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS). IEEE. σελίδες 933–973. arXiv:2302.05537Ελεύθερα προσβάσιμο. doi:10.1109/FOCS57990.2023.00059. ISBN 979-8-3503-1894-4.
  8. Kelley, Zander; Meka, Raghu (2023-02-10). «Strong Bounds for 3-Progressions». .
  9. Sloman, Leila (21 Μαρτίου 2023). «Surprise Computer Science Proof Stuns Mathematicians». Quanta Magazine (στα Αγγλικά).
  10. Bloom, Thomas F.; Sisask, Olof (2023-12-31). «The Kelley–Meka bounds for sets free of three-term arithmetic progressions» (στα αγγλικά). Essential Number Theory 2 (1): 15–44. doi:10.2140/ent.2023.2.15. ISSN 2834-4634. https://msp.org/ent/2023/2-1/p02.xhtml.
  11. Bloom, Thomas F.; Sisask, Olof (2023-02-14). «The Kelley–Meka bounds for sets free of three-term arithmetic progressions». Essential Number Theory 2: 15–44. doi:10.2140/ent.2023.2.15.
  12. Bloom, Thomas F.; Sisask, Olof (2023-09-05). «An improvement to the Kelley-Meka bounds on three-term arithmetic progressions». .
    • P. Erdős: Résultats et problèmes en théorie de nombres, Séminaire Delange-Pisot-Poitou (14e année: 1972/1973), Théorie des nombres, Fasc 2., Exp. No. 24, pp. 7,
    • P. Erdős and P. Turán, On some sequences of integers, J. London Math. Soc. 11 (1936), 261–264.
    • P. Erdős: Problems in number theory and combinatorics, Proc. Sixth Manitoba Conf. on Num. Math., Congress Numer. XVIII(1977), 3558.
    • P. Erdős: On the combinatorial problems which I would most like to see solved, Combinatorica, 1(1981), 28.
    • Brian H. Mayoh: On the second Goldbach conjecture. In: Nordisk Tidskrift for Informationsbehandling. Band 6, 1966, S. 48–50 (MR0194405).
    • John O. Kiltinen, Peter B. Young: Goldbach, Lemoine, and a know/don’t know problem. In: Mathematics Magazine. Band 58, 1985, S. 195–203 (MR0801144).
    • Pollack, Paul (2008). «An explicit approach to hypothesis H for polynomials over a finite field». Στο: De Koninck, Jean-Marie· Granville, Andrew· Luca, Florian, επιμ. Anatomy of integers. Based on the CRM workshop, Montreal, Canada, March 13–17, 2006. CRM Proceedings and Lecture Notes. 46. Providence, RI: American Mathematical Society. σελίδες 259–273. ISBN 978-0-8218-4406-9. Zbl 1187.11046.