بمب ریاضی امسال: راه‌حلی برای مسأله 2300 ساله

اگر داستان آلیس در سرزمین عجایب را خوانده باشید حتما با لانه خرگوش آشنا هستید. آلیس، در یک عصر تابستانی خرگوشی را دنبال می‌کند و به دنبال او قدم به لانه اش می‌گذارد و بلافاصله جهانش تغییر می‌کند، هیچ‌چیز آن طوری نیست که به نظر می‌آمد باید باشد. در این دنیا اولویت‌ها و منطق‌ها و رفتارها تغییر می‌کند.

این لانه افسانه‌ای خرگوش فقط زاییده ذهن ریاضی‌دانی با نام مستعار لوییس کرول نیست که داستانی را هنگام قایق‌رانی برای شاگردش تعریف کرده است. در دنیای واقعی دروازه‌های زیادی وجود دارد که وقتی قدم به آن بگذارید دنیای متفاوتی در برابر چشمان شما شکل می‌گیرد؛ دنیایی که اگر بیش از اندازه به روزمرگی معتاد شده باشید به همان اندازه برایتان شگفت‌انگیز و معجزه‌آسا خواهد بود. ریاضیات یکی از این حفره‌های جادویی جهان است.

امن‌ترین اعداد جهان

زمانی کارل گاوس ریاضیات را ملکه علوم و نظریه اعداد را ملکه ریاضیات نامیده بود. شاید اگر اعداد اول را از محترم ترین ساکنان قلمرو این ملکه بشماریم سخنی به زیاده نگفته باشیم. اعداد اول اعداد مهمی هستند. نه فقط به این دلیل که امروز بخش بزرگی از اطمینانی که ما به رمزنگاری در کارهای روزمره داریم (مانند تراکنش‌های بانکی یا خرید‌های اینترنتی با کمک کارت‌های اعتباری) به خاطر استفاده از این اعداد است، بلکه به دلیل ماهیت و جایگاهی که در بین اعداد طبیعی دارند مهم به شمار می‌روند.

اعداد طبیعی همان اعداد آشنایی هستند که هنگام شمارش به کار می‌بریم، از یک شروع می‌شوند و به ترتیب هر بار یکی به آنها افزوده می‌شود و مجموعه ای مانند ...و3و2و1 می‌سازند که به طور نامتناهی ادامه می‌یابد. در این بین بعضی از اعداد وجود دارند (غیر از 1) که فقط می‌توان آنها را به خودشان و به 1 تقسیم کرد. مثلا شما عدد 6 را می‌توانید به 1، 2، 3 و 6 تقسیم کنید و باقی مانده شما صفر شود؛ اما عددی مانند 3 فقط قابل تقسیم به 3 و 1 است همین‌طور عددی مانند 11، 17 یا 1- 2195,000أ— 2,003,663,613  . چنین اعداد طبیعی را که تنها قابل تقسیم بر خود و یک هستند، اعداد اول می‌نامند.

شما به راحتی می‌توانید چندین عدد اول را بشمارید، 2،3،5،7،11،13،17،19،23و ... اما هرچقدر اعداد طبیعی بزرگ‌تر می‌شوند فراوانی و یا چگالی (تعداد اعداد اول در یک فاصله مشخص) نیز کاهش می‌یابد. هنوز فرمولی پیدا نشده که بتواند اعداد اول را تولید کند و هنوز دقیق نمی‌دانیم که توزیع این اعداد در بین اعداد طبیعی چگونه است. آیا با اضافه شدن به اعداد طبیعی ممکن است به جایی برسیم که فاصله میان دو عدد اول متوالی نیز به سمت بی نهایت میل کند و به جایی برسیم که هیچ دو عدد اول نزدیک به همی را نتوانیم پیدا کنیم؟

یک فرض قدیمی

یک فرض قدیمی باعث می‌شود ریاضی‌دان‌ها خوش‌بین باشند که چنین اتفاقی نمی‌افتد. این فرض که قدمت آن به دوران اقلیدس (سده سوم پیش از میلاد) می‌رسد، بیان می‌کند که تعداد نامتناهی زوج عدد اول (دو عدد اول) وجود دارند که فاصله آنها تنها دو واحد است. مثلا 3 و 5 را در نظر بگیرید این دو عدد هر دو اول هستند و تنها دو واحد با هم فاصله دارند. 11 و 13 نیز همین ویژگی را دارند همین‌طور 17 و 19 و همینطور دو رقم  1- 2195,000أ— 2,003,663,613 و 1+ 2195,000أ— 2,003,663,613  .

