مسئلهٔ دایرهٔ گاوس به زیر 5/16 می‌لغزد

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

در نمادگذاری مقاله، قرص a² + b² ≤ X است که در آن X مربع شعاع است، پس مساحتش πX است. ناهمخوانی چنین است:

E(X) = #{(a, b) ∈ ℤ² : a² + b² ≤ X} − πX

— شمار نقاط شبکهٔ (a, b) درون قرص، منهای مساحت. همهٔ نماهای زیر، مانند مقاله، توان‌هایی از X هستند.

از محیط تا حدس

استدلال هندسی گاوس E(X) = O(X^{1/2}) را می‌دهد: خطا حداکثر از مرتبهٔ شعاع است، تقریباً به اندازهٔ مرز دایره. این کران آسان است.

در سوی دیگر، هاردی ثابت کرد که خطا مدام، در هر دو جهت، تا مقادیری از مرتبهٔ X^{1/4} نوسان می‌کند — پس هیچ کرانی با نمای کمتر از 1/4 نمی‌تواند برقرار باشد. پاسخ مورد انتظار، که مقاله آن را حدس هاردی می‌نامد، این است که 1/4 اساساً درست است: |E(X)| ≲ X^{1/4+ε} برای هر ε > 0، که ε در آن به معنای اتلافی کوچک‌تر از هر توان ثابتی است.

هرچه پس از آن آمد، نبردی بر سر نما میان 1/2 و 1/4 بوده است. جدول تاریخچهٔ مقاله گام‌ها را فهرست می‌کند: سیرپینسکی در 1906 با 1/3، ون در کورپوت، تیچمارش، هوآ، چن، کولسنیک، ایوانیتس و موتسوکی با 7/22 در 1988، هاکسلی با 23/73 در 1993 و 131/416 (حدود 0.3149) در 2003، و سپس لی و یانگ در پیش‌چاپی از 2023 با 0.3144831759…

آستانهٔ 5/16

بخش بزرگی از این پیشرفت از فنی آمد که بومبیری و ایوانیتس ساختند و ایوانیتس و موتسوکی آن را برای دایره سازگار کردند. این فن مسئله را به برآوردهایی روی مجموع‌های نمایی (exponential sums) تبدیل می‌کند که خود به دو مسئلهٔ «فاصله‌گذاری» (spacing) فروکاسته می‌شوند: شمردن اینکه برخی تقریب‌های گویا چند بار نزدیک هم می‌افتند. هاکسلی این روش را از همه دورتر برد و در 1993 5/16 = 0.3125 را حد احتمالی روش بومبیری–ایوانیتس، به شکلی که آن زمان بود، پیشنهاد کرد. رکورد لی و یانگ، که با به کار گرفتن ابزاری تازه از آنالیز هارمونیک — قضیهٔ «small cap decoupling» گاث و مالداگ — به دست آمده بود، هنوز بالای آن بود.

شی سِن (Xi Cen، دانشگاه معدن و فناوری چین-پکن)، شی‌تائو گائو (Xitao Gao) و جون‌یونگ ژانگ (Junyong Zhang، مؤسسهٔ فناوری پکن) و چنگ ژانگ (Cheng Zhang، مرکز علوم ریاضی یائو، دانشگاه چینگ‌هوا) اکنون ثابت می‌کنند:

قضیهٔ 1.1. برای هر ε > 0 و هر عدد حقیقی X ≥ 4، |E(X)| ≲ X^{209/670+ε}.

و دقیقاً می‌گویند که این مقدار چقدر زیر آن خط می‌نشیند:

209/670 = 5/16 − 3/5360

این حدود 0.31194 است — بهبودی به اندازهٔ 0.0025 نسبت به لی و یانگ. از نظر اندازه کوچک، اما در آن سوی مقداری که نشانه‌ای برای یک رویکرد کامل بوده است.

دو بهبود، دو بازه

اثبات، پارامترهای باقی‌مانده را به دو بازه تقسیم می‌کند که درست در نقطه‌ای به هم می‌رسند که هر دو 209/670 را می‌دهند.

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

در بازهٔ بزرگ‌تر، جزء تازه یک برآورد توزیعی برای مجموع‌های نمایی است که بسامدهایشان روی یک مخروط قرار دارند، و از برآوردی وابسته به دامنهٔ گاث و مالداگ استخراج شده است. این برآورد دو جمله تولید می‌کند، یکی با توان چهارم و دیگری با توان ششم. نگه داشتن آن‌ها به‌صورت جداگانه در سراسر غربال بزرگ دوگانه (double large sieve)، به‌جای ادغامشان در یک برآورد گشتاوری واحد از همان ابتدا، همان چیزی است که نتیجه می‌دهد. به گفتهٔ مقاله، این کار بدون تقویت کران فاصله‌گذاری دوم وات، دیگر ورودی اصلی، عمل می‌کند.

هنوز راهی دراز تا 1/4

نمای تازه، 0.3119، هنوز از 0.25 حدسی دور است. مقاله سوی دیگر مسئله را هم مرور می‌کند — اینکه معلوم است خطا تا چه اندازه بزرگ می‌شود — جایی که نتایج ساوندارراجان (Soundararajan)، لمزوری (Lamzouri) و دیگران بزرگ‌ترین نوسان‌های آن را هر بار دقیق‌تر تعیین می‌کنند.

این کار پیش‌چاپی 34 صفحه‌ای است. نویسندگان اعلام می‌کنند که از ChatGPT و Codex برای گفت‌وگو دربارهٔ راهبردهای اثبات، کمک به نگارش و وارسی بخش‌هایی از استدلال‌ها و سامان دادن به منابع استفاده کرده‌اند، و اینکه هر گزاره و اثبات را خودشان نوشته، بازبینی و تأیید کرده‌اند. برای شبکهٔ نقاط گاوس، اکنون معلوم است که خطا تندتر از حدود X^{0.312} رشد نمی‌کند — و در اصل، تا X^{0.25} هنوز جا باقی است.