Erdős gissningar om aritmetiska progressioner
Erdős gissning om aritmetiska progressioner [1] är ett antagande i additiv kombinatorik , formulerat av Pal Erdős , enligt vilket, om summan av de reciproka positiva naturliga tal av en viss mängd divergerar, så innehåller mängden godtyckligt långa aritmetiska progressioner .
Formellt, om:
![\sum _{{n\in A}}{\frac {1}{n}}=\infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/33b1e3e941097ab97d6e3c0e21d20bbf6b4778c7)
,
det vill säga ett stort antal
, då innehåller den en aritmetisk progression av vilken som helst förutbestämd längd.
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
Erdős utlovade vid ett tillfälle ett pris på 3 tusen US-dollar för att bevisa hypotesen [2] , från och med 2008 fastställdes ett pris på 5 tusen US-dollar [3] .
Förhållande med andra påståenden
Konsekvenser av hypotesen
Erdős gissning är en generalisering av Szemeredis sats (eftersom serien divergerar som en harmonisk sådan), såväl som Green-Tao satsen (eftersom summan , där summering är över primtal, också divergerar [4] ).
![{\displaystyle \sum \limits _{n=1}^{\infty }{\frac {1}{kn))={\frac {1}{k))\left({\sum \limits _{n =1}^{\infty }{\frac {1}{n))}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e53639c62e62cca4a144e497c2bd7fede8f7d429)
![{\displaystyle \sum \limits _{p}{\frac {1}{p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/608248c7385e6a83c2e05b299cdc88bc5764b811)
Påståenden som hypotesen följer av
Med tanke på likvärdigheten med diskrepansen kan Erdős gissning bevisas om det bevisas att .
![{\displaystyle \sum \limits _{t=1}^{\infty }{{a_{k))(4^{t)))))](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2e102ab76f8127c14639056d9beb7c95bbea22a)
![{\displaystyle \forall k\geq 3:\ \forall \varepsilon >0:\ a_{k}(N)=O\left({\frac {1}{(\log {N})^{1+\ varepsilon }}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ceebbe3f839c46ac0bcbd9e8e437566823f0e27)
För närvarande har det emellertid endast bevisats [5] att , där , och även, i ett särskilt fall , att .
![{\displaystyle a_{k}(N)=O\left({\frac {1}{(\log {\log {n)))^{c_{k))))\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89bc8900e5d85ddc5e118e07e7bc2b8879a0c2e6)
![{\displaystyle c_{k}=2^{-2^{k+9))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc4f4abc31c63f64b3097a6006dae5ef4f66cc39)
![k=3](https://wikimedia.org/api/rest_v1/media/math/render/svg/662e06a2436f8a44fec791f5c794621f10dc8f30)
![{\displaystyle a_{3}(N)=O\left({\sqrt {\frac {\log {\log {N))}{\log {N))))\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d058c1846c2fd435e859fa009ef6f5f063a5768d)
Anteckningar
- ↑ Hypotesen förväxlas ibland med Erdős-Turan-hypotesen.
- ↑ Bollobas, Bela . Att bevisa och gissa: Paul Erdős and His Mathematics (engelska) // American Mathematical Monthly : journal. - 1988. - Mars ( vol. 105 , nr 3 ). — S. 233 . — .
- ↑ Soifer, Alexander (2008); Den matematiska målarboken: Matematik om färgläggning och dess skapares färgglada liv; New York: Springer. sid. 354. ISBN 978-0-387-74640-1
- ↑ M. Aigner, G. Ziegler, "Bevis från boken" - M. "Mir", 2006, s. 13
- ↑ Shkredov, 2006 , sid. 115-116.
Länkar
- P. Erdős: Résultats et problèmes en théorie de nombres Arkiverad 28 april 2016 på Wayback Machine , Séminaire Delange-Pisot-Poitou (14e année: 1972/1973), Théorie des nombres , Fasc 2., Exp. Nej. 24, sid. 7,
- P. Erdős: Problem i talteori och kombinatorik, Proc. Sjätte Manitoba Conf. på Num. Math., Kongressnummer. XVIII (1977), 35-58.
- P. Erdős: Om de kombinatoriska problem som jag helst skulle vilja se lösta, Combinatorica , 1 (1981), 28. doi : 10.1007/BF02579174
- I. D. Shkredov. Szemeredis sats och problem om aritmetiska progressioner // Uspekhi Mat. - 2006. - T. 61, nr. 6(372). - S. 111-178. - doi : 10.4213/rm5293 .