حال سوال اینجاست که آیا چنین زوج اعدادی را می‌توان وقتی اعضای رشته اعداد طبیعی به اندازه کافی بزرگ باشند هم پیدا کرد؟ اگر این طور باشد باید تعداد نامتناهی از این زوج اعداد وجود داشته باشد.

این فرض هنوز هم یکی از قدیمی‌ترین مسایل حل نشده ریاضیات است. علت این‌که به آن حدس می‌گویند، این است که اگرچه تا الان ریاضی‌دان‌ها نتوانسته‌اند وجود تعداد نامتناهی از این زوج‌ها را ثابت کنند، نتوانسته‌اند عدم وجود آنها را نیز ثابت کنند و در عین حال آن مقداری از اعداد اول را که پیدا کرده‌اند در بردارنده چنین زوج اعدادی هستند. چون در ریاضیات یا یک گزاره درست است و یا نیست؛ پس تا زمان اثبات و یا رد منطقی و ریاضی، این گزاره به عنوان فرض باقی می‌ماند.

یک جهش بزرگ

به گزارش نیچر، وقتی ایتانگ ژانگ (Yitang Zhang) ، صاحب تصویر به نمایش درآمده ریاضی‌دان دانشگاه نیوهمپ‌شایر نتیجه تحقیق خود را برای گروهی از همکارانش ارایه کرد و وقتی که ریاضی‌دان‌های پیشرو در این زمینه مقاله وی را مشاهده کردند، این احتمال مطرح شد که گام غول‌آسایی در حل این مساله تاریخی و مهم ریاضیاتی برداشته شده باشد. به نظر می‌آید او بدون آن‌که از هیچ فرض تاییدنشده‌ای کمک گرفته باشد و بدون آن‌که ایراد و نقص آشکاری در روش کارش مشاهده شود، توانسته است ثابت کند که تعداد نامتناهی زوج عدد اول وجود دارند که حداکثر فاصله آنها از هم 70 میلیون واحد است. شاید به نظر خیلی امیدوارکننده نباشد وقتی به دنبال زوج اعدادی با اختلاف دو واحد باشید و به جای آن به تفاوت 70 میلیون واحدی مواجه می‌شوید؛ اما به یاد داشته باشید شما در دنیای شگفت‌انگیز ریاضیات هستید. مدتهاست از آستانه لانه خرگوش عبور کرده‌اید و باید قوانین این دنیا را بپذیرید. اگر این روش از پس بررسی‌های دقیق ریاضی‌دانان سربلند خارج شود، موفقیتی بزرگ به شمار می‌رود. درست است که 70 میلیون واحد فاصله به نظر خیلی زیاد می‌آید، اما درنهایت فاصله‌ای معنی‌دار و محدود است؛ یعنی ما توانسته‌ایم تعداد نامتناهی زوج عدد اول پیدا کنیم که فاصله میان آنها کمتر از مرزی مشخص است. این مرز اکنون به نظر می‌رسد 70 میلیون باشد.

گلدستاین که خودش در تحقیق اخیر نقشی نداشته اما یکی از ریاضی‌دان‌های فعال در زمینه اعداد اول است، می‌گوید: «انتظار ندارم این روش را بتوان به گونه‌ای به کار برد که در نهایت ما را به صورت اصلی فرض که زوج اعداد با فاصله دو رقم است برساند. اما واقعیت این است که باورم نمی‌شد در زمانی که زنده هستم شاهد چنین پیشرفتی باشم».

این اثبات (اگر تایید شود) در نهایت دید بهتری نسبت به توزیع اعداد اول در اختیار ریاضی‌دان‌ها قرار می‌دهد و به شناخت آنها از اعداد اول کمک می‌کند. شاید بپرسید این‌ها به چه کار روزمره ما می‌آید؟ شاید برای کسانی که بیرون لانه خرگوش ایستاده‌اند و مشغول خواندن روزنامه‌ای از خبرهای روز هستند، کارآیی نداشته باشد اما این ریاضی‌دانان هستند که در ناب‌ترین شکل ممکن به بررسی و کشف ساختمان موجودی مشغولند که جهان ما و دنیای ما و اندیشه ما براساس آن بنا شده است.

منبع: وب سایت رسمی پوریا ناظمی